Skip to content

Prove sharp paid-history threshold for phase-complete Pauli operations (no new kappa) - #5482

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JoyboyBrian:brian/r15-pauli-twisted-history-threshold
Oct 25, 2026
Merged

Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JoyboyBrian:brian/r15-pauli-twisted-history-threshold

Add optimized semantic falsification controls for Pauli history proof

57b126b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view