Evidence-Gated Claim Verification

Kind: algorithm

Record: algorithms:evidence-gated-claim-verification

Canonical: Algorithms

Closure: Dependencies in load order

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

Listed in Algorithm contracts, after Phase-Separated Execution and before Validation Gate.

Domain

• Context verification

Stage

• verify

Axis

• verification

Tier

• process

Composed by

• Plan Phase Verification

Grounds

• ver-evidence

Named in the derivation of

• Contract-Based Verification Kernel

Math type

• Logic

Force

• Correctness verification
• Observability traceability

Linked from

• Context verification
• Governed plan loop
• The derivation loop
• The axes
• The nodes
• The mathematics
• Domain tiers
• The forces