configuration/grammar/data/bnf.data.json
configuration/grammar/data/bnf.data.json is a file in GovLab Context. 390 lines of code and 0 definitions.
{
"copyright": "PAG (Pattern Abstract Grammar) © Bane's Lab, CC BY-SA 4.0. Used with the author's explicit permission; attribution must be preserved. See ../../LICENSE.",
"check": {
"by": ["the grammar integrity check, which resolves every nonterminal a production references and every declared terminal"],
"population": "every production and every terminal the grammar declares",
"freshness": "a verdict stands until a production or the terminal list changes",
"refusal": "the ontology resolution gate fails on a dangling nonterminal or an unused terminal",
"observation": "none: the productions describe document shape and are never executed",
"evidence": "fires-and-accepts: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
"authority": "the production and terminal lists, which every reference in a right-hand side resolves to"
},
"records": [
{
"group": "planning",
"lhs": "instruction",
"rhs": "<frontmatter> <optional_meta_block> <optional_document_declaration> <body>",
"grounds": ["reasoning:loop:derivation-loop"]
},
{"group": "planning",
"lhs": "frontmatter",
"rhs": "\"---\" <yaml_content> \"---\""},
{
"group": "planning",
"lhs": "document_declaration",
"rhs": "\"THIS\" <document_type> <document_verb> <description>"
},
{
"group": "planning",
"lhs": "meta_block",
"rhs": "\"%%\" \"META\" \"%%\" \":\" <meta_field>+",
"grounds": ["reasoning:node:tel-objective"]
},
{
"group": "planning",
"lhs": "meta_field",
"rhs": "\"objective:\" <string> | \"priority:\" <authority_chain> | \"trust:\" <trust_clause> | \"jurisdiction:\" <scope> \"|\" \"external:\" <scope> | \"recursion_limit:\" <bound>",
"grounds": [
"reasoning:node:tel-objective",
"reasoning:invariant:epi-reachable-check"
]
},
{
"group": "planning",
"lhs": "body",
"rhs": "<node>+ <repair_edge>* <optional_invariant_block> <optional_report_block>",
"grounds": ["reasoning:loop:derivation-loop"]
},
{
"group": "planning",
"lhs": "node",
"rhs": "<node_header> <node_meta_tag>* <contract> <optional_output_contract> <handoff_gate>",
"grounds": ["reasoning:loop:derivation-loop"]
},
{
"group": "planning",
"lhs": "node_header",
"rhs": "\"#\" \"NODE\" <node_number> \"—\" <node_title> \"[\" <layer> \"·\" <axis> \"·\" <math_type> \"·\" \"yields:\" <shape> \"]\"",
"grounds": ["reasoning:axis:ontology"]
},
{
"group": "planning",
"lhs": "node_meta_tag",
"rhs": "\"@purpose:\" <string> | \"@axis_question:\" <string> | \"@cue:\" <string> | \"@genesis:\" <substrate_stage> | \"@mandatory\"",
"grounds": [
"reasoning:node:tel-objective",
"reasoning:substrate-node:existence"
]
},
{
"group": "planning",
"lhs": "contract",
"rhs": "\"CONTRACT:\" \"input:\" <contract_input> \"transform:\" <directive>+ <optional_preserves> <optional_constraints> \"output:\" <contract_output> <optional_freshness> <optional_handoff_summary>",
"grounds": ["reasoning:loop:derivation-loop"]
},
{
"group": "planning",
"lhs": "preserves_clause",
"rhs": "\"preserves:\" <distinction_set>",
"grounds": ["reasoning:invariant:epi-preserved-distinction"]
},
{
"group": "planning",
"lhs": "freshness_clause",
"rhs": "\"freshness:\" <fingerprint> \"+\" <fingerprint>",
"grounds": ["reasoning:node:ver-freshness"]
},
{
"group": "planning",
"lhs": "handoff_gate",
"rhs": "\"HANDOFF\" \"GATE\" <optional_gate_qualifier> \":\" <optional_rule_id> <check_line>+ <optional_refusal_line> <optional_standing_line> <result_line>",
"grounds": ["reasoning:node:ver-evidence"]
},
{
"group": "planning",
"lhs": "check_line",
"rhs": "<check_marker> <check_condition> \"(evidence:\" <check_evidence> \")\" <optional_population_clause>",
"grounds": ["reasoning:node:ver-evidence"]
},
{
"group": "planning",
"lhs": "check_marker",
"rhs": "\"[check]\" | \"ASSERT\" | \"REQUIRE\"",
"grounds": ["reasoning:node:ver-evidence"]
},
{
"group": "planning",
"lhs": "population_clause",
"rhs": "\"over:\" <set> \"measured:\" <count> \"/\" <count>",
"grounds": ["reasoning:node:ver-population"]
},
{
"group": "planning",
"lhs": "refusal_line",
"rhs": "\"refuse:\" <condition> \"before\" <write>",
"grounds": ["reasoning:node:ver-refusal"]
},
{
"group": "planning",
"lhs": "standing_line",
"rhs": "\"standing:\" \"moved-set\" <set>",
"grounds": ["reasoning:node:ver-standing"]
},
{
"group": "planning",
"lhs": "result_line",
"rhs": "\"result:\" \"pass\" <arrow> <next_node> (\"|\" <failure_name> <arrow> \"REPAIR\" \"(owner:\" <owner_node> \")\")+ \"|\" \"unknown\" <arrow> \"BLOCKED\"",
"grounds": [
"reasoning:node:ver-refutation",
"reasoning:node:ter-block"
]
},
{
"group": "planning",
"lhs": "arrow",
"rhs": "\"→\" | \"->\"",
"grounds": ["reasoning:representation:symbolic"]
},
{
"group": "planning",
"lhs": "repair_edge",
"rhs": "\"#\" \"REPAIR\" \"EDGE\" <description>",
"grounds": ["reasoning:node:ver-refutation"]
},
{
"group": "planning",
"lhs": "invariant_block",
"rhs": "\"#\" \"CROSS-NODE\" \"INVARIANTS\" <invariant_record>+",
"grounds": ["reasoning:substrate-node:invariant"]
},
{
"group": "planning",
"lhs": "invariant_record",
"rhs": "\"INVARIANT\" <name> \":\" <property> \"over:\" <set> \"binds:\" <parties> \"objector:\" (<check_ref> | \"none\")",
"grounds": [
"reasoning:substrate-node:invariant",
"reasoning:node:ver-falsification"
]
},
{
"group": "planning",
"lhs": "report_block",
"rhs": "\"REPORT\" \":\" <report_field>+",
"grounds": [
"reasoning:node:ver-evidence",
"reasoning:invariant:epi-verdict-is-representation"
]
},
{
"group": "planning",
"lhs": "report_field",
"rhs": "\"subject:\" <node_ref> | \"verdict:\" <verdict> | \"domain:\" \"declared\" <count> \"measured\" <count> | \"populations:\" <partition_list> | \"inputs:\" <fingerprint_list> | \"code:\" <fingerprint> | \"output:\" <fingerprint> | \"refusals:\" <count> <reason_list> | \"observed:\" <count> <location_list> | \"unresolved:\" <count> <reason_list> | \"completion:\" \"saturated\" <boolean> \"complete\" <boolean> \"verified\" <boolean>",
"grounds": [
"reasoning:node:ver-population",
"reasoning:node:ver-freshness",
"reasoning:node:ver-observation",
"reasoning:node:ter-stop"
]
},
{
"group": "planning",
"lhs": "verdict",
"rhs": "\"pass\" | \"fail\" | \"unknown\"",
"grounds": ["reasoning:node:ver-confidence"]
},
{
"group": "coordination",
"lhs": "semantic_operation",
"rhs": "\"DISCOVER_RESOURCES\" | \"READ_RESOURCE\" | \"SEARCH_CONTENT\" | \"ANALYZE_CONTENT\" | \"EXTRACT_FACTS\" | \"CALCULATE_METRIC\" | \"COMPOSE_ARTIFACT\" | \"VALIDATE_ARTIFACT\" | \"PERSIST_ARTIFACT\" | \"EXECUTE_TOOL\" | \"REQUEST_DECISION\" | \"REPORT_RESULT\"",
"grounds": ["reasoning:axis:formalization"]
},
{
"group": "statement",
"lhs": "directive",
"rhs": "<optional_task_marker> <optional_meta_tag> <optional_context_cue> <directive_body>",
"grounds": ["reasoning:axis:formalization"]
},
{
"group": "statement",
"lhs": "action_expr",
"rhs": "<action_verb> <modifier>* <action_target> <optional_action_args>",
"grounds": ["reasoning:axis:formalization"]
},
{
"group": "statement",
"lhs": "if_statement",
"rhs": "\"IF\" <condition> \":\" <directive>+ (\"ELSE\" \"IF\" <condition> \":\" <directive>+)* <optional_else_clause>",
"grounds": ["reasoning:representation:logic"]
},
{
"group": "statement",
"lhs": "for_loop",
"rhs": "\"FOR\" \"EACH\" <iterator> \"IN\" <collection> \":\" <directive>+",
"grounds": ["reasoning:representation:computation"]
},
{
"group": "statement",
"lhs": "try_catch",
"rhs": "\"TRY\" \":\" <directive>+ \"CATCH\" <optional_exception_var> \":\" <directive>+",
"grounds": ["reasoning:representation:computation"]
},
{
"group": "statement",
"lhs": "declaration_statement",
"rhs": "\"SET\" <variable_name> \"=\" <expression> | \"DECLARE\" <variable_name> \":\" <type_annotation>",
"grounds": ["reasoning:representation:symbolic"]
},
{
"group": "coordination",
"lhs": "tool_invocation",
"rhs": "<semantic_operation> <tool_target> <optional_tool_param_clause> <optional_tool_result_clause>",
"grounds": ["reasoning:axis:formalization"]
},
{
"group": "coordination",
"lhs": "tool_result_clause",
"rhs": "<arrow> <tool_result_binding> | \"INTO\" <tool_result_binding> | \"AS\" <tool_result_binding>",
"grounds": ["reasoning:axis:formalization"]
},
{
"group": "coordination",
"lhs": "state_machine_declaration",
"rhs": "\"STATE_MACHINE\" <machine_name> \":\" <state_definition>+ <transition_definition>+",
"grounds": ["reasoning:representation:dynamical-systems"]
},
{
"group": "coordination",
"lhs": "dag_declaration",
"rhs": "\"DAG\" <dag_name> \":\" <dag_item>+",
"grounds": [
"reasoning:representation:graph",
"reasoning:invariant:epi-declared-dependency"
]
},
{
"group": "coordination",
"lhs": "priority_queue_declaration",
"rhs": "\"PRIORITY_QUEUE\" <queue_name> <optional_comparison> \":\"",
"grounds": ["reasoning:node:tel-priority"]
},
{
"group": "coordination",
"lhs": "flowchart_declaration",
"rhs": "\"FLOWCHART\" <flow_name> \":\" <optional_layout> <flow_item>+",
"grounds": [
"reasoning:representation:graph",
"reasoning:axis:representation"
]
},
{
"group": "coordination",
"lhs": "surface_declaration",
"rhs": "\"SURFACE\" <surface_key> \":\" <record_declaration>+",
"grounds": ["reasoning:representation:graph"]
},
{
"group": "coordination",
"lhs": "record_declaration",
"rhs": "\"RECORD\" <record_id> \"subject:\" <subject_key> <edge_clause>*",
"grounds": ["reasoning:representation:graph"]
},
{
"group": "coordination",
"lhs": "edge_clause",
"rhs": "<edge_kind> <target_id>",
"grounds": ["reasoning:invariant:epi-declared-dependency"]
},
{
"group": "coordination",
"lhs": "edge_kind",
"rhs": "\"PARENT\" | \"SATISFIED_BY\" | \"BLOCKS\" | \"ANSWERS\" | \"REFUTES\" | \"SUPERSEDES\"",
"grounds": ["reasoning:representation:graph"]
},
{
"group": "coordination",
"lhs": "wait_statement",
"rhs": "\"WAIT\" \"ON\" <surface_key> \"AS\" <reader> \"INTO\" <diff_binding>",
"grounds": ["reasoning:node:ter-block"]
}
],
"terminals": [
"action_target",
"action_verb",
"authority_chain",
"axis",
"boolean",
"bound",
"check_condition",
"check_evidence",
"check_ref",
"collection",
"condition",
"contract_input",
"contract_output",
"count",
"dag_item",
"dag_name",
"description",
"diff_binding",
"directive_body",
"distinction_set",
"document_type",
"document_verb",
"expression",
"failure_name",
"fingerprint",
"fingerprint_list",
"flow_item",
"flow_name",
"iterator",
"layer",
"location_list",
"machine_name",
"math_type",
"modifier",
"name",
"next_node",
"node_number",
"node_ref",
"node_title",
"optional_action_args",
"optional_comparison",
"optional_constraints",
"optional_context_cue",
"optional_document_declaration",
"optional_else_clause",
"optional_exception_var",
"optional_freshness",
"optional_gate_qualifier",
"optional_handoff_summary",
"optional_invariant_block",
"optional_layout",
"optional_meta_block",
"optional_meta_tag",
"optional_output_contract",
"optional_population_clause",
"optional_preserves",
"optional_refusal_line",
"optional_report_block",
"optional_rule_id",
"optional_standing_line",
"optional_task_marker",
"optional_tool_param_clause",
"optional_tool_result_clause",
"owner_node",
"parties",
"partition_list",
"property",
"queue_name",
"reader",
"reason_list",
"record_id",
"scope",
"set",
"shape",
"state_definition",
"string",
"subject_key",
"substrate_stage",
"surface_key",
"target_id",
"tool_result_binding",
"tool_target",
"transition_definition",
"trust_clause",
"type_annotation",
"variable_name",
"write",
"yaml_content"
]
}