Repository navigation
Lift four P104 helper inputs: conditional κ 0.003129111 - #6349
Merged
Mister-Meeseeks merged 1 commit intoNov 2, 2026
Merged
Mister-Meeseeks merged 1 commit into
Mister-Meeseeks merged 1 commit into
Conversation
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.
Four existing helper inputs now start at native subspaces of dimensions 1, 1, 1 and 3. Explicit correlated input directions and output basis corrections preserve all 770 independent inputs. The complete conditional claim improves from PR6167's κ = 0.003128645 to κ = 0.003129111, a gain of 0.000000466 (0.0149%). This is a small gain; no large breakthrough is claimed.
The direct source is DreamingOfClouds' PR6314, head
36533d4d1b4e2dd8672427461b12de3001b85810, which compresses PR6167 without changing its recursive price. The new word has 17,452 events. Its local paid change isH1 + H2 + H3 + 2H4 - 4H5; its productive target debit isH6 + 3H8 - 4H9. The complete p16/a7 caller has 66,780 paid calls, 13,444 targets and rank surplus 760. Every query, helper normalizer, adapter, owned operation, route, completion and compiler cost remains charged.The strict raw crossing is
(0.00312911821812, 0.00312911821813). The old complete profile fails at the new claimed κ. The general concave-tariff comparison is inconclusive; the claim uses the exact power-moment checks at the stated exponent.Validation on CPython 3.12.13, macOS 26.6.1 arm64: the direct normal verifier and both registered normal/optimized replays pass. They check all 799 columns and 638,401 endpoint coefficients, a separate dense transpose, 2,930 native maps with exact phases, the full physical caller, two rational moment engines, completion/compiler bounds, and 54 strict plus four functional outer predicates. All declared semantic and source-corruption controls reject. Metadata, live pins, committed bytes/modes and the official 18-file export pass. The full normal and optimized replays also pass from a read-only export with empty PATH and no Git. All 19 files (18 payload files plus the export receipt) and all 25 file/directory paths retain their bytes and modes. Export SHA256:
445f9b9330dc01ec516d41d179ad4a9a22f501c2ec457b2e25aff79bc9bb3137. Hosted CI passes both the planner and the full registered package replay, including the committed-input check.Publication head
af7cb6c67f8fc7d82a2e4aee2dd2f07481bf6690is a direct child of canonical main626e936ce4d61f2584316914fc71baf96940c512, priority revision 8. All declared source pins resolve at that base. Full-history preflight mode was not run in this shallow checkout. The five inherited framework assumptions remain:native_all_columns,owned_erasure,compiler,precision_tape, andanalytic_recovery. The uniform word and rounded multiplier are not materialized. Author checks are not independent scientific acceptance. The selected frontier and protected contact blocks are unchanged.This input-boundary mechanism is separate from Discussion5600's fixed-boundary public-prefix rewrite and PR6348's tree caller. It provides a complete local supplier for later composition, with its changed target profile explicitly recorded; no composition with the new tree caller is claimed here.
New work: Ali Romman with substantial OpenAI Codex assistance; no subagents. PR6314 retains DreamingOfClouds and Claude Opus 5.5 credit. The unchanged source/checker chain retains Cinna Davis, David Arias, Gareth Davidson, Jacob Alan Sussman, zxv, Cao Yifan, flyingviper, Pierre-Loic Doulcet, Joel Pulikkan, Scratch-net and all earlier source authors in NOTICE. Apache-2.0.