diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/test_oracle.ml | 18 | ||||
| -rw-r--r-- | test/test_temporal_ef.ml | 14 |
2 files changed, 26 insertions, 6 deletions
diff --git a/test/test_oracle.ml b/test/test_oracle.ml index df56bcc..5177716 100644 --- a/test/test_oracle.ml +++ b/test/test_oracle.ml @@ -983,7 +983,17 @@ let m15_dates = [ "2026-02-24"; "2026-03-19"; "2026-03-25"; "2026-12-02"; "2026-12-03"; "2026-12-04"; "2026-12-07"; "2026-12-11"; "2026-12-21"; "2027-02-22"; "2027-02-24"; "2027-12-02"; "2027-12-03"; "2027-12-04"; "2027-12-06"; "2027-12-07"; "2027-12-11"; "2027-12-13"; - "2027-12-16"; "2027-12-21" ] + "2027-12-16"; "2027-12-21"; + (* WIDENED (Nativity-Octave fix, 2026-08-18): the four days on which + colitur now commemorates the day within the Octave of the Nativity + (RG 67/109(c), the calendarium's own "Com. octavae Nativitatis" + under 26/27/28 December). Both streams commemorate it -- this fix + closed M11, which existed because colitur commemorated NOTHING + there -- but the candidate is TEMPORAL-origin, so Temporal_ef sets + no English name and the comparator cannot resolve its identity + against missalemeum's "For Octave of the Nativity". Exactly this + entry's own limit, on four more dates. *) + "2026-12-26"; "2026-12-28"; "2027-12-27"; "2027-12-28" ] (* M16 -- Task B: a genuine IDENTITY mismatch, both sides otherwise agreeing on rank/colour/count/presence. 27 March 2026 (Friday of Passion Week): @@ -1892,7 +1902,7 @@ let classify_2038 (c : colitur_row) (o : oracle_row) diffs = dedicated task rather than settled by whichever answer happens to match the oracle. *) else if has_comm "rogation-wednesday" then - Some "COMM-ONLY-TIE-BREAK (alphabetical, arbitrary -- see register 6.16)" + Some "COMM-ONLY-TIE-BREAK (RG-under-determined convention -- register 6.16)" (* The documented comparator LIMIT, not a calendar disagreement: colitur resolves a commemoration's identity through its own English name, and a TEMPORAL-origin commemoration (an impeded feria, an Ember or Rogation @@ -2029,11 +2039,11 @@ let test_2038_class_counts () = ("CHRISTMAS-MULTI-MASS (M27)", 1); ("COLOUR (M21)", 7); ("COMM-NAME-FORM (same entity, different English name)", 2); - ("COMM-ONLY-TIE-BREAK (alphabetical, arbitrary -- see register 6.16)", 1); + ("COMM-ONLY-TIE-BREAK (RG-under-determined convention -- register 6.16)", 1); ("JOSEPH-ANNUNCIATION-TRANSFER-ORDER (C14's own collision)", 2); ("JUDITH (M28, register 6.6)", 2); ("MISSAL-TWO-PART-CITATION (register 6.9)", 1); - ("NATIVITY-OCTAVE-COMM-MISSING (M11, colitur's own gap, verdict open)", 2); + ("COMM-IDENTITY-UNRESOLVED (temporal-origin, no English name -- M15's limit)", 2); ("PERPETUA-COMMON (register 6.8)", 1); ("PETER-COMPANION-ABSENT-UPSTREAM (M19)", 1) ] diff --git a/test/test_temporal_ef.ml b/test/test_temporal_ef.ml index 4e97d33..4995ee1 100644 --- a/test/test_temporal_ef.ml +++ b/test/test_temporal_ef.ml @@ -526,8 +526,18 @@ let test_christmastide_feria_slugs () = itself uses 3 January and 10 January below instead -- both, checked directly against data/ef/sanctoral.sexp, have no competing entry in any year, so the BVM Saturday office genuinely IS reachable there. *) - Alcotest.(check string) "26 Dec (Sat)" "ef-christmas-0-saturday" (slug_of (d 2026 12 26)); - Alcotest.(check string) "28 Dec (Mon)" "ef-christmas-0-monday" (slug_of (d 2026 12 28)); + (* CORRECTED 2026-08-18: these pinned "ef-christmas-0-<weekday>", the generic + Christmastide ferial slugs 26-28 December used to fall through to. Those + are days WITHIN the Octave of the Nativity (RG 67, "Dies infra octavam + sunt II classis") and now carry the octave-day slug exactly as 29-31 + always did -- which is what gave M11's missing "Com. octavae Nativitatis" + a candidate to be commemorated over. The days are still Saturday and + Monday; only the temporal identity changed, and only because it was + wrong. *) + Alcotest.(check string) "26 Dec (Sat): day 2 within the Octave" "ef-nativity-octave-day-2" + (slug_of (d 2026 12 26)); + Alcotest.(check string) "28 Dec (Mon): day 4 within the Octave" "ef-nativity-octave-day-4" + (slug_of (d 2026 12 28)); (* 3 Jan 2026 is a SATURDAY, genuinely reachable (data/ef/sanctoral.sexp has no 3 January entry) -- the real demonstration for the "-1-" stretch that 26 December's own Saturday could not honestly provide. *) |