BOOL-002 · Boolean Robustness · difficulty 2/5

Two interpenetrating spheres (lens intersection)

sha256:31ab02fd9c41ee20…

§1Prompt verbatim

Intersect two Ø 40 mm spheres whose centres are 25 mm apart along X. Output the lens-shaped intersection as a single watertight solid.

§2Ground-truth spec

shells1

V−E+F2

genus0

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✓

GPT-5 → CadQuery

OpenAI + CadQuery 2.4

0.8079✓

OpenAI o4 (reasoning) → CadQuery

OpenAI + CadQuery 2.4

0.74611✓

Human Baseline (Mech-E)

n=4 senior engineers

0.7298✓

DeepSeek R1 (reasoning) → CadQuery

DeepSeek + CadQuery 2.4

CAD-Coder Labs (research)

0.61010✗

Claude Sonnet 4.6 → CadQuery

Anthropic + CadQuery 2.4

0.5858✗

Claude Opus 4.7 → CadQuery

Anthropic + CadQuery 2.4

0.5848✗

Qwen3 Coder → CadQuery

Alibaba + CadQuery 2.4

0.54310✗

GPT-5 Mini → OpenSCAD

OpenAI + OpenSCAD 2024.06

0.52412✗

Claude Opus 4.7 → OpenSCAD

Anthropic + OpenSCAD 2024.06

0.4930✗

Claude Haiku 4.5 → CadQuery

Anthropic + CadQuery 2.4

0.47011✗

Llama 3.3 70B → OpenSCAD

Meta + OpenSCAD 2024.06

0.44812✗

DeepCAD

Wu et al. 2021 (research)

no manifold solid produced

Gemini 2.5 Pro → OpenSCAD

Google + OpenSCAD 2024.06

—18✗

no manifold solid produced

Gemini 2.5 Flash → CadQuery

Google + CadQuery 2.4

—59✗

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	P@1	p50	latency	cost
GPT-5 → CadQuery	0.807	✓	0.976	✓	1.000	—	35.6s	$0.246
OpenAI o4 (reasoning) → CadQuery	0.746	✓	0.957	✓	0.000	—	107.4s	$1.023
Human Baseline (Mech-E)	0.729	✓	0.970	✓	0.000	—	850.2s	$6.673
DeepSeek R1 (reasoning) → CadQuery	0.708	✓	0.958	✓	0.000	—	86.4s	$0.035
Adam (CADcrush)	0.706	✓	0.950	✓	0.000	—	8.4s	$0.307
Zoo Text-to-CAD	0.681	✓	0.958	✓	0.000	—	4.5s	$0.171
CAD-Coder R1	0.610	✓	0.944	✓	0.000	—	7.1s	$0.004
Claude Sonnet 4.6 → CadQuery	0.585	✓	0.944	✓	0.000	—	22.2s	$0.069
Claude Opus 4.7 → CadQuery	0.584	✓	0.942	✓	0.000	—	44.0s	$0.350
Qwen3 Coder → CadQuery	0.543	✓	0.934	✓	0.000	—	17.7s	$0.034
GPT-5 Mini → OpenSCAD	0.524	✓	0.931	✓	0.000	—	15.7s	$0.008
Claude Opus 4.7 → OpenSCAD	0.493	✓	0.923	×	0.000	—	23.0s	$0.346
Claude Haiku 4.5 → CadQuery	0.470	✓	0.924	×	0.000	—	6.0s	$0.022
Llama 3.3 70B → OpenSCAD	0.448	✓	0.920	×	0.000	—	16.9s	$0.024
DeepCAD	0.442	✓	0.920	×	0.000	—	4.6s	$0.017
Trellis 3D	0.231	×	0.884	×	0.000	—	10.7s	$0.054
Hunyuan3D-2	0.192	×	0.877	×	0.000	—	42.9s	$0.059
Spline AI	0.166	×	0.876	×	0.000	—	7.9s	$0.042
Gemini 2.5 Pro → OpenSCAD kernel error: BRepCheck_NotClosed	0.000	×	0.000	—	0.000	—	36.1s	$0.089
Gemini 2.5 Flash → CadQuery kernel error: BRepCheck_NotClosed	0.000	×	0.000	—	0.000	—	13.8s	$0.018