diff options
| -rw-r--r-- | lib/rites/rite_ef/precedence_ef.ml | 86 | ||||
| -rw-r--r-- | lib/rites/rite_ef/precedence_ef.mli | 17 | ||||
| -rw-r--r-- | test/test_precedence_ef.ml | 67 |
3 files changed, 111 insertions, 59 deletions
diff --git a/lib/rites/rite_ef/precedence_ef.ml b/lib/rites/rite_ef/precedence_ef.ml index 39251a7..635a69f 100644 --- a/lib/rites/rite_ef/precedence_ef.ml +++ b/lib/rites/rite_ef/precedence_ef.ml @@ -822,20 +822,49 @@ let disposition ~(winner : Vocab_ef.rank Precedence.candidate) Precedence.Omit else if winner.Precedence.cel.Celebration.subject = Subject.Lord && cel.Celebration.subject = Subject.Lord then - (* RG 112(a) (docs/research/rules-register.md §4/§6.0, primary text, - verified against BOTH photographic scans -- missale-romanum-1962.pdf - and "Missale Romanum 1962_text.pdf" -- the electronic transcription, - 1962-06-23,_SS_Ioannes_XXIII,_Missale_Romanum,_LT.pdf, carries - NEITHER this paragraph's own worked example NOR its own more - specific Mass-proper rubric below, exactly the transcription's - documented defect, this project's own methodology note): "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. + (* PRIMARY AUTHORITY -- CORRECTED, fix round 1 (coordinator finding 7): + RG 95's own SECOND paragraph (Caput XIII, "De dierum liturgicorum + occurrentia accidentali", immediately after the "only I-class feasts + translate" sentence {!disposition}'s own Transfer branch above + already cites), present verbatim in ALL THREE documents including + the electronic transcription -- an OCCURRENCE-level rule, closer to + this exact question than RG 112(a) below: "Si vero duo festa eiusdem + Divinae Personae aut duo festa eiusdem Sancti vel Beati simul + occurrunt, fit de festo, quod in tabella praecedentiae superiorem + obtinet locum et aliud omittitur" -- but if two feasts of the SAME + DIVINE PERSON, or two feasts of the same Saint or Blessed, occur + TOGETHER, [the Office] is made of the feast which holds the HIGHER + PLACE in the table of precedence, and the OTHER IS OMITTED. This is + the direct authority: two feasts of the same Divine Person + (RG 112(a)'s own vocabulary) occurring together, the higher-table one + kept, the other omitted -- exactly {!band}'s own + [entry_14_movable_band]/[entry_14_fixed_band] ordering plus this + branch's own [Omit], not [Commemorate]. + + CORROBORATION 1, RG 112(a) (docs/research/rules-register.md §4/§6.0, + primary text, verified against all three documents -- CORRECTED, fix + round 1 (coordinator finding 2): a previous version of this comment + claimed the electronic transcription drops this paragraph's own + worked example and the Mass-proper rubric below, "the transcription's + documented defect" -- WRONG on both counts, struck. RG 112 has NO + worked example in any of the three documents; there was nothing to + drop. The Mass-proper rubric's absence from the transcription is not + an instance of that document's documented defect either (dropped + CALENDARIUM commemoration lines) -- checked directly: that specific + transcription (1962-06-23,_SS_Ioannes_XXIII,_Missale_Romanum, + _LT.pdf, a 2006 web capture) contains almost no Mass-propers text of + any kind (5 "Introitus"/"Antiphona ad Introitum" occurrences in + 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 + separate PDF files the capture never pulled in. A coverage gap in a + partial web capture, not a silent drop from content it otherwise + has): "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. {!Subject.t} has no finer split within [Lord] than "a mystery touching the Divine Person of the Son" -- every real [subject = @@ -849,19 +878,20 @@ let disposition ~(winner : Vocab_ef.rank Precedence.candidate) by Person would need a finer [Subject.t] first, not a special case added here. - The one live witness -- confirmed DIRECTLY, not only by this general - paragraph: the Holy Family Mass propers' own note, immediately - following the Postcommunion, word for word on BOTH photographic - scans: "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 of Our Lord Jesus - Christ, and without commemoration of the Sunday (RG 17(b)'s own - general rule, restated for this specific date). Independently - confirmed against missalemeum (register §6.0): title "The Holy - Family: Jesus, Mary & Joseph", commemorations [], the Baptism - listed only under "displaced", never commemorated. + CORROBORATION 2 -- the Holy Family Mass propers' own note, + immediately following the Postcommunion, word for word on BOTH + photographic scans (real, and settles 13 January on its own even + apart from RG 95/112(a) -- the quotation itself is not in dispute, + only its earlier mis-attribution above): "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 of Our Lord Jesus Christ, and without commemoration of the + Sunday (RG 17(b)'s own general rule, restated for this specific + date). Independently confirmed against missalemeum (register §6.0): + title "The Holy Family: Jesus, Mary & Joseph", commemorations [], + the Baptism listed only under "displaced", never commemorated. Checked after RG 16(a) above (so a genuine RG 16(a) Sunday- suppression is never re-explained under this citation instead) and @@ -869,7 +899,7 @@ let disposition ~(winner : Vocab_ef.rank Precedence.candidate) without it a [Feast]-status loser of this shape would otherwise reach RG 95's ordinary "commemorated or omitted" branch and be admitted as an ordinary Class2 commemoration under RG 111(b) -- - confirmed wrong against both primary sources above. *) + confirmed wrong against all three primary sources above. *) Precedence.Omit else (* RG 95's other branch: "aut commemorantur aut penitus omittuntur" -- diff --git a/lib/rites/rite_ef/precedence_ef.mli b/lib/rites/rite_ef/precedence_ef.mli index 239a254..7d0bc98 100644 --- a/lib/rites/rite_ef/precedence_ef.mli +++ b/lib/rites/rite_ef/precedence_ef.mli @@ -159,13 +159,18 @@ val sunday_marker : string commemoration of a losing SAINT freely, with no such class-keyed gate); - a loser whose [subject] is [Lord] AND whose WINNER's [subject] is also - [Lord] is [Omit] (RG 112(a) -- a feast or mystery of one Divine Person - excludes a commemoration of another feast or mystery of the SAME - Divine Person; live witness: Holy Family, RG 17(b), excluding the - fixed Commemoration of the Baptism of the Lord on the years 13 + [Lord] is [Omit] (PRIMARY authority: RG 95's own second paragraph, + present in all three source documents including the electronic + transcription -- "if two feasts of the SAME DIVINE PERSON... occur + together, [the Office] is made of the one higher in the table of + precedence, and the OTHER IS OMITTED"; corroborated by RG 112(a) -- + a feast or mystery of one Divine Person excludes a commemoration of + another feast or mystery of the SAME Divine Person -- and by the Holy + Family Mass propers' own more specific 13-January rubric on both + photographic scans; live witness: Holy Family, RG 17(b), excluding + the fixed Commemoration of the Baptism of the Lord on the years 13 January is itself Holy Family's own date -- see the .ml's own comment - for the primary text, including the Holy Family Mass propers' own - more specific 13-January rubric, on both photographic scans); + for the full primary text of all three); - everything else -- including an impeded I-class Sunday, and a SANCTORAL loser of any rank below I class -- is [Commemorate], carrying its real RG 109 privilege (see {!admit} below); RG 109(a) 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)", |