Repository navigation
Direct delivery with 504 helpers for conditional κ = 0.001517760977820331 - #531
Merged
Mister-Meeseeks merged 2 commits intoOct 12, 2026
Conversation
icekylinx
force-pushed
the
research/direct-delivery504-global-kappa
branch
from
October 12, 2026 01:33
c609855 to
e07a8a3
Compare
This was referenced Oct 12, 2026
This was referenced Oct 12, 2026
This was referenced Oct 12, 2026
Mister-Meeseeks
pushed a commit
that referenced
this pull request
Oct 12, 2026
…01587467473762886 A bit word on #493's D4 quad skeleton with three registers per cell. Each target reads its single d-line from a source register at a cell; after the reads, that register climbs to its block's D4 frame and feeds the block node that makes the Q-deliveries for the complementary block. R = 420 (best previous bit word: 480). Priced by #510's nine-stage chain: c = 0.001653826988146798944268; by #493's eleven-stage chain: c = 0.00164031632456626881922. Complex-bound: kappa = 0.001587467473762886 with #535's complex supplier, and unchanged 0.001517760977820331 with merged #531's. Review point: 597 phase-B gates write source registers after targets have read them; the package states #425's scalar-interface lemma with interleaved z-gates and checks each hypothesis. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
This was referenced Oct 12, 2026
This was referenced Oct 14, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This builds on my #523, retaining its 112-port data controller and replacing its complex supplier with a 504-helper construction. The branch contains the #523 commit followed by one new commit for this increment.
Under the retained all-size compiler, common-label/mutable-basis realization, normalized Lemma A, restored-row, precision/tape and analytic-transfer interfaces,
The saving is 4.10271% above #523 and 3.27687% above #529. The complex supplier still binds. These percentages compare exponent savings, not practical runtime.
Construction
Use the same coordinate partition in both target tetrahedra. Eight retired rows form an invertible source basis, allowing the coordinate centers to finish before the own-block terms are loaded directly into the target basis. Selected cross-block sums are delivered in two reads from existing face copies; 56 assembled packet sums are omitted.
The resulting word uses 504 helpers, with 72 compatible line gauges and 80 exact shared-donor pivots. A further 248 legal frame promotions combine delivery climbs without changing scalar coefficients, chronology or endpoints. Arbitrary helper dirt is handled by newly computed response compensation and explicit cleanup.
A new allocation assigns all 36,288 helper roles to whole idle physical families. Each complete invocation has 728 distinct active owners. Actual windows, orthogonal charts, spectators and all 7,968 remaining children are checked from the emitted program.
Two exact moment engines, six bootstrap levels and all 47 strict outer inequalities give the displayed κ. The unchanged #493 bit supplier is repriced at
0.001565442026981656908596; its physical operator remains a cited dependency.Contribution sources and prior PRs
a900f98be8ff2c09d3292b5112d4731dbd0c8438c3a9a436b84fe44fdc223a5784d84736d1c2d3c7My earlier #433 supplied split centers and source-basis reuse. Earlier contributions in #10, #18, #24, #32, #36, #104, #115, #130 and #144 concern batched boundaries, partial swaps, gauges, certified assembly and frame/cover constructions. These identify provenance rather than additive numerical gains. Dugongue's #505 remains credited for asynchronous scheduling.
The new direct-delivery architecture, compatible entrance selection, frame coalescing and physical allocation are contributed by icekylinx, with GPT-6 Astra assistance. Local review and submission packaging used OpenAI Codex.
NOTICE.md,SOURCES.jsonand the retained ancestry preserve source-specific credits. #527 and #529 are numerical comparisons only.Proof and validation
The new package is
research/direct-delivery504-global/:proof/: source-frontier identity, direct delivery, frame coalescing and whole-owner argument.evidence/audit/EXACT-ASSEMBLY.json: exact moments, bootstrap and strict margins.EXPECTED.json,SOURCES.json,MANIFEST.json: exact result and source/file bindings.LOCAL-VALIDATION.json: local incremental validation and verified dependency reuse.Local validation additionally used
--rebuild-local --delta-phaseson Python 3.14.8 with NumPy 2.3.5. It passed in 23.89 seconds: the selected factory and rational entrance relations were rebuilt, all 1,680 changed phase edges were checked, and the physical owner audit, fresh invoice and strict assembly passed. The 1,242 unchanged phase edges and 224 endpoint adapters reuse a cache checked against #523 byte-for-byte. Retained controller inputs also match the previous local validation.Separate fresh checks passed for both emitted local orientations on all 728 columns, all seven residual wrappers, the fourteen exact source-frontier bases, and 112 delivery incidences. Thirteen local and five wrapper mutation controls were rejected. No predecessor cold replay or unchanged bit-operator reconstruction was repeated. The final prefix is 225 bits within the retained 512-bit allowance.
Final package manifest SHA256:
c1997405c5c0ccd9bdb0a30b0eb9a5a2dc7dc7ce7b59c6a83a2152b80f6410d1.Global template content SHA256:
ed47b5454779f7ad6b32ae492a13f8b5172b11c94c3877cbc5cc5d7a4c357738.Dedicated Python 3.11/3.14 CI performs supplier reconstruction and changed-edge verification. Remote CI is pending. Optional discovery files are excluded, and no PDF is generated. The historical joint-dual hash correction is inherited from #523.
This remains a finite conditional witness. The inherited all-size and analytic interfaces remain assumptions; no new Lean proof, unrestricted optimality or unconditional multiplication theorem is claimed.