precedence(ef): fix round 1 (F2, F7) -- correct a false transcription claim, cite RG95's real primary authority

F2: the disposition comment for RG112(a) claimed the electronic
transcription "carries NEITHER this paragraph's own worked example
NOR its own more specific Mass-proper rubric... exactly the
transcription's documented defect" -- wrong on both counts, checked
directly rather than taken on trust.

RG 112 has no worked example in any of the three source documents
(the transcription included) -- there was nothing to drop. The Holy
Family Mass propers' own 13-January rubric is absent from the
transcription not because it silently drops content it otherwise
has (the project's own documented defect, dropped calendarium
commemoration lines) but because that specific document (a 2006 web
capture) contains almost no Mass-propers text of any day: 5
Introit-line occurrences across 26,322 lines, against 61 and 402 in
the two photographic scans; its own "Proprium de Tempore" page is a
table of contents linking to PDFs the capture never pulled in. A
coverage gap in a partial web capture, not an instance of the
narrower, different defect the methodology note actually describes.
The ruling is unaffected -- the propers' quotation is real, on two
independent photographic scans, and settles 13 January on its own --
only the attribution is struck, here and in test_precedence_ef.ml
(the register and the task report are corrected separately).

F7: RG 95's own second paragraph -- present in all three documents,
including the transcription -- is a more direct, occurrence-level
authority for the exact collision than RG 112(a): "if two feasts of
the same Divine Person... occur together, the one higher in the
table is kept, the other omitted." Added as the primary citation on
disposition's RG112(a) branch, with RG 112(a) and the propers' note
kept as corroboration. Also corrects RG 112(b)'s own framing: it is
bidirectional ("et vicissim"), and only the Lord-feast-wins direction
(RG 16(a)) is implemented -- the Sunday-wins direction has no witness
anywhere in this codebase's data and was wrongly described as already
covered.

2 files changed, 69 insertions, 34 deletions

diff --git a/lib/rites/rite_ef/precedence_ef.ml b/lib/rites/rite_ef/precedence_ef.ml
index 39251a7..635a69f 100644
--- a/lib/rites/rite_ef/precedence_ef.ml
+++ b/lib/rites/rite_ef/precedence_ef.ml
@@ -822,20 +822,49 @@ let disposition ~(winner : Vocab_ef.rank Precedence.candidate)
     Precedence.Omit
   else if winner.Precedence.cel.Celebration.subject = Subject.Lord && cel.Celebration.subject = Subject.Lord
   then
-    (* RG 112(a) (docs/research/rules-register.md §4/§6.0, primary text,
-       verified against BOTH photographic scans -- missale-romanum-1962.pdf
-       and "Missale Romanum 1962_text.pdf" -- the electronic transcription,
-       1962-06-23,_SS_Ioannes_XXIII,_Missale_Romanum,_LT.pdf, carries
-       NEITHER this paragraph's own worked example NOR its own more
-       specific Mass-proper rubric below, exactly the transcription's
-       documented defect, this project's own methodology note): "112. Ad
-       commemorationes et orationes quod attinet, haec insuper serventur:
-       a) Officium, Missa aut commemoratio de aliquo festo vel mysterio
-       UNIUS DIVINAE PERSONAE excludit commemorationem aut orationem de
-       alio festo vel mysterio EIUSDEM DIVINAE PERSONAE" -- the Office,
-       Mass, or commemoration of some feast or MYSTERY of ONE Divine Person
-       excludes a commemoration or oration of ANOTHER feast or mystery of
-       the SAME Divine Person.
+    (* PRIMARY AUTHORITY -- CORRECTED, fix round 1 (coordinator finding 7):
+       RG 95's own SECOND paragraph (Caput XIII, "De dierum liturgicorum
+       occurrentia accidentali", immediately after the "only I-class feasts
+       translate" sentence {!disposition}'s own Transfer branch above
+       already cites), present verbatim in ALL THREE documents including
+       the electronic transcription -- an OCCURRENCE-level rule, closer to
+       this exact question than RG 112(a) below: "Si vero duo festa eiusdem
+       Divinae Personae aut duo festa eiusdem Sancti vel Beati simul
+       occurrunt, fit de festo, quod in tabella praecedentiae superiorem
+       obtinet locum et aliud omittitur" -- but if two feasts of the SAME
+       DIVINE PERSON, or two feasts of the same Saint or Blessed, occur
+       TOGETHER, [the Office] is made of the feast which holds the HIGHER
+       PLACE in the table of precedence, and the OTHER IS OMITTED. This is
+       the direct authority: two feasts of the same Divine Person
+       (RG 112(a)'s own vocabulary) occurring together, the higher-table one
+       kept, the other omitted -- exactly {!band}'s own
+       [entry_14_movable_band]/[entry_14_fixed_band] ordering plus this
+       branch's own [Omit], not [Commemorate].
+
+       CORROBORATION 1, RG 112(a) (docs/research/rules-register.md §4/§6.0,
+       primary text, verified against all three documents -- CORRECTED, fix
+       round 1 (coordinator finding 2): a previous version of this comment
+       claimed the electronic transcription drops this paragraph's own
+       worked example and the Mass-proper rubric below, "the transcription's
+       documented defect" -- WRONG on both counts, struck. RG 112 has NO
+       worked example in any of the three documents; there was nothing to
+       drop. The Mass-proper rubric's absence from the transcription is not
+       an instance of that document's documented defect either (dropped
+       CALENDARIUM commemoration lines) -- checked directly: that specific
+       transcription (1962-06-23,_SS_Ioannes_XXIII,_Missale_Romanum,
+       _LT.pdf, a 2006 web capture) contains almost no Mass-propers text of
+       any kind (5 "Introitus"/"Antiphona ad Introitum" occurrences in
+       26,322 lines, against 61 and 402 in the two photographic scans); its
+       own "Proprium de Tempore" page is a TABLE OF CONTENTS linking to
+       separate PDF files the capture never pulled in. A coverage gap in a
+       partial web capture, not a silent drop from content it otherwise
+       has): "112. Ad commemorationes et orationes quod attinet, haec
+       insuper serventur: a) Officium, Missa aut commemoratio de aliquo
+       festo vel mysterio UNIUS DIVINAE PERSONAE excludit commemorationem
+       aut orationem de alio festo vel mysterio EIUSDEM DIVINAE PERSONAE" --
+       the Office, Mass, or commemoration of some feast or MYSTERY of ONE
+       Divine Person excludes a commemoration or oration of ANOTHER feast
+       or mystery of the SAME Divine Person.
 
        {!Subject.t} has no finer split within [Lord] than "a mystery
        touching the Divine Person of the Son" -- every real [subject =
