Lock Sync Gate

Workflow runs for Lock Sync Gate

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

  completed successfully:
  Lock Sync Gate#236:Commitc7f9850pushedbyhyperpolymath
  main

  Nov 12, 20268s
  More actions for workflow run 236

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

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

  Nov 12, 20269s
  More actions for workflow run 235

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

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

  Nov 12, 20269s
  More actions for workflow run 234

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

  completed successfully:
  Lock Sync Gate#233:Commitd5dcfd6pushedbyhyperpolymath
  main

  Nov 12, 202612s
  More actions for workflow run 233

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

  completed successfully:
  Lock Sync Gate#232:Commit09652b1pushedbyhyperpolymath
  main

  Nov 12, 20263m 15s
  More actions for workflow run 232

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

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

  Nov 12, 202656s
  More actions for workflow run 231

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

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

  Nov 12, 202614s
  More actions for workflow run 230

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

  completed successfully:
  Lock Sync Gate#229:Commiteb1fb10pushedbyhyperpolymath
  main

  Nov 12, 20267s
  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:
  Lock Sync Gate#228:Pull request#84openedbyhyperpolymath
  claude/mathesis-stage-3-reanchoring-s2qr20

  Nov 12, 20268s
  More actions for workflow run 228

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

  completed successfully:
  Lock Sync Gate#227:Commit3d24e93pushedbyhyperpolymath
  main

  Nov 12, 20268s
  More actions for workflow run 227

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

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

  Nov 12, 20263m 8s
  More actions for workflow run 226

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

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

  Nov 12, 202618s
  More actions for workflow run 225

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

  completed successfully:
  Lock Sync Gate#224:Commit0c624b8pushedbyhyperpolymath
  main

  Nov 12, 20269s
  More actions for workflow run 224

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

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

  Nov 12, 202610s
  More actions for workflow run 223

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

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

  Nov 12, 202633s
  More actions for workflow run 222

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

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

  Nov 12, 202617s
  More actions for workflow run 221

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

  completed successfully:
  Lock Sync Gate#220:Pull request#81openedbyhyperpolymath
  claude/mathesis-stage-3-reanchoring-s2qr20

  Nov 12, 20261m 9s
  More actions for workflow run 220

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

  completed successfully:
  Lock Sync Gate#219:Commitd493701pushedbyhyperpolymath
  main

  Nov 12, 20269s
  More actions for workflow run 219

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

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

  Nov 11, 20268s
  More actions for workflow run 218

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

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

  Nov 11, 20268s
  More actions for workflow run 217

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

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

  Nov 11, 20266s
  More actions for workflow run 216

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

  completed successfully:
  Lock Sync Gate#215:Commit881f9f5pushedbyhyperpolymath
  main

  Nov 11, 202611s
  More actions for workflow run 215

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

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

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

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

  queued:
  Lock Sync 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:
  Lock Sync Gate#212:Pull request#78synchronizebyhyperpolymath
  claude/mathesis-stage-3-reanchoring-s2qr20

  Nov 11, 20269s
  More actions for workflow run 212