Burr
Burr is design-rule checking for CAD-as-code.
It gives agents and humans a hard feedback loop before a part becomes a print:
design file -> generated part -> burr-design-data.json -> Burr checks -> receipt
Burr does not design the part. It verifies declared mechanical intent against metadata, dimensions, source/artifact freshness, and STEP geometry evidence.
Why
CAD agents can make parts that look plausible while hiding bad edge distances, missing holes, stale STEP exports, or decorative holes that should not be judged as fastener interfaces. Image review helps, but it cannot reliably prove those facts.
Burr turns CAD work into measurable receipts:
M3 loaded mounting hole
measured center-to-edge = 8.0 mm
required center-to-edge = 10.2 mm
result = fail by 2.2 mm
Then burr explain turns the receipt into fix guidance:
1. Fix dimension: move or resize unsafe geometry.
Feature: m3_lower_left
Category: unsafe dimension
Problem: the loaded M3 hole is too close to a free edge.
Why it matters: thin edge material can crack, delaminate, or fail.
Fix: move the hole inward or make the surrounding part larger.
When a receipt has multiple failures, burr explain sorts them by fix order:
stale artifacts first, missing declared STEP geometry second, unsafe dimensions
third, then declared measurement issues.
Quickstart
Install from crates.io:
Create and check a build123d starter part:
The generated starter installs burr-build123d==0.10.0 from PyPI.
To prove the published install path from this repo:
The fresh-install check also proves the starter failure-to-fix loop: move the M3 hole too close to the side edge, fail edge distance, explain the measured problem, restore the hole, and pass again.
Product Loop
Use Burr like tests for generated mechanical parts:
write or generate CAD
-> emit burr-design-data.json with intended features
-> export STEP
-> burr check .
-> burr explain .
-> fix CAD or metadata
For an agent repair runner, keep the loop source-driven and receipt-backed:
generate CAD source and artifacts
-> check: run burr check
-> explain-json: run burr explain --json for a repair packet
-> apply only exact source_hint before_text -> after_text edits
-> regenerate design data and STEP from edited source
-> check again
-> stop when pass, or when no exact source edit is available
The packet is guidance, not an auto-editor. A plain failed receipt can rank the
problem and name the fix, but it cannot honestly invent exact source edits. An
agent should only apply a source_hint when before_text occurs exactly once
in the current source and the hint carries confidence: "exact_from_design_data". If the exact source text, selector, or design-data
value path does not match, or the packet has no exact source_hint edits left,
stop and ask for a new generation or human edit instead of guessing. The final
trust signal is the fresh regenerated passing Burr receipt, including source
and artifact freshness checks.
For Burr 0.14, the gallery explains the same loop as a before/after actuator repair proof:
bad CAD -> Burr check -> explain fix order -> fixed CAD passes
Burr is not a constraint solver, FEA engine, slicer, or universal CAD brain. It checks specific declared mechanical claims. A ligament rule only checks the declared spacing between selected slots, holes, or cutouts; it does not prove part strength or find every thin web in the CAD model. Workload/stress survival belongs to later FEA/FEM or physical testing.
Local Development
Run the build123d adapter examples:
Run the optional OpenCascade STEP backend proof:
Run the mixed-intent CAD proof:
Run the counterbore CAD proof:
Run the fastener support wall proof:
Run the standoff boss STEP-presence proof:
Run the straight-slot CAD proof:
Run the printable example gallery:
The build123d examples and gallery commit only source and docs. STEP files,
burr-design-data.json, receipts, and preview PNGs are generated by the example
scripts and ignored by git. Preview PNGs are visual review artifacts; Burr
receipts remain the verifier.
Boss meat around fasteners is checked from declared mechanical intent. A
boss-supported M3 hole or insert pocket should declare the inner hole/pocket
diameter and support_diameter_mm; Burr then checks the radial wall around the
fastener. This catches the common case where a rendered boss looks plausible but
has too little material around the screw or insert.
Boss existence is a separate STEP-presence claim. Declare a standoff_boss
feature for the raised support body; Burr checks that the exported STEP contains
the boss cylinder and top face. Together, the boss-presence and support-wall
rules prove both that the support is physically in the CAD and that its declared
radial material is large enough for the checked fastener.
For website or release use, npm run gallery:artifact writes a versioned bundle:
artifacts/releases/burr-gallery-v<version>/
artifacts/releases/burr-gallery-v<version>.zip
The bundle contains PNG previews, passing Burr receipts, stamped design data, and a manifest. Burr owns these generated proof artifacts; websites should consume the zip or GitHub release asset read-only instead of regenerating CAD. See docs/fray-website-contract.md for the website ingestion contract.
Static docs use the same release-artifact pattern:
npm run docs:artifact
npm run check:docs:artifact
artifacts/releases/burr-docs-v<version>/
artifacts/releases/burr-docs-v<version>.zip
The docs bundle contains Markdown docs plus package, rulepack, and license
references indexed by manifest.json. See
docs/static-docs-bundle.md for the fray-site
integration contract.
For the Burr 0.14 actuator repair proof, the gallery should read as one loop:
the bad actuator CAD fails with measured evidence, burr explain tells the
repair order, and the fixed actuator CAD passes. The preview is visual context;
the receipt is the verifier.
Start a build123d part:
Commands
|
|
|
init creates a minimal build123d project with design.py, pyproject.toml,
and .gitignore. The generated project depends on burr-build123d==0.10.0
from PyPI.
check finds burr-design-data.json, runs freshness checks and rulepack
checks, then writes burr-receipt.json beside each design data file.
explain reads burr-receipt.json and expands failed checks into plain
feature/rule/problem/evidence/why/fix output.
stamp computes sha256 and size_bytes for declared source and generated
artifact files.
Build123d Helper
Burr does not replace build123d. The optional helper records design data while your normal build123d file creates geometry.
=
That one helper call cuts the hole in build123d and records the feature Burr
checks. Burr core still reads only burr-design-data.json, so other CAD tools
can use the same contract.
For custom rulepacks and non-standard features, the helper can emit plain Burr metadata without a specialized geometry helper:
For custom reliefs, windows, and decorative cutouts, geometry still belongs in normal CAD code. Add an explicit envelope only when a rulepack should check the declared spacing around that feature:
For feature_pair_spacing, Burr uses an explicit spacing_envelope when one
is present. Otherwise it derives a circle from center_mm and diameter_mm, or
a straight-slot capsule from center_mm, width_mm, length_mm, and
span_axis. The receipt reports the closest declared pair, clearance, and
margin. It does not search the whole STEP for every thin region.
Design Data
A lintable CAD artifact folder contains burr-design-data.json.
This file is the language-agnostic contract. It can be emitted by build123d, CadQuery, OpenSCAD, JavaScript CAD, Rust CAD, Fusion scripts, or any tool that can write JSON.
Declared Feature Intent
Burr does not infer that every cylinder or hole in a STEP file is mechanically important. A STEP file may contain vents, lightening holes, fluid passages, cosmetic cuts, construction reliefs, bosses, fillets, and unrelated round faces.
Burr judges only features that are declared in burr-design-data.json and
selected by the active rulepack. Use intent to separate mechanical interfaces
from incidental geometry:
mechanical_interface -> judged by mechanical rulepacks
weight_reduction -> declared if useful, but not judged by actuator rules
fluid_or_air_path -> separate rules, not screw-mount rules
manufacturing_feature -> process-specific rules only
cosmetic -> normally unjudged
For legacy design data, missing intent is treated as mechanical_interface.
Set intent explicitly when a declared feature should not be judged by
mechanical rulepacks.
Rulepacks
The included actuator mount rulepack checks loaded M3 clearance-hole edge distance, minimum wall thickness around M3 clearance holes, whether declared M3 clearance holes exist as matching cylindrical geometry in the exported STEP, and whether declared straight slots, counterbores, heat-set insert pockets, and bearing seats exist as matching STEP cylinder/plane evidence:
Design data can also choose a rulepack beside the artifact:
The CLI --rulepack <file> flag still overrides this when you want to run a
different rulepack against the same artifact.
Supported rule kinds include:
hole_edge_distance -> feature center is far enough from a free edge
minimum_wall_thickness -> enough material remains around a declared hole
feature_presence -> declared feature has matching STEP evidence
feature_count -> enough matching declared features exist
numeric_range -> declared measurement is inside an allowed range
feature_pair_spacing -> declared slots, holes, or cutouts keep a minimum metadata-based ligament
feature_count, numeric_range, and feature_pair_spacing are useful for
parts that are not mostly mechanical interfaces: dense plates, captured sliders,
clearance windows, repeated relief holes or slots, and other cases where the
source emits bounded measurements Burr can check directly. These are declared
design-rule checks, not automatic CAD constraint solving or stress analysis.
Versioning
Burr has three versioned surfaces:
Burr package version -> CLI/library behavior
Design data schema version -> JSON shape Burr can read
Rulepack schema version -> rule syntax Burr can execute
Receipts include all three:
Unsupported design data or rulepack schemas fail lint instead of silently producing untrustworthy receipts.
Legacy fray-cad.json files with schema fray.cad.artifact.v1 are still read
for transition, but new integrations should emit burr-design-data.json.
Repair Loop Proof
Burr's core loop is:
bad CAD -> Burr check -> explain fix order -> fixed CAD passes
Run it with:
The bad actuator housing intentionally puts loaded M3 mounting holes too close
to free edges. Burr reports the measured shortage, burr explain says what to
fix first, and the fixed housing passes with positive edge-distance margins.
The release gallery also includes a portable repair report:
repair-reports/actuator-housing-edge-distance.json
repair-reports/actuator-housing-edge-distance.md
That report links the bad receipt, measured failures, first fix, generated
repair_actions[], and fixed passing receipt. The repair actions are
receipt/design-data suggestions only; Burr does not auto-edit CAD. Agents and
websites can render the repair proof without scraping terminal output.
Since Burr 0.16, each action gives the failing feature, action kind, checked parameter, suggested feature-center movement, measured/required/margin evidence, failure reason, and the fixed after-feature that verifies the suggestion.
In Burr 0.18, the repair action contract also includes a required source_hint
with the source file path, edit kind, selector, exact before/after source text,
editable value path, before/after design-data values,
exact_from_design_data confidence, and a short rationale. This is an edit hint
only; Burr still does not auto-edit CAD. Agent repair runners should iterate
generate/check/explain-json, apply only exact source hints, and stop when the
part passes or the packet no longer contains an exact source edit.
Example Result
Before repair, the actuator CAD is bad:
FAIL examples/build123d-actuator-housing-repair/bad/burr-design-data.json -> <not written>
4 problems:
1. M3 loaded hole m3_front_left is too close to the edge.
Measured center-to-edge: 8 mm
Required center-to-edge: 10.2 mm
Short by: 2.2 mm
Try moving the hole inward or increasing the surrounding part size.
burr explain turns the failed receipt into plain repair guidance: fix stale or
missing artifacts first if they exist, then fix unsafe dimensions such as a
loaded M3 hole near an edge.
After repair, the actuator CAD passes:
Thin wall fixture:
FAIL examples/build123d-wall-thickness/bad/burr-design-data.json -> <not written>
1 problem:
1. M3 clearance hole m3_alignment leaves too little wall.
Measured wall thickness: 1.2 mm
Required wall thickness: 2 mm
Short by: 0.8 mm
Try moving the hole inward or increasing part width.
Missing STEP feature fixture:
FAIL examples/build123d-step-presence/bad/burr-design-data.json -> <not written>
1 problem:
1. Declared clearance hole m3_claimed is missing from the STEP artifact.
Checked artifact: presence.step
Candidate cylinders found: 0
Regenerate the STEP from the same helper that emitted the design data.
Candidate cylinders found and Candidate planes found are not counts of
failed features. They are the STEP faces Burr considered while trying to prove
one declared feature. Extra faces are ignored unless a rulepack selects matching
declared intent and the geometry fits the declared tolerances.
Status
Early prototype. Current checks combine design-data rules with narrow STEP feature-presence verification for declared M3 clearance holes, declared straight slots, declared counterbores, declared heat-set insert pockets, and declared bearing seats. Burr does not classify all holes, slots, counterbores, pockets, or seats in a model or decide which features matter.
Ligament checks use declared feature metadata selected by a rulepack. Burr does not search the whole model for every thin region, infer load paths, or certify that the remaining material survives use.
By default, the Rust CLI reads simple analytic STEP cylinder entities directly. For stronger local verification, install the optional Python/OCP workspace and run with:
BURR_STEP_CYLINDER_BACKEND=ocp \
BURR_OCP_STEP_CYLINDERS="uv run --package burr-ocp burr-ocp-step-cylinders" \
The OCP helper extracts measured cylinder and plane candidates. Burr still owns rule matching, diagnostics, and receipts.