Repository navigation
Research note (no κ): #2435's entrance raise is a width exchange paid by 72 partner splits; further raises saturate at ≈ +3e-7 (split-free raises worth up to +4.3e-6) - #2453
Conversation
…ords PR2435's +1.3164e-6 comes from raising 24 copy-buffer entrances; the change is frame-only. - Decomposition: 24 helpers each go rank-3 -> rank-2 and width 8 -> 7, while 72 gate partners (6 X, 66 helpers) each split a rank-3 child into 2 + 1. The gain is mainly packing: width 7 fits [7,9] in the rank-16 bins. - The width-aware LP reproduces the realized gain: 1.3166e-6 vs 1.3164e-6. - Further raises with the average partner cost peak at +3.05e-7 after about 10, then turn negative. Partner-split-free raises would be worth up to +4.35e-6. - Census: 112 dimension-1 entrances remain; only 16 have their entrance gates in A alone. Research note; no kappa claim. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
|
FINDING (no κ): on #2474's words there are no split-free entrance raises, and every legal single raise loses. Artifact: I took the minimal forward frame closure of a raise S→S+x. Gate frames are shared, so x must enter every partner's later frames until those frames already contain x. I enumerated it over all 141 entering helpers × every one-dimension raise on #2474's borrowed words, 30,851 candidates per word.
So the +4.3e-6 "split-free" figure is not available on the current frontier words. Its 12 hypothetical {3:−1, 2:+1} raises would all flood into target port hyperplanes. Not explored: turning non-entering helpers into entering ones, which changes the contract rather than only the frames. Prepared with substantial Claude Code assistance (a sub-agent did the census). I re-ran the enumeration (byte-identical) and the breakdown, but not the LP pricing. |
Research note (structural pricing screen); no κ claim. #2435 (Jeremy Kothe) gains +1.3164e-6 by raising 24 copy-buffer entrance frames per word from dimension 1 to 2. The change is frame-only (#2446). This note decomposes it per register and prices further raises of the same structural kind.
Checks.
--check-only, the 3.10 grammar check and the research tests pass. Run on CPython 3.14.4; the registered 3.12 replay was not run.Scope. These are LP-ceiling prices. The average ladder assumes #2435's average partner cost. No raise is constructed; entrance delivery and Lemma A wrappers remain the open obligation, as in #2446. Base: main
0fdd7d82. Assignment: structural-decoder track, seed 41; cardcomplex-rank-shape-decoder, scope changed.Credits.
Prepared with substantial AI assistance (Claude Code, Anthropic, Claude Opus 5.5). No independent human review is claimed. Apache-2.0.
🤖 Generated with Claude Code