Exit Semantics
Developer tooling should expose outcomes unambiguously.
General principle
Section titled “General principle”A successful program execution does not necessarily imply that verification succeeded.
Tooling should distinguish:
- execution success
- verification success
- verification failure
- invalid input
- unsupported operation
- incomplete evidence
Technology-specific CLI contracts define authoritative exit codes where available.
Do not infer universal DigiEmu exit codes from this cross-technology reference.