Executable Example — Failure Semantics
Executable Example — Failure Semantics
Section titled “Executable Example — Failure Semantics”The fourth step proves that a mismatch remains visible.
Download the executable example bundle
Run:
powershell -NoProfile -ExecutionPolicy Bypass -File .\04-demonstrate-failure.ps1The script copies the original artifact, modifies the copy, and verifies it against the original expected SHA-256 value.
The inner verification command must return a failure, and the resulting JSON must contain:
{ "status": "FAIL"}The demonstration itself exits successfully only when that verification failure was detected correctly.
Why it matters
Section titled “Why it matters”Failed verification is evidence. It should not be overwritten, silently converted to success, or hidden by a later generated report.
Return to Executable Verification Examples.