@tscircuit/schematic-trace-solver 0.0.96 → 0.0.98

package/tests/repros/assets/repro-rp2040-gamepad-trace-alignment.input.json

@@ -0,0 +1,237 @@
+{
+  "chips": [
+    {
+      "chipId": "J2",
+      "center": {
+        "x": 0,
+        "y": 0
+      },
+      "width": 2.54,
+      "height": 11.684,
+      "pins": [
+        { "pinId": "J2.1", "x": -1.778, "y": 2.413 },
+        { "pinId": "J2.2", "x": -1.778, "y": 2.159 },
+        { "pinId": "J2.3", "x": -1.778, "y": 1.905 },
+        { "pinId": "J2.4", "x": -1.778, "y": 1.651 },
+        { "pinId": "J2.5", "x": -1.778, "y": 1.397 },
+        { "pinId": "J2.6", "x": -1.778, "y": 1.143 },
+        { "pinId": "J2.7", "x": -1.778, "y": 0.889 },
+        { "pinId": "J2.8", "x": -1.778, "y": 0.635 },
+        { "pinId": "J2.9", "x": -1.778, "y": 0.381 },
+        { "pinId": "J2.10", "x": -1.778, "y": 0.127 },
+        { "pinId": "J2.11", "x": -1.778, "y": -0.127 },
+        { "pinId": "J2.12", "x": -1.778, "y": -0.381 },
+        { "pinId": "J2.13", "x": -1.778, "y": -0.635 },
+        { "pinId": "J2.14", "x": -1.778, "y": -0.889 },
+        { "pinId": "J2.15", "x": -1.778, "y": -1.143 },
+        { "pinId": "J2.16", "x": -1.778, "y": -1.397 },
+        { "pinId": "J2.17", "x": -1.778, "y": -1.651 },
+        { "pinId": "J2.18", "x": -1.778, "y": -1.905 },
+        { "pinId": "J2.19", "x": -1.778, "y": -2.159 },
+        { "pinId": "J2.20", "x": -1.778, "y": -2.413 },
+        { "pinId": "J2.21", "x": 1.778, "y": -2.413 },
+        { "pinId": "J2.22", "x": 1.778, "y": -2.159 },
+        { "pinId": "J2.23", "x": 1.778, "y": -1.905 },
+        { "pinId": "J2.24", "x": 1.778, "y": -1.651 },
+        { "pinId": "J2.25", "x": 1.778, "y": -1.397 },
+        { "pinId": "J2.26", "x": 1.778, "y": -1.143 },
+        { "pinId": "J2.27", "x": 1.778, "y": -0.889 },
+        { "pinId": "J2.28", "x": 1.778, "y": -0.635 },
+        { "pinId": "J2.29", "x": 1.778, "y": -0.381 },
+        { "pinId": "J2.30", "x": 1.778, "y": -0.127 },
+        { "pinId": "J2.31", "x": 1.778, "y": 0.127 },
+        { "pinId": "J2.32", "x": 1.778, "y": 0.381 },
+        { "pinId": "J2.33", "x": 1.778, "y": 0.635 },
+        { "pinId": "J2.34", "x": 1.778, "y": 0.889 },
+        { "pinId": "J2.35", "x": 1.778, "y": 1.143 },
+        { "pinId": "J2.36", "x": 1.778, "y": 1.397 },
+        { "pinId": "J2.37", "x": 1.778, "y": 1.651 },
+        { "pinId": "J2.38", "x": 1.778, "y": 1.905 },
+        { "pinId": "J2.39", "x": 1.778, "y": 2.159 },
+        { "pinId": "J2.40", "x": 1.778, "y": 2.413 },
+        { "pinId": "J2.TP1", "x": -0.762, "y": 6.35 },
+        { "pinId": "J2.TP2", "x": -0.508, "y": 6.35 },
+        { "pinId": "J2.TP3", "x": -0.254, "y": 6.35 },
+        { "pinId": "J2.TP4", "x": 0, "y": 6.35 },
+        { "pinId": "J2.TP5", "x": 0.254, "y": 6.35 },
+        { "pinId": "J2.TP6", "x": 0.508, "y": 6.35 },
+        { "pinId": "J2.D1", "x": -0.254, "y": -6.35 },
+        { "pinId": "J2.D2", "x": 0, "y": -6.35 },
+        { "pinId": "J2.D3", "x": 0.254, "y": -6.35 }
+      ]
+    },
+    {
+      "chipId": "USB1",
+      "center": {
+        "x": -8.5,
+        "y": 2.3
+      },
+      "width": 1.5,
+      "height": 3.6,
+      "pins": [
+        { "pinId": "USB1.1", "x": -7.75, "y": 3.86 },
+        { "pinId": "USB1.2", "x": -7.75, "y": 3.6 },
+        { "pinId": "USB1.3", "x": -7.75, "y": 3.34 },
+        { "pinId": "USB1.4", "x": -7.75, "y": 3.08 },
+        { "pinId": "USB1.5", "x": -7.75, "y": 2.82 },
+        { "pinId": "USB1.6", "x": -7.75, "y": 2.56 },
+        { "pinId": "USB1.7", "x": -7.75, "y": 2.3 },
+        { "pinId": "USB1.8", "x": -7.75, "y": 2.04 },
+        { "pinId": "USB1.9", "x": -7.75, "y": 1.78 },
+        { "pinId": "USB1.10", "x": -7.75, "y": 1.52 },
+        { "pinId": "USB1.11", "x": -7.75, "y": 1.26 },
+        { "pinId": "USB1.12", "x": -7.75, "y": 1 },
+        { "pinId": "USB1.13", "x": -7.75, "y": 0.74 }
+      ]
+    },
+    {
+      "chipId": "R1",
+      "center": {
+        "x": -5.4,
+        "y": 1.2
+      },
+      "width": 0.5,
+      "height": 1,
+      "pins": [
+        { "pinId": "R1.1", "x": -5.4, "y": 1.75 },
+        { "pinId": "R1.2", "x": -5.4, "y": 0.65 }
+      ]
+    },
+    {
+      "chipId": "R2",
+      "center": {
+        "x": -4,
+        "y": 1.2
+      },
+      "width": 0.5,
+      "height": 1,
+      "pins": [
+        { "pinId": "R2.1", "x": -4, "y": 1.75 },
+        { "pinId": "R2.2", "x": -4, "y": 0.65 }
+      ]
+    }
+  ],
+  "directConnections": [
+    {
+      "pinIds": ["USB1.4", "R1.1"],
+      "netId": "USB1.CC1 to R1.1"
+    },
+    {
+      "pinIds": ["USB1.10", "R2.1"],
+      "netId": "USB1.CC2 to R2.1"
+    }
+  ],
+  "netConnections": [
+    {
+      "netId": "GNDPWR",
+      "pinIds": [
+        "USB1.1",
+        "USB1.12",
+        "USB1.13",
+        "R1.2",
+        "R2.2",
+        "J2.TP1"
+      ],
+      "netLabelWidth": 0.42,
+      "netLabelHeight": 0.66
+    },
+    {
+      "netId": "V5",
+      "pinIds": ["USB1.2", "USB1.11", "J2.40"],
+      "netLabelWidth": 0.42,
+      "netLabelHeight": 0.3
+    },
+    {
+      "netId": "D-",
+      "pinIds": ["USB1.5", "USB1.7"],
+      "netLabelWidth": 0.3
+    },
+    {
+      "netId": "D+",
+      "pinIds": ["USB1.6", "USB1.8"],
+      "netLabelWidth": 0.3
+    },
+    { "netId": "SDA", "pinIds": ["J2.1"], "netLabelWidth": 0.36 },
+    { "netId": "SCL", "pinIds": ["J2.2"], "netLabelWidth": 0.36 },
+    { "netId": "UP", "pinIds": ["J2.4"], "netLabelWidth": 0.3 },
+    { "netId": "DOWN", "pinIds": ["J2.5"], "netLabelWidth": 0.48 },
+    { "netId": "RIGHT", "pinIds": ["J2.6"], "netLabelWidth": 0.54 },
+    { "netId": "LEFT", "pinIds": ["J2.7"], "netLabelWidth": 0.48 },
+    { "netId": "B1", "pinIds": ["J2.9"], "netLabelWidth": 0.3 },
+    { "netId": "B2", "pinIds": ["J2.10"], "netLabelWidth": 0.3 },
+    { "netId": "R2", "pinIds": ["J2.11"], "netLabelWidth": 0.3 },
+    { "netId": "L2", "pinIds": ["J2.12"], "netLabelWidth": 0.3 },
+    { "netId": "B3", "pinIds": ["J2.14"], "netLabelWidth": 0.3 },
+    { "netId": "B4", "pinIds": ["J2.15"], "netLabelWidth": 0.3 },
+    { "netId": "R1", "pinIds": ["J2.16"], "netLabelWidth": 0.3 },
+    { "netId": "L1", "pinIds": ["J2.17"], "netLabelWidth": 0.3 },
+    { "netId": "TURBO", "pinIds": ["J2.19"], "netLabelWidth": 0.6 },
+    {
+      "netId": "LED-TURBO",
+      "pinIds": ["J2.20"],
+      "netLabelWidth": 0.9
+    },
+    { "netId": "S1", "pinIds": ["J2.21"], "netLabelWidth": 0.3 },
+    { "netId": "S2", "pinIds": ["J2.22"], "netLabelWidth": 0.3 },
+    { "netId": "L3", "pinIds": ["J2.24"], "netLabelWidth": 0.3 },
+    { "netId": "R3", "pinIds": ["J2.25"], "netLabelWidth": 0.3 },
+    { "netId": "A1", "pinIds": ["J2.26"], "netLabelWidth": 0.3 },
+    { "netId": "A2", "pinIds": ["J2.27"], "netLabelWidth": 0.3 },
+    { "netId": "R5", "pinIds": ["J2.31"], "netLabelWidth": 0.3 },
+    { "netId": "L5", "pinIds": ["J2.32"], "netLabelWidth": 0.3 },
+    {
+      "netId": "LED-RGB",
+      "pinIds": ["J2.34"],
+      "netLabelWidth": 0.66
+    },
+    {
+      "netId": "GND",
+      "pinIds": [
+        "J2.3",
+        "J2.8",
+        "J2.13",
+        "J2.18",
+        "J2.23",
+        "J2.28",
+        "J2.33",
+        "J2.38",
+        "J2.D2"
+      ],
+      "netLabelWidth": 0.42,
+      "netLabelHeight": 0.48
+    }
+  ],
+  "availableNetLabelOrientations": {
+    "SDA": ["x-"],
+    "SCL": ["x-"],
+    "UP": ["x-"],
+    "DOWN": ["x-"],
+    "RIGHT": ["x-"],
+    "LEFT": ["x-"],
+    "B1": ["x-"],
+    "B2": ["x-"],
+    "R2": ["x-"],
+    "L2": ["x-"],
+    "B3": ["x-"],
+    "B4": ["x-"],
+    "R1": ["x-"],
+    "L1": ["x-"],
+    "TURBO": ["x-"],
+    "LED-TURBO": ["x-"],
+    "S1": ["x+"],
+    "S2": ["x+"],
+    "L3": ["x+"],
+    "R3": ["x+"],
+    "A1": ["x+"],
+    "A2": ["x+"],
+    "R5": ["x+"],
+    "L5": ["x+"],
+    "LED-RGB": ["x+"],
+    "GNDPWR": ["y-"],
+    "V5": ["y+"],
+    "D-": ["x+"],
+    "D+": ["x+"],
+    "GND": ["y-"]
+  },
+  "maxMspPairDistance": 8
+}

