Ground Truth
Kind: node
Record: reasoning:node-ver-ground-truth
Canonical: Reasoning
Is it true against reality, not merely coherent?
Listed in Reasoning records, after Evidence and before Refutation Condition.
Axis
Grounded by
- semantic-correctness
- functional-correctness
- state-correctness
- interface-correctness
- interaction-correctness
- temporal-correctness
- concurrency-correctness
- memory-correctness
- resource-correctness
- performance-correctness
- reliability-correctness
- availability-correctness
- consistency-correctness
- data-correctness
- numerical-correctness
- security-correctness
- determinism-correctness
- protocol-correctness
- configuration-correctness
- observability-correctness
- TRUST