All workflows

Workflow runs

• Audit all compiled Cap declarations and harden auditor controls

  completed successfully:
  Downstream hard-gate exact replay#2177:Pull request#546openedbyd6g8k5htny-coder
  cbz/cap-admission-20261030-01a14b9f

  Oct 30, 20265m 43s
  More actions for workflow run 2177

• Audit all compiled Cap declarations and harden auditor controls

  completed successfully:
  Math hypergraph (organization only)#230:Pull request#546openedbyd6g8k5htny-coder
  cbz/cap-admission-20261030-01a14b9f

  Oct 30, 202627s
  More actions for workflow run 230

• Audit all compiled Cap declarations and harden auditor controls

  completed successfully:
  Cap first exit (Lean kernel evidence, no scientific promotion)#85:Pull request#546openedbyd6g8k5htny-coder
  cbz/cap-admission-20261030-01a14b9f

  Oct 30, 202612m 6s
  More actions for workflow run 85

• Add finite exact MomentTail empirical checks and hosted self-test

  completed successfully:
  Finite MomentTail component self-test#1:Pull request#545synchronizebyd6g8k5htny-coder
  codex/cbz-finite-moment-tail-01a11d37-20261030

  Oct 30, 202634s
  More actions for workflow run 1

• Add finite exact MomentTail empirical checks and hosted self-test

  completed successfully:
  Math hypergraph (organization only)#229:Pull request#545synchronizebyd6g8k5htny-coder
  codex/cbz-finite-moment-tail-01a11d37-20261030

  Oct 30, 202621s
  More actions for workflow run 229

• Add finite exact MomentTail empirical checks and hosted self-test

  completed successfully:
  Downstream hard-gate exact replay#2176:Pull request#545synchronizebyd6g8k5htny-coder
  codex/cbz-finite-moment-tail-01a11d37-20261030

  Oct 30, 20266m 16s
  More actions for workflow run 2176

• Add finite exact MomentTail empirical checks and hosted self-test

  completed successfully:
  Downstream hard-gate exact replay#2175:Pull request#545openedbyd6g8k5htny-coder
  codex/cbz-finite-moment-tail-01a11d37-20261030

  Oct 30, 20265m 56s
  More actions for workflow run 2175

• Add finite exact MomentTail empirical checks and hosted self-test

  completed successfully:
  Math hypergraph (organization only)#228:Pull request#545openedbyd6g8k5htny-coder
  codex/cbz-finite-moment-tail-01a11d37-20261030

  Oct 30, 202625s
  More actions for workflow run 228

• Authenticate DD sensitivity and missing-node control transcripts

  completed successfully:
  Lifetime note DD replay#26:Pull request#541synchronizebyd6g8k5htny-coder
  cbz/dd-exact-oracles-20261029

  Oct 30, 202641m 30s
  More actions for workflow run 26

• Authenticate DD sensitivity and missing-node control transcripts

  completed successfully:
  Full repository regression suite#183:Pull request#541synchronizebyd6g8k5htny-coder
  cbz/dd-exact-oracles-20261029

  Oct 30, 202639m 13s
  More actions for workflow run 183

• Authenticate DD sensitivity and missing-node control transcripts

  completed successfully:
  Downstream hard-gate exact replay#2174:Pull request#541synchronizebyd6g8k5htny-coder
  cbz/dd-exact-oracles-20261029

  Oct 30, 20265m 59s
  More actions for workflow run 2174

• Authenticate DD sensitivity and missing-node control transcripts

  completed successfully:
  Math hypergraph (organization only)#227:Pull request#541synchronizebyd6g8k5htny-coder
  cbz/dd-exact-oracles-20261029

  Oct 30, 202620s
  More actions for workflow run 227

• Merge PR #544: authenticate C8 wrapper check-mode verdicts

  completed successfully:
  Downstream hard-gate exact replay#2173:Commit19a5575pushedbyd6g8k5htny-coder
  main

  Oct 30, 20266m 20s
  More actions for workflow run 2173

