colitur.git/lib/kernel/citation.mli, branch v1.2.1deterministic OCaml engine to compute and validate liturgical calendars for multiple rites, template-driven output to year 9999https://git.labunix.xyz/colitur.git/atom?h=v1.2.12026-08-11T09:54:16Zkernel: fix sexp deriving, add missing tests, canonicalize remove2026-08-11T09:54:16ZLukasz Kasprzaklukas@labunix.xyz2026-08-11T09:54:16Zurn:sha1:8b6c0036cb6c7f0e48a9370f53be25fd2bb243f4
Use [@@deriving sexp] with open Sexplib0.Sexp_conv instead of hand-rolling
converters (fixes non-standard Citation shape and missing field validation).
Names.t_of_sexp wraps derived version to enforce canonical sort on load.
Add tests:
- Names of_list duplicate handling
- Names sexp canonical sort guarantee (identical serialization)
- Names and Date_spec sexp roundtrips
Fix Names.remove to canonicalize output (defensive against non-canonical input).
kernel: Names, Citation and Date_spec2026-08-11T09:37:32ZLukasz Kasprzaklukas@labunix.xyz2026-08-11T09:37:32Zurn:sha1:57322e766a0ece579dafcddcfe2572676a98fca8
Names is an open language-keyed assoc kept in canonical order so equal name
sets serialise identically. Citation carries references only, never text.
Date_spec ships the one form the EF sanctoral needs; 29 February is
constructible and resolves to None in common years.