; data/ef/expected-divergences-lms.sexp -- Task 6 (2026-08-21-colitur-
; celebrant-rubrics-phase1)'s cited allow-list for the LMS Ordo comparison
; (test/test_lms_ordo.ml), fixture window 2024-11-27..2025-12-31.
;
; A SEPARATE file from data/ef/expected-divergences.sexp (the lectio
; allow-list) and data/ef/expected-divergences-missalemeum.sexp (the
; missalemeum/Divinum-Officium-lineage allow-list): this Ordo is a THIRD,
; independent lineage (a printed England & Wales diocesan book, ISBN
; 9781739209636, compiled directly from the 1962 Missal/1960 rubrics --
; never passed through Divinum Officium, missalemeum or lectio), so its
; own divergences are kept apart rather than tangled into either existing
; file's own provenance.
;
; [verdict] names which side this task's own primary-source research
; backs, the SAME convention the missalemeum file's own header states:
; not always "colitur".
;
; L1 -- 2025-11-03 (All Souls' Day, transferred from 2 November, a Sunday
; that year, to the next available day -- RG's own transfer of a
; Commemoration when it falls on a Sunday). colitur (Rite_ef.Rubrics_ef.
; creed) says the Creed IS said (true): observed.rank = Class1, so RG
; 475(b)'s "in festis I classis" branch fires with nothing to stop it.
; The Ordo says it is NOT said (false): "Mon 3 ALL SOULS' DAY I Cl B / No
; Gl Sequence No Cr Pr of the Dead No Blessing" -- confirmed directly
; against the extracted pdftotext text, not merely the fixture row.
;
; The Ordo is right and colitur is not, on the rubric itself: RG 476(f),
; "Non dicitur symbolum ... f) in Missis defunctorum" -- the Creed is
; never said at a Requiem Mass, and All Souls' Day is definitionally one
; (colour black in colitur's own output on this very date). This is NOT a
; new defect this task found and is choosing to leave open -- it is
; rubrics_ef.ml's OWN documented scope limit, stated in that file's header
; comment before this task existed: "476(f) (Requiem Masses, also not
; modelled) ... genuinely inapplicable to this implementation -- a
; documented scope limit, not a defect." [creed] has no notion of "this
; Mass is a Requiem" anywhere in its own inputs (temporal/observed/date),
; so it cannot express 476(f) without a signature change this task's own
; constraints do not authorise (lib/ is read-only here except for this
; allow-list). Recorded here as the SPECIFIC real-world day the scope
; limit is finally witnessed on, rather than left as an abstract note in
; a doc comment nobody's data ever exercised.
;
; Domain-wide count: unmeasured (out of this task's scope -- would need a
; sweep of every I-class Requiem-shaped day 1583-9999, which does not
; exist as a distinct predicate in this codebase to sweep on). The two
; days this WOULD also apply to in principle -- 2 November itself in any
; year it does not fall on a Sunday, and the plain All Souls' Day office
; whenever it is not transferred -- are outside this fixture's own
; window's reach for a second occurrence, so only the one real day above
; is witnessed and adjudicated here.
((id L1)
 (citation "RG 476(f): \"Non dicitur symbolum ... f) in Missis defunctorum\" -- the Creed is never said at a Mass of the dead; rubrics_ef.ml's own header already documents this Mass-type as unmodelled")
 (verdict lms_ordo)
 (note "colitur's [creed] has no notion of a Requiem Mass in its inputs (temporal/observed/date), so RG 475(b)'s I-class branch fires unopposed on All Souls' Day (Class1, black). A pre-existing, self-documented scope limit (rubrics_ef.ml's own header), witnessed here for the first time on a real date rather than left as an abstract note: 2025-11-03, All Souls' Day transferred from Sunday 2 November. The Ordo (\"No Gl Sequence No Cr Pr of the Dead\") is correct on the rubric.")
 (expected_rows 1))