aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel/vocab.ml
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-08-13 20:15:56 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-08-13 20:15:56 +0200
commit81c72ce9fc4b769be19e6373ce66852acd5b3425 (patch)
tree2fc2f0d2c37b02a05695080b254875fff9231e7c /lib/kernel/vocab.ml
parent84333a8c74ddb3988ad88398632ca5e1c7788e56 (diff)
downloadcolitur-81c72ce9fc4b769be19e6373ce66852acd5b3425.tar.gz
colitur-81c72ce9fc4b769be19e6373ce66852acd5b3425.zip
test(ef): oracle allow-list for the Major Litanies, and a source-fidelity correction
M5 (the pre-existing register-cited gap this task closes) had a genuine backwards claim in its own note: it said missalemeum's single admitted commemoration on 25 April 2027 (the Sunday-conflict year) was "the Major Litanies". Checked directly against the raw fixture row while adjudicating this task's own new divergence -- missalemeum's own commemorations field there is "St. Mark"; "Pro rogationibus" (the Litanies) is the one listed as displaced. Corrected in place, both the .sexp entry and this file's own header note. M5 itself now covers only the ordinary case (25 April 2026): presence agrees now that the entity is built, identity does not (colitur's own English name vs missalemeum's Latin-ish descriptive string), the same declared comparator limit M15/M18 already document, hit here for a different reason. The real, substantive divergence the correction exposes: colitur now admits the Litanies on 2027-04-25 where missalemeum admits Mark. New entry M20, adjudicated colitur -- RG 109(f) places the Litanies in the same closed privileged list as (a)-(e), and RG 111(b)'s own text is unconditional ("the II-class commemoration is dropped if a privileged one is due", no table-order qualifier). The same mechanism already primary-source-verified and used for other RG 109 categories elsewhere in this codebase; honestly flagged as the first real, non-synthetic test of this specific admit clause, consistent with this oracle's own already-documented pattern of RG 108-111 gaps (M1, M8, M10). M18's own count moves 395 -> 394 (2027-04-25 no longer falls into "observed- identity-unresolved alone"; it moved into M20), traced to the specific date and mechanism, not merely re-baselined. data/ef/expected-divergences.sexp (the lectio allow-list) needed no change: lectio computes no Major Litanies at all, and its own row type carries no commemorations field -- layer 3 is entirely blind to this change, confirmed rather than assumed.
Diffstat (limited to 'lib/kernel/vocab.ml')
0 files changed, 0 insertions, 0 deletions