# PAG Well-Formedness Validation

> Scan a PAG document for structural and epistemic defects, each named for the shape it catches — a retired unit head, a node without a gate, a check without evidence, a gate without a population or with an empty one, an unknown left unrouted, a write without a refusal, an artifact without freshness, a node declared twice, an input naming no source, an invariant missing its set, parties or objector, a bare invariant block, a lowercase keyword, a bare FOR, a missing colon, a vague condition — and emit a token-based, regex-free verdict.

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

## stage

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

## axis

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

## composes

- [PAG Handoff Gate](https://banes-lab.com/records/algo/pag-validation-gate.md)
- [PAG Explicit Control Flow](https://banes-lab.com/records/algo/pag-explicit-control-flow.md)

## derived-by

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