All workflows

Showing runs from all workflows

2500+ workflow runs

Lower minimum root prefixes to physical Count tapes and complete root callers
currently running:
Registered research packages#5343:Pull request#5707openedbyaliromman
aliromman:codex/kappa-ten-09-research
Oct 26, 2026In progress
Exclude common-main coordinate coframes for query-thinned callers through C=.01
failed:
Registered research packages#5342:Pull request#5706openedbyaliromman
aliromman:codex/common-coframe-coordinate-cut-20261026
Oct 26, 20263m 54s
Qualify the absolute loss of the frozen PR5687 two-call invoice (no new κ)
completed successfully:
Registered research packages#5341:Pull request#5705openedbyClear1nsight
Clear1nsight:research/uniform-two-call-invoice-qualification-20261026
Oct 26, 20264m 35s
Make complete Clifford replay 5.17x faster with exact quadratic states
failed:
Registered research packages#5340:Pull request#5704openedbyaliromman
aliromman:codex/ten-kappa-21
Oct 26, 20263m 23s
Restore selected review and source links in the CI guide
completed successfully:
Registered research packages#5339:Pull request#5703openedbyClear1nsight
Clear1nsight:fix/current-ci-selected-source-links-20261026
Oct 26, 20264m 4s
Scoped negative result: thirteen H9 refinements cannot fund one added call
failed:
Registered research packages#5338:Pull request#5702openedbytheon199
theon199:research/helper-refinement-budget-s29
Oct 26, 20263m 47s
Qualify two characteristic-zero trace contracts from PR5681
failed:
Registered research packages#5337:Pull request#5701openedbyClear1nsight
Clear1nsight:codex/pr5681-char0-trace-qualification
Oct 26, 20263m 56s
Independently audit F9 automorphism characters and norm-only false positives
failed:
Registered research packages#5336:Pull request#5700openedbytheon199
theon199:research/seed83-f9-character-audit
Oct 26, 20263m 25s
Research: certify a two-burst schedule for the fixed eight-field escape circuit
failed:
Registered research packages#5335:Pull request#5699openedbytheon199
theon199:research/seed26-connector-gap-certificates
Oct 26, 20264m 11s
Certify the actual restricted C coframe optimum and 201-call reduction
failed:
Registered research packages#5334:Pull request#5698openedbyaliromman
aliromman:codex/ten-kappa-20
Oct 26, 20264m 2s
Prove sharp seven-deletion incidence at every live E8 pivot
failed:
Registered research packages#5333:Pull request#5697openedbyaliromman
aliromman:codex/kappa-ten-08-research
Oct 26, 20263m 50s
Verify the fixed PR5678 nearest-contact falsifier (no new κ)
failed:
Registered research packages#5332:Pull request#5695openedbyClear1nsight
Clear1nsight:p104-nearest-contact-verification-20261026
Oct 26, 20263m 47s
Strengthen uniform Clifford tensor Gram bound from 1/9 to 1/3
failed:
Registered research packages#5331:Pull request#5694openedbykumagi
kumagi:research/clifford-residual-count-bound-20261026
Oct 26, 20264m 15s
Reduce joint Gaussian coframe search to exact cuts and rational certificates
failed:
Registered research packages#5330:Pull request#5693openedbyDugongue
Dugongue:research/joint-gaussian-coframe-search-20261025
Oct 26, 20264m 38s
Extract complete raw finite-field pencil blocks and exact maps
failed:
Registered research packages#5329:Pull request#5692openedbyaliromman
aliromman:codex/kappa-ten-07-research
Oct 26, 20264m 12s
Independently audit native equality-cut signs and caller contracts
failed:
Registered research packages#5328:Pull request#5690openedbykumagi
kumagi:research/contribution-20261026
Oct 26, 20263m 31s
Complete supplied finite-field pencil determinant characters
failed:
Registered research packages#5327:Pull request#5689openedbyaliromman
aliromman:codex/ten-kappa-19
Oct 26, 20263m 55s
Minimize the root row prefix; one axis suffices eventually
failed:
Registered research packages#5326:Pull request#5688openedbyaliromman
aliromman:codex/kappa-ten-06-research
Oct 26, 20263m 58s
Improve actual restricted Gaussian suppliers and preserve caller tail guards
failed:
Registered research packages#5325:Pull request#5687openedbyDugongue
Dugongue:research/restricted-gaussian-coframe-improvement-20261025
Oct 26, 20263m 53s
Fix standalone Word RAM package registration
failed:
Registered research packages#5324:Pull request#5686openedbythu-nmrc
thu-nmrc:codex/wordram-standalone-registration
Oct 26, 20263m 47s
Prove a typed inverse-commutator exclusion for the PR5660 rewrite delta
failed:
Registered research packages#5323:Pull request#5685openedbyClear1nsight
Clear1nsight:codex/p104-typed-delta-commutator-exclusion
Oct 26, 20263m 45s
Conditional κ .00310871312 (+5.546e-7 over #5678): exact reorder+re-frame optimum (helpers 473, 733)
failed:
Registered research packages#5322:Pull request#5684openedbyGamingPuzzled
GamingPuzzled:r22e-reframe-5678
Oct 26, 20263m 54s
Classify all mixed singular Kronecker determinant characters
failed:
Registered research packages#5321:Pull request#5683openedbyaliromman
aliromman:codex/ten-kappa-18
Oct 26, 20264m 11s
Certify one contact-chart obstruction on frozen PR5660 (no new κ)
failed:
Registered research packages#5320:Pull request#5682openedbyClear1nsight
Clear1nsight:p104-chart-contact-obstruction-20261026
Oct 26, 20263m 51s
Attain the static connector rank bound and audit its obstruction
failed:
Registered research packages#5319:Pull request#5681openedbyaliromman
aliromman:codex/kappa-ten-05-research
Oct 26, 20263m 56s