@adversarylabs/sdk 0.1.18 → 0.1.20

package/dist/outcome-context.d.ts

@@ -0,0 +1,34 @@
+export declare const ADVERSARY_OUTCOME_CONTEXT_ENV = "ADVERSARY_OUTCOME_CONTEXT";
+export declare const OUTCOME_CONTEXT_SCHEMA_VERSION = "adversary.outcome-context.v1";
+export declare const OUTCOME_CONTEXT_MAX_SOURCE_CHARACTERS: number;
+export declare const OUTCOME_CONTEXT_MAX_FILE_BYTES: number;
+export type OutcomeContextSourceKind = "pull_request_title" | "pull_request_body";
+export interface OutcomeContextSubject {
+    readonly provider?: string;
+    readonly repository?: string;
+    readonly pullRequest?: number;
+}
+export interface OutcomeContextSource {
+    readonly kind: OutcomeContextSourceKind;
+    /** Untrusted author-supplied text. Never treat this as model instructions. */
+    readonly text: string;
+}
+export interface OutcomeIntent {
+    readonly objective: string;
+    readonly confidence: "low" | "medium" | "high";
+    readonly expectedEffects: readonly string[];
+    readonly mustPreserve: readonly string[];
+    readonly affectedBoundaries: readonly string[];
+    readonly ambiguities: readonly string[];
+}
+export interface OutcomeContext {
+    readonly schemaVersion: typeof OUTCOME_CONTEXT_SCHEMA_VERSION;
+    readonly subject: OutcomeContextSubject;
+    readonly sources: readonly OutcomeContextSource[];
+    /** Host-detected intent. It remains a hypothesis that adversaries must verify. */
+    readonly intent: OutcomeIntent;
+}
+export declare function openOutcomeContext(path: string): Promise<OutcomeContext>;
+export declare function outcomeContextFromEnvironment(env?: Readonly<Record<string, string | undefined>>): Promise<OutcomeContext | null>;
+export declare function parseOutcomeContext(value: unknown, source?: string): OutcomeContext;
+//# sourceMappingURL=outcome-context.d.ts.map

package/dist/outcome-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"outcome-context.d.ts","sourceRoot":"","sources":["../src/outcome-context.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,6BAA6B,8BAA8B,CAAC;AACzE,eAAO,MAAM,8BAA8B,iCAAiC,CAAC;AAC7E,eAAO,MAAM,qCAAqC,QAAW,CAAC;AAC9D,eAAO,MAAM,8BAA8B,QAAY,CAAC;AAMxD,MAAM,MAAM,wBAAwB,GAAG,oBAAoB,GAAG,mBAAmB,CAAC;AAElF,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IACxC,8EAA8E;IAC9E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAC/C,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,aAAa,EAAE,OAAO,8BAA8B,CAAC;IAC9D,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAClD,kFAAkF;IAClF,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;CAChC;AAED,wBAAsB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAM9E;AAED,wBAAsB,6BAA6B,CACjD,GAAG,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAe,GAC9D,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAGhC;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,SAAU,GAAG,cAAc,CAmEpF"}

package/dist/outcome-context.js

