# state_machine > 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-state-machine Listed in [Ontology · Grammar](https://banes-lab.com/api/pages/ontology/grammar.md), after [coordination](https://banes-lab.com/ontology/grammar/pag-keywords-coordination.md) and before [dag](https://banes-lab.com/ontology/grammar/pag-keywords-dag.md). Every PAG keyword record, with what grounds it and how it is checked. ### STATE_MACHINE Details Meaning Machine declaration · makes a lifetime or a derived-state set explicit Example STATE_MACHINE workflow: Grounds [representation:dynamical-systems](https://banes-lab.com/records/reasoning/representation-dynamical-systems.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 ### STATE Details Meaning State definition · a state is derived from the graph, never written Example STATE pending: Grounds [representation:dynamical-systems](https://banes-lab.com/records/reasoning/representation-dynamical-systems.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 ### TRANSITION Details Meaning State change rule Example TRANSITION FROM a TO b Grounds [representation:dynamical-systems](https://banes-lab.com/records/reasoning/representation-dynamical-systems.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 ### ON Details Meaning Event trigger Example ON approval Grounds [representation:dynamical-systems](https://banes-lab.com/records/reasoning/representation-dynamical-systems.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 ### FROM Details Meaning Source state Example FROM pending Grounds [representation:dynamical-systems](https://banes-lab.com/records/reasoning/representation-dynamical-systems.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 ### TO Details Meaning Target state Example TO approved Grounds [representation:dynamical-systems](https://banes-lab.com/records/reasoning/representation-dynamical-systems.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 ### ENTRY Details Meaning Entry action Example ENTRY: notify Grounds [representation:dynamical-systems](https://banes-lab.com/records/reasoning/representation-dynamical-systems.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 ### EXIT Details Meaning Exit action Example EXIT: cleanup Grounds [representation:dynamical-systems](https://banes-lab.com/records/reasoning/representation-dynamical-systems.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 - [Dynamical Systems](https://banes-lab.com/records/reasoning/representation-dynamical-systems.md)