1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
; data/of/expected-divergences-litcal.sexp -- of-litcal-layer task
; (2026-08-25)'s cited allow-list for the litcal external-validation layer
; (test/test_litcal_of.ml), fixture window 2023-12-03..2035-12-01 (twelve
; litcal liturgical years, 4382 civil days).
;
; ONE active entry. The Ordinary Time WEEK comparison (the actual risk this
; layer exists to validate, Normae n. 44's two-block resumption arithmetic)
; carries NO allow-list at all -- see test_litcal_of.ml's own
; [test_ordinary_time_week_matches] comment for why a witnessed week is
; zero-tolerance, not an "expected divergence" shape.
; L1 -- OPEN BY DESIGN, adjudicated "colitur" (a deliberate, cited design
; decision, not a defect on either side). Fires on every litcal row tagged
; EASTER_TRIDUUM: Holy Thursday's own evening Mass of the Lord's Supper,
; Good Friday, and Holy Saturday, across all twelve fixture years -- 3
; dates x 12 years = 36 rows, exactly.
;
; litcal's own data model gives the Sacred Triduum a season value of its
; own (`liturgical_season: EASTER_TRIDUUM`), distinct from both LENT and
; EASTER. colitur's `Vocab_of.season` has no such value: it keeps the
; whole civil day of Holy Thursday, Good Friday and Holy Saturday inside
; `Lent`, per lib/rites/rite_of/temporal_of.ml's own top-of-module
; citation --
;
; Normae n. 28 (PRIMARY): "Tempus Quadragesimae decurrit a feria IV
; Cinerum ad Missam in Cena Domini EXCLUSIVE" -- Lent runs from Ash
; Wednesday up to (excluding) the evening Mass of the Lord's Supper. At
; colitur's own civil-day granularity (one season per date, never a
; sub-day boundary), the excluded boundary is an EVENT within Holy
; Thursday's own civil day, not an earlier day -- so the whole day stays
; Lent.
;
; Normae n. 30 (PRIMARY, independent second anchor): "Dominicae huius
; temporis appellantur dominicae I, II, III, IV, V in Quadragesima.
; Dominica sexta, in qua initium sumit Hebdomada sancta, dicitur...
; 'Dominica in palmis de Passione Domini'" -- Holy Week (Palm Sunday
; through the Vigil) is Lent's OWN sixth week by the Missal's own prose,
; not a season outside Lent's numbering.
;
; Normae Titulus II's own six subsection headings (II-VI): FIVE are
; literally called a "tempus"; "Triduum paschale" is deliberately NOT --
; a real textual signal that the document's own authors did not count
; the Triduum among the season vocabulary a day's season field needs to
; name, corroborated by the Missal's own Mass-propers structure printing
; "HEBDOMADA SANCTA" and "SACRUM TRIDUUM PASCHALE" as two separate
; headings, neither titled "tempus" either.
;
; So litcal's EASTER_TRIDUUM is a genuine, defensible IMPLEMENTATION
; choice (giving the Triduum its own practical season tag, useful for an
; API consumer), and colitur's `Lent` is an equally genuine, primary-
; source-argued READING of the same Normae text that declines to invent a
; sixth season value the text itself does not name. Neither side is wrong;
; this is a vocabulary question the two engines answer differently by
; design, not a computation either got wrong -- verdict "colitur" here
; means "colitur's own choice is deliberate and cited", not "litcal is in
; error".
;
; The ROW SELECTION that produces exactly 36, not 24 or 48, is explained
; in test/fixtures/litcal-temporal-2024-2035.sexp's own header and
; tools/extract_litcal_ordo.py's own top-of-file comment: Holy Thursday
; carries TWO non-vigil litcal rows on the same civil date (the Chrism
; Mass, LENT, and the evening Mass of the Lord's Supper, EASTER_TRIDUUM);
; the Chrism row is excluded upstream (in the fixture generator, not
; here) so the evening Mass -- the day's own actual public/parish liturgy
; -- represents the date, giving Holy Thursday the SAME season shape as
; Good Friday and Holy Saturday (each of which has only one non-vigil row,
; always EASTER_TRIDUUM) rather than an inconsistent 2-of-3 split.
((id L1)
(citation "Normae nn. 28, 30; Normae Titulus II's own six subsection headings")
(verdict colitur)
(note "Holy Thursday (evening Mass)/Good Friday/Holy Saturday: litcal tags EASTER_TRIDUUM, colitur has no Triduum season value and keeps the whole day Lent -- a cited design decision, not a defect.")
(expected_rows 36))
|
