1 files changed, 3 insertions, 9 deletions
diff --git a/data/ef/expected-divergences-missalemeum.sexp b/data/ef/expected-divergences-missalemeum.sexp
index d5d16a3..593edf9 100644
--- a/data/ef/expected-divergences-missalemeum.sexp
+++ b/data/ef/expected-divergences-missalemeum.sexp
@@ -289,15 +289,9 @@ CORRECTED, fix round 1 (coordinator review): the remaining 352 were previously d
  (note "Task 9 (branch ef-lectionary, layer-4 oracle): four Lenten rows (2026-03-09/03-24, 2027-03-01/03-16 -- Frances of Rome and Gabriel the Archangel's own commemorated Lenten ferias, both years). Neither pair is a book/chapter/verse-NUMBER difference [normalize_citation] could safely absorb without also risking equating two GENUINELY different verse lists elsewhere in the fixture that happen to share this exact shape (a real \"12, 15-20\" vs \"12-20\" would look identical to this rule but mean different things) -- named individually instead, the same discipline M5's own identity-gated predicate already applies to a citation-vocabulary gap it also declines to generalise. Derived directly from the OCaml comparator's own failure output, not hand-counted first and cross-checked after: 4.")
  (expected_rows 4))
  ((id M26)
- (citation "{!Rite_ef.Lectionary_ef.readings}'s own header comment (not an RG citation, a comparator/architecture LIMIT): step 3's own WARRANT is \"lectio's own observed behaviour... not a confirmed Missal citation\" -- register's own standing note; RG 309(a) (\"iuxta temporum diversitatem\", the season-keyed votive-Mass selection this task's own investigation confirmed missalemeum implements and colitur does not, corroborating Task 6's own already-recorded open item)")
- (verdict open)
- (note "Task 9 (branch ef-lectionary, layer-4 oracle): 30 rows, one root cause, TWO NAMEABLE SHAPES -- CORRECTED, fix round 1 (coordinator review, Important 3): a prior version of this note described three shapes, the third an unexplained \"23-row residue... not narrowed to a single citable rule at all\". That bucket was EMPTY: every one of the 30 dates classifies into one of the two shapes below, and describing it as unknown buried a real, nameable defect (layer 3 is blind to it too -- lectio makes the identical mistake -- so this entry is the only place either engine's own gap here is written down).
-
-SHAPE 1 -- 21 rows: RG 78's own rotating votive Mass of the BVM (\"Missae de sanctae Mariae in sabbato\" and its Time-after-Pentecost siblings, missalemeum's own \"II/III/V Mass of the B. V. M.\" titles) on an otherwise-unoccupied feria -- Task 6's own already-named open item (\"the BVM Saturday Office still emits its feria's Mass... needs... a season-keyed selection among five formularies\"), confirmed live on four Saturdays here (2026-01-03/01-10, 2027-01-02/01-09 -- `ef-christmas-1-saturday`/`ef-christmas-2-saturday`, this task's own deliberately-unentered slugs, C25's unchanged population in the sibling lectio differential) and on 17 ordinary Time-after-Pentecost weekday ferias (2026-02-14/06-20/06-27/07-04/07-11/08-01/10-31/11-07/11-28, 2027-07-17/07-24/09-04/09-11/10-30/11-06/11-13/11-27).
-
-SHAPE 2 -- 9 rows, a SECOND, DIFFERENT gap: ferias of a week whose own Sunday was DISPLACED that year by a movable named temporal-cycle feast, where the Missal requires the DISPLACED Sunday's own Mass to continue informing that week's ferias, but step 3 walks back to the DISPLACING feast's citation instead. Two witnessed instances: (a) 2026-06-02/03 and 2027-05-24 (the ferias between Trinity Sunday and Corpus Christi) -- the Missal prints a named formula for exactly this week, \"Missa Dominicae I post Pentecosten\" (1 Ioann. 4,8-21/Luc. 6,36-42, docs/research/scan1.txt:21758-21830, found while researching Corpus Christi's own Mass immediately following it), but colitur's step 3 walks back to Trinity SUNDAY's own generic citation instead, since [ef-corpus-christi] (this task's own fix) now correctly interrupts the week at step 2, one Sunday short of what the week's own ferias actually need; (b) 2026-10-26/27/29/30 and 2027-11-03/05 (the ferias of the week Christ the King, I class movable, \"Dominica ultima octobris\", displaces) -- colitur's own citation on all six is LITERALLY Christ the King's own Gospel (John 18:33-37, \"Art thou a king?\"), confirming step 3 walked back to the DISPLACING feast, not the displaced ordinary Sunday; missalemeum shows a different citation each row. No Missal-propers rubric for Christ the King's own week ferias was found the way Holy Name/Holy Family's own each carry one (checked: no rubric text precedes Christ the King's own Mass heading, scan1.txt:39140-39163) -- this half is named from the OBSERVED citation evidence itself, not from a located propers rubric; no citation SPECIFIC to Christ the King's own week is claimed.
-
-Neither shape is safe to fix inside this task's own scope (extending layer 4 + triage) without the same real, dedicated, TDD/mutation-tested unit of work data/ef/expected-divergences.sexp's own C6/C25 and Task 6's own open item already call for -- a season-keyed ferial/votive-Mass-selection mechanism, new behaviour, not new data. Verdict open, the SAME fourth verdict M15/M18 already establish for a genuine comparator/architecture LIMIT, honestly counted and NAMED rather than silently absorbed, left failing, or buried in an unexplained residue. A literal date list, not a shape predicate: no single structural signal (unlike C17's own [subject = bvm]) distinguishes this population from a genuinely new, unrelated citation bug on some other Time-after-Pentecost feria. Derived directly from the OCaml comparator's own failure output, not hand-counted first and cross-checked after: 30. NARROWED (movable-date-specs follow-up, 2026-08-17): 30 -> 27. SHAPE 2(a) is FIXED, not re-adjudicated -- the three ferias between Trinity Sunday and Corpus Christi now resolve at step 2 from the Mass the Missal itself prints for that week (scan1.txt:21758), under RG 299 explicit escape clause nisi a rubricis aliter provisum sit (scan1.txt:1096-1098). Those days still differ on observed-identity, being temporal-origin, and fall to M18 accordingly. SHAPE 2(b), Christ the King week, is NOT the same case and REMAINS -- but its verdict is now argued rather than merely open: no proper Mass is assigned there (checked directly, no rubric precedes that Mass heading at scan1.txt:39163ff), so RG 299 DEFAULT governs and the Mass of the preceding Sunday genuinely IS Christ the King own, which is what colitur emits. Read on the primary text colitur is right here and missalemeum diverges; kept open rather than closed only because no rubric SPECIFIC to that week was located either way. NARROWED AGAIN (BVM Saturday Mass, 2026-08-17): 27 -> 6. SHAPE 1 is FIXED, not re-adjudicated. colitur now says RG 309(a)'s own Mass on the BVM Saturday office instead of the feria's, selecting among the Missal's five Missae de sancta Maria in sabbato by season. What survives is the residue of shape 2(b) alone -- Christ the King's week, argued in colitur's favour above.")
+ (citation "RG 299 (docs/research/scan1.txt:1096-1098): \"Item propriam Missam habent omnes feriae temporis Quadragesimae et Passionis necnon Quatuor Temporum Adventus et septembris. In reliquis feriis dicitur Missa dominicae praecedentis, NISI A RUBRICIS ALITER PROVISUM SIT\" -- restated in the propers (scan1.txt:4933-4935) as \"...nisi propria Missa assignetur\". Christ the King's own Mass heading, scan1.txt:39163: \"Dominica ultima octobris / D. N. IESU CHRISTI REGIS / I classis\", with NO rubric preceding or following it.")
+ (verdict colitur)
+ (note "REWRITTEN IN FULL 2026-08-18, replacing three layers of NARROWED/CORRECTED paragraphs -- the same discipline this entry's own fix round 1 demanded of its predecessor, in a file whose purpose is a top-down audit trail. History is in git; it is not re-layered here. The entry began at 30 rows with two shapes and one root cause. BOTH other shapes are now FIXED, not re-adjudicated: SHAPE 1 (21 rows, the rotating votive Mass of Our Lady on Saturday) was the RG 309(a) seasonal selection colitur did not implement -- the day observed Our Lady under RG 78 and then read the feria's Mass -- built 2026-08-17, register 6.13. SHAPE 2(a) (3 rows, the ferias between Trinity Sunday and Corpus Christi) was RG 299's explicit exception: the Missal prints a NAMED formula for that week, \"Missa dominicae I post Pentecosten\" (scan1.txt:21758), precisely because Trinity has taken its Sunday's own Mass -- built 2026-08-17, register 6.11. What remains is SHAPE 2(b) alone, 6 rows: the ferias of the week whose Sunday is Christ the King. VERDICT NOW COLITUR, and on a POSITIVE argument rather than an absence. RG 299's rule has an explicit escape clause, and the escape requires an assigned proper Mass. None is assigned for this week: checked directly at the source, no rubric precedes or follows Christ the King's own Mass heading (scan1.txt:39163ff), unlike Trinity's week which prints one and unlike Holy Name and Holy Family which each carry their own ferial rubric. The absence is therefore not a gap in the research but exactly the condition that triggers RG 299's DEFAULT -- and by that default the Mass of the preceding Sunday is what the ferias say, which on this week IS Christ the King's own, since RG 17(d) assigns that feast to the Sunday itself. That is what colitur emits. missalemeum emits the displaced ordinary Sunday's readings instead, which would require the exception clause to apply with no assigned Mass to invoke it. Its own limit, stated: this rests on reading a printed silence as the default rather than as an oversight, which the text cannot distinguish -- see register 6.16's own account of why that distinction is undecidable from the source. It is the same reading colitur applies everywhere else RG 299 governs, and applying it inconsistently here to match an oracle already adjudicated wrong six times would be the worse error.")
  (expected_rows 6))
  ((id M27)
  (citation "tools/extract_missalemeum_oracle.py's own header (the extraction script, not an RG citation): Christmas Day has THREE Masses in the 1962 Missal (Midnight/Dawn/Day), each with its own distinct Epistle+Gospel; this fixture's own entry[0] convention (verified, and documented, for every OTHER field it reads) takes the Midnight Mass, while colitur's own citation (bootstrapped from lectio) reflects the Day Mass -- two DIFFERENT, both genuine, Masses of the identical civil day")