ts-knowledge-graph 0.1.1

package/.env-sample

@@ -0,0 +1,34 @@
+# Copy to .env and pick ONE provider block below.
+# The agent uses the OpenAI-compatible chat-completions API, so any provider
+# exposing that surface works — only the three variables below change.
+#
+#   OPENAI_API_KEY    auth token for the provider (any non-empty string for local servers)
+#   OPENAI_BASE_URL   the provider's OpenAI-compatible endpoint (omit for openai.com)
+#   OPENAI_MODEL      model name, in the provider's naming scheme
+
+# --- OpenAI (default) -------------------------------------------------------
+OPENAI_API_KEY=sk-...
+# OPENAI_BASE_URL is not needed — defaults to https://api.openai.com/v1
+OPENAI_MODEL=gpt-5.1
+
+# --- OpenRouter (any model behind one key) ----------------------------------
+# OPENAI_API_KEY=sk-or-v1-...
+# OPENAI_BASE_URL=https://openrouter.ai/api/v1
+# OPENAI_MODEL=anthropic/claude-sonnet-4.5
+# OPENAI_MODEL=openai/gpt-5.1
+# OPENAI_MODEL=deepseek/deepseek-chat-v3.1
+
+# --- Ollama (local, free) ---------------------------------------------------
+# OPENAI_API_KEY=ollama
+# OPENAI_BASE_URL=http://localhost:11434/v1
+# OPENAI_MODEL=qwen2.5-coder:32b
+
+# --- LM Studio (local) ------------------------------------------------------
+# OPENAI_API_KEY=lm-studio
+# OPENAI_BASE_URL=http://localhost:1234/v1
+# OPENAI_MODEL=local-model
+
+# --- vLLM (self-hosted) -----------------------------------------------------
+# OPENAI_API_KEY=token-abc123
+# OPENAI_BASE_URL=http://localhost:8000/v1
+# OPENAI_MODEL=Qwen/Qwen2.5-Coder-32B-Instruct

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Jerome Etienne
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,153 @@
+# open_ts_optim_ai
+
+Parse TypeScript source code into a **knowledge graph**, then use that graph as
+the substrate for an autonomous AI agent that finds and applies code
+optimizations.
+
+## Why a graph
+
+An optimization agent constantly needs to reason about *blast radius*:
+
+- *If I rewrite this function, who calls it and what breaks?* — `CALLS` edges
+- *Is this export dead code I can delete?* — cross-file reference resolution
+- *What is affected if I change this type?* — `USES_TYPE` / type-checker edges
+
+These questions require **semantic** parsing (symbol + type resolution), which is
+why the extractor is built on [`ts-morph`](https://ts-morph.com) (the TypeScript
+Compiler API) rather than a syntax-only parser.
+
+## Graph model
+
+**Nodes** — `Module`, `Class`, `Interface`, `TypeAlias`, `Enum`, `Function`,
+`Method`, `Property`, `Parameter`, `Variable`, `ExternalModule`.
+
+**Edges**
+
+| Layer | Edges |
+| --- | --- |
+| Structural | `CONTAINS`, `IMPORTS`, `EXPORTS` |
+| Type | `EXTENDS`, `IMPLEMENTS`, `USES_TYPE`, `RETURNS`, `PARAM_TYPE` |
+| Behavioral | `CALLS`, `INSTANTIATES`, `OVERRIDES`, `READS`, `WRITES` |
+
+The structural layer is cheap and always emitted. The type + behavioral layers
+require symbol resolution and are emitted with `--semantic`.
+
+## Usage
+
+```bash
+npm install
+
+# structural graph only (fast)
+npm run extract -- <path-to-project>
+
+# full graph with heritage + CALLS edges
+npm run extract -- <path-to-project> --semantic
+```
+
+Output is two JSONL files — `outputs/graph/nodes.jsonl` and
+`outputs/graph/edges.jsonl` (override with `--out`) — one record per line, easy
+to inspect, diff, and load into any store.
+
+### Querying the graph
+
+Load the JSONL into an embedded [Kùzu](https://kuzudb.com) database, then run the
+query tools:
+
+```bash
+npm run dev -- load        # reads ./outputs/graph, writes ./outputs/graph.kuzu
+
+npm run dev -- find <name>                 # resolve a name to node ids
+npm run dev -- who-calls <id>              # direct callers of a symbol
+npm run dev -- calls <id>                  # what a symbol calls
+npm run dev -- blast-radius <id> --depth 10  # transitive callers (impact set)
+npm run dev -- references <id>             # everything that references a symbol/type
+npm run dev -- dead-exports                # exported symbols with no inbound refs
+npm run dev -- neighbors <id>              # one-hop neighbourhood (in + out)
+```
+
+Every query command accepts `--json` to emit machine-readable output — this is
+the shape the optimization agent consumes. Node ids come from `find` or another
+query's results; do not hand-write them.
+
+The query methods on `GraphQuery` (`whoCalls`, `blastRadius`, `deadExports`,
+`neighborhood`, …) are designed to map one-to-one onto agent tools: JSON in,
+JSON out.
+
+> **`dead-exports` accuracy:** it is member-aware (a class/interface counts as
+> live when any contained member is referenced) and considers `CALLS`,
+> `EXTENDS`, `IMPLEMENTS`, `USES_TYPE`, `RETURNS`, `PARAM_TYPE`, `INSTANTIATES`,
+> and `READS` (value-identifier) edges. On this repository it reports exactly the
+> two genuinely-unused type aliases — no false positives.
+
+### The optimization agent
+
+The end goal: an agent that uses the graph to find and apply optimizations,
+verifying each one before keeping it.
+
+```bash
+cp .env-sample .env                 # pick a provider block, set key + model
+npm run dev -- optimize --db ./outputs/graph.kuzu
+npm run dev -- optimize "Inline the single-use helper X" --db ./outputs/graph.kuzu --model gpt-5.1
+```
+
+The LLM layer sits on the **OpenAI-compatible chat-completions API**, so any
+provider exposing that surface works — OpenAI, OpenRouter, Ollama, LM Studio,
+vLLM — configured entirely through `OPENAI_API_KEY`, `OPENAI_BASE_URL`, and
+`OPENAI_MODEL` (see [.env-sample](.env-sample)).
+
+The agent runs a tool-calling loop. Its tools are the read-only `GraphQuery`
+methods plus `read_file`; it gathers context, confirms blast radius, then calls
+`propose_optimization`. The harness **applies the edit, runs `tsc --noEmit`,
+and keeps it only if type-checking passes** — otherwise it reverts and hands
+the compiler errors back for another attempt. Edits are unique-match
+find/replace with in-memory backups; run on a clean git tree so you can review
+(and `git checkout`) what it kept.
+
+## Architecture
+
+```
+src/
+  schema/        Zod schemas for nodes and edges (the wire format)
+  extract/
+    project-loader.ts        load a ts-morph Project from tsconfig
+    node-id.ts               deterministic, position-stable node ids
+    structural-extractor.ts  modules, declarations, imports, containment
+    semantic-extractor.ts    heritage, CALLS, INSTANTIATES, type edges
+    graph-builder.ts         orchestrates extraction, dedupes by id
+  store/
+    jsonl-store.ts           serialize the graph to JSONL
+    jsonl-reader.ts          read + Zod-validate the JSONL back in
+    kuzu-store.ts            load the graph into embedded Kùzu, run Cypher
+  query/
+    graph-query.ts           the agent's query tools (who-calls, blast-radius…)
+  agent/
+    agent-tools.ts           graph queries + read_file + propose_optimization, as LLM tools
+    code-editor.ts           unique-match find/replace with in-memory backup + revert
+    verifier.ts              runs `tsc --noEmit`, returns pass/fail + output
+    optimizer-agent.ts       the LLM tool-calling loop (propose → verify → keep/revert)
+  cli.ts                     extract / load / query / optimize commands
+```
+
+Node ids are derived purely from the declaration (`kind:relPath#name@line`), so
+any extractor computes the same id for the same symbol without a shared
+registry — that is what lets the semantic layer link a call site to the exact
+declaration node the structural layer emitted.
+
+## Roadmap
+
+- [x] **Embedded query layer** — load into [Kùzu](https://kuzudb.com) (embedded,
+  Cypher) with traversal tools: `who-calls`, `calls`, `blast-radius`,
+  `dead-exports`, `neighbors`, `find`.
+- [x] **Type edges** — `USES_TYPE`, `RETURNS`, `PARAM_TYPE` (plus `INSTANTIATES`)
+  resolved through import aliases.
+- [x] **Member-aware reference counting** — a class/interface is live when any
+  contained member is referenced.
+- [x] **Value-reference (`READS`) edges** — value-identifier usage, so exported
+  `const`s (e.g. schemas) are no longer false-positive dead exports.
+- [x] **Optimization agent** — an LLM tool-calling loop (OpenAI-compatible API,
+  provider-agnostic) that proposes edits and keeps them only if `tsc --noEmit`
+  passes (otherwise reverts).
+- [ ] **Test verification** — run the test suite alongside `tsc` in the verify
+  step, so behavior-changing edits are caught, not just type errors.
+- [ ] **Vector index** — embed per-node summaries for hybrid graph + semantic
+  retrieval, so the agent can find candidates by meaning, not just by name.

package/dist/agent/agent-tools.d.ts

@@ -0,0 +1,13 @@
+import OpenAI from 'openai';
+import { GraphQuery } from '../query/graph-query.js';
+export declare const PROPOSE_TOOL_NAME = "propose_optimization";
+export declare const AGENT_TOOLS: OpenAI.Chat.Completions.ChatCompletionTool[];
+export declare class AgentTools {
+    private readonly query;
+    private readonly rootPath;
+    constructor(query: GraphQuery, rootPath: string);
+    dispatch(name: string, input: Record<string, unknown>): Promise<string>;
+    private readFile;
+    private static stringify;
+}
+//# sourceMappingURL=agent-tools.d.ts.map

package/dist/agent/agent-tools.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-tools.d.ts","sourceRoot":"","sources":["../../src/agent/agent-tools.ts"],"names":[],"mappings":"AAEA,OAAO,MAAM,MAAM,QAAQ,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAErD,eAAO,MAAM,iBAAiB,yBAAyB,CAAC;AAExD,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,kBAAkB,EAyGnE,CAAC;AAEF,qBAAa,UAAU;IACtB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAa;IACnC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAS;gBAEtB,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM;IAKzC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;YAqB/D,QAAQ;IAetB,OAAO,CAAC,MAAM,CAAC,SAAS;CAGxB"}

package/dist/agent/agent-tools.js

@@ -0,0 +1,153 @@
+import { readFile } from 'node:fs/promises';
+import { resolve } from 'node:path';
+export const PROPOSE_TOOL_NAME = 'propose_optimization';
+export const AGENT_TOOLS = [
+    {
+        type: 'function',
+        function: {
+            name: 'find_symbol',
+            description: 'Resolve a symbol name (substring, case-insensitive) to candidate node ids. Always start here to obtain ids; never invent ids.',
+            parameters: {
+                type: 'object',
+                properties: { name: { type: 'string', description: 'symbol name or substring' } },
+                required: ['name'],
+            },
+        },
+    },
+    {
+        type: 'function',
+        function: {
+            name: 'who_calls',
+            description: 'List the direct callers of a function/method node id.',
+            parameters: {
+                type: 'object',
+                properties: { id: { type: 'string', description: 'node id from find_symbol' } },
+                required: ['id'],
+            },
+        },
+    },
+    {
+        type: 'function',
+        function: {
+            name: 'references',
+            description: 'List everything that references a symbol or type (calls, type usage, heritage, instantiation, value reads). Use this to judge whether a symbol is safe to remove.',
+            parameters: {
+                type: 'object',
+                properties: { id: { type: 'string', description: 'node id from find_symbol' } },
+                required: ['id'],
+            },
+        },
+    },
+    {
+        type: 'function',
+        function: {
+            name: 'blast_radius',
+            description: 'List every symbol transitively impacted by changing a node id (transitive callers).',
+            parameters: {
+                type: 'object',
+                properties: {
+                    id: { type: 'string', description: 'node id from find_symbol' },
+                    depth: { type: 'integer', description: 'max traversal depth (default 10)' },
+                },
+                required: ['id'],
+            },
+        },
+    },
+    {
+        type: 'function',
+        function: {
+            name: 'neighbors',
+            description: 'Show the one-hop neighbourhood (incoming and outgoing edges) of a node id.',
+            parameters: {
+                type: 'object',
+                properties: { id: { type: 'string', description: 'node id from find_symbol' } },
+                required: ['id'],
+            },
+        },
+    },
+    {
+        type: 'function',
+        function: {
+            name: 'dead_exports',
+            description: 'List exported symbols that have no inbound references anywhere in the project — prime candidates for safe removal.',
+            parameters: { type: 'object', properties: {} },
+        },
+    },
+    {
+        type: 'function',
+        function: {
+            name: 'read_file',
+            description: 'Read a project source file (optionally a line range) to see exact text before proposing an edit.',
+            parameters: {
+                type: 'object',
+                properties: {
+                    path: { type: 'string', description: 'project-relative file path, e.g. src/schema/node.ts' },
+                    startLine: { type: 'integer', description: 'first line (1-based, optional)' },
+                    endLine: { type: 'integer', description: 'last line (inclusive, optional)' },
+                },
+                required: ['path'],
+            },
+        },
+    },
+    {
+        type: 'function',
+        function: {
+            name: PROPOSE_TOOL_NAME,
+            description: 'Propose ONE safe edit. The harness applies it, runs the TypeScript type-checker, and keeps it only if type-checking passes (otherwise it is reverted and you get the errors). `find` must match the file exactly and uniquely.',
+            parameters: {
+                type: 'object',
+                properties: {
+                    filePath: { type: 'string', description: 'project-relative file path' },
+                    find: { type: 'string', description: 'exact text to replace (must be unique in the file)' },
+                    replace: { type: 'string', description: 'replacement text (empty string to delete)' },
+                    rationale: { type: 'string', description: 'why this change is safe and beneficial' },
+                },
+                required: ['filePath', 'find', 'replace', 'rationale'],
+            },
+        },
+    },
+];
+export class AgentTools {
+    constructor(query, rootPath) {
+        this.query = query;
+        this.rootPath = rootPath;
+    }
+    async dispatch(name, input) {
+        switch (name) {
+            case 'find_symbol':
+                return AgentTools.stringify(await this.query.find(String(input.name)));
+            case 'who_calls':
+                return AgentTools.stringify(await this.query.whoCalls(String(input.id)));
+            case 'references':
+                return AgentTools.stringify(await this.query.references(String(input.id)));
+            case 'blast_radius':
+                return AgentTools.stringify(await this.query.blastRadius(String(input.id), Number(input.depth ?? 10)));
+            case 'neighbors':
+                return AgentTools.stringify(await this.query.neighborhood(String(input.id)));
+            case 'dead_exports':
+                return AgentTools.stringify(await this.query.deadExports());
+            case 'read_file':
+                return this.readFile(input);
+            default:
+                return `unknown tool: ${name}`;
+        }
+    }
+    async readFile(input) {
+        const absolute = resolve(this.rootPath, String(input.path));
+        const content = await readFile(absolute, 'utf8').catch(() => undefined);
+        if (content === undefined) {
+            return `file not found: ${String(input.path)}`;
+        }
+        const lines = content.split('\n');
+        const start = input.startLine === undefined ? 1 : Number(input.startLine);
+        const end = input.endLine === undefined ? lines.length : Number(input.endLine);
+        return lines
+            .slice(start - 1, end)
+            .map((line, index) => `${start + index}\t${line}`)
+            .join('\n');
+    }
+    static stringify(value) {
+        return JSON.stringify(value, null, 2);
+    }
+}
+//# sourceMappingURL=agent-tools.js.map

package/dist/agent/agent-tools.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-tools.js","sourceRoot":"","sources":["../../src/agent/agent-tools.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAIpC,MAAM,CAAC,MAAM,iBAAiB,GAAG,sBAAsB,CAAC;AAExD,MAAM,CAAC,MAAM,WAAW,GAAiD;IACxE;QACC,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE;YACT,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,+HAA+H;YAC5I,UAAU,EAAE;gBACX,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,0BAA0B,EAAE,EAAE;gBACjF,QAAQ,EAAE,CAAC,MAAM,CAAC;aAClB;SACD;KACD;IACD;QACC,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE;YACT,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,uDAAuD;YACpE,UAAU,EAAE;gBACX,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,0BAA0B,EAAE,EAAE;gBAC/E,QAAQ,EAAE,CAAC,IAAI,CAAC;aAChB;SACD;KACD;IACD;QACC,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE;YACT,IAAI,EAAE,YAAY;YAClB,WAAW,EAAE,mKAAmK;YAChL,UAAU,EAAE;gBACX,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,0BAA0B,EAAE,EAAE;gBAC/E,QAAQ,EAAE,CAAC,IAAI,CAAC;aAChB;SACD;KACD;IACD;QACC,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE;YACT,IAAI,EAAE,cAAc;YACpB,WAAW,EAAE,qFAAqF;YAClG,UAAU,EAAE;gBACX,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACX,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,0BAA0B,EAAE;oBAC/D,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,kCAAkC,EAAE;iBAC3E;gBACD,QAAQ,EAAE,CAAC,IAAI,CAAC;aAChB;SACD;KACD;IACD;QACC,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE;YACT,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,4EAA4E;YACzF,UAAU,EAAE;gBACX,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,0BAA0B,EAAE,EAAE;gBAC/E,QAAQ,EAAE,CAAC,IAAI,CAAC;aAChB;SACD;KACD;IACD;QACC,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE;YACT,IAAI,EAAE,cAAc;YACpB,WAAW,EAAE,oHAAoH;YACjI,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE;SAC9C;KACD;IACD;QACC,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE;YACT,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,kGAAkG;YAC/G,UAAU,EAAE;gBACX,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACX,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,qDAAqD,EAAE;oBAC5F,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,gCAAgC,EAAE;oBAC7E,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,iCAAiC,EAAE;iBAC5E;gBACD,QAAQ,EAAE,CAAC,MAAM,CAAC;aAClB;SACD;KACD;IACD;QACC,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE;YACT,IAAI,EAAE,iBAAiB;YACvB,WAAW,EAAE,gOAAgO;YAC7O,UAAU,EAAE;gBACX,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACX,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,4BAA4B,EAAE;oBACvE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,oDAAoD,EAAE;oBAC3F,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,2CAA2C,EAAE;oBACrF,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,wCAAwC,EAAE;iBACpF;gBACD,QAAQ,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC;aACtD;SACD;KACD;CACD,CAAC;AAEF,MAAM,OAAO,UAAU;IAItB,YAAY,KAAiB,EAAE,QAAgB;QAC9C,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC1B,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,IAAY,EAAE,KAA8B;QAC1D,QAAQ,IAAI,EAAE,CAAC;YACd,KAAK,aAAa;gBACjB,OAAO,UAAU,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxE,KAAK,WAAW;gBACf,OAAO,UAAU,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC1E,KAAK,YAAY;gBAChB,OAAO,UAAU,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC5E,KAAK,cAAc;gBAClB,OAAO,UAAU,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACxG,KAAK,WAAW;gBACf,OAAO,UAAU,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9E,KAAK,cAAc;gBAClB,OAAO,UAAU,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;YAC7D,KAAK,WAAW;gBACf,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC7B;gBACC,OAAO,iBAAiB,IAAI,EAAE,CAAC;QACjC,CAAC;IACF,CAAC;IAEO,KAAK,CAAC,QAAQ,CAAC,KAA8B;QACpD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACxE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,mBAAmB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1E,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/E,OAAO,KAAK;aACV,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC;aACrB,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,KAAK,KAAK,IAAI,EAAE,CAAC;aACjD,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,CAAC;IAEO,MAAM,CAAC,SAAS,CAAC,KAAc;QACtC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC;CACD"}

package/dist/agent/code-editor.d.ts

@@ -0,0 +1,18 @@
+export type EditRequest = {
+    filePath: string;
+    find: string;
+    replace: string;
+};
+export type EditResult = {
+    ok: boolean;
+    message: string;
+};
+export declare class CodeEditor {
+    private readonly rootPath;
+    private readonly backups;
+    constructor(rootPath: string);
+    apply(request: EditRequest): Promise<EditResult>;
+    revert(filePath: string): Promise<void>;
+    private static readSafe;
+}
+//# sourceMappingURL=code-editor.d.ts.map

package/dist/agent/code-editor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-editor.d.ts","sourceRoot":"","sources":["../../src/agent/code-editor.ts"],"names":[],"mappings":"AAGA,MAAM,MAAM,WAAW,GAAG;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACxB,EAAE,EAAE,OAAO,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,qBAAa,UAAU;IACtB,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAS;IAClC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA6B;gBAEzC,QAAQ,EAAE,MAAM;IAItB,KAAK,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC;IAoBhD,MAAM,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;mBAQxB,QAAQ;CAO7B"}

package/dist/agent/code-editor.js

@@ -0,0 +1,43 @@
+import { readFile, writeFile } from 'node:fs/promises';
+import { resolve } from 'node:path';
+export class CodeEditor {
+    constructor(rootPath) {
+        this.backups = new Map();
+        this.rootPath = rootPath;
+    }
+    async apply(request) {
+        const absolute = resolve(this.rootPath, request.filePath);
+        const original = await CodeEditor.readSafe(absolute);
+        if (original === undefined) {
+            return { ok: false, message: `file not found: ${request.filePath}` };
+        }
+        const occurrences = original.split(request.find).length - 1;
+        if (occurrences === 0) {
+            return { ok: false, message: 'find text not found in file' };
+        }
+        if (occurrences > 1) {
+            return { ok: false, message: `find text matched ${occurrences} times; include more surrounding context to make it unique` };
+        }
+        if (this.backups.has(absolute) === false) {
+            this.backups.set(absolute, original);
+        }
+        await writeFile(absolute, original.replace(request.find, request.replace), 'utf8');
+        return { ok: true, message: 'applied' };
+    }
+    async revert(filePath) {
+        const absolute = resolve(this.rootPath, filePath);
+        const original = this.backups.get(absolute);
+        if (original !== undefined) {
+            await writeFile(absolute, original, 'utf8');
+        }
+    }
+    static async readSafe(absolute) {
+        try {
+            return await readFile(absolute, 'utf8');
+        }
+        catch {
+            return undefined;
+        }
+    }
+}
+//# sourceMappingURL=code-editor.js.map

package/dist/agent/code-editor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-editor.js","sourceRoot":"","sources":["../../src/agent/code-editor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAapC,MAAM,OAAO,UAAU;IAItB,YAAY,QAAgB;QAFX,YAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;QAGpD,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC1B,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,OAAoB;QAC/B,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC1D,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACrD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,mBAAmB,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;QACtE,CAAC;QACD,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QAC5D,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAAC;QAC9D,CAAC;QACD,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;YACrB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,qBAAqB,WAAW,4DAA4D,EAAE,CAAC;QAC7H,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,KAAK,EAAE,CAAC;YAC1C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC;QACD,MAAM,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;QACnF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACzC,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,QAAgB;QAC5B,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC7C,CAAC;IACF,CAAC;IAEO,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAgB;QAC7C,IAAI,CAAC;YACJ,OAAO,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,SAAS,CAAC;QAClB,CAAC;IACF,CAAC;CACD"}

package/dist/agent/optimizer-agent.d.ts

@@ -0,0 +1,30 @@
+import { AgentTools } from './agent-tools.js';
+import { CodeEditor } from './code-editor.js';
+export type AppliedEdit = {
+    filePath: string;
+    rationale: string;
+};
+export type OptimizeOutcome = {
+    applied: AppliedEdit[];
+    transcript: string[];
+};
+export type OptimizerParams = {
+    tools: AgentTools;
+    editor: CodeEditor;
+    rootPath: string;
+    model: string;
+    maxSteps?: number;
+};
+export declare class OptimizerAgent {
+    private readonly client;
+    private readonly tools;
+    private readonly editor;
+    private readonly rootPath;
+    private readonly model;
+    private readonly maxSteps;
+    constructor(params: OptimizerParams);
+    run(task: string): Promise<OptimizeOutcome>;
+    private applyAndVerify;
+    private static parseArguments;
+}
+//# sourceMappingURL=optimizer-agent.d.ts.map

package/dist/agent/optimizer-agent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"optimizer-agent.d.ts","sourceRoot":"","sources":["../../src/agent/optimizer-agent.ts"],"names":[],"mappings":"AACA,OAAO,EAAe,UAAU,EAAqB,MAAM,kBAAkB,CAAC;AAC9E,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAmB9C,MAAM,MAAM,WAAW,GAAG;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC7B,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,UAAU,EAAE,MAAM,EAAE,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC7B,KAAK,EAAE,UAAU,CAAC;IAClB,MAAM,EAAE,UAAU,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,qBAAa,cAAc;IAC1B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAS;IAChC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAa;IACnC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAa;IACpC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAS;IAClC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAS;IAC/B,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAS;gBAEtB,MAAM,EAAE,eAAe;IAS7B,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC;YA0CnC,cAAc;IA4B5B,OAAO,CAAC,MAAM,CAAC,cAAc;CAW7B"}

