{
  "content": {
    "icon": "bi-code-square",
    "id": "pag-productions-coordination",
    "intro": "Every PAG production record, with what grounds it and how it is checked.",
    "subsections": [
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "\"DISCOVER_RESOURCES\" | \"READ_RESOURCE\" | \"SEARCH_CONTENT\" | \"ANALYZE_CONTENT\" | \"EXTRACT_FACTS\" | \"CALCULATE_METRIC\" | \"COMPOSE_ARTIFACT\" | \"VALIDATE_ARTIFACT\" | \"PERSIST_ARTIFACT\" | \"EXECUTE_TOOL\" | \"REQUEST_DECISION\" | \"REPORT_RESULT\"",
                "term": "Rule"
              },
              {
                "description": "[axis:formalization](/records/reasoning/axis-formalization)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-semantic-operation",
        "title": "semantic_operation"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "<semantic_operation> <tool_target> <optional_tool_param_clause> <optional_tool_result_clause>",
                "term": "Rule"
              },
              {
                "description": "[axis:formalization](/records/reasoning/axis-formalization)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-tool-invocation",
        "title": "tool_invocation"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "<arrow> <tool_result_binding> | \"INTO\" <tool_result_binding> | \"AS\" <tool_result_binding>",
                "term": "Rule"
              },
              {
                "description": "[axis:formalization](/records/reasoning/axis-formalization)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-tool-result-clause",
        "title": "tool_result_clause"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "\"STATE_MACHINE\" <machine_name> \":\" <state_definition>+ <transition_definition>+",
                "term": "Rule"
              },
              {
                "description": "[representation:dynamical-systems](/records/reasoning/representation-dynamical-systems)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-state-machine-declaration",
        "title": "state_machine_declaration"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "\"DAG\" <dag_name> \":\" <dag_item>+",
                "term": "Rule"
              },
              {
                "description": "[representation:graph](/records/reasoning/representation-graph), [invariant:epi-declared-dependency](/records/reasoning/invariant-epi-declared-dependency)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-dag-declaration",
        "title": "dag_declaration"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "\"PRIORITY_QUEUE\" <queue_name> <optional_comparison> \":\"",
                "term": "Rule"
              },
              {
                "description": "[node:tel-priority](/records/reasoning/node-tel-priority)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-priority-queue-declaration",
        "title": "priority_queue_declaration"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "\"FLOWCHART\" <flow_name> \":\" <optional_layout> <flow_item>+",
                "term": "Rule"
              },
              {
                "description": "[representation:graph](/records/reasoning/representation-graph), [axis:representation](/records/reasoning/axis-representation)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-flowchart-declaration",
        "title": "flowchart_declaration"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "\"SURFACE\" <surface_key> \":\" <record_declaration>+",
                "term": "Rule"
              },
              {
                "description": "[representation:graph](/records/reasoning/representation-graph)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-surface-declaration",
        "title": "surface_declaration"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "\"RECORD\" <record_id> \"subject:\" <subject_key> <edge_clause>*",
                "term": "Rule"
              },
              {
                "description": "[representation:graph](/records/reasoning/representation-graph)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-record-declaration",
        "title": "record_declaration"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "<edge_kind> <target_id>",
                "term": "Rule"
              },
              {
                "description": "[invariant:epi-declared-dependency](/records/reasoning/invariant-epi-declared-dependency)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-edge-clause",
        "title": "edge_clause"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "\"PARENT\" | \"SATISFIED_BY\" | \"BLOCKS\" | \"ANSWERS\" | \"REFUTES\" | \"SUPERSEDES\"",
                "term": "Rule"
              },
              {
                "description": "[representation:graph](/records/reasoning/representation-graph)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-edge-kind",
        "title": "edge_kind"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "\"WAIT\" \"ON\" <surface_key> \"AS\" <reader> \"INTO\" <diff_binding>",
                "term": "Rule"
              },
              {
                "description": "[node:ter-block](/records/reasoning/node-ter-block)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-wait-statement",
        "title": "wait_statement"
      }
    ],
    "title": "coordination",
    "kind": "productions"
  },
  "graph": {
    "narrative": true,
    "requires": [],
    "teaches": [],
    "traces": []
  },
  "href": "https://banes-lab.com/ontology/grammar#pag-productions-coordination",
  "number": "235",
  "page": "ontology",
  "ref": "chapter:/ontology/grammar#pag-productions-coordination",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-axis-formalization",
          "json": "https://banes-lab.com/json/records/reasoning/axis-formalization",
          "label": "Formalization",
          "markdown": "https://banes-lab.com/records/reasoning/axis-formalization.md",
          "ref": "reasoning:axis-formalization"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-representation-dynamical-systems",
          "json": "https://banes-lab.com/json/records/reasoning/representation-dynamical-systems",
          "label": "Dynamical Systems",
          "markdown": "https://banes-lab.com/records/reasoning/representation-dynamical-systems.md",
          "ref": "reasoning:representation-dynamical-systems"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-representation-graph",
          "json": "https://banes-lab.com/json/records/reasoning/representation-graph",
          "label": "Graph",
          "markdown": "https://banes-lab.com/records/reasoning/representation-graph.md",
          "ref": "reasoning:representation-graph"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-declared-dependency",
          "json": "https://banes-lab.com/json/records/reasoning/invariant-epi-declared-dependency",
          "label": "Declared Dependency",
          "markdown": "https://banes-lab.com/records/reasoning/invariant-epi-declared-dependency.md",
          "ref": "reasoning:invariant-epi-declared-dependency"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-tel-priority",
          "json": "https://banes-lab.com/json/records/reasoning/node-tel-priority",
          "label": "Branch Priority",
          "markdown": "https://banes-lab.com/records/reasoning/node-tel-priority.md",
          "ref": "reasoning:node-tel-priority"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-axis-representation",
          "json": "https://banes-lab.com/json/records/reasoning/axis-representation",
          "label": "Representation",
          "markdown": "https://banes-lab.com/records/reasoning/axis-representation.md",
          "ref": "reasoning:axis-representation"
        },
        {
          "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"
        }
      ],
      "relation": "links-to"
    }
  ],
  "route": null,
  "section": "pag-productions-coordination",
  "summary": "Every PAG production record, with what grounds it and how it is checked.",
  "tab": "grammar",
  "title": "coordination",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/grammar#pag-productions-statement",
      "json": "https://banes-lab.com/json/ontology/grammar/pag-productions-statement",
      "label": "statement",
      "markdown": "https://banes-lab.com/ontology/grammar/pag-productions-statement.md",
      "ref": "chapter:/ontology/grammar#pag-productions-statement"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology/grammar#pag-productions-planning",
      "json": "https://banes-lab.com/json/ontology/grammar/pag-productions-planning",
      "label": "planning",
      "markdown": "https://banes-lab.com/ontology/grammar/pag-productions-planning.md",
      "ref": "chapter:/ontology/grammar#pag-productions-planning"
    }
  },
  "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"
  }
}