human-to-code 0.1.13 → 0.1.14

package/dist/agents/direct/marker-parser.js

@@ -0,0 +1,68 @@
+/** Advance past a quoted region so comment-shaped text inside it stays inert. */
+function endOfQuotedRegion(text, start) {
+    const quote = text[start];
+    const triple = quote !== "`" && text.startsWith(quote.repeat(3), start);
+    const delimiter = triple ? quote.repeat(3) : quote;
+    let offset = start + delimiter.length;
+    while (offset < text.length) {
+        if (text[offset] === "\\") {
+            offset = Math.min(offset + 2, text.length);
+            continue;
+        }
+        if (text.startsWith(delimiter, offset))
+            return offset + delimiter.length;
+        if (!triple && quote !== "`" && (text[offset] === "\n" || text[offset] === "\r"))
+            return offset;
+        offset += 1;
+    }
+    return text.length;
+}
+function lineEnd(text, start) {
+    const newline = text.indexOf("\n", start);
+    return newline === -1 ? text.length : newline;
+}
+/** Find every lexical `@human` comment marker with its exact character range. */
+export function extractInlineMarkers(text) {
+    const markers = [];
+    let offset = 0;
+    while (offset < text.length) {
+        const character = text[offset];
+        if (character === "'" || character === '"' || character === "`") {
+            offset = endOfQuotedRegion(text, offset);
+            continue;
+        }
+        if (text.startsWith("//", offset)) {
+            const end = lineEnd(text, offset);
+            const match = /^[ \t]*@human\b[ \t]*([^\r]*)$/u.exec(text.slice(offset + 2, end));
+            const prompt = (match?.[1] ?? "").trim();
+            if (match && prompt.length > 0)
+                markers.push({ prompt, start: offset, end });
+            offset = end;
+            continue;
+        }
+        if (text.startsWith("/*", offset)) {
+            const close = text.indexOf("*/", offset + 2);
+            const end = close === -1 ? text.length : close + 2;
+            if (close !== -1) {
+                const match = /^\s*@human\b[ \t]*([\s\S]*)$/u.exec(text.slice(offset + 2, close));
+                const prompt = (match?.[1] ?? "").trim();
+                if (match && prompt.length > 0)
+                    markers.push({ prompt, start: offset, end });
+            }
+            offset = end;
+            continue;
+        }
+        if (character === "#") {
+            const end = lineEnd(text, offset);
+            const match = /^[ \t]*@human\b[ \t]*([^\r]*)$/u.exec(text.slice(offset + 1, end));
+            const prompt = (match?.[1] ?? "").trim();
+            if (match && prompt.length > 0)
+                markers.push({ prompt, start: offset, end });
+            offset = end;
+            continue;
+        }
+        offset += 1;
+    }
+    return markers;
+}
+//# sourceMappingURL=marker-parser.js.map

package/dist/agents/direct/marker-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"marker-parser.js","sourceRoot":"","sources":["../../../src/agents/direct/marker-parser.ts"],"names":[],"mappings":"AAMA,iFAAiF;AACjF,SAAS,iBAAiB,CAAC,IAAY,EAAE,KAAa;IACpD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,KAAK,KAAK,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACxE,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACnD,IAAI,MAAM,GAAG,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC;IAEtC,OAAO,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;YAC1B,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YAC3C,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC;YAAE,OAAO,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;QACzE,IAAI,CAAC,MAAM,IAAI,KAAK,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC;QAChG,MAAM,IAAI,CAAC,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC;AACrB,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,KAAa;IAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC1C,OAAO,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;AAChD,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,OAAO,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAE,CAAC;QAEhC,IAAI,SAAS,KAAK,GAAG,IAAI,SAAS,KAAK,GAAG,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YAChE,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACzC,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,iCAAiC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAClF,MAAM,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACzC,IAAI,KAAK,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;YAC7E,MAAM,GAAG,GAAG,CAAC;YACb,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC;YAC7C,MAAM,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;YACnD,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;gBACjB,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;gBAClF,MAAM,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;gBACzC,IAAI,KAAK,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;YAC/E,CAAC;YACD,MAAM,GAAG,GAAG,CAAC;YACb,SAAS;QACX,CAAC;QAED,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,iCAAiC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAClF,MAAM,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACzC,IAAI,KAAK,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;YAC7E,MAAM,GAAG,GAAG,CAAC;YACb,SAAS;QACX,CAAC;QAED,MAAM,IAAI,CAAC,CAAC;IACd,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/agents/direct/presentation.d.ts

