Safe Arithmetic Contract

Kind: algorithm

Record: algorithms:safe-arithmetic-contract

Canonical: Algorithms

Closure: Dependencies in load order

Check operands before calculation, reject division by zero, reject non-finite results, enforce bounds, and return nullable or typed failure instead of unsafe numeric state.

Listed in Algorithm contracts, after Defensive String Normalization and before Recursion Control.

Domain

• Context verification

Stage

• act

Axis

• formalization

Tier

• process

Math type

• Logic

Force

• Contract compatibility

Linked from

• The derivation loop
• The axes
• The mathematics
• Domain tiers
• The forces