colitur.git - deterministic OCaml engine to compute and validate liturgical calendars for multiple rites, template-driven output to year 9999

	Commit message (Collapse)	Author	Age	Files	Lines
*	kernel(validate): invariant harness over liturgical years	Lukasz Kasprzak	2026-08-11	1	-0/+16
	Coverage, season contiguity and completeness, Sunday-aligned week numbering, slug well-formedness, weekday agreement and vocabulary closure. Checks run over a liturgical year rather than a civil one, since Christmastide straddles January and would otherwise appear to recur. Run against EF temporal for landmark years, both Easter extremes, and 200 random years across 1583..9998 -- the property layer is how confidence reaches past the oracle horizon.