@wrenautomation/birdwatch 0.0.0-stage → 0.30.0

package/dist/engine/tree.js

@@ -0,0 +1,148 @@
+/**
+ * The run tree: a child run names its parent on every snapshot. A wide run finds the niches;
+ * a child per niche goes deep; a stopped child's patterns and dead ends reach the parent's next
+ * plan. Each child keeps its own budget, stop and resume. A child's budget is never more than
+ * its parent's. The depth and the children per round are guard rails: past the depth a warning.
+ * The one hard stop is the pages the whole tree reads, pinned on the root's snapshot: depth costs
+ * nothing a sibling would not, so only the total is worth a wall.
+ */
+import { costOf } from "./cost.js";
+import { recall } from "./recall.js";
+import { classesOf, fold } from "./state.js";
+/** The caps when the plan file names none: the root and its children; six children per round. */
+export const RUNS = { depth: 2, children: 6 };
+const stateOf = async (deps, run) => fold(run, await deps.ledger.trace(run));
+/** The runs that name this one as parent, each by its first snapshot, in the order they began. */
+export async function childrenOf(deps, run) {
+    const out = new Map();
+    for (const r of await deps.ledger.scan({ type: ["snapshot"] }))
+        if (r.type === "snapshot" && r.parent?.run === run && !out.has(r.run))
+            out.set(r.run, r);
+    return [...out.values()];
+}
+/** The pages a tree may read, for a root's snapshot: the plan file's, else from the root's budget. */
+export const treeReadsOf = (planFile, budget) => planFile.runs?.reads ??
+    budget.reads * budget.rounds * ((planFile.runs?.children ?? RUNS.children) + 1);
+/** The run's ancestors, root first, each by its latest snapshot. */
+export async function lineageOf(deps, run) {
+    const out = [];
+    for (let s = (await stateOf(deps, run)).snapshot; s?.parent;) {
+        s = (await stateOf(deps, s.parent.run)).snapshot;
+        if (s)
+            out.unshift(s);
+    }
+    return out;
+}
+/** What the tree the run sits in may still read; null for a tree with no cap (a run before 0.21). */
+export async function treeRoom(deps, run) {
+    const root = (await lineageOf(deps, run))[0] ?? (await stateOf(deps, run)).snapshot;
+    if (!root?.treeReads)
+        return null;
+    const read = (await runTree(deps, root.run)).reads;
+    return { root: root.run, cap: root.treeReads, read, left: Math.max(0, root.treeReads - read) };
+}
+/** Per field, the smaller: a child never gets more than its parent. */
+export const minBudget = (a, b) => ({
+    queries: Math.min(a.queries, b.queries),
+    reads: Math.min(a.reads, b.reads),
+    rounds: Math.min(a.rounds, b.rounds),
+    checks: Math.min(a.checks, b.checks),
+});
+/** The plan file's budget, capped by the parent's on each round of a child. */
+export async function budgetUnder(deps, parent, budget) {
+    const up = parent && (await stateOf(deps, parent.run)).snapshot;
+    return up ? minBudget(budget, up.budget) : budget;
+}
+/**
+ * A new child's link, checked: the parent has a plan, its round has room for one more child, and
+ * the tree has pages left to read. Past the depth, a warning: the why says why deeper beats a
+ * sibling.
+ */
+export async function linkTo(deps, to, planFile) {
+    if (!to.why.trim())
+        throw new Error("--parent: why this child?");
+    const up = (await stateOf(deps, to.run)).snapshot;
+    if (!up)
+        throw new Error(`parent ${to.run}: no plan yet`);
+    const caps = { ...RUNS, ...planFile.runs };
+    const level = (await lineageOf(deps, to.run)).length + 2;
+    const room = await treeRoom(deps, to.run);
+    if (room && !room.left)
+        throw new Error(`--parent: the tree under ${room.root} read ${room.read} pages, its cap ${room.cap} (plan file runs.reads on the root)`);
+    const siblings = (await childrenOf(deps, to.run)).filter((c) => c.parent?.round === up.round).length;
+    if (siblings >= caps.children)
+        throw new Error(`--parent: round ${up.round} of ${to.run} has ${siblings} children, the cap (plan file runs.children)`);
+    const warnings = [];
+    if (level > caps.depth)
+        warnings.push(`level ${level}, past runs.depth ${caps.depth}: a guard rail; the why says why a deeper run beats a sibling`);
+    const reads = (await runTree(deps, to.run)).reads;
+    const cap = up.budget.reads * up.budget.rounds;
+    if (reads >= cap)
+        warnings.push(`the tree under ${to.run} read ${reads} pages, past its budget of ${cap}: a guard rail, not a stop`);
+    return {
+        parent: { run: to.run, round: up.round, why: to.why },
+        warnings,
+    };
+}
+/**
+ * What a parent's next plan reads from its children. A stopped child gives known lines: its
+ * stop, its patterns with their sites per class, its dead ends (facets to skip). A child still
+ * going is open. The lines name the child run and the pattern: the ledger is their source.
+ */
+export async function fromChildren(deps, run) {
+    const known = [];
+    const open = [];
+    for (const c of await childrenOf(deps, run)) {
+        const s = await stateOf(deps, c.run);
+        const ask = `"${c.ask.text}"`;
+        if (s.next) {
+            open.push(`child run ${c.run} (${ask}) has not stopped`);
+            continue;
+        }
+        const stop = s.edges.filter((e) => e.next === "stop").at(-1);
+        known.push(`child run ${c.run} (${ask}) stopped${stop ? `: ${stop.why}` : ""}`);
+        for (const p of s.patterns) {
+            const classes = Object.entries(classesOf(s, p.findings))
+                .map(([k, n]) => `${k} ${n}`)
+                .join(", ");
+            known.push(`${p.text} (run ${c.run}, pattern ${p.id}; sources: ${classes || "none kept"})`);
+        }
+        for (const d of s.dead)
+            known.push(`dead end, skip it: ${d.facet}: ${d.why} (run ${c.run})`);
+    }
+    return { known, open };
+}
+/** For a new child: what its parent and siblings already found that bears on its ask, with URLs. */
+export async function fromSiblings(deps, parent, ask, n = 10) {
+    const runs = [parent, ...(await childrenOf(deps, parent)).map((c) => c.run)];
+    return (await recall(deps.ledger, ask, { runs, n })).map((r) => `${r.text} (${r.url})`);
+}
+/** The run's children, and what the whole tree under it read and cost. */
+export async function runTree(deps, run) {
+    const spends = [];
+    let reads = 0;
+    const children = [];
+    const walk = async (id, top) => {
+        const s = await stateOf(deps, id);
+        spends.push(...s.spends);
+        reads += s.documents.length;
+        for (const c of await childrenOf(deps, id)) {
+            if (top) {
+                const cs = await stateOf(deps, c.run);
+                children.push({
+                    run: c.run,
+                    ask: c.ask.text,
+                    why: c.parent?.why ?? "",
+                    round: c.parent?.round ?? 1,
+                    stopped: !cs.next,
+                    patterns: cs.patterns.length,
+                    reads: cs.documents.length,
+                });
+            }
+            await walk(c.run, false);
+        }
+    };
+    await walk(run, true);
+    return { children, reads, cost: costOf(spends) };
+}
+//# sourceMappingURL=tree.js.map