package/dist/agent/optimizer-agent.js

@@ -0,0 +1,97 @@
+import OpenAI from 'openai';
+import { AGENT_TOOLS, PROPOSE_TOOL_NAME } from './agent-tools.js';
+import { Verifier } from './verifier.js';
+const SYSTEM_PROMPT = `You are an autonomous TypeScript optimization agent working on a real codebase.
+
+You have a code knowledge graph at your disposal through tools. Use it as your eyes.
+
+Method (follow it):
+1. Find a candidate. Dead code is the safest win — call dead_exports first, or find_symbol for a named target.
+2. Understand the blast radius. Before proposing ANY change you MUST confirm safety with references / who_calls / blast_radius. A symbol is safe to remove only when it has zero inbound references.
+3. Read the exact text with read_file so your edit matches the file precisely.
+4. Propose exactly ONE edit via ${PROPOSE_TOOL_NAME}. The harness type-checks it and keeps it only if the check passes; on failure you receive the compiler errors and must fix or abandon.
+
+Rules:
+- ids come from tool results; never invent them.
+- Act autonomously — do not ask the user questions. Make the call yourself.
+- Prefer removing genuinely dead exports or behavior-preserving simplifications. Never change observable behavior.
+- When you have applied a verified improvement (or concluded there is no safe one), stop and summarize.`;
+export class OptimizerAgent {
+    constructor(params) {
+        this.client = new OpenAI();
+        this.tools = params.tools;
+        this.editor = params.editor;
+        this.rootPath = params.rootPath;
+        this.model = params.model;
+        this.maxSteps = params.maxSteps ?? 12;
+    }
+    async run(task) {
+        const messages = [
+            { role: 'system', content: SYSTEM_PROMPT },
+            { role: 'user', content: task },
+        ];
+        const applied = [];
+        const transcript = [];
+        for (let step = 0; step < this.maxSteps; step += 1) {
+            const completion = await this.client.chat.completions.create({
+                model: this.model,
+                messages,
+                tools: AGENT_TOOLS,
+            });
+            const message = completion.choices[0].message;
+            messages.push(message);
+            if (typeof message.content === 'string' && message.content.length > 0) {
+                transcript.push(message.content);
+            }
+            const toolCalls = message.tool_calls ?? [];
+            if (toolCalls.length === 0) {
+                break;
+            }
+            for (const call of toolCalls) {
+                if (call.type !== 'function') {
+                    messages.push({ role: 'tool', tool_call_id: call.id, content: 'unsupported tool call type' });
+                    continue;
+                }
+                const input = OptimizerAgent.parseArguments(call.function.arguments);
+                const content = call.function.name === PROPOSE_TOOL_NAME
+                    ? await this.applyAndVerify(input, applied, transcript)
+                    : await this.tools.dispatch(call.function.name, input);
+                messages.push({ role: 'tool', tool_call_id: call.id, content });
+            }
+        }
+        return { applied, transcript };
+    }
+    async applyAndVerify(input, applied, transcript) {
+        const request = {
+            filePath: String(input.filePath),
+            find: String(input.find),
+            replace: String(input.replace),
+        };
+        const rationale = String(input.rationale ?? '');
+        const edit = await this.editor.apply(request);
+        if (edit.ok === false) {
+            return `EDIT REJECTED: ${edit.message}`;
+        }
+        const verify = await Verifier.typecheck(this.rootPath);
+        if (verify.ok === false) {
+            await this.editor.revert(request.filePath);
+            return `TYPECHECK FAILED — change reverted. Fix the approach or abandon it. Compiler output:\n${verify.output}`;
+        }
+        applied.push({ filePath: request.filePath, rationale });
+        transcript.push(`APPLIED ${request.filePath} — ${rationale}`);
+        return 'VERIFIED: the type-checker passed and the edit was kept.';
+    }
+    static parseArguments(raw) {
+        try {
+            const parsed = JSON.parse(raw);
+            if (typeof parsed === 'object' && parsed !== null) {
+                return parsed;
+            }
+            return {};
+        }
+        catch {
+            return {};
+        }
+    }
+}
+//# sourceMappingURL=optimizer-agent.js.map

