# v17k interpretation audit

Formal status: `v17k_compound_no_uniform_matched_work_gain`.

Exact gross accepted-work matching removes unequal realized rewrite work as an explanation for the arm comparison, but it does not turn finite endpoints into stationary samples. The arm-specific reachable-remainder rule conditions terminal proposals and may bias the last transitions. Net changed edges are not counted as gross work. Cross-start distance is an evaluation observable validated by v17i's pair-engineered positive control, not a proof of connectivity or mixing. No source spectrum, observed effect, Bell observable, Lorentz diagnostic or physical invariant was computed.