# Reliability Correctness

> no input leads to an unhandled fault

Record: `reason:test-surface-reliability-correctness`
Kind: test-surface
Canonical: https://banes-lab.com/ontology/reasoning#reason-test-surface-reliability-correctness

## dimension

- [probability](https://banes-lab.com/records/reason/dimension-probability.md)

## evidence-grounds

- [ver-evidence](https://banes-lab.com/records/reason/node-ver-evidence.md)

## invariant

- [reliability-under-faults](https://banes-lab.com/records/reason/invariant-reliability-under-faults.md)

## lens

- [anomaly](https://banes-lab.com/records/reason/lens-anomaly.md)

## predicate-grounds

- [ver-ground-truth](https://banes-lab.com/records/reason/node-ver-ground-truth.md)

## techniques

- [chaos-testing](https://banes-lab.com/records/reason/technique-chaos-testing.md)
- [fault-injection](https://banes-lab.com/records/reason/technique-fault-injection.md)
- [monitoring](https://banes-lab.com/records/reason/technique-monitoring.md)

## referenced-by

- [Ver Evidence](https://banes-lab.com/records/reason/node-ver-evidence.md)
- [Ver Ground Truth](https://banes-lab.com/records/reason/node-ver-ground-truth.md)
- [Probability](https://banes-lab.com/records/reason/dimension-probability.md)
- [Reliability Under Faults](https://banes-lab.com/records/reason/invariant-reliability-under-faults.md)
- [Anomaly](https://banes-lab.com/records/reason/lens-anomaly.md)
- [Fault Injection](https://banes-lab.com/records/reason/technique-fault-injection.md)
- [Chaos Testing](https://banes-lab.com/records/reason/technique-chaos-testing.md)
- [Monitoring](https://banes-lab.com/records/reason/technique-monitoring.md)