Repository navigation

repsel: one safety gate and one write walker for both numeric proofs, plus the #7770 super-chain test and bench numbers - #7788

Merged

proggeramlug merged 3 commits into

mainfrom

repsel/7770-followup-shared-gate

Aug 11, 2026

Merged

repsel: one safety gate and one write walker for both numeric proofs, plus the #7770 super-chain test and bench numbers#7788
proggeramlug merged 3 commits into
mainfrom
repsel/7770-followup-shared-gate

Commits on Aug 10, 2026
- refactor(repsel): one safety gate + one write walker for both numeric proofs; super-chain group tests
  Ralph Küpper
  committed
  f79a5bf
- docs: record the #7770 bench-mini floor results in the changelog fragment
  Ralph Küpper
  committed
  02e5074
- docs: changelog fragment for PR #7788
  Ralph Küpper
  committed
  5852fa2