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, 17 insertions, 9 deletions

diff --git a/bin/main.ml b/bin/main.ml
index 01410f2..cf8cae2 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -408,7 +408,12 @@ let readings_line ~lang ~sigla (d : (Rite_ef.Vocab_ef.season, Rite_ef.Vocab_ef.r
    for a [Votive] day before [said] became honest, and it is a value this
    function already has in scope regardless of [via]. So this is not
    "print a placeholder for the missing case", it is "the value was
-   already available from a different field, and still is". *)
+   already available from a different field, and still is".
+
+   Task (celebrant-rubrics-phase1, Phase 2): a FIFTH column, whether the
+   Gloria in excelsis is said (EF: RG 431-432, {!Rite_ef.Rubrics_ef.gloria})
+   -- same [string_of_bool] convention as [creed], same plain [bool] with
+   no [option] to guard, same reasoning throughout. *)
 let rubrics_line (d : (Rite_ef.Vocab_ef.season, Rite_ef.Vocab_ef.rank) Colitur_kernel.Liturgical_day.t)
     =
   let said, via =
@@ -421,8 +426,9 @@ let rubrics_line (d : (Rite_ef.Vocab_ef.season, Rite_ef.Vocab_ef.rank) Colitur_k
           Colitur_kernel.Mass_formulary.source_to_string f.Colitur_kernel.Mass_formulary.via )
     | None -> ("-", "-")
   in
-  Printf.printf "%s\t%s\t%s\t%s\n" (D.to_iso8601 d.Colitur_kernel.Liturgical_day.date) said via
+  Printf.printf "%s\t%s\t%s\t%s\t%s\n" (D.to_iso8601 d.Colitur_kernel.Liturgical_day.date) said via
     (string_of_bool d.Colitur_kernel.Liturgical_day.creed)
+    (string_of_bool d.Colitur_kernel.Liturgical_day.gloria)
 
 (* One civil year, Jan 1 - Dec 31, matching [temporal_report]'s own scan --
    NOT one liturgical year: [Colitur_kernel.Calendar.year] resolves a single
@@ -1281,8 +1287,8 @@ output formats:
             2026-04-05 sunday paschaltide 1 ef-easter-sunday class-1 white
   readings  date slug | Epistle | Gospel [| name]
             2026-12-25 ef-nativity | Heb 1:1-12 | John 1:1-14
-  rubrics   date, formulary slug, source, creed -- TAB-separated
-            2026-01-01[TAB]ef-circumcision[TAB]own[TAB]true
+  rubrics   date, formulary slug, source, creed, gloria -- TAB-separated
+            2026-01-01[TAB]ef-circumcision[TAB]own[TAB]true[TAB]true
 
   A citation contains spaces, so readings uses " | " between its fields while
   day stays space-separated; that is why they are separate commands rather
@@ -1299,14 +1305,16 @@ output formats:
   (source: proper/own/preceding-sunday/common/votive) -- 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 -- followed by whether the
-  Creed is said (RG 475-476: "true"/"false", OCaml's own literal, not
-  "yes"/"no" or "1"/"0"). TAB-separated rather than space or " | ": a
+  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)) -- both "true"/"false", OCaml's own literal, not
+  "yes"/"no" or "1"/"0". TAB-separated rather than space or " | ": a
   resolved formulary NAME is a column a later version may add, and it can
   carry both spaces and punctuation a citation never does, which rules out
   either alternative already in use above. --overlay is accepted (the
-  observed celebration it changes decides the formulary and the Creed);
-  --lang/--raw/--sigla-* are refused -- this row resolves no display name
-  and no citation for any of them to affect.
+  observed celebration it changes decides the formulary, the Creed and the
+  Gloria); --lang/--raw/--sigla-* are refused -- this row resolves no
+  display name and no citation for any of them to affect.
 
   emit      one schema (season, week, slug, rank, colour, subject, names,
             citations, commemorations), rendered five ways: csv (RFC 4180,