@tscircuit/schematic-trace-solver 0.0.80 → 0.0.82

package/dist/index.d.ts

@@ -694,8 +694,8 @@ type CandidateLabel = {
     width: number;
     height: number;
 };
-type CandidateStatus$2 = "valid" | "chip-collision" | "text-collision" | "trace-collision" | "netlabel-collision";
-type CandidatePhase = "rotate" | "shift" | "lateral-shift";
+type CandidateStatus$2 = "valid" | "chip-collision" | "text-collision" | "trace-collision" | "trace-clearance-violation" | "netlabel-collision";
+type CandidatePhase = "rotate" | "trace-anchor" | "shift" | "lateral-shift";
 type EvaluatedCandidate = CandidateLabel & {
     status: CandidateStatus$2;
     selected: boolean;
@@ -733,6 +733,8 @@ declare class AvailableNetOrientationSolver extends BaseSolver {
     private setCurrentLabel;
     private findCorrectedCandidate;
     private findValidRotatedCandidate;
+    private findValidTraceAnchorCandidate;
+    private getTraceAnchorCandidatePoints;
     private getAvailableOrientations;
     private findValidShiftedCandidate;
     /**
@@ -757,7 +759,13 @@ declare class AvailableNetOrientationSolver extends BaseSolver {
     private getNetLabelWidth;
     private getNetLabelHeight;
     private getCandidateStatus;
+    private isAcceptableTraceAnchorChipCollision;
     private getBoundsStatus;
+    private isTraceTooCloseToLabel;
+    private getLabelTraceClearanceBounds;
+    private shouldCheckTraceClearanceForLabel;
+    private hasRoutedLabelOnSameNet;
+    private isPortOnlyLabel;
     private intersectsAnyOtherNetLabel;
     private sharesChipBoundary;
     private getChipSideForPoint;

package/dist/index.js

@@ -6167,6 +6167,7 @@ var ensureGraphicsArrays = (graphics) => {
 };
 
 // lib/solvers/AvailableNetOrientationSolver/AvailableNetOrientationSolver.ts
+var LABEL_TRACE_CLEARANCE = 0.1;
 var AvailableNetOrientationSolver = class extends BaseSolver {
   inputProblem;
   traces;
@@ -6245,6 +6246,7 @@ var AvailableNetOrientationSolver = class extends BaseSolver {
     this.addConnectorTrace(label, candidate, labelIndex);
   }
   addConnectorTrace(label, candidate, labelIndex) {
+    if (candidate.phase === "trace-anchor") return;
     const tracePath = this.getCandidateConnectorTrace(label, candidate);
     if (tracePath.length < 2) return;
     const mspPairId = `available-net-orientation-${labelIndex}-${label.netId ?? label.globalConnNetId}`;
@@ -6279,6 +6281,12 @@ var AvailableNetOrientationSolver = class extends BaseSolver {
       orientations
     );
     if (rotatedCandidate) return rotatedCandidate;
+    const traceAnchorCandidate = this.findValidTraceAnchorCandidate(
+      label,
+      orientations[0],
+      labelIndex
+    );
+    if (traceAnchorCandidate) return traceAnchorCandidate;
     const shiftedCandidate = this.findValidShiftedCandidate(
       label,
       orientations[0],
@@ -6312,6 +6320,46 @@ var AvailableNetOrientationSolver = class extends BaseSolver {
     }
     return null;
   }
+  findValidTraceAnchorCandidate(label, orientation, labelIndex) {
+    const direction = dir(orientation);
+    const candidatePoints = this.getTraceAnchorCandidatePoints(label).sort(
+      (a, b) => {
+        const aAlongDirection = a.x * direction.x + a.y * direction.y;
+        const bAlongDirection = b.x * direction.x + b.y * direction.y;
+        return bAlongDirection - aAlongDirection;
+      }
+    );
+    for (const anchorPoint of candidatePoints) {
+      const candidate = this.createCandidate(label, anchorPoint, orientation);
+      const result = this.evaluateCandidate(
+        candidate,
+        label,
+        labelIndex,
+        "trace-anchor"
+      );
+      this.currentCandidateResults.push(result);
+      if (result.status === "valid") {
+        result.selected = true;
+        return result;
+      }
+    }
+    return null;
+  }
+  getTraceAnchorCandidatePoints(label) {
+    const seen = /* @__PURE__ */ new Set();
+    const points = [];
+    for (const traceId of label.mspConnectionPairIds ?? []) {
+      const trace = this.traceMap[traceId];
+      if (!trace) continue;
+      for (const point of trace.tracePath) {
+        const key = `${point.x.toFixed(9)},${point.y.toFixed(9)}`;
+        if (seen.has(key)) continue;
+        seen.add(key);
+        points.push(point);
+      }
+    }
+    return points;
+  }
   getAvailableOrientations(label) {
     const effectiveNetId = label.netId ?? label.globalConnNetId;
     return this.inputProblem.availableNetLabelOrientations[effectiveNetId] ?? [];
@@ -6580,11 +6628,28 @@ var AvailableNetOrientationSolver = class extends BaseSolver {
   }
   getCandidateStatus(params) {
     const { candidate, label, labelIndex, phase } = params;
-    const boundsStatus = this.getBoundsStatus(
-      getRectBounds(candidate.center, candidate.width, candidate.height),
-      labelIndex
+    const bounds = getRectBounds(
+      candidate.center,
+      candidate.width,
+      candidate.height
     );
-    if (boundsStatus !== "valid") return boundsStatus;
+    const boundsStatus = this.getBoundsStatus({
+      bounds,
+      labelIndex,
+      label
+    });
+    if (boundsStatus !== "valid") {
+      if (phase !== "trace-anchor" || boundsStatus !== "chip-collision" || !this.isAcceptableTraceAnchorChipCollision(candidate, label, bounds)) {
+        return boundsStatus;
+      }
+      const nonChipBoundsStatus = this.getBoundsStatus({
+        bounds,
+        labelIndex,
+        label,
+        ignoreChipCollisions: true
+      });
+      if (nonChipBoundsStatus !== "valid") return nonChipBoundsStatus;
+    }
     const connectorTrace = this.getCandidateConnectorTrace(label, {
       anchorPoint: candidate.anchorPoint,
       orientation: candidate.orientation,
@@ -6607,24 +6672,81 @@ var AvailableNetOrientationSolver = class extends BaseSolver {
     }
     return "valid";
   }
-  getBoundsStatus(bounds, labelIndex) {
-    if (this.chipObstacleSpatialIndex.getChipsInBounds(bounds).length > 0) {
-      return "chip-collision";
+  isAcceptableTraceAnchorChipCollision(candidate, label, bounds) {
+    const collidingChips = this.chipObstacleSpatialIndex.getChipsInBounds(bounds);
+    if (collidingChips.length === 0) return false;
+    const labelChipIds = new Set(
+      label.pinIds.map((pinId) => this.pinMap[pinId]?.chipId).filter((chipId) => Boolean(chipId))
+    );
+    return collidingChips.every((chip) => {
+      if (!labelChipIds.has(chip.chipId)) return false;
+      const { anchorPoint, orientation } = candidate;
+      const chipBounds = chip.bounds;
+      if (isYOrientation(orientation)) {
+        return anchorPoint.x < chipBounds.minX - EPS8 || anchorPoint.x > chipBounds.maxX + EPS8;
+      }
+      return anchorPoint.y < chipBounds.minY - EPS8 || anchorPoint.y > chipBounds.maxY + EPS8;
+    });
+  }
+  getBoundsStatus(candidateBoundsCheck) {
+    const { bounds, labelIndex, label, ignoreChipCollisions } = candidateBoundsCheck;
+    if (!ignoreChipCollisions) {
+      if (this.chipObstacleSpatialIndex.getChipsInBounds(bounds).length > 0) {
+        return "chip-collision";
+      }
+      if (this.sharesChipBoundary(bounds)) {
+        return "chip-collision";
+      }
     }
     if (rectIntersectsAnyTextBox(bounds, this.inputProblem)) {
       return "text-collision";
     }
-    if (this.sharesChipBoundary(bounds)) {
-      return "chip-collision";
-    }
     if (traceCrossesBoundsInterior(bounds, this.traceMap)) {
       return "trace-collision";
     }
+    if (this.isTraceTooCloseToLabel(bounds, label)) {
+      return "trace-clearance-violation";
+    }
     if (this.intersectsAnyOtherNetLabel(bounds, labelIndex)) {
       return "netlabel-collision";
     }
     return "valid";
   }
+  isTraceTooCloseToLabel(bounds, label) {
+    if (!this.shouldCheckTraceClearanceForLabel(label)) return false;
+    const clearanceBounds = this.getLabelTraceClearanceBounds(bounds);
+    for (const trace of Object.values(this.traceMap)) {
+      if (trace.globalConnNetId === label.globalConnNetId) continue;
+      if (tracePathIntersectsBounds(trace.tracePath, clearanceBounds)) {
+        return true;
+      }
+    }
+    return false;
+  }
+  getLabelTraceClearanceBounds(bounds) {
+    return {
+      minX: bounds.minX - LABEL_TRACE_CLEARANCE,
+      minY: bounds.minY - LABEL_TRACE_CLEARANCE,
+      maxX: bounds.maxX + LABEL_TRACE_CLEARANCE,
+      maxY: bounds.maxY + LABEL_TRACE_CLEARANCE
+    };
+  }
+  shouldCheckTraceClearanceForLabel(label) {
+    if (!this.isPortOnlyLabel(label)) return false;
+    if (!this.hasRoutedLabelOnSameNet(label)) return false;
+    const orientations = this.getAvailableOrientations(label);
+    return orientations.length === 1;
+  }
+  hasRoutedLabelOnSameNet(label) {
+    for (const otherLabel of this.outputNetLabelPlacements) {
+      if (otherLabel.globalConnNetId !== label.globalConnNetId) continue;
+      if (otherLabel.mspConnectionPairIds.length > 0) return true;
+    }
+    return false;
+  }
+  isPortOnlyLabel(label) {
+    return label.mspConnectionPairIds.length === 0;
+  }
   intersectsAnyOtherNetLabel(bounds, labelIndex) {
     for (let i = 0; i < this.outputNetLabelPlacements.length; i++) {
       if (i === labelIndex) continue;

package/lib/solvers/AvailableNetOrientationSolver/AvailableNetOrientationSolver.ts

@@ -38,6 +38,8 @@ import type {
 import { visualizeAvailableNetOrientationSolver } from "./visualize"
 import { rectIntersectsAnyTextBox } from "lib/utils/textBoxBounds"
 
+const LABEL_TRACE_CLEARANCE = 0.1
+
 export class AvailableNetOrientationSolver extends BaseSolver {
   inputProblem: InputProblem
   traces: SolvedTracePath[]
@@ -144,6 +146,8 @@ export class AvailableNetOrientationSolver extends BaseSolver {
     candidate: EvaluatedCandidate,
     labelIndex: number,
   ) {
+    if (candidate.phase === "trace-anchor") return
+
     const tracePath = this.getCandidateConnectorTrace(label, candidate)
     if (tracePath.length < 2) return
 
@@ -185,6 +189,13 @@ export class AvailableNetOrientationSolver extends BaseSolver {
     )
     if (rotatedCandidate) return rotatedCandidate
 
+    const traceAnchorCandidate = this.findValidTraceAnchorCandidate(
+      label,
+      orientations[0]!,
+      labelIndex,
+    )
+    if (traceAnchorCandidate) return traceAnchorCandidate
+
     const shiftedCandidate = this.findValidShiftedCandidate(
       label,
       orientations[0]!,
@@ -226,6 +237,57 @@ export class AvailableNetOrientationSolver extends BaseSolver {
     return null
   }
 
+  private findValidTraceAnchorCandidate(
+    label: NetLabelPlacement,
+    orientation: FacingDirection,
+    labelIndex: number,
+  ) {
+    const direction = dir(orientation)
+    const candidatePoints = this.getTraceAnchorCandidatePoints(label).sort(
+      (a, b) => {
+        const aAlongDirection = a.x * direction.x + a.y * direction.y
+        const bAlongDirection = b.x * direction.x + b.y * direction.y
+        return bAlongDirection - aAlongDirection
+      },
+    )
+
+    for (const anchorPoint of candidatePoints) {
+      const candidate = this.createCandidate(label, anchorPoint, orientation)
+      const result = this.evaluateCandidate(
+        candidate,
+        label,
+        labelIndex,
+        "trace-anchor",
+      )
+      this.currentCandidateResults.push(result)
+
+      if (result.status === "valid") {
+        result.selected = true
+        return result
+      }
+    }
+
+    return null
+  }
+
+  private getTraceAnchorCandidatePoints(label: NetLabelPlacement) {
+    const seen = new Set<string>()
+    const points: Point[] = []
+
+    for (const traceId of label.mspConnectionPairIds ?? []) {
+      const trace = this.traceMap[traceId]
+      if (!trace) continue
+      for (const point of trace.tracePath) {
+        const key = `${point.x.toFixed(9)},${point.y.toFixed(9)}`
+        if (seen.has(key)) continue
+        seen.add(key)
+        points.push(point)
+      }
+    }
+
+    return points
+  }
+
   private getAvailableOrientations(label: NetLabelPlacement) {
     const effectiveNetId = label.netId ?? label.globalConnNetId
     return this.inputProblem.availableNetLabelOrientations[effectiveNetId] ?? []
@@ -606,11 +668,33 @@ export class AvailableNetOrientationSolver extends BaseSolver {
     phase: CandidatePhase
   }) {
     const { candidate, label, labelIndex, phase } = params
-    const boundsStatus = this.getBoundsStatus(
-      getRectBounds(candidate.center, candidate.width, candidate.height),
-      labelIndex,
+    const bounds = getRectBounds(
+      candidate.center,
+      candidate.width,
+      candidate.height,
     )
-    if (boundsStatus !== "valid") return boundsStatus
+    const boundsStatus = this.getBoundsStatus({
+      bounds,
+      labelIndex,
+      label,
+    })
+    if (boundsStatus !== "valid") {
+      if (
+        phase !== "trace-anchor" ||
+        boundsStatus !== "chip-collision" ||
+        !this.isAcceptableTraceAnchorChipCollision(candidate, label, bounds)
+      ) {
+        return boundsStatus
+      }
+
+      const nonChipBoundsStatus = this.getBoundsStatus({
+        bounds,
+        labelIndex,
+        label,
+        ignoreChipCollisions: true,
+      })
+      if (nonChipBoundsStatus !== "valid") return nonChipBoundsStatus
+    }
 
     const connectorTrace = this.getCandidateConnectorTrace(label, {
       anchorPoint: candidate.anchorPoint,
@@ -640,25 +724,115 @@ export class AvailableNetOrientationSolver extends BaseSolver {
     return "valid"
   }
 
-  private getBoundsStatus(bounds: Bounds, labelIndex: number): CandidateStatus {
-    if (this.chipObstacleSpatialIndex.getChipsInBounds(bounds).length > 0) {
-      return "chip-collision"
+  private isAcceptableTraceAnchorChipCollision(
+    candidate: CandidateLabel,
+    label: NetLabelPlacement,
+    bounds: Bounds,
+  ) {
+    const collidingChips =
+      this.chipObstacleSpatialIndex.getChipsInBounds(bounds)
+    if (collidingChips.length === 0) return false
+
+    const labelChipIds = new Set(
+      label.pinIds
+        .map((pinId) => this.pinMap[pinId]?.chipId)
+        .filter((chipId): chipId is string => Boolean(chipId)),
+    )
+
+    return collidingChips.every((chip) => {
+      if (!labelChipIds.has(chip.chipId)) return false
+
+      const { anchorPoint, orientation } = candidate
+      const chipBounds = chip.bounds
+      if (isYOrientation(orientation)) {
+        return (
+          anchorPoint.x < chipBounds.minX - EPS ||
+          anchorPoint.x > chipBounds.maxX + EPS
+        )
+      }
+      return (
+        anchorPoint.y < chipBounds.minY - EPS ||
+        anchorPoint.y > chipBounds.maxY + EPS
+      )
+    })
+  }
+
+  private getBoundsStatus(candidateBoundsCheck: {
+    bounds: Bounds
+    labelIndex: number
+    label: NetLabelPlacement
+    ignoreChipCollisions?: boolean
+  }): CandidateStatus {
+    const { bounds, labelIndex, label, ignoreChipCollisions } =
+      candidateBoundsCheck
+
+    if (!ignoreChipCollisions) {
+      if (this.chipObstacleSpatialIndex.getChipsInBounds(bounds).length > 0) {
+        return "chip-collision"
+      }
+      if (this.sharesChipBoundary(bounds)) {
+        return "chip-collision"
+      }
     }
     if (rectIntersectsAnyTextBox(bounds, this.inputProblem)) {
       return "text-collision"
     }
-    if (this.sharesChipBoundary(bounds)) {
-      return "chip-collision"
-    }
     if (traceCrossesBoundsInterior(bounds, this.traceMap)) {
       return "trace-collision"
     }
+    if (this.isTraceTooCloseToLabel(bounds, label)) {
+      return "trace-clearance-violation"
+    }
     if (this.intersectsAnyOtherNetLabel(bounds, labelIndex)) {
       return "netlabel-collision"
     }
     return "valid"
   }
 
+  private isTraceTooCloseToLabel(bounds: Bounds, label: NetLabelPlacement) {
+    if (!this.shouldCheckTraceClearanceForLabel(label)) return false
+
+    const clearanceBounds = this.getLabelTraceClearanceBounds(bounds)
+    for (const trace of Object.values(this.traceMap)) {
+      if (trace.globalConnNetId === label.globalConnNetId) continue
+      if (tracePathIntersectsBounds(trace.tracePath, clearanceBounds)) {
+        return true
+      }
+    }
+
+    return false
+  }
+
+  private getLabelTraceClearanceBounds(bounds: Bounds): Bounds {
+    return {
+      minX: bounds.minX - LABEL_TRACE_CLEARANCE,
+      minY: bounds.minY - LABEL_TRACE_CLEARANCE,
+      maxX: bounds.maxX + LABEL_TRACE_CLEARANCE,
+      maxY: bounds.maxY + LABEL_TRACE_CLEARANCE,
+    }
+  }
+
+  private shouldCheckTraceClearanceForLabel(label: NetLabelPlacement) {
+    if (!this.isPortOnlyLabel(label)) return false
+    if (!this.hasRoutedLabelOnSameNet(label)) return false
+
+    const orientations = this.getAvailableOrientations(label)
+    return orientations.length === 1
+  }
+
+  private hasRoutedLabelOnSameNet(label: NetLabelPlacement) {
+    for (const otherLabel of this.outputNetLabelPlacements) {
+      if (otherLabel.globalConnNetId !== label.globalConnNetId) continue
+      if (otherLabel.mspConnectionPairIds.length > 0) return true
+    }
+
+    return false
+  }
+
+  private isPortOnlyLabel(label: NetLabelPlacement) {
+    return label.mspConnectionPairIds.length === 0
+  }
+
   private intersectsAnyOtherNetLabel(bounds: Bounds, labelIndex: number) {
     for (let i = 0; i < this.outputNetLabelPlacements.length; i++) {
       if (i === labelIndex) continue

package/lib/solvers/AvailableNetOrientationSolver/types.ts

@@ -32,9 +32,14 @@ export type CandidateStatus =
   | "chip-collision"
   | "text-collision"
   | "trace-collision"
+  | "trace-clearance-violation"
   | "netlabel-collision"
 
-export type CandidatePhase = "rotate" | "shift" | "lateral-shift"
+export type CandidatePhase =
+  | "rotate"
+  | "trace-anchor"
+  | "shift"
+  | "lateral-shift"
 
 export type EvaluatedCandidate = CandidateLabel & {
   status: CandidateStatus

package/package.json

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

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

@@ -86,7 +86,7 @@ orientation: x-" data-x="-1.485" data-y="-0.2" cx="256.11911623439005" cy="288.2
   </g>
   <g>
     <circle data-type="point" data-label="anchorPoint
-orientation: y-" data-x="-1.3860000000000001" data-y="-0.301" cx="261.4447646493756" cy="293.6945244956772" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
+orientation: y-" data-x="-1.3860000000000001" data-y="-0.601" cx="261.4447646493756" cy="309.8328530259365" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
   </g>
   <g>
     <circle data-type="point" data-label="anchorPoint
@@ -218,10 +218,10 @@ orientation: x-" data-x="2.6749999999999994" data-y="-2.7362499999999996" cx="47
     <polyline data-points="-1.2850000000000001,0.20000000000000018 -1.866,0.20000000000000018 -1.866,-4.440892098500626e-16 -2.87,-4.440892098500626e-16 -2.87,0.19999999999999973" data-type="line" data-label="" points="266.8780019212296,266.74351585014404 235.62343900096062,266.74351585014404 235.62343900096062,277.5024015369836 181.61383285302594,277.5024015369836 181.61383285302594,266.74351585014404" fill="none" stroke="purple" stroke-width="1" />
   </g>
   <g>
-    <polyline data-points="-1.2850000000000001,-0.2 -1.485,-0.2 -1.485,-0.20099999999999993 -2.166,-0.20099999999999993 -2.166,0.5 -1.485,0.5 -1.485,0.2 -1.2850000000000001,0.2" data-type="line" data-label="" points="266.8780019212296,288.26128722382316 256.11911623439005,288.26128722382316 256.11911623439005,288.3150816522574 219.48511047070127,288.3150816522574 219.48511047070127,250.60518731988466 256.11911623439005,250.60518731988466 256.11911623439005,266.74351585014404 266.8780019212296,266.74351585014404" fill="none" stroke="purple" stroke-width="1" />
+    <polyline data-points="-1.2850000000000001,-0.2 -1.485,-0.2 -1.485,-0.5 -2.166,-0.5 -2.166,0.5 -1.485,0.5 -1.485,0.2 -1.2850000000000001,0.2" data-type="line" data-label="" points="266.8780019212296,288.26128722382316 256.11911623439005,288.26128722382316 256.11911623439005,304.39961575408256 219.48511047070127,304.39961575408256 219.48511047070127,250.60518731988466 256.11911623439005,250.60518731988466 256.11911623439005,266.74351585014404 266.8780019212296,266.74351585014404" fill="none" stroke="purple" stroke-width="1" />
   </g>
   <g>
-    <polyline data-points="-1.2850000000000001,0 -1.3860000000000001,0 -1.3860000000000001,-0.301" data-type="line" data-label="" points="266.8780019212296,277.5024015369836 261.4447646493756,277.5024015369836 261.4447646493756,293.6945244956772" fill="none" stroke="purple" stroke-width="1" />
+    <polyline data-points="-1.2850000000000001,0 -1.3860000000000001,0 -1.3860000000000001,-0.601" data-type="line" data-label="" points="266.8780019212296,277.5024015369836 261.4447646493756,277.5024015369836 261.4447646493756,309.8328530259365" fill="none" stroke="purple" stroke-width="1" />
   </g>
   <g>
     <rect data-type="rect" data-label="schematic_component_0" data-x="-2.71" data-y="0.7199999999999998" x="167.08933717579254" y="210.79731027857824" width="46.26320845341016" height="55.9462055715658" fill="hsl(24, 100%, 50%, 0.8)" stroke="black" stroke-width="0.018589285714285714" />
@@ -257,7 +257,7 @@ globalConnNetId: connectivity_net1" data-x="-1.725" data-y="-0.2" x="230.2977905
   </g>
   <g>
     <rect data-type="rect" data-label="netId: GND
-globalConnNetId: connectivity_net2" data-x="-1.3860000000000001" data-y="-0.5409999999999999" x="256.0653218059558" y="293.6945244956772" width="10.758885686839562" height="25.821325648414984" fill="#00000066" stroke="#000000" stroke-width="0.018589285714285714" />
+globalConnNetId: connectivity_net2" data-x="-1.3860000000000001" data-y="-0.841" x="256.0653218059558" y="309.8328530259365" width="10.758885686839562" height="25.821325648414984" fill="#00000066" stroke="#000000" stroke-width="0.018589285714285714" />
   </g>
   <g>
     <rect data-type="rect" data-label="netId: GND

package/tests/repros/__snapshots__/bugreport-001-gnd-overlap.snap.svg

@@ -0,0 +1,219 @@
+<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="BT1.1
+x+" data-x="-2.6" data-y="2.2" cx="84.13793103448276" cy="230.89655172413794" r="3" fill="hsl(114, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="BT1.2
+x+" data-x="-2.6" data-y="1.8" cx="84.13793103448276" cy="252.9655172413793" r="3" fill="hsl(115, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="SW1.1
+x-" data-x="-0.5" data-y="2" cx="200" cy="241.93103448275863" r="3" fill="hsl(104, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="SW1.2
+x+" data-x="0.5" data-y="2" cx="255.17241379310343" cy="241.93103448275863" r="3" fill="hsl(105, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="R1.1
+x-" data-x="2.45" data-y="1" cx="362.7586206896552" cy="297.1034482758621" r="3" fill="hsl(226, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="R1.2
+x+" data-x="3.55" data-y="1" cx="423.44827586206895" cy="297.1034482758621" r="3" fill="hsl(227, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="R2.1
+x-" data-x="2.45" data-y="-1" cx="362.7586206896552" cy="407.44827586206895" r="3" fill="hsl(107, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="R2.2
+x+" data-x="3.55" data-y="-1" cx="423.44827586206895" cy="407.44827586206895" r="3" fill="hsl(108, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="D1.1
+x-" data-x="5.45" data-y="1" cx="528.2758620689655" cy="297.1034482758621" r="3" fill="hsl(32, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="D1.2
+x+" data-x="6.55" data-y="1" cx="588.9655172413793" cy="297.1034482758621" r="3" fill="hsl(33, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="D2.1
+x-" data-x="5.45" data-y="-1" cx="528.2758620689655" cy="407.44827586206895" r="3" fill="hsl(273, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="D2.2
+x+" data-x="6.55" data-y="-1" cx="588.9655172413793" cy="407.44827586206895" r="3" fill="hsl(274, 100%, 50%, 0.8)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="anchorPoint
+orientation: y+" data-x="-2.075" data-y="2.2" cx="113.10344827586206" cy="230.89655172413794" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="anchorPoint
+orientation: y-" data-x="-2.499" data-y="1.5990000000000002" cx="89.7103448275862" cy="264.0551724137931" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="anchorPoint
+orientation: y-" data-x="6.65" data-y="-1" cx="594.4827586206897" cy="407.44827586206895" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="anchorPoint
+orientation: y-" data-x="2.25" data-y="-1" cx="351.7241379310345" cy="407.44827586206895" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="anchorPoint
+orientation: y+" data-x="4.5" data-y="1" cx="475.8620689655172" cy="297.1034482758621" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
+  </g>
+  <g>
+    <circle data-type="point" data-label="anchorPoint
+orientation: y+" data-x="4.5" data-y="-1" cx="475.8620689655172" cy="407.44827586206895" r="3" fill="hsl(40, 100%, 50%, 0.9)" />
+  </g>
+  <g>
+    <polyline data-points="-2.6,2.2 -0.5,2" data-type="line" data-label="" points="84.13793103448276,230.89655172413794 200,241.93103448275863" fill="none" stroke="hsl(0, 100%, 50%, 0.8)" stroke-width="1" />
+  </g>
+  <g>
+    <polyline data-points="0.5,2 2.45,1" data-type="line" data-label="" points="255.17241379310343,241.93103448275863 362.7586206896552,297.1034482758621" fill="none" stroke="hsl(304, 100%, 50%, 0.8)" stroke-width="1" />
+  </g>
+  <g>
+    <polyline data-points="0.5,2 2.45,-1" data-type="line" data-label="" points="255.17241379310343,241.93103448275863 362.7586206896552,407.44827586206895" fill="none" stroke="hsl(304, 100%, 50%, 0.8)" stroke-width="1" />
+  </g>
+  <g>
+    <polyline data-points="3.55,1 5.45,1" data-type="line" data-label="" points="423.44827586206895,297.1034482758621 528.2758620689655,297.1034482758621" fill="none" stroke="hsl(312, 100%, 50%, 0.8)" stroke-width="1" />
+  </g>
+  <g>
+    <polyline data-points="3.55,-1 5.45,-1" data-type="line" data-label="" points="423.44827586206895,407.44827586206895 528.2758620689655,407.44827586206895" fill="none" stroke="hsl(320, 100%, 50%, 0.8)" stroke-width="1" />
+  </g>
+  <g>
+    <polyline data-points="-2.6,1.8 6.55,1" data-type="line" data-label="" points="84.13793103448276,252.9655172413793 588.9655172413793,297.1034482758621" fill="none" stroke="hsl(157, 100%, 50%, 0.8)" stroke-width="1" stroke-dasharray="4 2" />
+  </g>
+  <g>
+    <polyline data-points="-2.6,1.8 6.55,-1" data-type="line" data-label="" points="84.13793103448276,252.9655172413793 588.9655172413793,407.44827586206895" fill="none" stroke="hsl(157, 100%, 50%, 0.8)" stroke-width="1" stroke-dasharray="4 2" />
+  </g>
+  <g>
+    <polyline data-points="6.55,1 6.55,-1" data-type="line" data-label="" points="588.9655172413793,297.1034482758621 588.9655172413793,407.44827586206895" fill="none" stroke="hsl(157, 100%, 50%, 0.8)" stroke-width="1" stroke-dasharray="4 2" />
+  </g>
+  <g>
+    <polyline data-points="-2.6,2.2 -1.55,2.2 -1.55,2 -0.5,2" data-type="line" data-label="" points="84.13793103448276,230.89655172413794 142.06896551724137,230.89655172413794 142.06896551724137,241.93103448275863 200,241.93103448275863" fill="none" stroke="purple" stroke-width="1" />
+  </g>
+  <g>
+    <polyline data-points="2.45,-1 2.25,-1 2.25,1 2.45,1" data-type="line" data-label="" points="362.7586206896552,407.44827586206895 351.7241379310345,407.44827586206895 351.7241379310345,297.1034482758621 362.7586206896552,297.1034482758621" fill="none" stroke="purple" stroke-width="1" />
+  </g>
+  <g>
+    <polyline data-points="0.5,2 1.475,2 1.475,1 2.45,1" data-type="line" data-label="" points="255.17241379310343,241.93103448275863 308.9655172413793,241.93103448275863 308.9655172413793,297.1034482758621 362.7586206896552,297.1034482758621" fill="none" stroke="purple" stroke-width="1" />
+  </g>
+  <g>
+    <polyline data-points="3.55,1 5.45,1" data-type="line" data-label="" points="423.44827586206895,297.1034482758621 528.2758620689655,297.1034482758621" fill="none" stroke="purple" stroke-width="1" />
+  </g>
+  <g>
+    <polyline data-points="3.55,-1 5.45,-1" data-type="line" data-label="" points="423.44827586206895,407.44827586206895 528.2758620689655,407.44827586206895" fill="none" stroke="purple" stroke-width="1" />
+  </g>
+  <g>
+    <polyline data-points="6.55,-1 6.75,-1 6.75,1 6.55,1" data-type="line" data-label="" points="588.9655172413793,407.44827586206895 600,407.44827586206895 600,297.1034482758621 588.9655172413793,297.1034482758621" fill="none" stroke="purple" stroke-width="1" />
+  </g>
+  <g>
+    <polyline data-points="-2.6,1.8 -2.499,1.8 -2.499,1.5990000000000002" data-type="line" data-label="" points="84.13793103448276,252.9655172413793 89.7103448275862,252.9655172413793 89.7103448275862,264.0551724137931" fill="none" stroke="purple" stroke-width="1" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="BT1" data-x="-3" data-y="2" x="40" y="219.86206896551727" width="44.13793103448276" height="44.13793103448273" fill="hsl(199, 100%, 50%, 0.8)" stroke="black" stroke-width="0.018125000000000002" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="SW1" data-x="0" data-y="2" x="200" y="219.86206896551727" width="55.17241379310343" height="44.13793103448273" fill="hsl(69, 100%, 50%, 0.8)" stroke="black" stroke-width="0.018125000000000002" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="R1" data-x="3" data-y="1" x="362.7586206896552" y="286.3748772413793" width="60.68965517241378" height="21.45714206896554" fill="hsl(71, 100%, 50%, 0.8)" stroke="black" stroke-width="0.018125000000000002" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="R2" data-x="3" data-y="-1" x="362.7586206896552" y="396.7197048275862" width="60.68965517241378" height="21.45714206896554" fill="hsl(72, 100%, 50%, 0.8)" stroke="black" stroke-width="0.018125000000000002" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="D1" data-x="6" data-y="1" x="528.2758620689655" y="286.3748772413793" width="60.689655172413836" height="21.45714206896554" fill="hsl(357, 100%, 50%, 0.8)" stroke="black" stroke-width="0.018125000000000002" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="D2" data-x="6" data-y="-1" x="528.2758620689655" y="396.7197048275862" width="60.689655172413836" height="21.45714206896554" fill="hsl(358, 100%, 50%, 0.8)" stroke="black" stroke-width="0.018125000000000002" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="netId: BT1.plus to SW1.in
+globalConnNetId: connectivity_net0" data-x="-2.075" data-y="2.4250000000000003" x="107.5862068965517" y="206.06896551724137" width="11.034482758620712" height="24.82758620689657" fill="hsl(40, 100%, 50%, 0.35)" stroke="black" stroke-width="0.018125000000000002" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="netId: GND
+globalConnNetId: connectivity_net4" data-x="-2.499" data-y="1.3590000000000002" x="84.19310344827585" y="264.0551724137931" width="11.034482758620697" height="26.48275862068965" fill="#00000066" stroke="#000000" stroke-width="0.018125000000000002" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="netId: GND
+globalConnNetId: connectivity_net4" data-x="6.65" data-y="-1.24" x="588.9655172413793" y="407.44827586206895" width="11.034482758620697" height="26.48275862068965" fill="#00000066" stroke="#000000" stroke-width="0.018125000000000002" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="netId: SW1.out to R2.left
+globalConnNetId: connectivity_net1" data-x="2.25" data-y="-1.225" x="346.2068965517241" y="407.44827586206895" width="11.034482758620697" height="24.82758620689657" fill="hsl(40, 100%, 50%, 0.35)" stroke="black" stroke-width="0.018125000000000002" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="netId: R1.right to D1.a
+globalConnNetId: connectivity_net2" data-x="4.5" data-y="1.225" x="470.34482758620686" y="272.2758620689655" width="11.034482758620697" height="24.82758620689657" fill="hsl(40, 100%, 50%, 0.35)" stroke="black" stroke-width="0.018125000000000002" />
+  </g>
+  <g>
+    <rect data-type="rect" data-label="netId: R2.right to D2.a
+globalConnNetId: connectivity_net3" data-x="4.5" data-y="-0.775" x="470.34482758620686" y="382.62068965517244" width="11.034482758620697" height="24.827586206896513" fill="hsl(40, 100%, 50%, 0.35)" stroke="black" stroke-width="0.018125000000000002" />
+  </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": 55.172413793103445,
+        "c": 0,
+        "e": 227.58620689655172,
+        "b": 0,
+        "d": -55.172413793103445,
+        "f": 352.2758620689655
+      };
+      // 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/repros/assets/bugreport-001-gnd-overlap.input.json

@@ -0,0 +1,163 @@
+{
+  "chips": [
+    {
+      "chipId": "BT1",
+      "center": {
+        "x": -3,
+        "y": 2
+      },
+      "width": 0.8,
+      "height": 0.8,
+      "pins": [
+        {
+          "pinId": "BT1.1",
+          "x": -2.6,
+          "y": 2.2
+        },
+        {
+          "pinId": "BT1.2",
+          "x": -2.6,
+          "y": 1.8
+        }
+      ]
+    },
+    {
+      "chipId": "SW1",
+      "center": {
+        "x": 0,
+        "y": 2
+      },
+      "width": 1,
+      "height": 0.8,
+      "pins": [
+        {
+          "pinId": "SW1.1",
+          "x": -0.5,
+          "y": 2
+        },
+        {
+          "pinId": "SW1.2",
+          "x": 0.5,
+          "y": 2
+        }
+      ]
+    },
+    {
+      "chipId": "R1",
+      "center": {
+        "x": 3,
+        "y": 1
+      },
+      "width": 1.06,
+      "height": 0.3889107,
+      "pins": [
+        {
+          "pinId": "R1.1",
+          "x": 2.45,
+          "y": 1
+        },
+        {
+          "pinId": "R1.2",
+          "x": 3.55,
+          "y": 1
+        }
+      ]
+    },
+    {
+      "chipId": "R2",
+      "center": {
+        "x": 3,
+        "y": -1
+      },
+      "width": 1.06,
+      "height": 0.3889107,
+      "pins": [
+        {
+          "pinId": "R2.1",
+          "x": 2.45,
+          "y": -1
+        },
+        {
+          "pinId": "R2.2",
+          "x": 3.55,
+          "y": -1
+        }
+      ]
+    },
+    {
+      "chipId": "D1",
+      "center": {
+        "x": 6,
+        "y": 1
+      },
+      "width": 1.06,
+      "height": 0.3889107,
+      "pins": [
+        {
+          "pinId": "D1.1",
+          "x": 5.45,
+          "y": 1
+        },
+        {
+          "pinId": "D1.2",
+          "x": 6.55,
+          "y": 1
+        }
+      ]
+    },
+    {
+      "chipId": "D2",
+      "center": {
+        "x": 6,
+        "y": -1
+      },
+      "width": 1.06,
+      "height": 0.3889107,
+      "pins": [
+        {
+          "pinId": "D2.1",
+          "x": 5.45,
+          "y": -1
+        },
+        {
+          "pinId": "D2.2",
+          "x": 6.55,
+          "y": -1
+        }
+      ]
+    }
+  ],
+  "directConnections": [
+    {
+      "pinIds": ["BT1.1", "SW1.1"],
+      "netId": "BT1.plus to SW1.in"
+    },
+    {
+      "pinIds": ["SW1.2", "R1.1"],
+      "netId": "SW1.out to R1.left"
+    },
+    {
+      "pinIds": ["SW1.2", "R2.1"],
+      "netId": "SW1.out to R2.left"
+    },
+    {
+      "pinIds": ["R1.2", "D1.1"],
+      "netId": "R1.right to D1.a"
+    },
+    {
+      "pinIds": ["R2.2", "D2.1"],
+      "netId": "R2.right to D2.a"
+    }
+  ],
+  "netConnections": [
+    {
+      "netId": "GND",
+      "pinIds": ["BT1.2", "D1.2", "D2.2"],
+      "netLabelWidth": 0.48
+    }
+  ],
+  "availableNetLabelOrientations": {
+    "GND": ["y-"]
+  },
+  "maxMspPairDistance": 8
+}

package/tests/repros/bugreport-001-gnd-overlap.test.ts

@@ -0,0 +1,16 @@
+import { expect, test } from "bun:test"
+import { SchematicTracePipelineSolver } from "lib/solvers/SchematicTracePipelineSolver/SchematicTracePipelineSolver"
+import inputProblem from "./assets/bugreport-001-gnd-overlap.input.json"
+import "tests/fixtures/matcher"
+
+test("bugreport-001-gnd-overlap", () => {
+  const solver = new SchematicTracePipelineSolver(inputProblem as any)
+  solver.solve()
+
+  expect(
+    solver.netLabelPlacementSolver!.netLabelPlacements.some(
+      (placement) => placement.netId === "GND",
+    ),
+  ).toBe(true)
+  expect(solver).toMatchSolverSnapshot(import.meta.path)
+})

package/tests/repros/rotated-components-rail-label.test.ts

@@ -0,0 +1,68 @@
+import { expect, test } from "bun:test"
+import { SchematicTracePipelineSolver } from "lib/solvers/SchematicTracePipelineSolver/SchematicTracePipelineSolver"
+import type { InputProblem } from "lib/types/InputProblem"
+
+const inputProblem: InputProblem = {
+  chips: [
+    {
+      chipId: "D1",
+      center: { x: 7.9, y: 0 },
+      width: 0.7400000000000002,
+      height: 1.04,
+      pins: [
+        { pinId: "D1.1", x: 8, y: -0.52 },
+        { pinId: "D1.2", x: 8, y: 0.52 },
+      ],
+    },
+    {
+      chipId: "D2",
+      center: { x: 10, y: 0.07 },
+      width: 1.0399999999999991,
+      height: 0.68,
+      pins: [
+        { pinId: "D2.1", x: 9.48, y: 0 },
+        { pinId: "D2.2", x: 10.52, y: 0 },
+      ],
+    },
+  ],
+  directConnections: [],
+  netConnections: [
+    {
+      netId: "VCC",
+      pinIds: ["D1.1", "D2.1"],
+      netLabelWidth: 0.48,
+      netLabelHeight: 0.42,
+    },
+    {
+      netId: "GND",
+      pinIds: ["D1.2", "D2.2"],
+      netLabelWidth: 0.48,
+      netLabelHeight: 0.42,
+    },
+  ],
+  textBoxes: [],
+  availableNetLabelOrientations: {
+    GND: ["y-"],
+    VCC: ["y+"],
+  },
+  maxMspPairDistance: 0.1,
+}
+
+test("rotated component rail label stays on the existing trace", () => {
+  const solver = new SchematicTracePipelineSolver(inputProblem)
+  solver.solve()
+
+  const traces = solver.netLabelTraceCollisionSolver!.getOutput().traces
+  const labels =
+    solver.netLabelNetLabelCollisionSolver!.getOutput().netLabelPlacements
+  const gndLabel = labels.find((label) => label.netId === "GND")
+
+  expect(
+    traces.some((trace) =>
+      trace.mspPairId.startsWith("available-net-orientation"),
+    ),
+  ).toBe(false)
+  expect(gndLabel?.orientation).toBe("y-")
+  expect(gndLabel?.anchorPoint.x).toBeCloseTo(10.72)
+  expect(gndLabel?.anchorPoint.y).toBeCloseTo(0)
+})