Fixes #29. /claim #29
Also addresses #34. /claim #34
Closes #34
Adds a pipeline phase that aligns nearby same-net trace segments onto a shared X or Y coordinate when their ranges overlap. This runs after overlap shifting and before net label placement so later stages consume the cleaned-up traces.
The alignment solver:
Review proof:
Verified locally:
Algora claim for #29: https://algora.io/claims/cd492mGixrp6yZ5q
AI-assisted with OpenAI Codex; I reviewed the diff, proof assets, and validation output before posting.
digzrow-coder
@digzrow-coder
wanabetaro122-gmail-com
@wanabetaro122-gmail-com
tscircuit
@tscircuit