Verify that a recorded DecisionRecord or claim still holds by comparing its baseline and predictions with current code, tests, measurements, or incidents. Keep design-time claims distinct from runtime evidence.
Installs into .claude/skills of the current project.
Are you the author of H Verify?
Add the live security badge to your README. It updates with every re-scan.
[](https://www.skillsdirectory.com/skills/m0n0x41d-h-verify-haft)
---
name: h-verify
description: Verify that a recorded DecisionRecord or claim still holds by comparing its baseline and predictions with current code, tests, measurements, or incidents. Keep design-time claims distinct from runtime evidence.
---
# h-verify — Evidence against reality
When an FPF evidence or validity distinction is material, inspect a known
SourceID/UnitID with `haft_query(action="fpf", mode="inspect",
identifier="...")`, or query the exact concern and inspect the direct pattern
body. Retrieval is not evidence or a verdict.
Recover the exact record and its claims, thresholds, validity window, and
planned evidence. Gather current evidence, state context transfer and expiry,
and attach it with `haft_decision(action="evidence", ...)`. Surface weakened,
refuted, stale, or drifted claims honestly. Any rebaseline, supersede,
deprecate, or reopen mutation requires explicit operator action.
