JP JOURNAL · BOUNDED ZERO-NETWORK LAB
Multi-tab state ownership replay
Run one deterministic tab lifecycle through a versioned BroadcastChannel peer protocol and a volatile SharedWorker coordinator. An independent revision reducer computes expected domain outcomes; actual API availability is labeled separately from the simulation.
Capability labels
Expected outcome
Lifecycle trace and both adapters
| # | Action | Independent reducer | Peer adapter | Coordinator adapter |
|---|
Executable mutation tests
Truth boundary
The replay proves one bounded protocol model, not browser availability, worker lifetime, performance, durability, cross-device sync, authorization, or behavior across different storage partitions.