Repository navigation

Scoped proof: exact 3-ADD minimum for PR1221's R439 frame-509 endpoint - #1359

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

1337isnot1337:research/seed06-bit-supplier

Oct 14, 2026

Merged

Scoped proof: exact 3-ADD minimum for PR1221's R439 frame-509 endpoint#1359
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
1337isnot1337:research/seed06-bit-supplier

Commits on Oct 13, 2026
- Prove local ADD minimum for R439 frame 509
  1337isnot1337
  committed
  6a10c0e