@@ -0,0 +1,4 @@
+import type { ConversionUnit } from "./types.ts";
+export declare function renderReceipt(units: readonly ConversionUnit[], provider: string, model: string, language: string): string;
+export declare function stripCodeFence(output: string): string;
+//# sourceMappingURL=presentation.d.ts.map

package/dist/agents/direct/presentation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"presentation.d.ts","sourceRoot":"","sources":["../../../src/agents/direct/presentation.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD,wBAAgB,aAAa,CAC3B,KAAK,EAAE,SAAS,cAAc,EAAE,EAChC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,MAAM,GACf,MAAM,CAkBR;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAIrD"}

package/dist/agents/direct/presentation.js

@@ -0,0 +1,28 @@
+import { languageProfile } from "./languages.js";
+export function renderReceipt(units, provider, model, language) {
+    const profile = languageProfile(language);
+    const lines = [
+        "human-to-code — conversion receipt",
+        "",
+        `  Language : ${profile.label} (.${profile.ext})`,
+        `  Provider : ${provider}`,
+        `  Model    : ${model}`,
+        `  Engine   : direct (one model request per prompt)`,
+        `  Requests : ${units.length}`,
+        "",
+    ];
+    if (units.length === 0)
+        lines.push("  No .human files or @human markers were found.");
+    else {
+        lines.push("  The following will be generated:");
+        for (const unit of units)
+            lines.push(`    • ${unit.describe}`);
+    }
+    return `${lines.join("\n")}\n`;
+}
+export function stripCodeFence(output) {
+    const trimmed = output.trim();
+    const match = /^```(?:[\w.+-]+)?\s*\n?([\s\S]*?)\n?```$/u.exec(trimmed);
+    return (match?.[1] ?? trimmed).trim();
+}
+//# sourceMappingURL=presentation.js.map

package/dist/agents/direct/presentation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"presentation.js","sourceRoot":"","sources":["../../../src/agents/direct/presentation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAGjD,MAAM,UAAU,aAAa,CAC3B,KAAgC,EAChC,QAAgB,EAChB,KAAa,EACb,QAAgB;IAEhB,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG;QACZ,oCAAoC;QACpC,EAAE;QACF,gBAAgB,OAAO,CAAC,KAAK,MAAM,OAAO,CAAC,GAAG,GAAG;QACjD,gBAAgB,QAAQ,EAAE;QAC1B,gBAAgB,KAAK,EAAE;QACvB,oDAAoD;QACpD,gBAAgB,KAAK,CAAC,MAAM,EAAE;QAC9B,EAAE;KACH,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;SACjF,CAAC;QACJ,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,2CAA2C,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;AACxC,CAAC"}

package/dist/agents/direct/types.d.ts

