aboutsummaryrefslogtreecommitdiff
path: root/lib
Commit message (Expand)AuthorAgeFilesLines
* fix(kernel): a transferred candidate can settle as a commemoration, not only ...Lukasz Kasprzak2026-08-131-5/+40
* docs: an invented Caput, a list that was not closed, and a blind spotLukasz Kasprzak2026-08-132-6/+43
* docs(ef): fix round 1 citation corrections in temporal_ef.ml (F5b, F6)Lukasz Kasprzak2026-08-131-24/+53
* fix(ef): RG 112(d) excludes a same-BVM commemoration (fix round 1, F1)Lukasz Kasprzak2026-08-131-9/+167
* temporal(ef): the votive Office of the BVM on Saturday, RG 91 entry 27Lukasz Kasprzak2026-08-131-7/+173
* docs: a name that matched no scan, and a blocker that was not realLukasz Kasprzak2026-08-131-2/+30
* temporal(ef): the Sacred Triduum's own Latin identity, RG 91 entry 2Lukasz Kasprzak2026-08-131-1/+73
* test,docs: RG110(c)'s adjacency is unobservable by constructionLukasz Kasprzak2026-08-131-4/+17
* fix round 1: RG 110(c)'s ordering was inverted; M19 lacked an identity gateLukasz Kasprzak2026-08-132-39/+118
* precedence(ef): RG 110, the inseparable Peter/Paul commemorationLukasz Kasprzak2026-08-132-6/+175
* temporal(ef): Holy Name of Jesus, RG 17(a) -- fallback + Lord subjectLukasz Kasprzak2026-08-132-2/+131
* docs: two retracted claims that outlived their retractionLukasz Kasprzak2026-08-132-7/+19
* temporal(ef): fix round 1 (F3) -- give Holy Family a primary-sourced Latin nameLukasz Kasprzak2026-08-131-7/+34
* precedence(ef): fix round 1 (F2, F7) -- correct a false transcription claim, ...Lukasz Kasprzak2026-08-132-34/+69
* precedence(ef): fix round 1 (F1) -- band's -14 sentinel inverted the tableLukasz Kasprzak2026-08-132-65/+125
* precedence(ef): RG91 e14 "primum mobilia" + RG112(a) inseparable exclusionLukasz Kasprzak2026-08-132-7/+118
* temporal(ef): the Holy Family, first Sunday after Epiphany (RG 17(b))Lukasz Kasprzak2026-08-132-11/+85
* docs: three comments that outlived the rules they describedLukasz Kasprzak2026-08-123-15/+33
* fix(rite-ef): band has no table entry for a bare commemoration, everLukasz Kasprzak2026-08-124-30/+159
* fix(kernel,rite-ef): admit orders commemorations by RG 113's table of precede...Lukasz Kasprzak2026-08-125-76/+158
* 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-125-23/+104
* 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-125-13/+15
* kernel+rite-ef: correct stale plan-relative deferrals (item 7, part 2)Lukasz Kasprzak2026-08-126-35/+117
* docs+test: small factual corrections (item 7, part 1)Lukasz Kasprzak2026-08-121-1/+17
* 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-122-24/+60
* kernel(precedence-ef): fix precedence_ef.mli's stale RG33/RG26/RG111(b) contractLukasz Kasprzak2026-08-122-42/+84
* kernel(precedence): fix round 1 -- RG23-26 govern ferial commemoration, not R...Lukasz Kasprzak2026-08-122-75/+136
* kernel(temporal): Holy Thursday is white, per RG128(b)'s named exceptionLukasz Kasprzak2026-08-121-5/+28
* kernel(precedence): three RG-verified EF precedence bugs, found via oracleLukasz Kasprzak2026-08-121-35/+180
* kernel(validate): fold in Plan 2's carried guardsLukasz Kasprzak2026-08-122-12/+44
* kernel(validate): resolution invariantsLukasz Kasprzak2026-08-122-4/+174
* rite(ef): the Annunciation's RG96 exception is conditional, not unconditionalLukasz Kasprzak2026-08-122-40/+80
* rite(ef): clamp the RG96 search at the domain ceilingLukasz Kasprzak2026-08-122-10/+36
* cli: colitur day <year> dumps resolved liturgical daysLukasz Kasprzak2026-08-125-12/+249
* rite(ef): an impeded I-class Sunday commemorates, not transfersLukasz Kasprzak2026-08-112-21/+42
* rite(ef): commemoration privilege and admission (RG 108-111)Lukasz Kasprzak2026-08-112-25/+261
* 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-112-0/+141
* rite(ef): fix entry 8's Sunday exception and entry 14's over-restrictionLukasz Kasprzak2026-08-112-36/+102
* rite(ef): RG 91 Table of PrecedenceLukasz Kasprzak2026-08-112-0/+208
* kernel(calendar): fix multi-departure loss, band-order gap, off-array targetsLukasz Kasprzak2026-08-114-52/+154
* kernel(calendar): place transferred celebrations (RG 96-98)Lukasz Kasprzak2026-08-114-34/+277
* kernel: carry omitted celebrations on Liturgical_day.t, reason and allLukasz Kasprzak2026-08-114-11/+29
* kernel(calendar): the year is the primitive, the day is derivedLukasz Kasprzak2026-08-112-0/+138
* kernel(rite): bundle what a rite supplies; make season runs rite-suppliedLukasz Kasprzak2026-08-114-21/+56
* kernel: the LiturgicalDay result schemaLukasz Kasprzak2026-08-112-0/+36
* kernel(precedence): rite-parameterised resolverLukasz Kasprzak2026-08-112-0/+129
generated by cgit v1.3 (git 2.53.0) at 2026-09-19 18:22:36 +0000