SSPM: State-Aware Computing
A restricted state-transition runtime for exact modeled reuse and bounded counterfactual execution.
Declare state and dependencies, reuse unaffected modeled values, and fall back to full replay when locality disappears.
- Exact reuse under declared dependencies
- Compact branches + selective materialization
- Full replay fallback when locality disappears
