merge: celebrant Mass rubrics, and four rubrical corrections

colitur now prints what a real ordo prints for the Mass: which formulary is
said and how it was reached, the Gloria, the Creed, the preface, and the
commemorations with their Low-Mass/sung distinction. colitur rubrics joins
day and readings.

Four defects were found and fixed on the way, each by an external witness
rather than by inspection: the Creed said at Requiem Masses (RG 476(f)),
the missing bissextile shift of St Matthias and St Gabriel (2 041 leap
years), Rogation Monday and Tuesday coloured violet in Paschaltide (RG
119(b)), and the ferias after the Ascension resuming the wrong Sunday's
Mass rather than the Ascension's.

Validation gained a sixth layer and then some: the preface is checked
against three independent publishers over seven witness-years (FIUV, three
LMS editions, three extraordinaryform.org editions), none of which shares
the Divinum Officium -> missalemeum -> lectio lineage the older layers all
descend from.

1 files changed, 30 insertions, 0 deletions

diff --git a/lib/kernel/liturgical_day.mli b/lib/kernel/liturgical_day.mli
index f0ea3d9..643097b 100644
--- a/lib/kernel/liturgical_day.mli
+++ b/lib/kernel/liturgical_day.mli
@@ -8,6 +8,16 @@ type ('s, 'r) t = {
           places for them to disagree *)
   observed : 'r Celebration.t;
   commemorations : ('r Celebration.t * Precedence.privilege) list;
+      (** The LOW MASS admitted set (RG 111(b)/(c)/(d) -- {!Precedence.rules.admit}'s
+          own wider caps). Not named [low_mass_commemorations]: this field
+          predates the sung/low distinction and every existing reader
+          ([emit], the differential/oracle layers, {!Record}) already reads
+          it under this name, so renaming it would be a needless breaking
+          change for a doc clarification alone. The SUNG-Mass equivalent
+          (RG 111(a): at most one commemoration, and it must be privileged)
+          is {!Precedence.sung_mass_commemorations}, a pure derivation over
+          this same list -- see its own citation for why it is a function,
+          not a second stored field. *)
   transferred_in : 'r Celebration.t option;
       (** arrived here from an impeded day *)
   transferred_out : ('r Celebration.t * Date.t) list;
@@ -28,5 +38,25 @@ type ('s, 'r) t = {
           ["citations"] / ["citations-unresolved"] checks. (This said "always
           empty until Plan 4" until Task 10; the lectionary landed before
           Plan 4 did, and the comment outlived its truth.) *)
+  formulary : Mass_formulary.t option;
+      (** Which Mass this day says, and how that was decided -- see
+          {!Mass_formulary}. [None] only for a rite with no lectionary; for
+          EF it is [Some] on every day of every year 1583..9999, asserted by
+          {!Validate}. *)
+  creed : bool;
+      (** Whether the Creed is said at this day's Mass -- {!Rite.t.creed},
+          EF: RG 475-476. A decision, not an [option]: [false] for a rite
+          that has not implemented the rule, same as [creed] itself. *)
+  gloria : bool;
+      (** Whether the Gloria in excelsis is said at this day's Mass --
+          {!Rite.t.gloria}, EF: RG 431-432. Same seam as [creed] in every
+          respect. *)
+  preface : Preface.t option;
+      (** Which preface is said at this day's Mass -- {!Rite.t.preface},
+          EF: RG 482-499. Same seam as [creed]/[gloria], but [option], not
+          a bare {!Preface.t}: see {!Rite.t.preface}'s own citation for why
+          -- [None] both for a rite that has not implemented the rule and
+          for a real day this engine resolves that has no Mass at all
+          (Good Friday). *)
 }
 [@@deriving sexp]