consolidate native A11 and A12 solver foundations

[AnasSarkiz]

Summary

This consolidates the already reviewed native-size solver work from #95 and #96 into main:

• add A12, an A03-derived mixed-resolution solver with exact endpoint preservation and a final geometry gate
• add A11 rip-history costs to break recurring rip-and-reroute cycles
• expose the solver choices in the package benchmark/debugger tooling
• keep A01 and A03 defaults unchanged; the new behavior is opt-in through A11/A12

This PR intentionally contains only the shared solver foundation. Compatibility work and the subsequent A11 topology-aware scheduling improvement remain focused dependent PRs.

Canonical HD30 baseline

Dataset: tscircuit/dataset-hd30@0ad7fe36c3da67469a053cfa98f709f751f844b1

Settings: regular Pipeline 9 nodes, Pipeline 9 copper dimensions, original bounds, shuffle seed 0, effort 1, and a 100,000-iteration cap.

Solver	Valid native solves
A01	0/27
A03	0/27
A11	7/27
A12	8/27
A11 + A12 union	12/27

All counted solves pass exact route-geometry validation at the original bounds.

Validation on ac13ef80da71c3998acb5302329b6b704d0470d1

• full package: 82 passed, 2 skipped, 0 failed
• build passed
• format check passed
• canonical four-solver HD30 matrix reproduced

[vercel]

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

Project	Deployment	Actions	Updated
high-density-a01	Ready	Preview	Sep 1, 2026 7:13pm UTC

[seveibar]

/benchmark --same-machine --dataset 18 --pipeline 9

[tscircuitbot]

---

Thank you for your contribution! 🎉

PR Rating: ⭐⭐⭐
Impact: Major

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

---