@tscircuit/schematic-trace-solver 0.0.122 → 0.0.123

package/dist/index.js

@@ -11181,6 +11181,7 @@ var UnroutedTraceRecoverySolver = class extends BaseSolver {
 };
 
 // lib/solvers/SameNetJunctionAlignmentSolver/pathIntersectsAnyNetLabel.ts
+var NET_LABEL_INTERIOR_INSET = 1e-6;
 var pathIntersectsAnyNetLabel = ({
   path,
   netLabelPlacements
@@ -11195,9 +11196,30 @@ var pathIntersectsAnyNetLabel = ({
   }
   return false;
 };
+var pathEntersAnyNetLabel = ({
+  path,
+  netLabelPlacements
+}) => {
+  for (const label of netLabelPlacements) {
+    const labelBounds = getRectBounds(label.center, label.width, label.height);
+    const labelInteriorBounds = {
+      minX: labelBounds.minX + NET_LABEL_INTERIOR_INSET,
+      minY: labelBounds.minY + NET_LABEL_INTERIOR_INSET,
+      maxX: labelBounds.maxX - NET_LABEL_INTERIOR_INSET,
+      maxY: labelBounds.maxY - NET_LABEL_INTERIOR_INSET
+    };
+    for (let index = 0; index < path.length - 1; index++) {
+      if (segmentIntersectsRect2(path[index], path[index + 1], labelInteriorBounds)) {
+        return true;
+      }
+    }
+  }
+  return false;
+};
 
 // lib/solvers/SameNetJunctionAlignmentSolver/alignSameNetJunctions.ts
 var MAX_ALIGNED_LOAD_PIN_OFFSET = 0.2;
+var MAX_SAME_NET_LABEL_BOUNDARY_RAIL_OFFSET = 0.2;
 var getSharedPin = ({
   donorTrace,
   branchTrace
@@ -11274,6 +11296,7 @@ var getAlignedBranchPath = ({
 };
 var candidateIsClear = ({
   candidateTrace,
+  originalTrace,
   traces,
   inputProblem,
   netLabelPlacements
@@ -11288,10 +11311,34 @@ var candidateIsClear = ({
   if (doesPathCoincideWithTraces(candidateTrace.tracePath, otherNetTraces)) {
     return false;
   }
-  return !pathIntersectsAnyNetLabel({
+  const otherNetLabelPlacements = netLabelPlacements.filter(
+    (label) => label.globalConnNetId !== candidateTrace.globalConnNetId
+  );
+  if (pathIntersectsAnyNetLabel({
     path: candidateTrace.tracePath,
-    netLabelPlacements
-  });
+    netLabelPlacements: otherNetLabelPlacements
+  })) {
+    return false;
+  }
+  const sameNetLabelPlacements = netLabelPlacements.filter(
+    (label) => label.globalConnNetId === candidateTrace.globalConnNetId
+  );
+  if (!pathIntersectsAnyNetLabel({
+    path: candidateTrace.tracePath,
+    netLabelPlacements: sameNetLabelPlacements
+  })) {
+    return true;
+  }
+  if (pathEntersAnyNetLabel({
+    path: candidateTrace.tracePath,
+    netLabelPlacements: sameNetLabelPlacements
+  })) {
+    return false;
+  }
+  const originalRail = getLongestHorizontalSegment(originalTrace);
+  const candidateRail = getLongestHorizontalSegment(candidateTrace);
+  if (!originalRail || !candidateRail) return false;
+  return Math.abs(originalRail.start.y - candidateRail.start.y) <= MAX_SAME_NET_LABEL_BOUNDARY_RAIL_OFFSET;
 };
 var alignSameNetJunctions = ({
   inputProblem,
@@ -11324,6 +11371,7 @@ var alignSameNetJunctions = ({
       }
       if (!candidateIsClear({
         candidateTrace,
+        originalTrace: branchTrace,
         traces: outputTraces,
         inputProblem,
         netLabelPlacements

package/lib/solvers/SameNetJunctionAlignmentSolver/alignSameNetJunctions.ts

@@ -12,7 +12,10 @@ import {
 } from "lib/solvers/TraceCleanupSolver/sameNetRailAlignment/geometry"
 import type { InputPin, InputProblem } from "lib/types/InputProblem"
 import { doesPathCoincideWithTraces } from "lib/utils/doesPathCoincideWithTraces"
-import { pathIntersectsAnyNetLabel } from "./pathIntersectsAnyNetLabel"
+import {
+  pathEntersAnyNetLabel,
+  pathIntersectsAnyNetLabel,
+} from "./pathIntersectsAnyNetLabel"
 
 interface AlignSameNetJunctionsInput {
   inputProblem: InputProblem
@@ -25,7 +28,10 @@ interface HorizontalSegment {
   end: Point
 }
 
+// Only near-level load pins should be combined onto one horizontal rail.
 const MAX_ALIGNED_LOAD_PIN_OFFSET = 0.2
+// Limit label-boundary alignment to small corrections that cannot create spikes.
+const MAX_SAME_NET_LABEL_BOUNDARY_RAIL_OFFSET = 0.2
 
 const getSharedPin = ({
   donorTrace,
@@ -135,11 +141,13 @@ const getAlignedBranchPath = ({
 
 const candidateIsClear = ({
   candidateTrace,
+  originalTrace,
   traces,
   inputProblem,
   netLabelPlacements,
 }: {
   candidateTrace: SolvedTracePath
+  originalTrace: SolvedTracePath
   traces: SolvedTracePath[]
   inputProblem: InputProblem
   netLabelPlacements: NetLabelPlacement[]
@@ -156,10 +164,46 @@ const candidateIsClear = ({
     return false
   }
 
-  return !pathIntersectsAnyNetLabel({
-    path: candidateTrace.tracePath,
-    netLabelPlacements,
-  })
+  const otherNetLabelPlacements = netLabelPlacements.filter(
+    (label) => label.globalConnNetId !== candidateTrace.globalConnNetId,
+  )
+  if (
+    pathIntersectsAnyNetLabel({
+      path: candidateTrace.tracePath,
+      netLabelPlacements: otherNetLabelPlacements,
+    })
+  ) {
+    return false
+  }
+
+  const sameNetLabelPlacements = netLabelPlacements.filter(
+    (label) => label.globalConnNetId === candidateTrace.globalConnNetId,
+  )
+  // A same-net rail may follow its label edge, but never enter the label body.
+  if (
+    !pathIntersectsAnyNetLabel({
+      path: candidateTrace.tracePath,
+      netLabelPlacements: sameNetLabelPlacements,
+    })
+  ) {
+    return true
+  }
+  if (
+    pathEntersAnyNetLabel({
+      path: candidateTrace.tracePath,
+      netLabelPlacements: sameNetLabelPlacements,
+    })
+  ) {
+    return false
+  }
+
+  const originalRail = getLongestHorizontalSegment(originalTrace)
+  const candidateRail = getLongestHorizontalSegment(candidateTrace)
+  if (!originalRail || !candidateRail) return false
+  return (
+    Math.abs(originalRail.start.y - candidateRail.start.y) <=
+    MAX_SAME_NET_LABEL_BOUNDARY_RAIL_OFFSET
+  )
 }
 
 export const alignSameNetJunctions = ({
@@ -202,6 +246,7 @@ export const alignSameNetJunctions = ({
       if (
         !candidateIsClear({
           candidateTrace,
+          originalTrace: branchTrace,
           traces: outputTraces,
           inputProblem,
           netLabelPlacements,

package/lib/solvers/SameNetJunctionAlignmentSolver/pathIntersectsAnyNetLabel.ts

@@ -3,6 +3,9 @@ import type { NetLabelPlacement } from "lib/solvers/NetLabelPlacementSolver/NetL
 import { segmentIntersectsRect } from "lib/solvers/NetLabelPlacementSolver/SingleNetLabelPlacementSolver/collisions"
 import { getRectBounds } from "lib/solvers/NetLabelPlacementSolver/SingleNetLabelPlacementSolver/geometry"
 
+// Insetting distinguishes harmless edge contact from entering the label body.
+const NET_LABEL_INTERIOR_INSET = 1e-6
+
 export const pathIntersectsAnyNetLabel = ({
   path,
   netLabelPlacements,
@@ -20,3 +23,29 @@ export const pathIntersectsAnyNetLabel = ({
   }
   return false
 }
+
+export const pathEntersAnyNetLabel = ({
+  path,
+  netLabelPlacements,
+}: {
+  path: Point[]
+  netLabelPlacements: NetLabelPlacement[]
+}) => {
+  for (const label of netLabelPlacements) {
+    const labelBounds = getRectBounds(label.center, label.width, label.height)
+    const labelInteriorBounds = {
+      minX: labelBounds.minX + NET_LABEL_INTERIOR_INSET,
+      minY: labelBounds.minY + NET_LABEL_INTERIOR_INSET,
+      maxX: labelBounds.maxX - NET_LABEL_INTERIOR_INSET,
+      maxY: labelBounds.maxY - NET_LABEL_INTERIOR_INSET,
+    }
+    for (let index = 0; index < path.length - 1; index++) {
+      if (
+        segmentIntersectsRect(path[index], path[index + 1], labelInteriorBounds)
+      ) {
+        return true
+      }
+    }
+  }
+  return false
+}

package/package.json

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

package/site/bug-reports/bug-report-20260804T171919Z.page.tsx

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

package/site/bug-reports/bug-report-20260804T225912Z.page.tsx

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