aboutsummaryrefslogtreecommitdiff
path: root/lib
Commit message (Expand)AuthorAgeFilesLines
* 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
* kernel(celebration): distinguish a feast from a commemoration-only entryLukasz Kasprzak2026-08-112-5/+20
* kernel(validate): never raise at 9999; add anchor, determinism, vocab checksLukasz Kasprzak2026-08-112-6/+84
* rite(ef): fix duplicate slugs and omitted weeks in the temporal cycleLukasz Kasprzak2026-08-114-79/+210
* kernel: loaders never escape as an exception, date-spec validates on loadLukasz Kasprzak2026-08-112-3/+23
* kernel(validate): synthetic negative-path fixture; drop vacuous slug checkLukasz Kasprzak2026-08-111-8/+12
* kernel(validate): invariant harness over liturgical yearsLukasz Kasprzak2026-08-112-0/+108
* rite(ef): give Pentecost, its Vigil and Christ the King their weekLukasz Kasprzak2026-08-111-3/+19
* rite(ef): ferias, Ember days, Rogations and the temporal entry pointLukasz Kasprzak2026-08-112-0/+150
* rite(ef): pin down floor_div and week/sunday_slug agreementLukasz Kasprzak2026-08-111-14/+18
* rite(ef): Sunday slugs, week numbering and the resumed-Sunday tailLukasz Kasprzak2026-08-112-0/+90
* 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-112-0/+58
* rite(ef): season boundaries per RG 71-77Lukasz Kasprzak2026-08-112-0/+60
* rite(ef): season and rank vocabulary per RG 71-77 and RG 8Lukasz Kasprzak2026-08-113-0/+96
* fix(record): derive headers and to_row from a single columns listLukasz Kasprzak2026-08-111-4/+17
* kernel(record): flat all-string canonical output viewLukasz Kasprzak2026-08-112-0/+63
* kernel(overlay): ordered layer-merge algebra with diagnosticsLukasz Kasprzak2026-08-112-0/+138
* kernel(layer): sanctoral layer with canonical order and date indexLukasz Kasprzak2026-08-112-0/+81
* kernel: correct false compiler-constraint claim in Celebration commentLukasz Kasprzak2026-08-111-2/+6
* kernel: Vocab, Celebration and Temporal parametric typesLukasz Kasprzak2026-08-116-0/+124
* kernel: fix sexp deriving, add missing tests, canonicalize removeLukasz Kasprzak2026-08-116-74/+13
* kernel: Names, Citation and Date_specLukasz Kasprzak2026-08-116-0/+161
* kernel: Slug and Lang validated private stringsLukasz Kasprzak2026-08-114-0/+79
* kernel: Colour and Subject shared vocabularyLukasz Kasprzak2026-08-114-0/+39