1 files changed, 29 insertions, 14 deletions
diff --git a/test/test_temporal_ef.ml b/test/test_temporal_ef.ml
index ff3cc0b..4e97d33 100644
--- a/test/test_temporal_ef.ml
+++ b/test/test_temporal_ef.ml
@@ -507,25 +507,40 @@ let test_colours () =
    (6 Jan) is a Tuesday, so the actual first-Sunday-after-Epiphany origin is
    11 Jan -- exercising all four sub-stretches of the fix. *)
 let test_christmastide_feria_slugs () =
-  (* 26 Dec 2026 and 10 Jan 2026 are both SATURDAYS -- ef-bvm-saturday task
-     (RG 78, "De sancta Maria in sabbato"): every Christmastide feria
-     [christmastide_feria_slug] builds is unconditionally Class4
-     ([ferial_rank]'s own catch-all outside Advent/Lent/Passiontide), so on a
-     Saturday {!Rite_ef.Temporal_ef.bvm_saturday_names}'s own override fires
-     here too -- but per that citation's own "Slug" paragraph, the SLUG is
-     deliberately left UNCHANGED (reused from this same "-0-"/"-2-" naming,
-     not replaced): only colour/subject/name change. So the slug assertions
-     below are unaffected by the fix; what is NEW is the colour/subject
-     override on these two specific dates, asserted alongside them. *)
+  (* 26 Dec 2026 is a SATURDAY -- but, fix round 1 (coordinator finding F2),
+     it can NEVER actually hold the BVM Saturday office in the real
+     resolved pipeline: 26/27/28 December are St Stephen/St John/the Holy
+     Innocents (RG 67-70), fixed, unconditional, real data/ef/sanctoral.sexp
+     entries every single year (rank >= Class2), which always outrank a
+     Class4 temporal candidate -- so RG 78's own protasis ("in quibus
+     OCCURRIT Officium de feria IV classis") is never satisfied by ANY day
+     in the 26-28 December stretch, in any year. [T.temporal] itself has no
+     visibility into the sanctoral layer at all (by design -- the temporal
+     candidate is computed independent of what saint's day it is; Precedence
+     decides the winner afterward), so it still unconditionally tags this
+     date [subject = Bvm] -- a genuine, correct fact about [T.temporal]'s
+     own pure computation, but NOT a claim that this shape is ever the real
+     OBSERVED office, and pinning it with RG-78 citation language as if it
+     were would overclaim. Only the SLUG is asserted here (unaffected
+     either way, unconditionally correct); the override demonstration
+     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) "26 Dec (Sat): the BVM Saturday office overrides the season colour (white, RG 120(b))"
-    "white" (colour_of (d 2026 12 26));
-  Alcotest.(check bool) "26 Dec (Sat): subject Bvm" true (subject_of (d 2026 12 26) = Sub.Bvm);
   Alcotest.(check string) "28 Dec (Mon)" "ef-christmas-0-monday" (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. *)
+  Alcotest.(check string) "3 Jan (Sat): slug stays the ordinary \"-1-\" naming" "ef-christmas-1-saturday"
+    (slug_of (d 2026 1 3));
+  Alcotest.(check string) "3 Jan (Sat): the BVM Saturday office overrides the season colour (white, RG 120(b))"
+    "white" (colour_of (d 2026 1 3));
+  Alcotest.(check bool) "3 Jan (Sat): subject Bvm" true (subject_of (d 2026 1 3) = Sub.Bvm);
   Alcotest.(check string) "2 Jan (Fri)" "ef-christmas-1-friday" (slug_of (d 2026 1 2));
   Alcotest.(check string) "5 Jan (Mon)" "ef-christmas-1-monday" (slug_of (d 2026 1 5));
   (* 7-10 Jan precede the actual origin Sunday (11 Jan): colitur-only, not
-     lectio's "week 1" key, precisely to avoid colliding with 12-13 Jan below. *)
+     lectio's "week 1" key, precisely to avoid colliding with 12-13 Jan below.
+     10 January is ALSO genuinely reachable (no sanctoral entry that date). *)
   Alcotest.(check string) "7 Jan (Wed, before the origin)" "ef-christmas-2-wednesday" (slug_of (d 2026 1 7));
   Alcotest.(check string) "10 Jan (Sat, before the origin)" "ef-christmas-2-saturday" (slug_of (d 2026 1 10));
   Alcotest.(check bool) "10 Jan (Sat): subject Bvm" true (subject_of (d 2026 1 10) = Sub.Bvm);