A verification layer for browser agents: Amazon case study

A local 3B parameter model completed an Amazon shopping flow using structural page data and deterministic assertions. The model achieved 7/7 step success with 11,114 tokens and $0.00 incremental cost. This was done by constraining the state space and using per-step assertions.