[ToikY]

Change and mathematical scope

Transfer the causal helper-1123 split from #7105 to the stronger signed rank-nine caller certificate. On the pinned native word, the cut is 43039. The old 242→127 MOVE becomes 242→245 plus the fresh helper’s 245→127 MOVE. The signed rank-nine caller and hosted ports are unchanged.

The complete conditional claim is κ = 0.003635302061475. The exact gain over the reproduced local predecessor at 0.003635202569271 is 24873051/250000000000000 = 0.000000099492204. It exceeds #7105’s public 0.00363216151 by 0.000003140551475 under the same modeled contract. The independent raw crossing is (0.00363530206147543231249432214964276, 0.00363530206147543231249432214964277).

Task and overlap

Base f16923d. Changed scope for the p104-side-correction card. The package combines the causal split from #7105 at 92b09a2 with the separately reproduced signed caller and verifies their full joint invoice. Only research/signed-rank9-retimed is added.

Validation

python3.12 -B scripts/research_package.py --package research/signed-rank9-retimed

The clean local archive replay reproduced the certificate byte for byte. It checks all 1,481 public rows, all 512 columns and absolute phase on each of three changed maps, signed caller routes, precision, two directed price engines, and compiler and outer inequalities. The old invoice rejects the new claim. The scalar and chart-phase mutations fail. Expected output includes PASS_SIGNED_RANK9_RETIMED_REPLAY 0.003635302061475 0.000000099492204.

The invoice has 117,130 paid requests, 23,410 productive requests, rank surplus 1,520 and ordinary charge 847,248,064/10^9. The paired BIT cap remains 0.00376669.

Credit

This credits #7105’s causal split and the CrocSwap coupled-helper, signed Clifford and interval predecessors. OpenAI Codex assisted the transfer and verification.

Open next questions

Full physical fixed-tape realization, rounded provider admission and the raw #6998 tariff bridge remain open. The smallest follow-up is to bind the transferred helper’s normalizers and the retained signed routes to the same physical tape tariff.