@tscircuit/checks 0.0.118 → 0.0.120

package/README.md

@@ -19,6 +19,7 @@ and output an array of arrays for any issues found.
 | [`checkPcbComponentOverlap`](./lib/check-pcb-components-overlap/checkPcbComponentOverlap.ts) | Returns `pcb_footprint_overlap_error` when footprint elements from different components overlap in disallowed ways. |
 | [`checkPcbComponentsOutOfBoard`](./lib/check-pcb-components-out-of-board/checkPcbComponentsOutOfBoard.ts) | Returns `pcb_placement_error` when PCB components do not fit inside the board area. |
 | [`checkPcbTracesOutOfBoard`](./lib/check-trace-out-of-board/checkTraceOutOfBoard.ts) | Returns `pcb_trace_error` when any trace segment or via extends beyond the board boundary. |
+| [`checkViaTraceClearance`](./lib/check-via-trace-clearance.ts) | Returns `pcb_via_trace_clearance_error` when a via and unrelated trace segment violate minimum clearance. |
 | [`checkPinMustBeConnected`](./lib/check-pin-must-be-connected.ts) | Returns `pcb_trace_error` when required source pins are not connected. |
 | [`checkSameNetViaSpacing`](./lib/check-same-net-via-spacing.ts) | Returns `pcb_via_clearance_error` if vias on the same net are closer than the allowed margin. |
 | [`checkSourceTracesHavePcbTraces`](./lib/check-source-traces-have-pcb-traces.ts) | Returns `pcb_trace_error` when source traces are missing corresponding `pcb_trace` routes. |
@@ -32,7 +33,7 @@ and output an array of arrays for any issues found.
 | [`runAllPlacementChecks`](./lib/run-all-checks.ts) | Runs all placement checks (`checkViasOffBoard`, `checkPcbComponentsOutOfBoard`, `checkPcbComponentOverlap`, and `checkConnectorAccessibleOrientation`). |
 | [`runAllNetlistChecks`](./lib/run-all-checks.ts) | Runs netlist connectivity checks (currently `checkPinMustBeConnected`). |
 | [`runAllPinSpecificationChecks`](./lib/run-all-checks.ts) | Runs pin specification checks (e.g. `checkAllPinsInComponentAreUnderspecified`, `checkNoPowerPinDefined`, and `checkNoGroundPinDefined`). |
-| [`runAllRoutingChecks`](./lib/run-all-checks.ts) | Runs all routing checks currently enabled (`checkEachPcbPortConnectedToPcbTraces`, `checkSourceTracesHavePcbTraces`, `checkEachPcbTraceNonOverlapping`, same/different net via spacing, and `checkPcbTracesOutOfBoard`). |
+| [`runAllRoutingChecks`](./lib/run-all-checks.ts) | Runs all routing checks currently enabled (`checkEachPcbPortConnectedToPcbTraces`, `checkSourceTracesHavePcbTraces`, `checkEachPcbTraceNonOverlapping`, `checkViaTraceClearance`, same/different net via spacing, and `checkPcbTracesOutOfBoard`). |
 | [`runAllChecks`](./lib/run-all-checks.ts) | Runs placement, netlist, pin specification, and routing checks and returns a combined list of issues. |
 
 ## Implementation Details

package/dist/index.d.ts

@@ -1,12 +1,12 @@
 import * as circuit_json from 'circuit-json';
-import { AnyCircuitElement, PcbPortNotConnectedError, PcbTraceError, PcbPlacementError, PcbComponentOutsideBoardError, PcbViaClearanceError, PcbTraceWarning, PcbTraceMissingError, PcbFootprintOverlapError, PcbPadPadClearanceError, PcbPadTraceClearanceError, SourceComponentPinsUnderspecifiedWarning, SourceNoPowerPinDefinedWarning, SourceNoGroundPinDefinedWarning, PcbConnectorNotInAccessibleOrientationWarning } from 'circuit-json';
+import { AnyCircuitElement, PcbPortNotConnectedError, PcbTraceError, PcbPlacementError, PcbComponentOutsideBoardError, PcbViaClearanceError, PcbTraceWarning, PcbTraceMissingError, PcbFootprintOverlapError, PcbPadPadClearanceError, PcbPadTraceClearanceError, PcbViaTraceClearanceError, SourceComponentPinsUnderspecifiedWarning, SourceNoPowerPinDefinedWarning, SourceNoGroundPinDefinedWarning, PcbConnectorNotInAccessibleOrientationWarning } from 'circuit-json';
 import { ConnectivityMap } from 'circuit-json-to-connectivity-map';
 
 declare function checkEachPcbPortConnectedToPcbTraces(circuitJson: AnyCircuitElement[]): PcbPortNotConnectedError[];
 
