BOOL-001 · Boolean Robustness · difficulty 4/5

Tangent cylinder onto cube (line-of-contact)

sha256:a7c33b5db00e1f01…

§1Prompt verbatim

Place a Ø 20 × 40 mm cylinder on the +Z face of a 60 × 60 × 60 mm cube so the cylinder is internally tangent to one cube edge along its full length. Union into a single watertight body. The shared seam is exactly one straight edge.

§2Ground-truth spec

shells1

V−E+F2

genus0

watertighttrue

manifoldtrue

acceptance ε±0.02 mm

Tangent contact stresses kernel ε-handling — many emit a sliver face along the seam.

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

GPT-5 → CadQuery

OpenAI + CadQuery 2.4

0.6179✗

Claude Opus 4.7 → CadQuery

Anthropic + CadQuery 2.4

0.6038✗

OpenAI o4 (reasoning) → CadQuery

OpenAI + CadQuery 2.4

0.5969✗

Gemini 2.5 Pro → OpenSCAD

Google + OpenSCAD 2024.06

0.5690✗

Claude Sonnet 4.6 → CadQuery

Anthropic + CadQuery 2.4

0.55713✗

DeepSeek R1 (reasoning) → CadQuery

DeepSeek + CadQuery 2.4

0.53210✗

CAD-Coder R1

CAD-Coder Labs (research)

0.53111✗

Llama 3.3 70B → OpenSCAD

Meta + OpenSCAD 2024.06

0.52211✗

Claude Opus 4.7 → OpenSCAD

Anthropic + OpenSCAD 2024.06

Gemini 2.5 Flash → CadQuery

Google + CadQuery 2.4

0.49211✗

DeepCAD

Wu et al. 2021 (research)

Claude Haiku 4.5 → CadQuery

Anthropic + CadQuery 2.4

0.41716✗

Qwen3 Coder → CadQuery

Alibaba + CadQuery 2.4

0.39611✗

GPT-5 Mini → OpenSCAD

OpenAI + OpenSCAD 2024.06

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
Human Baseline (Mech-E)	0.810	✓	0.966	✓	1.000	—	735.2s	$6.952
GPT-5 → CadQuery	0.617	✓	0.942	✓	0.000	—	28.9s	$0.212
Claude Opus 4.7 → CadQuery	0.603	✓	0.947	✓	0.000	—	33.7s	$0.350
OpenAI o4 (reasoning) → CadQuery	0.596	✓	0.940	✓	0.000	—	86.4s	$1.124
Gemini 2.5 Pro → OpenSCAD	0.569	✓	0.941	✓	0.000	—	32.5s	$0.093
Claude Sonnet 4.6 → CadQuery	0.557	✓	0.931	✓	0.000	—	22.2s	$0.073
DeepSeek R1 (reasoning) → CadQuery	0.532	✓	0.933	✓	0.000	—	102.6s	$0.039
CAD-Coder R1	0.531	✓	0.937	✓	0.000	—	6.2s	$0.006
Llama 3.3 70B → OpenSCAD	0.522	✓	0.929	✓	0.000	—	20.6s	$0.019
Claude Opus 4.7 → OpenSCAD	0.519	✓	0.935	✓	0.000	—	37.5s	$0.338
Adam (CADcrush)	0.514	✓	0.931	✓	0.000	—	6.7s	$0.302
Gemini 2.5 Flash → CadQuery	0.492	✓	0.926	×	0.000	—	12.2s	$0.022
DeepCAD	0.474	✓	0.925	×	0.000	—	5.4s	$0.018
Zoo Text-to-CAD	0.459	✓	0.925	×	0.000	—	7.5s	$0.210
Claude Haiku 4.5 → CadQuery	0.417	×	0.912	×	0.000	—	7.2s	$0.017
Qwen3 Coder → CadQuery	0.396	×	0.913	×	0.000	—	22.8s	$0.030
GPT-5 Mini → OpenSCAD	0.369	×	0.908	×	0.000	—	16.4s	$0.012
Hunyuan3D-2	0.231	×	0.885	×	0.000	—	42.1s	$0.075
Spline AI	0.058	×	0.858	×	0.000	—	7.2s	$0.040
Trellis 3D	0.000	×	0.850	×	0.000	—	11.4s	$0.047