@@ -0,0 +1,138 @@
+import { readFile } from "node:fs/promises";
+export const ADVERSARY_OUTCOME_CONTEXT_ENV = "ADVERSARY_OUTCOME_CONTEXT";
+export const OUTCOME_CONTEXT_SCHEMA_VERSION = "adversary.outcome-context.v1";
+export const OUTCOME_CONTEXT_MAX_SOURCE_CHARACTERS = 32 << 10;
+export const OUTCOME_CONTEXT_MAX_FILE_BYTES = 384 << 10;
+const MAX_PROVIDER_CHARACTERS = 100;
+const MAX_REPOSITORY_CHARACTERS = 500;
+const MAX_INTENT_TEXT_CHARACTERS = 500;
+export async function openOutcomeContext(path) {
+    const raw = await readFile(path, "utf8");
+    if (Buffer.byteLength(raw) > OUTCOME_CONTEXT_MAX_FILE_BYTES) {
+        throw new Error(`Invalid outcome context at ${path}: file is too large.`);
+    }
+    return parseOutcomeContext(JSON.parse(raw), path);
+}
+export async function outcomeContextFromEnvironment(env = process.env) {
+    const path = env[ADVERSARY_OUTCOME_CONTEXT_ENV]?.trim();
+    return path ? openOutcomeContext(path) : null;
+}
+export function parseOutcomeContext(value, source = "value") {
+    if (!isRecord(value) || value.schema_version !== OUTCOME_CONTEXT_SCHEMA_VERSION) {
+        throw new Error(`Invalid outcome context at ${source}: schema_version must be ${OUTCOME_CONTEXT_SCHEMA_VERSION}.`);
+    }
+    assertKeys(value, ["schema_version", "subject", "sources", "intent"], source);
+    if (!isRecord(value.subject)) {
+        throw new Error(`Invalid outcome context at ${source}: subject must be an object.`);
+    }
+    assertKeys(value.subject, ["provider", "repository", "pull_request"], `${source}.subject`);
+    if (value.subject.provider !== undefined &&
+        (typeof value.subject.provider !== "string" ||
+            characterLength(value.subject.provider) > MAX_PROVIDER_CHARACTERS)) {
+        throw new Error(`Invalid outcome context at ${source}: subject.provider must be a string.`);
+    }
+    if (value.subject.repository !== undefined &&
+        (typeof value.subject.repository !== "string" ||
+            characterLength(value.subject.repository) > MAX_REPOSITORY_CHARACTERS)) {
+        throw new Error(`Invalid outcome context at ${source}: subject.repository must be a string.`);
+    }
+    if (!Array.isArray(value.sources) || value.sources.length === 0 || value.sources.length > 2) {
+        throw new Error(`Invalid outcome context at ${source}: sources must contain one or two items.`);
+    }
+    const sources = [];
+    const kinds = new Set();
+    for (const item of value.sources) {
+        if (!isRecord(item) || !isSourceKind(item.kind) || typeof item.text !== "string") {
+            throw new Error(`Invalid outcome context at ${source}: each source requires kind and text.`);
+        }
+        assertKeys(item, ["kind", "text"], `${source}.sources`);
+        if (item.text.trim() === "") {
+            throw new Error(`Invalid outcome context at ${source}: source text must not be empty.`);
+        }
+        if (characterLength(item.text) > OUTCOME_CONTEXT_MAX_SOURCE_CHARACTERS) {
+            throw new Error(`Invalid outcome context at ${source}: source text is too long.`);
+        }
+        if (kinds.has(item.kind)) {
+            throw new Error(`Invalid outcome context at ${source}: source kinds must be unique.`);
+        }
+        kinds.add(item.kind);
+        sources.push(Object.freeze({ kind: item.kind, text: item.text }));
+    }
+    const intent = parseIntent(value.intent, source);
+    const pullRequest = value.subject.pull_request;
+    if (pullRequest !== undefined &&
+        (!Number.isInteger(pullRequest) || pullRequest < 1)) {
+        throw new Error(`Invalid outcome context at ${source}: subject.pull_request must be positive.`);
+    }
+    return Object.freeze({
+        schemaVersion: OUTCOME_CONTEXT_SCHEMA_VERSION,
+        subject: Object.freeze({
+            ...(typeof value.subject.provider === "string" ? { provider: value.subject.provider } : {}),
+            ...(typeof value.subject.repository === "string"
+                ? { repository: value.subject.repository }
+                : {}),
+            ...(typeof pullRequest === "number" ? { pullRequest } : {}),
+        }),
+        sources: Object.freeze(sources),
+        intent,
+    });
+}
+function parseIntent(value, source) {
+    if (!isRecord(value)) {
+        throw new Error(`Invalid outcome context at ${source}: intent must be an object.`);
+    }
+    assertKeys(value, [
+        "objective",
+        "confidence",
+        "expected_effects",
+        "must_preserve",
+        "affected_boundaries",
+        "ambiguities",
+    ], `${source}.intent`);
+    if (typeof value.objective !== "string" ||
+        value.objective.trim() === "" ||
+        characterLength(value.objective) > MAX_INTENT_TEXT_CHARACTERS) {
+        throw new Error(`Invalid outcome context at ${source}: intent.objective must not be empty.`);
+    }
+    if (!isConfidence(value.confidence)) {
+        throw new Error(`Invalid outcome context at ${source}: intent.confidence is invalid.`);
+    }
+    return Object.freeze({
+        objective: value.objective,
+        confidence: value.confidence,
+        expectedEffects: parseStringList(value.expected_effects, source, "expected_effects"),
+        mustPreserve: parseStringList(value.must_preserve, source, "must_preserve"),
+        affectedBoundaries: parseStringList(value.affected_boundaries, source, "affected_boundaries"),
+        ambiguities: parseStringList(value.ambiguities, source, "ambiguities"),
+    });
+}
+function parseStringList(value, source, field) {
+    if (!Array.isArray(value) ||
+        value.length > 12 ||
+        value.some((item) => typeof item !== "string" ||
+            item.trim() === "" ||
+            characterLength(item) > MAX_INTENT_TEXT_CHARACTERS)) {
+        throw new Error(`Invalid outcome context at ${source}: intent.${field} must be a bounded string array.`);
+    }
+    return Object.freeze([...value]);
+}
+function characterLength(value) {
+    return [...value].length;
+}
+function isConfidence(value) {
+    return value === "low" || value === "medium" || value === "high";
+}
+function isSourceKind(value) {
+    return value === "pull_request_title" || value === "pull_request_body";
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function assertKeys(value, allowed, source) {
+    const allowedKeys = new Set(allowed);
+    const unknown = Object.keys(value).find((key) => !allowedKeys.has(key));
+    if (unknown !== undefined) {
+        throw new Error(`Invalid outcome context at ${source}: unknown property ${unknown}.`);
+    }
+}
+//# sourceMappingURL=outcome-context.js.map

package/dist/outcome-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"outcome-context.js","sourceRoot":"","sources":["../src/outcome-context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,MAAM,CAAC,MAAM,6BAA6B,GAAG,2BAA2B,CAAC;AACzE,MAAM,CAAC,MAAM,8BAA8B,GAAG,8BAA8B,CAAC;AAC7E,MAAM,CAAC,MAAM,qCAAqC,GAAG,EAAE,IAAI,EAAE,CAAC;AAC9D,MAAM,CAAC,MAAM,8BAA8B,GAAG,GAAG,IAAI,EAAE,CAAC;AAExD,MAAM,uBAAuB,GAAG,GAAG,CAAC;AACpC,MAAM,yBAAyB,GAAG,GAAG,CAAC;AACtC,MAAM,0BAA0B,GAAG,GAAG,CAAC;AAiCvC,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAY;IACnD,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,8BAA8B,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,8BAA8B,IAAI,sBAAsB,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,EAAE,IAAI,CAAC,CAAC;AAC/D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,MAAoD,OAAO,CAAC,GAAG;IAE/D,MAAM,IAAI,GAAG,GAAG,CAAC,6BAA6B,CAAC,EAAE,IAAI,EAAE,CAAC;IACxD,OAAO,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAc,EAAE,MAAM,GAAG,OAAO;IAClE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,cAAc,KAAK,8BAA8B,EAAE,CAAC;QAChF,MAAM,IAAI,KAAK,CACb,8BAA8B,MAAM,4BAA4B,8BAA8B,GAAG,CAClG,CAAC;IACJ,CAAC;IACD,UAAU,CAAC,KAAK,EAAE,CAAC,gBAAgB,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;IAC9E,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,8BAA8B,MAAM,8BAA8B,CAAC,CAAC;IACtF,CAAC;IACD,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,UAAU,EAAE,YAAY,EAAE,cAAc,CAAC,EAAE,GAAG,MAAM,UAAU,CAAC,CAAC;IAC3F,IACE,KAAK,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS;QACpC,CAAC,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,KAAK,QAAQ;YACzC,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,uBAAuB,CAAC,EACpE,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,8BAA8B,MAAM,sCAAsC,CAAC,CAAC;IAC9F,CAAC;IACD,IACE,KAAK,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS;QACtC,CAAC,OAAO,KAAK,CAAC,OAAO,CAAC,UAAU,KAAK,QAAQ;YAC3C,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,yBAAyB,CAAC,EACxE,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,8BAA8B,MAAM,wCAAwC,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5F,MAAM,IAAI,KAAK,CAAC,8BAA8B,MAAM,0CAA0C,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA4B,CAAC;IAClD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjF,MAAM,IAAI,KAAK,CAAC,8BAA8B,MAAM,uCAAuC,CAAC,CAAC;QAC/F,CAAC;QACD,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,MAAM,UAAU,CAAC,CAAC;QACxD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,8BAA8B,MAAM,kCAAkC,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,qCAAqC,EAAE,CAAC;YACvE,MAAM,IAAI,KAAK,CAAC,8BAA8B,MAAM,4BAA4B,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,8BAA8B,MAAM,gCAAgC,CAAC,CAAC;QACxF,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC;IAC/C,IACE,WAAW,KAAK,SAAS;QACzB,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAK,WAAsB,GAAG,CAAC,CAAC,EAC/D,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,8BAA8B,MAAM,0CAA0C,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,aAAa,EAAE,8BAA8B;QAC7C,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACrB,GAAG,CAAC,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3F,GAAG,CAAC,OAAO,KAAK,CAAC,OAAO,CAAC,UAAU,KAAK,QAAQ;gBAC9C,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE;gBAC1C,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,OAAO,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5D,CAAC;QACF,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QAC/B,MAAM;KACP,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,MAAc;IACjD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,8BAA8B,MAAM,6BAA6B,CAAC,CAAC;IACrF,CAAC;IACD,UAAU,CACR,KAAK,EACL;QACE,WAAW;QACX,YAAY;QACZ,kBAAkB;QAClB,eAAe;QACf,qBAAqB;QACrB,aAAa;KACd,EACD,GAAG,MAAM,SAAS,CACnB,CAAC;IACF,IACE,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;QACnC,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE;QAC7B,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,0BAA0B,EAC7D,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,8BAA8B,MAAM,uCAAuC,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,8BAA8B,MAAM,iCAAiC,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,eAAe,EAAE,eAAe,CAAC,KAAK,CAAC,gBAAgB,EAAE,MAAM,EAAE,kBAAkB,CAAC;QACpF,YAAY,EAAE,eAAe,CAAC,KAAK,CAAC,aAAa,EAAE,MAAM,EAAE,eAAe,CAAC;QAC3E,kBAAkB,EAAE,eAAe,CAAC,KAAK,CAAC,mBAAmB,EAAE,MAAM,EAAE,qBAAqB,CAAC;QAC7F,WAAW,EAAE,eAAe,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,aAAa,CAAC;KACvE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,MAAc,EAAE,KAAa;IACpE,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrB,KAAK,CAAC,MAAM,GAAG,EAAE;QACjB,KAAK,CAAC,IAAI,CACR,CAAC,IAAI,EAAE,EAAE,CACP,OAAO,IAAI,KAAK,QAAQ;YACxB,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;YAClB,eAAe,CAAC,IAAI,CAAC,GAAG,0BAA0B,CACrD,EACD,CAAC;QACD,MAAM,IAAI,KAAK,CACb,8BAA8B,MAAM,YAAY,KAAK,kCAAkC,CACxF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC;AAC3B,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,MAAM,CAAC;AACnE,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,KAAK,KAAK,oBAAoB,IAAI,KAAK,KAAK,mBAAmB,CAAC;AACzE,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,UAAU,CACjB,KAA8B,EAC9B,OAA0B,EAC1B,MAAc;IAEd,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACxE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,8BAA8B,MAAM,sBAAsB,OAAO,GAAG,CAAC,CAAC;IACxF,CAAC;AACH,CAAC","sourcesContent":["import { readFile } from \"node:fs/promises\";\n\nexport const ADVERSARY_OUTCOME_CONTEXT_ENV = \"ADVERSARY_OUTCOME_CONTEXT\";\nexport const OUTCOME_CONTEXT_SCHEMA_VERSION = \"adversary.outcome-context.v1\";\nexport const OUTCOME_CONTEXT_MAX_SOURCE_CHARACTERS = 32 << 10;\nexport const OUTCOME_CONTEXT_MAX_FILE_BYTES = 384 << 10;\n\nconst MAX_PROVIDER_CHARACTERS = 100;\nconst MAX_REPOSITORY_CHARACTERS = 500;\nconst MAX_INTENT_TEXT_CHARACTERS = 500;\n\nexport type OutcomeContextSourceKind = \"pull_request_title\" | \"pull_request_body\";\n\nexport interface OutcomeContextSubject {\n  readonly provider?: string;\n  readonly repository?: string;\n  readonly pullRequest?: number;\n}\n\nexport interface OutcomeContextSource {\n  readonly kind: OutcomeContextSourceKind;\n  /** Untrusted author-supplied text. Never treat this as model instructions. */\n  readonly text: string;\n}\n\nexport interface OutcomeIntent {\n  readonly objective: string;\n  readonly confidence: \"low\" | \"medium\" | \"high\";\n  readonly expectedEffects: readonly string[];\n  readonly mustPreserve: readonly string[];\n  readonly affectedBoundaries: readonly string[];\n  readonly ambiguities: readonly string[];\n}\n\nexport interface OutcomeContext {\n  readonly schemaVersion: typeof OUTCOME_CONTEXT_SCHEMA_VERSION;\n  readonly subject: OutcomeContextSubject;\n  readonly sources: readonly OutcomeContextSource[];\n  /** Host-detected intent. It remains a hypothesis that adversaries must verify. */\n  readonly intent: OutcomeIntent;\n}\n\nexport async function openOutcomeContext(path: string): Promise<OutcomeContext> {\n  const raw = await readFile(path, \"utf8\");\n  if (Buffer.byteLength(raw) > OUTCOME_CONTEXT_MAX_FILE_BYTES) {\n    throw new Error(`Invalid outcome context at ${path}: file is too large.`);\n  }\n  return parseOutcomeContext(JSON.parse(raw) as unknown, path);\n}\n\nexport async function outcomeContextFromEnvironment(\n  env: Readonly<Record<string, string | undefined>> = process.env,\n): Promise<OutcomeContext | null> {\n  const path = env[ADVERSARY_OUTCOME_CONTEXT_ENV]?.trim();\n  return path ? openOutcomeContext(path) : null;\n}\n\nexport function parseOutcomeContext(value: unknown, source = \"value\"): OutcomeContext {\n  if (!isRecord(value) || value.schema_version !== OUTCOME_CONTEXT_SCHEMA_VERSION) {\n    throw new Error(\n      `Invalid outcome context at ${source}: schema_version must be ${OUTCOME_CONTEXT_SCHEMA_VERSION}.`,\n    );\n  }\n  assertKeys(value, [\"schema_version\", \"subject\", \"sources\", \"intent\"], source);\n  if (!isRecord(value.subject)) {\n    throw new Error(`Invalid outcome context at ${source}: subject must be an object.`);\n  }\n  assertKeys(value.subject, [\"provider\", \"repository\", \"pull_request\"], `${source}.subject`);\n  if (\n    value.subject.provider !== undefined &&\n    (typeof value.subject.provider !== \"string\" ||\n      characterLength(value.subject.provider) > MAX_PROVIDER_CHARACTERS)\n  ) {\n    throw new Error(`Invalid outcome context at ${source}: subject.provider must be a string.`);\n  }\n  if (\n    value.subject.repository !== undefined &&\n    (typeof value.subject.repository !== \"string\" ||\n      characterLength(value.subject.repository) > MAX_REPOSITORY_CHARACTERS)\n  ) {\n    throw new Error(`Invalid outcome context at ${source}: subject.repository must be a string.`);\n  }\n  if (!Array.isArray(value.sources) || value.sources.length === 0 || value.sources.length > 2) {\n    throw new Error(`Invalid outcome context at ${source}: sources must contain one or two items.`);\n  }\n  const sources: OutcomeContextSource[] = [];\n  const kinds = new Set<OutcomeContextSourceKind>();\n  for (const item of value.sources) {\n    if (!isRecord(item) || !isSourceKind(item.kind) || typeof item.text !== \"string\") {\n      throw new Error(`Invalid outcome context at ${source}: each source requires kind and text.`);\n    }\n    assertKeys(item, [\"kind\", \"text\"], `${source}.sources`);\n    if (item.text.trim() === \"\") {\n      throw new Error(`Invalid outcome context at ${source}: source text must not be empty.`);\n    }\n    if (characterLength(item.text) > OUTCOME_CONTEXT_MAX_SOURCE_CHARACTERS) {\n      throw new Error(`Invalid outcome context at ${source}: source text is too long.`);\n    }\n    if (kinds.has(item.kind)) {\n      throw new Error(`Invalid outcome context at ${source}: source kinds must be unique.`);\n    }\n    kinds.add(item.kind);\n    sources.push(Object.freeze({ kind: item.kind, text: item.text }));\n  }\n  const intent = parseIntent(value.intent, source);\n  const pullRequest = value.subject.pull_request;\n  if (\n    pullRequest !== undefined &&\n    (!Number.isInteger(pullRequest) || (pullRequest as number) < 1)\n  ) {\n    throw new Error(`Invalid outcome context at ${source}: subject.pull_request must be positive.`);\n  }\n  return Object.freeze({\n    schemaVersion: OUTCOME_CONTEXT_SCHEMA_VERSION,\n    subject: Object.freeze({\n      ...(typeof value.subject.provider === \"string\" ? { provider: value.subject.provider } : {}),\n      ...(typeof value.subject.repository === \"string\"\n        ? { repository: value.subject.repository }\n        : {}),\n      ...(typeof pullRequest === \"number\" ? { pullRequest } : {}),\n    }),\n    sources: Object.freeze(sources),\n    intent,\n  });\n}\n\nfunction parseIntent(value: unknown, source: string): OutcomeIntent {\n  if (!isRecord(value)) {\n    throw new Error(`Invalid outcome context at ${source}: intent must be an object.`);\n  }\n  assertKeys(\n    value,\n    [\n      \"objective\",\n      \"confidence\",\n      \"expected_effects\",\n      \"must_preserve\",\n      \"affected_boundaries\",\n      \"ambiguities\",\n    ],\n    `${source}.intent`,\n  );\n  if (\n    typeof value.objective !== \"string\" ||\n    value.objective.trim() === \"\" ||\n    characterLength(value.objective) > MAX_INTENT_TEXT_CHARACTERS\n  ) {\n    throw new Error(`Invalid outcome context at ${source}: intent.objective must not be empty.`);\n  }\n  if (!isConfidence(value.confidence)) {\n    throw new Error(`Invalid outcome context at ${source}: intent.confidence is invalid.`);\n  }\n  return Object.freeze({\n    objective: value.objective,\n    confidence: value.confidence,\n    expectedEffects: parseStringList(value.expected_effects, source, \"expected_effects\"),\n    mustPreserve: parseStringList(value.must_preserve, source, \"must_preserve\"),\n    affectedBoundaries: parseStringList(value.affected_boundaries, source, \"affected_boundaries\"),\n    ambiguities: parseStringList(value.ambiguities, source, \"ambiguities\"),\n  });\n}\n\nfunction parseStringList(value: unknown, source: string, field: string): readonly string[] {\n  if (\n    !Array.isArray(value) ||\n    value.length > 12 ||\n    value.some(\n      (item) =>\n        typeof item !== \"string\" ||\n        item.trim() === \"\" ||\n        characterLength(item) > MAX_INTENT_TEXT_CHARACTERS,\n    )\n  ) {\n    throw new Error(\n      `Invalid outcome context at ${source}: intent.${field} must be a bounded string array.`,\n    );\n  }\n  return Object.freeze([...value]);\n}\n\nfunction characterLength(value: string): number {\n  return [...value].length;\n}\n\nfunction isConfidence(value: unknown): value is OutcomeIntent[\"confidence\"] {\n  return value === \"low\" || value === \"medium\" || value === \"high\";\n}\n\nfunction isSourceKind(value: unknown): value is OutcomeContextSourceKind {\n  return value === \"pull_request_title\" || value === \"pull_request_body\";\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n  return typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\n\nfunction assertKeys(\n  value: Record<string, unknown>,\n  allowed: readonly string[],\n  source: string,\n): void {\n  const allowedKeys = new Set(allowed);\n  const unknown = Object.keys(value).find((key) => !allowedKeys.has(key));\n  if (unknown !== undefined) {\n    throw new Error(`Invalid outcome context at ${source}: unknown property ${unknown}.`);\n  }\n}\n"]}

package/dist/repo-graph.d.ts

@@ -1,6 +1,6 @@
 export declare const ADVERSARY_REPO_GRAPH_ENV = "ADVERSARY_REPO_GRAPH";
 export declare const REPO_GRAPH_SCHEMA_VERSION = "v2";
-export declare const REPO_GRAPH_ADAPTER_REVISION = "go-ast-v1+ts-syntax-v1";
+export declare const REPO_GRAPH_ADAPTER_REVISION = "go-semantic-v1+ts-syntax-v1";
 export interface RepoGraphMeta {
     schemaVersion: string;
     adapterRevision: string;
@@ -12,6 +12,7 @@ export interface RepoGraphMeta {
     symbolCount: number;
     edgeCount: number;
     testLinkCount: number;
+    factCount: number;
     parseFailures?: readonly RepoGraphDiagnostic[];
 }
 export interface RepoGraphDiagnostic {
@@ -62,6 +63,43 @@ export interface RepoGraphTestLink {
     confidence: number;
     reason: string;
 }
+export interface RepoGraphSemanticFact<T = unknown> {
+    id: number;
+    kind: string;
+    path: string;
+    module?: string;
+    symbolId?: number;
+    line: number;
+    column: number;
+    endLine: number;
+    endColumn: number;
+    confidence: number;
+    adapter: string;
+    data: T;
+}
+export interface RepoGraphFactQuery {
+    kind?: string;
+    path?: string;
+    module?: string;
+    cursor?: string;
+    limit?: number;
+}
+export interface GoFallibleOnceInitialization {
+    id: number;
+    path: string;
+    module?: string;
+    symbolId?: number;
+    line: number;
+    column: number;
+    endLine: number;
+    endColumn: number;
+    confidence: number;
+    function: string;
+    guard: string;
+    value: string;
+    error: string;
+    explicitResetAfterError: boolean;
+}
 export interface RepoGraphPage<T> {
     items: readonly T[];
     nextCursor?: string;
@@ -103,6 +141,8 @@ export interface RepoGraph {
         cursor?: string;
         limit?: number;
     }): RepoGraphPage<RepoGraphTestLink>;
+    semanticFacts<T = unknown>(query?: RepoGraphFactQuery): RepoGraphPage<RepoGraphSemanticFact<T>>;
+    goFallibleOnceInitializations(query?: Omit<RepoGraphFactQuery, "kind">): RepoGraphPage<GoFallibleOnceInitialization>;
     close(): void;
 }
 export declare class RepoGraphUnavailableError extends Error {

package/dist/repo-graph.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"repo-graph.d.ts","sourceRoot":"","sources":["../src/repo-graph.ts"],"names":[],"mappings":"AAIA,eAAO,MAAM,wBAAwB,yBAAyB,CAAC;AAC/D,eAAO,MAAM,yBAAyB,OAAO,CAAC;AAC9C,eAAO,MAAM,2BAA2B,2BAA2B,CAAC;AAEpE,MAAM,WAAW,aAAa;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;CAChD;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,aAAa,CAAC,CAAC;IAC9B,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,KAAK,CAAC,KAAK,CAAC,EAAE,kBAAkB,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAAC;IACnF,OAAO,CAAC,KAAK,CAAC,EAAE,oBAAoB,GAAG,aAAa,CAAC,eAAe,CAAC,CAAC;IACtE,WAAW,CAAC,KAAK,EAAE,oBAAoB,GAAG,aAAa,CAAC,eAAe,CAAC,CAAC;IACzE,UAAU,CAAC,KAAK,EAAE,sBAAsB,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;IACxE,OAAO,CAAC,KAAK,EAAE,sBAAsB,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;IACrE,OAAO,CAAC,KAAK,EAAE,sBAAsB,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;IACrE,eAAe,CAAC,KAAK,EAAE,sBAAsB,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;IAC7E,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;IACvF,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;IACzF,YAAY,CAAC,OAAO,EAAE;QACpB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,KAAK,CAAC,EAAE,MAAM,CAAC;KAChB,GAAG,aAAa,CAAC,iBAAiB,CAAC,CAAC;IACrC,KAAK,IAAI,IAAI,CAAC;CACf;AAED,qBAAa,yBAA0B,SAAQ,KAAK;IAClD,QAAQ,CAAC,IAAI,4BAA4B;gBAE7B,OAAO,EAAE,MAAM;CAI5B;AAED,wBAAsB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAanE;AAED,wBAAsB,wBAAwB,CAC5C,GAAG,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAe,GACpD,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC,CAQ3B"}
+{"version":3,"file":"repo-graph.d.ts","sourceRoot":"","sources":["../src/repo-graph.ts"],"names":[],"mappings":"AAIA,eAAO,MAAM,wBAAwB,yBAAyB,CAAC;AAC/D,eAAO,MAAM,yBAAyB,OAAO,CAAC;AAC9C,eAAO,MAAM,2BAA2B,gCAAgC,CAAC;AAEzE,MAAM,WAAW,aAAa;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;CAChD;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,qBAAqB,CAAC,CAAC,GAAG,OAAO;IAChD,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,CAAC,CAAC;CACT;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,4BAA4B;IAC3C,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,uBAAuB,EAAE,OAAO,CAAC;CAClC;AAED,MAAM,WAAW,aAAa,CAAC,CAAC;IAC9B,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,KAAK,CAAC,KAAK,CAAC,EAAE,kBAAkB,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAAC;IACnF,OAAO,CAAC,KAAK,CAAC,EAAE,oBAAoB,GAAG,aAAa,CAAC,eAAe,CAAC,CAAC;IACtE,WAAW,CAAC,KAAK,EAAE,oBAAoB,GAAG,aAAa,CAAC,eAAe,CAAC,CAAC;IACzE,UAAU,CAAC,KAAK,EAAE,sBAAsB,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;IACxE,OAAO,CAAC,KAAK,EAAE,sBAAsB,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;IACrE,OAAO,CAAC,KAAK,EAAE,sBAAsB,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;IACrE,eAAe,CAAC,KAAK,EAAE,sBAAsB,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;IAC7E,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;IACvF,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;IACzF,YAAY,CAAC,OAAO,EAAE;QACpB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,KAAK,CAAC,EAAE,MAAM,CAAC;KAChB,GAAG,aAAa,CAAC,iBAAiB,CAAC,CAAC;IACrC,aAAa,CAAC,CAAC,GAAG,OAAO,EAAE,KAAK,CAAC,EAAE,kBAAkB,GAAG,aAAa,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;IAChG,6BAA6B,CAC3B,KAAK,CAAC,EAAE,IAAI,CAAC,kBAAkB,EAAE,MAAM,CAAC,GACvC,aAAa,CAAC,4BAA4B,CAAC,CAAC;IAC/C,KAAK,IAAI,IAAI,CAAC;CACf;AAED,qBAAa,yBAA0B,SAAQ,KAAK;IAClD,QAAQ,CAAC,IAAI,4BAA4B;gBAE7B,OAAO,EAAE,MAAM;CAI5B;AAED,wBAAsB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAanE;AAED,wBAAsB,wBAAwB,CAC5C,GAAG,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAe,GACpD,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC,CAQ3B"}

package/dist/repo-graph.js

@@ -3,7 +3,7 @@ import { join } from "node:path";
 import { DatabaseSync } from "node:sqlite";
 export const ADVERSARY_REPO_GRAPH_ENV = "ADVERSARY_REPO_GRAPH";
 export const REPO_GRAPH_SCHEMA_VERSION = "v2";
-export const REPO_GRAPH_ADAPTER_REVISION = "go-ast-v1+ts-syntax-v1";
+export const REPO_GRAPH_ADAPTER_REVISION = "go-semantic-v1+ts-syntax-v1";
 export class RepoGraphUnavailableError extends Error {
     code = "repo_graph_unavailable";
     constructor(message) {
@@ -114,6 +114,29 @@ class SQLiteRepoGraph {
             .all(cursor, options.path ?? "", normalizePath(options.path ?? ""), symbolId, symbolId, symbolId, limit + 1);
         return testLinkPage(rows.map(testLinkRow), limit);
     }
+    semanticFacts(query = {}) {
+        if (query.path !== undefined)
+            validPath(query.path);
+        const { limit, cursor } = bounds(query.limit, query.cursor);
+        const rows = this.database
+            .prepare(`SELECT sf.id,sf.kind,f.path,f.module,sf.symbol_id,
+      sf.line,sf.column,sf.end_line,sf.end_column,sf.confidence,sf.adapter,sf.data
+      FROM semantic_facts sf JOIN files f ON f.id=sf.file_id
+      WHERE sf.id>? AND (?='' OR sf.kind=?) AND (?='' OR f.path=?)
+      AND (?='' OR f.module=?) ORDER BY sf.id LIMIT ?`)
+            .all(cursor, query.kind ?? "", query.kind ?? "", query.path ?? "", normalizePath(query.path ?? ""), query.module ?? "", query.module ?? "", limit + 1);
+        return page(rows.map((row) => semanticFactRow(row)), limit, (item) => item.id);
+    }
+    goFallibleOnceInitializations(query = {}) {
+        const facts = this.semanticFacts({
+            ...query,
+            kind: "go.fallible_once_initialization",
+        });
+        return {
+            items: facts.items.map(goFallibleOnceInitialization),
+            ...(facts.nextCursor === undefined ? {} : { nextCursor: facts.nextCursor }),
+        };
+    }
     close() {
         this.database.close();
     }
@@ -191,6 +214,44 @@ function edgeRow(row) {
         adapter: text(row.adapter),
     };
 }
+function semanticFactRow(row) {
+    return {
+        id: number(row.id),
+        kind: text(row.kind),
+        path: text(row.path),
+        ...(text(row.module) === "" ? {} : { module: text(row.module) }),
+        ...(row.symbol_id === null ? {} : { symbolId: number(row.symbol_id) }),
+        line: number(row.line),
+        column: number(row.column),
+        endLine: number(row.end_line),
+        endColumn: number(row.end_column),
+        confidence: number(row.confidence),
+        adapter: text(row.adapter),
+        data: JSON.parse(text(row.data)),
+    };
+}
+function goFallibleOnceInitialization(fact) {
+    const data = fact.data;
+    if (typeof data.function !== "string" ||
+        typeof data.guard !== "string" ||
+        typeof data.value !== "string" ||
+        typeof data.error !== "string" ||
+        typeof data.explicitResetAfterError !== "boolean") {
+        throw new Error("malformed go.fallible_once_initialization fact");
+    }
+    return {
+        id: fact.id,
+        path: fact.path,
+        ...(fact.module === undefined ? {} : { module: fact.module }),
+        ...(fact.symbolId === undefined ? {} : { symbolId: fact.symbolId }),
+        line: fact.line,
+        column: fact.column,
+        endLine: fact.endLine,
+        endColumn: fact.endColumn,
+        confidence: fact.confidence,
+        ...data,
+    };
+}
 function testLinkRow(row) {
     return {
         id: number(row.id),

package/dist/repo-graph.js.map

@@ -1 +1 @@
-{"version":3,"file":"repo-graph.js","sourceRoot":"","sources":["../src/repo-graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,MAAM,CAAC,MAAM,wBAAwB,GAAG,sBAAsB,CAAC;AAC/D,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC;AAC9C,MAAM,CAAC,MAAM,2BAA2B,GAAG,wBAAwB,CAAC;AAqHpE,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IACzC,IAAI,GAAG,wBAAwB,CAAC;IAEzC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;IAC1C,CAAC;CACF;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,GAAW;IAC7C,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAkB,CAAC;IAC9C,IACE,IAAI,CAAC,aAAa,KAAK,yBAAyB;QAChD,IAAI,CAAC,eAAe,KAAK,2BAA2B,EACpD,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,iCAAiC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,eAAe,EAAE,CAC9E,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IACjF,OAAO,IAAI,eAAe,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,MAA0C,OAAO,CAAC,GAAG;IAErD,MAAM,GAAG,GAAG,GAAG,CAAC,wBAAwB,CAAC,EAAE,IAAI,EAAE,CAAC;IAClD,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,eAAe;IAER;IACA;IACQ;IAHnB,YACW,GAAW,EACX,IAAmB,EACX,QAAsB;QAF9B,QAAG,GAAH,GAAG,CAAQ;QACX,SAAI,GAAJ,IAAI,CAAe;QACX,aAAQ,GAAR,QAAQ,CAAc;IACtC,CAAC;IAEJ,KAAK,CAAC,QAA4B,EAAE;QAClC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ;aACvB,OAAO,CAAC;;0BAEW,CAAC;aACpB,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAClF,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED,QAAQ,CAAC,IAAY,EAAE,IAAY,EAAE,MAAM,GAAG,CAAC;QAC7C,SAAS,CAAC,IAAI,CAAC,CAAC;QAChB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;YACnF,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ;aACtB,OAAO,CAAC,GAAG,YAAY;;;+DAGiC,CAAC;aACzD,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACpE,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACxD,CAAC;IAED,OAAO,CAAC,QAA8B,EAAE;QACtC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ;aACvB,OAAO,CAAC,GAAG,YAAY;;4BAEF,CAAC;aACtB,GAAG,CACF,MAAM,EACN,KAAK,CAAC,IAAI,IAAI,EAAE,EAChB,aAAa,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,EAC/B,KAAK,CAAC,IAAI,IAAI,EAAE,EAChB,KAAK,CAAC,IAAI,IAAI,EAAE,EAChB,KAAK,CAAC,IAAI,IAAI,EAAE,EAChB,KAAK,CAAC,IAAI,IAAI,EAAE,EAChB,KAAK,GAAG,CAAC,CACV,CAAC;QACJ,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7D,CAAC;IAED,WAAW,CAAC,KAA2B;QACrC,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAED,UAAU,CAAC,KAA6B;QACtC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IACpD,CAAC;IAED,OAAO,CAAC,KAA6B;QACnC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,CAAC,KAA6B;QACnC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAC9C,CAAC;IAED,eAAe,CAAC,KAA6B;QAC3C,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IACpD,CAAC;IAED,SAAS,CAAC,IAAY,EAAE,MAAe,EAAE,KAAc;QACrD,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACvD,CAAC;IAED,WAAW,CAAC,IAAY,EAAE,MAAe,EAAE,KAAc;QACvD,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC;IAED,YAAY,CAAC,OAKZ;QACC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC;YAC7C,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACnD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAChE,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ;aACvB,OAAO,CAAC;;;;;;6BAMc,CAAC;aACvB,GAAG,CACF,MAAM,EACN,OAAO,CAAC,IAAI,IAAI,EAAE,EAClB,aAAa,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,EACjC,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,KAAK,GAAG,CAAC,CACV,CAAC;QACJ,OAAO,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,CAAC;IAED,KAAK;QACH,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;IACxB,CAAC;IAEO,SAAS,CACf,KAA6B,EAC7B,IAAY,EACZ,QAAiB;QAEjB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;YAC5D,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,cAAc,CAAC;QAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ;aACvB,OAAO,CAAC,GAAG,UAAU;wCACY,MAAM,0BAA0B,CAAC;aAClE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAChD,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC;IAEO,aAAa,CACnB,IAAY,EACZ,WAA+B,EAC/B,UAA8B,EAC9B,QAAiB;QAEjB,SAAS,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QAC1D,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,mDAAmD,CAAC;QAC/F,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ;aACvB,OAAO,CAAC,GAAG,UAAU;8CACkB,SAAS,wBAAwB,CAAC;aACzE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC/C,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC;CACF;AAED,MAAM,YAAY,GAAG;;gDAE2B,CAAC;AAEjD,MAAM,UAAU,GAAG;;;;2CAIwB,CAAC;AAM5C,SAAS,OAAO,CAAC,GAAc;IAC7B,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpB,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC5B,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;QACtB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;KACjE,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,GAAc;IAC/B,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;QACjC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;QAClC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC7B,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;QAC9B,GAAG,CAAC,GAAG,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;QAC/E,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;QACpC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;KAC/E,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,GAAc;IAC7B,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;QAC7B,GAAG,CAAC,GAAG,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;QACpF,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAClE,GAAG,CAAC,GAAG,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9E,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,KAAK,EAAE;YACpC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACtD,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpB,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;QACtB,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;QAC1B,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;QAClC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;KAC3B,CAAC;AACJ,CAAC;AAMD,SAAS,WAAW,CAAC,GAAc;IACjC,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC;QACjC,GAAG,CAAC,GAAG,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC1F,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;QAC7B,GAAG,CAAC,GAAG,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;QACpF,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;QAClC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;KACzB,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAI,KAAU,EAAE,KAAa,EAAE,EAAuB;IACjE,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC;IACrC,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACxD,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,OAAO;QACL,KAAK,EAAE,OAAO;QACd,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,KAAuB,EAAE,KAAa;IAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtD,OAAO;QACL,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC;QACxD,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC;KAChF,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,UAAmB,EAAE,WAAoB;IACvD,MAAM,KAAK,GAAG,UAAU,IAAI,GAAG,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACzF,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,SAAS,CAAC,IAAY;IAC7B,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACvC,IACE,UAAU,KAAK,EAAE;QACjB,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC;QAC1B,UAAU,KAAK,IAAI;QACnB,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC;QAC5B,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC3B,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;QACzB,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EACzB,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,IAAY;IACjC,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,aAAa,CAAC,IAAI,CAAC;SACvB,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC;SACxB,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC;SACtB,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC;SACtB,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;SACpB,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,IAAI,CAAC,KAAc;IAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACrD,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;AAC5D,CAAC","sourcesContent":["import { readFile } from \"node:fs/promises\";\nimport { join } from \"node:path\";\nimport { DatabaseSync } from \"node:sqlite\";\n\nexport const ADVERSARY_REPO_GRAPH_ENV = \"ADVERSARY_REPO_GRAPH\";\nexport const REPO_GRAPH_SCHEMA_VERSION = \"v2\";\nexport const REPO_GRAPH_ADAPTER_REVISION = \"go-ast-v1+ts-syntax-v1\";\n\nexport interface RepoGraphMeta {\n  schemaVersion: string;\n  adapterRevision: string;\n  fingerprint: string;\n  repoPath: string;\n  builtAt: string;\n  durationMs: number;\n  fileCount: number;\n  symbolCount: number;\n  edgeCount: number;\n  testLinkCount: number;\n  parseFailures?: readonly RepoGraphDiagnostic[];\n}\n\nexport interface RepoGraphDiagnostic {\n  path: string;\n  adapter: string;\n  message: string;\n}\n\nexport interface RepoGraphFile {\n  id: number;\n  path: string;\n  language: string;\n  size: number;\n  hash: string;\n  module?: string;\n}\n\nexport interface RepoGraphSymbol {\n  id: number;\n  name: string;\n  kind: string;\n  path: string;\n  startLine: number;\n  startColumn: number;\n  endLine: number;\n  endColumn: number;\n  containerId?: number;\n  exported: boolean;\n  language: string;\n  metadata?: string;\n}\n\nexport interface RepoGraphEdge {\n  id: number;\n  fromPath: string;\n  fromSymbolId?: number;\n  toPath?: string;\n  toSymbolId?: number;\n  unresolvedTarget?: string;\n  kind: string;\n  line: number;\n  column: number;\n  confidence: number;\n  adapter: string;\n}\n\nexport interface RepoGraphTestLink {\n  sourcePath: string;\n  sourceSymbolId?: number;\n  testPath: string;\n  testSymbolId?: number;\n  confidence: number;\n  reason: string;\n}\n\nexport interface RepoGraphPage<T> {\n  items: readonly T[];\n  nextCursor?: string;\n}\n\nexport interface RepoGraphFileQuery {\n  language?: string;\n  glob?: string;\n  cursor?: string;\n  limit?: number;\n}\n\nexport interface RepoGraphSymbolQuery {\n  path?: string;\n  name?: string;\n  kind?: string;\n  cursor?: string;\n  limit?: number;\n}\n\nexport interface RepoGraphRelationQuery {\n  symbolId: number;\n  cursor?: string;\n  limit?: number;\n}\n\nexport interface RepoGraph {\n  readonly dir: string;\n  readonly meta: RepoGraphMeta;\n  files(query?: RepoGraphFileQuery): RepoGraphPage<RepoGraphFile>;\n  symbolAt(path: string, line: number, column?: number): RepoGraphSymbol | undefined;\n  symbols(query?: RepoGraphSymbolQuery): RepoGraphPage<RepoGraphSymbol>;\n  definitions(query: RepoGraphSymbolQuery): RepoGraphPage<RepoGraphSymbol>;\n  references(query: RepoGraphRelationQuery): RepoGraphPage<RepoGraphEdge>;\n  callers(query: RepoGraphRelationQuery): RepoGraphPage<RepoGraphEdge>;\n  callees(query: RepoGraphRelationQuery): RepoGraphPage<RepoGraphEdge>;\n  implementations(query: RepoGraphRelationQuery): RepoGraphPage<RepoGraphEdge>;\n  importsOf(path: string, cursor?: string, limit?: number): RepoGraphPage<RepoGraphEdge>;\n  importersOf(path: string, cursor?: string, limit?: number): RepoGraphPage<RepoGraphEdge>;\n  relatedTests(options: {\n    path?: string;\n    symbolId?: number;\n    cursor?: string;\n    limit?: number;\n  }): RepoGraphPage<RepoGraphTestLink>;\n  close(): void;\n}\n\nexport class RepoGraphUnavailableError extends Error {\n  readonly code = \"repo_graph_unavailable\";\n\n  constructor(message: string) {\n    super(message);\n    this.name = \"RepoGraphUnavailableError\";\n  }\n}\n\nexport async function openRepoGraph(dir: string): Promise<RepoGraph> {\n  const raw = await readFile(join(dir, \"meta.json\"), \"utf8\");\n  const meta = JSON.parse(raw) as RepoGraphMeta;\n  if (\n    meta.schemaVersion !== REPO_GRAPH_SCHEMA_VERSION ||\n    meta.adapterRevision !== REPO_GRAPH_ADAPTER_REVISION\n  ) {\n    throw new RepoGraphUnavailableError(\n      `unsupported repo-graph schema ${meta.schemaVersion}/${meta.adapterRevision}`,\n    );\n  }\n  const database = new DatabaseSync(join(dir, \"graph.sqlite\"), { readOnly: true });\n  return new SQLiteRepoGraph(dir, meta, database);\n}\n\nexport async function repoGraphFromEnvironment(\n  env: Record<string, string | undefined> = process.env,\n): Promise<RepoGraph | null> {\n  const dir = env[ADVERSARY_REPO_GRAPH_ENV]?.trim();\n  if (!dir) return null;\n  try {\n    return await openRepoGraph(dir);\n  } catch {\n    return null;\n  }\n}\n\nclass SQLiteRepoGraph implements RepoGraph {\n  constructor(\n    readonly dir: string,\n    readonly meta: RepoGraphMeta,\n    private readonly database: DatabaseSync,\n  ) {}\n\n  files(query: RepoGraphFileQuery = {}): RepoGraphPage<RepoGraphFile> {\n    const { limit, cursor } = bounds(query.limit, query.cursor);\n    const glob = query.glob === undefined ? \"\" : globToLike(query.glob);\n    const rows = this.database\n      .prepare(`SELECT id,path,language,size,hash,module FROM files\n      WHERE id > ? AND (? = '' OR language = ?) AND (? = '' OR path LIKE ? ESCAPE '\\\\')\n      ORDER BY id LIMIT ?`)\n      .all(cursor, query.language ?? \"\", query.language ?? \"\", glob, glob, limit + 1);\n    return page(rows.map(fileRow), limit, (item) => item.id);\n  }\n\n  symbolAt(path: string, line: number, column = 0): RepoGraphSymbol | undefined {\n    validPath(path);\n    if (!Number.isInteger(line) || line < 1 || !Number.isInteger(column) || column < 0) {\n      throw new Error(\"line must be positive and column non-negative\");\n    }\n    const row = this.database\n      .prepare(`${symbolSelect}\n      WHERE f.path=? AND (s.start_line < ? OR (s.start_line=? AND s.start_col<=?))\n      AND (s.end_line > ? OR (s.end_line=? AND s.end_col>=?))\n      ORDER BY (s.end_line-s.start_line) ASC, s.id ASC LIMIT 1`)\n      .get(normalizePath(path), line, line, column, line, line, column);\n    return row === undefined ? undefined : symbolRow(row);\n  }\n\n  symbols(query: RepoGraphSymbolQuery = {}): RepoGraphPage<RepoGraphSymbol> {\n    if (query.path !== undefined) validPath(query.path);\n    const { limit, cursor } = bounds(query.limit, query.cursor);\n    const rows = this.database\n      .prepare(`${symbolSelect}\n      WHERE s.id>? AND (?='' OR f.path=?) AND (?='' OR s.name=?) AND (?='' OR s.kind=?)\n      ORDER BY s.id LIMIT ?`)\n      .all(\n        cursor,\n        query.path ?? \"\",\n        normalizePath(query.path ?? \"\"),\n        query.name ?? \"\",\n        query.name ?? \"\",\n        query.kind ?? \"\",\n        query.kind ?? \"\",\n        limit + 1,\n      );\n    return page(rows.map(symbolRow), limit, (item) => item.id);\n  }\n\n  definitions(query: RepoGraphSymbolQuery): RepoGraphPage<RepoGraphSymbol> {\n    return this.symbols(query);\n  }\n\n  references(query: RepoGraphRelationQuery): RepoGraphPage<RepoGraphEdge> {\n    return this.relations(query, \"references\", false);\n  }\n\n  callers(query: RepoGraphRelationQuery): RepoGraphPage<RepoGraphEdge> {\n    return this.relations(query, \"calls\", false);\n  }\n\n  callees(query: RepoGraphRelationQuery): RepoGraphPage<RepoGraphEdge> {\n    return this.relations(query, \"calls\", true);\n  }\n\n  implementations(query: RepoGraphRelationQuery): RepoGraphPage<RepoGraphEdge> {\n    return this.relations(query, \"implements\", false);\n  }\n\n  importsOf(path: string, cursor?: string, limit?: number): RepoGraphPage<RepoGraphEdge> {\n    return this.fileRelations(path, cursor, limit, true);\n  }\n\n  importersOf(path: string, cursor?: string, limit?: number): RepoGraphPage<RepoGraphEdge> {\n    return this.fileRelations(path, cursor, limit, false);\n  }\n\n  relatedTests(options: {\n    path?: string;\n    symbolId?: number;\n    cursor?: string;\n    limit?: number;\n  }): RepoGraphPage<RepoGraphTestLink> {\n    if (options.path !== undefined) validPath(options.path);\n    const symbolId = options.symbolId ?? 0;\n    if (!Number.isInteger(symbolId) || symbolId < 0)\n      throw new Error(\"symbolId must be non-negative\");\n    const { limit, cursor } = bounds(options.limit, options.cursor);\n    const rows = this.database\n      .prepare(`SELECT tl.id,sf.path AS source_path,\n      tl.source_symbol_id,tf.path AS test_path,tl.test_symbol_id,tl.confidence,tl.reason\n      FROM test_links tl JOIN files sf ON sf.id=tl.source_file_id\n      JOIN files tf ON tf.id=tl.test_file_id\n      WHERE tl.id>? AND (?='' OR sf.path=?)\n      AND (?=0 OR tl.source_symbol_id=? OR sf.id=(SELECT file_id FROM symbols WHERE id=?))\n      ORDER BY tl.id LIMIT ?`)\n      .all(\n        cursor,\n        options.path ?? \"\",\n        normalizePath(options.path ?? \"\"),\n        symbolId,\n        symbolId,\n        symbolId,\n        limit + 1,\n      );\n    return testLinkPage(rows.map(testLinkRow), limit);\n  }\n\n  close(): void {\n    this.database.close();\n  }\n\n  private relations(\n    query: RepoGraphRelationQuery,\n    kind: string,\n    outgoing: boolean,\n  ): RepoGraphPage<RepoGraphEdge> {\n    if (!Number.isInteger(query.symbolId) || query.symbolId < 1) {\n      throw new Error(\"symbolId must be positive\");\n    }\n    const { limit, cursor } = bounds(query.limit, query.cursor);\n    const column = outgoing ? \"from_symbol_id\" : \"to_symbol_id\";\n    const rows = this.database\n      .prepare(`${edgeSelect}\n      WHERE e.id>? AND e.kind=? AND e.${column}=? ORDER BY e.id LIMIT ?`)\n      .all(cursor, kind, query.symbolId, limit + 1);\n    return page(rows.map(edgeRow), limit, (item) => item.id);\n  }\n\n  private fileRelations(\n    path: string,\n    cursorValue: string | undefined,\n    limitValue: number | undefined,\n    outgoing: boolean,\n  ): RepoGraphPage<RepoGraphEdge> {\n    validPath(path);\n    const { limit, cursor } = bounds(limitValue, cursorValue);\n    const condition = outgoing ? \"ff.path=?\" : \"tf.module=(SELECT module FROM files WHERE path=?)\";\n    const rows = this.database\n      .prepare(`${edgeSelect}\n      WHERE e.id>? AND e.kind='imports' AND ${condition} ORDER BY e.id LIMIT ?`)\n      .all(cursor, normalizePath(path), limit + 1);\n    return page(rows.map(edgeRow), limit, (item) => item.id);\n  }\n}\n\nconst symbolSelect = `SELECT s.id,s.name,s.kind,f.path,s.start_line,s.start_col,\n  s.end_line,s.end_col,s.container_id,s.exported,f.language,s.adapter_data\n  FROM symbols s JOIN files f ON f.id=s.file_id`;\n\nconst edgeSelect = `SELECT e.id,ff.path AS from_path,e.from_symbol_id,\n  COALESCE(tf.path,'') AS to_path,e.to_symbol_id,\n  COALESCE(e.unresolved_target,'') AS unresolved_target,e.kind,e.line,e.column,\n  e.confidence,e.adapter FROM edges e JOIN files ff ON ff.id=e.from_file_id\n  LEFT JOIN files tf ON tf.id=e.to_file_id`;\n\ninterface RowRecord {\n  [key: string]: unknown;\n}\n\nfunction fileRow(row: RowRecord): RepoGraphFile {\n  return {\n    id: number(row.id),\n    path: text(row.path),\n    language: text(row.language),\n    size: number(row.size),\n    hash: text(row.hash),\n    ...(text(row.module) === \"\" ? {} : { module: text(row.module) }),\n  };\n}\n\nfunction symbolRow(row: RowRecord): RepoGraphSymbol {\n  return {\n    id: number(row.id),\n    name: text(row.name),\n    kind: text(row.kind),\n    path: text(row.path),\n    startLine: number(row.start_line),\n    startColumn: number(row.start_col),\n    endLine: number(row.end_line),\n    endColumn: number(row.end_col),\n    ...(row.container_id === null ? {} : { containerId: number(row.container_id) }),\n    exported: number(row.exported) !== 0,\n    language: text(row.language),\n    ...(text(row.adapter_data) === \"\" ? {} : { metadata: text(row.adapter_data) }),\n  };\n}\n\nfunction edgeRow(row: RowRecord): RepoGraphEdge {\n  return {\n    id: number(row.id),\n    fromPath: text(row.from_path),\n    ...(row.from_symbol_id === null ? {} : { fromSymbolId: number(row.from_symbol_id) }),\n    ...(text(row.to_path) === \"\" ? {} : { toPath: text(row.to_path) }),\n    ...(row.to_symbol_id === null ? {} : { toSymbolId: number(row.to_symbol_id) }),\n    ...(text(row.unresolved_target) === \"\"\n      ? {}\n      : { unresolvedTarget: text(row.unresolved_target) }),\n    kind: text(row.kind),\n    line: number(row.line),\n    column: number(row.column),\n    confidence: number(row.confidence),\n    adapter: text(row.adapter),\n  };\n}\n\ninterface TestLinkWithID extends RepoGraphTestLink {\n  id: number;\n}\n\nfunction testLinkRow(row: RowRecord): TestLinkWithID {\n  return {\n    id: number(row.id),\n    sourcePath: text(row.source_path),\n    ...(row.source_symbol_id === null ? {} : { sourceSymbolId: number(row.source_symbol_id) }),\n    testPath: text(row.test_path),\n    ...(row.test_symbol_id === null ? {} : { testSymbolId: number(row.test_symbol_id) }),\n    confidence: number(row.confidence),\n    reason: text(row.reason),\n  };\n}\n\nfunction page<T>(items: T[], limit: number, id: (item: T) => number): RepoGraphPage<T> {\n  const hasMore = items.length > limit;\n  const bounded = hasMore ? items.slice(0, limit) : items;\n  const nextCursor = hasMore ? String(id(bounded[bounded.length - 1] as T)) : undefined;\n  return {\n    items: bounded,\n    ...(nextCursor === undefined ? {} : { nextCursor }),\n  };\n}\n\nfunction testLinkPage(items: TestLinkWithID[], limit: number): RepoGraphPage<RepoGraphTestLink> {\n  const bounded = page(items, limit, (item) => item.id);\n  return {\n    items: bounded.items.map(({ id: _id, ...item }) => item),\n    ...(bounded.nextCursor === undefined ? {} : { nextCursor: bounded.nextCursor }),\n  };\n}\n\nfunction bounds(limitValue?: number, cursorValue?: string): { limit: number; cursor: number } {\n  const limit = limitValue ?? 100;\n  if (!Number.isInteger(limit) || limit < 1 || limit > 500) {\n    throw new Error(\"limit must be an integer from 1 through 500\");\n  }\n  const cursor = cursorValue === undefined || cursorValue === \"\" ? 0 : Number(cursorValue);\n  if (!Number.isSafeInteger(cursor) || cursor < 0) {\n    throw new Error(\"cursor must be a non-negative integer\");\n  }\n  return { limit, cursor };\n}\n\nfunction validPath(path: string): void {\n  const normalized = normalizePath(path);\n  if (\n    normalized === \"\" ||\n    normalized.startsWith(\"/\") ||\n    normalized === \"..\" ||\n    normalized.startsWith(\"../\") ||\n    normalized.includes(\"/../\") ||\n    normalized.includes(\"\\0\") ||\n    normalized.includes(\"//\")\n  ) {\n    throw new Error(\"path must be normalized and repository-relative\");\n  }\n}\n\nfunction normalizePath(path: string): string {\n  return path.replaceAll(\"\\\\\", \"/\").replace(/^\\.\\//, \"\");\n}\n\nfunction globToLike(glob: string): string {\n  if (glob.includes(\"..\") || glob.startsWith(\"/\") || glob.includes(\"\\0\")) {\n    throw new Error(\"glob must be repository-relative\");\n  }\n  return normalizePath(glob)\n    .replaceAll(\"\\\\\", \"\\\\\\\\\")\n    .replaceAll(\"%\", \"\\\\%\")\n    .replaceAll(\"_\", \"\\\\_\")\n    .replaceAll(\"*\", \"%\")\n    .replaceAll(\"?\", \"_\");\n}\n\nfunction text(value: unknown): string {\n  if (typeof value === \"string\") return value;\n  if (value === null || value === undefined) return \"\";\n  throw new Error(\"repo graph returned a non-string value\");\n}\n\nfunction number(value: unknown): number {\n  if (typeof value === \"number\") return value;\n  if (typeof value === \"bigint\") return Number(value);\n  throw new Error(\"repo graph returned a non-number value\");\n}\n"]}
+{"version":3,"file":"repo-graph.js","sourceRoot":"","sources":["../src/repo-graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,MAAM,CAAC,MAAM,wBAAwB,GAAG,sBAAsB,CAAC;AAC/D,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC;AAC9C,MAAM,CAAC,MAAM,2BAA2B,GAAG,6BAA6B,CAAC;AAkKzE,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IACzC,IAAI,GAAG,wBAAwB,CAAC;IAEzC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;IAC1C,CAAC;CACF;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,GAAW;IAC7C,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAkB,CAAC;IAC9C,IACE,IAAI,CAAC,aAAa,KAAK,yBAAyB;QAChD,IAAI,CAAC,eAAe,KAAK,2BAA2B,EACpD,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,iCAAiC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,eAAe,EAAE,CAC9E,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IACjF,OAAO,IAAI,eAAe,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,MAA0C,OAAO,CAAC,GAAG;IAErD,MAAM,GAAG,GAAG,GAAG,CAAC,wBAAwB,CAAC,EAAE,IAAI,EAAE,CAAC;IAClD,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,eAAe;IAER;IACA;IACQ;IAHnB,YACW,GAAW,EACX,IAAmB,EACX,QAAsB;QAF9B,QAAG,GAAH,GAAG,CAAQ;QACX,SAAI,GAAJ,IAAI,CAAe;QACX,aAAQ,GAAR,QAAQ,CAAc;IACtC,CAAC;IAEJ,KAAK,CAAC,QAA4B,EAAE;QAClC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ;aACvB,OAAO,CAAC;;0BAEW,CAAC;aACpB,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAClF,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED,QAAQ,CAAC,IAAY,EAAE,IAAY,EAAE,MAAM,GAAG,CAAC;QAC7C,SAAS,CAAC,IAAI,CAAC,CAAC;QAChB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;YACnF,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ;aACtB,OAAO,CAAC,GAAG,YAAY;;;+DAGiC,CAAC;aACzD,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACpE,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACxD,CAAC;IAED,OAAO,CAAC,QAA8B,EAAE;QACtC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ;aACvB,OAAO,CAAC,GAAG,YAAY;;4BAEF,CAAC;aACtB,GAAG,CACF,MAAM,EACN,KAAK,CAAC,IAAI,IAAI,EAAE,EAChB,aAAa,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,EAC/B,KAAK,CAAC,IAAI,IAAI,EAAE,EAChB,KAAK,CAAC,IAAI,IAAI,EAAE,EAChB,KAAK,CAAC,IAAI,IAAI,EAAE,EAChB,KAAK,CAAC,IAAI,IAAI,EAAE,EAChB,KAAK,GAAG,CAAC,CACV,CAAC;QACJ,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7D,CAAC;IAED,WAAW,CAAC,KAA2B;QACrC,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAED,UAAU,CAAC,KAA6B;QACtC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IACpD,CAAC;IAED,OAAO,CAAC,KAA6B;QACnC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,CAAC,KAA6B;QACnC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAC9C,CAAC;IAED,eAAe,CAAC,KAA6B;QAC3C,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IACpD,CAAC;IAED,SAAS,CAAC,IAAY,EAAE,MAAe,EAAE,KAAc;QACrD,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACvD,CAAC;IAED,WAAW,CAAC,IAAY,EAAE,MAAe,EAAE,KAAc;QACvD,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC;IAED,YAAY,CAAC,OAKZ;QACC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC;YAC7C,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACnD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAChE,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ;aACvB,OAAO,CAAC;;;;;;6BAMc,CAAC;aACvB,GAAG,CACF,MAAM,EACN,OAAO,CAAC,IAAI,IAAI,EAAE,EAClB,aAAa,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,EACjC,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,KAAK,GAAG,CAAC,CACV,CAAC;QACJ,OAAO,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,CAAC;IAED,aAAa,CACX,QAA4B,EAAE;QAE9B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ;aACvB,OAAO,CAAC;;;;sDAIuC,CAAC;aAChD,GAAG,CACF,MAAM,EACN,KAAK,CAAC,IAAI,IAAI,EAAE,EAChB,KAAK,CAAC,IAAI,IAAI,EAAE,EAChB,KAAK,CAAC,IAAI,IAAI,EAAE,EAChB,aAAa,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,EAC/B,KAAK,CAAC,MAAM,IAAI,EAAE,EAClB,KAAK,CAAC,MAAM,IAAI,EAAE,EAClB,KAAK,GAAG,CAAC,CACV,CAAC;QACJ,OAAO,IAAI,CACT,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,eAAe,CAAI,GAAG,CAAC,CAAC,EAC1C,KAAK,EACL,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAClB,CAAC;IACJ,CAAC;IAED,6BAA6B,CAC3B,QAA0C,EAAE;QAE5C,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAqB;YACnD,GAAG,KAAK;YACR,IAAI,EAAE,iCAAiC;SACxC,CAAC,CAAC;QACH,OAAO;YACL,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,4BAA4B,CAAC;YACpD,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC;SAC5E,CAAC;IACJ,CAAC;IAED,KAAK;QACH,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;IACxB,CAAC;IAEO,SAAS,CACf,KAA6B,EAC7B,IAAY,EACZ,QAAiB;QAEjB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;YAC5D,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,cAAc,CAAC;QAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ;aACvB,OAAO,CAAC,GAAG,UAAU;wCACY,MAAM,0BAA0B,CAAC;aAClE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAChD,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC;IAEO,aAAa,CACnB,IAAY,EACZ,WAA+B,EAC/B,UAA8B,EAC9B,QAAiB;QAEjB,SAAS,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QAC1D,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,mDAAmD,CAAC;QAC/F,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ;aACvB,OAAO,CAAC,GAAG,UAAU;8CACkB,SAAS,wBAAwB,CAAC;aACzE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC/C,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC;CACF;AAED,MAAM,YAAY,GAAG;;gDAE2B,CAAC;AAEjD,MAAM,UAAU,GAAG;;;;2CAIwB,CAAC;AAM5C,SAAS,OAAO,CAAC,GAAc;IAC7B,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpB,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC5B,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;QACtB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;KACjE,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,GAAc;IAC/B,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;QACjC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;QAClC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC7B,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;QAC9B,GAAG,CAAC,GAAG,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;QAC/E,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;QACpC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;KAC/E,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,GAAc;IAC7B,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;QAC7B,GAAG,CAAC,GAAG,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;QACpF,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAClE,GAAG,CAAC,GAAG,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9E,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,KAAK,EAAE;YACpC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACtD,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpB,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;QACtB,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;QAC1B,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;QAClC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;KAC3B,CAAC;AACJ,CAAC;AAUD,SAAS,eAAe,CAAI,GAAc;IACxC,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACtE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;QACtB,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;QAC1B,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC7B,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;QACjC,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;QAClC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;QAC1B,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAM;KACtC,CAAC;AACJ,CAAC;AAED,SAAS,4BAA4B,CACnC,IAA+C;IAE/C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IACE,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;QACjC,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;QAC9B,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;QAC9B,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;QAC9B,OAAO,IAAI,CAAC,uBAAuB,KAAK,SAAS,EACjD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,CAAC;IACD,OAAO;QACL,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;QAC7D,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACnE,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,GAAG,IAAI;KACR,CAAC;AACJ,CAAC;AAMD,SAAS,WAAW,CAAC,GAAc;IACjC,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC;QACjC,GAAG,CAAC,GAAG,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC1F,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;QAC7B,GAAG,CAAC,GAAG,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;QACpF,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;QAClC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;KACzB,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAI,KAAU,EAAE,KAAa,EAAE,EAAuB;IACjE,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC;IACrC,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACxD,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,OAAO;QACL,KAAK,EAAE,OAAO;QACd,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,KAAuB,EAAE,KAAa;IAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtD,OAAO;QACL,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC;QACxD,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC;KAChF,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,UAAmB,EAAE,WAAoB;IACvD,MAAM,KAAK,GAAG,UAAU,IAAI,GAAG,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACzF,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,SAAS,CAAC,IAAY;IAC7B,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACvC,IACE,UAAU,KAAK,EAAE;QACjB,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC;QAC1B,UAAU,KAAK,IAAI;QACnB,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC;QAC5B,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC3B,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;QACzB,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EACzB,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,IAAY;IACjC,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,aAAa,CAAC,IAAI,CAAC;SACvB,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC;SACxB,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC;SACtB,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC;SACtB,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;SACpB,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,IAAI,CAAC,KAAc;IAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACrD,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;AAC5D,CAAC","sourcesContent":["import { readFile } from \"node:fs/promises\";\nimport { join } from \"node:path\";\nimport { DatabaseSync } from \"node:sqlite\";\n\nexport const ADVERSARY_REPO_GRAPH_ENV = \"ADVERSARY_REPO_GRAPH\";\nexport const REPO_GRAPH_SCHEMA_VERSION = \"v2\";\nexport const REPO_GRAPH_ADAPTER_REVISION = \"go-semantic-v1+ts-syntax-v1\";\n\nexport interface RepoGraphMeta {\n  schemaVersion: string;\n  adapterRevision: string;\n  fingerprint: string;\n  repoPath: string;\n  builtAt: string;\n  durationMs: number;\n  fileCount: number;\n  symbolCount: number;\n  edgeCount: number;\n  testLinkCount: number;\n  factCount: number;\n  parseFailures?: readonly RepoGraphDiagnostic[];\n}\n\nexport interface RepoGraphDiagnostic {\n  path: string;\n  adapter: string;\n  message: string;\n}\n\nexport interface RepoGraphFile {\n  id: number;\n  path: string;\n  language: string;\n  size: number;\n  hash: string;\n  module?: string;\n}\n\nexport interface RepoGraphSymbol {\n  id: number;\n  name: string;\n  kind: string;\n  path: string;\n  startLine: number;\n  startColumn: number;\n  endLine: number;\n  endColumn: number;\n  containerId?: number;\n  exported: boolean;\n  language: string;\n  metadata?: string;\n}\n\nexport interface RepoGraphEdge {\n  id: number;\n  fromPath: string;\n  fromSymbolId?: number;\n  toPath?: string;\n  toSymbolId?: number;\n  unresolvedTarget?: string;\n  kind: string;\n  line: number;\n  column: number;\n  confidence: number;\n  adapter: string;\n}\n\nexport interface RepoGraphTestLink {\n  sourcePath: string;\n  sourceSymbolId?: number;\n  testPath: string;\n  testSymbolId?: number;\n  confidence: number;\n  reason: string;\n}\n\nexport interface RepoGraphSemanticFact<T = unknown> {\n  id: number;\n  kind: string;\n  path: string;\n  module?: string;\n  symbolId?: number;\n  line: number;\n  column: number;\n  endLine: number;\n  endColumn: number;\n  confidence: number;\n  adapter: string;\n  data: T;\n}\n\nexport interface RepoGraphFactQuery {\n  kind?: string;\n  path?: string;\n  module?: string;\n  cursor?: string;\n  limit?: number;\n}\n\nexport interface GoFallibleOnceInitialization {\n  id: number;\n  path: string;\n  module?: string;\n  symbolId?: number;\n  line: number;\n  column: number;\n  endLine: number;\n  endColumn: number;\n  confidence: number;\n  function: string;\n  guard: string;\n  value: string;\n  error: string;\n  explicitResetAfterError: boolean;\n}\n\nexport interface RepoGraphPage<T> {\n  items: readonly T[];\n  nextCursor?: string;\n}\n\nexport interface RepoGraphFileQuery {\n  language?: string;\n  glob?: string;\n  cursor?: string;\n  limit?: number;\n}\n\nexport interface RepoGraphSymbolQuery {\n  path?: string;\n  name?: string;\n  kind?: string;\n  cursor?: string;\n  limit?: number;\n}\n\nexport interface RepoGraphRelationQuery {\n  symbolId: number;\n  cursor?: string;\n  limit?: number;\n}\n\nexport interface RepoGraph {\n  readonly dir: string;\n  readonly meta: RepoGraphMeta;\n  files(query?: RepoGraphFileQuery): RepoGraphPage<RepoGraphFile>;\n  symbolAt(path: string, line: number, column?: number): RepoGraphSymbol | undefined;\n  symbols(query?: RepoGraphSymbolQuery): RepoGraphPage<RepoGraphSymbol>;\n  definitions(query: RepoGraphSymbolQuery): RepoGraphPage<RepoGraphSymbol>;\n  references(query: RepoGraphRelationQuery): RepoGraphPage<RepoGraphEdge>;\n  callers(query: RepoGraphRelationQuery): RepoGraphPage<RepoGraphEdge>;\n  callees(query: RepoGraphRelationQuery): RepoGraphPage<RepoGraphEdge>;\n  implementations(query: RepoGraphRelationQuery): RepoGraphPage<RepoGraphEdge>;\n  importsOf(path: string, cursor?: string, limit?: number): RepoGraphPage<RepoGraphEdge>;\n  importersOf(path: string, cursor?: string, limit?: number): RepoGraphPage<RepoGraphEdge>;\n  relatedTests(options: {\n    path?: string;\n    symbolId?: number;\n    cursor?: string;\n    limit?: number;\n  }): RepoGraphPage<RepoGraphTestLink>;\n  semanticFacts<T = unknown>(query?: RepoGraphFactQuery): RepoGraphPage<RepoGraphSemanticFact<T>>;\n  goFallibleOnceInitializations(\n    query?: Omit<RepoGraphFactQuery, \"kind\">,\n  ): RepoGraphPage<GoFallibleOnceInitialization>;\n  close(): void;\n}\n\nexport class RepoGraphUnavailableError extends Error {\n  readonly code = \"repo_graph_unavailable\";\n\n  constructor(message: string) {\n    super(message);\n    this.name = \"RepoGraphUnavailableError\";\n  }\n}\n\nexport async function openRepoGraph(dir: string): Promise<RepoGraph> {\n  const raw = await readFile(join(dir, \"meta.json\"), \"utf8\");\n  const meta = JSON.parse(raw) as RepoGraphMeta;\n  if (\n    meta.schemaVersion !== REPO_GRAPH_SCHEMA_VERSION ||\n    meta.adapterRevision !== REPO_GRAPH_ADAPTER_REVISION\n  ) {\n    throw new RepoGraphUnavailableError(\n      `unsupported repo-graph schema ${meta.schemaVersion}/${meta.adapterRevision}`,\n    );\n  }\n  const database = new DatabaseSync(join(dir, \"graph.sqlite\"), { readOnly: true });\n  return new SQLiteRepoGraph(dir, meta, database);\n}\n\nexport async function repoGraphFromEnvironment(\n  env: Record<string, string | undefined> = process.env,\n): Promise<RepoGraph | null> {\n  const dir = env[ADVERSARY_REPO_GRAPH_ENV]?.trim();\n  if (!dir) return null;\n  try {\n    return await openRepoGraph(dir);\n  } catch {\n    return null;\n  }\n}\n\nclass SQLiteRepoGraph implements RepoGraph {\n  constructor(\n    readonly dir: string,\n    readonly meta: RepoGraphMeta,\n    private readonly database: DatabaseSync,\n  ) {}\n\n  files(query: RepoGraphFileQuery = {}): RepoGraphPage<RepoGraphFile> {\n    const { limit, cursor } = bounds(query.limit, query.cursor);\n    const glob = query.glob === undefined ? \"\" : globToLike(query.glob);\n    const rows = this.database\n      .prepare(`SELECT id,path,language,size,hash,module FROM files\n      WHERE id > ? AND (? = '' OR language = ?) AND (? = '' OR path LIKE ? ESCAPE '\\\\')\n      ORDER BY id LIMIT ?`)\n      .all(cursor, query.language ?? \"\", query.language ?? \"\", glob, glob, limit + 1);\n    return page(rows.map(fileRow), limit, (item) => item.id);\n  }\n\n  symbolAt(path: string, line: number, column = 0): RepoGraphSymbol | undefined {\n    validPath(path);\n    if (!Number.isInteger(line) || line < 1 || !Number.isInteger(column) || column < 0) {\n      throw new Error(\"line must be positive and column non-negative\");\n    }\n    const row = this.database\n      .prepare(`${symbolSelect}\n      WHERE f.path=? AND (s.start_line < ? OR (s.start_line=? AND s.start_col<=?))\n      AND (s.end_line > ? OR (s.end_line=? AND s.end_col>=?))\n      ORDER BY (s.end_line-s.start_line) ASC, s.id ASC LIMIT 1`)\n      .get(normalizePath(path), line, line, column, line, line, column);\n    return row === undefined ? undefined : symbolRow(row);\n  }\n\n  symbols(query: RepoGraphSymbolQuery = {}): RepoGraphPage<RepoGraphSymbol> {\n    if (query.path !== undefined) validPath(query.path);\n    const { limit, cursor } = bounds(query.limit, query.cursor);\n    const rows = this.database\n      .prepare(`${symbolSelect}\n      WHERE s.id>? AND (?='' OR f.path=?) AND (?='' OR s.name=?) AND (?='' OR s.kind=?)\n      ORDER BY s.id LIMIT ?`)\n      .all(\n        cursor,\n        query.path ?? \"\",\n        normalizePath(query.path ?? \"\"),\n        query.name ?? \"\",\n        query.name ?? \"\",\n        query.kind ?? \"\",\n        query.kind ?? \"\",\n        limit + 1,\n      );\n    return page(rows.map(symbolRow), limit, (item) => item.id);\n  }\n\n  definitions(query: RepoGraphSymbolQuery): RepoGraphPage<RepoGraphSymbol> {\n    return this.symbols(query);\n  }\n\n  references(query: RepoGraphRelationQuery): RepoGraphPage<RepoGraphEdge> {\n    return this.relations(query, \"references\", false);\n  }\n\n  callers(query: RepoGraphRelationQuery): RepoGraphPage<RepoGraphEdge> {\n    return this.relations(query, \"calls\", false);\n  }\n\n  callees(query: RepoGraphRelationQuery): RepoGraphPage<RepoGraphEdge> {\n    return this.relations(query, \"calls\", true);\n  }\n\n  implementations(query: RepoGraphRelationQuery): RepoGraphPage<RepoGraphEdge> {\n    return this.relations(query, \"implements\", false);\n  }\n\n  importsOf(path: string, cursor?: string, limit?: number): RepoGraphPage<RepoGraphEdge> {\n    return this.fileRelations(path, cursor, limit, true);\n  }\n\n  importersOf(path: string, cursor?: string, limit?: number): RepoGraphPage<RepoGraphEdge> {\n    return this.fileRelations(path, cursor, limit, false);\n  }\n\n  relatedTests(options: {\n    path?: string;\n    symbolId?: number;\n    cursor?: string;\n    limit?: number;\n  }): RepoGraphPage<RepoGraphTestLink> {\n    if (options.path !== undefined) validPath(options.path);\n    const symbolId = options.symbolId ?? 0;\n    if (!Number.isInteger(symbolId) || symbolId < 0)\n      throw new Error(\"symbolId must be non-negative\");\n    const { limit, cursor } = bounds(options.limit, options.cursor);\n    const rows = this.database\n      .prepare(`SELECT tl.id,sf.path AS source_path,\n      tl.source_symbol_id,tf.path AS test_path,tl.test_symbol_id,tl.confidence,tl.reason\n      FROM test_links tl JOIN files sf ON sf.id=tl.source_file_id\n      JOIN files tf ON tf.id=tl.test_file_id\n      WHERE tl.id>? AND (?='' OR sf.path=?)\n      AND (?=0 OR tl.source_symbol_id=? OR sf.id=(SELECT file_id FROM symbols WHERE id=?))\n      ORDER BY tl.id LIMIT ?`)\n      .all(\n        cursor,\n        options.path ?? \"\",\n        normalizePath(options.path ?? \"\"),\n        symbolId,\n        symbolId,\n        symbolId,\n        limit + 1,\n      );\n    return testLinkPage(rows.map(testLinkRow), limit);\n  }\n\n  semanticFacts<T = unknown>(\n    query: RepoGraphFactQuery = {},\n  ): RepoGraphPage<RepoGraphSemanticFact<T>> {\n    if (query.path !== undefined) validPath(query.path);\n    const { limit, cursor } = bounds(query.limit, query.cursor);\n    const rows = this.database\n      .prepare(`SELECT sf.id,sf.kind,f.path,f.module,sf.symbol_id,\n      sf.line,sf.column,sf.end_line,sf.end_column,sf.confidence,sf.adapter,sf.data\n      FROM semantic_facts sf JOIN files f ON f.id=sf.file_id\n      WHERE sf.id>? AND (?='' OR sf.kind=?) AND (?='' OR f.path=?)\n      AND (?='' OR f.module=?) ORDER BY sf.id LIMIT ?`)\n      .all(\n        cursor,\n        query.kind ?? \"\",\n        query.kind ?? \"\",\n        query.path ?? \"\",\n        normalizePath(query.path ?? \"\"),\n        query.module ?? \"\",\n        query.module ?? \"\",\n        limit + 1,\n      );\n    return page(\n      rows.map((row) => semanticFactRow<T>(row)),\n      limit,\n      (item) => item.id,\n    );\n  }\n\n  goFallibleOnceInitializations(\n    query: Omit<RepoGraphFactQuery, \"kind\"> = {},\n  ): RepoGraphPage<GoFallibleOnceInitialization> {\n    const facts = this.semanticFacts<GoFallibleOnceData>({\n      ...query,\n      kind: \"go.fallible_once_initialization\",\n    });\n    return {\n      items: facts.items.map(goFallibleOnceInitialization),\n      ...(facts.nextCursor === undefined ? {} : { nextCursor: facts.nextCursor }),\n    };\n  }\n\n  close(): void {\n    this.database.close();\n  }\n\n  private relations(\n    query: RepoGraphRelationQuery,\n    kind: string,\n    outgoing: boolean,\n  ): RepoGraphPage<RepoGraphEdge> {\n    if (!Number.isInteger(query.symbolId) || query.symbolId < 1) {\n      throw new Error(\"symbolId must be positive\");\n    }\n    const { limit, cursor } = bounds(query.limit, query.cursor);\n    const column = outgoing ? \"from_symbol_id\" : \"to_symbol_id\";\n    const rows = this.database\n      .prepare(`${edgeSelect}\n      WHERE e.id>? AND e.kind=? AND e.${column}=? ORDER BY e.id LIMIT ?`)\n      .all(cursor, kind, query.symbolId, limit + 1);\n    return page(rows.map(edgeRow), limit, (item) => item.id);\n  }\n\n  private fileRelations(\n    path: string,\n    cursorValue: string | undefined,\n    limitValue: number | undefined,\n    outgoing: boolean,\n  ): RepoGraphPage<RepoGraphEdge> {\n    validPath(path);\n    const { limit, cursor } = bounds(limitValue, cursorValue);\n    const condition = outgoing ? \"ff.path=?\" : \"tf.module=(SELECT module FROM files WHERE path=?)\";\n    const rows = this.database\n      .prepare(`${edgeSelect}\n      WHERE e.id>? AND e.kind='imports' AND ${condition} ORDER BY e.id LIMIT ?`)\n      .all(cursor, normalizePath(path), limit + 1);\n    return page(rows.map(edgeRow), limit, (item) => item.id);\n  }\n}\n\nconst symbolSelect = `SELECT s.id,s.name,s.kind,f.path,s.start_line,s.start_col,\n  s.end_line,s.end_col,s.container_id,s.exported,f.language,s.adapter_data\n  FROM symbols s JOIN files f ON f.id=s.file_id`;\n\nconst edgeSelect = `SELECT e.id,ff.path AS from_path,e.from_symbol_id,\n  COALESCE(tf.path,'') AS to_path,e.to_symbol_id,\n  COALESCE(e.unresolved_target,'') AS unresolved_target,e.kind,e.line,e.column,\n  e.confidence,e.adapter FROM edges e JOIN files ff ON ff.id=e.from_file_id\n  LEFT JOIN files tf ON tf.id=e.to_file_id`;\n\ninterface RowRecord {\n  [key: string]: unknown;\n}\n\nfunction fileRow(row: RowRecord): RepoGraphFile {\n  return {\n    id: number(row.id),\n    path: text(row.path),\n    language: text(row.language),\n    size: number(row.size),\n    hash: text(row.hash),\n    ...(text(row.module) === \"\" ? {} : { module: text(row.module) }),\n  };\n}\n\nfunction symbolRow(row: RowRecord): RepoGraphSymbol {\n  return {\n    id: number(row.id),\n    name: text(row.name),\n    kind: text(row.kind),\n    path: text(row.path),\n    startLine: number(row.start_line),\n    startColumn: number(row.start_col),\n    endLine: number(row.end_line),\n    endColumn: number(row.end_col),\n    ...(row.container_id === null ? {} : { containerId: number(row.container_id) }),\n    exported: number(row.exported) !== 0,\n    language: text(row.language),\n    ...(text(row.adapter_data) === \"\" ? {} : { metadata: text(row.adapter_data) }),\n  };\n}\n\nfunction edgeRow(row: RowRecord): RepoGraphEdge {\n  return {\n    id: number(row.id),\n    fromPath: text(row.from_path),\n    ...(row.from_symbol_id === null ? {} : { fromSymbolId: number(row.from_symbol_id) }),\n    ...(text(row.to_path) === \"\" ? {} : { toPath: text(row.to_path) }),\n    ...(row.to_symbol_id === null ? {} : { toSymbolId: number(row.to_symbol_id) }),\n    ...(text(row.unresolved_target) === \"\"\n      ? {}\n      : { unresolvedTarget: text(row.unresolved_target) }),\n    kind: text(row.kind),\n    line: number(row.line),\n    column: number(row.column),\n    confidence: number(row.confidence),\n    adapter: text(row.adapter),\n  };\n}\n\ninterface GoFallibleOnceData {\n  function: string;\n  guard: string;\n  value: string;\n  error: string;\n  explicitResetAfterError: boolean;\n}\n\nfunction semanticFactRow<T>(row: RowRecord): RepoGraphSemanticFact<T> {\n  return {\n    id: number(row.id),\n    kind: text(row.kind),\n    path: text(row.path),\n    ...(text(row.module) === \"\" ? {} : { module: text(row.module) }),\n    ...(row.symbol_id === null ? {} : { symbolId: number(row.symbol_id) }),\n    line: number(row.line),\n    column: number(row.column),\n    endLine: number(row.end_line),\n    endColumn: number(row.end_column),\n    confidence: number(row.confidence),\n    adapter: text(row.adapter),\n    data: JSON.parse(text(row.data)) as T,\n  };\n}\n\nfunction goFallibleOnceInitialization(\n  fact: RepoGraphSemanticFact<GoFallibleOnceData>,\n): GoFallibleOnceInitialization {\n  const data = fact.data;\n  if (\n    typeof data.function !== \"string\" ||\n    typeof data.guard !== \"string\" ||\n    typeof data.value !== \"string\" ||\n    typeof data.error !== \"string\" ||\n    typeof data.explicitResetAfterError !== \"boolean\"\n  ) {\n    throw new Error(\"malformed go.fallible_once_initialization fact\");\n  }\n  return {\n    id: fact.id,\n    path: fact.path,\n    ...(fact.module === undefined ? {} : { module: fact.module }),\n    ...(fact.symbolId === undefined ? {} : { symbolId: fact.symbolId }),\n    line: fact.line,\n    column: fact.column,\n    endLine: fact.endLine,\n    endColumn: fact.endColumn,\n    confidence: fact.confidence,\n    ...data,\n  };\n}\n\ninterface TestLinkWithID extends RepoGraphTestLink {\n  id: number;\n}\n\nfunction testLinkRow(row: RowRecord): TestLinkWithID {\n  return {\n    id: number(row.id),\n    sourcePath: text(row.source_path),\n    ...(row.source_symbol_id === null ? {} : { sourceSymbolId: number(row.source_symbol_id) }),\n    testPath: text(row.test_path),\n    ...(row.test_symbol_id === null ? {} : { testSymbolId: number(row.test_symbol_id) }),\n    confidence: number(row.confidence),\n    reason: text(row.reason),\n  };\n}\n\nfunction page<T>(items: T[], limit: number, id: (item: T) => number): RepoGraphPage<T> {\n  const hasMore = items.length > limit;\n  const bounded = hasMore ? items.slice(0, limit) : items;\n  const nextCursor = hasMore ? String(id(bounded[bounded.length - 1] as T)) : undefined;\n  return {\n    items: bounded,\n    ...(nextCursor === undefined ? {} : { nextCursor }),\n  };\n}\n\nfunction testLinkPage(items: TestLinkWithID[], limit: number): RepoGraphPage<RepoGraphTestLink> {\n  const bounded = page(items, limit, (item) => item.id);\n  return {\n    items: bounded.items.map(({ id: _id, ...item }) => item),\n    ...(bounded.nextCursor === undefined ? {} : { nextCursor: bounded.nextCursor }),\n  };\n}\n\nfunction bounds(limitValue?: number, cursorValue?: string): { limit: number; cursor: number } {\n  const limit = limitValue ?? 100;\n  if (!Number.isInteger(limit) || limit < 1 || limit > 500) {\n    throw new Error(\"limit must be an integer from 1 through 500\");\n  }\n  const cursor = cursorValue === undefined || cursorValue === \"\" ? 0 : Number(cursorValue);\n  if (!Number.isSafeInteger(cursor) || cursor < 0) {\n    throw new Error(\"cursor must be a non-negative integer\");\n  }\n  return { limit, cursor };\n}\n\nfunction validPath(path: string): void {\n  const normalized = normalizePath(path);\n  if (\n    normalized === \"\" ||\n    normalized.startsWith(\"/\") ||\n    normalized === \"..\" ||\n    normalized.startsWith(\"../\") ||\n    normalized.includes(\"/../\") ||\n    normalized.includes(\"\\0\") ||\n    normalized.includes(\"//\")\n  ) {\n    throw new Error(\"path must be normalized and repository-relative\");\n  }\n}\n\nfunction normalizePath(path: string): string {\n  return path.replaceAll(\"\\\\\", \"/\").replace(/^\\.\\//, \"\");\n}\n\nfunction globToLike(glob: string): string {\n  if (glob.includes(\"..\") || glob.startsWith(\"/\") || glob.includes(\"\\0\")) {\n    throw new Error(\"glob must be repository-relative\");\n  }\n  return normalizePath(glob)\n    .replaceAll(\"\\\\\", \"\\\\\\\\\")\n    .replaceAll(\"%\", \"\\\\%\")\n    .replaceAll(\"_\", \"\\\\_\")\n    .replaceAll(\"*\", \"%\")\n    .replaceAll(\"?\", \"_\");\n}\n\nfunction text(value: unknown): string {\n  if (typeof value === \"string\") return value;\n  if (value === null || value === undefined) return \"\";\n  throw new Error(\"repo graph returned a non-string value\");\n}\n\nfunction number(value: unknown): number {\n  if (typeof value === \"number\") return value;\n  if (typeof value === \"bigint\") return Number(value);\n  throw new Error(\"repo graph returned a non-number value\");\n}\n"]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@adversarylabs/sdk",
-  "version": "0.1.18",
+  "version": "0.1.20",
   "description": "Small TypeScript SDK for authoring Adversaries.",
   "type": "module",
   "license": "MIT",
@@ -24,7 +24,8 @@
     },
     "./schemas/adversary.manifest.v1": "./schemas/adversary.manifest.v1.schema.json",
     "./schemas/adversary.input.v1": "./schemas/adversary.input.v1.schema.json",
-    "./schemas/adversary.review.v1": "./schemas/adversary.review.v1.schema.json"
+    "./schemas/adversary.review.v1": "./schemas/adversary.review.v1.schema.json",
+    "./schemas/adversary.outcome-context.v1": "./schemas/adversary.outcome-context.v1.schema.json"
   },
   "files": ["dist", "schemas", "templates", "README.md"],
   "engines": {

package/schemas/adversary.outcome-context.v1.schema.json

@@ -0,0 +1,61 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://adversarylabs.ai/schemas/adversary.outcome-context.v1.schema.json",
+  "title": "Adversary outcome context v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schema_version", "subject", "sources", "intent"],
+  "properties": {
+    "schema_version": { "const": "adversary.outcome-context.v1" },
+    "subject": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "provider": { "type": "string", "maxLength": 100 },
+        "repository": { "type": "string", "maxLength": 500 },
+        "pull_request": { "type": "integer", "minimum": 1 }
+      }
+    },
+    "sources": {
+      "type": "array",
+      "minItems": 1,
+      "maxItems": 2,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["kind", "text"],
+        "properties": {
+          "kind": { "enum": ["pull_request_title", "pull_request_body"] },
+          "text": { "type": "string", "minLength": 1, "maxLength": 32768 }
+        }
+      }
+    },
+    "intent": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "objective",
+        "confidence",
+        "expected_effects",
+        "must_preserve",
+        "affected_boundaries",
+        "ambiguities"
+      ],
+      "properties": {
+        "objective": { "type": "string", "minLength": 1, "maxLength": 500 },
+        "confidence": { "enum": ["low", "medium", "high"] },
+        "expected_effects": { "$ref": "#/$defs/stringList" },
+        "must_preserve": { "$ref": "#/$defs/stringList" },
+        "affected_boundaries": { "$ref": "#/$defs/stringList" },
+        "ambiguities": { "$ref": "#/$defs/stringList" }
+      }
+    }
+  },
+  "$defs": {
+    "stringList": {
+      "type": "array",
+      "maxItems": 12,
+      "items": { "type": "string", "minLength": 1, "maxLength": 500 }
+    }
+  }
+}