| Commit message (Expand) | Author | Age | Files | Lines |
| * | data(ef): document why adjustments.sexp's directives survive the re-bootstrap | Lukasz Kasprzak | 2026-08-12 | 2 | -8/+60 |
| * | data(ef): re-bootstrap sanctoral.sexp from the corrected lectio source | Lukasz Kasprzak | 2026-08-12 | 2 | -37/+74 |
| * | tools(bootstrap_sanctoral): name.pl is optional, not required | Lukasz Kasprzak | 2026-08-12 | 1 | -2/+17 |
| * | Merge branch 'ef-rg16a': RG 16(a), RG 111(b), RG 113, and commemoration identity | Lukasz Kasprzak | 2026-08-12 | 21 | -982/+2440 |
| |\ |
|
| | * | docs: three comments that outlived the rules they described | Lukasz Kasprzak | 2026-08-12 | 4 | -16/+35 |
| | * | fix(rite-ef): band has no table entry for a bare commemoration, ever | Lukasz Kasprzak | 2026-08-12 | 9 | -152/+402 |
| | * | feat(test): oracle layer compares commemoration identity, not just count | Lukasz Kasprzak | 2026-08-12 | 6 | -794/+1188 |
| | * | fix(kernel,rite-ef): admit orders commemorations by RG 113's table of precede... | Lukasz Kasprzak | 2026-08-12 | 9 | -99/+244 |
| | * | fix(ef): M6 was convicted on the transcription's silence, not a scan | Lukasz Kasprzak | 2026-08-12 | 2 | -16/+28 |
| | * | docs: fix round 1 -- Purification reversal, the admit fix, RG112, layer blind... | Lukasz Kasprzak | 2026-08-12 | 1 | -17/+47 |
| | * | docs(rite-ef): correct a false band-value comparison in the RG16(a) comment | Lukasz Kasprzak | 2026-08-12 | 2 | -10/+41 |
| | * | fix(rite-ef,kernel): follow the oracle on the Purification; admit reads the d... | Lukasz Kasprzak | 2026-08-12 | 14 | -170/+370 |
| | * | docs: close the RG16(a) CLAUDE.md item, correct its signature-change claim | Lukasz Kasprzak | 2026-08-12 | 1 | -7/+16 |
| | * | 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 |