# invariant_record

> "INVARIANT" <name> ":" <property> "over:" <set> "binds:" <parties> "objector:" (<check_ref> | "none")

Record: `pag:production-invariant-record`
Kind: production
Canonical: https://banes-lab.com/ontology/grammar#pag-production-invariant-record

Listed in [Grammar records](https://banes-lab.com/api/records/pag.md), after [invariant_block](https://banes-lab.com/records/pag/production-invariant-block.md) and before [report_block](https://banes-lab.com/records/pag/production-report-block.md).

## Grounds

- [substrate-node:invariant](https://banes-lab.com/records/reasoning/substrate-node-invariant.md)
- [node:ver-falsification](https://banes-lab.com/records/reasoning/node-ver-falsification.md)

## Linked from

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