@tscircuit/rectdiff 0.0.28 → 0.0.29

package/tests/solver/{bugreport50-multi-support-layer-merge/bugreport50-multi-support-layer-merge.test.ts → repros/merge-single-layer-node/merge-single-layer-node.test.ts}

@@ -1,5 +1,5 @@
 import { expect, test } from "bun:test"
-import srj_json from "./bugreport50-multi-support-layer-merge.json"
+import inputProblems from "./merge-single-layer-node.json"
 import {
   getBounds,
   getSvgFromGraphicsObject,
@@ -12,46 +12,10 @@ import { RectDiffPipeline } from "lib/RectDiffPipeline"
 import { makeCapacityMeshNodeWithLayerInfo } from "tests/fixtures/makeCapacityMeshNodeWithLayerInfo"
 import { makeSimpleRouteOutlineGraphics } from "tests/fixtures/makeSimpleRouteOutlineGraphics"
 
-const wrapped = Array.isArray(srj_json) ? srj_json[0] : srj_json
-const srj = wrapped.simple_route_json ?? wrapped.simpleRouteJson ?? wrapped
-
-const getFreeNodeCounts = (
-  meshNodes: ReturnType<RectDiffPipeline["getOutput"]>["meshNodes"],
-) => {
-  const counts = new Map<string, number>()
-
-  for (const node of meshNodes) {
-    if (node._containsObstacle || node._containsTarget) continue
-
-    const key = node.availableZ.join(",")
-    counts.set(key, (counts.get(key) ?? 0) + 1)
-  }
-
-  return counts
-}
-
-test("bugreport50-multi-support-layer-merge promotes adjacent-layer nodes supported by multiple peers", () => {
-  const solver = new RectDiffPipeline({
-    simpleRouteJson: srj,
-  })
-
-  solver.solve()
-
-  const counts = getFreeNodeCounts(solver.getOutput().meshNodes)
-  const z0 = counts.get("0") ?? 0
-  const z01 = counts.get("0,1") ?? 0
-
-  expect(z01).toBeGreaterThan(40)
-  expect(z01).toBeGreaterThan(z0)
-  expect(z0).toBeLessThan(10)
-})
-
-test("bugreport50-multi-support-layer-merge", async () => {
-  const solver = new RectDiffPipeline({
-    simpleRouteJson: srj,
-  })
-
-  const outline = makeSimpleRouteOutlineGraphics(srj)
+test("node-solver input repro snapshot", async () => {
+  const problem = inputProblems[0]!
+  const solver = new RectDiffPipeline(problem)
+  const outline = makeSimpleRouteOutlineGraphics(problem.simpleRouteJson)
 
   solver.solve()
 
@@ -59,7 +23,7 @@ test("bugreport50-multi-support-layer-merge", async () => {
   const rectsByCombo = makeCapacityMeshNodeWithLayerInfo(meshNodes)
   const allGraphicsObjects: GraphicsObject[] = []
 
-  for (const z of Array.from({ length: srj.layerCount }, (_, index) => index)) {
+  for (let z = 0; z < problem.simpleRouteJson.layerCount; z++) {
     const layerRects: Rect[] = []
 
     for (const [key, rects] of rectsByCombo) {
@@ -121,5 +85,6 @@ test("bugreport50-multi-support-layer-merge", async () => {
     svgWidth,
     svgHeight,
   })
+
   await expect(svg).toMatchSvgSnapshot(import.meta.path)
 })

package/tests/solver/transitivity/__snapshots__/transitivity.snap.svg

@@ -1,4 +1,4 @@
-<svg width="640" height="1652" viewBox="0 0 640 1652" xmlns="http://www.w3.org/2000/svg"><rect width="100%" height="100%" fill="white"/><g><polyline data-points="-5,-5 25,-5 25,25 -5,25 -5,-5" data-type="line" data-label="bounds" points="39.99999999999997,745.6944444444446 600,745.6944444444446 600,185.6944444444445 39.99999999999997,185.6944444444445 39.99999999999997,745.6944444444446" fill="none" stroke="#111827" stroke-width="1.866666666666667"/></g><g><polyline data-points="-5,-48.02083333333333 25,-48.02083333333333 25,-18.02083333333333 -5,-18.02083333333333 -5,-48.02083333333333" data-type="line" data-label="bounds" points="39.99999999999997,1548.75 600,1548.75 600,988.75 39.99999999999997,988.75 39.99999999999997,1548.75" fill="none" stroke="#111827" stroke-width="1.866666666666667"/></g><g><rect data-type="rect" data-label="node" data-x="2.25" data-y="13.25" x="39.99999999999997" y="185.6944444444445" width="270.66666666666663" height="438.6666666666667" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="17.25" data-y="2.25" x="310.66666666666663" y="475.0277777777778" width="289.33333333333337" height="270.66666666666674" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="14.5" data-y="17.75" x="310.66666666666663" y="185.6944444444445" width="186.66666666666669" height="270.6666666666667" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="14.924999999999997" data-y="10" x="376.9333333333333" y="456.3611111111112" width="70" height="18.66666666666663" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="18.5375" data-y="10" x="446.9333333333334" y="456.3611111111112" width="64.86666666666656" height="18.66666666666663" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="2.75" data-y="-2.75" x="58.66666666666664" y="661.6944444444446" width="252" height="84" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="22.75" data-y="18.0375" x="516" y="185.6944444444445" width="84" height="259.93333333333334" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="-2.75" data-y="0.5" x="39.99999999999997" y="624.3611111111112" width="84.00000000000001" height="37.33333333333337" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="5.275" data-y="0.5" x="175.79999999999998" y="624.3611111111112" width="112.00000000000003" height="37.33333333333337" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="11.775" data-y="10" x="329.3333333333333" y="456.3611111111112" width="47.60000000000002" height="18.66666666666663" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="22.6375" data-y="10.2875" x="511.79999999999995" y="445.62777777777785" width="88.20000000000005" height="29.399999999999977" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="8.8875" data-y="0.5" x="287.79999999999995" y="624.3611111111112" width="22.866666666666674" height="37.33333333333337" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="0" data-y="1" x="123.99999999999999" y="624.3611111111112" width="18.66666666666667" height="18.66666666666663" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="1.3875" data-y="0" x="142.66666666666666" y="643.0277777777778" width="33.133333333333326" height="18.666666666666742" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="20" data-y="15.2875" x="497.3333333333333" y="288.3611111111112" width="18.666666666666686" height="157.26666666666665" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="20" data-y="22.75" x="497.3333333333333" y="185.6944444444445" width="18.666666666666686" height="84" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="-4.5" data-y="-2.68125" x="39.99999999999997" y="661.6944444444446" width="18.66666666666667" height="81.43333333333328" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="1.8875" data-y="1" x="161.33333333333331" y="624.3611111111112" width="14.466666666666669" height="18.66666666666663" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="19.8875" data-y="10.7875" x="497.3333333333333" y="445.62777777777785" width="14.46666666666664" height="10.733333333333348" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="0" data-y="0" x="123.99999999999999" y="643.0277777777778" width="18.66666666666667" height="18.666666666666742" fill="red" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="10" data-y="10" x="310.66666666666663" y="456.3611111111112" width="18.666666666666686" height="18.66666666666663" fill="red" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="20" data-y="20" x="497.3333333333333" y="269.6944444444445" width="18.666666666666686" height="18.666666666666686" fill="red" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="1" data-y="1" x="142.66666666666666" y="624.3611111111112" width="18.666666666666657" height="18.66666666666663" fill="red" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="2.25" data-y="-29.77083333333333" x="39.99999999999997" y="988.75" width="270.66666666666663" height="438.66666666666674" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="17.25" data-y="-40.77083333333333" x="310.66666666666663" y="1278.0833333333335" width="289.33333333333337" height="270.6666666666665" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="14.5" data-y="-25.27083333333333" x="310.66666666666663" y="988.75" width="186.66666666666669" height="270.66666666666674" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="14.924999999999997" data-y="-33.02083333333333" x="376.9333333333333" y="1259.4166666666667" width="70" height="18.666666666666742" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="18.5375" data-y="-33.02083333333333" x="446.9333333333334" y="1259.4166666666667" width="64.86666666666656" height="18.666666666666742" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="2.75" data-y="-45.77083333333333" x="58.66666666666664" y="1464.75" width="252" height="84" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="22.75" data-y="-24.983333333333327" x="516" y="988.75" width="84" height="259.9333333333334" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="-2.75" data-y="-42.52083333333333" x="39.99999999999997" y="1427.4166666666667" width="84.00000000000001" height="37.33333333333326" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="5.275" data-y="-42.52083333333333" x="175.79999999999998" y="1427.4166666666667" width="112.00000000000003" height="37.33333333333326" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="11.775" data-y="-33.02083333333333" x="329.3333333333333" y="1259.4166666666667" width="47.60000000000002" height="18.666666666666742" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="22.6375" data-y="-32.73333333333333" x="511.79999999999995" y="1248.6833333333334" width="88.20000000000005" height="29.40000000000009" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="8.8875" data-y="-42.52083333333333" x="287.79999999999995" y="1427.4166666666667" width="22.866666666666674" height="37.33333333333326" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="0" data-y="-42.02083333333333" x="123.99999999999999" y="1427.4166666666667" width="18.66666666666667" height="18.666666666666742" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="1.3875" data-y="-43.02083333333333" x="142.66666666666666" y="1446.0833333333335" width="33.133333333333326" height="18.666666666666515" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="20" data-y="-27.733333333333327" x="497.3333333333333" y="1091.4166666666667" width="18.666666666666686" height="157.26666666666665" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="20" data-y="-20.27083333333333" x="497.3333333333333" y="988.75" width="18.666666666666686" height="84" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="-4.5" data-y="-45.70208333333333" x="39.99999999999997" y="1464.75" width="18.66666666666667" height="81.4333333333334" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="1.8875" data-y="-42.02083333333333" x="161.33333333333331" y="1427.4166666666667" width="14.466666666666669" height="18.666666666666742" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="19.8875" data-y="-32.23333333333333" x="497.3333333333333" y="1248.6833333333334" width="14.46666666666664" height="10.733333333333348" fill="#dbeafe" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="10" data-y="-33.02083333333333" x="310.66666666666663" y="1259.4166666666667" width="18.666666666666686" height="18.666666666666742" fill="#fef3c7" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="0" data-y="-43.02083333333333" x="123.99999999999999" y="1446.0833333333335" width="18.66666666666667" height="18.666666666666515" fill="#fef3c7" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="1" data-y="-42.02083333333333" x="142.66666666666666" y="1427.4166666666667" width="18.666666666666657" height="18.666666666666742" fill="#fef3c7" stroke="black" stroke-width="0.05357142857142857"/></g><g><rect data-type="rect" data-label="node" data-x="20" data-y="-23.02083333333333" x="497.3333333333333" y="1072.75" width="18.666666666666686" height="18.666666666666742" fill="#fef3c7" stroke="black" stroke-width="0.05357142857142857"/></g><text data-type="text" data-label="Layer z=0" data-x="0" data-y="28.916666666666664" x="133.33333333333331" y="112.58333333333348" fill="black" font-size="9.333333333333334" font-family="sans-serif" text-anchor="end" dominant-baseline="text-before-edge">Layer z=0</text><text data-type="text" data-label="Layer z=1" data-x="0" data-y="-14.104166666666664" x="133.33333333333331" y="915.6388888888889" fill="black" font-size="9.333333333333334" font-family="sans-serif" text-anchor="end" dominant-baseline="text-before-edge">Layer z=1</text><g id="crosshair" style="display: none"><line id="crosshair-h" y1="0" y2="1652" stroke="#666" stroke-width="0.5"/><line id="crosshair-v" x1="0" x2="640" stroke="#666" stroke-width="0.5"/><text id="coordinates" font-family="monospace" font-size="12" fill="#666"></text></g><script><![CDATA[
+<svg width="640" height="1652" viewBox="0 0 640 1652" xmlns="http://www.w3.org/2000/svg"><rect width="100%" height="100%" fill="white"/><g><polyline data-points="-5,-5 25,-5 25,25 -5,25 -5,-5" data-type="line" data-label="bounds" points="40,745.6944444444446 600,745.6944444444446 600,185.69444444444457 40,185.69444444444457 40,745.6944444444446" fill="none" stroke="#111827" stroke-width="1.8666666666666665"/></g><g><polyline data-points="-5,-48.02083333333333 25,-48.02083333333333 25,-18.02083333333333 -5,-18.02083333333333 -5,-48.02083333333333" data-type="line" data-label="bounds" points="40,1548.75 600,1548.75 600,988.75 40,988.75 40,1548.75" fill="none" stroke="#111827" stroke-width="1.8666666666666665"/></g><g><rect data-type="rect" data-label="node" data-x="2.25" data-y="13.25" x="40" y="185.69444444444457" width="270.66666666666663" height="438.66666666666663" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="17.25" data-y="2.25" x="310.66666666666663" y="475.0277777777779" width="289.33333333333337" height="270.6666666666667" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="14.5" data-y="17.75" x="310.66666666666663" y="185.69444444444457" width="186.66666666666663" height="270.66666666666663" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="14.925" data-y="10" x="376.9333333333333" y="456.3611111111112" width="70" height="18.666666666666686" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="18.5375" data-y="10" x="446.9333333333333" y="456.3611111111112" width="64.86666666666667" height="18.666666666666686" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="2.7500000000000004" data-y="-2.75" x="58.66666666666667" y="661.6944444444446" width="251.99999999999994" height="84" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="22.75" data-y="18.0375" x="516" y="185.69444444444457" width="84" height="259.9333333333333" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="-2.75" data-y="0.5" x="40" y="624.3611111111112" width="83.99999999999999" height="37.33333333333337" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="5.275" data-y="0.5" x="175.79999999999998" y="624.3611111111112" width="111.99999999999997" height="37.33333333333337" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="11.774999999999999" data-y="10" x="329.33333333333326" y="456.3611111111112" width="47.599999999999966" height="18.666666666666686" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="22.637500000000003" data-y="10.2875" x="511.79999999999995" y="445.6277777777779" width="88.20000000000005" height="29.399999999999977" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="8.8875" data-y="0.5" x="287.79999999999995" y="624.3611111111112" width="22.866666666666674" height="37.33333333333337" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="0" data-y="1" x="123.99999999999999" y="624.3611111111112" width="18.66666666666667" height="18.66666666666663" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="1.3875000000000002" data-y="0" x="142.66666666666666" y="643.0277777777778" width="33.133333333333326" height="18.666666666666742" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="20" data-y="15.2875" x="497.33333333333326" y="288.36111111111126" width="18.666666666666742" height="157.26666666666665" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="20" data-y="22.75" x="497.33333333333326" y="185.69444444444457" width="18.666666666666742" height="84" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="-4.5" data-y="-2.68125" x="40" y="661.6944444444446" width="18.66666666666667" height="81.43333333333328" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="1.8875000000000002" data-y="1" x="161.33333333333331" y="624.3611111111112" width="14.466666666666669" height="18.66666666666663" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="19.887500000000003" data-y="10.7875" x="497.33333333333326" y="445.6277777777779" width="14.466666666666754" height="10.733333333333292" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="0" data-y="0" x="123.99999999999999" y="643.0277777777778" width="18.66666666666667" height="18.666666666666742" fill="red" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="10" data-y="10" x="310.66666666666663" y="456.3611111111112" width="18.66666666666663" height="18.666666666666686" fill="red" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="20" data-y="20" x="497.33333333333326" y="269.69444444444457" width="18.666666666666742" height="18.666666666666686" fill="red" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="1" data-y="1" x="142.66666666666666" y="624.3611111111112" width="18.666666666666657" height="18.66666666666663" fill="red" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="2.25" data-y="-29.77083333333333" x="40" y="988.75" width="270.66666666666663" height="438.6666666666665" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="17.25" data-y="-40.77083333333333" x="310.66666666666663" y="1278.0833333333333" width="289.33333333333337" height="270.66666666666674" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="14.5" data-y="-25.27083333333333" x="310.66666666666663" y="988.75" width="186.66666666666663" height="270.6666666666665" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="14.925" data-y="-33.02083333333333" x="376.9333333333333" y="1259.4166666666665" width="70" height="18.666666666666742" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="18.5375" data-y="-33.02083333333333" x="446.9333333333333" y="1259.4166666666665" width="64.86666666666667" height="18.666666666666742" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="2.7500000000000004" data-y="-45.77083333333333" x="58.66666666666667" y="1464.75" width="251.99999999999994" height="84" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="22.75" data-y="-24.983333333333327" x="516" y="988.75" width="84" height="259.93333333333317" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="-2.75" data-y="-42.52083333333333" x="40" y="1427.4166666666665" width="83.99999999999999" height="37.333333333333485" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="5.275" data-y="-42.52083333333333" x="175.79999999999998" y="1427.4166666666665" width="111.99999999999997" height="37.333333333333485" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="11.774999999999999" data-y="-33.02083333333333" x="329.33333333333326" y="1259.4166666666665" width="47.599999999999966" height="18.666666666666742" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="22.637500000000003" data-y="-32.73333333333333" x="511.79999999999995" y="1248.6833333333332" width="88.20000000000005" height="29.40000000000009" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="8.8875" data-y="-42.52083333333333" x="287.79999999999995" y="1427.4166666666665" width="22.866666666666674" height="37.333333333333485" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="0" data-y="-42.02083333333333" x="123.99999999999999" y="1427.4166666666665" width="18.66666666666667" height="18.666666666666742" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="1.3875000000000002" data-y="-43.02083333333333" x="142.66666666666666" y="1446.0833333333333" width="33.133333333333326" height="18.666666666666742" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="20" data-y="-27.733333333333327" x="497.33333333333326" y="1091.4166666666665" width="18.666666666666742" height="157.26666666666665" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="20" data-y="-20.27083333333333" x="497.33333333333326" y="988.75" width="18.666666666666742" height="84" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="-4.5" data-y="-45.70208333333333" x="40" y="1464.75" width="18.66666666666667" height="81.43333333333317" fill="#dbeafe" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="10" data-y="-33.02083333333333" x="310.66666666666663" y="1259.4166666666665" width="18.66666666666663" height="18.666666666666742" fill="#fef3c7" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="0" data-y="-43.02083333333333" x="123.99999999999999" y="1446.0833333333333" width="18.66666666666667" height="18.666666666666742" fill="#fef3c7" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="1.3875000000000002" data-y="-42.02083333333333" x="142.66666666666666" y="1427.4166666666665" width="33.133333333333326" height="18.666666666666742" fill="#fef3c7" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="19.887500000000003" data-y="-32.23333333333333" x="497.33333333333326" y="1248.6833333333332" width="14.466666666666754" height="10.733333333333348" fill="#fef3c7" stroke="black" stroke-width="0.053571428571428575"/></g><g><rect data-type="rect" data-label="node" data-x="20" data-y="-23.02083333333333" x="497.33333333333326" y="1072.75" width="18.666666666666742" height="18.666666666666515" fill="#fef3c7" stroke="black" stroke-width="0.053571428571428575"/></g><text data-type="text" data-label="Layer z=0" data-x="0" data-y="28.916666666666664" x="133.33333333333331" y="112.58333333333348" fill="black" font-size="9.333333333333332" font-family="sans-serif" text-anchor="end" dominant-baseline="text-before-edge">Layer z=0</text><text data-type="text" data-label="Layer z=1" data-x="0" data-y="-14.104166666666664" x="133.33333333333331" y="915.6388888888889" fill="black" font-size="9.333333333333332" font-family="sans-serif" text-anchor="end" dominant-baseline="text-before-edge">Layer z=1</text><g id="crosshair" style="display: none"><line id="crosshair-h" y1="0" y2="1652" stroke="#666" stroke-width="0.5"/><line id="crosshair-v" x1="0" x2="640" stroke="#666" stroke-width="0.5"/><text id="coordinates" font-family="monospace" font-size="12" fill="#666"></text></g><script><![CDATA[
               document.currentScript.parentElement.addEventListener('mousemove', (e) => {
                 const svg = e.currentTarget;
                 const rect = svg.getBoundingClientRect();
@@ -20,7 +20,7 @@
                 v.setAttribute('y2', '1652');
 
                 // Calculate real coordinates using inverse transformation
-                const matrix = {"a":18.666666666666668,"c":0,"e":133.33333333333331,"b":0,"d":-18.666666666666668,"f":652.3611111111112};
+                const matrix = {"a":18.666666666666664,"c":0,"e":133.33333333333331,"b":0,"d":-18.666666666666664,"f":652.3611111111112};
                 // Manually invert and apply the affine transform
                 // Since we only use translate and scale, we can directly compute:
                 // x' = (x - tx) / sx

package/tsconfig.json

@@ -8,7 +8,11 @@
     "jsx": "react-jsx",
     "allowJs": true,
     "paths": {
-      "lib/*": ["./lib/*"]
+      "lib/*": ["./lib/*"],
+      "components/*": ["./components/*"],
+      "tests/*": ["./tests/*"],
+      "pages/*": ["./pages/*"],
+      "utils/*": ["./utils/*"]
     },
     "baseUrl": ".",
 

package/vite.config.ts

@@ -8,6 +8,10 @@ export default defineConfig({
   resolve: {
     alias: {
       lib: path.resolve(__dirname, "lib"),
+      components: path.resolve(__dirname, "components"),
+      tests: path.resolve(__dirname, "tests"),
+      pages: path.resolve(__dirname, "pages"),
+      utils: path.resolve(__dirname, "utils"),
     },
   },
 })

package/lib/solvers/AdjacentLayerContainmentMergeSolver/AdjacentLayerContainmentMergeSolver.ts

@@ -1,456 +0,0 @@
-import { BaseSolver } from "@tscircuit/solver-utils"
-import type { GraphicsObject } from "graphics-debug"
-import type { XYRect } from "lib/rectdiff-types"
-import type { CapacityMeshNode } from "lib/types/capacity-mesh-types"
-import type { SimpleRouteJson } from "lib/types/srj-types"
-import { getColorForZLayer } from "lib/utils/getColorForZLayer"
-import { EPS, overlaps, subtractRect2D } from "lib/utils/rectdiff-geometry"
-
-type AdjacentLayerContainmentMergeSolverInput = {
-  meshNodes: CapacityMeshNode[]
-  simpleRouteJson: SimpleRouteJson
-  minFragmentArea?: number
-}
-
-const DEFAULT_MIN_FRAGMENT_AREA = 0.2 ** 2
-
-const nodeToRect = (node: CapacityMeshNode): XYRect => ({
-  x: node.center.x - node.width / 2,
-  y: node.center.y - node.height / 2,
-  width: node.width,
-  height: node.height,
-})
-
-const rectArea = (rect: XYRect) => rect.width * rect.height
-
-const cloneNode = (node: CapacityMeshNode): CapacityMeshNode => ({
-  ...node,
-  center: { ...node.center },
-  availableZ: [...node.availableZ],
-})
-
-const cloneNodeWithRect = (
-  node: CapacityMeshNode,
-  rect: XYRect,
-  capacityMeshNodeId: string,
-): CapacityMeshNode => ({
-  ...node,
-  capacityMeshNodeId,
-  center: {
-    x: rect.x + rect.width / 2,
-    y: rect.y + rect.height / 2,
-  },
-  width: rect.width,
-  height: rect.height,
-  availableZ: [...node.availableZ],
-  layer: `z${node.availableZ.join(",")}`,
-})
-
-const clonePromotedNodeWithRect = (
-  node: CapacityMeshNode,
-  rect: XYRect,
-  capacityMeshNodeId: string,
-  availableZ: number[],
-): CapacityMeshNode => ({
-  ...node,
-  capacityMeshNodeId,
-  center: {
-    x: rect.x + rect.width / 2,
-    y: rect.y + rect.height / 2,
-  },
-  width: rect.width,
-  height: rect.height,
-  availableZ: [...availableZ],
-  layer: `z${availableZ.join(",")}`,
-})
-
-const isFreeNode = (node: CapacityMeshNode) =>
-  !node._containsObstacle && !node._containsTarget
-
-const isSingletonNodeOnLayer = (node: CapacityMeshNode, z: number) =>
-  node.availableZ.length === 1 && node.availableZ[0] === z
-
-const sameRect = (a: XYRect, b: XYRect) =>
-  Math.abs(a.x - b.x) <= EPS &&
-  Math.abs(a.y - b.y) <= EPS &&
-  Math.abs(a.width - b.width) <= EPS &&
-  Math.abs(a.height - b.height) <= EPS
-
-const subtractRects = (target: XYRect, cutters: XYRect[]) => {
-  let remaining: XYRect[] = [target]
-
-  for (const cutter of cutters) {
-    if (remaining.length === 0) return remaining
-
-    const nextRemaining: XYRect[] = []
-    for (const piece of remaining) {
-      nextRemaining.push(...subtractRect2D(piece, cutter))
-    }
-    remaining = nextRemaining
-  }
-
-  return remaining
-}
-
-const isFullyCoveredByRects = (target: XYRect, coveringRects: XYRect[]) => {
-  return subtractRects(target, coveringRects).length === 0
-}
-
-const sortAndDedupeCuts = (values: number[]) => {
-  const sorted = [...values].sort((a, b) => a - b)
-  const out: number[] = []
-
-  for (const value of sorted) {
-    const last = out[out.length - 1]
-    if (last == null || Math.abs(last - value) > EPS) {
-      out.push(value)
-    }
-  }
-
-  return out
-}
-
-const partitionRectByRects = (target: XYRect, supportRects: XYRect[]) => {
-  const xCuts = [target.x, target.x + target.width]
-  const yCuts = [target.y, target.y + target.height]
-  const targetMaxX = target.x + target.width
-  const targetMaxY = target.y + target.height
-
-  for (const rect of supportRects) {
-    const x0 = Math.max(target.x, rect.x)
-    const x1 = Math.min(targetMaxX, rect.x + rect.width)
-    const y0 = Math.max(target.y, rect.y)
-    const y1 = Math.min(targetMaxY, rect.y + rect.height)
-
-    if (x1 <= x0 + EPS || y1 <= y0 + EPS) continue
-
-    xCuts.push(x0, x1)
-    yCuts.push(y0, y1)
-  }
-
-  const xs = sortAndDedupeCuts(xCuts)
-  const ys = sortAndDedupeCuts(yCuts)
-  const cells: XYRect[] = []
-
-  for (let xi = 0; xi < xs.length - 1; xi++) {
-    const x0 = xs[xi]!
-    const x1 = xs[xi + 1]!
-
-    if (x1 <= x0 + EPS) continue
-
-    for (let yi = 0; yi < ys.length - 1; yi++) {
-      const y0 = ys[yi]!
-      const y1 = ys[yi + 1]!
-
-      if (y1 <= y0 + EPS) continue
-
-      cells.push({
-        x: x0,
-        y: y0,
-        width: x1 - x0,
-        height: y1 - y0,
-      })
-    }
-  }
-
-  return cells
-}
-
-const canMergeHorizontally = (a: XYRect, b: XYRect) =>
-  Math.abs(a.y - b.y) <= EPS &&
-  Math.abs(a.height - b.height) <= EPS &&
-  Math.abs(a.x + a.width - b.x) <= EPS
-
-const canMergeVertically = (a: XYRect, b: XYRect) =>
-  Math.abs(a.x - b.x) <= EPS &&
-  Math.abs(a.width - b.width) <= EPS &&
-  Math.abs(a.y + a.height - b.y) <= EPS
-
-const mergeTouchingRects = (rects: XYRect[]) => {
-  const out = rects.map((rect) => ({ ...rect }))
-  let changed = true
-
-  while (changed) {
-    changed = false
-
-    outer: for (let i = 0; i < out.length; i++) {
-      for (let j = i + 1; j < out.length; j++) {
-        const a = out[i]!
-        const b = out[j]!
-
-        if (canMergeHorizontally(a, b) || canMergeHorizontally(b, a)) {
-          const merged: XYRect = {
-            x: Math.min(a.x, b.x),
-            y: a.y,
-            width: a.width + b.width,
-            height: a.height,
-          }
-          out.splice(j, 1)
-          out.splice(i, 1, merged)
-          changed = true
-          break outer
-        }
-
-        if (canMergeVertically(a, b) || canMergeVertically(b, a)) {
-          const merged: XYRect = {
-            x: a.x,
-            y: Math.min(a.y, b.y),
-            width: a.width,
-            height: a.height + b.height,
-          }
-          out.splice(j, 1)
-          out.splice(i, 1, merged)
-          changed = true
-          break outer
-        }
-      }
-    }
-  }
-
-  return out
-}
-
-const isPromotableRect = (params: {
-  rect: XYRect
-  viaMinSize: number
-  minFragmentArea: number
-}) => {
-  const { rect, viaMinSize, minFragmentArea } = params
-
-  return (
-    rect.width > EPS &&
-    rect.height > EPS &&
-    rectArea(rect) + EPS >= minFragmentArea &&
-    rect.width + EPS >= viaMinSize &&
-    rect.height + EPS >= viaMinSize
-  )
-}
-
-const isResidualRect = (rect: XYRect, minFragmentArea: number) =>
-  rect.width > EPS &&
-  rect.height > EPS &&
-  rectArea(rect) + EPS >= minFragmentArea
-
-const computePromotablePieces = (params: {
-  target: XYRect
-  supportRects: XYRect[]
-  viaMinSize: number
-  minFragmentArea: number
-}) => {
-  const { target, supportRects, viaMinSize, minFragmentArea } = params
-  const overlappingSupports = supportRects.filter((rect) =>
-    overlaps(rect, target),
-  )
-
-  if (overlappingSupports.length === 0) return []
-
-  if (
-    isFullyCoveredByRects(target, overlappingSupports) &&
-    isPromotableRect({ rect: target, viaMinSize, minFragmentArea })
-  ) {
-    return [target]
-  }
-
-  const partitioned = partitionRectByRects(target, overlappingSupports)
-  const coveredPieces = partitioned.filter((piece) =>
-    isFullyCoveredByRects(piece, overlappingSupports),
-  )
-
-  if (coveredPieces.length === 0) return []
-
-  const mergedCoveredPieces = mergeTouchingRects(coveredPieces)
-
-  return mergedCoveredPieces.filter(
-    (piece) =>
-      isFullyCoveredByRects(piece, overlappingSupports) &&
-      isPromotableRect({ rect: piece, viaMinSize, minFragmentArea }),
-  )
-}
-
-export class AdjacentLayerContainmentMergeSolver extends BaseSolver {
-  private outputNodes: CapacityMeshNode[] = []
-  private promotedNodeIds = new Set<string>()
-  private residualNodeIds = new Set<string>()
-
-  constructor(private input: AdjacentLayerContainmentMergeSolverInput) {
-    super()
-  }
-
-  override _setup() {
-    this.outputNodes = this.input.meshNodes.map(cloneNode)
-    this.promotedNodeIds.clear()
-    this.residualNodeIds.clear()
-  }
-
-  override _step() {
-    this.outputNodes = this.processAdjacentLayerContainmentMerges()
-    this.solved = true
-  }
-
-  private processAdjacentLayerContainmentMerges(): CapacityMeshNode[] {
-    const srj = this.input.simpleRouteJson
-    const layerCount = Math.max(1, srj.layerCount || 1)
-
-    if (layerCount < 2) {
-      return this.input.meshNodes.map(cloneNode)
-    }
-
-    const viaMinSize = Math.max(srj.minViaDiameter ?? 0, srj.minTraceWidth || 0)
-    const minFragmentArea = Math.max(
-      EPS,
-      this.input.minFragmentArea ?? DEFAULT_MIN_FRAGMENT_AREA,
-    )
-
-    let workingNodes = this.input.meshNodes.map(cloneNode)
-    let nextResidualId = 0
-    let nextPromotedId = 0
-
-    for (let lowerZ = 0; lowerZ < layerCount - 1; lowerZ++) {
-      const upperZ = lowerZ + 1
-      const mutableNodes = workingNodes.filter(
-        (node) =>
-          isFreeNode(node) &&
-          (isSingletonNodeOnLayer(node, lowerZ) ||
-            isSingletonNodeOnLayer(node, upperZ)),
-      )
-
-      if (mutableNodes.length === 0) continue
-
-      const immutableNodes = workingNodes.filter(
-        (node) => !mutableNodes.includes(node),
-      )
-      const supportRectsByLayer = new Map<number, XYRect[]>()
-
-      supportRectsByLayer.set(
-        lowerZ,
-        mutableNodes
-          .filter((node) => isSingletonNodeOnLayer(node, lowerZ))
-          .map(nodeToRect),
-      )
-      supportRectsByLayer.set(
-        upperZ,
-        mutableNodes
-          .filter((node) => isSingletonNodeOnLayer(node, upperZ))
-          .map(nodeToRect),
-      )
-
-      const promotedRects: XYRect[] = []
-      const promotedNodes: CapacityMeshNode[] = []
-      const candidateNodes = mutableNodes
-        .filter((node) =>
-          isPromotableRect({
-            rect: nodeToRect(node),
-            viaMinSize,
-            minFragmentArea,
-          }),
-        )
-        .sort((a, b) => rectArea(nodeToRect(b)) - rectArea(nodeToRect(a)))
-
-      for (const candidate of candidateNodes) {
-        const candidateRect = nodeToRect(candidate)
-        const candidatePieces = subtractRects(
-          candidateRect,
-          promotedRects,
-        ).filter((piece) => isResidualRect(piece, minFragmentArea))
-        const candidateZ = candidate.availableZ[0]!
-        const oppositeZ = candidateZ === lowerZ ? upperZ : lowerZ
-        const supportRects = supportRectsByLayer.get(oppositeZ) ?? []
-
-        for (const piece of candidatePieces) {
-          const promotablePieces = computePromotablePieces({
-            target: piece,
-            supportRects,
-            viaMinSize,
-            minFragmentArea,
-          })
-
-          for (const promotablePiece of promotablePieces) {
-            promotedRects.push(promotablePiece)
-
-            const promotedNode = clonePromotedNodeWithRect(
-              candidate,
-              promotablePiece,
-              `${candidate.capacityMeshNodeId}-adjacent-merge-${nextPromotedId++}`,
-              [lowerZ, upperZ],
-            )
-            promotedNodes.push(promotedNode)
-            this.promotedNodeIds.add(promotedNode.capacityMeshNodeId)
-          }
-        }
-      }
-
-      const residualNodes: CapacityMeshNode[] = []
-
-      for (const node of mutableNodes) {
-        const nodeRect = nodeToRect(node)
-        const remainingPieces = subtractRects(nodeRect, promotedRects).filter(
-          (piece) => isResidualRect(piece, minFragmentArea),
-        )
-
-        if (
-          remainingPieces.length === 1 &&
-          sameRect(remainingPieces[0]!, nodeRect)
-        ) {
-          residualNodes.push(node)
-          continue
-        }
-
-        for (const piece of remainingPieces) {
-          const residualNode = cloneNodeWithRect(
-            node,
-            piece,
-            `${node.capacityMeshNodeId}-adjacent-residual-${nextResidualId++}`,
-          )
-          residualNodes.push(residualNode)
-          this.residualNodeIds.add(residualNode.capacityMeshNodeId)
-        }
-      }
-
-      workingNodes = [...immutableNodes, ...promotedNodes, ...residualNodes]
-    }
-
-    return workingNodes
-  }
-
-  override getOutput(): { outputNodes: CapacityMeshNode[] } {
-    return { outputNodes: this.outputNodes }
-  }
-
-  override visualize(): GraphicsObject {
-    return {
-      title: "AdjacentLayerContainmentMergeSolver",
-      coordinateSystem: "cartesian",
-      rects: this.outputNodes.map((node) => {
-        const colors = getColorForZLayer(node.availableZ)
-        const isPromoted = this.promotedNodeIds.has(node.capacityMeshNodeId)
-        const isResidual = this.residualNodeIds.has(node.capacityMeshNodeId)
-
-        return {
-          center: node.center,
-          width: node.width,
-          height: node.height,
-          stroke: isPromoted
-            ? "rgba(245, 158, 11, 0.95)"
-            : isResidual
-              ? "rgba(37, 99, 235, 0.95)"
-              : colors.stroke,
-          fill: node._containsObstacle
-            ? "rgba(239, 68, 68, 0.35)"
-            : isPromoted
-              ? "rgba(251, 191, 36, 0.28)"
-              : isResidual
-                ? "rgba(59, 130, 246, 0.18)"
-                : colors.fill,
-          layer: `z${node.availableZ.join(",")}`,
-          label: [
-            `node ${node.capacityMeshNodeId}`,
-            `z:${node.availableZ.join(",")}`,
-          ].join("\n"),
-        }
-      }),
-      points: [],
-      lines: [],
-      texts: [],
-    }
-  }
-}