Repository navigation

Localize Beatty barriers to finite non-descent prefixes - #30

Merged

Chessing234 merged 2 commits into

mainfrom

research/extended-small-source-scan

Oct 7, 2026

Merged

Localize Beatty barriers to finite non-descent prefixes#30
Chessing234 merged 2 commits into
mainfrom
research/extended-small-source-scan

Commits on Oct 7, 2026
- Prove soundness of balanced first-light interval scans
  Chessing234
  committed
  87d8ea1
- Localize Beatty accumulator barriers to finite non-descent prefixes
  Chessing234
  committed
  b32cf02