@tscircuit/schematic-trace-solver 0.0.157 → 0.0.159

package/tests/repros/repro-mspm0l1306-capacitor-symmetry.test.ts

@@ -0,0 +1,87 @@
+import { expect, test } from "bun:test"
+import { SchematicTracePipelineSolver } from "lib/solvers/SchematicTracePipelineSolver/SchematicTracePipelineSolver"
+import type { InputProblem } from "lib/types/InputProblem"
+import "tests/fixtures/matcher"
+import inputProblem from "./assets/repro-mspm0l1306-capacitor-symmetry.input.json"
+
+// Captured from tscircuit/ti#119, Microcontroller_MSPM0L1306 at b5ee159.
+// Only opaque component/port IDs and display metadata were normalized.
+// C1/C2 are already level; their VDD/VSS rail junctions should be level too.
+test("repro: MSPM0L1306 aligned decoupling capacitor rails", async () => {
+  const solver = new SchematicTracePipelineSolver(
+    inputProblem as unknown as InputProblem,
+    {
+      hideRatsNet: true,
+    },
+  )
+  solver.solve()
+
+  expect(solver.solved).toBe(true)
+  expect(solver.failed).toBe(false)
+
+  const { traces, netLabelPlacements } =
+    solver.netLabelToTraceSolver!.getOutput()
+  const getTrace = (...pinIds: string[]) => {
+    const trace = traces.find((trace) =>
+      pinIds.every((pinId) => trace.pinIds.includes(pinId)),
+    )
+    expect(trace).toBeDefined()
+    return trace!
+  }
+  for (const [pin, railY] of [
+    [1, 2.05],
+    [2, 0.65],
+  ] as const) {
+    const path = getTrace(`C1.${pin}`, `C2.${pin}`).tracePath
+    const horizontalSegments = path.slice(1).flatMap((end, index) => {
+      const start = path[index]!
+      return Math.abs(start.y - end.y) < 1e-6 ? [[start, end]] : []
+    })
+    expect(horizontalSegments).toHaveLength(1)
+    const [start, end] = horizontalSegments[0]!
+    expect(start!.y).toBeCloseTo(railY, 6)
+    expect(end!.y).toBeCloseTo(railY, 6)
+    expect([start!.x, end!.x].sort()).toEqual([-3.5, -4.5].sort())
+  }
+
+  // C3 and C4 share the electrical GND net with the decoupling rail, but
+  // should each terminate locally instead of being wired to other capacitors.
+  for (const pinId of ["C3.2", "C4.2"]) {
+    expect(
+      traces.some(
+        (trace) => trace.pinIds.includes(pinId) && trace.pinIds.length > 1,
+      ),
+    ).toBe(false)
+    expect(
+      netLabelPlacements.some(
+        (label) =>
+          label.netId === "GND" &&
+          label.pinIds.includes(pinId) &&
+          label.orientation === "y-",
+      ),
+    ).toBe(true)
+  }
+  const railGround = netLabelPlacements.find(
+    (label) =>
+      label.netId === "GND" &&
+      label.mspConnectionPairIds.some((pairId) =>
+        traces.some(
+          (trace) =>
+            trace.mspPairId === pairId && trace.pinIds.includes("C1.2"),
+        ),
+      ),
+  )
+  expect(railGround).toBeDefined()
+  expect(railGround!.orientation).toBe("y-")
+  expect(railGround!.anchorPoint.x).toBeCloseTo(-4.5, 6)
+  expect(railGround!.anchorPoint.y).toBeCloseTo(0.65, 6)
+  const groundNetId =
+    solver.mspConnectionPairSolver!.globalConnMap.getNetConnectedToId("GND")
+  expect(
+    netLabelPlacements
+      .filter((label) => label.netId === "GND")
+      .every((label) => label.globalConnNetId === groundNetId),
+  ).toBe(true)
+
+  await expect(solver).toMatchSolverSnapshot(import.meta.path)
+})

package/tests/repros/repro-pga300-redundant-ground-traces.test.ts

@@ -0,0 +1,33 @@
+import { expect, test } from "bun:test"
+import { SchematicTracePipelineSolver } from "lib/solvers/SchematicTracePipelineSolver/SchematicTracePipelineSolver"
+import type { InputProblem } from "lib/types/InputProblem"
+import "tests/fixtures/matcher"
+import inputProblem from "./assets/repro-pga300-redundant-ground-traces.input.json"
+
+// Full solver input captured from tscircuit/ti#117 at 067b6a2 using
+// `tsci build ... --schematic-only --disable-pcb --solver-debug`.
+// Only the debug serializer's { value_type: "undefined" } markers were removed.
+const COMP = "schematic_port_10"
+const GND = "schematic_port_7"
+const C3_GND = "schematic_port_32"
+const R1_GND = "schematic_port_38"
+
+test("repro: PGA300 adds redundant ground branches at COMP", async () => {
+  const solver = new SchematicTracePipelineSolver(
+    inputProblem as unknown as InputProblem,
+  )
+  solver.solve()
+
+  expect(solver.solved).toBe(true)
+  const { traces } = solver.netLabelToTraceSolver!.getOutput()
+  const hasPair = (a: string, b: string) =>
+    traces.some((trace) => trace.pinIds.includes(a) && trace.pinIds.includes(b))
+
+  // Current bug: the global GND spanning tree substitutes these two branches
+  // for the explicitly requested COMP -> R1 connection in the source circuit.
+  expect(hasPair(COMP, GND)).toBe(true)
+  expect(hasPair(COMP, C3_GND)).toBe(true)
+  expect(hasPair(COMP, R1_GND)).toBe(false)
+
+  await expect(solver).toMatchSolverSnapshot(import.meta.path)
+})

