Executable Verification Examples

Executable Verification Examples

These examples turn core DigiEmu verification concepts into a small workflow you can run locally with Windows PowerShell.

Download the executable example bundle

The bundle has no external dependencies. It is intentionally small enough to inspect line by line.

What the demo proves

The walkthrough demonstrates four primitives:

1. Artifact Integrity — calculate and preserve a SHA-256 identity.
2. Evidence Manifest — bind the artifact identity to an inspectable manifest.
3. Explicit Verification Result — produce a machine-readable PASS outcome.
4. Failure Semantics — modify the artifact and preserve an explicit FAIL instead of hiding the mismatch.

Run the complete demo

After extracting the downloaded ZIP:

powershell -NoProfile -ExecutionPolicy Bypass -File .\run-demo.ps1

Expected final line:

DEMO RESULT: PASS

The demo itself contains a deliberately failing verification step. The overall demo passes only when that mismatch is detected and recorded as an explicit FAIL.

Scope

This bundle demonstrates shared DigiEmu verification primitives. It does not claim to replace product-specific Core, Secure, Proof, Arca, VSC, or SKC verification.