\* Passing config: 6 ids, retention of 3 (rows with id <= latest - 3 may be
\* trimmed, in any prefix), one client, drops at any moment including in the
\* same instant as an append.
CONSTANTS
  MAX_ID = 6
  KEEP = 3

SPECIFICATION Spec
INVARIANT TypeOK
INVARIANT NoSilentGap
INVARIANT NoDuplicates
INVARIANT CaughtUpAfterResume
INVARIANT GapOnlyWhenTrimmed
INVARIANT OpenStreamIsCurrent
CHECK_DEADLOCK FALSE