Hey, are you interested in collaboration? I did implement something similar to your approach of "constraints are static_asserts" inside the code CAD language and it works fairly well to assert volume/tolerance stack-up inline, but that is only half the answer, and the other half is "constraints are compile time types/requirements that are erased at runtime", as in TypeScript, which proved to be more significant. STEP roundtrip was proven months ago, so yesterday I had Codex Astra build a V8 engine assembly simulation in 3.JS last night to prove viability.

https://aetheris-editable-v8.yuechenli.workers.dev/

Let me know, since I think we may be able get something cooking together.