ts-knowledge-graph 0.1.1 → 0.1.4

package/dist/store/kuzu_store.js

@@ -0,0 +1,156 @@
+import { mkdirSync } from 'node:fs';
+import { dirname } from 'node:path';
+import { Connection, Database } from 'kuzu';
+const SCHEMA = [
+    'CREATE NODE TABLE IF NOT EXISTS GraphNode (id STRING, kind STRING, name STRING, filePath STRING, exported BOOLEAN, startLine INT64, endLine INT64, metadata STRING, PRIMARY KEY (id))',
+    'CREATE REL TABLE IF NOT EXISTS Edge (FROM GraphNode TO GraphNode, kind STRING, metadata STRING)',
+    'CREATE NODE TABLE IF NOT EXISTS GraphMeta (key STRING, value STRING, PRIMARY KEY (key))',
+];
+export class KuzuStore {
+    constructor(dbPath) {
+        mkdirSync(dirname(dbPath), { recursive: true });
+        this.db = new Database(dbPath);
+        this.conn = new Connection(this.db);
+    }
+    async initSchema() {
+        for (const statement of SCHEMA) {
+            KuzuStore.closeResults(await this.conn.query(statement));
+        }
+    }
+    async load(nodes, edges) {
+        const nodeStmt = await this.conn.prepare('MERGE (n:GraphNode {id: $id}) SET n.kind = $kind, n.name = $name, n.filePath = $filePath, n.exported = $exported, n.startLine = $startLine, n.endLine = $endLine, n.metadata = $metadata');
+        for (const node of nodes) {
+            KuzuStore.closeResults(await this.conn.execute(nodeStmt, {
+                id: node.id,
+                kind: node.kind,
+                name: node.name,
+                filePath: node.filePath,
+                exported: node.exported ?? false,
+                startLine: node.range?.startLine ?? 0,
+                endLine: node.range?.endLine ?? 0,
+                metadata: KuzuStore.encodeMetadata(node.metadata),
+            }));
+        }
+        const edgeStmt = await this.conn.prepare('MATCH (f:GraphNode {id: $from}), (t:GraphNode {id: $to}) MERGE (f)-[e:Edge {kind: $kind}]->(t) SET e.metadata = $metadata');
+        for (const edge of edges) {
+            KuzuStore.closeResults(await this.conn.execute(edgeStmt, {
+                from: edge.from,
+                to: edge.to,
+                kind: edge.kind,
+                metadata: KuzuStore.encodeMetadata(edge.metadata),
+            }));
+        }
+    }
+    /**
+     * Reads every node back from the store, decoding the `metadata` column. Used
+     * by enrichment to resolve profile frames against the loaded graph's ranges
+     * and to merge new metadata onto existing records.
+     */
+    async readNodes() {
+        const rows = await this.run('MATCH (n:GraphNode) RETURN n.id AS id, n.kind AS kind, n.name AS name, n.filePath AS filePath, n.startLine AS startLine, n.endLine AS endLine, n.metadata AS metadata');
+        return rows.map((row) => ({
+            id: String(row.id),
+            kind: String(row.kind),
+            name: String(row.name),
+            filePath: String(row.filePath),
+            startLine: Number(row.startLine),
+            endLine: Number(row.endLine),
+            metadata: KuzuStore.decodeMetadata(row.metadata),
+        }));
+    }
+    /**
+     * Overwrites the `metadata` column for the given nodes. The caller is
+     * responsible for merging so that only the intended keys change; passing the
+     * full record keeps the write idempotent for unchanged keys.
+     */
+    async writeNodeMetadata(entries) {
+        if (entries.length === 0) {
+            return;
+        }
+        const stmt = await this.conn.prepare('MATCH (n:GraphNode {id: $id}) SET n.metadata = $metadata');
+        for (const entry of entries) {
+            KuzuStore.closeResults(await this.conn.execute(stmt, {
+                id: entry.id,
+                metadata: KuzuStore.encodeMetadata(entry.metadata),
+            }));
+        }
+    }
+    /**
+     * Writes a graph-level metadata record under `key` (a `GraphMeta` row), encoding
+     * the value as JSON. Used for facts about the whole graph rather than one node —
+     * e.g. the runtime ingest manifest `enrich` records for coverage reporting.
+     */
+    async writeGraphMeta(key, value) {
+        const stmt = await this.conn.prepare('MERGE (m:GraphMeta {key: $key}) SET m.value = $value');
+        KuzuStore.closeResults(await this.conn.execute(stmt, { key, value: KuzuStore.encodeMetadata(value) }));
+    }
+    /** Reads the graph-level metadata record stored under `key`, decoded, or null when absent. */
+    async readGraphMeta(key) {
+        const rows = await this.run('MATCH (m:GraphMeta {key: $key}) RETURN m.value AS value', { key });
+        if (rows.length === 0) {
+            return null;
+        }
+        return KuzuStore.decodeMetadata(rows[0].value);
+    }
+    /** Removes the graph-level metadata record stored under `key`, if any. */
+    async clearGraphMeta(key) {
+        const stmt = await this.conn.prepare('MATCH (m:GraphMeta {key: $key}) DELETE m');
+        KuzuStore.closeResults(await this.conn.execute(stmt, { key }));
+    }
+    /**
+     * Serializes an optional metadata record to a JSON string for storage in the
+     * `metadata` column. Absent metadata is stored as an empty object so the
+     * column is never null.
+     */
+    static encodeMetadata(metadata) {
+        return JSON.stringify(metadata ?? {});
+    }
+    /**
+     * Decodes the JSON `metadata` column back into a record. A missing, empty, or
+     * malformed value decodes to an empty object so callers always receive a record.
+     */
+    static decodeMetadata(value) {
+        if (typeof value !== 'string' || value.length === 0) {
+            return {};
+        }
+        try {
+            const parsed = JSON.parse(value);
+            if (typeof parsed === 'object' && parsed !== null) {
+                return parsed;
+            }
+            return {};
+        }
+        catch {
+            return {};
+        }
+    }
+    async run(cypher, params) {
+        const result = params === undefined
+            ? await this.conn.query(cypher)
+            : await this.conn.execute(await this.conn.prepare(cypher), params);
+        try {
+            return await KuzuStore.first(result).getAll();
+        }
+        finally {
+            KuzuStore.closeResults(result);
+        }
+    }
+    async close() {
+        await this.conn.close();
+        await this.db.close();
+    }
+    static first(result) {
+        return Array.isArray(result) ? result[0] : result;
+    }
+    /**
+     * Releases the native memory behind one or more query results. Results left
+     * unclosed are finalized after the database shuts down at process exit,
+     * which crashes the kuzu native module with a segmentation fault.
+     */
+    static closeResults(result) {
+        for (const item of Array.isArray(result) ? result : [result]) {
+            item.close();
+        }
+    }
+}
+//# sourceMappingURL=kuzu_store.js.map

