Formal Verification (Stage 8c)

Workflow runs for Formal Verification (Stage 8c)

• feat: echidna prove --output json, echidna-core client crate, Zig FFI…

  completed successfully:
  Formal Verification (Stage 8c)#73:Commita71aa2cpushedbyhyperpolymath
  main

  Oct 5, 202656s
  More actions for workflow run 73

• feat: echidna prove --output json, echidna-core client crate, Zig FFI CI

  completed successfully:
  Formal Verification (Stage 8c)#72:Pull request#409synchronizebyhyperpolymath
  firstrun/20261005-integrations

  Oct 5, 20261m 46s
  More actions for workflow run 72

• feat: echidna prove --output json, echidna-core client crate, Zig FFI CI

  completed successfully:
  Formal Verification (Stage 8c)#71:Pull request#409openedbyhyperpolymath
  firstrun/20261005-integrations

  Oct 5, 202659s
  More actions for workflow run 71

• chore: echidna first-run start point (CI restore, drift, ids, templat…

  completed successfully:
  Formal Verification (Stage 8c)#70:Commitb97a799pushedbyhyperpolymath
  main

  Oct 5, 202651s
  More actions for workflow run 70

• chore: echidna first-run start point (CI restore, drift, ids, template form)

  completed successfully:
  Formal Verification (Stage 8c)#69:Pull request#407synchronizebyhyperpolymath
  firstrun/20261005

  Oct 5, 202645s
  More actions for workflow run 69

• chore: echidna first-run start point (CI restore, drift, ids, template form)

  completed successfully:
  Formal Verification (Stage 8c)#68:Pull request#407synchronizebyhyperpolymath
  firstrun/20261005

  Oct 5, 202652s
  More actions for workflow run 68

• chore: echidna first-run start point (CI restore, drift, ids, template form)

  completed successfully:
  Formal Verification (Stage 8c)#67:Pull request#407openedbyhyperpolymath
  firstrun/20261005

  Oct 5, 202654s
  More actions for workflow run 67

• chore(licence): AGPL-3.0-or-later -> MPL-2.0 code, CC-BY-SA-4.0 docs …

  failed:
  Formal Verification (Stage 8c)#66:Commitb761b3apushedbyhyperpolymath
  main

  Oct 3, 20263m 33s
  More actions for workflow run 66

• chore(licence): AGPL-3.0-or-later -> MPL-2.0 code, CC-BY-SA-4.0 docs …

  failed:
  Formal Verification (Stage 8c)#65:Pull request#406synchronizebyhyperpolymath
  chore/licence-agpl-to-mpl

  Oct 3, 202651s
  More actions for workflow run 65

• chore(licence): AGPL-3.0-or-later -> MPL-2.0 code, CC-BY-SA-4.0 docs …

  cancelled:
  Formal Verification (Stage 8c)#64:Pull request#406openedbyhyperpolymath
  chore/licence-agpl-to-mpl

  Oct 3, 20269s
  More actions for workflow run 64

• Formal Verification (Stage 8c)

  failed at startup:
  Formal Verification (Stage 8c)#63:synchronizebyarena-ai-coding-agent[bot]Bot
  arena/01a0da31-echidna

  Sep 25, 2026Startup failure
  More actions for workflow run 63

• Formal Verification (Stage 8c)

  failed at startup:
  Formal Verification (Stage 8c)#62:openedbyarena-ai-coding-agent[bot]Bot
  arena/01a0da31-echidna

  Sep 25, 2026Startup failure
  More actions for workflow run 62

• chapel: bench_mrr outcome telemetry (#162) + prover-count reconciliat…

  failed:
  Formal Verification (Stage 8c)#61:Commit9c422f8pushedbyhyperpolymath
  main

  Sep 25, 2026Failure
  More actions for workflow run 61

• fix(docs): reconcile prover counts to the canonical source (#251)

  failed:
  Formal Verification (Stage 8c)#60:Commit128fc53pushedbyarena-ai-coding-agent[bot]Bot
  arena/01a0d840-echidna

  Sep 25, 2026Failure
  More actions for workflow run 60

• fix(docs): reconcile prover counts to the canonical source (#251)

  failed:
  Formal Verification (Stage 8c)#59:Commit7f6a47epushedbyarena-ai-coding-agent[bot]Bot
  arena/01a0d840-echidna

  Sep 25, 2026Failure
  More actions for workflow run 59

• feat(chapel): per-prover outcome telemetry for bench_mrr

  failed:
  Formal Verification (Stage 8c)#58:Commita544cf2pushedbyarena-ai-coding-agent[bot]Bot
  arena/01a0d840-echidna

  Sep 25, 2026Failure
  More actions for workflow run 58

• docs: resolve verified .md to .adoc structural drift (#242) (#393)

  failed:
  Formal Verification (Stage 8c)#57:Commit58124bfpushedbyhyperpolymath
  main

  Sep 25, 2026Failure
  More actions for workflow run 57

• docs: sweep remaining verified .md to .adoc drift

  failed:
  Formal Verification (Stage 8c)#56:Commit37d64e3pushedbyarena-ai-coding-agent[bot]Bot
  arena/01a0d840-echidna

  Sep 25, 2026Failure
  More actions for workflow run 56

• docs: resolve verified .md to .adoc structural drift

  failed:
  Formal Verification (Stage 8c)#55:Commitfa39751pushedbyarena-ai-coding-agent[bot]Bot
  arena/01a0d840-echidna

  Sep 25, 2026Failure
  More actions for workflow run 55

• chore(deps): bump the actions group with 4 updates (#392)

  failed:
  Formal Verification (Stage 8c)#54:Commit5ac85b4pushedbyhyperpolymath
  main

  Sep 25, 2026Failure
  More actions for workflow run 54

• Merge branch 'main' into dependabot/github_actions/actions-3ea9b48fbf

  failed:
  Formal Verification (Stage 8c)#53:Commit733b7b2pushedbyhyperpolymath
  dependabot/github_actions/actions-3ea9b48fbf

  Sep 25, 2026-1s
  More actions for workflow run 53

• chore(deps): bump rmcp from 3.3.0 to 3.4.0 (#391)

  failed:
  Formal Verification (Stage 8c)#52:Commit4542a19pushedbyhyperpolymath
  main

  Sep 25, 2026Failure
  More actions for workflow run 52

• chore(deps): bump the actions group with 4 updates

  failed:
  Formal Verification (Stage 8c)#51:Commit4430e84pushedbydependabot[bot]Bot
  dependabot/github_actions/actions-3ea9b48fbf

  Sep 25, 2026Failure
  More actions for workflow run 51

• chore(deps): bump rmcp from 3.3.0 to 3.4.0

  failed:
  Formal Verification (Stage 8c)#50:Commitbd23a7cpushedbydependabot[bot]Bot
  dependabot/cargo/rmcp-3.4.0

  Sep 25, 2026Failure
  More actions for workflow run 50

• fix(gates): gate on the DEED grammar, per the template and standards#…

  failed:
  Formal Verification (Stage 8c)#49:Commitff378b1pushedbyhyperpolymath
  main

  Sep 21, 2026Failure
  More actions for workflow run 49