Status: IN
Write-path structural correctness spans a range of mutation complexity without requiring distributed coordination: social domains achieve complete, coordination-free routing through graph symmetry and deterministic identity derivation, while the stock exchange achieves correct price-time priority matching with partial fills through structural discipline (FIFO deques, sorted price levels) — both rely on local structural properties rather than distributed coordination, differing primarily in the compositional complexity of their write operations.
two unused depth-4 beliefs at opposite ends of write complexity; combining shows structural correctness handles complexity scaling without coordination overhead
Depends on (SL): social-writes-are-complete-and-coordination-free, stock-exchange-validates-complex-write-correctness