🔴 Gate: Governance metadata

Workflow runs for 🔴 Gate: Governance metadata

• Say what verification/proofs/ actually contains (#86)

  failed at startup:
  🔴 Gate: Governance metadata#210:Commit7083d19pushedbyhyperpolymath
  main

  Nov 10, 2026Startup failure
  More actions for workflow run 210

• 🔴 Gate: Governance metadata

  failed at startup:
  🔴 Gate: Governance metadata#209:synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 2026Startup failure
  More actions for workflow run 209

• 🔴 Gate: Governance metadata

  failed at startup:
  🔴 Gate: Governance metadata#208:synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 2026Startup failure
  More actions for workflow run 208

• 🔴 Gate: Governance metadata

  failed at startup:
  🔴 Gate: Governance metadata#207:openedbyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 2026Startup failure
  More actions for workflow run 207

• Phase 0 follow-up: CI/required asserts Idris 2 0.8.0, checker pin bum…

  failed at startup:
  🔴 Gate: Governance metadata#206:Commit771555bpushedbyhyperpolymath
  main

  Nov 5, 2026Startup failure
  More actions for workflow run 206

• 🔴 Gate: Governance metadata

  failed at startup:
  🔴 Gate: Governance metadata#205:synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 2026Startup failure
  More actions for workflow run 205

• 🔴 Gate: Governance metadata

  failed at startup:
  🔴 Gate: Governance metadata#204:synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 2026Startup failure
  More actions for workflow run 204

• Phase 0 follow-up: CI/required asserts Idris 2 0.8.0, checker pin bumped to post-ratification trope-checker, schema re-vendored, AFFIRMATION accuracy (haec)

  failed:
  🔴 Gate: Governance metadata#203:Pull request#85byhyperpolymath
  claude/new-session-snuoro

  Nov 4, 2026Failure
  More actions for workflow run 203

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

  failed:
  🔴 Gate: Governance metadata#202:Commit6b36491pushedbyhyperpolymath
  main

  Oct 28, 2026Failure
  More actions for workflow run 202

• chore(deps): bump github/codeql-action from 4.39.0 to 4.39.1 in the actions group

  failed:
  🔴 Gate: Governance metadata#201:Pull request#84bydependabot[bot]Bot
  dependabot/github_actions/actions-00a1a19959

  Oct 28, 2026Failure
  More actions for workflow run 201

• Phase 0: make the status surfaces true (haec) (#81)

  failed:
  🔴 Gate: Governance metadata#200:Commit66e4f11pushedbyhyperpolymath
  main

  Oct 27, 2026Failure
  More actions for workflow run 200

• Phase 0: make the status surfaces true (haec)

  failed:
  🔴 Gate: Governance metadata#199:Pull request#81bycoderabbitai[bot]Bot
  claude/new-session-snuoro

  Oct 27, 2026Failure
  More actions for workflow run 199

• Phase 0: make the status surfaces true (haec)

  failed:
  🔴 Gate: Governance metadata#198:Pull request#81byhyperpolymath
  claude/new-session-snuoro

  Oct 27, 2026Failure
  More actions for workflow run 198

• Phase 0: make the status surfaces true (haec)

  failed:
  🔴 Gate: Governance metadata#197:Pull request#81bycoderabbitai[bot]Bot
  claude/new-session-snuoro

  Oct 27, 2026Failure
  More actions for workflow run 197

• Phase 0: make the status surfaces true (haec)

  failed:
  🔴 Gate: Governance metadata#196:Pull request#81byhyperpolymath
  claude/new-session-snuoro

  Oct 27, 2026Failure
  More actions for workflow run 196

• Phase 0: make the status surfaces true (haec)

  failed:
  🔴 Gate: Governance metadata#195:Pull request#81byhyperpolymath
  claude/new-session-snuoro

  Oct 27, 2026Failure
  More actions for workflow run 195

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

  failed:
  🔴 Gate: Governance metadata#194:Commite9bee39pushedbyhyperpolymath
  main

  Oct 21, 20261m 43s
  More actions for workflow run 194

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

  failed:
  🔴 Gate: Governance metadata#193:Pull request#80openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 21, 20269s
  More actions for workflow run 193

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

  completed successfully:
  🔴 Gate: Governance metadata#192:Commitc648352pushedbyhyperpolymath
  main

  Oct 14, 202619s
  More actions for workflow run 192

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

  completed successfully:
  🔴 Gate: Governance metadata#191:Pull request#79openedbydependabot[bot]Bot
  dependabot/github_actions/actions-47d671327e

  Oct 14, 20261m 57s
  More actions for workflow run 191

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

  failed:
  🔴 Gate: Governance metadata#190:Commitfaee2f5pushedbyhyperpolymath
  main

  Oct 7, 20261m 12s
  More actions for workflow run 190

• chore(deps): bump github/codeql-action from 4.37.9 to 4.38.2 in the actions group

  failed:
  🔴 Gate: Governance metadata#189:Pull request#78openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Oct 7, 202622s
  More actions for workflow run 189

• docs: add Signed commits section to CONTRIBUTING (#76)

  failed:
  🔴 Gate: Governance metadata#188:Commitb437282pushedbyhyperpolymath
  main

  Oct 1, 202630s
  More actions for workflow run 188

• docs: add Signed commits section to CONTRIBUTING

  failed:
  🔴 Gate: Governance metadata#187:Pull request#76synchronizebyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 202628s
  More actions for workflow run 187

• ci(secret-scan): rename caller job key secret-scan -> scan (D243) (#77)

  completed successfully:
  🔴 Gate: Governance metadata#186:Commitf89b371pushedbyhyperpolymath
  main

  Oct 1, 20261m 16s
  More actions for workflow run 186