package/tests/solvers/InlineNetLabelSolver/__snapshots__/anchored-net-label-width.snap.svg

@@ -1,4 +1,4 @@
-<svg width="2416" height="1200" viewBox="0 0 2416 1200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Solver debug visualization on the left and Circuit JSON schematic on the right">
+<svg width="1200" height="2016" viewBox="0 0 1200 2016" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Solver debug visualization on top and Circuit JSON schematic on the bottom">
   <g transform="translate(0, 0) scale(1.875, 1.875) translate(0, 0)">
     <rect width="100%" height="100%" fill="white"/><g><polyline data-points="5.575,1.4 2.045,2.6" data-type="line" data-label="" points="447.56446991404016,256.8863419293219 258.75835721107927,192.70296084049664" fill="none" stroke="hsl(193, 100%, 50%, 0.8)" stroke-width="1px"/></g><g><polyline data-points="5.575,1.2 2.045,2.4" data-type="line" data-label="" points="447.56446991404016,267.5835721107927 258.75835721107927,203.40019102196752" fill="none" stroke="hsl(191, 100%, 50%, 0.8)" stroke-width="1px"/></g><g><polyline data-points="5.575,1 2.045,2.2" data-type="line" data-label="" points="447.56446991404016,278.2808022922636 258.75835721107927,214.0974212034384" fill="none" stroke="hsl(72, 100%, 50%, 0.8)" stroke-width="1px"/></g><g><polyline data-points="5.575,0.8 2.045,2" data-type="line" data-label="" points="447.56446991404016,288.97803247373446 258.75835721107927,224.79465138490926" fill="none" stroke="hsl(74, 100%, 50%, 0.8)" stroke-width="1px"/></g><g><polyline data-points="5.575,0.6 2.045,0.7" data-type="line" data-label="" points="447.56446991404016,299.67526265520536 258.75835721107927,294.3266475644699" fill="none" stroke="hsl(184, 100%, 50%, 0.8)" stroke-width="1px"/></g><g><polyline data-points="5.575,1.4 5.375,1.4 5.375,2.6 2.045,2.6" data-type="line" data-label="" points="447.56446991404016,256.8863419293219 436.86723973256926,256.8863419293219 436.86723973256926,192.70296084049664 258.75835721107927,192.70296084049664" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="5.575,1.2 3.81,1.2 3.81,2.4 2.045,2.4" data-type="line" data-label="" points="447.56446991404016,267.5835721107927 353.1614135625597,267.5835721107927 353.1614135625597,203.40019102196752 258.75835721107927,203.40019102196752" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="5.575,1 3.71,1 3.71,2.2 2.045,2.2" data-type="line" data-label="" points="447.56446991404016,278.2808022922636 347.81279847182424,278.2808022922636 347.81279847182424,214.0974212034384 258.75835721107927,214.0974212034384" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="5.575,0.8 2.245,0.8 2.245,2 2.045,2" data-type="line" data-label="" points="447.56446991404016,288.97803247373446 269.4555873925501,288.97803247373446 269.4555873925501,224.79465138490926 258.75835721107927,224.79465138490926" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="5.575,0.6 3.81,0.6 3.81,0.7 2.045,0.7" data-type="line" data-label="" points="447.56446991404016,299.67526265520536 353.1614135625597,299.67526265520536 353.1614135625597,294.3266475644699 258.75835721107927,294.3266475644699" fill="none" stroke="purple" stroke-width="1px"/></g><g><rect data-type="rect" data-label="U1" data-x="0" data-y="0" x="40" y="161.9484240687679" width="218.75835721107927" height="339.6370582617001" fill="hsl(164, 100%, 50%, 0.8)" stroke="black" stroke-width="0.018696428571428572"/></g><g><rect data-type="rect" data-label="J4" data-x="7" data-y="-0.4" x="447.5644699140401" y="246.189111747851" width="152.43553008595984" height="213.94460362941737" fill="hsl(186, 100%, 50%, 0.8)" stroke="black" stroke-width="0.018696428571428572"/></g><g><rect data-type="rect" data-label="TB67S579FTG" data-x="2.405" data-y="3.525" x="242.71251193887292" y="138.41451766953202" width="70.60171919770775" height="9.627507163323742" fill="rgba(160, 0, 220, 0.14)" stroke="black" stroke-width="0.018696428571428572"/></g><g><rect data-type="rect" data-label="U1" data-x="1.865" data-y="3.29" x="239.50334288443167" y="149.11174785100286" width="19.25501432664757" height="13.371537726838596" fill="rgba(160, 0, 220, 0.14)" stroke="black" stroke-width="0.018696428571428572"/></g><g><rect data-type="rect" data-label="J4" data-x="6.095" data-y="1.715" x="465.74976122254054" y="233.35243553008593" width="19.255014326647597" height="13.371537726838568" fill="rgba(160, 0, 220, 0.14)" stroke="black" stroke-width="0.018696428571428572"/></g><g><rect data-type="rect" data-label="INLINE netId: OUT_A_P
 axis: x
