Lower body of a two-part box enclosure, 100 × 150 × 47 mm with rounded corners.
| File | Kind | Size |
|---|---|---|
| enclosure-base.step | STEP | 0.1 MB |
| enclosure-base.stl | STL | 0.2 MB |
contract.yaml (design contract)
Lower body of a two-part box enclosure: one connected solid in millimetres, 100 x 150 x 47, with r = 10 vertical outer corners, an r = 2 bottom edge round and a flat sharp rim at z = 47 (the parting plane with the lid). A 94 x 144 cavity with r = 7 corners runs from the 3 mm floor (z = 3) through the open top; four free-standing Ø10 screw posts at (±38, ±63) stand on the floor up to z = 47, each with a Ø4 blind bore that stops at the floor top. The specification sources/enclosure-base-spec.md is authoritative; the three renders are illustrative.
| Tier | Gate | Result | Evidence |
|---|---|---|---|
| A | contract_provenance Contract validates; stated/measured sources resolve to bundle files; no blocking open questions; interfaces pinned by checks | PASS | designs/enclosure-base/contract.yaml: 14 parameters {'stated': 9, 'derived': 5}; sources unresolved {}; unanchored 9 |
| A | envelope Bounding box of the exported STEP equals the contract envelope | PASS | results/cadquery/enclosure-base/inspect.json bbox.max_error = 0.0 (tol 0.05) |
| A | mass_properties Volume, surface area and centre of mass within contract tolerance (independent STEP measurement) | PASS | results/cadquery/enclosure-base/inspect.json volume = 118428.968 vs 118431.5 |
| A | features Every required feature, section, named face, cylinder axis, plane, dimension, body, clearance, passage, wall, gear and symmetry check verified on the STEP | PASS | results/cadquery/enclosure-base/inspect.json features: 5/5 ok; failed required []; failed optional []; unverified [] |
| A | reference_fidelity Deviation from the reference model within the contract band (when a reference exists) | n/a | results/cadquery/enclosure-base/inspect.json deviation.p95 = None hausdorff = None silhouette_iou_min = None |
| B | export_agreement Engine, STEP (OpenCascade) and STL (trimesh) volumes agree | PASS | results/cadquery/enclosure-base/inspect.json agreement engine=118428.9679606971 step=118428.96796069472 stl=118391.01622010925 (rel tol 0.002; independent=False) |
| B | edit_robustness Declared parameter edits rebuild with the expected effect, undriven interfaces stay put, sweeps regenerate, infeasible values are refused; baseline re-export hash unchanged | PASS | results/cadquery/enclosure-base/edit.json 2/2 edit tests ok; restore.ok = True |
| B | source_hygiene Dialect, units, formatted, lint-clean, named parameters match the contract, asserts present | PASS | results/cadquery/enclosure-base/verify.json hygiene: dialect=True unit=True legacy=[] params_ok=True asserts=16 |
| C | export_integrity Deterministic STEP (two exports identical), valid B-rep, expected solid count, watertight STL (solid shells == solids) | PASS | results/cadquery/enclosure-base/export.json step.deterministic = True sha256 0120811b5b55; stl=present; glb=present |
| C | traceability Every stage JSON present with tool versions, git head, worker thread ids, engine-call ledger; no --allow-errors | PASS | stages present: {'plan': True, 'model': True, 'verify': True, 'export': True, 'inspect': True, 'edit': True} |
| C | evidence_separation Contract agreement, reference agreement and physical validation are reported as separate verdicts | PASS | results/cadquery/enclosure-base/inspect.json carries contract checks (volume/bbox/features) and a separate deviation block (reference = None) |
| C | independence The source is editable construction: no import of reference geometry, construction ops present, no traced geometry | PASS | results/cadquery/enclosure-base/verify.json hygiene.forbidden_imports = [] construction_ops = {'calls': 24, 'has_result': True} lines = 92 |