# PAG Authoring Kernel

> Compose a PAG document as frontmatter and typed declaration, then a meta block with jurisdiction, then nodes each headed by its layer, axis, math type and yields, contracted to read the prior node's output, and closed by a handoff gate with evidence, population, refusal and the three verdicts, drawing directives from the semantic operations, control flow and structure declarations, and closing with invariant records and a report.

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

## composes

- [PAG Document Declaration](https://banes-lab.com/records/algo/pag-document-declaration.md)
- [PAG Keyword Ontology](https://banes-lab.com/records/algo/pag-keyword-ontology.md)
- [PAG Node Decomposition](https://banes-lab.com/records/algo/pag-node-decomposition.md)
- [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)
- [PAG Semantic Operation](https://banes-lab.com/records/algo/pag-tool-invocation.md)
- [PAG Structure Declaration](https://banes-lab.com/records/algo/pag-coordination-construct.md)
- [PAG Invariant Record](https://banes-lab.com/records/algo/pag-constraint-boundary.md)

## grounds

- [derivation-loop](https://banes-lab.com/records/reason/loop-derivation-loop.md)