The same bridge artifact, checked against a reference mesh for surface deviation.
| File | Kind | Size |
|---|---|---|
| nist-amb2022-01-bridge-mesh.step | STEP | 0.2 MB |
| nist-amb2022-01-bridge-mesh.stl | STL | 73 KB |
contract.yaml (design contract)
Reconstruct the NIST AMB2022-01 individual bridge artifact as editable, parameterized KCL from the attached NIST description excerpts and figures; Figure 3 is the dimensioned plan and elevation drawing and is authoritative for every external dimension. Frame: x along the 75 mm length with x = 0 at the pointed (45 degree tapered) end and x increasing toward the far end, y across the 5 mm width with y = 0 at one long side face, z vertical from the build plate (z = 0) upward. Model the tapered nose, the tall solid end block, the twelve legs with their 45 degree overhangs merging into the solid bridge, the eleven 1 mm wide top tabs on a 7 mm pitch, and the hollow leg L10 with its 0.5 mm outer walls, 1 mm base, four 4 mm tall internal thin walls parallel to x, and flat ceiling, exactly as documented. Where the sources do not fix a dimension (the single- and double-track thin-wall widths), record it as an open question and use a clearly labelled inferred value with a wide tolerance rather than approximating silently. One solid; export STEP and STL. Reference geometry supplied by NIST is for inspection only: the deliverable must be editable construction, never an import.
| 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/nist-amb2022-01-bridge-mesh/contract.yaml: 36 parameters {'stated': 12, 'derived': 11, 'measured': 11, 'inferred': 2}; sources unresolved {}; unanchored 0 |
| A | envelope Bounding box of the exported STEP equals the contract envelope | PASS | results/nist-amb2022-01-bridge-mesh/inspect.json bbox.max_error = 0.0 (tol 0.1) |
| A | mass_properties Volume, surface area and centre of mass within contract tolerance (independent STEP measurement) | PASS | results/nist-amb2022-01-bridge-mesh/inspect.json volume = 3678.1 vs 3678.1 |
| A | features Every required feature, section, named face, cylinder axis, plane and dimension verified on the STEP | PASS | results/nist-amb2022-01-bridge-mesh/inspect.json features: 11/11 ok; failed required []; failed optional []; unverified [] |
| A | reference_fidelity Deviation from the reference model within the contract band (when a reference exists) | PASS | results/nist-amb2022-01-bridge-mesh/inspect.json deviation.p95 = 4.858777842463917e-13 hausdorff = 0.17910023198852532 silhouette_iou_min = 1.0 |
| B | export_agreement KCL (Zoo), STEP (OpenCascade) and STL (trimesh) volumes agree | PASS | results/nist-amb2022-01-bridge-mesh/inspect.json agreement kcl=3678.101663795452 step=3678.099999999999 stl=3678.0999983999995 (rel tol 0.002) |
| B | edit_robustness Declared parameter edits rebuild with the expected effect; baseline re-export hash unchanged | PASS | results/nist-amb2022-01-bridge-mesh/edit.json 3/3 edit tests ok; restore.ok = True |
| B | source_hygiene KCL 2, mm, formatted, lint-clean, named parameters match the contract, asserts present | PASS | results/nist-amb2022-01-bridge-mesh/verify.json hygiene: kcl2=True mm=True legacy=[] params_ok=True asserts=21 |
| C | export_integrity Deterministic STEP (two exports identical), valid B-rep, expected solid count, watertight STL (solid shells == solids) | PASS | results/nist-amb2022-01-bridge-mesh/export.json step.deterministic = True sha256 4ead85d32de1; stl=present; glb=optional/missing |
| C | traceability Every stage JSON present with tool versions, git head, Codex 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/nist-amb2022-01-bridge-mesh/inspect.json carries contract checks (volume/bbox/features) and a separate deviation block (reference = /Users/danieldriscoll/dual/skillkat/designs/nist-amb2022-01-bridge-mesh/reference/reference.ply) |
| C | independence The KCL is editable construction: no import of reference geometry, sketch blocks and features present | PASS | results/nist-amb2022-01-bridge-mesh/verify.json hygiene.forbidden_imports = [] sketch_blocks = 8 feature_ops = 15 lines = 835 |