# Predicate types

> Each predicate type is listed with its definition and the test surfaces that use it.

Page: Ontology · Schema
Canonical: https://banes-lab.com/ontology/schema#the-vocabulary-predicate-type

Listed in [Ontology · Schema](https://banes-lab.com/api/pages/ontology/schema.md), after [Verdicts](https://banes-lab.com/ontology/schema/the-vocabulary-verdict.md) and before [Evidence sources](https://banes-lab.com/ontology/schema/the-vocabulary-evidence-source.md).

Each predicate type is listed with its definition and the test surfaces that use it.

### invariant

Details

Definition
A claim that a property holds in every state the surface reaches.

Test surfaces
[functional-correctness](https://banes-lab.com/records/reasoning/test-surface-functional-correctness.md), [concurrency-correctness](https://banes-lab.com/records/reasoning/test-surface-concurrency-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), [observability-correctness](https://banes-lab.com/records/reasoning/test-surface-observability-correctness.md)

### equivalence

Details

Definition
A claim that two representations produce the same result.

Test surfaces
[semantic-correctness](https://banes-lab.com/records/reasoning/test-surface-semantic-correctness.md), [interaction-correctness](https://banes-lab.com/records/reasoning/test-surface-interaction-correctness.md), [determinism-correctness](https://banes-lab.com/records/reasoning/test-surface-determinism-correctness.md)

### bound

Details

Definition
A claim that a measured value stays within a limit.

Test surfaces
[temporal-correctness](https://banes-lab.com/records/reasoning/test-surface-temporal-correctness.md), [memory-correctness](https://banes-lab.com/records/reasoning/test-surface-memory-correctness.md), [performance-correctness](https://banes-lab.com/records/reasoning/test-surface-performance-correctness.md), [availability-correctness](https://banes-lab.com/records/reasoning/test-surface-availability-correctness.md)

### temporal-order

Details

Definition
A claim that one event happens before another.

Test surfaces
[state-correctness](https://banes-lab.com/records/reasoning/test-surface-state-correctness.md), [protocol-correctness](https://banes-lab.com/records/reasoning/test-surface-protocol-correctness.md)

### schema

Details

Definition
A claim that a value has its declared shape.

Test surfaces
[interface-correctness](https://banes-lab.com/records/reasoning/test-surface-interface-correctness.md), [configuration-correctness](https://banes-lab.com/records/reasoning/test-surface-configuration-correctness.md)

### absence

Details

Definition
A claim that something does not occur, over a declared population.

Test surfaces
[resource-correctness](https://banes-lab.com/records/reasoning/test-surface-resource-correctness.md), [reliability-correctness](https://banes-lab.com/records/reasoning/test-surface-reliability-correctness.md), [security-correctness](https://banes-lab.com/records/reasoning/test-surface-security-correctness.md)

## Links to

- [Functional Correctness](https://banes-lab.com/records/reasoning/test-surface-functional-correctness.md)
- [Concurrency Correctness](https://banes-lab.com/records/reasoning/test-surface-concurrency-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)
- [Observability Correctness](https://banes-lab.com/records/reasoning/test-surface-observability-correctness.md)
- [Semantic Correctness](https://banes-lab.com/records/reasoning/test-surface-semantic-correctness.md)
- [Interaction Correctness](https://banes-lab.com/records/reasoning/test-surface-interaction-correctness.md)
- [Determinism Correctness](https://banes-lab.com/records/reasoning/test-surface-determinism-correctness.md)
- [Temporal Correctness](https://banes-lab.com/records/reasoning/test-surface-temporal-correctness.md)
- [Memory Correctness](https://banes-lab.com/records/reasoning/test-surface-memory-correctness.md)
- [Performance Correctness](https://banes-lab.com/records/reasoning/test-surface-performance-correctness.md)
- [Availability Correctness](https://banes-lab.com/records/reasoning/test-surface-availability-correctness.md)
- [State Correctness](https://banes-lab.com/records/reasoning/test-surface-state-correctness.md)
- [Protocol Correctness](https://banes-lab.com/records/reasoning/test-surface-protocol-correctness.md)
- [Interface Correctness](https://banes-lab.com/records/reasoning/test-surface-interface-correctness.md)
- [Configuration Correctness](https://banes-lab.com/records/reasoning/test-surface-configuration-correctness.md)
- [Resource Correctness](https://banes-lab.com/records/reasoning/test-surface-resource-correctness.md)
- [Reliability Correctness](https://banes-lab.com/records/reasoning/test-surface-reliability-correctness.md)
- [Security Correctness](https://banes-lab.com/records/reasoning/test-surface-security-correctness.md)