package/dist/store/kuzu_store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kuzu_store.js","sourceRoot":"","sources":["../../src/store/kuzu_store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAe,MAAM,MAAM,CAAC;AAgBzD,MAAM,MAAM,GAAG;IACd,uLAAuL;IACvL,iGAAiG;IACjG,yFAAyF;CACzF,CAAC;AAEF,MAAM,OAAO,SAAS;IAIrB,YAAY,MAAc;QACzB,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,IAAI,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,IAAI,GAAG,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC;IAED,KAAK,CAAC,UAAU;QACf,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;YAChC,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;QAC1D,CAAC;IACF,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,KAAkB,EAAE,KAAkB;QAChD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CACvC,0LAA0L,CAC1L,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YAC1B,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE;gBACxD,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,KAAK;gBAChC,SAAS,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC;gBACrC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,IAAI,CAAC;gBACjC,QAAQ,EAAE,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC;aACjD,CAAC,CAAC,CAAC;QACL,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CACvC,2HAA2H,CAC3H,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YAC1B,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE;gBACxD,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,QAAQ,EAAE,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC;aACjD,CAAC,CAAC,CAAC;QACL,CAAC;IACF,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,SAAS;QACd,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,CAC1B,uKAAuK,CACvK,CAAC;QACF,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACzB,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YACtB,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YACtB,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC9B,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;YAChC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;YAC5B,QAAQ,EAAE,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC;SAChD,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,iBAAiB,CAAC,OAA4D;QACnF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO;QACR,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,0DAA0D,CAAC,CAAC;QACjG,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC7B,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE;gBACpD,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,QAAQ,EAAE,SAAS,CAAC,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC;aAClD,CAAC,CAAC,CAAC;QACL,CAAC;IACF,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,cAAc,CAAC,GAAW,EAAE,KAA8B;QAC/D,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,sDAAsD,CAAC,CAAC;QAC7F,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACxG,CAAC;IAED,8FAA8F;IAC9F,KAAK,CAAC,aAAa,CAAC,GAAW;QAC9B,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,yDAAyD,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QAChG,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,IAAI,CAAC;QACb,CAAC;QACD,OAAO,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC;IAED,0EAA0E;IAC1E,KAAK,CAAC,cAAc,CAAC,GAAW;QAC/B,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,0CAA0C,CAAC,CAAC;QACjF,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC;IAED;;;;OAIG;IACK,MAAM,CAAC,cAAc,CAAC,QAA6C;QAC1E,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;IACvC,CAAC;IAED;;;OAGG;IACK,MAAM,CAAC,cAAc,CAAC,KAAgB;QAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrD,OAAO,EAAE,CAAC;QACX,CAAC;QACD,IAAI,CAAC;YACJ,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC1C,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;IAED,KAAK,CAAC,GAAG,CAAC,MAAc,EAAE,MAAkC;QAC3D,MAAM,MAAM,GAAG,MAAM,KAAK,SAAS;YAClC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;YAC/B,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;QACpE,IAAI,CAAC;YACJ,OAAO,MAAM,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC;QAC/C,CAAC;gBAAS,CAAC;YACV,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAChC,CAAC;IACF,CAAC;IAED,KAAK,CAAC,KAAK;QACV,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QACxB,MAAM,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;IACvB,CAAC;IAEO,MAAM,CAAC,KAAK,CAAC,MAAmC;QACvD,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACnD,CAAC;IAED;;;;OAIG;IACK,MAAM,CAAC,YAAY,CAAC,MAAmC;QAC9D,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9D,IAAI,CAAC,KAAK,EAAE,CAAC;QACd,CAAC;IACF,CAAC;CACD"}

