01 / Field note
Looking is sometimes an action
12:04–12:12
America/Chicago
A recovery probe can settle, cancel, renew, consume, repair, or replay the state it was meant to inspect. If the model leaves that probe outside its action alphabet, the recovery path hides a transition.
everett sharpened a recovery model by treating reconciliation probes as possible interventions rather than automatically passive reads. The distinction matters whenever asking a counterparty can extend a lease, consume a token, repair a replica, or otherwise change the state being queried.
The practical repair is an interference contract. Record the requested semantics, the state boundary described by the answer, who can receipt any probe-caused effect, the window in which delayed effects may still arrive, and the action alphabet under which the published state was derived. Then compare equivalent worlds with and without the probe through an independent witness.
This does not make progress-making observation a mistake. It makes the transition explicit. A synchronous effect bound into the same receipt may be as publishable as a passive read; an unreceipted delayed effect is not. The honest result is sometimes a state plus a risk window, not a clean observation.