package/tests/repros/assets/repro-rp2040-zero-crystal-fallback-netlabels.input.json

@@ -0,0 +1,121 @@
+{
+  "chips": [
+    {
+      "chipId": "schematic_component_0",
+      "center": {
+        "x": 1.105,
+        "y": 0.67
+      },
+      "width": 0.9699999999999998,
+      "height": 0.6,
+      "pins": [
+        {
+          "pinId": "R8.1",
+          "x": 1.07,
+          "y": 0.97
+        },
+        {
+          "pinId": "R8.2",
+          "x": 1.07,
+          "y": 0.37000000000000005
+        }
+      ]
+    },
+    {
+      "chipId": "schematic_component_1",
+      "center": {
+        "x": 1.1725,
+        "y": -0.66
+      },
+      "width": 1.045,
+      "height": 0.76,
+      "pins": [
+        {
+          "pinId": "C17.1",
+          "x": 1.1,
+          "y": -0.28,
+          "_facingDirection": "y+"
+        },
+        {
+          "pinId": "C17.2",
+          "x": 1.1,
+          "y": -1.04,
+          "_facingDirection": "y-"
+        }
+      ]
+    },
+    {
+      "chipId": "schematic_component_2",
+      "center": {
+        "x": -1.07,
+        "y": 0.47
+      },
+      "width": 2.0000000000000004,
+      "height": 0.6000000000000001,
+      "pins": [
+        {
+          "pinId": "X1.1",
+          "x": -2.0700000000000003,
+          "y": 0.57
+        },
+        {
+          "pinId": "X1.2",
+          "x": -2.0700000000000003,
+          "y": 0.37
+        },
+        {
+          "pinId": "X1.3",
+          "x": -0.06999999999999984,
+          "y": 0.37
+        },
+        {
+          "pinId": "X1.4",
+          "x": -0.06999999999999984,
+          "y": 0.57
+        }
+      ]
+    }
+  ],
+  "directConnections": [
+    {
+      "pinIds": [
+        "X1.3",
+        "C17.1"
+      ],
+      "netId": ".X1 > .XTAL2 to C17.pin1"
+    },
+    {
+      "pinIds": [
+        "X1.3",
+        "R8.2"
+      ],
+      "netId": ".X1 > .XTAL2 to R8.pin2"
+    }
+  ],
+  "netConnections": [],
+  "textBoxes": [
+    {
+      "chipId": "schematic_component_2",
+      "center": {
+        "x": -1.0100000000000002,
+        "y": 0.039999999999999925
+      },
+      "width": 1.3199999999999998,
+      "height": 0.18,
+      "text": "ABM8_272_T3"
+    },
+    {
+      "chipId": "schematic_component_2",
+      "center": {
+        "x": -1.5500000000000003,
+        "y": 0.885
+      },
+      "width": 0.3600000000000001,
+      "height": 0.25,
+      "text": "X1"
+    }
+  ],
+  "availableNetLabelOrientations": {},
+  "maxMspPairDistance": 2.4,
+  "_hideRatsNet": false
+}

