docs(ef): fix round 1 corrections (F2-F5) -- inert fields, a date, an attribution, RG434(b)

F2: the task report's "colour/subject/names on the Litanies entry are
currently inert" was false for names -- test_oracle.ml's identity axis
reads Names.find on every commemoration, and the invented English name is
exactly why 2026-04-25 registers as a Comm_identity_mismatch, the reason
M5 had to be re-gated. Corrected precisely, field by field, in the report.

F3: Easter 2027 is 28 March, not 18 April, as previously stated in the
report's own "layer 4 is blind to the transfer" reasoning. The conclusion
survives (28 March is not 25 April); the date is corrected.

F4: "the exhaustive property sweep caught this immediately" was a wrong
attribution, in the report, the register, and calendar.ml's own comment.
The committed exhaustive sweep walks 1583-9998 in order and aborts at the
first failure; the years actually reported (5700, 4747) were draws from
prop_invariants, the default dune test run's 200-year random sample.
Corrected in all three places.

F5: the Litanies' privileged commemoration is due in the MASS specifically
(RG 108 + RG 81), never a separate Office answer -- colitur emits one
resolved day, and the M20 adjudication rests on that being the Mass
reading. Stated explicitly now in M20's own note, the register, and
precedence_ef.ml's own RG111(b) comment.

Also added to M20 and the register: Rubricae Generales Missalis Romani
n. 434(b) ("VIII - De diversis Missae partibus", "D) De orationibus", "I
- De orationibus in genere"), verified word for word against all three
documents -- word-identical to RG 111(b) but explicitly scoped to the
Mass ("post orationem Missae"), answering the objection that RG 111
(Caput XVI, which RG 106 says governs both Office and Mass) might be read
as Office-shaped. Moves the M20 adjudication from "moderate-high, not
certain" to near-certain.

1 files changed, 29 insertions, 1 deletions

diff --git a/lib/rites/rite_ef/precedence_ef.ml b/lib/rites/rite_ef/precedence_ef.ml
index e8c05cd..b3c9ab5 100644
--- a/lib/rites/rite_ef/precedence_ef.ml
+++ b/lib/rites/rite_ef/precedence_ef.ml
@@ -1615,7 +1615,35 @@ let admit ~(observed : Vocab_ef.rank Precedence.candidate)
          2026 (Holy Family, a II-class Sunday) has St Hyginus (Class3,
          commemoration-only) as its only competing candidate -- missalemeum
          shows him "displaced" (omitted), never commemorated; the
-         pre-fix code admitted him regardless. *)
+         pre-fix code admitted him regardless.
+
+         CORROBORATED (ef-major-litanies task, fix round 1, F5): RG 111
+         sits in Caput XVI, "De Commemorationibus", governing "tam pro
+         Missa quam pro Officio" per RG 106 -- read alone it could be
+         mistaken for Office-shaped, incidentally reused for the Mass.
+         Rubricae Generales Missalis Romani n. 434(b) (Part "VIII - De
+         diversis Missae partibus", "D) De orationibus", "I - De
+         orationibus in genere"), verified word for word, all three
+         documents: "in dominicis II classis, nulla alia admittitur
+         oratio, praeter commemorationem festi II classis, quae tamen
+         omittitur si commemoratio privilegiata facienda sit" --
+         WORD-IDENTICAL to the clause above, but explicitly scoped "post
+         orationem Missae" -- an independent, Mass-structure-rubric
+         confirmation of the exact same privilege-overrides-ordinary rule
+         this branch already implements, from a different part of the
+         same document. First load-bearing live witness for this branch's
+         "privileged wins even against a WORSE table position" half: the
+         Major Litanies (RG 109(f), major_litanies_slug above), whose own
+         [band] value is {!unclassified} (worse than every real table
+         entry, per that constant's own comment) yet still displaces St
+         Mark's real entry-16 table position on the four Sunday-conflict
+         years the Litanies' own data/ef/expected-divergences-missalemeum
+         .sexp M20 entry adjudicates -- every earlier witness for this
+         branch (Holy Family/Hyginus above; the RG16(a) admit_cases table)
+         happened to also be the day's own privileged Sunday/feast winning
+         OUTRIGHT (band already decided it before admit ran), not two
+         independently-offered LOSING candidates settled by this clause
+         alone. *)
       (match List.filter is_privileged sorted with
        | best :: _ -> [ drop_band best ]
        | [] -> (