1 files changed, 7 insertions, 7 deletions
diff --git a/data/ef/expected-divergences.sexp b/data/ef/expected-divergences.sexp
index 57c1116..1bad0ca 100644
--- a/data/ef/expected-divergences.sexp
+++ b/data/ef/expected-divergences.sexp
@@ -72,8 +72,8 @@
  (verdict colitur)
  (note "6-13 January is Christmastide in colitur, matching RG 72-73's explicit boundary at 13 January (corroborated independently by RG 119a's colour rule, §3b). lectio's efSeason switches to time-after-epiphany on 6 January. The season disagreement cascades into colour (green vs white) and, on 7-12 January specifically, into the ferial slug family name (colitur's ef-christmas-2-<weekday> vs lectio's ef-time-after-epiphany-1-<weekday> for those days). REFRESHED (ef-rebootstrap fixture refresh, 2026-08-12): expected_rows moved 361 -> 368. NOT a new divergence -- the closed C13's own 7 rows (13 January in the 7 years it falls on a Sunday) fold back in here: lectio's fix wave independently fixed its own equivalent of the RG16(a) defect C13 used to allow-list, so on all 7 of those Sunday years lectio's slug now matches colitur's `commemoration-of-the-baptism-of-the-lord` too (not just rank/colour), leaving season as the ONLY residual difference on those rows -- squarely inside C1's own existing shape (diffs subset of [Season;Colour;Slug] with the Slug-diff escape clause unused). REFRESHED AGAIN (ef-rg112-rg110 task, branch ef-rg112-rg110): expected_rows moved 368 -> 361, back to its PRE-ef-rebootstrap value, but for a THIRD, different reason -- SPLIT OUT to its own new entry, C15, not silently re-absorbed: colitur now BUILDS Holy Family (RG 17(b)) and, on these same 7 dates, correctly observes it in the fixed Baptism's place (RG 91 entry 14, RG 112(a)), so colitur's own slug there changes from `commemoration-of-the-baptism-of-the-lord` (which happened to already match lectio's own slug) to `ef-time-after-epiphany-sunday-1` (Holy Family's own, lectio has no equivalent) -- a genuine SLUG divergence now, no longer inside C1's own [Season]-only shape. See C15's own entry for the full account. PROVENANCE, fix round 1 (coordinator finding 6, restoring the discipline this entry's own prior refresh recorded and this round's rewrite had dropped): 361 read directly from the OCaml comparator's own failure output (test_layer_c_counts_match_citations's `Received` array, run against the widened C15 predicate/allow-list together, not before it existed) -- not hand-counted first and cross-checked after, and not 368 minus 7 taken on faith: the arithmetic matches C15's own independently-derived 7, which is corroboration, not the derivation itself.
 
-REFRESHED AGAIN, Task 9 (branch ef-lectionary, layer-4 oracle): expected_rows moved 361 -> 173. NOT a data change -- this entry's OWN diff-set guard (`subset diffs [Season;Colour_f;Slug_f]`) never accepted a citation diff, and this task gave the `ef-christmas-2-<weekday>` and `ef-time-after-epiphany-1-<weekday>` families their OWN direct citations for the first time (the Missal's own Mass-propers \"diebus ferialibus\" rubrics -- NOT RG 17(a) itself, which states only the day-identity privilege; see C30/C31's own citations for the corrected attribution -- tools/bootstrap_lectionary.ml's own [epiphanytide_opening_entries]) -- every row in this window that ALSO now carries a real First_f/Gospel_f divergence escapes this entry's own subset guard and moves to the new C31/C32 instead (not silently re-absorbed: C31/C32's own [subset diffs [Season;Slug_f;Colour_f;First_f;Gospel_f]] guard is what actually catches them, checked BEFORE this entry no longer applies, not assumed). What remains here is every 6-13 January row this task's own fix did NOT touch: Epiphany itself, the fixed Baptism commemoration, and any day a competing saint or the BVM Saturday Office already wins outright (unaffected by a lectionary citation either way). Derived directly from the OCaml comparator's own failure output (test_layer_c_counts_match_citations), not hand-counted first and cross-checked after: 173. REFRESHED (BVM Saturday Mass, 2026-08-17): 173 -> 159. Fourteen of these days are Saturdays carrying the RG 78 office, which now also says its own RG 309(a) Mass, so they gained a citation difference and moved to C17 -- whose single cause covers both. Not a new divergence and not a fix here: the same days, filed against the entry that actually explains them. CORRECTED 2026-08-18: 159 -> 35. lectio adopted RG 72 and reads 6-13 January as Christmas Time, so the SEASON now agrees on every day of that window and 124 rows left this entry. What remains is residue on other axes, not the season boundary this entry was written for. CORRECTED 2026-08-18: 35 -> 75. GREW, and the reason is worth stating rather than hiding: C17 closed, and the January Saturdays it used to absorb now differ only on the slug vocabulary this entry already covers, so they land here instead. No new disagreement -- rows moved between entries as the larger cause was removed. CORRECTED 2026-08-18: 75 -> 40, as the surrounding classes closed and their rows stopped overlapping this one.")
- (expected_rows 40))
+REFRESHED AGAIN, Task 9 (branch ef-lectionary, layer-4 oracle): expected_rows moved 361 -> 173. NOT a data change -- this entry's OWN diff-set guard (`subset diffs [Season;Colour_f;Slug_f]`) never accepted a citation diff, and this task gave the `ef-christmas-2-<weekday>` and `ef-time-after-epiphany-1-<weekday>` families their OWN direct citations for the first time (the Missal's own Mass-propers \"diebus ferialibus\" rubrics -- NOT RG 17(a) itself, which states only the day-identity privilege; see C30/C31's own citations for the corrected attribution -- tools/bootstrap_lectionary.ml's own [epiphanytide_opening_entries]) -- every row in this window that ALSO now carries a real First_f/Gospel_f divergence escapes this entry's own subset guard and moves to the new C31/C32 instead (not silently re-absorbed: C31/C32's own [subset diffs [Season;Slug_f;Colour_f;First_f;Gospel_f]] guard is what actually catches them, checked BEFORE this entry no longer applies, not assumed). What remains here is every 6-13 January row this task's own fix did NOT touch: Epiphany itself, the fixed Baptism commemoration, and any day a competing saint or the BVM Saturday Office already wins outright (unaffected by a lectionary citation either way). Derived directly from the OCaml comparator's own failure output (test_layer_c_counts_match_citations), not hand-counted first and cross-checked after: 173. REFRESHED (BVM Saturday Mass, 2026-08-17): 173 -> 159. Fourteen of these days are Saturdays carrying the RG 78 office, which now also says its own RG 309(a) Mass, so they gained a citation difference and moved to C17 -- whose single cause covers both. Not a new divergence and not a fix here: the same days, filed against the entry that actually explains them. CORRECTED 2026-08-18: 159 -> 35. lectio adopted RG 72 and reads 6-13 January as Christmas Time, so the SEASON now agrees on every day of that window and 124 rows left this entry. What remains is residue on other axes, not the season boundary this entry was written for. CORRECTED 2026-08-18: 35 -> 75. GREW, and the reason is worth stating rather than hiding: C17 closed, and the January Saturdays it used to absorb now differ only on the slug vocabulary this entry already covers, so they land here instead. No new disagreement -- rows moved between entries as the larger cause was removed. CORRECTED 2026-08-18: 75 -> 40, as the surrounding classes closed and their rows stopped overlapping this one. CORRECTED 2026-08-18: 40 -> 138, and the entry has changed character entirely. It is now SLUG VOCABULARY ONLY. Season, rank, colour and both citations agree with colitur on every day of the January window; what differs is the identifier -- colitur's ef-christmas-2-thursday against lectio's ef-time-after-epiphany-1-thursday for the same day, with the same Mass. C31's rows joined it when their readings stopped differing, which is why it grew. Aligning the two vocabularies would mean renaming lectio's slugs, and those are keys: its own lectionary, clectio's generated tables and any user overlay are all built on them. This is recorded as vocabulary rather than closed, because the rows do still differ -- just not in anything a reader of either engine's output would see.")
+ (expected_rows 138))
  ((id C6)
  (citation "RG 91 entry 17 (\"days within the Octave of the Nativity\") for the slug/rank divergence; RG 69, scan1.txt:625-631 word for word, for the QUESTIONED citation component (Important 3(b), coordinator review, task 8 fix round 1): \"De dominica infra octavam Nativitatis Domini, quae scilicet a die 26 ad 31 decembris occurrit, semper fit Officium cum commemoratione festi forte occurrentis, iuxta rubricas, nisi dominica incidat in festum I classis: quo in casu, fit de festo cum commemoratione dominicae\" -- the Sunday's OWN Office (not the fixed weekday placeholder) is kept, WITH a commemoration of whatever feast falls that day, whenever a Sunday lands anywhere 26-31 December (unless that feast is itself I class, in which case the feast wins with the Sunday commemorated instead)")
  (verdict colitur)
@@ -196,11 +196,11 @@ Gated on the literal date window (month=12, day in {29,30,31}) AND colitur's own
  ; 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)
