# Verification

> Is it real?

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

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Teleology](https://banes-lab.com/records/reasoning/axis-teleology.md) and before [Termination](https://banes-lab.com/records/reasoning/axis-termination.md).

## Contracts

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

## Layer

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

## Nodes

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

## Primary math type

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

## Axis of

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

## Concept of

- [Verification](https://banes-lab.com/records/architecture/verification.md)

## Linked from

- [Agent creation](https://banes-lab.com/ontology/algorithms/algorithms-domain-agent-creation.md)
- [Agent workflow](https://banes-lab.com/ontology/algorithms/algorithms-domain-agent-workflow.md)
- [Automation](https://banes-lab.com/ontology/algorithms/algorithms-domain-automation.md)
- [Centralization](https://banes-lab.com/ontology/algorithms/algorithms-domain-centralization.md)
- [Checklist creation](https://banes-lab.com/ontology/algorithms/algorithms-domain-checklist-creation.md)
- [Codebase verification](https://banes-lab.com/ontology/algorithms/algorithms-domain-codebase-verification.md)
- [Context verification](https://banes-lab.com/ontology/algorithms/algorithms-domain-context-verification.md)
- [Test coverage](https://banes-lab.com/ontology/algorithms/algorithms-domain-test-coverage.md)
- [Pattern Abstract Grammar](https://banes-lab.com/ontology/algorithms/algorithms-domain-pag.md)
- [Pattern distillation](https://banes-lab.com/ontology/algorithms/algorithms-domain-pattern-distillation.md)
- [Living profile](https://banes-lab.com/ontology/algorithms/algorithms-domain-living-profile.md)
- [Governed plan loop](https://banes-lab.com/ontology/algorithms/algorithms-domain-governed-plan-loop.md)
- [Quality engine](https://banes-lab.com/ontology/algorithms/algorithms-domain-quality-engine.md)
- [Mode-driven response schema](https://banes-lab.com/ontology/algorithms/algorithms-domain-mode-driven-response-schema.md)
- [Taxonomy](https://banes-lab.com/ontology/algorithms/algorithms-domain-taxonomy.md)
- [The derivation loop](https://banes-lab.com/ontology/reasoning/reasoning-loop-derivation-loop.md)
- [The reasoning layers](https://banes-lab.com/ontology/reasoning/the-reasoning-layers.md)
- [The nodes](https://banes-lab.com/ontology/reasoning/the-nodes.md)
- [Document types](https://banes-lab.com/ontology/grammar/the-document-types.md)