TS
Add same-net trace alignment phase
tscircuit/schematic-trace-solver#306

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:

  • handles horizontal and vertical interior segments
  • preserves trace endpoints connected to pins
  • skips different-net segments
  • rejects a candidate move if it would introduce a coincident overlap with another net

Review proof:

Verified locally:

  • bun test tests/examples/example34.test.ts tests/solvers/SameNetTraceAlignmentSolver/same-net-trace-alignment-solver.test.ts (5 pass, 0 fail)
  • Previous full local verification: bun test (61 passing, 4 skipped), bunx tsc –noEmit, bun run build, and bunx biome check lib/solvers/SameNetTraceAlignmentSolver/SameNetTraceAlignmentSolver.ts tests/solvers/SameNetTraceAlignmentSolver/same-net-trace-alignment-solver.test.ts lib/solvers/SchematicTracePipelineSolver/SchematicTracePipelineSolver.ts lib/index.ts

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.

Claim

Total prize pool $200
Total paid $0
Status Pending
Submitted May 11, 2026
Last updated May 11, 2026

Contributors

DI

digzrow-coder

@digzrow-coder

100%

Sponsors

WA

wanabetaro122-gmail-com

@wanabetaro122-gmail-com

$100
TS

tscircuit

@tscircuit

$100