diff options
| -rw-r--r-- | lib/rites/rite_ef/lectionary_ef.ml | 45 | ||||
| -rw-r--r-- | lib/rites/rite_ef/lectionary_ef.mli | 25 | ||||
| -rw-r--r-- | test/test_lectionary_ef.ml | 14 |
3 files changed, 61 insertions, 23 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 diff --git a/lib/rites/rite_ef/lectionary_ef.mli b/lib/rites/rite_ef/lectionary_ef.mli index 43763ff..0797c0d 100644 --- a/lib/rites/rite_ef/lectionary_ef.mli +++ b/lib/rites/rite_ef/lectionary_ef.mli @@ -111,14 +111,23 @@ val commons_for : commons:Commons.t -> Slug.t -> (Slug.t * Citation.t list) opti 309(a) Saturday votive Mass of Our Lady also answers here (structurally, not as a fifth numbered step), but is tagged {!Colitur_kernel.Mass_formulary.Votive} instead, not [Own_slug]: RG - 309(a)/431(e) classify it, in the Missal's own words, as a "Missa - votiva" said IN PLACE of the day's own office's Mass, the office (RG - 78) itself being kept -- witnessed by the Latin Mass Society Ordo, - which prints this day's Mass as "V" (Votive). [said] is still that - slug: only the source constructor differs from an ordinary Step 2 - lookup, because the guard that reaches this branch only ever fires - when the observed celebration already IS the day's own temporal - office -- see the implementation comment on that branch. + 431(e) ("in Missis votivis IV classis ... de B. Maria Virg. quae in + sabbato celebrantur", docs/research/LT.txt) classifies it, in the + Missal's own words, as a "Missa votiva" said IN PLACE of the day's own + office's Mass, the office (RG 78) itself being kept, corroborated by RG + 309(a)'s own "iuxta temporum diversitatem" naming the five seasonal + Masses RG 431(e) speaks of. (CORRECTED, fix round 2: this previously + also cited the Latin Mass Society Ordo as witnessing the tag directly, + reading its "V Mass of BVM" as an abbreviation for "votive" -- the + coordinator's own misreading. The Ordo's "I"-"V" are ROMAN NUMERALS + naming which of the five seasonal Masses is said, not a marker of the + Mass's kind; see the implementation comment on this branch for the + full account and the validation use this correction still leaves + available for Task 6.) [said] is still that slug: only the source + constructor differs from an ordinary Step 2 lookup, because the guard + that reaches this branch only ever fires when the observed celebration + already IS the day's own temporal office -- see the implementation + comment on that branch. - {b Step 3} -- for a weekday whose own slug has no entry, the preceding Sunday's temporal slug (never its observed one; a Sunday is guarded out because it has no PRECEDING Sunday to resume, not because diff --git a/test/test_lectionary_ef.ml b/test/test_lectionary_ef.ml index 5bdce12..04076c7 100644 --- a/test/test_lectionary_ef.ml +++ b/test/test_lectionary_ef.ml @@ -610,10 +610,16 @@ let formulary_cases = (* Fix round 1 (coordinator review): the RG 309(a)/RG 78 Saturday votive Mass of Our Lady, structurally reached between steps 4 and 2 (see [readings]' own implementation comment) but tagged [Votive], not - [Own_slug] -- the Missal's own RG 309(a)/431(e) classify this Mass as - a "Missa votiva", said in place of the day's own office's Mass while - the office (RG 78) itself is kept; witnessed by the Latin Mass - Society Ordo, which prints this day's Mass as "V" (Votive). 1 August + [Own_slug] -- RG 431(e) ("in Missis votivis IV classis ... de B. + Maria Virg. quae in sabbato celebrantur") classifies this Mass, in + the Missal's own words, as a "Missa votiva", said in place of the + day's own office's Mass while the office (RG 78) itself is kept. + (CORRECTED, fix round 2: this previously also claimed the Latin Mass + Society Ordo witnesses the tag by printing "V" as an abbreviation for + "votive" on this day -- that was the coordinator's own misreading; + the Ordo's "I"-"V" are roman numerals naming which of the Missal's + five SEASONAL Masses is said, not the Mass's kind -- see + [readings]' own implementation comment for the full account.) 1 August 2026 verified directly against the real resolver (`colitur day 2026`), not trusted from a supplied date, given this session's own drifted-pin history: a IV-class Saturday, "Officium sanctae Mariae in |