# Constraint

> This node sits on the Substrate layer. Its mathematical type is optimization. The Ontogenesis models build on it.

Record: `reasoning:substrate-node-constraint`
Kind: substrate-node
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-substrate-node-constraint

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Transformation](https://banes-lab.com/records/reasoning/substrate-node-transformation.md) and before [Invariant](https://banes-lab.com/records/reasoning/substrate-node-invariant.md).

## Layer

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

## Math type

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

## Grounded by

- [Anti-Reintroduction Gate](https://banes-lab.com/records/algorithms/anti-reintroduction-gate.md)
- [ENFORCE](https://banes-lab.com/records/pag/keyword-action-enforce.md)
- [MUST](https://banes-lab.com/records/pag/keyword-modifier-must.md)
- [NEVER](https://banes-lab.com/records/pag/keyword-modifier-never.md)
- [ALWAYS](https://banes-lab.com/records/pag/keyword-modifier-always.md)
- [REQUIRED](https://banes-lab.com/records/pag/keyword-modifier-required.md)
- [MANDATORY](https://banes-lab.com/records/pag/keyword-modifier-mandatory.md)
- [CRITICAL](https://banes-lab.com/records/pag/keyword-modifier-critical.md)
- [ABSOLUTE](https://banes-lab.com/records/pag/keyword-modifier-absolute.md)
- [FORBIDDEN](https://banes-lab.com/records/pag/keyword-modifier-forbidden.md)
- [LOCK](https://banes-lab.com/records/pag/keyword-coordination-lock.md)
- [UNLOCK](https://banes-lab.com/records/pag/keyword-coordination-unlock.md)
- [BARRIER](https://banes-lab.com/records/pag/keyword-coordination-barrier.md)
- [SWAP](https://banes-lab.com/records/pag/keyword-coordination-swap.md)
- [BINDS](https://banes-lab.com/records/pag/keyword-invariant-binds.md)
- [LIMIT](https://banes-lab.com/records/pag/keyword-node-limit.md)

## Sequence of

- [Ontogenesis](https://banes-lab.com/records/reasoning/model-ontogenesis.md)

## Linked from

- [Pattern distillation](https://banes-lab.com/ontology/algorithms/algorithms-domain-pattern-distillation.md)
- [The models](https://banes-lab.com/ontology/reasoning/the-models.md)
- [The maps](https://banes-lab.com/ontology/reasoning/the-maps.md)
- [action](https://banes-lab.com/ontology/grammar/pag-keywords-action.md)
- [modifier](https://banes-lab.com/ontology/grammar/pag-keywords-modifier.md)
- [coordination](https://banes-lab.com/ontology/grammar/pag-keywords-coordination.md)
- [invariant](https://banes-lab.com/ontology/grammar/pag-keywords-invariant.md)
- [node](https://banes-lab.com/ontology/grammar/pag-keywords-node.md)