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

diff --git a/test/test_validate.ml b/test/test_validate.ml
index 671c706..b53f915 100644
--- a/test/test_validate.ml
+++ b/test/test_validate.ml
@@ -324,15 +324,17 @@ module Synthetic = struct
     { Colitur_kernel.Mass_formulary.said = Some (Slug.of_string_exn "syn-formulary");
       via = Colitur_kernel.Mass_formulary.Own_slug }
 
-  (* No fixture here exercises the Creed rubric -- a rite that has not
-     implemented it returns [false] explicitly, {!Rite.t.creed}'s own
-     documented default. Made overridable ([?creed] below) on the same
-     footing as [?readings] just above, for Task 6's own fixtures. *)
+  (* No fixture here exercises the Creed or Gloria rubrics -- a rite that
+     has not implemented them returns [false] explicitly,
+     {!Rite.t.creed}/{!Rite.t.gloria}'s own documented default. Made
+     overridable ([?creed]/[?gloria] below) on the same footing as
+     [?readings] just above, for Task 6's own fixtures. *)
   let creed ~temporal:_ ~observed:_ ~date:_ = false
+  let gloria ~temporal:_ ~observed:_ ~date:_ = false
 
   let rite ?(vocab = vocab) ?(anchors = fun _ -> []) ?(season_runs = [ A; B ]) ?(rules = rules)
-      ?(transfer_target = fun _ origin _ -> origin) ?(readings = readings) ?(creed = creed) temporal
-      : (season, rank) Rite.t =
+      ?(transfer_target = fun _ origin _ -> origin) ?(readings = readings) ?(creed = creed)
+      ?(gloria = gloria) temporal : (season, rank) Rite.t =
     { Rite.id = "synthetic"; vocab; year_start; temporal; anchors; rules; season_runs;
       (* Not a Roman rite, but a Rite.t must supply SOME Easter now that
          movable Date_spec variants exist. The Gregorian one is as good as
@@ -342,7 +344,7 @@ module Synthetic = struct
       (* Not a Roman rite either, so no bissextile-doubling convention:
          identity, {!Rite.t.fixed_key}'s own documented default. *)
       fixed_key = (fun d -> Some (D.month d, D.day d));
-      transfer_target; readings; creed }
+      transfer_target; readings; creed; gloria }
 
   (* Empty by default: every check built before Task 12 exercises the
      TEMPORAL-only pass, where an empty layer is exactly the fixture that