Repository navigation

Research theorem: exact paid cost for binary affine register words - #1333

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

bitplane:research/pass26-random

Oct 14, 2026

Merged

Research theorem: exact paid cost for binary affine register words#1333
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
bitplane:research/pass26-random

Commits on Oct 13, 2026
- Prove exact binary-affine paid-call floor with dirty registers
  bitplane
  committed
  9211d72
- Record PR1333 submission and remaining model questions
  bitplane
  committed
  7f25b6d