Skip to content

Prove exact additive cost for two anticommuting query types (no new κ) - #5877

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w2-1022x-graded-query-floor
Oct 27, 2026
Merged

Prove exact additive cost for two anticommuting query types (no new κ)#5877
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w2-1022x-graded-query-floor

feat(research): prove anticommuting query additivity

5c72ad1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 27, 2026 in 4m 21s