diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-11 23:46:51 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-11 23:46:51 +0200 |
| commit | 21dab521d6bfe8e4e7d04f761c11754059339ba2 (patch) | |
| tree | 0efa49c48175bb4840a87b5a39ae0c297777cb5a /data/ef | |
| parent | 3583448631c1f1cf0767728d605a858fcb810cfc (diff) | |
| download | colitur-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/ef')
0 files changed, 0 insertions, 0 deletions
