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.

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)",