package/dist/verify/project_verifier.d.ts

@@ -0,0 +1,85 @@
+/**
+ * The reusable verify path for the optimization loop: run the project's
+ * type-check and test gates and reduce them to one pass/fail verdict, plus the
+ * honesty flags an agent needs (was *behaviour* verified, or only types?).
+ *
+ * A type-check proves the edit compiles; it cannot see a swapped operator, an
+ * off-by-one, or a dropped branch. Running the test suite alongside `tsc` is
+ * what turns "still compiles" into "still works". When a project has no test
+ * script the test gate degrades to skipped and {@link VerifyReport.behaviorVerified}
+ * stays false, so the caller can report the change as unverified rather than
+ * implying it was behaviourally checked.
+ */
+/** The two correctness gates, run in order. */
+export type CheckName = 'typecheck' | 'test';
+/** A gate ran and passed, ran and failed, or never ran. */
+export type CheckStatus = 'pass' | 'fail' | 'skipped';
+/** A gate resolved from the project's package.json: its command, or why it was skipped. */
+export type PlannedCheck = {
+    name: CheckName;
+    /** The shell command to run, or `null` when the gate is skipped. */
+    command: string | null;
+    /** Why the gate will not run (e.g. no matching npm script), set when `command` is null. */
+    skippedReason?: string;
+};
+/** The outcome of executing (or skipping) one gate. */
+export type CheckResult = {
+    name: CheckName;
+    command: string | null;
+    status: CheckStatus;
+    /** Process exit code; `null` when the gate was skipped or the process died on a signal. */
+    exitCode: number | null;
+    durationMs: number;
+    /** Combined stdout+stderr, tail-bounded to the last `outputTailLines` lines. */
+    output: string;
+    skippedReason?: string;
+};
+/** The single verdict the optimize loop consumes to keep or revert an edit. */
+export type VerifyReport = {
+    /** True when at least one gate ran and no gate that ran failed. */
+    ok: boolean;
+    /** True only when the test gate actually ran and passed — behaviour, not just types, was checked. */
+    behaviorVerified: boolean;
+    /** True when a gate was skipped (e.g. the project has no test script), so `ok` is weaker than a full pass. */
+    degraded: boolean;
+    checks: CheckResult[];
+    /** A one-line, quotable verdict that states exactly what was and was not verified. */
+    summary: string;
+};
+export type VerifyOptions = {
+    /** Project root whose package.json is read and whose scripts are run. Defaults to `process.cwd()`. */
+    cwd?: string;
+    /** npm script name for the type-check gate. Default `typecheck`. */
+    typecheckScript?: string;
+    /** npm script name for the test gate. Default `test`. */
+    testScript?: string;
+    /** Skip the type-check gate entirely. */
+    skipTypecheck?: boolean;
+    /** Skip the test gate entirely (degrades to type-check-only, reported honestly). */
+    skipTests?: boolean;
+    /** Keep only the last N lines of each gate's captured output. Default 80. */
+    outputTailLines?: number;
+};
+/** How a planned gate is executed. Injectable so tests need not spawn npm. */
+export type CheckExecutor = (command: string, cwd: string) => Promise<{
+    exitCode: number | null;
+    output: string;
+}>;
+export declare class ProjectVerifier {
+    /**
+     * Run the project's verify gates and return one verdict. `exec` defaults to a
+     * real subprocess spawn; tests inject a fake to avoid running npm.
+     */
+    static verify(options?: VerifyOptions, exec?: CheckExecutor): Promise<VerifyReport>;
+    /** Resolve each gate against the project's scripts, deciding what will run and what is skipped (pure). */
+    static planChecks(scripts: Record<string, string>, options?: VerifyOptions): PlannedCheck[];
+    /** Reduce a set of gate results to the single verdict, including the honesty flags (pure). */
+    static summarize(checks: CheckResult[]): VerifyReport;
+    private static planOne;
+    private static runCheck;
+    private static buildSummary;
+    private static readScripts;
+    private static tail;
+    private static spawnCommand;
+}
+//# sourceMappingURL=project_verifier.d.ts.map

