Read the request
The model produced something
This step declares no expectation, so it cannot be judged on its own.
- Produces
- goal
- Uses
- nothing
Load a recorded agent run and step through it. agent-replay finds the frame that first contradicted what it was meant to do, walks backwards through the facts it consumed to show the path into it, and reports the smallest slice of the run that reproduces the failure. Everything after that frame is consequence.
A nine step run that posted an invoice with the wrong total. The agent read a second invoice along the way, which is the step everyone blames first.
One bar per step, in order. Bar height is that step's token cost, and the shaded span is the replay window.
step 1 of 9900 tokens620 msarrow keys step through the run
The run first diverged at step 7, Summed the line items. The dependency path into it runs through 4 steps and starts at step 2, Opened the invoice. The last input it read was step 6, Chose the tax rate for the vendor. Replaying steps 2 to 7 reproduces it, which is 6 steps of the 9 steps recorded. 1 step inside that range is a bystander the failure does not need.
The run produced: posted invoice 4417 with a total 1,740.00 too high
The model produced something
This step declares no expectation, so it cannot be judged on its own.
Set aside as context rather than followed: goal. A fact read by most of the run says nothing about which step went wrong.
No tool was called twice with the same arguments, so the run did not loop.
Deterministic: the same trace always gives the same reading. It reports what the trace declares, and says so when the trace declares nothing.
Declare expected and observed on the step that went wrong, and produces and uses on every step. The path can only be followed through facts you name.