HX-MDAO-TP
Validity-gated, reproducible, signed — or no number at all.
A trust and provenance plane woven into the type system: every result provably inside a validated region, or explicitly marked outside it. Never a confident wrong answer.
The working console.
Model, Operate, Prove, Compare. The console renders the engineering system without interpretation drift, and treats the evidence package — not the rendered result — as the claim. Trust states are engine-issued; the browser cannot upgrade them.
The multidisciplinary design engine you can put in front of a certifier.
HX-MDAO-TP is a universal engine for multidisciplinary design analysis and optimization with a trust and provenance plane woven into its type system. It couples your disciplines, builds representation-aware response surfaces across topology changes and tested validity regions, drives the optimizer, propagates uncertainty, and returns a result stamped with its validity domain and sealed with a post-quantum signature.
Most optimization stacks give you an answer. HX-MDAO-TP gives you an answer you can defend. Every number it hands back is either provably inside a validated region or explicitly marked as not.
Two independent levers. No losing category.
A result is IN_VALIDATED_DOMAIN only inside the anchors you supplied. Outside them it is returned and explicitly marked OUT_OF_VALIDATED_DOMAIN. Where the model did not converge, you get no number at all rather than a confident wrong one.
v1.0
Gate-verified end to end: a full acceptance suite passing on both CPU and NVIDIA A100, dense-CPU-versus-A100 agreement to floating-point round-off, a kernel-checked Lean4 certificate, and a signed, third-party-reproducible provenance manifest over the shipped tree. Deploys as a hardened, reproducible image and runs offline with no network attack surface.
Optimize what was infeasible. Sign every number you ship.