@tscircuit/hypergraph 0.0.44 → 0.0.46

package/dist/index.js

@@ -5237,88 +5237,88 @@ var via_tile_4_regions_default = {
     net1: [
       {
         viaId: "14ee4bf1-e7e7-4351-ad16-ba1a8aac0af3",
-        diameter: 0.6,
+        diameter: 0.3,
         position: {
-          x: 1.187494,
-          y: 0.226901
+          x: 0.815244,
+          y: -0.055081
         }
       },
       {
         viaId: "8a898812-db2b-4b81-899d-f953b3222f9a",
-        diameter: 0.6,
+        diameter: 0.3,
         position: {
-          x: -0.890462,
-          y: 1.024371
+          x: -0.528763,
+          y: 0.676055
         }
       }
     ],
     net3: [
       {
         viaId: "13cd75da-d582-4eed-bc2c-fee6fa78bc6a",
-        diameter: 0.6,
+        diameter: 0.3,
         position: {
-          x: -1.229928,
-          y: -1.159683
+          x: -0.808222,
+          y: -0.726499
         }
       },
       {
         viaId: "9f188f9d-bce8-46c7-b9e8-542b8599d48d",
-        diameter: 0.6,
+        diameter: 0.3,
         position: {
-          x: 1.364053,
-          y: 1.083575
+          x: 0.901143,
+          y: 0.437488
         }
       }
     ],
     net4: [
       {
         viaId: "2ef3b96b-58c4-4150-b5d1-e90f74b92b25",
-        diameter: 0.6,
+        diameter: 0.3,
         position: {
-          x: -0.134894,
-          y: 1.042149
+          x: -0.029,
+          y: 0.691542
         }
       },
       {
         viaId: "37a70467-7553-415f-8ad7-8b88a5e56ca8",
-        diameter: 0.6,
+        diameter: 0.3,
         position: {
-          x: -1.195947,
-          y: 0.339403
+          x: -0.824388,
+          y: 0.272808
         }
       },
       {
         viaId: "6d182b7d-a260-427b-8c43-a09409422252",
-        diameter: 0.6,
+        diameter: 0.3,
         position: {
-          x: -0.141929,
-          y: -1.050896
+          x: 0.083422,
+          y: -0.705274
         }
       }
     ],
     net5: [
       {
         viaId: "346c301a-f2b4-44d7-b975-5438ddaa0bde",
-        diameter: 0.6,
+        diameter: 0.3,
         position: {
-          x: 0.587494,
-          y: -0.438741
+          x: 0.517145,
+          y: -0.456503
         }
       },
       {
         viaId: "c54b4b94-90e0-4240-97ef-883cf097d79d",
-        diameter: 0.6,
+        diameter: 0.3,
         position: {
-          x: 0.614052,
-          y: 1.081959
+          x: 0.471002,
+          y: 0.692404
         }
       },
       {
         viaId: "f3cb916e-b0fd-4c5e-b14b-3779f4f9bd01",
-        diameter: 0.6,
+        diameter: 0.3,
         position: {
-          x: -1.192929,
-          y: -0.410594
+          x: -0.833162,
+          y: -0.227118
         }
       }
     ]
@@ -5331,36 +5331,40 @@ var via_tile_4_regions_default = {
       layer: "bottom",
       segments: [
         {
-          x: 1.187494,
-          y: 0.226901
+          x: 0.815244,
+          y: -0.055081
         },
         {
-          x: 1.187494,
-          y: -0.582618
+          x: 1.01282,
+          y: -0.252657
         },
         {
-          x: 0.193216,
-          y: -1.576896
+          x: 1.01282,
+          y: -0.563283
         },
         {
-          x: -0.359806,
-          y: -1.576896
+          x: 0.444829,
+          y: -1.131274
         },
         {
-          x: -0.667929,
-          y: -1.268773
+          x: -0.093033,
+          y: -1.131274
         },
         {
-          x: -0.667929,
-          y: 0.561982
+          x: -0.382222,
+          y: -0.842085
         },
         {
-          x: -0.890462,
-          y: 0.784515
+          x: -0.382222,
+          y: 0.433097
         },
         {
-          x: -0.890462,
-          y: 1.024371
+          x: -0.528763,
+          y: 0.579638
+        },
+        {
+          x: -0.528763,
+          y: 0.676055
         }
       ]
     },
@@ -5371,28 +5375,36 @@ var via_tile_4_regions_default = {
       layer: "bottom",
       segments: [
         {
-          x: -1.229928,
-          y: -1.159683
+          x: -0.808222,
+          y: -0.726499
+        },
+        {
+          x: -0.808222,
+          y: -0.912474
         },
         {
-          x: -0.511715,
-          y: -1.877896
+          x: -0.238422,
+          y: -1.482274
         },
         {
-          x: 0.317894,
-          y: -1.877896
+          x: 0.590217,
+          y: -1.482274
         },
         {
-          x: 1.713494,
-          y: -0.482296
+          x: 1.36382,
+          y: -0.708672
         },
         {
-          x: 1.713494,
-          y: 0.734134
+          x: 1.36382,
+          y: -1202e-6
         },
         {
-          x: 1.364053,
-          y: 1.083575
+          x: 0.92513,
+          y: 0.437488
+        },
+        {
+          x: 0.901143,
+          y: 0.437488
         }
       ]
     },
@@ -5403,16 +5415,16 @@ var via_tile_4_regions_default = {
       layer: "bottom",
       segments: [
         {
-          x: -0.134894,
-          y: 1.042149
+          x: -0.029,
+          y: 0.691542
         },
         {
-          x: -0.141929,
-          y: 1.035114
+          x: -0.029,
+          y: -0.592852
         },
         {
-          x: -0.141929,
-          y: -1.050896
+          x: 0.083422,
+          y: -0.705274
         }
       ]
     },
@@ -5423,28 +5435,32 @@ var via_tile_4_regions_default = {
       layer: "bottom",
       segments: [
         {
-          x: -0.134894,
-          y: 1.042149
+          x: -0.029,
+          y: 0.691542
+        },
+        {
+          x: -0.029,
+          y: 0.778747
         },
         {
-          x: -0.643116,
-          y: 1.550371
+          x: -0.352308,
+          y: 1.102055
         },
         {
-          x: -1.108339,
-          y: 1.550371
+          x: -0.705218,
+          y: 1.102055
         },
         {
-          x: -1.416462,
-          y: 1.242248
+          x: -0.954763,
+          y: 0.85251
         },
         {
-          x: -1.416462,
-          y: 0.559918
+          x: -0.954763,
+          y: 0.403183
         },
         {
-          x: -1.195947,
-          y: 0.339403
+          x: -0.824388,
+          y: 0.272808
         }
       ]
     },
@@ -5455,20 +5471,20 @@ var via_tile_4_regions_default = {
       layer: "bottom",
       segments: [
         {
-          x: 0.587494,
-          y: -0.438741
+          x: 0.517145,
+          y: -0.456503
         },
         {
-          x: 0.587494,
-          y: 1.080547
+          x: 0.389244,
+          y: -0.328602
         },
         {
-          x: 0.588906,
-          y: 1.081959
+          x: 0.389244,
+          y: 0.610646
         },
         {
-          x: 0.614052,
-          y: 1.081959
+          x: 0.471002,
+          y: 0.692404
         }
       ]
     },
@@ -5479,34 +5495,42 @@ var via_tile_4_regions_default = {
       layer: "bottom",
       segments: [
         {
-          x: 0.614052,
-          y: 1.081959
+          x: 0.471002,
+          y: 0.692404
+        },
+        {
+          x: 0.471002,
+          y: 1.111132
         },
         {
-          x: -0.15536,
-          y: 1.851371
+          x: 0.129079,
+          y: 1.453055
         },
         {
-          x: -1.233017,
-          y: 1.851371
+          x: -0.850606,
+          y: 1.453055
         },
         {
-          x: -1.721947,
-          y: 1.362441
+          x: -1.305763,
+          y: 0.997899
         },
         {
-          x: -1.721947,
-          y: 0.118424
+          x: -1.305763,
+          y: 0.151728
         },
         {
-          x: -1.192929,
-          y: -0.410594
+          x: -0.926917,
+          y: -0.227118
+        },
+        {
+          x: -0.833162,
+          y: -0.227118
         }
       ]
     }
   ],
