\* Proposed CT-1872 refinement (overlap-filtered dependency sets, keeping the
\* top-of-stack layer) combined with the CT-1910 repair basis.
\* EXPECTED: all invariants HOLD — certifying that the narrowing stays on the
\* safe side of INV-3.
SPECIFICATION Spec
CHECK_DEADLOCK FALSE
CONSTANTS
  Sessions = {"s1", "s2"}
  Paths = {"p1", "p2"}
  MaxTotal = 4
  DepMode = "filtered"
  BasisMode = "confirmed"
  Values = {"v"}
  DeliveryMode = "atomic"
  IdentityMode = "none"
  ViewMode = "replay"
INVARIANT TypeOK
INVARIANT ReadCoherence
INVARIANT CascadeTotality
INVARIANT MonotonicResolution