Skip to content

Deferred bit word and a 28,705-role complex producer under stopped-product accounting: conditional κ = 1.044939e-4 - #117

Closed
eumemic wants to merge 2 commits into
CrocSwap:mainfrom
eumemic:deferred-product
Closed

eumemic wants to merge 2 commits into
CrocSwap:mainfrom
eumemic:deferred-product

Conversation

@eumemic

@eumemic eumemic commented Oct 9, 2026

Copy link
Copy Markdown
Contributor

Conditional improvement

$$T(n)=O\big(n(\log n)^{1-\kappa}\big),\qquad \kappa=\frac{1044939}{10^{10}}=1.044939\times10^{-4}.$$

This is +5.87% over #116, the best open PR when this was opened (9.8699350338e-5), and +21.72% over #110 (8.58478e-5). It is +34.06% over #104, its base. The complex side binds. All of #104's retained analytic and tape interfaces remain assumptions.

#110 independently uses the same bit-side composition: Swapnil Jain's round-seven deferred words under #104's one-child rule, with stopped bit saving 1.2402e-4. #113, #114 and #116 reuse that bit side. This PR differs from them only on the complex side.

Change

Preconditions and scope are in research/deferred-product/PROOF.md.

Verification

make deferred-product-verify

This target does the following:

A full make verify passed on Linux (EC2) with a clean git diff.

Credits

🤖 Generated with Claude Code

icekylinx and others added 2 commits October 9, 2026 07:11
… = 1.044939e-4

Swapnil Jain's round-seven deferred bit word (PR CrocSwap#97 import, h=23) charged by
PR CrocSwap#104's one-child stopped-product rule (every residual is a nested projector
residual), a new h=24 all-disjoint rational-center complex producer (28,705
roles) in PR CrocSwap#104's framework, and PR CrocSwap#104's assembly at PHASE_STOP 1e-6:
kappa = 1044939/10^10, complex-bound.

Builds on PR CrocSwap#104 (icekylinx) and PR CrocSwap#97 (jacklightChen; Swapnil Jain's
round-seven research).

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@gupt1156 gupt1156 mentioned this pull request Oct 9, 2026
@Mister-Meeseeks

Copy link
Copy Markdown
Contributor

Thank you @eumemic. This contribution is now recorded on main in the scoped reconciliation review and contributor credits.

Contribution: Replayed complex producer and stopped bit supplier.

Review and limits: Exact-head CI evidence retains 91,770 additions and 28,705 complex roles; full composition rather than isolated savings.

The complete original source, proof/research notes, notices and relevant replay/CI evidence are retained through the pinned source archive. The review distinguishes fresh runs, exact-head historical CI and prior integration evidence. Closing this historical PR as reconciled; its obsolete headline does not replace the current selected bound, and draft/retracted claims retain their explicit qualifications.

Reviewed head: cbb05ce504d571546d9b7794c186a613c659c3bf. Publication: b84ba67156a01f9c2cb34fe1e3cb1dcdeab00d9c.

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