{"id":"ordering-models-are-incompatible-across-modules","text":"The codebase uses three incompatible time/ordering models with no unifying framework: Lamport clocks provide total order via node-ID tiebreaking, vector clocks provide partial order with explicit concurrency detection, and wall-clock timestamps provide no causal guarantees and are not even monotonic.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["lamport-total-order-tiebreak-by-node-id","vector-clock-compare-partial-order","hash-index-wall-clock-not-monotonic"],"outlist":[],"label":"Total order, partial order, and wall-clock time coexist with no bridging abstraction"}],"dependents":["distributed-models-incompatible-at-convergence-and-ordering"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"insufficient"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"ordering-models-are-incompatible-across-modules","truth_value":"IN","reason":"SL justification valid","antecedents":["lamport-total-order-tiebreak-by-node-id","vector-clock-compare-partial-order","hash-index-wall-clock-not-monotonic"],"label":"Total order, partial order, and wall-clock time coexist with no bridging abstraction"},{"node":"lamport-total-order-tiebreak-by-node-id","truth_value":"IN","reason":"premise"},{"node":"vector-clock-compare-partial-order","truth_value":"IN","reason":"premise"},{"node":"hash-index-wall-clock-not-monotonic","truth_value":"IN","reason":"premise"}]}}