@aroman22/codegraph-vba-darwin-arm64 1.16.0 → 1.17.1

package/lib/dist/graph/behavior-evidence.js

@@ -0,0 +1,589 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.BEHAVIOR_EVIDENCE_NOTES = exports.BEHAVIOR_EFFECT_VOCABULARY = void 0;
+exports.buildBehaviorEvidence = buildBehaviorEvidence;
+/**
+ * Behavior evidence — the bounded, typed answer to "what does this Access
+ * control actually do?", assembled from facts that are already indexed.
+ *
+ * Issue #299. Every other consumer surface returns prose keyed on a fuzzy
+ * symbol name; a machine consumer (Dysflow's behavior map) needs a typed
+ * array with deterministic call paths and an explicit account of what could
+ * NOT be answered. That is why this is its own operation rather than another
+ * mode of `codegraph_node` / `codegraph_impact`: those return agent-facing
+ * text and would have to grow a second, contradictory output shape.
+ *
+ * It is READ-ONLY. Nothing here parses source, opens Access, writes to the
+ * index or triggers a re-index.
+ *
+ * ## The graph contract it reads
+ *
+ * - An `event-handler` edge is stored HANDLER -> control/layout, for the
+ *   `<Control>_<Event>` code-behind convention AND for `=Expression()`
+ *   wiring. Reaching a handler from its control means following it backwards.
+ * - A call is a `calls` edge, or a `references` edge landing on a procedure:
+ *   VBA's statement-form Sub call (`SaveRecord` on a line of its own) is
+ *   ambiguous at parse time, so it stays `unqualified-ident` (#265) and
+ *   resolves to `references`, not `calls`.
+ * - Data access is a `references` edge onto a table/query node, carrying
+ *   `metadata.access` ('read' | 'write') when the extractor could tell. Those
+ *   edges are sourced from the MODULE node by design (see
+ *   `VbaExtractionContext.emitReference`), so they are attributed to a
+ *   procedure by the edge's LINE falling inside that procedure's range — a
+ *   fact the index already stores, not a name guess.
+ *
+ * ## What it deliberately does not do
+ *
+ * No effect is inferred. An empty `effects` or `tables` list means the index
+ * holds no such fact for that path — never that the code has no runtime
+ * effect. Dynamic dispatch, late binding and anything the extractor declined
+ * are reported in `context.unresolved` instead of being silently dropped.
+ */
+const path = __importStar(require("path"));
+/**
+ * The closed vocabulary of `effects` strings. Anything outside this list is a
+ * bug, not a new fact.
+ *
+ * - `read:<name>` / `write:<name>` — a data reference the extractor typed.
+ * - `data-access:<name>` — a data reference whose direction is unknown.
+ *   NOT a read and NOT a write; it means the index cannot say.
+ * - `opens-form:<Name>` / `opens-report:<Name>` — an Access object opened.
+ * - `raises-event:<Name>` — an event raised from the path.
+ */
+exports.BEHAVIOR_EFFECT_VOCABULARY = [
+    'read:<name>',
+    'write:<name>',
+    'data-access:<name>',
+    'opens-form:<Name>',
+    'opens-report:<Name>',
+    'raises-event:<Name>',
+];
+/**
+ * The closed vocabulary of `context.notes`.
+ *
+ * - `MISSING_TARGET_SELECTOR` — neither `nodeId` nor `name` was given.
+ * - `TARGET_NOT_FOUND` — nothing in the index matches. A lookup miss, not
+ *   proof the control has no behavior.
+ * - `AMBIGUOUS_TARGET` — the name matches several nodes; see
+ *   `context.ambiguous`. No evidence is returned, and nothing is guessed.
+ * - `NO_HANDLER_BOUND` — the target exists but no handler is wired to it in
+ *   the index. Access macros and `[Event Procedure]` entries with no
+ *   code-behind land here.
+ * - `STATIC_SOURCE_EVIDENCE` — always present. The answer comes from indexed
+ *   exported source: it does not prove the code ran, and it says nothing
+ *   about whether the `.accdb` binary matches the export.
+ */
+exports.BEHAVIOR_EVIDENCE_NOTES = [
+    'MISSING_TARGET_SELECTOR',
+    'TARGET_NOT_FOUND',
+    'AMBIGUOUS_TARGET',
+    'NO_HANDLER_BOUND',
+    'STATIC_SOURCE_EVIDENCE',
+];
+const UI_NODE_KINDS = new Set([
+    'form-instance-control',
+    'form-layout',
+    'report-layout',
+]);
+const LAYOUT_NODE_KINDS = new Set(['form-layout', 'report-layout']);
+const PROCEDURE_KINDS = new Set(['function', 'method']);
+/**
+ * Node kinds a data reference can land on. An Access table has no kind of its
+ * own — it is a placeholder `class` node, the same shape a VBA type gets —
+ * which is why {@link isDataReference} exists.
+ */
+const DATA_TARGET_KINDS = new Set(['class', 'query']);
+/**
+ * The `metadata.synthesizedBy` channels that mean "this names a table or a
+ * saved query".
+ *
+ * An Access table is modelled as a placeholder `class` node, so the target's
+ * kind alone cannot tell a table apart from an ordinary type. Without this
+ * allowlist a `Dim rs As DAO.Recordset` — a TYPE reference emitted by
+ * `vba-name-resolution` — would be reported as a table the handler touches,
+ * which is exactly the kind of guessed evidence this contract forbids.
+ */
+const DATA_REFERENCE_CHANNELS = new Set([
+    'vba-sql-table',
+    'vba-record-source',
+    'vba-row-source',
+    'vba-row-source-dynamic',
+    'vba-control-source',
+    'vba-source-object',
+    'vba-query-name',
+    'vba-opens-query',
+    'vba-opens-table',
+    'sql-query-table',
+]);
+/**
+ * Is this `references` edge a data access, as opposed to a type, name or
+ * binding reference that happens to land on the same node shape?
+ */
+function isDataReference(edge, target) {
+    if (target.kind === 'query')
+        return true;
+    const access = edge.metadata?.access;
+    if (access === 'read' || access === 'write')
+        return true;
+    const via = metadataString(edge, 'synthesizedBy');
+    return via !== null && DATA_REFERENCE_CHANNELS.has(via);
+}
+const DEFAULT_MAX_CALL_DEPTH = 5;
+const DEFAULT_MAX_RESULTS = 50;
+function clamp(value, min, max) {
+    return Math.min(max, Math.max(min, value));
+}
+function locationOf(filePath, line) {
+    if (!filePath)
+        return 'unknown';
+    return line ? `${filePath}:${line}` : filePath;
+}
+function metadataString(edge, key) {
+    const value = edge.metadata?.[key];
+    return typeof value === 'string' ? value : null;
+}
+/**
+ * Assembles behavior evidence for one control, layout or handler.
+ *
+ * Pure read path over {@link QueryBuilder}: no new SQL, no second traversal
+ * implementation, no writes.
+ */
+function buildBehaviorEvidence(queries, request) {
+    const maxCallDepth = clamp(Math.trunc(request.maxCallDepth ?? DEFAULT_MAX_CALL_DEPTH), 1, 20);
+    const maxResults = clamp(Math.trunc(request.maxResults ?? DEFAULT_MAX_RESULTS), 1, 500);
+    const result = {
+        target: null,
+        evidence: [],
+        context: {
+            handlers: [],
+            data: [],
+            unresolved: [],
+            ambiguous: [],
+            truncated: { callDepth: false, results: false, cycle: false },
+            notes: ['STATIC_SOURCE_EVIDENCE'],
+        },
+    };
+    const indexedLayouts = (node) => {
+        const layouts = new Map();
+        const collect = (bound) => {
+            if (LAYOUT_NODE_KINDS.has(bound.kind))
+                layouts.set(bound.id, bound);
+            // Synthesized report section controls can lack a contains edge. Their
+            // indexed layout file still identifies the owner without guessing from .cls.
+            if (bound.kind === 'form-instance-control') {
+                for (const owner of queries.getNodesByFile(bound.filePath)) {
+                    if (LAYOUT_NODE_KINDS.has(owner.kind))
+                        layouts.set(owner.id, owner);
+                }
+            }
+            for (const edge of queries.getIncomingEdges(bound.id, ['contains'])) {
+                const owner = queries.getNodeById(edge.source);
+                if (owner && LAYOUT_NODE_KINDS.has(owner.kind))
+                    layouts.set(owner.id, owner);
+            }
+        };
+        collect(node);
+        if (PROCEDURE_KINDS.has(node.kind)) {
+            for (const edge of queries.getOutgoingEdges(node.id, ['event-handler'])) {
+                const bound = queries.getNodeById(edge.target);
+                if (bound)
+                    collect(bound);
+            }
+        }
+        return [...layouts.values()];
+    };
+    const matchesLayout = (node, wanted) => node.name.toLowerCase() === wanted ||
+        path.basename(node.filePath ?? '').toLowerCase() === wanted;
+    const owningLayout = (node) => {
+        const layouts = indexedLayouts(node);
+        const scoped = request.layout
+            ? layouts.filter(layout => matchesLayout(layout, request.layout.toLowerCase()))
+            : layouts;
+        if (scoped.length === 1)
+            return scoped[0].name;
+        if (layouts.length > 0)
+            return null; // Never invent one owner for shared expressions.
+        const base = path.basename(node.filePath ?? '');
+        const stripped = base.replace(/\.(form|report)\.txt$/i, '');
+        return stripped === base ? null : stripped;
+    };
+    // ---- 1. Resolve the target ------------------------------------------
+    let target = null;
+    if (request.nodeId) {
+        target = queries.getNodeById(request.nodeId);
+        if (!target)
+            result.context.notes.push('TARGET_NOT_FOUND');
+    }
+    else if (request.name) {
+        const wanted = request.name.toLowerCase();
+        const candidates = queries
+            .getNodesByLowerName(wanted)
+            .filter((node) => UI_NODE_KINDS.has(node.kind) || PROCEDURE_KINDS.has(node.kind));
+        const scoped = request.layout
+            ? candidates.filter((node) => {
+                const wantedLayout = request.layout.toLowerCase();
+                const layouts = indexedLayouts(node);
+                if (layouts.length > 0)
+                    return layouts.some(layout => matchesLayout(layout, wantedLayout));
+                const layoutName = owningLayout(node);
+                const base = path.basename(node.filePath ?? '');
+                return (layoutName?.toLowerCase() === wantedLayout ||
+                    base.toLowerCase() === wantedLayout ||
+                    base.toLowerCase().startsWith(`${wantedLayout}.`));
+            })
+            : candidates;
+        if (scoped.length === 0) {
+            result.context.notes.push('TARGET_NOT_FOUND');
+        }
+        else if (scoped.length > 1) {
+            result.context.notes.push('AMBIGUOUS_TARGET');
+            result.context.ambiguous.push({
+                name: request.name,
+                matches: scoped
+                    .map((node) => ({
+                    id: node.id,
+                    kind: node.kind,
+                    filePath: node.filePath,
+                    layout: owningLayout(node),
+                }))
+                    .sort((a, b) => a.id.localeCompare(b.id)),
+            });
+            return result;
+        }
+        else {
+            target = scoped[0];
+        }
+    }
+    else {
+        result.context.notes.push('MISSING_TARGET_SELECTOR');
+    }
+    if (!target)
+        return result;
+    result.target = {
+        id: target.id,
+        name: target.name,
+        kind: target.kind,
+        filePath: target.filePath,
+        layout: owningLayout(target),
+    };
+    const handlers = [];
+    if (UI_NODE_KINDS.has(target.kind)) {
+        const bindings = queries
+            .getIncomingEdges(target.id, ['event-handler'])
+            .sort((a, b) => a.source.localeCompare(b.source));
+        for (const edge of bindings) {
+            const handlerNode = queries.getNodeById(edge.source);
+            if (!handlerNode)
+                continue;
+            const wiredBy = metadataString(edge, 'synthesizedBy');
+            const scope = metadataString(edge, 'scope') === 'form'
+                ? 'form'
+                : wiredBy === 'vba-expression-handler'
+                    ? 'expression'
+                    : 'control';
+            handlers.push({
+                node: handlerNode,
+                context: {
+                    handler: handlerNode.name,
+                    handlerId: handlerNode.id,
+                    event: metadataString(edge, 'eventName'),
+                    scope,
+                    provenance: edge.provenance ?? 'unknown',
+                    location: locationOf(handlerNode.filePath, handlerNode.startLine),
+                    wiredBy,
+                },
+            });
+        }
+    }
+    else if (PROCEDURE_KINDS.has(target.kind)) {
+        // The request named the procedure itself. Report the binding it carries,
+        // if any, instead of pretending it was reached through a control.
+        const binding = queries
+            .getOutgoingEdges(target.id, ['event-handler'])
+            .filter(edge => {
+            if (!request.layout)
+                return true;
+            const bound = queries.getNodeById(edge.target);
+            return bound !== null && bound !== undefined && indexedLayouts(bound)
+                .some(layout => matchesLayout(layout, request.layout.toLowerCase()));
+        })
+            .sort((a, b) => a.target.localeCompare(b.target))[0];
+        const wiredBy = binding ? metadataString(binding, 'synthesizedBy') : null;
+        handlers.push({
+            node: target,
+            context: {
+                handler: target.name,
+                handlerId: target.id,
+                event: binding ? metadataString(binding, 'eventName') : null,
+                scope: binding
+                    ? metadataString(binding, 'scope') === 'form'
+                        ? 'form'
+                        : wiredBy === 'vba-expression-handler'
+                            ? 'expression'
+                            : 'control'
+                    : 'direct',
+                provenance: binding?.provenance ?? 'unknown',
+                location: locationOf(target.filePath, target.startLine),
+                wiredBy,
+            },
+        });
+    }
+    if (handlers.length === 0) {
+        result.context.notes.push('NO_HANDLER_BOUND');
+        return result;
+    }
+    result.context.handlers = handlers.map((h) => h.context);
+    // ---- 3. Walk each handler's call paths ------------------------------
+    const calleesOf = (nodeId) => {
+        const out = [];
+        const seen = new Set();
+        const edges = queries
+            .getOutgoingEdges(nodeId, ['calls', 'references'])
+            .sort((a, b) => a.target.localeCompare(b.target));
+        for (const edge of edges) {
+            if (seen.has(edge.target))
+                continue;
+            const node = queries.getNodeById(edge.target);
+            if (!node || !PROCEDURE_KINDS.has(node.kind))
+                continue;
+            seen.add(edge.target);
+            out.push(node);
+        }
+        return out;
+    };
+    // Stream paths: output deduplication must never permit exponential work.
+    // One extra result's depth allows exact-fit requests to finish honestly.
+    let remainingSteps = (maxResults + 1) * maxCallDepth;
+    function* walk(chain) {
+        if (remainingSteps === 0) {
+            result.context.truncated.results = true;
+            return;
+        }
+        remainingSteps--;
+        const head = chain[chain.length - 1];
+        if (chain.length >= maxCallDepth) {
+            if (calleesOf(head.id).length > 0)
+                result.context.truncated.callDepth = true;
+            yield chain;
+            return;
+        }
+        const callees = calleesOf(head.id).filter((node) => {
+            if (chain.some((step) => step.id === node.id)) {
+                result.context.truncated.cycle = true;
+                return false;
+            }
+            return true;
+        });
+        if (callees.length === 0) {
+            yield chain;
+            return;
+        }
+        for (const callee of callees) {
+            yield* walk([...chain, callee]);
+            if (result.context.truncated.results)
+                return;
+        }
+    }
+    function* paths() {
+        for (const handler of handlers) {
+            yield* walk([handler.node]);
+            if (result.context.truncated.results)
+                return;
+        }
+    }
+    // ---- 4. Attribute data references and effects to each procedure -----
+    const dataCache = new Map();
+    const dataFor = (procedure) => {
+        const cached = dataCache.get(procedure.id);
+        if (cached)
+            return cached;
+        const collected = [];
+        const record = (edge, node, attributedBy) => {
+            const access = edge.metadata?.access;
+            const direction = access === 'read' || access === 'write' ? access : 'unknown';
+            collected.push({
+                procedure: procedure.name,
+                name: node.name,
+                targetKind: node.kind,
+                access: direction,
+                via: metadataString(edge, 'synthesizedBy'),
+                attributedBy,
+                location: locationOf(procedure.filePath, edge.line),
+            });
+            // A saved query is a stored fact about the tables it reads; follow it
+            // one hop so a procedure that only names the query still reports them.
+            if (node.kind === 'query') {
+                for (const tableEdge of queries
+                    .getOutgoingEdges(node.id, ['references'])
+                    .sort((a, b) => a.target.localeCompare(b.target))) {
+                    const table = queries.getNodeById(tableEdge.target);
+                    if (!table || !DATA_TARGET_KINDS.has(table.kind) || table.kind === 'query')
+                        continue;
+                    collected.push({
+                        procedure: procedure.name,
+                        name: table.name,
+                        targetKind: table.kind,
+                        access: direction,
+                        via: metadataString(tableEdge, 'synthesizedBy'),
+                        throughQuery: node.name,
+                        attributedBy,
+                        location: locationOf(node.filePath, tableEdge.line),
+                    });
+                }
+            }
+        };
+        for (const edge of queries
+            .getOutgoingEdges(procedure.id, ['references'])
+            .sort((a, b) => a.target.localeCompare(b.target))) {
+            const node = queries.getNodeById(edge.target);
+            if (!node || !DATA_TARGET_KINDS.has(node.kind))
+                continue;
+            if (!isDataReference(edge, node))
+                continue;
+            record(edge, node, 'edge-source');
+        }
+        // Module-scoped data references, attributed by source line. See the file
+        // header: `emitReference` always sources these from the module node.
+        for (const container of queries.getIncomingEdges(procedure.id, ['contains'])) {
+            const owner = queries.getNodeById(container.source);
+            if (!owner || (owner.kind !== 'module' && owner.kind !== 'class'))
+                continue;
+            for (const edge of queries
+                .getOutgoingEdges(owner.id, ['references'])
+                .sort((a, b) => a.target.localeCompare(b.target))) {
+                if (edge.line === undefined ||
+                    edge.line < procedure.startLine ||
+                    edge.line > procedure.endLine) {
+                    continue;
+                }
+                const node = queries.getNodeById(edge.target);
+                if (!node || !DATA_TARGET_KINDS.has(node.kind))
+                    continue;
+                if (!isDataReference(edge, node))
+                    continue;
+                record(edge, node, 'source-line');
+            }
+        }
+        dataCache.set(procedure.id, collected);
+        return collected;
+    };
+    const effectCache = new Map();
+    const objectEffectsFor = (procedure) => {
+        const cached = effectCache.get(procedure.id);
+        if (cached)
+            return cached;
+        const effects = [];
+        for (const edge of queries
+            .getOutgoingEdges(procedure.id, ['opens-form', 'opens-report', 'raises-event'])
+            .sort((a, b) => a.target.localeCompare(b.target))) {
+            const node = queries.getNodeById(edge.target);
+            if (!node)
+                continue;
+            effects.push(`${edge.kind}:${node.name}`);
+        }
+        effectCache.set(procedure.id, effects);
+        return effects;
+    };
+    // ---- 5. Build the compatibility payload -----------------------------
+    const seenEntries = new Set();
+    const seenData = new Set();
+    const reported = new Map();
+    for (const chain of paths()) {
+        const chainData = [];
+        const tables = new Set();
+        const effects = new Set();
+        for (const step of chain) {
+            for (const item of dataFor(step)) {
+                chainData.push(item);
+                if (item.targetKind !== 'query')
+                    tables.add(item.name);
+                effects.add(item.access === 'unknown'
+                    ? `data-access:${item.name}`
+                    : `${item.access}:${item.name}`);
+            }
+            for (const effect of objectEffectsFor(step))
+                effects.add(effect);
+        }
+        const entry = {
+            handler: chain[0].name,
+            callPath: chain.map((step) => step.name),
+            tables: [...tables].sort(),
+            effects: [...effects].sort(),
+        };
+        const key = JSON.stringify(entry);
+        if (seenEntries.has(key))
+            continue;
+        seenEntries.add(key);
+        if (result.evidence.length >= maxResults) {
+            result.context.truncated.results = true;
+            break;
+        }
+        result.evidence.push(entry);
+        for (const step of chain)
+            reported.set(step.id, step);
+        for (const item of chainData) {
+            const dataKey = `${item.procedure}|${item.name}|${item.access}|${item.attributedBy}|${item.location}`;
+            if (!seenData.has(dataKey)) {
+                seenData.add(dataKey);
+                result.context.data.push(item);
+            }
+        }
+    }
+    // ---- 6. Unresolved references inside the reported procedures --------
+    const byFile = new Map();
+    for (const node of reported.values()) {
+        if (!node.filePath)
+            continue;
+        const list = byFile.get(node.filePath) ?? [];
+        list.push(node);
+        byFile.set(node.filePath, list);
+    }
+    for (const [filePath, procedures] of [...byFile.entries()].sort((a, b) => a[0].localeCompare(b[0]))) {
+        for (const ref of queries.getUnresolvedReferencesForFile(filePath)) {
+            const owner = procedures.find((proc) => ref.line >= proc.startLine && ref.line <= proc.endLine);
+            if (!owner)
+                continue;
+            result.context.unresolved.push({
+                procedure: owner.name,
+                referenceName: ref.referenceName,
+                referenceKind: ref.referenceKind,
+                location: locationOf(filePath, ref.line),
+            });
+        }
+    }
+    return result;
+}
+//# sourceMappingURL=behavior-evidence.js.map

