From 1915f3bb9d74998a411bd55ae658cb3f58fd3477 Mon Sep 17 00:00:00 2001 From: Lukasz Kasprzak Date: Mon, 17 Aug 2026 14:26:42 +0200 Subject: docs(ef): fix round 2 -- three miscitations and a recorded blind spot Comment and citation corrections found by review, plus one finding that survived an attempt to reconstruct it. No behaviour change; the suite is unchanged at 358 green. The ferial rubric "Diebus ferialibus a 2 ad 5 ianuarii Missa dicitur ut die 1 ianuarii" was attributed to RG 17(a) in three test comments. It is not RG 17(a). RG 17(a) (LT.txt:843) fixes only WHEN the Holy Name is kept -- "celebrandum dominica quae occurrit a die 2 ad 5 ianuarii; secus die 2 ianuarii". The rubric quoted is a Mass-propers rubric printed under the Sanctissimi Nominis Iesu heading (scan1:6523-6526, corroborated scan2:7216), governing what the ordinary ferias of that window say when they are not the feast at all. Two rules sharing a date window. Fix round 1 had already corrected this on the data side; the generator's own comment was right throughout. Only the test comments were stale. test_differential.ml named bootstrap_lectionary.ml's derived_entries as the source of ef-holy-name's citations. That binding no longer exists -- it was the mechanism that derived them from ef-holy-name-sunday's wrongly-widened ini translation, removed in Task 9 because the derivation was itself the error. They are hand-authored from the scans now, as holy_name_entries. M26's shape 1 described its 21 rows as votive Masses of the BVM "on an otherwise-unoccupied feria, not only a Saturday", splitting them into 4 BVM-Saturday rows and 17 "ordinary weekday ferias". Every one of the 21 is a Saturday, each checked individually against date -d. The error was not merely verbal: it made the gap look broader than a single cause and pointed away from the one rule that explains all 21. The sub-groups differ by season, not weekday, and only in what colitur shows in the votive Mass's place. One gap -- the office is built (RG 91 entry 27), the seasonal selection among the five Masses is not. Recorded, not fixed: step 4 of the reading chain has no oracle witness at all. This began as a note to write up a live-oracle confirmation for Felicitas and Perpetua; the reconstruction contradicted its premise. The sweep ran over 2028, where 6 March resolves as a Lenten feria with the saint admitted only as a commemoration, so her own Mass is never read that year. The finding underneath is firmer: only five saints route through a Common, they are the observed office on five days in all of 2005-2050 (isidore-of-seville 2008/2035/2046, frances-rome and sts-felicitas-perpetua both 2038), two are never observed in 46 years, and none falls in layer 4's window. Layer 3 does not cover it either -- lectio resolves the literal "-"/"-" sentinel there, which is what C18 is gated on, so it confirms only that colitur emits a citation where lectio emits none, never that it is right. Closing it needs the oracle fixture extended to 2035, 2038 or 2046; that is a fixture-scope decision. Register: sections 6.6 and 6.7. CLAUDE.md's layer-blindness list gains the step-4 entry. --- test/test_oracle.ml | 40 +++++++++++++++++++++++++++------------- 1 file changed, 27 insertions(+), 13 deletions(-) (limited to 'test/test_oracle.ml') diff --git a/test/test_oracle.ml b/test/test_oracle.ml index 1e724b8..2d7060b 100644 --- a/test/test_oracle.ml +++ b/test/test_oracle.ml @@ -1230,19 +1230,33 @@ let m25_dates = [ "2026-03-09"; "2026-03-24"; "2027-03-01"; "2027-03-16" ] Mass... needs... a season-keyed selection among five formularies" -- RG 309(a), "iuxta temporum diversitatem"): - SHAPE 1 -- 21 rows: a rotating VOTIVE MASS OF THE BVM ("Missae de - sanctae Mariae in sabbato" I-V and their Time-after-Pentecost - siblings, missalemeum's own "II/III/V Mass of the B. V. M." titles) on - an otherwise-unoccupied feria, not only a Saturday -- 2026-01-03/ - 2026-01-10/2027-01-02/2027-01-09 are RG 78's own BVM SATURDAY Office - specifically (Task 6's own named open item; colitur's own step-3 - fallback, not the votive Mass, is what these four rows actually show - -- 2026-01-03/2027-01-09 are `ef-christmas-1-saturday`, C25's own - unchanged population in the sibling lectio differential; 2026-01-10/ - 2027-01-02 are `ef-christmas-2-saturday`); the other 17 of these 21 - are ordinary weekday ferias in Time after Pentecost showing the SAME - votive-Mass title (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 1 -- 21 rows, EVERY ONE A SATURDAY: a rotating VOTIVE MASS OF THE + BVM ("Missae de sancta Maria in sabbato" I-V, missalemeum's own + "II/III/V Mass of the B. V. M." titles) on an otherwise-unoccupied + IV-class Saturday -- RG 78's own Office throughout, and RG 309(a)'s own + "iuxta temporum diversitatem" selection of WHICH of the five Masses it + says. + + CORRECTED, fix round 2: this read "on an otherwise-unoccupied feria, not + only a Saturday", and split the 21 into 4 BVM-Saturday rows plus "the + other 17 ... ordinary weekday ferias in Time after Pentecost". Both + halves of that are wrong, and the error was not merely verbal -- it made + the gap look BROADER than a single cause, and pointed the diagnosis away + from the one rule that actually explains all 21. Every date was checked + individually against `date -d`, not inferred: the 17 + (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) are Saturdays + exactly like the four January ones. The real distinction between the two + sub-groups is SEASON, not weekday, and it matters only for what colitur + shows in the votive Mass's place: the four Christmastide rows + (2026-01-03/2027-01-09, `ef-christmas-1-saturday`, C25's own unchanged + population in the sibling lectio differential; 2026-01-10/2027-01-02, + `ef-christmas-2-saturday`) show its own step-3 ferial fallback, the 17 + Time-after-Pentecost rows its own season fallback. ONE gap, not two: + colitur builds the Office itself (RG 91 entry 27, register ยง6.4) but not + the seasonal selection among the five Masses, which that task + deliberately deferred to the lectionary as a Mass-propers question + rather than an office question. SHAPE 2 -- 9 rows, a SECOND, DIFFERENT and DISTINCT gap: ferias of a week whose own Sunday was DISPLACED that year by a movable, named -- cgit v1.3