{
  "content": {
    "icon": "bi-code-square",
    "id": "pag-keywords-invariant",
    "intro": "Every PAG keyword record, with what grounds it and how it is checked.",
    "subsections": [
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "The record head · a property the topology relies on, with its set, its parties and its objector",
                "term": "Meaning"
              },
              {
                "description": "INVARIANT <name>: <property> over: <set> binds: <parties> objector: <check | none>",
                "term": "Example"
              },
              {
                "description": "[substrate-node:invariant](/records/reasoning/substrate-node-invariant), [invariant:epi-reachable-check](/records/reasoning/invariant-epi-reachable-check)",
                "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-invariant",
        "title": "INVARIANT"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "The property, in a form that could be false",
                "term": "Meaning"
              },
              {
                "description": "INVARIANT one-writer: a record has exactly one writer ...",
                "term": "Example"
              },
              {
                "description": "[substrate-node:invariant](/records/reasoning/substrate-node-invariant)",
                "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-property",
        "title": "PROPERTY"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "The set the property quantifies over",
                "term": "Meaning"
              },
              {
                "description": "over: every record on the surface",
                "term": "Example"
              },
              {
                "description": "[node:ver-population](/records/reasoning/node-ver-population)",
                "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-over",
        "title": "OVER"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "The parties the property constrains · who must receive it",
                "term": "Meaning"
              },
              {
                "description": "binds: every party writing there",
                "term": "Example"
              },
              {
                "description": "[substrate-node:constraint](/records/reasoning/substrate-node-constraint)",
                "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-binds",
        "title": "BINDS"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "What would disagree if the property stopped holding · a check, or none as declared debt",
                "term": "Meaning"
              },
              {
                "description": "objector: [check] one open fence per record | none",
                "term": "Example"
              },
              {
                "description": "[node:ver-falsification](/records/reasoning/node-ver-falsification)",
                "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-objector",
        "title": "OBJECTOR"
      }
    ],
    "title": "invariant",
    "kind": "keywords"
  },
  "graph": {
    "narrative": true,
    "requires": [],
    "teaches": [],
    "traces": []
  },
  "href": "https://banes-lab.com/ontology/grammar#pag-keywords-invariant",
  "number": "230",
  "page": "ontology",
  "ref": "chapter:/ontology/grammar#pag-keywords-invariant",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-substrate-node-invariant",
          "json": "https://banes-lab.com/json/records/reasoning/substrate-node-invariant",
          "label": "Invariant",
          "markdown": "https://banes-lab.com/records/reasoning/substrate-node-invariant.md",
          "ref": "reasoning:substrate-node-invariant"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-reachable-check",
          "json": "https://banes-lab.com/json/records/reasoning/invariant-epi-reachable-check",
          "label": "Reachable Check",
          "markdown": "https://banes-lab.com/records/reasoning/invariant-epi-reachable-check.md",
          "ref": "reasoning:invariant-epi-reachable-check"
        },
        {
          "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-substrate-node-constraint",
          "json": "https://banes-lab.com/json/records/reasoning/substrate-node-constraint",
          "label": "Constraint",
          "markdown": "https://banes-lab.com/records/reasoning/substrate-node-constraint.md",
          "ref": "reasoning:substrate-node-constraint"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ver-falsification",
          "json": "https://banes-lab.com/json/records/reasoning/node-ver-falsification",
          "label": "Refutation Condition",
          "markdown": "https://banes-lab.com/records/reasoning/node-ver-falsification.md",
          "ref": "reasoning:node-ver-falsification"
        }
      ],
      "relation": "links-to"
    }
  ],
  "route": null,
  "section": "pag-keywords-invariant",
  "summary": "Every PAG keyword record, with what grounds it and how it is checked.",
  "tab": "grammar",
  "title": "invariant",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/grammar#pag-keywords-node",
      "json": "https://banes-lab.com/json/ontology/grammar/pag-keywords-node",
      "label": "node",
      "markdown": "https://banes-lab.com/ontology/grammar/pag-keywords-node.md",
      "ref": "chapter:/ontology/grammar#pag-keywords-node"
    },
    "previous": {
      "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"
    }
  },
  "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"
  }
}