test(differential): compare reading citations, 16 801 days

Layer 3 is NOT blind to the ferial resumption rule, unusually for this
project: lectio implements the same rubric independently, so the differential
checks colitur's rule against a second implementation rather than against
silence.

It IS blind to the Commons -- lectio has no such concept -- so chain step 4
rests on layer 4 alone.

Divergence triage, 1 532 of 16 801 days differ (15 269 match exactly),
0 unexplained:

- A genuine colitur bug found and fixed: data/ef/lectionary.sexp carried
  lectio's own ini section names verbatim, never translated into the slugs
  Temporal_ef actually computes for the identical office. Data the bootstrap
  already held (Passiontide both weeks, the Pentecost Ember days, Holy Name
  Sunday) was unreachable by chain step 2, silently falling through to a
  wrong step-3 answer -- invisible until citation content became comparable.
  tools/bootstrap_lectionary.ml gained colitur_keys (rename/widen), a
  hand-authored ef-nativity-vigil entry cross-sourced from lectio's own
  sanctoral calendar and corroborated by colitur's own (overlay-suppressed)
  sanctoral bootstrap of the same source, and a derived ef-holy-name entry
  (RG 17(a)'s single Mass heading covers both the Sunday and 2-January
  shapes). One guess (giving the fixed Nativity-Octave days Holy Name
  Sunday's own citation uniformly) was tried and reverted once measured
  against the fixture -- Missal-verified to be right only for the genuine
  "Sunday within the Octave" case, wrong whenever the true preceding Sunday
  is Christmas Day or Advent IV instead.

- 10 existing/widened Layer C entries (C1/C6/C8/C14/C15/C16/C17/C18 --
  C6 and C17 narrowed with the removed population accounted for, not
  silently re-absorbed) plus two new ones: C19 (the already-adjudicated
  Time-after-Epiphany week-numbering offset, now visible in citation
  content), C20 (lectio computes no reading at all for the seven
  readingless saints Task 6 gave a Common or proper -- colitur is more
  complete, not wrong).

- One entry, C21, is a genuine colitur LOGIC limitation found but not
  fixed: Lectionary_ef.readings' step 3 is a single hop to the preceding
  Sunday, insufficient for a run of colitur-only fixed Christmastide slugs
  whose own preceding Sunday is itself another entry-less fixed slug.
  Recorded verdict open (data/ef/expected-divergences-missalemeum.sexp's
  own established precedent for this shape), not left silently failing --
  fully diagnosed in task-8-report.md, recommended as a dedicated
  follow-up task rather than a hasty fix to a shared, multi-round-reviewed
  kernel-adjacent function.

1 files changed, 47 insertions, 16 deletions

diff --git a/data/ef/lectionary.sexp b/data/ef/lectionary.sexp
index 24f3cf5..41504c1 100644
--- a/data/ef/lectionary.sexp
+++ b/data/ef/lectionary.sexp
@@ -5,7 +5,11 @@
 ;
 ; Source: ../lectio/internal/caldata/tridentine-lectionary.ini
 ; SHA-256: fde533289fb620fea33386b0a3e733ada3c1d01f10a36d8a7f5a2b500c92740e
-; 119 entries. Regenerate with:
+; 128 entries (119 ini sections translated/widened into colitur's own
+; Temporal_ef vocabulary via [colitur_keys]; 1 hand-authored from a
+; second source file [vigil_entries]; 1 derived from an already-
+; translated entry above rather than re-typed [derived_entries] --
+; see this generator's own comments on all three). Regenerate with:
 ;   eval $(opam env) && dune exec tools/bootstrap_lectionary.exe -- ../lectio/internal/caldata/tridentine-lectionary.ini data/ef/lectionary.sexp
 ((ef-advent-2-monday
   (((part First) (reference "Rom 15:4-13"))
@@ -88,24 +92,15 @@
  (ef-easter-6-saturday
   (((part First) (reference "Ecclus 24:14-16"))
    ((part Gospel) (reference "John 19:25-27"))))
- (ef-easter-8-friday
-  (((part First) (reference "Joel 2:23-24; 26-27"))
-   ((part Gospel) (reference "Luke 5:17-26"))))
  (ef-easter-8-monday
   (((part First) (reference "Acts 10:34, 42-48"))
    ((part Gospel) (reference "John 3:16-21"))))
- (ef-easter-8-saturday
-  (((part First) (reference "Rom 5:1-5."))
-   ((part Gospel) (reference "Luke 4:38-44."))))
  (ef-easter-8-thursday
   (((part First) (reference "Acts 8:5-8"))
    ((part Gospel) (reference "Luke 9:1-6"))))
  (ef-easter-8-tuesday
   (((part First) (reference "Acts 8:14-17."))
    ((part Gospel) (reference "John 10:1-10."))))
- (ef-easter-8-wednesday
-  (((part First) (reference "Acts 5:12-16"))
-   ((part Gospel) (reference "John 6:44-52."))))
  (ef-easter-sunday
   (((part First) (reference "1 Cor 5:7-8"))
    ((part Gospel) (reference "Mark 16:1-7"))))
@@ -127,6 +122,12 @@
  (ef-epiphany
   (((part First) (reference "Isa 60:1-6"))
    ((part Gospel) (reference "Matt 2:1-12"))))
+ (ef-holy-name
+  (((part First) (reference "Gal 4:1-7"))
+   ((part Gospel) (reference "Luke 2:33-40"))))
+ (ef-holy-name-sunday
+  (((part First) (reference "Gal 4:1-7"))
+   ((part Gospel) (reference "Luke 2:33-40"))))
  (ef-lent-1-friday
   (((part First) (reference "Ezech 18:20-28"))
    ((part Gospel) (reference "John 5:1-15"))))
@@ -226,33 +227,63 @@
  (ef-nativity
   (((part First) (reference "Heb 1:1-12"))
    ((part Gospel) (reference "John 1:1-14"))))
+ (ef-nativity-vigil
+  (((part First) (reference "Rom 1:1-6"))
+   ((part Gospel) (reference "Matt 1:18-21"))))
  (ef-palm-sunday
   (((part First) (reference "Phil 2:5-11"))
    ((part Gospel) (reference "Matt. 26:36-75; 27:1-60."))))
  (ef-passion-sunday
   (((part First) (reference "Heb 9:11-15."))
    ((part Gospel) (reference "John 8:46-59."))))
- (ef-passiontide-0-friday
+ (ef-passiontide-1-friday
+  (((part First) (reference "Jer 17:13-18"))
+   ((part Gospel) (reference "John 11:47-54"))))
+ (ef-passiontide-1-monday
+  (((part First) (reference "Jonas 3:1-10"))
+   ((part Gospel) (reference "John 7:32-39"))))
+ (ef-passiontide-1-saturday
+  (((part First) (reference "Jer 18:18-23"))
+   ((part Gospel) (reference "John 12:10-36"))))
+ (ef-passiontide-1-thursday
+  (((part First) (reference "Dan 3:25, 34-45."))
+   ((part Gospel) (reference "Luke 7:36-50"))))
+ (ef-passiontide-1-tuesday
+  (((part First) (reference "Jer 11:18-20"))
+   ((part Gospel) (reference "Mark 14:32-72; 15, 1-46"))))
+ (ef-passiontide-1-wednesday
+  (((part First) (reference "Lev 19:1-2, 11-19, 25"))
+   ((part Gospel) (reference "John 10:22-38"))))
+ (ef-passiontide-2-friday
   (((part First) (reference "Jer 17:13-18"))
    ((part Gospel) (reference "John 11:47-54"))))
- (ef-passiontide-0-monday
+ (ef-passiontide-2-monday
   (((part First) (reference "Jonas 3:1-10"))
    ((part Gospel) (reference "John 7:32-39"))))
- (ef-passiontide-0-saturday
+ (ef-passiontide-2-saturday
   (((part First) (reference "Jer 18:18-23"))
    ((part Gospel) (reference "John 12:10-36"))))
- (ef-passiontide-0-thursday
+ (ef-passiontide-2-thursday
   (((part First) (reference "Dan 3:25, 34-45."))
    ((part Gospel) (reference "Luke 7:36-50"))))
- (ef-passiontide-0-tuesday
+ (ef-passiontide-2-tuesday
   (((part First) (reference "Jer 11:18-20"))
    ((part Gospel) (reference "Mark 14:32-72; 15, 1-46"))))
- (ef-passiontide-0-wednesday
+ (ef-passiontide-2-wednesday
   (((part First) (reference "Lev 19:1-2, 11-19, 25"))
    ((part Gospel) (reference "John 10:22-38"))))
  (ef-pentecost
   (((part First) (reference "Acts 2:1-11."))
    ((part Gospel) (reference "John 14:23-31."))))
+ (ef-pentecost-ember-fri
+  (((part First) (reference "Joel 2:23-24; 26-27"))
+   ((part Gospel) (reference "Luke 5:17-26"))))
+ (ef-pentecost-ember-sat
+  (((part First) (reference "Rom 5:1-5."))
+   ((part Gospel) (reference "Luke 4:38-44."))))
+ (ef-pentecost-ember-wed
+  (((part First) (reference "Acts 5:12-16"))
+   ((part Gospel) (reference "John 6:44-52."))))
  (ef-pentecost-vigil
   (((part First) (reference "Acts 19:1-8."))
    ((part Gospel) (reference "John 14:15-21."))))