index
:
colitur.git
main
deterministic OCaml engine to compute and validate liturgical calendars for multiple rites, template-driven output to year 9999
lukas-labunix
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
test_validate.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
ef(lectionary): the Commons, chain step 4
Lukasz Kasprzak
2026-08-15
1
-1
/
+14
*
kernel+ef: fix round 1 -- lectionary caller-supplied, not eager
Lukasz Kasprzak
2026-08-15
1
-1
/
+11
*
kernel+ef: resolve readings, chain steps 1 and 2
Lukasz Kasprzak
2026-08-15
1
-1
/
+5
*
fix(kernel,rite-ef): admit orders commemorations by RG 113's table of precede...
Lukasz Kasprzak
2026-08-12
1
-6
/
+9
*
fix(rite-ef,kernel): follow the oracle on the Purification; admit reads the d...
Lukasz Kasprzak
2026-08-12
1
-6
/
+6
*
docs+test: small factual corrections (item 7, part 1)
Lukasz Kasprzak
2026-08-12
1
-3
/
+10
*
test(validate): commit the exhaustive 1583-9999 sweep, gated not sampled
Lukasz Kasprzak
2026-08-12
1
-1
/
+71
*
kernel(validate): fold in Plan 2's carried guards
Lukasz Kasprzak
2026-08-12
1
-3
/
+21
*
kernel(validate): resolution invariants
Lukasz Kasprzak
2026-08-12
1
-23
/
+284
*
kernel(calendar): place transferred celebrations (RG 96-98)
Lukasz Kasprzak
2026-08-11
1
-5
/
+8
*
kernel(rite): bundle what a rite supplies; make season runs rite-supplied
Lukasz Kasprzak
2026-08-11
1
-6
/
+73
*
kernel(validate): never raise at 9999; add anchor, determinism, vocab checks
Lukasz Kasprzak
2026-08-11
1
-8
/
+93
*
kernel(validate): synthetic negative-path fixture; drop vacuous slug check
Lukasz Kasprzak
2026-08-11
1
-1
/
+154
*
kernel(validate): invariant harness over liturgical years
Lukasz Kasprzak
2026-08-11
1
-0
/
+45