package/lib/dist/graph/behavior-evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"behavior-evidence.js","sourceRoot":"","sources":["../../src/graph/behavior-evidence.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiSA,sDA2aC;AA5sBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,2CAA6B;AA2B7B;;;;;;;;;GASG;AACU,QAAA,0BAA0B,GAAG;IACxC,aAAa;IACb,cAAc;IACd,oBAAoB;IACpB,mBAAmB;IACnB,qBAAqB;IACrB,qBAAqB;CACb,CAAC;AA8GX;;;;;;;;;;;;;;GAcG;AACU,QAAA,uBAAuB,GAAG;IACrC,yBAAyB;IACzB,kBAAkB;IAClB,kBAAkB;IAClB,kBAAkB;IAClB,wBAAwB;CAChB,CAAC;AAEX,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,uBAAuB;IACvB,aAAa;IACb,eAAe;CAChB,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC,CAAC;AAEpE,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;AAExD;;;;GAIG;AACH,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AAE9D;;;;;;;;;GASG;AACH,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,eAAe;IACf,mBAAmB;IACnB,gBAAgB;IAChB,wBAAwB;IACxB,oBAAoB;IACpB,mBAAmB;IACnB,gBAAgB;IAChB,iBAAiB;IACjB,iBAAiB;IACjB,iBAAiB;CAClB,CAAC,CAAC;AAEH;;;GAGG;AACH,SAAS,eAAe,CAAC,IAAU,EAAE,MAAY;IAC/C,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC;IACrC,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACzD,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAClD,OAAO,GAAG,KAAK,IAAI,IAAI,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,sBAAsB,GAAG,CAAC,CAAC;AACjC,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAE/B,SAAS,KAAK,CAAC,KAAa,EAAE,GAAW,EAAE,GAAW;IACpD,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,UAAU,CAAC,QAA4B,EAAE,IAAwB;IACxE,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,QAAQ,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;AACjD,CAAC;AAED,SAAS,cAAc,CAAC,IAAU,EAAE,GAAW;IAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAClD,CAAC;AAED;;;;;GAKG;AACH,SAAgB,qBAAqB,CACnC,OAAqB,EACrB,OAAgC;IAEhC,MAAM,YAAY,GAAG,KAAK,CACxB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,IAAI,sBAAsB,CAAC,EAC1D,CAAC,EACD,EAAE,CACH,CAAC;IACF,MAAM,UAAU,GAAG,KAAK,CACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,IAAI,mBAAmB,CAAC,EACrD,CAAC,EACD,GAAG,CACJ,CAAC;IAEF,MAAM,MAAM,GAA2B;QACrC,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,EAAE;QACZ,OAAO,EAAE;YACP,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,EAAE;YACR,UAAU,EAAE,EAAE;YACd,SAAS,EAAE,EAAE;YACb,SAAS,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE;YAC7D,KAAK,EAAE,CAAC,wBAAwB,CAAC;SAClC;KACF,CAAC;IAEF,MAAM,cAAc,GAAG,CAAC,IAAU,EAAU,EAAE;QAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgB,CAAC;QACxC,MAAM,OAAO,GAAG,CAAC,KAAW,EAAQ,EAAE;YACpC,IAAI,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACpE,sEAAsE;YACtE,6EAA6E;YAC7E,IAAI,KAAK,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;gBAC3C,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC3D,IAAI,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;wBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACtE,CAAC;YACH,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;gBACpE,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC/C,IAAI,KAAK,IAAI,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,CAAC;QACd,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC;gBACxE,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC/C,IAAI,KAAK;oBAAE,OAAO,CAAC,KAAK,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,IAAU,EAAE,MAAc,EAAW,EAAE,CAC5D,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,MAAM;QAClC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC;IAC9D,MAAM,YAAY,GAAG,CAAC,IAAU,EAAiB,EAAE;QACjD,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM;YAC3B,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,MAAO,CAAC,WAAW,EAAE,CAAC,CAAC;YAChF,CAAC,CAAC,OAAO,CAAC;QACZ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;QAChD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,iDAAiD;QACtF,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE,EAAE,CAAC,CAAC;QAC5D,OAAO,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC7C,CAAC,CAAC;IAEF,wEAAwE;IACxE,IAAI,MAAM,GAAgB,IAAI,CAAC;IAE/B,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM;YAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC7D,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QAC1C,MAAM,UAAU,GAAG,OAAO;aACvB,mBAAmB,CAAC,MAAM,CAAC;aAC3B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACpF,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM;YAC3B,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;gBACzB,MAAM,YAAY,GAAG,OAAO,CAAC,MAAO,CAAC,WAAW,EAAE,CAAC;gBACnD,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;gBACrC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;gBAC3F,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;gBACtC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;gBAChD,OAAO,CACL,UAAU,EAAE,WAAW,EAAE,KAAK,YAAY;oBAC1C,IAAI,CAAC,WAAW,EAAE,KAAK,YAAY;oBACnC,IAAI,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,GAAG,YAAY,GAAG,CAAC,CAClD,CAAC;YACJ,CAAC,CAAC;YACJ,CAAC,CAAC,UAAU,CAAC;QAEf,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAChD,CAAC;aAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC9C,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;gBAC5B,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,OAAO,EAAE,MAAM;qBACZ,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBACd,EAAE,EAAE,IAAI,CAAC,EAAE;oBACX,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC;iBAC3B,CAAC,CAAC;qBACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;aAC5C,CAAC,CAAC;YACH,OAAO,MAAM,CAAC;QAChB,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACtB,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACvD,CAAC;IAED,IAAI,CAAC,MAAM;QAAE,OAAO,MAAM,CAAC;IAE3B,MAAM,CAAC,MAAM,GAAG;QACd,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC;KAC7B,CAAC;IAOF,MAAM,QAAQ,GAAsB,EAAE,CAAC;IAEvC,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,OAAO;aACrB,gBAAgB,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC;aAC9C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACpD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrD,IAAI,CAAC,WAAW;gBAAE,SAAS;YAC3B,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YACtD,MAAM,KAAK,GACT,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,MAAM;gBACtC,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,OAAO,KAAK,wBAAwB;oBACpC,CAAC,CAAC,YAAY;oBACd,CAAC,CAAC,SAAS,CAAC;YAClB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE;oBACP,OAAO,EAAE,WAAW,CAAC,IAAI;oBACzB,SAAS,EAAE,WAAW,CAAC,EAAE;oBACzB,KAAK,EAAE,cAAc,CAAC,IAAI,EAAE,WAAW,CAAC;oBACxC,KAAK;oBACL,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,SAAS;oBACxC,QAAQ,EAAE,UAAU,CAAC,WAAW,CAAC,QAAQ,EAAE,WAAW,CAAC,SAAS,CAAC;oBACjE,OAAO;iBACR;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,yEAAyE;QACzE,kEAAkE;QAClE,MAAM,OAAO,GAAG,OAAO;aACpB,gBAAgB,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC;aAC9C,MAAM,CAAC,IAAI,CAAC,EAAE;YACb,IAAI,CAAC,OAAO,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YACjC,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC/C,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,IAAI,cAAc,CAAC,KAAK,CAAC;iBAClE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,MAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAC1E,CAAC,CAAC;aACD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1E,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE;gBACP,OAAO,EAAE,MAAM,CAAC,IAAI;gBACpB,SAAS,EAAE,MAAM,CAAC,EAAE;gBACpB,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI;gBAC5D,KAAK,EAAE,OAAO;oBACZ,CAAC,CAAC,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,MAAM;wBAC3C,CAAC,CAAC,MAAM;wBACR,CAAC,CAAC,OAAO,KAAK,wBAAwB;4BACpC,CAAC,CAAC,YAAY;4BACd,CAAC,CAAC,SAAS;oBACf,CAAC,CAAC,QAAQ;gBACZ,UAAU,EAAE,OAAO,EAAE,UAAU,IAAI,SAAS;gBAC5C,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC;gBACvD,OAAO;aACR;SACF,CAAC,CAAC;IACL,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC9C,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,CAAC,OAAO,CAAC,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAEzD,wEAAwE;IACxE,MAAM,SAAS,GAAG,CAAC,MAAc,EAAU,EAAE;QAC3C,MAAM,GAAG,GAAW,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,KAAK,GAAG,OAAO;aAClB,gBAAgB,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;aACjD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACpD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,SAAS;YACpC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC9C,IAAI,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YACvD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACtB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,yEAAyE;IACzE,yEAAyE;IACzE,IAAI,cAAc,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC,GAAG,YAAY,CAAC;IACrD,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAa;QAC1B,IAAI,cAAc,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,GAAG,IAAI,CAAC;YACxC,OAAO;QACT,CAAC;QACD,cAAc,EAAE,CAAC;QACjB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;QACtC,IAAI,KAAK,CAAC,MAAM,IAAI,YAAY,EAAE,CAAC;YACjC,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC;YAC7E,MAAM,KAAK,CAAC;YACZ,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;YACjD,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC9C,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,GAAG,IAAI,CAAC;gBACtC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;QACH,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,KAAK,CAAC;YACZ,OAAO;QACT,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;YAChC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO;gBAAE,OAAO;QAC/C,CAAC;IACH,CAAC;IACD,QAAQ,CAAC,CAAC,KAAK;QACb,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;YAC5B,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO;gBAAE,OAAO;QAC/C,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkC,CAAC;IAE5D,MAAM,OAAO,GAAG,CAAC,SAAe,EAA0B,EAAE;QAC1D,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC3C,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAE1B,MAAM,SAAS,GAA2B,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,CACb,IAAU,EACV,IAAU,EACV,YAAkD,EAC5C,EAAE;YACR,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC;YACrC,MAAM,SAAS,GACb,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YAC/D,SAAS,CAAC,IAAI,CAAC;gBACb,SAAS,EAAE,SAAS,CAAC,IAAI;gBACzB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,UAAU,EAAE,IAAI,CAAC,IAAI;gBACrB,MAAM,EAAE,SAAS;gBACjB,GAAG,EAAE,cAAc,CAAC,IAAI,EAAE,eAAe,CAAC;gBAC1C,YAAY;gBACZ,QAAQ,EAAE,UAAU,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC;aACpD,CAAC,CAAC;YACH,sEAAsE;YACtE,uEAAuE;YACvE,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC1B,KAAK,MAAM,SAAS,IAAI,OAAO;qBAC5B,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC;qBACzC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;oBACpD,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;oBACpD,IAAI,CAAC,KAAK,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;wBAAE,SAAS;oBACrF,SAAS,CAAC,IAAI,CAAC;wBACb,SAAS,EAAE,SAAS,CAAC,IAAI;wBACzB,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,UAAU,EAAE,KAAK,CAAC,IAAI;wBACtB,MAAM,EAAE,SAAS;wBACjB,GAAG,EAAE,cAAc,CAAC,SAAS,EAAE,eAAe,CAAC;wBAC/C,YAAY,EAAE,IAAI,CAAC,IAAI;wBACvB,YAAY;wBACZ,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC;qBACpD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC,CAAC;QAEF,KAAK,MAAM,IAAI,IAAI,OAAO;aACvB,gBAAgB,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC;aAC9C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YACpD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC9C,IAAI,CAAC,IAAI,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YACzD,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC;gBAAE,SAAS;YAC3C,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;QACpC,CAAC;QAED,yEAAyE;QACzE,qEAAqE;QACrE,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YAC7E,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YACpD,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC;gBAAE,SAAS;YAC5E,KAAK,MAAM,IAAI,IAAI,OAAO;iBACvB,gBAAgB,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC;iBAC1C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;gBACpD,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;oBACvB,IAAI,CAAC,IAAI,GAAG,SAAS,CAAC,SAAS;oBAC/B,IAAI,CAAC,IAAI,GAAG,SAAS,CAAC,OAAO,EAC7B,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC9C,IAAI,CAAC,IAAI,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACzD,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC;oBAAE,SAAS;gBAC3C,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QAED,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,MAAM,gBAAgB,GAAG,CAAC,SAAe,EAAY,EAAE;QACrD,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC7C,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,OAAO;aACvB,gBAAgB,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,YAAY,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC;aAC9E,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YACpD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC9C,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5C,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACvC,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,wEAAwE;IACxE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAEnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAgB,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,EAAE,CAAC;QAC5B,MAAM,SAAS,GAA2B,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrB,IAAI,IAAI,CAAC,UAAU,KAAK,OAAO;oBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACvD,OAAO,CAAC,GAAG,CACT,IAAI,CAAC,MAAM,KAAK,SAAS;oBACvB,CAAC,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE;oBAC5B,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,CAClC,CAAC;YACJ,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,gBAAgB,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACnE,CAAC;QAED,MAAM,KAAK,GAA8B;YACvC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI;YACvB,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACxC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE;YAC1B,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE;SAC7B,CAAC;QACF,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACnC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,IAAI,UAAU,EAAE,CAAC;YACzC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,GAAG,IAAI,CAAC;YACxC,MAAM;QACR,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACtD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACtG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACtB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;IACH,CAAC;IAED,wEAAwE;IAExE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,SAAS;QAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC7C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAClC,CAAC;IACD,KAAK,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACvE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACzB,EAAE,CAAC;QACF,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,8BAA8B,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnE,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAC3B,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CACjE,CAAC;YACF,IAAI,CAAC,KAAK;gBAAE,SAAS;YACrB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;gBAC7B,SAAS,EAAE,KAAK,CAAC,IAAI;gBACrB,aAAa,EAAE,GAAG,CAAC,aAAa;gBAChC,aAAa,EAAE,GAAG,CAAC,aAAa;gBAChC,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;aACzC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/lib/dist/index.d.ts

@@ -5,6 +5,7 @@
  * knowledge graph from any codebase.
  */
 import { Node, Edge, FileRecord, ExtractionResult, Subgraph, TraversalOptions, SearchOptions, SearchResult, SegmentMatch, Context, GraphStats, TaskInput, TaskContext, BuildContextOptions, FindRelevantContextOptions } from './types';
+import { BehaviorEvidenceRequest, BehaviorEvidenceResult } from './graph/behavior-evidence';
 import { IndexProgress, IndexResult, SyncResult } from './extraction';
 import { ResolutionResult } from './resolution';
 import { WatchOptions, PendingFile } from './sync';
@@ -16,6 +17,7 @@ export { IndexProgress, IndexResult, SyncResult } from './extraction';
 export { detectLanguage, isLanguageSupported, isGrammarLoaded, getSupportedLanguages, initGrammars, loadGrammarsForLanguages, loadAllGrammars } from './extraction';
 export { ResolutionResult } from './resolution';
 export { CodeGraphError, FileError, ParseError, DatabaseError, SearchError, VectorError, ConfigError, Logger, setLogger, getLogger, silentLogger, defaultLogger, } from './errors';
+export { buildBehaviorEvidence, BEHAVIOR_EFFECT_VOCABULARY, BEHAVIOR_EVIDENCE_NOTES, CodeGraphBehaviorEvidence, BehaviorEvidenceRequest, BehaviorEvidenceResult, BehaviorEvidenceTarget, BehaviorHandlerContext, BehaviorDataEvidence, BehaviorAmbiguity, BehaviorUnresolvedReference, BehaviorBindingScope, } from './graph/behavior-evidence';
 export { Mutex, FileLock, processInBatches, debounce, throttle, MemoryMonitor } from './utils';
 export { FileWatcher, WatchOptions, PendingFile, LockUnavailableError } from './sync';
 export { MCPServer } from './mcp';
@@ -527,6 +529,26 @@ export declare class CodeGraph {
      * @returns Subgraph containing potentially impacted nodes
      */
     getImpactRadius(nodeId: string, maxDepth?: number): Subgraph;
+    /**
+     * Assemble bounded behavior evidence for an Access control, layout or
+     * handler (issue #299).
+     *
+     * Read-only: it joins facts that are already indexed — the event binding,
+     * the call paths under it, and the tables/effects those procedures reach —
+     * into one typed payload, so a consumer does not re-implement the graph
+     * semantics for itself. It never parses source, opens Access, or writes to
+     * the index.
+     *
+     * Identify the target by `nodeId` whenever you have one. A `name` needs a
+     * `layout` as soon as it is not unique: an ambiguous name is REFUSED with
+     * the candidates listed, never narrowed to an arbitrary first match.
+     *
+     * The answer is static evidence from exported source. An empty `tables` or
+     * `effects` list means the index holds no such fact — not that the code has
+     * no runtime effect. See {@link BehaviorEvidenceResult.context} for what
+     * could not be answered.
+     */
+    getBehaviorEvidence(request: BehaviorEvidenceRequest): BehaviorEvidenceResult;
     /**
      * Find the shortest path between two nodes
      *