@spikedpunch/mast 0.1.0

package/dist/graph/db.d.ts

@@ -0,0 +1,318 @@
+import { Kysely, sql } from 'kysely';
+import type { ColumnType, Generated } from 'kysely';
+/**
+ * SQLite stores booleans as INTEGER (0 | 1).
+ * `BoolCol` makes this explicit at the type level so callers know to coerce.
+ */
+type BoolCol = ColumnType<number, 0 | 1, 0 | 1>;
+/**
+ * One end of the rowid block a file's rows occupy in an FTS5 virtual table
+ * (see {@link FilesTable.chunk_fts_lo}). Nullable, and optional on insert, so
+ * that a row written before this column existed — or a file that produced no
+ * rows at all — reads back as SQL NULL rather than a misleading 0.
+ */
+type FtsRowidCol = ColumnType<number | null, number | null | undefined, number | null>;
+interface FilesTable {
+    readonly id: Generated<number>;
+    readonly path: string;
+    readonly language: string;
+    readonly mtime: number;
+    /**
+     * Inclusive bounds of the contiguous `chunk_fts` rowid block this file owns,
+     * or NULL when the file has no rows there (no chunks, or a row written
+     * before Stage 4.6 added the column).
+     *
+     * This exists because FTS5 cannot answer `WHERE file_path = ?` with anything
+     * but a full table scan — `xBestIndex` refuses equality constraints on
+     * ordinary columns, so the delete on re-index cost O(corpus) per changed
+     * file (measured: 3.0 ms at T1 rising to 151.6 ms at T9, exponent 1.32).
+     * A rowid is the one column FTS5 *will* seek on, so recording the block
+     * turns that delete into O(rows-in-this-file). See `populate.ts`
+     * `deleteFtsRowidBlock` for why the deletes are issued one rowid at a time
+     * rather than as a single `BETWEEN` range.
+     */
+    readonly chunk_fts_lo: FtsRowidCol;
+    /** Upper bound of the `chunk_fts` block — see {@link FilesTable.chunk_fts_lo}. */
+    readonly chunk_fts_hi: FtsRowidCol;
+    /**
+     * Bounds of the `identifier_fts` block. Tracked separately from the
+     * `chunk_fts` block because the two tables receive different row counts for
+     * the same file: markdown chunks produce no identifier rows at all
+     * (measured across the E1 ladder — FINDINGS.md §1.4).
+     */
+    readonly ident_fts_lo: FtsRowidCol;
+    /** Upper bound of the `identifier_fts` block — see {@link FilesTable.ident_fts_lo}. */
+    readonly ident_fts_hi: FtsRowidCol;
+}
+interface SymbolsTable {
+    readonly id: Generated<number>;
+    readonly name: string;
+    /** `function | class | interface | type | const | method` */
+    readonly kind: string;
+    readonly file_id: number;
+    readonly line: number;
+    readonly is_exported: BoolCol;
+    /** sha256 of signature text only (excludes body). Null until first index. */
+    readonly declaration_hash: string | null;
+    /** sha256 of body text; for class_shell, over sorted member signatures. */
+    readonly body_hash: string | null;
+}
+/**
+ * Edge types:
+ * - `POTENTIAL_CALL` — name-resolved call site
+ * - `IMPLEMENTS` — class implements interface
+ * - `EXTENDS` — class/interface extends another
+ * - `RE_EXPORTS` — symbol-to-symbol re-export
+ * - `PARENT_OF` — class → method (class body decomposition)
+ */
+interface EdgesTable {
+    readonly from_id: number;
+    readonly to_id: number;
+    readonly edge_type: string;
+    /** Resolution rule for POTENTIAL_CALL edges (§10.3.1); null for others. */
+    readonly resolution: string | null;
+    /** 1-indexed source line of the call site; null for non-call edges. */
+    readonly call_line: number | null;
+    /** Trimmed source text of the call-site line; null for non-call edges. */
+    readonly context: string | null;
+}
+/** File-level re-export: `export * from '...'` */
+interface ReExportFilesTable {
+    readonly from_file_id: number;
+    readonly to_file_id: number;
+}
+interface ImportsTable {
+    readonly file_id: number;
+    readonly module: string;
+    /** JSON-serialised string[]. Stored as TEXT; parse on read. */
+    readonly symbols: string;
+    readonly is_external: BoolCol;
+    /** Null for external modules; resolved real path for monorepo imports. */
+    readonly resolved_path: string | null;
+}
+interface MetricsTable {
+    readonly id: Generated<number>;
+    readonly tool_name: string;
+    readonly call_timestamp: number;
+    readonly tokens_returned: number;
+    readonly tokens_full_file_upper_bound: number;
+    readonly duration_ms: number;
+    readonly mode: string | null;
+    readonly session_id: string;
+    readonly status: string;
+    /**
+     * JSON of the salient tool arguments (query + filters for search; symbol
+     * and/or file_path for signature/exports/callers/etc.), capped at 1,000
+     * chars — the linked-chain measurability the capsule instrumentation
+     * decision needs (IMPLEMENTATION_PLAN_VEXP.md §P, 2026-07-15). Null for
+     * tools that do not yet record argument identity and for pre-migration rows.
+     */
+    readonly args_json: string | null;
+    /**
+     * JSON array of `{file_path, symbol_name}` identity pairs the tool
+     * returned, in rank order, capped at 20 entries. Null for tools that do
+     * not yet record result identity and for pre-migration rows.
+     */
+    readonly results_json: string | null;
+    /**
+     * JSON of ranker D's (declaration-exact, `../search/declex.ts`) fire
+     * diagnostics and window effects on this `mast_search` call — the input
+     * signal for the F18 kill-switch and re-entry criteria (M2 decision memo
+     * condition 3). Null when D did not fire, or when the
+     * `declaration_exact_ranker` flag was off, and for pre-migration rows.
+     */
+    readonly declex_json: string | null;
+}
+/**
+ * Checker-pass classifications (`mast index --checker`, Stage 1.2). Additive —
+ * a brand-new table needs no `CURRENT_SCHEMA_VERSION` bump, per the
+ * `openDatabase` additive-migration precedent (§7.4).
+ *
+ * A verdict is keyed to the exact potential-match candidate it was computed
+ * for: `queried_symbol_id` (the symbol collectPotentialMatchCandidates was
+ * searching for) + `call_site_file_id`/`call_site_line` (the SAME chunk
+ * identity `collectPotentialMatches` dedupes on, §9 mast_callers). This is
+ * what lets a future call filter the exact same candidate out without
+ * recomputing anything.
+ *
+ * Staleness: `call_site_file_id REFERENCES files(id) ON DELETE CASCADE` ties a
+ * verdict's lifetime to the file row it was computed against — `populateFile`
+ * deletes-and-replaces a file's `files` row on every content change (Phase 1
+ * and JIT re-parse both go through it), which cascades away every verdict for
+ * that file automatically, exactly like `symbols`/`edges`/`imports` already
+ * do. `call_site_mtime` is a second, explicit guard checked at read time
+ * (`queryCheckerVerdicts`) — defense in depth against any future write path
+ * that touches `files.mtime` without a full delete/cascade. A stale verdict
+ * silently suppressing a real new call site is this feature's severity-zero
+ * failure mode (IMPLEMENTATION_PLAN_VEXP.md Stage 1.2 brief); the CASCADE and
+ * the mtime check are two independent ways to close it.
+ */
+interface CheckerVerdictsTable {
+    readonly queried_symbol_id: number;
+    readonly call_site_file_id: number;
+    readonly call_site_line: number;
+    /** 'resolves_to_queried' | 'resolves_to_different' | 'non_call_site' — 'unresolved' is never persisted (leaves the candidate as a genuine potential match, no state to track). */
+    readonly verdict: string;
+    readonly call_site_mtime: number;
+}
+interface MetricsDailyTable {
+    readonly day: string;
+    readonly tool_name: string;
+    readonly calls: number;
+    readonly tokens_returned_total: number;
+    readonly tokens_full_file_total: number;
+    readonly avg_duration_ms: number;
+}
+/**
+ * Chunk bodies (M1, `eval/GITNEXUS_COMPARISON.md` §15.1). Lives in `graph.db`
+ * — NOT a separate `chunks.db` — so a chunk write joins the same per-file
+ * `db.transaction()` as `symbols`/`edges`/`imports`/`chunk_fts`
+ * (`graph/populate.ts`'s `populateFile`), closing the two-store consistency
+ * seam the spike deliberately left open (`store/sqliteChunkStore.ts`'s
+ * original SPIKE comment). Column set mirrors `LanceStore`'s chunk schema
+ * (`store/lance.ts:12-26`) so every consumer's `ChunkRecord` shape is
+ * unchanged by the store swap.
+ */
+interface ChunksTable {
+    readonly chunk_id: string;
+    readonly file_path: string;
+    readonly start_line: number;
+    readonly end_line: number;
+    readonly content: string;
+    readonly chunk_type: string;
+    readonly symbol_name: string | null;
+    readonly parent_symbol: string | null;
+    readonly is_exported: BoolCol;
+    readonly language: string;
+    readonly file_mtime: number;
+}
+/**
+ * FTS5 virtual table for BM25 full-text search over chunk content.
+ *
+ * `content` is the full-text indexed column (trigram tokeniser).
+ * All other columns are UNINDEXED — stored but not full-text indexed.
+ * `file_path` enables filtered deletes and upserts without a LIKE prefix hack.
+ */
+interface ChunkFtsTable {
+    /**
+     * FTS5's implicit rowid, surfaced so `populate.ts` can assign it explicitly
+     * rather than let SQLite pick. Optional on insert — every writer other than
+     * the block allocator lets SQLite assign as before.
+     */
+    readonly rowid: ColumnType<number, number | undefined, number>;
+    readonly content: string;
+    readonly symbol_name: string | null;
+    readonly chunk_id: string;
+    readonly file_path: string;
+}
+/**
+ * FTS5 virtual table for exact-identifier lookup.
+ *
+ * `identifiers` is the full-text indexed column (unicode61 with identifier
+ * boundary separators). `chunk_id` and `file_path` are UNINDEXED.
+ */
+interface IdentifierFtsTable {
+    /** FTS5's implicit rowid — see {@link ChunkFtsTable.rowid}. */
+    readonly rowid: ColumnType<number, number | undefined, number>;
+    readonly identifiers: string;
+    readonly chunk_id: string;
+    readonly file_path: string;
+}
+/** Full Kysely database schema for MAST's SQLite store. */
+export interface MastDatabase {
+    readonly files: FilesTable;
+    readonly symbols: SymbolsTable;
+    readonly edges: EdgesTable;
+    readonly re_export_files: ReExportFilesTable;
+    readonly imports: ImportsTable;
+    readonly metrics: MetricsTable;
+    readonly metrics_daily: MetricsDailyTable;
+    readonly checker_verdicts: CheckerVerdictsTable;
+    readonly chunks: ChunksTable;
+    readonly chunk_fts: ChunkFtsTable;
+    readonly identifier_fts: IdentifierFtsTable;
+}
+export type Db = Kysely<MastDatabase>;
+/**
+ * Optional per-connection SQLite tuning for {@link openDatabase}.
+ *
+ * Exists for the E1-PHASE mechanism A/B: E1 measured a super-linear index cost
+ * (`b = 1.75`) and E1-PHASE localised the exponent to the write phase
+ * (`b_write = 1.97`, 94% of the clock at the top rung) without identifying the
+ * mechanism. A page-cache cliff is one of several indistinguishable candidates,
+ * and it cannot be probed at all while these pragmas are unreachable.
+ *
+ * **Both options are omitted by default and nothing in product code sets them.**
+ * That is deliberate and load-bearing: the A/B's control arm is defined as the
+ * un-pragma'd binary, so an absent option must leave SQLite's own defaults
+ * standing (pinned by a test in `graph/__tests__/storage.test.ts`). No pragma
+ * ships on the strength of the probe — a shipped default would have to be
+ * justified by re-running E1's full 9-rung ladder.
+ *
+ * Injected as a parameter rather than read from the environment or from
+ * `MastConfig`: an env read inside `openDatabase` would be a hidden global, and
+ * a config field would collide with the eval harness's Gate 1
+ * (`assertConfigPinned`, `eval/e1-common.mjs`), which fails any run whose
+ * resolved config deviates from defaults precisely so config cannot act as a
+ * free lever over a measurement.
+ */
+export interface OpenDatabaseOptions {
+    /**
+     * Page-cache budget in **KiB**, applied as `PRAGMA cache_size = -<kib>`.
+     *
+     * Denominated in KiB rather than raw pragma units because SQLite overloads
+     * the value's sign — positive means pages (whose size varies with
+     * `page_size`), negative means KiB. Callers should not have to carry that.
+     */
+    readonly cacheSizeKib?: number;
+    /** Memory-map budget in **bytes**, applied as `PRAGMA mmap_size = <bytes>`. SQLite may clamp it to its compile-time maximum. */
+    readonly mmapSizeBytes?: number;
+}
+/**
+ * Open (or create) the MAST graph database.
+ *
+ * - WAL mode is set on the underlying better-sqlite3 connection before
+ *   handing it to Kysely; WAL cannot be set via Kysely's query API.
+ * - The schema is initialised synchronously on open (DDL is idempotent).
+ * - Returns a typed `Kysely<MastDatabase>` instance. Callers must call
+ *   `await db.destroy()` on shutdown.
+ *
+ * @param options optional per-connection tuning; see {@link OpenDatabaseOptions}.
+ *   Omitting it leaves every tunable pragma at SQLite's own default.
+ */
+/**
+ * Read one value out of a `PRAGMA` result set, refusing to invent one.
+ *
+ * The E1-AB registration's Gate A treats these values as evidence of which
+ * experimental arm produced a timing — the lever-level analogue of Gate 0's
+ * `dist` content hash. The first version coalesced a missing row to `0`, which
+ * is the *expected* value of `mmap_size` on three of that experiment's four
+ * arms: a failed evidence read would have been indistinguishable from a
+ * passing one. A gate that cannot fail is not a gate.
+ *
+ * @param pragma the pragma name, which is also the result column's name
+ * @param rows the `PRAGMA` result rows, as returned by the query layer
+ * @throws Error naming the pragma, if there is no row or the value is not a
+ *   number.
+ */
+export declare function readPragmaValue(pragma: string, rows: readonly Readonly<Record<string, unknown>>[]): number;
+export declare function openDatabase(stateDir: string, options?: OpenDatabaseOptions): Db;
+export declare const EdgeType: {
+    readonly POTENTIAL_CALL: "POTENTIAL_CALL";
+    readonly IMPLEMENTS: "IMPLEMENTS";
+    readonly EXTENDS: "EXTENDS";
+    readonly RE_EXPORTS: "RE_EXPORTS";
+    readonly PARENT_OF: "PARENT_OF";
+};
+export type EdgeType = (typeof EdgeType)[keyof typeof EdgeType];
+export declare const SymbolKind: {
+    readonly FUNCTION: "function";
+    readonly CLASS: "class";
+    readonly INTERFACE: "interface";
+    readonly TYPE: "type";
+    readonly CONST: "const";
+    readonly METHOD: "method";
+};
+export type SymbolKind = (typeof SymbolKind)[keyof typeof SymbolKind];
+export { sql };
+//# sourceMappingURL=db.d.ts.map

