aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel/precedence.ml
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-08-12 12:20:23 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-08-12 12:20:23 +0200
commit50ae89dbb1d3722494e4a5338f8ae314a1807249 (patch)
treec7667d6373e49f6f3e2dad918828f58dd9532545 /lib/kernel/precedence.ml
parentcab8b0702b6ba02e1e6293a6e06e77664e1604a1 (diff)
downloadcolitur-50ae89dbb1d3722494e4a5338f8ae314a1807249.tar.gz
colitur-50ae89dbb1d3722494e4a5338f8ae314a1807249.zip
test(ef): golden pins for RG16(a), both directions
Two real dates, hand-verified against the rubric before pinning (test_golden.ml's own discipline): 2028-08-06, the Transfiguration suppressing an ordinary Sunday's commemoration entirely (with an unrelated III-class saint the same fixed date, Pope Sixtus II et al., still getting its own ordinary commemoration -- proof the rule targets the Sunday specifically, not every commemoration due that day); and 2025-02-02, the corrected Purification -- the Sunday observed, the Purification surviving as an ordinary commemoration, the exact opposite of what RG16(a) would have done to it before the data fix. Re-ran the exhaustive sweep (COLITUR_EXHAUSTIVE_SWEEP=1 dune test --force): 1583-9999, 0 failures, including the resolution invariants that now see RG16(a)'s changed commemoration accounting.
Diffstat (limited to 'lib/kernel/precedence.ml')
0 files changed, 0 insertions, 0 deletions