aboutsummaryrefslogtreecommitdiff
path: root/test/test_validate.ml
Commit message (Expand)AuthorAgeFilesLines
* feat(ef): implement the calendarium's bissextile February shiftLukasz Kasprzak2026-08-221-0/+3
* fix(kernel): Mass_formulary.t.said is honestly optional -- was false for VotiveLukasz Kasprzak2026-08-221-1/+1
* feat(ef): the Creed, RG 475-476Lukasz Kasprzak2026-08-221-3/+9
* feat(kernel,ef): the lectionary reports which Mass it saidLukasz Kasprzak2026-08-211-11/+98
* feat(ef): implement RG 33's third omission triggerLukasz Kasprzak2026-08-211-6/+6
* feat(kernel): movable Date_spec variants, and Rogation WednesdayLukasz Kasprzak2026-08-171-0/+5
* test: lectionary properties, golden pins, and the blast radiusLukasz Kasprzak2026-08-171-5/+103
* ef(lectionary): the Commons, chain step 4Lukasz Kasprzak2026-08-151-1/+14
* kernel+ef: fix round 1 -- lectionary caller-supplied, not eagerLukasz Kasprzak2026-08-151-1/+11
* kernel+ef: resolve readings, chain steps 1 and 2Lukasz Kasprzak2026-08-151-1/+5
* fix(kernel,rite-ef): admit orders commemorations by RG 113's table of precede...Lukasz Kasprzak2026-08-121-6/+9
* fix(rite-ef,kernel): follow the oracle on the Purification; admit reads the d...Lukasz Kasprzak2026-08-121-6/+6
* docs+test: small factual corrections (item 7, part 1)Lukasz Kasprzak2026-08-121-3/+10
* test(validate): commit the exhaustive 1583-9999 sweep, gated not sampledLukasz Kasprzak2026-08-121-1/+71
* kernel(validate): fold in Plan 2's carried guardsLukasz Kasprzak2026-08-121-3/+21
* kernel(validate): resolution invariantsLukasz Kasprzak2026-08-121-23/+284
* kernel(calendar): place transferred celebrations (RG 96-98)Lukasz Kasprzak2026-08-111-5/+8
* kernel(rite): bundle what a rite supplies; make season runs rite-suppliedLukasz Kasprzak2026-08-111-6/+73
* kernel(validate): never raise at 9999; add anchor, determinism, vocab checksLukasz Kasprzak2026-08-111-8/+93
* kernel(validate): synthetic negative-path fixture; drop vacuous slug checkLukasz Kasprzak2026-08-111-1/+154
* kernel(validate): invariant harness over liturgical yearsLukasz Kasprzak2026-08-111-0/+45