Computation Core

Kind: algorithm

Layer: Computation Core

Record: algorithms:computation-core

Canonical: Algorithms

Closure: Dependencies in load order

The rules governing computation determinism and purity — no mutable shared state, no hidden nondeterminism, reproducible results.

Listed in Algorithm contracts, after Execution Core and before Security Core.

Domain

• Architectural Clusters

Tier

• exempt

Principle

• Determinism

Composed by

• Immutable Data Over Mutable State
• Errors As Language Over Silent Errors
• Explicit Invalidity Over Hidden
• Injected Nondeterminism Over Hidden

Contract of

• Computation Core

Linked from

• Correctness / Determinism / Verification
• Architectural Rules
• Domain tiers
• The layer topology