Code Examples
Practical examples for:
- PowerShell
- Bash
- Go
- Python
- TypeScript
Every example will show both the command and the expected result.
Executable verification examples
Section titled “Executable verification examples”Run the verification concepts locally rather than only reading about them.
- Executable Verification Examples — complete dependency-free walkthrough.
- Artifact Integrity — preserve an artifact SHA-256 identity.
- Evidence Manifest — bind artifact identity to evidence context.
- Explicit Verification Result — write an inspectable PASS or FAIL result.
- Failure Semantics — prove that a modified artifact remains an explicit failure.