aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel/precedence.mli
Commit message (Collapse)AuthorAgeFilesLines
* kernel(precedence): rite-parameterised resolverLukasz Kasprzak2026-08-111-0/+60
Three rite-supplied functions, not one: band (who wins, RG 91), disposition (what happens to the loser, RG 92-95) and admit (how many commemorations are admitted, RG 111). The loser's fate depends on the loser's own rank, so conflating them would resist extension. resolve takes the temporal candidate separately from the sanctoral list, which makes it total by construction. Every candidate lands in exactly one of observed, commemorations, deferred or omitted -- nothing is dropped silently, which is what makes the no-celebration-lost invariant checkable.