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, 13 insertions, 0 deletions

diff --git a/data/ef/adjustments.sexp b/data/ef/adjustments.sexp
new file mode 100644
index 0000000..85d7fa1
--- /dev/null
+++ b/data/ef/adjustments.sexp
@@ -0,0 +1,13 @@
+; data/ef/adjustments.sexp -- hand-authored overlay over data/ef/sanctoral.sexp
+; (Task 11). NOT generated by tools/bootstrap_sanctoral.ml -- edit directly.
+;
+; Suppresses `vigil-of-christmas` (24 Dec, data/ef/sanctoral.sexp, lectio's
+; own bootstrapped entry): it is the SAME celebration as colitur's temporal
+; cycle's own `ef-nativity-vigil` (rite_ef/temporal_ef.ml's [named], also 24
+; Dec, RG 91 entry 5), not a second, distinct one. Once the sanctoral layer
+; is live, that date would otherwise carry two candidates for one feast.
+; Recorded as an Overlay directive rather than filtered out of the bootstrap
+; or special-cased in code, per the task brief -- an auditable, diagnosable
+; removal (Overlay.apply's own diagnostic fires if this slug is ever absent,
+; e.g. after a re-bootstrap that renames it), not a silent drop.
+((id ef-adjustments) (directives ((Suppress vigil-of-christmas))))