# configuration/strings/bnf.strings.ts > 149 lines of code and 6 definitions. Tree: Site tree Language: typescript Layer: product Canonical: https://banes-lab.com/anatomy/tree#file-configuration-strings-bnf-strings-ts Source text: https://banes-lab.com/assets/sources/source.281c9588aa68f96e5d01bfb2a039089b13228d353e2735e8ef9f5598cf0b79ce.generated.txt ## Definitions - `category` (lexical_declaration, line 115) - `BNF_TITLE` (lexical_declaration, line 9) - `PLANNING_RULES` (lexical_declaration, line 11) - `STATEMENT_RULES` (lexical_declaration, line 55) - `EXPRESSION_RULES` (lexical_declaration, line 88) - `BNF_SECTION` (lexical_declaration, line 123, exported) ## Uses - [core/converters/grammar.converter.ts](https://banes-lab.com/source/tree/core/converters/grammar.converter.ts.md) ## Source ```typescript import { COORDINATION_RULES, FLOWCHART_RULES } from "#configuration/strings/bnf.fragment.strings"; import type { Section, Subsection } from "#types/document.types"; import { BNF_LANGUAGE } from "#configuration/constants/code.constants"; import { BNF_SECTION_ICON } from "#configuration/icons/grammar.icons"; import { BNF_SECTION_ID } from "#core/ids/grammar.ids"; import type { GrammarRule } from "#types/grammar.types"; import { joinRules } from "#core/converters/grammar.converter"; const BNF_TITLE = "BNF grammar"; const PLANNING_RULES: readonly GrammarRule[] = [ { grammar: ' ::= \n ::= "---" "---"\n ::= | ε\n ::= | ε\n ::= "THIS" \n ::= "AGENT" | "WORKFLOW" | "PROTOCOL" | "POLICY" | "CHECKLIST" | "TEMPLATE" | "TASK" | "INSTRUCTION" | "PROMPT" | "COMMAND" | "TEST"\n| "DEBUG" | "VERIFICATION" | "DISTILLATION" | "AUDIT" | "TRANSLATION" | "COMPOSITION"\n ::= "IS" | "ENFORCES" | "EXECUTES" | "HAS" | "PERFORMS" | "PROVIDES" | "IMPLEMENTS" | "DEFINES" | "MANAGES" | "COORDINATES" | "GENERATES"\n| "RESOLVES" | "FINDS" | "FIXES" | "VERIFIES" | "CLASSIFIES" | "DISTILLS" | "ABSTRACTS" | "ELIMINATES" | "AUDITS" | "MEASURES" | "SCORES" | "CORRECTS" | "RENDERS" | "COMPOSES" | "FOLDS"\n ::= \n ::= + * \n ::= | ε\n ::= | ε', title: "Instruction", }, { grammar: ' ::= "%%" "META" "%%" ":" +\n ::= "objective" ":" \n| "priority" ":" \n| "trust" ":" ("," )*\n| "jurisdiction" ":" "|" "external" ":" \n| "recursion_limit" ":" \n ::= (">" )*\n ::= "=" ("TRUSTED" | "UNTRUSTED" | )\n ::= ', title: "Meta block", }, { grammar: ' ::= * \n ::= "#" "NODE" "—" "[" "·" "·" "·" "yields:" "]"\n ::= +\n ::= \n ::= "epistemic" | "conative" | "evaluative"\n ::= "ontology" | "teleology" | "analysis" | "reasoning" | "formalisation" | "verification" | "representation" | "termination"\n ::= "set-theory" | "logic" | "graph" | "algebra" | "analysis" | "optimisation" | "topology" | "computation" | "probability" | "information-theory" | "dynamical-systems"\n ::= "set" | "boolean" | "edge-list" | "ranking" | "procedure" | "artifact" | \n ::= "@purpose" ":" \n| "@axis_question" ":" \n| "@cue" ":" \n| "@genesis" ":" \n| "@mandatory"\n ::= "existence" | "difference" | "relation" | "structure" | "transformation" | "constraint" | "emergence"', title: "Node", }, { grammar: ' ::= "CONTRACT" ":" "input" ":" "transform" ":" + "output" ":" \n ::= "NODE" | | | \n ::= ("preserves" ":" ) | ε\n ::= ("," )*\n ::= ("constraints" ":" ) | ε\n ::= ("freshness" ":" "+" ) | ε\n ::= \n ::= ("handoff" ":" ) | ε\n ::= ("#" "OUTPUT" "CONTRACT" +) | ε\n ::= "{" ("." )* "}"\n ::= ', title: "Contract", }, { grammar: ' ::= "HANDOFF" "GATE" ":" + \n ::= ("(" ")") | ε\n ::= ("rule_id" ":" "yields" ":" ) | ε\n ::= "(" "evidence" ":" ")" \n ::= "[check]" | "ASSERT" | "REQUIRE"\n ::= \n ::= | ε\n ::= "over" ":" "measured" ":" "/" \n ::= \n ::= | \n ::= ("refuse" ":" "before" ) | ε\n ::= | \n ::= ("standing" ":" "moved-set" ) | ε\n ::= "result" ":" "pass" "->" ("|" "->" "REPAIR" "(" "owner" ":" ")")+ "|" "unknown" "->" "BLOCKED"\n ::= "pass" | "fail" | "unknown"\n ::= "NODE" | "TERMINATE"\n ::= \n ::= "NODE" | \n ::= "#" "REPAIR" "EDGE" ', title: "Handoff gate", }, { grammar: ' ::= "#" "CROSS-NODE" "INVARIANTS" +\n ::= "INVARIANT" ":" "over" ":" "binds" ":" "objector" ":" ( | "none")\n ::= \n ::= \n ::= \n ::= "[check]" ', title: "Invariant block", }, { grammar: ' ::= "REPORT" ":" +\n ::= "subject" ":" \n| "verdict" ":" \n| "domain" ":" "declared" "measured" \n| "populations" ":" \n| "inputs" ":" \n| "code" ":" \n| "output" ":" \n| "refusals" ":" \n| "unresolved" ":" \n| "completion" ":" "saturated" "complete" "verified" \n ::= "NODE" \n ::= ("," )*\n ::= ("," )*\n ::= "[" ("," )* "]"', title: "Report block", }, { grammar: ' ::= "USE" "TEMPLATE" \n ::= ', title: "Macro" }, { grammar: ' ::= "RULE" ":" \n ::= \n ::= * +\n ::= "WHEN" ":" +', title: "Rule", }, ]; const STATEMENT_RULES: readonly GrammarRule[] = [ { grammar: ' ::= \n ::= \n| \n| \n| \n| \n| \n| \n| \n| \n| \n| \n| \n| \n| \n| \n| \n| \n| \n ::= | ε\n ::= "[" "]"\n ::= " " | "x" | ">"\n ::= | ε\n ::= ("@cue" ":" ) | ε', title: "Directive", }, { grammar: ' ::= * \n ::= \n| "EXECUTE" | "READ" | "WRITE" | "DELETE" | "REMOVE" | "ANALYZE"\n| "CREATE" | "FIND" | "REPORT" | "VALIDATE" | "VERIFY"\n| "COLLECT" | "EXTRACT" | "LINK" | "DETERMINE" | "CLASSIFY"\n| "INVESTIGATE" | "FILTER" | "COMPARE" | "CONVERT" | "MERGE" | "SPLIT" | "MARK"\n| "SORT" | "RANK" | "ORDER" | "INSERT" | "APPEND"\n| "ADD" | "MOVE" | "COPY" | "BACKUP" | "RESTORE" | "LOAD"\n| "ITERATE" | "ATTEMPT" | "ENFORCE" | "RENAME"\n| "FAIL" | "EXIT" | "RETURN" | "WAIT" | "SEND"\n| "REDUCE" | "PROPAGATE" | "FINALIZE" | "EVIDENCE"\n| "PREDICT" | "EXPLAIN" | "REFLECT" | "ABSTRACT" | "GENERALISE" | "DESCRIBE" | "FORMALISE"\n ::= "DISCOVER_RESOURCES" | "READ_RESOURCE" | "SEARCH_CONTENT" | "ANALYZE_CONTENT" | "EXTRACT_FACTS" | "CALCULATE_METRIC"\n| "COMPOSE_ARTIFACT" | "VALIDATE_ARTIFACT" | "PERSIST_ARTIFACT" | "EXECUTE_TOOL" | "REQUEST_DECISION" | "REPORT_RESULT"\n ::= "MUST" | "NEVER" | "ALWAYS" | "REQUIRED" | "MANDATORY"\n ::= | | \n ::= "SYSTEM" | "USER" | "SERVICE"\n ::= | | ε\n ::= "(" ")"\n ::= \n ::= ("," )*\n ::= | | ', title: "Action expression", }, { grammar: ' ::= \n| \n| \n| \n| \n| \n| \n ::= "IF" ":" +\n("ELSE" "IF" ":" +)*\n\n ::= ("ELSE" ":" +) | ε\n ::= "FOR" "EACH" "IN" ":" +\n ::= "WHILE" ":" +\n ::= "TRY" ":" +\n"CATCH" ":" +\n ::= | ε\n ::= \n ::= "GOTO" \n ::= ":"\n ::= \n ::= "START" \n| "LOOP" \n| "END"\n| "STOP"\n ::= | ε\n ::= ("BACKTO" ) | ε', title: "Control flow", }, { grammar: ' ::= "SET" "=" \n| "DECLARE" ":" \n ::= "string" | "number" | "boolean" | "array" | "object" | "file" | "context"', title: "Declaration statement", }, { grammar: ' ::= \n ::= "BACKUP" "TO" \n| "COPY" "TO" \n ::= "PERSIST_ARTIFACT" "TO" \n| "WRITE" \n| "EXECUTE_TOOL" "WITH" "timeout" ":" \n ::= \n ::= \n ::= "VALIDATE_ARTIFACT" "AGAINST" \n ::= | ε\n ::= \n ::= "CONTENT" \n| "FROM" \n| "INTO" \n| \n ::= \n ::= \n ::= ', title: "Transform statement", }, { grammar: ' ::= \n ::= "DISCOVER_RESOURCES" "INTO" \n| "SEARCH_CONTENT" "FOR" "INTO" \n| "FIND" "IN" \n ::= "IF" "exists" ":" +\n| "ANALYZE" \n ::= | ε\n ::= "IN" | ε\n ::= \n ::= \n ::= \n