# Assertion Checking

Record: `reason:technique-assertion-checking`
Kind: technique
Canonical: https://banes-lab.com/ontology/reasoning#reason-technique-assertion-checking

## mode

- [comparison](https://banes-lab.com/records/reason/mode-comparison.md)

## surfaces

- [semantic-correctness](https://banes-lab.com/records/reason/test-surface-semantic-correctness.md)
- [state-correctness](https://banes-lab.com/records/reason/test-surface-state-correctness.md)
- [resource-correctness](https://banes-lab.com/records/reason/test-surface-resource-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)

## referenced-by

- [Comparison](https://banes-lab.com/records/reason/mode-comparison.md)
- [Semantic Correctness](https://banes-lab.com/records/reason/test-surface-semantic-correctness.md)
- [State Correctness](https://banes-lab.com/records/reason/test-surface-state-correctness.md)
- [Resource Correctness](https://banes-lab.com/records/reason/test-surface-resource-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)