From 59e78716e5d7b13fd33f9c0245883c83712340e6 Mon Sep 17 00:00:00 2001 From: Lukasz Kasprzak Date: Mon, 17 Aug 2026 22:30:58 +0200 Subject: docs(ef): M13 adjudicated colitur; Mass I is unreachable, not unwitnessed Two open questions closed, both by looking rather than reasoning. M13 listed three possibilities for 19 March 2027 and stayed open because none was confirmed. The live one was (b): a rubric at St Joseph's own Proprium Sanctorum entry overriding the general table, "the same shape as the Annunciation's own Attamen clause", its text simply not yet found. It was looked for directly. Joseph's entry runs from its heading straight into the Introit with no rubric of any kind -- and the analogue does not exist where the note placed it either: the Annunciation's entry does the same. That exception lives in RG 96, a general rubric about transferring an impeded I-class feast, not in its propers, so there is no precedent for a propers-level override at all. With (b) eliminated and (c) still unsupported, (a) stands: RG 91 ranks a I-class feast above a III-class Passiontide feria, Joseph is not impeded so RG 96 never engages, and colitur observes him. Recorded with its limit, because this is elimination and not proof: the specific hypothesis named is false, which is weaker than showing no rubric anywhere says otherwise. Separately, the note that Mass I of the BVM Saturday needed an Advent-Saturday oracle year to corroborate it is answered: there is no such year and cannot be. Advent has no IV-class ferias -- Class2 from 17 December, Class3 before -- and RG 78 requires a IV-class feria. Zero IV-class Advent Saturdays across 2000-2100. Its single witness is not a gap in the research but the only evidence obtainable. The branch is kept: the Missal does print the Mass for Advent, RG 309's subject being Masses that may be celebrated as votive, and an overlay producing such a day would otherwise fall through silently. Register: sections 6.13 addendum and 6.14. --- lib/rites/rite_ef/lectionary_ef.ml | 21 ++++++++++++++++++++- 1 file changed, 20 insertions(+), 1 deletion(-) (limited to 'lib/rites') diff --git a/lib/rites/rite_ef/lectionary_ef.ml b/lib/rites/rite_ef/lectionary_ef.ml index 216c2c4..d7b2497 100644 --- a/lib/rites/rite_ef/lectionary_ef.ml +++ b/lib/rites/rite_ef/lectionary_ef.ml @@ -196,7 +196,26 @@ let bvm_saturday_citations season ~month ~day = in match (season : Vocab_ef.season) with (* I -- Tempore Adventus. Isai. 7, 10-15 (scan1.txt:43008-43009) / - Luc. 1, 26-38 (scan1.txt:42998-42999). *) + Luc. 1, 26-38 (scan1.txt:42998-42999). + + STRUCTURALLY UNREACHABLE as the Saturday office, measured not assumed: + zero IV-class Advent Saturdays across 2000-2100, because Advent has no + IV-class ferias at all. [ferial_rank] gives Class2 from 17 December + (RG 91 entry 18) and Class3 before it (entry 25), and RG 78's own + protasis is "Officium de feria IV CLASSIS". So this branch can never + fire on the universal calendar. + + It is kept, and deliberately: the Missal does print this Mass under + "Tempore Adventus", because RG 309's own subject is Masses that "de + beata Maria Virgine celebrari POSSUNT, TAMQUAM VOTIVAE" -- a votive Mass + in Advent is a real thing, even though the Saturday OFFICE never falls + there. Removing the branch would make the season mapping incomplete + against its own source, and a diocesan overlay that ever produced a + IV-class Advent Saturday would then silently fall through. + + This is also why Mass I has ONE witness where II-V have two: no oracle + year can corroborate it, not because none was looked for, but because no + such day exists to query. *) | Vocab_ef.Advent -> cite "Isa 7:10-15" "Luke 1:26-38" (* II -- A Nativitate Domini usque ad Purificationem. Tit. 3, 4-7 (scan1.txt:43056-43057) / Luc. 2, 15-20 (scan1.txt:43096-43097). *) -- cgit v1.3