diff options
Diffstat (limited to 'lib/rites/rite_ef/temporal_ef.ml')
| -rw-r--r-- | lib/rites/rite_ef/temporal_ef.ml | 54 |
1 files changed, 47 insertions, 7 deletions
diff --git a/lib/rites/rite_ef/temporal_ef.ml b/lib/rites/rite_ef/temporal_ef.ml index dacae9c..fa78cbe 100644 --- a/lib/rites/rite_ef/temporal_ef.ml +++ b/lib/rites/rite_ef/temporal_ef.ml @@ -276,9 +276,35 @@ let named d = citations bootstrap, Plan 4, not the sanctoral one, Plan 3, which already shipped in this branch). *) Some (Advent, "ef-nativity-vigil", Colour.Violet, Class1) - else if m = 12 && (dd = 29 || dd = 30 || dd = 31) then - (* Days within the Octave of the Nativity; 26-28 Dec are Stephen, John and - the Innocents, hence sanctoral (Plan 3). Colitur slugs -- lectionary gap. *) + else if m = 12 && dd >= 26 && dd <= 31 && Date.weekday d <> Date.Sun then + (* Days within the Octave of the Nativity, RG 67: "Dies infra octavam sunt + II classis". The octave runs 25 December to 1 January, so 26-31 are its + days 2-7. + + CORRECTED 2026-08-18: this covered 29-31 ONLY, on the reasoning that + "26-28 Dec are Stephen, John and the Innocents, hence sanctoral". Their + OFFICE is sanctoral -- those three II-class feasts win the day -- but + they remain DAYS WITHIN THE OCTAVE, and the calendarium directs a + commemoration of the octave under each, verbatim (LT.txt:5454-5459): + + 26 S. STEPHANI PROTOMARTYRIS, II classis. Com. octavae Nativitatis. + 27 S. IOANNIS AP. ET EV., II classis. Com. octavae Nativitatis. + 28 Ss. INNOCENTIUM Mm., II classis. Com. octavae Nativitatis. + + Leaving 26-28 as generic Class4 ferias meant there was no octave-day + candidate for the feast to be commemorated OVER, so colitur emitted no + commemoration at all there -- the gap test_oracle.ml's own M11 records, + and the one entry in that file adjudicated against colitur rather than + the oracle. RG 109(c) makes "de diebus infra octavam Nativitatis + Domini" PRIVILEGED, so once the candidate exists RG 111(c)'s single + slot on a II-class day goes to it. + + The Sunday guard is RG 69, not an implementation detail: "De dominica + infra octavam Nativitatis Domini, quae scilicet a die 26 ad 31 + decembris occurrit, SEMPER fit Officium cum commemoratione festi forte + occurrentis" -- a Sunday falling 26-31 December keeps its OWN office + and commemorates the feast, the reverse of the other days. That Sunday + is built below; overriding it here would invert RG 69. *) Some (Christmastide, Printf.sprintf "ef-nativity-octave-day-%d" (dd - 24), Colour.White, Class2) else if m = 1 && dd = 1 then (* RG 91 entry 5: 1 Jan is the Octave Day of the Nativity, the same table @@ -1070,11 +1096,25 @@ let temporal d = let anchors y = let easter = Computus.gregorian_easter y in let off n = Date.add_days easter n in - [ ("ef-nativity", mk y 12 25); + (* Days within the Octave, 26-31 December, but ONLY those that are not + Sundays. RG 69 gives a Sunday occurring 26-31 December its OWN office + ("semper fit Officium cum commemoratione festi forte occurrentis"), so + in such a year that date carries the Sunday-within-the-octave slug, and + asserting an octave-day anchor there would assert the rubric's own + opposite. This list named 29/30/31 unconditionally until 2026-08-18 -- + wrong whenever one fell on a Sunday, corrected alongside [named]'s own + Sunday guard and confirmed against the oracle, which shows "Sunday in + the Octave of Christmas" on 2035-12-30 where colitur used to show a + feria. 26-28 join for the first time: they are days within the octave + too (RG 67), which is what M11's missing commemoration turned on. *) + List.filter_map + (fun dd -> + let d = mk y 12 dd in + if Date.weekday d = Date.Sun then None + else Some (Printf.sprintf "ef-nativity-octave-day-%d" (dd - 24), d)) + [ 26; 27; 28; 29; 30; 31 ] + @ [ ("ef-nativity", mk y 12 25); ("ef-nativity-vigil", mk y 12 24); - ("ef-nativity-octave-day-5", mk y 12 29); - ("ef-nativity-octave-day-6", mk y 12 30); - ("ef-nativity-octave-day-7", mk y 12 31); ("ef-circumcision", mk y 1 1); ("ef-epiphany", mk y 1 6); ("ef-time-after-epiphany-sunday-1", holy_family_sunday y); |