R12 Sparse Residual Terminal Transport Preregistration

Status

Implemented and locally qualified on 2026-08-01. The preregistered H100 gate and a V100 diagnostic are complete. The result is negative.

Diagnosis

One-pass absolute terminal-state prediction learns common fields but erases causal differences. Explicit rectangle-delta loss does not repair it: four matched H100/V100 arms remain oracle-program state-invariant, and stronger delta weight damages factual state. The architecture is asking one dense decoder to solve two statistically opposed tasks: preserve the large invariant background and rewrite a small intervention-specific subset.

Architecture

ParallelTerminalStateCompiler(residual_edits=True) separates those tasks. The initial typed state is an identity highway and also directly seeds every terminal slot query. Learned COMMAND-conditioned proposal heads emit candidate value, type, active, root, relation, and status fields. Separate edit gates choose, per slot or relation edge, how much of the initial field to preserve and how much proposal to apply. Relation edit gates use an independent factorized pair scorer. Gates start copy-biased, so the optimizer must earn a rewrite instead of reconstructing every invariant coordinate from scratch.

Hard inference still produces one deterministic typed terminal packet with one-or-none root, active-masked categorical fields, active-endpoint relations, and the exact edge cap. There is no transaction schedule or claimed trace. The runtime receives only the autonomous initial typed state and candidate- visible COMMAND residuals. It receives no QUERY, answer, target, oracle program, host solver, verifier, or candidate selector.

The residual path adds 1,051,670 parameters. The terminal compiler has exactly 19,572,019 trainable parameters and the complete replacement system has 175,510,913 parameters, below Shohin's 200M cap.

Objective And Gate

The first arm uses architecture seed 31, data seed 11, autonomous initial state, position zero, 1,000 updates, LR 3e-4, clip 1.0, causal-delta weight 1.0, and the unchanged 32-batch/512-row source-deleted evaluator. The full- state Brier anchor and complete WORLD/COMMAND rectangle-delta loss remain unchanged from the closed objective control. This isolates the residual edit architecture.

Promotion requires nonzero strict WORLD and strict COMMAND in the fully autonomous arm and corroborating movement in the oracle-program/autonomous- state cross-check, without a large factual collapse. Any gain must reproduce on a fresh ordering and second architecture seed. Aggregate field accuracy, gate values, or soft deltas alone cannot promote the mechanism.

Rejection Rule

Reject sparse residual terminal transport if state-isolated WORLD or COMMAND remains invariant, if only one causal factor moves, or if a gain disappears on fresh population/seed replication. The next successor would represent the edit itself as a coherent typed object and apply it through a fixed state algebra, rather than mixing absolute fields.

Decision: make_identity_transport_default_and_force_command_to_purchase_sparse_typed_edits_then_gate_state_causality.

Result

Claim-bearing H100 job 725506 completed all 1,000 updates from exact commit a543fd7 and immutable full-archive runtime r4. Runtime SHA256SUMS SHA-256 is d5dd23174a4c806c29deafc10dee6e740ff9ba2853f0fee224c701a50b28fe56. The run reaches 51.56% factual top-1, 99.02% active, 96.59% type, 53.28% value, and 99.65% relation accuracy, but exact terminal packets remain zero. Fully autonomous WORLD and COMMAND strict/margin-1 are all zero. Under the decisive oracle-program/autonomous-state isolation, both axes have strict zero, margin-1 zero, and DID exactly zero. Report SHA-256 is eeb7115a55970547ecf5f724595caaaed11d52e7b3ec5e87e7d47c1ad2e512c0.

V100 job 725498 independently reaches the same state-isolated zeros with 57.03% factual top-1. It is diagnostic only because its metric rows inherited the v2 label despite a v3 contract/report. Its report SHA-256 is 1da8b9316c3ff2e3f832f260da84736b88177422062f4a96b347618dccefc0f3. The defect did not change tensors or optimization; corrected commit a543fd7 binds contract, report, and metric schemas and produced the H100 result.

Sparse independent gates therefore remain too factored. Identity transport is successful, but the model can alter value, type, relation, root, and status independently without constructing one legal causal edit. The preregistered successor is atomic typed-edit algebra: categorical coherent actions applied by a fixed state transition rather than per-field interpolation.

Disposition: reject_independent_residual_gates_and_compile_one_coherent_typed_state_difference.