Whether a warrant's entitlement ends with its obligation's account.
queued · open · DECISIONS.md line 301
- Whether a warrant's entitlement ends with its obligation's account. The consolidation round's
WarrantInductor.Entitlementrequires the originating obligation's account to carry a live leaf: an obligation already answered or closed entitles no standing constraint (WarrantInductorWitness.answered_not_entitled). The alternative — a warrant incurred by an obligation outlives its discharge until the docket retires it — keeps the constraint in force after the debt is paid. Turns on: what a reason's standing is once the obligation that incurred it is resolved — taste about whether discharge retires the warrant or only the debt, which the account records and the mathematics does not decide.
Touches
Nothing named.
Nodes pointing at it
None.