Repository navigation
Conversation
…08294e-4 Single squashed commit carrying research/paired-cube-p11-tightened/ on top of the repository main, representing a one-file-package diff on top of CrocSwap#152 (commit ae9baba). CrocSwap#152's construction unchanged; the assembly's declared- free phase-stop constant moves from the inherited 1/10^6 to 10^-12. The complex side binds (AC = 5113520/10^10), so the (1-beta)*AC ceiling moves directly onto kappa: 5108289/10^10 -> 2554147/5*10^9 (+5 grid points), next point rejected by CrocSwap#152's own 47-constraint assembly. Same move as CrocSwap#104 over CrocSwap#97 and CrocSwap#135/CrocSwap#137/CrocSwap#138.
|
wow |
|
Thank you @geckods. This contribution is now retained on main in the scoped 100-PR review and contributor credits. Contribution: Phase-stop tightening on the pinned PR152 construction. Review and limits: Fresh unchanged patch replay on parent ae9baba; standalone checkout intentionally lacks that dependency. Historical parameter witness, not a new network. The complete original source, notices and relevant execution evidence are retained through the pinned source archive. The review distinguishes fresh local runs, source-bound historical Linux CI and prior exact-head review; it does not claim 100 fresh full mathematical audits. Closing this historical PR as reconciled. This preserves parallel and cumulative credit without replacing the selected frontier or promoting priced research targets to completed constructions. Reviewed head: |
Conditional improvement
Stacked on #152 (
ae9baba, eumemic's paired cubes at p = 11 with the h = 21 bit word). Please review/merge that dependency first; its changes are not claimed here. The only files of this branch areresearch/paired-cube-p11-tightened/(README, verifier). The branch carries a single squashed commit on top of main because the push credential lacks workflow scope; relative to #152 the diff is exactly those two files.Change
One assembly instantiation constant is re-chosen. #152 inherits the merged #144 value
PHASE_STOP = 1/10^6; the phase-stop beta is a free positive constant of the retained assembly (it enters only the(1-beta)*AC - 10^-10ceiling term and the 47 strict inequalities). #152's complex side binds (AC = 5113520/10^10), so the ceiling moves directly onto kappa at the grid:The same re-instantiation, at the same constant and for the same reason, is the move of #104 over #97 and of #135/#137/#138. No word, plan, row, bridge or interface changes; every inherited interface remains an assumption exactly as in #152.
Verification
python3 research/paired-cube-p11-tightened/verify.py(stdlib, ~1 min): reproduces #152's published 5108289/10^10 exactly at the inherited constants, then rebindsPHASE_STOPto10^-12and reruns #152's own 47-constraint assembly: kappa = 2554147/5000000000 with the next 10^-10 grid point rejected, 47 strict constraints and 7 margins.Credits
Conditional; no unconditional multiplication theorem is claimed.