Proofs

Workflow runs for Proofs

• proofs: scope vacuous Agda CNO fields, fix archived PROOF-STATUS path…

  completed successfully:
  Proofs#81:Commitad69ddfpushedbyhyperpolymath
  main

  Nov 10, 202610m 36s
  More actions for workflow run 81

• proofs: scope vacuous Agda CNO fields, fix archived PROOF-STATUS paths, pin stdlib, make OND-3 writer Z3 check real

  completed successfully:
  Proofs#80:Pull request#198synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 10, 202616m 0s
  More actions for workflow run 80

• CNO: pc-driven machine, observable identity, real termination (#199)

  completed successfully:
  Proofs#79:Commitffcfed1pushedbyhyperpolymath
  main

  Nov 10, 20261m 53s
  More actions for workflow run 79

• CNO: pc-driven machine, observable identity, real termination

  completed successfully:
  Proofs#78:Pull request#199synchronizebycoderabbitai[bot]Bot
  proofs/cno-pc-machine

  Nov 9, 20261m 51s
  More actions for workflow run 78

• CNO: pc-driven machine, observable identity, real termination

  completed successfully:
  Proofs#77:Pull request#199synchronizebycoderabbitai[bot]Bot
  proofs/cno-pc-machine

  Nov 9, 20261m 55s
  More actions for workflow run 77

• CNO: pc-driven machine, observable identity, real termination

  completed successfully:
  Proofs#76:Pull request#199synchronizebyhyperpolymath
  proofs/cno-pc-machine

  Nov 9, 20261h 3m 34s
  More actions for workflow run 76

• CNO: pc-driven machine, observable identity, real termination

  completed successfully:
  Proofs#75:Pull request#199openedbyhyperpolymath
  proofs/cno-pc-machine

  Nov 9, 202644m 14s
  More actions for workflow run 75

• proofs: scope vacuous Agda CNO fields, fix archived PROOF-STATUS paths, pin stdlib, make OND-3 writer Z3 check real

  completed successfully:
  Proofs#74:Pull request#198synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202640m 14s
  More actions for workflow run 74

• proofs: scope vacuous Agda CNO fields, fix archived PROOF-STATUS paths, pin stdlib, make OND-3 writer Z3 check real

  completed successfully:
  Proofs#73:Pull request#198openedbyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202627m 37s
  More actions for workflow run 73

• docs(proofs): record what the active Agda CNO/OND terms actually state

  completed successfully:
  Proofs#72:Pull request#197openedbyhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 9, 202615m 16s
  More actions for workflow run 72

• chore(deps): bump github/codeql-action from 4.39.1 to 4.39.2 in the a…

  completed successfully:
  Proofs#71:Commitcbe9ae9pushedbyhyperpolymath
  main

  Nov 7, 20261m 53s
  More actions for workflow run 71

• docs(proof-status): canonical active-vs-archived reconciliation table…

  completed successfully:
  Proofs#70:Commit80bb4e2pushedbyhyperpolymath
  main

  Nov 1, 20265m 55s
  More actions for workflow run 70

• chore(deps): bump the actions group with 3 updates (#194)

  completed successfully:
  Proofs#69:Commitbb46232pushedbyhyperpolymath
  main

  Oct 31, 20261m 48s
  More actions for workflow run 69

• chore(deps): bump github/codeql-action from 4.38.3 to 4.39.0 in the a…

  completed successfully:
  Proofs#68:Commit64a47ecpushedbyhyperpolymath
  main

  Oct 23, 20261m 52s
  More actions for workflow run 68

• chore(deps): bump github/codeql-action from 4.38.2 to 4.38.3 in the a…

  completed successfully:
  Proofs#67:Commite249d7fpushedbyhyperpolymath
  main

  Oct 16, 20261m 32s
  More actions for workflow run 67

• ci+docs: unify the standards pins, close the lock, underscore the arc…

  completed successfully:
  Proofs#66:Commitb60f227pushedbyhyperpolymath
  main

  Oct 15, 20261m 56s
  More actions for workflow run 66

• docs: an Applications-in-practice section (#189)

  completed successfully:
  Proofs#65:Commit4471796pushedbyhyperpolymath
  main

  Oct 15, 20262m 2s
  More actions for workflow run 65

• t1-exception-2026-10-12 (#188)

  completed successfully:
  Proofs#64:Commitae1b681pushedbyhyperpolymath
  main

  Oct 12, 20261m 49s
  More actions for workflow run 64

• Archive non-active provers; migrate a2ml to deed and K9; CodeRabbit c…

  completed successfully:
  Proofs#63:Commit4d5ecbdpushedbyhyperpolymath
  main

  Oct 10, 20261m 15s
  More actions for workflow run 63

• Archive non-active provers; migrate a2ml to deed and K9; CodeRabbit config

  completed successfully:
  Proofs#62:Pull request#187synchronizebycoderabbitai[bot]Bot
  arena/6c682e29-absolute-zero

  Oct 10, 20261m 18s
  More actions for workflow run 62

• Archive non-active provers; migrate a2ml to deed and K9; CodeRabbit config

  completed successfully:
  Proofs#61:Pull request#187synchronizebycoderabbitai[bot]Bot
  arena/6c682e29-absolute-zero

  Oct 10, 20261m 53s
  More actions for workflow run 61

• Archive non-active provers; migrate a2ml to deed and K9; CodeRabbit config

  completed successfully:
  Proofs#60:Pull request#187openedbyhyperpolymath
  arena/6c682e29-absolute-zero

  Oct 10, 20261m 52s
  More actions for workflow run 60

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.…

  completed successfully:
  Proofs#59:Commit6010145pushedbyhyperpolymath
  main

  Oct 9, 20261m 22s
  More actions for workflow run 59

• chore(deps): bump github/codeql-action from 4.38.1 to 4.38.2 in the a…

  completed successfully:
  Proofs#58:Commit5f27136pushedbyhyperpolymath
  main

  Oct 2, 20262m 11s
  More actions for workflow run 58

• docs(citation): align CITATIONS.adoc author form with CITATION.cff (#…

  cancelled:
  Proofs#57:Commit27d879fpushedbyhyperpolymath
  main

  Oct 1, 202625m 27s
  More actions for workflow run 57