Repository navigation

Degree-uniform endgame and verified first-origin/centered extensions - #4

Draft

subfish-zhou wants to merge 24 commits into

teorth:masterfrom

subfish-zhou:refactor/degree-uniform-endgame

Draft

Degree-uniform endgame and verified first-origin/centered extensions#4
subfish-zhou wants to merge 24 commits into
teorth:masterfrom
subfish-zhou:refactor/degree-uniform-endgame

Commits on Sep 12, 2026
- [verified] Refactor selected Sendov proofs with module-level preservation gates
  Methode
  committed
  7dfa9a3
- [verified] Compress active certificate family and scalar proof plumbing
  Methode
  committed
  c90d028
- [verified] Complete readability-first pass across the Sendov library
  Methode
  committed
  882ef29
Commits on Sep 13, 2026
- [verified] Share batch certificate interfaces and optimize polynomial identities
  Methode
  committed
  6d9ce88
- refactor(sendov): adopt verified cubic critical-point proof route
  Methode
  committed
  69b560e
- refactor(sendov): lower the proved tail to 64 and retire redundant certificates
  Methode
  committed
  29a7f57
- refactor(sendov): clarify local tail monotonicity proofs
  Methode
  committed
  57fa60c
- refactor(sendov): simplify local proofs across the full module corpus
  Methode
  committed
  55cb238
- refactor(sendov): combine earlier tail with cheaper certificate identities
  Methode
  committed
  663a56d
- refactor(sendov): share bounded-degree estimates and simplify budget proofs
  Methode
  committed
  971df74
- refactor(sendov): prove the full scalar domain without degree certificates
  Methode
  committed
  b871348
- refactor(sendov): decouple peak certificates and simplify scalar proofs
  Methode
  committed
  c7f2517
Commits on Sep 14, 2026
- docs: provide degree-uniform endgame review material
  subfish-zhou
  committed
  0a4e966
- Formalize parameter-preserving middle and bulk budget algebra
  Methode
  committed
  ed1a7c2
- Integrate checked research proofs and actual polar Taylor inputs
  Methode
  committed
  5e474da
- Prove uniform finite-ray algebra from a shared base comparison
  Methode
  committed
  b7f5d96
- Close raw-polar near-endpoint D and formalize integral and centered tools
  Methode
  committed
  120dd03
- Wire uniform near-endpoint first-origin proof into both public conclusions
  Methode
  committed
  916075a
- Verify global polar and ray bounds plus full centered majorant budget
  Methode
  committed
  a5f0c11
- Integrate full m256 uniform D and wire large degrees to first-origin
  Methode
  committed
  1108d11
- Complete retained rates and exact diagnostic proofs with reproducible generators
  Methode
  committed
  429d656
- Export all paper corollaries and validate the complete declaration inventory
  Methode
  committed
  8e1b056
- Record complete paper formalization acceptance, scope and measured costs
  Methode
  committed
  a28fce8
Commits on Sep 15, 2026
- [verified] Preserve centered C-near proofs and reproducible research
  Methode
  committed
  908818f

Commits

Commits on Sep 12, 2026

Commits on Sep 13, 2026

Commits on Sep 14, 2026

Commits on Sep 15, 2026