Skip to content

Conditional κ ≈ 0.001720398337: two-sided helper extraction and charged T74 packing - #2908

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jeremydiviney:research/t74-shared-kernel-recovery
Oct 16, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jeremydiviney:research/t74-shared-kernel-recovery

Conversation

@jeremydiviney

Copy link
Copy Markdown
Contributor

This changes the PR2894 local word using paired input/output basis changes to restore helper408 at an eight-dimensional terminal frame. Both providers pass the exact 632-input forward/dual audit and all five native stages. The extra private cleanup buffer is explicitly charged: 73 buffers, 66,795 physical families.

The complete T74 owner repair and finite/outer release give conditional κ = 0.001720398337354237885931 − 10⁻⁴⁶ − 10⁻⁷⁰, a gain of 2.13808976768352857×10⁻⁷ over #2894 at 18d03c447886895ef9abf888398178e0428533ca (about 0.0124%). Keeping the inherited allocation loses; 545 same-call width exchanges and 222 checked relocations realize the gain. No packing optimality or unconditional multiplication theorem is claimed.

The contribution includes a pure word producer, an independent exact two-sided subspace certificate, literal owner fill, rational moment check, 73-buffer admission adapter, complete release/native evidence, and a pinned-source full replay command. The registered replay independently reruns the local construction, corruption controls, both native chains, owners and exact moment; it authenticates stored integrated-release evidence. reproduce.py reruns integrated admission and defaults to fresh retained bootstrapping. The recorded full run explicitly reused authenticated retained native/parent evidence from our earlier complete replay, and freshly ran both changed providers.

Validation passed:

  • Complete source reconstruction and inherited semantic controls; both full native chains.
  • Actual owner/physical-stock/prefix/block-norm checks, discovery, independent outer arithmetic and complete PASS_RELEASE.
  • Separate exact owner/moment check, registered Python 3.12 replay, package metadata and 104-file committed-byte preflight.

Package: research/two-sided-helper-extraction. Exact claims, commands, source pins, failed search attempts and open next questions are documented there. The next useful experiment is a second independent paired direction after helper408, with the complete cost gate retained.

Credit: Jeremy Kothe's #2894/#2833 supplier and fill; Yiyang Lu's #2857 shared kernels and integration; Dugongue's #2863 packing; Marius-Paul Dumitrean's #2843/#2802 lineage; Philippe Van Velzen's #2853 cost work; Tekalign's owner/admission tooling; and the retained exact/native authors. The new terminal recovery changes gates and the cold endpoint, outside #2904's fixed-gate entry/refit census. Full attribution is in CREDITS.md.

Prepared by Jeremy Diviney with substantial OpenAI Codex assistance. No independent human review is claimed. The selected repository record is unchanged, and inherited all-size/compiler hypotheses remain.

@Mister-Meeseeks
Mister-Meeseeks merged commit 050d1ad into CrocSwap:main Oct 16, 2026
40 of 61 checks passed
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.

2 participants