Known Limitations

Cross-platform bit-exact determinism is not marketed as universally guaranteed by default.
Not every advanced or scientific subsystem is positioned as equally mature for production deployment.
Some platform / toolchain combinations remain experimental and should be validated against your real target stack.
The public site currently emphasizes proof surfaces and recorded/static evidence rather than a full in-browser WASM demo runtime.