feat(ef): the Gloria in excelsis, RG 431-432, deferring to Breviary 237-238

Phase 2 of celebrant-rubrics-phase1: colitur rubrics gains a fifth
column, whether the Gloria is said. Follows the Creed's own seam
exactly -- Rite.t.gloria, Liturgical_day.t.gloria, wired through
calendar.ml the same way.

RG 431(a)/432(a) defer the Gloria to the Breviary's own Te Deum rule
(nn. 237-238), so te_deum is implemented as its own named predicate,
cited clause by clause, not collapsed into a colour heuristic. 431(c)
(Holy Thursday, the Easter Vigil Mass) and 432(b)/(d) (violet; a
Requiem) are independent overrides checked ahead of the Te Deum-derived
answer. Every clause this engine has no dimension to model
(votive Mass classes, the wider n.302 "Missa festiva" categories) is
stated as N/A with its own reasoning, not silently dropped.

Validated against the FIUV universal Ordo (Gloria and Te Deum) and all
three LMS editions (Gloria). A first pass over-trusted a clean-looking
15-for-15 FIUV contradiction of 237(b)'s own Septuagesima exception and
replaced it with a blanket "every Sunday" rule; the evidence was itself
corrupted -- the FIUV extractor recognised only one of the source's two
Te Deum negations ("non dicitur", not "sine"), so every "sine Te Deum"
Sunday read wrongly true. Fixed in tools/extract_fiuv_ordo.ml, fixture
re-extracted, and the literal 237(b) reading restored once the
corrected data confirmed it. A second bug surfaced alongside it (Palm/
Passion Sunday wrongly reading true via Temporal_ef.named's own table
membership, then Christ the King wrongly reading false from an
over-broad fix) is closed with an explicit two-slug exclusion.

Domain-wide 1583-9999: every violet or Rose day is gloria=false except
the Easter Vigil (RG 431(c) lex specialis), every Requiem is
gloria=false, both measured exhaustively, zero exceptions. Mutation-
proved: disabling 431(c) reddens 8 tests including all four oracle
comparisons; disabling 238(c)'s feria-I-classis exclusion reddens
exactly the dedicated Ash Wednesday unit test, a genuine blind spot in
both oracle layers, reported rather than hidden.

Two open, cited findings, neither fixed here (out of this task's
"follow creed's exact seam" scope): a privileged Lenten/Passiontide
feria carrying one commemoration reads Gloria=true in the LMS Ordo but
Te-Deum=true/Gloria=false in FIUV -- the two oracles disagree with each
other, not merely with colitur (data/ef/expected-divergences-lms.sexp
L5, expected-divergences-fiuv.sexp F3); and a pre-existing, uncited
Colour.Violet bug on Rogation Monday/Tuesday in Temporal_ef.temporal,
surfaced by this comparison but root-caused as a separate defect (L6).

day/readings verified byte-identical against a build from the branch
tip before this task (v0.10.1's own tag predates an already-landed
bissextile fix that legitimately changed both, so it is not the right
baseline).

671 tests green (dune test); 678 with the exhaustive sweep
(COLITUR_EXHAUSTIVE_SWEEP=1 dune test --force, ~104s).

1 files changed, 14 insertions, 10 deletions

diff --git a/man/colitur.1 b/man/colitur.1
index 09414ea..88c5fab 100644
--- a/man/colitur.1
+++ b/man/colitur.1
@@ -122,12 +122,13 @@ occurrence, commemoration and transfer.
 The Mass reading citations, one line per day.
 .TP
 .BI rubrics " YEAR"
-Two rubrics of the Mass, one line per day: which formulary is actually
+Three rubrics of the Mass, one line per day: which formulary is actually
 said \(em not always the day's own: a weekday with no proper resumes the
 preceding Sunday's, a saint with no proper says his assigned Common, and
 RG 78/309(a)'s votive Saturday Mass of Our Lady is said in place of an
-unoccupied office's own \(em and whether the Creed is said (RG 475\-476).
-See
+unoccupied office's own \(em whether the Creed is said (RG 475\-476), and
+whether the Gloria in excelsis is said (RG 431\-432, deferring to the
+Breviary's own Te Deum rule, nn. 237\-238, for RG 431(a)). See
 .B OUTPUT FORMAT
 below.
 .TP
@@ -460,12 +461,13 @@ own trailing field, above.
 .SS rubrics
 .RS
 .nf
-date [TAB] formulary\-slug [TAB] source [TAB] creed
+date [TAB] formulary\-slug [TAB] source [TAB] creed [TAB] gloria
 .fi
 .RE
 .PP
 The day's own Mass formulary (which slug's Mass is actually said, and how
-that was decided), followed by whether the Creed is said (RG 475\-476).
+that was decided), followed by whether the Creed is said (RG 475\-476) and
+whether the Gloria in excelsis is said (RG 431\-432).
 .B rubrics
 separates its fields with a literal TAB \(em not a plain space like
 .B day
@@ -489,7 +491,9 @@ leave it unsplittable by field number.
 is one of
 .BR proper ", " own ", " preceding\-sunday ", " common " or " votive .
 .I creed
-is
+and
+.I gloria
+are each
 .B true
 or
 .B false
@@ -498,15 +502,15 @@ or
 or
 .RB \(lq 1/0 \(rq :
 this row has no other boolean field to be consistent with). A day with no
-Mass at all for a rite that has not implemented the rule reads
+Mass at all for a rite that has not implemented a rule reads
 .B false
 outright \(em it is a decision, never a third \(lqunknown\(rq state.
 .RS
 .nf
 
-2026\-01\-01 [TAB] ef\-circumcision [TAB] own [TAB] true
-2038\-03\-08 [TAB] john\-of\-god [TAB] proper [TAB] false
-2025\-12\-01 [TAB] ef\-advent\-sunday\-1 [TAB] preceding\-sunday [TAB] false
+2026\-01\-01 [TAB] ef\-circumcision [TAB] own [TAB] true [TAB] true
+2038\-03\-08 [TAB] john\-of\-god [TAB] proper [TAB] false [TAB] true
+2025\-12\-01 [TAB] ef\-advent\-sunday\-1 [TAB] preceding\-sunday [TAB] false [TAB] false
 .fi
 .RE
 .PP