[zxv]

The three neutral-helper cleanups in PR #5644 coexist with PR #5643's A2 paid-rank exchange in one emitted chronological word. The resulting conditional κ = 0.00310644468 improves on PR #5644 by 1.8133e-7 (+0.00583756%) and on PR #5643 by 1.86468e-6 (+0.06006223%). Both construction orders reproduce the identical full instruction list, including every MOVE.

The cleanup replaces sixteen late scalar gates by an exact dyadic input preparation and cancellation after each helper's last read. Those removed contacts let three main fields bypass unused stops, replacing H1+H5 by H6. The A2 rewrite separately changes H3+H5 to H2+H6. All independent inputs, productive endpoints and owned operations/order are retained; the additional ordinary work is charged.

Construction and scope · Complete receipt

Significance for researchers

An independent helper's late scalar restoration can force paid movement on another role after the helper's useful work is over. A functional boundary replacement removes that dependency and remains compatible with a noncommuting scalar graph rewrite. The contribution proves compatibility on the actual common program and recomputes the complete invoice, rather than adding predecessor headline gains.

Complete bill and validation

The full caller has 66,492 paid calls, 12,958 productive targets and rank-mass surplus 760. The local ordinary allowance is 220,220. Two exact rational engines enclose the unique fixed-invoice raw crossing in (0.00310644469581, 0.00310644469582), leaving between 1.581e-11 and 1.582e-11 above the claim. Tested saving is 0.003106444685, with the existing compiler predicates and 1e-12 reserve unchanged.

python3.12 -B scripts/research_package.py --package research/p104-a2-neutral-cleanup
python3.12 -B scripts/check_research_commit.py --package research/p104-a2-neutral-cleanup

Normal full and registered isolated optimized replays check all 752 transpose columns, 2,916 signed native maps with exact phases, the complete physical caller, compiler completion, ordinary allowances, BIT stock and all 54 strict plus four functional outer conditions. A separate implementation checks the reverse construction order and arbitrary-prefix identity. Actual copied-package one-byte source corruptions are rejected before retained-code import. VALIDATION.md records the commands, environment and limits; COMPOSITION-PROOF.md gives the scoped functional proof.

The exact source heads are PR #5643 a3ff5c628bfc8825553d62d913f3e91f75d6825f and PR #5644 c5871955d89bf73506fd68b0a5bf1cf2b3153c02. All 19 retained input files are authenticated before imports; the original PR #5627 export authenticates all 36 payloads. Runtime replay needs no foreign Git objects or network. The same five framework assumptions and helper-endpoint contract remain. The huge uniform word and complete rounded multiplier are not materialized. Hosted CI, independent human scientific review, formal verification and selected-frontier promotion remain separate; the checkout is shallow, so the optional full-history preflight cannot run.

Component triage

The three-agent investigation also ruled out two immediate free extensions on the composed word: all eight remaining H7 delivery values lie outside their same-frame public spans at first use, and all rational boundary pairing matrices vanish across 8,847 checked event/chart states for the 411 ZERO-to-FULL helpers. These are fixed-word, fixed-interface exclusions. Prepared-prefix storage and main/inverse wrappers carry no paid recursive jobs to delete. COMPONENT-TRIAGE.md retains the scope, receipts and next useful changed-interface experiment.

Credit

Ali Romman supplies PR #5644's cleanup identities and constructor, PR #5627's helper/basis composition, checker and authenticated source export. zxv supplies PR #5643's emitted A2 exchange and this composition, with substantial OpenAI Codex assistance and three complementary subagent investigations. The earlier A2 identity and scoped audits retain Chris R and ToikY's attribution.

Credit flyingviper, Scratch-net, Pierre-Loic Doulcet, Joel Pulikkan, DreamingOfClouds, THU New Media Research Center, David Arias, Gareth Davidson, Cinna Davis, Jacob Alan Sussman, Cao Yifan and all retained helper/native/geometry/BIT/compiler/analytic notices. Apache-2.0.

Open next questions

• Replace one remaining H7 delivery through a changed public complementary-value window. First emit the source retention, preparation, all native access and complete cleanup; the current fixed-time public span is insufficient.
• Change a scalar contact so a checked helper prefix/suffix boundary pairing becomes nonzero. A basis-only search on the current common-chart ZERO-to-FULL group is exhausted; mixed boundary charts require a charged interface.
• Independently review the emitted common word, phase-preserving frame induction and complete funded compiler/outer argument. Agent cross-checks are not independent human or proof-kernel acceptance.