# Ver Ground Truth

> Is it true against reality, not merely coherent?

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

## 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)

## 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)