From bfdb79418cd5696a6cf6ab521527995be23c98ee Mon Sep 17 00:00:00 2001 From: jyviko <2501648+jyviko@users.noreply.github.com> Date: Sat, 31 Oct 2026 08:57:13 -0400 Subject: [PATCH] Kernel rig: the flange beside the ledge graded on a volume range (the flange's two readings of its length) Co-Authored-By: Claude Opus 5.5 --- .../expected.json | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/tests/kernel-cases/sheet-metal/978-edge-flange-beside-a-ledge-as-tall-as-its-setback/expected.json b/tests/kernel-cases/sheet-metal/978-edge-flange-beside-a-ledge-as-tall-as-its-setback/expected.json index b6d90092fd..5f1042e201 100644 --- a/tests/kernel-cases/sheet-metal/978-edge-flange-beside-a-ledge-as-tall-as-its-setback/expected.json +++ b/tests/kernel-cases/sheet-metal/978-edge-flange-beside-a-ledge-as-tall-as-its-setback/expected.json @@ -3,7 +3,11 @@ "tangency-labs/solidcraft#978" ], "what": "a 90 degree inside flange of radius 1 on an edge that has a ledge beside it exactly as tall as the flange's setback (3 mm): sew failed with a degenerate edge", - "source": "invariants", - "method": "T = 2, flange R = 1: setback R + T = 3 and the ledge (x 97..100, y 0..3) is exactly that tall, so the trim line runs along the ledge's top; the right answer is one valid closed body (the ledge goes with the setback strip), with no graded volume because the flange's extent along the ledge has no single reading", - "body_count": 1 + "source": "analytic", + "method": "T = 2, flange R = 1, inside: the setback R + T = 3 strips y 0..3 off the base, and the ledge (x 97..100, y 0..3) lies wholly in that strip, so the base left is x 0..97, y 3..60 (11058). The bend (a quarter annulus of radii 1..3, 2 pi a mm) and the panel (leg 20 - 3 = 17, 34 a mm) run along the edge either as far as the base's remaining edge (97) or the picked edge (100), the reading the case leaves open: V lies between 11058 + 97 (2 pi + 34) = 14965.468975 and 11058 + 100 (2 pi + 34) = 15086.318531; a flange missing, or the base left untrimmed by the setback, falls outside", + "body_count": 1, + "volume_mm3": [ + 14965.468, + 15086.319 + ] } \ No newline at end of file