# Termination

> Is it done?

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

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Verification](https://banes-lab.com/records/reasoning/axis-verification.md) and before [Identity](https://banes-lab.com/records/reasoning/node-ont-identity.md).

## Contracts

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

## Layer

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

## Nodes

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

## Primary math type

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

## Axis of

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

## Linked from

- [Agent creation](https://banes-lab.com/ontology/algorithms/algorithms-domain-agent-creation.md)
- [Agent workflow](https://banes-lab.com/ontology/algorithms/algorithms-domain-agent-workflow.md)
- [Automation](https://banes-lab.com/ontology/algorithms/algorithms-domain-automation.md)
- [Centralization](https://banes-lab.com/ontology/algorithms/algorithms-domain-centralization.md)
- [Checklist creation](https://banes-lab.com/ontology/algorithms/algorithms-domain-checklist-creation.md)
- [Codebase verification](https://banes-lab.com/ontology/algorithms/algorithms-domain-codebase-verification.md)
- [Context verification](https://banes-lab.com/ontology/algorithms/algorithms-domain-context-verification.md)
- [Test coverage](https://banes-lab.com/ontology/algorithms/algorithms-domain-test-coverage.md)
- [Pattern Abstract Grammar](https://banes-lab.com/ontology/algorithms/algorithms-domain-pag.md)
- [Pattern distillation](https://banes-lab.com/ontology/algorithms/algorithms-domain-pattern-distillation.md)
- [Governed plan loop](https://banes-lab.com/ontology/algorithms/algorithms-domain-governed-plan-loop.md)
- [Quality engine](https://banes-lab.com/ontology/algorithms/algorithms-domain-quality-engine.md)
- [Taxonomy](https://banes-lab.com/ontology/algorithms/algorithms-domain-taxonomy.md)
- [The derivation loop](https://banes-lab.com/ontology/reasoning/reasoning-loop-derivation-loop.md)
- [The reasoning layers](https://banes-lab.com/ontology/reasoning/the-reasoning-layers.md)
- [The nodes](https://banes-lab.com/ontology/reasoning/the-nodes.md)
