AgentLens Is an Open Benchmark for AI Coding Agents That Watches the Whole Run, Not Just the Score — type0 | type0