lean-bench

2.1. Row kinds🔗

Two row kinds exist. They share most fields and the same schema_version namespace.

  • parametric — emitted by the parametric path (setup_benchmark). Carries one (param, inner_repeats, total_nanos) triple per child invocation.

  • fixed — emitted by the fixed path (setup_fixed_benchmark). Carries one (repeat_index, total_nanos) triple per child invocation; no inner-repeat loop, no parameter.

Rows are tagged with "kind":"parametric" or "kind":"fixed". Readers MUST reject rows whose kind mismatches the parser (e.g. a fixed-shaped row arriving at the parametric parser).