1 files changed, 42 insertions, 25 deletions
diff --git a/test/test_precedence_ef.ml b/test/test_precedence_ef.ml
index 98ae0c8..4ee2fd8 100644
--- a/test/test_precedence_ef.ml
+++ b/test/test_precedence_ef.ml
@@ -715,31 +715,48 @@ let disposition_cases =
         "ef-synthetic-class3-lord-feast",
       an_ordinary_sunday,
       "Commemorate(Privileged)" );
-    (* RG 112(a) (docs/research/rules-register.md §4/§6.0, primary text,
-       verified against BOTH photographic scans): "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.
-       Real witness, the ONE date these two candidates can ever coincide:
-       Holy Family (RG 17(b)) as winner, the Commemoration of the Baptism
-       of the Lord (13 January, data/ef/sanctoral.sexp: Class2, subject
-       Lord, status Feast) as loser, on the seven years 13 January is
-       itself Holy Family's own date (2008, 2013, 2019, 2030, 2036, 2041,
-       2047). Directly confirmed by the Missal's own MORE SPECIFIC rubric,
-       found in the Holy Family Mass propers themselves (both photographic
-       scans, word for word): "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, and without
-       commemoration of the Sunday (RG 17(b)'s own general rule, restated).
-       The electronic transcription (1962-06-23,_SS_Ioannes_XXIII,_Missale
-       _Romanum,_LT.pdf) carries NEITHER sentence at all -- exactly the
-       transcription's own documented defect (this project's methodology
-       note), not merely absent from this one check. *)
+    (* PRIMARY authority -- CORRECTED, fix round 1 (coordinator finding 7):
+       RG 95's own second paragraph, present in ALL THREE documents
+       including the electronic transcription: "Si vero duo festa eiusdem
+       Divinae Personae... simul occurrunt, fit de festo, quod in tabella
+       praecedentiae superiorem obtinet locum et aliud omittitur" -- if two
+       feasts of the SAME DIVINE PERSON occur together, the one higher in
+       the table is kept, the OTHER OMITTED -- an occurrence-level rule
+       closer to this exact collision than RG 112(a) below.
+       CORROBORATION, RG 112(a) (docs/research/rules-register.md §4/§6.0,
+       primary text, verified against all three documents): "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. Real witness, the ONE date these two
+       candidates can ever coincide: Holy Family (RG 17(b)) as winner, the
+       Commemoration of the Baptism of the Lord (13 January, data/ef/
+       sanctoral.sexp: Class2, subject Lord, status Feast) as loser, on the
+       seven years 13 January is itself Holy Family's own date (2008, 2013,
+       2019, 2030, 2036, 2041, 2047).
+       CORROBORATION 2, the Holy Family Mass propers' own more specific
+       rubric, both photographic scans, word for word (real, and settles 13
+       January on its own regardless of RG 95/112(a)): "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, and without commemoration of the
+       Sunday (RG 17(b)'s own general rule, restated).
+       CORRECTED, fix round 1 (coordinator finding 2): a previous version of
+       this comment claimed the electronic transcription's absence of this
+       specific rubric was "exactly the transcription's own documented
+       defect" -- WRONG, struck. That transcription (a 2006 web capture)
+       carries almost no Mass-propers text of any kind (5 Introit
+       occurrences in 26,322 lines against 61/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, not
+       a silent drop from content it otherwise has. RG 112 itself, unlike
+       this rubric, IS present in full in the transcription (all four
+       sub-clauses, verbatim) -- checked directly, not assumed. *)
     ( "RG112(a): a feast/mystery of the Lord excludes a commemoration of \
        ANOTHER feast/mystery of the Lord -- Omit, not Commemorate (Holy \
        Family vs the Baptism of the Lord, 13 January)",