open Colitur_kernel

(** The EF lectionary resolution chain. All rubric knowledge about what a day
    with no proper falls back to lives here, not in the kernel.

    Steps 1 and 2 only (Task 4): the observed celebration's own proper, else
    the day's own temporal slug in the lectionary. A day matching neither
    gets [] for now -- the ferial fallback to the preceding Sunday (Task 5)
    and the Commons (Task 6) are not built here. *)
val readings :
  observed:Vocab_ef.rank Celebration.t ->
  temporal:(Vocab_ef.season, Vocab_ef.rank) Temporal.t ->
  date:Date.t ->
  temporal_at:(Date.t -> (Vocab_ef.season, Vocab_ef.rank) Temporal.t) ->
  Citation.t list