pages / proofs

proofs

declared by the pack cubicle

• causality — no lookahead: the trace orders every candle read before the decision it fed; a read after the decision refuses the receipt (ext cubicle)
• replay — the session replays from its receipt to the same fills on the same candles (ext cubicle)
• fill — every fill names the order and the candle it filled on (ext cubicle)