[DreamingOfClouds]

Result

Conditional κ = 0.00360410481 (exact crossing 0.0036041048151080064), +0.245% over #6919 (0.0035952826938257874). Package: research/p104-causal-split-native.

What changed against #6919

The word only. Roots, joint caller (byte-identical), per-port root pair, owned-ascent declaration (A6) and the BIT line (#6726) are those of #6919, and the conditional premises are the same.

• Ten further helper splits over the Conditional κ = 0.00359528269 (+0.453% over #6918): helper splits on top of flips and sinks #6919 word (lemma: Ali Romman, Raise conditional kappa to 0.00310045 with independent helper splits #5599; application: CubeJerry, Conditional κ = 0.00357027 (+1.443% over #6911): 68 causal helper splits #6916). A split stops a helper at a frame F strictly inside its chain of nested frames and lets a new public helper take the path from F to the old final frame; the rank mass is cut in two, not doubled. Five of the ten are made as the word stands; the other five are made after reordering adjacent events that commute (two ADDs into the same register, two ADDs out of the same register, events on disjoint registers; never past a MOVE, INIT, CLEAR, SCALE or COPY of a register they touch).
• The multiset of MOVEs is that of Conditional κ = 0.00359528269 (+0.453% over #6918): helper splits on top of flips and sinks #6919, so P is unchanged; the rank mass S = 1520 is unchanged; the gain is in D alone (−57.44 per call; T changes by +1, +2, +7, +8, +1, −9 at ranks 1, 3, 4, 5, 6, 9).
• The event list is rewritten as well (62,921 events against 74,565: ADD 53,150, SCALE 3,288; same-frame stretches recompacted, ADDs merged); no frame, MOVE, T or P changes with it.
• Numbers that moved: public registers 1441 (400 mains, 1041 helpers); peak owned fields 36 (30 in Conditional κ = 0.00359528269 (+0.453% over #6918): helper splits on top of flips and sinks #6919; owned INIT and CLEAR events sit in a different order, lifetimes 54 and rises 23 unchanged); owned reads of mains 19 (16); largest |q| 6927/2, no ADD at |q| ≥ 2^12; raw literal / actual / reviewed upper 962,308,192 / 970,367,440 / 981,275,368, below 10^9; the reviewed upper already includes the LAMBDA events through the caller envelope, and the deliberate second charge of Lower global LAMBDA gates to charged ordinary passes (no new κ) #6913 (12,560,000 here) gives 993,835,368, also below 10^9; logarithm power minimum 2211, written 2212 (carrier 153); BIT margin 1.626e-4 at the pin .00376669.

Checks (all run from the package, all pass)

Exact Fraction replay with both endpoints, strict and relaxed verifiers, both roots with controls, the joint caller chain (78 roles, 18 joint contacts, controls), the invoice recounted twice with #6919, #6917, #6911 and #6833 as controls, interval engines and the 54 + 4 outer ledger, a second replay mod 2^61 − 1 with 126 mutants (0 accepted), the 512-component physical streams, the physical replay of the joint caller, the native chart-change maps (3,185 maps, wrong-phase control), and counted facts on the ten splits with failing controls. One control of #6919 (rewriting a split piece to its parent's label) was vacuous because of a name clash in its code; it is replaced here by a frame-law control, and the README says so.

Not claimed

No second-reader review of the ten splits or of the rewritten event list; no adjoint replay; no streams at tensor width 2 or more; the BIT admission and the compiler are read, not re-derived. Everything conditional in #6919 stays conditional.

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

🤖 Generated with Claude Code