Status: IN
Module isolation and structural correctness support independent reasoning about each module's behavior: hermetic, standalone modules with no shared infrastructure avoid convention coupling across boundaries, while structural construction techniques (immutability, state ratchets) enforce many correctness properties within each module. However, this per-module correctness reasoning has limits — structural discipline is not universally applied, leaving critical invariants assumed but unenforced, and operational conventions that are locally reasonable may produce collectively unpredictable behavior across modules.
Independent correctness requires both isolation (no shared state) and universal structural discipline — cross-module dependency breaks the independence guarantee
Depends on (SL): module-isolation-is-pedagogical-and-architectural, structural-correctness-is-universally-applied
Unless: dmq-reused-by-stock-exchange