summaryrefslogtreecommitdiff
path: root/test/test_precedence_ef.ml
Commit message (Expand)AuthorAgeFilesLines
* test(ef): commemoration, transfer, and privilege coverage for the Major LitaniesLukasz Kasprzak2026-08-131-7/+117
* fix(ef): RG 112(d) excludes a same-BVM commemoration (fix round 1, F1)Lukasz Kasprzak2026-08-131-0/+76
* test(ef): reach RG 91 entry 27 through the real pipeline, end-to-endLukasz Kasprzak2026-08-131-4/+98
* test,docs: RG110(c)'s adjacency is unobservable by constructionLukasz Kasprzak2026-08-131-1/+44
* fix round 1: RG 110(c)'s ordering was inverted; M19 lacked an identity gateLukasz Kasprzak2026-08-131-8/+27
* precedence(ef): RG 110, the inseparable Peter/Paul commemorationLukasz Kasprzak2026-08-131-1/+67
* temporal(ef): Holy Name of Jesus, RG 17(a) -- fallback + Lord subjectLukasz Kasprzak2026-08-131-0/+105
* precedence(ef): fix round 1 (F2, F7) -- correct a false transcription claim, ...Lukasz Kasprzak2026-08-131-25/+42
* precedence(ef): fix round 1 (F1) -- band's -14 sentinel inverted the tableLukasz Kasprzak2026-08-131-81/+151
* precedence(ef): RG91 e14 "primum mobilia" + RG112(a) inseparable exclusionLukasz Kasprzak2026-08-131-1/+130
* fix(rite-ef): band has no table entry for a bare commemoration, everLukasz Kasprzak2026-08-121-1/+20
* fix(kernel,rite-ef): admit orders commemorations by RG 113's table of precede...Lukasz Kasprzak2026-08-121-15/+70
* docs(rite-ef): correct a false band-value comparison in the RG16(a) commentLukasz Kasprzak2026-08-121-6/+16
* fix(rite-ef,kernel): follow the oracle on the Purification; admit reads the d...Lukasz Kasprzak2026-08-121-39/+119
* kernel(rite-ef): apply RG16(a) -- a Feast of the Lord leaves the impeded Sund...Lukasz Kasprzak2026-08-121-1/+136
* docs(citations): migrate register line-number pointers to stable anchorsLukasz Kasprzak2026-08-121-48/+49
* test(precedence-ef): witness the RG26 Class4 gate and correct a vacuous guard...Lukasz Kasprzak2026-08-121-6/+65
* kernel(precedence): fix round 1 -- RG23-26 govern ferial commemoration, not R...Lukasz Kasprzak2026-08-121-28/+68
* kernel(precedence): three RG-verified EF precedence bugs, found via oracleLukasz Kasprzak2026-08-121-17/+76
* rite(ef): the Annunciation's RG96 exception is conditional, not unconditionalLukasz Kasprzak2026-08-121-15/+59
* rite(ef): clamp the RG96 search at the domain ceilingLukasz Kasprzak2026-08-121-1/+31
* cli: colitur day <year> dumps resolved liturgical daysLukasz Kasprzak2026-08-121-1/+129
* test(ef): prove the II-class-Sunday privilege override end-to-endLukasz Kasprzak2026-08-111-1/+67
* rite(ef): an impeded I-class Sunday commemorates, not transfersLukasz Kasprzak2026-08-111-0/+22
* rite(ef): commemoration privilege and admission (RG 108-111)Lukasz Kasprzak2026-08-111-4/+306
* rite(ef): occurrence dispositions (RG 92-95, 33, 94)Lukasz Kasprzak2026-08-111-4/+144
* rite(ef): fix entry 8's Sunday exception and entry 14's over-restrictionLukasz Kasprzak2026-08-111-6/+96
* rite(ef): RG 91 Table of PrecedenceLukasz Kasprzak2026-08-111-0/+202