test(differential): C20 and C38 closed -- agreement 98.4%

lectio carries the readings of the nine Common-routed saints and of three more
that had proper Masses but no reading at all. Every day of 2005-2050 now
resolves a reading there; four days used to come back empty.

C38's own note said it could not close without lectio gaining a Commons
concept. The readings arrived instead of the abstraction, which was enough:
each Common resolves to one first/gospel pair for the saint that names it, so
a table plus assignment layer would have bought indirection and nothing else.

  C20  14 -> 0
  C38  70 -> 0

7 classes -> 5, 351 rows -> 267, agreement 97.9% -> 98.4%.

1 files changed, 10 insertions, 29 deletions

diff --git a/data/ef/expected-divergences.sexp b/data/ef/expected-divergences.sexp
index e533a0a..57c1116 100644
--- a/data/ef/expected-divergences.sexp
+++ b/data/ef/expected-divergences.sexp
@@ -104,13 +104,8 @@ Gated on the literal date window (month=12, day in {29,30,31}) AND colitur's own
  (verdict colitur)
  (note "ef-rg112-rg110 task: SPLIT OUT of C1's own blanket 6-13 January window, not a new kind of divergence -- the same discipline the now-closed C13 already established for this exact date (C1's own note above), applied again because building Holy Family reopened the identical shape C13 used to cover, for a different underlying reason. Before this task, colitur had no Holy Family office: on these seven dates (13 January when it is itself a Sunday -- 2008, 2013, 2019, 2030, 2036, 2041, 2047), colitur's generic Sunday fallback lost outright to the fixed Commemoration of the Baptism of the Lord (already subject Lord in the rebootstrapped data, RG16(a)'s existing mechanism), producing the SAME slug lectio's own tridentine-calendar.ini shows there (`commemoration-of-the-baptism-of-the-lord`) -- only Season differed, inside C1's own shape. Holy Family (RG 17(b)) now correctly outranks the fixed Baptism (RG 91 entry 14's own \"primum mobilia, deinde fixa\" -- {!Rite_ef.Precedence_ef.entry_14_movable_band}) and excludes it as a commemoration entirely (RG 112(a), directly confirmed by the Holy Family Mass propers' own more specific 13-January rubric, both photographic scans: \"Si festum S. Familiae occurrerit die 13 ianuarii, Missa dicitur de festo S. Familiae, sine commemoratione Baptismatis D.N.I.C., et sine commemoratione dominicae\"), so colitur's own slug on these 7 dates changes to `ef-time-after-epiphany-sunday-1` (Holy Family's own -- unchanged from the plain Sunday key it always carried, temporal_ef.ml's own comment on why) -- a genuine SLUG divergence against lectio, which has no Holy Family at all and still shows the fixed Baptism observed. Gated on the literal 7-date list AND colitur's own slug (the same identity guard C1/C6/C8/C14 already apply, fix round 1's own finding 1). Derived from the OCaml comparator's own failure output directly (test_layer_c_counts_match_citations), not by hand-counting first and cross-checking after: 7. WIDENED, task 8: [First_f]/[Gospel_f] joined the accepted diff set -- Holy Family's own proper (Col 3:12-17/Luke 2:42-52) now differs from the fixed Baptism's, which lectio still shows, for the identical reason this entry already names. Count unchanged: 7.")
  (expected_rows 7))
