Status: IN
The write path supports valid forward progress across a range of complexity: structural correctness scales from simple fan-out routing (social domains) to complex multi-step matching (stock exchange) without adding distributed coordination, and forward-only design — the architecture's most load-bearing constraint — acts as a primary correctness mechanism that contains temporal gaps and prevents regression. Together these properties provide strong architectural support for writes producing irreversible state advancement, though the absolute guarantee of no invalid or reversible state is an architectural intent rather than a formally proven invariant.
Write-path structural correctness over the full complexity range composes with forward-only irreversibility
Depends on (SL): write-correctness-scales-from-routing-to-matching, forward-only-is-the-architectures-load-bearing-constraint