| Commit message (Expand) | Author | Age | Files | Lines |
| ... | |
| | * | 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 |
| * | kernel: loaders never escape as an exception, date-spec validates on load | Lukasz Kasprzak | 2026-08-11 | 4 | -6/+69 |
| * | cli: colitur temporal <year> dumps the EF temporal cycle | Lukasz Kasprzak | 2026-08-11 | 3 | -10/+58 |
| * | kernel(validate): synthetic negative-path fixture; drop vacuous slug check | Lukasz Kasprzak | 2026-08-11 | 2 | -9/+166 |
| * | kernel(validate): invariant harness over liturgical years | Lukasz Kasprzak | 2026-08-11 | 4 | -1/+154 |
| * | rite(ef): give Pentecost, its Vigil and Christ the King their week | Lukasz Kasprzak | 2026-08-11 | 2 | -4/+47 |
| * | rite(ef): ferias, Ember days, Rogations and the temporal entry point | Lukasz Kasprzak | 2026-08-11 | 3 | -1/+251 |
| * | rite(ef): pin down floor_div and week/sunday_slug agreement | Lukasz Kasprzak | 2026-08-11 | 2 | -15/+43 |
| * | rite(ef): Sunday slugs, week numbering and the resumed-Sunday tail | Lukasz Kasprzak | 2026-08-11 | 3 | -1/+145 |
| * | rite(ef): fix RG 91 citation gaps in named temporal days | Lukasz Kasprzak | 2026-08-11 | 1 | -8/+17 |
| * | rite(ef): named temporal days, vigils and the Nativity octave | Lukasz Kasprzak | 2026-08-11 | 3 | -3/+98 |
| * | rite(ef): season boundaries per RG 71-77 | Lukasz Kasprzak | 2026-08-11 | 3 | -1/+98 |
| * | rite(ef): season and rank vocabulary per RG 71-77 and RG 8 | Lukasz Kasprzak | 2026-08-11 | 6 | -2/+126 |
| * | fix(record): derive headers and to_row from a single columns list | Lukasz Kasprzak | 2026-08-11 | 2 | -5/+24 |