Printed enclosure for the full Aleph stack, with the heatsink rising through the lid for airflow and openings for every connector.
| File | Kind | Size |
|---|---|---|
| aleph-stack-case.step | STEP | 81 KB |
| aleph-stack-case.stl | STL | 0.3 MB |
contract.yaml (design contract)
create a case enclosure for a full aleph stack, allowing for the heat sink to extend outside the top to allow airflow, and making sure to have openings for the J4, J5, J7, UARTs, the molex power port, eth gadget USB-C, and RPI debugger USB-C ports. This will be 3D printing in PETG, so make sure it has enough thickness for strength. Make sure the stack secures to the case via the top standoff screw holes.
features. The geometry and handoff are published as built; read each gate below before printing.
| 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/aleph-stack-case/contract.yaml: 65 parameters {'stated': 16, 'derived': 34, 'inferred': 15}; sources unresolved {}; unanchored 0 |
| A | envelope Bounding box of the exported STEP equals the contract envelope | PASS | results/freecad/aleph-stack-case/inspect.json bbox.max_error = 0.0 (tol 0.5) |
| A | mass_properties Volume, surface area and centre of mass within contract tolerance (independent STEP measurement) | PASS | results/freecad/aleph-stack-case/inspect.json volume = 57209.4895 vs 57209.489541 |
| A | features Every required feature, section, named face, cylinder axis, plane, dimension, body, clearance, passage, wall, gear and symmetry check verified on the STEP | FAIL | results/freecad/aleph-stack-case/inspect.json features: 11/11 ok; failed required []; failed optional []; unverified [] Means: a hole, wall, cavity, channel, face or declared mirror is missing or in the wrong place |
| A | reference_fidelity Deviation from the reference model within the contract band (when a reference exists) | n/a | results/freecad/aleph-stack-case/inspect.json deviation.p95 = None hausdorff = None silhouette_iou_min = None |
| B | export_agreement Engine, STEP (OpenCascade) and STL (trimesh) volumes agree | PASS | results/freecad/aleph-stack-case/inspect.json agreement engine=57209.48954109079 step=57209.489541090814 stl=57209.32748654628 (rel tol 0.01; 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/freecad/aleph-stack-case/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/freecad/aleph-stack-case/verify.json hygiene: dialect=True unit=True legacy=[] params_ok=True asserts=102 unused={'boardLength': {'defined_in': 'params.py', 'edit_test': False, 'ok': True}, 'boardWidth': {'defined_in': 'params.py', 'edit_test': False, … |
| C | export_integrity Deterministic STEP (two exports identical), valid B-rep, expected solid count, watertight STL (solid shells == solids) | PASS | results/freecad/aleph-stack-case/export.json step.deterministic = True sha256 695146027b70; 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/freecad/aleph-stack-case/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/freecad/aleph-stack-case/verify.json hygiene.forbidden_imports = [] construction_ops = {'calls': 77, 'has_result': True} lines = 789 |