# Correctness Core

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

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

Listed in [Algorithm contracts](https://banes-lab.com/api/records/algorithms.md), after [Structural Core](https://banes-lab.com/records/algorithms/structural-core.md) and before [Evolution Principles](https://banes-lab.com/records/algorithms/evolution-principles.md).

## Domain

- [Architectural Clusters](https://banes-lab.com/records/algorithms-domain/architectural-clusters.md)

## Tier

- [exempt](https://banes-lab.com/records/vocabulary/domain-tier-exempt.md)

## Principle

- [Fail Fast](https://banes-lab.com/records/architecture/fail-fast.md)

## Composed by

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

## Contract of

- [Correctness Core](https://banes-lab.com/records/layer/correctness-core.md)

## Linked from

- [Error Handling / Resilience](https://banes-lab.com/ontology/principles/architecture-category-error-handling-resilience.md)
- [Architecture](https://banes-lab.com/ontology/algorithms/algorithms-domain-architecture.md)
- [Architectural Rules](https://banes-lab.com/ontology/algorithms/algorithms-domain-architectural-rules.md)
- [Domain tiers](https://banes-lab.com/ontology/schema/the-vocabulary-domain-tier.md)
- [The layer topology](https://banes-lab.com/ontology/schema/the-layer-topology.md)