diff options
Diffstat (limited to 'test/test_precedence_of.ml')
| -rw-r--r-- | test/test_precedence_of.ml | 49 |
1 files changed, 48 insertions, 1 deletions
diff --git a/test/test_precedence_of.ml b/test/test_precedence_of.ml index 610cbfb..e1af486 100644 --- a/test/test_precedence_of.ml +++ b/test/test_precedence_of.ml @@ -436,6 +436,50 @@ let test_target_is_free_of_entries_1_to_8 () = true (b > 80)) [ "2027-03-25"; "2035-03-25"; "2026-03-25"; "2029-03-25" ] +(* Fix round 2 (Task 1, 2026-08-25): the shipped All Souls entry (2 + November, data/of/calendar-2002.sexp) actually beats an ordinary + per-annum Sunday when they coincide -- the exact hazard the [band] + comment above named ("PHASE 3 HAZARD ... before shipping OF sanctoral + data"). Loads the REAL shipped entry (not a synthetic reconstruction) + and resolves it through {!Colitur_kernel.Precedence.resolve} with + [Rite_of.Precedence_of.rules] -- not [band] in isolation -- against a + real per-annum Sunday context, 2 November 2025 (independently a real + Sunday: date -d confirms it, and it is the same date CLAUDE.md's own + EF golden pin "All Souls falling on a Sunday" already uses). *) +let test_all_souls_beats_an_ordinary_sunday () = + let path = "../data/of/calendar-2002.sexp" in + let l = + match Colitur_kernel.Layer.load Vocab_of.rank_of_sexp path with + | Ok l -> l + | Error e -> Alcotest.failf "%s: failed to load: %s" path e + in + let all_souls = + match Colitur_kernel.Layer.find l (Slug.of_string_exn "all-souls") with + | Some e -> e.Colitur_kernel.Layer.cel + | None -> Alcotest.fail "\"all-souls\" not found in the shipped calendar" + in + Alcotest.(check bool) "shipped All Souls is tagged Sollemnitas" true + (all_souls.Celebration.rank = Vocab_of.Sollemnitas); + let all_souls_candidate = { Precedence.cel = all_souls; origin = Precedence.Sanctoral } in + let d = Date.of_iso8601 "2025-11-02" |> Result.get_ok in + Alcotest.(check bool) "2025-11-02 is really a Sunday" true (Date.weekday d = Date.Sun); + let ctx = { Precedence.date = d; season = Vocab_of.Ordinary_time; weekday = Date.Sun } in + (* An ordinary per-annum Sunday's own candidate, shaped exactly as + Temporal_of.temporal builds one (rank Festum, Tabula II.6) -- + independent of temporal_candidate/ctx_of_date above, which read the + office off Temporal_of.temporal directly; this test instead builds it + by hand so it does not depend on 2025-11-02 having no competing named + temporal office of its own. *) + let sunday_candidate = + mk ~slug:"of-ordinary-time-sunday" ~rank:Vocab_of.Festum ~origin:Precedence.Temporal () + in + let resolution = + Precedence.resolve Rite_of.Precedence_of.rules ctx ~temporal:sunday_candidate + ~sanctoral:[ all_souls_candidate ] + in + Alcotest.(check bool) "All Souls, not the Sunday, is observed" true + (resolution.Precedence.observed = all_souls_candidate) + let suite = ( "precedence-of", [ Alcotest.test_case "Tabula part I (entries 1-4)" `Quick test_part1; @@ -455,5 +499,8 @@ let suite = Alcotest.test_case "transfer_target is always strictly later" `Quick test_target_is_strictly_later; Alcotest.test_case "transfer_target lands free of Tabula entries 1-8" `Quick - test_target_is_free_of_entries_1_to_8 ] + test_target_is_free_of_entries_1_to_8; + Alcotest.test_case + "fix round 2: shipped All Souls beats an ordinary per-annum Sunday (2025-11-02)" `Quick + test_all_souls_beats_an_ordinary_sunday ] @ List.map QCheck_alcotest.to_alcotest [ prop_band_total ] ) |