The expiry invariant

Where it appears

Each mechanism states it in its own names. The general symbol each name stands for is shown with it.

• Time & Temporal Semantics

  When am I allowed to act on data that may still be incomplete, and what do I owe the reader if I was wrong?

  $$\text{dedup TTL}\ge \text{replay horizon}\ge \text{allowed lateness}\ge \delta$$

  Read it in place →