Repository navigation

Sharper #4483 witnesses: p16 2^1587000000, native4453 2^713000000, p7 2^2253000000, same κ (compiler improvement, no new κ) - #4533

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

pinterbanget:p7-adaptive-witness

Oct 22, 2026

Merged

Sharper #4483 witnesses: p16 2^1587000000, native4453 2^713000000, p7 2^2253000000, same κ (compiler improvement, no new κ)#4533
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
pinterbanget:p7-adaptive-witness

Commits on Oct 22, 2026
- Sharper #4483 witnesses: p16 rank 2^1587000000 (was 2^2800000000), p7 2^2253000000, same κ (compiler improvement, no new κ)
  
  pinterbanget
  and
  claude
  committed
  5cc8d42
- Add retuned native4453 witnesses (713,000,000 and 2,580,000,000); split verifier into two commands
  
  pinterbanget
  and
  claude
  committed
  e9e9f24