diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-12 12:16:53 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-12 12:16:53 +0200 |
| commit | 04f7521a9143d8888d1e29a3e5c2d60eaae56951 (patch) | |
| tree | 32fc3bf61c0717f2456046befdf7605425cf0093 /tools | |
| parent | e19adb9c7ea369cafe76e7eff50e9248a4a954d0 (diff) | |
| download | colitur-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 'tools')
0 files changed, 0 insertions, 0 deletions
