aboutsummaryrefslogtreecommitdiff
path: root/lib/rites/rite_ef/precedence_ef.ml
Commit message (Expand)AuthorAgeFilesLines
* docs: three comments that outlived the rules they describedLukasz Kasprzak2026-08-121-5/+12
* fix(rite-ef): band has no table entry for a bare commemoration, everLukasz Kasprzak2026-08-121-12/+74
* fix(kernel,rite-ef): admit orders commemorations by RG 113's table of precede...Lukasz Kasprzak2026-08-121-50/+64
* docs(rite-ef): correct a false band-value comparison in the RG16(a) commentLukasz Kasprzak2026-08-121-4/+25
* fix(rite-ef,kernel): follow the oracle on the Purification; admit reads the d...Lukasz Kasprzak2026-08-121-7/+39
* kernel(rite-ef): apply RG16(a) -- a Feast of the Lord leaves the impeded Sund...Lukasz Kasprzak2026-08-121-7/+72
* docs: close the final review's four documentation residuesLukasz Kasprzak2026-08-121-5/+5
* kernel+rite-ef: correct stale plan-relative deferrals (item 7, part 2)Lukasz Kasprzak2026-08-121-5/+7
* docs(citations): migrate register line-number pointers to stable anchorsLukasz Kasprzak2026-08-121-19/+18
* kernel(rite-ef): replace unearned/retracted citations with verified onesLukasz Kasprzak2026-08-121-7/+18
* kernel(precedence-ef): fix precedence_ef.mli's stale RG33/RG26/RG111(b) contractLukasz Kasprzak2026-08-121-4/+12
* kernel(precedence): fix round 1 -- RG23-26 govern ferial commemoration, not R...Lukasz Kasprzak2026-08-121-75/+129
* kernel(precedence): three RG-verified EF precedence bugs, found via oracleLukasz Kasprzak2026-08-121-35/+180
* rite(ef): the Annunciation's RG96 exception is conditional, not unconditionalLukasz Kasprzak2026-08-121-30/+58
* rite(ef): clamp the RG96 search at the domain ceilingLukasz Kasprzak2026-08-121-6/+29
* cli: colitur day <year> dumps resolved liturgical daysLukasz Kasprzak2026-08-121-5/+107
* rite(ef): an impeded I-class Sunday commemorates, not transfersLukasz Kasprzak2026-08-111-11/+25
* rite(ef): commemoration privilege and admission (RG 108-111)Lukasz Kasprzak2026-08-111-16/+208
* rite(ef): fix false justification in impedes_vigil's commentLukasz Kasprzak2026-08-111-7/+11
* rite(ef): occurrence dispositions (RG 92-95, 33, 94)Lukasz Kasprzak2026-08-111-0/+95
* rite(ef): fix entry 8's Sunday exception and entry 14's over-restrictionLukasz Kasprzak2026-08-111-33/+76
* rite(ef): RG 91 Table of PrecedenceLukasz Kasprzak2026-08-111-0/+173