# Document types > Every PAG document type record, with what grounds it and how it is checked. Page: Ontology · Grammar Canonical: https://banes-lab.com/ontology/grammar#the-document-types Listed in [Ontology · Grammar](https://banes-lab.com/api/pages/ontology/grammar.md), after [statement](https://banes-lab.com/ontology/grammar/pag-productions-statement.md) and before [Templates](https://banes-lab.com/ontology/grammar/the-templates.md). Every PAG document type record, with what grounds it and how it is checked. ### AGENT - Default verb: PERFORMS - Model: [cognition](https://banes-lab.com/records/reasoning/model-cognition.md) - Axis: [reasoning](https://banes-lab.com/records/reasoning/axis-reasoning.md) Details Purpose Agent behavior definition Verbs PERFORMS, HAS, MANAGES How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ### WORKFLOW - Default verb: EXECUTES - Model: [cognition](https://banes-lab.com/records/reasoning/model-cognition.md) - Axis: [formalization](https://banes-lab.com/records/reasoning/axis-formalization.md) Details Purpose Multi-phase process orchestration Verbs EXECUTES, COORDINATES How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ### PROTOCOL - Default verb: DEFINES - Model: [pattern-cycle](https://banes-lab.com/records/reasoning/model-pattern-cycle.md) - Axis: [formalization](https://banes-lab.com/records/reasoning/axis-formalization.md) Details Purpose Standard operating procedures Verbs DEFINES How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ### POLICY - Default verb: ENFORCES - Model: [pattern-cycle](https://banes-lab.com/records/reasoning/model-pattern-cycle.md) - Axis: [teleology](https://banes-lab.com/records/reasoning/axis-teleology.md) Details Purpose Constraint and rule system Verbs ENFORCES How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ### CHECKLIST - Default verb: PROVIDES - Model: [pattern-cycle](https://banes-lab.com/records/reasoning/model-pattern-cycle.md) - Axis: [formalization](https://banes-lab.com/records/reasoning/axis-formalization.md) Details Purpose Task tracking with validation Verbs PROVIDES, GENERATES How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ### TEMPLATE - Default verb: IMPLEMENTS - Model: [pattern-cycle](https://banes-lab.com/records/reasoning/model-pattern-cycle.md) - Axis: [representation](https://banes-lab.com/records/reasoning/axis-representation.md) Details Purpose Reusable document pattern Verbs IMPLEMENTS, GENERATES How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ### TASK - Default verb: EXECUTES - Model: [pattern-cycle](https://banes-lab.com/records/reasoning/model-pattern-cycle.md) - Axis: [formalization](https://banes-lab.com/records/reasoning/axis-formalization.md) Details Purpose Single-objective operation Verbs EXECUTES How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ### INSTRUCTION - Default verb: IS - Model: [pattern-cycle](https://banes-lab.com/records/reasoning/model-pattern-cycle.md) - Axis: [formalization](https://banes-lab.com/records/reasoning/axis-formalization.md) Details Purpose General guidance document Verbs IS How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ### PROMPT - Default verb: IS - Model: [cognition](https://banes-lab.com/records/reasoning/model-cognition.md) - Axis: [formalization](https://banes-lab.com/records/reasoning/axis-formalization.md) Details Purpose Model interaction template Verbs IS How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ### COMMAND - Default verb: EXECUTES - Model: [cognition](https://banes-lab.com/records/reasoning/model-cognition.md) - Axis: [formalization](https://banes-lab.com/records/reasoning/axis-formalization.md) Details Purpose Executable command Verbs EXECUTES How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ### TEST - Default verb: PERFORMS - Model: [epistemology](https://banes-lab.com/records/reasoning/model-epistemology.md) - Axis: [verification](https://banes-lab.com/records/reasoning/axis-verification.md) Details Purpose Test specification Verbs PERFORMS How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ### DEBUG - Default verb: RESOLVES - Model: [epistemology](https://banes-lab.com/records/reasoning/model-epistemology.md) - Axis: [analysis](https://banes-lab.com/records/reasoning/axis-analysis.md) Details Purpose Evidence-gated root-cause debugging process Verbs RESOLVES, FINDS, FIXES How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ### VERIFICATION - Default verb: PERFORMS - Model: [epistemology](https://banes-lab.com/records/reasoning/model-epistemology.md) - Axis: [verification](https://banes-lab.com/records/reasoning/axis-verification.md) Details Purpose Forensic claim-versus-evidence adjudication process Verbs PERFORMS, VERIFIES, CLASSIFIES How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ### DISTILLATION - Default verb: DISTILLS - Model: [epistemology](https://banes-lab.com/records/reasoning/model-epistemology.md) - Axis: [reasoning](https://banes-lab.com/records/reasoning/axis-reasoning.md) Details Purpose Base abstraction drawn from behavioral evidence, with the duplicates proven gone Verbs DISTILLS, ABSTRACTS, ELIMINATES How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ### AUDIT - Default verb: AUDITS - Model: [epistemology](https://banes-lab.com/records/reasoning/model-epistemology.md) - Axis: [verification](https://banes-lab.com/records/reasoning/axis-verification.md) Details Purpose Universal-contract agent audit with non-destructive correction Verbs AUDITS, MEASURES, SCORES How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ### TRANSLATION - Default verb: AUDITS - Model: [epistemology](https://banes-lab.com/records/reasoning/model-epistemology.md) - Axis: [representation](https://banes-lab.com/records/reasoning/axis-representation.md) Details Purpose Line-by-line translation audit with four adversarial gates Verbs AUDITS, VERIFIES, CORRECTS How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ### COMPOSITION - Default verb: RENDERS - Model: [pattern-cycle](https://banes-lab.com/records/reasoning/model-pattern-cycle.md) - Axis: [formalization](https://banes-lab.com/records/reasoning/axis-formalization.md) Details Purpose Writing-structure generator built from anchors, modifiers and transforms Verbs RENDERS, COMPOSES, FOLDS How it is checked Checked by the document-type recognition check, which matches each type and its verbs to the keyword vocabulary and resolves its model and axis Population Every document type the grammar declares, and every document that declares one Freshness A verdict stands until the type list, the keyword vocabulary or the reasoning models change Refusal The ontology resolution gate fails on an unrecognized type or verb, or a type with no resolvable model or axis Observation None, because a document type is declared text, and nothing observes it while a run executes Evidence Watched to fire and to accept: one suite plants a type and a verb absent from the keyword vocabulary, another plants a type with no model or axis, and both pass a covered type Authoritative side The keyword vocabulary and the reasoning models, which a document type cites Depends on Not answered Shape it refuses Not answered ## Links to - [Cognition](https://banes-lab.com/records/reasoning/model-cognition.md) - [Reasoning](https://banes-lab.com/records/reasoning/axis-reasoning.md) - [Formalization](https://banes-lab.com/records/reasoning/axis-formalization.md) - [Pattern Cycle](https://banes-lab.com/records/reasoning/model-pattern-cycle.md) - [Teleology](https://banes-lab.com/records/reasoning/axis-teleology.md) - [Representation](https://banes-lab.com/records/reasoning/axis-representation.md) - [Epistemology](https://banes-lab.com/records/reasoning/model-epistemology.md) - [Verification](https://banes-lab.com/records/reasoning/axis-verification.md) - [Analysis](https://banes-lab.com/records/reasoning/axis-analysis.md)