index
:
colitur.git
main
deterministic OCaml engine to compute and validate liturgical calendars for multiple rites, template-driven output to year 9999
lukas-labunix
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
kernel
/
validate.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
feat(kernel,ef): the lectionary reports which Mass it said
Lukasz Kasprzak
2026-08-21
1
-0
/
+29
*
feat(kernel): movable Date_spec variants, and Rogation Wednesday
Lukasz Kasprzak
2026-08-17
1
-2
/
+9
*
test: lectionary properties, golden pins, and the blast radius
Lukasz Kasprzak
2026-08-17
1
-1
/
+59
*
docs: three comments that outlived the rules they described
Lukasz Kasprzak
2026-08-12
1
-7
/
+11
*
fix(rite-ef): band has no table entry for a bare commemoration, ever
Lukasz Kasprzak
2026-08-12
1
-2
/
+31
*
fix(kernel,rite-ef): admit orders commemorations by RG 113's table of precede...
Lukasz Kasprzak
2026-08-12
1
-2
/
+24
*
fix(rite-ef,kernel): follow the oracle on the Purification; admit reads the d...
Lukasz Kasprzak
2026-08-12
1
-1
/
+16
*
kernel(validate): fold in Plan 2's carried guards
Lukasz Kasprzak
2026-08-12
1
-12
/
+37
*
kernel(validate): resolution invariants
Lukasz Kasprzak
2026-08-12
1
-1
/
+131
*
kernel(rite): bundle what a rite supplies; make season runs rite-supplied
Lukasz Kasprzak
2026-08-11
1
-4
/
+11
*
kernel(validate): never raise at 9999; add anchor, determinism, vocab checks
Lukasz Kasprzak
2026-08-11
1
-3
/
+67
*
kernel(validate): synthetic negative-path fixture; drop vacuous slug check
Lukasz Kasprzak
2026-08-11
1
-8
/
+12
*
kernel(validate): invariant harness over liturgical years
Lukasz Kasprzak
2026-08-11
1
-0
/
+92