feat(ef): the Creed, RG 475-476

Whether the Creed is said at Mass. New Rubrics_ef.creed, reached through
a new Rite.t.creed field and a new Liturgical_day.t.creed bool (false,
not an option, for a rite that has not implemented the rule); colitur
rubrics gains a fourth TAB-separated column.

475(a) reads the TEMPORAL cycle's own weekday, not the observed day: a
Sunday impeded by a Feast of the Lord (RG 16a) still says the Creed.
475(d)'s three octaves (Nativity, Easter, Pentecost) are pure date/
Easter-offset windows, checked first, since a saint's feast winning the
day inside one of them still says the Creed ("etiam in festis
occurrentibus") -- St Stephen, 26 December, is the live witness.

RG 23 classifies Ash Wednesday and every feria of Holy Week (including
the Sacred Triduum) as feriae, not festa, however high their rank, so
475(b)/(c)'s "in festis" never reaches them; this single check subsumes
476(a)'s own naming of the Chrism/Lord's-Supper Mass and the Easter
Vigil. RG 28-34 vigils are a third liturgical-day category, also
excluded from "in festis" regardless of rank -- reuses the already-
exported Precedence_ef.is_vigil rather than a new list.

475(e)'s Apostle/Evangelist natalicia list (creed_apostle_slugs) was
derived by grepping data/ef/sanctoral.sexp directly and checking each
candidate's own date against whether it is that saint's dies natalis --
not copied from any list supplied with the task. The Conversion of St
Paul and the 30 June Commemoration of St Paul are excluded (neither is
a natalicium); the Chair of St Peter and St Barnabas are included only
because the clause names them explicitly, which is exactly why it has
to: neither is a natalicium either.

475(c)'s BVM half reuses Precedence_ef.marian_slugs (newly exported)
rather than the subject field alone: checked against the shipped data,
almost every Marian sanctoral entry ships subject=Saint, not Bvm.

man/colitur.1's rubrics section is updated to match the new column;
test/cli.t repinned via dune promote for the same reason. Verified
day/readings output byte-identical to v0.10.1 across the whole
1583-9999 domain (both binaries' concatenated day+readings output,
6,148,492 lines each, zero diff). Domain-wide: 882,996 days say the
Creed, 2,191,250 do not; every one of the domain's 439,178 Sundays says
it, zero exceptions.

1 files changed, 27 insertions, 13 deletions

diff --git a/man/colitur.1 b/man/colitur.1
index 5a8ebbf..29f5640 100644
--- a/man/colitur.1
+++ b/man/colitur.1
@@ -122,10 +122,11 @@ occurrence, commemoration and transfer.
 The Mass reading citations, one line per day.
 .TP
 .BI rubrics " YEAR"
-The Mass formulary actually said, one line per day \(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.
+Two 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
 .B OUTPUT FORMAT
 below.
@@ -459,12 +460,12 @@ own trailing field, above.
 .SS rubrics
 .RS
 .nf
-date [TAB] formulary\-slug [TAB] source
+date [TAB] formulary\-slug [TAB] source [TAB] creed
 .fi
 .RE
 .PP
-The day's own Mass formulary: which slug's Mass is actually said, and how
-that was decided.
+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).
 .B rubrics
 separates its fields with a literal TAB \(em not a plain space like
 .B day
@@ -473,9 +474,9 @@ or
 like
 .B readings
 \(em because a resolved formulary NAME (a column a later version may add,
-not this one) can carry both spaces and punctuation a citation never does,
-which rules out either separator already in use above. A separate command
-for the identical mechanical reason
+not either of these) can carry both spaces and punctuation a citation never
+does, which rules out either separator already in use above. A separate
+command for the identical mechanical reason
 .B day
 is separate from
 .BR readings :
@@ -487,12 +488,25 @@ leave it unsplittable by field number.
 .I source
 is one of
 .BR proper ", " own ", " preceding\-sunday ", " common " or " votive .
+.I creed
+is
+.B true
+or
+.B false
+(OCaml's own literal, not
+.RB \(lq yes / no \(rq
+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
+.B false
+outright \(em it is a decision, never a third \(lqunknown\(rq state.
 .RS
 .nf
 
-2026\-01\-01 [TAB] ef\-circumcision [TAB] own
-2038\-03\-08 [TAB] john\-of\-god [TAB] proper
-2025\-12\-01 [TAB] ef\-advent\-sunday\-1 [TAB] preceding\-sunday
+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
 .fi
 .RE
 .PP