aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-08-13 13:45:46 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-08-13 13:45:46 +0200
commit67855ae3125148116df870bf1a9abeac5b501d5b (patch)
treeaad8cd588a8a33202bfed990fec99d5eafc25dcd /test
parent08c18dd43f0fb891806df1077cdf1bab35a59341 (diff)
downloadcolitur-67855ae3125148116df870bf1a9abeac5b501d5b.tar.gz
colitur-67855ae3125148116df870bf1a9abeac5b501d5b.zip
docs: a name that matched no scan, and a blocker that was not real
Two corrections from the fix-round review, both to the record. "Sabbato Sancto" is attested zero times in either photographic scan. The scans print SABBATO SANCTO as the heading (once) and "Sabbato sancto" as the running header (28x and 30x); the shipped casing appears only in the electronic transcription's table of contents -- the source this project's own methodology rule deprecates -- while the comment beside it called the value "both photographic scans, word for word". Recased to the running-header form, which is the convention the other three Latin names in the file already follow, with a source note recording the count. Third source-fidelity slip this week, and the first where the wrong value came from the deprecated source itself. The Major Litanies deferral was recorded with two false blockers. It claimed a kernel signature extension was needed to suppress the feast in transfer years: admit already takes ~temporal and disposition already takes ~winner, both carrying the Easter office on 25 April, so a rite-local slug test does it with zero kernel surface. And it implied Easter Monday is unmarkable: ef-easter-1-monday occurs exactly 8417 times in 8417 years, as reliable as ef-easter-sunday. So the guarded build -- never scored -- is a strict improvement, 8223 years newly correct against 194 unchanged, and "worse than the gap" was true only of the unguarded one. Deferring is still right, for a reason nobody had found: 25 April is St Mark, II class, so under RG 111(c) a privileged Litanies commemoration would displace the day's existing ordinary commemoration in ~97.7% of years -- an unmeasured blast radius through layers 3 and 4. That measurement is the prerequisite. The 194 figure is exact and reproduces. Also corrects a subject-audit list that named five months for six entries, omitting the Precious Blood on 1 July.
Diffstat (limited to 'test')
-rw-r--r--test/test_golden.ml6
-rw-r--r--test/test_temporal_ef.ml6
2 files changed, 7 insertions, 5 deletions
diff --git a/test/test_golden.ml b/test/test_golden.ml
index 68478ec..594ea6b 100644
--- a/test/test_golden.ml
+++ b/test/test_golden.ml
@@ -165,7 +165,7 @@ let omitted_has (day : (V.season, V.rank) LD.t) slug =
let test_easter_extreme_1598 () =
check ~msg:"1598-03-21 Holy Saturday: still Passiontide, violet (RG 128)" 1598 3 21
"1598-03-21 saturday season=passiontide week=2 slug=ef-passiontide-2-saturday rank=class-1 colour=violet subject=lord \
- name_la=Sabbato Sancto comms=[] in=- out=[]";
+ name_la=Sabbato sancto comms=[] in=- out=[]";
check ~msg:"1598-03-22 earliest possible Easter (Gauss-verified): Paschaltide begins, white, class-1" 1598 3
22
"1598-03-22 sunday season=paschaltide week=1 slug=ef-easter-sunday rank=class-1 colour=white subject=temporal name_la=- comms=[] in=- \
@@ -177,7 +177,7 @@ let test_easter_extreme_1598 () =
let test_easter_extreme_1666 () =
check ~msg:"1666-04-24 Holy Saturday: still Passiontide, violet (RG 128)" 1666 4 24
"1666-04-24 saturday season=passiontide week=2 slug=ef-passiontide-2-saturday rank=class-1 colour=violet subject=lord \
- name_la=Sabbato Sancto comms=[] in=- out=[]";
+ name_la=Sabbato sancto comms=[] in=- out=[]";
check ~msg:"1666-04-25 latest possible Easter (Gauss-verified): Paschaltide begins, white, class-1" 1666 4
25
"1666-04-25 sunday season=paschaltide week=1 slug=ef-easter-sunday rank=class-1 colour=white subject=temporal name_la=- comms=[] in=- \
@@ -206,7 +206,7 @@ let test_easter_extreme_1666 () =
let test_easter_extreme_2038_late_modern () =
check ~msg:"2038-04-24 Holy Saturday: still Passiontide, violet (RG 128)" 2038 4 24
"2038-04-24 saturday season=passiontide week=2 slug=ef-passiontide-2-saturday rank=class-1 colour=violet subject=lord \
- name_la=Sabbato Sancto comms=[] in=- out=[]";
+ name_la=Sabbato sancto comms=[] in=- out=[]";
check ~msg:"2038-04-25 late-modern instance of the latest possible Easter (Gauss-verified)" 2038 4 25
"2038-04-25 sunday season=paschaltide week=1 slug=ef-easter-sunday rank=class-1 colour=white subject=temporal name_la=- comms=[] in=- \
out=[]"
diff --git a/test/test_temporal_ef.ml b/test/test_temporal_ef.ml
index a979700..5394173 100644
--- a/test/test_temporal_ef.ml
+++ b/test/test_temporal_ef.ml
@@ -764,7 +764,9 @@ let test_holy_name_fallback_anchor_present_and_erosion_is_caught () =
sanctoral entry anywhere in data/ef/sanctoral.sexp has a FIXED civil date
inside Holy Week's own movable range (earliest 19 March, latest 24 April
-- the register's own subject audit lists exactly six [Lord]-tagged
- entries, all fixed in January, February, August, September or November);
+ entries, all fixed in January, February, JULY, August, September or
+ November -- the Precious Blood, 1 July, was omitted from this list until
+ the fix-round review counted six entries against five months);
any [Class1] sanctoral entry that DOES land there (e.g. a transferred
Annunciation) reaches {!Rite_ef.Precedence_ef.disposition}'s EARLIER,
subject-blind "I class, not a Sunday -> Transfer" branch first, so RG
@@ -792,7 +794,7 @@ let test_sacred_triduum_identity () =
Alcotest.(check bool) "2026-04-04 Holy Saturday: subject Lord" true
(subject_of (d 2026 4 4) = Sub.Lord);
Alcotest.(check (option string)) "2026-04-04 Holy Saturday: Latin name, both photographic scans verbatim"
- (Some "Sabbato Sancto") (name_la_of (d 2026 4 4));
+ (Some "Sabbato sancto") (name_la_of (d 2026 4 4));
(* Neighbouring days carry no name/subject override -- the tag is exactly
three days wide, not the whole Passiontide-2 week. *)
Alcotest.(check (option string)) "2026-04-01 (Wednesday of Holy Week): no Latin name"