Status: IN
Solutions check conditions that enable optimization (early-exit on domain invariants, short-circuit on first violation) but deliberately skip conditions that guard against invalid input (no bounds checks, no type checks), demonstrating selective rather than absent runtime checking — the discipline is in choosing which conditions matter.
Early-exit checks + no validation checks = the code checks strategically, not defensively
Depends on (SL): early-exit-optimizations-pervasive, no-validation-is-deliberate-contract