# PAG Invariant Record

> State every behavioural invariant as a record with four slots: the property in a form that could be false, the set it quantifies over, the parties it binds, and the objector, the check that would disagree if the property stopped holding or none as declared debt, so an unwatched invariant is visible rather than assumed.

Record: `algo:pag-constraint-boundary`
Kind: pag
Canonical: https://banes-lab.com/ontology/algorithms#algo-pag-constraint-boundary
Closure: https://banes-lab.com/json/records/algo/pag-constraint-boundary/closure

## stage

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

## axis

- [teleology](https://banes-lab.com/records/reason/axis-teleology.md)

## composed-by

- [PAG Authoring Kernel](https://banes-lab.com/records/algo/pag-authoring-kernel.md)

## derived-by

- [PAG Authoring Kernel](https://banes-lab.com/records/algo/pag-authoring-kernel.md)