@@ -849,19 +878,20 @@ let disposition ~(winner : Vocab_ef.rank Precedence.candidate)
        by Person would need a finer [Subject.t] first, not a special case
        added here.
 
-       The one live witness -- confirmed DIRECTLY, not only by this general
-       paragraph: the Holy Family Mass propers' own note, immediately
-       following the Postcommunion, word for word on BOTH photographic
-       scans: "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" -- if the feast of the
-       Holy Family occurs on 13 January, the Mass is said of the Holy
-       Family, WITHOUT commemoration of the Baptism of Our Lord Jesus
-       Christ, and without commemoration of the Sunday (RG 17(b)'s own
-       general rule, restated for this specific date). Independently
-       confirmed against missalemeum (register §6.0): title "The Holy
-       Family: Jesus, Mary & Joseph", commemorations [], the Baptism
-       listed only under "displaced", never commemorated.
+       CORROBORATION 2 -- the Holy Family Mass propers' own note,
+       immediately following the Postcommunion, word for word on BOTH
+       photographic scans (real, and settles 13 January on its own even
+       apart from RG 95/112(a) -- the quotation itself is not in dispute,
+       only its earlier mis-attribution above): "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" -- if the feast of the Holy Family occurs on 13 January,
+       the Mass is said of the Holy Family, WITHOUT commemoration of the
+       Baptism of Our Lord Jesus Christ, and without commemoration of the
+       Sunday (RG 17(b)'s own general rule, restated for this specific
+       date). Independently confirmed against missalemeum (register §6.0):
+       title "The Holy Family: Jesus, Mary & Joseph", commemorations [],
+       the Baptism listed only under "displaced", never commemorated.
 
        Checked after RG 16(a) above (so a genuine RG 16(a) Sunday-
        suppression is never re-explained under this citation instead) and
@@ -869,7 +899,7 @@ let disposition ~(winner : Vocab_ef.rank Precedence.candidate)
        without it a [Feast]-status loser of this shape would otherwise
        reach RG 95's ordinary "commemorated or omitted" branch and be
        admitted as an ordinary Class2 commemoration under RG 111(b) --
-       confirmed wrong against both primary sources above. *)
+       confirmed wrong against all three primary sources above. *)
     Precedence.Omit
   else
     (* RG 95's other branch: "aut commemorantur aut penitus omittuntur" --
diff --git a/lib/rites/rite_ef/precedence_ef.mli b/lib/rites/rite_ef/precedence_ef.mli
index 239a254..7d0bc98 100644
--- a/lib/rites/rite_ef/precedence_ef.mli
+++ b/lib/rites/rite_ef/precedence_ef.mli
@@ -159,13 +159,18 @@ val sunday_marker : string
       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
+      [Lord] is [Omit] (PRIMARY authority: RG 95's own second paragraph,
+      present in all three source documents including the electronic
+      transcription -- "if two feasts of the SAME DIVINE PERSON... occur
+      together, [the Office] is made of the one higher in the table of
+      precedence, and the OTHER IS OMITTED"; corroborated by RG 112(a) --
+      a feast or mystery of one Divine Person excludes a commemoration of
+      another feast or mystery of the SAME Divine Person -- and by the Holy
+      Family Mass propers' own more specific 13-January rubric on both
+      photographic scans; 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);
+      for the full primary text of all three);
     - 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)