package/dist/verify/project_verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"project_verifier.d.ts","sourceRoot":"","sources":["../../src/verify/project_verifier.ts"],"names":[],"mappings":"AAKA;;;;;;;;;;;GAWG;AAEH,+CAA+C;AAC/C,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,MAAM,CAAC;AAE7C,2DAA2D;AAC3D,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;AAEtD,2FAA2F;AAC3F,MAAM,MAAM,YAAY,GAAG;IAC1B,IAAI,EAAE,SAAS,CAAC;IAChB,oEAAoE;IACpE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,2FAA2F;IAC3F,aAAa,CAAC,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,uDAAuD;AACvD,MAAM,MAAM,WAAW,GAAG;IACzB,IAAI,EAAE,SAAS,CAAC;IAChB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,MAAM,EAAE,WAAW,CAAC;IACpB,2FAA2F;IAC3F,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,+EAA+E;AAC/E,MAAM,MAAM,YAAY,GAAG;IAC1B,mEAAmE;IACnE,EAAE,EAAE,OAAO,CAAC;IACZ,qGAAqG;IACrG,gBAAgB,EAAE,OAAO,CAAC;IAC1B,8GAA8G;IAC9G,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,sFAAsF;IACtF,OAAO,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC3B,sGAAsG;IACtG,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,yDAAyD;IACzD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,yCAAyC;IACzC,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,oFAAoF;IACpF,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,6EAA6E;IAC7E,eAAe,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,8EAA8E;AAC9E,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAQnH,qBAAa,eAAe;IAC3B;;;OAGG;WACU,MAAM,CAAC,OAAO,GAAE,aAAkB,EAAE,IAAI,GAAE,aAA4C,GAAG,OAAO,CAAC,YAAY,CAAC;IAY3H,0GAA0G;IAC1G,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,GAAE,aAAkB,GAAG,YAAY,EAAE;IAS/F,8FAA8F;IAC9F,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,YAAY;IAWrD,OAAO,CAAC,MAAM,CAAC,OAAO;mBAUD,QAAQ;IAwB7B,OAAO,CAAC,MAAM,CAAC,YAAY;mBAoBN,WAAW;IAmBhC,OAAO,CAAC,MAAM,CAAC,IAAI;IAWnB,OAAO,CAAC,MAAM,CAAC,YAAY;CAkB3B"}

package/dist/verify/project_verifier.js

@@ -0,0 +1,138 @@
+import { spawn } from 'node:child_process';
+import { readFile } from 'node:fs/promises';
+import { resolve } from 'node:path';
+import { z } from 'zod';
+const DEFAULT_TYPECHECK_SCRIPT = 'typecheck';
+const DEFAULT_TEST_SCRIPT = 'test';
+const DEFAULT_TAIL_LINES = 80;
+const PackageJsonSchema = z.object({ scripts: z.record(z.unknown()).optional() });
+export class ProjectVerifier {
+    /**
+     * Run the project's verify gates and return one verdict. `exec` defaults to a
+     * real subprocess spawn; tests inject a fake to avoid running npm.
+     */
+    static async verify(options = {}, exec = ProjectVerifier.spawnCommand) {
+        const cwd = resolve(options.cwd ?? process.cwd());
+        const tailLines = options.outputTailLines ?? DEFAULT_TAIL_LINES;
+        const scripts = await ProjectVerifier.readScripts(cwd);
+        const plan = ProjectVerifier.planChecks(scripts, options);
+        const results = [];
+        for (const check of plan) {
+            results.push(await ProjectVerifier.runCheck(check, cwd, tailLines, exec));
+        }
+        return ProjectVerifier.summarize(results);
+    }
+    /** Resolve each gate against the project's scripts, deciding what will run and what is skipped (pure). */
+    static planChecks(scripts, options = {}) {
+        const typecheckScript = options.typecheckScript ?? DEFAULT_TYPECHECK_SCRIPT;
+        const testScript = options.testScript ?? DEFAULT_TEST_SCRIPT;
+        return [
+            ProjectVerifier.planOne('typecheck', typecheckScript, scripts, options.skipTypecheck === true),
+            ProjectVerifier.planOne('test', testScript, scripts, options.skipTests === true),
+        ];
+    }
+    /** Reduce a set of gate results to the single verdict, including the honesty flags (pure). */
+    static summarize(checks) {
+        const ran = checks.filter((check) => check.status !== 'skipped');
+        const failed = ran.filter((check) => check.status === 'fail');
+        const test = checks.find((check) => check.name === 'test');
+        const behaviorVerified = test !== undefined && test.status === 'pass';
+        const ok = ran.length > 0 && failed.length === 0;
+        const degraded = checks.some((check) => check.status === 'skipped');
+        const summary = ProjectVerifier.buildSummary(ran, failed, test, ok, behaviorVerified);
+        return { ok, behaviorVerified, degraded, checks, summary };
+    }
+    static planOne(name, script, scripts, skip) {
+        if (skip === true) {
+            return { name, command: null, skippedReason: 'skipped by request' };
+        }
+        if (typeof scripts[script] !== 'string') {
+            return { name, command: null, skippedReason: `no "${script}" script in package.json` };
+        }
+        return { name, command: `npm run ${script}` };
+    }
+    static async runCheck(check, cwd, tailLines, exec) {
+        if (check.command === null) {
+            return {
+                name: check.name,
+                command: null,
+                status: 'skipped',
+                exitCode: null,
+                durationMs: 0,
+                output: '',
+                skippedReason: check.skippedReason,
+            };
+        }
+        const startedAt = Date.now();
+        const { exitCode, output } = await exec(check.command, cwd);
+        return {
+            name: check.name,
+            command: check.command,
+            status: exitCode === 0 ? 'pass' : 'fail',
+            exitCode,
+            durationMs: Date.now() - startedAt,
+            output: ProjectVerifier.tail(output, tailLines),
+        };
+    }
+    static buildSummary(ran, failed, test, ok, behaviorVerified) {
+        if (ran.length === 0) {
+            return 'could not verify: no type-check or test script found — change is unverified';
+        }
+        if (ok === false) {
+            return `FAILED: ${failed.map((check) => check.name).join(' and ')} did not pass — revert the edit`;
+        }
+        if (behaviorVerified === true) {
+            return `verified: ${ran.map((check) => check.name).join(' + ')} passed (behaviour checked)`;
+        }
+        const why = test?.skippedReason ?? 'tests did not run';
+        return `type-check passed, but ${why} — behaviour NOT verified`;
+    }
+    static async readScripts(cwd) {
+        try {
+            const raw = await readFile(resolve(cwd, 'package.json'), 'utf8');
+            const parsed = PackageJsonSchema.safeParse(JSON.parse(raw));
+            if (parsed.success === false) {
+                return {};
+            }
+            const scripts = {};
+            for (const [name, value] of Object.entries(parsed.data.scripts ?? {})) {
+                if (typeof value === 'string') {
+                    scripts[name] = value;
+                }
+            }
+            return scripts;
+        }
+        catch {
+            return {};
+        }
+    }
+    static tail(text, lines) {
+        if (lines <= 0) {
+            return text;
+        }
+        const allLines = text.split('\n');
+        if (allLines.length <= lines) {
+            return text;
+        }
+        return allLines.slice(allLines.length - lines).join('\n');
+    }
+    static spawnCommand(command, cwd) {
+        return new Promise((resolvePromise) => {
+            const child = spawn(command, { cwd, shell: true });
+            let output = '';
+            const append = (chunk) => {
+                output += chunk.toString();
+            };
+            child.stdout.on('data', append);
+            child.stderr.on('data', append);
+            child.on('error', (error) => {
+                output += `\n${error.message}`;
+                resolvePromise({ exitCode: 1, output });
+            });
+            child.on('close', (code) => {
+                resolvePromise({ exitCode: code, output });
+            });
+        });
+    }
+}
+//# sourceMappingURL=project_verifier.js.map

