# PAG Invariant Record

> State every behavioral 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: `algorithms:pag-constraint-boundary`
Kind: algorithm
Canonical: https://banes-lab.com/ontology/algorithms#algorithms-pag-constraint-boundary
Closure: https://banes-lab.com/json/records/algorithms/pag-constraint-boundary/closure

Listed in [Algorithm contracts](https://banes-lab.com/api/records/algorithms.md), after [PAG Explicit Control Flow](https://banes-lab.com/records/algorithms/pag-explicit-control-flow.md) and before [PAG Semantic Operation](https://banes-lab.com/records/algorithms/pag-tool-invocation.md).

## Domain

- [Pattern Abstract Grammar](https://banes-lab.com/records/algorithms-domain/pag.md)

## Stage

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

## Axis

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

## Tier

- [process](https://banes-lab.com/records/vocabulary/domain-tier-process.md)

## Composed by

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

## Named in the derivation of

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

## Math type

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

## Force

- [Correctness verification](https://banes-lab.com/records/force/correctness-verification.md)
- [Model governance](https://banes-lab.com/records/force/model-governance.md)
- [Security governance](https://banes-lab.com/records/force/security-governance.md)

## Linked from

- [Pattern Abstract Grammar](https://banes-lab.com/ontology/algorithms/algorithms-domain-pag.md)
- [The derivation loop](https://banes-lab.com/ontology/reasoning/reasoning-loop-derivation-loop.md)
- [The axes](https://banes-lab.com/ontology/reasoning/the-axes.md)
- [The mathematics](https://banes-lab.com/ontology/reasoning/the-mathematics.md)
- [Domain tiers](https://banes-lab.com/ontology/schema/the-vocabulary-domain-tier.md)
- [The forces](https://banes-lab.com/ontology/schema/the-forces.md)