Repository navigation

Add the metrics registry and the run report - #90

Merged

bokalnv merged 18 commits into

mainfrom

bokal/feat/metrics-framework

Oct 29, 2026

Merged

Add the metrics registry and the run report#90
bokalnv merged 18 commits into
mainfrom
bokal/feat/metrics-framework

Commits on Oct 27, 2026
Commits on Oct 28, 2026
- fix: keep earlier runs' records and label only this run's datasets
  bokalnv
  committed
  5303c8f
- Merge the PR #84 fixes into the metrics framework
  bokalnv
  committed
  a2006af
- fix: report a run from the attempt log of the dataset's own run
  bokalnv
  committed
  9ca575b
- docs: say the result file and attempt log come with --result_file
  bokalnv
  committed
  5948fc0
- Merge the PR #84 docs fix into the metrics framework
  bokalnv
  committed
  729ffc7
- feat: make metric recording opt-in and keep algorithm diagnostics in extras
  bokalnv
  committed
  77b511d
- Merge the opt-in metric recording from PR #84
  bokalnv
  committed
  d147c48
- fix: reject non-finite values, require --report for report options, run metrics tests in CI
  bokalnv
  committed
  ca4a948
- fix: record metric inputs with a custom recorder and without a success term
  bokalnv
  committed
  9ea6a76
- Merge the recorder fixes from PR #84
  bokalnv
  committed
  4f6e1ab
- Merge main after PR #84
  bokalnv
  committed
  44a57b8
Commits on Oct 29, 2026