- ((id C16)
- (citation "RG 17(a) (\"festum Ss.mi Nominis Iesu, celebrandum dominica quae occurrit a die 2 ad 5 ianuarii, SECUS DIE 2 IANUARII\") + the calendarium's own January table, both photographic scans, word for word: \"Dominica inter octavam Nativitatis Domini et Epiphaniam, vel, EA DEFICIENTE, die 2 ianuarii: Sanctissimi Nominis Iesu, II classis\"")
- (verdict colitur)
- (note "ef-holyname-rg110 task: RG 17(a)'s own fallback, previously unbuilt (register §6.2's own open item -- colitur emitted no Holy Name office at all in a year with no Sunday 2-5 January, not merely an unnamed generic Sunday the way Holy Family's own pre-fix gap was). 2 January in a year with no Sunday in that window now carries the feast (`ef-holy-name`, class-2, subject Lord) instead of the ordinary Christmastide ferial fallback (`ef-christmas-1-<weekday>`/`ef-christmas-0-<weekday>` in lectio's own naming, class-4) -- a genuine SLUG AND RANK divergence against lectio, which has no fallback for this window at all (`~/git/projects/lectio/internal/caldata/tridentine-calendar.ini` carries no 01-02 entry; checked directly, not assumed) and shows the plain ferial slug on every one of these dates regardless. Gated on the literal date list AND colitur's own slug (the same identity guard C1/C6/C8/C14/C15 already apply, fix round 1's own finding 1). 20 of the 46 years in the fixture's own 2005-2050 span have no Sunday 2-5 January -- independently re-derived against `date -d <year>-01-0{2,3,4,5} +%u` for every year in range (not the register's domain-wide 3,619-of-8,417 figure divided down; a fresh count over this file's own narrower window), then cross-checked against the OCaml comparator's own failure output before being set here: 20. WIDENED, task 8: [First_f]/[Gospel_f] joined the accepted diff set. `ef-holy-name` used to carry a MIS-DERIVED citation (Gal 4:1-7/Luke 2:33-40, borrowed by analogy from `ef-christmas-sunday-0`'s own ini section) -- on 13 of these 20 years lectio's own plain-ferial fallback happened to land on that SAME wrong value by coincidence, so those 13 rows matched outright and dropped out of the diff entirely, and only the remaining 7 (where 1 January itself is a Sunday, so lectio's fallback finds the Circumcision's own Titus 2:11-15/Luke 2:21 instead) carried a real citation diff -- both sub-populations still summed to the SAME 20-row count either way, since [layer_c_reason]'s own `subset` guard accepts an empty citation diff too.
-
-CORRECTED, Task 9 (branch ef-lectionary, layer-4 oracle): the 13-vs-7 coincidental-match split above is now STALE, not merely superseded -- `ef-holy-name` carries its own genuinely correct citation as of this task (Acts 4:8-12/Luke 2:21, Missal-verified twice, both scans, `colitur_keys`'s own CORRECTED note in bootstrap_lectionary.ml has the full account of the analogy error this replaces), which cannot coincide with EITHER of lectio's own two possible fallback answers (Gal 4:1-7 nor Titus 2:11-15 -- neither equals Acts 4:8-12) -- so ALL 20 of this entry's rows now carry a real [First_f]/[Gospel_f] diff, not merely 7 of them, a direct logical consequence of the three citations' own values, not re-derived by a fresh sweep. Row count itself is UNCHANGED at 20 (confirmed against the OCaml comparator's own failure output, still 20) -- only which rows carry a citation diff moved, and this entry's own `subset` guard already tolerated both shapes throughout, so nothing about the ALLOW-LIST predicate itself needed to change, only this note's own account of the values involved.")
- (expected_rows 20))
+ ; C16 -- CLOSED, REMOVED (2026-08-18): 0 of 16801 rows, was 20. lectio builds RG 17(a)'s own 2-January fallback now, so the years with no Sunday in the 2-5 January window have the Holy Name office instead of none.
+ ; Citation preserved in docs/research/rules-register.md.
  ; C17 -- CLOSED, REMOVED (2026-08-18): 0 of 16801 rows, was 439 -- the
  ; LARGEST divergence class between the two engines. lectio now builds the
  ; votive Office of Our Lady on Saturday (RG 78) and says RG 309(a)'s own Mass
@@ -128,11 +123,8 @@ CORRECTED, Task 9 (branch ef-lectionary, layer-4 oracle): the 13-vs-7 coincident
  ; engine now follows the same rubric. Citation preserved in the register.
  ; C19 -- CLOSED, REMOVED (2026-08-18): 0 of 16801 rows, was 7 (and 35 before the Epiphany week anchor was fixed). The residue this entry named -- the Holy Family interaction in seven specific years -- no longer differs once Passiontide's own weeks are numbered apart, because the week-index offset it rested on is gone.
  ; Citation preserved in docs/research/rules-register.md.
- ((id C20)
- (citation "data/ef/commons.sexp's own citations (task 6, RG-cited per saint, three independent witnesses each -- task-6-report.md §1/§2) for four of these seven saints, routed through the Common; data/ef/adjustments.sexp's own `Edit ... Set_citation` propers, equally scan-verified, for the other three (thomas-aquinas/john-of-god/francis-of-paola)")
- (verdict colitur)
- (note "task 8 (branch ef-lectionary): lectio's own [caldata.Readings] genuinely resolves NOTHING at all -- literally \"-\"/\"-\", not merely a different value -- for 14 civil days across 2005-2050 (task-7-report.md's own count, independently reproduced here): every one is a day on which one of SEVEN readingless class-3 saints (vincent-ferrer x5, isidore-of-seville x3, john-of-god x2, thomas-aquinas, francis-of-paola, sts-felicitas-perpetua, frances-rome, x1 each) is the day's own observed office. Task 6 gave every one of these saints either a Common assignment (data/ef/commons.sexp, the Missal's own instruction at that saint's date, e.g. \"Missa Os iusti, de Communi Confessoris non Pontificis I loco\" for Vincent Ferrer) or, where the Missal instead prints a full proper Mass at the saint's own date (thomas-aquinas, john-of-god, francis-of-paola), a direct citation via data/ef/adjustments.sexp -- both routes read from three independent witnesses each (scan1, scan2, the page images; task-6-report.md's own cross-check discipline), not invented. colitur is MORE COMPLETE here, not wrong: lectio's own generator simply has no data for these particular saints, a genuine upstream gap this task's own report records for lectio, not a colitur defect. Gated on the literal 7-slug list AND on lectio's field reading the literal \"-\"/\"-\" sentinel, never \"any citation mismatch on these slugs\" -- a genuine future content disagreement on one of these seven saints (e.g. if lectio's own data ever grew an entry that DISAGREED with colitur's scan-verified citation) would still surface as unexplained, not silently absorbed here. Derived directly from the OCaml comparator's own failure output (test_layer_c_counts_match_citations), not hand-counted first and cross-checked after: 14.")
- (expected_rows 14))
+ ; C20 -- CLOSED, REMOVED (2026-08-18): 0 of 16801 rows, was 14. lectio carries the readings of the Common-routed saints now, and of the three with proper Masses that simply had none. Every day of 2005-2050 resolves a reading there.
+ ; Citation preserved in docs/research/rules-register.md.
  ; C21 -- CLOSED, task 8 fix round 1 (coordinator review), REMOVED not
  ; re-adjudicated to a different verdict: its own diagnosis ("colitur's
  ; step 3 cannot reach a correct answer for the fixed Christmastide
@@ -200,18 +192,10 @@ CORRECTED, Task 9 (branch ef-lectionary, layer-4 oracle): the 13-vs-7 coincident
  ; C28 -- CLOSED, REMOVED (2026-08-18): 0 of 16801 rows, same cause as C27
  ; above. lectio's ini carried St Matthew's Mass under
  ; `ef-september-ember-sat`; it now carries Heb 9:2-12 / Luke 13:6-17.
- ((id C29)
- (citation "RG 17(a) (\"festum Ss.mi Nominis Iesu, celebrandum dominica quae occurrit a die 2 ad 5 ianuarii\") for the PRIVILEGE; the Missal's own Sanctissimi Nominis Iesu Mass propers, both scans, word for word: \"Lectio Actuum Apostolorum. Act. 4, 8-12\" / \"Sequentia sancti Evangelii secundum Lucam. Luc. 2, 21\" (docs/research/scan1.txt:6579-6608, scan2.txt:7225-7297) -- the Sunday shape's own citation, distinct from C16's fallback shape immediately above")
- (verdict colitur)
- (note "Task 9 (branch ef-lectionary, layer-4 oracle): `ef-holy-name-sunday`, the primary RG 17(a) shape (a genuine Sunday 2-5 January), had NO lectionary entry of its own before this task -- Rite_ef.Temporal_ef already computed the right slug/rank/colour (RG 91 entry 14, {!Rite_ef.Precedence_ef.entry_14_movable_band}), but tools/bootstrap_lectionary.ml's own [colitur_keys] used to WIDEN lectio's \"ef-christmas-sunday-0\" ini section onto this slug too, by analogy, on the (WRONG) assumption that Holy Name Sunday shares the Sunday-within-the-Octave's own Mass -- DISPROVED by missalemeum's own independent extraction for the two real Holy Name Sundays in its 2026-2027 window (test/fixtures/missalemeum-ef-2026-2027.txt, 2026-01-04/2027-01-03: \"Acts 4:8-12\"/\"Luke 2:21\", title \"Holy Name of Jesus\"), then confirmed against the Missal itself, twice, both scans (above) -- see [colitur_keys]'s own CORRECTED note in bootstrap_lectionary.ml for the full account of the analogy error this replaces. Season and Slug_f already agree on every occurrence (Layer A's own alias for \"ef-christmas-sunday-0\"/\"ef-holy-name-sunday\" -- the SAME underlying fact the generator's old, wrong widen also used, only one of the two uses was ever mistaken), so this entry's own guard is an EXACT match, `diffs = [ First_f; Gospel_f ]`, not a subset. 26 of the 46 years in the fixture's own 2005-2050 span DO have a Sunday 2-5 January -- the complement of C16's own 20 fallback years (26 + 20 = 46, no residue) -- derived directly from the OCaml comparator's own failure output (test_layer_c_counts_match_citations), not hand-counted first and cross-checked after: 26.")
- (expected_rows 26))
- ((id C30)
- (citation "NOT RG 17(a) itself -- CORRECTED, fix round 1 (coordinator review): RG 17(a) (scan1.txt:396-402) states only the day-identity privilege (\"festum Ss.mi Nominis Iesu, celebrandum dominica quae occurrit a die 2 ad 5 ianuarii, secus die 2 ianuarii\"), nothing about ferial Masses -- this is the Missal's own MASS-PROPERS rubric for the Most Holy Name of Jesus (docs/research/rules-register.md's own account, \"the Mass propers' own rubric for this feast\", already correct there and now matched here), printed immediately BEFORE the Sunday-shape Mass heading, not after it, both scans, word for word: \"Diebus ferialibus a 2 ad 5 ianuarii Missa dicitur ut die 1 ianuarii\" (docs/research/scan1.txt:6522-6526) / \"Diebus ferialibua a 2 ad fi ianuarii Missa dicitur ut die 1 ianuarii\" (scan2.txt:7213-7217 -- OCR-garbled there, \"ferialibua\"/\"fi\" for \"ferialibus\"/\"5\"; scan1 is clean and missalemeum's own extraction corroborates the citation this rubric produces, so the reading is not in doubt) -- ON FERIAL DAYS from 2 to 5 January, THE SAME MASS AS 1 JANUARY (the Circumcision, Titus 2:11-15/Luke 2:21) IS SAID")
- (verdict colitur)
- (note "Task 9 (branch ef-lectionary, layer-4 oracle): `ef-christmas-1-{monday,tuesday,wednesday,thursday,friday}` (2-5 January, EXCLUDING Saturday) had NO lectionary entry of their own before this task, falling through to step 3's preceding-Sunday walkback. Given a direct entry now (tools/bootstrap_lectionary.ml's own [epiphanytide_opening_entries]), Season/Slug_f already agree with lectio on every occurrence (this window is entirely BEFORE C1's own 6-13 January boundary, and lectio's own naming for 2-5 January is already the SAME \"ef-christmas-0\"/\"ef-christmas-sunday-0\" family Layer A already aliases), so this entry's own guard is an EXACT match, `diffs = [ First_f; Gospel_f ]`. `ef-christmas-1-saturday` is DELIBERATELY excluded, both from the direct entry and from this predicate's own slug list -- RG 78's BVM Saturday Office wins that day unconditionally whenever nothing else does (Rite_ef.Temporal_ef's own [bvm_saturday_names], already built, ef-bvm-saturday task), confirmed directly against missalemeum's own title on this window's own two such Saturdays (\"II Mass of the B. V. M. -- Vultum Tuum\", never \"Feria\") -- giving it this entry's own citation would be wrong exactly there; it remains C25's own narrower population, unaffected by this task (see C25's own note).
-
-CORRECTED, fix round 1 (coordinator review, Important 1): this note previously described its own 91-row population as \"C25's OWN former population, before this task narrowed it\" -- FALSE, the single load-bearing sentence an auditor would check. C25's former (pre-this-task) population contributed only 44 of these 91 rows (Wednesday 6, Thursday 19, Friday 19 -- C25's own fix-round-3 breakdown, unchanged); the remaining 47 (Monday 20, Tuesday 14, Wednesday 7, Friday 6) were NEVER in C25 at all -- C25's own fix-round-2 note already states Monday/Tuesday were excluded because they resolved to lectio's OWN value and passed outright. Those 47 rows PREVIOUSLY MATCHED lectio (both engines independently landing on the identical, now-known-wrong \"Gal 4:1-7\"/\"Luke 2:33-40\" value -- colitur's via the old mis-widened `ef-christmas-sunday-0` borrow, lectio's via its own equivalent fallback) and are NEWLY allow-listed here because colitur is now right and lectio still is not -- the SAME \"both engines independently fell back... and silently AGREED on the wrong answer... newly VISIBLE only because colitur is now correct\" shape this file's own C33/C34 already describe correctly. Re-derived directly against the real resolver (colitur's own PRE-fix binary vs POST-fix, both checked against the lectio fixture for every one of the 91 dates, not asserted): inherited 44 (Wed 6/Thu 19/Fri 19, matching C25's own totals exactly, corroboration not derivation), newly visible 47 (Mon 20/Tue 14/Wed 7/Fri 6), 44+47=91, no residue. Derived directly from the OCaml comparator's own failure output (test_layer_c_counts_match_citations), not hand-counted first and cross-checked after: 91.")
- (expected_rows 91))
+ ; C29 -- CLOSED, REMOVED (2026-08-18): 0 of 16801 rows, was 26. lectio builds the Holy Name on the Sunday falling 2-5 January and gives it Acts 4:8-12 / Luke 2:21.
+ ; Citation preserved in docs/research/rules-register.md.
+ ; C30 -- CLOSED, REMOVED (2026-08-18): 0 of 16801 rows, was 91. The ferial days of 2-5 January take the Circumcision's Mass, per the Missal's own rubric at the feast ("Diebus ferialibus a 2 ad 5 ianuarii Missa dicitur ut die 1 ianuarii"), instead of falling back to the Sunday within the octave.
+ ; Citation preserved in docs/research/rules-register.md.
  ((id C31)
  (citation "NOT RG 17(a) -- CORRECTED, fix round 1 (coordinator review): this is a DIFFERENT Mass-propers rubric block, ~230 scan1 lines after Holy Name's own (C30 above), sitting within HOLY FAMILY'S OWN feast propers (RG 17(b)'s feast, page header \"Sanctae Familiae Iesu, Mariae, Ioseph\", scan1.txt:6751/scan2.txt:7412) -- printed immediately BEFORE the \"DOMINICA PRIMA post Epiphaniam / SANCTAE FAMILIAE\" Mass heading, the same structural position C30's own rubric occupies relative to Holy Name's heading, both scans: \"Diebus ferialibus a 7 ad 12 ianuarii ante dominicam I post Epiphaniam occurrentibus, dicitur Missa de festo Epiphaniae\" (docs/research/scan1.txt:6753-6757; scan2.txt:7413-7415 corroborates, OCR-garbled -- \"occurentibus\"/\"Epipbaniee\" -- but the reading is not in doubt: scan1 is clean and missalemeum's own extraction corroborates the citation this rubric produces) -- ON FERIAL DAYS from 7 to 12 January occurring BEFORE the first Sunday after Epiphany (Holy Family), THE MASS OF THE FEAST OF EPIPHANY (Isa 60:1-6/Matt 2:1-12) IS SAID")
  (verdict colitur)
@@ -230,8 +214,5 @@ CORRECTED, fix round 1 (coordinator review, Important 1): this note previously d
  ; called the shared lineage "the sharpest demonstration in the project" --
  ; colitur, lectio and missalemeum all carrying the same two wrong colours.
  ; Two of the three now carry the right one, and for the stated reason.
- ((id C38)
- (citation "lectio has ADOPTED this correction: since 2026-08-18 its own tridentine-calendar.ini ranks both ubaldus (16 May) and didacus (13 November) class-3, so identity, rank and colour now AGREE and no longer reach this entry. What remains is a readings divergence of exactly C18's shape. Both saints take their Mass from a Common (Missa Statuit de Communi Confessoris Pontificis I loco; Missa Iustus de Communi Confessoris non Pontificis II loco), and lectio has no Commons concept at all, so it resolves the literal -/- sentinel where colitur resolves the Common. Original citation, for the promotion itself: the 1962 Missal's own universal calendarium ranks both III classis outright, corroborated in both scans and in a published 1962 Ordo; full account in docs/research/rules-register.md 6.25")
- (verdict colitur)
- (note "NARROWED, not closed, 2026-08-18. This entry was 70 rows of slug+rank+readings(+colour) divergence while lectio still ranked both saints as commemorations. lectio merged the correction, so the identity half is gone and the entry is now gated on diffs = [First_f; Gospel_f] exactly. Still 70 rows -- the same population, a smaller disagreement. It cannot close on either side without lectio growing a Commons concept, which is a feature rather than a fix. Sibling entries C27, C28 and C37 DID close outright in the same refresh, because their corrections needed no capability lectio lacks.")
- (expected_rows 70))
+ ; C38 -- CLOSED, REMOVED (2026-08-18): 0 of 16801 rows, was 70. ubaldus and didacus take their Masses from a Common (Missa Statuit and Missa Iustus), which lectio now carries -- this entry's own note said it could not close without lectio gaining a Commons concept, and the readings arrived instead of the abstraction, which was enough.
+ ; Citation preserved in docs/research/rules-register.md.