# Iteration Bound

> Increment iteration count before remediation, compare it to the maximum allowed attempts, and stop with partial success when the bound is exceeded.

Record: `algo:iteration-bound`
Kind: codebase-verification
Canonical: https://banes-lab.com/ontology/algorithms#algo-iteration-bound
Closure: https://banes-lab.com/json/records/algo/iteration-bound/closure

## stage

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

## axis

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

## composed-by

- [Context Initialization](https://banes-lab.com/records/algo/context-initialization.md)
- [Codebase Verification Kernel](https://banes-lab.com/records/algo/codebase-verification-kernel.md)

## grounds

- [ter-stop](https://banes-lab.com/records/reason/node-ter-stop.md)

## derived-by

- [Codebase Verification Kernel](https://banes-lab.com/records/algo/codebase-verification-kernel.md)