-  tileWidth: 3.735441,
-  tileHeight: 4.029267
+  tileWidth: 2.9695829999999996,
+  tileHeight: 3.2353289999999997
 };
 
 // lib/ViaGraphSolver/via-graph-generator/generateViaTopologyRegions.ts
@@ -5778,6 +5802,32 @@ function generateDefaultViaTopologyRegions(opts) {
 }
 
 // lib/ViaGraphSolver/polygonPerimeterUtils.ts
+function lineSegmentsIntersect(p1, p2, p3, p4, eps = 1e-9) {
+  const pointsCoincident = (a, b) => Math.abs(a.x - b.x) < eps && Math.abs(a.y - b.y) < eps;
+  if (pointsCoincident(p1, p3) || pointsCoincident(p1, p4) || pointsCoincident(p2, p3) || pointsCoincident(p2, p4)) {
+    return false;
+  }
+  const cross2 = (o, a, b) => (a.x - o.x) * (b.y - o.y) - (a.y - o.y) * (b.x - o.x);
+  const d1 = cross2(p3, p4, p1);
+  const d2 = cross2(p3, p4, p2);
+  const d3 = cross2(p1, p2, p3);
+  const d4 = cross2(p1, p2, p4);
+  if (d1 * d2 < 0 && d3 * d4 < 0) {
+    return true;
+  }
+  return false;
+}
+function chordsIntersect(newChord, existingChord, perimeter, newPort1, newPort2, existingPort1, existingPort2) {
+  if (chordsCross(newChord, existingChord, perimeter)) {
+    return true;
+  }
+  return lineSegmentsIntersect(
+    newPort1.d,
+    newPort2.d,
+    existingPort1.d,
+    existingPort2.d
+  );
+}
 function computeDifferentNetCrossingsForPolygon(region, port1, port2) {
   const polygon2 = region.d.polygon;
   if (!polygon2 || polygon2.length < 3) {
@@ -5790,16 +5840,20 @@ function computeDifferentNetCrossingsForPolygon(region, port1, port2) {
   let crossings = 0;
   const assignments = region.assignments ?? [];
   for (const assignment of assignments) {
-    const existingT1 = getPortPerimeterTInRegion(
-      assignment.regionPort1,
-      region
-    );
-    const existingT2 = getPortPerimeterTInRegion(
-      assignment.regionPort2,
-      region
-    );
+    const existingPort1 = assignment.regionPort1;
+    const existingPort2 = assignment.regionPort2;
+    const existingT1 = getPortPerimeterTInRegion(existingPort1, region);
+    const existingT2 = getPortPerimeterTInRegion(existingPort2, region);
     const existingChord = [existingT1, existingT2];
-    if (chordsCross(newChord, existingChord, perimeter)) {
+    if (chordsIntersect(
+      newChord,
+      existingChord,
+      perimeter,
+      port1,
+      port2,
+      existingPort1,
+      existingPort2
+    )) {
       crossings++;
     }
   }
@@ -5817,16 +5871,20 @@ function computeCrossingAssignmentsForPolygon(region, port1, port2) {
   const crossingAssignments = [];
   const assignments = region.assignments ?? [];
   for (const assignment of assignments) {
-    const existingT1 = getPortPerimeterTInRegion(
-      assignment.regionPort1,
-      region
-    );
-    const existingT2 = getPortPerimeterTInRegion(
-      assignment.regionPort2,
-      region
-    );
+    const existingPort1 = assignment.regionPort1;
+    const existingPort2 = assignment.regionPort2;
+    const existingT1 = getPortPerimeterTInRegion(existingPort1, region);
+    const existingT2 = getPortPerimeterTInRegion(existingPort2, region);
     const existingChord = [existingT1, existingT2];
-    if (chordsCross(newChord, existingChord, perimeter)) {
+    if (chordsIntersect(
+      newChord,
+      existingChord,
+      perimeter,
+      port1,
+      port2,
+      existingPort1,
+      existingPort2
+    )) {
       crossingAssignments.push(assignment);
     }
   }
@@ -15697,10 +15755,7 @@ function findSharedEdges(polygon1, polygon2, tolerance = 0.01) {
         x: a1.x + overlap.to * dx,
         y: a1.y + overlap.to * dy
       };
-      const edgeLen = Math.sqrt((to.x - from.x) ** 2 + (to.y - from.y) ** 2);
-      if (edgeLen > tolerance) {
-        sharedEdges.push({ from, to });
-      }
+      sharedEdges.push({ from, to });
     }
   }
   return sharedEdges;
@@ -15768,35 +15823,6 @@ function centroid(points) {
   }
   return { x: cx / points.length, y: cy / points.length };
 }
-function classifySideFromBounds(point2, bounds) {
-  const distances = {
-    left: Math.abs(point2.x - bounds.minX),
-    right: Math.abs(point2.x - bounds.maxX),
-    bottom: Math.abs(point2.y - bounds.minY),
-    top: Math.abs(point2.y - bounds.maxY)
-  };
-  let bestSide = "left";
-  let bestDistance = distances.left;
-  for (const side of ["right", "bottom", "top"]) {
-    if (distances[side] < bestDistance) {
-      bestSide = side;
-      bestDistance = distances[side];
-    }
-  }
-  return bestSide;
-}
-function toCandidateKey(regionId, point2) {
-  return `${regionId}:${point2.x.toFixed(6)},${point2.y.toFixed(6)}`;
-}
-function compareCandidateQuality(a, b) {
-  if (Math.abs(a.primaryDistance - b.primaryDistance) > 1e-6) {
-    return b.primaryDistance - a.primaryDistance;
-  }
-  if (Math.abs(a.orthDistance - b.orthDistance) > 1e-6) {
-    return a.orthDistance - b.orthDistance;
-  }
-  return a.key < b.key ? -1 : a.key > b.key ? 1 : 0;
-}
 function createRegionFromPolygon(regionId, polygon2, opts) {
   const bounds = boundsFromPolygon(polygon2);
   return {
@@ -15879,6 +15905,124 @@ function translateRouteSegments(routeSegments, dx, dy, prefix) {
     }))
   }));
 }
