test(differential): fix round 2 -- Good Friday, Passion Tuesday, stale header

Critical, and worse than what it replaced: removing a lectionary key does
not mean "no reading" to Lectionary_ef.readings -- it means step 3 silently
resumes the preceding Sunday. Good Friday, which has no Mass at all, was
emitting Palm Sunday's own Epistle and Passion narrative every year; Holy
Wednesday had the same defect. Fixed by authoring both days fully: the
Gospel was always unambiguous and is now always authored; the Epistle uses
the same "last lesson before the Gospel" convention this file's own Lenten
Ember Wednesday entry already established for an identical two-peer-lesson
shape, applied for consistency rather than invented to close this gap. C24
is retired, folded into a widened C23 covering all six Holy Week days.

Important: Passion Tuesday was shipping Holy Tuesday's Mass, a defect the
previous round's own footnote had found and left unrecorded. Fixed at the
source -- colitur_keys now excludes lectio's own (wrong) ini section for
this one weekday rather than translating it; a new passion_tuesday_entry
hand-authors the real Missal citation (Dan 14:27, 28-42 / John 7:1-13, both
scans). New entry C26 records the resulting divergence, 43 of 46 years,
traced (not merely counted) to three years where a competing I-class feast
impedes the day entirely.

Important: the allow-list header was stale one level up, still naming and
restating the diagnosis of an id (C21) retired in the previous round.
Rewritten in full rather than layered with another correction.

Minors: all three Lent Ember values now pinned (only Wednesday was before);
C22's citation corrected to attribute the date-anchor text and the rank
text to their own separate sources; assert_reachable's own comment no
longer overclaims what it can catch; C25's falsified reasoning replaced
with the directly observed fact (a first replacement derivation was itself
found wrong on a second reading and is recorded as rejected, not silently
discarded); hand-authored citations standardised to English book names
with a colon, matching this file's own dominant convention, with one
stated exception where a value must stay byte-identical to lectio's own
data rather than be reformatted.

dune test: 358/358. COLITUR_EXHAUSTIVE_SWEEP=1 dune test --force: 359/359.

1 files changed, 33 insertions, 23 deletions

diff --git a/data/ef/lectionary.sexp b/data/ef/lectionary.sexp
index 75b6ad4..893f878 100644
--- a/data/ef/lectionary.sexp
+++ b/data/ef/lectionary.sexp
@@ -4,17 +4,21 @@
 ; generator against a newer lectio and commit the diff instead. Every
 ; emitted key is asserted, at generation time, to be a slug
 ; Rite_ef.Temporal_ef actually computes (see this generator's own
-; [assert_reachable]) -- a dead key cannot ship silently again.
+; [assert_reachable]) -- a dead key cannot ship silently again (a
+; wrongly-VALUED live key still can; [assert_reachable]'s own comment
+; says why this check cannot be widened to catch that).
 ;
 ; Source: ../lectio/internal/caldata/tridentine-lectionary.ini
 ; SHA-256: fde533289fb620fea33386b0a3e733ada3c1d01f10a36d8a7f5a2b500c92740e
-; 129 entries (119 ini sections translated/widened into colitur's own
+; 131 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]; 4 hand-authored directly from
-; the Missal [holy_week_entries]; 3 hand-authored directly from the
-; Missal [nativity_octave_entries]; 1 derived from an already-
-; translated entry above rather than re-typed [derived_entries] --
-; see this generator's own comments on all five). Regenerate with:
+; second source file [vigil_entries]; 6 hand-authored directly from
+; the Missal [holy_week_entries]; 1 hand-authored directly from the
+; Missal, one entry [passion_tuesday_entry]; 3 hand-authored directly
+; from the Missal [nativity_octave_entries]; 1 derived from an
+; already-translated entry above rather than re-typed
+; [derived_entries] -- see this generator's own comments on all six).
+; 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"))
@@ -233,14 +237,14 @@
   (((part First) (reference "Heb 1:1-12"))
    ((part Gospel) (reference "John 1:1-14"))))
  (ef-nativity-octave-day-5
-  (((part First) (reference "Tit. 3, 4-7"))
-   ((part Gospel) (reference "Luc. 2, 15-20"))))
+  (((part First) (reference "Titus 3:4-7"))
+   ((part Gospel) (reference "Luke 2:15-20"))))
  (ef-nativity-octave-day-6
-  (((part First) (reference "Tit. 3, 4-7"))
-   ((part Gospel) (reference "Luc. 2, 15-20"))))
+  (((part First) (reference "Titus 3:4-7"))
+   ((part Gospel) (reference "Luke 2:15-20"))))
  (ef-nativity-octave-day-7
-  (((part First) (reference "Tit. 3, 4-7"))
-   ((part Gospel) (reference "Luc. 2, 15-20"))))
+  (((part First) (reference "Titus 3:4-7"))
+   ((part Gospel) (reference "Luke 2:15-20"))))
  (ef-nativity-vigil
   (((part First) (reference "Rom 1:1-6"))
    ((part Gospel) (reference "Matt 1:18-21"))))
@@ -263,23 +267,29 @@
   (((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"))))
+  (((part First) (reference "Dan 14:27, 28-42"))
+   ((part Gospel) (reference "John 7:1-13"))))
  (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 "Ex 12:1-11"))
+   ((part Gospel) (reference "John 18:1-40; 19:1-42"))))
  (ef-passiontide-2-monday
-  (((part First) (reference "Isai. 50, 5-10"))
-   ((part Gospel) (reference "Io. 12, 1-9"))))
+  (((part First) (reference "Isa 50:5-10"))
+   ((part Gospel) (reference "John 12:1-9"))))
  (ef-passiontide-2-saturday
-  (((part First) (reference "Col. 3, 1-4"))
-   ((part Gospel) (reference "Matt. 28, 1-7"))))
+  (((part First) (reference "Col 3:1-4"))
+   ((part Gospel) (reference "Matt 28:1-7"))))
  (ef-passiontide-2-thursday
-  (((part First) (reference "1 Cor. 11, 20-32"))
-   ((part Gospel) (reference "Io. 13, 1-15"))))
+  (((part First) (reference "1 Cor 11:20-32"))
+   ((part Gospel) (reference "John 13:1-15"))))
  (ef-passiontide-2-tuesday
-  (((part First) (reference "Ier. 11, 18-20"))
-   ((part Gospel) (reference "Mark 14, 32-72; 15, 1-46"))))
+  (((part First) (reference "Jer 11:18-20"))
+   ((part Gospel) (reference "Mark 14:32-72; 15, 1-46"))))
+ (ef-passiontide-2-wednesday
+  (((part First) (reference "Isa 53:1-12"))
+   ((part Gospel) (reference "Luke 22:39-71; 23:1-53"))))
  (ef-pentecost
   (((part First) (reference "Acts 2:1-11."))
    ((part Gospel) (reference "John 14:23-31."))))