# Verification

> Is it real?

Record: `reason:axis-verification`
Kind: axis
Canonical: https://banes-lab.com/ontology/reasoning#reason-axis-verification

## contracts

- [Semantic Compliance Validation](https://banes-lab.com/records/algo/semantic-compliance-validation.md)
- [Evidence Grounding Validation](https://banes-lab.com/records/algo/evidence-grounding-validation.md)
- [Algorithmic Embodiment Validation](https://banes-lab.com/records/algo/algorithmic-embodiment-validation.md)
- [Workflow Validation Gate](https://banes-lab.com/records/algo/workflow-validation-gate.md)
- [Measured-vs-Estimated Validation](https://banes-lab.com/records/algo/measured-vs-estimated-validation.md)
- [Architecture Validation Before Persistence](https://banes-lab.com/records/algo/architecture-validation-before-persistence.md)
- [Additive Debt Gate](https://banes-lab.com/records/algo/additive-debt-gate.md)
- [Pattern-Specific Validation](https://banes-lab.com/records/algo/pattern-specific-validation.md)
- [Zero-Duplication Verification](https://banes-lab.com/records/algo/zero-duplication-verification.md)
- [Validation Score](https://banes-lab.com/records/algo/validation-score.md)
- [Validation Stage](https://banes-lab.com/records/algo/validation-stage.md)
- [Semantic Debt Policy](https://banes-lab.com/records/algo/semantic-debt-policy.md)
- [Evidence-Based Claim Verification](https://banes-lab.com/records/algo/evidence-based-claim-verification.md)
- [Validation Suite Battery](https://banes-lab.com/records/algo/validation-suite-battery.md)
- [Repair Stage](https://banes-lab.com/records/algo/repair-stage.md)
- [Bounded Repair Loop](https://banes-lab.com/records/algo/bounded-repair-loop.md)
- [Severity Failure Routing](https://banes-lab.com/records/algo/severity-failure-routing.md)
- [Verification Loop](https://banes-lab.com/records/algo/verification-loop.md)
- [Verification Execution](https://banes-lab.com/records/algo/verification-execution.md)
- [Reverification Gate](https://banes-lab.com/records/algo/reverification-gate.md)
- [Evidence-Gated Claim Verification](https://banes-lab.com/records/algo/evidence-gated-claim-verification.md)
- [Environment Capability Verification](https://banes-lab.com/records/algo/environment-capability-verification.md)
- [Behavioral Self-Test](https://banes-lab.com/records/algo/behavioral-self-test.md)
- [Adversarial Input Testing](https://banes-lab.com/records/algo/adversarial-input-testing.md)
- [Recursive Self-Verification](https://banes-lab.com/records/algo/recursive-self-verification.md)
- [Plan Phase Verification](https://banes-lab.com/records/algo/plan-phase-verification.md)
- [Delta Capture](https://banes-lab.com/records/algo/delta-capture.md)
- [Mode Contract Validation](https://banes-lab.com/records/algo/mode-contract-validation.md)
- [PAG Handoff Gate](https://banes-lab.com/records/algo/pag-validation-gate.md)
- [Anti-Pattern Elimination Verification](https://banes-lab.com/records/algo/anti-pattern-elimination-verification.md)
- [Distillation Metrics](https://banes-lab.com/records/algo/distillation-metrics.md)
- [Machine Verdict Derivation](https://banes-lab.com/records/algo/machine-verdict-derivation.md)
- [Discovery Verification](https://banes-lab.com/records/algo/discovery-verification.md)
- [Evidence Verdict](https://banes-lab.com/records/algo/evidence-verdict.md)

## layer

- [evaluative](https://banes-lab.com/records/reason/layer-evaluative.md)

## nodes

- [ver-evidence](https://banes-lab.com/records/reason/node-ver-evidence.md)
- [ver-ground-truth](https://banes-lab.com/records/reason/node-ver-ground-truth.md)
- [ver-falsification](https://banes-lab.com/records/reason/node-ver-falsification.md)
- [ver-confidence](https://banes-lab.com/records/reason/node-ver-confidence.md)
- [ver-refutation](https://banes-lab.com/records/reason/node-ver-refutation.md)
- [ver-population](https://banes-lab.com/records/reason/node-ver-population.md)
- [ver-freshness](https://banes-lab.com/records/reason/node-ver-freshness.md)
- [ver-standing](https://banes-lab.com/records/reason/node-ver-standing.md)
- [ver-refusal](https://banes-lab.com/records/reason/node-ver-refusal.md)

## primary-math-type

- [logic](https://banes-lab.com/records/reason/math-type-logic.md)

## referenced-by

- [Ver Evidence](https://banes-lab.com/records/reason/node-ver-evidence.md)
- [Ver Ground Truth](https://banes-lab.com/records/reason/node-ver-ground-truth.md)
- [Ver Falsification](https://banes-lab.com/records/reason/node-ver-falsification.md)
- [Ver Confidence](https://banes-lab.com/records/reason/node-ver-confidence.md)
- [Ver Refutation](https://banes-lab.com/records/reason/node-ver-refutation.md)
- [Ver Population](https://banes-lab.com/records/reason/node-ver-population.md)
- [Ver Freshness](https://banes-lab.com/records/reason/node-ver-freshness.md)
- [Ver Standing](https://banes-lab.com/records/reason/node-ver-standing.md)
- [Ver Refusal](https://banes-lab.com/records/reason/node-ver-refusal.md)
- [Evaluative](https://banes-lab.com/records/reason/layer-evaluative.md)