+function translatePolygon(polygon2, dx, dy) {
+  return polygon2.map((p) => ({ x: p.x + dx, y: p.y + dy }));
+}
+function rectPolygonFromBounds(b) {
+  return [
+    { x: b.minX, y: b.minY },
+    { x: b.maxX, y: b.minY },
+    { x: b.maxX, y: b.maxY },
+    { x: b.minX, y: b.maxY }
+  ];
+}
+function extendViaRegionToTileEdge(polygon2, tileBounds, threshold = 0.1) {
+  if (polygon2.length === 0) return polygon2;
+  const polyBounds = boundsFromPolygon(polygon2);
+  const distToLeft = polyBounds.minX - tileBounds.minX;
+  const distToRight = tileBounds.maxX - polyBounds.maxX;
+  const distToBottom = polyBounds.minY - tileBounds.minY;
+  const distToTop = tileBounds.maxY - polyBounds.maxY;
+  const extendLeft = distToLeft > 0 && distToLeft < threshold;
+  const extendRight = distToRight > 0 && distToRight < threshold;
+  const extendBottom = distToBottom > 0 && distToBottom < threshold;
+  const extendTop = distToTop > 0 && distToTop < threshold;
+  if (!extendLeft && !extendRight && !extendBottom && !extendTop) {
+    return polygon2;
+  }
+  const result = polygon2.map((p) => {
+    let x = p.x;
+    let y = p.y;
+    if (extendLeft && Math.abs(p.x - polyBounds.minX) < 1e-3) {
+      x = tileBounds.minX;
+    }
+    if (extendRight && Math.abs(p.x - polyBounds.maxX) < 1e-3) {
+      x = tileBounds.maxX;
+    }
+    if (extendBottom && Math.abs(p.y - polyBounds.minY) < 1e-3) {
+      y = tileBounds.minY;
+    }
+    if (extendTop && Math.abs(p.y - polyBounds.maxY) < 1e-3) {
+      y = tileBounds.maxY;
+    }
+    return { x, y };
+  });
+  return deduplicateConsecutivePoints(result);
+}
+function pointInPolygon(point2, polygon2) {
+  let inside2 = false;
+  const n = polygon2.length;
+  for (let i = 0, j = n - 1; i < n; j = i++) {
+    const xi = polygon2[i].x;
+    const yi = polygon2[i].y;
+    const xj = polygon2[j].x;
+    const yj = polygon2[j].y;
+    const onEdge = Math.abs((point2.y - yi) * (xj - xi) - (point2.x - xi) * (yj - yi)) < 1e-3 && point2.x >= Math.min(xi, xj) - 1e-3 && point2.x <= Math.max(xi, xj) + 1e-3 && point2.y >= Math.min(yi, yj) - 1e-3 && point2.y <= Math.max(yi, yj) + 1e-3;
+    if (onEdge) return true;
+    if (yi > point2.y !== yj > point2.y) {
+      const intersectX = (xj - xi) * (point2.y - yi) / (yj - yi) + xi;
+      if (point2.x < intersectX) {
+        inside2 = !inside2;
+      }
+    }
+  }
+  return inside2;
+}
+function findRegionContainingPoint(point2, regions) {
+  for (const region of regions) {
+    if (region.d.polygon && pointInPolygon(point2, region.d.polygon)) {
+      return region;
+    }
+  }
+  return null;
+}
+function computeUnitTileTemplate(viaTile, tileWidth, tileHeight, clearance, concavityTolerance) {
+  const halfWidth = tileWidth / 2;
+  const halfHeight = tileHeight / 2;
+  const tileBounds = {
+    minX: -halfWidth,
+    maxX: halfWidth,
+    minY: -halfHeight,
+    maxY: halfHeight
+  };
+  const viaRegions = [];
+  for (const [netName, vias] of Object.entries(viaTile.viasByNet)) {
+    if (vias.length === 0) continue;
+    const polygon2 = generateViaRegionPolygon(vias);
+    if (polygon2.length === 0) continue;
+    viaRegions.push({
+      netName,
+      polygon: polygon2,
+      bounds: boundsFromPolygon(polygon2),
+      center: centroid(polygon2)
+    });
+  }
+  const obstaclePolygons = viaRegions.map((r) => ({
+    points: extendViaRegionToTileEdge(r.polygon, tileBounds)
+  }));
+  const solver = new ConvexRegionsSolver({
+    bounds: tileBounds,
+    polygons: obstaclePolygons,
+    clearance,
+    concavityTolerance
+  });
+  solver.solve();
+  const solverOutput = solver.getOutput();
+  if (!solverOutput) {
+    throw new Error("ConvexRegionsSolver failed to compute unit tile regions");
+  }
+  const convexRegions = solverOutput.regions.map((polygon2) => ({
+    polygon: polygon2,
+    bounds: boundsFromPolygon(polygon2),
+    center: centroid(polygon2)
+  }));
+  return {
+    viaRegions,
+    convexRegions,
+    tileWidth,
+    tileHeight
+  };
+}
 function generateConvexViaTopologyRegions(opts) {
   const tileWidth = opts.tileWidth ?? opts.tileSize ?? opts.viaTile.tileWidth;
   const tileHeight = opts.tileHeight ?? opts.tileSize ?? opts.viaTile.tileHeight;
@@ -15900,18 +16044,79 @@ function generateConvexViaTopologyRegions(opts) {
   const allPorts = [];
   const viaTile = { viasByNet: {}, routeSegments: [] };
   const viaRegions = [];
+  const convexRegions = [];
   const gridWidth = cols * tileWidth;
   const gridHeight = rows * tileHeight;
   const gridMinX = bounds.minX + (width - gridWidth) / 2;
   const gridMinY = bounds.minY + (height - gridHeight) / 2;
+  const gridMaxX = gridMinX + gridWidth;
+  const gridMaxY = gridMinY + gridHeight;
   const halfWidth = tileWidth / 2;
   const halfHeight = tileHeight / 2;
+  let portIdCounter = 0;
+  const usedPortPositions = /* @__PURE__ */ new Set();
+  const getPortPosKey = (x, y) => `${x.toFixed(4)},${y.toFixed(4)}`;
+  const createPort = (portId, region1, region2, pos) => {
+    const posKey = getPortPosKey(pos.x, pos.y);
+    if (usedPortPositions.has(posKey)) {
+      return null;
+    }
+    usedPortPositions.add(posKey);
+    const port = {
+      portId,
+      region1,
+      region2,
+      d: { x: pos.x, y: pos.y }
+    };
+    region1.ports.push(port);
+    region2.ports.push(port);
+    allPorts.push(port);
+    return port;
+  };
+  let unitTileTemplate = null;
   if (rows > 0 && cols > 0) {
+    unitTileTemplate = computeUnitTileTemplate(
+      inputViaTile,
+      tileWidth,
+      tileHeight,
+      clearance,
+      concavityTolerance
+    );
+  }
+  if (rows > 0 && cols > 0 && unitTileTemplate) {
     for (let row = 0; row < rows; row++) {
       for (let col = 0; col < cols; col++) {
         const tileCenterX = gridMinX + col * tileWidth + halfWidth;
         const tileCenterY = gridMinY + row * tileHeight + halfHeight;
         const prefix = `t${row}_${col}`;
+        for (const templateViaRegion of unitTileTemplate.viaRegions) {
+          const translatedPolygon = translatePolygon(
+            templateViaRegion.polygon,
+            tileCenterX,
+            tileCenterY
+          );
+          const viaRegion = createRegionFromPolygon(
+            `${prefix}:v:${templateViaRegion.netName}`,
+            translatedPolygon,
+            { isViaRegion: true }
+          );
+          viaRegions.push(viaRegion);
+          allRegions.push(viaRegion);
+        }
+        for (let i = 0; i < unitTileTemplate.convexRegions.length; i++) {
+          const templateConvexRegion = unitTileTemplate.convexRegions[i];
+          const translatedPolygon = translatePolygon(
+            templateConvexRegion.polygon,
+            tileCenterX,
+            tileCenterY
+          );
+          const convexRegion = createRegionFromPolygon(
+            `${prefix}:convex:${i}`,
+            translatedPolygon
+          );
+          convexRegions.push(convexRegion);
+          allRegions.push(convexRegion);
+        }
         for (const [netName, vias] of Object.entries(viasByNet)) {
           if (vias.length === 0) continue;
           const translatedVias = translateVias(
@@ -15924,15 +16129,6 @@ function generateConvexViaTopologyRegions(opts) {
             viaTile.viasByNet[netName] = [];
           }
           viaTile.viasByNet[netName].push(...translatedVias);
-          const polygon2 = generateViaRegionPolygon(translatedVias);
-          if (polygon2.length === 0) continue;
-          const viaRegion = createRegionFromPolygon(
-            `${prefix}:v:${netName}`,
-            polygon2,
-            { isViaRegion: true }
-          );
-          viaRegions.push(viaRegion);
-          allRegions.push(viaRegion);
         }
         viaTile.routeSegments.push(
           ...translateRouteSegments(
@@ -15945,55 +16141,306 @@ function generateConvexViaTopologyRegions(opts) {
       }
     }
   }
-  const obstaclePolygons = viaRegions.map((r) => ({
-    points: r.d.polygon
-  }));
-  const solverInput = {
-    bounds,
-    polygons: obstaclePolygons,
-    clearance,
-    concavityTolerance
-  };
-  const solver = new ConvexRegionsSolver(solverInput);
-  solver.solve();
-  const solverOutput = solver.getOutput();
-  if (!solverOutput) {
-    throw new Error("ConvexRegionsSolver failed to compute regions");
+  const fillerRegions = [];
+  const topMargin = bounds.maxY - gridMaxY;
+  const bottomMargin = gridMinY - bounds.minY;
+  const leftMargin = gridMinX - bounds.minX;
+  const rightMargin = bounds.maxX - gridMaxX;
+  const verticalMargin = Math.max(topMargin, bottomMargin);
+  const horizontalMargin = Math.max(leftMargin, rightMargin);
+  const topBottomGetCorners = verticalMargin >= horizontalMargin;
+  const topMinX = topBottomGetCorners ? bounds.minX : gridMinX;
+  const topMaxX = topBottomGetCorners ? bounds.maxX : gridMaxX;
+  const bottomMinX = topBottomGetCorners ? bounds.minX : gridMinX;
+  const bottomMaxX = topBottomGetCorners ? bounds.maxX : gridMaxX;
+  const leftMinY = topBottomGetCorners ? gridMinY : bounds.minY;
+  const leftMaxY = topBottomGetCorners ? gridMaxY : bounds.maxY;
+  const rightMinY = topBottomGetCorners ? gridMinY : bounds.minY;
+  const rightMaxY = topBottomGetCorners ? gridMaxY : bounds.maxY;
+  if (topMargin > 1e-3) {
+    const topWidth = topMaxX - topMinX;
+    const targetStripWidth = Math.max(topMargin, portPitch);
+    const numTopStrips = Math.max(1, Math.floor(topWidth / targetStripWidth));
+    const stripWidth = topWidth / numTopStrips;
+    for (let i = 0; i < numTopStrips; i++) {
+      const fillerBounds = {
+        minX: topMinX + i * stripWidth,
+        maxX: topMinX + (i + 1) * stripWidth,
+        minY: gridMaxY,
+        maxY: bounds.maxY
+      };
+      const regionId = `filler:top:${i}`;
+      const filler = createRegionFromPolygon(
+        regionId,
+        rectPolygonFromBounds(fillerBounds)
+      );
+      fillerRegions.push(filler);
+      allRegions.push(filler);
+    }
   }
-  const convexRegions = solverOutput.regions.map(
-    (polygon2, i) => createRegionFromPolygon(`convex:${i}`, polygon2)
-  );
-  allRegions.push(...convexRegions);
-  let portIdCounter = 0;
-  for (let i = 0; i < convexRegions.length; i++) {
-    for (let j = i + 1; j < convexRegions.length; j++) {
-      const region1 = convexRegions[i];
-      const region2 = convexRegions[j];
+  if (bottomMargin > 1e-3) {
+    const bottomWidth = bottomMaxX - bottomMinX;
+    const targetStripWidth = Math.max(bottomMargin, portPitch);
+    const numBottomStrips = Math.max(
+      1,
+      Math.floor(bottomWidth / targetStripWidth)
+    );
+    const stripWidth = bottomWidth / numBottomStrips;
+    for (let i = 0; i < numBottomStrips; i++) {
+      const fillerBounds = {
+        minX: bottomMinX + i * stripWidth,
+        maxX: bottomMinX + (i + 1) * stripWidth,
+        minY: bounds.minY,
+        maxY: gridMinY
+      };
+      const regionId = `filler:bottom:${i}`;
+      const filler = createRegionFromPolygon(
+        regionId,
+        rectPolygonFromBounds(fillerBounds)
+      );
+      fillerRegions.push(filler);
+      allRegions.push(filler);
+    }
+  }
+  if (leftMargin > 1e-3) {
+    const leftHeight = leftMaxY - leftMinY;
+    const targetStripHeight = Math.max(leftMargin, portPitch);
+    const numLeftStrips = Math.max(
+      1,
+      Math.floor(leftHeight / targetStripHeight)
+    );
+    const stripHeight = leftHeight / numLeftStrips;
+    for (let i = 0; i < numLeftStrips; i++) {
+      const fillerBounds = {
+        minX: bounds.minX,
+        maxX: gridMinX,
+        minY: leftMinY + i * stripHeight,
+        maxY: leftMinY + (i + 1) * stripHeight
+      };
+      const regionId = `filler:left:${i}`;
+      const filler = createRegionFromPolygon(
+        regionId,
+        rectPolygonFromBounds(fillerBounds)
+      );
+      fillerRegions.push(filler);
+      allRegions.push(filler);
+    }
+  }
+  if (rightMargin > 1e-3) {
+    const rightHeight = rightMaxY - rightMinY;
+    const targetStripHeight = Math.max(rightMargin, portPitch);
+    const numRightStrips = Math.max(
+      1,
+      Math.floor(rightHeight / targetStripHeight)
+    );
+    const stripHeight = rightHeight / numRightStrips;
+    for (let i = 0; i < numRightStrips; i++) {
+      const fillerBounds = {
+        minX: gridMaxX,
+        maxX: bounds.maxX,
+        minY: rightMinY + i * stripHeight,
+        maxY: rightMinY + (i + 1) * stripHeight
+      };
+      const regionId = `filler:right:${i}`;
+      const filler = createRegionFromPolygon(
+        regionId,
+        rectPolygonFromBounds(fillerBounds)
+      );
+      fillerRegions.push(filler);
+      allRegions.push(filler);
+    }
+  }
+  if (unitTileTemplate && rows > 0 && cols > 0) {
+    const regionsPerTile = unitTileTemplate.convexRegions.length;
+    for (let row = 0; row < rows; row++) {
+      for (let col = 0; col < cols; col++) {
+        const tileIndex = row * cols + col;
+        const tileStartIdx = tileIndex * regionsPerTile;
+        for (let i = 0; i < regionsPerTile; i++) {
+          for (let j = i + 1; j < regionsPerTile; j++) {
+            const region1 = convexRegions[tileStartIdx + i];
+            const region2 = convexRegions[tileStartIdx + j];
+            const sharedEdges = findSharedEdges(
+              region1.d.polygon,
+              region2.d.polygon,
+              clearance * 2
+            );
+            for (const edge of sharedEdges) {
+              const portPositions = createPortsAlongEdge(edge, portPitch);
+              for (const pos of portPositions) {
+                createPort(
+                  `t${row}_${col}:convex:${i}-${j}:${portIdCounter++}`,
+                  region1,
+                  region2,
+                  pos
+                );
+              }
+            }
+          }
+        }
+      }
+    }
+  }
+  if (unitTileTemplate && rows > 0 && cols > 0) {
+    const convexPerTile = unitTileTemplate.convexRegions.length;
+    const viasPerTile = unitTileTemplate.viaRegions.length;
+    const numVerticalPorts = Math.floor(tileHeight / portPitch);
+    const verticalPortYOffsets = [];
+    for (let i = 0; i < numVerticalPorts; i++) {
+      verticalPortYOffsets.push(-halfHeight + (i + 0.5) * portPitch);
+    }
+    const numHorizontalPorts = Math.floor(tileWidth / portPitch);
+    const horizontalPortXOffsets = [];
+    for (let i = 0; i < numHorizontalPorts; i++) {
+      horizontalPortXOffsets.push(-halfWidth + (i + 0.5) * portPitch);
+    }
+    for (let row = 0; row < rows; row++) {
+      for (let col = 0; col < cols; col++) {
+        const tileIndex = row * cols + col;
+        const convexStartIdx = tileIndex * convexPerTile;
+        const viaStartIdx = tileIndex * viasPerTile;
+        const tileCenterX = gridMinX + col * tileWidth + halfWidth;
+        const tileCenterY = gridMinY + row * tileHeight + halfHeight;
+        const tileConvexRegions = convexRegions.slice(
+          convexStartIdx,
+          convexStartIdx + convexPerTile
+        );
+        const tileViaRegions = viaRegions.slice(
+          viaStartIdx,
+          viaStartIdx + viasPerTile
+        );
+        const tileAllRegions = [...tileConvexRegions, ...tileViaRegions];
+        if (col + 1 < cols) {
+          const rightTileIndex = row * cols + (col + 1);
+          const rightConvexStartIdx = rightTileIndex * convexPerTile;
+          const rightViaStartIdx = rightTileIndex * viasPerTile;
+          const rightTileConvexRegions = convexRegions.slice(
+            rightConvexStartIdx,
+            rightConvexStartIdx + convexPerTile
+          );
+          const rightTileViaRegions = viaRegions.slice(
+            rightViaStartIdx,
+            rightViaStartIdx + viasPerTile
+          );
+          const rightTileAllRegions = [
+            ...rightTileConvexRegions,
+            ...rightTileViaRegions
+          ];
+          const boundaryX = tileCenterX + halfWidth;
+          for (const yOffset of verticalPortYOffsets) {
+            const portY = tileCenterY + yOffset;
+            const pointInCurrentTile = { x: boundaryX - 0.01, y: portY };
+            const pointInRightTile = { x: boundaryX + 0.01, y: portY };
+            const region1 = findRegionContainingPoint(
+              pointInCurrentTile,
+              tileAllRegions
+            );
+            const region2 = findRegionContainingPoint(
+              pointInRightTile,
+              rightTileAllRegions
+            );
+            if (region1 && region2) {
+              createPort(
+                `tile:${row}_${col}-${row}_${col + 1}:${portIdCounter++}`,
+                region1,
+                region2,
+                { x: boundaryX, y: portY }
+              );
+            }
+          }
+        }
+        if (row + 1 < rows) {
+          const topTileIndex = (row + 1) * cols + col;
+          const topConvexStartIdx = topTileIndex * convexPerTile;
+          const topViaStartIdx = topTileIndex * viasPerTile;
+          const topTileConvexRegions = convexRegions.slice(
+            topConvexStartIdx,
+            topConvexStartIdx + convexPerTile
+          );
+          const topTileViaRegions = viaRegions.slice(
+            topViaStartIdx,
+            topViaStartIdx + viasPerTile
+          );
+          const topTileAllRegions = [
+            ...topTileConvexRegions,
+            ...topTileViaRegions
+          ];
+          const boundaryY = tileCenterY + halfHeight;
+          for (const xOffset of horizontalPortXOffsets) {
+            const portX = tileCenterX + xOffset;
+            const pointInCurrentTile = { x: portX, y: boundaryY - 0.01 };
+            const pointInTopTile = { x: portX, y: boundaryY + 0.01 };
+            const region1 = findRegionContainingPoint(
+              pointInCurrentTile,
+              tileAllRegions
+            );
+            const region2 = findRegionContainingPoint(
+              pointInTopTile,
+              topTileAllRegions
+            );
+            if (region1 && region2) {
+              createPort(
+                `tile:${row}_${col}-${row + 1}_${col}:${portIdCounter++}`,
+                region1,
+                region2,
+                { x: portX, y: boundaryY }
+              );
+            }
+          }
+        }
+      }
+    }
+  }
+  for (const fillerRegion of fillerRegions) {
+    const tileRegions = [...convexRegions, ...viaRegions];
+    for (const tileRegion of tileRegions) {
+      const sharedEdges = findSharedEdges(
+        tileRegion.d.polygon,
+        fillerRegion.d.polygon,
+        clearance * 2
+      );
+      for (const edge of sharedEdges) {
+        const portPositions = createPortsAlongEdge(edge, portPitch);
+        for (const pos of portPositions) {
+          createPort(
+            `filler:${tileRegion.regionId}-${fillerRegion.regionId}:${portIdCounter++}`,
+            tileRegion,
+            fillerRegion,
+            pos
+          );
+        }
+      }
+    }
+  }
+  for (let i = 0; i < fillerRegions.length; i++) {
+    for (let j = i + 1; j < fillerRegions.length; j++) {
+      const region1 = fillerRegions[i];
+      const region2 = fillerRegions[j];
       const sharedEdges = findSharedEdges(
         region1.d.polygon,
         region2.d.polygon,
-        clearance * 2
-        // tolerance slightly larger than clearance
+        0.01
       );
       for (const edge of sharedEdges) {
+        const edgeLength = Math.sqrt(
+          (edge.to.x - edge.from.x) ** 2 + (edge.to.y - edge.from.y) ** 2
+        );
+        if (edgeLength < portPitch) {
+          continue;
+        }
         const portPositions = createPortsAlongEdge(edge, portPitch);
         for (const pos of portPositions) {
-          const port = {
-            portId: `convex:${i}-${j}:${portIdCounter++}`,
+          createPort(
+            `filler:${region1.regionId}-${region2.regionId}:${portIdCounter++}`,
             region1,
             region2,
-            d: { x: pos.x, y: pos.y }
-          };
-          region1.ports.push(port);
-          region2.ports.push(port);
-          allPorts.push(port);
+            pos
+          );
         }
       }
     }
   }
   for (const viaRegion of viaRegions) {
-    const viaCenter = viaRegion.d.center;
-    const candidates = [];
     for (const convexRegion of convexRegions) {
       const sharedEdges = findSharedEdges(
         viaRegion.d.polygon,
@@ -16003,55 +16450,15 @@ function generateConvexViaTopologyRegions(opts) {
       for (const edge of sharedEdges) {
         const portPositions = createPortsAlongEdge(edge, portPitch);
         for (const pos of portPositions) {
-          const dx = pos.x - viaCenter.x;
-          const dy = pos.y - viaCenter.y;
-          const side = classifySideFromBounds(pos, viaRegion.d.bounds);
-          const primaryDistance = side === "left" || side === "right" ? Math.abs(dx) : Math.abs(dy);
-          const orthDistance = side === "left" || side === "right" ? Math.abs(dy) : Math.abs(dx);
-          candidates.push({
+          createPort(
+            `via-convex:${viaRegion.regionId}-${convexRegion.regionId}:${portIdCounter++}`,
+            viaRegion,
             convexRegion,
-            position: pos,
-            side,
-            primaryDistance,
-            orthDistance,
-            key: toCandidateKey(convexRegion.regionId, pos)
-          });
+            pos
+          );
         }
       }
     }
-    if (candidates.length === 0) continue;
-    const selectedCandidates = [];
-    const selectedKeys = /* @__PURE__ */ new Set();
-    const addCandidate = (candidate) => {
-      if (!candidate) return;
-      if (selectedKeys.has(candidate.key)) return;
-      selectedCandidates.push(candidate);
-      selectedKeys.add(candidate.key);
-    };
-    for (const side of ["top", "bottom", "left", "right"]) {
-      const sideCandidate = [...candidates].filter((candidate) => candidate.side === side).sort(compareCandidateQuality)[0];
-      addCandidate(sideCandidate);
-    }
-    if (selectedCandidates.length < 4) {
-      for (const candidate of [...candidates].sort(compareCandidateQuality)) {
-        addCandidate(candidate);
-        if (selectedCandidates.length >= 4) break;
-      }
-    }
-    for (const selectedCandidate of selectedCandidates.slice(0, 4)) {
-      const port = {
-        portId: `via-convex:${viaRegion.regionId}-${selectedCandidate.convexRegion.regionId}:${portIdCounter++}`,
-        region1: viaRegion,
-        region2: selectedCandidate.convexRegion,
-        d: {
-          x: selectedCandidate.position.x,
-          y: selectedCandidate.position.y
-        }
-      };
-      viaRegion.ports.push(port);
-      selectedCandidate.convexRegion.ports.push(port);
-      allPorts.push(port);
-    }
   }
   return {
     regions: allRegions,