package/dist/graph/db.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"db.d.ts","sourceRoot":"","sources":["../../src/graph/db.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAiB,GAAG,EAAE,MAAM,QAAQ,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAMpD;;;GAGG;AACH,KAAK,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;AAEhD;;;;;GAKG;AACH,KAAK,WAAW,GAAG,UAAU,CAAC,MAAM,GAAG,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;AAEvF,UAAU,UAAU;IAClB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC;IACnC,kFAAkF;IAClF,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC;IACnC;;;;;OAKG;IACH,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC;IACnC,uFAAuF;IACvF,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC;CACpC;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6DAA6D;IAC7D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,6EAA6E;IAC7E,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,2EAA2E;IAC3E,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CACnC;AAED;;;;;;;GAOG;AACH,UAAU,UAAU;IAClB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,2EAA2E;IAC3E,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,0EAA0E;IAC1E,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC;AAED,kDAAkD;AAClD,UAAU,kBAAkB;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,0EAA0E;IAC1E,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;CACvC;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,4BAA4B,EAAE,MAAM,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAI7B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC;;;;;;OAMG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CACrC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,UAAU,oBAAoB;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,kLAAkL;IAClL,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,UAAU,iBAAiB;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED;;;;;;;;;GASG;AACH,UAAU,WAAW;IACnB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;;GAMG;AACH,UAAU,aAAa;IACrB;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,EAAE,MAAM,CAAC,CAAC;IAC/D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;GAKG;AACH,UAAU,kBAAkB;IAC1B,+DAA+D;IAC/D,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,EAAE,MAAM,CAAC,CAAC;IAC/D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAMD,2DAA2D;AAC3D,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,eAAe,EAAE,kBAAkB,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,iBAAiB,CAAC;IAC1C,QAAQ,CAAC,gBAAgB,EAAE,oBAAoB,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAClC,QAAQ,CAAC,cAAc,EAAE,kBAAkB,CAAC;CAC7C;AAED,MAAM,MAAM,EAAE,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;AA4ItC;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;;;;OAMG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,gIAAgI;IAChI,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAED;;;;;;;;;;;GAWG;AACH;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,GACjD,MAAM,CAUR;AAED,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,GAAE,mBAAwB,GAAG,EAAE,CAmFpF;AAMD,eAAO,MAAM,QAAQ;;;;;;CAMX,CAAC;AAEX,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,QAAQ,CAAC,CAAC,MAAM,OAAO,QAAQ,CAAC,CAAC;AAEhE,eAAO,MAAM,UAAU;;;;;;;CAOb,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,OAAO,UAAU,CAAC,CAAC;AAGtE,OAAO,EAAE,GAAG,EAAE,CAAC"}

