Kernel rig: construction cases, a point on a vertex or another construction point, and no body refused

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

tests/kernel-cases/construction/cov-point-vertex-box-corner/expected.json

@@ -0,0 +1,15 @@
+{
+ "sources": [],
+ "what": "a point on a box's far corner",
+ "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 vertex nearest (39,29,19) is (40,30,20)",
+ "construction": {
+  "P": {
+   "point": [
+    40,
+    30,
+    20
+   ]
+  }
+ }
+}

tests/kernel-cases/construction/cov-point-vertex-box-corner/recipe.json

@@ -0,0 +1,26 @@
+{
+ "commands": [
+  {
+   "command": "solid.box",
+   "params": {
+    "length": 40,
+    "width": 30,
+    "height": 20,
+    "body_name": "Box"
+   }
+  },
+  {
+   "command": "construct.point.vertex",
+   "params": {
+    "point": {
+     "vertex": [
+      39,
+      29,
+      19
+     ]
+    },
+    "name": "P"
+   }
+  }
+ ]
+}

tests/kernel-cases/construction/cov-point-vertex-of-a-construction-point/expected.json

@@ -0,0 +1,15 @@
+{
+ "sources": [],
+ "what": "a point on another construction point",
+ "source": "analytic",
+ "method": "the point where XY, XZ and YZ meet is the origin; a point on it is too",
+ "construction": {
+  "P": {
+   "point": [
+    0,
+    0,
+    0
+   ]
+  }
+ }
+}

tests/kernel-cases/construction/cov-point-vertex-of-a-construction-point/recipe.json

@@ -0,0 +1,22 @@
+{
+ "commands": [
+  {
+   "command": "construct.point.three_planes",
+   "params": {
+    "a": "XY",
+    "b": "XZ",
+    "c": "YZ",
+    "name": "Pin"
+   }
+  },
+  {
+   "command": "construct.point.vertex",
+   "params": {
+    "point": {
+     "construct_point": "Pin"
+    },
+    "name": "P"
+   }
+  }
+ ]
+}

tests/kernel-cases/construction/cov-point-vertex-refuses-with-no-body/expected.json

@@ -0,0 +1,8 @@
+{
+ "sources": [],
+ "what": "a point on a vertex where there is no body",
+ "source": "analytic",
+ "method": "no body, so no vertex to put it on: refused",
+ "outcome": "refused",
+ "refusal": "there is no vertex"
+}

tests/kernel-cases/construction/cov-point-vertex-refuses-with-no-body/recipe.json

@@ -0,0 +1,17 @@
+{
+ "commands": [
+  {
+   "command": "construct.point.vertex",
+   "params": {
+    "point": {
+     "vertex": [
+      1,
+      2,
+      3
+     ]
+    },
+    "name": "P"
+   }
+  }
+ ]
+}