| Commit message (Expand) | Author | Age | Files | Lines |
| * | test(ef): golden pins for RG16(a), both directions | Lukasz Kasprzak | 2026-08-12 | 1 | -1/+73 |
| * | data(ef): retag the Purification and Most Holy Name of Mary as BVM, not Lord | Lukasz Kasprzak | 2026-08-12 | 4 | -1/+97 |
| * | kernel(rite-ef): apply RG16(a) -- a Feast of the Lord leaves the impeded Sund... | Lukasz Kasprzak | 2026-08-12 | 2 | -8/+208 |
| * | Merge branch 'ef-plan3': Plan 3, the EF resolution engine | Lukasz Kasprzak | 2026-08-12 | 50 | -172/+27952 |
| |\ |
|
| | * | docs: refresh CLAUDE.md for Plan 3 | Lukasz Kasprzak | 2026-08-12 | 1 | -34/+128 |
| | * | docs: close the final review's four documentation residues | Lukasz Kasprzak | 2026-08-12 | 6 | -14/+17 |
| | * | kernel+rite-ef: correct stale plan-relative deferrals (item 7, part 2) | Lukasz Kasprzak | 2026-08-12 | 6 | -35/+117 |
| | * | docs+test: small factual corrections (item 7, part 1) | Lukasz Kasprzak | 2026-08-12 | 6 | -15/+48 |
| | * | test(validate): commit the exhaustive 1583-9999 sweep, gated not sampled | Lukasz Kasprzak | 2026-08-12 | 1 | -1/+71 |
| | * | docs(citations): migrate register line-number pointers to stable anchors | Lukasz Kasprzak | 2026-08-12 | 3 | -72/+72 |
| | * | kernel(rite-ef): replace unearned/retracted citations with verified ones | Lukasz Kasprzak | 2026-08-12 | 2 | -24/+60 |
| | * | test(temporal-ef): extend the anchors-erosion guard to fixed-date anchors | Lukasz Kasprzak | 2026-08-12 | 1 | -43/+62 |
| | * | test(precedence-ef): witness the RG26 Class4 gate and correct a vacuous guard... | Lukasz Kasprzak | 2026-08-12 | 1 | -6/+65 |
| | * | kernel(precedence-ef): fix precedence_ef.mli's stale RG33/RG26/RG111(b) contract | Lukasz Kasprzak | 2026-08-12 | 2 | -42/+84 |
| | * | test: golden pins for the known-tricky years | Lukasz Kasprzak | 2026-08-12 | 2 | -1/+512 |
| | * | test(oracle): correct M11's citation and verdict (fix round 1, F3) | Lukasz Kasprzak | 2026-08-12 | 2 | -18/+22 |
| | * | kernel(precedence): fix round 1 -- RG23-26 govern ferial commemoration, not R... | Lukasz Kasprzak | 2026-08-12 | 3 | -103/+204 |
| | * | test: oracle vs missalemeum 2026-2027; audit the sanctoral | Lukasz Kasprzak | 2026-08-12 | 7 | -2/+1569 |
| | * | kernel(temporal): Holy Thursday is white, per RG128(b)'s named exception | Lukasz Kasprzak | 2026-08-12 | 3 | -12/+42 |
| | * | kernel(precedence): three RG-verified EF precedence bugs, found via oracle | Lukasz Kasprzak | 2026-08-12 | 2 | -52/+256 |
| | * | test(differential): gate C1/C6 on slug family, pin the fixture's SHA-256 | Lukasz Kasprzak | 2026-08-12 | 2 | -10/+107 |
| | * | test: differential vs lectio 2005-2050 with a cited allow-list | Lukasz Kasprzak | 2026-08-12 | 6 | -2/+17392 |
| | * | kernel(validate): fold in Plan 2's carried guards | Lukasz Kasprzak | 2026-08-12 | 4 | -45/+173 |
| | * | test(rite_ef): pin no transfer ever lands inside the Easter octave | Lukasz Kasprzak | 2026-08-12 | 1 | -1/+139 |
| | * | kernel(validate): resolution invariants | Lukasz Kasprzak | 2026-08-12 | 3 | -27/+458 |
| | * | rite(ef): the Annunciation's RG96 exception is conditional, not unconditional | Lukasz Kasprzak | 2026-08-12 | 4 | -55/+152 |
| | * | test(ef): pin the overlay suppression's own observable effect | Lukasz Kasprzak | 2026-08-12 | 1 | -2/+48 |
| | * | rite(ef): clamp the RG96 search at the domain ceiling | Lukasz Kasprzak | 2026-08-12 | 6 | -13/+150 |
| | * | build: materialise data/ef/*.sexp as part of the default build target | Lukasz Kasprzak | 2026-08-12 | 1 | -0/+23 |
| | * | cli: colitur day <year> dumps resolved liturgical days | Lukasz Kasprzak | 2026-08-12 | 10 | -16/+594 |
| | * | data(ef): bootstrap the 1962 sanctoral from lectio | Lukasz Kasprzak | 2026-08-12 | 6 | -1/+3006 |
| | * | test(ef): prove the II-class-Sunday privilege override end-to-end | Lukasz Kasprzak | 2026-08-11 | 1 | -1/+67 |
| | * | rite(ef): an impeded I-class Sunday commemorates, not transfers | Lukasz Kasprzak | 2026-08-11 | 3 | -21/+64 |
| | * | rite(ef): commemoration privilege and admission (RG 108-111) | Lukasz Kasprzak | 2026-08-11 | 3 | -29/+567 |
| | * | rite(ef): fix false justification in impedes_vigil's comment | Lukasz Kasprzak | 2026-08-11 | 1 | -7/+11 |
| | * | rite(ef): occurrence dispositions (RG 92-95, 33, 94) | Lukasz Kasprzak | 2026-08-11 | 3 | -4/+285 |
| | * | rite(ef): fix entry 8's Sunday exception and entry 14's over-restriction | Lukasz Kasprzak | 2026-08-11 | 3 | -42/+198 |
| | * | rite(ef): RG 91 Table of Precedence | Lukasz Kasprzak | 2026-08-11 | 4 | -1/+411 |
| | * | kernel(calendar): fix multi-departure loss, band-order gap, off-array targets | Lukasz Kasprzak | 2026-08-11 | 5 | -117/+296 |
| | * | kernel(calendar): place transferred celebrations (RG 96-98) | Lukasz Kasprzak | 2026-08-11 | 6 | -57/+444 |
| | * | kernel: carry omitted celebrations on Liturgical_day.t, reason and all | Lukasz Kasprzak | 2026-08-11 | 5 | -14/+89 |
| | * | kernel(calendar): the year is the primitive, the day is derived | Lukasz Kasprzak | 2026-08-11 | 4 | -1/+312 |
| | * | kernel(rite): bundle what a rite supplies; make season runs rite-supplied | Lukasz Kasprzak | 2026-08-11 | 5 | -27/+129 |
| | * | kernel: the LiturgicalDay result schema | Lukasz Kasprzak | 2026-08-11 | 2 | -0/+36 |
| | * | test(precedence): strengthen accounting test, cover order and empty sanctoral | Lukasz Kasprzak | 2026-08-11 | 1 | -7/+39 |
| | * | kernel(precedence): rite-parameterised resolver | Lukasz Kasprzak | 2026-08-11 | 4 | -1/+206 |
| | * | kernel(celebration): distinguish a feast from a commemoration-only entry | Lukasz Kasprzak | 2026-08-11 | 3 | -5/+35 |
| |/ |
|
| * | cli: emit "-" for an absent week, keeping output column-safe | Lukasz Kasprzak | 2026-08-11 | 2 | -4/+10 |
| * | kernel(validate): never raise at 9999; add anchor, determinism, vocab checks | Lukasz Kasprzak | 2026-08-11 | 3 | -14/+177 |
| * | rite(ef): fix duplicate slugs and omitted weeks in the temporal cycle | Lukasz Kasprzak | 2026-08-11 | 6 | -115/+317 |