aboutsummaryrefslogtreecommitdiff
path: root/data
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-08-11 23:46:51 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-08-11 23:46:51 +0200
commit21dab521d6bfe8e4e7d04f761c11754059339ba2 (patch)
tree0efa49c48175bb4840a87b5a39ae0c297777cb5a /data
parent3583448631c1f1cf0767728d605a858fcb810cfc (diff)
downloadcolitur-21dab521d6bfe8e4e7d04f761c11754059339ba2.tar.gz
colitur-21dab521d6bfe8e4e7d04f761c11754059339ba2.zip
test(ef): prove the II-class-Sunday privilege override end-to-end
Adds test_ii_class_sunday_privileged_witness_admitted_end_to_end, proving RG 111's "II-class Sundays: one, dropped if a privileged one is due" clause through the real pipeline (band, disposition, privilege_of, admit together), not only at the isolated admit level. RG 109(b) is the one privileged category that is sanctoral and rank-based rather than temporal-origin: a Commemoration_only, Class1 sanctoral candidate (the same shape disposition_cases already uses as (b)'s witness) is held out of the band contest entirely by Precedence.resolve, so it always loses regardless of what wins the day. Paired with an ordinary sanctoral saint, both losing to an ordinary Class2 Sunday, gives observed_is_sunday = true with one privileged and one ordinary loser due at once, with no new fixture. Documents, and mutation-confirms, what this fixture does and does not prove: RG 109(b)'s only reachable witness is Class1 (the highest dignity), so the privileged loser here is unavoidably also the higher-dignity one, and the admission outcome alone cannot distinguish "privilege overrides dignity" from "dignity alone picked the same winner" -- that distinction remains admit_cases's job. What this test does prove, and what a category-(b) regression in privilege_of breaks, is the privilege tag itself surviving the real pipeline end-to-end.
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions