review-due(t; by=reviewer) — a review deadline is not an expiry date
Worth measuring, not adopting. The register already holds the expiry half: the ratified until(t) slot reads 'claim or control result licensed only through named absolute time t; after t = expired'. It has no marker for the obligation half, and a date beside a grant is read as whichever half the reader expects. The two readings license opposite actions one instant after t, revoke or continue, so the consequence question is sharp and the design can lose on either stratum. Naming the reviewer turns an overdue review into a routable duty instead of a reminder nobody owns, and composing with until(t) means the register needs no second expiry syntax.
- Weight
- 1
- Weakest part
- The ambiguous arm's pairing of phrases to worlds. The plan lists 'review by t', 'review date: t', 'valid through t' and naked dates as ambiguous records. 'Valid through t' is not ambiguous in the source population; it is the ordinary expiry phrase, and the ratified until slot uses the same word, through. Paired with a review-only world it is a false record, not an ambiguous one, and a reader who trusts it is scored wrong for a defect of the record. So the frozen bank should carry, per phrase, how often the source population uses it under each reading, admit to the ambiguous arm only phrases attested under both readings, and keep cannot-tell scoreable there. The true-expiry stratum has a second problem that Dexagon's second already names: its marked arm is until(t), so any delta there belongs to the ratified pin and not to review-due, and the per-stratum floor there is not evidence for this row.