{
  "content": {
    "icon": "bi-code-square",
    "id": "pag-keywords-validation",
    "intro": "Every PAG keyword record, with what grounds it and how it is checked.",
    "subsections": [
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "Hard assertion",
                "term": "Meaning"
              },
              {
                "description": "ASSERT condition",
                "term": "Example"
              },
              {
                "description": "[node:ver-evidence](/records/reasoning/node-ver-evidence)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "a structured-document validator that parses each document against the grammar and reports every defect by its shape",
                "term": "Checked by"
              },
              {
                "description": "Every agent and template document the validator walks, and every occurrence of the keyword in them",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the grammar data or a document that uses the keyword changes",
                "term": "Freshness"
              },
              {
                "description": "The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship",
                "term": "Refusal"
              },
              {
                "description": "None, because a keyword is static text in a document, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "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",
                "term": "Evidence"
              },
              {
                "description": "The grammar data, which every keyword in a document conforms to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-keyword-assert",
        "title": "ASSERT"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "Prerequisite check",
                "term": "Meaning"
              },
              {
                "description": "REQUIRE dependency",
                "term": "Example"
              },
              {
                "description": "[node:ver-evidence](/records/reasoning/node-ver-evidence)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "a structured-document validator that parses each document against the grammar and reports every defect by its shape",
                "term": "Checked by"
              },
              {
                "description": "Every agent and template document the validator walks, and every occurrence of the keyword in them",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the grammar data or a document that uses the keyword changes",
                "term": "Freshness"
              },
              {
                "description": "The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship",
                "term": "Refusal"
              },
              {
                "description": "None, because a keyword is static text in a document, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "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",
                "term": "Evidence"
              },
              {
                "description": "The grammar data, which every keyword in a document conforms to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-keyword-require",
        "title": "REQUIRE"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "Gate marker · the evidence-bearing gate that closes a node",
                "term": "Meaning"
              },
              {
                "description": "HANDOFF GATE (evidence-bearing):",
                "term": "Example"
              },
              {
                "description": "[node:ter-stop](/records/reasoning/node-ter-stop)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "a structured-document validator that parses each document against the grammar and reports every defect by its shape",
                "term": "Checked by"
              },
              {
                "description": "Every agent and template document the validator walks, and every occurrence of the keyword in them",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the grammar data or a document that uses the keyword changes",
                "term": "Freshness"
              },
              {
                "description": "The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship",
                "term": "Refusal"
              },
              {
                "description": "None, because a keyword is static text in a document, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "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",
                "term": "Evidence"
              },
              {
                "description": "The grammar data, which every keyword in a document conforms to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-keyword-handoff",
        "title": "HANDOFF"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "Checkpoint marker",
                "term": "Meaning"
              },
              {
                "description": "HANDOFF GATE:",
                "term": "Example"
              },
              {
                "description": "[node:ter-stop](/records/reasoning/node-ter-stop)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "a structured-document validator that parses each document against the grammar and reports every defect by its shape",
                "term": "Checked by"
              },
              {
                "description": "Every agent and template document the validator walks, and every occurrence of the keyword in them",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the grammar data or a document that uses the keyword changes",
                "term": "Freshness"
              },
              {
                "description": "The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship",
                "term": "Refusal"
              },
              {
                "description": "None, because a keyword is static text in a document, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "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",
                "term": "Evidence"
              },
              {
                "description": "The grammar data, which every keyword in a document conforms to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-keyword-gate",
        "title": "GATE"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A check in a gate · a claim about the output with the evidence that settles it",
                "term": "Meaning"
              },
              {
                "description": "[check] <claim> (evidence: <what settles it>)",
                "term": "Example"
              },
              {
                "description": "[node:ver-evidence](/records/reasoning/node-ver-evidence)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "a structured-document validator that parses each document against the grammar and reports every defect by its shape",
                "term": "Checked by"
              },
              {
                "description": "Every agent and template document the validator walks, and every occurrence of the keyword in them",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the grammar data or a document that uses the keyword changes",
                "term": "Freshness"
              },
              {
                "description": "The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship",
                "term": "Refusal"
              },
              {
                "description": "None, because a keyword is static text in a document, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "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",
                "term": "Evidence"
              },
              {
                "description": "The grammar data, which every keyword in a document conforms to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-keyword-check",
        "title": "CHECK"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "The set a check ranges over, measured · zero of zero is not evidence",
                "term": "Meaning"
              },
              {
                "description": "over: <set> measured: <n> / <N>",
                "term": "Example"
              },
              {
                "description": "[node:ver-population](/records/reasoning/node-ver-population), [invariant:epi-declared-domain](/records/reasoning/invariant-epi-declared-domain)",
                "term": "Grounds"
              },
              {
                "description": "[POPULATIONS](/records/pag/keyword-populations): POPULATION is the set one check ranges over, while POPULATIONS reports the partitions of a whole, each measured.",
                "term": "Distinct from"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "a structured-document validator that parses each document against the grammar and reports every defect by its shape",
                "term": "Checked by"
              },
              {
                "description": "Every agent and template document the validator walks, and every occurrence of the keyword in them",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the grammar data or a document that uses the keyword changes",
                "term": "Freshness"
              },
              {
                "description": "The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship",
                "term": "Refusal"
              },
              {
                "description": "None, because a keyword is static text in a document, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "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",
                "term": "Evidence"
              },
              {
                "description": "The grammar data, which every keyword in a document conforms to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-keyword-population",
        "title": "POPULATION"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "Where a node refuses to continue · named before the irreversible write",
                "term": "Meaning"
              },
              {
                "description": "refuse: <condition> before <write>",
                "term": "Example"
              },
              {
                "description": "[node:ver-refusal](/records/reasoning/node-ver-refusal)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "a structured-document validator that parses each document against the grammar and reports every defect by its shape",
                "term": "Checked by"
              },
              {
                "description": "Every agent and template document the validator walks, and every occurrence of the keyword in them",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the grammar data or a document that uses the keyword changes",
                "term": "Freshness"
              },
              {
                "description": "The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship",
                "term": "Refusal"
              },
              {
                "description": "None, because a keyword is static text in a document, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "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",
                "term": "Evidence"
              },
              {
                "description": "The grammar data, which every keyword in a document conforms to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-keyword-refuse",
        "title": "REFUSE"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "The fingerprints an artifact was derived from · a semantic property, never a timestamp",
                "term": "Meaning"
              },
              {
                "description": "freshness: <inputs fingerprint> + ",
                "term": "Example"
              },
              {
                "description": "[node:ver-freshness](/records/reasoning/node-ver-freshness), [invariant:epi-fresh-read](/records/reasoning/invariant-epi-fresh-read)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "a structured-document validator that parses each document against the grammar and reports every defect by its shape",
                "term": "Checked by"
              },
              {
                "description": "Every agent and template document the validator walks, and every occurrence of the keyword in them",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the grammar data or a document that uses the keyword changes",
                "term": "Freshness"
              },
              {
                "description": "The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship",
                "term": "Refusal"
              },
              {
                "description": "None, because a keyword is static text in a document, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "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",
                "term": "Evidence"
              },
              {
                "description": "The grammar data, which every keyword in a document conforms to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-keyword-freshness",
        "title": "FRESHNESS"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "Whether the read set moved beneath the verdict · a non-empty moved set withdraws the standing, never the verdict",
                "term": "Meaning"
              },
              {
                "description": "standing: moved-set <set>",
                "term": "Example"
              },
              {
                "description": "[node:ver-standing](/records/reasoning/node-ver-standing)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "a structured-document validator that parses each document against the grammar and reports every defect by its shape",
                "term": "Checked by"
              },
              {
                "description": "Every agent and template document the validator walks, and every occurrence of the keyword in them",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the grammar data or a document that uses the keyword changes",
                "term": "Freshness"
              },
              {
                "description": "The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship",
                "term": "Refusal"
              },
              {
                "description": "None, because a keyword is static text in a document, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "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",
                "term": "Evidence"
              },
              {
                "description": "The grammar data, which every keyword in a document conforms to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-keyword-standing",
        "title": "STANDING"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "The third verdict · an unmeasured or unevidenced claim, never a pass",
                "term": "Meaning"
              },
              {
                "description": "unknown → BLOCKED",
                "term": "Example"
              },
              {
                "description": "[node:ver-confidence](/records/reasoning/node-ver-confidence), [node:ter-block](/records/reasoning/node-ter-block)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "a structured-document validator that parses each document against the grammar and reports every defect by its shape",
                "term": "Checked by"
              },
              {
                "description": "Every agent and template document the validator walks, and every occurrence of the keyword in them",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the grammar data or a document that uses the keyword changes",
                "term": "Freshness"
              },
              {
                "description": "The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship",
                "term": "Refusal"
              },
              {
                "description": "None, because a keyword is static text in a document, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "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",
                "term": "Evidence"
              },
              {
                "description": "The grammar data, which every keyword in a document conforms to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-keyword-unknown",
        "title": "UNKNOWN"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "The closure of an unknown or an unanswered decision · external input is owed",
                "term": "Meaning"
              },
              {
                "description": "result: ... | unknown → BLOCKED",
                "term": "Example"
              },
              {
                "description": "[node:ter-block](/records/reasoning/node-ter-block)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "a structured-document validator that parses each document against the grammar and reports every defect by its shape",
                "term": "Checked by"
              },
              {
                "description": "Every agent and template document the validator walks, and every occurrence of the keyword in them",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the grammar data or a document that uses the keyword changes",
                "term": "Freshness"
              },
              {
                "description": "The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship",
                "term": "Refusal"
              },
              {
                "description": "None, because a keyword is static text in a document, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "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",
                "term": "Evidence"
              },
              {
                "description": "The grammar data, which every keyword in a document conforms to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-keyword-blocked",
        "title": "BLOCKED"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "Move a candidate into accepted state · only on a clean verdict, never on production",
                "term": "Meaning"
              },
              {
                "description": "promote: <candidate> ON clean verdict",
                "term": "Example"
              },
              {
                "description": "[node:ter-promotion](/records/reasoning/node-ter-promotion)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "a structured-document validator that parses each document against the grammar and reports every defect by its shape",
                "term": "Checked by"
              },
              {
                "description": "Every agent and template document the validator walks, and every occurrence of the keyword in them",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the grammar data or a document that uses the keyword changes",
                "term": "Freshness"
              },
              {
                "description": "The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship",
                "term": "Refusal"
              },
              {
                "description": "None, because a keyword is static text in a document, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "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",
                "term": "Evidence"
              },
              {
                "description": "The grammar data, which every keyword in a document conforms to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-keyword-promote",
        "title": "PROMOTE"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "Cross the boundary to the external system · the party that crosses it is named",
                "term": "Meaning"
              },
              {
                "description": "publish: <artifact> BY <party>",
                "term": "Example"
              },
              {
                "description": "[node:ter-publication](/records/reasoning/node-ter-publication)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "a structured-document validator that parses each document against the grammar and reports every defect by its shape",
                "term": "Checked by"
              },
              {
                "description": "Every agent and template document the validator walks, and every occurrence of the keyword in them",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the grammar data or a document that uses the keyword changes",
                "term": "Freshness"
              },
              {
                "description": "The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship",
                "term": "Refusal"
              },
              {
                "description": "None, because a keyword is static text in a document, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "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",
                "term": "Evidence"
              },
              {
                "description": "The grammar data, which every keyword in a document conforms to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-keyword-publish",
        "title": "PUBLISH"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "The result line · the next node on pass, the repair owner on failure, blocked on unknown",
                "term": "Meaning"
              },
              {
                "description": "result: pass → NODE <n+1> | <failure> → REPAIR (owner: <node>) | unknown → BLOCKED",
                "term": "Example"
              },
              {
                "description": "[node:ver-refutation](/records/reasoning/node-ver-refutation), [node:ter-block](/records/reasoning/node-ter-block)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "a structured-document validator that parses each document against the grammar and reports every defect by its shape",
                "term": "Checked by"
              },
              {
                "description": "Every agent and template document the validator walks, and every occurrence of the keyword in them",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the grammar data or a document that uses the keyword changes",
                "term": "Freshness"
              },
              {
                "description": "The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship",
                "term": "Refusal"
              },
              {
                "description": "None, because a keyword is static text in a document, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "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",
                "term": "Evidence"
              },
              {
                "description": "The grammar data, which every keyword in a document conforms to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-keyword-result",
        "title": "RESULT"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "The repair edge · re-enters at the earliest node that can supply the missing evidence",
                "term": "Meaning"
              },
              {
                "description": "REPAIR (owner: NODE <n>)",
                "term": "Example"
              },
              {
                "description": "[node:ver-refutation](/records/reasoning/node-ver-refutation)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "a structured-document validator that parses each document against the grammar and reports every defect by its shape",
                "term": "Checked by"
              },
              {
                "description": "Every agent and template document the validator walks, and every occurrence of the keyword in them",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the grammar data or a document that uses the keyword changes",
                "term": "Freshness"
              },
              {
                "description": "The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship",
                "term": "Refusal"
              },
              {
                "description": "None, because a keyword is static text in a document, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "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",
                "term": "Evidence"
              },
              {
                "description": "The grammar data, which every keyword in a document conforms to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-keyword-repair",
        "title": "REPAIR"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "The gate's identity, the node it closes",
                "term": "Meaning"
              },
              {
                "description": "rule_id: \"<NODE NAME>\"",
                "term": "Example"
              },
              {
                "description": "[node:ver-evidence](/records/reasoning/node-ver-evidence)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "a structured-document validator that parses each document against the grammar and reports every defect by its shape",
                "term": "Checked by"
              },
              {
                "description": "Every agent and template document the validator walks, and every occurrence of the keyword in them",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the grammar data or a document that uses the keyword changes",
                "term": "Freshness"
              },
              {
                "description": "The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship",
                "term": "Refusal"
              },
              {
                "description": "None, because a keyword is static text in a document, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "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",
                "term": "Evidence"
              },
              {
                "description": "The grammar data, which every keyword in a document conforms to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-keyword-rule-id",
        "title": "RULE_ID"
      }
    ],
    "title": "validation",
    "kind": "keywords"
  },
  "graph": {
    "narrative": true,
    "requires": [],
    "teaches": [],
    "traces": []
  },
  "href": "https://banes-lab.com/ontology/grammar#pag-keywords-validation",
  "number": "228",
  "page": "ontology",
  "ref": "chapter:/ontology/grammar#pag-keywords-validation",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ver-evidence",
          "json": "https://banes-lab.com/json/records/reasoning/node-ver-evidence",
          "label": "Evidence",
          "markdown": "https://banes-lab.com/records/reasoning/node-ver-evidence.md",
          "ref": "reasoning:node-ver-evidence"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ter-stop",
          "json": "https://banes-lab.com/json/records/reasoning/node-ter-stop",
          "label": "Stop Condition",
          "markdown": "https://banes-lab.com/records/reasoning/node-ter-stop.md",
          "ref": "reasoning:node-ter-stop"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ver-population",
          "json": "https://banes-lab.com/json/records/reasoning/node-ver-population",
          "label": "Population",
          "markdown": "https://banes-lab.com/records/reasoning/node-ver-population.md",
          "ref": "reasoning:node-ver-population"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-declared-domain",
          "json": "https://banes-lab.com/json/records/reasoning/invariant-epi-declared-domain",
          "label": "Declared Domain",
          "markdown": "https://banes-lab.com/records/reasoning/invariant-epi-declared-domain.md",
          "ref": "reasoning:invariant-epi-declared-domain"
        },
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-keyword-populations",
          "json": "https://banes-lab.com/json/records/pag/keyword-populations",
          "label": "POPULATIONS",
          "markdown": "https://banes-lab.com/records/pag/keyword-populations.md",
          "ref": "pag:keyword-populations"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ver-refusal",
          "json": "https://banes-lab.com/json/records/reasoning/node-ver-refusal",
          "label": "Refusal",
          "markdown": "https://banes-lab.com/records/reasoning/node-ver-refusal.md",
          "ref": "reasoning:node-ver-refusal"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ver-freshness",
          "json": "https://banes-lab.com/json/records/reasoning/node-ver-freshness",
          "label": "Freshness",
          "markdown": "https://banes-lab.com/records/reasoning/node-ver-freshness.md",
          "ref": "reasoning:node-ver-freshness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-fresh-read",
          "json": "https://banes-lab.com/json/records/reasoning/invariant-epi-fresh-read",
          "label": "Fresh Read",
          "markdown": "https://banes-lab.com/records/reasoning/invariant-epi-fresh-read.md",
          "ref": "reasoning:invariant-epi-fresh-read"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ver-standing",
          "json": "https://banes-lab.com/json/records/reasoning/node-ver-standing",
          "label": "Standing",
          "markdown": "https://banes-lab.com/records/reasoning/node-ver-standing.md",
          "ref": "reasoning:node-ver-standing"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ver-confidence",
          "json": "https://banes-lab.com/json/records/reasoning/node-ver-confidence",
          "label": "Confidence",
          "markdown": "https://banes-lab.com/records/reasoning/node-ver-confidence.md",
          "ref": "reasoning:node-ver-confidence"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ter-block",
          "json": "https://banes-lab.com/json/records/reasoning/node-ter-block",
          "label": "Blocked Run",
          "markdown": "https://banes-lab.com/records/reasoning/node-ter-block.md",
          "ref": "reasoning:node-ter-block"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ter-promotion",
          "json": "https://banes-lab.com/json/records/reasoning/node-ter-promotion",
          "label": "Promotion",
          "markdown": "https://banes-lab.com/records/reasoning/node-ter-promotion.md",
          "ref": "reasoning:node-ter-promotion"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ter-publication",
          "json": "https://banes-lab.com/json/records/reasoning/node-ter-publication",
          "label": "Publication",
          "markdown": "https://banes-lab.com/records/reasoning/node-ter-publication.md",
          "ref": "reasoning:node-ter-publication"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ver-refutation",
          "json": "https://banes-lab.com/json/records/reasoning/node-ver-refutation",
          "label": "Support Against Refutation",
          "markdown": "https://banes-lab.com/records/reasoning/node-ver-refutation.md",
          "ref": "reasoning:node-ver-refutation"
        }
      ],
      "relation": "links-to"
    }
  ],
  "route": null,
  "section": "pag-keywords-validation",
  "summary": "Every PAG keyword record, with what grounds it and how it is checked.",
  "tab": "grammar",
  "title": "validation",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/grammar#pag-keywords-report",
      "json": "https://banes-lab.com/json/ontology/grammar/pag-keywords-report",
      "label": "report",
      "markdown": "https://banes-lab.com/ontology/grammar/pag-keywords-report.md",
      "ref": "chapter:/ontology/grammar#pag-keywords-report"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology/grammar#pag-keywords-meta",
      "json": "https://banes-lab.com/json/ontology/grammar/pag-keywords-meta",
      "label": "meta",
      "markdown": "https://banes-lab.com/ontology/grammar/pag-keywords-meta.md",
      "ref": "chapter:/ontology/grammar#pag-keywords-meta"
    }
  },
  "up": {
    "href": "https://banes-lab.com/ontology/grammar",
    "json": "https://banes-lab.com/json/api/pages/ontology/grammar",
    "label": "Ontology · Grammar",
    "markdown": "https://banes-lab.com/api/pages/ontology/grammar.md",
    "ref": "api:/ontology/grammar"
  }
}
