Repository navigation
Improve P104 helper split with distinct input and output bases - #5718
Merged
Mister-Meeseeks merged 2 commits intoOct 26, 2026
Merged
Mister-Meeseeks merged 2 commits into
Mister-Meeseeks merged 2 commits into
Conversation
This was referenced Oct 26, 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 source-specific helper split improves the complete conditional exponent saving from κ = 0.00310915222 to 0.00311024570, building on Ali Romman's #5713 at
a5348f7143f95fe0046b92b96172e30763c7d731. The increase is approximately 0.0352%; this is a modest improvement and leaves the selected frontier unchanged.The construction uses different legal combinations at the input and output boundaries. An existing rank-two meeting restores helper 708 and lets a new independent helper take over its continuation. An exact later relation reduces the output correction to three ordinary additions. The input fields are arbitrary, including those at zero-dimensional frames. There are no added paid recursive transports: per LOCAL, the complete signed target gain is
H2 + H7 - H9 > 0, with all added ordinary work charged. The complete caller has 66,348 paid jobs and 12,976 productive fields. The raw crossing enclosure is(0.00311024572012, 0.00311024572013).The focused package retains the exact predecessor export, source hashes and attribution, an explicit constructor, proof, pricing substitutions, independent evidence, and registered replay commands. No shared framework files, workflows or selected-result records change.
Validation
a1534ac45401c9a9c80c07aa65c89e00e33594f8. Both normal and optimized commands also passed from the final Git-free, read-only export with an empty PATH (268.656 seconds total); all 22 exported files, including the export manifest, remained byte-identical.Reproduce with:
Expected scientific marker:
PASS_P104_TWO_BOUNDARY_SPLIT_KAPPA_00311024570.Scope and known CI dependency
The inherited all-width native, owned erasure, compiler, precision/tape and analytic/recovery assumptions remain. Finite certificate checks and separate AI agents do not establish formal or independent human acceptance of the complete multiplication theorem.
At base
df0137efd35e11b4445734bf612bdd4c7ebc330c, two unchanged documentation tests fail because the current-CI section omits its selected review and source-manifest links. The same two failures reproduce locally and in this PR's plan job: 449 tests, two failures, 21 skipped. The scientific replay job was skipped. Existing #5703 supplies that documentation fix. Local scientific success is not presented as hosted CI success.Credit Ali Romman's temporal update, Joel Pulikkan/GamingPuzzled's #5684, the retained helper-split, caller, native and pricing authors, and Chris R/Clear1nsight's #5550 caller lineage with the maintainer's #5599 review. Prepared for flyingviper with substantial OpenAI Codex assistance, including independent verification and literature agents. Apache-2.0. Open next questions and concrete first steps are retained in the package.