aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * kernel(precedence-ef): fix precedence_ef.mli's stale RG33/RG26/RG111(b) contractLukasz Kasprzak2026-08-122-42/+84
| * test: golden pins for the known-tricky yearsLukasz Kasprzak2026-08-122-1/+512
| * test(oracle): correct M11's citation and verdict (fix round 1, F3)Lukasz Kasprzak2026-08-122-18/+22
| * kernel(precedence): fix round 1 -- RG23-26 govern ferial commemoration, not R...Lukasz Kasprzak2026-08-123-103/+204
| * test: oracle vs missalemeum 2026-2027; audit the sanctoralLukasz Kasprzak2026-08-127-2/+1569
| * kernel(temporal): Holy Thursday is white, per RG128(b)'s named exceptionLukasz Kasprzak2026-08-123-12/+42
| * kernel(precedence): three RG-verified EF precedence bugs, found via oracleLukasz Kasprzak2026-08-122-52/+256
| * test(differential): gate C1/C6 on slug family, pin the fixture's SHA-256Lukasz Kasprzak2026-08-122-10/+107
| * test: differential vs lectio 2005-2050 with a cited allow-listLukasz Kasprzak2026-08-126-2/+17392
| * kernel(validate): fold in Plan 2's carried guardsLukasz Kasprzak2026-08-124-45/+173
| * test(rite_ef): pin no transfer ever lands inside the Easter octaveLukasz Kasprzak2026-08-121-1/+139
| * kernel(validate): resolution invariantsLukasz Kasprzak2026-08-123-27/+458
| * rite(ef): the Annunciation's RG96 exception is conditional, not unconditionalLukasz Kasprzak2026-08-124-55/+152
| * test(ef): pin the overlay suppression's own observable effectLukasz Kasprzak2026-08-121-2/+48
| * rite(ef): clamp the RG96 search at the domain ceilingLukasz Kasprzak2026-08-126-13/+150
| * build: materialise data/ef/*.sexp as part of the default build targetLukasz Kasprzak2026-08-121-0/+23
| * cli: colitur day <year> dumps resolved liturgical daysLukasz Kasprzak2026-08-1210-16/+594
| * data(ef): bootstrap the 1962 sanctoral from lectioLukasz Kasprzak2026-08-126-1/+3006
| * 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-113-21/+64
| * rite(ef): commemoration privilege and admission (RG 108-111)Lukasz Kasprzak2026-08-113-29/+567
| * 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-113-4/+285
| * rite(ef): fix entry 8's Sunday exception and entry 14's over-restrictionLukasz Kasprzak2026-08-113-42/+198
| * rite(ef): RG 91 Table of PrecedenceLukasz Kasprzak2026-08-114-1/+411
| * kernel(calendar): fix multi-departure loss, band-order gap, off-array targetsLukasz Kasprzak2026-08-115-117/+296
| * kernel(calendar): place transferred celebrations (RG 96-98)Lukasz Kasprzak2026-08-116-57/+444
| * kernel: carry omitted celebrations on Liturgical_day.t, reason and allLukasz Kasprzak2026-08-115-14/+89
| * kernel(calendar): the year is the primitive, the day is derivedLukasz Kasprzak2026-08-114-1/+312
| * kernel(rite): bundle what a rite supplies; make season runs rite-suppliedLukasz Kasprzak2026-08-115-27/+129
| * kernel: the LiturgicalDay result schemaLukasz Kasprzak2026-08-112-0/+36
| * test(precedence): strengthen accounting test, cover order and empty sanctoralLukasz Kasprzak2026-08-111-7/+39
| * kernel(precedence): rite-parameterised resolverLukasz Kasprzak2026-08-114-1/+206
| * kernel(celebration): distinguish a feast from a commemoration-only entryLukasz Kasprzak2026-08-113-5/+35
|/
* cli: emit "-" for an absent week, keeping output column-safeLukasz Kasprzak2026-08-112-4/+10
* kernel(validate): never raise at 9999; add anchor, determinism, vocab checksLukasz Kasprzak2026-08-113-14/+177
* rite(ef): fix duplicate slugs and omitted weeks in the temporal cycleLukasz Kasprzak2026-08-116-115/+317
* kernel: loaders never escape as an exception, date-spec validates on loadLukasz Kasprzak2026-08-114-6/+69
* cli: colitur temporal <year> dumps the EF temporal cycleLukasz Kasprzak2026-08-113-10/+58
* kernel(validate): synthetic negative-path fixture; drop vacuous slug checkLukasz Kasprzak2026-08-112-9/+166
* kernel(validate): invariant harness over liturgical yearsLukasz Kasprzak2026-08-114-1/+154
* rite(ef): give Pentecost, its Vigil and Christ the King their weekLukasz Kasprzak2026-08-112-4/+47
* rite(ef): ferias, Ember days, Rogations and the temporal entry pointLukasz Kasprzak2026-08-113-1/+251
* rite(ef): pin down floor_div and week/sunday_slug agreementLukasz Kasprzak2026-08-112-15/+43
* rite(ef): Sunday slugs, week numbering and the resumed-Sunday tailLukasz Kasprzak2026-08-113-1/+145
* rite(ef): fix RG 91 citation gaps in named temporal daysLukasz Kasprzak2026-08-111-8/+17
* rite(ef): named temporal days, vigils and the Nativity octaveLukasz Kasprzak2026-08-113-3/+98
* rite(ef): season boundaries per RG 71-77Lukasz Kasprzak2026-08-113-1/+98
* rite(ef): season and rank vocabulary per RG 71-77 and RG 8Lukasz Kasprzak2026-08-116-2/+126
* fix(record): derive headers and to_row from a single columns listLukasz Kasprzak2026-08-112-5/+24