Files
felhom.eu/documentation/audits/readback-2026-10-07/F/red-until-bound.txt
T

30 lines
1.7 KiB
Plaintext

R-528 red-proof red-until-bound: the events window ends at the epoch before the run, not after the wait
mutation: replace
---
"--until", str(t1 + 1),---
with
---
"--until", str(t0 + 1),---
$ OSAPPLY_UNDER_TEST=/tmp/claude-1000/-mnt-5-hdd-felhom-eu-git/da0e2df0-3072-4d3e-bf10-c475ac1e5ae4/scratchpad/r528-mut/red-until-bound-felhom-os-apply python3 -W ignore /tmp/claude-1000/-mnt-5-hdd-felhom-eu-git/da0e2df0-3072-4d3e-bf10-c475ac1e5ae4/scratchpad/agent-r528/configs/test_felhom_os_apply.py OOMCheck.test_events_window_ends_after_the_settle_wait
rc=1
F
======================================================================
FAIL: test_events_window_ends_after_the_settle_wait (__main__.OOMCheck.test_events_window_ends_after_the_settle_wait)
----------------------------------------------------------------------
Traceback (most recent call last):
File "/tmp/claude-1000/-mnt-5-hdd-felhom-eu-git/da0e2df0-3072-4d3e-bf10-c475ac1e5ae4/scratchpad/agent-r528/configs/test_felhom_os_apply.py", line 1250, in test_events_window_ends_after_the_settle_wait
self.assertEqual(until, f.oom_epochs[-1] + 1, "until = the guest epoch read after the wait, + 1")
~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError: 1791115201 != 1791115204 : until = the guest epoch read after the wait, + 1
----------------------------------------------------------------------
Ran 1 test in 0.016s
FAILED (failures=1)
=== control: the same test against the real wrapper ===
$ python3 -W ignore /tmp/claude-1000/-mnt-5-hdd-felhom-eu-git/da0e2df0-3072-4d3e-bf10-c475ac1e5ae4/scratchpad/agent-r528/configs/test_felhom_os_apply.py OOMCheck.test_events_window_ends_after_the_settle_wait
rc=0
OK
VERDICT: RED as expected, GREEN on the real wrapper