Skip to content

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

p104-wire-routing-obstructions: fixed Lean proof, record build and ax…

6aa982f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 29, 2026 in 4m 57s