{"id":"read-correctness-is-structural-not-temporal","text":"The write-available, read-correct architecture achieves its read-correctness guarantee only for structural properties (immutable values arrive intact, synchronized structures reconcile deterministically); temporal correctness on the read path — where TOCTOU gaps and non-atomic checks are most consequential because reads must converge divergent state — remains an accepted rather than enforced property.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["codebase-architecture-is-write-available-read-correct","correctness-profile-is-structurally-split"],"outlist":[],"label":"The d6 architectural claim (\"reads reconcile and correct\") is qualified by the d5 correctness split — \"read-correct\" is guaranteed structurally but aspirational temporally"}],"dependents":["architecture-is-correctly-self-limiting"],"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":"read-correctness-is-structural-not-temporal","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["codebase-architecture-is-write-available-read-correct","correctness-profile-is-structurally-split"],"label":"The d6 architectural claim (\"reads reconcile and correct\") is qualified by the d5 correctness split — \"read-correct\" is guaranteed structurally but aspirational temporally"}]}}