# Ver Evidence

> What evidence supports this?

Record: `reason:node-ver-evidence`
Kind: node
Canonical: https://banes-lab.com/ontology/reasoning#reason-node-ver-evidence

## axis

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

## grounded-by

- [semantic-correctness](https://banes-lab.com/records/reason/test-surface-semantic-correctness.md)
- [functional-correctness](https://banes-lab.com/records/reason/test-surface-functional-correctness.md)
- [state-correctness](https://banes-lab.com/records/reason/test-surface-state-correctness.md)
- [interface-correctness](https://banes-lab.com/records/reason/test-surface-interface-correctness.md)
- [interaction-correctness](https://banes-lab.com/records/reason/test-surface-interaction-correctness.md)
- [temporal-correctness](https://banes-lab.com/records/reason/test-surface-temporal-correctness.md)
- [concurrency-correctness](https://banes-lab.com/records/reason/test-surface-concurrency-correctness.md)
- [memory-correctness](https://banes-lab.com/records/reason/test-surface-memory-correctness.md)
- [resource-correctness](https://banes-lab.com/records/reason/test-surface-resource-correctness.md)
- [performance-correctness](https://banes-lab.com/records/reason/test-surface-performance-correctness.md)
- [reliability-correctness](https://banes-lab.com/records/reason/test-surface-reliability-correctness.md)
- [availability-correctness](https://banes-lab.com/records/reason/test-surface-availability-correctness.md)
- [consistency-correctness](https://banes-lab.com/records/reason/test-surface-consistency-correctness.md)
- [data-correctness](https://banes-lab.com/records/reason/test-surface-data-correctness.md)
- [numerical-correctness](https://banes-lab.com/records/reason/test-surface-numerical-correctness.md)
- [security-correctness](https://banes-lab.com/records/reason/test-surface-security-correctness.md)
- [determinism-correctness](https://banes-lab.com/records/reason/test-surface-determinism-correctness.md)
- [protocol-correctness](https://banes-lab.com/records/reason/test-surface-protocol-correctness.md)
- [configuration-correctness](https://banes-lab.com/records/reason/test-surface-configuration-correctness.md)
- [observability-correctness](https://banes-lab.com/records/reason/test-surface-observability-correctness.md)
- [Evidence Grounding Validation](https://banes-lab.com/records/algo/evidence-grounding-validation.md)
- [Workflow Validation Gate](https://banes-lab.com/records/algo/workflow-validation-gate.md)
- [Additive Debt Gate](https://banes-lab.com/records/algo/additive-debt-gate.md)
- [Zero-Duplication Verification](https://banes-lab.com/records/algo/zero-duplication-verification.md)
- [Evidence-Based Claim Verification](https://banes-lab.com/records/algo/evidence-based-claim-verification.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)
- [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)
- [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)
- [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)

## math-type

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

## referenced-by

- [Verification](https://banes-lab.com/records/reason/axis-verification.md)
- [Semantic Correctness](https://banes-lab.com/records/reason/test-surface-semantic-correctness.md)
- [Functional Correctness](https://banes-lab.com/records/reason/test-surface-functional-correctness.md)
- [State Correctness](https://banes-lab.com/records/reason/test-surface-state-correctness.md)
- [Interface Correctness](https://banes-lab.com/records/reason/test-surface-interface-correctness.md)
- [Interaction Correctness](https://banes-lab.com/records/reason/test-surface-interaction-correctness.md)
- [Temporal Correctness](https://banes-lab.com/records/reason/test-surface-temporal-correctness.md)
- [Concurrency Correctness](https://banes-lab.com/records/reason/test-surface-concurrency-correctness.md)
- [Memory Correctness](https://banes-lab.com/records/reason/test-surface-memory-correctness.md)
- [Resource Correctness](https://banes-lab.com/records/reason/test-surface-resource-correctness.md)
- [Performance Correctness](https://banes-lab.com/records/reason/test-surface-performance-correctness.md)
- [Reliability Correctness](https://banes-lab.com/records/reason/test-surface-reliability-correctness.md)
- [Availability Correctness](https://banes-lab.com/records/reason/test-surface-availability-correctness.md)
- [Consistency Correctness](https://banes-lab.com/records/reason/test-surface-consistency-correctness.md)
- [Data Correctness](https://banes-lab.com/records/reason/test-surface-data-correctness.md)
- [Numerical Correctness](https://banes-lab.com/records/reason/test-surface-numerical-correctness.md)
- [Security Correctness](https://banes-lab.com/records/reason/test-surface-security-correctness.md)
- [Determinism Correctness](https://banes-lab.com/records/reason/test-surface-determinism-correctness.md)
- [Protocol Correctness](https://banes-lab.com/records/reason/test-surface-protocol-correctness.md)
- [Configuration Correctness](https://banes-lab.com/records/reason/test-surface-configuration-correctness.md)
- [Observability Correctness](https://banes-lab.com/records/reason/test-surface-observability-correctness.md)