@tscircuit/schematic-trace-solver 0.0.144 → 0.0.146

package/dist/index.d.ts

@@ -146,6 +146,8 @@ type MspConnectionPair = {
     dcConnNetId: string;
     globalConnNetId: string;
     userNetId?: string;
+    /** The trace replaces fallback labels that could not fit between its pins. */
+    suppressNetLabel?: boolean;
     pins: [InputPin & {
         chipId: string;
     }, InputPin & {
@@ -1248,6 +1250,7 @@ declare class InlineNetLabelSolver extends BaseSolver {
     queuedConnections: InlineEligibleConnection[];
     private tracesByPinPairKey;
     private hasAlignedPortOnlyStubs;
+    private postProcessedOutput?;
     constructor(input: InlineNetLabelSolverInput);
     getConstructorParams(): [InlineNetLabelSolverInput];
     _step(): void;
@@ -1277,6 +1280,7 @@ declare class InlineNetLabelSolver extends BaseSolver {
      */
     private getSupersededNetLabelKeys;
     private getOutputTraces;
+    private buildPostProcessedOutput;
     getOutput(): {
         traces: SolvedTracePath[];
         netLabelPlacements: NetLabelPlacement[];

package/dist/index.js

@@ -420,8 +420,48 @@ function getOrthogonalMinimumSpanningTree(pins, opts = {}) {
   return edges;
 }
 
+// lib/solvers/NetLabelPlacementSolver/SingleNetLabelPlacementSolver/geometry.ts
+var NET_LABEL_HORIZONTAL_WIDTH = 0.45;
+var NET_LABEL_HORIZONTAL_HEIGHT = 0.2;
+function getDimsForOrientation(params) {
+  const { orientation, netLabelWidth, netLabelHeight } = params;
+  const horizWidth = typeof netLabelWidth === "number" ? netLabelWidth : NET_LABEL_HORIZONTAL_WIDTH;
+  const horizHeight = typeof netLabelHeight === "number" ? netLabelHeight : NET_LABEL_HORIZONTAL_HEIGHT;
+  if (orientation === "y+" || orientation === "y-") {
+    return {
+      // Rotated: horizontal length = netLabelHeight, vertical length = netLabelWidth
+      width: horizHeight,
+      height: horizWidth
+    };
+  }
+  return {
+    width: horizWidth,
+    height: horizHeight
+  };
+}
+function getCenterFromAnchor(anchor, orientation, width, height) {
+  switch (orientation) {
+    case "x+":
+      return { x: anchor.x + width / 2, y: anchor.y };
+    case "x-":
+      return { x: anchor.x - width / 2, y: anchor.y };
+    case "y+":
+      return { x: anchor.x, y: anchor.y + height / 2 };
+    case "y-":
+      return { x: anchor.x, y: anchor.y - height / 2 };
+  }
+}
+function getRectBounds(center, w, h) {
+  return {
+    minX: center.x - w / 2,
+    minY: center.y - h / 2,
+    maxX: center.x + w / 2,
+    maxY: center.y + h / 2
+  };
+}
+
 // lib/solvers/MspConnectionPairSolver/isLabeledPeripheralConnection.ts
-var isLabeledPeripheralConnection = ({
+var getLabeledConnectionRouteReason = ({
   inputProblem,
   chipMap,
   pins
@@ -430,12 +470,10 @@ var isLabeledPeripheralConnection = ({
   const directConnection = inputProblem.directConnections.find(
     (connection) => connection.pinIds.includes(firstPin.pinId) && connection.pinIds.includes(secondPin.pinId)
   );
-  if (directConnection?.netLabelWidth === void 0) return false;
+  if (directConnection?.netLabelWidth === void 0) return null;
   const firstChip = chipMap[firstPin.chipId];
   const secondChip = chipMap[secondPin.chipId];
-  if (!firstChip || !secondChip) return false;
-  const hasSinglePinPeripheral = firstChip.pins.length === 1 || secondChip.pins.length === 1;
-  if (!hasSinglePinPeripheral) return false;
+  if (!firstChip || !secondChip) return null;
   let firstFacingDirection = firstPin._facingDirection;
   if (!firstFacingDirection) {
     firstFacingDirection = getPinDirection(firstPin, firstChip);
@@ -444,8 +482,20 @@ var isLabeledPeripheralConnection = ({
   if (!secondFacingDirection) {
     secondFacingDirection = getPinDirection(secondPin, secondChip);
   }
-  return firstFacingDirection === "x-" && secondFacingDirection === "x+" || firstFacingDirection === "x+" && secondFacingDirection === "x-";
-};
+  const hasOpposingHorizontalDirections = firstFacingDirection === "x-" && secondFacingDirection === "x+" || firstFacingDirection === "x+" && secondFacingDirection === "x-";
+  if (!hasOpposingHorizontalDirections) return null;
+  const hasSinglePinPeripheral = firstChip.pins.length === 1 || secondChip.pins.length === 1;
+  if (hasSinglePinPeripheral) return "single-pin-peripheral";
+  const sharedSectionId = firstChip.sectionId && firstChip.sectionId === secondChip.sectionId ? firstChip.sectionId : null;
+  if (!sharedSectionId) return null;
+  const firstIsLeft = firstPin.x <= secondPin.x;
+  const directionsPointTowardEachOther = firstIsLeft ? firstFacingDirection === "x+" && secondFacingDirection === "x-" : firstFacingDirection === "x-" && secondFacingDirection === "x+";
+  const labelsOverlapAlongX = Math.abs(firstPin.x - secondPin.x) < directConnection.netLabelWidth * 2;
+  const labelsOverlapAlongY = Math.abs(firstPin.y - secondPin.y) < NET_LABEL_HORIZONTAL_HEIGHT;
+  const fallbackLabelsOverlap = directionsPointTowardEachOther && labelsOverlapAlongX && labelsOverlapAlongY;
+  return fallbackLabelsOverlap ? "overlapping-fallback-labels" : null;
+};
+var isLabeledPeripheralConnection = (params) => getLabeledConnectionRouteReason(params) !== null;
 
 // lib/solvers/MspConnectionPairSolver/MspConnectionPairSolver.ts
 var DEFAULT_MAX_MSP_PAIR_DISTANCE = 1;
@@ -520,12 +570,12 @@ var MspConnectionPairSolver = class extends BaseSolver {
       if (this.directConnectionPinPairKeys.has(pinPairKey)) {
         pairDistance = distance(p1, p2);
       }
-      const isLabeledPeripheral = isLabeledPeripheralConnection({
+      const labeledConnectionRouteReason = getLabeledConnectionRouteReason({
         inputProblem: this.inputProblem,
         chipMap: this.chipMap,
         pins: [p1, p2]
       });
-      if (pairDistance > this.maxMspPairDistance && !isLabeledPeripheral) {
+      if (pairDistance > this.maxMspPairDistance && !labeledConnectionRouteReason) {
         return;
       }
       if (arePinsInDifferentSchematicSections(this.inputProblem, p1, p2)) {
@@ -543,11 +593,13 @@ var MspConnectionPairSolver = class extends BaseSolver {
       }
       const globalConnNetId = this.globalConnMap.getNetConnectedToId(pin1);
       const userNetId = this.userNetIdByPinId[pin1] ?? this.userNetIdByPinId[pin2];
+      const suppressNetLabel = pairDistance > this.maxMspPairDistance && labeledConnectionRouteReason === "overlapping-fallback-labels";
       this.mspConnectionPairs.push({
         mspPairId: `${pin1}-${pin2}`,
         dcConnNetId: dcNetId,
         globalConnNetId,
         userNetId,
+        suppressNetLabel,
         pins: [p1, p2]
       });
       return;
@@ -626,46 +678,6 @@ import "graphics-debug";
 // lib/solvers/SchematicTraceLinesSolver/SchematicTraceSingleLineSolver2/SchematicTraceSingleLineSolver2.ts
 import { calculateElbow as calculateElbow2 } from "calculate-elbow";
 
-// lib/solvers/NetLabelPlacementSolver/SingleNetLabelPlacementSolver/geometry.ts
-var NET_LABEL_HORIZONTAL_WIDTH = 0.45;
-var NET_LABEL_HORIZONTAL_HEIGHT = 0.2;
-function getDimsForOrientation(params) {
-  const { orientation, netLabelWidth, netLabelHeight } = params;
-  const horizWidth = typeof netLabelWidth === "number" ? netLabelWidth : NET_LABEL_HORIZONTAL_WIDTH;
-  const horizHeight = typeof netLabelHeight === "number" ? netLabelHeight : NET_LABEL_HORIZONTAL_HEIGHT;
-  if (orientation === "y+" || orientation === "y-") {
-    return {
-      // Rotated: horizontal length = netLabelHeight, vertical length = netLabelWidth
-      width: horizHeight,
-      height: horizWidth
-    };
-  }
-  return {
-    width: horizWidth,
-    height: horizHeight
-  };
-}
-function getCenterFromAnchor(anchor, orientation, width, height) {
-  switch (orientation) {
-    case "x+":
-      return { x: anchor.x + width / 2, y: anchor.y };
-    case "x-":
-      return { x: anchor.x - width / 2, y: anchor.y };
-    case "y+":
-      return { x: anchor.x, y: anchor.y + height / 2 };
-    case "y-":
-      return { x: anchor.x, y: anchor.y - height / 2 };
-  }
-}
-function getRectBounds(center, w, h) {
-  return {
-    minX: center.x - w / 2,
-    minY: center.y - h / 2,
-    maxX: center.x + w / 2,
-    maxY: center.y + h / 2
-  };
-}
-
 // lib/utils/textBoxBounds.ts
 function getTextBoxBounds(textBox, padding = {}) {
   return {
@@ -3148,6 +3160,7 @@ var NetLabelPlacementSolver = class extends BaseSolver {
           (t) => component.has(t.pins[0].pinId) && component.has(t.pins[1].pinId)
         );
         if (compTraces.length > 0) {
+          if (compTraces.some((trace) => trace.suppressNetLabel)) continue;
           const lengthOf = (path) => {
             let sum = 0;
             const pts = path.tracePath;
@@ -10945,10 +10958,10 @@ function isPointOnPath(point, path) {
 }
 function buildMergedObstacleLabel(seedLabel, allLabels) {
   const TOUCH_MARGIN = 0.01;
-  const getBounds3 = (l) => getRectBounds(l.center, l.width, l.height);
+  const getBounds4 = (l) => getRectBounds(l.center, l.width, l.height);
   const touches = (a, b) => {
-    const ba = getBounds3(a);
-    const bb = getBounds3(b);
+    const ba = getBounds4(a);
+    const bb = getBounds4(b);
     return ba.minX <= bb.maxX + TOUCH_MARGIN && ba.maxX >= bb.minX - TOUCH_MARGIN && ba.minY <= bb.maxY + TOUCH_MARGIN && ba.maxY >= bb.minY - TOUCH_MARGIN;
   };
   const group = /* @__PURE__ */ new Set([seedLabel]);
@@ -10965,7 +10978,7 @@ function buildMergedObstacleLabel(seedLabel, allLabels) {
   }
   let minX = Infinity, minY = Infinity, maxX = -Infinity, maxY = -Infinity;
   for (const l of group) {
-    const b = getBounds3(l);
+    const b = getBounds4(l);
     if (b.minX < minX) minX = b.minX;
     if (b.minY < minY) minY = b.minY;
     if (b.maxX > maxX) maxX = b.maxX;
@@ -12776,6 +12789,365 @@ var alignPortOnlyInlineNetLabelStubs = ({
   return alignedPlacements;
 };
 
+// lib/solvers/InlineNetLabelSolver/pushAnchoredNetLabelsAwayFromInlineLabels.ts
+var LABEL_CLEARANCE2 = 0.05;
+var POINT_EPSILON = 1e-6;
+var CONTIGUOUS_LABEL_GAP = 0.01;
+var MAX_OUTWARD_DISTANCE = 5;
+var getBounds3 = (placement) => {
+  const renderedWidth = placement.axis === "y" ? placement.height : placement.width;
+  const renderedHeight = placement.axis === "y" ? placement.width : placement.height;
+  return {
+    minX: placement.center.x - renderedWidth / 2,
+    maxX: placement.center.x + renderedWidth / 2,
+    minY: placement.center.y - renderedHeight / 2,
+    maxY: placement.center.y + renderedHeight / 2
+  };
+};
+var pointsEqual3 = (a, b) => Math.abs(a.x - b.x) <= POINT_EPSILON && Math.abs(a.y - b.y) <= POINT_EPSILON;
+var pathIntersectsBounds = (path, bounds) => {
+  for (let index = 0; index < path.length - 1; index++) {
+    const start = path[index];
+    const end = path[index + 1];
+    const segmentBounds = {
+      minX: Math.min(start.x, end.x),
+      maxX: Math.max(start.x, end.x),
+      minY: Math.min(start.y, end.y),
+      maxY: Math.max(start.y, end.y)
+    };
+    if (boundsOverlap(segmentBounds, bounds)) return true;
+  }
+  return false;
+};
+var isPointOnPath2 = (point, path) => {
+  for (let index = 0; index < path.length - 1; index++) {
+    const start = path[index];
+    const end = path[index + 1];
+    const minX = Math.min(start.x, end.x) - POINT_EPSILON;
+    const maxX = Math.max(start.x, end.x) + POINT_EPSILON;
+    const minY = Math.min(start.y, end.y) - POINT_EPSILON;
+    const maxY = Math.max(start.y, end.y) + POINT_EPSILON;
+    const isHorizontal4 = Math.abs(start.y - end.y) <= POINT_EPSILON;
+    const isVertical5 = Math.abs(start.x - end.x) <= POINT_EPSILON;
+    if ((isHorizontal4 && Math.abs(point.y - start.y) <= POINT_EPSILON || isVertical5 && Math.abs(point.x - start.x) <= POINT_EPSILON) && point.x >= minX && point.x <= maxX && point.y >= minY && point.y <= maxY) {
+      return true;
+    }
+  }
+  return false;
+};
+var getRequiredOutwardDistance = (label, inlineBounds) => {
+  const labelBounds = getBounds3(label);
+  if (label.orientation === "x-" || label.orientation === "x+") {
+    const nearby2 = inlineBounds.filter(
+      (bounds) => labelBounds.minY < bounds.maxY && labelBounds.maxY > bounds.minY
+    );
+    if (nearby2.length === 0) return 0;
+    if (label.orientation === "x-") {
+      const targetMaxX = Math.min(...nearby2.map((bounds) => bounds.minX));
+      return Math.max(0, labelBounds.maxX - targetMaxX + LABEL_CLEARANCE2);
+    }
+    const targetMinX = Math.max(...nearby2.map((bounds) => bounds.maxX));
+    return Math.max(0, targetMinX - labelBounds.minX + LABEL_CLEARANCE2);
+  }
+  const nearby = inlineBounds.filter(
+    (bounds) => labelBounds.minX < bounds.maxX && labelBounds.maxX > bounds.minX
+  );
+  if (nearby.length === 0) return 0;
+  if (label.orientation === "y-") {
+    const targetMaxY = Math.min(...nearby.map((bounds) => bounds.minY));
+    return Math.max(0, labelBounds.maxY - targetMaxY + LABEL_CLEARANCE2);
+  }
+  const targetMinY = Math.max(...nearby.map((bounds) => bounds.maxY));
+  return Math.max(0, targetMinY - labelBounds.minY + LABEL_CLEARANCE2);
+};
+var moveLabel = (label, orientation, distance5) => {
+  const direction = dir(orientation);
+  return {
+    ...label,
+    anchorPoint: {
+      x: label.anchorPoint.x + direction.x * distance5,
+      y: label.anchorPoint.y + direction.y * distance5
+    },
+    center: {
+      x: label.center.x + direction.x * distance5,
+      y: label.center.y + direction.y * distance5
+    }
+  };
+};
+var getDistanceToShoveBoundsPast = (obstacleBounds, movingBounds, orientation) => {
+  switch (orientation) {
+    case "x-":
+      return obstacleBounds.maxX - movingBounds.minX + LABEL_CLEARANCE2;
+    case "x+":
+      return movingBounds.maxX - obstacleBounds.minX + LABEL_CLEARANCE2;
+    case "y-":
+      return obstacleBounds.maxY - movingBounds.minY + LABEL_CLEARANCE2;
+    case "y+":
+      return movingBounds.maxY - obstacleBounds.minY + LABEL_CLEARANCE2;
+  }
+};
+var boundsGapOnPerpendicularAxis = (a, b, orientation) => {
+  if (orientation === "x-" || orientation === "x+") {
+    return Math.max(0, a.minY - b.maxY, b.minY - a.maxY);
+  }
+  return Math.max(0, a.minX - b.maxX, b.minX - a.maxX);
+};
+var sharesOwnerChip = (label, ownerChipIds, chipIdByPinId) => label.pinIds.some((pinId) => ownerChipIds.has(chipIdByPinId.get(pinId) ?? ""));
+var isGeneratedLabelConnector = (trace) => trace.mspPairId.startsWith("available-net-orientation-") || trace.mspPairId.startsWith("inline-net-label-clearance-");
+var findConnectorTraceIndex = (label, traces) => traces.findIndex((trace) => {
+  if (trace.globalConnNetId !== label.globalConnNetId) return false;
+  if (!isGeneratedLabelConnector(trace)) return false;
+  const first = trace.tracePath[0];
+  const last = trace.tracePath.at(-1);
+  return Boolean(
+    first && pointsEqual3(first, label.anchorPoint) || last && pointsEqual3(last, label.anchorPoint)
+  );
+});
+var canAddConnectorAtAnchor = (label, traces, pinMap) => {
+  if (label.pinIds.some((pinId) => {
+    const pin = pinMap[pinId];
+    return pin && pointsEqual3(pin, label.anchorPoint);
+  })) {
+    return true;
+  }
+  return traces.some(
+    (trace) => trace.globalConnNetId === label.globalConnNetId && isPointOnPath2(label.anchorPoint, trace.tracePath)
+  );
+};
+var moveConnectorEndpoint = (trace, oldAnchor, newAnchor) => {
+  const tracePath = trace.tracePath.map((point) => ({ ...point }));
+  if (pointsEqual3(tracePath[0], oldAnchor)) tracePath[0] = newAnchor;
+  if (pointsEqual3(tracePath.at(-1), oldAnchor)) {
+    tracePath[tracePath.length - 1] = newAnchor;
+  }
+  return { ...trace, tracePath };
+};
+var createConnectorTrace = ({
+  label,
+  labelIndex,
+  newAnchor,
+  pinMap
+}) => {
+  const mspPairId = `inline-net-label-clearance-${labelIndex}-${label.netId ?? label.globalConnNetId}`;
+  return {
+    mspPairId,
+    dcConnNetId: label.dcConnNetId ?? label.globalConnNetId,
+    globalConnNetId: label.globalConnNetId,
+    userNetId: label.netId,
+    pins: getTracePins(label, pinMap),
+    tracePath: [label.anchorPoint, newAnchor],
+    mspConnectionPairIds: [mspPairId],
+    pinIds: label.pinIds
+  };
+};
+var getContiguousLabelGroup = ({
+  triggerIndex,
+  labels,
+  chipIdByPinId
+}) => {
+  const trigger = labels[triggerIndex];
+  const ownerChipIds = new Set(
+    trigger.pinIds.flatMap((pinId) => {
+      const chipId = chipIdByPinId.get(pinId);
+      return chipId ? [chipId] : [];
+    })
+  );
+  const candidates = labels.map((label, labelIndex) => ({ label, labelIndex })).filter(
+    ({ label }) => label.orientation === trigger.orientation && label.mspConnectionPairIds.length === 0 && sharesOwnerChip(label, ownerChipIds, chipIdByPinId)
+  );
+  const group = /* @__PURE__ */ new Set([triggerIndex]);
+  let changed = true;
+  while (changed) {
+    changed = false;
+    for (const { label, labelIndex } of candidates) {
+      if (group.has(labelIndex)) continue;
+      if ([...group].some(
+        (memberIndex) => boundsGapOnPerpendicularAxis(
+          getBounds3(labels[memberIndex]),
+          getBounds3(label),
+          trigger.orientation
+        ) <= CONTIGUOUS_LABEL_GAP
+      )) {
+        group.add(labelIndex);
+        changed = true;
+      }
+    }
+  }
+  return { group, ownerChipIds };
+};
+var pushAnchoredNetLabelsAwayFromInlineLabels = ({
+  inputProblem,
+  traces,
+  netLabelPlacements,
+  inlineNetLabelPlacements
+}) => {
+  const outputTraces = traces.map((trace) => ({
+    ...trace,
+    tracePath: trace.tracePath.map((point) => ({ ...point }))
+  }));
+  const outputLabels = netLabelPlacements.map((label) => ({ ...label }));
+  const inlineBounds = inlineNetLabelPlacements.map(getBounds3);
+  const pinMap = getPinMap(inputProblem);
+  const chipIdByPinId = /* @__PURE__ */ new Map();
+  for (const chip of inputProblem.chips) {
+    for (const pin of chip.pins) chipIdByPinId.set(pin.pinId, chip.chipId);
+  }
+  const movedLabelIndices = /* @__PURE__ */ new Set();
+  for (let triggerIndex = 0; triggerIndex < outputLabels.length; triggerIndex++) {
+    const trigger = outputLabels[triggerIndex];
+    const distance5 = getRequiredOutwardDistance(trigger, inlineBounds);
+    if (distance5 <= POINT_EPSILON || distance5 > MAX_OUTWARD_DISTANCE) continue;
+    const { group, ownerChipIds } = getContiguousLabelGroup({
+      triggerIndex,
+      labels: outputLabels,
+      chipIdByPinId
+    });
+    const distances = new Map(
+      [...group].map((labelIndex) => [labelIndex, distance5])
+    );
+    let failed = false;
+    for (let iteration = 0; iteration < outputLabels.length; iteration++) {
+      let adjustedObstacle = false;
+      for (const [movingIndex, movingDistance] of distances) {
+        const movingBounds = getBounds3(
+          moveLabel(
+            outputLabels[movingIndex],
+            trigger.orientation,
+            movingDistance
+          )
+        );
+        for (let obstacleIndex = 0; obstacleIndex < outputLabels.length; obstacleIndex++) {
+          if (group.has(obstacleIndex)) continue;
+          const obstacle = outputLabels[obstacleIndex];
+          const existingObstacleDistance = distances.get(obstacleIndex) ?? 0;
+          const obstacleBounds = getBounds3(
+            moveLabel(obstacle, trigger.orientation, existingObstacleDistance)
+          );
+          if (!boundsOverlap(movingBounds, obstacleBounds)) continue;
+          if (!sharesOwnerChip(obstacle, ownerChipIds, chipIdByPinId) || findConnectorTraceIndex(obstacle, outputTraces) === -1 && !canAddConnectorAtAnchor(obstacle, outputTraces, pinMap)) {
+            failed = true;
+            break;
+          }
+          const shoveDistance = getDistanceToShoveBoundsPast(
+            getBounds3(obstacle),
+            movingBounds,
+            trigger.orientation
+          );
+          if (shoveDistance > MAX_OUTWARD_DISTANCE || shoveDistance <= existingObstacleDistance + POINT_EPSILON) {
+            failed = true;
+            break;
+          }
+          distances.set(obstacleIndex, shoveDistance);
+          adjustedObstacle = true;
+        }
+        if (failed) break;
+      }
+      if (failed || !adjustedObstacle) break;
+    }
+    if (failed) continue;
+    const proposals = /* @__PURE__ */ new Map();
+    for (const [labelIndex, labelDistance] of distances) {
+      proposals.set(
+        labelIndex,
+        moveLabel(
+          outputLabels[labelIndex],
+          trigger.orientation,
+          labelDistance
+        )
+      );
+    }
+    const finalLabelAt = (labelIndex) => proposals.get(labelIndex) ?? outputLabels[labelIndex];
+    for (const [labelIndex, movedLabel] of proposals) {
+      const movedBounds = getBounds3(movedLabel);
+      if (inlineBounds.some((bounds) => boundsOverlap(movedBounds, bounds))) {
+        failed = true;
+        break;
+      }
+      if (inputProblem.chips.some(
+        (chip) => boundsOverlap(movedBounds, {
+          minX: chip.center.x - chip.width / 2,
+          maxX: chip.center.x + chip.width / 2,
+          minY: chip.center.y - chip.height / 2,
+          maxY: chip.center.y + chip.height / 2
+        })
+      ) || (inputProblem.textBoxes ?? []).some(
+        (textBox) => boundsOverlap(movedBounds, getTextBoxBounds(textBox))
+      )) {
+        failed = true;
+        break;
+      }
+      if (outputLabels.some(
+        (_, otherIndex) => otherIndex !== labelIndex && boundsOverlap(movedBounds, getBounds3(finalLabelAt(otherIndex)))
+      )) {
+        failed = true;
+        break;
+      }
+      if (outputTraces.some(
+        (trace) => trace.globalConnNetId !== movedLabel.globalConnNetId && pathIntersectsBounds(trace.tracePath, movedBounds)
+      )) {
+        failed = true;
+        break;
+      }
+    }
+    if (failed) continue;
+    const connectorUpdates = [];
+    for (const [labelIndex, movedLabel] of proposals) {
+      const label = outputLabels[labelIndex];
+      const connectorIndex = findConnectorTraceIndex(label, outputTraces);
+      if (connectorIndex === -1 && !canAddConnectorAtAnchor(label, outputTraces, pinMap)) {
+        failed = true;
+        break;
+      }
+      const connector = connectorIndex === -1 ? createConnectorTrace({
+        label,
+        labelIndex,
+        newAnchor: movedLabel.anchorPoint,
+        pinMap
+      }) : moveConnectorEndpoint(
+        outputTraces[connectorIndex],
+        label.anchorPoint,
+        movedLabel.anchorPoint
+      );
+      const connectorObstructed = inlineBounds.some(
+        (bounds) => pathIntersectsBounds(connector.tracePath, bounds)
+      ) || inputProblem.chips.some(
+        (chip) => pathIntersectsBounds(connector.tracePath, {
+          minX: chip.center.x - chip.width / 2,
+          maxX: chip.center.x + chip.width / 2,
+          minY: chip.center.y - chip.height / 2,
+          maxY: chip.center.y + chip.height / 2
+        })
+      ) || (inputProblem.textBoxes ?? []).some(
+        (textBox) => pathIntersectsBounds(connector.tracePath, getTextBoxBounds(textBox))
+      ) || outputLabels.some(
+        (_, otherIndex) => otherIndex !== labelIndex && pathIntersectsBounds(
+          connector.tracePath,
+          getBounds3(finalLabelAt(otherIndex))
+        )
+      );
+      if (connectorObstructed) {
+        failed = true;
+        break;
+      }
+      connectorUpdates.push({ labelIndex, connectorIndex, trace: connector });
+    }
+    if (failed) continue;
+    for (const [labelIndex, movedLabel] of proposals) {
+      outputLabels[labelIndex] = movedLabel;
+      movedLabelIndices.add(labelIndex);
+    }
+    for (const update of connectorUpdates) {
+      if (update.connectorIndex === -1) outputTraces.push(update.trace);
+      else outputTraces[update.connectorIndex] = update.trace;
+    }
+  }
+  return {
+    traces: outputTraces,
+    netLabelPlacements: outputLabels,
+    movedLabelCount: movedLabelIndices.size
+  };
+};
+
 // lib/solvers/InlineNetLabelSolver/InlineNetLabelSolver.ts
 var DEFAULT_INLINE_NET_LABEL_HEIGHT = 0.18;
 var INLINE_NET_LABEL_TRACE_MARGIN = 0.05;
@@ -12790,6 +13162,7 @@ var InlineNetLabelSolver = class extends BaseSolver {
   queuedConnections;
   tracesByPinPairKey;
   hasAlignedPortOnlyStubs = false;
+  postProcessedOutput;
   constructor(input) {
     super();
     this.inputProblem = input.inputProblem;
@@ -12850,6 +13223,10 @@ var InlineNetLabelSolver = class extends BaseSolver {
       this.hasAlignedPortOnlyStubs = true;
       return;
     }
+    if (!this.postProcessedOutput) {
+      this.postProcessedOutput = this.buildPostProcessedOutput();
+      return;
+    }
     this.solved = true;
     this.stats.inlineNetLabelCount = this.inlineNetLabelPlacements.length;
   }
@@ -13096,19 +13473,29 @@ var InlineNetLabelSolver = class extends BaseSolver {
       (trace) => !(supersededNetLabelKeys.has(trace.globalConnNetId) && trace.mspPairId.startsWith("available-net-orientation-"))
     );
   }
-  getOutput() {
+  buildPostProcessedOutput() {
     const superseded = this.getSupersededNetLabelKeys();
+    const retainedNetLabelPlacements = this.inputNetLabelPlacements.filter(
+      (placement) => !superseded.has(placement.globalConnNetId)
+    );
+    const outputTraces = this.getOutputTraces(superseded);
+    const pushed = pushAnchoredNetLabelsAwayFromInlineLabels({
+      inputProblem: this.inputProblem,
+      traces: outputTraces,
+      netLabelPlacements: retainedNetLabelPlacements,
+      inlineNetLabelPlacements: this.inlineNetLabelPlacements
+    });
+    this.stats.pushedAnchoredNetLabelCount = pushed.movedLabelCount;
     return {
-      // AvailableNetOrientationSolver may have routed an elbow from a port to
-      // the anchored label that this inline placement supersedes. Keep the
-      // actual net trace, but discard that now-orphaned label connector.
-      traces: this.getOutputTraces(superseded),
-      netLabelPlacements: this.inputNetLabelPlacements.filter(
-        (placement) => !superseded.has(placement.globalConnNetId)
-      ),
+      traces: pushed.traces,
+      netLabelPlacements: pushed.netLabelPlacements,
       inlineNetLabelPlacements: this.inlineNetLabelPlacements
     };
   }
+  getOutput() {
+    if (this.postProcessedOutput) return this.postProcessedOutput;
+    return this.buildPostProcessedOutput();
+  }
   visualize() {
     const graphics = visualizeInputProblem(this.inputProblem);
     graphics.lines ??= [];