Skip to content

E8 bit supplier c ≈ 1.044064·10⁻³ in the nine-stage word (+2.2 % bit cap; no new κ, complex-bound) - #417

Closed
chafreaky wants to merge 8 commits into
CrocSwap:mainfrom
chafreaky:research/e8-kernel-bit-nine
Closed

chafreaky wants to merge 8 commits into
CrocSwap:mainfrom
chafreaky:research/e8-kernel-bit-nine

Conversation

@chafreaky

Copy link
Copy Markdown
Contributor

A stronger E8 bit supplier: c = 1044063934627389/10¹⁸ ≈ 1.044064e-3 (no new κ; raises the bit cap)

This adds one self-contained package, research/e8-kernel-bit-nine/, with its own workflow. It is a bit-side supplier, like #363 and #377 on the complex side. The frontier is complex-bound, so κ is unchanged. The bit cap rises from #390's c = 255384852701747/2.5e17 ≈ 1.021539e-3 (used by #390–#416) to c ≈ 1.044064e-3, +2.205 %. Complex-side gains now have about 2.5 % of room before the bit side binds.

Construction

Checks (bash research/e8-kernel-bit-nine/verify.sh [--quick] DIR)

Retained and open

Credits

applecrusher (#376), DaysSky (#381, #375), Dugongue (#390), utcorvusvolat-dotcom (#370), Jacob Sussman (E8), eumemic (#410), rohanarun (#409, #392, #318). #376 and #381 were read as data; none of their scripts were run.

Commit 3f681fb. Prepared by Chafik Boukhalfa with substantial Anthropic Claude assistance. Licensed Apache-2.0.

chafreaky and others added 8 commits October 11, 2026 10:13
…ared-donor kernel in B3 (unsplit, halving degree two), paired with CrocSwap#377's nine-stage E8 complex component; conditional kappa = 9.98243154231047e-4 (complex-bound; split degree-1 kappa 9.82187773703164e-4)

Co-Authored-By: Claude <noreply@anthropic.com>
…ith our CrocSwap#378 re-timed E8 unit (same operator), paired with our CrocSwap#382 B3 bit word; conditional kappa = 9.98634656132003e-4 (complex-bound; b 9.99240641e-4 -> 9.99632926e-4)

Co-Authored-By: Claude <noreply@anthropic.com>
…ew free zero-row sink helpers on CrocSwap#390's dirty-preconditioned E8 complex program; conditional kappa = 1.000385913854264e-3 (complex-bound; b 1.001221667e-3 -> 1.001387690e-3)
…nks 301/324/387) on Dugongue's CrocSwap#398 signed target-prefix R781 E8 complex program, compiled with CrocSwap#390's dirty-preconditioned bracket; conditional kappa = 1.002661106042177e-3 (complex-bound; b 1.003500664e-3 -> 1.003667444e-3; CrocSwap#398 b and kappa reproduced as control)
…d 220 on Dugongue's CrocSwap#401 response-subspace R781 E8 complex program (full raw operator identical); conditional kappa = 1.013357935292321e-3 (complex-bound; b 1.014338728e-3 -> 1.014385871e-3; CrocSwap#401 b and kappa reproduced as control from our emission)

Co-Authored-By: Claude <noreply@anthropic.com>
…s 301/387 and target re-synthesis of 177/220 on Dugongue's CrocSwap#404 shared-donor R781 E8 complex program; conditional kappa = 1.016526770666368e-3 (complex-bound; b 1.017456486e-3 -> 1.017561149e-3; CrocSwap#404 b and kappa reproduced as control from our emission)

Re-pivots four CrocSwap#404 gauge relations (555->748, 1019->958, 1020->1001, 585->636; same relation spans,
raw operator = CrocSwap#398's * diag(I,I,S')) so the word passes gx.check1 and gxcore (sixths), and the
unique quarter-of-donor uncomputes of free sinks 301/387 stay in sixths. CrocSwap#404's 124/125 recovery
(gx E4) is not used. Credits: Dugongue (CrocSwap#404, CrocSwap#401, CrocSwap#398, CrocSwap#390), rohanarun, applecrusher (CrocSwap#376),
jacklightChen, Jacob Sussman, DaysSky, utcorvusvolat-dotcom, DreamingOfClouds.
…-donor kernel (182 entries, ILS packing) in PR381's nine-stage B4 (unsplit, halving degree two); bit coarse saving c = 1044063934627389/10^18 ~ 1.044064e-3 (+2.205% over the 1.021539e-3 bit of CrocSwap#390..CrocSwap#410, reproduced as control); complex-bound with CrocSwap#407/CrocSwap#409/CrocSwap#410 b, kappa unchanged

@ahrazzle ahrazzle left a comment •

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Third-hardware replay: PASS. Bit cap raised +2.205%, controls exact.

Environment: Apple M1 Max / macOS 27.0.1, Homebrew GCC 16.2.0
(shimmed g++/c++ for bits/stdc++.h + Boost 1.92). Fresh worktree
of the PR head. Full verify.sh, exit 0.

Key results, all reproduced:

  • Bit coarse saving c = 1044063934627389/10^18 = 1.044064e-3
    (B4 unsplit, halving degree 2). This is +2.205% over the
    c = 255384852701747/(2.5*10^17) = 1.021539e-3 used by
    #390 through #410.
  • The package's own controls reproduce #381's (9.96649e-4) and
    #390's (1.021539e-3) bit savings exactly on their words.
  • Split degree-1 variant: c = 1000662258257099/10^18.
  • With each cited complex supplier, the composed kappa equals
    that supplier's own published claim (verified for #407, #409
    and #410's b values), confirming the new bit word composes
    without disturbing the complex side.

Headroom consequence (arithmetic, not a claim of novelty):
with the current best complex b ~ 1.0188e-3 (#412), the new
bit cap leaves 2.5% of bit headroom before the bit side binds
again. The complex side remains the frontier.

Independent closed-form check: with #412's b =
254703245981514431773/2.5e23 and the standard assembly
(beta = 1e-9, eta = 1e-12, complex binding), the three-round
outer assembly gives kappa = 1.0177760584e-3, matching #412's
published 1.017776060460931e-3 to 9 significant digits (the
residual is my floor convention at the 1e-18 grid).

Automated posting by agentic team with human oversight.

@chafreaky
chafreaky marked this pull request as ready for review October 11, 2026 11:43
eumemic added a commit to eumemic/integer-mult-bounds that referenced this pull request Oct 11, 2026
…check passes

The joint-dual SOURCE.json pins root Makefile/README hashes that main no
longer has, so the joint job fails on every PR. These three files are
byte-identical to rohanarun's CrocSwap#318 (a45747d), as CrocSwap#417 and CrocSwap#439 carry them.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@Mister-Meeseeks

Copy link
Copy Markdown
Contributor

Thank you @chafreaky. This contribution is now retained on main in the scoped 100-PR review and contributor credits.

Contribution: Kernel E8 bit supplier in the nine-stage word.

Review and limits: Bit-primitive improvement only; complex-side integration is needed for a new multiplication bound. Preserve guard and unsplit-layout restrictions.

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: 3f681fb571036ca4a267570318260b0d083f7b9d. Publication: 4040a0f46d67b41c36a472a7cd4af791fd4c36cc.

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