@@ -70,7 +70,7 @@ SERIAL_IN" data-x="4.6925" data-y="0.6" cx="400.3629417382999" cy="299.675262655
               });
             ]]></script>
   </g>
-  <g transform="translate(1216, 200)">
+  <g transform="translate(0, 1216)">
     <style>
               .boundary { fill: rgb(245, 241, 237); }
               .schematic-boundary { fill: none; stroke: #fff; }

package/tests/solvers/InlineNetLabelSolver/__snapshots__/inline-net-label-anchored-label-clearance.snap.svg

@@ -1,4 +1,4 @@
-<svg width="2416" height="1200" viewBox="0 0 2416 1200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Solver debug visualization on the left and Circuit JSON schematic on the right">
+<svg width="1200" height="2016" viewBox="0 0 1200 2016" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Solver debug visualization on top and Circuit JSON schematic on the bottom">
   <g transform="translate(0, 0) scale(1.875, 1.875) translate(0, 0)">
     <rect width="100%" height="100%" fill="white"/><g><polyline data-points="-0.7,0.2 -1.3290000000000002,0.2" data-type="line" data-label="" points="337.7926421404682,320 219.98662207357856,320" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="-0.7,0.4 -1.3290000000000002,0.4" data-type="line" data-label="" points="337.7926421404682,282.54180602006693 219.98662207357856,282.54180602006693" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="-0.7,0 -1.38,0" data-type="line" data-label="" points="337.7926421404682,357.4581939799331 210.43478260869568,357.4581939799331" fill="none" stroke="purple" stroke-width="1px"/></g><g><rect data-type="rect" data-label="U1" data-x="0" data-y="0.2" x="337.79264214046816" y="226.35451505016724" width="262.2073578595318" height="187.29096989966553" fill="hsl(164, 100%, 50%, 0.8)" stroke="black" stroke-width="0.005339285714285715"/></g><g><rect data-type="rect" data-label="netId: D_MINUS
 globalConnNetId: connectivity_net0" data-x="-1.81" data-y="0.4" x="40" y="263.81270903010034" width="179.79933110367892" height="37.45819397993313" fill="hsl(40, 100%, 50%, 0.35)" stroke="black" stroke-width="0.005339285714285715"/></g><g><rect data-type="rect" data-label="netId: D_PLUS
@@ -55,7 +55,7 @@ SWCLK" data-x="-1.04" data-y="0" cx="274.11371237458195" cy="357.4581939799331"
               });
             ]]></script>
   </g>
-  <g transform="translate(1216, 200)">
+  <g transform="translate(0, 1216)">
     <style>
               .boundary { fill: rgb(245, 241, 237); }
               .schematic-boundary { fill: none; stroke: #fff; }

package/tests/solvers/InlineNetLabelSolver/__snapshots__/inline-net-label-port-stub.snap.svg

@@ -1,4 +1,4 @@
-<svg width="2416" height="1200" viewBox="0 0 2416 1200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Solver debug visualization on the left and Circuit JSON schematic on the right">
+<svg width="1200" height="2016" viewBox="0 0 1200 2016" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Solver debug visualization on top and Circuit JSON schematic on the bottom">
   <g transform="translate(0, 0) scale(1.875, 1.875) translate(0, 0)">
     <rect width="100%" height="100%" fill="white"/><g><polyline data-points="-0.5,0.3 -2.3499999999999996,0.3" data-type="line" data-label="" points="262.79569892473114,271.8279569892473 40,271.8279569892473" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="0.5,-0.2 2.3,-0.2" data-type="line" data-label="" points="383.2258064516129,332.04301075268813 600,332.04301075268813" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="-0.5,-0.1 -2.3499999999999996,-0.1" data-type="line" data-label="" points="262.79569892473114,320 40,320" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="-0.2,0.5 -0.2,1.45" data-type="line" data-label="" points="298.9247311827957,247.74193548387095 298.9247311827957,133.33333333333331" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="0.2,-0.5 0.2,-1.65" data-type="line" data-label="" points="347.09677419354836,368.17204301075265 347.09677419354836,506.66666666666663" fill="none" stroke="purple" stroke-width="1px"/></g><g><rect data-type="rect" data-label="U1" data-x="0" data-y="0" x="262.79569892473114" y="247.74193548387098" width="120.43010752688178" height="120.4301075268817" fill="hsl(164, 100%, 50%, 0.8)" stroke="black" stroke-width="0.008303571428571428"/></g><g><rect data-type="rect" data-label="INLINE netId: NET_PRU0_MII_TX_CLK1
 axis: x
@@ -65,7 +65,7 @@ NET_BOTTOM" data-x="0.2" data-y="-1.075" cx="347.09677419354836" cy="437.4193548
               });
             ]]></script>
   </g>
