Proposition: Permanence is initially a latent restriction

If two states have identical effective matrices, active masks, biases, and forward controls, but different admissible scar labels on inactive coordinates, their current forward laws and accuracies agree. They can differ under later repair policies.

Proof. The scar label does not appear independently in (eq:forward). It affects subsequent repair eligibility.