Enclosure fit and access
The selected CAD arrangement is evaluated against explicit tolerance and service assumptions. Rejected alternatives remain in the results.
All observations here are synthetic or theoretical. The 500-row inspection file is generated from bounded inputs and a fixed seed; it is not shop-floor measurement data.

| Check | Expected | Observed | Matched |
|---|---|---|---|
| Declared bend compensation interval fits the panel | positive total panel clearance | 0.15575222039230616 | True |
| Wider K interval is rejected | negative total panel clearance | -0.22123889803846894 | True |
| Selected post setback removes interpenetration | zero positive-volume overlaps | [] | True |
| Posts near the sheet wall intersect formed bends | four shell/post intersections | [{"first": "u-shell", "second": "corner-post-1", "intersection_mm3": 6.234382007756377}, {"first": "u-shell", "second": "corner-post-2", "intersection_mm3": 6.234382007756377}, {"first": "u-shell", "second": "corner-post-3", "intersection_mm3": 6.234382007756377}, {"first": "u-shell", "second": "corner-post-4", "intersection_mm3": 6.234382007756377}] | True |
| Tray plus electronics clear fixed enclosure over service path | max intersection < 1e-4 mm3 | 0.0 | True |
| 10 mm-diameter driver clears the reference PCB envelope | four tool intersections below 1e-4 mm3 | [0.0, 0.0, 0.0, 0.0] | True |
| 24 mm-diameter driver is rejected | at least one electronics collision | [188.22360673086231, 188.22360673086197, 188.2236067308623, 188.2236067308624] | True |
| Selected R25 cable envelope clears electronics | positive margin including 0.8 mm stack | 2.7 | True |
| R35 cable is rejected | negative rear-space margin | -7.3 | True |
| Independent screw/hole position budgets fit radial clearance | positive remaining radial clearance | 0.06999999999999995 | True |
| Tray spacer screw tips remain separated | gap >= 1 mm | 1.0 | True |
| Every signed manufacturing corner fits | 32 positive fit clearances | {"cases": 32, "minimum_mm": 0.15575222039230618} | True |
| Enumerated minimum equals the additive worst case | absolute difference <1e-12 mm | 2.7755575615628914e-17 | True |
| Seeded synthetic observations stay inside the analytic fit interval | 500 positive clearances, all above worst-case lower bound | {"count": 500, "minimum_mm": 0.2501846326324252} | True |
Method
Panel gap = 2*clearance - blank_error - 2*flange_error
- pi*thickness*K_error - panel_width_errorThe bound keeps error contributions additive. All 32 sign corners independently recover the same minimum. The 500 synthetic draws demonstrate the implementation inside those bounds; they do not establish production yield. The old post arrangement, larger cable radius and oversized driver fail their specified geometry requirements. Their checks pass because the model correctly rejects them.
The tray sweep holds connector envelopes and posts fixed while translating the tray and electronics upward. The user removes the lid, unplugs the harness and removes four tray screws before lifting; this is not a simulation of removing still-connected wiring.
Reproduce
python run.py python complete_validation.py