1 files changed, 15 insertions, 0 deletions
diff --git a/lib/kernel/rite.mli b/lib/kernel/rite.mli
index 45f3ed6..39538d0 100644
--- a/lib/kernel/rite.mli
+++ b/lib/kernel/rite.mli
@@ -92,4 +92,19 @@ type ('s, 'r) t = {
           temporal identity (the preceding Sunday's, for the ferial rule)
           without re-implementing the temporal cycle -- the same shape
           [transfer_target]'s own [occupant] callback established. *)
+  creed : temporal:('s, 'r) Temporal.t -> observed:'r Celebration.t -> date:Date.t -> bool;
+      (** Whether the Creed is said, post-Gospel/homily, at this day's Mass
+          (EF: RG 475-476). A [bool], not an [option]: this is a decision,
+          and a rite that has not implemented the rule returns [false]
+          explicitly rather than leaving the question unanswered.
+
+          [temporal] and [observed] are supplied for the same reason
+          [readings] gets both: a rubric like this one can turn on either
+          the day's TEMPORAL-cycle identity (e.g. "is this a Sunday, even
+          one a feast has displaced") or on the celebration actually
+          observed, and only the rite knows which. [date] is supplied for
+          the same reason [readings] gets it too -- a rubric keyed to an
+          Easter-relative window (e.g. "within the octave of Easter") needs
+          the civil date and the rite's own Easter to test it, and neither
+          [temporal] nor [observed] alone carries that arithmetic. *)
 }