Also consider inferred vias in trace-to-pad clearance relaxation

[imrishabh18]

Motivation

• Trace clearance relaxation only measured traces against explicit route.vias, missing implied vias created by layer transitions where the route point has the same XY but different z values.
• That caused traces to not be relaxed away from those implicit via centers and produced DRC regressions when a route had layer transitions but an empty vias array.

Description

• Added getRouteViaCenters to collect via centers from both explicit route.vias and inferred via locations at zero-length layer transitions. (lib/solvers/GlobalDrcForceImproveSolver/traceToPadClearanceRelaxation.ts)
• Updated blocker collection and trace-to-other-route clearance computations to use getRouteViaCenters instead of iterating only otherRoute.vias, so trace clearance considers inferred vias as blockers.
• Added a regression test moves a trace until its edge clears an inferred different-net via edge to verify a trace is nudged away from an inferred different-net via center. (tests/solver-route-behavior.test.ts)

Testing

• Added the unit test in tests/solver-route-behavior.test.ts covering the inferred via case; test logic is present in the repo.
• Attempted to run tests with bun test and bun test tests/solver-route-behavior.test.ts, but automated execution failed due to missing external dependencies (@tscircuit/math-utils, etc.) in the execution environment, so tests could not be executed here.
• Ran git diff --check and committed the changes as Handle inferred vias in trace clearance relaxation.

---

Codex Task

[tscircuitbot]

---

Thank you for your contribution! 🎉

PR Rating: ⭐⭐⭐
Impact: Major

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

---