module V = Rite_ef.Vocab_ef let test_vocab_roundtrips () = List.iter (fun s -> Alcotest.(check bool) "season string roundtrip" true (V.season_of_string (V.season_to_string s) = Some s)) V.seasons; List.iter (fun r -> Alcotest.(check bool) "rank string roundtrip" true (V.rank_of_string (V.rank_to_string r) = Some r)) V.ranks; Alcotest.(check int) "eight seasons" 8 (List.length V.seasons); Alcotest.(check int) "four ranks" 4 (List.length V.ranks) (* Slug words are lectio's lectionary-key vocabulary, deliberately distinct from the season names (spec §4.4, plan correction 2). *) let test_slug_words () = Alcotest.(check string) "paschaltide slugs as easter" "easter" (V.season_slug_word V.Paschaltide); Alcotest.(check string) "christmastide slugs as christmas" "christmas" (V.season_slug_word V.Christmastide); Alcotest.(check string) "season name differs" "paschaltide" (V.season_to_string V.Paschaltide) module T = Rite_ef.Temporal_ef module D = Colitur_kernel.Date let d y m dd = match D.make ~year:y ~month:m ~day:dd with | Ok t -> t | Error e -> Alcotest.failf "%s" e let season_str dt = V.season_to_string (T.season dt) let test_advent_start () = (* Advent 2026 begins Sunday 29 November 2026. *) Alcotest.(check string) "advent 2026" "2026-11-29" (D.to_iso8601 (T.advent_start 2026)); Alcotest.(check bool) "always a Sunday" true (D.weekday (T.advent_start 2026) = D.Sun) let test_seasons () = (* Easter 2026 is 5 April. *) Alcotest.(check string) "1 Dec 2026" "advent" (season_str (d 2026 12 1)); Alcotest.(check string) "24 Dec 2026" "advent" (season_str (d 2026 12 24)); Alcotest.(check string) "25 Dec 2026" "christmastide" (season_str (d 2026 12 25)); (* RG 72-73: Christmas Time runs to 13 January INCLUSIVE -- the deliberate divergence from lectio, which starts time-after-epiphany at 6 January. *) Alcotest.(check string) "6 Jan 2026" "christmastide" (season_str (d 2026 1 6)); Alcotest.(check string) "13 Jan 2026" "christmastide" (season_str (d 2026 1 13)); Alcotest.(check string) "14 Jan 2026" "time-after-epiphany" (season_str (d 2026 1 14)); Alcotest.(check string) "Septuagesima 1 Feb 2026" "septuagesima" (season_str (d 2026 2 1)); Alcotest.(check string) "Ash Wed 18 Feb 2026" "lent" (season_str (d 2026 2 18)); Alcotest.(check string) "Passion Sun 22 Mar 2026" "passiontide" (season_str (d 2026 3 22)); (* Holy Saturday stays in Passiontide: the Vigil is a night Mass (spec §4.2). *) Alcotest.(check string) "Holy Sat 4 Apr 2026" "passiontide" (season_str (d 2026 4 4)); Alcotest.(check string) "Easter 5 Apr 2026" "paschaltide" (season_str (d 2026 4 5)); Alcotest.(check string) "Sat after Pentecost 30 May 2026" "paschaltide" (season_str (d 2026 5 30)); Alcotest.(check string) "Trinity 31 May 2026" "time-after-pentecost" (season_str (d 2026 5 31)) let suite_extra_seasons = [ Alcotest.test_case "advent start" `Quick test_advent_start; Alcotest.test_case "seasons" `Quick test_seasons ] let suite = ( "Rite_ef", [ Alcotest.test_case "vocab roundtrips" `Quick test_vocab_roundtrips; Alcotest.test_case "slug words" `Quick test_slug_words ] @ suite_extra_seasons )