aboutsummaryrefslogtreecommitdiff
path: root/test/test_overlay.ml
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-08-11 19:07:11 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-08-11 19:07:11 +0200
commit19d5bbaab8fbf40f6fa6de8906169e3bb7144e1f (patch)
tree0dcc72d79de4b4f68b19dc1d2934fef04887e1e3 /test/test_overlay.ml
parent8ab24da337a10993b98696df5d499706318beb8e (diff)
downloadcolitur-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 'test/test_overlay.ml')
0 files changed, 0 insertions, 0 deletions