package/dist/graph/db.js

@@ -0,0 +1,266 @@
+import Sqlite from 'better-sqlite3';
+import { join } from 'node:path';
+import { Kysely, SqliteDialect, sql } from 'kysely';
+// ---------------------------------------------------------------------------
+// Schema initialisation SQL
+// ---------------------------------------------------------------------------
+/**
+ * Raw DDL for tables Kysely's schema builder cannot express:
+ * FTS5 virtual tables and composite primary keys without a surrogate PK.
+ */
+const SCHEMA_DDL = `
+CREATE TABLE IF NOT EXISTS files (
+  id           INTEGER PRIMARY KEY,
+  path         TEXT NOT NULL UNIQUE,
+  language     TEXT NOT NULL,
+  mtime        REAL NOT NULL,
+  chunk_fts_lo INTEGER,
+  chunk_fts_hi INTEGER,
+  ident_fts_lo INTEGER,
+  ident_fts_hi INTEGER
+);
+
+CREATE TABLE IF NOT EXISTS symbols (
+  id               INTEGER PRIMARY KEY,
+  name             TEXT NOT NULL,
+  kind             TEXT NOT NULL,
+  file_id          INTEGER NOT NULL REFERENCES files(id) ON DELETE CASCADE,
+  line             INTEGER NOT NULL,
+  is_exported      INTEGER NOT NULL DEFAULT 0,
+  declaration_hash TEXT,
+  body_hash        TEXT
+);
+
+CREATE TABLE IF NOT EXISTS edges (
+  from_id    INTEGER NOT NULL REFERENCES symbols(id) ON DELETE CASCADE,
+  to_id      INTEGER NOT NULL REFERENCES symbols(id) ON DELETE CASCADE,
+  edge_type  TEXT NOT NULL,
+  resolution TEXT,
+  call_line  INTEGER,
+  context    TEXT,
+  PRIMARY KEY (from_id, to_id, edge_type)
+);
+
+CREATE TABLE IF NOT EXISTS re_export_files (
+  from_file_id  INTEGER NOT NULL REFERENCES files(id) ON DELETE CASCADE,
+  to_file_id    INTEGER NOT NULL REFERENCES files(id) ON DELETE CASCADE,
+  PRIMARY KEY (from_file_id, to_file_id)
+);
+
+CREATE TABLE IF NOT EXISTS imports (
+  file_id       INTEGER NOT NULL REFERENCES files(id) ON DELETE CASCADE,
+  module        TEXT NOT NULL,
+  symbols       TEXT NOT NULL,
+  is_external   INTEGER NOT NULL DEFAULT 0,
+  resolved_path TEXT
+);
+
+CREATE TABLE IF NOT EXISTS chunks (
+  chunk_id      TEXT PRIMARY KEY,
+  file_path     TEXT NOT NULL,
+  start_line    INTEGER NOT NULL,
+  end_line      INTEGER NOT NULL,
+  content       TEXT NOT NULL,
+  chunk_type    TEXT NOT NULL,
+  symbol_name   TEXT,
+  parent_symbol TEXT,
+  is_exported   INTEGER NOT NULL DEFAULT 0,
+  language      TEXT NOT NULL,
+  file_mtime    REAL NOT NULL
+);
+
+CREATE INDEX IF NOT EXISTS idx_chunks_file_path ON chunks(file_path);
+
+CREATE VIRTUAL TABLE IF NOT EXISTS chunk_fts USING fts5(
+  content,
+  symbol_name UNINDEXED,
+  chunk_id    UNINDEXED,
+  file_path   UNINDEXED,
+  tokenize    = 'trigram'
+);
+
+CREATE VIRTUAL TABLE IF NOT EXISTS identifier_fts USING fts5(
+  identifiers,
+  chunk_id  UNINDEXED,
+  file_path UNINDEXED,
+  tokenize = "unicode61 separators '.-_/()[]{}<>:;,=+*&|!?'"
+);
+
+CREATE INDEX IF NOT EXISTS idx_symbols_lookup   ON symbols(name, file_id, line, kind);
+CREATE INDEX IF NOT EXISTS idx_symbols_file     ON symbols(file_id);
+CREATE INDEX IF NOT EXISTS idx_edges_from       ON edges(from_id);
+CREATE INDEX IF NOT EXISTS idx_edges_to         ON edges(to_id);
+CREATE INDEX IF NOT EXISTS idx_imports_file     ON imports(file_id);
+CREATE INDEX IF NOT EXISTS idx_imports_resolved ON imports(resolved_path);
+
+CREATE TABLE IF NOT EXISTS metrics (
+  id                           INTEGER PRIMARY KEY,
+  tool_name                    TEXT NOT NULL,
+  call_timestamp               REAL NOT NULL,
+  tokens_returned              INTEGER NOT NULL,
+  tokens_full_file_upper_bound INTEGER NOT NULL,
+  duration_ms                  INTEGER NOT NULL,
+  mode                         TEXT,  -- pre-Stage-7 rows only; see MetricsTable.mode
+  session_id                   TEXT NOT NULL,
+  status                       TEXT NOT NULL,
+  args_json                    TEXT,
+  results_json                 TEXT,
+  declex_json                  TEXT
+);
+
+CREATE INDEX IF NOT EXISTS idx_metrics_timestamp ON metrics(call_timestamp);
+CREATE INDEX IF NOT EXISTS idx_metrics_tool      ON metrics(tool_name);
+CREATE INDEX IF NOT EXISTS idx_metrics_session   ON metrics(session_id);
+
+CREATE TABLE IF NOT EXISTS metrics_daily (
+  day                        TEXT NOT NULL,
+  tool_name                  TEXT NOT NULL,
+  calls                      INTEGER NOT NULL,
+  tokens_returned_total      INTEGER NOT NULL,
+  tokens_full_file_total     INTEGER NOT NULL,
+  avg_duration_ms            REAL NOT NULL,
+  PRIMARY KEY (day, tool_name)
+);
+
+CREATE TABLE IF NOT EXISTS checker_verdicts (
+  queried_symbol_id INTEGER NOT NULL REFERENCES symbols(id) ON DELETE CASCADE,
+  call_site_file_id INTEGER NOT NULL REFERENCES files(id) ON DELETE CASCADE,
+  call_site_line    INTEGER NOT NULL,
+  verdict           TEXT NOT NULL,
+  call_site_mtime   REAL NOT NULL,
+  PRIMARY KEY (queried_symbol_id, call_site_file_id, call_site_line)
+);
+
+CREATE INDEX IF NOT EXISTS idx_checker_verdicts_file ON checker_verdicts(call_site_file_id);
+`;
+/**
+ * Open (or create) the MAST graph database.
+ *
+ * - WAL mode is set on the underlying better-sqlite3 connection before
+ *   handing it to Kysely; WAL cannot be set via Kysely's query API.
+ * - The schema is initialised synchronously on open (DDL is idempotent).
+ * - Returns a typed `Kysely<MastDatabase>` instance. Callers must call
+ *   `await db.destroy()` on shutdown.
+ *
+ * @param options optional per-connection tuning; see {@link OpenDatabaseOptions}.
+ *   Omitting it leaves every tunable pragma at SQLite's own default.
+ */
+/**
+ * Read one value out of a `PRAGMA` result set, refusing to invent one.
+ *
+ * The E1-AB registration's Gate A treats these values as evidence of which
+ * experimental arm produced a timing — the lever-level analogue of Gate 0's
+ * `dist` content hash. The first version coalesced a missing row to `0`, which
+ * is the *expected* value of `mmap_size` on three of that experiment's four
+ * arms: a failed evidence read would have been indistinguishable from a
+ * passing one. A gate that cannot fail is not a gate.
+ *
+ * @param pragma the pragma name, which is also the result column's name
+ * @param rows the `PRAGMA` result rows, as returned by the query layer
+ * @throws Error naming the pragma, if there is no row or the value is not a
+ *   number.
+ */
+export function readPragmaValue(pragma, rows) {
+    const value = rows[0]?.[pragma];
+    if (typeof value !== 'number') {
+        throw new Error(`PRAGMA ${pragma} read-back returned no usable value (got ${JSON.stringify(value)}). ` +
+            `This value is measurement evidence identifying which configuration produced a run, ` +
+            `and must never be defaulted.`);
+    }
+    return value;
+}
+export function openDatabase(stateDir, options = {}) {
+    const sqlite = new Sqlite(join(stateDir, 'graph.db'));
+    // WAL + FK must be set on the raw connection before Kysely wraps it.
+    sqlite.pragma('journal_mode = WAL');
+    sqlite.pragma('foreign_keys = ON');
+    // busy_timeout was never set (found during E7, eval/GITNEXUS_COMPARISON.md
+    // Stage 1 F11 notes): without it, a statement that hits SQLITE_BUSY (e.g. a
+    // WAL-mode writer colliding with a checkpoint, or — now that chunks live
+    // here too, §15.1 — a second process opening graph.db mid-write) fails
+    // IMMEDIATELY instead of waiting, silently making `structure.lock`
+    // responsible for contention SQLite itself is equipped to absorb. 5000ms
+    // matches the total retry budget of `runIndex`'s own lock options
+    // (maxRetries: 5 x retryIntervalMs: 1000 = 5000ms, index.ts's `lockOptions`)
+    // and is the conventional WAL default for moderate-concurrency apps (e.g.
+    // Prisma's and Rails' SQLite adapters both default busy_timeout to 5000ms).
+    // This does not replace `structure.lock` (F11 is a separate, not-yet-done
+    // redesign of that mechanism) — it only stops SQLite's own driver from
+    // being more impatient than the advisory lock wrapped around it.
+    sqlite.pragma('busy_timeout = 5000');
+    // Set BEFORE the schema DDL below, so the cache/mmap configuration is already
+    // in force for the DDL's own page reads — an arm that only took effect after
+    // open would measure a mixture of both arms.
+    if (options.cacheSizeKib !== undefined) {
+        sqlite.pragma(`cache_size = -${options.cacheSizeKib}`);
+    }
+    if (options.mmapSizeBytes !== undefined) {
+        sqlite.pragma(`mmap_size = ${options.mmapSizeBytes}`);
+    }
+    // Apply schema DDL synchronously — safe at startup, idempotent.
+    sqlite.exec(SCHEMA_DDL);
+    // Backward-compatible column additions for the edges table. `CREATE TABLE IF
+    // NOT EXISTS` will not add columns to a pre-existing table, so migrate them
+    // in explicitly. ADD COLUMN is cheap (no table rewrite) and idempotent here
+    // because it is guarded by the current column set.
+    const edgeColumns = new Set(sqlite.prepare('PRAGMA table_info(edges)').all().map((c) => c.name));
+    for (const [name, ddl] of [
+        ['resolution', 'ALTER TABLE edges ADD COLUMN resolution TEXT'],
+        ['call_line', 'ALTER TABLE edges ADD COLUMN call_line INTEGER'],
+        ['context', 'ALTER TABLE edges ADD COLUMN context TEXT'],
+    ]) {
+        if (!edgeColumns.has(name))
+            sqlite.exec(ddl);
+    }
+    // Same additive-migration precedent for the files table's FTS rowid blocks
+    // (Stage 4.6). Databases indexed before these columns existed keep working:
+    // the columns read back NULL, and `populate.ts` falls back to the old
+    // file_path scan for exactly those rows until the file is next re-indexed.
+    const fileColumns = new Set(sqlite.prepare('PRAGMA table_info(files)').all().map((c) => c.name));
+    for (const [name, ddl] of [
+        ['chunk_fts_lo', 'ALTER TABLE files ADD COLUMN chunk_fts_lo INTEGER'],
+        ['chunk_fts_hi', 'ALTER TABLE files ADD COLUMN chunk_fts_hi INTEGER'],
+        ['ident_fts_lo', 'ALTER TABLE files ADD COLUMN ident_fts_lo INTEGER'],
+        ['ident_fts_hi', 'ALTER TABLE files ADD COLUMN ident_fts_hi INTEGER'],
+    ]) {
+        if (!fileColumns.has(name))
+            sqlite.exec(ddl);
+    }
+    // Same additive-migration precedent for the metrics table's argument/result
+    // identity columns (§14.3) — added after some databases already had a
+    // `metrics` table, so `CREATE TABLE IF NOT EXISTS` alone would not add them.
+    const metricsColumns = new Set(sqlite.prepare('PRAGMA table_info(metrics)').all().map((c) => c.name));
+    for (const [name, ddl] of [
+        ['args_json', 'ALTER TABLE metrics ADD COLUMN args_json TEXT'],
+        ['results_json', 'ALTER TABLE metrics ADD COLUMN results_json TEXT'],
+        // Stage 6.3 — D-fire telemetry (§ MetricsTable.declex_json above).
+        ['declex_json', 'ALTER TABLE metrics ADD COLUMN declex_json TEXT'],
+    ]) {
+        if (!metricsColumns.has(name))
+            sqlite.exec(ddl);
+    }
+    return new Kysely({
+        dialect: new SqliteDialect({ database: sqlite }),
+    });
+}
+// ---------------------------------------------------------------------------
+// Domain constants
+// ---------------------------------------------------------------------------
+export const EdgeType = {
+    POTENTIAL_CALL: 'POTENTIAL_CALL',
+    IMPLEMENTS: 'IMPLEMENTS',
+    EXTENDS: 'EXTENDS',
+    RE_EXPORTS: 'RE_EXPORTS',
+    PARENT_OF: 'PARENT_OF',
+};
+export const SymbolKind = {
+    FUNCTION: 'function',
+    CLASS: 'class',
+    INTERFACE: 'interface',
+    TYPE: 'type',
+    CONST: 'const',
+    METHOD: 'method',
+};
+// Re-export `sql` so callers (e.g. search/fts.ts) can import it from one place.
+export { sql };
+//# sourceMappingURL=db.js.map

