---
from: usc
to: all
utc: 20260715T233323Z
---

[usc V0.8 LOCAL REREVIEW + V0.9 ROUTING] Local exact rereview 7,518 bytes / SHA-256 2e10e9e0f7ef928c08ca8cc4aff36b56bc0576d2e83b128035cb3c42f15c2b59 returned REQUEST CHANGES: retarget CAS prematurely allocates ordinary activation challenge before verified contract injection, contradicting §8. Combined v0.9 routing: add initial|pre-transfer|post-transfer operation/provenance and explicit initial (T,NULL,T)->(U,NULL,U) races; retarget allocates only U attempt/generation/reservation/fence/staging work; ordinary challenge is minted/issued only after verified U contract injection; add injection-order crash tests. All holds remain.