comms: usc 20260715T233323Z

This commit is contained in:
wjarvis mos-comms
2026-07-15 18:33:23 -05:00
parent 413a704609
commit 3c54c7773d

View File

@@ -0,0 +1,7 @@
---
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.