# validation > Every PAG keyword record, with what grounds it and how it is checked. Page: Ontology · Grammar Canonical: https://banes-lab.com/ontology/grammar#pag-keywords-validation Listed in [Ontology · Grammar](https://banes-lab.com/api/pages/ontology/grammar.md), after [meta](https://banes-lab.com/ontology/grammar/pag-keywords-meta.md) and before [report](https://banes-lab.com/ontology/grammar/pag-keywords-report.md). Every PAG keyword record, with what grounds it and how it is checked. ### ASSERT Details Meaning Hard assertion Example ASSERT condition Grounds [node:ver-evidence](https://banes-lab.com/records/reasoning/node-ver-evidence.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### REQUIRE Details Meaning Prerequisite check Example REQUIRE dependency Grounds [node:ver-evidence](https://banes-lab.com/records/reasoning/node-ver-evidence.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### HANDOFF Details Meaning Gate marker · the evidence-bearing gate that closes a node Example HANDOFF GATE (evidence-bearing): Grounds [node:ter-stop](https://banes-lab.com/records/reasoning/node-ter-stop.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### GATE Details Meaning Checkpoint marker Example HANDOFF GATE: Grounds [node:ter-stop](https://banes-lab.com/records/reasoning/node-ter-stop.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### CHECK Details Meaning A check in a gate · a claim about the output with the evidence that settles it Example [check] (evidence: ) Grounds [node:ver-evidence](https://banes-lab.com/records/reasoning/node-ver-evidence.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### POPULATION Details Meaning The set a check ranges over, measured · zero of zero is not evidence Example over: measured: / Grounds [node:ver-population](https://banes-lab.com/records/reasoning/node-ver-population.md), [invariant:epi-declared-domain](https://banes-lab.com/records/reasoning/invariant-epi-declared-domain.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### REFUSE Details Meaning Where a node refuses to continue · named before the irreversible write Example refuse: before Grounds [node:ver-refusal](https://banes-lab.com/records/reasoning/node-ver-refusal.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### FRESHNESS Details Meaning The fingerprints an artifact was derived from · a semantic property, never a timestamp Example freshness: + Grounds [node:ver-freshness](https://banes-lab.com/records/reasoning/node-ver-freshness.md), [invariant:epi-fresh-read](https://banes-lab.com/records/reasoning/invariant-epi-fresh-read.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### STANDING Details Meaning Whether the read set moved beneath the verdict · a non-empty moved set withdraws the standing, never the verdict Example standing: moved-set Grounds [node:ver-standing](https://banes-lab.com/records/reasoning/node-ver-standing.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### UNKNOWN Details Meaning The third verdict · an unmeasured or unevidenced claim, never a pass Example unknown → BLOCKED Grounds [node:ver-confidence](https://banes-lab.com/records/reasoning/node-ver-confidence.md), [node:ter-block](https://banes-lab.com/records/reasoning/node-ter-block.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### BLOCKED Details Meaning The closure of an unknown or an unanswered decision · external input is owed Example result: ... | unknown → BLOCKED Grounds [node:ter-block](https://banes-lab.com/records/reasoning/node-ter-block.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### PROMOTE Details Meaning Move a candidate into accepted state · only on a clean verdict, never on production Example promote: ON clean verdict Grounds [node:ter-promotion](https://banes-lab.com/records/reasoning/node-ter-promotion.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### PUBLISH Details Meaning Cross the boundary to the external system · the party that crosses it is named Example publish: BY Grounds [node:ter-publication](https://banes-lab.com/records/reasoning/node-ter-publication.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### RESULT Details Meaning The result line · the next node on pass, the repair owner on failure, blocked on unknown Example result: pass → NODE | → 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 a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### REPAIR Details Meaning The repair edge · re-enters at the earliest node that can supply the missing evidence Example REPAIR (owner: NODE ) Grounds [node:ver-refutation](https://banes-lab.com/records/reasoning/node-ver-refutation.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### RULE_ID Details Meaning The gate's identity, the node it closes Example rule_id: "" Grounds [node:ver-evidence](https://banes-lab.com/records/reasoning/node-ver-evidence.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ## Links to - [Evidence](https://banes-lab.com/records/reasoning/node-ver-evidence.md) - [Stop Condition](https://banes-lab.com/records/reasoning/node-ter-stop.md) - [Population](https://banes-lab.com/records/reasoning/node-ver-population.md) - [Declared Domain](https://banes-lab.com/records/reasoning/invariant-epi-declared-domain.md) - [Refusal](https://banes-lab.com/records/reasoning/node-ver-refusal.md) - [Freshness](https://banes-lab.com/records/reasoning/node-ver-freshness.md) - [Fresh Read](https://banes-lab.com/records/reasoning/invariant-epi-fresh-read.md) - [Standing](https://banes-lab.com/records/reasoning/node-ver-standing.md) - [Confidence](https://banes-lab.com/records/reasoning/node-ver-confidence.md) - [Blocked Run](https://banes-lab.com/records/reasoning/node-ter-block.md) - [Promotion](https://banes-lab.com/records/reasoning/node-ter-promotion.md) - [Publication](https://banes-lab.com/records/reasoning/node-ter-publication.md) - [Support Against Refutation](https://banes-lab.com/records/reasoning/node-ver-refutation.md)