Skip to content

Prove the header-query rank identity and window bound N-r>=w for uniform Clifford controls (no κ) - #6832

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:research/p104-query-block-bound
Nov 10, 2026
Merged

Prove the header-query rank identity and window bound N-r>=w for uniform Clifford controls (no κ)#6832
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:research/p104-query-block-bound

Commits

  1. Commits on Nov 7, 2026