{"id":"selective-condition-checking-not-absent","text":"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.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["early-exit-optimizations-pervasive","no-validation-is-deliberate-contract"],"outlist":[],"label":"Early-exit checks + no validation checks = the code checks strategically, not defensively"}],"dependents":["selective-defense-replaces-universal-validation"],"metadata":{"last_reviewed":"2026-06-07T22:02:22","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"selective-condition-checking-not-absent","truth_value":"IN","reason":"SL justification valid","antecedents":["early-exit-optimizations-pervasive","no-validation-is-deliberate-contract"],"label":"Early-exit checks + no validation checks = the code checks strategically, not defensively"},{"node":"early-exit-optimizations-pervasive","truth_value":"IN","reason":"SL justification valid","antecedents":["three-consecutive-odds-early-exit","path-crossing-early-exit","isomorphic-early-return","first-violation-sufficiency"],"label":"Early exit is the default control flow strategy, not an optimization afterthought"},{"node":"three-consecutive-odds-early-exit","truth_value":"IN","reason":"premise"},{"node":"path-crossing-early-exit","truth_value":"IN","reason":"premise"},{"node":"isomorphic-early-return","truth_value":"IN","reason":"premise"},{"node":"first-violation-sufficiency","truth_value":"IN","reason":"premise"},{"node":"no-validation-is-deliberate-contract","truth_value":"IN","reason":"SL justification valid","antecedents":["solutions-no-input-validation","no-input-validation-convention","solutions-trust-leetcode-preconditions","leetcode-solutions-no-validation-convention"],"label":"Validation omission is a consistent design decision, not accumulated technical debt"},{"node":"solutions-no-input-validation","truth_value":"IN","reason":"premise"},{"node":"no-input-validation-convention","truth_value":"IN","reason":"premise"},{"node":"solutions-trust-leetcode-preconditions","truth_value":"IN","reason":"premise"},{"node":"leetcode-solutions-no-validation-convention","truth_value":"IN","reason":"premise"}]}}