package/dist/agent/optimizer-agent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"optimizer-agent.js","sourceRoot":"","sources":["../../src/agent/optimizer-agent.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,QAAQ,CAAC;AAC5B,OAAO,EAAE,WAAW,EAAc,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAE9E,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEzC,MAAM,aAAa,GAAG;;;;;;;;kCAQY,iBAAiB;;;;;;wGAMqD,CAAC;AAoBzG,MAAM,OAAO,cAAc;IAQ1B,YAAY,MAAuB;QAClC,IAAI,CAAC,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAC1B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC5B,IAAI,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;QAChC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAC1B,IAAI,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC;IACvC,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,IAAY;QACrB,MAAM,QAAQ,GAAyD;YACtE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE;YAC1C,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;SAC/B,CAAC;QACF,MAAM,OAAO,GAAkB,EAAE,CAAC;QAClC,MAAM,UAAU,GAAa,EAAE,CAAC;QAEhC,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;YACpD,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;gBAC5D,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,QAAQ;gBACR,KAAK,EAAE,WAAW;aAClB,CAAC,CAAC;YACH,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAC9C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAEvB,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvE,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YAClC,CAAC;YAED,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;YAC3C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM;YACP,CAAC;YAED,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;gBAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC,CAAC;oBAC9F,SAAS;gBACV,CAAC;gBACD,MAAM,KAAK,GAAG,cAAc,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;gBACrE,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,iBAAiB;oBACvD,CAAC,CAAC,MAAM,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;oBACvD,CAAC,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACxD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;YACjE,CAAC;QACF,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IAChC,CAAC;IAEO,KAAK,CAAC,cAAc,CAC3B,KAA8B,EAC9B,OAAsB,EACtB,UAAoB;QAEpB,MAAM,OAAO,GAAG;YACf,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC;YAChC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;YACxB,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;SAC9B,CAAC;QACF,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QAEhD,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;YACvB,OAAO,kBAAkB,IAAI,CAAC,OAAO,EAAE,CAAC;QACzC,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvD,IAAI,MAAM,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC3C,OAAO,yFAAyF,MAAM,CAAC,MAAM,EAAE,CAAC;QACjH,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QACxD,UAAU,CAAC,IAAI,CAAC,WAAW,OAAO,CAAC,QAAQ,MAAM,SAAS,EAAE,CAAC,CAAC;QAC9D,OAAO,0DAA0D,CAAC;IACnE,CAAC;IAEO,MAAM,CAAC,cAAc,CAAC,GAAW;QACxC,IAAI,CAAC;YACJ,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACxC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBACnD,OAAO,MAAiC,CAAC;YAC1C,CAAC;YACD,OAAO,EAAE,CAAC;QACX,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,EAAE,CAAC;QACX,CAAC;IACF,CAAC;CACD"}

