Skip to content

bench(hermite): derive growth traces from production schedule - #9868

Open
kim-em wants to merge 2 commits into
mainfrom
issue-9691
Open

bench(hermite): derive growth traces from production schedule#9868
kim-em wants to merge 2 commits into
mainfrom
issue-9691

Conversation

@kim-em

@kim-em kim-em commented Aug 31, 2026

Copy link
Copy Markdown
Owner

Closes #9691

Summary

  • replace the duplicated Hermite growth runners with a shadow-matrix accumulator
  • run instrumentation through the production Matrix.Hermite.checkedRun schedule
  • preserve transcript output and verify both production and shadow results agree with Matrix.hnf

Verification

  • lake build HexHermite
  • lake build hexhermite_bench
  • lake exe hexhermite_bench verify (all 92 registrations, with FLINT/PARI environment)
  • all four full growth ladders match reports/bench-results/hex-hermite-phase4-growth.txt byte-for-byte
  • python3 scripts/ci/check_benches_mathlib_free.py

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

bench(hex-hermite): derive growth traces from the production accumulator schedule

1 participant