# planning > Every PAG production record, with what grounds it and how it is checked. Page: Ontology · Grammar Canonical: https://banes-lab.com/ontology/grammar#pag-productions-planning Listed in [Ontology · Grammar](https://banes-lab.com/api/pages/ontology/grammar.md), after [contextual](https://banes-lab.com/ontology/grammar/pag-keywords-contextual.md) and before [coordination](https://banes-lab.com/ontology/grammar/pag-productions-coordination.md). Every PAG production record, with what grounds it and how it is checked. ### instruction Details Rule Grounds [loop:derivation-loop](https://banes-lab.com/ontology/reasoning/reasoning-loop-derivation-loop.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### frontmatter Details Rule "---" "---" How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### document_declaration Details Rule "THIS" How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### meta_block Details Rule "%%" "META" "%%" ":" + Grounds [node:tel-objective](https://banes-lab.com/records/reasoning/node-tel-objective.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### meta_field Details Rule "objective:" | "priority:" | "trust:" | "jurisdiction:" "|" "external:" | "recursion_limit:" Grounds [node:tel-objective](https://banes-lab.com/records/reasoning/node-tel-objective.md), [invariant:epi-reachable-check](https://banes-lab.com/records/reasoning/invariant-epi-reachable-check.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### body Details Rule + * Grounds [loop:derivation-loop](https://banes-lab.com/ontology/reasoning/reasoning-loop-derivation-loop.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### node Details Rule * Grounds [loop:derivation-loop](https://banes-lab.com/ontology/reasoning/reasoning-loop-derivation-loop.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### node_header Details Rule "#" "NODE" "—" "[" "·" "·" "·" "yields:" "]" Grounds [axis:ontology](https://banes-lab.com/records/reasoning/axis-ontology.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### node_meta_tag Details Rule "@purpose:" | "@axis_question:" | "@cue:" | "@genesis:" | "@mandatory" Grounds [node:tel-objective](https://banes-lab.com/records/reasoning/node-tel-objective.md), [substrate-node:existence](https://banes-lab.com/records/reasoning/substrate-node-existence.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### contract Details Rule "CONTRACT:" "input:" "transform:" + "output:" Grounds [loop:derivation-loop](https://banes-lab.com/ontology/reasoning/reasoning-loop-derivation-loop.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### preserves_clause Details Rule "preserves:" Grounds [invariant:epi-preserved-distinction](https://banes-lab.com/records/reasoning/invariant-epi-preserved-distinction.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### freshness_clause Details Rule "freshness:" "+" Grounds [node:ver-freshness](https://banes-lab.com/records/reasoning/node-ver-freshness.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### handoff_gate Details Rule "HANDOFF" "GATE" ":" + Grounds [node:ver-evidence](https://banes-lab.com/records/reasoning/node-ver-evidence.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### check_line Details Rule "(evidence:" ")" Grounds [node:ver-evidence](https://banes-lab.com/records/reasoning/node-ver-evidence.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### check_marker Details Rule "[check]" | "ASSERT" | "REQUIRE" Grounds [node:ver-evidence](https://banes-lab.com/records/reasoning/node-ver-evidence.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### population_clause Details Rule "over:" "measured:" "/" Grounds [node:ver-population](https://banes-lab.com/records/reasoning/node-ver-population.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### refusal_line Details Rule "refuse:" "before" Grounds [node:ver-refusal](https://banes-lab.com/records/reasoning/node-ver-refusal.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### standing_line Details Rule "standing:" "moved-set" Grounds [node:ver-standing](https://banes-lab.com/records/reasoning/node-ver-standing.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### result_line Details Rule "result:" "pass" ("|" "REPAIR" "(owner:" ")")+ "|" "unknown" "BLOCKED" Grounds [node:ver-refutation](https://banes-lab.com/records/reasoning/node-ver-refutation.md), [node:ter-block](https://banes-lab.com/records/reasoning/node-ter-block.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### arrow Details Rule "→" | "->" Grounds [representation:symbolic](https://banes-lab.com/records/reasoning/representation-symbolic.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### repair_edge Details Rule "#" "REPAIR" "EDGE" Grounds [node:ver-refutation](https://banes-lab.com/records/reasoning/node-ver-refutation.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### invariant_block Details Rule "#" "CROSS-NODE" "INVARIANTS" + Grounds [substrate-node:invariant](https://banes-lab.com/records/reasoning/substrate-node-invariant.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### invariant_record Details Rule "INVARIANT" ":" "over:" "binds:" "objector:" ( | "none") Grounds [substrate-node:invariant](https://banes-lab.com/records/reasoning/substrate-node-invariant.md), [node:ver-falsification](https://banes-lab.com/records/reasoning/node-ver-falsification.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### report_block Details Rule "REPORT" ":" + Grounds [node:ver-evidence](https://banes-lab.com/records/reasoning/node-ver-evidence.md), [invariant:epi-verdict-is-representation](https://banes-lab.com/records/reasoning/invariant-epi-verdict-is-representation.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### report_field Details Rule "subject:" | "verdict:" | "domain:" "declared" "measured" | "populations:" | "inputs:" | "code:" | "output:" | "refusals:" | "observed:" | "unresolved:" | "completion:" "saturated" "complete" "verified" Grounds [node:ver-population](https://banes-lab.com/records/reasoning/node-ver-population.md), [node:ver-freshness](https://banes-lab.com/records/reasoning/node-ver-freshness.md), [node:ver-observation](https://banes-lab.com/records/reasoning/node-ver-observation.md), [node:ter-stop](https://banes-lab.com/records/reasoning/node-ter-stop.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### verdict Details Rule "pass" | "fail" | "unknown" Grounds [node:ver-confidence](https://banes-lab.com/records/reasoning/node-ver-confidence.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ## Links to - [The derivation loop](https://banes-lab.com/ontology/reasoning/reasoning-loop-derivation-loop.md) - [Objective](https://banes-lab.com/records/reasoning/node-tel-objective.md) - [Reachable Check](https://banes-lab.com/records/reasoning/invariant-epi-reachable-check.md) - [Ontology](https://banes-lab.com/records/reasoning/axis-ontology.md) - [Existence](https://banes-lab.com/records/reasoning/substrate-node-existence.md) - [Preserved Distinction](https://banes-lab.com/records/reasoning/invariant-epi-preserved-distinction.md) - [Freshness](https://banes-lab.com/records/reasoning/node-ver-freshness.md) - [Evidence](https://banes-lab.com/records/reasoning/node-ver-evidence.md) - [Population](https://banes-lab.com/records/reasoning/node-ver-population.md) - [Refusal](https://banes-lab.com/records/reasoning/node-ver-refusal.md) - [Standing](https://banes-lab.com/records/reasoning/node-ver-standing.md) - [Support Against Refutation](https://banes-lab.com/records/reasoning/node-ver-refutation.md) - [Blocked Run](https://banes-lab.com/records/reasoning/node-ter-block.md) - [Symbolic](https://banes-lab.com/records/reasoning/representation-symbolic.md) - [Invariant](https://banes-lab.com/records/reasoning/substrate-node-invariant.md) - [Refutation Condition](https://banes-lab.com/records/reasoning/node-ver-falsification.md) - [Checked Verdict](https://banes-lab.com/records/reasoning/invariant-epi-verdict-is-representation.md) - [Located Observation](https://banes-lab.com/records/reasoning/node-ver-observation.md) - [Stop Condition](https://banes-lab.com/records/reasoning/node-ter-stop.md) - [Confidence](https://banes-lab.com/records/reasoning/node-ver-confidence.md)