SELECT r.participants.coding_agent AS id, SUM(s.total) AS total, SUM(s.passed) AS passed, ROUND(SUM(s.passed) * 100.0 / NULLIF(SUM(s.total), 0), 1) AS pass_rate FROM read_json('results/*.json') AS r, LATERAL UNNEST(r.results) AS t(s) GROUP BY id, r.filename ORDER BY pass_rate DESC;