AGIOS
Observatory
02 · RUN THEATER
corr_9f3a52
kernel.ebpf.author
LIVE
Hard Budgets
COST
$0.031 / 0.50
STEPS
4 / 8
WALL CLOCK
42s / 180s
Enforcement
BudgetExceededError
raised BEFORE the API
call, never after.
THINK
ACT
OBSERVE
REPAIR
kernel.ebpf.author
STEP 4 / 8
state: ACT · dispatching tool
claude-sonnet-4-6 · T=0
ebpf_verify
VM ORACLE · 90s cap
payload · source: 41 lines C
Run Log · corr_9f3a52
think
plan: hashmap count
memory
3 hits · lesson #17
act
→ ebpf_verify(src)
observe
verifier REJECT
repair
fix R1 map deref
act
→ ebpf_verify(src')
─ tool in flight · awaiting verdict ─
Token Stream
CACHE HIT (−90% cost)
COLD
in 9,412 tk · out 1,208 tk · cache 87%
Replay
STEP 4 · T+42.1s
LIVE