• Merge PR #544: authenticate C8 wrapper check-mode verdicts

  completed successfully:
  Math hypergraph (organization only)#226:Commit19a5575pushedbyd6g8k5htny-coder
  main

  Oct 30, 202625s
  More actions for workflow run 226

• Authenticate DD sensitivity and missing-node control transcripts

  completed successfully:
  Downstream hard-gate exact replay#2172:Pull request#541synchronizebyd6g8k5htny-coder
  cbz/dd-exact-oracles-20261029

  Oct 29, 20265m 1s
  More actions for workflow run 2172

• Authenticate DD sensitivity and missing-node control transcripts

  cancelled:
  Lifetime note DD replay#25:Pull request#541synchronizebyd6g8k5htny-coder
  cbz/dd-exact-oracles-20261029

  Oct 29, 202625m 52s
  More actions for workflow run 25

• Authenticate DD sensitivity and missing-node control transcripts

  completed successfully:
  Math hypergraph (organization only)#225:Pull request#541synchronizebyd6g8k5htny-coder
  cbz/dd-exact-oracles-20261029

  Oct 29, 202618s
  More actions for workflow run 225

• Authenticate DD sensitivity and missing-node control transcripts

  cancelled:
  Full repository regression suite#182:Pull request#541synchronizebyd6g8k5htny-coder
  cbz/dd-exact-oracles-20261029

  Oct 29, 202625m 50s
  More actions for workflow run 182

• Authenticate the C8 check-mode verdicts of the planar Theorem A and torus wrappers

  completed successfully:
  Downstream hard-gate exact replay#2171:Pull request#544openedbyd6g8k5htny-coder
  claude/determined-bardeen-mrqy4y-c8-wrappers

  Oct 29, 20266m 40s
  More actions for workflow run 2171

• Authenticate the C8 check-mode verdicts of the planar Theorem A and torus wrappers

  completed successfully:
  C8 planar normalizer floor (certified replay)#73:Pull request#544openedbyd6g8k5htny-coder
  claude/determined-bardeen-mrqy4y-c8-wrappers

  Oct 29, 20268m 28s
  More actions for workflow run 73

• Authenticate the C8 check-mode verdicts of the planar Theorem A and torus wrappers

  completed successfully:
  SIDE24 d5 coefficient#68:Pull request#544openedbyd6g8k5htny-coder
  claude/determined-bardeen-mrqy4y-c8-wrappers

  Oct 29, 202616m 4s
  More actions for workflow run 68

• Authenticate the C8 check-mode verdicts of the planar Theorem A and torus wrappers

  completed successfully:
  C6 cluster coefficient numerics (replay)#151:Pull request#544openedbyd6g8k5htny-coder
  claude/determined-bardeen-mrqy4y-c8-wrappers

  Oct 29, 20262m 42s
  More actions for workflow run 151

• Authenticate the C8 check-mode verdicts of the planar Theorem A and torus wrappers

  completed successfully:
  C8 torus vanishing remainder (certified replay)#25:Pull request#544openedbyd6g8k5htny-coder
  claude/determined-bardeen-mrqy4y-c8-wrappers

  Oct 29, 202611m 39s
  More actions for workflow run 25

• Authenticate the C8 check-mode verdicts of the planar Theorem A and torus wrappers

  completed successfully:
  C8 planar Theorem A constants (certified replay)#18:Pull request#544openedbyd6g8k5htny-coder
  claude/determined-bardeen-mrqy4y-c8-wrappers

  Oct 29, 202628m 35s
  More actions for workflow run 18

• Authenticate the C8 check-mode verdicts of the planar Theorem A and torus wrappers

  completed successfully:
  Local pairing exact controls#109:Pull request#544openedbyd6g8k5htny-coder
  claude/determined-bardeen-mrqy4y-c8-wrappers

  Oct 29, 20261m 15s
  More actions for workflow run 109