rite(ef): fix RG 91 citation gaps in named temporal days

Circumcision (1 Jan) is the Octave Day of the Nativity, RG 91 entry 5, the
same table entry as the Nativity vigil -- not covered by the entries-1-3
group it sat under. Passion Sunday, Palm Sunday and Low Sunday are RG 91
entry 6 (I-class Sundays of Passiontide and Low Sunday); Ash Wednesday is
entry 7 (I-class ferias). All five branches now carry their own citation,
and the function-level comment states the full coverage instead of a
narrower one.

Also corrects the Nativity-octave range from RG 64-70 to RG 63-70, matching
the register's own citation for the octave rules.

Comment-only change; behaviour is unaffected.

1 files changed, 17 insertions, 8 deletions

diff --git a/lib/rites/rite_ef/temporal_ef.ml b/lib/rites/rite_ef/temporal_ef.ml
index 9560940..2575c26 100644
--- a/lib/rites/rite_ef/temporal_ef.ml
+++ b/lib/rites/rite_ef/temporal_ef.ml
@@ -53,9 +53,11 @@ let christ_the_king y = sunday_on_or_before (mk y 10 31)
 
 let same a b = Date.compare a b = 0
 
-(* Named temporal days: the I-class feasts of the Lord (RG 91 entries 1-3), the
-   vigils (RG 28-34, RG 91 entries 5 and 9) and the days within the Octave of
-   the Nativity (RG 64-70, RG 91 entry 17).
+(* Named temporal days: the I-class feasts of the Lord (RG 91 entries 1 and 3),
+   the Vigil and Octave Day of the Nativity and the Vigil of Pentecost (RG
+   28-34, RG 91 entries 5 and 9), the I-class Sundays of Passiontide and Low
+   Sunday (RG 91 entry 6), Ash Wednesday (RG 91 entry 7), and the days within
+   the Octave of the Nativity (RG 63-70, RG 91 entry 17).
 
    Returns (season, slug, colour, rank, week). *)
 let named d =
@@ -72,13 +74,20 @@ let named d =
     (* Days within the Octave of the Nativity; 26-28 Dec are Stephen, John and
        the Innocents, hence sanctoral (Plan 3). Colitur slugs -- lectionary gap. *)
     Some (Christmastide, Printf.sprintf "ef-nativity-octave-day-%d" (dd - 24), Colour.White, Class2, None)
-  else if m = 1 && dd = 1 then Some (Christmastide, "ef-circumcision", Colour.White, Class1, None)
+  else if m = 1 && dd = 1 then
+    (* RG 91 entry 5: 1 Jan is the Octave Day of the Nativity, the same table
+       entry as the Nativity vigil above. *)
+    Some (Christmastide, "ef-circumcision", Colour.White, Class1, None)
   else if m = 1 && dd = 6 then Some (Christmastide, "ef-epiphany", Colour.White, Class1, None)
-  else if same d (off (-46)) then Some (Lent, "ef-ash-wednesday", Colour.Violet, Class1, None)
-  else if same d (off (-14)) then Some (Passiontide, "ef-passion-sunday", Colour.Violet, Class1, Some 1)
-  else if same d (off (-7)) then Some (Passiontide, "ef-palm-sunday", Colour.Violet, Class1, Some 2)
+  else if same d (off (-46)) then
+    Some (Lent, "ef-ash-wednesday", Colour.Violet, Class1, None) (* RG 91 entry 7 *)
+  else if same d (off (-14)) then
+    Some (Passiontide, "ef-passion-sunday", Colour.Violet, Class1, Some 1) (* RG 91 entry 6 *)
+  else if same d (off (-7)) then
+    Some (Passiontide, "ef-palm-sunday", Colour.Violet, Class1, Some 2) (* RG 91 entry 6 *)
   else if same d easter then Some (Paschaltide, "ef-easter-sunday", Colour.White, Class1, Some 1)
-  else if same d (off 7) then Some (Paschaltide, "ef-low-sunday", Colour.White, Class1, Some 2)
+  else if same d (off 7) then
+    Some (Paschaltide, "ef-low-sunday", Colour.White, Class1, Some 2) (* RG 91 entry 6 *)
   else if same d (off 38) then
     (* RG 91 entry 21: II-class vigil. It is also Rogation Wednesday; with no
        precedence framework until Plan 3, temporal emits the higher-ranked