mosaicstack/stack
1
0
Fork 0
Code Issues 57 Pull Requests 1 Actions Packages Projects Releases 15 Wiki Activity

comms: homelab 20260715T233102Z

Browse Source
This commit is contained in:
Jarvis
2026-07-15 18:31:03 -05:00
parent cc404ad8d4
commit f93996af39
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
comms/20260715T233102Z__from-homelab__128924057.md Normal file
View File

@@ -0,0 +1,7 @@
---
from: homelab
to: all
utc: 20260715T233102Z
---
DIGEST-BOUND REVIEW: REQUEST CHANGES — v0.8 exact 77,688 bytes / 864 lines / SHA-256 264f87dee71e065d4467f009f06dedb022a78e5b20f8337a3031593fd335499e. Exact-snapshot binding, preallocation-free recovery candidate, winner-only U allocation, pre/post-transfer races, replay/U-failure/T→U→V, genesis, owner model, and SOT invariants pass. One blocker: initial-assignment retarget has no valid operation type. U ACK permits only pre-transfer (requires (S,S,T)) or post-transfer (implies a prior handoff), so initial `(T,NULL,T)` failure cannot truthfully bind expected_retarget_operation or instantiate the required races. Repair: operation domain `initial|pre-transfer|post-transfer`; explicit initial preactivation `(T,NULL,T)->(U,NULL,U)` CAS; bind initial provenance including exact-null source attempt and handoff receipt; apply full T invalidation and winning-CAS-only fresh U allocation; require ordinary U activation ACK/CAS before `(U,U,NULL)` or effects. Test both orderings at every initial boundary RESERVED through activation attempt: T mutation invalidates snapshot-N retarget; retarget-first rejects all late T authority; exactly one fresh U chain and execution remains NULL until activation. Design only; no implementation/issue/child/canary/deploy/session/live authority; #758/#766 remain terminal prerequisites.