diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-12 17:49:11 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-12 17:49:11 +0200 |
| commit | 25fedcaf3044828333ba15b232fdc7c7f84970e5 (patch) | |
| tree | 88f122f45a22fbe72e7c7d720c99670d7d399283 /test/test_sanctoral_ef.ml | |
| parent | 71e8d83a094b90b7aa4a30fcc7e719d6399b85f4 (diff) | |
| download | colitur-25fedcaf3044828333ba15b232fdc7c7f84970e5.tar.gz colitur-25fedcaf3044828333ba15b232fdc7c7f84970e5.zip | |
data(ef): re-bootstrap sanctoral.sexp from the corrected lectio source
Regenerated via tools/bootstrap_sanctoral.ml against lectio's
tridentine-calendar.ini (SHA-256 6a25e634... -> 1b303ef2...), whose own
generator was independently fixed in a concurrent session. 327 entries (223
feast, 104 commemoration-only), up from 322 (208/114):
- 15 entries wrongly bootstrapped `rank = commemoration` are now
`class-3` (a real III-class Feast) -- all 6 March-5 April, all
primary-source-verified against the calendarium (register's own
"Commemoration-only entries' inferred STATUS" item).
- 5 new entries: agnes-secundo (28 Jan), boniface-martyr (14 May),
eusebius-confessor (14 Aug), evaristus (26 Oct), theodore (9 Nov) --
all Commemoration_only, all primary-source-verified (register's "Four
confirmed sanctoral DATA GAPS" item + expected-divergences-missalemeum
.sexp's former M4/M6/M7/M9/M14).
- commemoration-of-the-baptism-of-the-lord (13 Jan) is now
`(subject Lord)` (the source's own `class` field, not a colitur
overlay); most-holy-name-of-mary (12 Sep) no longer carries `class =
lord` at all (the source dropped it), so the bootstrap default
(Subject.Saint) is now correct there without help from
adjustments.sexp's own Edit.
test_sanctoral_ef.ml's pinned counts (327/104/12 Class1) are re-derived
directly from the source INI (`grep -c '^\['`, `grep '^rank' | sort |
uniq -c`), not transcribed from a bootstrap-tool or `colitur day` run.
data/ef/adjustments.sexp and the differential/oracle allow-lists still
need updating for the consequences of this regeneration -- follow-up
commits.
Diffstat (limited to 'test/test_sanctoral_ef.ml')
| -rw-r--r-- | test/test_sanctoral_ef.ml | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/test/test_sanctoral_ef.ml b/test/test_sanctoral_ef.ml index 8fb178f..24ed972 100644 --- a/test/test_sanctoral_ef.ml +++ b/test/test_sanctoral_ef.ml @@ -28,13 +28,25 @@ let load () = let mkdate m d = match DS.fixed ~month:m ~day:d with Ok t -> t | Error e -> failwith e +(* Counts re-derived 2026-08-12 (ef-rebootstrap) against the regenerated + source INI directly (`grep -c '^\['` minus the [layer] header itself; + `grep '^rank' | sort | uniq -c`) -- NOT copied from a `colitur day`/ + bootstrap-tool run, per this project's own "derive the new value, don't + transcribe it from output" pinning discipline. The source's SHA-256 moved + 6a25e634... -> 1b303ef2..., correcting: 15 entries wrongly `rank = + commemoration` that are really class-3 feasts (322 -> 327's own feast/ + comm split moves 15 the other way before the net +5 below); 5 entries + newly present (agnes-secundo, boniface-martyr, eusebius-confessor, + evaristus, theodore -- all Commemoration_only), so 322 + 5 = 327 and + 114 - 15 + 5 = 104. Class1 count (12) is untouched by this regeneration -- + none of the 20 changed/added entries is Class1. *) let test_load_and_counts () = let l = load () in - Alcotest.(check int) "322 entries" 322 (List.length l.L.entries); + Alcotest.(check int) "327 entries" 327 (List.length l.L.entries); let commemoration_only = List.filter (fun e -> e.L.cel.Cel.status = Cel.Commemoration_only) l.L.entries in - Alcotest.(check int) "114 Commemoration_only" 114 (List.length commemoration_only); + Alcotest.(check int) "104 Commemoration_only" 104 (List.length commemoration_only); let class1 = List.filter (fun e -> e.L.cel.Cel.rank = V.Class1) l.L.entries in Alcotest.(check int) "12 Class1" 12 (List.length class1); let temporal_subjects = List.filter (fun e -> e.L.cel.Cel.subject = Sub.Temporal) l.L.entries in |