package/tests/repros/repro-rp2040-gamepad-trace-alignment.test.ts

@@ -0,0 +1,38 @@
+import { expect, test } from "bun:test"
+import { SchematicTracePipelineSolver } from "lib/solvers/SchematicTracePipelineSolver/SchematicTracePipelineSolver"
+import "tests/fixtures/matcher"
+import inputProblem from "./assets/repro-rp2040-gamepad-trace-alignment.input.json"
+
+test("reproduces RP2040 gamepad trace routing", () => {
+  const solver = new SchematicTracePipelineSolver(inputProblem as any, {
+    hideRatsNet: true,
+  })
+
+  solver.solve()
+
+  const finalTraces = solver
+    .netLabelTraceCollisionSolver!.getOutput()
+    .traces.filter((trace) => trace.userNetId === "GND")
+  const leftRailXs = new Set<number>()
+  const rightRailXs = new Set<number>()
+  for (const trace of finalTraces) {
+    for (let i = 0; i < trace.tracePath.length - 1; i++) {
+      const start = trace.tracePath[i]!
+      const end = trace.tracePath[i + 1]!
+      if (Math.abs(start.x - end.x) > 1e-6) continue
+      if (start.x < -1.778 - 1e-6) leftRailXs.add(start.x)
+      if (start.x > 1.778 + 1e-6) rightRailXs.add(start.x)
+    }
+  }
+
+  expect(leftRailXs.size).toBe(1)
+  expect(rightRailXs.size).toBe(1)
+  expect(
+    solver.traceCleanupSolver2!.stats.alignedRailGroupCount,
+  ).toBeGreaterThanOrEqual(2)
+  expect(
+    solver.traceCleanupSolver2!.stats.alignedTraceCount,
+  ).toBeGreaterThanOrEqual(8)
+
+  expect(solver).toMatchSolverSnapshot(import.meta.path)
+})