-  <g transform="translate(1216, 200)">
+  <g transform="translate(0, 1216)">
     <style>
               .boundary { fill: rgb(245, 241, 237); }
               .schematic-boundary { fill: none; stroke: #fff; }

package/tests/solvers/InlineNetLabelSolver/__snapshots__/inline-net-label-two-pin-net.snap.svg

@@ -1,4 +1,4 @@
-<svg width="2416" height="1200" viewBox="0 0 2416 1200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Solver debug visualization on the left and Circuit JSON schematic on the right">
+<svg width="1200" height="2016" viewBox="0 0 1200 2016" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Solver debug visualization on top and Circuit JSON schematic on the bottom">
   <g transform="translate(0, 0) scale(1.875, 1.875) translate(0, 0)">
     <rect width="100%" height="100%" fill="white"/><g><polyline data-points="-0.5,1 0.5,1" data-type="line" data-label="" points="264,208 376,208" fill="none" stroke="hsl(253, 100%, 50%, 0.8)" stroke-width="1px" stroke-dasharray="4 2"/></g><g><polyline data-points="-0.5,1 0.5,1" data-type="line" data-label="" points="264,208 376,208" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="-1.5,-1 -0.19999999999999996,-1" data-type="line" data-label="" points="152,432 297.6,432" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="1.5,-1 0.19999999999999996,-1" data-type="line" data-label="" points="488,432 342.4,432" fill="none" stroke="purple" stroke-width="1px"/></g><g><rect data-type="rect" data-label="U1" data-x="-1" data-y="1" x="152" y="152" width="112" height="112" fill="hsl(164, 100%, 50%, 0.8)" stroke="black" stroke-width="0.008928571428571428"/></g><g><rect data-type="rect" data-label="U2" data-x="1" data-y="1" x="376" y="152" width="112" height="112" fill="hsl(165, 100%, 50%, 0.8)" stroke="black" stroke-width="0.008928571428571428"/></g><g><rect data-type="rect" data-label="U3" data-x="-2" data-y="-1" x="40" y="376" width="112" height="112" fill="hsl(166, 100%, 50%, 0.8)" stroke="black" stroke-width="0.008928571428571428"/></g><g><rect data-type="rect" data-label="U4" data-x="2" data-y="-1" x="488" y="376" width="112" height="112" fill="hsl(167, 100%, 50%, 0.8)" stroke="black" stroke-width="0.008928571428571428"/></g><g><rect data-type="rect" data-label="INLINE netId: NET_ROUTED
 axis: x
@@ -58,7 +58,7 @@ NET_SECTIONED" data-x="0.85" data-y="-1" cx="415.2" cy="432" r="3" fill="green"/
               });
             ]]></script>
   </g>
-  <g transform="translate(1216, 200)">
+  <g transform="translate(0, 1216)">
     <style>
               .boundary { fill: rgb(245, 241, 237); }
               .schematic-boundary { fill: none; stroke: #fff; }

package/tests/solvers/InlineNetLabelSolver/__snapshots__/inline-net-label01.snap.svg

@@ -1,4 +1,4 @@
-<svg width="2416" height="1200" viewBox="0 0 2416 1200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Solver debug visualization on the left and Circuit JSON schematic on the right">
+<svg width="1200" height="2016" viewBox="0 0 1200 2016" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Solver debug visualization on top and Circuit JSON schematic on the bottom">
   <g transform="translate(0, 0) scale(1.875, 1.875) translate(0, 0)">
     <rect width="100%" height="100%" fill="white"/><g><polyline data-points="0.5,0 2.5,0" data-type="line" data-label="" points="214.33962264150944,71.69811320754715 425.66037735849056,71.69811320754715" fill="none" stroke="hsl(48, 100%, 50%, 0.8)" stroke-width="1px"/></g><g><polyline data-points="0,-2.5 0,-4" data-type="line" data-label="" points="161.50943396226415,335.84905660377353 161.50943396226415,494.33962264150944" fill="none" stroke="hsl(136, 100%, 50%, 0.8)" stroke-width="1px"/></g><g><polyline data-points="0.5,0 2.5,0" data-type="line" data-label="" points="214.33962264150944,71.69811320754715 425.66037735849056,71.69811320754715" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="0,-2.5 0,-4" data-type="line" data-label="" points="161.50943396226415,335.84905660377353 161.50943396226415,494.33962264150944" fill="none" stroke="purple" stroke-width="1px"/></g><g><rect data-type="rect" data-label="U1" data-x="0" data-y="0" x="108.67924528301887" y="39.999999999999986" width="105.66037735849056" height="63.39622641509433" fill="hsl(164, 100%, 50%, 0.8)" stroke="black" stroke-width="0.009464285714285715"/></g><g><rect data-type="rect" data-label="U2" data-x="3" data-y="0" x="425.66037735849056" y="39.999999999999986" width="105.66037735849056" height="63.39622641509433" fill="hsl(165, 100%, 50%, 0.8)" stroke="black" stroke-width="0.009464285714285715"/></g><g><rect data-type="rect" data-label="U3" data-x="0" data-y="-2" x="129.81132075471697" y="230.18867924528303" width="63.39622641509436" height="105.66037735849054" fill="hsl(166, 100%, 50%, 0.8)" stroke="black" stroke-width="0.009464285714285715"/></g><g><rect data-type="rect" data-label="U4" data-x="0" data-y="-4.5" x="129.81132075471697" y="494.3396226415094" width="63.39622641509436" height="105.66037735849056" fill="hsl(167, 100%, 50%, 0.8)" stroke="black" stroke-width="0.009464285714285715"/></g><g><rect data-type="rect" data-label="INLINE netId: USER_LED_ANODE
 axis: x
@@ -55,7 +55,7 @@ SPI_SCK" data-x="0" data-y="-3.25" cx="161.50943396226415" cy="415.0943396226415
               });
             ]]></script>
   </g>
