2. Result schema
lean-bench emits machine-readable results as JSONL — one JSON
object per line — written to the child process's stdout and
consumed by the parent. Downstream tooling (baseline diffs, CI
dashboards, exporters) also reads these rows. This document pins
the schema and spells out the evolution rules so producers and
consumers can rely on it.
The single source of truth in the code is
LeanBench/Schema.lean:
the schemaVersion constant, the canonical key sets, and the
parser shared by Run.parseChildRow and Run.parseFixedChildRow.