fix(ef): Good Friday is black, not violet (RG 128(b), RG 132)

RG 128(b)'s own exception list, transcribed in the rules register and
primary-source-verified since Task 16, excepts "Actione liturgica feria VI
in Passione et Morte Domini usque ad Communionem exclusive" from the violet
that otherwise runs from Septuagesima to the Easter Vigil. RG 132 assigns
black there. The register recorded this as an acknowledged gap rather than a
disputed reading -- the code comment beside the Holy Thursday exception says
so in as many words -- and it is closed here.

Found by two witnesses outside the Divinum Officium lineage that colitur,
lectio and missalemeum all share: O'Connell, The Celebration of Mass, 4th ed.
(1964), revised throughout to the Codex Rubricarum (1960) and the 1962
Missal, and a published 1962 Ordo. Both say black. So does missalemeum's own
colour set, which orders the day "bv".

The rubric is per-action ("usque ad Communionem exclusive") and the model
emits one colour per day; black is the day's principal one, the same
acknowledged limit RG 126's Palm Sunday blessing already carries.

Blast radius: one day per year, colour only, across the whole 1583-9999
domain. Two golden pins re-pinned. Good Friday's 46 differential rows leave
C23 for a new C36 gated on the exact triple [First_f; Gospel_f; Colour_f],
so C23's own exact-pair gate still means what its note says for its
remaining four days: 184 + 46 = 230, no residue, both counts from the
comparator rather than hand-counted.

1 files changed, 23 insertions, 0 deletions

diff --git a/lib/rites/rite_ef/temporal_ef.ml b/lib/rites/rite_ef/temporal_ef.ml
index fa78cbe..c16732b 100644
--- a/lib/rites/rite_ef/temporal_ef.ml
+++ b/lib/rites/rite_ef/temporal_ef.ml
@@ -1054,6 +1054,29 @@ let temporal d =
                              Thursday's is white ALONE -- confirming this specific
                              day, and only this one, needs the exception coded. *)
                         else if days_between easter d = -3 then Colour.White
+                          (* RG 128(b)'s THIRD named exception, the same primary
+                             sentence quoted above: "...Actione liturgica feria VI
+                             in Passione et Morte Domini usque ad Communionem
+                             exclusive; ..." -- violet does NOT run through the Good
+                             Friday liturgical action, and RG 132 assigns black
+                             there. Recorded in register §3b as an acknowledged gap
+                             since Task 16 (the comment above says so in as many
+                             words) and closed here on two independent 1962-scoped
+                             witnesses, neither in the Divinum Officium lineage:
+                             O'Connell, *The Celebration of Mass* 4th ed. (1964),
+                             revised to the Codex Rubricarum (1960) and the 1962
+                             Missal, §5 -- "Black, symbolising mourning, is used on
+                             Good Friday (violet for the Communion rite)" -- and a
+                             published 1962 Ordo (register §6.21, §6.22).
+                             Like Palm Sunday's palms this rubric is per-ACTION
+                             ("usque ad Communionem exclusive") and the day/colour
+                             model emits ONE colour; black is the day's principal
+                             one -- the same judgement missalemeum's own colour SET
+                             makes by ordering Good Friday "bv", black first. The
+                             residual per-action nuance (violet from Communion) is
+                             the SAME already-acknowledged modelling gap RG 126's
+                             palms carry, not a new one. *)
+                        else if days_between easter d = -2 then Colour.Black
                         else season_colour s
                       in
                       (* [triduum_names]'s own citation above: identity only,