BOOL-009 · Boolean Robustness · difficulty 5/5

High-genus subtraction (lattice block)

sha256:771ec0aa1bd2c6f3…

§1Prompt verbatim

Subtract a 7 × 7 × 7 array of 4 mm cylindrical holes from a 60 × 60 × 60 mm cube. Holes spaced at 8 mm pitch, fully through. Genus = 343.

§2Ground-truth spec

shells1

V−E+F-684

genus343

watertighttrue

manifoldtrue

acceptance ε±0.02 mm

§3Reference render

canonical reference · drag to orbit, scroll to zoom

Visualisation is rebuilt in-browser from the canonical parametric description. Scoring is performed against the held-out reference STEP file (sha-256 fingerprint above).

§4Per-agent renders

reference + 10 agent outputs · scored against the held-out STEP

vol IoU · BREP · manifold

canonical reference

REFERENCE

canonical · ground truth

1.000100✓

Human Baseline (Mech-E)

n=4 senior engineers

0.6568✗

Claude Sonnet 4.6 → CadQuery

Anthropic + CadQuery 2.4

0.61010✗

GPT-5 Mini → OpenSCAD

OpenAI + OpenSCAD 2024.06

0.58112✗

GPT-5 → CadQuery

OpenAI + CadQuery 2.4

0.52111✗

CAD-Coder R1

CAD-Coder Labs (research)

0.51412✗

Claude Opus 4.7 → OpenSCAD

Anthropic + OpenSCAD 2024.06

0.5060✗

Claude Opus 4.7 → CadQuery

Anthropic + CadQuery 2.4

0.49614✗

Gemini 2.5 Pro → OpenSCAD

Google + OpenSCAD 2024.06

Gemini 2.5 Flash → CadQuery

Google + CadQuery 2.4

0.43014✗

DeepSeek R1 (reasoning) → CadQuery

DeepSeek + CadQuery 2.4

0.39813✗

Qwen3 Coder → CadQuery

Alibaba + CadQuery 2.4

0.34015✗

Llama 3.3 70B → OpenSCAD

Meta + OpenSCAD 2024.06

no manifold solid produced

Zoo Text-to-CAD

Zoo (KittyCAD)

—92✗

no manifold solid produced

DeepCAD

Wu et al. 2021 (research)

—74✗

no manifold solid produced

Claude Haiku 4.5 → CadQuery

Anthropic + CadQuery 2.4

—50✗

no manifold solid produced

OpenAI o4 (reasoning) → CadQuery

OpenAI + CadQuery 2.4

—74✗

Each tile is rebuilt from the canonical parametric description and degraded to match the agent's scored profile (tessellation, non-manifold face removal, dimension scale jitter, missing features). Image-only diffusion models render visually plausible meshes but score in the single digits on BREP fidelity — the geometry is not a manifold solid even when the render reads clean.

§5Per-agent metrics

ranked by Vol IoU · same data as the leaderboard, restricted to this task

Agent	Vol IoU	Watert.	Manif.	Euler-Poincaré Compliance	p50	latency	cost
Human Baseline (Mech-E)	0.656	✓	0.947	✓	—	740.8s	$6.138
Claude Sonnet 4.6 → CadQuery	0.610	✓	0.945	✓	—	20.2s	$0.067
GPT-5 Mini → OpenSCAD	0.581	✓	0.935	✓	—	17.1s	$0.012
GPT-5 → CadQuery	0.521	✓	0.930	✓	—	41.9s	$0.229
CAD-Coder R1	0.514	✓	0.931	✓	—	5.9s	$0.005
Claude Opus 4.7 → OpenSCAD	0.506	✓	0.928	✓	—	36.5s	$0.325
Claude Opus 4.7 → CadQuery	0.496	✓	0.926	×	—	37.1s	$0.389
Gemini 2.5 Pro → OpenSCAD	0.441	✓	0.919	×	—	30.5s	$0.078
Adam (CADcrush)	0.437	✓	0.915	×	—	6.9s	$0.242
Gemini 2.5 Flash → CadQuery	0.430	✓	0.913	×	—	14.1s	$0.018
DeepSeek R1 (reasoning) → CadQuery	0.398	×	0.913	×	—	70.2s	$0.037
Qwen3 Coder → CadQuery	0.340	×	0.903	×	—	15.1s	$0.027
Llama 3.3 70B → OpenSCAD	0.300	×	0.895	×	—	16.9s	$0.022
Trellis 3D	0.170	×	0.876	×	—	8.7s	$0.040
Hunyuan3D-2	0.133	×	0.869	×	—	42.0s	$0.069
Spline AI	0.067	×	0.859	×	—	9.7s	$0.036
Zoo Text-to-CAD kernel error: BRepCheck_NotClosed	0.000	×	0.000	—	—	7.1s	$0.190
DeepCAD kernel error: BRepCheck_NotClosed	0.000	×	0.000	—	—	5.4s	$0.019
Claude Haiku 4.5 → CadQuery kernel error: BRepCheck_NotClosed	0.000	×	0.000	—	—	5.9s	$0.021
OpenAI o4 (reasoning) → CadQuery kernel error: BRepCheck_NotClosed	0.000	×	0.000	—	—	89.9s	$0.918