Echidna Proof Verification

Workflow runs for Echidna Proof Verification

• Echidna Proof Verification

  completed successfully:
  Echidna Proof Verification#29:Scheduled
  main

  Oct 19, 20262m 39s
  More actions for workflow run 29

• chore(deps): bump actions/upload-artifact from 7.0.1 to 7.0.2 in the …

  completed successfully:
  Echidna Proof Verification#28:Commitb873cefpushedbyhyperpolymath
  main

  Oct 15, 20262m 49s
  More actions for workflow run 28

• chore(deps): bump actions/upload-artifact from 7.0.1 to 7.0.2 in the actions group

  completed successfully:
  Echidna Proof Verification#27:Pull request#27openedbydependabot[bot]Bot
  dependabot/github_actions/actions-dc5ed02c9f

  Oct 15, 20262m 15s
  More actions for workflow run 27

• Echidna Proof Verification

  completed successfully:
  Echidna Proof Verification#26:Scheduled
  main

  Oct 12, 20262m 51s
  More actions for workflow run 26

• ci: restore block YAML until the gates read KYAML

  completed successfully:
  Echidna Proof Verification#25:Pull request#26openedbyhyperpolymath
  chore/workflow-block-yaml

  Oct 8, 202612s
  More actions for workflow run 25

• ci: remove per-repo Semgrep scan (the Semgrep Code app covers PRs)

  completed successfully:
  Echidna Proof Verification#24:Pull request#25openedbyhyperpolymath
  chore/drop-duplicate-semgrep

  Oct 8, 202619s
  More actions for workflow run 24

• docs: draft AFFIRMATION at eb8e1d0 (owner signs on merge)

  completed successfully:
  Echidna Proof Verification#23:Pull request#23synchronizebyhyperpolymath
  docs/affirmation-2026-10-07

  Oct 7, 202611s
  More actions for workflow run 23

• docs: draft AFFIRMATION at eb8e1d0 (owner signs on merge)

  completed successfully:
  Echidna Proof Verification#22:Pull request#23openedbyhyperpolymath
  docs/affirmation-2026-10-07

  Oct 7, 202610s
  More actions for workflow run 22

• Create EXPLAINME.adoc

  completed successfully:
  Echidna Proof Verification#21:Pull request#22openedbyhyperpolymath
  hyperpolymath-patch-1

  Oct 6, 20269s
  More actions for workflow run 21

• chore(licensing): correct 1000Langs attribution, add Apache-2.0 NOTIC…

  completed successfully:
  Echidna Proof Verification#20:Commitc65a377pushedbyhyperpolymath
  main

  Oct 6, 20263m 8s
  More actions for workflow run 20

• chore(licensing): correct 1000Langs attribution, add Apache-2.0 NOTICE for meta/

  completed successfully:
  Echidna Proof Verification#19:Pull request#21openedbyhyperpolymath
  chore/licence-attribution

  Oct 6, 20263m 10s
  More actions for workflow run 19

• Echidna Proof Verification

  completed successfully:
  Echidna Proof Verification#18:Scheduled
  main

  Oct 5, 20262m 28s
  More actions for workflow run 18

• Update README.adoc

  completed successfully:
  Echidna Proof Verification#17:Pull request#20openedbyhyperpolymath
  hyperpolymath-patch-1

  Oct 4, 20268s
  More actions for workflow run 17

• fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh …

  completed successfully:
  Echidna Proof Verification#16:Commitbd32bc5pushedbyhyperpolymath
  main

  Oct 4, 20263m 35s
  More actions for workflow run 16

• fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh gate port (follow-up to #18; closes #4)

  completed successfully:
  Echidna Proof Verification#15:Pull request#19synchronizebyhyperpolymath
  arena/01a10472-lol

  Oct 4, 20263m 19s
  More actions for workflow run 15

• fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh gate port (follow-up to #18; closes #4)

  completed successfully:
  Echidna Proof Verification#14:Pull request#19synchronizebyhyperpolymath
  arena/01a10472-lol

  Oct 4, 20262m 28s
  More actions for workflow run 14

• fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh gate port (follow-up to #18; closes #4)

  failed:
  Echidna Proof Verification#13:Pull request#19synchronizebyhyperpolymath
  arena/01a10472-lol

  Oct 4, 20262m 11s
  More actions for workflow run 13

• fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh gate port (follow-up to #18; closes #4)

  failed:
  Echidna Proof Verification#12:Pull request#19synchronizebyhyperpolymath
  arena/01a10472-lol

  Oct 4, 20263m 1s
  More actions for workflow run 12

• fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh gate port (follow-up to #18; closes #4)

  failed:
  Echidna Proof Verification#11:Pull request#19synchronizebyhyperpolymath
  arena/01a10472-lol

  Oct 4, 20262m 14s
  More actions for workflow run 11

• fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh gate port (follow-up to #18; closes #4)

  failed:
  Echidna Proof Verification#10:Pull request#19synchronizebyhyperpolymath
  arena/01a10472-lol

  Oct 4, 20263m 42s
  More actions for workflow run 10

• fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh gate port (follow-up to #18; closes #4)

  failed:
  Echidna Proof Verification#9:Pull request#19synchronizebyhyperpolymath
  arena/01a10472-lol

  Oct 4, 202648s
  More actions for workflow run 9

• fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh gate port (follow-up to #18; closes #4)

  failed:
  Echidna Proof Verification#8:Pull request#19synchronizebyhyperpolymath
  arena/01a10472-lol

  Oct 4, 202658s
  More actions for workflow run 8

• fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh gate port (follow-up to #18; closes #4)

  failed:
  Echidna Proof Verification#7:Pull request#19openedbyhyperpolymath
  arena/01a10472-lol

  Oct 4, 20262m 29s
  More actions for workflow run 7

• ci(proofs): type-check the Agda corpus here and quarantine its trust …

  failed:
  Echidna Proof Verification#6:Commita5e3225pushedbyhyperpolymath
  main

  Oct 4, 202644s
  More actions for workflow run 6

• ci(proofs): type-check the Agda corpus here and quarantine its trust base (fixes #4)

  failed:
  Echidna Proof Verification#5:Pull request#18synchronizebyhyperpolymath
  arena/01a10472-lol

  Oct 4, 202648s
  More actions for workflow run 5