Bit c = 0.001733427039589844: two A-section transports on #555's punctured R439 word (+0.0216%, κ unchanged)

[DreamingOfClouds]

Bit c = 0.001733427039589844234749 (+0.0216% over #555), κ unchanged.

Two helper additions of #555's punctured R439 bit word (v = 111) are moved out of their D4 mini-node gates and rerun at other frames. Nothing else changes: the same registers, scatter, retained totals (nine COPY ranks of 7, decoder constant 63), frozen hosting selections and pipelines.

	#555	this PR	change
bit c, nine stages	0.001733052823330162099157	0.001733427039589844234749	+0.0216%
bit c, eleven stages	0.001710608806098012673516	0.001710951900777583975622	+0.0201%
κ with #548's complex b	0.001590984155135328	0.001590984155135328	none

κ stays complex-bound for every cited complex supplier (#548, #544, #535, #531), so this is bit headroom only.

What changed

• hoist: in A[1993] (frame 509, rank 4), the summand helper 222 += helper 248 becomes its own gate at rank-1 frame 79, placed just before that gate.
• sink: in A[1994] (frame 509), the summand helper 191 += helper 247 becomes its own gate at the rank-7 pseudo-total frame 517, placed after A[2028].

Both summands commute with every addition they cross, and the dirty-register endpoint is unchanged on every column. The local paid profile moves by +2e1 − e3 − 3e4 + e6 + e7, and rank mass stays at 5,129.

The mechanisms come from #541 and #548 (Dugongue) and #542 (rohanarun) on the R480 word. Their move lists are R480 gate ids and don't apply to #555's word, which has no two-x-source additions and no zero-response gates. tune/tune.py therefore re-runs the mechanisms as searches. It reproduces #541's and #548's R480 profiles exactly. On #555's word it finds exactly these two moves, and pruning, Steinberg 3→2 and least-frame steps find nothing further.

Checks

bash research/e8-bit-p111/tune/verify.sh /absolute/new/output   # tuned word
bash research/e8-bit-p111/verify.sh /absolute/new/output        # #555's own check, unchanged

• Byte-for-byte rebuild. tune/verify.sh rebuilds Bit c = 0.001733052823: #545's punctured unit on the R420 skeleton (111 live ports, +4.79% over #543) #555's word from its frozen plan, applies moves.json and compares both words byte for byte.
• Checkers. It runs the independent replay and interface lemma, the word-level and record-level mutation controls, the official legality and formal-column checkers (5, 9 and 11 stages) and the Gram witnesses.
• Price. It runs both price pipelines and asserts the nine-stage c exactly against tune/EXPECTED.json.
• Bit c = 0.001733052823: #545's punctured unit on the R420 skeleton (111 live ports, +4.79% over #543) #555 untouched. Bit c = 0.001733052823: #545's punctured unit on the R420 skeleton (111 live ports, +4.79% over #543) #555's verify.sh, code/ and data/ are byte-identical, and MANIFEST.sha256 lists tune/.
• Receipts. Both scripts pass on a fresh git archive of this PR's head (a5afc8c): tune/verify.sh exits 0 in about 6 min and Bit c = 0.001733052823: #545's punctured unit on the R420 skeleton (111 live ports, +4.79% over #543) #555's verify.sh in about 10 min.
• Independent audit. The audit re-priced an independently built word with Bit c = 0.001733052823: #545's punctured unit on the R420 skeleton (111 live ports, +4.79% over #543) #555's pipeline and matched every field of EXPECTED.json. Pricing Bit c = 0.001733052823: #545's punctured unit on the R420 skeleton (111 live ports, +4.79% over #543) #555's word flattened with no moves gives exactly Bit c = 0.001733052823: #545's punctured unit on the R420 skeleton (111 live ports, +4.79% over #543) #555's c, so the whole gain comes from the two moves.

Notes

• Stacked on Bit c = 0.001733052823: #545's punctured unit on the R420 skeleton (111 live ports, +4.79% over #543) #555 (unmerged): the diff shows Bit c = 0.001733052823: #545's punctured unit on the R420 skeleton (111 live ports, +4.79% over #543) #555's commit until it merges. This PR adds one commit, touching only research/e8-bit-p111/{README.md, MANIFEST.sha256, tune/}.
• Retained assumptions: all of Bit c = 0.001733052823: #545's punctured unit on the R420 skeleton (111 live ports, +4.79% over #543) #555's retained assumptions apply unchanged. This is a conditional finite construction, not a Lean proof.

Credit: #555 (eumemic) is the base, built on #543 (eumemic), #545 and #510 (DreamingOfClouds). The mechanisms are #541 and #548 (Dugongue) and #542 (rohanarun).

DreamingOfClouds with Claude Opus 5.5 (Anthropic), via Claude Code.

🤖 Generated with Claude Code