LAB / REFERENCE
Research
Read the reference panel, or choose a native journey from Modules.
Read the reference panel, or choose a native journey from Modules.
Run an admitted GLAP scenario to capture a native result.
A formal property names a model, assumptions and a checkable artifact. A measured result names its workload, hardware, exact binaries and comparison conditions.
Name the property, domain, fault assumptions and exact model. Preserve counterexamples and unsupported domains. A diagram is an architectural explanation.
This workspace reuses the existing GL-C compiler, checked IR executor and complete finite-domain verifier. Program identity, limits and complete certificate evidence are rechecked on replay.
A model theorem is distinct from compiler, Rust, browser, external fact and cryptographic correctness. Native outcomes and browser checks remain source-bound observations.
Compare the same workload, semantic outcomes, refusals and recovery profile on exact artifacts. Separate compilation, execution, files/bytes and measured memory; identify hardware and loaded versus quiet conditions.