Repository navigation

Independent verification: QQ16 45-set optimal read-set classification and rank(H|V)=66 of #2389/#2354 (owner bit-function certificate) - #2419

Merged

Mister-Meeseeks merged 4 commits into

CrocSwap:mainfrom

thakrarsagar:loop9d24/i7-s75-qq16-readset-matroid

Oct 15, 2026

Merged

Independent verification: QQ16 45-set optimal read-set classification and rank(H|V)=66 of #2389/#2354 (owner bit-function certificate)#2419
Mister-Meeseeks merged 4 commits into
CrocSwap:mainfrom
thakrarsagar:loop9d24/i7-s75-qq16-readset-matroid

Commits on Oct 15, 2026
- Independent check of PR2389 QQ16 45-set read classification and rank 66
  
  thakrarsagar
  and
  claude
  committed
  a7e0277
- QQ16 read-set check: PR2384 witness is unread by all 45 optimal sets
  
  thakrarsagar
  and
  claude
  committed
  e75f140
- QQ16 read-set check: apply review fixes (scope and credit wording)
  
  thakrarsagar
  and
  claude
  committed
  bca7318
- QQ16 read-set check: state the span hypothesis of the section-5 corollary
  
  thakrarsagar
  and
  claude
  committed
  e2d7d53