docs(ef): retract the false LMS Ordo witness claim for Mass_formulary.Votive

Fix round 1's own comment claimed the Latin Mass Society Ordo witnesses the
Votive tag directly, reading its "V Mass of BVM" as an abbreviation for
"votive". That was wrong: the Ordo's I-V are roman numerals naming WHICH
of the Missal's five seasonal "Missae de sancta Maria in sabbato" (RG
309(a)'s own "iuxta temporum diversitatem") is said on a given Saturday,
not a marker of the Mass's kind. All five numerals occur through the Ordo
(I x1, II x4, III x3, IV x3, V x8); the false reading came from "V Mass of
BVM" also being a substring of "IV Mass of BVM".

Votive itself is unaffected and stays correct on RG 431(e) alone, quoted
verbatim in its place: "e) in Missis votivis IV classis de Angelis,
quocumque die, et de B. Maria Virg. quae in sabbato celebrantur" -- votive
Masses of the IV class, of the BVM, celebrated on Saturday. The retraction
is recorded, not softened, in lectionary_ef.ml/.mli and the test pin's own
comment, together with what the Ordo's numeral actually means so the
mistake is not repeated, and the consequence it leaves behind: because the
numeral names WHICH seasonal Mass is said, a future comparison against the
Ordo (Task 6) can validate bvm_saturday_citations' own season-keyed
selection, not merely that some BVM Mass was chosen.

Comments and docs only -- no behaviour change. Both suites re-run green and
colitur day re-confirmed byte-identical.

1 files changed, 34 insertions, 11 deletions

diff --git a/lib/rites/rite_ef/lectionary_ef.ml b/lib/rites/rite_ef/lectionary_ef.ml
index 13ff5d5..1fba3de 100644
--- a/lib/rites/rite_ef/lectionary_ef.ml
+++ b/lib/rites/rite_ef/lectionary_ef.ml
@@ -371,18 +371,41 @@ let readings ~lectionary ~commons ~observed ~temporal ~date ~temporal_at =
              round 1, coordinator review -- the first pass tagged this
              [Own_slug] for lack of a better constructor and flagged it as a
              judgement call; [Mass_formulary.source] has grown a [Votive]
-             case since, precisely for this branch). RG 309(a) (this
-             branch's own header comment above) and RG 431(e) ("in Missis
-             votivis IV classis ... de B. Maria Virg. quae in sabbato
-             celebrantur", temporal_ef.ml's own colour-chain comment quotes
-             it in full) both classify this Mass itself, in the Missal's own
-             words, as a "Missa votiva" -- a votive Mass said IN PLACE of the
+             case since, precisely for this branch). RG 431(e)
+             (docs/research/LT.txt, verbatim): "e) in Missis votivis IV
+             classis de Angelis, quocumque die, et de B. Maria Virg. quae in
+             sabbato celebrantur" -- votive Masses of the IV class, of the
+             Angels on any day, and of the BVM WHICH ARE CELEBRATED ON
+             SATURDAY: the Missal's own words classify this exact Mass as a
+             "Missa votiva", not as the day's own office's Mass, corroborated
+             by RG 309(a) (this branch's own header comment above, "iuxta
+             temporum diversitatem") naming the FIVE seasonal Masses RG 431(e)
+             is speaking of. Together: a votive Mass said IN PLACE of the
              day's own office's Mass, the office (RG 78, Officium sanctae
-             Mariae in sabbato) being kept unchanged. WITNESSED, not merely
-             argued: the Latin Mass Society Ordo (docs/research/ordo/lms-
-             ordo-2024-2025.pdf) prints this exact day as "OUR LADY on
-             SATURDAY IV Cl W / V Mass of BVM" -- "V" is that Ordo's own
-             abbreviation for Votive.
+             Mariae in sabbato) being kept unchanged.
+
+             CORRECTED, fix round 2 (coordinator review): fix round 1's own
+             comment here claimed the Latin Mass Society Ordo witnesses
+             [Votive] directly, printing "V Mass of BVM" with "V" read as an
+             abbreviation for "votive". That was the coordinator's
+             misreading, not this codebase's, and it was wrong: the Ordo's
+             "I"-"V" are ROMAN NUMERALS naming WHICH of the Missal's five
+             seasonal "Missae de sancta Maria in sabbato" (this branch's own
+             header comment; RG 309(a)'s "iuxta temporum diversitatem") is
+             said on a given Saturday -- not an abbreviation of anything, and
+             not a marker of the Mass's class or kind. All five numerals
+             occur through the Ordo (I x1, II x4, III x3, IV x3, V x8,
+             counted across the whole document); "V Mass of BVM" merely also
+             happens to be substring-matched by a naive search for "V Mass of
+             BVM" inside "IV Mass of BVM", which is what produced the
+             original false reading. [Votive] itself is UNAFFECTED by this
+             correction and stays right, on RG 431(e) alone -- only the
+             Ordo-witness claim is retracted, not softened, removed. A
+             genuinely useful consequence survives the mistake: because the
+             Ordo's own numeral names WHICH seasonal Mass is said, a future
+             comparison against it (Task 6 of this plan) can validate
+             [bvm_saturday_citations]'s own season-keyed SELECTION, not
+             merely that some BVM Mass was chosen.
 
              [said] is UNCHANGED by this correction and stays the day's own
              temporal slug: [is_bvm_saturday_office] only ever fires when