# PAG · Guide

> This section covers how a first document is written.

Canonical: https://banes-lab.com/pag/guide
Page as Markdown: https://banes-lab.com/pag/guide.md
Page as JSON: https://banes-lab.com/json/pag/guide
This index as JSON: https://banes-lab.com/json/api/pages/pag/guide

## Entries

- [Writing a first document](https://banes-lab.com/pag/guide/getting-started.md): This section covers how a first document is written.
- [Document structure](https://banes-lab.com/pag/guide/document-structure.md): A document says what kind of instruction it is before it gives any instruction, which is the orient stage of the loop written down: what exists is declared…
- [Semantic operations](https://banes-lab.com/pag/guide/tool-invocation.md): Every external effect in a document is a named semantic operation, with explicit parameters and an explicit binding for its result; invocation parts] names…
- [Node design](https://banes-lab.com/pag/guide/node-design.md): A node is one bounded unit of work with one decision, a declared input, a declared output and a gate at its end; three granularities] shows this bounded form…
- [Writing constraints](https://banes-lab.com/pag/guide/writing-constraints.md): A constraint states a boundary in a form the model can quote back and a reviewer can check against a line.
- [Well-formedness](https://banes-lab.com/pag/guide/well-formedness.md): This section covers the static analysis that decides whether a document can be trusted; two routes to trust] contrasts it with trusting a document because it…