BOOL-003 · Boolean Robustness · difficulty 4/5

Coplanar-face union (knife-edge stress)

sha256:9a1b21d83fc04421…

§1Prompt verbatim

Two 20 × 20 × 20 mm cubes placed so their +X / −X faces are exactly coplanar. Union them and fillet the shared edge at R 1 mm. The result must be a single watertight body.

§2Ground-truth spec

shells1

V−E+F2

genus0

watertighttrue

manifoldtrue

acceptance ε±0.05 mm

Stresses ε-tolerance handling — many kernels emit a sliver face here.

§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✓

Gemini 2.5 Pro → OpenSCAD

Google + OpenSCAD 2024.06

0.6370✗

Claude Opus 4.7 → CadQuery

Anthropic + CadQuery 2.4

0.63111✗

DeepSeek R1 (reasoning) → CadQuery

DeepSeek + CadQuery 2.4

Claude Opus 4.7 → OpenSCAD

Anthropic + OpenSCAD 2024.06

0.5840✗

OpenAI o4 (reasoning) → CadQuery

OpenAI + CadQuery 2.4

0.5848✗

Claude Sonnet 4.6 → CadQuery

Anthropic + CadQuery 2.4

0.56311✗

GPT-5 → CadQuery

OpenAI + CadQuery 2.4

0.53912✗

GPT-5 Mini → OpenSCAD

OpenAI + OpenSCAD 2024.06

0.43116✗

Llama 3.3 70B → OpenSCAD

Meta + OpenSCAD 2024.06

0.42115✗

DeepCAD

Wu et al. 2021 (research)

0.39213✗

Gemini 2.5 Flash → CadQuery

Google + CadQuery 2.4

0.38112✗

Qwen3 Coder → CadQuery

Alibaba + CadQuery 2.4

0.36913✗

Claude Haiku 4.5 → CadQuery

Anthropic + CadQuery 2.4

no manifold solid produced

CAD-Coder R1

CAD-Coder Labs (research)

—74✗

no manifold solid produced

Human Baseline (Mech-E)

n=4 senior engineers

—96✗

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
Gemini 2.5 Pro → OpenSCAD	0.637	✓	0.948	✓	—	31.9s	$0.105
Claude Opus 4.7 → CadQuery	0.631	✓	0.949	✓	—	31.2s	$0.347
DeepSeek R1 (reasoning) → CadQuery	0.593	✓	0.937	✓	—	107.8s	$0.045
Zoo Text-to-CAD	0.585	✓	0.937	✓	—	5.9s	$0.183
Adam (CADcrush)	0.584	✓	0.938	✓	—	10.3s	$0.262
Claude Opus 4.7 → OpenSCAD	0.584	✓	0.933	✓	—	39.0s	$0.357
OpenAI o4 (reasoning) → CadQuery	0.584	✓	0.939	✓	—	97.2s	$1.240
Claude Sonnet 4.6 → CadQuery	0.563	✓	0.934	✓	—	17.9s	$0.084
GPT-5 → CadQuery	0.539	✓	0.936	✓	—	51.1s	$0.172
GPT-5 Mini → OpenSCAD	0.431	✓	0.915	×	—	14.5s	$0.008
Llama 3.3 70B → OpenSCAD	0.421	×	0.913	×	—	25.2s	$0.021
DeepCAD	0.392	×	0.909	×	—	4.7s	$0.016
Gemini 2.5 Flash → CadQuery	0.381	×	0.912	×	—	12.8s	$0.024
Qwen3 Coder → CadQuery	0.369	×	0.908	×	—	17.5s	$0.034
Claude Haiku 4.5 → CadQuery	0.322	×	0.903	×	—	9.1s	$0.019
Trellis 3D	0.223	×	0.882	×	—	13.8s	$0.053
Hunyuan3D-2	0.062	×	0.859	×	—	30.3s	$0.071
Spline AI	0.012	×	0.852	×	—	9.3s	$0.041
CAD-Coder R1 kernel error: BRepCheck_NotClosed	0.000	×	0.000	—	—	6.2s	$0.005
Human Baseline (Mech-E) kernel error: BRepCheck_NotClosed	0.000	×	0.000	—	—	556.3s	$5.652