# Termination

> Is it done?

Record: `reason:axis-termination`
Kind: axis
Canonical: https://banes-lab.com/ontology/reasoning#reason-axis-termination

## contracts

- [Agent Generation Completion](https://banes-lab.com/records/algo/agent-generation-completion.md)
- [First-Time Initiation](https://banes-lab.com/records/algo/first-time-initiation.md)
- [Automation Completion Status](https://banes-lab.com/records/algo/automation-completion-status.md)
- [Completion Truthfulness](https://banes-lab.com/records/algo/completion-truthfulness.md)
- [Explicit Termination](https://banes-lab.com/records/algo/explicit-termination.md)
- [Early Success Exit](https://banes-lab.com/records/algo/early-success-exit.md)
- [Iteration Bound](https://banes-lab.com/records/algo/iteration-bound.md)
- [Validation Gate](https://banes-lab.com/records/algo/validation-gate.md)
- [Phase Close Gate](https://banes-lab.com/records/algo/phase-close-gate.md)
- [PAG Well-Formedness Validation](https://banes-lab.com/records/algo/pag-well-formedness-validation.md)
- [Completion Truthfulness](https://banes-lab.com/records/algo/pattern-distillation-completion-truthfulness.md)
- [Bounded Cascade Termination](https://banes-lab.com/records/algo/bounded-cascade-termination.md)
- [Taxonomy Completion](https://banes-lab.com/records/algo/taxonomy-completion.md)
- [Coverage Completion](https://banes-lab.com/records/algo/coverage-completion.md)

## layer

- [evaluative](https://banes-lab.com/records/reason/layer-evaluative.md)

## nodes

- [ter-completion](https://banes-lab.com/records/reason/node-ter-completion.md)
- [ter-saturation](https://banes-lab.com/records/reason/node-ter-saturation.md)
- [ter-diminishing-returns](https://banes-lab.com/records/reason/node-ter-diminishing-returns.md)
- [ter-block](https://banes-lab.com/records/reason/node-ter-block.md)
- [ter-stop](https://banes-lab.com/records/reason/node-ter-stop.md)
- [ter-promotion](https://banes-lab.com/records/reason/node-ter-promotion.md)
- [ter-publication](https://banes-lab.com/records/reason/node-ter-publication.md)

## primary-math-type

- [set-theory](https://banes-lab.com/records/reason/math-type-set-theory.md)

## referenced-by

- [Ter Completion](https://banes-lab.com/records/reason/node-ter-completion.md)
- [Ter Saturation](https://banes-lab.com/records/reason/node-ter-saturation.md)
- [Ter Diminishing Returns](https://banes-lab.com/records/reason/node-ter-diminishing-returns.md)
- [Ter Block](https://banes-lab.com/records/reason/node-ter-block.md)
- [Ter Stop](https://banes-lab.com/records/reason/node-ter-stop.md)
- [Ter Promotion](https://banes-lab.com/records/reason/node-ter-promotion.md)
- [Ter Publication](https://banes-lab.com/records/reason/node-ter-publication.md)
- [Evaluative](https://banes-lab.com/records/reason/layer-evaluative.md)