{"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":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"event-graph-correctness-via-dual-invariant","truth_value":"IN","reason":"premise"}]}}