-  <g transform="translate(1216, 200)">
+  <g transform="translate(0, 1216)">
     <style>
               .boundary { fill: rgb(245, 241, 237); }
               .schematic-boundary { fill: none; stroke: #fff; }

package/tests/solvers/InlineNetLabelSolver/__snapshots__/inline-net-label02.snap.svg

@@ -1,4 +1,4 @@
-<svg width="2416" height="1200" viewBox="0 0 2416 1200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Solver debug visualization on the left and Circuit JSON schematic on the right">
+<svg width="1200" height="2016" viewBox="0 0 1200 2016" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Solver debug visualization on top and Circuit JSON schematic on the bottom">
   <g transform="translate(0, 0) scale(1.875, 1.875) translate(0, 0)">
     <rect width="100%" height="100%" fill="white"/><g><polyline data-points="0.6000000000000001,-0.30000000000000004 2.435,0" data-type="line" data-label="" points="201.34453781512605,376.47058823529414 448.06722689075633,336.1344537815126" fill="none" stroke="hsl(48, 100%, 50%, 0.8)" stroke-width="1px"/></g><g><polyline data-points="0.6000000000000001,-0.30000000000000004 1.5175,-0.30000000000000004 1.5175,0 2.435,0" data-type="line" data-label="" points="201.34453781512605,376.47058823529414 324.7058823529412,376.47058823529414 324.7058823529412,336.1344537815126 448.06722689075633,336.1344537815126" fill="none" stroke="purple" stroke-width="1px"/></g><g><rect data-type="rect" data-label="schematic_component_0" data-x="0" data-y="0" x="40" y="268.9075630252101" width="161.34453781512605" height="134.45378151260502" fill="hsl(24, 100%, 50%, 0.8)" stroke="black" stroke-width="0.0074375"/></g><g><rect data-type="rect" data-label="schematic_component_1" data-x="3" data-y="0.13249999999999998" x="448.0672268907564" y="256.8067226890756" width="151.93277310924367" height="123.02521008403363" fill="hsl(24, 100%, 50%, 0.8)" stroke="black" stroke-width="0.0074375"/></g><g><rect data-type="rect" data-label="U1" data-x="-0.08000000000000002" data-y="0.615" x="85.7142857142857" y="236.6386554621849" width="48.40336134453783" height="33.613445378151255" fill="rgba(160, 0, 220, 0.14)" stroke="black" stroke-width="0.0074375"/></g><g><rect data-type="rect" data-label="INLINE netId: USER_LED_ANODE
 axis: x
@@ -58,7 +58,7 @@ USER_LED_ANODE" data-x="1.5175" data-y="0" cx="324.7058823529412" cy="336.134453
               });
             ]]></script>
   </g>
