Skip to content

Lift four P104 helper inputs: conditional κ 0.003129111 - #6349

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/p104-operand-batching-20261101
Nov 2, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/p104-operand-batching-20261101

Conversation

@aliromman

@aliromman aliromman commented Nov 2, 2026 •

Copy link
Copy Markdown
Contributor

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 is H1 + H2 + H3 + 2H4 - 4H5; its productive target debit is H6 + 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 af7cb6c67f8fc7d82a2e4aee2dd2f07481bf6690 is a direct child of canonical main 626e936ce4d61f2584316914fc71baf96940c512, 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, and analytic_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.

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