{"id":"stdlib-construction-composable-correctness","text":"The combination of stdlib delegation (exact arithmetic, correct data structures) and construction techniques (sentinel initialization, streaming invariants) should compose to provide end-to-end correctness guarantees — no manual reimplementation means no reimplementation bugs, and construction eliminates boundary-condition errors.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["stdlib-reinforces-exactness","correctness-by-construction-not-validation"],"outlist":["min-on-empty-is-unguarded","zero-input-returns-false"],"label":"Stdlib correctness and construction correctness compose in the interior of the input domain but fail at their interface — stdlib functions like min() crash on empty inputs that construction techniques failed to guard against, breaking the composition at boundary cases"}],"dependents":[],"metadata":{"_retracted":true},"created_at":"","updated_at":"2026-06-17T15:31:53+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T15:31:53+00:00","explanation":{"steps":[{"node":"stdlib-construction-composable-correctness","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":[],"label":"Stdlib correctness and construction correctness compose in the interior of the input domain but fail at their interface — stdlib functions like min() crash on empty inputs that construction techniques failed to guard against, breaking the composition at boundary cases","violated_outlist":["min-on-empty-is-unguarded"]}]}}