package/dist/graph/db.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"db.js","sourceRoot":"","sources":["../../src/graph/db.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,gBAAgB,CAAC;AACpC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAC;AAsQpD,8EAA8E;AAC9E,4BAA4B;AAC5B,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,UAAU,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA4HlB,CAAC;AA0CF;;;;;;;;;;;GAWG;AACH;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAc,EACd,IAAkD;IAElD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CACb,UAAU,MAAM,4CAA4C,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK;YACtF,qFAAqF;YACrF,8BAA8B,CAC/B,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,QAAgB,EAAE,UAA+B,EAAE;IAC9E,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IAEtD,qEAAqE;IACrE,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;IACpC,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;IACnC,2EAA2E;IAC3E,4EAA4E;IAC5E,yEAAyE;IACzE,uEAAuE;IACvE,mEAAmE;IACnE,yEAAyE;IACzE,kEAAkE;IAClE,6EAA6E;IAC7E,0EAA0E;IAC1E,4EAA4E;IAC5E,0EAA0E;IAC1E,uEAAuE;IACvE,iEAAiE;IACjE,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC;IAErC,8EAA8E;IAC9E,6EAA6E;IAC7E,6CAA6C;IAC7C,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,iBAAiB,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACxC,MAAM,CAAC,MAAM,CAAC,eAAe,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;IACxD,CAAC;IAED,gEAAgE;IAChE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAExB,6EAA6E;IAC7E,4EAA4E;IAC5E,4EAA4E;IAC5E,mDAAmD;IACnD,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,MAAM,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAsB,CAAC,IAAI,CAAC,CAC1F,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI;QACxB,CAAC,YAAY,EAAE,8CAA8C,CAAC;QAC9D,CAAC,WAAW,EAAE,gDAAgD,CAAC;QAC/D,CAAC,SAAS,EAAE,2CAA2C,CAAC;KAChD,EAAE,CAAC;QACX,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/C,CAAC;IAED,2EAA2E;IAC3E,4EAA4E;IAC5E,sEAAsE;IACtE,2EAA2E;IAC3E,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,MAAM,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAsB,CAAC,IAAI,CAAC,CAC1F,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI;QACxB,CAAC,cAAc,EAAE,mDAAmD,CAAC;QACrE,CAAC,cAAc,EAAE,mDAAmD,CAAC;QACrE,CAAC,cAAc,EAAE,mDAAmD,CAAC;QACrE,CAAC,cAAc,EAAE,mDAAmD,CAAC;KAC7D,EAAE,CAAC;QACX,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/C,CAAC;IAED,4EAA4E;IAC5E,sEAAsE;IACtE,6EAA6E;IAC7E,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,MAAM,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAsB,CAAC,IAAI,CAAC,CAC5F,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI;QACxB,CAAC,WAAW,EAAE,+CAA+C,CAAC;QAC9D,CAAC,cAAc,EAAE,kDAAkD,CAAC;QACpE,mEAAmE;QACnE,CAAC,aAAa,EAAE,iDAAiD,CAAC;KAC1D,EAAE,CAAC;QACX,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClD,CAAC;IAED,OAAO,IAAI,MAAM,CAAe;QAC9B,OAAO,EAAE,IAAI,aAAa,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;KACjD,CAAC,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,cAAc,EAAE,gBAAgB;IAChC,UAAU,EAAM,YAAY;IAC5B,OAAO,EAAS,SAAS;IACzB,UAAU,EAAM,YAAY;IAC5B,SAAS,EAAO,WAAW;CACnB,CAAC;AAIX,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,QAAQ,EAAG,UAAU;IACrB,KAAK,EAAM,OAAO;IAClB,SAAS,EAAE,WAAW;IACtB,IAAI,EAAO,MAAM;IACjB,KAAK,EAAM,OAAO;IAClB,MAAM,EAAK,QAAQ;CACX,CAAC;AAIX,gFAAgF;AAChF,OAAO,EAAE,GAAG,EAAE,CAAC"}

