agentopology 0.3.0 → 0.4.1

package/dist/plan/__tests__/brief.test.js

@@ -0,0 +1,442 @@
+import { describe, it, expect } from "vitest";
+import { readFileSync } from "node:fs";
+import { resolve, dirname } from "node:path";
+import { fileURLToPath } from "node:url";
+import { parse } from "../../parser/index.js";
+import { validate } from "../../parser/validator.js";
+import { buildExecutionBrief } from "../brief.js";
+import { renderBriefMarkdown } from "../render.js";
+const example = (name) => readFileSync(resolve(dirname(fileURLToPath(import.meta.url)), "../../../examples", name), "utf8");
+const briefFor = (name, opts = {}) => buildExecutionBrief(parse(example(name)), { source: `examples/${name}`, ...opts });
+describe("buildExecutionBrief", () => {
+    it("computes handoffs as writes ∩ reads, one row per pair", () => {
+        const b = briefFor("code-review.at");
+        const h = b.handoffs.find((x) => x.from === "analyzer" && x.to === "reviewer");
+        expect(h.passes).toEqual(["workspace/analysis.md"]);
+        // Two conditional edges between the same roles are ONE handoff. The
+        // condition is control flow, not information flow.
+        const pairs = b.handoffs.map((x) => `${x.from}->${x.to}`);
+        expect(new Set(pairs).size).toBe(pairs.length);
+    });
+    it("derives withholds from the same intersection, so they cannot drift", () => {
+        const src = `topology t : [pipeline] {
+      meta {
+        version: "1.0.0"
+        description: "x"
+      }
+      agent builder {
+        model: sonnet
+        description: "b"
+        writes: ["workspace/notes.md", "workspace/self-review.md"]
+      }
+      agent validator {
+        model: opus
+        description: "v"
+        reads: ["workspace/notes.md"]
+      }
+      action intake {
+        kind: inline
+        description: "in"
+      }
+      flow { intake -> builder -> validator }
+    }`;
+        const b = buildExecutionBrief(parse(src));
+        const h = b.handoffs.find((x) => x.to === "validator");
+        expect(h.passes).toEqual(["workspace/notes.md"]);
+        expect(h.withholds).toEqual(["workspace/self-review.md"]);
+        // The withhold lands on the READER, which is the only role that can honour
+        // it. A writer cannot withhold a file it has already written.
+        const validator = b.roles.find((r) => r.id === "validator");
+        expect(validator.mustNotRead).toEqual(["workspace/self-review.md"]);
+        const builder = b.roles.find((r) => r.id === "builder");
+        expect(builder.mustNotRead).toEqual([]);
+    });
+    it("does not tell a writer to withhold a file it is handing to another reader", () => {
+        // Regression: `withheld` was unioned across ALL of a writer's readers, so a
+        // builder with two consumers taking one file each was told to withhold
+        // both — including the ones it was supposed to hand over.
+        const src = `topology t : [pipeline] {
+      meta {
+        version: "1.0.0"
+        description: "x"
+      }
+      agent builder {
+        model: sonnet
+        description: "b"
+        writes: ["workspace/diff.md", "workspace/notes.md"]
+      }
+      agent reviewer {
+        model: sonnet
+        description: "r"
+        reads: ["workspace/diff.md"]
+      }
+      agent archivist {
+        model: sonnet
+        description: "a"
+        reads: ["workspace/notes.md"]
+      }
+      action i {
+        kind: inline
+        description: "in"
+      }
+      flow { i -> builder -> reviewer
+             builder -> archivist }
+    }`;
+        const b = buildExecutionBrief(parse(src));
+        expect(b.roles.find((r) => r.id === "builder").mustNotRead).toEqual([]);
+        expect(b.roles.find((r) => r.id === "reviewer").mustNotRead).toEqual([
+            "workspace/notes.md",
+        ]);
+        expect(b.roles.find((r) => r.id === "archivist").mustNotRead).toEqual([
+            "workspace/diff.md",
+        ]);
+    });
+    it("marks same-step roles with no edge between them as mutually blind", () => {
+        const b = briefFor("code-review.at");
+        expect(b.blindPairs).toHaveLength(1);
+        expect([b.blindPairs[0].a, b.blindPairs[0].b].sort()).toEqual([
+            "analyzer",
+            "security-scanner",
+        ]);
+        const analyzer = b.roles.find((r) => r.id === "analyzer");
+        expect(analyzer.blindTo).toEqual(["security-scanner"]);
+    });
+    it("lists reads nobody produces as run preconditions, and checks them on disk", () => {
+        const b = briefFor("code-review.at");
+        const paths = b.preconditions.map((p) => p.path);
+        expect(paths).toContain("workspace/pr-diff.md");
+        // Anything a role writes is produced inside the run, so it is not a precondition.
+        expect(paths).not.toContain("workspace/analysis.md");
+        // Each carries an absolute path and a real existence check — "must exist
+        // first" that nobody verifies is a runtime surprise, not a contract.
+        for (const p of b.preconditions) {
+            expect(p.absolute.startsWith("/"), p.path).toBe(true);
+            expect(typeof p.exists).toBe("boolean");
+        }
+    });
+    it("pre-flags a precondition that does not exist on disk", () => {
+        const src = `topology t : [pipeline] {
+      meta {
+        version: "1.0.0"
+        description: "x"
+      }
+      agent a {
+        model: sonnet
+        description: "a"
+        reads: ["definitely/not/here.md"]
+      }
+      action intake {
+        kind: inline
+        description: "in"
+      }
+      flow { intake -> a }
+    }`;
+        const b = buildExecutionBrief(parse(src));
+        const flag = b.preflagged.find((p) => p.kind === "precondition-missing");
+        expect(flag).toBeDefined();
+        expect(flag.question).toContain("definitely/not/here.md");
+    });
+    it("resolves every declared path to an absolute one for the role cards", () => {
+        // Dogfooding found three subagents each normalising the same relative path
+        // differently, so the declared handoff pointed nowhere.
+        const b = briefFor("code-review.at");
+        for (const r of b.roles) {
+            for (const p of [...r.readsAbs, ...r.writesAbs]) {
+                expect(p.startsWith("/"), `${r.id}: ${p}`).toBe(true);
+            }
+        }
+    });
+    it("carries the task into the brief so {{TASK}} is never undefined", () => {
+        const b = briefFor("code-review.at", { task: "Review PR 42" });
+        expect(b.task).toBe("Review PR 42");
+        const md = renderBriefMarkdown(b);
+        expect(md).toContain("§1b — Run inputs");
+        expect(md).toContain("Review PR 42");
+        // §0 legitimately mentions the placeholder when explaining it. What must
+        // not contain it is the ROLE PROMPTS — those are copied verbatim.
+        const cards = md.slice(md.indexOf("# §3 — Role cards"));
+        expect(cards).not.toContain("{{TASK}}");
+        expect(cards).toContain("Review PR 42");
+    });
+    it("says what to do about {{TASK}} when no task was given", () => {
+        const md = renderBriefMarkdown(briefFor("code-review.at"));
+        const cards = md.slice(md.indexOf("# §3 — Role cards"));
+        expect(cards).toContain("{{TASK}}");
+        expect(md).toContain("Substitute the user's actual request");
+    });
+    it("marks the `name` spawn parameter optional", () => {
+        // Some hosts reject it outright ("Teammates cannot spawn other teammates").
+        const md = renderBriefMarkdown(briefFor("code-review.at"));
+        expect(md).toContain("drop it if the host rejects it");
+    });
+    it("names every unenforceable declaration rather than dropping it", () => {
+        const b = briefFor("code-review.at");
+        const nodes = b.unenforceable.filter((u) => u.field === "tools").map((u) => u.node);
+        expect(nodes).toContain("analyzer");
+        expect(nodes).toContain("reporter");
+        expect(b.roles.find((r) => r.id === "analyzer").fileless).toBe(false);
+    });
+    it("counts which of the five persistent features are present", () => {
+        const b = briefFor("code-review.at");
+        const names = b.persistent.map((p) => p.feature);
+        expect(names).toContain("triggers / slash commands");
+        expect(names).toContain("per-agent tools / permissions");
+        expect(names).not.toContain("schedules / cron");
+    });
+    it("picks the evidence tier for gates, since tiers 1-3 need files", () => {
+        const b = briefFor("code-review.at");
+        const gate = b.gates[0];
+        expect(gate.tier).toBe("evidence-orchestrator");
+        expect(gate.blocking).toBe(true);
+    });
+    it("treats an advisory gate as advisory whatever its on-fail says", () => {
+        const b = briefFor("simple-pipeline.at");
+        const gate = b.gates[0];
+        // simple-pipeline's gate is blocking with bounce-back; assert the mapping.
+        expect(["advisory", "evidence-orchestrator", "evidence-agent"]).toContain(gate.tier);
+    });
+    it("pre-flags a prompt-less role, because its whole instruction set is one line", () => {
+        const src = `topology t : [pipeline] {
+      meta {
+        version: "1.0.0"
+        description: "x"
+      }
+      agent bare {
+        model: sonnet
+        description: "does a thing"
+      }
+      action intake {
+        kind: inline
+        description: "in"
+      }
+      flow { intake -> bare }
+    }`;
+        const b = buildExecutionBrief(parse(src));
+        const flag = b.preflagged.find((p) => p.kind === "prompt-missing");
+        expect(flag.at.node).toBe("bare");
+        expect(flag.fix).toContain("prompt { }");
+    });
+    it("pre-flags an edge across which nothing is declared to cross", () => {
+        const src = `topology t : [pipeline] {
+      meta {
+        version: "1.0.0"
+        description: "x"
+      }
+      agent a {
+        model: sonnet
+        description: "a"
+        writes: ["workspace/a.md"]
+      }
+      agent b {
+        model: sonnet
+        description: "b"
+        reads: ["workspace/other.md"]
+      }
+      action intake {
+        kind: inline
+        description: "in"
+      }
+      flow { intake -> a -> b }
+    }`;
+        const brief = buildExecutionBrief(parse(src));
+        const flag = brief.preflagged.find((p) => p.kind === "handoff-overlap-empty");
+        expect(flag.at.edge).toBe("a->b");
+        expect(flag.fix).toContain("reads");
+    });
+    it("every pre-flagged ambiguity carries a concrete fix — that is the payoff", () => {
+        for (const f of ["code-review.at", "simple-pipeline.at", "data-processing.at"]) {
+            for (const p of briefFor(f).preflagged) {
+                expect(p.fix.length, `${f}/${p.kind}`).toBeGreaterThan(0);
+            }
+        }
+    });
+    it("excludes the orchestrator from steps and names it as the host", () => {
+        const b = briefFor("simple-pipeline.at");
+        expect(b.orchestrator).toBe("orchestrator");
+        expect(b.steps.some((s) => s.ids.includes("orchestrator"))).toBe(false);
+    });
+    const TWO_OUTPUTS = `topology t : [pipeline] {
+    meta {
+      version: "1.0.0"
+      description: "one node routing on two different outputs, plus a default"
+    }
+    agent judge {
+      model: opus
+      description: "j"
+      outputs: {
+        verdict: pass | fail
+        severity: minor | major
+      }
+    }
+    agent sink {
+      model: sonnet
+      description: "s"
+    }
+    agent worker {
+      model: sonnet
+      description: "w"
+    }
+    agent always {
+      model: sonnet
+      description: "al"
+    }
+    action i {
+      kind: inline
+      description: "in"
+    }
+    flow { i -> judge
+           judge -> sink [when judge.verdict == pass]
+           judge -> worker [when judge.severity == major]
+           judge -> always }
+  }`;
+    it("groups routing by (source, output), not by source alone", () => {
+        // Regression: grouped by source with the key read off edges[0], so a node
+        // routing on two outputs got ONE heading naming whichever came first, and
+        // every row under it looked like it tested that output.
+        const routes = buildExecutionBrief(parse(TWO_OUTPUTS)).routes;
+        expect(routes).toHaveLength(2);
+        expect(routes.map((r) => r.key).sort()).toEqual(["severity", "verdict"]);
+        for (const r of routes) {
+            for (const e of r.edges)
+                expect(e.condition).toContain(`.${r.key}`);
+        }
+    });
+    it("keeps the unconditional out-edge as a default instead of dropping it", () => {
+        // Regression: it was dropped entirely, and §5 then told the host to halt
+        // when nothing matched — a dead end the topology had an answer for.
+        const routes = buildExecutionBrief(parse(TWO_OUTPUTS)).routes;
+        for (const r of routes) {
+            expect(r.fallbacks.map((f) => f.to)).toContain("always");
+        }
+        const md = renderBriefMarkdown(buildExecutionBrief(parse(TWO_OUTPUTS)));
+        expect(md).toContain("(no condition — default)");
+        expect(md).toContain("take the unconditional default row");
+    });
+    it("still says halt when a decision has no default", () => {
+        const md = renderBriefMarkdown(briefFor("code-review.at"));
+        expect(md).toContain("log `route-unmatched` and stop");
+    });
+    it("does not mark exclusive branches as mutually blind", () => {
+        // They never co-run, so they cannot leak into each other — and marking them
+        // blind told the host to dispatch every branch of a decision at once.
+        const b = buildExecutionBrief(parse(TWO_OUTPUTS));
+        const exclusive = b.steps.filter((s) => s.exclusive).flatMap((s) => s.ids);
+        for (const p of b.blindPairs) {
+            expect(exclusive).not.toContain(p.a);
+            expect(exclusive).not.toContain(p.b);
+        }
+    });
+    it("heads a routing table with the node the condition TESTS, not the edge source", () => {
+        // Regression: `worker -> judge [when judge.verdict == fail]` produced a
+        // heading of `worker.verdict` — a node/output pair that does not exist,
+        // since `worker` declares no outputs at all.
+        const src = `topology t : [pipeline] {
+      meta {
+        version: "1.0.0"
+        description: "x"
+      }
+      agent worker {
+        model: sonnet
+        description: "w"
+      }
+      agent judge {
+        model: opus
+        description: "j"
+        outputs: {
+          verdict: pass | fail
+        }
+      }
+      action i {
+        kind: inline
+        description: "in"
+      }
+      flow { i -> worker
+             worker -> judge [when judge.verdict == fail] }
+    }`;
+        const b = buildExecutionBrief(parse(src));
+        expect(b.routes[0].subject).toBe("judge");
+        expect(b.routes[0].from).toBe("worker");
+        const md = renderBriefMarkdown(b);
+        expect(md).toContain("**On `judge.verdict`:**");
+        expect(md).not.toContain("worker.verdict");
+    });
+});
+describe("renderBriefMarkdown", () => {
+    it("refuses to be enacted when the topology has validation errors", () => {
+        const src = `topology t : [pipeline] {
+      meta {
+        version: "1.0.0"
+        description: "x"
+      }
+      agent a {
+        model: sonnet
+        description: "a"
+        prompt: "prompts/a.md"
+      }
+      action intake {
+        kind: inline
+        description: "in"
+      }
+      flow { intake -> a }
+    }`;
+        const ast = parse(src);
+        const errors = validate(ast).filter((r) => r.level === "error");
+        expect(errors.length).toBeGreaterThan(0);
+        const md = renderBriefMarkdown(buildExecutionBrief(ast, { errors }));
+        expect(md).toContain("DO NOT ENACT");
+        expect(md).toContain("[V89]");
+        // And it must not go on to emit an enactment loop the host might follow.
+        expect(md).not.toContain("§0 — Enactment loop");
+    });
+    it("emits all eleven sections for a valid topology", () => {
+        const md = renderBriefMarkdown(briefFor("code-review.at"));
+        for (const s of ["§0", "§1", "§2", "§3", "§4", "§5", "§6", "§7", "§8", "§9", "§10"]) {
+            expect(md, s).toContain(s);
+        }
+    });
+    it("tells the host to dispatch a parallel step in one message", () => {
+        const md = renderBriefMarkdown(briefFor("code-review.at"));
+        expect(md).toContain("all Agent calls in a single");
+        expect(md).toContain("you cannot leak it");
+    });
+    it("puts the canary rule in the enactment loop", () => {
+        const md = renderBriefMarkdown(briefFor("code-review.at"));
+        expect(md).toContain("FIRST subagent of the run, stop and ask");
+    });
+    it("gives every role a return protocol naming its declared enums", () => {
+        const md = renderBriefMarkdown(briefFor("code-review.at"));
+        expect(md).toContain("```at-output");
+        expect(md).toContain("risk-level: <low|medium|high|critical>");
+        expect(md).toContain("verdict: <approve|request-changes|reject>");
+    });
+    it("states an isolation instruction in a blind role's prompt", () => {
+        const md = renderBriefMarkdown(briefFor("code-review.at"));
+        expect(md).toContain("ISOLATION");
+        expect(md).toContain("must not read, ask for, or speculate about that work");
+    });
+    it("names the persistent features and points at scaffold", () => {
+        const md = renderBriefMarkdown(briefFor("code-review.at"));
+        expect(md).toMatch(/\*\*\d of 5 present\.\*\*/);
+        expect(md).toContain("agentopology scaffold examples/code-review.at");
+    });
+    it("renders every shipped example without throwing", () => {
+        for (const f of [
+            "code-review.at",
+            "simple-pipeline.at",
+            "data-processing.at",
+            "memory-system.at",
+            "scheduled-monitor.at",
+            "company-brain.at",
+        ]) {
+            expect(() => renderBriefMarkdown(briefFor(f)), f).not.toThrow();
+        }
+    });
+    it("renders a gate's `before` anchor, not just `after`", () => {
+        // Regression: only `after` was shown, so a before-only gate read as
+        // anchored to nothing.
+        const md = renderBriefMarkdown(briefFor("simple-pipeline.at"));
+        expect(md).toContain("| gate | anchor |");
+        expect(md).toMatch(/after `writer`, before `reviewer`/);
+    });
+});
+//# sourceMappingURL=brief.test.js.map

