Repository navigation

research: P104 wire routing obstructions (scoped negative, no κ) - #6217

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

Matarener:claude/project-thread-nc1170

Oct 30, 2026

Merged

research: P104 wire routing obstructions (scoped negative, no κ)#6217
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
Matarener:claude/project-thread-nc1170

Commits on Oct 29, 2026
- research: P104 wire routing obstructions (sign, A2 triangle, cover, capacity, two-source lemma)
  claude
  committed
  25515d5
- p104-wire-routing-obstructions: fixed Lean proof, record build and axioms
  claude
  committed
  6aa982f