@tscircuit/schematic-trace-solver 0.0.123 → 0.0.125

package/dist/index.d.ts

@@ -875,6 +875,7 @@ declare class RailNetLabelCornerPlacementSolver extends BaseSolver {
     private intersectsAnyOtherNetLabel;
     private getCornerCandidatesForLabel;
     private isConfiguredRailLabel;
+    private isLabelCrossedByOtherNetTrace;
     private pointsEqual;
     private getVerticalSegmentPointIndices;
     private isPinAlignedCorner;

package/dist/index.js

@@ -5108,6 +5108,51 @@ var getVisibleTraceMetrics = (traces) => {
 var getVisibleTraceLength = (traces) => getVisibleTraceMetrics(traces).length;
 var getVisibleTraceSegmentCount = (traces) => getVisibleTraceMetrics(traces).segmentCount;
 
+// lib/solvers/TraceCleanupSolver/shortenExcessiveLabelPaddingDetour.ts
+var MIN_EXCESSIVE_DETOUR_LENGTH_RATIO = 2.5;
+var getTracePathLength = (tracePath) => {
+  let pathLength = 0;
+  for (let pointIndex = 1; pointIndex < tracePath.length; pointIndex++) {
+    const previousPoint = tracePath[pointIndex - 1];
+    const point = tracePath[pointIndex];
+    pathLength += Math.abs(point.x - previousPoint.x) + Math.abs(point.y - previousPoint.y);
+  }
+  return pathLength;
+};
+var shortenExcessiveLabelPaddingDetour = ({
+  inputProblem,
+  trace
+}) => {
+  const exactConnection = inputProblem.directConnections.find(
+    (connection) => connection.pinIds.every((pinId) => trace.pinIds.includes(pinId))
+  );
+  if (!exactConnection) return trace;
+  const chipMap = {};
+  for (const chip of inputProblem.chips) chipMap[chip.chipId] = chip;
+  const candidateSolver = new SchematicTraceSingleLineSolver2({
+    pins: trace.pins,
+    connectionPair: trace,
+    inputProblem: {
+      ...inputProblem,
+      directConnections: [
+        exactConnection,
+        ...inputProblem.directConnections.filter(
+          (connection) => connection !== exactConnection
+        )
+      ]
+    },
+    chipMap
+  });
+  candidateSolver.solve();
+  if (!candidateSolver.solvedTracePath) return trace;
+  const currentLength = getTracePathLength(trace.tracePath);
+  const candidateLength = getTracePathLength(candidateSolver.solvedTracePath);
+  if (currentLength <= candidateLength * MIN_EXCESSIVE_DETOUR_LENGTH_RATIO) {
+    return trace;
+  }
+  return { ...trace, tracePath: candidateSolver.solvedTracePath };
+};
+
 // lib/solvers/TraceCleanupSolver/minimizeTurnsWithFilteredLabels.ts
 var minimizeTurnsWithFilteredLabels = ({
   targetMspConnectionPairId,
@@ -5117,12 +5162,16 @@ var minimizeTurnsWithFilteredLabels = ({
   mergedLabelNetIdMap,
   paddingBuffer
 }) => {
-  const targetTrace = traces.find(
+  const originalTargetTrace = traces.find(
     (t) => t.mspPairId === targetMspConnectionPairId
   );
-  if (!targetTrace) {
+  if (!originalTargetTrace) {
     throw new Error(`Target trace ${targetMspConnectionPairId} not found`);
   }
+  const targetTrace = shortenExcessiveLabelPaddingDetour({
+    inputProblem,
+    trace: originalTargetTrace
+  });
   const targetPinIds = new Set(targetTrace.pinIds);
   const otherTraces = traces.filter(
     (trace) => trace.mspPairId !== targetMspConnectionPairId
@@ -8996,6 +9045,7 @@ var ensureGraphicsArrays2 = (graphics) => {
 };
 
 // lib/solvers/RailNetLabelCornerPlacementSolver/RailNetLabelCornerPlacementSolver.ts
+var LABEL_TRACE_CLEARANCE3 = 0.1;
 var RailNetLabelCornerPlacementSolver = class extends BaseSolver {
   inputProblem;
   traces;
@@ -9177,11 +9227,11 @@ var RailNetLabelCornerPlacementSolver = class extends BaseSolver {
     const anchorAlignedCandidates = [];
     const railAlignedCandidates = [];
     const labelTraces = this.getTraceLinesForLabel(label);
-    const allowRailAlignedFallback = this.isConfiguredRailLabel(label) && !labelTraces.some(
+    const allowRailAlignedFallback = this.isConfiguredRailLabel(label) && (this.isLabelCrossedByOtherNetTrace(label) || !labelTraces.some(
       (trace) => getTraceCorners(trace.tracePath).some(
         (corner) => this.pointsEqual(corner, label.anchorPoint)
       )
-    );
+    ));
     for (const trace of labelTraces) {
       const path = trace.tracePath;
       const pins = [path[0], path[path.length - 1]];
@@ -9220,6 +9270,13 @@ var RailNetLabelCornerPlacementSolver = class extends BaseSolver {
       (orientation) => orientation === "y+" || orientation === "y-"
     );
   }
+  isLabelCrossedByOtherNetTrace(label) {
+    const bounds = getRectBounds(label.center, label.width, label.height);
+    const otherNetTraceMap = Object.fromEntries(
+      this.traces.filter((trace) => trace.globalConnNetId !== label.globalConnNetId).map((trace) => [trace.mspPairId, trace])
+    );
+    return traceCrossesBoundsInterior(bounds, otherNetTraceMap);
+  }
   pointsEqual(a, b) {
     return Math.abs(a.x - b.x) <= EPS6 && Math.abs(a.y - b.y) <= EPS6;
   }
@@ -9269,6 +9326,30 @@ var RailNetLabelCornerPlacementSolver = class extends BaseSolver {
       shiftedCoordinates.add(chipBounds.minX - label.width / 2);
       shiftedCoordinates.add(chipBounds.maxX + label.width / 2);
     }
+    for (const otherTrace of this.traces) {
+      if (otherTrace.globalConnNetId === label.globalConnNetId) continue;
+      for (let i = 0; i < otherTrace.tracePath.length - 1; i++) {
+        const start = otherTrace.tracePath[i];
+        const end = otherTrace.tracePath[i + 1];
+        if (!segmentCrossesBoundsInterior(start, end, labelBounds)) continue;
+        const halfLabelWidth = label.width / 2;
+        if (Math.abs(start.x - end.x) <= EPS6) {
+          shiftedCoordinates.add(
+            start.x - halfLabelWidth - LABEL_TRACE_CLEARANCE3
+          );
+          shiftedCoordinates.add(
+            start.x + halfLabelWidth + LABEL_TRACE_CLEARANCE3
+          );
+        } else {
+          shiftedCoordinates.add(
+            Math.min(start.x, end.x) - halfLabelWidth - LABEL_TRACE_CLEARANCE3
+          );
+          shiftedCoordinates.add(
+            Math.max(start.x, end.x) + halfLabelWidth + LABEL_TRACE_CLEARANCE3
+          );
+        }
+      }
+    }
     return [...shiftedCoordinates].flatMap((x) => {
       if (Math.abs(x - corner.x) <= EPS6) return [];
       const reroutedTracePath = simplifyPath(

package/lib/solvers/AvailableNetOrientationSolver/geometry.ts

@@ -41,7 +41,11 @@ export const traceCrossesBoundsInterior = (
   return false
 }
 
-const segmentCrossesBoundsInterior = (p1: Point, p2: Point, bounds: Bounds) => {
+export const segmentCrossesBoundsInterior = (
+  p1: Point,
+  p2: Point,
+  bounds: Bounds,
+) => {
   const interiorBounds = {
     minX: bounds.minX + TRACE_BOUNDARY_TOLERANCE,
     minY: bounds.minY + TRACE_BOUNDARY_TOLERANCE,

package/lib/solvers/RailNetLabelCornerPlacementSolver/RailNetLabelCornerPlacementSolver.ts

@@ -1,6 +1,9 @@
 import type { GraphicsObject } from "graphics-debug"
 import type { Point } from "@tscircuit/math-utils"
-import { traceCrossesBoundsInterior } from "lib/solvers/AvailableNetOrientationSolver/geometry"
+import {
+  segmentCrossesBoundsInterior,
+  traceCrossesBoundsInterior,
+} from "lib/solvers/AvailableNetOrientationSolver/geometry"
 import { BaseSolver } from "lib/solvers/BaseSolver/BaseSolver"
 import { moveAttachedLabelsToReroutedTrace } from "lib/solvers/Example28Solver/labelMovement"
 import type { NetLabelPlacement } from "lib/solvers/NetLabelPlacementSolver/NetLabelPlacementSolver"
@@ -32,6 +35,8 @@ import type {
 import { visualizeRailNetLabelCornerPlacementSolver } from "./visualize"
 import { rectIntersectsAnyTextBox } from "lib/utils/textBoxBounds"
 
+const LABEL_TRACE_CLEARANCE = 0.1
+
 export class RailNetLabelCornerPlacementSolver extends BaseSolver {
   inputProblem: InputProblem
   traces: SolvedTracePath[]
@@ -271,11 +276,12 @@ export class RailNetLabelCornerPlacementSolver extends BaseSolver {
     const labelTraces = this.getTraceLinesForLabel(label)
     const allowRailAlignedFallback =
       this.isConfiguredRailLabel(label) &&
-      !labelTraces.some((trace) =>
-        getTraceCorners(trace.tracePath).some((corner) =>
-          this.pointsEqual(corner, label.anchorPoint),
-        ),
-      )
+      (this.isLabelCrossedByOtherNetTrace(label) ||
+        !labelTraces.some((trace) =>
+          getTraceCorners(trace.tracePath).some((corner) =>
+            this.pointsEqual(corner, label.anchorPoint),
+          ),
+        ))
 
     for (const trace of labelTraces) {
       const path = trace.tracePath
@@ -324,6 +330,17 @@ export class RailNetLabelCornerPlacementSolver extends BaseSolver {
     )
   }
 
+  private isLabelCrossedByOtherNetTrace(label: NetLabelPlacement) {
+    const bounds = getRectBounds(label.center, label.width, label.height)
+    const otherNetTraceMap = Object.fromEntries(
+      this.traces
+        .filter((trace) => trace.globalConnNetId !== label.globalConnNetId)
+        .map((trace) => [trace.mspPairId, trace]),
+    )
+
+    return traceCrossesBoundsInterior(bounds, otherNetTraceMap)
+  }
+
   private pointsEqual(a: Point, b: Point) {
     return Math.abs(a.x - b.x) <= EPS && Math.abs(a.y - b.y) <= EPS
   }
@@ -394,6 +411,32 @@ export class RailNetLabelCornerPlacementSolver extends BaseSolver {
       shiftedCoordinates.add(chipBounds.minX - label.width / 2)
       shiftedCoordinates.add(chipBounds.maxX + label.width / 2)
     }
+    for (const otherTrace of this.traces) {
+      if (otherTrace.globalConnNetId === label.globalConnNetId) continue
+
+      for (let i = 0; i < otherTrace.tracePath.length - 1; i++) {
+        const start = otherTrace.tracePath[i]!
+        const end = otherTrace.tracePath[i + 1]!
+        if (!segmentCrossesBoundsInterior(start, end, labelBounds)) continue
+
+        const halfLabelWidth = label.width / 2
+        if (Math.abs(start.x - end.x) <= EPS) {
+          shiftedCoordinates.add(
+            start.x - halfLabelWidth - LABEL_TRACE_CLEARANCE,
+          )
+          shiftedCoordinates.add(
+            start.x + halfLabelWidth + LABEL_TRACE_CLEARANCE,
+          )
+        } else {
+          shiftedCoordinates.add(
+            Math.min(start.x, end.x) - halfLabelWidth - LABEL_TRACE_CLEARANCE,
+          )
+          shiftedCoordinates.add(
+            Math.max(start.x, end.x) + halfLabelWidth + LABEL_TRACE_CLEARANCE,
+          )
+        }
+      }
+    }
 
     return [...shiftedCoordinates].flatMap((x) => {
       if (Math.abs(x - corner.x) <= EPS) return []

package/lib/solvers/TraceCleanupSolver/minimizeTurnsWithFilteredLabels.ts

@@ -9,6 +9,7 @@ import {
   getVisibleTraceSegmentCount,
   RAIL_ALIGNMENT_EPSILON,
 } from "./sameNetRailAlignment/geometry"
+import { shortenExcessiveLabelPaddingDetour } from "./shortenExcessiveLabelPaddingDetour"
 
 /**
  * Minimizes turns with a strict pass that treats every other trace as an
@@ -31,12 +32,16 @@ export const minimizeTurnsWithFilteredLabels = ({
   mergedLabelNetIdMap: Record<string, Set<string>>
   paddingBuffer: number
 }): SolvedTracePath => {
-  const targetTrace = traces.find(
+  const originalTargetTrace = traces.find(
     (t) => t.mspPairId === targetMspConnectionPairId,
   )
-  if (!targetTrace) {
+  if (!originalTargetTrace) {
     throw new Error(`Target trace ${targetMspConnectionPairId} not found`)
   }
+  const targetTrace = shortenExcessiveLabelPaddingDetour({
+    inputProblem,
+    trace: originalTargetTrace,
+  })
 
   const targetPinIds = new Set(targetTrace.pinIds)
   const otherTraces = traces.filter(

package/lib/solvers/TraceCleanupSolver/shortenExcessiveLabelPaddingDetour.ts

@@ -0,0 +1,64 @@
+import type { SolvedTracePath } from "lib/solvers/SchematicTraceLinesSolver/SchematicTraceLinesSolver"
+import { SchematicTraceSingleLineSolver2 } from "lib/solvers/SchematicTraceLinesSolver/SchematicTraceSingleLineSolver2/SchematicTraceSingleLineSolver2"
+import type { InputChip, InputProblem } from "lib/types/InputProblem"
+
+const MIN_EXCESSIVE_DETOUR_LENGTH_RATIO = 2.5
+
+const getTracePathLength = (
+  tracePath: SolvedTracePath["tracePath"],
+): number => {
+  let pathLength = 0
+  for (let pointIndex = 1; pointIndex < tracePath.length; pointIndex++) {
+    const previousPoint = tracePath[pointIndex - 1]!
+    const point = tracePath[pointIndex]!
+    pathLength +=
+      Math.abs(point.x - previousPoint.x) + Math.abs(point.y - previousPoint.y)
+  }
+  return pathLength
+}
+
+/**
+ * Retries an already-solved severe detour with its exact direct connection
+ * first, preventing a sibling branch's label width from inflating text padding.
+ * The shorter route is used only when it is less than 40% of the original.
+ */
+export const shortenExcessiveLabelPaddingDetour = ({
+  inputProblem,
+  trace,
+}: {
+  inputProblem: InputProblem
+  trace: SolvedTracePath
+}): SolvedTracePath => {
+  const exactConnection = inputProblem.directConnections.find((connection) =>
+    connection.pinIds.every((pinId) => trace.pinIds.includes(pinId)),
+  )
+  if (!exactConnection) return trace
+
+  const chipMap: Record<string, InputChip> = {}
+  for (const chip of inputProblem.chips) chipMap[chip.chipId] = chip
+
+  const candidateSolver = new SchematicTraceSingleLineSolver2({
+    pins: trace.pins,
+    connectionPair: trace,
+    inputProblem: {
+      ...inputProblem,
+      directConnections: [
+        exactConnection,
+        ...inputProblem.directConnections.filter(
+          (connection) => connection !== exactConnection,
+        ),
+      ],
+    },
+    chipMap,
+  })
+  candidateSolver.solve()
+  if (!candidateSolver.solvedTracePath) return trace
+
+  const currentLength = getTracePathLength(trace.tracePath)
+  const candidateLength = getTracePathLength(candidateSolver.solvedTracePath)
+  if (currentLength <= candidateLength * MIN_EXCESSIVE_DETOUR_LENGTH_RATIO) {
+    return trace
+  }
+
+  return { ...trace, tracePath: candidateSolver.solvedTracePath }
+}

package/package.json

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

package/site/bug-reports/bug-report-20260805T061316Z.page.tsx

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

package/site/bug-reports/bug-report-20260806T061548Z.page.tsx

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

package/tests/bug-reports/bug-report-20260804T225912Z/__snapshots__/bug-report-20260804T225912Z.snap.svg

@@ -1,20 +1,20 @@
-<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><polyline data-points="-1.2000000000000002,0.30000000000000004 -3.79,0.39" data-type="line" data-label="" points="357.4007220216606,371.0469314079422 95.5956678700361,361.9494584837545" fill="none" stroke="hsl(136, 100%, 50%, 0.8)" stroke-width="1px"/></g><g><polyline data-points="-1.2000000000000002,0.30000000000000004 -2.22,0.38000000000000006" data-type="line" data-label="" points="357.4007220216606,371.0469314079422 254.29602888086637,362.96028880866425" fill="none" stroke="hsl(136, 100%, 50%, 0.8)" stroke-width="1px"/></g><g><polyline data-points="-3.79,-0.3899999999999999 -2.22,-0.37999999999999995" data-type="line" data-label="" points="95.5956678700361,440.79422382671476 254.29602888086637,439.783393501805" fill="none" stroke="hsl(157, 100%, 50%, 0.8)" stroke-width="1px" stroke-dasharray="4 2"/></g><g><polyline data-points="-2.22,0.3800000000000002 -2.22,0.5900000000000002 -3.79,0.5900000000000002 -3.79,0.39" data-type="line" data-label="" points="254.29602888086637,362.9602888086642 254.29602888086637,341.7328519855595 95.5956678700361,341.7328519855595 95.5956678700361,361.9494584837545" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="-1.2000000000000002,0.3 -1.4125,0.3 -1.4125,1.78 -2.22,1.78 -2.22,0.38000000000000006" data-type="line" data-label="" points="357.4007220216606,371.0469314079422 335.9205776173285,371.0469314079422 335.9205776173285,221.4440433212996 254.29602888086637,221.4440433212996 254.29602888086637,362.96028880866425" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="-3.79,-0.3899999999999999 -3.79,-0.5900000000000001 -2.22,-0.5900000000000001 -2.22,-0.3800000000000001" data-type="line" data-label="" points="95.5956678700361,440.79422382671476 95.5956678700361,461.0108303249097 254.29602888086637,461.0108303249097 254.29602888086637,439.78339350180505" fill="none" stroke="purple" stroke-width="1px"/></g><g><rect data-type="rect" data-label="schematic_component_0" data-x="-3.675" data-y="5.551115123125783e-17" x="40" y="361.9494584837545" width="134.44043321299637" height="78.84476534296027" fill="hsl(24, 100%, 50%, 0.8)" stroke="black" stroke-width="0.009892857142857142"/></g><g><rect data-type="rect" data-label="schematic_component_1" data-x="-2.085" data-y="5.551115123125783e-17" x="221.44404332129963" y="362.96028880866425" width="92.99638989169677" height="76.82310469314075" fill="hsl(24, 100%, 50%, 0.8)" stroke="black" stroke-width="0.009892857142857142"/></g><g><rect data-type="rect" data-label="schematic_component_2" data-x="0" data-y="0" x="357.4007220216606" y="350.8303249097473" width="242.5992779783394" height="101.08303249097469" fill="hsl(24, 100%, 50%, 0.8)" stroke="black" stroke-width="0.009892857142857142"/></g><g><rect data-type="rect" data-label="U1" data-x="-0.68" data-y="0.615" x="391.76895306859205" y="326.5703971119133" width="36.38989169675091" height="25.270758122743644" fill="rgba(160, 0, 220, 0.14)" stroke="black" stroke-width="0.009892857142857142"/></g><g><rect data-type="rect" data-label="netId: GND
-globalConnNetId: connectivity_net1" data-x="-3.79" data-y="-0.8" x="71.33574007220213" y="461.01083032490976" width="48.519855595667934" height="42.454873646209364" fill="#00000066" stroke="#000000" stroke-width="0.009892857142857142"/></g><g><rect data-type="rect" data-label="netId: .U1 &gt; .pin1 to .C2 &gt; .pin1
-globalConnNetId: connectivity_net0" data-x="-2.22" data-y="2.2" x="244.18772563176887" y="136.53429602888082" width="20.216606498195006" height="84.90974729241876" fill="hsl(40, 100%, 50%, 0.35)" stroke="black" stroke-width="0.009892857142857142"/></g><g><circle data-type="point" data-label="schematic_port_0
-y-" data-x="-3.79" data-y="-0.3899999999999999" cx="95.5956678700361" cy="440.79422382671476" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_1
-y+" data-x="-3.79" data-y="0.39" cx="95.5956678700361" cy="361.9494584837545" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_2
-y+" data-x="-2.22" data-y="0.38000000000000006" cx="254.29602888086637" cy="362.96028880866425" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_3
-y-" data-x="-2.22" data-y="-0.37999999999999995" cx="254.29602888086637" cy="439.783393501805" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_4
-x-" data-x="-1.2000000000000002" data-y="0.30000000000000004" cx="357.4007220216606" cy="371.0469314079422" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_5
-x-" data-x="-1.2000000000000002" data-y="0.10000000000000003" cx="357.4007220216606" cy="391.2635379061371" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_6
-x-" data-x="-1.2000000000000002" data-y="-0.09999999999999998" cx="357.4007220216606" cy="411.48014440433207" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_7
-x-" data-x="-1.2000000000000002" data-y="-0.30000000000000004" cx="357.4007220216606" cy="431.696750902527" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_8
-x+" data-x="1.2000000000000002" data-y="-0.30000000000000004" cx="600" cy="431.696750902527" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_9
-x+" data-x="1.2000000000000002" data-y="-0.10000000000000003" cx="600" cy="411.4801444043321" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_10
-x+" data-x="1.2000000000000002" data-y="0.09999999999999998" cx="600" cy="391.2635379061372" r="3" fill="hsl(184, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_11
-x+" data-x="1.2000000000000002" data-y="0.30000000000000004" cx="600" cy="371.0469314079422" r="3" fill="hsl(184, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="anchorPoint
-orientation: y-" data-x="-3.79" data-y="-0.5900000000000001" cx="95.5956678700361" cy="461.0108303249097" r="3" fill="hsl(40, 100%, 50%, 0.9)"/></g><g><circle data-type="point" data-label="anchorPoint
-orientation: y+" data-x="-2.22" data-y="1.78" cx="254.29602888086637" cy="221.4440433212996" r="3" fill="hsl(40, 100%, 50%, 0.9)"/></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[
+<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><polyline data-points="-1.2000000000000002,0.30000000000000004 -3.79,0.39" data-type="line" data-label="" points="357.4007220216606,296.2454873646209 95.5956678700361,287.1480144404332" fill="none" stroke="hsl(136, 100%, 50%, 0.8)" stroke-width="1px"/></g><g><polyline data-points="-1.2000000000000002,0.30000000000000004 -2.22,0.38000000000000006" data-type="line" data-label="" points="357.4007220216606,296.2454873646209 254.29602888086637,288.1588447653429" fill="none" stroke="hsl(136, 100%, 50%, 0.8)" stroke-width="1px"/></g><g><polyline data-points="-3.79,-0.3899999999999999 -2.22,-0.37999999999999995" data-type="line" data-label="" points="95.5956678700361,365.9927797833935 254.29602888086637,364.9819494584837" fill="none" stroke="hsl(157, 100%, 50%, 0.8)" stroke-width="1px" stroke-dasharray="4 2"/></g><g><polyline data-points="-2.22,0.3800000000000002 -2.22,0.5800000000000003 -3.79,0.5800000000000003 -3.79,0.39" data-type="line" data-label="" points="254.29602888086637,288.1588447653429 254.29602888086637,267.94223826714796 95.5956678700361,267.94223826714796 95.5956678700361,287.1480144404332" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="-1.2000000000000002,0.3 -1.4125,0.3 -1.4125,0.5800000000000003 -2.22,0.5800000000000003 -2.22,0.38000000000000006" data-type="line" data-label="" points="357.4007220216606,296.24548736462094 335.9205776173285,296.24548736462094 335.9205776173285,267.94223826714796 254.29602888086637,267.94223826714796 254.29602888086637,288.1588447653429" fill="none" stroke="purple" stroke-width="1px"/></g><g><polyline data-points="-3.79,-0.3899999999999999 -3.79,-0.5900000000000001 -2.22,-0.5900000000000001 -2.22,-0.3800000000000001" data-type="line" data-label="" points="95.5956678700361,365.9927797833935 95.5956678700361,386.2093862815884 254.29602888086637,386.2093862815884 254.29602888086637,364.98194945848377" fill="none" stroke="purple" stroke-width="1px"/></g><g><rect data-type="rect" data-label="schematic_component_0" data-x="-3.675" data-y="5.551115123125783e-17" x="40" y="287.1480144404332" width="134.44043321299637" height="78.84476534296027" fill="hsl(24, 100%, 50%, 0.8)" stroke="black" stroke-width="0.009892857142857142"/></g><g><rect data-type="rect" data-label="schematic_component_1" data-x="-2.085" data-y="5.551115123125783e-17" x="221.44404332129963" y="288.1588447653429" width="92.99638989169677" height="76.8231046931408" fill="hsl(24, 100%, 50%, 0.8)" stroke="black" stroke-width="0.009892857142857142"/></g><g><rect data-type="rect" data-label="schematic_component_2" data-x="0" data-y="0" x="357.4007220216606" y="276.028880866426" width="242.5992779783394" height="101.08303249097469" fill="hsl(24, 100%, 50%, 0.8)" stroke="black" stroke-width="0.009892857142857142"/></g><g><rect data-type="rect" data-label="U1" data-x="-0.68" data-y="0.615" x="391.76895306859205" y="251.76895306859208" width="36.38989169675091" height="25.270758122743644" fill="rgba(160, 0, 220, 0.14)" stroke="black" stroke-width="0.009892857142857142"/></g><g><rect data-type="rect" data-label="netId: GND
+globalConnNetId: connectivity_net1" data-x="-3.79" data-y="-0.8" x="71.33574007220213" y="386.2093862815884" width="48.519855595667934" height="42.45487364620942" fill="#00000066" stroke="#000000" stroke-width="0.009892857142857142"/></g><g><rect data-type="rect" data-label="netId: .U1 &gt; .pin1 to .C2 &gt; .pin1
+globalConnNetId: connectivity_net0" data-x="-1.3062500000000001" data-y="0.72" x="336.55234657039705" y="211.33574007220213" width="20.216606498195006" height="84.90974729241879" fill="hsl(40, 100%, 50%, 0.35)" stroke="black" stroke-width="0.009892857142857142"/></g><g><circle data-type="point" data-label="schematic_port_0
+y-" data-x="-3.79" data-y="-0.3899999999999999" cx="95.5956678700361" cy="365.9927797833935" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_1
+y+" data-x="-3.79" data-y="0.39" cx="95.5956678700361" cy="287.1480144404332" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_2
+y+" data-x="-2.22" data-y="0.38000000000000006" cx="254.29602888086637" cy="288.1588447653429" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_3
+y-" data-x="-2.22" data-y="-0.37999999999999995" cx="254.29602888086637" cy="364.9819494584837" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_4
+x-" data-x="-1.2000000000000002" data-y="0.30000000000000004" cx="357.4007220216606" cy="296.2454873646209" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_5
+x-" data-x="-1.2000000000000002" data-y="0.10000000000000003" cx="357.4007220216606" cy="316.46209386281583" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_6
+x-" data-x="-1.2000000000000002" data-y="-0.09999999999999998" cx="357.4007220216606" cy="336.6787003610108" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_7
+x-" data-x="-1.2000000000000002" data-y="-0.30000000000000004" cx="357.4007220216606" cy="356.8953068592058" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_8
+x+" data-x="1.2000000000000002" data-y="-0.30000000000000004" cx="600" cy="356.8953068592058" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_9
+x+" data-x="1.2000000000000002" data-y="-0.10000000000000003" cx="600" cy="336.67870036101084" r="3" fill="hsl(248, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_10
+x+" data-x="1.2000000000000002" data-y="0.09999999999999998" cx="600" cy="316.4620938628159" r="3" fill="hsl(184, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="schematic_port_11
+x+" data-x="1.2000000000000002" data-y="0.30000000000000004" cx="600" cy="296.2454873646209" r="3" fill="hsl(184, 100%, 50%, 0.8)"/></g><g><circle data-type="point" data-label="anchorPoint
+orientation: y-" data-x="-3.79" data-y="-0.5900000000000001" cx="95.5956678700361" cy="386.2093862815884" r="3" fill="hsl(40, 100%, 50%, 0.9)"/></g><g><circle data-type="point" data-label="anchorPoint
+orientation: y+" data-x="-1.3062500000000001" data-y="0.3" cx="346.66064981949455" cy="296.24548736462094" r="3" fill="hsl(40, 100%, 50%, 0.9)"/></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();
@@ -36,7 +36,7 @@ orientation: y+" data-x="-2.22" data-y="1.78" cx="254.29602888086637" cy="221.44
                 v.setAttribute('y2', '640');
 
                 // Calculate real coordinates using inverse transformation
-                const matrix = {"a":101.08303249097473,"c":0,"e":478.7003610108303,"b":0,"d":-101.08303249097473,"f":401.3718411552346};
+                const matrix = {"a":101.08303249097473,"c":0,"e":478.7003610108303,"b":0,"d":-101.08303249097473,"f":326.57039711191334};
                 // Manually invert and apply the affine transform
                 // Since we only use translate and scale, we can directly compute:
                 // x' = (x - tx) / sx

package/tests/bug-reports/bug-report-20260804T225912Z/bug-report-20260804T225912Z.test.ts

@@ -3,10 +3,28 @@ import { SchematicTracePipelineSolver } from "lib/solvers/SchematicTracePipeline
 import inputProblem from "./bug-report-20260804T225912Z.json"
 import "tests/fixtures/matcher"
 
+const EXPECTED_CHIP_TO_CAPACITOR_MAX_Y = 0.58
+
 test("bug-report-20260804T225912Z", () => {
   const solver = new SchematicTracePipelineSolver(inputProblem as any)
 
   solver.solve()
 
+  const chipToCapacitorTrace = solver.traceCleanupSolver
+    ?.getOutput()
+    .traces.find(
+      (trace) =>
+        trace.pinIds.includes("schematic_port_4") &&
+        trace.pinIds.includes("schematic_port_2"),
+    )
+  expect(chipToCapacitorTrace).toBeDefined()
+  if (!chipToCapacitorTrace)
+    throw new Error("Chip-to-capacitor trace not found")
+
+  const maxTraceY = Math.max(
+    ...chipToCapacitorTrace.tracePath.map((point) => point.y),
+  )
+
+  expect(maxTraceY).toBeCloseTo(EXPECTED_CHIP_TO_CAPACITOR_MAX_Y)
   expect(solver).toMatchSolverSnapshot(import.meta.path)
 })