Kernel rig: construction cases, where an edge crosses a square and a slanted plane, and a parallel edge refused

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

tests/kernel-cases/construction/cov-point-edge-plane-refuses-a-parallel-edge/expected.json

@@ -0,0 +1,8 @@
+{
+ "sources": [],
+ "what": "a box edge parallel to the plane",
+ "source": "analytic",
+ "method": "box 40 x 30 x 20 with a corner at the origin (x 0..40, y 0..30, z 0..20): the edge y 0, z 0 along X never crosses y = 10: refused",
+ "outcome": "refused",
+ "refusal": "the edge is parallel to the plane"
+}

tests/kernel-cases/construction/cov-point-edge-plane-refuses-a-parallel-edge/recipe.json

@@ -0,0 +1,40 @@
+{
+ "commands": [
+  {
+   "command": "solid.box",
+   "params": {
+    "length": 40,
+    "width": 30,
+    "height": 20,
+    "body_name": "Box"
+   }
+  },
+  {
+   "command": "construct.point.edge_plane",
+   "params": {
+    "edge": {
+     "edge": [
+      20,
+      0,
+      0
+     ]
+    },
+    "plane": {
+     "plane": {
+      "origin": [
+       0,
+       10,
+       0
+      ],
+      "normal": [
+       0,
+       1,
+       0
+      ]
+     }
+    },
+    "name": "P"
+   }
+  }
+ ]
+}

tests/kernel-cases/construction/cov-point-edge-plane-slanted-plane/expected.json

@@ -0,0 +1,15 @@
+{
+ "sources": [],
+ "what": "where a box's vertical edge crosses a slanted plane",
+ "source": "analytic",
+ "method": "box 40 x 30 x 20 with a corner at the origin (x 0..40, y 0..30, z 0..20): the edge x 0, y 0 along Z meets x + z = 15 at (0,0,15)",
+ "construction": {
+  "P": {
+   "point": [
+    0,
+    0,
+    15
+   ]
+  }
+ }
+}

tests/kernel-cases/construction/cov-point-edge-plane-slanted-plane/recipe.json

@@ -0,0 +1,40 @@
+{
+ "commands": [
+  {
+   "command": "solid.box",
+   "params": {
+    "length": 40,
+    "width": 30,
+    "height": 20,
+    "body_name": "Box"
+   }
+  },
+  {
+   "command": "construct.point.edge_plane",
+   "params": {
+    "edge": {
+     "edge": [
+      0,
+      0,
+      10
+     ]
+    },
+    "plane": {
+     "plane": {
+      "origin": [
+       0,
+       0,
+       15
+      ],
+      "normal": [
+       1,
+       0,
+       1
+      ]
+     }
+    },
+    "name": "P"
+   }
+  }
+ ]
+}

tests/kernel-cases/construction/cov-point-edge-plane-square-cut/expected.json

@@ -0,0 +1,15 @@
+{
+ "sources": [],
+ "what": "where a box edge crosses a plane square to it",
+ "source": "analytic",
+ "method": "box 40 x 30 x 20 with a corner at the origin (x 0..40, y 0..30, z 0..20): the edge y 0, z 0 along X meets x = 12 at (12,0,0)",
+ "construction": {
+  "P": {
+   "point": [
+    12,
+    0,
+    0
+   ]
+  }
+ }
+}

tests/kernel-cases/construction/cov-point-edge-plane-square-cut/recipe.json

@@ -0,0 +1,40 @@
+{
+ "commands": [
+  {
+   "command": "solid.box",
+   "params": {
+    "length": 40,
+    "width": 30,
+    "height": 20,
+    "body_name": "Box"
+   }
+  },
+  {
+   "command": "construct.point.edge_plane",
+   "params": {
+    "edge": {
+     "edge": [
+      20,
+      0,
+      0
+     ]
+    },
+    "plane": {
+     "plane": {
+      "origin": [
+       12,
+       0,
+       0
+      ],
+      "normal": [
+       1,
+       0,
+       0
+      ]
+     }
+    },
+    "name": "P"
+   }
+  }
+ ]
+}