# Correctness Core

> The rules ensuring behavioral correctness and validity — no silent failures, no hidden invalidity, feedback acted on, results observed.

Record: `algo:correctness-core`
Kind: Architectural Clusters
Layer: [Correctness Core](https://banes-lab.com/records/layer/correctness-core.md)
Canonical: https://banes-lab.com/ontology/algorithms#algo-correctness-core
Closure: https://banes-lab.com/json/records/algo/correctness-core/closure

## composed-by

- [Enforced Feedback Over Ignored](https://banes-lab.com/records/algo/no-ignored-feedback.md)
- [Errors As Language Over Silent Errors](https://banes-lab.com/records/algo/no-silent.md)
- [Explicit Invalidity Over Hidden](https://banes-lab.com/records/algo/no-hidden-invalidity.md)
- [Computed Health Over Metric Health](https://banes-lab.com/records/algo/no-metrics.md)
- [Boundary Validation Over Unvalidated Input](https://banes-lab.com/records/algo/no-unvalidated-input.md)
- [Design By Contract Over Implicit Contract](https://banes-lab.com/records/algo/no-implicit-contract.md)
- [Schema-Validated Boundary Over Untyped](https://banes-lab.com/records/algo/no-untyped-boundary.md)
- [Injected Nondeterminism Over Hidden](https://banes-lab.com/records/algo/no-hidden-nondeterminism.md)
- [Petri Nets](https://banes-lab.com/records/algo/petri-nets.md)