diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-11 14:56:09 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-11 15:09:53 +0200 |
| commit | e15fe4952a569f08900f9d602f7bc98afd298542 (patch) | |
| tree | 48aaec659196a00aaaea47ee3cffc57ea5291b15 /test/test_colitur.ml | |
| parent | 849ca6e118f765597e8d74272e1432a6391853c1 (diff) | |
| download | colitur-e15fe4952a569f08900f9d602f7bc98afd298542.tar.gz colitur-e15fe4952a569f08900f9d602f7bc98afd298542.zip | |
kernel(validate): invariant harness over liturgical years
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.
Diffstat (limited to 'test/test_colitur.ml')
| -rw-r--r-- | test/test_colitur.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/test_colitur.ml b/test/test_colitur.ml index 293e439..ae58607 100644 --- a/test/test_colitur.ml +++ b/test/test_colitur.ml @@ -2,4 +2,4 @@ let () = Alcotest.run "colitur" [ Test_date.suite; Test_computus.suite; Test_colour.suite; Test_slug.suite; Test_names.suite; - Test_overlay.suite; Test_temporal_ef.suite ] + Test_overlay.suite; Test_temporal_ef.suite; Test_validate.suite ] |