You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A supersession can carry --supersede-reason restate|revise|reverse, and every claim and decision derives support (clean, flagged or unsupported) with review_owed and lost_grounds. A citation follows supersessions to the head of its chain: a restatement keeps the citing record clean, a revision flags it, a reversal removes the ground. unassessed, disputed and blocked grounds flag; rejected and revoked grounds are lost. Support that is circular and never grounded is flagged with because: circular rather than lost.
docket review ID [--note TEXT] acknowledges a record's own revised, unassessed, disputed or circular grounds against the heads it was reviewed against. A later revision of the same chain raises the flag again. A flag inherited from a flagged or blocked ground clears by reviewing or fixing that ground; docket review refuses a record that owes only those, and review the frontier first.
docket correct ID --supersede-reason VALUE relabels a supersession. --where takes is:flagged and is:unsupported. show --json and list --json carry support, review_owed, lost_grounds and reviews.
Changed
A prerequisite in depends_on now follows restatements and revisions to the head of its chain instead of blocking the decision; only a reversal, or a rejected or revoked head, blocks. A --since token minted before the upgrade still matches unless a decision's applicability changed under the new prerequisite rule; then it prints a full briefing.
Every supersession recorded before this release reads as revise, so records citing a superseded record owe review after upgrading. Relabel restatements with docket correct ID --supersede-reason restate.
A ledger with any supersede_reason, a correction of one, or a review line cannot be read by docket 0.20.x or older. Upgrade every machine and plugin cache that reads the ledger first.