package/dist/graph/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./db.js";
+export * from "./queries.js";
+export type { DependencyEntry, ImplementorResult } from "../ast/types.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/graph/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/graph/index.ts"],"names":[],"mappings":"AAEA,cAAc,SAAS,CAAC;AACxB,cAAc,cAAc,CAAC;AAC7B,YAAY,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/graph/index.js

@@ -0,0 +1,5 @@
+// Public graph/query surface — exported for programmatic consumers (e.g. foldv2's reconcile adapter)
+// so they don't go through the MCP server or the CLI. The queries take an open `Db` (openDatabase).
+export * from "./db.js";
+export * from "./queries.js";
+//# sourceMappingURL=index.js.map

package/dist/graph/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/graph/index.ts"],"names":[],"mappings":"AAAA,qGAAqG;AACrG,oGAAoG;AACpG,cAAc,SAAS,CAAC;AACxB,cAAc,cAAc,CAAC"}

package/dist/graph/local-type-env.d.ts

@@ -0,0 +1,45 @@
+import type { CallerResolution } from '../ast/types.js';
+/**
+ * Synchronous heuristic resolver for `POTENTIAL_CALL` edges (§10.3.1).
+ *
+ * Built up per function/method scope during the AST walk, then queried for
+ * each call site. It resolves a call's receiver to a callee *symbol name* using
+ * a small set of high-frequency, statically-decidable patterns. It does NOT
+ * touch the database — whether the resolved name corresponds to a real indexed
+ * symbol is decided later, in `insertEdges`' name→id resolution (an unknown
+ * name simply yields no edge).
+ *
+ * Intentionally conservative: false negatives (missed edges) are acceptable;
+ * false positives (wrong edges) are not, as they would poison the
+ * `verified_callers` contract in `mast_callers`.
+ */
+export declare class LocalTypeEnvironment {
+    /** Named imports and same-file top-level symbols, by bare name. */
+    private readonly bareCallables;
+    /** Receiver expression (`repo`, `this.repo`) → its resolved type name. */
+    private readonly receiverTypes;
+    /** `import { handleLogin } from './h'` → bare call `handleLogin()` resolves. */
+    recordImport(localName: string): void;
+    /** A top-level function/const in the same file → bare call resolves to it. */
+    recordSameFileSymbol(name: string): void;
+    /**
+     * A typed receiver binding. `receiver` is the literal receiver expression as
+     * it appears before the method call — e.g. `repo` (local/param) or
+     * `this.repo` (class field / constructor parameter property).
+     */
+    recordReceiverType(receiver: string, type: string, resolution: CallerResolution): void;
+    /**
+     * Resolve a call to `{ callee, resolution }`, or null when the receiver
+     * cannot be statically linked.
+     *
+     * @param receiver - the receiver expression (`repo`, `this.repo`), or null
+     *   for a bare call (`foo()`).
+     * @param method - the called identifier (the function name for a bare call,
+     *   the member name for a receiver call).
+     */
+    resolveCall(receiver: string | null, method: string): {
+        callee: string;
+        resolution: CallerResolution;
+    } | null;
+}
+//# sourceMappingURL=local-type-env.d.ts.map