package/dist/verify/project_verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"project_verifier.js","sourceRoot":"","sources":["../../src/verify/project_verifier.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AA0ExB,MAAM,wBAAwB,GAAG,WAAW,CAAC;AAC7C,MAAM,mBAAmB,GAAG,MAAM,CAAC;AACnC,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAE9B,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AAElF,MAAM,OAAO,eAAe;IAC3B;;;OAGG;IACH,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAyB,EAAE,EAAE,OAAsB,eAAe,CAAC,YAAY;QAClG,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,OAAO,CAAC,eAAe,IAAI,kBAAkB,CAAC;QAChE,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,eAAe,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAkB,EAAE,CAAC;QAClC,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;YAC1B,OAAO,CAAC,IAAI,CAAC,MAAM,eAAe,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,eAAe,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC;IAED,0GAA0G;IAC1G,MAAM,CAAC,UAAU,CAAC,OAA+B,EAAE,UAAyB,EAAE;QAC7E,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,IAAI,wBAAwB,CAAC;QAC5E,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,mBAAmB,CAAC;QAC7D,OAAO;YACN,eAAe,CAAC,OAAO,CAAC,WAAW,EAAE,eAAe,EAAE,OAAO,EAAE,OAAO,CAAC,aAAa,KAAK,IAAI,CAAC;YAC9F,eAAe,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,SAAS,KAAK,IAAI,CAAC;SAChF,CAAC;IACH,CAAC;IAED,8FAA8F;IAC9F,MAAM,CAAC,SAAS,CAAC,MAAqB;QACrC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QAC9D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAC3D,MAAM,gBAAgB,GAAG,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC;QACtE,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;QACpE,MAAM,OAAO,GAAG,eAAe,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,gBAAgB,CAAC,CAAC;QACtF,OAAO,EAAE,EAAE,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IAC5D,CAAC;IAEO,MAAM,CAAC,OAAO,CAAC,IAAe,EAAE,MAAc,EAAE,OAA+B,EAAE,IAAa;QACrG,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,oBAAoB,EAAE,CAAC;QACrE,CAAC;QACD,IAAI,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,QAAQ,EAAE,CAAC;YACzC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,MAAM,0BAA0B,EAAE,CAAC;QACxF,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,MAAM,EAAE,EAAE,CAAC;IAC/C,CAAC;IAEO,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAmB,EAAE,GAAW,EAAE,SAAiB,EAAE,IAAmB;QACrG,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAC5B,OAAO;gBACN,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,SAAS;gBACjB,QAAQ,EAAE,IAAI;gBACd,UAAU,EAAE,CAAC;gBACb,MAAM,EAAE,EAAE;gBACV,aAAa,EAAE,KAAK,CAAC,aAAa;aAClC,CAAC;QACH,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC5D,OAAO;YACN,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,MAAM,EAAE,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YACxC,QAAQ;YACR,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;YAClC,MAAM,EAAE,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC;SAC/C,CAAC;IACH,CAAC;IAEO,MAAM,CAAC,YAAY,CAC1B,GAAkB,EAClB,MAAqB,EACrB,IAA6B,EAC7B,EAAW,EACX,gBAAyB;QAEzB,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,OAAO,6EAA6E,CAAC;QACtF,CAAC;QACD,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YAClB,OAAO,WAAW,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,iCAAiC,CAAC;QACpG,CAAC;QACD,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;YAC/B,OAAO,aAAa,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;QAC7F,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,EAAE,aAAa,IAAI,mBAAmB,CAAC;QACvD,OAAO,0BAA0B,GAAG,2BAA2B,CAAC;IACjE,CAAC;IAEO,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,GAAW;QAC3C,IAAI,CAAC;YACJ,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAC;YACjE,MAAM,MAAM,GAAG,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5D,IAAI,MAAM,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;gBAC9B,OAAO,EAAE,CAAC;YACX,CAAC;YACD,MAAM,OAAO,GAA2B,EAAE,CAAC;YAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;gBACvE,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;oBAC/B,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;gBACvB,CAAC;YACF,CAAC;YACD,OAAO,OAAO,CAAC;QAChB,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,EAAE,CAAC;QACX,CAAC;IACF,CAAC;IAEO,MAAM,CAAC,IAAI,CAAC,IAAY,EAAE,KAAa;QAC9C,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YAChB,OAAO,IAAI,CAAC;QACb,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,QAAQ,CAAC,MAAM,IAAI,KAAK,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC;QACb,CAAC;QACD,OAAO,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC;IAEO,MAAM,CAAC,YAAY,CAAC,OAAe,EAAE,GAAW;QACvD,OAAO,IAAI,OAAO,CAAC,CAAC,cAAc,EAAE,EAAE;YACrC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACnD,IAAI,MAAM,GAAG,EAAE,CAAC;YAChB,MAAM,MAAM,GAAG,CAAC,KAAa,EAAQ,EAAE;gBACtC,MAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YAC5B,CAAC,CAAC;YACF,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAChC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAChC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;gBAC3B,MAAM,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;gBAC/B,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;YACzC,CAAC,CAAC,CAAC;YACH,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;gBAC1B,cAAc,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;YAC5C,CAAC,CAAC,CAAC;QACJ,CAAC,CAAC,CAAC;IACJ,CAAC;CACD"}

