Governance

Workflow runs for Governance

• chore(deps): bump the rust-minor group with 2 updates

  completed successfully:
  Governance#204:Pull request#126openedbydependabot[bot]Bot
  dependabot/cargo/rust-minor-8b557c6638

  Jun 6, 202621s
  More actions for workflow run 204

• proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX…

  completed successfully:
  Governance#203:Commitd215986pushedbyhyperpolymath
  main

  Jun 4, 202614s
  More actions for workflow run 203

• proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX registry

  completed successfully:
  Governance#202:Pull request#125openedbyhyperpolymath
  claude/upbeat-thompson-hb26c

  Jun 4, 202614s
  More actions for workflow run 202

• chore(close-out): CI hardening + hexad proof + doc accuracy + 6a2 met…

  completed successfully:
  Governance#201:Commitcfc892fpushedbyhyperpolymath
  main

  Jun 4, 202625s
  More actions for workflow run 201

• chore(close-out): CI hardening + hexad proof + doc accuracy + 6a2 metadata

  completed successfully:
  Governance#200:Pull request#122openedbyhyperpolymath
  claude/upbeat-thompson-hb26c

  Jun 4, 202621s
  More actions for workflow run 200

• feat: assay / assimilate / aggregate — proof-integration subcommands …

  completed successfully:
  Governance#199:Commit4dc4acapushedbyhyperpolymath
  main

  Jun 4, 202621s
  More actions for workflow run 199

• feat: assay / assimilate / aggregate — proof-integration subcommands

  completed successfully:
  Governance#198:Pull request#121openedbyhyperpolymath
  claude/upbeat-thompson-hb26c

  Jun 4, 202622s
  More actions for workflow run 198

• feat(safe_path): port proven SafePath as pure-Rust + add traversal gu…

  completed successfully:
  Governance#197:Commit2dc1393pushedbyhyperpolymath
  main

  Jun 2, 202614m 59s
  More actions for workflow run 197

• proofs(Layer 1.0): close slash-slash inductive case via mutual recurs…

  cancelled:
  Governance#196:Commit833f394pushedbyhyperpolymath
  main

  Jun 2, 202610s
  More actions for workflow run 196

• release(v2.5.5): tag the 11-PR context-awareness cohort (#118)

  cancelled:
  Governance#195:Commitd5f3a4fpushedbyhyperpolymath
  main

  Jun 2, 20267s
  More actions for workflow run 195

• feat(safe_path): port proven SafePath as pure-Rust + add traversal guard (#115)

  failed:
  Governance#194:Pull request#120openedbyhyperpolymath
  feat/proven-safepath-port

  Jun 2, 202614m 30s
  More actions for workflow run 194

• proofs(Layer 1.0): close slash-slash inductive case via mutual recursion (#113)

  failed:
  Governance#193:Pull request#119openedbyhyperpolymath
  proofs/layer-1-0-slash-slash-closure

  Jun 2, 202613m 55s
  More actions for workflow run 193

• release(v2.5.5): tag the 11-PR context-awareness cohort

  failed:
  Governance#192:Pull request#118openedbyhyperpolymath
  release/v2.5.5

  Jun 2, 202614m 42s
  More actions for workflow run 192

• docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME…

  completed successfully:
  Governance#191:Commit2fc73bdpushedbyhyperpolymath
  main

  Jun 2, 20268m 34s
  More actions for workflow run 191

• docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME comprehensive close-out

  completed successfully:
  Governance#190:Pull request#112openedbyhyperpolymath
  docs/v2.5.5-comprehensive-closeout

  Jun 2, 202611m 59s
  More actions for workflow run 190

• proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l…

  completed successfully:
  Governance#189:Commitad1faf6pushedbyhyperpolymath
  main

  Jun 2, 202642s
  More actions for workflow run 189

• feat(suppression): v2.5.5 Phase 2 — analyzer wire-up (#110)

  completed successfully:
  Governance#188:Commitad72e06pushedbyhyperpolymath
  main

  Jun 2, 202630s
  More actions for workflow run 188

• proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma

  completed successfully:
  Governance#187:Pull request#111openedbyhyperpolymath
  proofs/layer-1-0-strip-idempotence

  Jun 2, 202633s
  More actions for workflow run 187

• feat(suppression): v2.5.5 Phase 2 — analyzer wire-up

  completed successfully:
  Governance#186:Pull request#110openedbyhyperpolymath
  feat/v2.5.5-phase-2-wire-up

  Jun 2, 202622s
  More actions for workflow run 186

• ci(codeql): cron weekly→monthly (cut 3, standards#288) (#109)

  completed successfully:
  Governance#185:Commit600bf51pushedbyhyperpolymath
  main

  Jun 2, 202632s
  More actions for workflow run 185

• ci(codeql): cron weekly→monthly (cut 3, standards#288)

  failed:
  Governance#184:Pull request#109openedbyhyperpolymath
  cicd/codeql-cron-monthly

  Jun 2, 202651s
  More actions for workflow run 184

• feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / Test…

  completed successfully:
  Governance#183:Commitd25210dpushedbyhyperpolymath
  main

  Jun 2, 20265m 6s
  More actions for workflow run 183

• feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / TestMock)

  failed:
  Governance#182:Pull request#106synchronizebyhyperpolymath
  feat/v2.5.5-ffi-refinement

  Jun 2, 20264m 48s
  More actions for workflow run 182

• feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-pus…

  completed successfully:
  Governance#181:Commit62c98ccpushedbyhyperpolymath
  main

  Jun 2, 20263m 50s
  More actions for workflow run 181

• feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-push

  completed successfully:
  Governance#180:Pull request#108openedbyhyperpolymath
  feat/v3.0.0-chapel-verisim-push

  Jun 2, 202613m 18s
  More actions for workflow run 180