opencad
← Reconstruction corpus
ReconstructionPASS 11/11

Driver-Seegmiller backward-facing step

Air volume of the Driver-Seegmiller backward-facing-step channel, parallel-roof case.

Facts

Backend
Zoo KCL
Gates
11 pass, 0 fail, 1 n/a
Bounding box
1968.5 × 152.4 × 114.3 mm
Volume
31708.97 cm³
Material
air
Process
CFD flow domain (no manufacturing)
Release
reconstruction
Truth case
yes, scored against held-back geometry

Source

contract.yaml (design contract)

Design intent

Model the air volume (flow passage) of the Driver-Seegmiller backward-facing-step channel for the parallel-roof (0 degree divergence) case described in the attached NASA validation page, as ONE solid suitable for CFD meshing. Use the documented ratios and the step height H = 0.5 in = 12.7 mm: step height to tunnel exit (downstream) height 1:9, step height to tunnel width 1:12, so the upstream channel height is the downstream height minus H. Cover exactly the documented computational domain x/H = -105 to +50. Frame: +x streamwise with x = 0 at the step face (upstream is negative x), +y spanwise across the tunnel width with y = 0 at one side wall, +z vertical with z = 0 at the downstream floor (the upstream floor therefore sits at z = H). Expose H, the width, the two channel heights, the roof angle, and the upstream/downstream domain lengths as named parameters, and name the flow-boundary faces (inlet, outlet, roof, upstream floor, step face, downstream floor, side walls) in the contract so the mesher can find them. The measured reattachment location is a downstream validation target, not a geometry input; do not tune anything to it.

Gates

TierGateResultEvidence
Acontract_provenance
Contract validates; every value carries provenance and a tolerance
PASSdesigns/nasa-backstep-driver-seegmiller/contract.yaml: 7 parameters {'stated': 2, 'derived': 5}
Aenvelope
Bounding box of the exported STEP equals the contract envelope
PASSresults/nasa-backstep-driver-seegmiller/inspect.json bbox.max_error = 0.0 (tol 0.05)
Amass_properties
Volume, surface area and centre of mass within contract tolerance (independent STEP measurement)
PASSresults/nasa-backstep-driver-seegmiller/inspect.json volume = 31708968.84 vs 31708968.84
Afeatures
Every required feature, section and named face verified on the STEP
PASSresults/nasa-backstep-driver-seegmiller/inspect.json features: 6/6 ok; failed required []; failed optional []; unverified []
Areference_fidelity
Deviation from the reference model within the contract band (when a reference exists)
n/aresults/nasa-backstep-driver-seegmiller/inspect.json deviation.p95 = None hausdorff = None silhouette_iou_min = None
Bexport_agreement
KCL (Zoo), STEP (OpenCascade) and STL (trimesh) volumes agree
PASSresults/nasa-backstep-driver-seegmiller/inspect.json agreement kcl=31708969.865576364 step=31708968.84 stl=31708969.4206439 (rel tol 0.002)
Bedit_robustness
Declared parameter edits rebuild with the expected effect; baseline re-export hash unchanged
PASSresults/nasa-backstep-driver-seegmiller/edit.json 3/3 edit tests ok; restore.ok = True
Bsource_hygiene
KCL 2, mm, formatted, lint-clean, named parameters match the contract, asserts present
PASSresults/nasa-backstep-driver-seegmiller/verify.json hygiene: kcl2=True mm=True legacy=[] params_ok=True asserts=8
Cexport_integrity
Deterministic STEP (two exports identical), valid B-rep, expected solid count, watertight STL (solid shells == solids)
PASSresults/nasa-backstep-driver-seegmiller/export.json step.deterministic = True sha256 c6a4901ad133; stl=present; glb=present
Ctraceability
Every stage JSON present with tool versions, git head, Codex thread ids, engine-call ledger; no --allow-errors
PASSstages present: {'plan': True, 'model': True, 'verify': True, 'export': True, 'inspect': True, 'edit': True}
Cevidence_separation
Contract agreement, reference agreement and physical validation are reported as separate verdicts
PASSresults/nasa-backstep-driver-seegmiller/inspect.json carries contract checks (volume/bbox/features) and a separate deviation block (reference = None)
Cindependence
The KCL is editable construction: no import of reference geometry, sketch blocks and features present
PASSresults/nasa-backstep-driver-seegmiller/verify.json hygiene.forbidden_imports = [] sketch_blocks = 2 feature_ops = 1 lines = 131