PR Separation Guard

Workflow runs for PR Separation Guard

• Eichler-Shimura material from FLT

  completed successfully:
  PR Separation Guard#6526:Pull request#696synchronizebyloefflerd
  loefflerd:main

  Oct 26, 202634s
  More actions for workflow run 6526

• perf(DomainTheory): narrow imports and factor repeated proofs

  completed successfully:
  PR Separation Guard#6525:Pull request#720openedbyVilin97
  codex/daily-optimize-domain-theory-20261026

  Oct 26, 202629s
  More actions for workflow run 6525

• fix axiom-audit checker to use Lean env rather than source parsing

  completed successfully:
  PR Separation Guard#6524:Pull request#719synchronizebyloefflerd
  loefflerd:codex/CI-environment-axiom-audit

  Oct 26, 202620s
  More actions for workflow run 6524

• fix axiom-audit checker to use Lean env rather than source parsing

  completed successfully:
  PR Separation Guard#6523:Pull request#719synchronizebyloefflerd
  loefflerd:codex/CI-environment-axiom-audit

  Oct 25, 202624s
  More actions for workflow run 6523

• fix axiom-audit checker to use Lean env rather than source parsing

  completed successfully:
  PR Separation Guard#6522:Pull request#719synchronizebyloefflerd
  loefflerd:codex/CI-environment-axiom-audit

  Oct 25, 202624s
  More actions for workflow run 6522

• fix axiom-audit checker to use Lean env rather than source parsing

  completed successfully:
  PR Separation Guard#6521:Pull request#719openedbyloefflerd
  loefflerd:codex/CI-environment-axiom-audit

  Oct 25, 202627s
  More actions for workflow run 6521

• Eichler-Shimura material from FLT

  completed successfully:
  PR Separation Guard#6520:Pull request#696synchronizebyloefflerd
  loefflerd:main

  Oct 25, 202635s
  More actions for workflow run 6520

• Eichler-Shimura material from FLT

  completed successfully:
  PR Separation Guard#6519:Pull request#696synchronizebyloefflerd
  loefflerd:main

  Oct 25, 202634s
  More actions for workflow run 6519

• Eichler-Shimura material from FLT

  completed successfully:
  PR Separation Guard#6518:Pull request#696synchronizebyloefflerd
  loefflerd:main

  Oct 25, 202637s
  More actions for workflow run 6518

• Optimize DomainTheory imports and repeated proofs

  completed successfully:
  PR Separation Guard#6517:Pull request#718openedbyVilin97
  vilin/optimize-20261024-evening

  Oct 25, 202620s
  More actions for workflow run 6517

• Eichler-Shimura material from FLT

  completed successfully:
  PR Separation Guard#6516:Pull request#696synchronizebyloefflerd
  loefflerd:main

  Oct 24, 202630s
  More actions for workflow run 6516

• Eichler-Shimura material from FLT

  completed successfully:
  PR Separation Guard#6515:Pull request#696synchronizebyloefflerd
  loefflerd:main

  Oct 24, 202633s
  More actions for workflow run 6515

• Reduce Erdos97ConvexOctagon peak compiler memory

  completed successfully:
  PR Separation Guard#6514:Pull request#717openedbyVilin97
  vilin/optimize-erdos97-20261024

  Oct 24, 202626s
  More actions for workflow run 6514

• Import exact adaptive single-copy stabilizer learning

  completed successfully:
  PR Separation Guard#6513:Pull request#716synchronizebyVilin97
  codex/daily-exact-stabilizer-20261024

  Oct 24, 202624s
  More actions for workflow run 6513

• Import exact adaptive single-copy stabilizer learning

  completed successfully:
  PR Separation Guard#6512:Pull request#716openedbyVilin97
  codex/daily-exact-stabilizer-20261024

  Oct 24, 202621s
  More actions for workflow run 6512

• Optimize Brill–Noether closed-cover certificate replay

  completed successfully:
  PR Separation Guard#6511:Pull request#715openedbyVilin97
  vilin/optimize-brill-noether-20261024

  Oct 24, 202622s
  More actions for workflow run 6511

• Reduce SmallUndecidableGroups compilation memory

  completed successfully:
  PR Separation Guard#6510:Pull request#714openedbyVilin97
  vilin/optimize-small-groups-20261023

  Oct 23, 202624s
  More actions for workflow run 6510

• perf(Incompleteness): avoid kernel reduction in term construction proofs

  completed successfully:
  PR Separation Guard#6509:Pull request#713openedbyVilin97
  vilin/optimization-20261023

  Oct 23, 202627s
  More actions for workflow run 6509

• Fix proof-length counter including unrelated declarations

  completed successfully:
  PR Separation Guard#6508:Pull request#712synchronizebyloefflerd
  loefflerd:CI-theorem-lines

  Oct 23, 202628s
  More actions for workflow run 6508

• Fix proof-length counter including unrelated declarations

  completed successfully:
  PR Separation Guard#6507:Pull request#712synchronizebyloefflerd
  loefflerd:CI-theorem-lines

  Oct 23, 202629s
  More actions for workflow run 6507

• Fix proof-length counter including unrelated declarations

  completed successfully:
  PR Separation Guard#6506:Pull request#712openedbyloefflerd
  loefflerd:CI-theorem-lines

  Oct 23, 202641s
  More actions for workflow run 6506

• wrap long lines in Main declarations: in project card

  completed successfully:
  PR Separation Guard#6505:Pull request#711openedbyloefflerd
  loefflerd:CI-wrap-main-decls

  Oct 23, 202625s
  More actions for workflow run 6505

• Eichler-Shimura material from FLT

  completed successfully:
  PR Separation Guard#6504:Pull request#696synchronizebyloefflerd
  loefflerd:main

  Oct 23, 202638s
  More actions for workflow run 6504

• Import the sharp critical-set bound for Latin squares

  completed successfully:
  PR Separation Guard#6503:Pull request#710openedbyVilin97
  codex/import-latin-quarter-20261023

  Oct 23, 202626s
  More actions for workflow run 6503

• Optimize QuantumParallelRepetition proof elaboration and imports

  completed successfully:
  PR Separation Guard#6502:Pull request#709openedbyVilin97
  codex/daily-optimize-2026-10-22

  Oct 22, 202628s
  More actions for workflow run 6502