Repository navigation

Carry a dirty connector through a paid change of chart - #1858

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

woklerx:codex/20261014-r19

Oct 14, 2026

Merged

Carry a dirty connector through a paid change of chart#1858
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
woklerx:codex/20261014-r19

Commits on Oct 14, 2026
- Research paid dirty connector chart transport with exact kernel criterion
  woklerx
  committed
  2e62d18
- Clarify equal-rank counterexample without bitmask ambiguity
  woklerx
  committed
  4b650a8