Static Analysis Gate

Workflow runs for Static Analysis Gate

• Merge pull request #86 from hyperpolymath/marina/eloquent-ritchie-p8kko8

  completed successfully:
  Static Analysis Gate#236:Commitc7f9850pushedbyhyperpolymath
  main

  Nov 12, 202638s
  More actions for workflow run 236

• docs(programme): tested multinomial bridge and two candidate statements (from MetaManifold-WebUI #22)

  completed successfully:
  Static Analysis Gate#235:Pull request#86synchronizebyhyperpolymath
  marina/eloquent-ritchie-p8kko8

  Nov 12, 202638s
  More actions for workflow run 235

• docs(programme): tested multinomial bridge and two candidate statements (from MetaManifold-WebUI #22)

  completed successfully:
  Static Analysis Gate#234:Pull request#86openedbyhyperpolymath
  marina/eloquent-ritchie-p8kko8

  Nov 12, 202634s
  More actions for workflow run 234

• Merge pull request #85 from hyperpolymath/claude/mathesis-wo-4-3-site

  completed successfully:
  Static Analysis Gate#233:Commitd5dcfd6pushedbyhyperpolymath
  main

  Nov 12, 202652s
  More actions for workflow run 233

• Merge pull request #82 from hyperpolymath/docs/rule-16-drop-opus

  completed successfully:
  Static Analysis Gate#232:Commit09652b1pushedbyhyperpolymath
  main

  Nov 12, 20266m 23s
  More actions for workflow run 232

• site: build the generated views into a static site in CI (WO 4.3, build only)

  completed successfully:
  Static Analysis Gate#231:Pull request#85synchronizebyhyperpolymath
  claude/mathesis-wo-4-3-site

  Nov 12, 20262m 8s
  More actions for workflow run 231

• site: build the generated views into a static site in CI (WO 4.3, build only)

  completed successfully:
  Static Analysis Gate#230:Pull request#85synchronizebyhyperpolymath
  claude/mathesis-wo-4-3-site

  Nov 12, 202638s
  More actions for workflow run 230

• Merge pull request #84 from hyperpolymath/claude/mathesis-stage-3-rea…

  completed successfully:
  Static Analysis Gate#229:Commiteb1fb10pushedbyhyperpolymath
  main

  Nov 12, 202635s
  More actions for workflow run 229

• applied: Rocq and Lean re-proofs of APP-1 to APP-4 (WO 4.2, 3 of 3)

  completed successfully:
  Static Analysis Gate#228:Pull request#84openedbyhyperpolymath
  claude/mathesis-stage-3-reanchoring-s2qr20

  Nov 12, 202636s
  More actions for workflow run 228

• Merge pull request #83 from hyperpolymath/claude/mathesis-stage-3-rea…

  completed successfully:
  Static Analysis Gate#227:Commit3d24e93pushedbyhyperpolymath
  main

  Nov 12, 202636s
  More actions for workflow run 227

• applied: Agda proofs of APP-1 to APP-4 (WO 4.2, 2 of 3)

  completed successfully:
  Static Analysis Gate#226:Pull request#83openedbyhyperpolymath
  claude/mathesis-stage-3-reanchoring-s2qr20

  Nov 12, 20264m 3s
  More actions for workflow run 226

• docs(arrival-pack): drop Opus from rule 16's cheaper-model list

  completed successfully:
  Static Analysis Gate#225:Pull request#82openedbyhyperpolymath
  docs/rule-16-drop-opus

  Nov 12, 20263m 18s
  More actions for workflow run 225

• Merge pull request #81 from hyperpolymath/claude/mathesis-stage-3-rea…

  completed successfully:
  Static Analysis Gate#224:Commit0c624b8pushedbyhyperpolymath
  main

  Nov 12, 202630s
  More actions for workflow run 224

• applied: input schema, cohort model in Agda, three worked examples (WO 4.2, 1 of 3)

  completed successfully:
  Static Analysis Gate#223:Pull request#81synchronizebyhyperpolymath
  claude/mathesis-stage-3-reanchoring-s2qr20

  Nov 12, 20261m 2s
  More actions for workflow run 223

• applied: input schema, cohort model in Agda, three worked examples (WO 4.2, 1 of 3)

  completed successfully:
  Static Analysis Gate#222:Pull request#81synchronizebyhyperpolymath
  claude/mathesis-stage-3-reanchoring-s2qr20

  Nov 12, 20261m 6s
  More actions for workflow run 222

• applied: input schema, cohort model in Agda, three worked examples (WO 4.2, 1 of 3)

  completed successfully:
  Static Analysis Gate#221:Pull request#81synchronizebyhyperpolymath
  claude/mathesis-stage-3-reanchoring-s2qr20

  Nov 12, 20261m 33s
  More actions for workflow run 221

• applied: input schema, cohort model in Agda, three worked examples (WO 4.2, 1 of 3)

  cancelled:
  Static Analysis Gate#220:Pull request#81openedbyhyperpolymath
  claude/mathesis-stage-3-reanchoring-s2qr20

  Nov 12, 20262m 0s
  More actions for workflow run 220

• Merge pull request #80 from hyperpolymath/claude/mathesis-stage-3-rea…

  completed successfully:
  Static Analysis Gate#219:Commitd493701pushedbyhyperpolymath
  main

  Nov 12, 202632s
  More actions for workflow run 219

• theory: an append-only ledger of the theory work

  completed successfully:
  Static Analysis Gate#218:Pull request#80synchronizebyhyperpolymath
  claude/mathesis-stage-3-reanchoring-s2qr20

  Nov 11, 202632s
  More actions for workflow run 218

• theory: an append-only ledger of the theory work

  completed successfully:
  Static Analysis Gate#217:Pull request#80synchronizebyhyperpolymath
  claude/mathesis-stage-3-reanchoring-s2qr20

  Nov 11, 202634s
  More actions for workflow run 217

• theory: an append-only ledger of the theory work

  completed successfully:
  Static Analysis Gate#216:Pull request#80openedbyhyperpolymath
  claude/mathesis-stage-3-reanchoring-s2qr20

  Nov 11, 202634s
  More actions for workflow run 216

• Merge pull request #79 from hyperpolymath/claude/mathesis-stage-3-rea…

  completed successfully:
  Static Analysis Gate#215:Commit881f9f5pushedbyhyperpolymath
  main

  Nov 11, 202632s
  More actions for workflow run 215

• theory: give the theory shelf its admission rule (re-anchoring WO 4.1)

  completed successfully:
  Static Analysis Gate#214:Pull request#79openedbyhyperpolymath
  claude/mathesis-stage-3-reanchoring-s2qr20

  Nov 11, 20267m 50s
  More actions for workflow run 214

• Merge pull request #78 from hyperpolymath/claude/mathesis-stage-3-rea…

  queued:
  Static Analysis Gate#213:Commitaeb3c8bpushedbyhyperpolymath
  main

  Nov 11, 2026Queued
  More actions for workflow run 213

• docs: affirm the state of Mathesis at c81cb84 (re-anchoring WO 3.6)

  completed successfully:
  Static Analysis Gate#212:Pull request#78synchronizebyhyperpolymath
  claude/mathesis-stage-3-reanchoring-s2qr20

  Nov 11, 202638s
  More actions for workflow run 212