Skip to content

Re-instantiated phase-stop on the p = 11 paired cubes: conditional κ = 5.108294e-4 - #153

Closed
geckods wants to merge 1 commit into
CrocSwap:mainfrom
geckods:p11-tightened
Closed

geckods wants to merge 1 commit into
CrocSwap:mainfrom
geckods:p11-tightened

Conversation

@geckods

@geckods geckods commented Oct 9, 2026

Copy link
Copy Markdown

Conditional improvement

$$T(n)=O\big(n(\log n)^{1-\kappa}\big),\qquad \kappa=\frac{2554147}{5000000000}=\mathbf{5.108294}\times10^{-4}.$$

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 are research/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^-10 ceiling 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:

phase-stop kappa
#152 10^-6 5108289/10^10
this branch 10^-12 2554147/5*10^9

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 rebinds PHASE_STOP to 10^-12 and 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.

…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.
@ploniaaaaaaa

Copy link
Copy Markdown

wow

@Mister-Meeseeks

Copy link
Copy Markdown
Contributor

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: 4ead11e6e10cc7f13a340563990f50f86cc2668b. Publication: 50d768818f579d4e165b4c257c6ee25bca300802.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants