aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel/date_spec.mli
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-08-12 02:12:12 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-08-12 02:12:12 +0200
commit51f8a25da4f0f939e0a77ce89b5c4b769c6bfe48 (patch)
tree547fed6ce28b8797335d67d523bbcc1489129faf /lib/kernel/date_spec.mli
parent633306c8a5ac1854f30749f498498104ebc84edc (diff)
downloadcolitur-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 'lib/kernel/date_spec.mli')
0 files changed, 0 insertions, 0 deletions