-  <g transform="translate(1216, 200)">
+  <g transform="translate(0, 1216)">
     <style>
               .boundary { fill: rgb(245, 241, 237); }
               .schematic-boundary { fill: none; stroke: #fff; }

package/tests/solvers/InlineNetLabelSolver/__snapshots__/terminal-stub-trace-clearance.snap.svg

@@ -1,4 +1,4 @@
-<svg width="2416" height="1200" viewBox="0 0 2416 1200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Solver debug visualization on the left and Circuit JSON schematic on the right">
+<svg width="1200" height="2016" viewBox="0 0 1200 2016" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Solver debug visualization on top and Circuit JSON schematic on the bottom">
   <g transform="translate(0, 0) scale(1.875, 1.875) translate(0, 0)">
     <rect width="100%" height="100%" fill="white"/><g><polyline data-points="0.5,-0.1 1,-0.1 1,0.5" data-type="line" data-label="" points="413.33333333333337,394.66666666666663 600,394.66666666666663 600,170.66666666666666" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="0.5,0.3 0.95,0.3" data-type="line" data-label="" points="413.33333333333337,245.33333333333331 581.3333333333333,245.33333333333331" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="0.5,0.1 0.95,0.1" data-type="line" data-label="" points="413.33333333333337,320 581.3333333333333,320" fill="none" stroke="purple" stroke-width="1px"/></g><g><rect data-type="rect" data-label="U1" data-x="0" data-y="0.1" x="40" y="170.66666666666669" width="373.33333333333337" height="298.66666666666663" fill="hsl(164, 100%, 50%, 0.8)" stroke="black" stroke-width="0.0026785714285714286"/></g><g><rect data-type="rect" data-label="INLINE netId: SCL
 axis: x
@@ -54,7 +54,7 @@ SDA" data-x="0.725" data-y="0.1" cx="497.3333333333333" cy="320" r="3" fill="gre
               });
             ]]></script>
   </g>
