@llm4ts/flow 2.37.0 → 2.39.0

package/dist/GraphRules.js

@@ -0,0 +1,246 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { PlanParseError } from "./FlowError.js";
+import { fingerprintOf } from "./ReviewCache.js";
+/**
+ * The pack's graph vocabulary (ADR 0030). A `## Node:` rule names a sub-file
+ * node kind, an `## Edge:` rule a captured link, a `## Join:` rule a link by
+ * attribute equality across files, a `## Probe:` a flow that must be
+ * connected end to end. `## Survey:` rules are folded in as file-to-file
+ * Edge rules so a pre-0030 pack produces the same graph.
+ */
+export class NodeRule extends Schema.Class("NodeRule")({
+    kind: Schema.String,
+    files: Schema.String,
+    pattern: Schema.String,
+    descriptor: Schema.Boolean,
+    anchor: Schema.optionalKey(Schema.String),
+    /** `attr → named group` copies beyond the default "every group but name". */
+    attrs: Schema.Record(Schema.String, Schema.String)
+}) {
+}
+export class EdgeRule extends Schema.Class("EdgeRule")({
+    kind: Schema.String,
+    files: Schema.String,
+    pattern: Schema.String,
+    fromKind: Schema.String,
+    toKind: Schema.String,
+    /** A folded `## Survey:` rule: the target is the first positional group (or the whole match), as before ADR 0030. */
+    positional: Schema.optionalKey(Schema.Boolean)
+}) {
+}
+export const JoinMatchMode = Schema.Literals(["exact", "url"]);
+export const JoinScope = Schema.Literals(["estate", "app", "file"]);
+export class JoinRule extends Schema.Class("JoinRule")({
+    kind: Schema.String,
+    fromKind: Schema.String,
+    fromAttr: Schema.String,
+    toKind: Schema.String,
+    toAttr: Schema.String,
+    match: JoinMatchMode,
+    scope: JoinScope
+}) {
+}
+export class ProbeRule extends Schema.Class("ProbeRule")({
+    name: Schema.String,
+    from: Schema.String,
+    to: Schema.String
+}) {
+}
+export const emptyGraphRules = {
+    nodes: [],
+    edges: [],
+    joins: [],
+    probes: [],
+    worklistMax: 200,
+    batchSize: 20
+};
+/**
+ * `## Survey:` is an Edge rule between files whose first positional capture
+ * (or the whole match) is the target. The pattern is kept verbatim: rewriting
+ * its first `(` would break `(?:…)`, lookbehinds and escaped parens.
+ */
+export const edgeRuleOfSurvey = (rule) => EdgeRule.make({
+    kind: rule.name,
+    files: rule.files,
+    pattern: rule.unit,
+    fromKind: "file",
+    toKind: "file",
+    positional: true
+});
+const fail = (message) => Effect.fail(PlanParseError.make({ message }));
+const isValidRegExp = (source) => {
+    try {
+        new RegExp(source, "gm");
+        return true;
+    }
+    catch {
+        return false;
+    }
+};
+const fieldsOf = (lines) => Object.fromEntries(lines.flatMap((line) => {
+    const trimmed = line.replace(/^- /, "");
+    const index = trimmed.indexOf(":");
+    return index < 0 ? [] : [[trimmed.slice(0, index).trim(), trimmed.slice(index + 1).trim()]];
+}));
+const yes = (value) => value !== undefined && ["yes", "true", "on"].includes(value.trim().toLowerCase());
+const attrCopies = (value) => Object.fromEntries((value ?? "")
+    .split(",")
+    .map((item) => item.trim())
+    .filter((item) => item.length > 0)
+    .flatMap((item) => {
+    const [attr, group] = item.split("=").map((part) => part.trim());
+    return attr !== undefined && group !== undefined && attr.length > 0 && group.length > 0
+        ? [[attr, group]]
+        : [];
+}));
+const kindAndAttr = (value) => {
+    const dot = (value ?? "").indexOf(".");
+    if (value === undefined || dot <= 0 || dot === value.length - 1) {
+        return undefined;
+    }
+    return [value.slice(0, dot).trim(), value.slice(dot + 1).trim()];
+};
+export const parseGraphRules = (sections, survey) => Effect.gen(function* () {
+    const nodes = [];
+    const edges = survey.map(edgeRuleOfSurvey);
+    const joins = [];
+    const probes = [];
+    let worklistMax = emptyGraphRules.worklistMax;
+    let batchSize = emptyGraphRules.batchSize;
+    for (const section of sections) {
+        const lines = section.split(/\r?\n/);
+        const heading = lines[0]?.trim() ?? "";
+        const fields = fieldsOf(lines.slice(1));
+        if (heading.startsWith("## Node: ")) {
+            const kind = heading.slice("## Node: ".length).trim();
+            if (fields.files === undefined || fields.pattern === undefined) {
+                return yield* fail(`'${heading}' needs 'files:' and 'pattern:'`);
+            }
+            if (!isValidRegExp(fields.pattern)) {
+                return yield* fail(`'${heading}' pattern is not a valid regex: ${fields.pattern}`);
+            }
+            if (!fields.pattern.includes("(?<name>")) {
+                return yield* fail(`'${heading}' pattern needs a (?<name>…) group`);
+            }
+            nodes.push(NodeRule.make({
+                kind,
+                files: fields.files,
+                pattern: fields.pattern,
+                descriptor: yes(fields.descriptor),
+                ...(fields.anchor === undefined ? {} : { anchor: fields.anchor }),
+                attrs: attrCopies(fields.attrs)
+            }));
+        }
+        else if (heading.startsWith("## Edge: ")) {
+            const kind = heading.slice("## Edge: ".length).trim();
+            if (fields.files === undefined || fields.pattern === undefined) {
+                return yield* fail(`'${heading}' needs 'files:' and 'pattern:'`);
+            }
+            if (!isValidRegExp(fields.pattern)) {
+                return yield* fail(`'${heading}' pattern is not a valid regex: ${fields.pattern}`);
+            }
+            if (!fields.pattern.includes("(?<to>")) {
+                return yield* fail(`'${heading}' pattern needs a (?<to>…) group`);
+            }
+            edges.push(EdgeRule.make({
+                kind,
+                files: fields.files,
+                pattern: fields.pattern,
+                fromKind: fields.from ?? "file",
+                toKind: fields.to ?? "file"
+            }));
+        }
+        else if (heading.startsWith("## Join: ")) {
+            const kind = heading.slice("## Join: ".length).trim();
+            const from = kindAndAttr(fields.from);
+            const to = kindAndAttr(fields.to);
+            if (from === undefined || to === undefined) {
+                return yield* fail(`'${heading}' needs 'from: <kind>.<attr>' and 'to: <kind>.<attr>'`);
+            }
+            const match = fields.match === "url" ? "url" : "exact";
+            const scope = fields.scope === "file" || fields.scope === "app" || fields.scope === "estate"
+                ? fields.scope
+                : match === "url"
+                    ? "app"
+                    : "estate";
+            joins.push(JoinRule.make({
+                kind,
+                fromKind: from[0],
+                fromAttr: from[1],
+                toKind: to[0],
+                toAttr: to[1],
+                match,
+                scope
+            }));
+        }
+        else if (heading.startsWith("## Probe: ")) {
+            const name = heading.slice("## Probe: ".length).trim();
+            if (fields.from === undefined || fields.to === undefined) {
+                return yield* fail(`'${heading}' needs 'from:' and 'to:'`);
+            }
+            probes.push(ProbeRule.make({ name, from: fields.from, to: fields.to }));
+        }
+        else if (heading === "## Graph") {
+            const max = Number.parseInt(fields["worklist-max"] ?? "", 10);
+            const batch = Number.parseInt(fields["batch-size"] ?? "", 10);
+            worklistMax = Number.isInteger(max) && max > 0 ? max : worklistMax;
+            batchSize = Number.isInteger(batch) && batch > 0 ? batch : batchSize;
+        }
+    }
+    const nodeKinds = new Set(["file", ...nodes.map((rule) => rule.kind)]);
+    for (const rule of edges) {
+        for (const kind of [rule.fromKind, rule.toKind]) {
+            if (!nodeKinds.has(kind)) {
+                return yield* fail(`'## Edge: ${rule.kind}' names node kind '${kind}' no '## Node:' declares`);
+            }
+        }
+    }
+    for (const rule of joins) {
+        for (const kind of [rule.fromKind, rule.toKind]) {
+            if (!nodeKinds.has(kind)) {
+                return yield* fail(`'## Join: ${rule.kind}' names node kind '${kind}' no '## Node:' declares`);
+            }
+        }
+    }
+    return { nodes, edges, joins, probes, worklistMax, batchSize };
+});
+/** Every edge kind the rules can produce: captured kinds plus join kinds. */
+export const edgeKindsOf = (rules) => new Set([...rules.edges.map((rule) => rule.kind), ...rules.joins.map((rule) => rule.kind)]);
+/** Changes when any rule that shapes the graph changes; probes and budgets do not. */
+export const graphRulesHash = (rules) => fingerprintOf([JSON.stringify({ n: rules.nodes, e: rules.edges, j: rules.joins })]);
+/** `${ctx}/a/b?x=1` → `/a/b`; `salva.do` → `/salva.do`; scheme, host and fragment dropped. */
+export const normalizeUrl = (raw) => {
+    let url = raw.trim();
+    url = url.replace(/^(\$\{[^}]*\}|<%=[^%]*%>)/, "");
+    url = url.replace(/^[a-z][a-z0-9+.-]*:\/\/[^/]+/i, "");
+    url = url.replace(/[?#].*$/, "");
+    if (!url.startsWith("/")) {
+        url = `/${url}`;
+    }
+    if (url.length > 1 && url.endsWith("/")) {
+        url = url.slice(0, -1);
+    }
+    return url;
+};
+/**
+ * Servlet-spec matching of a normalised request against a `url-pattern`:
+ * exact, then a `/*` prefix, then a `*.ext` extension. The extension case
+ * reads the raw pattern, since normalising `*.do` would prefix a slash.
+ */
+export const matchUrl = (request, pattern) => {
+    const trimmed = pattern.trim();
+    if (trimmed.startsWith("*.")) {
+        return request.endsWith(trimmed.slice(1)) ? "extension" : undefined;
+    }
+    const target = normalizeUrl(trimmed);
+    if (request === target) {
+        return "exact";
+    }
+    if (target.endsWith("/*")) {
+        const prefix = target.slice(0, -2);
+        return request === prefix || request.startsWith(`${prefix}/`) ? "prefix" : undefined;
+    }
+    return undefined;
+};
+//# sourceMappingURL=GraphRules.js.map

package/dist/GraphRules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"GraphRules.js","sourceRoot":"","sources":["../src/GraphRules.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAIhD;;;;;;GAMG;AACH,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,KAAK,CAAW,UAAU,CAAC,CAAC;IAC/D,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,UAAU,EAAE,MAAM,CAAC,OAAO;IAC1B,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IACzC,6EAA6E;IAC7E,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;CACnD,CAAC;CAAG;AAEL,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,KAAK,CAAW,UAAU,CAAC,CAAC;IAC/D,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,qHAAqH;IACrH,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;CAC/C,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAA;AAE9D,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;AAGnE,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,KAAK,CAAW,UAAU,CAAC,CAAC;IAC/D,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,KAAK,EAAE,aAAa;IACpB,KAAK,EAAE,SAAS;CACjB,CAAC;CAAG;AAEL,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,KAAK,CAAY,WAAW,CAAC,CAAC;IAClE,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,EAAE,EAAE,MAAM,CAAC,MAAM;CAClB,CAAC;CAAG;AAWL,MAAM,CAAC,MAAM,eAAe,GAAe;IACzC,KAAK,EAAE,EAAE;IACT,KAAK,EAAE,EAAE;IACT,KAAK,EAAE,EAAE;IACT,MAAM,EAAE,EAAE;IACV,WAAW,EAAE,GAAG;IAChB,SAAS,EAAE,EAAE;CACd,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAkB,EAAY,EAAE,CAC/D,QAAQ,CAAC,IAAI,CAAC;IACZ,IAAI,EAAE,IAAI,CAAC,IAAI;IACf,KAAK,EAAE,IAAI,CAAC,KAAK;IACjB,OAAO,EAAE,IAAI,CAAC,IAAI;IAClB,QAAQ,EAAE,MAAM;IAChB,MAAM,EAAE,MAAM;IACd,UAAU,EAAE,IAAI;CACjB,CAAC,CAAA;AAEJ,MAAM,IAAI,GAAG,CAAC,OAAe,EAAwC,EAAE,CACrE,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;AAE/C,MAAM,aAAa,GAAG,CAAC,MAAc,EAAW,EAAE;IAChD,IAAI,CAAC;QACH,IAAI,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;QACxB,OAAO,IAAI,CAAA;IACb,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAA;IACd,CAAC;AACH,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,KAA4B,EAAoC,EAAE,CAClF,MAAM,CAAC,WAAW,CAChB,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;IACrB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IACvC,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IAClC,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AAC7F,CAAC,CAAC,CACH,CAAA;AAEH,MAAM,GAAG,GAAG,CAAC,KAAyB,EAAW,EAAE,CACjD,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAA;AAEnF,MAAM,UAAU,GAAG,CAAC,KAAyB,EAAoC,EAAE,CACjF,MAAM,CAAC,WAAW,CAChB,CAAC,KAAK,IAAI,EAAE,CAAC;KACV,KAAK,CAAC,GAAG,CAAC;KACV,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;KAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;KACjC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;IAChB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;IAChE,OAAO,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QACrF,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACjB,CAAC,CAAC,EAAE,CAAA;AACR,CAAC,CAAC,CACL,CAAA;AAEH,MAAM,WAAW,GAAG,CAAC,KAAyB,EAAyC,EAAE;IACvF,MAAM,GAAG,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACtC,IAAI,KAAK,KAAK,SAAS,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChE,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;AAClE,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,QAA+B,EAC/B,MAAmC,EACQ,EAAE,CAC7C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,MAAM,KAAK,GAAoB,MAAM,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAA;IAC3D,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,MAAM,MAAM,GAAqB,EAAE,CAAA;IACnC,IAAI,WAAW,GAAG,eAAe,CAAC,WAAW,CAAA;IAC7C,IAAI,SAAS,GAAG,eAAe,CAAC,SAAS,CAAA;IACzC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;QACpC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;QACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;QACvC,IAAI,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAA;YACrD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC/D,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,iCAAiC,CAAC,CAAA;YAClE,CAAC;YACD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnC,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,mCAAmC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAA;YACpF,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACzC,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,oCAAoC,CAAC,CAAA;YACrE,CAAC;YACD,KAAK,CAAC,IAAI,CACR,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI;gBACJ,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC;gBAClC,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;gBACjE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC;aAChC,CAAC,CACH,CAAA;QACH,CAAC;aAAM,IAAI,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAA;YACrD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC/D,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,iCAAiC,CAAC,CAAA;YAClE,CAAC;YACD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnC,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,mCAAmC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAA;YACpF,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACvC,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,kCAAkC,CAAC,CAAA;YACnE,CAAC;YACD,KAAK,CAAC,IAAI,CACR,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI;gBACJ,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,QAAQ,EAAE,MAAM,CAAC,IAAI,IAAI,MAAM;gBAC/B,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,MAAM;aAC5B,CAAC,CACH,CAAA;QACH,CAAC;aAAM,IAAI,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAA;YACrD,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;YACrC,MAAM,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACjC,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBAC3C,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,uDAAuD,CAAC,CAAA;YACxF,CAAC;YACD,MAAM,KAAK,GAAkB,MAAM,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAA;YACrE,MAAM,KAAK,GACT,MAAM,CAAC,KAAK,KAAK,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ;gBAC5E,CAAC,CAAC,MAAM,CAAC,KAAK;gBACd,CAAC,CAAC,KAAK,KAAK,KAAK;oBACf,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,QAAQ,CAAA;YAChB,KAAK,CAAC,IAAI,CACR,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI;gBACJ,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;gBACjB,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;gBACjB,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;gBACb,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;gBACb,KAAK;gBACL,KAAK;aACN,CAAC,CACH,CAAA;QACH,CAAC;aAAM,IAAI,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAA;YACtD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;gBACzD,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,2BAA2B,CAAC,CAAA;YAC5D,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;QACzE,CAAC;aAAM,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAA;YAC7D,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAA;YAC7D,WAAW,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAA;YAClE,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;QACtE,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACtE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,OAAO,KAAK,CAAC,CAAC,IAAI,CAChB,aAAa,IAAI,CAAC,IAAI,sBAAsB,IAAI,0BAA0B,CAC3E,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,OAAO,KAAK,CAAC,CAAC,IAAI,CAChB,aAAa,IAAI,CAAC,IAAI,sBAAsB,IAAI,0BAA0B,CAC3E,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,CAAA;AAChE,CAAC,CAAC,CAAA;AAEJ,6EAA6E;AAC7E,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAiB,EAAuB,EAAE,CACpE,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAE7F,sFAAsF;AACtF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAiB,EAAU,EAAE,CAC1D,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;AAErF,8FAA8F;AAC9F,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,GAAW,EAAU,EAAE;IAClD,IAAI,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,CAAA;IACpB,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAA;IAClD,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,+BAA+B,EAAE,EAAE,CAAC,CAAA;IACtD,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;IAChC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACzB,GAAG,GAAG,IAAI,GAAG,EAAE,CAAA;IACjB,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACxC,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACxB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAAe,EAAE,OAAe,EAAyB,EAAE;IAClF,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAA;IAC9B,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAA;IACrE,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,CAAA;IACpC,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACvB,OAAO,OAAO,CAAA;IAChB,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QAClC,OAAO,OAAO,KAAK,MAAM,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAA;IACtF,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA"}

package/dist/GraphWorklist.d.ts

@@ -0,0 +1,64 @@
+import * as Schema from "effect/Schema";
+import type { JsonSchema } from "@llm4ts/core/Models";
+import type { GraphRules } from "./GraphRules.ts";
+import { Fill, GraphEvidence, SurveyEdge, SurveyGraph, type SurveyNode, type Unresolved } from "./Survey.ts";
+/**
+ * The bounded LLM pass of the code graph (ADR 0030 decision 4). The scanner's
+ * `unresolved` list becomes a worklist; the seat may fill an attr of an
+ * existing node or add an edge between two existing nodes, each tied to a
+ * source line that is checked here before anything is merged. It may not
+ * create nodes.
+ */
+export interface WorklistCandidate {
+    readonly id: string;
+    readonly label: string;
+    readonly attrs: Readonly<Record<string, string>>;
+}
+export interface WorklistItem {
+    readonly unresolved: Unresolved;
+    readonly node: SurveyNode;
+    /** Fifteen lines either side of the item's line, numbered. */
+    readonly context: string;
+    readonly candidates: ReadonlyArray<WorklistCandidate>;
+}
+/** Unresolved items, highest-degree node first (hubs resolve first), capped at `max`. */
+export declare const worklistOf: (graph: SurveyGraph, contents: (path: string) => string | undefined, max: number, rules?: GraphRules) => ReadonlyArray<WorklistItem>;
+export declare const worklistBatches: <A>(items: ReadonlyArray<A>, size: number) => ReadonlyArray<ReadonlyArray<A>>;
+export declare const worklistPrompt: (batch: ReadonlyArray<WorklistItem>, guidance: string | undefined) => string;
+declare const WorklistEdge_base: Schema.Class<WorklistEdge, Schema.Struct<{
+    readonly from: Schema.String;
+    readonly to: Schema.String;
+    readonly kind: Schema.String;
+    readonly evidence: typeof GraphEvidence;
+}>, {}>;
+export declare class WorklistEdge extends WorklistEdge_base {
+}
+declare const WorklistAttr_base: Schema.Class<WorklistAttr, Schema.Struct<{
+    readonly node: Schema.String;
+    readonly key: Schema.String;
+    readonly value: Schema.String;
+    readonly evidence: typeof GraphEvidence;
+}>, {}>;
+export declare class WorklistAttr extends WorklistAttr_base {
+}
+declare const WorklistAnswer_base: Schema.Class<WorklistAnswer, Schema.Struct<{
+    readonly edges: Schema.$Array<typeof WorklistEdge>;
+    readonly attrs: Schema.$Array<typeof WorklistAttr>;
+    readonly notes: Schema.$Array<Schema.String>;
+}>, {}>;
+export declare class WorklistAnswer extends WorklistAnswer_base {
+}
+export declare const worklistAnswerJsonSchema: JsonSchema;
+export interface VerifiedWorklist {
+    readonly edges: ReadonlyArray<SurveyEdge>;
+    readonly fills: ReadonlyArray<Fill>;
+    readonly dropped: ReadonlyArray<{
+        readonly what: string;
+        readonly reason: string;
+    }>;
+}
+export declare const verifyWorklistAnswer: (answer: WorklistAnswer, graph: SurveyGraph, contents: (path: string) => string | undefined) => VerifiedWorklist;
+export declare const mergeWorklist: (graph: SurveyGraph, verified: VerifiedWorklist, rules: GraphRules) => SurveyGraph;
+export declare const renderWorklistReport: (items: ReadonlyArray<WorklistItem>, verified: VerifiedWorklist, notes: ReadonlyArray<string>) => string;
+export {};
+//# sourceMappingURL=GraphWorklist.d.ts.map

package/dist/GraphWorklist.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"GraphWorklist.d.ts","sourceRoot":"","sources":["../src/GraphWorklist.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AACrD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,EACL,IAAI,EACJ,aAAa,EACb,UAAU,EACV,WAAW,EAOX,KAAK,UAAU,EACf,KAAK,UAAU,EAChB,MAAM,aAAa,CAAA;AAEpB;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CACjD;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;IAC/B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAA;CACtD;AA8DD,yFAAyF;AACzF,eAAO,MAAM,UAAU,GACrB,OAAO,WAAW,EAClB,UAAU,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,EAC9C,KAAK,MAAM,EACX,QAAQ,UAAU,KACjB,aAAa,CAAC,YAAY,CAmB5B,CAAA;AAED,eAAO,MAAM,eAAe,GAAI,CAAC,EAC/B,OAAO,aAAa,CAAC,CAAC,CAAC,EACvB,MAAM,MAAM,KACX,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAOhC,CAAA;AA6BD,eAAO,MAAM,cAAc,GACzB,OAAO,aAAa,CAAC,YAAY,CAAC,EAClC,UAAU,MAAM,GAAG,SAAS,KAC3B,MAmBW,CAAA;;;;;;;AAEd,qBAAa,YAAa,SAAQ,iBAKhC;CAAG;;;;;;;AAEL,qBAAa,YAAa,SAAQ,iBAKhC;CAAG;;;;;;AAEL,qBAAa,cAAe,SAAQ,mBAIlC;CAAG;AAYL,eAAO,MAAM,wBAAwB,EAAE,UAgCtC,CAAA;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IACnC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CACpF;AAyBD,eAAO,MAAM,oBAAoB,GAC/B,QAAQ,cAAc,EACtB,OAAO,WAAW,EAClB,UAAU,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,KAC7C,gBAmEF,CAAA;AAED,eAAO,MAAM,aAAa,GACxB,OAAO,WAAW,EAClB,UAAU,gBAAgB,EAC1B,OAAO,UAAU,KAChB,WAUA,CAAA;AAIH,eAAO,MAAM,oBAAoB,GAC/B,OAAO,aAAa,CAAC,YAAY,CAAC,EAClC,UAAU,gBAAgB,EAC1B,OAAO,aAAa,CAAC,MAAM,CAAC,KAC3B,MA2BW,CAAA"}

package/dist/GraphWorklist.js

@@ -0,0 +1,283 @@
+import * as Schema from "effect/Schema";
+import { Fill, GraphEvidence, SurveyEdge, SurveyGraph, applyFillsAndJoins, nodeAttrs, nodeId, nodeKind, nodeLabel, nodeLineStart } from "./Survey.js";
+const contextWindow = 15;
+const candidateLimit = 8;
+const tokens = (text) => [
+    ...new Set(text
+        .toLowerCase()
+        .split(/[^a-z0-9]+/)
+        .filter((token) => token.length >= 3))
+];
+const numbered = (text, line) => text
+    .split(/\r?\n/)
+    .map((content, index) => ({ number: index + 1, content }))
+    .filter(({ number }) => Math.abs(number - line) <= contextWindow)
+    .map(({ number, content }) => `${String(number).padStart(4, " ")}  ${content}`)
+    .join("\n");
+/**
+ * Up to eight existing nodes worth naming to the seat: lexical matches on the
+ * item's reference, name and attrs, and for a join hole every node of the
+ * join's target kind (a dynamic URL matches no token of any mapping).
+ */
+const candidatesFor = (graph, item, node, rules) => {
+    const needles = tokens(`${item.reference ?? ""} ${node.name} ${Object.values(nodeAttrs(node)).join(" ")}`);
+    const targetKinds = new Set(item.reason === "missing-attr" || item.reason === "join-from"
+        ? (rules?.joins ?? []).filter((rule) => rule.kind === item.rule).map((rule) => rule.toKind)
+        : []);
+    return graph.nodes
+        .filter((candidate) => nodeId(candidate) !== nodeId(node))
+        .map((candidate) => {
+        const hay = `${nodeId(candidate)} ${nodeLabel(candidate)} ${Object.values(nodeAttrs(candidate)).join(" ")}`.toLowerCase();
+        const lexical = needles.filter((needle) => hay.includes(needle)).length;
+        return { candidate, score: lexical + (targetKinds.has(nodeKind(candidate)) ? 1 : 0) };
+    })
+        .filter(({ score }) => score > 0)
+        .sort((left, right) => right.score - left.score || nodeId(left.candidate).localeCompare(nodeId(right.candidate)))
+        .slice(0, candidateLimit)
+        .map(({ candidate }) => ({
+        id: nodeId(candidate),
+        label: nodeLabel(candidate),
+        attrs: nodeAttrs(candidate)
+    }));
+};
+/** Unresolved items, highest-degree node first (hubs resolve first), capped at `max`. */
+export const worklistOf = (graph, contents, max, rules) => {
+    const degree = (id) => graph.incoming(id).length + graph.outgoing(id).length;
+    // Rank and cut first; reading context and scoring candidates is paid only
+    // for the items actually offered.
+    const ranked = graph.unresolved
+        .flatMap((item) => {
+        const node = graph.node(item.node);
+        return node === undefined ? [] : [{ item, node, degree: degree(item.node) }];
+    })
+        .sort((left, right) => right.degree - left.degree || left.item.node.localeCompare(right.item.node))
+        .slice(0, max);
+    return ranked.map(({ item, node }) => ({
+        unresolved: item,
+        node,
+        context: numbered(contents(item.file) ?? "", item.line),
+        candidates: candidatesFor(graph, item, node, rules)
+    }));
+};
+export const worklistBatches = (items, size) => {
+    const step = Math.max(1, Math.floor(size));
+    const batches = [];
+    for (let index = 0; index < items.length; index += step) {
+        batches.push(items.slice(index, index + step));
+    }
+    return batches;
+};
+const describeCandidate = (candidate) => Object.keys(candidate.attrs).length === 0
+    ? candidate.id
+    : `${candidate.id} ${JSON.stringify(candidate.attrs)}`;
+const describeItem = (item, index) => [
+    `### Item ${index + 1}: ${item.unresolved.reason} — rule '${item.unresolved.rule}'`,
+    `Node: ${nodeId(item.node)} (line ${nodeLineStart(item.node)} of ${item.node.path})`,
+    ...(item.unresolved.reference === undefined
+        ? []
+        : [`Reference the scanner could not resolve: ${item.unresolved.reference}`]),
+    `Candidates (existing nodes with matching tokens): ${item.candidates.length === 0 ? "none" : item.candidates.map(describeCandidate).join("; ")}`,
+    "Source context:",
+    "```",
+    item.context,
+    "```"
+].join("\n");
+const defaultGuidance = [
+    "Regexes miss links the source establishes indirectly: a URL assembled from a variable or",
+    "configuration entry, a target held in a field, wiring declared in a descriptor, a fragment",
+    "pulled in by templating."
+].join("\n");
+export const worklistPrompt = (batch, guidance) => [
+    "You are resolving holes in the dependency graph of a legacy estate. The graph was built",
+    "deterministically from pack rules; each item below is something the scanner could not",
+    "resolve. You have read-only access to the estate.",
+    guidance ?? defaultGuidance,
+    "",
+    "For each item, either resolve it or leave it. You may:",
+    '- fill a missing attribute of an EXISTING node ("attrs": node id, key, value) — e.g. the URL an',
+    "  ajax call actually hits once its prefix variable is known;",
+    '- add an edge between two EXISTING nodes ("edges": from id, to id, a short kebab-case kind).',
+    "Every entry carries evidence: the file, the 1-based line, and the exact statement on that line.",
+    "No evidence, no entry. Use node ids exactly as given; never invent a node, a file or a line.",
+    'External systems, platform services and third-party libraries are not nodes; put them in "notes".',
+    "",
+    ...batch.map(describeItem),
+    "",
+    'Respond only with JSON: {"edges":[{"from","to","kind","evidence":{"file","line","snippet"}}],',
+    '"attrs":[{"node","key","value","evidence":{"file","line","snippet"}}],"notes":[…]}'
+].join("\n");
+export class WorklistEdge extends Schema.Class("WorklistEdge")({
+    from: Schema.String,
+    to: Schema.String,
+    kind: Schema.String,
+    evidence: GraphEvidence
+}) {
+}
+export class WorklistAttr extends Schema.Class("WorklistAttr")({
+    node: Schema.String,
+    key: Schema.String,
+    value: Schema.String,
+    evidence: GraphEvidence
+}) {
+}
+export class WorklistAnswer extends Schema.Class("WorklistAnswer")({
+    edges: Schema.Array(WorklistEdge),
+    attrs: Schema.Array(WorklistAttr),
+    notes: Schema.Array(Schema.String)
+}) {
+}
+const evidenceJsonSchema = {
+    type: "object",
+    properties: {
+        file: { type: "string" },
+        line: { type: "integer" },
+        snippet: { type: "string" }
+    },
+    required: ["file", "line", "snippet"]
+};
+export const worklistAnswerJsonSchema = {
+    type: "object",
+    properties: {
+        edges: {
+            type: "array",
+            items: {
+                type: "object",
+                properties: {
+                    from: { type: "string" },
+                    to: { type: "string" },
+                    kind: { type: "string" },
+                    evidence: evidenceJsonSchema
+                },
+                required: ["from", "to", "kind", "evidence"]
+            }
+        },
+        attrs: {
+            type: "array",
+            items: {
+                type: "object",
+                properties: {
+                    node: { type: "string" },
+                    key: { type: "string" },
+                    value: { type: "string" },
+                    evidence: evidenceJsonSchema
+                },
+                required: ["node", "key", "value", "evidence"]
+            }
+        },
+        notes: { type: "array", items: { type: "string" } }
+    },
+    required: ["edges", "attrs", "notes"]
+};
+/** The 1-based line within ±2 of `line` whose text contains the trimmed snippet, or undefined. */
+const locateSnippet = (text, line, snippet) => {
+    if (text === undefined) {
+        return undefined;
+    }
+    const needle = snippet.trim();
+    if (needle.length === 0) {
+        return undefined;
+    }
+    const lines = text.split(/\r?\n/);
+    for (const delta of [0, -1, 1, -2, 2]) {
+        const candidate = line + delta;
+        if (candidate >= 1 && (lines[candidate - 1] ?? "").includes(needle)) {
+            return candidate;
+        }
+    }
+    return undefined;
+};
+export const verifyWorklistAnswer = (answer, graph, contents) => {
+    const ids = new Set(graph.nodes.map(nodeId));
+    const existing = new Set(graph.edges.map((edge) => `${edge.from}\u0000${edge.to}`));
+    const edges = [];
+    const fills = [];
+    const dropped = [];
+    const verified = (evidence) => {
+        const line = locateSnippet(contents(evidence.file), evidence.line, evidence.snippet);
+        return line === undefined
+            ? `snippet not found within two lines of line ${evidence.line}`
+            : GraphEvidence.make({ file: evidence.file, line, snippet: evidence.snippet.trim() });
+    };
+    for (const edge of answer.edges) {
+        const what = `${edge.from} -> ${edge.to} (${edge.kind})`;
+        const unknown = [edge.from, edge.to].find((id) => !ids.has(id));
+        if (unknown !== undefined) {
+            dropped.push({ what, reason: `unknown endpoint: ${unknown}` });
+            continue;
+        }
+        if (edge.from === edge.to) {
+            dropped.push({ what, reason: "self loop" });
+            continue;
+        }
+        if (existing.has(`${edge.from}\u0000${edge.to}`)) {
+            dropped.push({ what, reason: "duplicate of an existing edge" });
+            continue;
+        }
+        const evidence = verified(edge.evidence);
+        if (typeof evidence === "string") {
+            dropped.push({ what, reason: evidence });
+            continue;
+        }
+        existing.add(`${edge.from}\u0000${edge.to}`);
+        edges.push(SurveyEdge.make({
+            from: edge.from,
+            to: edge.to,
+            kind: edge.kind.replace(/^llm-/, ""),
+            origin: "llm",
+            confidence: "inferred",
+            rule: "llm",
+            mechanism: "llm",
+            evidence
+        }));
+    }
+    const nodesById = new Map(graph.nodes.map((node) => [nodeId(node), node]));
+    for (const attr of answer.attrs) {
+        const what = `${attr.node}.${attr.key} = ${attr.value}`;
+        const node = nodesById.get(attr.node);
+        if (node === undefined) {
+            dropped.push({ what, reason: `unknown node: ${attr.node}` });
+            continue;
+        }
+        // The seat fills holes; it never overrides what the scanner read.
+        if (nodeAttrs(node)[attr.key] !== undefined) {
+            dropped.push({ what, reason: `attr '${attr.key}' already set by the scanner` });
+            continue;
+        }
+        const evidence = verified(attr.evidence);
+        if (typeof evidence === "string") {
+            dropped.push({ what, reason: evidence });
+            continue;
+        }
+        fills.push(Fill.make({ node: attr.node, key: attr.key, value: attr.value, evidence }));
+    }
+    return { edges, fills, dropped };
+};
+export const mergeWorklist = (graph, verified, rules) => applyFillsAndJoins(SurveyGraph.make({
+    nodes: graph.nodes,
+    edges: [...graph.edges, ...verified.edges],
+    unresolved: graph.unresolved,
+    fills: []
+}), [...graph.fills, ...verified.fills], rules);
+const cell = (text) => text.split(/\r?\n/).join(" ").replaceAll("|", "\\|");
+export const renderWorklistReport = (items, verified, notes) => [
+    "# Graph refine (LLM worklist)",
+    "",
+    `${items.length} unresolved item(s) offered; ${verified.edges.length} edge(s) and ${verified.fills.length} attr fill(s) accepted; ${verified.dropped.length} dropped.`,
+    "Accepted entries carry the source line that establishes them and are re-verified on every rebuild.",
+    "",
+    "## Accepted",
+    "",
+    "| What | Evidence |",
+    "| ---- | -------- |",
+    ...verified.edges.map((edge) => `| ${cell(`${edge.from} → ${edge.to} (${edge.kind})`)} | ${cell(`${edge.evidence?.file}:${edge.evidence?.line} ${edge.evidence?.snippet ?? ""}`)} |`),
+    ...verified.fills.map((fill) => `| ${cell(`${fill.node}.${fill.key} = ${fill.value}`)} | ${cell(`${fill.evidence.file}:${fill.evidence.line} ${fill.evidence.snippet}`)} |`),
+    "",
+    "## Dropped",
+    "",
+    "| What | Reason |",
+    "| ---- | ------ |",
+    ...verified.dropped.map((drop) => `| ${cell(drop.what)} | ${cell(drop.reason)} |`),
+    "",
+    ...(notes.length === 0 ? [] : ["## Notes", "", ...notes.map((note) => `- ${cell(note)}`), ""])
+].join("\n");
+//# sourceMappingURL=GraphWorklist.js.map

package/dist/GraphWorklist.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"GraphWorklist.js","sourceRoot":"","sources":["../src/GraphWorklist.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,EACL,IAAI,EACJ,aAAa,EACb,UAAU,EACV,WAAW,EACX,kBAAkB,EAClB,SAAS,EACT,MAAM,EACN,QAAQ,EACR,SAAS,EACT,aAAa,EAGd,MAAM,aAAa,CAAA;AAuBpB,MAAM,aAAa,GAAG,EAAE,CAAA;AACxB,MAAM,cAAc,GAAG,CAAC,CAAA;AAExB,MAAM,MAAM,GAAG,CAAC,IAAY,EAAyB,EAAE,CAAC;IACtD,GAAG,IAAI,GAAG,CACR,IAAI;SACD,WAAW,EAAE;SACb,KAAK,CAAC,YAAY,CAAC;SACnB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CACxC;CACF,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,IAAY,EAAU,EAAE,CACtD,IAAI;KACD,KAAK,CAAC,OAAO,CAAC;KACd,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;KACzD,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,aAAa,CAAC;KAChE,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,OAAO,EAAE,CAAC;KAC9E,IAAI,CAAC,IAAI,CAAC,CAAA;AAEf;;;;GAIG;AACH,MAAM,aAAa,GAAG,CACpB,KAAkB,EAClB,IAAgB,EAChB,IAAgB,EAChB,KAA6B,EACK,EAAE;IACpC,MAAM,OAAO,GAAG,MAAM,CACpB,GAAG,IAAI,CAAC,SAAS,IAAI,EAAE,IAAI,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CACnF,CAAA;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,IAAI,CAAC,MAAM,KAAK,cAAc,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW;QAC3D,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;QAC3F,CAAC,CAAC,EAAE,CACP,CAAA;IACD,OAAO,KAAK,CAAC,KAAK;SACf,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;SACzD,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;QACjB,MAAM,GAAG,GACP,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,EAAE,CAAA;QAC/G,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAA;QACvE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IACvF,CAAC,CAAC;SACD,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC;SAChC,IAAI,CACH,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAC5F;SACA,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC;SACxB,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;QACvB,EAAE,EAAE,MAAM,CAAC,SAAS,CAAC;QACrB,KAAK,EAAE,SAAS,CAAC,SAAS,CAAC;QAC3B,KAAK,EAAE,SAAS,CAAC,SAAS,CAAC;KAC5B,CAAC,CAAC,CAAA;AACP,CAAC,CAAA;AAED,yFAAyF;AACzF,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,KAAkB,EAClB,QAA8C,EAC9C,GAAW,EACX,KAAkB,EACW,EAAE;IAC/B,MAAM,MAAM,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,MAAM,CAAA;IAC5F,0EAA0E;IAC1E,kCAAkC;IAClC,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU;SAC5B,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAChB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAClC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC9E,CAAC,CAAC;SACD,IAAI,CACH,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAC7F;SACA,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IAChB,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACrC,UAAU,EAAE,IAAI;QAChB,IAAI;QACJ,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC;QACvD,UAAU,EAAE,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC;KACpD,CAAC,CAAC,CAAA;AACL,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,KAAuB,EACvB,IAAY,EACqB,EAAE;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IAC1C,MAAM,OAAO,GAA4B,EAAE,CAAA;IAC3C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,IAAI,EAAE,CAAC;QACxD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,CAAA;IAChD,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AAED,MAAM,iBAAiB,GAAG,CAAC,SAA4B,EAAU,EAAE,CACjE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;IACvC,CAAC,CAAC,SAAS,CAAC,EAAE;IACd,CAAC,CAAC,GAAG,SAAS,CAAC,EAAE,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAA;AAE1D,MAAM,YAAY,GAAG,CAAC,IAAkB,EAAE,KAAa,EAAU,EAAE,CACjE;IACE,YAAY,KAAK,GAAG,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,YAAY,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG;IACnF,SAAS,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG;IACpF,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,KAAK,SAAS;QACzC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAC,4CAA4C,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC,CAAC;IAC9E,qDACE,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAC1F,EAAE;IACF,iBAAiB;IACjB,KAAK;IACL,IAAI,CAAC,OAAO;IACZ,KAAK;CACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAEd,MAAM,eAAe,GAAG;IACtB,0FAA0F;IAC1F,4FAA4F;IAC5F,0BAA0B;CAC3B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAEZ,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAAkC,EAClC,QAA4B,EACpB,EAAE,CACV;IACE,yFAAyF;IACzF,uFAAuF;IACvF,mDAAmD;IACnD,QAAQ,IAAI,eAAe;IAC3B,EAAE;IACF,wDAAwD;IACxD,iGAAiG;IACjG,8DAA8D;IAC9D,8FAA8F;IAC9F,iGAAiG;IACjG,8FAA8F;IAC9F,mGAAmG;IACnG,EAAE;IACF,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC;IAC1B,EAAE;IACF,+FAA+F;IAC/F,oFAAoF;CACrF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAEd,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,KAAK,CAAe,cAAc,CAAC,CAAC;IAC3E,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,QAAQ,EAAE,aAAa;CACxB,CAAC;CAAG;AAEL,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,KAAK,CAAe,cAAc,CAAC,CAAC;IAC3E,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,GAAG,EAAE,MAAM,CAAC,MAAM;IAClB,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,QAAQ,EAAE,aAAa;CACxB,CAAC;CAAG;AAEL,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,KAAK,CAAiB,gBAAgB,CAAC,CAAC;IACjF,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC;IACjC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC;IACjC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;CACnC,CAAC;CAAG;AAEL,MAAM,kBAAkB,GAAe;IACrC,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QACxB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QACzB,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;KAC5B;IACD,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC;CACtC,CAAA;AAED,MAAM,CAAC,MAAM,wBAAwB,GAAe;IAClD,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACxB,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACtB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACxB,QAAQ,EAAE,kBAAkB;iBAC7B;gBACD,QAAQ,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC;aAC7C;SACF;QACD,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACxB,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACvB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzB,QAAQ,EAAE,kBAAkB;iBAC7B;gBACD,QAAQ,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;aAC/C;SACF;QACD,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACpD;IACD,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC;CACtC,CAAA;AAQD,kGAAkG;AAClG,MAAM,aAAa,GAAG,CACpB,IAAwB,EACxB,IAAY,EACZ,OAAe,EACK,EAAE;IACtB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,CAAA;IAC7B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACjC,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,IAAI,GAAG,KAAK,CAAA;QAC9B,IAAI,SAAS,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACpE,OAAO,SAAS,CAAA;QAClB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,MAAsB,EACtB,KAAkB,EAClB,QAA8C,EAC5B,EAAE;IACpB,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;IAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IACnF,MAAM,KAAK,GAAsB,EAAE,CAAA;IACnC,MAAM,KAAK,GAAgB,EAAE,CAAA;IAC7B,MAAM,OAAO,GAA4C,EAAE,CAAA;IAC3D,MAAM,QAAQ,GAAG,CAAC,QAAuB,EAA0B,EAAE;QACnE,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;QACpF,OAAO,IAAI,KAAK,SAAS;YACvB,CAAC,CAAC,8CAA8C,QAAQ,CAAC,IAAI,EAAE;YAC/D,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;IACzF,CAAC,CAAA;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,GAAG,CAAA;QACxD,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;QAC/D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB,OAAO,EAAE,EAAE,CAAC,CAAA;YAC9D,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;YAC1B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAA;YAC3C,SAAQ;QACV,CAAC;QACD,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;YACjD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,+BAA+B,EAAE,CAAC,CAAA;YAC/D,SAAQ;QACV,CAAC;QACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QACxC,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAA;YACxC,SAAQ;QACV,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;QAC5C,KAAK,CAAC,IAAI,CACR,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;YACpC,MAAM,EAAE,KAAK;YACb,UAAU,EAAE,UAAU;YACtB,IAAI,EAAE,KAAK;YACX,SAAS,EAAE,KAAK;YAChB,QAAQ;SACT,CAAC,CACH,CAAA;IACH,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAC1E,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,KAAK,EAAE,CAAA;QACvD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAiB,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;YAC5D,SAAQ;QACV,CAAC;QACD,kEAAkE;QAClE,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;YAC5C,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,IAAI,CAAC,GAAG,8BAA8B,EAAE,CAAC,CAAA;YAC/E,SAAQ;QACV,CAAC;QACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QACxC,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAA;YACxC,SAAQ;QACV,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;IACxF,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;AAClC,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,KAAkB,EAClB,QAA0B,EAC1B,KAAiB,EACJ,EAAE,CACf,kBAAkB,CAChB,WAAW,CAAC,IAAI,CAAC;IACf,KAAK,EAAE,KAAK,CAAC,KAAK;IAClB,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC;IAC1C,UAAU,EAAE,KAAK,CAAC,UAAU;IAC5B,KAAK,EAAE,EAAE;CACV,CAAC,EACF,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,EACnC,KAAK,CACN,CAAA;AAEH,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;AAE3F,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAAkC,EAClC,QAA0B,EAC1B,KAA4B,EACpB,EAAE,CACV;IACE,+BAA+B;IAC/B,EAAE;IACF,GAAG,KAAK,CAAC,MAAM,gCAAgC,QAAQ,CAAC,KAAK,CAAC,MAAM,gBAAgB,QAAQ,CAAC,KAAK,CAAC,MAAM,2BAA2B,QAAQ,CAAC,OAAO,CAAC,MAAM,WAAW;IACtK,oGAAoG;IACpG,EAAE;IACF,aAAa;IACb,EAAE;IACF,qBAAqB;IACrB,qBAAqB;IACrB,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CACnB,CAAC,IAAI,EAAE,EAAE,CACP,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE,EAAE,CAAC,IAAI,CACvJ;IACD,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CACnB,CAAC,IAAI,EAAE,EAAE,CACP,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,CAC9I;IACD,EAAE;IACF,YAAY;IACZ,EAAE;IACF,mBAAmB;IACnB,mBAAmB;IACnB,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;IAClF,EAAE;IACF,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;CAC/F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA"}