-declare function checkEachPcbTraceNonOverlapping(circuitJson: AnyCircuitElement[], { connMap, minSpacing, }?: {
+declare function checkEachPcbTraceNonOverlapping(circuitJson: AnyCircuitElement[], { connMap, minClearance, }?: {
     connMap?: ConnectivityMap;
-    minSpacing?: number;
+    minClearance?: number;
 }): PcbTraceError[];
 
 declare class NetManager {
@@ -23,14 +23,14 @@ declare function checkViasOffBoard(circuitJson: AnyCircuitElement[]): PcbPlaceme
  */
 declare function checkPcbComponentsOutOfBoard(circuitJson: AnyCircuitElement[]): PcbComponentOutsideBoardError[];
 
-declare function checkSameNetViaSpacing(circuitJson: AnyCircuitElement[], { connMap, minSpacing, }?: {
+declare function checkSameNetViaSpacing(circuitJson: AnyCircuitElement[], { connMap, minClearance, }?: {
     connMap?: ConnectivityMap;
-    minSpacing?: number;
+    minClearance?: number;
 }): PcbViaClearanceError[];
 
-declare function checkDifferentNetViaSpacing(circuitJson: AnyCircuitElement[], { connMap, minSpacing, }?: {
+declare function checkDifferentNetViaSpacing(circuitJson: AnyCircuitElement[], { connMap, minClearance, }?: {
     connMap?: ConnectivityMap;
-    minSpacing?: number;
+    minClearance?: number;
 }): PcbViaClearanceError[];
 
 declare function checkSourceTracesMatchPcbTraceThickness(circuitJson: AnyCircuitElement[]): PcbTraceWarning[];
@@ -61,16 +61,21 @@ declare function checkPcbTracesOutOfBoard(circuitJson: AnyCircuitElement[], conf
  */
 declare function checkPcbComponentOverlap(circuitJson: AnyCircuitElement[]): PcbFootprintOverlapError[];
 
-declare function checkPadPadClearance(circuitJson: AnyCircuitElement[], { connMap, minSpacing, }?: {
+declare function checkPadPadClearance(circuitJson: AnyCircuitElement[], { connMap, minClearance, }?: {
     connMap?: ConnectivityMap;
-    minSpacing?: number;
+    minClearance?: number;
 }): PcbPadPadClearanceError[];
 
-declare function checkPadTraceClearance(circuitJson: AnyCircuitElement[], { connMap, minSpacing, }?: {
+declare function checkPadTraceClearance(circuitJson: AnyCircuitElement[], { connMap, minClearance, }?: {
     connMap?: ConnectivityMap;
-    minSpacing?: number;
+    minClearance?: number;
 }): PcbPadTraceClearanceError[];
 
+declare function checkViaTraceClearance(circuitJson: AnyCircuitElement[], { connMap, minClearance, }?: {
+    connMap?: ConnectivityMap;
+    minClearance?: number;
+}): PcbViaTraceClearanceError[];
+
 type SourcePinMustBeConnectedError = {
     type: "source_pin_must_be_connected_error";
     source_pin_must_be_connected_error_id: string;
@@ -117,8 +122,8 @@ declare function runAllNetlistChecks(circuitJson: AnyCircuitElement[]): Promise<
     subcircuit_id?: string;
 }[]>;
 declare function runAllPinSpecificationChecks(circuitJson: AnyCircuitElement[]): Promise<(circuit_json.SourceComponentPinsUnderspecifiedWarning | circuit_json.SourceNoPowerPinDefinedWarning | circuit_json.SourceNoGroundPinDefinedWarning)[]>;
-declare function runAllRoutingChecks(circuitJson: AnyCircuitElement[]): Promise<(circuit_json.PcbPortNotConnectedError | circuit_json.PcbTraceError | circuit_json.PcbViaClearanceError | circuit_json.PcbTraceMissingError)[]>;
-declare function runAllChecks(circuitJson: AnyCircuitElement[]): Promise<(circuit_json.PcbPortNotConnectedError | circuit_json.PcbTraceError | circuit_json.PcbPlacementError | circuit_json.PcbComponentOutsideBoardError | circuit_json.PcbViaClearanceError | circuit_json.PcbTraceMissingError | circuit_json.PcbFootprintOverlapError | circuit_json.PcbPadPadClearanceError | circuit_json.PcbPadTraceClearanceError | {
+declare function runAllRoutingChecks(circuitJson: AnyCircuitElement[]): Promise<(circuit_json.PcbPortNotConnectedError | circuit_json.PcbTraceError | circuit_json.PcbViaClearanceError | circuit_json.PcbTraceMissingError | circuit_json.PcbViaTraceClearanceError)[]>;
+declare function runAllChecks(circuitJson: AnyCircuitElement[]): Promise<(circuit_json.PcbPortNotConnectedError | circuit_json.PcbTraceError | circuit_json.PcbPlacementError | circuit_json.PcbComponentOutsideBoardError | circuit_json.PcbViaClearanceError | circuit_json.PcbTraceMissingError | circuit_json.PcbFootprintOverlapError | circuit_json.PcbPadPadClearanceError | circuit_json.PcbPadTraceClearanceError | circuit_json.PcbViaTraceClearanceError | {
     type: "source_pin_must_be_connected_error";
     source_pin_must_be_connected_error_id: string;
     error_type: "source_pin_must_be_connected_error";
@@ -130,4 +135,4 @@ declare function runAllChecks(circuitJson: AnyCircuitElement[]): Promise<(circui
 
 declare function checkConnectorAccessibleOrientation(circuitJson: AnyCircuitElement[]): PcbConnectorNotInAccessibleOrientationWarning[];
 
-export { NetManager, checkAllPinsInComponentAreUnderspecified, checkConnectorAccessibleOrientation, checkDifferentNetViaSpacing, checkEachPcbPortConnectedToPcbTraces, checkEachPcbTraceNonOverlapping, checkNoGroundPinDefined, checkNoPowerPinDefined, checkPadPadClearance, checkPadTraceClearance, checkPcbComponentOverlap, checkPcbComponentsOutOfBoard, checkPcbTracesOutOfBoard, checkPinMustBeConnected, checkSameNetViaSpacing, checkSourceTracesHavePcbTraces, checkSourceTracesMatchPcbTraceThickness, checkViasOffBoard, runAllChecks, runAllNetlistChecks, runAllPinSpecificationChecks, runAllPlacementChecks, runAllRoutingChecks };
+export { NetManager, checkAllPinsInComponentAreUnderspecified, checkConnectorAccessibleOrientation, checkDifferentNetViaSpacing, checkEachPcbPortConnectedToPcbTraces, checkEachPcbTraceNonOverlapping, checkNoGroundPinDefined, checkNoPowerPinDefined, checkPadPadClearance, checkPadTraceClearance, checkPcbComponentOverlap, checkPcbComponentsOutOfBoard, checkPcbTracesOutOfBoard, checkPinMustBeConnected, checkSameNetViaSpacing, checkSourceTracesHavePcbTraces, checkSourceTracesMatchPcbTraceThickness, checkViaTraceClearance, checkViasOffBoard, runAllChecks, runAllNetlistChecks, runAllPinSpecificationChecks, runAllPlacementChecks, runAllRoutingChecks };

package/dist/index.js

@@ -364,13 +364,15 @@ import {
 } from "@tscircuit/math-utils";
 
 // lib/drc-defaults.ts
+import { jlcMinTolerances } from "@tscircuit/jlcpcb-manufacturing-specs";
 var DEFAULT_TRACE_MARGIN = 0.1;
-var DEFAULT_TRACE_THICKNESS = 0.15;
+var DEFAULT_TRACE_THICKNESS = jlcMinTolerances.min_trace_width;
+var DEFAULT_VIA_DIAMETER = jlcMinTolerances.min_via_pad_diameter;
 var DEFAULT_VIA_BOARD_MARGIN = 0.3;
-var DEFAULT_SAME_NET_VIA_MARGIN = 0.2;
-var DEFAULT_DIFFERENT_NET_VIA_MARGIN = 0.3;
-var DEFAULT_PAD_PAD_CLEARANCE = 0.1;
-var DEFAULT_PAD_TRACE_CLEARANCE = 0.1;
+var DEFAULT_SAME_NET_VIA_MARGIN = jlcMinTolerances.min_via_to_via_clearance;
+var DEFAULT_DIFFERENT_NET_VIA_MARGIN = jlcMinTolerances.min_via_to_via_clearance;
+var DEFAULT_PAD_PAD_CLEARANCE = jlcMinTolerances.min_pad_to_pad_clearance;
+var DEFAULT_PAD_TRACE_CLEARANCE = jlcMinTolerances.min_trace_to_pad_clearance;
 var EPSILON = 5e-3;
 
 // lib/check-each-pcb-trace-non-overlapping/getPcbPortIdsConnectedToTraces.ts
@@ -684,7 +686,7 @@ function getLayersOfPcbElement(obj) {
 // lib/check-each-pcb-trace-non-overlapping/check-each-pcb-trace-non-overlapping.ts
 function checkEachPcbTraceNonOverlapping(circuitJson, {
   connMap,
-  minSpacing = DEFAULT_TRACE_MARGIN
+  minClearance = DEFAULT_TRACE_MARGIN
 } = {}) {
   const errors = [];
   addStartAndEndPortIdsIfMissing(circuitJson);
@@ -732,7 +734,7 @@ function checkEachPcbTraceNonOverlapping(circuitJson, {
   const getReadableName = (id) => getReadableNameForElement2(circuitJson, id);
   const errorIds = /* @__PURE__ */ new Set();
   for (const segmentA of pcbTraceSegments) {
-    const requiredMargin = minSpacing;
+    const requiredMargin = minClearance;
     const bounds = getCollidableBounds(segmentA);
     const nearbyObjects = spatialIndex.getObjectsInBounds(
       bounds,
@@ -754,7 +756,7 @@ function checkEachPcbTraceNonOverlapping(circuitJson, {
           { x: segmentB.x1, y: segmentB.y1 },
           { x: segmentB.x2, y: segmentB.y2 }
         ) - segmentA.thickness / 2 - segmentB.thickness / 2;
-        if (gap2 > minSpacing - EPSILON) continue;
+        if (gap2 > minClearance - EPSILON) continue;
         const pcb_trace_error_id = `overlap_${segmentA.pcb_trace_id}_${segmentB.pcb_trace_id}`;
         const pcb_trace_error_id_reverse = `overlap_${segmentB.pcb_trace_id}_${segmentA.pcb_trace_id}`;
         if (errorIds.has(pcb_trace_error_id)) continue;
@@ -791,7 +793,7 @@ function checkEachPcbTraceNonOverlapping(circuitJson, {
           { x: obj.x, y: obj.y, radius }
         );
         const gap2 = distance3 - segmentA.thickness / 2;
-        if (gap2 > minSpacing - EPSILON) continue;
+        if (gap2 > minClearance - EPSILON) continue;
         const pcb_trace_error_id = `overlap_${segmentA.pcb_trace_id}_${primaryObjId}`;
         if (errorIds.has(pcb_trace_error_id)) continue;
         errorIds.add(pcb_trace_error_id);
@@ -1174,7 +1176,7 @@ function viasAreAtSameLocation(a, b) {
 // lib/check-same-net-via-spacing.ts
 function checkSameNetViaSpacing(circuitJson, {
   connMap,
-  minSpacing = DEFAULT_SAME_NET_VIA_MARGIN
+  minClearance = DEFAULT_SAME_NET_VIA_MARGIN
 } = {}) {
   const vias = circuitJson.filter((el) => el.type === "pcb_via");
   if (vias.length < 2) return [];
@@ -1188,7 +1190,7 @@ function checkSameNetViaSpacing(circuitJson, {
       if (viasAreAtSameLocation(viaA, viaB)) continue;
       if (!connMap.areIdsConnected(viaA.pcb_via_id, viaB.pcb_via_id)) continue;
       const gap = distance2(viaA, viaB) - viaA.outer_diameter / 2 - viaB.outer_diameter / 2;
-      if (gap + EPSILON >= minSpacing) continue;
+      if (gap + EPSILON >= minClearance) continue;
       const pairId = [viaA.pcb_via_id, viaB.pcb_via_id].sort().join("_");
       if (reported.has(pairId)) continue;
       reported.add(pairId);
@@ -1204,7 +1206,7 @@ function checkSameNetViaSpacing(circuitJson, {
         )} are too close together (gap: ${gap.toFixed(3)}mm)`,
         error_type: "pcb_via_clearance_error",
         pcb_via_ids: [viaA.pcb_via_id, viaB.pcb_via_id],
-        minimum_clearance: minSpacing,
+        minimum_clearance: minClearance,
         actual_clearance: gap,
         pcb_center: {
           x: (viaA.x + viaB.x) / 2,
@@ -1223,7 +1225,7 @@ import {
 } from "circuit-json-to-connectivity-map";
 function checkDifferentNetViaSpacing(circuitJson, {
   connMap,
-  minSpacing = DEFAULT_DIFFERENT_NET_VIA_MARGIN
+  minClearance = DEFAULT_DIFFERENT_NET_VIA_MARGIN
 } = {}) {
   const vias = circuitJson.filter((el) => el.type === "pcb_via");
   if (vias.length < 2) return [];
@@ -1237,7 +1239,7 @@ function checkDifferentNetViaSpacing(circuitJson, {
       if (viasAreAtSameLocation(viaA, viaB)) continue;
       if (connMap.areIdsConnected(viaA.pcb_via_id, viaB.pcb_via_id)) continue;
       const gap = distance2(viaA, viaB) - viaA.outer_diameter / 2 - viaB.outer_diameter / 2;
-      if (gap + EPSILON >= minSpacing) continue;
+      if (gap + EPSILON >= minClearance) continue;
       const pairId = [viaA.pcb_via_id, viaB.pcb_via_id].sort().join("_");
       if (reported.has(pairId)) continue;
       reported.add(pairId);
@@ -1255,7 +1257,7 @@ function checkDifferentNetViaSpacing(circuitJson, {
         )}mm)`,
         error_type: "pcb_via_clearance_error",
         pcb_via_ids: [viaA.pcb_via_id, viaB.pcb_via_id],
-        minimum_clearance: minSpacing,
+        minimum_clearance: minClearance,
         actual_clearance: gap,
         pcb_center: {
           x: (viaA.x + viaB.x) / 2,
@@ -1716,7 +1718,7 @@ var getTraceSegments = (circuitJson) => {
 // lib/check-pad-pad-clearance.ts
 function checkPadPadClearance(circuitJson, {
   connMap,
-  minSpacing = DEFAULT_PAD_PAD_CLEARANCE
+  minClearance = DEFAULT_PAD_PAD_CLEARANCE
 } = {}) {
   const pads = getPads(circuitJson);
   if (pads.length < 2) return [];
@@ -1731,7 +1733,7 @@ function checkPadPadClearance(circuitJson, {
     const padAId = getPrimaryId3(padA);
     const nearbyPads = spatialIndex.getObjectsInBounds(
       getPadBounds(padA),
-      minSpacing
+      minClearance
     );
     for (const padB of nearbyPads) {
       const padBId = getPrimaryId3(padB);
@@ -1744,16 +1746,16 @@ function checkPadPadClearance(circuitJson, {
       if (connMap.areIdsConnected(padAId, padBId)) continue;
       const pairId = [padAId, padBId].sort().join("_");
       const gap = getPadToPadGap(padA, padB);
-      if (gap + EPSILON >= minSpacing) continue;
+      if (gap + EPSILON >= minClearance) continue;
       const centerA = getPadCenter(padA);
       const centerB = getPadCenter(padB);
       const nextError = {
         type: "pcb_pad_pad_clearance_error",
         pcb_pad_pad_clearance_error_id: `pad_pad_clearance_${pairId}`,
         error_type: "pcb_pad_pad_clearance_error",
-        message: `Pads ${getReadableNameForElement6(circuitJson, padAId)} and ${getReadableNameForElement6(circuitJson, padBId)} are too close (clearance: ${formatMm(gap)}, minimum: ${formatMm(minSpacing)})`,
+        message: `Pads ${getReadableNameForElement6(circuitJson, padAId)} and ${getReadableNameForElement6(circuitJson, padBId)} are too close (clearance: ${formatMm(gap)}, minimum: ${formatMm(minClearance)})`,
         pcb_pad_ids: [padAId, padBId],
-        minimum_clearance: minSpacing,
+        minimum_clearance: minClearance,
         actual_clearance: gap,
         center: {
           x: (centerA.x + centerB.x) / 2,
@@ -1782,7 +1784,7 @@ import {
 } from "circuit-json-to-connectivity-map";
 function checkPadTraceClearance(circuitJson, {
   connMap,
-  minSpacing = DEFAULT_PAD_TRACE_CLEARANCE
+  minClearance = DEFAULT_PAD_TRACE_CLEARANCE
 } = {}) {
   const pads = getPads(circuitJson);
   const segments = getTraceSegments(circuitJson);
@@ -1797,7 +1799,7 @@ function checkPadTraceClearance(circuitJson, {
   for (const segment of segments) {
     const nearbyPads = spatialIndex.getObjectsInBounds(
       getCollidableBounds(segment),
-      minSpacing + segment.thickness / 2
+      minClearance + segment.thickness / 2
     );
     for (const pad of nearbyPads) {
       const padId = getPrimaryId4(pad);
@@ -1813,16 +1815,16 @@ function checkPadTraceClearance(circuitJson, {
         { x: segment.x2, y: segment.y2 },
         getPadBounds(pad)
       ) - segment.thickness / 2;
-      if (gap + EPSILON >= minSpacing) continue;
+      if (gap + EPSILON >= minClearance) continue;
       const pairId = `${padId}_${segment.pcb_trace_id}`;
       const nextError = {
         type: "pcb_pad_trace_clearance_error",
         pcb_pad_trace_clearance_error_id: `pad_trace_clearance_${pairId}`,
         error_type: "pcb_pad_trace_clearance_error",
-        message: `Pad ${getReadableNameForElement7(circuitJson, padId)} and trace ${getReadableNameForElement7(circuitJson, segment.pcb_trace_id)} are too close (clearance: ${formatMm(gap)}, minimum: ${formatMm(minSpacing)})`,
+        message: `Pad ${getReadableNameForElement7(circuitJson, padId)} and trace ${getReadableNameForElement7(circuitJson, segment.pcb_trace_id)} are too close (clearance: ${formatMm(gap)}, minimum: ${formatMm(minClearance)})`,
         pcb_pad_id: padId,
         pcb_trace_id: segment.pcb_trace_id,
-        minimum_clearance: minSpacing,
+        minimum_clearance: minClearance,
         actual_clearance: gap,
         center: {
           x: (center.x + (segment.x1 + segment.x2) / 2) / 2,
@@ -1838,6 +1840,83 @@ function checkPadTraceClearance(circuitJson, {
   return Array.from(errors.values()).map(({ error }) => error);
 }
 
+// lib/check-via-trace-clearance.ts
+import { getReadableNameForElement as getReadableNameForElement8 } from "@tscircuit/circuit-json-util";
+import { segmentToCircleMinDistance as segmentToCircleMinDistance3 } from "@tscircuit/math-utils";
+import {
+  getFullConnectivityMapFromCircuitJson as getFullConnectivityMapFromCircuitJson9
+} from "circuit-json-to-connectivity-map";
+var getClosestPointOnSegment = (point, segmentStart, segmentEnd) => {
+  const dx = segmentEnd.x - segmentStart.x;
+  const dy = segmentEnd.y - segmentStart.y;
+  const lengthSquared = dx * dx + dy * dy;
+  if (lengthSquared === 0) return segmentStart;
+  const t = Math.max(
+    0,
+    Math.min(
+      1,
+      ((point.x - segmentStart.x) * dx + (point.y - segmentStart.y) * dy) / lengthSquared
+    )
+  );
+  return {
+    x: segmentStart.x + t * dx,
+    y: segmentStart.y + t * dy
+  };
+};
+function checkViaTraceClearance(circuitJson, {
+  connMap,
+  minClearance = DEFAULT_PAD_TRACE_CLEARANCE
+} = {}) {
+  const vias = circuitJson.filter((el) => el.type === "pcb_via");
+  const segments = getTraceSegments(circuitJson);
+  if (vias.length === 0 || segments.length === 0) return [];
+  connMap ??= getFullConnectivityMapFromCircuitJson9(circuitJson);
+  const errors = /* @__PURE__ */ new Map();
+  for (const via of vias) {
+    const viaRadius = via.outer_diameter / 2;
+    for (const segment of segments) {
+      if (!getLayersOfPcbElement(via).includes(segment.layer)) continue;
+      if (connMap.areIdsConnected(segment.pcb_trace_id, via.pcb_via_id))
+        continue;
+      const gap = segmentToCircleMinDistance3(
+        { x: segment.x1, y: segment.y1 },
+        { x: segment.x2, y: segment.y2 },
+        {
+          x: via.x,
+          y: via.y,
+          radius: viaRadius
+        }
+      ) - segment.thickness / 2;
+      if (gap + EPSILON >= minClearance) continue;
+      const closestPoint = getClosestPointOnSegment(
+        { x: via.x, y: via.y },
+        { x: segment.x1, y: segment.y1 },
+        { x: segment.x2, y: segment.y2 }
+      );
+      const pairId = `${via.pcb_via_id}_${segment.pcb_trace_id}`;
+      const nextError = {
+        type: "pcb_via_trace_clearance_error",
+        pcb_via_trace_clearance_error_id: `via_trace_clearance_${pairId}`,
+        error_type: "pcb_via_trace_clearance_error",
+        message: `Via ${getReadableNameForElement8(circuitJson, via.pcb_via_id)} and trace ${getReadableNameForElement8(circuitJson, segment.pcb_trace_id)} are too close (clearance: ${formatMm(gap)}, minimum: ${formatMm(minClearance)})`,
+        pcb_via_id: via.pcb_via_id,
+        pcb_trace_id: segment.pcb_trace_id,
+        minimum_clearance: minClearance,
+        actual_clearance: gap,
+        center: {
+          x: (via.x + closestPoint.x) / 2,
+          y: (via.y + closestPoint.y) / 2
+        }
+      };
+      const current = errors.get(pairId);
+      if (!current || gap < current.gap) {
+        errors.set(pairId, { error: nextError, gap });
+      }
+    }
+  }
+  return Array.from(errors.values()).map(({ error }) => error);
+}
+
 // lib/check-pin-must-be-connected.ts
 function checkPinMustBeConnected(circuitJson) {
   const errors = [];
@@ -2248,6 +2327,7 @@ async function runAllRoutingChecks(circuitJson) {
     ...checkEachPcbPortConnectedToPcbTraces(circuitJson),
     ...checkSourceTracesHavePcbTraces(circuitJson),
     ...checkEachPcbTraceNonOverlapping(circuitJson),
+    ...checkViaTraceClearance(circuitJson),
     ...checkSameNetViaSpacing(circuitJson),
     ...checkDifferentNetViaSpacing(circuitJson),
     // ...checkTracesAreContiguous(circuitJson),
@@ -2280,6 +2360,7 @@ export {
   checkSameNetViaSpacing,
   checkSourceTracesHavePcbTraces,
   checkSourceTracesMatchPcbTraceThickness,
+  checkViaTraceClearance,
   checkViasOffBoard,
   runAllChecks,
   runAllNetlistChecks,