package/dist/plan/__tests__/brief.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"brief.test.js","sourceRoot":"","sources":["../../../src/plan/__tests__/brief.test.ts"],"names":[],"mappings":"AAAA,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;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAEnD,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAE,CAC/B,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;AAEpG,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,IAAI,GAAG,EAAE,EAAE,EAAE,CAC3C,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,YAAY,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;AAErF,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,EAAE,KAAK,UAAU,CAAE,CAAC;QAChF,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC;QAEpD,oEAAoE;QACpE,mDAAmD;QACnD,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1D,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,GAAG,GAAG;;;;;;;;;;;;;;;;;;;;MAoBV,CAAC;QACH,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAE,CAAC;QACxD,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC;QAE1D,2EAA2E;QAC3E,8DAA8D;QAC9D,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAE,CAAC;QAC7D,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC;QACpE,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAE,CAAC;QACzD,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,4EAA4E;QAC5E,uEAAuE;QACvE,0DAA0D;QAC1D,MAAM,GAAG,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;MA0BV,CAAC;QACH,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAE,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAE,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC;YACpE,oBAAoB;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAE,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC;YACrE,mBAAmB;SACpB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC;YAC5D,UAAU;YACV,kBAAkB;SACnB,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAE,CAAC;QAC3D,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,CAAC,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;QAChD,kFAAkF;QAClF,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;QAErD,yEAAyE;QACzE,qEAAqE;QACrE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;YAChC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG;;;;;;;;;;;;;;;MAeV,CAAC;QACH,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAE,CAAC;QAC1E,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,2EAA2E;QAC3E,wDAAwD;QACxD,MAAM,CAAC,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;gBAChD,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,QAAQ,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC;QAC/D,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACpC,MAAM,EAAE,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACrC,yEAAyE;QACzE,kEAAkE;QAClE,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,EAAE,GAAG,mBAAmB,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAC3D,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACpC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,sCAAsC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,4EAA4E;QAC5E,MAAM,EAAE,GAAG,mBAAmB,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,gCAAgC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpF,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,+BAA+B,CAAC,CAAC;QACzD,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,QAAQ,CAAC,oBAAoB,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxB,2EAA2E;QAC3E,MAAM,CAAC,CAAC,UAAU,EAAE,uBAAuB,EAAE,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,GAAG,GAAG;;;;;;;;;;;;;;MAcV,CAAC;QACH,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAE,CAAC;QACpE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,GAAG,GAAG;;;;;;;;;;;;;;;;;;;;MAoBV,CAAC;QACH,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,uBAAuB,CAAE,CAAC;QAC/E,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,KAAK,MAAM,CAAC,IAAI,CAAC,gBAAgB,EAAE,oBAAoB,EAAE,oBAAoB,CAAC,EAAE,CAAC;YAC/E,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;gBACvC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,QAAQ,CAAC,oBAAoB,CAAC,CAAC;QACzC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC5C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,MAAM,WAAW,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAiClB,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,0EAA0E;QAC1E,0EAA0E;QAC1E,wDAAwD;QACxD,MAAM,MAAM,GAAG,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;QAC9D,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;QACzE,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;gBAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QACtE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,yEAAyE;QACzE,oEAAoE;QACpE,MAAM,MAAM,GAAG,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;QAC9D,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC3D,CAAC;QACD,MAAM,EAAE,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;QACjD,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,oCAAoC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,EAAE,GAAG,mBAAmB,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,gCAAgC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,4EAA4E;QAC5E,sEAAsE;QACtE,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC3E,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YAC7B,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,wEAAwE;QACxE,wEAAwE;QACxE,6CAA6C;QAC7C,MAAM,GAAG,GAAG;;;;;;;;;;;;;;;;;;;;;;MAsBV,CAAC;QACH,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,EAAE,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;QAChD,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,GAAG,GAAG;;;;;;;;;;;;;;;MAeV,CAAC;QACH,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC;QAChE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACrE,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACrC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC9B,yEAAyE;QACzE,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,EAAE,GAAG,mBAAmB,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAC3D,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACpF,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,EAAE,GAAG,mBAAmB,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,6BAA6B,CAAC,CAAC;QACpD,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,mBAAmB,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,yCAAyC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG,mBAAmB,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACrC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,wCAAwC,CAAC,CAAC;QAC/D,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,2CAA2C,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,EAAE,GAAG,mBAAmB,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAClC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,sDAAsD,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,EAAE,GAAG,mBAAmB,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;QAChD,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,+CAA+C,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,KAAK,MAAM,CAAC,IAAI;YACd,gBAAgB;YAChB,oBAAoB;YACpB,oBAAoB;YACpB,kBAAkB;YAClB,sBAAsB;YACtB,kBAAkB;SACnB,EAAE,CAAC;YACF,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QAClE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,oEAAoE;QACpE,uBAAuB;QACvB,MAAM,EAAE,GAAG,mBAAmB,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC1C,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/plan/brief.d.ts

