aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-08-12 14:43:56 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-08-12 14:43:56 +0200
commit81bb608ad60877df977af16f69f1ee0c99aa68f4 (patch)
tree7f54170c4cea3f78ea52b142544f36b32a30a816 /test
parent993bec2a77912189e4f678c1fdf2848e0f6f8f92 (diff)
downloadcolitur-81bb608ad60877df977af16f69f1ee0c99aa68f4.tar.gz
colitur-81bb608ad60877df977af16f69f1ee0c99aa68f4.zip
fix(ef): M6 was convicted on the transcription's silence, not a scan
data/ef/expected-divergences-missalemeum.sexp's M6 entry and its matching comment in test/test_oracle.ml both cited 1962-06-23,_SS_Ioannes_XXIII, _Missale_Romanum,_LT.pdf's 14 August row ("Vigilia, II classis." -- nothing else) as if it were the calendarium itself. It is an electronic transcription that silently drops commemoration lines the photographic scans carry. missale-romanum-1962.pdf's 14 August row reads "Vigilia, II classis, Commemoratio S. Eusebii Conf.", with its own proper following -- independently confirmed in the second scan, Missale Romanum 1962_text.pdf. M6's verdict flips colitur -> missalemeum: this is a genuine colitur data gap, the same shape as M4/M7/M9/M14 (absent from data/ef/sanctoral.sexp and from lectio's own tridentine-calendar.ini), not a spurious oracle entry. Not fixed here for the same reason those four are not: it requires touching lectio's own bootstrap source, out of reach for this task. expected_rows is unchanged (2) -- the diff shape the allow-list predicate matches does not depend on which side is judged correct, confirmed by the suite passing unchanged. A companion register ruling that convicted romanus (9 August) on the identical reasoning -- and the register's own sanctoral-audit bucket counts that followed from it -- are corrected in docs/research/ rules-register.md (gitignored, not part of this commit). Full audit method, the complete list of dropped commemorations found across the whole calendarium, and every other ruling checked for the same defect are in .superpowers/sdd/2026-08-12-colitur-rg16a/transcription-audit- report.md (also gitignored).
Diffstat (limited to 'test')
-rw-r--r--test/test_oracle.ml38
1 files changed, 25 insertions, 13 deletions
diff --git a/test/test_oracle.ml b/test/test_oracle.ml
index ac8d95d..0aed1b9 100644
--- a/test/test_oracle.ml
+++ b/test/test_oracle.ml
@@ -345,19 +345,31 @@ let m4_dates = [ "2026-01-28"; "2027-01-28" ]
report). *)
let m5_dates = [ "2026-04-25" ]
-(* M6 -- the reverse of M4/M7/M9: the primary calendarium's own row for 14
- August reads, in full, "Vigilia, II classis." -- nothing else. No
- commemoration is listed for that date anywhere in the source this
- project treats as authoritative (CLAUDE.md binding decision 1). data/ef/
- sanctoral.sexp agrees (a single entry, [vigil-of-the-assumption], 14
- Aug). missalemeum's own "St. Eusebius" commemoration for that date has
- no support in the 1962 universal calendar found here (a DIFFERENT St
- Eusebius, bishop and martyr, is genuinely commemorated 16 December,
- matching lectio's own [eusebius] entry at that date -- not this one).
- Verdict colitur: this is the one direction among M4/M6/M7/M9 where the
- oracle itself appears to be carrying data outside the 1962 universal
- calendar (a pre-1955 survival or a different edition), not colitur
- missing something real. *)
+(* M6 -- CORRECTED 2026-08-12, transcription-audit task (branch ef-rg16a):
+ the previous version of this comment read the ELECTRONIC TRANSCRIPTION
+ (1962-06-23,_SS_Ioannes_XXIII,_Missale_Romanum,_LT.pdf), which silently
+ drops calendarium commemorations, and mistook its silence for the
+ calendarium's own -- "reads, in full, 'Vigilia, II classis.' -- nothing
+ else" was true of the TRANSCRIPTION only. A photographic scan
+ (missale-romanum-1962.pdf), 14 August row: "Vigilia, II classis,
+ Commemoratio S. Eusebii Conf.", with its own proper immediately
+ following ("Eodem die ... Et fit commemoratio S. Eusebii Conf.") --
+ independently confirmed in the second scan, Missale Romanum 1962_text
+ .pdf. The same shape as M4/M7/M9/M14, NOT their reverse: a genuine
+ commemoration is present in the calendarium and in missalemeum's own
+ data, but absent from data/ef/sanctoral.sexp and lectio's own
+ tridentine-calendar.ini (no 08-14 entry beyond [vigil-of-the-assumption]).
+ This Eusebius Confessor (14 Aug) is a genuinely DIFFERENT saint from
+ Eusebius Bishop and Martyr (16 Dec, already correctly in data/ef/
+ sanctoral.sexp, matching lectio's own [eusebius] entry at THAT date) --
+ both exist, at their own separate dates. Verdict missalemeum (flipped
+ from colitur): colitur is missing this commemoration, a genuine data gap
+ not fixable without touching ~/git/projects/lectio -- see
+ docs/research/rules-register.md, Decisions item 4 and the
+ transcription-audit record in section 6, for the full account and the
+ wider calendarium sweep this correction came from. The diff SHAPE this
+ predicate matches (Comm_presence, both dates) is unchanged by the
+ verdict flip -- only which side is right, and why, changed. *)
let m6_dates = [ "2026-08-14"; "2027-08-14" ]
(* M7 -- a genuine DATA GAP, primary-source-confirmed, the same shape as