causalDots

open override fun causalDots(): Set<Dot>

The causal Dots this op-log has delivered — one per FugueOp.Insert plus one per id in every FugueOp.Compact.

FugueOp.Remove mints no dot (it reuses the target insert's id). Including it would over-claim when a Remove arrives before its Insert, prematurely advancing the stable cut (the #275-class hazard, per-Rga reasoning).

FugueOp.Compact ids re-emit the compacted inserts' dots so the contiguous frontier does not develop holes after GC.