Correctness Core

Kind: algorithm

Layer: Correctness Core

Record: algorithms:correctness-core

Canonical: Algorithms

Closure: Dependencies in load order

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

Listed in Algorithm contracts, after Structural Core and before Evolution Principles.

Domain

• Architectural Clusters

Tier

• exempt

Principle

• Fail Fast

Composed by

• Petri Nets
• Enforced Feedback Over Ignored
• Errors As Language Over Silent Errors
• Explicit Invalidity Over Hidden
• Computed Health Over Metric Health
• Boundary Validation Over Unvalidated Input
• Design By Contract Over Implicit Contract
• Schema-Validated Boundary Over Untyped
• Injected Nondeterminism Over Hidden

Contract of

• Correctness Core

Linked from

• Error Handling / Resilience
• Architecture
• Architectural Rules
• Domain tiers
• The layer topology