diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-11 23:25:39 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-11 23:25:39 +0200 |
| commit | 2ad350e0f97a99f76ac1d2d95cfa210f7393c777 (patch) | |
| tree | 5ff5c9463c4316a974b7559dafe7c650ba4ae37c /data/ef | |
| parent | 8c6788053dce2a365e3ddf22eccc9c68e641f32e (diff) | |
| download | colitur-2ad350e0f97a99f76ac1d2d95cfa210f7393c777.tar.gz colitur-2ad350e0f97a99f76ac1d2d95cfa210f7393c777.zip | |
rite(ef): commemoration privilege and admission (RG 108-111)
Precedence_ef.privilege_of classifies a commemoration candidate against
RG 109's closed list of privileged commemorations (a Sunday; a I-class
day; a day within the Octave of the Nativity; a September Ember day; a
feria of Advent, Lent or Passiontide; the Major Rogations in Mass), read
entirely off the candidate's own rank/slug/origin, no context needed.
Major Rogations (f) is left unimplemented rather than guessed: no
producer for the Major Litanies exists anywhere in this codebase yet.
disposition's two Commemorate sites now call privilege_of instead of
Task 8's interim_privilege placeholder, which is removed entirely
(binding and .mli export both gone).
Precedence_ef.admit applies RG 111's four admission counts, keyed on
the observed day's own class and Sunday-ness: a I-class day admits none
except one privileged commemoration; a II-class Sunday admits one, but
a privileged commemoration due displaces any ordinary one regardless of
dignity; any other II-class day admits one by dignity alone, with no
such override; III/IV-class days admit at most two by dignity. Ties
break on slug, matching Precedence.compare_by, so the admitted set
never depends on input order. Every admitted candidate is a value taken
unchanged from the input list, never rebuilt, so Precedence.resolve's
physical-equality-based dropped/omitted accounting keeps working --
closing a note left open since Task 2.
Tests: RG 109 category rows (one per reachable category, plus boundary
rows proving Advent/Lent Ember days and Minor Rogations are correctly
excluded), RG 111 admission rows checked on slug identity rather than
count, an order-independence check, and three end-to-end integration
tests proving the admission limit's drop lands in resolution.omitted
rather than vanishing.
Diffstat (limited to 'data/ef')
0 files changed, 0 insertions, 0 deletions
