agentopology 0.8.0 → 0.9.1

package/dist/parser/known-fields.js

@@ -0,0 +1,263 @@
+/**
+ * V102: every name written in a checked block is one the parser reads.
+ *
+ * The parser pulls fields out of a block by name and ignores the rest, so a
+ * typo (`modle:`), a field from another node type (`produces:` on an action)
+ * or a block the language does not have (`contract c1 { }`) vanished from the
+ * AST while validate printed "All validation rules passed" (N23). This module
+ * lists the names each block takes, as the parser reads them, and reports any
+ * other name with the block it sits in.
+ *
+ * Blocks whose contents are free-form or not yet listed (prompt, extensions,
+ * settings, env, mcp-servers, memory, providers, ...) are not looked inside;
+ * their own name is still checked where they sit.
+ *
+ * @module
+ */
+const OPAQUE = null;
+const HOOK = {
+    fields: ["on", "matcher", "run", "type", "flag", "timeout", "url", "server", "tool", "async", "model"],
+    blocks: { extensions: OPAQUE },
+};
+const AGENT = {
+    fields: [
+        "file", "role", "model", "permissions", "phase", "description",
+        "tools", "disallowed-tools", "skills", "reads", "writes", "mcp-servers",
+        "produces", "consumes", "outputs", "skip", "behavior", "invocation", "runs",
+        "independent", "color", "initial-prompt", "omit-claude-md", "retry", "timeout",
+        "on-fail", "temperature", "max-tokens", "top-p", "top-k", "stop", "seed",
+        "thinking", "thinking-budget", "output-format", "log-level", "join",
+        "compensates", "isolation", "background", "memory", "retrieval",
+        "custodian-of", "sandbox", "fallback-chain", "rate-limit", "max-turns",
+        // `prompt:` is a known misuse, reported by V89 with a better message.
+        "prompt",
+    ],
+    blocks: {
+        prompt: OPAQUE,
+        outputs: OPAQUE,
+        extensions: OPAQUE,
+        "input-schema": OPAQUE,
+        "output-schema": OPAQUE,
+        retry: { fields: ["max", "backoff", "interval", "max-interval", "jitter", "non-retryable"] },
+        "circuit-breaker": { fields: ["threshold", "window", "cooldown"] },
+        scale: { fields: ["mode", "by", "min", "max", "batch-size"] },
+        hooks: { fields: [], blocks: { hook: HOOK } },
+        variants: {
+            fields: [],
+            blocks: { variant: { fields: ["weight", "model", "temperature"], blocks: { prompt: OPAQUE } } },
+        },
+    },
+};
+const NODE_SCHEMAS = {
+    orchestrator: {
+        fields: ["model", "handles", "generates", "delegation", "outputs"],
+        blocks: { outputs: OPAQUE },
+    },
+    agent: AGENT,
+    action: { fields: ["kind", "source", "description", "commands", "timeout", "on-fail", "join"] },
+    gate: {
+        fields: ["after", "before", "run", "checks", "retry", "on-fail", "behavior", "timeout", "description"],
+        blocks: { extensions: OPAQUE },
+    },
+    human: { fields: ["file", "description", "timeout", "on-timeout"] },
+    group: {
+        fields: ["members", "file", "speaker-selection", "max-rounds", "termination", "description", "timeout"],
+    },
+    hook: HOOK,
+    job: { fields: ["cron", "every", "agent", "action", "enabled"] },
+    artifact: { fields: ["type", "path", "retention", "depends-on"] },
+    tool: { fields: ["script", "description", "args", "lang"] },
+    skill: {
+        fields: [
+            "description", "scripts", "domains", "references", "prompt", "file", "when-to-use",
+            "argument-hint", "shell", "model", "thinking", "arguments", "paths", "disallowed-tools",
+            "disable-model-invocation", "user-invocable", "context", "agent", "allowed-tools",
+        ],
+        blocks: { prompt: OPAQUE, extensions: OPAQUE },
+    },
+    meta: {
+        fields: ["version", "description", "domain", "foundations", "advanced", "timeout", "error-handler", "durable"],
+    },
+};
+/** The topology body: the sections it takes. Fields are not allowed there. */
+const TOPOLOGY = {
+    fields: [],
+    blocks: {
+        meta: NODE_SCHEMAS.meta,
+        orchestrator: NODE_SCHEMAS.orchestrator,
+        agent: NODE_SCHEMAS.agent,
+        action: NODE_SCHEMAS.action,
+        human: NODE_SCHEMAS.human,
+        group: NODE_SCHEMAS.group,
+        skill: NODE_SCHEMAS.skill,
+        gates: { fields: [], blocks: { gate: NODE_SCHEMAS.gate } },
+        hooks: { fields: [], blocks: { hook: NODE_SCHEMAS.hook } },
+        schedule: { fields: [], blocks: { job: NODE_SCHEMAS.job } },
+        artifacts: { fields: [], blocks: { artifact: NODE_SCHEMAS.artifact } },
+        tools: { fields: [], blocks: { tool: NODE_SCHEMAS.tool } },
+        // Not in the grammar, but the parser reads the skills inside it.
+        skills: { fields: [], blocks: { skill: NODE_SCHEMAS.skill } },
+        // Sections whose contents are not checked yet.
+        roles: OPAQUE, flow: OPAQUE, depth: OPAQUE, memory: OPAQUE, batch: OPAQUE,
+        environments: OPAQUE, triggers: OPAQUE, settings: OPAQUE, "mcp-servers": OPAQUE,
+        metering: OPAQUE, context: OPAQUE, env: OPAQUE, providers: OPAQUE,
+        interfaces: OPAQUE, defaults: OPAQUE, schemas: OPAQUE, observability: OPAQUE,
+        checkpoint: OPAQUE, extensions: OPAQUE, params: OPAQUE, interface: OPAQUE,
+        // Children of a misplaced container keyword are reported by V98 instead.
+        gate: OPAQUE, hook: OPAQUE, tool: OPAQUE, job: OPAQUE, command: OPAQUE, level: OPAQUE,
+    },
+};
+/** Which node kinds take a field, for "it is a field of X" in the message. */
+function kindsWithField(field) {
+    return Object.entries(NODE_SCHEMAS)
+        .filter(([, s]) => s.fields.includes(field))
+        .map(([k]) => k);
+}
+function editDistance(a, b) {
+    const d = Array.from({ length: a.length + 1 }, (_, i) => [i, ...Array(b.length).fill(0)]);
+    for (let j = 1; j <= b.length; j++)
+        d[0][j] = j;
+    for (let i = 1; i <= a.length; i++) {
+        for (let j = 1; j <= b.length; j++) {
+            d[i][j] = Math.min(d[i - 1][j] + 1, d[i][j - 1] + 1, d[i - 1][j - 1] + (a[i - 1] === b[j - 1] ? 0 : 1));
+            // A swap of two neighbours (`modle`) is one edit, not two.
+            if (i > 1 && j > 1 && a[i - 1] === b[j - 2] && a[i - 2] === b[j - 1]) {
+                d[i][j] = Math.min(d[i][j], d[i - 2][j - 2] + 1);
+            }
+        }
+    }
+    return d[a.length][b.length];
+}
+/** The closest known name, if it is close enough to be a typo. */
+function closest(name, known) {
+    let best;
+    let bestD = Infinity;
+    for (const k of known) {
+        const dist = editDistance(name, k);
+        if (dist < bestD) {
+            best = k;
+            bestD = dist;
+        }
+    }
+    return bestD <= (name.length <= 4 ? 1 : 2) ? best : undefined;
+}
+/**
+ * The fields and sub-blocks written directly in `body` (not inside a nested
+ * block or a multi-line list). Quoted strings are skipped when counting
+ * braces and brackets.
+ */
+function topLevelItems(body) {
+    const items = [];
+    let depth = 0;
+    let bracket = 0;
+    let i = 0;
+    while (i < body.length) {
+        // At the start of a line, at depth 0, outside a list: read the head.
+        if (depth === 0 && bracket === 0) {
+            const rest = body.slice(i);
+            const field = /^[ \t]*([A-Za-z_][\w-]*)[ \t]*:/.exec(rest);
+            const block = field ? null : /^[ \t]*([A-Za-z_][\w-]*)(?:[ \t]+([A-Za-z_][\w-]*))?[^\n{:"]*\{/.exec(rest);
+            if (field) {
+                items.push({ kind: "field", name: field[1] });
+            }
+            else if (block) {
+                const open = i + block[0].length;
+                let d = 1;
+                let j = open;
+                while (j < body.length && d > 0) {
+                    if (body[j] === "{")
+                        d++;
+                    else if (body[j] === "}")
+                        d--;
+                    j++;
+                }
+                items.push({ kind: "block", name: block[1], id: block[2], body: body.slice(open, j - 1) });
+                i = j;
+                continue;
+            }
+        }
+        // Walk to the next line, tracking depth.
+        let inStr = false;
+        while (i < body.length && body[i] !== "\n") {
+            const ch = body[i];
+            if (ch === '"' && body[i - 1] !== "\\")
+                inStr = !inStr;
+            else if (!inStr) {
+                if (ch === "{")
+                    depth++;
+                else if (ch === "}")
+                    depth--;
+                else if (ch === "[")
+                    bracket++;
+                else if (ch === "]")
+                    bracket--;
+            }
+            i++;
+        }
+        i++;
+    }
+    return items;
+}
+/** "an agent", "a gate". */
+function article(word) {
+    return /^[aeiou]/.test(word) ? `an ${word}` : `a ${word}`;
+}
+function describeBlock(kind, id) {
+    return id ? `${kind} "${id}"` : kind === "topology" ? "the topology" : `"${kind}"`;
+}
+function check(body, schema, kind, id, out) {
+    const where = describeBlock(kind, id);
+    const node = id ?? (kind === "topology" ? undefined : kind);
+    const blocks = schema.blocks ?? {};
+    for (const item of topLevelItems(body)) {
+        if (item.kind === "field") {
+            if (schema.fields.includes(item.name))
+                continue;
+            // `outputs: { ... }` and `custodian-of: [..] { }` are fields with a brace.
+            if (item.name in blocks)
+                continue;
+            const elsewhere = kindsWithField(item.name).filter((k) => k !== kind);
+            const guess = closest(item.name, schema.fields);
+            let message;
+            if (kind === "topology") {
+                message = `\`${item.name}:\` is not a topology section, so it is ignored. Fields go inside a block (meta, an agent, ...)`;
+            }
+            else if (elsewhere.length > 0) {
+                message = `\`${item.name}\` is not ${article(kind)} field (it is a field of ${elsewhere.join(", ")}), so on ${where} it is ignored`;
+            }
+            else {
+                message = `${where} has \`${item.name}:\`, which is not ${article(kind)} field, so it is ignored` +
+                    (guess ? `. Did you mean \`${guess}\`?` : "");
+            }
+            out.push({ rule: "V102", level: "error", message, ...(node ? { node } : {}) });
+            continue;
+        }
+        if (item.name in blocks) {
+            const sub = blocks[item.name];
+            if (sub)
+                check(item.body ?? "", sub, item.name, item.id, out);
+            continue;
+        }
+        const label = item.id ? `${item.name} ${item.id}` : item.name;
+        const guess = closest(item.name, Object.keys(blocks));
+        out.push({
+            rule: "V102",
+            level: "error",
+            message: `${where} has a \`${label} { }\` block, which is not ${kind === "topology" ? "a topology section" : article(`${kind} block`)}, so it is ignored` +
+                (guess ? `. Did you mean \`${guess}\`?` : ""),
+            ...(node ? { node } : {}),
+        });
+    }
+}
+/**
+ * Report every field and block name in a topology body that the parser does
+ * not read. `topBody` is the comment-stripped body of `topology { }`.
+ */
+export function findUnknownNames(topBody) {
+    const out = [];
+    check(topBody, TOPOLOGY, "topology", undefined, out);
+    return out;
+}
+/** The source names each checked block takes (for docs and tests). */
+export const KNOWN_FIELDS = Object.fromEntries(Object.entries(NODE_SCHEMAS).map(([k, s]) => [k, s.fields]));
+//# sourceMappingURL=known-fields.js.map

package/dist/parser/known-fields.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"known-fields.js","sourceRoot":"","sources":["../../src/parser/known-fields.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAUH,MAAM,MAAM,GAAG,IAAI,CAAC;AAEpB,MAAM,IAAI,GAAgB;IACxB,MAAM,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC;IACtG,MAAM,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE;CAC/B,CAAC;AAEF,MAAM,KAAK,GAAgB;IACzB,MAAM,EAAE;QACN,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa;QAC9D,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa;QACvE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM;QAC3E,aAAa,EAAE,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,EAAE,SAAS;QAC9E,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM;QACxE,UAAU,EAAE,iBAAiB,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM;QACnE,aAAa,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW;QAC/D,cAAc,EAAE,SAAS,EAAE,gBAAgB,EAAE,YAAY,EAAE,WAAW;QACtE,sEAAsE;QACtE,QAAQ;KACT;IACD,MAAM,EAAE;QACN,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,MAAM;QACf,UAAU,EAAE,MAAM;QAClB,cAAc,EAAE,MAAM;QACtB,eAAe,EAAE,MAAM;QACvB,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,QAAQ,EAAE,eAAe,CAAC,EAAE;QAC5F,iBAAiB,EAAE,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,QAAQ,EAAE,UAAU,CAAC,EAAE;QAClE,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE;QAC7D,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QAC7C,QAAQ,EAAE;YACR,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,aAAa,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE;SAChG;KACF;CACF,CAAC;AAEF,MAAM,YAAY,GAAG;IACnB,YAAY,EAAE;QACZ,MAAM,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,CAAC;QAClE,MAAM,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE;KAC5B;IACD,KAAK,EAAE,KAAK;IACZ,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE;IAC/F,IAAI,EAAE;QACJ,MAAM,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,CAAC;QACtG,MAAM,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE;KAC/B;IACD,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,YAAY,CAAC,EAAE;IACnE,KAAK,EAAE;QACL,MAAM,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,mBAAmB,EAAE,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,CAAC;KACxG;IACD,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE;IAChE,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,CAAC,EAAE;IACjE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE;IAC3D,KAAK,EAAE;QACL,MAAM,EAAE;YACN,aAAa,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa;YAClF,eAAe,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,kBAAkB;YACvF,0BAA0B,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,eAAe;SAClF;QACD,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE;KAC/C;IACD,IAAI,EAAE;QACJ,MAAM,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,SAAS,CAAC;KAC/G;CACoC,CAAC;AAExC,8EAA8E;AAC9E,MAAM,QAAQ,GAAgB;IAC5B,MAAM,EAAE,EAAE;IACV,MAAM,EAAE;QACN,IAAI,EAAE,YAAY,CAAC,IAAI;QACvB,YAAY,EAAE,YAAY,CAAC,YAAY;QACvC,KAAK,EAAE,YAAY,CAAC,KAAK;QACzB,MAAM,EAAE,YAAY,CAAC,MAAM;QAC3B,KAAK,EAAE,YAAY,CAAC,KAAK;QACzB,KAAK,EAAE,YAAY,CAAC,KAAK;QACzB,KAAK,EAAE,YAAY,CAAC,KAAK;QACzB,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,EAAE;QAC1D,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,EAAE;QAC1D,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,YAAY,CAAC,GAAG,EAAE,EAAE;QAC3D,SAAS,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,YAAY,CAAC,QAAQ,EAAE,EAAE;QACtE,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,EAAE;QAC1D,iEAAiE;QACjE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,EAAE,EAAE;QAC7D,+CAA+C;QAC/C,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;QACzE,YAAY,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM;QAC/E,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM;QACjE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM;QAC5E,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM;QACzE,yEAAyE;QACzE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;KACtF;CACF,CAAC;AAEF,8EAA8E;AAC9E,SAAS,cAAc,CAAC,KAAa;IACnC,OAAO,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC;SAChC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAE,CAAC,CAAC,MAA4B,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;SAClE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,YAAY,CAAC,CAAS,EAAE,CAAS;IACxC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxG,2DAA2D;YAC3D,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACrE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,kEAAkE;AAClE,SAAS,OAAO,CAAC,IAAY,EAAE,KAAwB;IACrD,IAAI,IAAwB,CAAC;IAC7B,IAAI,KAAK,GAAG,QAAQ,CAAC;IACrB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,IAAI,GAAG,KAAK,EAAE,CAAC;YAAC,IAAI,GAAG,CAAC,CAAC;YAAC,KAAK,GAAG,IAAI,CAAC;QAAC,CAAC;IAC/C,CAAC;IACD,OAAO,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAChE,CAAC;AAWD;;;;GAIG;AACH,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACvB,qEAAqE;QACrE,IAAI,KAAK,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,KAAK,GAAG,iCAAiC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iEAAiE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1G,IAAI,KAAK,EAAE,CAAC;gBACV,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAChD,CAAC;iBAAM,IAAI,KAAK,EAAE,CAAC;gBACjB,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBACjC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACV,IAAI,CAAC,GAAG,IAAI,CAAC;gBACb,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBAChC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;wBAAE,CAAC,EAAE,CAAC;yBACpB,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;wBAAE,CAAC,EAAE,CAAC;oBAC9B,CAAC,EAAE,CAAC;gBACN,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC3F,CAAC,GAAG,CAAC,CAAC;gBACN,SAAS;YACX,CAAC;QACH,CAAC;QACD,yCAAyC;QACzC,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI;gBAAE,KAAK,GAAG,CAAC,KAAK,CAAC;iBAClD,IAAI,CAAC,KAAK,EAAE,CAAC;gBAChB,IAAI,EAAE,KAAK,GAAG;oBAAE,KAAK,EAAE,CAAC;qBACnB,IAAI,EAAE,KAAK,GAAG;oBAAE,KAAK,EAAE,CAAC;qBACxB,IAAI,EAAE,KAAK,GAAG;oBAAE,OAAO,EAAE,CAAC;qBAC1B,IAAI,EAAE,KAAK,GAAG;oBAAE,OAAO,EAAE,CAAC;YACjC,CAAC;YACD,CAAC,EAAE,CAAC;QACN,CAAC;QACD,CAAC,EAAE,CAAC;IACN,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AASD,4BAA4B;AAC5B,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,aAAa,CAAC,IAAY,EAAE,EAAsB;IACzD,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;AACrF,CAAC;AAED,SAAS,KAAK,CAAC,IAAY,EAAE,MAAmB,EAAE,IAAY,EAAE,EAAsB,EAAE,GAAwB;IAC9G,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,EAAE,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YAChD,2EAA2E;YAC3E,IAAI,IAAI,CAAC,IAAI,IAAI,MAAM;gBAAE,SAAS;YAClC,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;YACtE,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;YAChD,IAAI,OAAe,CAAC;YACpB,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;gBACxB,OAAO,GAAG,KAAK,IAAI,CAAC,IAAI,iGAAiG,CAAC;YAC5H,CAAC;iBAAM,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChC,OAAO,GAAG,KAAK,IAAI,CAAC,IAAI,aAAa,OAAO,CAAC,IAAI,CAAC,4BAA4B,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,KAAK,gBAAgB,CAAC;YACtI,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,GAAG,KAAK,UAAU,IAAI,CAAC,IAAI,qBAAqB,OAAO,CAAC,IAAI,CAAC,0BAA0B;oBAC/F,CAAC,KAAK,CAAC,CAAC,CAAC,oBAAoB,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAClD,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAC/E,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YACxB,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,GAAG;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YAC9D,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC9D,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QACtD,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,OAAO;YACd,OAAO,EAAE,GAAG,KAAK,YAAY,KAAK,8BAA8B,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,QAAQ,CAAC,oBAAoB;gBACvJ,CAAC,KAAK,CAAC,CAAC,CAAC,oBAAoB,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1B,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAe;IAC9C,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IACrD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,sEAAsE;AACtE,MAAM,CAAC,MAAM,YAAY,GACvB,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAU,CAAC"}

package/dist/parser/validator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/parser/validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAMH,OAAO,KAAK,EAEV,WAAW,EAKX,OAAO,EAkBR,MAAM,UAAU,CAAC;AAMlB,mCAAmC;AACnC,MAAM,WAAW,gBAAgB;IAC/B,yCAAyC;IACzC,IAAI,EAAE,MAAM,CAAC;IACb,sBAAsB;IACtB,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IAC3B,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAC;IAChB,2EAA2E;IAC3E,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,4EAA4E;IAC5E,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAyMD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,OAAO,EAAE,CAyD/E;AA2gGD;;;;;GAKG;AACH;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,yCAA0C,CAAC;AACzE,eAAO,MAAM,eAAe,mGAElB,CAAC;AAEX,gEAAgE;AAChE,eAAO,MAAM,UAAU,oEAAqE,CAAC;AAyH7F,wBAAgB,QAAQ,CAAC,GAAG,EAAE,WAAW,GAAG,gBAAgB,EAAE,CAwG7D"}
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/parser/validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAMH,OAAO,KAAK,EAEV,WAAW,EAKX,OAAO,EAkBR,MAAM,UAAU,CAAC;AAMlB,mCAAmC;AACnC,MAAM,WAAW,gBAAgB;IAC/B,yCAAyC;IACzC,IAAI,EAAE,MAAM,CAAC;IACb,sBAAsB;IACtB,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IAC3B,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAC;IAChB,2EAA2E;IAC3E,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,4EAA4E;IAC5E,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAyMD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,OAAO,EAAE,CAyD/E;AA8iGD;;;;;GAKG;AACH;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,yCAA0C,CAAC;AACzE,eAAO,MAAM,eAAe,mGAElB,CAAC;AAEX,gEAAgE;AAChE,eAAO,MAAM,UAAU,oEAAqE,CAAC;AAyH7F,wBAAgB,QAAQ,CAAC,GAAG,EAAE,WAAW,GAAG,gBAAgB,EAAE,CA0G7D"}

package/dist/parser/validator.js

@@ -1140,6 +1140,37 @@ function v101RunMode(ast) {
     }
     return results;
 }
+/**
+ * V102: every field and block name in a checked block is one the parser reads.
+ *
+ * Anything else (a typo, a field of another node type, a block the language
+ * does not have) vanished from the AST while validate passed. Collected at
+ * parse time by findUnknownNames (src/parser/known-fields.ts).
+ */
+function v102KnownNames(ast) {
+    return (ast._unknownNameErrors ?? []).map((r) => r.node && lookupLine(ast, r.node) !== undefined ? { ...r, line: lookupLine(ast, r.node) } : r);
+}
+/**
+ * V103: an agent's or gate's `behavior` is `advisory` or `blocking`.
+ *
+ * Any other value was kept and emitted into the scaffold unchecked (N24).
+ */
+const BEHAVIORS = ["advisory", "blocking"];
+function v103BehaviorValue(ast) {
+    const results = [];
+    for (const node of ast.nodes) {
+        if (node.type !== "agent" && node.type !== "gate")
+            continue;
+        const behavior = node.behavior;
+        if (behavior === undefined || BEHAVIORS.includes(behavior))
+            continue;
+        results.push({
+            rule: "V103", level: "error", node: node.id, line: lookupLine(ast, node.id),
+            message: `${node.type === "agent" ? "Agent" : "Gate"} "${node.id}" has behavior: ${behavior} — it must be ${BEHAVIORS.join(" or ")}.`,
+        });
+    }
+    return results;
+}
 /**
  * V98: a block that belongs inside a container is not written beside it.
  *
@@ -3314,6 +3345,8 @@ export function validate(ast) {
         ...v99ReferencesDeclared(ast),
         ...v100HookTypeFields(ast),
         ...v101RunMode(ast),
+        ...v102KnownNames(ast),
+        ...v103BehaviorValue(ast),
         ...v25BounceBackAdvisory(ast),
         ...v26ActionKindEnum(ast),
         ...v27AgentPermissionsEnum(ast),