{"id":"correctness-profile-is-structurally-split","text":"The codebase has a bifurcated correctness guarantee: structural properties (immutability, synchronized structures, state ratchets) are enforced by construction and verified deterministically, while temporal properties (atomicity, TOCTOU) are documented as known gaps and left unenforced — creating a predictable divide between what the code guarantees and what it merely aspires to.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["structural-correctness-and-testability-are-co-designed","temporal-correctness-gaps-are-known-and-accepted"],"outlist":[],"label":"Structural correctness is enforced and testable (depth-4); temporal correctness is known-gapped and accepted (depth-4) — combining reveals the codebase has two tiers of correctness assurance"}],"dependents":["design-coherence-bounded-by-enforceability","read-correctness-is-structural-not-temporal"],"metadata":{"last_reviewed":"2026-06-05T18:21:49","review_result":"pass","_retracted":true},"created_at":"","updated_at":"2026-06-17T14:30:41+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T14:30:41+00:00","explanation":{"steps":[{"node":"correctness-profile-is-structurally-split","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["temporal-correctness-gaps-are-known-and-accepted"],"label":"Structural correctness is enforced and testable (depth-4); temporal correctness is known-gapped and accepted (depth-4) — combining reveals the codebase has two tiers of correctness assurance"}]}}