# Safe Arithmetic Contract

> 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.

Record: `algo:safe-arithmetic-contract`
Kind: context-verification
Canonical: https://banes-lab.com/ontology/algorithms#algo-safe-arithmetic-contract
Closure: https://banes-lab.com/json/records/algo/safe-arithmetic-contract/closure

## stage

- [act](https://banes-lab.com/records/stage/act.md)

## axis

- [formalisation](https://banes-lab.com/records/reason/axis-formalisation.md)