# Evidence > What evidence supports this? Record: `reasoning:node-ver-evidence` Kind: node Canonical: https://banes-lab.com/ontology/reasoning#reasoning-node-ver-evidence Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Branch Priority](https://banes-lab.com/records/reasoning/node-tel-priority.md) and before [Ground Truth](https://banes-lab.com/records/reasoning/node-ver-ground-truth.md). ## Axis - [verification](https://banes-lab.com/records/reasoning/axis-verification.md) ## Grounded by - [semantic-correctness](https://banes-lab.com/records/reasoning/test-surface-semantic-correctness.md) - [functional-correctness](https://banes-lab.com/records/reasoning/test-surface-functional-correctness.md) - [state-correctness](https://banes-lab.com/records/reasoning/test-surface-state-correctness.md) - [interface-correctness](https://banes-lab.com/records/reasoning/test-surface-interface-correctness.md) - [interaction-correctness](https://banes-lab.com/records/reasoning/test-surface-interaction-correctness.md) - [temporal-correctness](https://banes-lab.com/records/reasoning/test-surface-temporal-correctness.md) - [concurrency-correctness](https://banes-lab.com/records/reasoning/test-surface-concurrency-correctness.md) - [memory-correctness](https://banes-lab.com/records/reasoning/test-surface-memory-correctness.md) - [resource-correctness](https://banes-lab.com/records/reasoning/test-surface-resource-correctness.md) - [performance-correctness](https://banes-lab.com/records/reasoning/test-surface-performance-correctness.md) - [reliability-correctness](https://banes-lab.com/records/reasoning/test-surface-reliability-correctness.md) - [availability-correctness](https://banes-lab.com/records/reasoning/test-surface-availability-correctness.md) - [consistency-correctness](https://banes-lab.com/records/reasoning/test-surface-consistency-correctness.md) - [data-correctness](https://banes-lab.com/records/reasoning/test-surface-data-correctness.md) - [numerical-correctness](https://banes-lab.com/records/reasoning/test-surface-numerical-correctness.md) - [security-correctness](https://banes-lab.com/records/reasoning/test-surface-security-correctness.md) - [determinism-correctness](https://banes-lab.com/records/reasoning/test-surface-determinism-correctness.md) - [protocol-correctness](https://banes-lab.com/records/reasoning/test-surface-protocol-correctness.md) - [configuration-correctness](https://banes-lab.com/records/reasoning/test-surface-configuration-correctness.md) - [observability-correctness](https://banes-lab.com/records/reasoning/test-surface-observability-correctness.md) - [Evidence Grounding Validation](https://banes-lab.com/records/algorithms/evidence-grounding-validation.md) - [Workflow Validation Gate](https://banes-lab.com/records/algorithms/workflow-validation-gate.md) - [Additive Debt Gate](https://banes-lab.com/records/algorithms/additive-debt-gate.md) - [Zero-Duplication Verification](https://banes-lab.com/records/algorithms/zero-duplication-verification.md) - [Evidence-Based Claim Verification](https://banes-lab.com/records/algorithms/evidence-based-claim-verification.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) - [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) - [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) - [VALIDATE](https://banes-lab.com/records/pag/keyword-action-validate.md) - [VERIFY](https://banes-lab.com/records/pag/keyword-action-verify.md) - [REPORT](https://banes-lab.com/records/pag/keyword-action-report.md) - [EVIDENCE](https://banes-lab.com/records/pag/keyword-action-evidence.md) - [ASSERT](https://banes-lab.com/records/pag/keyword-validation-assert.md) - [REQUIRE](https://banes-lab.com/records/pag/keyword-validation-require.md) - [CHECK](https://banes-lab.com/records/pag/keyword-validation-check.md) - [RULE_ID](https://banes-lab.com/records/pag/keyword-validation-rule-id.md) - [VERDICT](https://banes-lab.com/records/pag/keyword-report-verdict.md) - [VALIDATE_ARTIFACT](https://banes-lab.com/records/pag/keyword-semantic-operation-validate-artifact.md) - [handoff_gate](https://banes-lab.com/records/pag/production-handoff-gate.md) - [check_line](https://banes-lab.com/records/pag/production-check-line.md) - [check_marker](https://banes-lab.com/records/pag/production-check-marker.md) - [report_block](https://banes-lab.com/records/pag/production-report-block.md) ## Math type - [set-theory](https://banes-lab.com/records/reasoning/math-type-set-theory.md) ## Linked from - [The loop](https://banes-lab.com/disciplined-methodology/start/the-loop.md) - [It looked right](https://banes-lab.com/disciplined-methodology/verify/it-looked-right.md) - [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) - [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) - [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 axes](https://banes-lab.com/ontology/reasoning/the-axes.md) - [The test surfaces](https://banes-lab.com/ontology/reasoning/the-test-surfaces.md) - [The groundings](https://banes-lab.com/ontology/reasoning/the-groundings.md) - [action](https://banes-lab.com/ontology/grammar/pag-keywords-action.md) - [validation](https://banes-lab.com/ontology/grammar/pag-keywords-validation.md) - [report](https://banes-lab.com/ontology/grammar/pag-keywords-report.md) - [semantic_operation](https://banes-lab.com/ontology/grammar/pag-keywords-semantic-operation.md) - [planning](https://banes-lab.com/ontology/grammar/pag-productions-planning.md)