Repository navigation

Nonauthor AMEND review of main PR125 shrinking-witness bound - #72

Merged

cursor[bot] merged 2 commits into

mainfrom

cursor/pr125-shrinking-witness-review-81c6

Sep 27, 2026

Merged

Nonauthor AMEND review of main PR125 shrinking-witness bound#72
cursor[bot] merged 2 commits into
mainfrom
cursor/pr125-shrinking-witness-review-81c6

Commits on Sep 26, 2026
- Record a nonauthor AMEND review of the shrinking-witness m=2 bound.
  
  cursoragent
  and
  d6g8k5htny-coder
  committed
  cdb6bdd
Commits on Sep 27, 2026
- Merge origin/main into cursor/pr125-shrinking-witness-review-81c6
  
  cursoragent
  and
  d6g8k5htny-coder
  committed
  1b87d16