# <PAG Instruction Concern>

> <Declare document type and jurisdiction> → <Draw grounded uppercase directives> → <Decompose into headed, contracted, gated nodes> → <Bind semantic operations and structure declarations> → <Bound with invariant records> → <Validate well-formedness against the failure taxonomy>

Record: `algorithms:pag-instruction-concern`
Kind: algorithm
Canonical: https://banes-lab.com/ontology/algorithms#algorithms-pag-instruction-concern
Closure: https://banes-lab.com/json/records/algorithms/pag-instruction-concern/closure

Listed in [Algorithm contracts](https://banes-lab.com/api/records/algorithms.md), after [PAG Well-Formedness Validation](https://banes-lab.com/records/algorithms/pag-well-formedness-validation.md) and before [Analysis Workspace](https://banes-lab.com/records/algorithms/analysis-workspace.md).

## Domain

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

## Tier

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

## Force

- [Correctness verification](https://banes-lab.com/records/force/correctness-verification.md)
- [Metaprogramming modeling](https://banes-lab.com/records/force/metaprogramming-modeling.md)
- [Model governance](https://banes-lab.com/records/force/model-governance.md)
- [Semantic consistency](https://banes-lab.com/records/force/semantic-consistency.md)

## Linked from

- [Domain tiers](https://banes-lab.com/ontology/schema/the-vocabulary-domain-tier.md)
- [The forces](https://banes-lab.com/ontology/schema/the-forces.md)