# Ground Truth

> Is it true against reality, not merely coherent?

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

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Evidence](https://banes-lab.com/records/reasoning/node-ver-evidence.md) and before [Refutation Condition](https://banes-lab.com/records/reasoning/node-ver-falsification.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)
- [TRUST](https://banes-lab.com/records/pag/keyword-meta-trust.md)

## Math type

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

## Linked from

- [The stance](https://banes-lab.com/disciplined-methodology/start/the-stance.md)
- [It looked right](https://banes-lab.com/disciplined-methodology/verify/it-looked-right.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)
- [meta](https://banes-lab.com/ontology/grammar/pag-keywords-meta.md)