@@ -0,0 +1,207 @@
+/**
+ * The execution brief — what `agentopology plan` hands to a host coding agent.
+ *
+ * WHY MARKDOWN
+ * ------------
+ * The consumer is a language model, on three different vendors. Markdown is
+ * what every binding already emits and what a model acts on without a parse
+ * step; JSON costs more tokens for identical content and invites the model to
+ * summarize the document rather than execute it. A machine format already
+ * exists for programs: `agentopology export --format json`.
+ *
+ * TWO LAYERS
+ * ----------
+ * `buildExecutionBrief` computes a typed structure; `renderBriefMarkdown` is
+ * the only renderer that ships. A `--json` twin, if one is ever needed, is
+ * `JSON.stringify` of the same structure — so the two can never drift.
+ *
+ * WHAT IT IS NOT
+ * --------------
+ * Not a translation. `.at` is already agent-readable and `exporters/markdown`
+ * already renders it for humans. This resolves what a host would otherwise
+ * have to guess: order, handoffs, what must stay blind, gate tiers, loop
+ * budgets, and which declarations cannot be honoured without files.
+ *
+ * @module
+ */
+import type { TopologyAST, EdgeDef } from "../parser/ast.js";
+import { type ResolvedDefault } from "../resolve/defaults.js";
+import { type OrderStep, type LoopInfo } from "../resolve/order.js";
+/** Autonomy notch. Governs approval before the run and announcements during it. */
+export type Autonomy = "plan" | "execute" | "auto";
+/**
+ * Gate enforcement tiers, strongest first. Tier is chosen by what the host
+ * platform actually offers, not by preference.
+ */
+export type GateTier = "preventive" | "enforced" | "fileless-verify" | "evidence-orchestrator" | "evidence-agent" | "advisory";
+/** One resolved handoff across a flow edge. */
+export interface Handoff {
+    from: string;
+    to: string;
+    /** `writer.writes ∩ reader.reads` — what actually crosses. */
+    passes: string[];
+    /** The rest of the writer's `writes` — deliberately not offered to the reader. */
+    withholds: string[];
+}
+/** Two roles in the same step with no edge between them. */
+export interface BlindPair {
+    step: number;
+    a: string;
+    b: string;
+}
+export interface GatePlan {
+    id: string;
+    after?: string;
+    before?: string;
+    tier: GateTier;
+    /** The command, when the tier can run one. */
+    run?: string;
+    blocking: boolean;
+    onFail: string;
+}
+export interface Unenforceable {
+    node: string;
+    field: string;
+    declared: unknown;
+}
+/** An ambiguity the planner can detect before the run, so the guess is reviewable. */
+export interface PreflaggedAmbiguity {
+    kind: string;
+    at: {
+        section: string;
+        node?: string;
+        edge?: string;
+    };
+    question: string;
+    alternatives: string[];
+    /** A concrete `.at` edit that removes the ambiguity. This is the payoff. */
+    fix: string;
+}
+export interface RoleCard {
+    id: string;
+    model?: string;
+    isolation?: string;
+    /** Authored prompt, or null when the topology only gave a role/description. */
+    prompt: string | null;
+    role: string;
+    /** Declared, as written in the topology. */
+    reads: string[];
+    writes: string[];
+    /** Resolved against `root` — what the prompt actually names. */
+    readsAbs: string[];
+    writesAbs: string[];
+    /**
+     * Paths this role must NOT read, even though an upstream role wrote them and
+     * they are on disk.
+     *
+     * This lives on the READER, not the writer. A writer cannot enforce a
+     * withhold — it has already written the file. The constraint is "the
+     * validator must not see the builder's self-review", which is an instruction
+     * to the validator. Putting it on the writer also produced a real bug: with
+     * two readers each taking a different file, the writer's card unioned both
+     * withholds and told it to withhold everything it was supposed to hand over.
+     */
+    mustNotRead: string[];
+    mustNotReadAbs: string[];
+    /** Sibling ids in the same step it must stay blind to. */
+    blindTo: string[];
+    outputs: Record<string, string[]>;
+    /** Declared tool restriction, which cannot be applied at runtime. */
+    declaredTools?: string[];
+    fileless: boolean;
+}
+export interface ExecutionBrief {
+    topology: string;
+    version: string;
+    source: string;
+    /** Absolute directory every declared path resolves against. */
+    root: string;
+    /** The task text substituted into `{{TASK}}`, or null if none was given. */
+    task: string | null;
+    /** Source-tree revision at plan time, for drift detection. */
+    revision: string | null;
+    autonomy: Autonomy;
+    ambiguityLog: string | null;
+    /** Validation errors. A non-empty list means the brief must not be enacted. */
+    errors: Array<{
+        rule: string;
+        message: string;
+        node?: string;
+    }>;
+    steps: OrderStep[];
+    /**
+     * `reads` paths no node produces — they must exist before step 1. Each is
+     * checked on disk, because "must exist first" that nobody verifies is a
+     * runtime surprise instead of a plan-time refusal.
+     */
+    preconditions: Array<{
+        path: string;
+        absolute: string;
+        exists: boolean;
+    }>;
+    roles: RoleCard[];
+    handoffs: Handoff[];
+    blindPairs: BlindPair[];
+    /**
+     * Routing decisions, grouped by (source, output key). Previously grouped by
+     * source alone with the key read off `edges[0]`, so a node routing on two
+     * different outputs got one heading naming whichever came first — and every
+     * row underneath it looked like it tested that output.
+     */
+    routes: Array<{
+        /** The edge's source node. */
+        from: string;
+        /** The node whose output the condition tests — NOT always `from`. */
+        subject: string;
+        key: string;
+        edges: EdgeDef[];
+        /** Unconditional out-edges from the same source: the default path. */
+        fallbacks: EdgeDef[];
+    }>;
+    loops: LoopInfo[];
+    gates: GatePlan[];
+    unenforceable: Unenforceable[];
+    /** Which of the five inherently-persistent features this topology declares. */
+    persistent: Array<{
+        feature: string;
+        count: number;
+    }>;
+    preflagged: PreflaggedAmbiguity[];
+    defaultsApplied: ResolvedDefault[];
+    orchestrator: string | null;
+}
+export interface BriefOptions {
+    autonomy?: Autonomy;
+    source?: string;
+    ambiguityLog?: string | null;
+    /** Validation results, so the brief can refuse to be enacted on errors. */
+    errors?: Array<{
+        rule: string;
+        message: string;
+        node?: string;
+    }>;
+    /**
+     * The concrete task this run is for — substituted into every role prompt's
+     * `{{TASK}}`. Dogfooding found the brief told the host to substitute it while
+     * never saying what it was or where it came from.
+     */
+    task?: string | null;
+    /**
+     * Directory that `reads`/`writes` paths resolve against. Role cards emit
+     * ABSOLUTE paths: dogfooding found three subagents each normalised a relative
+     * path differently, so the declared handoff pointed nowhere and the receiving
+     * role had to be corrected by hand.
+     */
+    root?: string;
+    /** Commit sha of the source tree, so mid-run drift is detectable. */
+    revision?: string | null;
+}
+/**
+ * Build the execution brief structure for a topology.
+ *
+ * @param rawAst - A parsed topology. Defaults are resolved internally.
+ * @param opts - Autonomy notch, source path, log path, validation results.
+ * @returns The typed brief. Render it with {@link renderBriefMarkdown}.
+ */
+export declare function buildExecutionBrief(rawAst: TopologyAST, opts?: BriefOptions): ExecutionBrief;
+//# sourceMappingURL=brief.d.ts.map