- (note "Task 9 (branch ef-lectionary, layer-4 oracle): `ef-christmas-2-{monday,tuesday,wednesday,thursday,friday}` (7 January through the day before Holy Family Sunday, EXCLUDING Saturday -- the same RG 78 exclusion C30 above explains, confirmed again on this window's own remaining such Saturdays) had NO lectionary entry of their own before this task, falling through to step 3's preceding-Sunday walkback. This slug family's own civil dates ALREADY carried a Season/Slug_f/Colour_f divergence against lectio BEFORE this task (lectio's own season boundary starts Time-after-Epiphany at Epiphany itself, RG 72-73's own later boundary colitur keeps; lectio's own week numbering has no Holy Family to wait for, so its own slug for these dates is already \"ef-time-after-epiphany-1-<weekday>\", not \"ef-christmas-2-...\"), previously absorbed by C1's own [jan_6_13_slug] allow-list (which already names this family, unchanged) -- this task's own fix (tools/bootstrap_lectionary.ml's own [epiphanytide_opening_entries]) adds a First_f/Gospel_f divergence on top of that EXISTING one, so this entry's own guard is a SUBSET, `subset diffs [Season;Slug_f;Colour_f;First_f;Gospel_f]` with at least one of First_f/Gospel_f present (a feria's Epistle and Gospel are independent lookups and can each happen to already coincide). `ef-christmas-2-saturday`, though deliberately given no DIRECT entry (the same RG 78 reasoning as C30), is included in THIS entry's own slug list for a different, genuinely observed reason: its own step-3 walkback CAN land on `ef-holy-name-sunday` in years where that Sunday immediately precedes it, inheriting that slug's newly-corrected citation (C29 above) as a side effect, with no direct entry of its own involved at all -- confirmed directly against the real resolver, not theorised (`ef-christmas-1-saturday`'s own walkback structurally cannot reach that far forward, since its own window, 2-5 January, is entirely before Holy Name Sunday can exist; C25's own unchanged population is the proof this genuinely does not happen there). Derived directly from the OCaml comparator's own failure output (test_layer_c_counts_match_citations), not hand-counted first and cross-checked after: 89. REFRESHED (BVM Saturday Mass, 2026-08-17): 89 -> 103. Fourteen Christmastide Saturdays that previously matched C1 now match here instead, their citation difference having changed shape while the season difference persists; this entry's own subset already admits both. CORRECTED 2026-08-18: 103 -> 63. Forty rows left when lectio gained the BVM Saturday Office and its Mass: this entry's own population included Christmastide Saturdays that carried BOTH causes, and only this one remains on them. CORRECTED 2026-08-18: 63 -> 98. GREW, for the same reason C1 grew earlier: C32 and C35 closed, and rows that carried more than one cause now carry only this one. No new disagreement.")
- (expected_rows 98))
+ ; C31 -- CLOSED, REMOVED (2026-08-18): 0 of 16801 rows, was 98. The ferias
+ ; between Epiphany and the first Sunday after it repeat Epiphany's own Mass
+ ; in lectio now (Isa 60:1-6 / Matt 2:1-12); they had been taking the Mass of
+ ; the Sunday that follows them. Its rows moved to C1, which is why that entry
+ ; grew rather than shrank. Citation preserved in the register.
  ; C32 -- CLOSED, REMOVED (2026-08-18): 0 of 16801 rows, was 99. Closed by the same Passiontide split and the twelve lectionary entries that came with it.
  ; Citation preserved in docs/research/rules-register.md.
  ; C33 -- CLOSED, REMOVED (2026-08-18): 0 of 16801 rows, was 46. Corpus Christi has its own formulary in lectio now; it had been reading the preceding Sunday's Mass through the walk-back.