package/dotclaude_folder/skills/code-graph-query/SKILL.md

@@ -0,0 +1,91 @@
+---
+name: code-graph-query
+description: >-
+  Query a TypeScript codebase as a knowledge graph to answer impact, caller,
+  dependency, and dead-code questions. Use this instead of grep/glob for
+  "who calls X", "what breaks if I change X" (blast radius), "is X dead code",
+  "what references this type", and "what is X connected to". Requires the
+  ts-knowledge-graph CLI and a built graph database.
+---
+
+# code-graph-query
+
+Answer structural questions about a TypeScript project by querying a semantic
+knowledge graph (built with the TypeScript compiler API) rather than reading or
+grepping source files. The graph has resolved symbols and types, so its answers
+are precise where text search is not.
+
+## When to use this skill
+
+Reach for these commands — not `Grep`/`Glob` — when the question is about code
+structure or impact:
+
+- **Callers** — "who calls this function?" → `who-calls`
+- **Callees** — "what does this function call?" → `calls`
+- **Impact / blast radius** — "what breaks if I change this?" → `blast-radius`
+- **References** — "what uses this symbol or type?" → `references`
+- **Dead code** — "which exports are unused?" → `dead-exports`
+- **Neighbourhood** — "what is this connected to?" → `neighbors`
+
+For reading the actual implementation of a known file, normal file tools are
+still the right choice. Use this skill to decide *which* code matters first.
+
+## Prerequisite: build the graph once
+
+Querying needs a Kùzu database at `./outputs/graph.kuzu`. If it is missing,
+build it first (the `--semantic` flag is required for `CALLS` and heritage
+edges, which power `who-calls`, `calls`, and `blast-radius`):
+
+```bash
+npx ts-knowledge-graph extract <path-to-project> --semantic   # writes ./outputs/graph/*.jsonl
+npx ts-knowledge-graph load                                   # writes ./outputs/graph.kuzu
+```
+
+Inside this repository's own checkout, substitute `npm run dev --` for the
+`ts-knowledge-graph` binary (e.g. `npm run dev -- load`).
+
+## Core workflow: names are not ids
+
+Every query that inspects a symbol takes a **node id**, not a name. Resolve a
+name to id(s) first with `find`, then pass an id to the other commands. Never
+hand-write ids.
+
+```bash
+npx ts-knowledge-graph find <name> --json        # -> array of { id, name, kind, filePath, startLine }
+npx ts-knowledge-graph who-calls <id> --json     # use an id from the find result
+```
+
+Always pass `--json`; consume the JSON, not the human-readable output.
+
+## Command reference
+
+All commands accept `--json` and `-d, --db <path>` (default `./outputs/graph.kuzu`).
+
+| Command | Argument | Purpose |
+| --- | --- | --- |
+| `find <pattern>` | name substring | resolve a name to node id(s) |
+| `who-calls <id>` | node id | direct callers of a symbol |
+| `calls <id>` | node id | what a symbol directly calls |
+| `blast-radius <id> [--depth <n>]` | node id | transitive callers / impact set (default depth 10) |
+| `references <id>` | node id | everything referencing a symbol/type (calls, type usage, heritage, new) |
+| `neighbors <id>` | node id | one-hop neighbourhood, inbound and outbound |
+| `dead-exports` | (none) | exported symbols with no inbound references |
+
+## Output contract
+
+- `find`, `who-calls`, `calls`, `blast-radius`, `dead-exports` return a JSON
+  array of `SymbolRef`: `{ id, kind, name, filePath, startLine }`.
+- `references` and `neighbors` return `NeighborRef`: a `SymbolRef` plus
+  `edgeKind` and `direction` (`"in"` or `"out"`).
+
+## Worked example
+
+> "Is it safe to change the signature of `loadProject`?"
+
+```bash
+npx ts-knowledge-graph find loadProject --json          # -> get its id
+npx ts-knowledge-graph blast-radius <id> --json         # -> every symbol transitively impacted
+```
+
+Report the impacted set (file paths + names) as the blast radius, then read
+those specific call sites to judge the change.

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "ts-knowledge-graph",
-	"version": "0.1.1",
+	"version": "0.1.4",
 	"description": "Parse TypeScript source into a knowledge graph for autonomous code optimization",
 	"type": "module",
 	"bin": {
@@ -8,9 +8,10 @@
 	},
 	"files": [
 		"dist",
+		"contribs/web_visualisation/web",
+		"dotclaude_folder/skills/code-graph-query/SKILL.md",
 		"README.md",
-		"LICENSE",
-		".env-sample"
+		"LICENSE"
 	],
 	"engines": {
 		"node": ">=18"
@@ -20,16 +21,98 @@
 	},
 	"scripts": {
 		"extract": "tsx src/cli.ts extract",
+		"web": "tsx src/cli.ts web",
 		"dev": "tsx src/cli.ts",
 		"build": "tsc -p tsconfig.build.json",
+		"clean": "npm run clean:dist && npm run clean:outputs",
+		"clean:dist": "rm -rf ./dist",
+		"clean:outputs": "rm -rf ./outputs/*/",
+		"symlink:dotclaude": "bash scripts/symlink_dotclaude.sh",
 		"publish:all": "npm run build && npm version patch && npm publish",
-		"typecheck": "tsc --noEmit"
+		"typecheck": "tsc --noEmit && tsc -p contribs/web_visualisation/web/tsconfig.json",
+		"test": "node --import tsx --test \"tests/**/*.test.ts\"",
+		"verify": "tsx src/cli.ts verify",
+		"project01": "npm run project01:rebuild && npm run project01:dead-exports",
+		"project01:tour": "bash scripts/project_01_tour.sh",
+		"project01:rebuild": "npm run project01:clean && npm run project01:extract && npm run project01:load",
+		"project01:clean": "rm -rf ./outputs/project_01",
+		"project01:extract": "tsx src/cli.ts extract sample_projects/project_01 --semantic --out ./outputs/project_01/graph",
+		"project01:load": "tsx src/cli.ts load ./outputs/project_01/graph --db ./outputs/project_01/graph.kuzu",
+		"project01:enrich": "bash scripts/profile_and_enrich.sh project_01",
+		"project01:benchmark": "tsx src/cli.ts benchmark titleCase --workload scripts/benchmarks/project_01_workload.ts --db ./outputs/project_01/graph.kuzu --root ./sample_projects/project_01 --runs 5",
+		"project01:verify": "tsx src/cli.ts verify --cwd sample_projects/project_01",
+		"project01:dead-exports": "tsx src/cli.ts dead-exports --db ./outputs/project_01/graph.kuzu",
+		"project01:hotspots": "tsx src/cli.ts hotspots --db ./outputs/project_01/graph.kuzu",
+		"project01:cost": "tsx src/cli.ts cost --db ./outputs/project_01/graph.kuzu",
+		"project01:find": "tsx src/cli.ts find --db ./outputs/project_01/graph.kuzu",
+		"project01:who-calls": "tsx src/cli.ts who-calls --db ./outputs/project_01/graph.kuzu",
+		"project01:calls": "tsx src/cli.ts calls --db ./outputs/project_01/graph.kuzu",
+		"project01:references": "tsx src/cli.ts references --db ./outputs/project_01/graph.kuzu",
+		"project01:neighbors": "tsx src/cli.ts neighbors --db ./outputs/project_01/graph.kuzu",
+		"project01:blast-radius": "tsx src/cli.ts blast-radius --db ./outputs/project_01/graph.kuzu",
+		"project01:web": "tsx src/cli.ts web --db ./outputs/project_01/graph.kuzu",
+		"project02": "npm run project02:rebuild && npm run project02:dead-exports",
+		"project02:tour": "bash scripts/project_02_tour.sh",
+		"project02:rebuild": "npm run project02:clean && npm run project02:extract && npm run project02:load",
+		"project02:clean": "rm -rf ./outputs/project_02",
+		"project02:extract": "tsx src/cli.ts extract sample_projects/project_02 --semantic --out ./outputs/project_02/graph",
+		"project02:load": "tsx src/cli.ts load ./outputs/project_02/graph --db ./outputs/project_02/graph.kuzu",
+		"project02:enrich": "bash scripts/profile_and_enrich.sh project_02",
+		"project02:benchmark": "tsx src/cli.ts benchmark parseTerm --workload scripts/benchmarks/project_02_workload.ts --db ./outputs/project_02/graph.kuzu --root ./sample_projects/project_02 --runs 5",
+		"project02:verify": "tsx src/cli.ts verify --cwd sample_projects/project_02",
+		"project02:dead-exports": "tsx src/cli.ts dead-exports --db ./outputs/project_02/graph.kuzu",
+		"project02:hotspots": "tsx src/cli.ts hotspots --db ./outputs/project_02/graph.kuzu",
+		"project02:cost": "tsx src/cli.ts cost --db ./outputs/project_02/graph.kuzu",
+		"project02:find": "tsx src/cli.ts find --db ./outputs/project_02/graph.kuzu",
+		"project02:who-calls": "tsx src/cli.ts who-calls --db ./outputs/project_02/graph.kuzu",
+		"project02:calls": "tsx src/cli.ts calls --db ./outputs/project_02/graph.kuzu",
+		"project02:references": "tsx src/cli.ts references --db ./outputs/project_02/graph.kuzu",
+		"project02:neighbors": "tsx src/cli.ts neighbors --db ./outputs/project_02/graph.kuzu",
+		"project02:blast-radius": "tsx src/cli.ts blast-radius --db ./outputs/project_02/graph.kuzu",
+		"project02:web": "tsx src/cli.ts web --db ./outputs/project_02/graph.kuzu",
+		"project03": "npm run project03:rebuild && npm run project03:dead-exports",
+		"project03:tour": "bash scripts/project_03_tour.sh",
+		"project03:rebuild": "npm run project03:clean && npm run project03:extract && npm run project03:load",
+		"project03:clean": "rm -rf ./outputs/project_03",
+		"project03:extract": "tsx src/cli.ts extract sample_projects/project_03 --semantic --out ./outputs/project_03/graph",
+		"project03:load": "tsx src/cli.ts load ./outputs/project_03/graph --db ./outputs/project_03/graph.kuzu",
+		"project03:enrich": "bash scripts/profile_and_enrich.sh project_03",
+		"project03:benchmark": "tsx src/cli.ts benchmark describe --workload scripts/benchmarks/project_03_workload.ts --db ./outputs/project_03/graph.kuzu --root ./sample_projects/project_03 --runs 5",
+		"project03:verify": "tsx src/cli.ts verify --cwd sample_projects/project_03",
+		"project03:dead-exports": "tsx src/cli.ts dead-exports --db ./outputs/project_03/graph.kuzu",
+		"project03:hotspots": "tsx src/cli.ts hotspots --db ./outputs/project_03/graph.kuzu",
+		"project03:cost": "tsx src/cli.ts cost --db ./outputs/project_03/graph.kuzu",
+		"project03:find": "tsx src/cli.ts find --db ./outputs/project_03/graph.kuzu",
+		"project03:who-calls": "tsx src/cli.ts who-calls --db ./outputs/project_03/graph.kuzu",
+		"project03:calls": "tsx src/cli.ts calls --db ./outputs/project_03/graph.kuzu",
+		"project03:references": "tsx src/cli.ts references --db ./outputs/project_03/graph.kuzu",
+		"project03:neighbors": "tsx src/cli.ts neighbors --db ./outputs/project_03/graph.kuzu",
+		"project03:blast-radius": "tsx src/cli.ts blast-radius --db ./outputs/project_03/graph.kuzu",
+		"project03:web": "tsx src/cli.ts web --db ./outputs/project_03/graph.kuzu",
+		"project04": "npm run project04:rebuild && npm run project04:dead-exports",
+		"project04:tour": "bash scripts/project_04_tour.sh",
+		"project04:rebuild": "npm run project04:clean && npm run project04:extract && npm run project04:load",
+		"project04:clean": "rm -rf ./outputs/project_04",
+		"project04:extract": "tsx src/cli.ts extract sample_projects/project_04 --semantic --out ./outputs/project_04/graph",
+		"project04:load": "tsx src/cli.ts load ./outputs/project_04/graph --db ./outputs/project_04/graph.kuzu",
+		"project04:enrich": "bash scripts/profile_and_enrich.sh project_04",
+		"project04:workload": "tsx scripts/benchmarks/project_04_workload.ts",
+		"project04:verify": "tsx src/cli.ts verify --cwd sample_projects/project_04",
+		"project04:dead-exports": "tsx src/cli.ts dead-exports --db ./outputs/project_04/graph.kuzu",
+		"project04:hotspots": "tsx src/cli.ts hotspots --db ./outputs/project_04/graph.kuzu",
+		"project04:cost": "tsx src/cli.ts cost --db ./outputs/project_04/graph.kuzu",
+		"project04:find": "tsx src/cli.ts find --db ./outputs/project_04/graph.kuzu",
+		"project04:who-calls": "tsx src/cli.ts who-calls --db ./outputs/project_04/graph.kuzu",
+		"project04:calls": "tsx src/cli.ts calls --db ./outputs/project_04/graph.kuzu",
+		"project04:references": "tsx src/cli.ts references --db ./outputs/project_04/graph.kuzu",
+		"project04:neighbors": "tsx src/cli.ts neighbors --db ./outputs/project_04/graph.kuzu",
+		"project04:blast-radius": "tsx src/cli.ts blast-radius --db ./outputs/project_04/graph.kuzu",
+		"project04:web": "tsx src/cli.ts web --db ./outputs/project_04/graph.kuzu"
 	},
 	"dependencies": {
 		"chalk": "^5.3.0",
 		"commander": "^12.1.0",
 		"kuzu": "^0.11.3",
-		"openai": "^6.42.0",
 		"ts-morph": "^23.0.0",
 		"zod": "^3.23.8"
 	},