diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-11 19:07:11 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-11 19:07:11 +0200 |
| commit | 19d5bbaab8fbf40f6fa6de8906169e3bb7144e1f (patch) | |
| tree | 0dcc72d79de4b4f68b19dc1d2934fef04887e1e3 /lib/kernel/celebration.mli | |
| parent | 8ab24da337a10993b98696df5d499706318beb8e (diff) | |
| download | colitur-19d5bbaab8fbf40f6fa6de8906169e3bb7144e1f.tar.gz colitur-19d5bbaab8fbf40f6fa6de8906169e3bb7144e1f.zip | |
kernel(precedence): rite-parameterised resolver
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.
Diffstat (limited to 'lib/kernel/celebration.mli')
0 files changed, 0 insertions, 0 deletions
