The watch-the-clock stage
DEFINE → PROVE → CORRECT → KEEP → REVOKE → AMEND
Nothing else in the family watches the clock.
Receipts is point-in-time. Agreements is pre-action. Invariant corrects within a session. A Sentinel is scheduled re-verification: it re-runs a standing contract against fresh evidence and tells you the moment something changes — a result, or the definition underneath it.
A contract you verified once is still true today — until it isn't.
Evidence changes. Amended versions replace the one you approved. A threshold buried in a `define` line gets raised without anyone re-reading the rule it feeds. A Sentinel is the difference between finding that out on your own schedule and finding it out the hard way.
It never guesses. Every verdict comes from the same interpreter that verified the contract the first time.
Watch a saved contract. Get one of three verdicts, every time it runs.
Holding
Re-verification produced the same result. Nothing to see — the dashboard just confirms it, on schedule.
Drifted
The result changed, or a `define` the contract depends on changed underneath it — even if the evidence didn't move at all. Either way, a plain-language diff of what changed.
Expired
A `starting`/`until` window on the contract has closed. No re-run needed — the contract is simply outside its declared effective period.
Verified once is a snapshot. Verified continuously is a Sentinel.