aboutsummaryrefslogtreecommitdiff
path: root/data
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-08-11 23:41:33 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-08-11 23:41:33 +0200
commit3583448631c1f1cf0767728d605a858fcb810cfc (patch)
tree83975a3e6afde5b4bae42e3649bb03940716f928 /data
parent2ad350e0f97a99f76ac1d2d95cfa210f7393c777 (diff)
downloadcolitur-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 'data')
0 files changed, 0 insertions, 0 deletions