@bevorai/sdk 0.0.0-stage → 0.1.0-rc.0

package/dist/graph/graph.js

@@ -0,0 +1,354 @@
+import { CallNode } from "./call-node.js";
+import { GraphCursor } from "./cursor.js";
+const HEX_LITERAL_RE = /hex"([0-9a-fA-F]+)"/g;
+const LARGE_STRING_LITERAL_RE = /"(?:[^"\\]|\\[\s\S]){512,}"/g;
+const utf8Decoder = new TextDecoder("utf-8", { fatal: true });
+const utf8Encoder = new TextEncoder();
+const sanitizeChunk = (src) => src
+    .replace(HEX_LITERAL_RE, (match, hex) => Math.floor(hex.length / 2) > 256 ? 'hex"<BYTECODE OMITTED>"' : match)
+    .replace(LARGE_STRING_LITERAL_RE, '"[LARGE_STRING_OMITTED]"');
+const mustGet = (map, key, label) => {
+    const value = map.get(key);
+    if (value === undefined)
+        throw new Error(`unknown ${label}: ${String(key)}`);
+    return value;
+};
+/**
+ * Language-agnostic graph view for one code version, backed by HTTP only.
+ *
+ * Call `build()` after construction, or use `Graph.fromSnapshot` for an already-fetched snapshot.
+ */
+export class Graph {
+    codeId;
+    #client;
+    #isBuilt = false;
+    edges = [];
+    fileMap = new Map();
+    /** file id -> ids of the nodes in that file */
+    sourceMap = new Map();
+    nodeMap = new Map();
+    /** short id -> id */
+    idMap = new Map();
+    /** id -> short id */
+    reverseIdMap = new Map();
+    #adjacency = new Map();
+    #reverseAdjacency = new Map();
+    #edgeById = new Map();
+    #fileText = new Map();
+    constructor(client, codeId) {
+        this.#client = client;
+        this.codeId = codeId;
+    }
+    static fromSnapshot(client, codeId, snapshot) {
+        const graph = new Graph(client, codeId);
+        graph.#ingestSnapshot(snapshot);
+        return graph;
+    }
+    get isBuilt() {
+        return this.#isBuilt;
+    }
+    /** Fetches the snapshot (nodes, edges and files). No-op once built. */
+    async build() {
+        if (this.#isBuilt)
+            return;
+        const [nodes, edges, files] = await Promise.all([
+            this.#client.codes.nodes.list(this.codeId),
+            this.#client.codes.edges(this.codeId),
+            this.#client.codes.files.list(this.codeId),
+        ]);
+        this.#ingestSnapshot({
+            nodes: nodes.results,
+            edges: edges.results,
+            files: files.results,
+        });
+    }
+    /** Fetches a file's text once and caches it. */
+    async getFileContent(fileId) {
+        const cached = this.#fileText.get(fileId);
+        if (cached !== undefined)
+            return cached;
+        const text = await this.#client.codes.files.content(this.codeId, fileId);
+        this.#fileText.set(fileId, text);
+        return text;
+    }
+    /**
+     * The node's source, with oversized hex/string literals elided.
+     * With `withDocstring`, prefixes the docstring, following `@inheritdoc` to the referenced natspec.
+     */
+    async reconstructChunk(nodeId, { withDocstring = false } = {}) {
+        this.#ensureBuilt();
+        const node = this.getNode(nodeId);
+        const source = utf8Encoder.encode(await this.getFileContent(node.file_id));
+        let docstring = null;
+        if (withDocstring && node.docstring) {
+            if (!node.docstring.includes("@inheritdoc")) {
+                docstring = node.docstring;
+            }
+            else {
+                const [natspec] = this.getEdgesForNode(nodeId, {
+                    direction: "out",
+                    edgeType: "has_ref_comment",
+                });
+                if (natspec) {
+                    if (!natspec.dst_id)
+                        throw new Error(`has_ref_comment edge ${natspec.id} has no destination`);
+                    docstring = this.getNode(natspec.dst_id).docstring ?? null;
+                }
+                else {
+                    docstring = node.docstring;
+                }
+            }
+        }
+        return Graph.reconstruct(node, source, docstring);
+    }
+    static reconstruct(node, source, docstring) {
+        const chunk = sanitizeChunk(utf8Decoder.decode(source.subarray(node.src_start_pos, node.src_end_pos)));
+        return docstring ? `${docstring}\n${chunk}` : chunk;
+    }
+    #ensureBuilt() {
+        if (!this.#isBuilt)
+            throw new Error("must run build() first");
+    }
+    #ingestSnapshot({ nodes, edges, files }) {
+        this.edges = edges;
+        this.fileMap = new Map(files.map((file) => [file.id, file]));
+        this.nodeMap = new Map();
+        this.idMap = new Map();
+        this.reverseIdMap = new Map();
+        this.sourceMap = new Map();
+        for (const node of nodes) {
+            this.reverseIdMap.set(node.id, node.short_id);
+            this.idMap.set(node.short_id, node.id);
+            this.nodeMap.set(node.id, node);
+            const inFile = this.sourceMap.get(node.file_id);
+            if (inFile)
+                inFile.push(node.id);
+            else
+                this.sourceMap.set(node.file_id, [node.id]);
+        }
+        this.#buildAdjacency();
+        this.#isBuilt = true;
+    }
+    #buildAdjacency() {
+        const adjacency = new Map();
+        const reverse = new Map();
+        const push = (map, key, edge) => {
+            const list = map.get(key);
+            if (list)
+                list.push(edge);
+            else
+                map.set(key, [edge]);
+        };
+        for (const edge of this.edges) {
+            push(adjacency, edge.src_id, edge);
+            if (edge.dst_id)
+                push(reverse, edge.dst_id, edge);
+        }
+        for (const list of adjacency.values())
+            list.sort((a, b) => a.src_start_pos - b.src_start_pos);
+        this.#adjacency = adjacency;
+        this.#reverseAdjacency = reverse;
+        this.#edgeById = new Map(this.edges.map((edge) => [edge.id, edge]));
+    }
+    getShortFromId(nodeId) {
+        return mustGet(this.reverseIdMap, nodeId, "node id");
+    }
+    getIdFromShort(shortId) {
+        return mustGet(this.idMap, shortId, "short id");
+    }
+    getAllNodes() {
+        this.#ensureBuilt();
+        return [...this.nodeMap.values()];
+    }
+    /** Nodes with no incoming edges. */
+    getRootNodes() {
+        return this.getAllNodes().filter((node) => !this.#reverseAdjacency.has(node.id));
+    }
+    getAllFiles() {
+        this.#ensureBuilt();
+        return [...this.fileMap.values()];
+    }
+    exists(nodeId) {
+        return this.nodeMap.has(nodeId);
+    }
+    existsShortId(shortId) {
+        return this.idMap.has(shortId);
+    }
+    getNode(nodeId) {
+        this.#ensureBuilt();
+        return mustGet(this.nodeMap, nodeId, "node");
+    }
+    getFile(fileId) {
+        this.#ensureBuilt();
+        return mustGet(this.fileMap, fileId, "file");
+    }
+    /** Distinct languages in this snapshot (e.g. Solidity + Rust in a monorepo). */
+    get languages() {
+        this.#ensureBuilt();
+        return new Set([...this.fileMap.values()].map((file) => file.language));
+    }
+    getNodeLanguage(nodeId) {
+        return this.getFile(this.getNode(nodeId).file_id).language;
+    }
+    /**
+     * Edges touching a node: outgoing first (by source position), then incoming.
+     * Each returned edge is a copy with `direction` set relative to `nodeId`.
+     */
+    getEdgesForNode(nodeId, { direction = null, edgeType = null } = {}) {
+        this.#ensureBuilt();
+        if (direction !== null && direction !== "in" && direction !== "out") {
+            throw new Error(`invalid edge direction: ${String(direction)}`);
+        }
+        const out = [];
+        const collect = (edges, dir) => {
+            for (const edge of edges ?? []) {
+                if (edgeType === null || edge.edge_type === edgeType)
+                    out.push({ ...edge, direction: dir });
+            }
+        };
+        if (direction !== "in")
+            collect(this.#adjacency.get(nodeId), "out");
+        if (direction !== "out")
+            collect(this.#reverseAdjacency.get(nodeId), "in");
+        return out;
+    }
+    /** All edges, optionally of one type. Edges have no direction unless queried against a node. */
+    getEdges({ edgeType = null, } = {}) {
+        this.#ensureBuilt();
+        return edgeType === null
+            ? [...this.edges]
+            : this.edges.filter((edge) => edge.edge_type === edgeType);
+    }
+    /** Resolves a snapshot edge by its row id. */
+    getEdgeById(edgeId) {
+        this.#ensureBuilt();
+        return this.#edgeById.get(edgeId) ?? null;
+    }
+    /** Walks incoming edges until it reaches a node of `nodeType`. */
+    traverseUpToNodeType(nodeId, nodeType) {
+        const stack = [nodeId];
+        const seen = new Set();
+        while (stack.length) {
+            const current = stack.pop();
+            if (seen.has(current))
+                continue;
+            seen.add(current);
+            const node = this.getNode(current);
+            if (node.node_type === nodeType)
+                return node;
+            for (const edge of this.getEdgesForNode(current, { direction: "in" }))
+                stack.push(edge.src_id);
+        }
+        return null;
+    }
+    getNodesInFile(fileId) {
+        this.#ensureBuilt();
+        return [...(this.sourceMap.get(fileId) ?? [])];
+    }
+    /** Shortest path length treating the graph as undirected (-1 if disconnected). */
+    getDistance(fromNodeId, toNodeId) {
+        this.#ensureBuilt();
+        if (fromNodeId === toNodeId)
+            return 0;
+        const visited = new Set();
+        const queue = [[fromNodeId, 0]];
+        for (let i = 0; i < queue.length; i++) {
+            const [nodeId, dist] = queue[i];
+            if (nodeId === toNodeId)
+                return dist;
+            if (visited.has(nodeId))
+                continue;
+            visited.add(nodeId);
+            for (const edge of this.getEdgesForNode(nodeId, { direction: "in" })) {
+                if (!visited.has(edge.src_id))
+                    queue.push([edge.src_id, dist + 1]);
+            }
+            for (const edge of this.getEdgesForNode(nodeId, { direction: "out" })) {
+                if (edge.dst_id && !visited.has(edge.dst_id))
+                    queue.push([edge.dst_id, dist + 1]);
+            }
+        }
+        return -1;
+    }
+    /** True if `parentId` is reachable from `childId` following incoming `calls` edges. */
+    isDescendant(childId, parentId) {
+        this.#ensureBuilt();
+        if (childId === parentId)
+            return true;
+        const visited = new Set();
+        const queue = [childId];
+        for (let i = 0; i < queue.length; i++) {
+            const nodeId = queue[i];
+            if (nodeId === parentId)
+                return true;
+            if (visited.has(nodeId))
+                continue;
+            visited.add(nodeId);
+            for (const edge of this.getEdgesForNode(nodeId, { direction: "in" })) {
+                if (edge.edge_type === "calls")
+                    queue.push(edge.src_id);
+            }
+        }
+        return false;
+    }
+    getCallChain(nodeId) {
+        return CallNode.build(this, nodeId);
+    }
+    cursor(nodeId) {
+        return new GraphCursor(this, nodeId);
+    }
+    /** Depth-first search along outgoing edges for a node with `merkleHash`. */
+    getDescendantByMerkle(nodeId, merkleHash) {
+        const stack = [nodeId];
+        const seen = new Set();
+        while (stack.length) {
+            const current = stack.pop();
+            seen.add(current);
+            const node = this.getNode(current);
+            if (node.merkle_hash === merkleHash)
+                return node.id;
+            for (const edge of this.getEdgesForNode(current, { direction: "out" })) {
+                if (edge.dst_id && !seen.has(edge.dst_id))
+                    stack.push(edge.dst_id);
+            }
+        }
+        return null;
+    }
+    getCallableTypes(language) {
+        return language === "solidity"
+            ? new Set([
+                "function_definition",
+                "fallback_receive_definition",
+                "modifier_definition",
+                "constructor_definition",
+            ])
+            : new Set();
+    }
+    getDeclarationTypes(language) {
+        return language === "solidity"
+            ? new Set([
+                "enum_declaration",
+                "error_declaration",
+                "struct_declaration",
+                "event_definition",
+                "state_variable_declaration",
+                "constant_variable_declaration",
+            ])
+            : new Set();
+    }
+    getExcludeTypes(language) {
+        return language === "solidity"
+            ? new Set(["if_statement", "ternary_expression", "try_statement"])
+            : new Set();
+    }
+    getContainerTypes(language) {
+        return language === "solidity"
+            ? new Set([
+                "contract_declaration",
+                "library_declaration",
+                "interface_declaration",
+            ])
+            : new Set();
+    }
+}
+//# sourceMappingURL=graph.js.map

package/dist/graph/graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.js","sourceRoot":"","sources":["../../src/graph/graph.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAa1C,MAAM,cAAc,GAAG,sBAAsB,CAAC;AAC9C,MAAM,uBAAuB,GAAG,8BAA8B,CAAC;AAE/D,MAAM,WAAW,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAC9D,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;AAEtC,MAAM,aAAa,GAAG,CAAC,GAAW,EAAU,EAAE,CAC7C,GAAG;KACD,OAAO,CAAC,cAAc,EAAE,CAAC,KAAK,EAAE,GAAW,EAAE,EAAE,CAC/C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,KAAK,CACpE;KACA,OAAO,CAAC,uBAAuB,EAAE,0BAA0B,CAAC,CAAC;AAEhE,MAAM,OAAO,GAAG,CAAO,GAAsB,EAAE,GAAM,EAAE,KAAa,EAAK,EAAE;IAC1E,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3B,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,KAAK,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC7E,OAAO,KAAK,CAAC;AACd,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,OAAO,KAAK;IACR,MAAM,CAAK;IACX,OAAO,CAAc;IAC9B,QAAQ,GAAG,KAAK,CAAC;IAEjB,KAAK,GAAwB,EAAE,CAAC;IAChC,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC3C,+CAA+C;IAC/C,SAAS,GAAG,IAAI,GAAG,EAAY,CAAC;IAChC,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC3C,qBAAqB;IACrB,KAAK,GAAG,IAAI,GAAG,EAAc,CAAC;IAC9B,qBAAqB;IACrB,YAAY,GAAG,IAAI,GAAG,EAAc,CAAC;IAErC,UAAU,GAAG,IAAI,GAAG,EAA2B,CAAC;IAChD,iBAAiB,GAAG,IAAI,GAAG,EAA2B,CAAC;IACvD,SAAS,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC7C,SAAS,GAAG,IAAI,GAAG,EAAc,CAAC;IAElC,YAAY,MAAmB,EAAE,MAAU;QAC1C,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACtB,CAAC;IAED,MAAM,CAAC,YAAY,CAClB,MAAmB,EACnB,MAAU,EACV,QAAuB;QAEvB,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACxC,KAAK,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;QAChC,OAAO,KAAK,CAAC;IACd,CAAC;IAED,IAAI,OAAO;QACV,OAAO,IAAI,CAAC,QAAQ,CAAC;IACtB,CAAC;IAED,uEAAuE;IACvE,KAAK,CAAC,KAAK;QACV,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO;QAC1B,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC/C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;YAC1C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;YACrC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;SAC1C,CAAC,CAAC;QACH,IAAI,CAAC,eAAe,CAAC;YACpB,KAAK,EAAE,KAAK,CAAC,OAAO;YACpB,KAAK,EAAE,KAAK,CAAC,OAAO;YACpB,KAAK,EAAE,KAAK,CAAC,OAAO;SACpB,CAAC,CAAC;IACJ,CAAC;IAED,gDAAgD;IAChD,KAAK,CAAC,cAAc,CAAC,MAAU;QAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACzE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACjC,OAAO,IAAI,CAAC;IACb,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,gBAAgB,CACrB,MAAU,EACV,EAAE,aAAa,GAAG,KAAK,EAAE,GAAgC,EAAE;QAE3D,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QAE3E,IAAI,SAAS,GAAkB,IAAI,CAAC;QACpC,IAAI,aAAa,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC7C,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;YAC5B,CAAC;iBAAM,CAAC;gBACP,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE;oBAC9C,SAAS,EAAE,KAAK;oBAChB,QAAQ,EAAE,iBAAiB;iBAC3B,CAAC,CAAC;gBACH,IAAI,OAAO,EAAE,CAAC;oBACb,IAAI,CAAC,OAAO,CAAC,MAAM;wBAClB,MAAM,IAAI,KAAK,CACd,wBAAwB,OAAO,CAAC,EAAE,qBAAqB,CACvD,CAAC;oBACH,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC;gBAC5D,CAAC;qBAAM,CAAC;oBACP,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;gBAC5B,CAAC;YACF,CAAC;QACF,CAAC;QACD,OAAO,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,CAAC,WAAW,CACjB,IAAuB,EACvB,MAAkB,EAClB,SAAyB;QAEzB,MAAM,KAAK,GAAG,aAAa,CAC1B,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CACzE,CAAC;QACF,OAAO,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;IACrD,CAAC;IAED,YAAY;QACX,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC/D,CAAC;IAED,eAAe,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAiB;QACrD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,YAAY,GAAG,IAAI,GAAG,EAAE,CAAC;QAC9B,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,EAAE,CAAC;QAE3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YAC1B,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC9C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;YACvC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAChD,IAAI,MAAM;gBAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;;gBAC5B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAClD,CAAC;QAED,IAAI,CAAC,eAAe,EAAE,CAAC;QACvB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;IACtB,CAAC;IAED,eAAe;QACd,MAAM,SAAS,GAAG,IAAI,GAAG,EAA2B,CAAC;QACrD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;QACnD,MAAM,IAAI,GAAG,CACZ,GAAiC,EACjC,GAAO,EACP,IAAuB,EACtB,EAAE;YACH,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;gBACrB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC;QAEF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACnC,IAAI,IAAI,CAAC,MAAM;gBAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACnD,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,EAAE;YACpC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;QAExD,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;QAC5B,IAAI,CAAC,iBAAiB,GAAG,OAAO,CAAC;QACjC,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC;IAED,cAAc,CAAC,MAAU;QACxB,OAAO,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IACtD,CAAC;IAED,cAAc,CAAC,OAAe;QAC7B,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACjD,CAAC;IAED,WAAW;QACV,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACnC,CAAC;IAED,oCAAoC;IACpC,YAAY;QACX,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,MAAM,CAC/B,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAC9C,CAAC;IACH,CAAC;IAED,WAAW;QACV,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACnC,CAAC;IAED,MAAM,CAAC,MAAU;QAChB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IAED,aAAa,CAAC,OAAe;QAC5B,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,OAAO,CAAC,MAAU;QACjB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,OAAO,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO,CAAC,MAAU;QACjB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,OAAO,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9C,CAAC;IAED,gFAAgF;IAChF,IAAI,SAAS;QACZ,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACzE,CAAC;IAED,eAAe,CAAC,MAAU;QACzB,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC;IAC5D,CAAC;IAED;;;OAGG;IACH,eAAe,CACd,MAAU,EACV,EAAE,SAAS,GAAG,IAAI,EAAE,QAAQ,GAAG,IAAI,EAAE,GAAe,EAAE;QAEtD,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,KAAK,EAAE,CAAC;YACrE,MAAM,IAAI,KAAK,CAAC,2BAA2B,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC;QAED,MAAM,GAAG,GAAwB,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,CACf,KAAsC,EACtC,GAAkB,EACjB,EAAE;YACH,KAAK,MAAM,IAAI,IAAI,KAAK,IAAI,EAAE,EAAE,CAAC;gBAChC,IAAI,QAAQ,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,KAAK,QAAQ;oBACnD,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;YACxC,CAAC;QACF,CAAC,CAAC;QACF,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC;QACpE,IAAI,SAAS,KAAK,KAAK;YAAE,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;QAC3E,OAAO,GAAG,CAAC;IACZ,CAAC;IAED,gGAAgG;IAChG,QAAQ,CAAC,EACR,QAAQ,GAAG,IAAI,GACf,GAEG,EAAE;QACL,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,OAAO,QAAQ,KAAK,IAAI;YACvB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;YACjB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC;IAC7D,CAAC;IAED,8CAA8C;IAC9C,WAAW,CAAC,MAAU;QACrB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;IAC3C,CAAC;IAED,kEAAkE;IAClE,oBAAoB,CAAC,MAAU,EAAE,QAAgB;QAChD,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAM,CAAC;QAC3B,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAQ,CAAC;YAClC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,SAAS;YAChC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAClB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACnC,IAAI,IAAI,CAAC,SAAS,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC;YAC7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;gBACpE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACb,CAAC;IAED,cAAc,CAAC,MAAU;QACxB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC;IAED,kFAAkF;IAClF,WAAW,CAAC,UAAc,EAAE,QAAY;QACvC,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,UAAU,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC;QAEtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAM,CAAC;QAC9B,MAAM,KAAK,GAAmB,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;QAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAiB,CAAC;YAChD,IAAI,MAAM,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC;YACrC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YAClC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAEpB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;gBACtE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;YACpE,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBACvE,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;oBAC3C,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;YACtC,CAAC;QACF,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;IACX,CAAC;IAED,uFAAuF;IACvF,YAAY,CAAC,OAAW,EAAE,QAAY;QACrC,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,OAAO,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAEtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAM,CAAC;QAC9B,MAAM,KAAK,GAAS,CAAC,OAAO,CAAC,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAO,CAAC;YAC9B,IAAI,MAAM,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC;YACrC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YAClC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACpB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;gBACtE,IAAI,IAAI,CAAC,SAAS,KAAK,OAAO;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACzD,CAAC;QACF,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IAED,YAAY,CAAC,MAAU;QACtB,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,CAAC,MAAU;QAChB,OAAO,IAAI,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC;IAED,4EAA4E;IAC5E,qBAAqB,CAAC,MAAU,EAAE,UAAkB;QACnD,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAM,CAAC;QAC3B,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAQ,CAAC;YAClC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAClB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACnC,IAAI,IAAI,CAAC,WAAW,KAAK,UAAU;gBAAE,OAAO,IAAI,CAAC,EAAE,CAAC;YACpD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBACxE,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpE,CAAC;QACF,CAAC;QACD,OAAO,IAAI,CAAC;IACb,CAAC;IAED,gBAAgB,CAAC,QAAkB;QAClC,OAAO,QAAQ,KAAK,UAAU;YAC7B,CAAC,CAAC,IAAI,GAAG,CAAC;gBACR,qBAAqB;gBACrB,6BAA6B;gBAC7B,qBAAqB;gBACrB,wBAAwB;aACxB,CAAC;YACH,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;IACd,CAAC;IAED,mBAAmB,CAAC,QAAkB;QACrC,OAAO,QAAQ,KAAK,UAAU;YAC7B,CAAC,CAAC,IAAI,GAAG,CAAC;gBACR,kBAAkB;gBAClB,mBAAmB;gBACnB,oBAAoB;gBACpB,kBAAkB;gBAClB,4BAA4B;gBAC5B,+BAA+B;aAC/B,CAAC;YACH,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;IACd,CAAC;IAED,eAAe,CAAC,QAAkB;QACjC,OAAO,QAAQ,KAAK,UAAU;YAC7B,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,oBAAoB,EAAE,eAAe,CAAC,CAAC;YAClE,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;IACd,CAAC;IAED,iBAAiB,CAAC,QAAkB;QACnC,OAAO,QAAQ,KAAK,UAAU;YAC7B,CAAC,CAAC,IAAI,GAAG,CAAC;gBACR,sBAAsB;gBACtB,qBAAqB;gBACrB,uBAAuB;aACvB,CAAC;YACH,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;IACd,CAAC;CACD"}

package/dist/helpers/call-chain.d.ts

@@ -0,0 +1,11 @@
+import type { CallNode } from "../graph/call-node.js";
+import type { ResolvedStorageAccess } from "../types/graph-data.js";
+/** `[name, shortId]` for display; `shortId` is empty for low-level methods. */
+export declare const callableDisplayParts: (cn: CallNode) => [name: string, shortId: string];
+/** Single-line description of one resolved storage access. */
+export declare const formatResolvedStorageAccessLine: (access: ResolvedStorageAccess) => string;
+/** One header row plus one row per access, ordered by source offset. */
+export declare const resolvedBindingsBlockLines: (accesses: readonly ResolvedStorageAccess[], baseDepth: number) => string[];
+/** Plain-text rendering of a call chain, annotating effects with the input they use. */
+export declare const formatCallChainText: (root: CallNode) => string;
+//# sourceMappingURL=call-chain.d.ts.map

package/dist/helpers/call-chain.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-chain.d.ts","sourceRoot":"","sources":["../../src/helpers/call-chain.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAEpE,+EAA+E;AAC/E,eAAO,MAAM,oBAAoB,OAC5B,QAAQ,KACV,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAGgC,CAAC;AAElE,8DAA8D;AAC9D,eAAO,MAAM,+BAA+B,WACnC,qBAAqB,KAC3B,MAKF,CAAC;AAEF,wEAAwE;AACxE,eAAO,MAAM,0BAA0B,aAC5B,SAAS,qBAAqB,EAAE,aAC/B,MAAM,KACf,MAAM,EASR,CAAC;AAuCF,wFAAwF;AACxF,eAAO,MAAM,mBAAmB,SAAU,QAAQ,KAAG,MA2BpD,CAAC"}

package/dist/helpers/call-chain.js

@@ -0,0 +1,79 @@
+/** `[name, shortId]` for display; `shortId` is empty for low-level methods. */
+export const callableDisplayParts = (cn) => cn.shortId
+    ? [cn.name || cn.lowLevelName || "?", cn.shortId]
+    : [`low-level method ${cn.lowLevelName || cn.name || "?"}`, ""];
+/** Single-line description of one resolved storage access. */
+export const formatResolvedStorageAccessLine = (access) => {
+    const target = access.field
+        ? `${access.bound_to_name || "?"}.${access.field}`
+        : access.bound_to_name || "?";
+    return `${access.edge_type} ${target} [${access.bound_to_short_id}]`;
+};
+/** One header row plus one row per access, ordered by source offset. */
+export const resolvedBindingsBlockLines = (accesses, baseDepth) => {
+    if (accesses.length === 0)
+        return [];
+    const header = "  ".repeat(baseDepth + 1);
+    const row = "  ".repeat(baseDepth + 2);
+    const ordered = [...accesses].sort((a, b) => a.start_byte - b.start_byte);
+    return [
+        `${header}injected from parent call:`,
+        ...ordered.map((a) => `${row}${formatResolvedStorageAccessLine(a)}`),
+    ];
+};
+const usingContextFromParent = (cn, parent) => {
+    if (parent === null || !cn.targetEffectId)
+        return null;
+    const sibling = parent.children.find((child) => child.edgeId === cn.targetEffectId);
+    if (!sibling)
+        return null;
+    const [name, shortId] = callableDisplayParts(sibling);
+    return shortId ? `using ${name} [${shortId}]` : `using ${name}`;
+};
+const formatLine = (cn, parent) => {
+    const [displayName, shortId] = callableDisplayParts(cn);
+    const name = shortId ? `${displayName} [${shortId}]` : displayName;
+    let head = name;
+    if (cn.edgeType) {
+        const verb = cn.edgeType.replaceAll("_", " ");
+        if (parent && parent.edgeType === "has_condition" && !cn.isConditional)
+            head = `in condition ${verb} ${name}`;
+        else if (cn.isConditional)
+            head = `conditionally ${verb} ${name}`;
+        else
+            head = `${verb} ${name}`;
+    }
+    const tail = [];
+    if (cn.srcFieldNames.length)
+        tail.push(`src: [${cn.srcFieldNames.join(",")}]`);
+    if (cn.dstFieldNames.length)
+        tail.push(`dst: [${cn.dstFieldNames.join(",")}]`);
+    const context = usingContextFromParent(cn, parent);
+    if (context && !cn.isArg)
+        tail.push(`(${context})`);
+    return tail.length ? `${head} ${tail.join(" ")}` : head;
+};
+/** Plain-text rendering of a call chain, annotating effects with the input they use. */
+export const formatCallChainText = (root) => {
+    const lines = [];
+    const visitLine = (cn, depth, parent) => {
+        const line = formatLine(cn, parent);
+        lines.push("  ".repeat(depth) + (cn.isCyclic ? `[CYCLIC] ${line}` : line));
+        visitChildren(cn, depth);
+    };
+    const visitChildren = (cn, depth) => {
+        const args = cn.children.filter((child) => child.isArg);
+        if (args.length) {
+            const isCall = cn.edgeType === "calls" || cn.edgeType === "calls_external";
+            lines.push(`${"  ".repeat(depth + 1)}${isCall ? "args" : "using"}`);
+            for (const child of args)
+                visitLine(child, depth + 2, cn);
+        }
+        for (const child of cn.children)
+            if (!child.isArg)
+                visitLine(child, depth + 1, cn);
+    };
+    visitLine(root, 0, null);
+    return lines.join("\n");
+};
+//# sourceMappingURL=call-chain.js.map

package/dist/helpers/call-chain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-chain.js","sourceRoot":"","sources":["../../src/helpers/call-chain.ts"],"names":[],"mappings":"AAGA,+EAA+E;AAC/E,MAAM,CAAC,MAAM,oBAAoB,GAAG,CACnC,EAAY,EACsB,EAAE,CACpC,EAAE,CAAC,OAAO;IACT,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,IAAI,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC;IACjD,CAAC,CAAC,CAAC,oBAAoB,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,IAAI,IAAI,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;AAElE,8DAA8D;AAC9D,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC9C,MAA6B,EACpB,EAAE;IACX,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK;QAC1B,CAAC,CAAC,GAAG,MAAM,CAAC,aAAa,IAAI,GAAG,IAAI,MAAM,CAAC,KAAK,EAAE;QAClD,CAAC,CAAC,MAAM,CAAC,aAAa,IAAI,GAAG,CAAC;IAC/B,OAAO,GAAG,MAAM,CAAC,SAAS,IAAI,MAAM,KAAK,MAAM,CAAC,iBAAiB,GAAG,CAAC;AACtE,CAAC,CAAC;AAEF,wEAAwE;AACxE,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACzC,QAA0C,EAC1C,SAAiB,EACN,EAAE;IACb,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;IAC1E,OAAO;QACN,GAAG,MAAM,4BAA4B;QACrC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,GAAG,+BAA+B,CAAC,CAAC,CAAC,EAAE,CAAC;KACpE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC9B,EAAY,EACZ,MAAuB,EACP,EAAE;IAClB,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,EAAE,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CACnC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,EAAE,CAAC,cAAc,CAC7C,CAAC;IACF,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACtD,OAAO,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,KAAK,OAAO,GAAG,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC;AACjE,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,EAAY,EAAE,MAAuB,EAAU,EAAE;IACpE,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,GAAG,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,WAAW,KAAK,OAAO,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;IAEnE,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;QACjB,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9C,IAAI,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,IAAI,CAAC,EAAE,CAAC,aAAa;YACrE,IAAI,GAAG,gBAAgB,IAAI,IAAI,IAAI,EAAE,CAAC;aAClC,IAAI,EAAE,CAAC,aAAa;YAAE,IAAI,GAAG,iBAAiB,IAAI,IAAI,IAAI,EAAE,CAAC;;YAC7D,IAAI,GAAG,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IAC/B,CAAC;IAED,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,EAAE,CAAC,aAAa,CAAC,MAAM;QAC1B,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,EAAE,CAAC,aAAa,CAAC,MAAM;QAC1B,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,sBAAsB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACnD,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,GAAG,CAAC,CAAC;IAEpD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACzD,CAAC,CAAC;AAEF,wFAAwF;AACxF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,IAAc,EAAU,EAAE;IAC7D,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,MAAM,SAAS,GAAG,CACjB,EAAY,EACZ,KAAa,EACb,MAAuB,EAChB,EAAE;QACT,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3E,aAAa,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC1B,CAAC,CAAC;IAEF,MAAM,aAAa,GAAG,CAAC,EAAY,EAAE,KAAa,EAAQ,EAAE;QAC3D,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,MAAM,MAAM,GACX,EAAE,CAAC,QAAQ,KAAK,OAAO,IAAI,EAAE,CAAC,QAAQ,KAAK,gBAAgB,CAAC;YAC7D,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACpE,KAAK,MAAM,KAAK,IAAI,IAAI;gBAAE,SAAS,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3D,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,QAAQ;YAC9B,IAAI,CAAC,KAAK,CAAC,KAAK;gBAAE,SAAS,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC;IAEF,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzB,CAAC,CAAC"}

package/dist/helpers/sarif.d.ts

@@ -0,0 +1,21 @@
+import type { Log, PhysicalLocation, Region, ReportingDescriptor, Result } from "sarif";
+import type { Graph } from "../graph/graph.js";
+import type { FindingLevel } from "../types/literals.js";
+import type { FindingBody } from "../types/requests.js";
+import type { FindingSchema } from "../types/responses.js";
+export type FindingExchangeFormat = "bevor" | "sarif";
+export type SarifLevel = NonNullable<Result["level"]>;
+export declare const BEVOR_TOOL_VERSION = "0.0.1";
+export declare const BEVOR_TO_SARIF_LEVEL: Readonly<Record<FindingLevel, SarifLevel>>;
+export declare const SARIF_TO_BEVOR_LEVEL: Readonly<Record<SarifLevel, FindingLevel>>;
+export declare const ruleForFinding: (finding: FindingSchema) => ReportingDescriptor;
+/** Bevor-specific properties; SARIF property bags here carry strings only. */
+export declare const bevorProperties: (finding: FindingSchema) => Record<string, Record<string, string>>;
+export declare const resultFromFinding: (finding: FindingSchema, location: PhysicalLocation) => Result;
+/** Line/column (1-indexed), byte and code-point offsets for a byte range of a UTF-8 file. */
+export declare const computeRegion: (content: Uint8Array, byteStart: number, byteEnd: number) => Region;
+/** Converts findings to a SARIF 2.1.0 log, one run per tool. The graph must be built. */
+export declare const bevorToSarif: (graph: Graph, findings: readonly FindingSchema[]) => Promise<Log>;
+/** Converts a SARIF log into finding bodies for `analyses.addFindings`. */
+export declare const sarifToBevor: (sarif: Log) => FindingBody[];
+//# sourceMappingURL=sarif.d.ts.map

package/dist/helpers/sarif.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sarif.d.ts","sourceRoot":"","sources":["../../src/helpers/sarif.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACX,GAAG,EACH,gBAAgB,EAChB,MAAM,EACN,mBAAmB,EACnB,MAAM,EAEN,MAAM,OAAO,CAAC;AACf,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,KAAK,EAAE,YAAY,EAAM,MAAM,sBAAsB,CAAC;AAC7D,OAAO,KAAK,EACX,WAAW,EAGX,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE3D,MAAM,MAAM,qBAAqB,GAAG,OAAO,GAAG,OAAO,CAAC;AACtD,MAAM,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;AAEtD,eAAO,MAAM,kBAAkB,UAAU,CAAC;AAE1C,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,MAAM,CAAC,YAAY,EAAE,UAAU,CAAC,CAM1E,CAAC;AAEH,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAM1E,CAAC;AA8BH,eAAO,MAAM,cAAc,YACjB,aAAa,KACpB,mBAKD,CAAC;AAEH,8EAA8E;AAC9E,eAAO,MAAM,eAAe,YAClB,aAAa,KACpB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAcvC,CAAC;AAEF,eAAO,MAAM,iBAAiB,YACpB,aAAa,YACZ,gBAAgB,KACxB,MASD,CAAC;AAEH,6FAA6F;AAC7F,eAAO,MAAM,aAAa,YAChB,UAAU,aACR,MAAM,WACR,MAAM,KACb,MAwBF,CAAC;AAoDF,yFAAyF;AACzF,eAAO,MAAM,YAAY,UACjB,KAAK,YACF,SAAS,aAAa,EAAE,KAChC,OAAO,CAAC,GAAG,CAyCb,CAAC;AAEF,2EAA2E;AAC3E,eAAO,MAAM,YAAY,UAAW,GAAG,KAAG,WAAW,EA+BpD,CAAC"}