cli: colitur day <year> dumps resolved liturgical days

Assembles Rite_ef.context (lib/rites/rite_ef/rite_ef.ml[i]): temporal,
anchors and vocab from Temporal_ef; rules from Precedence_ef's band,
disposition and admit; season_runs = Vocab_ef.seasons; transfer_target
newly implemented here.

transfer_target (RG 96): the next following day that is not I or II
class, with the Annunciation's own exception (Monday after Low Sunday).
Terminates by a structural step bound on its internal search, independent
of Calendar's own round guard, which bounds rounds across a year, not one
call's walk; documented as an obligation on rite.mli's transfer_target
field, which did not previously state it.

Fixes the vigil-naming mismatch Task 7's review predicted: the sanctoral
bootstrap names its vigils with a vigil-of-X prefix (lectio's own
convention), while Precedence_ef's is_vigil only recognised the temporal
cycle's own X-vigil suffix. Both are now recognised, fixing RG 91 entries
21/26 and RG 33's vigil omission for the four affected celebrations.
Verified by unit test and by mutation-testing the fix (reverting it fails
exactly the new rows) and against real output across several years.

Suppresses data/ef/sanctoral.sexp's vigil-of-christmas via a new overlay,
data/ef/adjustments.sexp: it is the same celebration as the temporal
cycle's own ef-nativity-vigil, both dated 24 December.

colitur day <year>: one line per civil-year day, temporal and sanctoral
fully resolved through Layer, Overlay, Precedence_ef and Calendar -- the
first CLI path exercising the whole Plan 3 pipeline against real data.
Verified the All Souls transfer chain (Tasks 7-8-11) end to end against
real output for both a Sunday year (2025, lands on 3 Nov) and a
non-Sunday year (2026, observed directly on 2 Nov).

1 files changed, 35 insertions, 0 deletions

diff --git a/lib/rites/rite_ef/rite_ef.mli b/lib/rites/rite_ef/rite_ef.mli
new file mode 100644
index 0000000..e2b3e6d
--- /dev/null
+++ b/lib/rites/rite_ef/rite_ef.mli
@@ -0,0 +1,35 @@
+(** The EF (1962) rite module: this library's top-level module (its filename
+    matches the library's own name "rite_ef", so dune uses it as the
+    library's entry point directly rather than generating one -- see the
+    .ml's own comment). Re-exports every sibling module this library
+    defines, so [Rite_ef.Vocab_ef], [Rite_ef.Temporal_ef] and
+    [Rite_ef.Precedence_ef] keep resolving exactly as they did before this
+    module existed. *)
+
+module Vocab_ef = Vocab_ef
+module Temporal_ef = Temporal_ef
+module Precedence_ef = Precedence_ef
+
+(** The EF rite, bundled (design spec's [RITE] signature, realised as a
+    {!Colitur_kernel.Rite.t} value rather than a functor -- see rite.mli):
+    - [id], [vocab], [year_start], [temporal], [anchors]: {!Temporal_ef}
+      unchanged (RG 71-77 seasons, RG 91's named movable days).
+    - [rules]: {!Precedence_ef}'s three RG 91/92-95/108-111 functions,
+      wrapped as one {!Colitur_kernel.Precedence.rules} record.
+    - [season_runs]: {!Vocab_ef.seasons} itself -- the EF liturgical year
+      visits each of its eight seasons exactly once, in that same order
+      (Advent-anchored, matching [year_start]), so the expected
+      run-length-compressed sequence {!Colitur_kernel.Rite.t.season_runs}
+      wants IS the vocabulary's own canonical list, not a separate one.
+    - [transfer_target]: {!Precedence_ef.transfer_target}, RG 96 (see that
+      value's own documentation for the termination and forward-progress
+      argument {!Colitur_kernel.Rite.t.transfer_target}'s contract requires).
+
+    Deliberately carries no [sanctoral]/[lectionary] fields the way the
+    original design-doc sketch of [RITE] does: {!Colitur_kernel.Rite.t} (the
+    type actually shipped, Plan 2) keeps the sanctoral {!Colitur_kernel.Layer.t}
+    a separate argument to {!Colitur_kernel.Calendar.year}/[day] rather than
+    embedding it here, so a caller can load data/ef/sanctoral.sexp (plus
+    data/ef/adjustments.sexp's overlay) however suits it -- bin/main.ml's
+    [load_ef_layer] is the one this module ships with. *)
+val context : (Vocab_ef.season, Vocab_ef.rank) Colitur_kernel.Rite.t