-  <g transform="translate(1216, 200)">
+  <g transform="translate(0, 1216)">
     <style>
               .boundary { fill: rgb(245, 241, 237); }
               .schematic-boundary { fill: none; stroke: #fff; }

package/tests/solvers/MspConnectionPairSolver/local-ground-branches.test.ts

@@ -0,0 +1,105 @@
+import { expect, test } from "bun:test"
+import { LongDistancePairSolver } from "lib/solvers/LongDistancePairSolver/LongDistancePairSolver"
+import { getGroundConnectionPolicy } from "lib/solvers/MspConnectionPairSolver/getGroundConnectionPolicy"
+import { MspConnectionPairSolver } from "lib/solvers/MspConnectionPairSolver/MspConnectionPairSolver"
+import { createParallelGroundRailProblem } from "tests/fixtures/parallel-ground-rail"
+
+test("keeps a wired parallel ground rail but labels independent staggered branches", () => {
+  const inputProblem = createParallelGroundRailProblem()
+  const before = structuredClone(inputProblem)
+  const solver = new MspConnectionPairSolver({ inputProblem })
+  solver.solve()
+  expect(solver.mspConnectionPairs).toHaveLength(2)
+  const routed = new Set(
+    solver.mspConnectionPairs.flatMap((pair) =>
+      pair.pins.map((pin) => pin.pinId),
+    ),
+  )
+  expect([...routed].sort()).toEqual(["A.2", "B.2", "U.GND"])
+  expect(inputProblem).toEqual(before)
+})
+
+test("long-distance recovery does not reconnect the separated ground branches", () => {
+  const inputProblem = createParallelGroundRailProblem()
+  const primary = new MspConnectionPairSolver({ inputProblem })
+  primary.solve()
+  const solver = new LongDistancePairSolver({
+    inputProblem,
+    primaryMspConnectionPairs: primary.mspConnectionPairs,
+    alreadySolvedTraces: [],
+    failedConnectionPairs: [],
+  })
+  solver.solve()
+  expect(solver.getOutput().newTraces).toEqual([])
+})
+
+test("the branch policy is symmetric in its endpoints", () => {
+  const canRoute = getGroundConnectionPolicy(createParallelGroundRailProblem())
+  expect(canRoute("B.2", "C.2")).toBe(false)
+  expect(canRoute("C.2", "B.2")).toBe(false)
+  expect(canRoute("C.2", "D.2")).toBe(false)
+  expect(canRoute("D.2", "C.2")).toBe(false)
+})
+
+test("explicit direct wiring overrides the local-ground preference", () => {
+  const inputProblem = createParallelGroundRailProblem()
+  inputProblem.directConnections.push({ pinIds: ["B.2", "C.2"] })
+  const canRoute = getGroundConnectionPolicy(inputProblem)
+  expect(canRoute("B.2", "C.2")).toBe(true)
+  expect(canRoute("A.2", "C.2")).toBe(true)
+  expect(canRoute("C.2", "D.2")).toBe(false)
+})
+
+for (const y of [1, 0.5, 0]) {
+  test(`keeps level or nearby ground pins at y=${y} on the rail`, () => {
+    const inputProblem = createParallelGroundRailProblem()
+    inputProblem.chips[2]!.pins[1]!.y = y
+    const canRoute = getGroundConnectionPolicy(inputProblem)
+    expect(canRoute("B.2", "C.2")).toBe(true)
+  })
+}
+
+test("preserves existing behavior without an explicitly wired parallel rail", () => {
+  const inputProblem = createParallelGroundRailProblem()
+  inputProblem.directConnections = []
+  expect(getGroundConnectionPolicy(inputProblem)("B.2", "C.2")).toBe(true)
+})
+
+test("a repeated direct-connection net ID does not invent a physical rail", () => {
+  const inputProblem = createParallelGroundRailProblem()
+  inputProblem.directConnections = [
+    { netId: "GND", pinIds: ["A.2", "U.GND"] },
+    { netId: "GND", pinIds: ["B.2", "D.2"] },
+  ]
+  expect(getGroundConnectionPolicy(inputProblem)("B.2", "C.2")).toBe(true)
+})
+
+test("resolves a ground alias through global connectivity", () => {
+  const inputProblem = createParallelGroundRailProblem()
+  inputProblem.netConnections[0]!.netId = "RETURN"
+  inputProblem.netConnections.push({ netId: "GND", pinIds: ["U.GND"] })
+  expect(getGroundConnectionPolicy(inputProblem)("B.2", "C.2")).toBe(false)
+})
+
+test("does not apply the ground rule to power or signal nets", () => {
+  const inputProblem = createParallelGroundRailProblem()
+  inputProblem.netConnections[0]!.netId = "VDD"
+  expect(getGroundConnectionPolicy(inputProblem)("B.2", "C.2")).toBe(true)
+})
+
+test("infers ground-facing pins when explicit directions are absent", () => {
+  const inputProblem = createParallelGroundRailProblem()
+  for (const chip of inputProblem.chips) {
+    for (const pin of chip.pins) delete pin._facingDirection
+  }
+  expect(getGroundConnectionPolicy(inputProblem)("B.2", "C.2")).toBe(false)
+})
+
+test("does not isolate side-facing or multi-pin components", () => {
+  const inputProblem = createParallelGroundRailProblem()
+  inputProblem.chips[2]!.pins[1]!._facingDirection = "x-"
+  expect(getGroundConnectionPolicy(inputProblem)("B.2", "C.2")).toBe(true)
+  inputProblem.chips[2]!.pins[1]!._facingDirection = "y-"
+  inputProblem.chips[2]!.pins.push({ pinId: "C.3", x: 2, y: -1.6 })
+  expect(getGroundConnectionPolicy(inputProblem)("B.2", "C.2")).toBe(true)
+})

package/tests/solvers/SameNetJunctionAlignmentSolver/ground-rail-label.test.ts

@@ -0,0 +1,188 @@
+import { expect, test } from "bun:test"
+import { getConnectivityMapsFromInputProblem } from "lib/solvers/MspConnectionPairSolver/getConnectivityMapFromInputProblem"
+import type { NetLabelPlacement } from "lib/solvers/NetLabelPlacementSolver/NetLabelPlacementSolver"
+import { placeGroundRailLabelsAtOuterEnd } from "lib/solvers/SameNetJunctionAlignmentSolver/placeGroundRailLabelsAtOuterEnd"
+import type { SolvedTracePath } from "lib/solvers/SchematicTraceLinesSolver/SchematicTraceLinesSolver"
+import { createParallelGroundRailProblem } from "tests/fixtures/parallel-ground-rail"
+
+const createFixture = () => {
+  const inputProblem = createParallelGroundRailProblem()
+  const { netConnMap } = getConnectivityMapsFromInputProblem(inputProblem)
+  const globalConnNetId = netConnMap.getNetConnectedToId("GND")!
+  const pins = new Map(
+    inputProblem.chips.flatMap((chip) =>
+      chip.pins.map(
+        (pin) => [pin.pinId, { ...pin, chipId: chip.chipId }] as const,
+      ),
+    ),
+  )
+  const trace = (
+    mspPairId: string,
+    pinIds: [string, string],
+    path: number[][],
+  ): SolvedTracePath => ({
+    mspPairId,
+    mspConnectionPairIds: [mspPairId],
+    globalConnNetId,
+    dcConnNetId: globalConnNetId,
+    userNetId: "GND",
+    pinIds,
+    pins: [pins.get(pinIds[0])!, pins.get(pinIds[1])!],
+    tracePath: path.map(([x, y]) => ({ x: x!, y: y! })),
+  })
+  const traces = [
+    trace(
+      "rail",
+      ["B.2", "A.2"],
+      [
+        [1, 1],
+        [1, 0.6],
+        [0, 0.6],
+        [0, 1],
+      ],
+    ),
+    trace(
+      "feed",
+      ["U.GND", "B.2"],
+      [
+        [2, 0.6],
+        [1, 0.6],
+        [1, 1],
+      ],
+    ),
+  ]
+  const netLabelPlacements: NetLabelPlacement[] = [
+    {
+      globalConnNetId,
+      dcConnNetId: globalConnNetId,
+      netId: "GND",
+      mspConnectionPairIds: ["feed"],
+      pinIds: ["U.GND", "B.2"],
+      orientation: "y-",
+      anchorPoint: { x: 1, y: 0.6 },
+      center: { x: 1, y: 0.4 },
+      width: 0.4,
+      height: 0.4,
+    },
+  ]
+  return { inputProblem, traces, netLabelPlacements }
+}
+
+for (const mirror of [1, -1]) {
+  test(`places the shared GND at the outer column, mirrored=${mirror}`, () => {
+    const fixture = createFixture()
+    for (const chip of fixture.inputProblem.chips) {
+      chip.center.x *= mirror
+      for (const pin of chip.pins) pin.x *= mirror
+    }
+    for (const trace of fixture.traces) {
+      for (const point of trace.tracePath) point.x *= mirror
+    }
+    const visited = new Set()
+    for (const pin of fixture.traces.flatMap((trace) => trace.pins)) {
+      if (visited.has(pin)) continue
+      pin.x *= mirror
+      visited.add(pin)
+    }
+    fixture.netLabelPlacements[0]!.anchorPoint.x *= mirror
+    fixture.netLabelPlacements[0]!.center.x *= mirror
+    const before = structuredClone(fixture)
+    const labels = placeGroundRailLabelsAtOuterEnd(fixture)
+    expect(labels[0]!.anchorPoint.x).toBeCloseTo(0, 6)
+    expect(labels[0]!.anchorPoint.y).toBeCloseTo(0.6, 6)
+    expect(labels[0]!.mspConnectionPairIds).toEqual(["rail"])
+    expect(labels[0]!.globalConnNetId).toBe(
+      before.netLabelPlacements[0]!.globalConnNetId,
+    )
+    expect(fixture).toEqual(before)
+    expect(
+      placeGroundRailLabelsAtOuterEnd({
+        ...fixture,
+        netLabelPlacements: labels,
+      }),
+    ).toEqual(labels)
+  })
+}
+
+test("label placement is independent of trace and endpoint ordering", () => {
+  const fixture = createFixture()
+  fixture.traces.reverse()
+  for (const trace of fixture.traces) {
+    trace.tracePath.reverse()
+    trace.pins.reverse()
+    trace.pinIds.reverse()
+  }
+  expect(placeGroundRailLabelsAtOuterEnd(fixture)[0]!.anchorPoint).toEqual({
+    x: 0,
+    y: 0.6,
+  })
+})
+
+for (const obstacle of [
+  "chip",
+  "text",
+  "trace",
+  "same-net-trace",
+  "label",
+  "same-net-label",
+] as const) {
+  test(`keeps the existing anchor when the outer label would hit a ${obstacle}`, () => {
+    const fixture = createFixture()
+    const rect = { center: { x: 0, y: 0.4 }, width: 0.2, height: 0.2 }
+    if (obstacle === "chip")
+      fixture.inputProblem.chips.push({ ...rect, chipId: "obstacle", pins: [] })
+    if (obstacle === "text")
+      fixture.inputProblem.textBoxes = [{ ...rect, text: "annotation" }]
+    if (obstacle === "trace" || obstacle === "same-net-trace")
+      fixture.traces.push({
+        ...fixture.traces[0]!,
+        mspPairId: "obstacle",
+        globalConnNetId:
+          obstacle === "trace" ? "foreign" : fixture.traces[0]!.globalConnNetId,
+        tracePath: [
+          { x: -0.4, y: 0.4 },
+          { x: 0.4, y: 0.4 },
+        ],
+      })
+    if (obstacle === "label" || obstacle === "same-net-label")
+      fixture.netLabelPlacements.push({
+        ...fixture.netLabelPlacements[0]!,
+        ...rect,
+        globalConnNetId:
+          obstacle === "label"
+            ? "foreign"
+            : fixture.netLabelPlacements[0]!.globalConnNetId,
+        mspConnectionPairIds: [],
+        pinIds: [],
+        anchorPoint: { x: 0, y: 0.5 },
+      })
+    expect(placeGroundRailLabelsAtOuterEnd(fixture)).toEqual(
+      fixture.netLabelPlacements,
+    )
+  })
+}
+
+test("does not move a port-only or unrelated island's GND label", () => {
+  const fixture = createFixture()
+  fixture.netLabelPlacements[0]!.mspConnectionPairIds = []
+  expect(placeGroundRailLabelsAtOuterEnd(fixture)).toEqual(
+    fixture.netLabelPlacements,
+  )
+  fixture.netLabelPlacements[0]!.mspConnectionPairIds = ["another-island"]
+  expect(placeGroundRailLabelsAtOuterEnd(fixture)).toEqual(
+    fixture.netLabelPlacements,
+  )
+})
+
+test("does not force staggered ground pins or power labels to an outer column", () => {
+  const fixture = createFixture()
+  fixture.traces[0]!.pins[0].y += 0.2
+  expect(placeGroundRailLabelsAtOuterEnd(fixture)).toEqual(
+    fixture.netLabelPlacements,
+  )
+  fixture.traces[0]!.pins[0].y -= 0.2
+  fixture.netLabelPlacements[0]!.orientation = "y+"
+  expect(placeGroundRailLabelsAtOuterEnd(fixture)).toEqual(
+    fixture.netLabelPlacements,
+  )
+})