package/dist/engine/tree.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tree.js","sourceRoot":"","sources":["../../src/engine/tree.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAGnC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAiB,MAAM,YAAY,CAAC;AAE5D,iGAAiG;AACjG,MAAM,CAAC,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AAM9C,MAAM,OAAO,GAAG,KAAK,EAAE,IAAW,EAAE,GAAW,EAAqB,EAAE,CACpE,IAAI,CAAC,GAAG,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AAE1C,kGAAkG;AAClG,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAAW,EAAE,GAAW;IACvD,MAAM,GAAG,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5D,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,EAAE,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAC3F,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;AAC3B,CAAC;AAED,sGAAsG;AACtG,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,QAAkB,EAAE,MAAc,EAAU,EAAE,CACxE,QAAQ,CAAC,IAAI,EAAE,KAAK;IACpB,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;AAElF,oEAAoE;AACpE,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAW,EAAE,GAAW;IACtD,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,KAAK,IAAI,CAAC,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,MAAM,GAAI,CAAC;QAC9D,CAAC,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;QACjD,IAAI,CAAC;YAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,qGAAqG;AACrG,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,IAAW,EACX,GAAW;IAEX,MAAM,IAAI,GAAG,CAAC,MAAM,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;IACpF,IAAI,CAAC,IAAI,EAAE,SAAS;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,IAAI,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;IACnD,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,EAAE,CAAC;AACjG,CAAC;AAED,uEAAuE;AACvE,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC;IAC1D,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;IACvC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC;IACjC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;IACpC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;CACrC,CAAC,CAAC;AAEH,+EAA+E;AAC/E,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,IAAW,EACX,MAA0B,EAC1B,MAAc;IAEd,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,MAAM,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;IAChE,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AACpD,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CAC1B,IAAW,EACX,EAAgC,EAChC,QAAkB;IAElB,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IACjE,MAAM,EAAE,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;IAClD,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC,GAAG,eAAe,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,CAAC,MAAM,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,MAAM,IAAI,KAAK,CACb,4BAA4B,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,IAAI,mBAAmB,IAAI,CAAC,GAAG,qCAAqC,CACxH,CAAC;IACJ,MAAM,QAAQ,GAAG,CAAC,MAAM,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CACtD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,KAAK,EAAE,CAAC,KAAK,CACpC,CAAC,MAAM,CAAC;IACT,IAAI,QAAQ,IAAI,IAAI,CAAC,QAAQ;QAC3B,MAAM,IAAI,KAAK,CACb,mBAAmB,EAAE,CAAC,KAAK,OAAO,EAAE,CAAC,GAAG,QAAQ,QAAQ,8CAA8C,CACvG,CAAC;IACJ,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK;QACpB,QAAQ,CAAC,IAAI,CACX,SAAS,KAAK,qBAAqB,IAAI,CAAC,KAAK,+DAA+D,CAC7G,CAAC;IACJ,MAAM,KAAK,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;IAClD,MAAM,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;IAC/C,IAAI,KAAK,IAAI,GAAG;QACd,QAAQ,CAAC,IAAI,CACX,kBAAkB,EAAE,CAAC,GAAG,SAAS,KAAK,8BAA8B,GAAG,4BAA4B,CACpG,CAAC;IACJ,OAAO;QACL,MAAM,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;QACrD,QAAQ;KACT,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,IAAW,EACX,GAAW;IAEX,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,MAAM,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACX,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,GAAG,KAAK,GAAG,mBAAmB,CAAC,CAAC;YACzD,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,GAAG,KAAK,GAAG,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;iBACrD,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;iBAC5B,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,cAAc,OAAO,IAAI,WAAW,GAAG,CAAC,CAAC;QAC9F,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,oGAAoG;AACpG,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAW,EAAE,MAAc,EAAE,GAAW,EAAE,CAAC,GAAG,EAAE;IACjF,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7E,OAAO,CAAC,MAAM,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;AAC1F,CAAC;AAaD,0EAA0E;AAC1E,MAAM,CAAC,KAAK,UAAU,OAAO,CAC3B,IAAW,EACX,GAAW;IAEX,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,QAAQ,GAAgB,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,KAAK,EAAE,EAAU,EAAE,GAAY,EAAE,EAAE;QAC9C,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QACzB,KAAK,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,MAAM,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;YAC3C,IAAI,GAAG,EAAE,CAAC;gBACR,MAAM,EAAE,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;gBACtC,QAAQ,CAAC,IAAI,CAAC;oBACZ,GAAG,EAAE,CAAC,CAAC,GAAG;oBACV,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI;oBACf,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,IAAI,EAAE;oBACxB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC;oBAC3B,OAAO,EAAE,CAAC,EAAE,CAAC,IAAI;oBACjB,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM;oBAC5B,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM;iBAC3B,CAAC,CAAC;YACL,CAAC;YACD,MAAM,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC;IACF,MAAM,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACtB,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;AACnD,CAAC"}

