Repository navigation

Research: exact selected idle-axis relaxation and stream counterexample (no new kappa) - #1387

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

bitplane:research/pass27-random

Oct 14, 2026

Merged

Research: exact selected idle-axis relaxation and stream counterexample (no new kappa)#1387
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
bitplane:research/pass27-random

Commits on Oct 13, 2026
- Research: exact selected idle-axis relaxation and stream obstruction
  bitplane
  committed
  28b898f
- Record idle relaxation submission and mathematical commit
  bitplane
  committed
  1d427e0