package/tests/repros/repro-rp2040-zero-crystal-fallback-netlabels.test.ts

@@ -0,0 +1,16 @@
+import { expect, test } from "bun:test"
+import { SchematicTracePipelineSolver } from "lib/solvers/SchematicTracePipelineSolver/SchematicTracePipelineSolver"
+import "tests/fixtures/matcher"
+import inputProblem from "./assets/repro-rp2040-zero-crystal-fallback-netlabels.input.json"
+
+test("rp2040-zero crystal connection routes both branches", () => {
+  const solver = new SchematicTracePipelineSolver(inputProblem as any)
+
+  solver.solve()
+
+  expect(solver.schematicTraceLinesSolver?.solvedTracePaths).toHaveLength(2)
+  expect(solver.schematicTraceLinesSolver?.failedConnectionPairs).toHaveLength(
+    0,
+  )
+  expect(solver).toMatchSolverSnapshot(import.meta.path)
+})

package/tests/solvers/SchematicTraceSingleLineSolver2/segment-intersects-rect-interior.test.ts

@@ -0,0 +1,15 @@
+import { expect, test } from "bun:test"
+import { segmentIntersectsRect } from "lib/solvers/SchematicTraceLinesSolver/SchematicTraceSingleLineSolver2/collisions"
+
+const rect = {
+  minX: 0,
+  maxX: 2,
+  minY: 0,
+  maxY: 2,
+}
+
+test("interior crossings remain collisions", () => {
+  expect(segmentIntersectsRect({ x: -1, y: 1 }, { x: 1, y: 1 }, rect)).toBe(
+    true,
+  )
+})

