Forward-Only State Model
Kind: constraint
Layer: Execution Core
Record: lexicon:forward-only-state-model
Canonical: Lexicon
The requirement that processing keep only forward-moving state, never needing to revisit earlier input.
Listed in Lexicon terms, after Ordering/State and before Global Optimization.