ordering-models-are-incompatible-across-modules

Status: IN

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.

Justifications

Total order, partial order, and wall-clock time coexist with no bridging abstraction

Depends on (SL): lamport-total-order-tiebreak-by-node-id, vector-clock-compare-partial-order, hash-index-wall-clock-not-monotonic

Depended on by

JSON