@tscircuit/schematic-trace-solver 0.0.85 → 0.0.87

package/dist/index.js

@@ -5213,6 +5213,19 @@ var dir = (facingDirection) => {
 // lib/solvers/Example28Solver/types.ts
 var EPS7 = 1e-9;
 
+// lib/solvers/Example28Solver/segmentRunsAlongRectBoundary.ts
+var segmentRunsAlongRectBoundary = (start, end, rect) => {
+  const isVertical4 = Math.abs(start.x - end.x) < EPS7;
+  const isHorizontal3 = Math.abs(start.y - end.y) < EPS7;
+  if (isVertical4) {
+    return Math.abs(start.x - rect.minX) < EPS7 || Math.abs(start.x - rect.maxX) < EPS7;
+  }
+  if (isHorizontal3) {
+    return Math.abs(start.y - rect.minY) < EPS7 || Math.abs(start.y - rect.maxY) < EPS7;
+  }
+  return false;
+};
+
 // lib/solvers/Example28Solver/geometry.ts
 var getPathKey = (path) => path.map((point) => `${point.x},${point.y}`).join(";");
 var getPathLength = (path) => {
@@ -5350,17 +5363,6 @@ var isPathCollidingWithChipInterior = (path, chipObstacles) => {
   }
   return false;
 };
-var segmentRunsAlongRectBoundary = (start, end, rect) => {
-  const isVertical4 = Math.abs(start.x - end.x) < EPS7;
-  const isHorizontal3 = Math.abs(start.y - end.y) < EPS7;
-  if (isVertical4) {
-    return Math.abs(start.x - rect.minX) < EPS7 || Math.abs(start.x - rect.maxX) < EPS7;
-  }
-  if (isHorizontal3) {
-    return Math.abs(start.y - rect.minY) < EPS7 || Math.abs(start.y - rect.maxY) < EPS7;
-  }
-  return false;
-};
 
 // lib/solvers/Example28Solver/getMovedAnchorPointForReroute.ts
 var getMovedAnchorPointForReroute = (anchorPoint, originalTracePath, reroutedTracePath) => {
@@ -5775,6 +5777,57 @@ var getPointDistanceFromRect = (point, rect) => {
   return dx + dy;
 };
 
+// lib/solvers/Example28Solver/countCrossingsWithOtherTraces.ts
+var countCrossingsWithOtherTraces = (params) => {
+  const { trace, outputTraces } = params;
+  let crossingCount = 0;
+  for (const otherTrace of outputTraces) {
+    if (otherTrace.mspPairId === trace.mspPairId) continue;
+    if (otherTrace.globalConnNetId === trace.globalConnNetId) continue;
+    crossingCount += countPathIntersections(
+      trace.tracePath,
+      otherTrace.tracePath
+    );
+  }
+  return crossingCount;
+};
+
+// lib/solvers/Example28Solver/doesPathRunAlongChipBoundary.ts
+var doesPathRunAlongChipBoundary = (path, chipObstacles) => {
+  for (let i = 0; i < path.length - 1; i++) {
+    const start = path[i];
+    const end = path[i + 1];
+    for (const obstacle of chipObstacles) {
+      if (!segmentRunsAlongRectBoundary(start, end, obstacle)) continue;
+      if (getSegmentOverlapWithRectSpan(start, end, obstacle) > EPS7) {
+        return true;
+      }
+    }
+  }
+  return false;
+};
+var getSegmentOverlapWithRectSpan = (start, end, rect) => {
+  const isVertical4 = Math.abs(start.x - end.x) < EPS7;
+  if (isVertical4) {
+    return Math.min(Math.max(start.y, end.y), rect.maxY) - Math.max(Math.min(start.y, end.y), rect.minY);
+  }
+  return Math.min(Math.max(start.x, end.x), rect.maxX) - Math.max(Math.min(start.x, end.x), rect.minX);
+};
+
+// lib/solvers/Example28Solver/scoreSolutionTracePath.ts
+var scoreSolutionTracePath = (params) => {
+  const { traces, outputTraces, chipObstacles } = params;
+  let chipEdgeRuns = 0;
+  let traceCrossings = 0;
+  for (const trace of traces) {
+    if (doesPathRunAlongChipBoundary(trace.tracePath, chipObstacles)) {
+      chipEdgeRuns += 1;
+    }
+    traceCrossings += countCrossingsWithOtherTraces({ trace, outputTraces });
+  }
+  return { chipEdgeRuns, traceCrossings };
+};
+
 // lib/solvers/Example28Solver/visualize.ts
 var CANDIDATE_SELECTED_COLOR = "blue";
 var CANDIDATE_REJECTED_COLOR = "red";
@@ -5847,6 +5900,13 @@ ${label.netId ?? label.globalConnNetId}`
 var LABEL_OUTWARD_STEP = 0.1;
 var LABEL_MAX_OUTWARD_STEPS = 10;
 var LABEL_TRACE_CLEARANCE = 0.1;
+var isScoreBetter = (rerouteScore, labelMoveScore) => {
+  if (!rerouteScore) return false;
+  if (rerouteScore.chipEdgeRuns !== labelMoveScore.chipEdgeRuns) {
+    return rerouteScore.chipEdgeRuns < labelMoveScore.chipEdgeRuns;
+  }
+  return rerouteScore.traceCrossings < labelMoveScore.traceCrossings;
+};
 var Example28Solver = class extends BaseSolver {
   inputProblem;
   traces;
@@ -5949,7 +6009,7 @@ var Example28Solver = class extends BaseSolver {
     );
     if (traceIndex === -1) return;
     const currentTrace = this.outputTraces[traceIndex];
-    if (this.tryMoveLabelOutward(overlap.label)) return;
+    const labelMove = this.tryMoveLabelOutward(overlap.label);
     const rerouteResult = findBestReroutePath({
       trace: currentTrace,
       obstacleLabel: overlap.label,
@@ -5959,6 +6019,26 @@ var Example28Solver = class extends BaseSolver {
       chipObstacles: this.chipObstacles
     });
     this.currentCandidateResults = rerouteResult.candidateResults;
+    let rerouteScore = null;
+    if (rerouteResult.bestPath) {
+      rerouteScore = scoreSolutionTracePath({
+        traces: [{ ...currentTrace, tracePath: rerouteResult.bestPath }],
+        outputTraces: this.outputTraces,
+        chipObstacles: this.chipObstacles
+      });
+    }
+    if (labelMove) {
+      const labelMoveScore = scoreSolutionTracePath({
+        traces: [labelMove.connectorTrace, currentTrace],
+        outputTraces: this.outputTraces,
+        chipObstacles: this.chipObstacles
+      });
+      if (!isScoreBetter(rerouteScore, labelMoveScore)) {
+        this.outputNetLabelPlacements[labelMove.labelIndex] = labelMove.movedLabel;
+        this.outputTraces.push(labelMove.connectorTrace);
+        return;
+      }
+    }
     if (!rerouteResult.bestPath) return;
     const originalTracePath = currentTrace.tracePath;
     this.outputTraces[traceIndex] = {
@@ -5976,17 +6056,17 @@ var Example28Solver = class extends BaseSolver {
     const labelIndex = this.outputNetLabelPlacements.findIndex(
       (label2) => label2.globalConnNetId === labelToMove.globalConnNetId && label2.anchorPoint.x === labelToMove.anchorPoint.x && label2.anchorPoint.y === labelToMove.anchorPoint.y && label2.pinIds.join(",") === labelToMove.pinIds.join(",")
     );
-    if (labelIndex === -1) return false;
+    if (labelIndex === -1) return null;
     const label = this.outputNetLabelPlacements[labelIndex];
-    if (label.mspConnectionPairIds.length > 0) return false;
-    if (label.pinIds.length !== 1) return false;
+    if (label.mspConnectionPairIds.length > 0) return null;
+    if (label.pinIds.length !== 1) return null;
     if (this.outputNetLabelPlacements.filter(
       (otherLabel) => otherLabel.globalConnNetId === label.globalConnNetId
     ).length !== 1) {
-      return false;
+      return null;
     }
     const outward = dir(label.orientation);
-    if (outward.x === 0 && outward.y === 0) return false;
+    if (outward.x === 0 && outward.y === 0) return null;
     for (let step = 1; step <= LABEL_MAX_OUTWARD_STEPS; step++) {
       const distance3 = step * LABEL_OUTWARD_STEP;
       const candidate = {
@@ -6022,11 +6102,9 @@ var Example28Solver = class extends BaseSolver {
       }).length > 0) {
         continue;
       }
-      this.outputNetLabelPlacements[labelIndex] = candidate;
-      this.outputTraces.push(connectorTrace);
-      return true;
+      return { labelIndex, movedLabel: candidate, connectorTrace };
     }
-    return false;
+    return null;
   }
   visualize() {
     return visualizeExample28Solver({

package/lib/solvers/Example28Solver/Example28Solver.ts

@@ -20,6 +20,10 @@ import type {
 import { dir } from "lib/utils/dir"
 import { moveAttachedLabelsToReroutedTrace } from "./labelMovement"
 import { findBestReroutePath } from "./reroute"
+import {
+  scoreSolutionTracePath,
+  type TracePathScore,
+} from "./scoreSolutionTracePath"
 import type { Example28SolverParams, RerouteCandidateResult } from "./types"
 import { visualizeExample28Solver } from "./visualize"
 
@@ -27,6 +31,17 @@ const LABEL_OUTWARD_STEP = 0.1
 const LABEL_MAX_OUTWARD_STEPS = 10
 const LABEL_TRACE_CLEARANCE = 0.1
 
+const isScoreBetter = (
+  rerouteScore: TracePathScore | null,
+  labelMoveScore: TracePathScore,
+) => {
+  if (!rerouteScore) return false
+  if (rerouteScore.chipEdgeRuns !== labelMoveScore.chipEdgeRuns) {
+    return rerouteScore.chipEdgeRuns < labelMoveScore.chipEdgeRuns
+  }
+  return rerouteScore.traceCrossings < labelMoveScore.traceCrossings
+}
+
 export class Example28Solver extends BaseSolver {
   inputProblem: InputProblem
   traces: SolvedTracePath[]
@@ -160,7 +175,7 @@ export class Example28Solver extends BaseSolver {
     if (traceIndex === -1) return
 
     const currentTrace = this.outputTraces[traceIndex]!
-    if (this.tryMoveLabelOutward(overlap.label)) return
+    const labelMove = this.tryMoveLabelOutward(overlap.label)
 
     const rerouteResult = findBestReroutePath({
       trace: currentTrace,
@@ -172,6 +187,29 @@ export class Example28Solver extends BaseSolver {
     })
     this.currentCandidateResults = rerouteResult.candidateResults
 
+    let rerouteScore: TracePathScore | null = null
+    if (rerouteResult.bestPath) {
+      rerouteScore = scoreSolutionTracePath({
+        traces: [{ ...currentTrace, tracePath: rerouteResult.bestPath }],
+        outputTraces: this.outputTraces,
+        chipObstacles: this.chipObstacles,
+      })
+    }
+
+    if (labelMove) {
+      const labelMoveScore = scoreSolutionTracePath({
+        traces: [labelMove.connectorTrace, currentTrace],
+        outputTraces: this.outputTraces,
+        chipObstacles: this.chipObstacles,
+      })
+      if (!isScoreBetter(rerouteScore, labelMoveScore)) {
+        this.outputNetLabelPlacements[labelMove.labelIndex] =
+          labelMove.movedLabel
+        this.outputTraces.push(labelMove.connectorTrace)
+        return
+      }
+    }
+
     if (!rerouteResult.bestPath) return
 
     const originalTracePath = currentTrace.tracePath
@@ -195,21 +233,21 @@ export class Example28Solver extends BaseSolver {
         label.anchorPoint.y === labelToMove.anchorPoint.y &&
         label.pinIds.join(",") === labelToMove.pinIds.join(","),
     )
-    if (labelIndex === -1) return false
+    if (labelIndex === -1) return null
 
     const label = this.outputNetLabelPlacements[labelIndex]!
-    if (label.mspConnectionPairIds.length > 0) return false
-    if (label.pinIds.length !== 1) return false
+    if (label.mspConnectionPairIds.length > 0) return null
+    if (label.pinIds.length !== 1) return null
     if (
       this.outputNetLabelPlacements.filter(
         (otherLabel) => otherLabel.globalConnNetId === label.globalConnNetId,
       ).length !== 1
     ) {
-      return false
+      return null
     }
 
     const outward = dir(label.orientation)
-    if (outward.x === 0 && outward.y === 0) return false
+    if (outward.x === 0 && outward.y === 0) return null
 
     for (let step = 1; step <= LABEL_MAX_OUTWARD_STEPS; step++) {
       const distance = step * LABEL_OUTWARD_STEP
@@ -252,12 +290,10 @@ export class Example28Solver extends BaseSolver {
         continue
       }
 
-      this.outputNetLabelPlacements[labelIndex] = candidate
-      this.outputTraces.push(connectorTrace)
-      return true
+      return { labelIndex, movedLabel: candidate, connectorTrace }
     }
 
-    return false
+    return null
   }
 
   override visualize(): GraphicsObject {

package/lib/solvers/Example28Solver/countCrossingsWithOtherTraces.ts

@@ -0,0 +1,19 @@
+import type { SolvedTracePath } from "lib/solvers/SchematicTraceLinesSolver/SchematicTraceLinesSolver"
+import { countPathIntersections } from "./geometry"
+
+export const countCrossingsWithOtherTraces = (params: {
+  trace: SolvedTracePath
+  outputTraces: SolvedTracePath[]
+}) => {
+  const { trace, outputTraces } = params
+  let crossingCount = 0
+  for (const otherTrace of outputTraces) {
+    if (otherTrace.mspPairId === trace.mspPairId) continue
+    if (otherTrace.globalConnNetId === trace.globalConnNetId) continue
+    crossingCount += countPathIntersections(
+      trace.tracePath,
+      otherTrace.tracePath,
+    )
+  }
+  return crossingCount
+}

package/lib/solvers/Example28Solver/doesPathRunAlongChipBoundary.ts

@@ -0,0 +1,41 @@
+import type { Point } from "@tscircuit/math-utils"
+import { segmentRunsAlongRectBoundary } from "./segmentRunsAlongRectBoundary"
+import type { ChipObstacle } from "./types"
+import { EPS } from "./types"
+
+export const doesPathRunAlongChipBoundary = (
+  path: Point[],
+  chipObstacles: ChipObstacle[],
+) => {
+  for (let i = 0; i < path.length - 1; i++) {
+    const start = path[i]!
+    const end = path[i + 1]!
+    for (const obstacle of chipObstacles) {
+      if (!segmentRunsAlongRectBoundary(start, end, obstacle)) continue
+      if (getSegmentOverlapWithRectSpan(start, end, obstacle) > EPS) {
+        return true
+      }
+    }
+  }
+  return false
+}
+
+const getSegmentOverlapWithRectSpan = (
+  start: Point,
+  end: Point,
+  rect: ChipObstacle,
+) => {
+  const isVertical = Math.abs(start.x - end.x) < EPS
+
+  if (isVertical) {
+    return (
+      Math.min(Math.max(start.y, end.y), rect.maxY) -
+      Math.max(Math.min(start.y, end.y), rect.minY)
+    )
+  }
+
+  return (
+    Math.min(Math.max(start.x, end.x), rect.maxX) -
+    Math.max(Math.min(start.x, end.x), rect.minX)
+  )
+}

package/lib/solvers/Example28Solver/geometry.ts

@@ -1,5 +1,6 @@
 import type { Point } from "@tscircuit/math-utils"
 import { segmentIntersectsRect } from "lib/solvers/SchematicTraceLinesSolver/SchematicTraceSingleLineSolver2/collisions"
+import { segmentRunsAlongRectBoundary } from "./segmentRunsAlongRectBoundary"
 import type { ChipObstacle, PathSegment, SegmentOrientation } from "./types"
 import { EPS } from "./types"
 
@@ -221,26 +222,3 @@ export const isPathCollidingWithChipInterior = (
   }
   return false
 }
-
-const segmentRunsAlongRectBoundary = (
-  start: Point,
-  end: Point,
-  rect: ChipObstacle,
-) => {
-  const isVertical = Math.abs(start.x - end.x) < EPS
-  const isHorizontal = Math.abs(start.y - end.y) < EPS
-
-  if (isVertical) {
-    return (
-      Math.abs(start.x - rect.minX) < EPS || Math.abs(start.x - rect.maxX) < EPS
-    )
-  }
-
-  if (isHorizontal) {
-    return (
-      Math.abs(start.y - rect.minY) < EPS || Math.abs(start.y - rect.maxY) < EPS
-    )
-  }
-
-  return false
-}

package/lib/solvers/Example28Solver/scoreSolutionTracePath.ts

@@ -0,0 +1,26 @@
+import type { SolvedTracePath } from "lib/solvers/SchematicTraceLinesSolver/SchematicTraceLinesSolver"
+import { countCrossingsWithOtherTraces } from "./countCrossingsWithOtherTraces"
+import { doesPathRunAlongChipBoundary } from "./doesPathRunAlongChipBoundary"
+import type { ChipObstacle } from "./types"
+
+export type TracePathScore = {
+  chipEdgeRuns: number
+  traceCrossings: number
+}
+
+export const scoreSolutionTracePath = (params: {
+  traces: SolvedTracePath[]
+  outputTraces: SolvedTracePath[]
+  chipObstacles: ChipObstacle[]
+}): TracePathScore => {
+  const { traces, outputTraces, chipObstacles } = params
+  let chipEdgeRuns = 0
+  let traceCrossings = 0
+  for (const trace of traces) {
+    if (doesPathRunAlongChipBoundary(trace.tracePath, chipObstacles)) {
+      chipEdgeRuns += 1
+    }
+    traceCrossings += countCrossingsWithOtherTraces({ trace, outputTraces })
+  }
+  return { chipEdgeRuns, traceCrossings }
+}

package/lib/solvers/Example28Solver/segmentRunsAlongRectBoundary.ts

@@ -0,0 +1,26 @@
+import type { Point } from "@tscircuit/math-utils"
+import type { ChipObstacle } from "./types"
+import { EPS } from "./types"
+
+export const segmentRunsAlongRectBoundary = (
+  start: Point,
+  end: Point,
+  rect: ChipObstacle,
+) => {
+  const isVertical = Math.abs(start.x - end.x) < EPS
+  const isHorizontal = Math.abs(start.y - end.y) < EPS
+
+  if (isVertical) {
+    return (
+      Math.abs(start.x - rect.minX) < EPS || Math.abs(start.x - rect.maxX) < EPS
+    )
+  }
+
+  if (isHorizontal) {
+    return (
+      Math.abs(start.y - rect.minY) < EPS || Math.abs(start.y - rect.maxY) < EPS
+    )
+  }
+
+  return false
+}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@tscircuit/schematic-trace-solver",
   "main": "dist/index.js",
-  "version": "0.0.85",
+  "version": "0.0.87",
   "type": "module",
   "scripts": {
     "start": "cosmos",

package/site/examples/example50.page.tsx

@@ -0,0 +1,4 @@
+import { PipelineDebugger } from "site/components/PipelineDebugger"
+import inputProblem from "../../tests/assets/example50.json"
+
+export default () => <PipelineDebugger inputProblem={inputProblem as any} />

package/tests/assets/example50.json

@@ -0,0 +1,149 @@
+{
+  "chips": [
+    {
+      "chipId": "schematic_component_0",
+      "center": {
+        "x": -1.4,
+        "y": -6.6
+      },
+      "width": 1.1,
+      "height": 0.7789106999999991,
+      "pins": [
+        {
+          "pinId": "R7.1",
+          "x": -1.95,
+          "y": -6.6
+        },
+        {
+          "pinId": "R7.2",
+          "x": -0.85,
+          "y": -6.6
+        }
+      ],
+      "sectionId": "qspi"
+    },
+    {
+      "chipId": "schematic_component_1",
+      "center": {
+        "x": 0,
+        "y": -8.4
+      },
+      "width": 2.245,
+      "height": 1,
+      "pins": [
+        {
+          "pinId": "U5.1",
+          "x": -1.5225,
+          "y": -8.1
+        },
+        {
+          "pinId": "U5.2",
+          "x": -1.5225,
+          "y": -8.3
+        },
+        {
+          "pinId": "U5.3",
+          "x": -1.5225,
+          "y": -8.5
+        },
+        {
+          "pinId": "U5.4",
+          "x": -1.5225,
+          "y": -8.700000000000001
+        },
+        {
+          "pinId": "U5.5",
+          "x": 1.5225,
+          "y": -8.1
+        },
+        {
+          "pinId": "U5.6",
+          "x": 1.5225,
+          "y": -8.3
+        },
+        {
+          "pinId": "U5.7",
+          "x": 1.5225,
+          "y": -8.700000000000001
+        },
+        {
+          "pinId": "U5.8",
+          "x": 1.5225,
+          "y": -8.5
+        }
+      ],
+      "sectionId": "qspi"
+    }
+  ],
+  "directConnections": [],
+  "netConnections": [
+    {
+      "netId": "V3V3",
+      "pinIds": [
+        "R7.1",
+        "U5.8"
+      ],
+      "netLabelWidth": 0.6
+    },
+    {
+      "netId": "QSPI_CS",
+      "pinIds": [
+        "R7.2",
+        "U5.4"
+      ],
+      "netLabelWidth": 0.96
+    },
+    {
+      "netId": "QSPI_SCK",
+      "pinIds": [
+        "U5.1"
+      ],
+      "netLabelWidth": 1.08
+    },
+    {
+      "netId": "QSPI_DATA0",
+      "pinIds": [
+        "U5.2"
+      ],
+      "netLabelWidth": 1.32
+    },
+    {
+      "netId": "QSPI_DATA1",
+      "pinIds": [
+        "U5.3"
+      ],
+      "netLabelWidth": 1.32
+    },
+    {
+      "netId": "QSPI_DATA2",
+      "pinIds": [
+        "U5.5"
+      ],
+      "netLabelWidth": 1.32
+    },
+    {
+      "netId": "QSPI_DATA3",
+      "pinIds": [
+        "U5.6"
+      ],
+      "netLabelWidth": 1.32
+    },
+    {
+      "netId": "GND",
+      "pinIds": [
+        "U5.7"
+      ],
+      "netLabelWidth": 0.48
+    }
+  ],
+  "availableNetLabelOrientations": {
+    "V3V3": [
+      "y+"
+    ],
+    "GND": [
+      "y-"
+    ]
+  },
+  "maxMspPairDistance": 2.4
+}
+

package/tests/examples/__snapshots__/example50.snap.svg

@@ -0,0 +1,190 @@
+<svg width="640" height="640" viewBox="0 0 640 640" xmlns="http://www.w3.org/2000/svg">
+  <rect width="100%" height="100%" fill="white" />
+  <g>
+    <circle data-type="point" data-label="R7.1
+x-" data-x="-1.95" data-y="-6.6" cx="126.46276136167273" cy="214.47382063245198" r="3" fill="hsl(232, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="R7.2
+x+" data-x="-0.8499999999999999" data-y="-6.6" cx="232.90824261275273" cy="214.47382063245198" r="3" fill="hsl(233, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="U5.1
+x-" data-x="-1.5225" data-y="-8.1" cx="167.83134612061517" cy="359.6267496111974" r="3" fill="hsl(203, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="U5.2
+x-" data-x="-1.5225" data-y="-8.3" cx="167.83134612061517" cy="378.9804734750303" r="3" fill="hsl(204, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="U5.3
+x-" data-x="-1.5225" data-y="-8.5" cx="167.83134612061517" cy="398.33419733886296" r="3" fill="hsl(205, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="U5.4
+x-" data-x="-1.5225" data-y="-8.700000000000001" cx="167.83134612061517" cy="417.68792120269575" r="3" fill="hsl(206, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="U5.5
+x+" data-x="1.5225" data-y="-8.1" cx="462.4917919474684" cy="359.6267496111974" r="3" fill="hsl(207, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="U5.6
+x+" data-x="1.5225" data-y="-8.3" cx="462.4917919474684" cy="378.9804734750303" r="3" fill="hsl(208, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="U5.7
+x+" data-x="1.5225" data-y="-8.700000000000001" cx="462.4917919474684" cy="417.68792120269575" r="3" fill="hsl(209, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="U5.8
+x+" data-x="1.5225" data-y="-8.5" cx="462.4917919474684" cy="398.33419733886296" r="3" fill="hsl(210, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="anchorPoint
+orientation: y+" data-x="-2.15" data-y="-6.6" cx="107.10903749784" cy="214.47382063245198" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="anchorPoint
+orientation: x+" data-x="-0.8499999999999999" data-y="-6.6" cx="232.90824261275273" cy="214.47382063245198" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="anchorPoint
+orientation: x-" data-x="-1.5225" data-y="-8.700000000000001" cx="167.83134612061517" cy="417.68792120269575" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="anchorPoint
+orientation: x-" data-x="-1.5225" data-y="-8.1" cx="167.83134612061517" cy="359.6267496111974" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="anchorPoint
+orientation: x-" data-x="-1.5225" data-y="-8.3" cx="167.83134612061517" cy="378.9804734750303" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="anchorPoint
+orientation: x-" data-x="-1.5225" data-y="-8.5" cx="167.83134612061517" cy="398.33419733886296" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="anchorPoint
+orientation: x+" data-x="1.5225" data-y="-8.1" cx="462.4917919474684" cy="359.6267496111974" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="anchorPoint
+orientation: x+" data-x="1.5225" data-y="-8.3" cx="462.4917919474684" cy="378.9804734750303" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="anchorPoint
+orientation: y-" data-x="1.6235" data-y="-8.901" cx="472.26542249870397" cy="437.1384136858476" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
+  </g>
+  <g>
+    <polyline data-points="-1.95,-6.6 1.5225,-8.5" data-type="line" data-label="" points="126.46276136167273,214.47382063245198 462.4917919474684,398.33419733886296" fill="none" stroke="hsl(154, 100%, 50%, 0.8)" stroke-width="1" stroke-dasharray="4 2" />
+  </g>
+  <g>
+    <polyline data-points="-0.8499999999999999,-6.6 -1.5225,-8.700000000000001" data-type="line" data-label="" points="232.90824261275273,214.47382063245198 167.83134612061517,417.68792120269575" fill="none" stroke="hsl(172, 100%, 50%, 0.8)" stroke-width="1" stroke-dasharray="4 2" />
+  </g>
+  <g>
+    <polyline data-points="-1.95,-6.6 -2.15,-6.6 -2.15,-7.55 2.9435000000000002,-7.55 2.9435000000000002,-8.5 1.5225000000000002,-8.5" data-type="line" data-label="" points="126.46276136167273,214.47382063245198 107.10903749784,214.47382063245198 107.10903749784,306.40400898565747 600,306.40400898565747 600,398.33419733886296 462.4917919474684,398.33419733886296" fill="none" stroke="purple" stroke-width="1" />
+  </g>
+  <g>
+    <polyline data-points="1.5225,-8.700000000000001 1.6235,-8.700000000000001 1.6235,-8.901" data-type="line" data-label="" points="462.4917919474684,417.68792120269575 472.26542249870397,417.68792120269575 472.26542249870397,437.1384136858476" fill="none" stroke="purple" stroke-width="1" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="schematic_component_0" data-x="-1.4" data-y="-6.6" x="126.46276136167273" y="176.78676412649043" width="106.44548125108" height="75.37411301192321" fill="hsl(24, 100%, 50%, 0.8)" stroke="black" stroke-width="0.010333928571428572" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="schematic_component_1" data-x="0" data-y="-8.4" x="167.83134612061517" y="340.27302574736484" width="294.6604458268532" height="96.76861931916358" fill="hsl(24, 100%, 50%, 0.8)" stroke="black" stroke-width="0.010333928571428572" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="netId: V3V3
+globalConnNetId: connectivity_net0" data-x="-2.15" data-y="-6.3" x="97.43217556592361" y="156.41264904095385" width="19.353723863832755" height="58.06117159149812" fill="#ef444466" stroke="#ef4444" stroke-width="0.010333928571428572" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="netId: QSPI_CS
+globalConnNetId: connectivity_net1" data-x="-0.3689999999999999" data-y="-6.6" x="233.0050112320719" y="204.7969587005357" width="92.8978745463971" height="19.35372386383267" fill="hsl(40, 100%, 50%, 0.35)" stroke="black" stroke-width="0.010333928571428572" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="netId: QSPI_CS
+globalConnNetId: connectivity_net1" data-x="-2.0035" data-y="-8.700000000000001" x="74.83670295489893" y="408.01105927077947" width="92.8978745463971" height="19.35372386383267" fill="hsl(40, 100%, 50%, 0.35)" stroke="black" stroke-width="0.010333928571428572" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="netId: QSPI_SCK
+globalConnNetId: connectivity_net2" data-x="-2.0635" data-y="-8.1" x="63.22446863659928" y="349.9498876792811" width="104.51010886469675" height="19.35372386383267" fill="hsl(40, 100%, 50%, 0.35)" stroke="black" stroke-width="0.010333928571428572" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="netId: QSPI_DATA0
+globalConnNetId: connectivity_net3" data-x="-2.1835" data-y="-8.3" x="40" y="369.3036115431139" width="127.73457750129603" height="19.35372386383267" fill="hsl(40, 100%, 50%, 0.35)" stroke="black" stroke-width="0.010333928571428572" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="netId: QSPI_DATA1
+globalConnNetId: connectivity_net4" data-x="-2.1835" data-y="-8.5" x="40" y="388.6573354069466" width="127.73457750129603" height="19.35372386383267" fill="hsl(40, 100%, 50%, 0.35)" stroke="black" stroke-width="0.010333928571428572" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="netId: QSPI_DATA2
+globalConnNetId: connectivity_net5" data-x="2.1835" data-y="-8.1" x="462.5885605667876" y="349.9498876792811" width="127.73457750129603" height="19.35372386383267" fill="hsl(40, 100%, 50%, 0.35)" stroke="black" stroke-width="0.010333928571428572" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="netId: QSPI_DATA3
+globalConnNetId: connectivity_net6" data-x="2.1835" data-y="-8.3" x="462.5885605667876" y="369.3036115431139" width="127.73457750129603" height="19.35372386383267" fill="hsl(40, 100%, 50%, 0.35)" stroke="black" stroke-width="0.010333928571428572" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="netId: GND
+globalConnNetId: connectivity_net7" data-x="1.6235" data-y="-9.141" x="462.5885605667876" y="437.1384136858476" width="19.353723863832784" height="46.44893727319857" fill="#00000066" stroke="#000000" stroke-width="0.010333928571428572" />
+  </g>
+  <g id="crosshair" style="display: none">
+    <line id="crosshair-h" y1="0" y2="640" stroke="#666" stroke-width="0.5" />
+    <line id="crosshair-v" x1="0" x2="640" stroke="#666" stroke-width="0.5" /><text id="coordinates" font-family="monospace" font-size="12" fill="#666"></text>
+  </g>
+  <script>
+    <![CDATA[
+    document.currentScript.parentElement.addEventListener('mousemove', (e) => {
+      const svg = e.currentTarget;
+      const rect = svg.getBoundingClientRect();
+      const x = e.clientX - rect.left;
+      const y = e.clientY - rect.top;
+      const crosshair = svg.getElementById('crosshair');
+      const h = svg.getElementById('crosshair-h');
+      const v = svg.getElementById('crosshair-v');
+      const coords = svg.getElementById('coordinates');
+
+      crosshair.style.display = 'block';
+      h.setAttribute('x1', '0');
+      h.setAttribute('x2', '640');
+      h.setAttribute('y1', y);
+      h.setAttribute('y2', y);
+      v.setAttribute('x1', x);
+      v.setAttribute('x2', x);
+      v.setAttribute('y1', '0');
+      v.setAttribute('y2', '640');
+
+      // Calculate real coordinates using inverse transformation
+      const matrix = {
+        "a": 96.76861931916363,
+        "c": 0,
+        "e": 315.1615690340418,
+        "b": 0,
+        "d": -96.76861931916363,
+        "f": -424.19906687402795
+      };
+      // Manually invert and apply the affine transform
+      // Since we only use translate and scale, we can directly compute:
+      // x' = (x - tx) / sx
+      // y' = (y - ty) / sy
+      const sx = matrix.a;
+      const sy = matrix.d;
+      const tx = matrix.e;
+      const ty = matrix.f;
+      const realPoint = {
+        x: (x - tx) / sx,
+        y: (y - ty) / sy // Flip y back since we used negative scale
+      }
+
+      coords.textContent = `(${realPoint.x.toFixed(2)}, ${realPoint.y.toFixed(2)})`;
+      coords.setAttribute('x', (x + 5).toString());
+      coords.setAttribute('y', (y - 5).toString());
+    });
+    document.currentScript.parentElement.addEventListener('mouseleave', () => {
+      document.currentScript.parentElement.getElementById('crosshair').style.display = 'none';
+    });
+    ]]>
+  </script>
+</svg>

package/tests/examples/example50.test.ts

@@ -0,0 +1,12 @@
+import { test, expect } from "bun:test"
+import { SchematicTracePipelineSolver } from "lib/solvers/SchematicTracePipelineSolver/SchematicTracePipelineSolver"
+import inputProblem from "../assets/example50.json"
+import "tests/fixtures/matcher"
+
+test("example49", () => {
+  const solver = new SchematicTracePipelineSolver(inputProblem as any)
+
+  solver.solve()
+
+  expect(solver).toMatchSolverSnapshot(import.meta.path)
+})