package/dist/engine/types.d.ts

@@ -0,0 +1,250 @@
+/**
+ * The ask and its plan file: what to look for, who asked, the tuned recipe per ask kind (sources,
+ * budget, tree guide). The agent plans; these are its shapes. `HitView` is a hit's free fields;
+ * the ledger's records extend these, so old ledgers still parse.
+ */
+import { z } from "zod";
+export declare const AskKind: z.ZodEnum<{
+    video: "video";
+    channel: "channel";
+    web: "web";
+    person: "person";
+    site: "site";
+}>;
+export type AskKind = z.infer<typeof AskKind>;
+/** Who wrote a record: the agent or a person. */
+export declare const From: z.ZodEnum<{
+    ai: "ai";
+    human: "human";
+}>;
+export type From = z.infer<typeof From>;
+/**
+ * One yes-or-no test a good source passes, named: the judge answers it on every hit and every
+ * page read whole. A hint and a router, never a gate.
+ */
+export declare const Criterion: z.ZodObject<{
+    name: z.ZodString;
+    question: z.ZodString;
+}, z.core.$strip>;
+export type Criterion = z.infer<typeof Criterion>;
+/** What someone wants to know, and what is known already. */
+export declare const Ask: z.ZodObject<{
+    text: z.ZodString;
+    kind: z.ZodEnum<{
+        video: "video";
+        channel: "channel";
+        web: "web";
+        person: "person";
+        site: "site";
+    }>;
+    known: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    premises: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    steer: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    open: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    criteria: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        question: z.ZodString;
+    }, z.core.$strip>>>;
+    site: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type Ask = z.infer<typeof Ask>;
+/** One thing to look for. `terms` is what a person would type; a source adapter forms its own call from it. */
+export declare const Query: z.ZodObject<{
+    kind: z.ZodEnum<{
+        video: "video";
+        channel: "channel";
+        web: "web";
+        person: "person";
+        site: "site";
+    }>;
+    terms: z.ZodString;
+    site: z.ZodOptional<z.ZodString>;
+    why: z.ZodString;
+    facet: z.ZodOptional<z.ZodString>;
+    tier: z.ZodOptional<z.ZodNumber>;
+    needs: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    from: z.ZodEnum<{
+        ai: "ai";
+        human: "human";
+    }>;
+    by: z.ZodString;
+}, z.core.$strip>;
+export type Query = z.infer<typeof Query>;
+/** One query as a leaf of the tree: what a person would type, and why. */
+export declare const Leaf: z.ZodObject<{
+    terms: z.ZodString;
+    why: z.ZodString;
+    site: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type Leaf = z.infer<typeof Leaf>;
+/**
+ * One side of the ask a researcher covers: a number, a how, a who, a counter-view, a primary
+ * source. `tries` are its alternatives in order: the first runs; the next runs only when the
+ * one before it yielded thin (fewer new hits than the guide's `thin`), or when the agent asks.
+ */
+export declare const Facet: z.ZodObject<{
+    name: z.ZodString;
+    why: z.ZodString;
+    needs: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    tries: z.ZodArray<z.ZodArray<z.ZodObject<{
+        terms: z.ZodString;
+        why: z.ZodString;
+        site: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
+export type Facet = z.infer<typeof Facet>;
+/** The fan-out for one round: the facets, each with its tries. The agent writes it; birdwatch runs it. */
+export declare const QueryTree: z.ZodObject<{
+    facets: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        why: z.ZodString;
+        needs: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        tries: z.ZodArray<z.ZodArray<z.ZodObject<{
+            terms: z.ZodString;
+            why: z.ZodString;
+            site: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type QueryTree = z.infer<typeof QueryTree>;
+/** The plan file's guide for a tree: the facets a tree of this kind covers, and what thin means. A guide, not a cap: a tree may add facets; one it leaves out is a warning. */
+export declare const TreeGuide: z.ZodObject<{
+    facets: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        why: z.ZodString;
+    }, z.core.$strip>>;
+    thin: z.ZodNumber;
+}, z.core.$strip>;
+export type TreeGuide = z.infer<typeof TreeGuide>;
+export declare const Budget: z.ZodObject<{
+    queries: z.ZodNumber;
+    reads: z.ZodNumber;
+    rounds: z.ZodNumber;
+    checks: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strip>;
+export type Budget = z.infer<typeof Budget>;
+/**
+ * The recipe for one ask kind: the sources it may use, the budget, the tree guide. Versioned and
+ * tuned like an SOP, stored beside the ledger. A file from before 0.30.0 carries the old
+ * model planner's prompts: parsing drops them.
+ */
+export declare const PlanFile: z.ZodObject<{
+    id: z.ZodString;
+    kind: z.ZodEnum<{
+        video: "video";
+        channel: "channel";
+        web: "web";
+        person: "person";
+        site: "site";
+    }>;
+    version: z.ZodNumber;
+    sources: z.ZodArray<z.ZodString>;
+    budget: z.ZodObject<{
+        queries: z.ZodNumber;
+        reads: z.ZodNumber;
+        rounds: z.ZodNumber;
+        checks: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>;
+    age: z.ZodOptional<z.ZodString>;
+    rules: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    tree: z.ZodOptional<z.ZodObject<{
+        facets: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            why: z.ZodString;
+        }, z.core.$strip>>;
+        thin: z.ZodNumber;
+    }, z.core.$strip>>;
+    runs: z.ZodOptional<z.ZodObject<{
+        depth: z.ZodNumber;
+        children: z.ZodNumber;
+        reads: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type PlanFile = z.infer<typeof PlanFile>;
+/** What a source, channel or proposer yielded before. The files ledger writes it. */
+export declare const YieldRow: z.ZodObject<{
+    by: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodString>;
+    channel: z.ZodOptional<z.ZodString>;
+    kind: z.ZodOptional<z.ZodEnum<{
+        video: "video";
+        channel: "channel";
+        web: "web";
+        person: "person";
+        site: "site";
+    }>>;
+    hits: z.ZodNumber;
+    reads: z.ZodNumber;
+    proposed: z.ZodNumber;
+    kept: z.ZodNumber;
+}, z.core.$strip>;
+export type YieldRow = z.infer<typeof YieldRow>;
+/** What a round was planned from, kept with its snapshot. */
+export declare const Snapshot: z.ZodObject<{
+    at: z.ZodString;
+    known: z.ZodArray<z.ZodString>;
+    planFile: z.ZodObject<{
+        id: z.ZodString;
+        version: z.ZodNumber;
+    }, z.core.$strip>;
+    model: z.ZodNullable<z.ZodString>;
+    yieldRows: z.ZodNumber;
+}, z.core.$strip>;
+export type Snapshot = z.infer<typeof Snapshot>;
+/** A hit as a source shows it for free: no read has happened. `sources` is every source that returned it. */
+export declare const HitView: z.ZodObject<{
+    url: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    channel: z.ZodOptional<z.ZodString>;
+    length: z.ZodOptional<z.ZodNumber>;
+    date: z.ZodOptional<z.ZodString>;
+    snippet: z.ZodOptional<z.ZodString>;
+    sources: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    odds: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+}, z.core.$strip>;
+export type HitView = z.infer<typeof HitView>;
+/** A hit as a caller may pass it: `sources` optional. */
+export type HitViewIn = z.input<typeof HitView>;
+/** The extractor's word on one read document: how much of the ask it served, what is still missing. */
+export declare const Verdict: z.ZodObject<{
+    url: z.ZodString;
+    quality: z.ZodEnum<{
+        rich: "rich";
+        thin: "thin";
+        off: "off";
+        empty: "empty";
+    }>;
+    gap: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type Verdict = z.infer<typeof Verdict>;
+export declare const Step: z.ZodEnum<{
+    plan: "plan";
+    fetch: "fetch";
+    triage: "triage";
+    read: "read";
+    extract: "extract";
+}>;
+export type Step = z.infer<typeof Step>;
+/** The edge out of a round. `again` is a new round from `plan`; `back` reruns one step of this round. */
+export declare const Edge: z.ZodObject<{
+    next: z.ZodEnum<{
+        stop: "stop";
+        again: "again";
+        back: "back";
+    }>;
+    to: z.ZodOptional<z.ZodEnum<{
+        plan: "plan";
+        fetch: "fetch";
+        triage: "triage";
+        read: "read";
+        extract: "extract";
+    }>>;
+    why: z.ZodString;
+    from: z.ZodEnum<{
+        ai: "ai";
+        human: "human";
+    }>;
+    by: z.ZodString;
+}, z.core.$strip>;
+export type Edge = z.infer<typeof Edge>;
+export { z };

package/dist/engine/types.js

@@ -0,0 +1,168 @@
+/**
+ * The ask and its plan file: what to look for, who asked, the tuned recipe per ask kind (sources,
+ * budget, tree guide). The agent plans; these are its shapes. `HitView` is a hit's free fields;
+ * the ledger's records extend these, so old ledgers still parse.
+ */
+import { z } from "zod";
+export const AskKind = z.enum(["web", "video", "channel", "person", "site"]);
+/** Who wrote a record: the agent or a person. */
+export const From = z.enum(["ai", "human"]);
+/**
+ * One yes-or-no test a good source passes, named: the judge answers it on every hit and every
+ * page read whole. A hint and a router, never a gate.
+ */
+export const Criterion = z.object({
+    name: z.string().regex(/^[a-z][a-z0-9_]*$/),
+    question: z.string().min(1),
+});
+/** What someone wants to know, and what is known already. */
+export const Ask = z.object({
+    text: z.string().min(1),
+    kind: AskKind,
+    /** Facts already in hand, one line each: the plan looks past them. */
+    known: z.array(z.string()).default([]),
+    /** Lines taken as given with no source behind them: the plan tests each, never looks past it. */
+    premises: z.array(z.string()).default([]),
+    /** What the person said along the way, one line each: the brief shows it first. */
+    steer: z.array(z.string()).default([]),
+    /** What the last round left open, one line each: its edge's why, its gaps. The next plan looks there first. */
+    open: z.array(z.string()).default([]),
+    /** The person's tests of a good source; empty: none. */
+    criteria: z.array(Criterion).default([]),
+    /** Only for kind `site`, or when a query must stay on one host. */
+    site: z.string().optional(),
+});
+/** One thing to look for. `terms` is what a person would type; a source adapter forms its own call from it. */
+export const Query = z.object({
+    kind: AskKind,
+    terms: z.string().min(1),
+    site: z.string().optional(),
+    /** Why this query serves the ask: the line a reviewer reads first. */
+    why: z.string(),
+    /** The tree's facet it serves, and which try (1 = the first). Absent on a flat query. */
+    facet: z.string().optional(),
+    tier: z.number().int().positive().optional(),
+    /** The source classes the facet needs (a spend claim: survey, primary_data); the engine checks the names. */
+    needs: z.array(z.string().min(1)).optional(),
+    from: From,
+    /** Model id, plan file id or a person's name. */
+    by: z.string(),
+});
+/** One query as a leaf of the tree: what a person would type, and why. */
+export const Leaf = z.object({
+    terms: z.string().min(1),
+    why: z.string(),
+    site: z.string().optional(),
+});
+/**
+ * One side of the ask a researcher covers: a number, a how, a who, a counter-view, a primary
+ * source. `tries` are its alternatives in order: the first runs; the next runs only when the
+ * one before it yielded thin (fewer new hits than the guide's `thin`), or when the agent asks.
+ */
+export const Facet = z.object({
+    name: z.string().min(1),
+    /** What this facet would prove. */
+    why: z.string(),
+    /** The source classes that can prove it; a facet whose read pages have none of them is flagged. */
+    needs: z.array(z.string().min(1)).optional(),
+    tries: z.array(z.array(Leaf).min(1)).min(1),
+});
+/** The fan-out for one round: the facets, each with its tries. The agent writes it; birdwatch runs it. */
+export const QueryTree = z.object({ facets: z.array(Facet).min(1) });
+/** The plan file's guide for a tree: the facets a tree of this kind covers, and what thin means. A guide, not a cap: a tree may add facets; one it leaves out is a warning. */
+export const TreeGuide = z.object({
+    facets: z.array(z.object({ name: z.string().min(1), why: z.string() })),
+    /** New hits under which a try counts as thin, so the next try runs. */
+    thin: z.number().int().nonnegative(),
+});
+export const Budget = z.object({
+    /** Queries per round: a guard rail the brief shows, never a cap. */
+    queries: z.number().int().positive(),
+    /** Documents to read per round. */
+    reads: z.number().int().positive(),
+    /** Rounds before a review should stop: a guard rail; past it the why says why. */
+    rounds: z.number().int().positive(),
+    /** Kept findings per round that a model checks against their document: a sample spread across the documents. 0: none. */
+    checks: z.number().int().nonnegative().default(3),
+});
+/**
+ * The recipe for one ask kind: the sources it may use, the budget, the tree guide. Versioned and
+ * tuned like an SOP, stored beside the ledger. A file from before 0.30.0 carries the old
+ * model planner's prompts: parsing drops them.
+ */
+export const PlanFile = z.object({
+    id: z.string().min(1),
+    kind: AskKind,
+    version: z.number().int().positive(),
+    /** Source names a run may use, in order of preference. A run can narrow the list, never widen it. */
+    sources: z.array(z.string()),
+    budget: Budget,
+    /** How much a source's age counts for this kind, one sentence the brief shows. Never a cutoff. */
+    age: z.string().optional(),
+    /** What the agent heeds for this kind when it plans and triages, one line each. Absent: the kind's default. */
+    rules: z.array(z.string().min(1)).optional(),
+    /** The facets a query tree of this kind covers. Absent on a file from before version 6: the kind's default. */
+    tree: TreeGuide.optional(),
+    /**
+     * The run tree's caps. `depth`: levels from the root (2: the root and its children); past it a
+     * warning, not a stop. `children`: per parent round. `reads`: pages the whole tree may read, the
+     * one hard stop; absent, the root's reads times rounds times (children + 1). Absent: 2 and 6.
+     */
+    runs: z
+        .object({
+        depth: z.number().int().positive(),
+        children: z.number().int().positive(),
+        reads: z.number().int().positive().optional(),
+    })
+        .optional(),
+});
+/** What a source, channel or proposer yielded before. The files ledger writes it. */
+export const YieldRow = z.object({
+    by: z.string().optional(),
+    source: z.string().optional(),
+    channel: z.string().optional(),
+    kind: AskKind.optional(),
+    hits: z.number().int().nonnegative(),
+    reads: z.number().int().nonnegative(),
+    proposed: z.number().int().nonnegative(),
+    kept: z.number().int().nonnegative(),
+});
+/** What a round was planned from, kept with its snapshot. */
+export const Snapshot = z.object({
+    at: z.string(),
+    known: z.array(z.string()),
+    planFile: z.object({ id: z.string(), version: z.number().int() }),
+    model: z.string().nullable(),
+    yieldRows: z.number().int().nonnegative(),
+});
+/** A hit as a source shows it for free: no read has happened. `sources` is every source that returned it. */
+export const HitView = z.object({
+    url: z.string().min(1),
+    title: z.string().optional(),
+    channel: z.string().optional(),
+    /** Seconds, for video and audio. */
+    length: z.number().nonnegative().optional(),
+    /** ISO date, when the source gives one. */
+    date: z.string().optional(),
+    snippet: z.string().optional(),
+    sources: z.array(z.string()).default([]),
+    /** The judge's yes odds by question (serves, each criterion): a hint the brief shows. */
+    odds: z.record(z.string(), z.number()).optional(),
+});
+/** The extractor's word on one read document: how much of the ask it served, what is still missing. */
+export const Verdict = z.object({
+    url: z.string(),
+    quality: z.enum(["rich", "thin", "off", "empty"]),
+    gap: z.string().optional(),
+});
+export const Step = z.enum(["plan", "fetch", "triage", "read", "extract"]);
+/** The edge out of a round. `again` is a new round from `plan`; `back` reruns one step of this round. */
+export const Edge = z.object({
+    next: z.enum(["stop", "again", "back"]),
+    to: Step.optional(),
+    why: z.string(),
+    from: From,
+    by: z.string(),
+});
+export { z };
+//# sourceMappingURL=types.js.map

package/dist/engine/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/engine/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AAG7E,iDAAiD;AACjD,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AAG5C;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC;IAChC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC;IAC3C,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC5B,CAAC,CAAC;AAGH,6DAA6D;AAC7D,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,IAAI,EAAE,OAAO;IACb,sEAAsE;IACtE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACtC,iGAAiG;IACjG,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACzC,mFAAmF;IACnF,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACtC,+GAA+G;IAC/G,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACrC,wDAAwD;IACxD,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACxC,mEAAmE;IACnE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC5B,CAAC,CAAC;AAGH,+GAA+G;AAC/G,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5B,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,sEAAsE;IACtE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,yFAAyF;IACzF,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IAC5C,6GAA6G;IAC7G,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC5C,IAAI,EAAE,IAAI;IACV,iDAAiD;IACjD,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;CACf,CAAC,CAAC;AAGH,0EAA0E;AAC1E,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC5B,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,mCAAmC;IACnC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,mGAAmG;IACnG,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC5C,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAC5C,CAAC,CAAC;AAGH,0GAA0G;AAC1G,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAGrE,+KAA+K;AAC/K,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC;IAChC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACvE,uEAAuE;IACvE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;CACrC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7B,oEAAoE;IACpE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACpC,mCAAmC;IACnC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAClC,kFAAkF;IAClF,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACnC,yHAAyH;IACzH,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;CAClD,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/B,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACpC,qGAAqG;IACrG,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC5B,MAAM,EAAE,MAAM;IACd,kGAAkG;IAClG,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC1B,+GAA+G;IAC/G,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC5C,+GAA+G;IAC/G,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE;IAC1B;;;;OAIG;IACH,IAAI,EAAE,CAAC;SACJ,MAAM,CAAC;QACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;QAClC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;QACrC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;KAC9C,CAAC;SACD,QAAQ,EAAE;CACd,CAAC,CAAC;AAGH,qFAAqF;AACrF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/B,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACzB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE;IACxB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACpC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACrC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACxC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;CACrC,CAAC,CAAC;AAGH,6DAA6D;AAC7D,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/B,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC1B,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC;IACjE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;CAC1C,CAAC,CAAC;AAGH,6GAA6G;AAC7G,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9B,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,oCAAoC;IACpC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IAC3C,2CAA2C;IAC3C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACxC,yFAAyF;IACzF,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAClD,CAAC,CAAC;AAKH,uGAAuG;AACvG,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9B,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACjD,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC3B,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;AAG3E,yGAAyG;AACzG,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3B,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACvC,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE;IACnB,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;CACf,CAAC,CAAC;AAGH,OAAO,EAAE,CAAC,EAAE,CAAC"}