Expand description
Competitor benchmark orchestration for the E3 grammar-inference suite.
The metric math stays in the D1 evaluation module and the inferred grammar
comes from the D5 infer_cfg entry point. This module owns manifest loading,
vendored-corpus integrity checks, report formatting, and bar assertions.
Manifest byte counts assume the repository-pinned LF checkout policy for
benches/corpora/** so CI reports the same fixture totals on every OS.
Structs§
- Benchmark
Failure - Non-fatal suite failure collected so one run reports every problem.
- Competitor
Manifest - A parsed competitor corpus manifest.
- Competitor
Run - One included corpus result.
- Competitor
Suite Report - Full suite result.
- Corpus
Manifest Entry - One vendored competitor subject.
- Secondary
Metric Row - Secondary metric report row.
- Skipped
Corpus - One skipped manifest entry rendered in the benchmark log.
Enums§
- Benchmark
Error - Fatal setup error that prevents a suite report from being built.
Constants§
- D5_
REQUIRED_ AVG_ F1 - Deterministic D5 runs must meet the current top published average F1 bar.
- DEFAULT_
CORPORA_ ROOT - Default vendored corpus root used by the bench and integration gate.
- DEFAULT_
CORPUS_ MANIFEST - Default manifest path used by the bench and integration gate.
- PUBLISHED_
NATGI_ AVG_ F1 - Published
NatGIheadline average F1 from the E3 competitive-analysis notes. - PUBLISHED_
TREEVADA_ AVG_ F1 - Published
TreeVadaheadline average F1 from the E3 competitive-analysis notes.
Functions§
- load_
manifest - Parses a competitor corpus manifest.
- render_
competitor_ report - Formats a suite report as the CI failure log and bench output.
- run_
competitor_ suite - Loads the default manifest and runs the default vendored competitor suite.
- run_
competitor_ suite_ from_ paths - Loads a manifest and runs a vendored competitor suite from explicit paths.