Status: IN
Write-path cheapness, correctness, and coordination freedom form a mutually enabling triad: perimeter normalization eliminates internal validation costs (cheap), structural discipline prevents corruption without runtime checks (correct), and deterministic identity derivation eliminates distributed lookups (coordination-free) — three seemingly competing properties that emerge from non-interfering mechanisms rather than trading off against each other.
Perimeter defense, structural discipline, and identity derivation jointly enable cheap + correct + coordination-free writes
Depends on (SL): perimeter-defense-enables-cheap-writes, write-path-is-coordination-free-and-correct