{"id":"no-validation-is-deliberate-contract","text":"The universal absence of input validation is a deliberate architectural choice — solutions define their correctness boundary at LeetCode's stated constraints and are not intended to handle inputs outside that boundary.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["solutions-no-input-validation","no-input-validation-convention","solutions-trust-leetcode-preconditions","leetcode-solutions-no-validation-convention"],"outlist":[],"label":"Validation omission is a consistent design decision, not accumulated technical debt"}],"dependents":["leetcode-judge-optimized-not-reusable","mutation-invisible-in-single-call-context","selective-condition-checking-not-absent","sentinel-defaults-safe-under-constraints","stdlib-delegation-safe-under-input-contracts","streaming-safe-within-problem-domain"],"metadata":{"last_reviewed":"2026-06-07T22:02:22","review_result":"unnecessary"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"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"}]}}