package/dist/agent/verifier.d.ts

@@ -0,0 +1,9 @@
+export type VerifyResult = {
+    ok: boolean;
+    output: string;
+};
+export declare class Verifier {
+    static typecheck(rootPath: string): Promise<VerifyResult>;
+    private static runCommand;
+}
+//# sourceMappingURL=verifier.d.ts.map

package/dist/agent/verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.d.ts","sourceRoot":"","sources":["../../src/agent/verifier.ts"],"names":[],"mappings":"AAKA,MAAM,MAAM,YAAY,GAAG;IAC1B,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,qBAAa,QAAQ;WACP,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC;mBAI1C,UAAU;CAS/B"}

package/dist/agent/verifier.js

@@ -0,0 +1,19 @@
+import { exec } from 'node:child_process';
+import { promisify } from 'node:util';
+const run = promisify(exec);
+export class Verifier {
+    static async typecheck(rootPath) {
+        return Verifier.runCommand('npx tsc --noEmit', rootPath);
+    }
+    static async runCommand(command, cwd) {
+        try {
+            const { stdout, stderr } = await run(command, { cwd, maxBuffer: 10 * 1024 * 1024 });
+            return { ok: true, output: `${stdout}${stderr}`.trim() };
+        }
+        catch (error) {
+            const shaped = error;
+            return { ok: false, output: `${shaped.stdout ?? ''}${shaped.stderr ?? ''}`.trim() };
+        }
+    }
+}
+//# sourceMappingURL=verifier.js.map

package/dist/agent/verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.js","sourceRoot":"","sources":["../../src/agent/verifier.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;AAO5B,MAAM,OAAO,QAAQ;IACpB,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,QAAgB;QACtC,OAAO,QAAQ,CAAC,UAAU,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC;IAC1D,CAAC;IAEO,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,OAAe,EAAE,GAAW;QAC3D,IAAI,CAAC;YACJ,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,CAAC,OAAO,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI,EAAE,CAAC,CAAC;YACpF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1D,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,MAAM,MAAM,GAAG,KAA6C,CAAC;YAC7D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;QACrF,CAAC;IACF,CAAC;CACD"}