Glossary · Legal
Constrained — bounded egress or equivalent constraints are declared and verified. At the public verifier v0.1 layer, DoT-2 passes when crypto_ok is true (declaration-only).
See also
Reference
The Protocol page defines how terms compose into receipts, Sigils, and chain recognition.