Checkpoint 007 · Subwave R4

Separation proven in shadow.

Both exact releases started with distinct homes, keys, ports, locks, and Kanban roots. The proof was deterministic and quota-free.

Personal shadow

Exact release verified

Own profile home, API identity, lock boundary, and Kanban state.

Nagato shadow

Exact release verified

Own profile home with fake GTC adapter mapping and no shared state lock.

0
live model calls
0
live GTC calls
3/3
proof tests pass

Safety result

Temporary listeners were released after the run. Live services on 8642, 8643, and 8765 remained healthy. R4 proves process and state separation; it deliberately does not prove real memory quality or authorize cutover.

Generated 25 July 2026, Pacific/Auckland.