Eval as spec: grade the agent's side effects, not its success story
Judge agents by executable end state and pass^N, not self-reports; the eval harness is the product spec, and verification depth is the constraint.
Verification
Personal agents: the entry point buys the habit, the interaction buys the trust
The entry point buys the habit; the interaction — what the agent hands back and who verifies it — buys the trust.