agentopology 0.3.0 → 0.4.1

package/dist/parser/__tests__/spec-sync.test.d.ts

@@ -0,0 +1,10 @@
+/**
+ * The spec must not drift from the implementation.
+ *
+ * `spec/validation.md` documented 35 rules while `validator.ts` implemented 89.
+ * Fifty-four rules existed only in source. Nobody noticed because nothing
+ * compared them — which is the actual bug. Documentation drift is not a
+ * discipline problem, it is a missing test.
+ */
+export {};
+//# sourceMappingURL=spec-sync.test.d.ts.map

package/dist/parser/__tests__/spec-sync.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-sync.test.d.ts","sourceRoot":"","sources":["../../../src/parser/__tests__/spec-sync.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG"}

package/dist/parser/__tests__/spec-sync.test.js

@@ -0,0 +1,60 @@
+/**
+ * The spec must not drift from the implementation.
+ *
+ * `spec/validation.md` documented 35 rules while `validator.ts` implemented 89.
+ * Fifty-four rules existed only in source. Nobody noticed because nothing
+ * compared them — which is the actual bug. Documentation drift is not a
+ * discipline problem, it is a missing test.
+ */
+import { describe, it, expect } from "vitest";
+import { readFileSync } from "node:fs";
+import { resolve, dirname } from "node:path";
+import { fileURLToPath } from "node:url";
+const root = resolve(dirname(fileURLToPath(import.meta.url)), "../../..");
+const read = (p) => readFileSync(resolve(root, p), "utf8");
+/** Rule numbers the validator actually registers, from its `validate()` spread. */
+function implementedRules() {
+    const src = read("src/parser/validator.ts");
+    const body = src.slice(src.indexOf("export function validate("));
+    const fns = [...body.matchAll(/\.\.\.(v(\d+)[A-Za-z0-9_]*)\(ast\)/g)];
+    return [...new Set(fns.map((m) => Number(m[2])))].sort((a, b) => a - b);
+}
+/** Rule numbers documented in the spec's summary table. */
+function documentedRules() {
+    const md = read("spec/validation.md");
+    const rows = [...md.matchAll(/^\|\s*V(\d+)\s*\|/gm)];
+    return [...new Set(rows.map((m) => Number(m[1])))].sort((a, b) => a - b);
+}
+describe("spec/validation.md tracks the validator", () => {
+    it("documents every implemented rule", () => {
+        const impl = implementedRules();
+        const docs = documentedRules();
+        const undocumented = impl.filter((n) => !docs.includes(n));
+        expect(undocumented, `implemented but undocumented: ${undocumented.map((n) => "V" + n).join(", ")}`).toEqual([]);
+    });
+    it("documents no rule the validator does not implement", () => {
+        const impl = implementedRules();
+        const docs = documentedRules();
+        const phantom = docs.filter((n) => !impl.includes(n));
+        expect(phantom, `documented but not implemented: ${phantom.map((n) => "V" + n).join(", ")}`).toEqual([]);
+    });
+    it("numbers rules contiguously from V1", () => {
+        const impl = implementedRules();
+        const gaps = [];
+        for (let i = 1; i <= Math.max(...impl); i++)
+            if (!impl.includes(i))
+                gaps.push(i);
+        expect(gaps, `gaps in rule numbering: ${gaps.join(", ")}`).toEqual([]);
+    });
+    it("states the same rule count in prose as it lists in the table", () => {
+        const md = read("spec/validation.md");
+        const docs = documentedRules();
+        // The prose above the table names the count; a stale number is exactly the
+        // drift this file exists to catch.
+        const claimed = [...md.matchAll(/All (\d+) rules/g)].map((m) => Number(m[1]));
+        expect(claimed.length, "spec should state its rule count").toBeGreaterThan(0);
+        for (const n of claimed)
+            expect(n).toBe(docs.length);
+    });
+});
+//# sourceMappingURL=spec-sync.test.js.map

