diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-12 02:12:12 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-12 02:12:12 +0200 |
| commit | 51f8a25da4f0f939e0a77ce89b5c4b769c6bfe48 (patch) | |
| tree | 547fed6ce28b8797335d67d523bbcc1489129faf /README.md | |
| parent | 633306c8a5ac1854f30749f498498104ebc84edc (diff) | |
| download | colitur-51f8a25da4f0f939e0a77ce89b5c4b769c6bfe48.tar.gz colitur-51f8a25da4f0f939e0a77ce89b5c4b769c6bfe48.zip | |
test(rite_ef): pin no transfer ever lands inside the Easter octave
Task 11's re-review found that Precedence_ef.transfer_target's
Annunciation/Easter condition -- and RG 96's general walk more broadly --
is correct only because Temporal_ef happens to make every day from
Easter Sunday through Low Sunday (Easter+0..+7) blocking (Class1/2):
Easter and Low Sunday via named, every day between via
privileged_feria. Nothing enforces that; a future edit narrowing the
octave's blocking range could let a translated feast land inside it,
silently.
Add a test for the consequence, not the mechanism: over 2005-2050 (real
data, the project's own differential window), no day in [Easter,
Easter+7] is ever a transfer's target, checked against both
transferred_in and transferred_out's own recorded target dates. Plus a
direct, deliberately-constructed case that starts the RG 96 search
inside Holy Week itself (Holy Thursday 2026, real occupant), pinning
that the search lands on Easter+8 -- and a companion test that reads the
real occupant's own rank across the whole [origin+1, Easter+7] span to
confirm the search genuinely walked through the window rather than
stopping early for an unrelated reason.
Mutation-verified: narrowing privileged_feria's post-Easter range (6 to
4 days) makes all three new tests fail, including a real natural
occurrence the fixture did not anticipate (St Joseph, 19 March,
transferring into Easter+5 in 2008/2035/2046) -- not just the
deliberately constructed Holy Week case.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions
