diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-11 23:41:33 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-11 23:41:33 +0200 |
| commit | 3583448631c1f1cf0767728d605a858fcb810cfc (patch) | |
| tree | 83975a3e6afde5b4bae42e3649bb03940716f928 /tools/dune | |
| parent | 2ad350e0f97a99f76ac1d2d95cfa210f7393c777 (diff) | |
| download | colitur-3583448631c1f1cf0767728d605a858fcb810cfc.tar.gz colitur-3583448631c1f1cf0767728d605a858fcb810cfc.zip | |
rite(ef): an impeded I-class Sunday commemorates, not transfers
disposition's Class1 branch was unconditional on rank, so an impeded
I-class Sunday (Advent/Lent/Passiontide/Low Sunday) currently
transferred like a feast. RG 95 (register lines 323, 363) restricts the
right of translation to I-class FEASTS -- RG 91's own table lists
Sundays as a separate row (entry 6, line 332) from feasts (entries
11-13, lines 337-339) -- and RG 109(a) (line 374) lists "of a Sunday"
as a privileged commemoration category, which presupposes an impeded
Sunday stays put rather than moving to another day.
Excludes is_sunday_slug losers from the Transfer branch so they fall
through to the existing Commemorate (privilege_of loser) branch, which
already tags them Privileged via RG 109(a) with no further change.
Fires on real dates in the 2005-2050 differential window: 24 December
on Advent IV in 2023, 2028, 2034, 2045; 8 December on an Advent Sunday
in 2024, 2030, 2041.
Verified no previously-passing Transfer assertion used a Sunday-shaped
loser (grepped test_precedence_ef.ml, test_calendar.ml -- which uses
its own synthetic rite unrelated to Precedence_ef.disposition --
test_colitur.ml, test_validate.ml); confirmed by mutation-reverting the
fix and observing exactly the one new test fail, nothing else.
Diffstat (limited to 'tools/dune')
0 files changed, 0 insertions, 0 deletions
