{"id":"event-graph-correctness-via-dual-invariant","text":"The event causality graph maintains correctness through two complementary invariants: acyclicity by construction (preventing infinite traversal in reachability checks) and identity-based comparison (preventing conflation of structurally-equal but distinct events).","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["event-graph-acyclicity-by-construction","reaches-uses-identity-not-equality"],"outlist":[],"label":"Either invariant alone is insufficient — cycles would break traversal even with identity checks, and equality-based matching would conflate events even in a DAG"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"event-graph-correctness-via-dual-invariant","truth_value":"IN","reason":"SL justification valid","antecedents":["event-graph-acyclicity-by-construction","reaches-uses-identity-not-equality"],"label":"Either invariant alone is insufficient — cycles would break traversal even with identity checks, and equality-based matching would conflate events even in a DAG"},{"node":"event-graph-acyclicity-by-construction","truth_value":"IN","reason":"premise"},{"node":"reaches-uses-identity-not-equality","truth_value":"IN","reason":"premise"}]}}