12:03:41 run.step corr_9f3a s=4 · 12:03:40 verifier.ok openat.bpf prog_id 412 · 12:03:38 memory.hit k=3 12ms · 12:03:37 budget.tick $0.031/0.50 · 12:03:35 tool.call ebpf_verify · 12:03:31 verifier.rej R0 invalid mem access · 12:03:41 run.step corr_9f3a s=4 · 12:03:40 verifier.ok openat.bpf prog_id 412 · 12:03:38 memory.hit k=3 12ms · 12:03:37 budget.tick $0.031/0.50 · 12:03:35 tool.call ebpf_verify · 12:03:31 verifier.rej R0 invalid mem access ·