package/tests/solvers/SchematicTraceSingleLineSolver2/segment-overlaps-rect-boundary-boundary.test.ts

@@ -0,0 +1,18 @@
+import { expect, test } from "bun:test"
+import { segmentOverlapsRectBoundary } from "lib/solvers/SchematicTraceLinesSolver/SchematicTraceSingleLineSolver2/collisions"
+
+const rect = {
+  minX: 0,
+  maxX: 2,
+  minY: 0,
+  maxY: 2,
+}
+
+test("detects segments that overlap rectangle boundaries", () => {
+  expect(
+    segmentOverlapsRectBoundary({ x: -1, y: 0 }, { x: 1, y: 0 }, rect),
+  ).toBe(true)
+  expect(
+    segmentOverlapsRectBoundary({ x: 2, y: -1 }, { x: 2, y: 1 }, rect),
+  ).toBe(true)
+})

package/tests/solvers/SchematicTraceSingleLineSolver2/segment-overlaps-rect-boundary-interior.test.ts

@@ -0,0 +1,18 @@
+import { expect, test } from "bun:test"
+import { segmentOverlapsRectBoundary } from "lib/solvers/SchematicTraceLinesSolver/SchematicTraceSingleLineSolver2/collisions"
+
+const rect = {
+  minX: 0,
+  maxX: 2,
+  minY: 0,
+  maxY: 2,
+}
+
+test("does not treat interior crossings as boundary overlaps", () => {
+  expect(
+    segmentOverlapsRectBoundary({ x: -1, y: 1 }, { x: 1, y: 1 }, rect),
+  ).toBe(false)
+  expect(
+    segmentOverlapsRectBoundary({ x: 1, y: -1 }, { x: 1, y: 1 }, rect),
+  ).toBe(false)
+})

