# Mark the Invariant Unheld

> A technique for marking an invariant that nothing enforces as unheld, together with every derivation that rests on it.

Record: `lexicon:mark-the-invariant-unheld`
Kind: technique
Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lexicon-mark-the-invariant-unheld

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Name the Objector](https://banes-lab.com/records/lexicon/name-the-objector.md) and before [Derive State from Edges](https://banes-lab.com/records/lexicon/derive-state-from-edges.md).

## Category

- [Coordination Surfaces](https://banes-lab.com/records/lexicon-category/coordination-surfaces.md)

## Refactors

- [Stated Invariant](https://banes-lab.com/records/architecture/stated-invariant.md)

## Linked from

- [Coordination Surfaces](https://banes-lab.com/ontology/principles/architecture-category-coordination-surfaces.md)