# Evidence-Gated Claim Verification

> Extract claims, resolve each claim into observable evidence requirements, collect direct implementation evidence, classify each claim as verified, contradicted, or unverified, and report discrepancies.

Record: `algo:evidence-gated-claim-verification`
Kind: context-verification
Canonical: https://banes-lab.com/ontology/algorithms#algo-evidence-gated-claim-verification
Closure: https://banes-lab.com/json/records/algo/evidence-gated-claim-verification/closure

## stage

- [verify](https://banes-lab.com/records/stage/verify.md)

## axis

- [verification](https://banes-lab.com/records/reason/axis-verification.md)

## composed-by

- [Plan Phase Verification](https://banes-lab.com/records/algo/plan-phase-verification.md)

## grounds

- [ver-evidence](https://banes-lab.com/records/reason/node-ver-evidence.md)

## derived-by

- [Contract-Based Verification Kernel](https://banes-lab.com/records/algo/contract-based-verification-kernel.md)