aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* fix(ef): M6 was convicted on the transcription's silence, not a scanLukasz Kasprzak2026-08-122-16/+28
* docs: fix round 1 -- Purification reversal, the admit fix, RG112, layer blind...Lukasz Kasprzak2026-08-121-17/+47
* docs(rite-ef): correct a false band-value comparison in the RG16(a) commentLukasz Kasprzak2026-08-122-10/+41
* fix(rite-ef,kernel): follow the oracle on the Purification; admit reads the d...Lukasz Kasprzak2026-08-1214-170/+370
* docs: close the RG16(a) CLAUDE.md item, correct its signature-change claimLukasz Kasprzak2026-08-121-7/+16
* test(ef): golden pins for RG16(a), both directionsLukasz Kasprzak2026-08-121-1/+73
* data(ef): retag the Purification and Most Holy Name of Mary as BVM, not LordLukasz Kasprzak2026-08-124-1/+97
* kernel(rite-ef): apply RG16(a) -- a Feast of the Lord leaves the impeded Sund...Lukasz Kasprzak2026-08-122-8/+208
* Merge branch 'ef-plan3': Plan 3, the EF resolution engineLukasz Kasprzak2026-08-1250-172/+27952
|\
| * docs: refresh CLAUDE.md for Plan 3Lukasz Kasprzak2026-08-121-34/+128
| * docs: close the final review's four documentation residuesLukasz Kasprzak2026-08-126-14/+17
| * 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-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
generated by cgit v1.3 (git 2.53.0) at 2026-09-19 16:54:56 +0000