Repository navigation

Compile changing-dual junctions: allowance 288 to 224, with safe composition - #6288

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

CubeJerry:research/dual-exchange-safe-fusion-20261030-s79

Oct 31, 2026

Merged

Compile changing-dual junctions: allowance 288 to 224, with safe composition#6288
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
CubeJerry:research/dual-exchange-safe-fusion-20261030-s79

Commits on Oct 30, 2026
- Prove safe nonlinear dual-exchange fusion and exact observer boundaries
  CubeJerry
  committed
  0ff4a9f
- Compile changing-dual junctions: scalar allowance 288 to 224
  CubeJerry
  committed
  a2d6b39