feat: add conflict-directed HighDensitySolverB02

[seveibar]

Summary

• add the new numbered HighDensitySolverB02
• compose B01 as a bounded partial-route seed plus conflict-directed repair
• support planar and cross-layer repair while preserving exact pair, endpoint, root, region, transition, and via identity
• publish output only after strict trace/via clearance validation
• export defaultB02Params, add B02 to the Cosmos debugger, and document the API
• fail loudly for unsupported obstacles and invalid child-solver setup

Why

Bugreport 101 exposed individual high-density nodes that dominate the CM5 route time. The dominant 11-pair node previously consumed about 51.6 seconds in the portfolio. B02 solves the exact captured node in roughly 0.28–0.31 seconds in focused local runs, while returning all 11 routes with zero geometry violations at 0.15 mm trace width plus 0.10 mm clearance.

The initial B01 pass is deliberately bounded: B02 keeps its clean partial result, identifies missing/conflicting routes, and reroutes only the bounded blocker set. This is an explicit algorithm phase, not a silent fallback.

Routed visual

Safety and coverage

• deterministic dominant-node output and work bounds
• cross-layer cmn_133 regression with exact vias and bounds
• clearance checked by inflating trace/via geometry by the requested margin
• terminal-spacing feasibility rejection
• unsupported preloaded obstacles rejected explicitly
• invalid B01 grid configuration propagated without throwing

Validation

• bun test: 72 pass, 2 intentional skips, 0 fail
• bun run build
• bun run format:check
• bun run build:site
• git diff --check

Related: tscircuit/tscircuit-autorouter#2271

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
high-density-b01	Ready	Preview	Aug 28, 2026 5:32pm

[tscircuitbot]

---

Thank you for your contribution! 🎉

PR Rating: ⭐⭐⭐
Impact: Major

Track your contributions and see the leaderboard at: tscircuit Contribution Tracker

---