package/tests/solvers/TraceCleanupSolver/alignSameNetRails-component-scope.test.ts

@@ -0,0 +1,38 @@
+import { expect, test } from "bun:test"
+import type { SolvedTracePath } from "lib/solvers/SchematicTraceLinesSolver/SchematicTraceLinesSolver"
+import type { InputProblem } from "lib/types/InputProblem"
+import {
+  align,
+  getVerticalRailTraces,
+  verticalProblem,
+} from "./fixtures/alignSameNetRails"
+
+test("does not combine rails from different component sides", () => {
+  const traces = getVerticalRailTraces()
+  traces[1] = {
+    ...traces[1]!,
+    pins: traces[1]!.pins.map((item) => ({ ...item, chipId: "U2" })) as [
+      SolvedTracePath["pins"][0],
+      SolvedTracePath["pins"][1],
+    ],
+  }
+  const inputProblem: InputProblem = {
+    ...verticalProblem,
+    chips: [
+      ...verticalProblem.chips,
+      {
+        ...verticalProblem.chips[0]!,
+        chipId: "U2",
+        pins: verticalProblem.chips[0]!.pins.map((item) => ({
+          ...item,
+          pinId: item.pinId.replace("U1", "U2"),
+        })),
+      },
+    ],
+  }
+
+  const result = align(traces, { inputProblem })
+
+  expect(result.alignedRailGroupCount).toBe(0)
+  expect(result.traces).toEqual(traces)
+})

package/tests/solvers/TraceCleanupSolver/alignSameNetRails-eligible-traces.test.ts

@@ -0,0 +1,28 @@
+import { expect, test } from "bun:test"
+import {
+  align,
+  createTrace,
+  getVerticalPin,
+  getVerticalRailTraces,
+} from "./fixtures/alignSameNetRails"
+
+test("uses routed-trace provenance to exclude generated label connectors", () => {
+  const realTrace = getVerticalRailTraces()[0]!
+  const connector = createTrace(
+    "label-connector",
+    [
+      { x: -1, y: 0 },
+      { x: -5, y: 0 },
+      { x: -5, y: -2 },
+      { x: -1, y: -2 },
+    ],
+    [getVerticalPin("U1.2"), getVerticalPin("U1.3")],
+  )
+
+  const result = align([realTrace, connector], {
+    eligibleTraceIds: new Set([realTrace.mspPairId]),
+  })
+
+  expect(result.alignedRailGroupCount).toBe(0)
+  expect(result.traces).toEqual([realTrace, connector])
+})

package/tests/solvers/TraceCleanupSolver/alignSameNetRails-horizontal.test.ts

@@ -0,0 +1,62 @@
+import { expect, test } from "bun:test"
+import type { InputProblem } from "lib/types/InputProblem"
+import {
+  align,
+  createTrace,
+  verticalProblem,
+} from "./fixtures/alignSameNetRails"
+
+test("applies the same component-side rule to horizontal rails", () => {
+  const inputProblem: InputProblem = {
+    ...verticalProblem,
+    chips: [
+      {
+        chipId: "U2",
+        center: { x: 0, y: 0 },
+        width: 6,
+        height: 2,
+        pins: [
+          { pinId: "U2.1", x: -2, y: 1, _facingDirection: "y+" },
+          { pinId: "U2.2", x: 0, y: 1, _facingDirection: "y+" },
+          { pinId: "U2.3", x: 2, y: 1, _facingDirection: "y+" },
+        ],
+      },
+    ],
+  }
+  const inputPins = inputProblem.chips[0]!.pins.map((inputPin) => ({
+    ...inputPin,
+    chipId: "U2",
+  }))
+  const traces = [
+    createTrace(
+      "left",
+      [
+        { x: -2, y: 1 },
+        { x: -2, y: 2 },
+        { x: 0, y: 2 },
+        { x: 0, y: 1 },
+      ],
+      [inputPins[0]!, inputPins[1]!],
+    ),
+    createTrace(
+      "right",
+      [
+        { x: 0, y: 1 },
+        { x: 0, y: 3 },
+        { x: 2, y: 3 },
+        { x: 2, y: 1 },
+      ],
+      [inputPins[1]!, inputPins[2]!],
+    ),
+  ]
+
+  const result = align(traces, { inputProblem })
+
+  expect(result.alignedRailGroupCount).toBe(1)
+  expect(result.traces[1]!.tracePath).toEqual([
+    { x: 0, y: 1 },
+    { x: 0, y: 2 },
+    { x: 2, y: 2 },
+    { x: 2, y: 1 },
+  ])
+})

