🔴 Gate: Formal proofs

Workflow runs for 🔴 Gate: Formal proofs

• chore(deps): bump the actions group with 2 updates (#111)

  completed successfully:
  🔴 Gate: Formal proofs#170:Commit4ecba4fpushedbyhyperpolymath
  main

  Nov 2, 20263m 36s
  More actions for workflow run 170

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

  completed successfully:
  🔴 Gate: Formal proofs#169:Pull request#111openedbydependabot[bot]Bot
  dependabot/github_actions/actions-784d62f936

  Nov 2, 20263m 44s
  More actions for workflow run 169

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

  completed successfully:
  🔴 Gate: Formal proofs#168:Commitd66e450pushedbydependabot[bot]Bot
  dependabot/github_actions/actions-784d62f936

  Nov 2, 20263m 29s
  More actions for workflow run 168

• ci: adopt standards SLSA allowlist repair

  completed successfully:
  🔴 Gate: Formal proofs#167:Pull request#110synchronizebyhyperpolymath
  arena/5c8a2bc6-trope-checker

  Nov 1, 20262m 20s
  More actions for workflow run 167

• ci: adopt standards SLSA allowlist repair

  completed successfully:
  🔴 Gate: Formal proofs#166:Pull request#110openedbyhyperpolymath
  arena/5c8a2bc6-trope-checker

  Nov 1, 20262m 22s
  More actions for workflow run 166

• Fix remaining decoder validation and CI review findings (supersedes #…

  completed successfully:
  🔴 Gate: Formal proofs#165:Commit7f5aaa5pushedbyhyperpolymath
  main

  Nov 1, 20262m 55s
  More actions for workflow run 165

• Fix remaining decoder validation and CI review findings (supersedes #108)

  completed successfully:
  🔴 Gate: Formal proofs#164:Pull request#109openedbyhyperpolymath
  arena/52007ec1-trope-checker

  Nov 1, 20263m 44s
  More actions for workflow run 164

• fix: carry remaining decoder and CI review fixes onto main baseline

  completed successfully:
  🔴 Gate: Formal proofs#163:Commit6147271pushedbyhyperpolymath
  arena/52007ec1-trope-checker

  Nov 1, 20262m 30s
  More actions for workflow run 163

• Phase 0 + CI repair: make #102's status surfaces true AND its checks …

  completed successfully:
  🔴 Gate: Formal proofs#162:Commit190cc75pushedbyhyperpolymath
  main

  Oct 31, 20262m 58s
  More actions for workflow run 162

• Follow-up to #107: review fixes and governance hardening

  completed successfully:
  🔴 Gate: Formal proofs#161:Pull request#108synchronizebyhyperpolymath
  arena/99ad561a-trope-checker

  Oct 29, 20262m 43s
  More actions for workflow run 161

• Follow-up to #107: review fixes and governance hardening

  completed successfully:
  🔴 Gate: Formal proofs#160:Pull request#108synchronizebyhyperpolymath
  arena/99ad561a-trope-checker

  Oct 29, 20263m 0s
  More actions for workflow run 160

• Follow-up to #107: review fixes and governance hardening

  cancelled:
  🔴 Gate: Formal proofs#159:Pull request#108openedbyhyperpolymath
  arena/99ad561a-trope-checker

  Oct 29, 20262m 49s
  More actions for workflow run 159

• Harden governance publication and proof audit coverage

  completed successfully:
  🔴 Gate: Formal proofs#158:Commitd0e6927pushedbyhyperpolymath
  arena/99ad561a-trope-checker

  Oct 29, 20263m 8s
  More actions for workflow run 158

• Phase 0 + CI repair: make #102's status surfaces true AND its checks green (supersedes #102)

  completed successfully:
  🔴 Gate: Formal proofs#157:Pull request#107synchronizebyhyperpolymath
  arena/a8896a19-trope-checker

  Oct 29, 20262m 40s
  More actions for workflow run 157

• Phase 0 + CI repair: make #102's status surfaces true AND its checks green (supersedes #102)

  completed successfully:
  🔴 Gate: Formal proofs#156:Pull request#107synchronizebyhyperpolymath
  arena/a8896a19-trope-checker

  Oct 29, 20262m 17s
  More actions for workflow run 156

• Phase 0 + CI repair: make #102's status surfaces true AND its checks green (supersedes #102)

  completed successfully:
  🔴 Gate: Formal proofs#155:Pull request#107synchronizebyhyperpolymath
  arena/a8896a19-trope-checker

  Oct 29, 20262m 24s
  More actions for workflow run 155

• Phase 0 + CI repair: make #102's status surfaces true AND its checks green (supersedes #102)

  completed successfully:
  🔴 Gate: Formal proofs#154:Pull request#107synchronizebyhyperpolymath
  arena/a8896a19-trope-checker

  Oct 28, 20262m 26s
  More actions for workflow run 154

• Phase 0 + CI repair: make #102's status surfaces true AND its checks green (supersedes #102)

  completed successfully:
  🔴 Gate: Formal proofs#153:Pull request#107synchronizebyhyperpolymath
  arena/a8896a19-trope-checker

  Oct 28, 20262m 23s
  More actions for workflow run 153

• Phase 0 + CI repair: make #102's status surfaces true AND its checks green (supersedes #102)

  completed successfully:
  🔴 Gate: Formal proofs#152:Pull request#107synchronizebyhyperpolymath
  arena/a8896a19-trope-checker

  Oct 28, 20262m 40s
  More actions for workflow run 152

• Phase 0 + CI repair: make #102's status surfaces true AND its checks green (supersedes #102)

  completed successfully:
  🔴 Gate: Formal proofs#151:Pull request#107synchronizebycoderabbitai[bot]Bot
  arena/a8896a19-trope-checker

  Oct 28, 20262m 44s
  More actions for workflow run 151

• Phase 0 + CI repair: make #102's status surfaces true AND its checks green (supersedes #102)

  completed successfully:
  🔴 Gate: Formal proofs#150:Pull request#107synchronizebycoderabbitai[bot]Bot
  arena/a8896a19-trope-checker

  Oct 28, 20263m 10s
  More actions for workflow run 150

• Phase 0 + CI repair: make #102's status surfaces true AND its checks green (supersedes #102)

  cancelled:
  🔴 Gate: Formal proofs#149:Pull request#107synchronizebycoderabbitai[bot]Bot
  arena/a8896a19-trope-checker

  Oct 28, 20262m 35s
  More actions for workflow run 149

• Phase 0 + CI repair: make #102's status surfaces true AND its checks green (supersedes #102)

  completed successfully:
  🔴 Gate: Formal proofs#148:Pull request#107synchronizebyhyperpolymath
  arena/a8896a19-trope-checker

  Oct 28, 20262m 44s
  More actions for workflow run 148

• Phase 0 + CI repair: make #102's status surfaces true AND its checks green (supersedes #102)

  completed successfully:
  🔴 Gate: Formal proofs#147:Pull request#107synchronizebyhyperpolymath
  arena/a8896a19-trope-checker

  Oct 28, 20262m 41s
  More actions for workflow run 147

• Phase 0 + CI repair: make #102's status surfaces true AND its checks green (supersedes #102)

  completed successfully:
  🔴 Gate: Formal proofs#146:Pull request#107synchronizebyhyperpolymath
  arena/a8896a19-trope-checker

  Oct 28, 20262m 12s
  More actions for workflow run 146