\* The delayed-verdict refinement under the overlap-filtered recording shape:
\* the proposed CT-1872 narrowing composed with the in-flight verdict channel,
\* so the two live refinement directions are certified together. Same channel
\* semantics as PendingStacks_Channel.cfg (Deliver is the client's processing
\* point; a rejection's drop-and-cascade runs there); sparse arrays here are
\* doubly narrowed - overlap-filtered AND view-relative.
\* EXPECTED: all invariants HOLD.
SPECIFICATION Spec
CHECK_DEADLOCK FALSE
CONSTANTS
  Sessions = {"s1", "s2"}
  Paths = {"p1", "p2"}
  MaxTotal = 4
  DepMode = "filtered"
  BasisMode = "confirmed"
  Values = {"v"}
  DeliveryMode = "channel"
  IdentityMode = "none"
  ViewMode = "replay"
INVARIANT TypeOK
INVARIANT ReadCoherence
INVARIANT CascadeTotality
INVARIANT MonotonicResolution
INVARIANT AcceptedVersusDropped