aboutsummaryrefslogtreecommitdiff
path: root/test/test_computus.ml
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-08-12 12:16:53 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-08-12 12:16:53 +0200
commit04f7521a9143d8888d1e29a3e5c2d60eaae56951 (patch)
tree32fc3bf61c0717f2456046befdf7605425cf0093 /test/test_computus.ml
parente19adb9c7ea369cafe76e7eff50e9248a4a954d0 (diff)
downloadcolitur-04f7521a9143d8888d1e29a3e5c2d60eaae56951.tar.gz
colitur-04f7521a9143d8888d1e29a3e5c2d60eaae56951.zip
kernel(rite-ef): apply RG16(a) -- a Feast of the Lord leaves the impeded Sunday uncommemorated
Caput III "De Dominicis", RG 16(a): a Feast of the Lord, I or II class, occurring on a II-class Sunday takes the Sunday's own place with all its rights and privileges -- of the Sunday, therefore, no commemoration is made. band's entry 14 already ranked such a feast above the Sunday correctly; disposition had no exception for the collision, so the impeded Sunday fell through to the ordinary RG 95/109(a) commemorate-or-omit catch-all and was wrongly admitted as a privileged commemoration. Adds a branch to Rite_ef.Precedence_ef.disposition, gated on all four of: loser is temporal-origin, loser rank Class2, loser carries the Sunday slug marker, winner rank Class1-or-2 with subject Lord. No signature change -- disposition already receives the winner (RG 33's own vigil-omission branch already reads it); each conjunct is proved independently load-bearing by a dedicated disposition_cases row, including one real-data case each for the winner's subject and rank conjuncts, and a defensive synthetic case for the winner rank conjunct's currently-unreachable Class3 shape. A new end-to-end resolve-level test (2028-08-06, the Transfiguration) proves the real band/disposition pipeline together, checking the Omit reason string distinguishes this from admit's own admission-limit cut.
Diffstat (limited to 'test/test_computus.ml')
0 files changed, 0 insertions, 0 deletions