introduce HighDensitySolverA11 for native fine-grid routing

[seveibar]

Summary

• introduce HighDensitySolverA11, an A01-derived feature-resolution solver for dense native-bound nodes
• derive grid pitch as min(0.05, traceThickness / 2, traceMargin / 2, viaDiameter / 6)
• use exact segment-to-via clearance during search and reject completed output that fails exact geometry validation
• expose A11 from the package, SolverDebugger, and Z04 benchmark CLI
• add six exact dataset-hd30 native-bound regressions

This is an independently mergeable fork of #92 with the original implementation commit and author attribution preserved. A11 is the first collision-free number: A10 is already active in #78, while A04/A06/A07 exist in historical solver branches. It supersedes the stacked coverage PR #93.

HD30 results

With Pipeline 9 copper dimensions, seed 0, and a 100,000-iteration cap, A11 solves six of 27 HD30 nodes without node growth. All six outputs pass exact route-geometry validation.

Node	Iterations
sample002-cmn_279	303
sample004-cmn_117	2,794
sample007-cmn_345__sub_0_2	245
sample007-cmn_345__sub_0_0	79
sample008-cmn_447	4,884
sample008-cmn_438	1,828

Validation

• 8 targeted tests pass (101 assertions)
• TypeScript typecheck passes
• package build passes
• formatting check passes
• Cosmos site export passes
• benchmark CLI recognizes A11

[vercel]

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

Project	Deployment	Actions	Updated (UTC)
high-density-a01	Ready	Preview	Aug 30, 2026 10:48pm

[tscircuitbot]

---

Thank you for your contribution! 🎉

PR Rating: ⭐⭐⭐
Impact: Major

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

---