package/dist/parser/__tests__/spec-sync.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-sync.test.js","sourceRoot":"","sources":["../../../src/parser/__tests__/spec-sync.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;AAC1E,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAEnE,mFAAmF;AACnF,SAAS,gBAAgB;IACvB,MAAM,GAAG,GAAG,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC,CAAC;IACjE,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,qCAAqC,CAAC,CAAC,CAAC;IACtE,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED,2DAA2D;AAC3D,SAAS,eAAe;IACtB,MAAM,EAAE,GAAG,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC;IACrD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,IAAI,GAAG,gBAAgB,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;QAC/B,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,CACJ,YAAY,EACZ,iCAAiC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC/E,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,IAAI,GAAG,gBAAgB,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,CACJ,OAAO,EACP,mCAAmC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC5E,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,IAAI,GAAG,gBAAgB,EAAE,CAAC;QAChC,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,EAAE;YAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjF,MAAM,CAAC,IAAI,EAAE,2BAA2B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;QAC/B,2EAA2E;QAC3E,mCAAmC;QACnC,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,kCAAkC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC9E,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/parser/index.d.ts

@@ -14,6 +14,20 @@
  */
 import type { TopologyAST, TopologyMeta, OrchestratorNode, ActionNode, AgentNode, GateNode, HumanNode, GroupNode, EdgeDef, DepthDef, TriggerDef, HookDef, SkillDef, ToolBlockDef, MeteringDef, ProviderDef, ScheduleJobDef, InterfaceDef, DefaultsDef, SchemaType, SchemaFieldDef, SchemaDef, SensitiveValue, ObservabilityDef, ParamDef, InterfaceEndpoints, ImportDef, IncludeDef, CheckpointDef, ArtifactDef, StoreNode, RetrievalNode } from "./ast.js";
 export type * from "./ast.js";
+/**
+ * Placeholders the parser injects for REQUIRED fields that were not declared.
+ *
+ * The parser cannot leave them undefined without changing non-optional AST
+ * types, so it substitutes a sentinel — and that sentinel then satisfied every
+ * "is it present?" check downstream. V91 recognises them and reports the field
+ * as missing, which is what the spec says it is.
+ */
+export declare const MISSING: {
+    /** `orchestrator.model` — spec/grammar.md, orchestrator field table. */
+    readonly model: "unknown";
+    /** `meta.version` — spec/grammar.md:282, Required: yes. */
+    readonly version: "0.0.0";
+};
 /**
  * Parse a type expression string into a {@link SchemaType}.
  *
@@ -57,7 +71,12 @@ export declare function parseMeta(body: string): Partial<TopologyMeta>;
 /**
  * Parse the `orchestrator { ... }` block into an {@link OrchestratorNode}.
  */
-export declare function parseOrchestrator(body: string): OrchestratorNode;
+export declare function parseOrchestrator(body: string, _blockFieldMisuseWarnings?: Array<{
+    rule: string;
+    level: "error" | "warning";
+    message: string;
+    node?: string;
+}>): OrchestratorNode;
 /**
  * Parse the `roles { ... }` block into a map of role name to description.
  */
@@ -65,7 +84,12 @@ export declare function parseRoles(body: string): Record<string, string>;
 /**
  * Parse an `action <id> { ... }` block into an {@link ActionNode}.
  */
-export declare function parseAction(id: string, body: string): ActionNode;
+export declare function parseAction(id: string, body: string, _blockFieldMisuseWarnings?: Array<{
+    rule: string;
+    level: "error" | "warning";
+    message: string;
+    node?: string;
+}>): ActionNode;
 /**
  * Parse an `agent <id> { ... }` block into an {@link AgentNode}.
  *
@@ -74,19 +98,39 @@ export declare function parseAction(id: string, body: string): ActionNode;
  * @param roles - Role descriptions from the `roles` block, used to attach a
  *                role description to matching agents.
  */