package/tests/solvers/TraceCleanupSolver/alignSameNetRails-label-anchor.test.ts

@@ -0,0 +1,36 @@
+import { expect, test } from "bun:test"
+import type { NetLabelPlacement } from "lib/solvers/NetLabelPlacementSolver/NetLabelPlacementSolver"
+import { align, getVerticalRailTraces } from "./fixtures/alignSameNetRails"
+
+test("preserves existing label anchors", () => {
+  const traces = getVerticalRailTraces()
+  const labels: NetLabelPlacement[] = [
+    {
+      globalConnNetId: "power-net",
+      netId: "POWER",
+      mspConnectionPairIds: ["upper"],
+      pinIds: ["U1.1", "U1.2"],
+      orientation: "x+",
+      anchorPoint: { x: -2, y: 1 },
+      center: { x: -1.8, y: 1 },
+      width: 0.4,
+      height: 0.2,
+    },
+    {
+      globalConnNetId: "power-net",
+      netId: "POWER",
+      mspConnectionPairIds: ["lower"],
+      pinIds: ["U1.2", "U1.3"],
+      orientation: "x+",
+      anchorPoint: { x: -3, y: -1 },
+      center: { x: -2.8, y: -1 },
+      width: 0.4,
+      height: 0.2,
+    },
+  ]
+
+  const result = align(traces, { netLabelPlacements: labels })
+
+  expect(result.alignedRailGroupCount).toBe(0)
+  expect(result.traces).toEqual(traces)
+})

package/tests/solvers/TraceCleanupSolver/alignSameNetRails-label-junction.test.ts

@@ -0,0 +1,42 @@
+import { expect, test } from "bun:test"
+import type { NetLabelPlacement } from "lib/solvers/NetLabelPlacementSolver/NetLabelPlacementSolver"
+import {
+  align,
+  createTrace,
+  getVerticalRailTraces,
+} from "./fixtures/alignSameNetRails"
+
+test("preserves every trace joined at a net-label anchor", () => {
+  const rails = getVerticalRailTraces()
+  const anchorKeeper = createTrace(
+    "anchor-keeper",
+    [
+      { x: -3, y: -1 },
+      { x: -4, y: -1 },
+    ],
+    [
+      { pinId: "X1.1", chipId: "X1", x: -3, y: -1 },
+      { pinId: "X2.1", chipId: "X2", x: -4, y: -1 },
+    ],
+  )
+  const traces = [...rails, anchorKeeper]
+  const label: NetLabelPlacement = {
+    globalConnNetId: "power-net",
+    netId: "POWER",
+    mspConnectionPairIds: [anchorKeeper.mspPairId],
+    pinIds: anchorKeeper.pinIds,
+    orientation: "x-",
+    anchorPoint: { x: -3, y: -1 },
+    center: { x: -3.2, y: -1 },
+    width: 0.4,
+    height: 0.2,
+  }
+
+  const result = align(traces, {
+    netLabelPlacements: [label],
+    eligibleTraceIds: new Set(rails.map((trace) => trace.mspPairId)),
+  })
+
+  expect(result.alignedRailGroupCount).toBe(0)
+  expect(result.traces).toEqual(traces)
+})