Repository navigation

Research: certify R420 forest cuts under the 104-bit cap - #774

Merged

Mister-Meeseeks merged 5 commits into

CrocSwap:mainfrom

anthonylei:research/seed06-bit-supplier

Oct 15, 2026

Merged

Research: certify R420 forest cuts under the 104-bit cap#774
Mister-Meeseeks merged 5 commits into
CrocSwap:mainfrom
anthonylei:research/seed06-bit-supplier

Commits on Oct 13, 2026
- Research: certify R420 forest cuts under the fixed prefix cap
  anthonylei
  committed
  50f8c36
Commits on Oct 15, 2026
- Verify R420 forest finite and formal review coverage
  anthonylei
  committed
  e1a23bb
- Record passing Linux coverage and pin the artifact action
  anthonylei
  committed
  3af97d2
- Merge upstream main into R420 forest review branch
  anthonylei
  committed
  ce12313
- Verify historical R420 replay against refreshed upstream
  anthonylei
  committed
  f0935b4