@@ -0,0 +1,74 @@
+import type { StaticFileMemoryEntry } from "../../pipeline/file-memory.ts";
+export interface LanguageProfile {
+    /** Output file extension without a dot. */
+    ext: string;
+    /** Human label used in prompts. */
+    label: string;
+}
+export interface ConversionUnit {
+    kind: "file" | "inline";
+    /** Project-relative source path. */
+    sourcePath: string;
+    /** Absolute source path. */
+    absoluteSource: string;
+    /** The extracted human-language instruction. */
+    prompt: string;
+    /** For `file` units, the project-relative output path to write. */
+    outputPath?: string;
+    /** For `inline` units, the character range of the marker to replace. */
+    range?: {
+        start: number;
+        end: number;
+    };
+    /** 1-based source line of the marker, for progress display. */
+    line?: number;
+    /** Short human-readable description for the receipt. */
+    describe: string;
+}
+export type FileMemoryEntry = StaticFileMemoryEntry;
+export interface UnitGenerationContext {
+    inline: boolean;
+    /** Static declarations and earlier replacements in this unit's file. */
+    fileMemory?: string;
+}
+export interface GeneratedConversionUnit {
+    unit: ConversionUnit;
+    code: string;
+    /** Set when this unit could not be generated; the others are unaffected. */
+    error?: string;
+}
+/** Live progress for one unit during a deterministic conversion run. */
+export type ConversionProgress = {
+    kind: "start";
+    unit: ConversionUnit;
+    attempt: number;
+} | {
+    kind: "done";
+    unit: ConversionUnit;
+} | {
+    kind: "skip";
+    unit: ConversionUnit;
+    reason: string;
+};
+export interface GenerateUnitsOptions {
+    /** Extra generation attempts when a unit trips the FileMemory guard or the provider errors. */
+    retries?: number;
+    onProgress?: (event: ConversionProgress) => void;
+}
+export interface GenerateOptions {
+    language: string;
+    provider: string;
+    model: string;
+    baseUrl?: string;
+    apiKey?: string;
+    /** Whether this request replaces one inline @human marker. */
+    inline?: boolean;
+    /** Deterministic earlier replacements from the same file. */
+    fileMemory?: string;
+    signal?: AbortSignal;
+}
+export interface AppliedUnit {
+    unit: ConversionUnit;
+    writtenPath: string;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/agents/direct/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/agents/direct/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAE3E,MAAM,WAAW,eAAe;IAC9B,2CAA2C;IAC3C,GAAG,EAAE,MAAM,CAAC;IACZ,mCAAmC;IACnC,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC;IACxB,oCAAoC;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,4BAA4B;IAC5B,cAAc,EAAE,MAAM,CAAC;IACvB,gDAAgD;IAChD,MAAM,EAAE,MAAM,CAAC;IACf,mEAAmE;IACnE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,wEAAwE;IACxE,KAAK,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IACvC,+DAA+D;IAC/D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,wDAAwD;IACxD,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,MAAM,eAAe,GAAG,qBAAqB,CAAC;AAEpD,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,OAAO,CAAC;IAChB,wEAAwE;IACxE,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,4EAA4E;IAC5E,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,wEAAwE;AACxE,MAAM,MAAM,kBAAkB,GAC1B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,cAAc,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,cAAc,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,cAAc,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3D,MAAM,WAAW,oBAAoB;IACnC,+FAA+F;IAC/F,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,kBAAkB,KAAK,IAAI,CAAC;CAClD;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,8DAA8D;IAC9D,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,6DAA6D;IAC7D,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,cAAc,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;CACrB"}

package/dist/agents/direct/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/agents/direct/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/agents/direct/types.ts"],"names":[],"mappings":""}

package/dist/agents/guided/api-grounding.d.ts

@@ -0,0 +1,6 @@
+import type { WorkspaceProfileV1 } from "../../analysis/analyzer.ts";
+import type { ContextManifestV1 } from "../../context/context.ts";
+import type { PatchSetV1 } from "../../core/contracts.ts";
+/** Reject external APIs not proven by dependencies plus selected evidence. */
+export declare function assertExternalApisGrounded(patch: PatchSetV1, workspaces: readonly WorkspaceProfileV1[], manifest: ContextManifestV1): void;
+//# sourceMappingURL=api-grounding.d.ts.map

package/dist/agents/guided/api-grounding.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"api-grounding.d.ts","sourceRoot":"","sources":["../../../src/agents/guided/api-grounding.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAElE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AA6F1D,8EAA8E;AAC9E,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,SAAS,kBAAkB,EAAE,EACzC,QAAQ,EAAE,iBAAiB,GAC1B,IAAI,CAiEN"}

package/dist/agents/guided/api-grounding.js

@@ -0,0 +1,158 @@
+import { DocumentationError } from "../../context/documentation.js";
+const PYTHON_STDLIB_MODULES = new Set([
+    "abc", "argparse", "asyncio", "base64", "bisect", "builtins", "calendar", "collections", "concurrent",
+    "contextlib", "contextvars", "copy", "csv", "dataclasses", "datetime", "decimal", "enum", "functools",
+    "getpass", "glob", "gzip", "hashlib", "heapq", "hmac", "html", "http", "importlib", "inspect", "io",
+    "itertools", "json", "logging", "math", "multiprocessing", "operator", "os", "pathlib", "pickle", "queue",
+    "random", "re", "secrets", "shlex", "shutil", "signal", "socket", "sqlite3", "statistics", "string",
+    "struct", "subprocess", "sys", "tempfile", "textwrap", "threading", "time", "tomllib", "traceback", "types", "typing",
+    "unittest", "urllib", "uuid", "warnings", "weakref", "xml", "zipfile", "zoneinfo",
+]);
+function addedOperationText(patch) {
+    return patch.operations.flatMap((operation) => {
+        if (operation.kind === "create")
+            return [{ path: operation.path, text: operation.content }];
+        if (operation.kind !== "edit")
+            return [];
+        const before = new Set(operation.oldText.split("\n").map((line) => line.trim()));
+        return [{
+                path: operation.path,
+                text: operation.newText.split("\n").filter((line) => !before.has(line.trim())).join("\n"),
+            }];
+    });
+}
+function extractIntroducedApis(patch) {
+    const result = [];
+    for (const { path, text } of addedOperationText(patch)) {
+        if (/\.(?:[cm]?[jt]sx?)$/iu.test(path)) {
+            const imports = /import\s+(?:(\w+)\s*,?\s*)?(?:\{([^}]+)\}\s*)?from\s*["']([^"']+)["']|(?:require|import)\s*\(\s*["']([^"']+)["']\s*\)/gu;
+            for (const match of text.matchAll(imports)) {
+                const module = match[3] ?? match[4];
+                if (!module || module.startsWith(".") || module.startsWith("node:"))
+                    continue;
+                const symbols = [
+                    match[1] ?? "",
+                    ...(match[2] ?? "").split(",").map((item) => item.trim().split(/\s+as\s+/u)[0] ?? ""),
+                ].filter(Boolean);
+                result.push({ module, symbols, path });
+            }
+            for (const match of text.matchAll(/(?:^|\n)\s*import\s*["']([^"']+)["']/gu)) {
+                if (match[1] && !match[1].startsWith(".") && !match[1].startsWith("node:")) {
+                    result.push({ module: match[1], symbols: [], path });
+                }
+            }
+            for (const match of text.matchAll(/\bexport\s+(?:\*|\{([^}]+)\})\s+from\s*["']([^"']+)["']/gu)) {
+                const module = match[2];
+                if (!module || module.startsWith(".") || module.startsWith("node:"))
+                    continue;
+                const symbols = (match[1] ?? "").split(",")
+                    .map((item) => item.trim().split(/\s+as\s+/u)[0] ?? "")
+                    .filter(Boolean);
+                result.push({ module, symbols, path });
+            }
+        }
+        else if (/\.pyi?$/iu.test(path)) {
+            const imports = /^(?:from\s+([A-Za-z_][\w.]*)\s+import\s+([^\n#]+)|import\s+([A-Za-z_][\w.]*)(?:\s+as\s+\w+)?)/gmu;
+            for (const match of text.matchAll(imports)) {
+                const module = (match[1] ?? match[3] ?? "").split(".")[0];
+                const symbols = (match[2] ?? "").split(",")
+                    .map((item) => item.trim().split(/\s+as\s+/u)[0] ?? "")
+                    .filter(Boolean);
+                result.push({ module, symbols, path });
+            }
+        }
+        else if (/\.rs$/iu.test(path)) {
+            for (const match of text.matchAll(/^use\s+([A-Za-z_][\w-]*)::([^;]+);/gmu)) {
+                const module = match[1];
+                if (["std", "core", "alloc", "crate", "self", "super"].includes(module))
+                    continue;
+                const symbols = (match[2] ?? "").replace(/[{}]/gu, "").split(",")
+                    .map((item) => item.trim().split("::").at(-1) ?? "")
+                    .filter(Boolean);
+                result.push({ module, symbols, path });
+            }
+            for (const match of text.matchAll(/\bextern\s+crate\s+([A-Za-z_][\w-]*)\s*;/gu)) {
+                if (match[1])
+                    result.push({ module: match[1], symbols: [], path });
+            }
+            for (const match of text.matchAll(/\b([a-z_][\w-]*)::([A-Za-z_][\w]*)/gu)) {
+                const module = match[1];
+                if (!module || ["std", "core", "alloc", "crate", "self", "super"].includes(module))
+                    continue;
+                result.push({ module, symbols: match[2] ? [match[2]] : [], path });
+            }
+        }
+    }
+    return result;
+}
+function packageName(module) {
+    if (module.startsWith("@"))
+        return module.split("/").slice(0, 2).join("/");
+    return module.split("/")[0] ?? module;
+}
+/** Reject external APIs not proven by dependencies plus selected evidence. */
+export function assertExternalApisGrounded(patch, workspaces, manifest) {
+    if (workspaces.length > 0 && workspaces.every((workspace) => workspace.ecosystem === "general"))
+        return;
+    const aliases = workspaces.flatMap((workspace) => Object.keys(workspace.moduleAliases));
+    const workspacePackages = new Set(workspaces.flatMap((workspace) => workspace.workspaceDependencies));
+    const dependencies = new Map();
+    const pythonLocalModules = new Set();
+    for (const workspace of workspaces) {
+        for (const dependency of workspace.framework.dependencies) {
+            dependencies.set(dependency.name.toLowerCase().replaceAll("-", "_"), dependency.name);
+        }
+        if (workspace.ecosystem !== "fastapi")
+            continue;
+        for (const sourceRoot of workspace.sourceRoots) {
+            const segments = sourceRoot.split("/").filter((segment) => segment !== ".");
+            if (segments.length > 0)
+                pythonLocalModules.add(segments.at(-1).toLowerCase());
+            const sourcePaths = [
+                ...workspace.entryPoints,
+                ...workspace.routes,
+                ...workspace.evidence.filter((item) => item.kind === "source").map((item) => item.path),
+            ];
+            for (const path of sourcePaths) {
+                if (sourceRoot !== "." && !path.startsWith(`${sourceRoot}/`))
+                    continue;
+                const relativePath = sourceRoot === "." ? path : path.slice(sourceRoot.length + 1);
+                const top = relativePath.split("/")[0];
+                if (top && !top.endsWith(".py"))
+                    pythonLocalModules.add(top.toLowerCase());
+            }
+        }
+    }
+    const groundedEvidence = manifest.evidence.filter((item) => item.origin === "official_documentation"
+        || item.origin === "dependency" && "path" in item
+            && /(?:^|\/)(?:node_modules|site-packages|vendor)\//u.test(item.path));
+    for (const api of extractIntroducedApis(patch)) {
+        if (aliases.some((alias) => api.module === alias || api.module.startsWith(`${alias}/`)))
+            continue;
+        if (workspacePackages.has(packageName(api.module)))
+            continue;
+        const normalized = packageName(api.module).toLowerCase().replaceAll("-", "_");
+        const dependency = dependencies.get(normalized);
+        if (!dependency) {
+            const localPython = /\.pyi?$/iu.test(api.path)
+                && (PYTHON_STDLIB_MODULES.has(normalized)
+                    || pythonLocalModules.has(packageName(api.module).toLowerCase()));
+            if (localPython)
+                continue;
+            throw new DocumentationError("CONTEXT_INSUFFICIENT", `Introduced external module '${api.module}' is not proven by the target workspace dependency graph.`);
+        }
+        const evidence = groundedEvidence.filter((item) => item.content.toLowerCase().includes(dependency.toLowerCase().replaceAll("-", "_"))
+            || "path" in item && item.path.toLowerCase().includes(dependency.toLowerCase()));
+        if (evidence.length === 0) {
+            throw new DocumentationError("CONTEXT_INSUFFICIENT", `No installed source/declaration or version-matched official documentation was supplied for '${dependency}'.`);
+        }
+        for (const symbol of api.symbols) {
+            if (symbol === "*" || symbol.length < 2)
+                continue;
+            if (!evidence.some((item) => item.content.includes(symbol))) {
+                throw new DocumentationError("CONTEXT_INSUFFICIENT", `External API '${dependency}.${symbol}' was introduced without exact local or documented evidence.`);
+            }
+        }
+    }
+}
+//# sourceMappingURL=api-grounding.js.map

package/dist/agents/guided/api-grounding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"api-grounding.js","sourceRoot":"","sources":["../../../src/agents/guided/api-grounding.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AASpE,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACpC,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,YAAY;IACrG,YAAY,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW;IACrG,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI;IACnG,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,iBAAiB,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO;IACzG,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ;IACnG,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ;IACrH,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU;CAClF,CAAC,CAAC;AAEH,SAAS,kBAAkB,CAAC,KAAiB;IAC3C,OAAO,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;QAC5C,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5F,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACjF,OAAO,CAAC;gBACN,IAAI,EAAE,SAAS,CAAC,IAAI;gBACpB,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;aAC1F,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAiB;IAC9C,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,IAAI,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,MAAM,OAAO,GAAG,yHAAyH,CAAC;YAC1I,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;gBACpC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC;oBAAE,SAAS;gBAC9E,MAAM,OAAO,GAAG;oBACd,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;oBACd,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;iBACtF,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAClB,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACzC,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,wCAAwC,CAAC,EAAE,CAAC;gBAC5E,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC3E,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBACvD,CAAC;YACH,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,2DAA2D,CAAC,EAAE,CAAC;gBAC/F,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACxB,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC;oBAAE,SAAS;gBAC9E,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;qBACxC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;qBACtD,MAAM,CAAC,OAAO,CAAC,CAAC;gBACnB,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;aAAM,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,MAAM,OAAO,GAAG,kGAAkG,CAAC;YACnH,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3C,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;gBAC3D,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;qBACxC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;qBACtD,MAAM,CAAC,OAAO,CAAC,CAAC;gBACnB,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,uCAAuC,CAAC,EAAE,CAAC;gBAC3E,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;gBACzB,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;oBAAE,SAAS;gBAClF,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;qBAC9D,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;qBACnD,MAAM,CAAC,OAAO,CAAC,CAAC;gBACnB,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACzC,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,4CAA4C,CAAC,EAAE,CAAC;gBAChF,IAAI,KAAK,CAAC,CAAC,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;YACrE,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,sCAAsC,CAAC,EAAE,CAAC;gBAC1E,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACxB,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;oBAAE,SAAS;gBAC7F,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,WAAW,CAAC,MAAc;IACjC,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3E,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;AACxC,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,0BAA0B,CACxC,KAAiB,EACjB,UAAyC,EACzC,QAA2B;IAE3B,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC;QAAE,OAAO;IACxG,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC;IACxF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC,CAAC;IACtG,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,KAAK,MAAM,UAAU,IAAI,SAAS,CAAC,SAAS,CAAC,YAAY,EAAE,CAAC;YAC1D,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,SAAS,CAAC,SAAS,KAAK,SAAS;YAAE,SAAS;QAChD,KAAK,MAAM,UAAU,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;YAC/C,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,GAAG,CAAC,CAAC;YAC5E,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;gBAAE,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,CAAC,CAAC;YAChF,MAAM,WAAW,GAAG;gBAClB,GAAG,SAAS,CAAC,WAAW;gBACxB,GAAG,SAAS,CAAC,MAAM;gBACnB,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;aACxF,CAAC;YACF,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;gBAC/B,IAAI,UAAU,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,UAAU,GAAG,CAAC;oBAAE,SAAS;gBACvE,MAAM,YAAY,GAAG,UAAU,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBACnF,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAAE,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;YAC7E,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,gBAAgB,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,wBAAwB;WAC/F,IAAI,CAAC,MAAM,KAAK,YAAY,IAAI,MAAM,IAAI,IAAI;eAC5C,kDAAkD,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3E,KAAK,MAAM,GAAG,IAAI,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,KAAK,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;YAAE,SAAS;QAClG,IAAI,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAAE,SAAS;QAC7D,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9E,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAChD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;mBACzC,CAAC,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC;uBACpC,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;YACtE,IAAI,WAAW;gBAAE,SAAS;YAC1B,MAAM,IAAI,kBAAkB,CAC1B,sBAAsB,EACtB,+BAA+B,GAAG,CAAC,MAAM,2DAA2D,CACrG,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAChD,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;eAC/E,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACnF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,kBAAkB,CAC1B,sBAAsB,EACtB,+FAA+F,UAAU,IAAI,CAC9G,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YAClD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;gBAC5D,MAAM,IAAI,kBAAkB,CAC1B,sBAAsB,EACtB,iBAAiB,UAAU,IAAI,MAAM,8DAA8D,CACpG,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/agents/guided/index.d.ts

@@ -0,0 +1,7 @@
+/** Public surface of the reviewed, grounded, and validated guided agent. */
+export * from "./workflow.ts";
+export * from "./types.ts";
+export * from "./workspace-policy.ts";
+export * from "./patch-diff.ts";
+export * from "./api-grounding.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/agents/guided/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/agents/guided/index.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC;AAC3B,cAAc,uBAAuB,CAAC;AACtC,cAAc,iBAAiB,CAAC;AAChC,cAAc,oBAAoB,CAAC"}

package/dist/agents/guided/index.js

@@ -0,0 +1,7 @@
+/** Public surface of the reviewed, grounded, and validated guided agent. */
+export * from "./workflow.js";
+export * from "./types.js";
+export * from "./workspace-policy.js";
+export * from "./patch-diff.js";
+export * from "./api-grounding.js";
+//# sourceMappingURL=index.js.map

package/dist/agents/guided/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/agents/guided/index.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC;AAC3B,cAAc,uBAAuB,CAAC;AACtC,cAAc,iBAAiB,CAAC;AAChC,cAAc,oBAAoB,CAAC"}

package/dist/agents/guided/patch-diff.d.ts

@@ -0,0 +1,4 @@
+import type { PatchSetV1 } from "../../core/contracts.ts";
+/** Render structured patch operations as a stable, review-oriented diff. */
+export declare function renderPatchDiff(patch: PatchSetV1): string;
+//# sourceMappingURL=patch-diff.d.ts.map

package/dist/agents/guided/patch-diff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"patch-diff.d.ts","sourceRoot":"","sources":["../../../src/agents/guided/patch-diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE1D,4EAA4E;AAC5E,wBAAgB,eAAe,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CA4BzD"}

package/dist/agents/guided/patch-diff.js

@@ -0,0 +1,31 @@
+/** Render structured patch operations as a stable, review-oriented diff. */
+export function renderPatchDiff(patch) {
+    const blocks = [];
+    for (const operation of patch.operations) {
+        if (operation.kind === "rename") {
+            blocks.push(`rename from ${operation.from}\nrename to ${operation.path}`);
+            continue;
+        }
+        const before = operation.kind === "create"
+            ? ""
+            : operation.kind === "edit"
+                ? operation.oldText
+                : "[content bound by base hash; omitted from model artifact]";
+        const after = operation.kind === "delete"
+            ? ""
+            : operation.kind === "edit"
+                ? operation.newText
+                : operation.content;
+        const oldPath = operation.kind === "create" ? "/dev/null" : `a/${operation.path}`;
+        const newPath = operation.kind === "delete" ? "/dev/null" : `b/${operation.path}`;
+        blocks.push([
+            `--- ${oldPath}`,
+            `+++ ${newPath}`,
+            "@@ human-to-code structured operation @@",
+            ...before.split("\n").map((line) => `-${line}`),
+            ...after.split("\n").map((line) => `+${line}`),
+        ].join("\n"));
+    }
+    return `${blocks.join("\n\n")}\n`;
+}
+//# sourceMappingURL=patch-diff.js.map

package/dist/agents/guided/patch-diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"patch-diff.js","sourceRoot":"","sources":["../../../src/agents/guided/patch-diff.ts"],"names":[],"mappings":"AAEA,4EAA4E;AAC5E,MAAM,UAAU,eAAe,CAAC,KAAiB;IAC/C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,eAAe,SAAS,CAAC,IAAI,eAAe,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1E,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,KAAK,QAAQ;YACxC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM;gBACzB,CAAC,CAAC,SAAS,CAAC,OAAO;gBACnB,CAAC,CAAC,2DAA2D,CAAC;QAClE,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,KAAK,QAAQ;YACvC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM;gBACzB,CAAC,CAAC,SAAS,CAAC,OAAO;gBACnB,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC;QACxB,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC;QAClF,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC;QAClF,MAAM,CAAC,IAAI,CAAC;YACV,OAAO,OAAO,EAAE;YAChB,OAAO,OAAO,EAAE;YAChB,0CAA0C;YAC1C,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC;YAC/C,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC;SAC/C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;AACpC,CAAC"}

package/dist/agents/guided/types.d.ts

@@ -0,0 +1,55 @@
+import type { ProjectProfileV1 } from "../../analysis/analyzer.ts";
+import type { ConfigV1 } from "../../config/config.ts";
+import type { ChangeContractV1, RunStatus, UsageSummaryV1, ValidationReportV1 } from "../../core/contracts.ts";
+import type { RunStore } from "../../pipeline/run-store.ts";
+import type { validateBaselineAndCandidate } from "../../pipeline/validation.ts";
+import type { ProviderAdapter } from "../../providers/provider.ts";
+export interface ProviderCertificationV1 {
+    matrixKey: string;
+    certified: boolean;
+    reason: string;
+}
+export interface RunCertificationV1 {
+    schemaVersion: 1;
+    supportMatrixVersion: string;
+    provider: ProviderCertificationV1;
+    profileCertified: boolean;
+    certified: boolean;
+    reasons: string[];
+}
+export interface GenerateRunOptions {
+    root: string;
+    profile: ProjectProfileV1;
+    contract: ChangeContractV1;
+    config: ConfigV1;
+    provider: ProviderAdapter;
+    store?: RunStore;
+    offline?: boolean;
+    signal?: AbortSignal;
+}
+export interface WorkflowOutcome {
+    runId: string;
+    status: RunStatus;
+    diagnostics: string[];
+    diff?: string;
+    report?: ValidationReportV1;
+    /** Cumulative provider usage for runs that reached the provider. */
+    usage?: UsageSummaryV1;
+    /** Fixed CLI exit code when status alone cannot distinguish the failure. */
+    exitCode?: number;
+}
+export interface ValidateStoredRunOptions {
+    runId: string;
+    store?: RunStore;
+    sandboxImage?: string;
+    dockerBinary?: string;
+    manualChecksPassed?: boolean;
+    /** Present only for guided validation; standalone validate never guesses credentials. */
+    provider?: ProviderAdapter;
+    /** Must exactly match the configuration persisted during generation. */
+    config?: ConfigV1;
+    signal?: AbortSignal;
+    /** Deterministic test seam; production always uses the strong-sandbox runner. */
+    validationRunner?: typeof validateBaselineAndCandidate;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/agents/guided/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/agents/guided/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,KAAK,EACV,gBAAgB,EAChB,SAAS,EACT,cAAc,EACd,kBAAkB,EACnB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AACjF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAEnE,MAAM,WAAW,uBAAuB;IACtC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,OAAO,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,kBAAkB;IACjC,aAAa,EAAE,CAAC,CAAC;IACjB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,QAAQ,EAAE,uBAAuB,CAAC;IAClC,gBAAgB,EAAE,OAAO,CAAC;IAC1B,SAAS,EAAE,OAAO,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,gBAAgB,CAAC;IAC1B,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,MAAM,EAAE,QAAQ,CAAC;IACjB,QAAQ,EAAE,eAAe,CAAC;IAC1B,KAAK,CAAC,EAAE,QAAQ,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,SAAS,CAAC;IAClB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAC5B,oEAAoE;IACpE,KAAK,CAAC,EAAE,cAAc,CAAC;IACvB,4EAA4E;IAC5E,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,wBAAwB;IACvC,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,QAAQ,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,yFAAyF;IACzF,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,wEAAwE;IACxE,MAAM,CAAC,EAAE,QAAQ,CAAC;IAClB,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,iFAAiF;IACjF,gBAAgB,CAAC,EAAE,OAAO,4BAA4B,CAAC;CACxD"}

package/dist/agents/guided/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/agents/guided/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/agents/guided/types.ts"],"names":[],"mappings":""}

package/dist/agents/guided/workflow.d.ts

@@ -0,0 +1,17 @@
+/** Auditable generation, isolated validation, and explicit application workflow. */
+import { type ProjectProfileV1 } from "../../analysis/analyzer.ts";
+import { type ConfigV1 } from "../../config/config.ts";
+import { type ChangeContractV1 } from "../../core/contracts.ts";
+import { type ContextManifestV1 } from "../../context/context.ts";
+import { RunStore } from "../../pipeline/run-store.ts";
+import type { GenerateRunOptions, ValidateStoredRunOptions, WorkflowOutcome } from "./types.ts";
+export type { GenerateRunOptions, ProviderCertificationV1, RunCertificationV1, ValidateStoredRunOptions, WorkflowOutcome, } from "./types.ts";
+export { createValidationPlan, resolveWorkspaceConfig } from "./workspace-policy.ts";
+export { renderPatchDiff } from "./patch-diff.ts";
+export declare function buildContextPreview(rootInput: string, profile: ProjectProfileV1, contract: ChangeContractV1, config: ConfigV1, offline?: boolean): Promise<ContextManifestV1>;
+export declare function generateRun(input: GenerateRunOptions): Promise<WorkflowOutcome>;
+export declare function validateStoredRun(options: ValidateStoredRunOptions): Promise<WorkflowOutcome>;
+export declare function applyVerifiedRun(runId: string, store?: RunStore): Promise<WorkflowOutcome>;
+export declare function rollbackAppliedRun(runId: string, store?: RunStore): Promise<WorkflowOutcome>;
+export declare function rootRelative(root: string, path: string): string;
+//# sourceMappingURL=workflow.d.ts.map

package/dist/agents/guided/workflow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow.d.ts","sourceRoot":"","sources":["../../../src/agents/guided/workflow.ts"],"names":[],"mappings":"AAAA,oFAAoF;AAMpF,OAAO,EAA0C,KAAK,gBAAgB,EAA2B,MAAM,4BAA4B,CAAC;AAGpI,OAAO,EAAkB,KAAK,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAQL,KAAK,gBAAgB,EAStB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAKL,KAAK,iBAAiB,EACvB,MAAM,0BAA0B,CAAC;AAalC,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAavD,OAAO,KAAK,EACV,kBAAkB,EAGlB,wBAAwB,EACxB,eAAe,EAChB,MAAM,YAAY,CAAC;AAIpB,YAAY,EACV,kBAAkB,EAClB,uBAAuB,EACvB,kBAAkB,EAClB,wBAAwB,EACxB,eAAe,GAChB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAwPlD,wBAAsB,mBAAmB,CACvC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,QAAQ,EAChB,OAAO,UAA0C,GAChD,OAAO,CAAC,iBAAiB,CAAC,CAsB5B;AAmGD,wBAAsB,WAAW,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,eAAe,CAAC,CA0KrF;AAkpBD,wBAAsB,iBAAiB,CAAC,OAAO,EAAE,wBAAwB,GAAG,OAAO,CAAC,eAAe,CAAC,CAGnG;AAoJD,wBAAsB,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,WAAiB,GAAG,OAAO,CAAC,eAAe,CAAC,CA+CtG;AAED,wBAAsB,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,WAAiB,GAAG,OAAO,CAAC,eAAe,CAAC,CA6CxG;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAI/D"}