# Verdicts > Each verdict is listed with its definition and the test surfaces that can return it. Page: Ontology · Schema Canonical: https://banes-lab.com/ontology/schema#the-vocabulary-verdict Listed in [Ontology · Schema](https://banes-lab.com/api/pages/ontology/schema.md), after [Domain tiers](https://banes-lab.com/ontology/schema/the-vocabulary-domain-tier.md) and before [Predicate types](https://banes-lab.com/ontology/schema/the-vocabulary-predicate-type.md). Each verdict is listed with its definition and the test surfaces that can return it. ### pass Details Definition A verdict for a surface whose evidence is not empty and every claim in it holds. Test surfaces [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) ### fail Details Definition A verdict for a surface whose evidence is not empty and a claim in it does not hold. Test surfaces [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) ### unknown Details Definition A verdict for a surface no evidence reaches, which a report keeps apart from pass. Test surfaces [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) ## Links to - [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)