-export declare function parseAgent(id: string, body: string, roles: Record<string, string>): AgentNode;
+export declare function parseAgent(id: string, body: string, roles: Record<string, string>, _blockFieldMisuseWarnings?: Array<{
+    rule: string;
+    level: "error" | "warning";
+    message: string;
+    node?: string;
+}>): AgentNode;
 /**
  * Parse a `gate <id> { ... }` block into a {@link GateNode}.
  */
-export declare function parseGate(id: string, body: string): GateNode;
+export declare function parseGate(id: string, body: string, _blockFieldMisuseWarnings?: Array<{
+    rule: string;
+    level: "error" | "warning";
+    message: string;
+    node?: string;
+}>): GateNode;
 /**
  * Parse a `human <id> { ... }` block into a {@link HumanNode}.
  */
-export declare function parseHuman(id: string, body: string): HumanNode;
+export declare function parseHuman(id: string, body: string, _blockFieldMisuseWarnings?: Array<{
+    rule: string;
+    level: "error" | "warning";
+    message: string;
+    node?: string;
+}>): HumanNode;
 /**
  * Parse a `group <id> { ... }` block into a {@link GroupNode}.
  */
-export declare function parseGroup(id: string, body: string): GroupNode;
+export declare function parseGroup(id: string, body: string, _blockFieldMisuseWarnings?: Array<{
+    rule: string;
+    level: "error" | "warning";
+    message: string;
+    node?: string;
+}>): GroupNode;
 /**
  * Parse the `flow { ... }` block into an array of {@link EdgeDef}.
  *

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/parser/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EACV,WAAW,EACX,YAAY,EACZ,gBAAgB,EAChB,UAAU,EACV,SAAS,EACT,QAAQ,EACR,SAAS,EACT,SAAS,EAET,OAAO,EACP,QAAQ,EAER,UAAU,EACV,OAAO,EACP,QAAQ,EACR,YAAY,EACZ,WAAW,EAEX,WAAW,EACX,cAAc,EACd,YAAY,EAGZ,WAAW,EACX,UAAU,EACV,cAAc,EACd,SAAS,EACT,cAAc,EAEd,gBAAgB,EAGhB,QAAQ,EACR,kBAAkB,EAClB,SAAS,EACT,UAAU,EACV,aAAa,EAEb,WAAW,EAGX,SAAS,EACT,aAAa,EAOd,MAAM,UAAU,CAAC;AAgBlB,mBAAmB,UAAU,CAAC;AAgE9B;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,UAAU,CAsB3D;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,EAAE,CAwBhE;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,EAAE,CAgBzD;AAMD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB,CAYA;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAkB7D;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,CA0BhE;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAO/D;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CAiBhE;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CACxB,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC5B,SAAS,CAoPX;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAuB5D;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CAc9D;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CAkB9D;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,oBAAoB,CAAC,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GAAG,OAAO,EAAE,CA6L7J;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAgBjD;AAuED;;GAEG;AACH,wBAAgB,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CAwF9D;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,aAAa,CA0BtE;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,wBAAwB,CAAC,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,MAAM,EAAE,SAAS,EAAE,CAAC;IAAC,UAAU,EAAE,aAAa,EAAE,CAAA;CAAE,CAsE/O;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAoBhE;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,GACX,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA4BzC;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,EAAE,CAcxD;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE,CAwBlD;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAqBnE;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAc9D;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,GACX,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA6CzC;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,QAAQ,EAAE,CAmC5D;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,CAOjF;AAED;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,cAAc,CAAC,CAmD9E;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,EAAE,CAqE1D;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,EAAE,CAkB5D;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,EAAE,CAoC5D;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,EAAE,CAoB/D;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAoD9D;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,CA8CjE;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAsC3D;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,WAAW,EAAE,CAsB7D;AA0CD;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,CAkCpD;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,GAAG,IAAI,CAM/E;AA+BD;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,EAAE,CA+DtD;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,EAAE,CAUxD;AAED,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAkUjD"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/parser/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EACV,WAAW,EACX,YAAY,EACZ,gBAAgB,EAChB,UAAU,EACV,SAAS,EACT,QAAQ,EACR,SAAS,EACT,SAAS,EAET,OAAO,EACP,QAAQ,EAER,UAAU,EACV,OAAO,EACP,QAAQ,EACR,YAAY,EACZ,WAAW,EAEX,WAAW,EACX,cAAc,EACd,YAAY,EAGZ,WAAW,EACX,UAAU,EACV,cAAc,EACd,SAAS,EACT,cAAc,EAEd,gBAAgB,EAGhB,QAAQ,EACR,kBAAkB,EAClB,SAAS,EACT,UAAU,EACV,aAAa,EAEb,WAAW,EAGX,SAAS,EACT,aAAa,EAOd,MAAM,UAAU,CAAC;AAgBlB,mBAAmB,UAAU,CAAC;AAgE9B;;;;;;;GAOG;AACH,eAAO,MAAM,OAAO;IAClB,wEAAwE;;IAExE,2DAA2D;;CAEnD,CAAC;AA4DX;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,UAAU,CAsB3D;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,EAAE,CAwBhE;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,EAAE,CAgBzD;AAMD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB,CAYA;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAkB7D;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,yBAAyB,CAAC,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GAC9G,gBAAgB,CA6BlB;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAO/D;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACZ,yBAAyB,CAAC,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GAC9G,UAAU,CAoBZ;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CACxB,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAC7B,yBAAyB,CAAC,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GAC9G,SAAS,CAuQX;AAED;;GAEG;AACH,wBAAgB,SAAS,CACvB,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACZ,yBAAyB,CAAC,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GAC9G,QAAQ,CA0BV;AAED;;GAEG;AACH,wBAAgB,UAAU,CACxB,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACZ,yBAAyB,CAAC,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GAC9G,SAAS,CAiBX;AAED;;GAEG;AACH,wBAAgB,UAAU,CACxB,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACZ,yBAAyB,CAAC,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GAC9G,SAAS,CAqBX;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,oBAAoB,CAAC,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GAAG,OAAO,EAAE,CAiN7J;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAgBjD;AAuED;;GAEG;AACH,wBAAgB,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CAwF9D;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,aAAa,CA0BtE;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,wBAAwB,CAAC,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,MAAM,EAAE,SAAS,EAAE,CAAC;IAAC,UAAU,EAAE,aAAa,EAAE,CAAA;CAAE,CA+F/O;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAoBhE;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,GACX,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA4BzC;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,EAAE,CAcxD;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE,CAwBlD;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAqBnE;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAc9D;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,GACX,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA6CzC;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,QAAQ,EAAE,CAmC5D;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,CAOjF;AAED;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,cAAc,CAAC,CAmD9E;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,EAAE,CAqE1D;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,EAAE,CAkB5D;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,EAAE,CAoC5D;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,EAAE,CAoB/D;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAoD9D;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,CA8CjE;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAsC3D;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,WAAW,EAAE,CAsB7D;AA0CD;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,CAkCpD;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,GAAG,IAAI,CAM/E;AA+BD;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,EAAE,CA+DtD;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,EAAE,CAUxD;AAED,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CA8UjD"}

package/dist/parser/index.js

@@ -16,6 +16,78 @@ import { stripComments, extractBlock, extractAllBlocks, parseKV, parseList, pars
 // ---------------------------------------------------------------------------
 // Helpers
 // ---------------------------------------------------------------------------
+/**
+ * V90: detect a field value that swallowed the next field.
+ *
+ * `parseFields` is line-based, and the grammar never says so. Writing two
+ * fields on one line — `agent a { model: sonnet retry: 3 }` — makes the first
+ * key take the whole rest of the line as its value (`"sonnet retry: 3"`), and
+ * nothing catches it. The value is then silently wrong: a model name that does
+ * not exist, a version string carrying a description, an action `kind` that
+ * fails its enum for a confusing reason.
+ *
+ * Detection: an UNQUOTED value containing whitespace followed by
+ * `identifier:` is almost certainly a swallowed field. Quoted values are
+ * exempt (a description may legitimately contain a colon), and a leading
+ * scheme like `https://` is not matched because it has no preceding
+ * whitespace.
+ */
+function detectSwallowedFields(fields, nodeId, out) {
+    for (const [key, raw] of Object.entries(fields)) {
+        if (typeof raw !== "string")
+            continue;
+        const value = raw.trim();
+        // Free-prose fields whose quotes have already been stripped are exempt: a
+        // colon inside a description is ordinary English ("Demo: agent pipeline"),
+        // and once the quotes are gone there is no way to tell prose from a
+        // swallow. Where quotes SURVIVE parsing — every block except `meta` — the
+        // check below still catches `description: "k" model: sonnet`.
+        const PROSE_FIELDS = new Set(["description", "role", "generates", "termination"]);
+        if (PROSE_FIELDS.has(key) && !value.startsWith('"'))
+            continue;
+        // A balanced brace block is a NESTED OBJECT, not a swallow. The single-line
+        // form is spec-legal and parses correctly — `spec/grammar.md:117` gives
+        // `outputs: { depth: 1 | 2 | 3 }` verbatim. Flagging it rejected valid
+        // topologies, which is worse than missing one.
+        if (value.startsWith("{") && value.endsWith("}"))
+            continue;
+        // Same for a list.
+        if (value.startsWith("[") && value.endsWith("]"))
+            continue;
+        // A WELL-FORMED quoted string is exempt — a description may contain a
+        // colon. `"1.0.0" description: "x"` is NOT well-formed: it is one quoted
+        // token followed by more content, i.e. a swallowed field.
+        if (/^"(?:[^"\\]|\\.)*"$/.test(value))
+            continue;
+        const search = value.startsWith('"')
+            ? value.replace(/^"(?:[^"\\]|\\.)*"/, "")
+            : value;
+        const m = /\s([a-zA-Z][a-zA-Z0-9_-]*):/.exec(search.startsWith(" ") ? search : " " + search);
+        if (!m)
+            continue;
+        out.push({
+            rule: "V90",
+            level: "error",
+            message: `"${nodeId}" field \`${key}\` has the value \`${value}\`, which looks like it swallowed the ` +
+                `field \`${m[1]}\` — fields must be one per line`,
+            node: nodeId,
+        });
+    }
+}
+/**
+ * Placeholders the parser injects for REQUIRED fields that were not declared.
+ *
+ * The parser cannot leave them undefined without changing non-optional AST
+ * types, so it substitutes a sentinel — and that sentinel then satisfied every
+ * "is it present?" check downstream. V91 recognises them and reports the field
+ * as missing, which is what the spec says it is.
+ */
+export const MISSING = {
+    /** `orchestrator.model` — spec/grammar.md, orchestrator field table. */
+    model: "unknown",
+    /** `meta.version` — spec/grammar.md:282, Required: yes. */
+    version: "0.0.0",
+};
 /** Convert a kebab-case or snake_case identifier to a Title Case label. */
 function toLabel(id) {
     return id
@@ -203,8 +275,11 @@ export function parseMeta(body) {
 /**
  * Parse the `orchestrator { ... }` block into an {@link OrchestratorNode}.
  */
-export function parseOrchestrator(body) {
+export function parseOrchestrator(body, _blockFieldMisuseWarnings) {
     const fields = parseFields(body);
+    if (_blockFieldMisuseWarnings) {
+        detectSwallowedFields(fields, "orchestrator", _blockFieldMisuseWarnings);
+    }
     const handles = parseMultilineList(body, "handles");
     const outputs = parseOutputsBlock(body);
     const node = {
@@ -247,8 +322,11 @@ export function parseRoles(body) {
 /**
  * Parse an `action <id> { ... }` block into an {@link ActionNode}.
  */
-export function parseAction(id, body) {
+export function parseAction(id, body, _blockFieldMisuseWarnings) {
     const fields = parseFields(body);
+    if (_blockFieldMisuseWarnings) {
+        detectSwallowedFields(fields, id, _blockFieldMisuseWarnings);
+    }
     const commands = parseMultilineList(body, "commands");
     const node = {
         id,
@@ -279,7 +357,7 @@ export function parseAction(id, body) {
  * @param roles - Role descriptions from the `roles` block, used to attach a
  *                role description to matching agents.
  */
-export function parseAgent(id, body, roles) {
+export function parseAgent(id, body, roles, _blockFieldMisuseWarnings) {
     const fields = parseFields(body);
     const tools = parseMultilineList(body, "tools");
     const skills = parseMultilineList(body, "skills");
@@ -298,7 +376,24 @@ export function parseAgent(id, body, roles) {
         node.model = fields.model;
     if (fields.permissions)
         node.permissions = fields.permissions;
-    // Extract prompt from prompt {} block (not KV pair)
+    // Extract prompt from prompt {} block (not KV pair).
+    //
+    // V89: `agent.prompt` is a BLOCK per spec/grammar.md:350. The string form
+    // (`prompt: "path.md"`) belongs to `skill`, a different node type
+    // (spec/grammar.md:1377). A KV `prompt` on an agent is silently unparseable,
+    // so flag it rather than dropping the author's instructions on the floor.
+    if (fields.prompt) {
+        _blockFieldMisuseWarnings?.push({
+            rule: "V89",
+            level: "error",
+            message: `agent "${id}" uses \`prompt:\` as a key-value field, but agent prompts must be a \`prompt { }\` block — ` +
+                `this value is ignored and the agent will have no instructions`,
+            node: id,
+        });
+    }
+    if (_blockFieldMisuseWarnings) {
+        detectSwallowedFields(fields, id, _blockFieldMisuseWarnings);
+    }
     const promptBlock = extractBlock(body, "prompt");
     if (promptBlock) {
         node.prompt = dedentBlock(promptBlock.body);
@@ -555,8 +650,11 @@ export function parseAgent(id, body, roles) {
 /**
  * Parse a `gate <id> { ... }` block into a {@link GateNode}.
  */
-export function parseGate(id, body) {
+export function parseGate(id, body, _blockFieldMisuseWarnings) {
     const fields = parseFields(body);
+    if (_blockFieldMisuseWarnings) {
+        detectSwallowedFields(fields, id, _blockFieldMisuseWarnings);
+    }
     const checks = parseMultilineList(body, "checks");
     const node = {
         id,
@@ -587,8 +685,11 @@ export function parseGate(id, body) {
 /**
  * Parse a `human <id> { ... }` block into a {@link HumanNode}.
  */
-export function parseHuman(id, body) {
+export function parseHuman(id, body, _blockFieldMisuseWarnings) {
     const fields = parseFields(body);
+    if (_blockFieldMisuseWarnings) {
+        detectSwallowedFields(fields, id, _blockFieldMisuseWarnings);
+    }
     const node = {
         id,
         type: "human",
@@ -605,8 +706,11 @@ export function parseHuman(id, body) {
 /**
  * Parse a `group <id> { ... }` block into a {@link GroupNode}.
  */
-export function parseGroup(id, body) {
+export function parseGroup(id, body, _blockFieldMisuseWarnings) {
     const fields = parseFields(body);
+    if (_blockFieldMisuseWarnings) {
+        detectSwallowedFields(fields, id, _blockFieldMisuseWarnings);
+    }
     const members = parseList(fields.members ?? "");
     const node = {
         id,
@@ -651,6 +755,24 @@ export function parseFlow(body, _edgeAttributeErrors) {
         // Match annotation at end of line: [when ..., max N, per agent-id, tolerance: N, race, wait 30s, reflection]
         // Must start with "when", "max", "per", "tolerance", "race", "wait", "join", "weight", or "reflection" to avoid matching fan-out lists.
         const bracketMatch = trimmed.match(/\[(when\s+.+?|max\s+\d+.*?|per\s+\S+.*?|tolerance\s*:.+?|race.*?|wait\s+\S+.*?|join\s+\S+.*?|weight\s+\S+.*?|reflection.*?)\]\s*$/);
+        // V92: two bracket groups on one edge. The grammar defines ONE annotation
+        // with comma-separated attributes (`[when ..., max N]`). Written as
+        // `[when ...] [max N]`, the matcher below spans from the first `[` to the
+        // last `]` and produces a corrupt condition — literally
+        // `a.verdict == fail] [max 3` — with no error at all.
+        // Count only ANNOTATION brackets. A fan-out list is also bracketed —
+        // `analyzer -> [reporter, alerter] [when ...]` is legal — so testing for
+        // `] [` alone flagged valid topologies.
+        const ATTR = /\[\s*(?:when|max|per|tolerance|race|wait|join|weight|reflection)\b/g;
+        const annotationBrackets = (trimmed.match(ATTR) ?? []).length;
+        if (annotationBrackets > 1 && _edgeAttributeErrors) {
+            _edgeAttributeErrors.push({
+                rule: "V92",
+                level: "error",
+                message: "Edge has two bracket groups — attributes go in ONE bracket, " +
+                    `comma-separated: [when ..., max N] (line: ${trimmed})`,
+            });
+        }
         if (bracketMatch) {
             flowPart = trimmed.slice(0, bracketMatch.index).trim();
             const annotation = bracketMatch[1];
@@ -1062,10 +1184,7 @@ export function parseMemory(body, _unknownSubBlockWarnings) {
     ];
     const knownSubsSet = new Set([
         ...knownSubs,
-        "store", "retrieval",
-        // Sub-blocks within store {} and retrieval {} (not top-level memory subs,
-        // but the V24 scanner sees them because it doesn't track depth)
-        "embedding", "index", "ingestion", "search", "lifecycle", "backend-config", "scoring",
+        "store", "retrieval", // the two typed top-level blocks
     ]);
     for (const name of knownSubs) {
         const block = extractBlock(body, name);
@@ -1098,19 +1217,47 @@ export function parseMemory(body, _unknownSubBlockWarnings) {
             continue;
         retrievals.push(parseRetrieval(block.id, block.body));
     }
-    // Detect unknown sub-blocks
+    // Detect unknown sub-blocks. Only consider TOP-LEVEL blocks of the memory
+    // body — names nested inside a `store {}` or `retrieval {}` (e.g. a brain
+    // store's `sources { gmail {} }`) are that block's own concern, not memory
+    // sub-blocks. Walk the body tracking brace depth so we only flag depth-0 names.
     if (_unknownSubBlockWarnings) {
-        const subBlockRe = /(?:^|\n)\s*([a-zA-Z][a-zA-Z0-9_-]*)\s*\{/gm;
-        let m;
-        while ((m = subBlockRe.exec(body)) !== null) {
-            const name = m[1];
-            if (!knownSubsSet.has(name)) {
-                _unknownSubBlockWarnings.push({
-                    rule: "V24",
-                    level: "warning",
-                    message: `Unknown sub-block "${name}" in memory block — known sub-blocks are: ${knownSubs.join(", ")}`,
-                });
+        let depth = 0;
+        let i = 0;
+        while (i < body.length) {
+            const ch = body[i];
+            if (ch === "}") {
+                depth = Math.max(0, depth - 1);
+                i++;
+                continue;
             }
+            if (ch === "{") {
+                depth++;
+                i++;
+                continue;
+            }
+            // At top level, match a block header before `{`. Handles both the bare
+            // form (`workspace {`) and the typed-block form (`store brain {`,
+            // `retrieval smart {`) — in the latter the FIRST token is the keyword.
+            if (depth === 0) {
+                const rest = body.slice(i);
+                const m = /^([a-zA-Z][a-zA-Z0-9_-]*)(?:\s+[a-zA-Z][a-zA-Z0-9_-]*)?\s*\{/.exec(rest);
+                if (m && (i === 0 || /\s/.test(body[i - 1]))) {
+                    const name = m[1]; // the leading keyword (store / retrieval / workspace / …)
+                    if (!knownSubsSet.has(name)) {
+                        _unknownSubBlockWarnings.push({
+                            rule: "V24",
+                            level: "warning",
+                            message: `Unknown sub-block "${name}" in memory block — known sub-blocks are: ${knownSubs.join(", ")}`,
+                        });
+                    }
+                    // Advance into the block (past the `{`) so its body is depth-counted.
+                    i += m[0].length;
+                    depth++;
+                    continue;
+                }
+            }
+            i++;
         }
     }
     return { memory, stores, retrievals };
@@ -2026,7 +2173,11 @@ export function parse(source) {
     const topBody = stripComments(topoBlock.body);
     // --- Meta ---
     const metaBlock = extractBlock(topBody, "meta");
+    // V89/V90: collected while parsing blocks — a field written in a form the
+    // grammar does not define. Attached to the AST below.
+    const blockFieldMisuseWarnings = [];
     const metaFields = metaBlock ? parseMeta(metaBlock.body) : {};
+    detectSwallowedFields(metaFields, "<meta>", blockFieldMisuseWarnings);
     const topology = {
         name: header.name,
         version: metaFields.version ?? "0.0.0",
@@ -2047,20 +2198,20 @@ export function parse(source) {
     // Orchestrator
     const orchBlock = extractBlock(topBody, "orchestrator");
     if (orchBlock) {
-        nodes.push(parseOrchestrator(orchBlock.body));
+        nodes.push(parseOrchestrator(orchBlock.body, blockFieldMisuseWarnings));
     }
     // Actions
     const actionBlocks = extractAllBlocks(topBody, "action");
     for (const block of actionBlocks) {
         if (block.id) {
-            nodes.push(parseAction(block.id, block.body));
+            nodes.push(parseAction(block.id, block.body, blockFieldMisuseWarnings));
         }
     }
     // Agents
     const agentBlocks = extractAllBlocks(topBody, "agent");
     for (const block of agentBlocks) {
         if (block.id) {
-            nodes.push(parseAgent(block.id, block.body, roles));
+            nodes.push(parseAgent(block.id, block.body, roles, blockFieldMisuseWarnings));
         }
     }
     // Gates
@@ -2069,7 +2220,7 @@ export function parse(source) {
         const gateBlocks = extractAllBlocks(gatesBlock.body, "gate");
         for (const block of gateBlocks) {
             if (block.id) {
-                nodes.push(parseGate(block.id, block.body));
+                nodes.push(parseGate(block.id, block.body, blockFieldMisuseWarnings));
             }
         }
     }
@@ -2077,14 +2228,14 @@ export function parse(source) {
     const humanBlocks = extractAllBlocks(topBody, "human");
     for (const block of humanBlocks) {
         if (block.id) {
-            nodes.push(parseHuman(block.id, block.body));
+            nodes.push(parseHuman(block.id, block.body, blockFieldMisuseWarnings));
         }
     }
     // Group chat nodes
     const groupBlocks = extractAllBlocks(topBody, "group");
     for (const block of groupBlocks) {
         if (block.id) {
-            nodes.push(parseGroup(block.id, block.body));
+            nodes.push(parseGroup(block.id, block.body, blockFieldMisuseWarnings));
         }
     }
     // --- Skills ---
@@ -2265,6 +2416,10 @@ export function parse(source) {
     if (unknownMemorySubBlockWarnings.length > 0) {
         ast._unknownMemorySubBlockWarnings = unknownMemorySubBlockWarnings;
     }
+    // Attach V89 block-vs-KV field misuse errors for the validator to consume.
+    if (blockFieldMisuseWarnings.length > 0) {
+        ast._blockFieldMisuseWarnings = blockFieldMisuseWarnings;
+    }
     // Attach source map for line number tracking in validation results.
     if (Object.keys(sourceMap).length > 0) {
         ast._sourceMap = sourceMap;