precedence(ef): RG91 e14 "primum mobilia" + RG112(a) inseparable exclusion

Two related fixes, both needed for Holy Family to actually observe
correctly on the seven years it coincides with the fixed
Commemoration of the Baptism of the Lord (13 January): 2008, 2013,
2019, 2030, 2036, 2041, 2047.

band's entry 14 ("Festa Domini II classis") gated on sanctoral
origin only, so a movable Class2 Lord feast had no row in the table
at all. RG 91 entry 14's own text says otherwise: "primum mobilia,
deinde fixa" -- movable first, then fixed. entry_14_movable_band
gives Holy Family (the one movable candidate this codebase builds
with subject Lord) a value strictly better than the fixed half's own
literal 14, negative so it can never collide with a real table
position -- without it, the two would tie at 14 and fall to
Precedence.resolve's own alphabetical tie-break, which picks the
WRONG side ("commemoration-of-the-baptism-of-the-lord" sorts before
"ef-time-after-epiphany-sunday-1").

disposition gets a new branch for RG 112(a) (Caput XVI, "De
Commemorationibus"): the Office, Mass or commemoration of a mystery
of one Divine Person excludes a commemoration of another mystery of
the SAME Divine Person. Winner and loser both subject Lord -> Omit,
not Commemorate -- without it, Holy Family observing correctly still
left the Baptism admitted as an ordinary Class2 commemoration under
RG111(b), which the primary text does not allow.

Confirmed by a MORE SPECIFIC primary source than RG 112(a) alone: the
Holy Family Mass propers' own note, found on both photographic scans,
word for word, immediately after the Postcommunio -- "Si festum S.
Familiae occurrerit die 13 ianuarii, Missa dicitur de festo S.
Familiae, sine commemoratione Baptismatis D.N.I.C., et sine
commemoratione dominicae." The electronic transcription carries
neither this rubric nor RG 112(a)'s own worked example -- another
instance of its documented defect, not merely absent from one check.

Still expected red: the lectio differential (2005-2050) now shows a
new, real divergence on those seven 13-January-Sunday dates -- lectio
has no Holy Family at all, so it still shows the fixed Baptism
observed there, unlike colitur now. The oracle's own M-series entries
also still need widening for the observed-identity axis added two
commits ago. Both are the next commits.

1 files changed, 17 insertions, 0 deletions

diff --git a/lib/rites/rite_ef/precedence_ef.mli b/lib/rites/rite_ef/precedence_ef.mli
index b283a17..86a0ead 100644
--- a/lib/rites/rite_ef/precedence_ef.mli
+++ b/lib/rites/rite_ef/precedence_ef.mli
@@ -62,6 +62,15 @@ val ember_prefixes : string list
     new rule, not a silently wrong one. *)
 val unclassified : int
 
+(** RG 91 entry 14's own text (§4): "Festa Domini II classis, primum
+    mobilia, deinde fixa" -- feasts of the Lord, II class, MOVABLE first,
+    then fixed. {!band}'s value for the movable half (Holy Family, RG
+    17(b)) -- strictly better than the fixed half's own literal [14],
+    negative so it can never collide with a real table position or
+    {!unclassified}. See precedence_ef.ml's own comment for the full
+    citation and why the two halves must not literally tie. *)
+val entry_14_movable_band : int
+
 (** [band ctx c]: RG 91's Table of Precedence. Returns the table's own entry
     number -- I class 1-13, II class 14-21, III class 22-26, IV class 27-28;
     lower wins (see {!Precedence.rules.band}) -- EXCEPT where the table's own
@@ -134,6 +143,14 @@ val sunday_marker : string
       weekday, never a saint's day, and RG 111(c)/(d) admit an "ordinary"
       commemoration of a losing SAINT freely, with no such class-keyed
       gate);
+    - a loser whose [subject] is [Lord] AND whose WINNER's [subject] is also
+      [Lord] is [Omit] (RG 112(a) -- a feast or mystery of one Divine Person
+      excludes a commemoration of another feast or mystery of the SAME
+      Divine Person; live witness: Holy Family, RG 17(b), excluding the
+      fixed Commemoration of the Baptism of the Lord on the years 13
+      January is itself Holy Family's own date -- see the .ml's own comment
+      for the primary text, including the Holy Family Mass propers' own
+      more specific 13-January rubric, on both photographic scans);
     - everything else -- including an impeded I-class Sunday, and a
       SANCTORAL loser of any rank below I class -- is [Commemorate],
       carrying its real RG 109 privilege (see {!admit} below); RG 109(a)