Fresh Read

Kind: invariant

Record: reasoning:invariant-epi-fresh-read

Canonical: Reasoning

A check reads a representation derived after the last relevant mutator

Listed in Reasoning records, after Preserved Distinction and before One Derivation.

Grounded by

FRESHNESS

Linked from