aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* docs+test: small factual corrections (item 7, part 1)Lukasz Kasprzak2026-08-126-15/+48
* test(validate): commit the exhaustive 1583-9999 sweep, gated not sampledLukasz Kasprzak2026-08-121-1/+71
* docs(citations): migrate register line-number pointers to stable anchorsLukasz Kasprzak2026-08-123-72/+72
* kernel(rite-ef): replace unearned/retracted citations with verified onesLukasz Kasprzak2026-08-122-24/+60
* test(temporal-ef): extend the anchors-erosion guard to fixed-date anchorsLukasz Kasprzak2026-08-121-43/+62
* test(precedence-ef): witness the RG26 Class4 gate and correct a vacuous guard...Lukasz Kasprzak2026-08-121-6/+65
* 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
generated by cgit v1.3 (git 2.53.0) at 2026-09-19 15:37:04 +0000