diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-12 12:20:23 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-12 12:20:23 +0200 |
| commit | 50ae89dbb1d3722494e4a5338f8ae314a1807249 (patch) | |
| tree | c7667d6373e49f6f3e2dad918828f58dd9532545 /lib/kernel/liturgical_day.mli | |
| parent | cab8b0702b6ba02e1e6293a6e06e77664e1604a1 (diff) | |
| download | colitur-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/liturgical_day.mli')
0 files changed, 0 insertions, 0 deletions
