🟡 Check: Estate rules

Workflow runs for 🟡 Check: Estate rules

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

  failed:
  🟡 Check: Estate rules#210:Commit7083d19pushedbyhyperpolymath
  main

  Nov 10, 20267s
  More actions for workflow run 210

• Say what verification/proofs/ actually contains

  failed:
  🟡 Check: Estate rules#209:Pull request#86synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 202640m 48s
  More actions for workflow run 209

• Say what verification/proofs/ actually contains

  failed:
  🟡 Check: Estate rules#208:Pull request#86synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 202621m 11s
  More actions for workflow run 208

• Say what verification/proofs/ actually contains

  cancelled:
  🟡 Check: Estate rules#207:Pull request#86openedbyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 202616m 59s
  More actions for workflow run 207

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

  failed:
  🟡 Check: Estate rules#206:Commit771555bpushedbyhyperpolymath
  main

  Nov 5, 20269s
  More actions for workflow run 206

• 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:
  🟡 Check: Estate rules#205:Pull request#85synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 202634s
  More actions for workflow run 205

• 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:
  🟡 Check: Estate rules#204:Pull request#85synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 20262m 1s
  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:
  🟡 Check: Estate rules#203:Pull request#85openedbyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 20261m 47s
  More actions for workflow run 203

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

  failed:
  🟡 Check: Estate rules#202:Commit6b36491pushedbyhyperpolymath
  main

  Oct 28, 20269s
  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:
  🟡 Check: Estate rules#201:Pull request#84openedbydependabot[bot]Bot
  dependabot/github_actions/actions-00a1a19959

  Oct 28, 20269s
  More actions for workflow run 201

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

  failed:
  🟡 Check: Estate rules#200:Commit66e4f11pushedbyhyperpolymath
  main

  Oct 27, 20267s
  More actions for workflow run 200

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

  failed:
  🟡 Check: Estate rules#199:Pull request#81synchronizebycoderabbitai[bot]Bot
  claude/new-session-snuoro

  Oct 27, 202613s
  More actions for workflow run 199

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

  failed:
  🟡 Check: Estate rules#198:Pull request#81synchronizebyhyperpolymath
  claude/new-session-snuoro

  Oct 27, 20263m 13s
  More actions for workflow run 198

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

  completed successfully:
  🟡 Check: Estate rules#197:Pull request#81synchronizebycoderabbitai[bot]Bot
  claude/new-session-snuoro

  Oct 27, 20268s
  More actions for workflow run 197

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

  failed:
  🟡 Check: Estate rules#196:Pull request#81synchronizebyhyperpolymath
  claude/new-session-snuoro

  Oct 27, 202611s
  More actions for workflow run 196

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

  failed:
  🟡 Check: Estate rules#195:Pull request#81openedbyhyperpolymath
  claude/new-session-snuoro

  Oct 27, 202610s
  More actions for workflow run 195

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

  failed:
  🟡 Check: Estate rules#194:Commite9bee39pushedbyhyperpolymath
  main

  Oct 21, 20261m 31s
  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:
  🟡 Check: Estate rules#193:Pull request#80openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 21, 202610s
  More actions for workflow run 193

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

  failed:
  🟡 Check: Estate rules#192:Commitc648352pushedbyhyperpolymath
  main

  Oct 14, 20269s
  More actions for workflow run 192

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

  failed:
  🟡 Check: Estate rules#191:Pull request#79openedbydependabot[bot]Bot
  dependabot/github_actions/actions-47d671327e

  Oct 14, 202614s
  More actions for workflow run 191

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

  failed:
  🟡 Check: Estate rules#190:Commitfaee2f5pushedbyhyperpolymath
  main

  Oct 7, 202612s
  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:
  🟡 Check: Estate rules#189:Pull request#78openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Oct 7, 202610s
  More actions for workflow run 189

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

  failed:
  🟡 Check: Estate rules#188:Commitb437282pushedbyhyperpolymath
  main

  Oct 1, 202621s
  More actions for workflow run 188

• docs: add Signed commits section to CONTRIBUTING

  failed:
  🟡 Check: Estate rules#187:Pull request#76synchronizebyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 20268s
  More actions for workflow run 187

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

  failed:
  🟡 Check: Estate rules#186:Commitf89b371pushedbyhyperpolymath
  main

  Oct 1, 202623s
  More actions for workflow run 186