Open approved models
Resolve exact part identity and revision.
Create the native .sldasm. Reopen it. Prove it.
The current execution path inserts existing qualified models, creates deterministic mates, saves a new editable SolidWorks assembly and reads realized facts back from the artifact.
01 / NATIVE EXECUTION
A CAD image is not the deliverable.
The deliverable is a new, editable native assembly produced in the customer’s real engineering toolchain from approved component models.
Create components
Insert parts into a fresh assembly document.
Apply deterministic relations
Use evidenced faces, axes and interface roles.
Write native .sldasm
Persist an editable engineering artifact.
Rebuild and inspect
Read realized facts from the saved output.
Round-trip oracle
The result is judged by what SolidWorks realized.
A command log is not enough. The system reopens the file and extracts component, mate, rebuild and interface facts from the native artifact.
Component identityREAD BACK
Mate type and referencesREAD BACK
Rebuild stateVERIFIED
BOM conservationCHECKED
Interface realizationTRACED
Final verdictAUTO_PASS / FAIL_CLOSED
02 / FAILURE BOUNDARY
A failed proof does not become a successful assembly.
FAIL_CLOSEDRequired identity, geometry or realization evidence is absent or contradictory.
CANNOT_VERIFYThe artifact exists, but the configured oracle cannot establish a required fact.
ENGINEERING_REVIEWA qualified engineer must resolve an ambiguity or approve an exception.
AUTO_PASSAll declared in-scope obligations are supported by the reopened artifact.
No website content authorizes direct procurement, manufacture, installation or production release without qualified engineering review.
VERIFY THE CLAIM