human-to-code 0.1.17 → 0.1.18

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

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/agents/direct/index.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,cAAc,YAAY,CAAC;AAC3B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,mBAAmB,CAAC;AAClC,cAAc,wBAAwB,CAAC;AACvC,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC;AAClC,cAAc,2BAA2B,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/agents/direct/index.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,cAAc,YAAY,CAAC;AAC3B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,mBAAmB,CAAC;AAClC,cAAc,wBAAwB,CAAC;AACvC,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC;AAClC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,wBAAwB,CAAC;AACvC,cAAc,0BAA0B,CAAC;AACzC,cAAc,uBAAuB,CAAC;AACtC,cAAc,wBAAwB,CAAC"}

package/dist/agents/direct/presentation.js

@@ -13,8 +13,8 @@ export function renderReceipt(units, provider, model, language) {
         `  Language : ${profile.label} (.${profile.ext})`,
         `  Provider : ${provider}`,
         `  Model    : ${model}`,
-        `  Engine   : direct (one model request per prompt)`,
-        `  Requests : ${units.length}`,
+        `  Engine   : direct (one model request per prompt; bounded cross-file repair may add requests)`,
+        `  Requests : ${units.length} planned (up to ${units.length} extra bounded repair requests for JS/TS)`,
         "",
     ];
     if (units.length === 0)

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

@@ -1 +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,OAAO,gBAAiB,SAAQ,KAAK;IACzC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED,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,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,kDAAkD,CAAC,CAAC,CAAC;IACzF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,gBAAgB,CAAC,gFAAgF,CAAC,CAAC;IAC/G,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9D,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,gBAAgB,CAAC,oFAAoF,CAAC,CAAC;IACnH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}
+{"version":3,"file":"presentation.js","sourceRoot":"","sources":["../../../src/agents/direct/presentation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAGjD,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED,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,gGAAgG;QAChG,gBAAgB,KAAK,CAAC,MAAM,mBAAmB,KAAK,CAAC,MAAM,2CAA2C;QACtG,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,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,kDAAkD,CAAC,CAAC,CAAC;IACzF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,gBAAgB,CAAC,gFAAgF,CAAC,CAAC;IAC/G,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9D,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,gBAAgB,CAAC,oFAAoF,CAAC,CAAC;IACnH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/agents/direct/program-diagnostics.d.ts

@@ -0,0 +1,39 @@
+import ts from "typescript";
+import { type CandidateOverlay } from "./candidate-overlay.ts";
+/** One normalized error-category compiler diagnostic. */
+export interface ProjectDiagnostic {
+    /** Project-relative POSIX path, or undefined for global/options diagnostics. */
+    path?: string;
+    /** 1-based line, when the diagnostic has a location. */
+    line?: number;
+    /** TypeScript diagnostic code. */
+    code: number;
+    message: string;
+}
+export interface ValidationProgramContext {
+    root: string;
+    options: ts.CompilerOptions;
+    /** Host that answers from the overlay first, then the real file system. */
+    host: ts.CompilerHost;
+    /** On-disk JS/TS root files discovered with the bounded direct walk. */
+    projectFiles: string[];
+}
+/** Prepare compiler options, baseline host, and the on-disk JS/TS file list once per run. */
+export declare function createValidationProgramContext(root: string): Promise<ValidationProgramContext>;
+/** Overlay-aware compiler host for module resolution outside program creation. */
+export declare function overlayCompilerHost(context: ValidationProgramContext, overlay: CandidateOverlay): ts.CompilerHost;
+/**
+ * Collect error-category diagnostics for the given program state. Diagnostics
+ * inside `node_modules` or outside the project root are dropped symmetrically
+ * for baseline and candidate, so third-party typing noise never decides a unit.
+ */
+export declare function collectProjectDiagnostics(context: ValidationProgramContext, overlay?: CandidateOverlay): ProjectDiagnostic[];
+/**
+ * Diff candidate diagnostics against the baseline so pre-existing project
+ * errors are never blamed on generated units. Files the overlay does not touch
+ * compare location-aware (path, code, line, message); overlay-modified files
+ * compare by multiplicity of (path, code, message) because replacements shift
+ * lines; overlay-created files are entirely new, so every diagnostic counts.
+ */
+export declare function newlyIntroducedProjectDiagnostics(baseline: readonly ProjectDiagnostic[], candidate: readonly ProjectDiagnostic[], overlay: CandidateOverlay): ProjectDiagnostic[];
+//# sourceMappingURL=program-diagnostics.d.ts.map

package/dist/agents/direct/program-diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"program-diagnostics.d.ts","sourceRoot":"","sources":["../../../src/agents/direct/program-diagnostics.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAiD,KAAK,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAG9G,yDAAyD;AACzD,MAAM,WAAW,iBAAiB;IAChC,gFAAgF;IAChF,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,wDAAwD;IACxD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,kCAAkC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAkDD,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC;IAC5B,2EAA2E;IAC3E,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC;IACtB,wEAAwE;IACxE,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAkBD,6FAA6F;AAC7F,wBAAsB,8BAA8B,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAMpG;AAED,kFAAkF;AAClF,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,wBAAwB,EAAE,OAAO,EAAE,gBAAgB,GAAG,EAAE,CAAC,YAAY,CAEjH;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,wBAAwB,EACjC,OAAO,CAAC,EAAE,gBAAgB,GACzB,iBAAiB,EAAE,CAyBrB;AAED;;;;;;GAMG;AACH,wBAAgB,iCAAiC,CAC/C,QAAQ,EAAE,SAAS,iBAAiB,EAAE,EACtC,SAAS,EAAE,SAAS,iBAAiB,EAAE,EACvC,OAAO,EAAE,gBAAgB,GACxB,iBAAiB,EAAE,CAiCrB"}

package/dist/agents/direct/program-diagnostics.js

@@ -0,0 +1,170 @@
+/**
+ * Combined TypeScript program diagnostics over the candidate overlay. This is
+ * static compiler validation of the in-memory candidate project — stronger
+ * than per-file syntax parsing, but it never imports, executes, or sandboxes
+ * project code and never claims runtime verification.
+ */
+import { existsSync } from "node:fs";
+import { createRequire } from "node:module";
+import { dirname, extname, join, relative, resolve, sep } from "node:path";
+import ts from "typescript";
+import { overlayPathKey, PROJECT_VALIDATION_EXTENSIONS } from "./candidate-overlay.js";
+import { walkDirectFiles } from "./discovery.js";
+/**
+ * Permissive fixed compiler options: the goal is catching real cross-file
+ * contradictions in generated code, not enforcing a strictness style. Bundler
+ * resolution accepts extensionless, `.js`-suffixed, and (with noEmit)
+ * `.ts`-suffixed relative imports, matching what direct models emit.
+ */
+function validationCompilerOptions(root) {
+    const options = {
+        target: ts.ScriptTarget.ES2023,
+        module: ts.ModuleKind.ESNext,
+        moduleResolution: ts.ModuleResolutionKind.Bundler,
+        lib: ["lib.es2023.d.ts"],
+        allowJs: true,
+        checkJs: true,
+        jsx: ts.JsxEmit.Preserve,
+        noEmit: true,
+        allowImportingTsExtensions: true,
+        resolveJsonModule: true,
+        skipLibCheck: true,
+        forceConsistentCasingInFileNames: true,
+    };
+    const typeRoots = nodeTypeRoots(root);
+    if (typeRoots.length > 0) {
+        options.typeRoots = typeRoots;
+        options.types = ["node"];
+    }
+    else {
+        options.types = [];
+    }
+    return options;
+}
+/**
+ * Locate `@types/node` so `node:` builtin imports resolve in target projects
+ * that have no type dependencies of their own. The project's own copy wins;
+ * otherwise the copy shipped with this package is used.
+ */
+function nodeTypeRoots(root) {
+    const projectTypes = resolve(root, "node_modules", "@types");
+    if (existsSync(join(projectTypes, "node")))
+        return [projectTypes];
+    try {
+        const requireFromHere = createRequire(import.meta.url);
+        const packageJson = requireFromHere.resolve("@types/node/package.json");
+        return [dirname(dirname(packageJson))];
+    }
+    catch {
+        return [];
+    }
+}
+function createOverlayHost(options, overlay) {
+    const base = ts.createCompilerHost(options, true);
+    if (!overlay || overlay.files.size === 0)
+        return base;
+    const find = (fileName) => overlay.files.get(overlayPathKey(fileName));
+    return {
+        ...base,
+        fileExists: (fileName) => find(fileName) !== undefined || base.fileExists(fileName),
+        readFile: (fileName) => find(fileName)?.content ?? base.readFile(fileName),
+        getSourceFile: (fileName, languageVersionOrOptions, onError, shouldCreateNewSourceFile) => {
+            const candidate = find(fileName);
+            if (candidate)
+                return ts.createSourceFile(fileName, candidate.content, languageVersionOrOptions, true);
+            return base.getSourceFile(fileName, languageVersionOrOptions, onError, shouldCreateNewSourceFile);
+        },
+    };
+}
+/** Prepare compiler options, baseline host, and the on-disk JS/TS file list once per run. */
+export async function createValidationProgramContext(root) {
+    const absoluteRoot = resolve(root);
+    const options = validationCompilerOptions(absoluteRoot);
+    const projectFiles = (await walkDirectFiles(absoluteRoot)).filter((file) => PROJECT_VALIDATION_EXTENSIONS.has(extname(file).toLowerCase()));
+    return { root: absoluteRoot, options, host: createOverlayHost(options, undefined), projectFiles };
+}
+/** Overlay-aware compiler host for module resolution outside program creation. */
+export function overlayCompilerHost(context, overlay) {
+    return createOverlayHost(context.options, overlay);
+}
+/**
+ * Collect error-category diagnostics for the given program state. Diagnostics
+ * inside `node_modules` or outside the project root are dropped symmetrically
+ * for baseline and candidate, so third-party typing noise never decides a unit.
+ */
+export function collectProjectDiagnostics(context, overlay) {
+    const rootNames = new Set(context.projectFiles.map((file) => resolve(file)));
+    if (overlay)
+        for (const file of overlay.files.values())
+            rootNames.add(file.absolutePath);
+    const host = overlay ? createOverlayHost(context.options, overlay) : context.host;
+    const program = ts.createProgram({ rootNames: [...rootNames], options: context.options, host });
+    const diagnostics = [];
+    for (const diagnostic of ts.getPreEmitDiagnostics(program)) {
+        if (diagnostic.category !== ts.DiagnosticCategory.Error)
+            continue;
+        const entry = {
+            code: diagnostic.code,
+            message: ts.flattenDiagnosticMessageText(diagnostic.messageText, " "),
+        };
+        if (diagnostic.file) {
+            const fileName = resolve(diagnostic.file.fileName);
+            if (fileName.split(sep).includes("node_modules"))
+                continue;
+            const rel = relative(context.root, fileName);
+            if (rel.startsWith(".."))
+                continue;
+            entry.path = rel.split(sep).join("/");
+            if (diagnostic.start !== undefined) {
+                entry.line = diagnostic.file.getLineAndCharacterOfPosition(diagnostic.start).line + 1;
+            }
+        }
+        diagnostics.push(entry);
+    }
+    return diagnostics;
+}
+/**
+ * Diff candidate diagnostics against the baseline so pre-existing project
+ * errors are never blamed on generated units. Files the overlay does not touch
+ * compare location-aware (path, code, line, message); overlay-modified files
+ * compare by multiplicity of (path, code, message) because replacements shift
+ * lines; overlay-created files are entirely new, so every diagnostic counts.
+ */
+export function newlyIntroducedProjectDiagnostics(baseline, candidate, overlay) {
+    const modified = new Set();
+    const created = new Set();
+    for (const file of overlay.files.values()) {
+        (file.created ? created : modified).add(file.path);
+    }
+    const keyFor = (diagnostic) => {
+        const locationAware = diagnostic.path === undefined || !modified.has(diagnostic.path);
+        return JSON.stringify([
+            diagnostic.path ?? "",
+            diagnostic.code,
+            locationAware ? diagnostic.line ?? -1 : -1,
+            diagnostic.message,
+        ]);
+    };
+    const remaining = new Map();
+    for (const diagnostic of baseline) {
+        if (diagnostic.path !== undefined && created.has(diagnostic.path))
+            continue;
+        const key = keyFor(diagnostic);
+        remaining.set(key, (remaining.get(key) ?? 0) + 1);
+    }
+    const introduced = [];
+    for (const diagnostic of candidate) {
+        if (diagnostic.path !== undefined && created.has(diagnostic.path)) {
+            introduced.push(diagnostic);
+            continue;
+        }
+        const key = keyFor(diagnostic);
+        const left = remaining.get(key) ?? 0;
+        if (left > 0)
+            remaining.set(key, left - 1);
+        else
+            introduced.push(diagnostic);
+    }
+    return introduced;
+}
+//# sourceMappingURL=program-diagnostics.js.map

package/dist/agents/direct/program-diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"program-diagnostics.js","sourceRoot":"","sources":["../../../src/agents/direct/program-diagnostics.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAC3E,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,cAAc,EAAE,6BAA6B,EAAyB,MAAM,wBAAwB,CAAC;AAC9G,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAajD;;;;;GAKG;AACH,SAAS,yBAAyB,CAAC,IAAY;IAC7C,MAAM,OAAO,GAAuB;QAClC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;QAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM;QAC5B,gBAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,OAAO;QACjD,GAAG,EAAE,CAAC,iBAAiB,CAAC;QACxB,OAAO,EAAE,IAAI;QACb,OAAO,EAAE,IAAI;QACb,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ;QACxB,MAAM,EAAE,IAAI;QACZ,0BAA0B,EAAE,IAAI;QAChC,iBAAiB,EAAE,IAAI;QACvB,YAAY,EAAE,IAAI;QAClB,gCAAgC,EAAE,IAAI;KACvC,CAAC;IACF,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC;QAC9B,OAAO,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,KAAK,GAAG,EAAE,CAAC;IACrB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;IAC7D,IAAI,UAAU,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IAClE,IAAI,CAAC;QACH,MAAM,eAAe,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvD,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;QACxE,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAWD,SAAS,iBAAiB,CAAC,OAA2B,EAAE,OAAqC;IAC3F,MAAM,IAAI,GAAG,EAAE,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAClD,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,IAAI,GAAG,CAAC,QAAgB,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC/E,OAAO;QACL,GAAG,IAAI;QACP,UAAU,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QACnF,QAAQ,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC1E,aAAa,EAAE,CAAC,QAAQ,EAAE,wBAAwB,EAAE,OAAO,EAAE,yBAAyB,EAAE,EAAE;YACxF,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;YACjC,IAAI,SAAS;gBAAE,OAAO,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,EAAE,wBAAwB,EAAE,IAAI,CAAC,CAAC;YACvG,OAAO,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,wBAAwB,EAAE,OAAO,EAAE,yBAAyB,CAAC,CAAC;QACpG,CAAC;KACF,CAAC;AACJ,CAAC;AAED,6FAA6F;AAC7F,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAAC,IAAY;IAC/D,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,yBAAyB,CAAC,YAAY,CAAC,CAAC;IACxD,MAAM,YAAY,GAAG,CAAC,MAAM,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACzE,6BAA6B,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAClE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,YAAY,EAAE,CAAC;AACpG,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,mBAAmB,CAAC,OAAiC,EAAE,OAAyB;IAC9F,OAAO,iBAAiB,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AACrD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CACvC,OAAiC,EACjC,OAA0B;IAE1B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7E,IAAI,OAAO;QAAE,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE;YAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACzF,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IAClF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAChG,MAAM,WAAW,GAAwB,EAAE,CAAC;IAC5C,KAAK,MAAM,UAAU,IAAI,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3D,IAAI,UAAU,CAAC,QAAQ,KAAK,EAAE,CAAC,kBAAkB,CAAC,KAAK;YAAE,SAAS;QAClE,MAAM,KAAK,GAAsB;YAC/B,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,OAAO,EAAE,EAAE,CAAC,4BAA4B,CAAC,UAAU,CAAC,WAAW,EAAE,GAAG,CAAC;SACtE,CAAC;QACF,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YACpB,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACnD,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC;gBAAE,SAAS;YAC3D,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC7C,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,SAAS;YACnC,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtC,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBACnC,KAAK,CAAC,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,6BAA6B,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YACxF,CAAC;QACH,CAAC;QACD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iCAAiC,CAC/C,QAAsC,EACtC,SAAuC,EACvC,OAAyB;IAEzB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1C,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,UAA6B,EAAU,EAAE;QACvD,MAAM,aAAa,GAAG,UAAU,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACtF,OAAO,IAAI,CAAC,SAAS,CAAC;YACpB,UAAU,CAAC,IAAI,IAAI,EAAE;YACrB,UAAU,CAAC,IAAI;YACf,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,UAAU,CAAC,OAAO;SACnB,CAAC,CAAC;IACL,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,MAAM,UAAU,IAAI,QAAQ,EAAE,CAAC;QAClC,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5E,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QAC/B,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,UAAU,GAAwB,EAAE,CAAC;IAC3C,KAAK,MAAM,UAAU,IAAI,SAAS,EAAE,CAAC;QACnC,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAClE,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,IAAI,GAAG,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC;;YACtC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/dist/agents/direct/staged-validation.d.ts

@@ -0,0 +1,53 @@
+import { type ProjectDiagnostic } from "./program-diagnostics.ts";
+import type { ConversionUnit, GeneratedConversionUnit } from "./types.ts";
+export interface StagedRepairRequest {
+    unit: ConversionUnit;
+    /** Project-relative path of the candidate being repaired. */
+    targetPath: string;
+    /** The unit's current generated code (whole file contents). */
+    currentCode: string;
+    /** Normalized new diagnostics attributed to this candidate's dependency group. */
+    diagnostics: ProjectDiagnostic[];
+    /** Other generated candidate files in the same dependency group. */
+    relatedFiles: Array<{
+        path: string;
+        content: string;
+    }>;
+}
+export type StagedValidationProgress = {
+    kind: "project-validate";
+    files: number;
+    pass: number;
+} | {
+    kind: "repair";
+    unit: ConversionUnit;
+    attempt: number;
+} | {
+    kind: "reject";
+    unit: ConversionUnit;
+    reason: string;
+};
+export interface StagedValidationOptions {
+    /** Bounded cross-file repair callback; omitted means failing groups are rejected directly. */
+    repair?: (request: StagedRepairRequest) => Promise<string>;
+    /** Repair requests allowed per whole-file unit (default 1). */
+    maxRepairAttemptsPerUnit?: number;
+    /** Character budget for one repair request's code-and-diagnostics context. */
+    contextCharBudget?: number;
+    onProgress?: (event: StagedValidationProgress) => void;
+}
+export interface StagedValidationOutcome {
+    /** One result per input unit, in input order; rejected units carry `error`. */
+    results: GeneratedConversionUnit[];
+    /** True when a combined candidate program was actually type-checked. */
+    validated: boolean;
+    /** Number of bounded repair requests issued. */
+    repairRequests: number;
+}
+/**
+ * Validate the combined candidate project before anything is written and
+ * return per-unit accept/reject results. Units that do not produce JS/TS are
+ * passed through unchanged and keep their per-unit validation level.
+ */
+export declare function validateCandidateProject(root: string, generated: readonly GeneratedConversionUnit[], options?: StagedValidationOptions): Promise<StagedValidationOutcome>;
+//# sourceMappingURL=staged-validation.d.ts.map

package/dist/agents/direct/staged-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"staged-validation.d.ts","sourceRoot":"","sources":["../../../src/agents/direct/staged-validation.ts"],"names":[],"mappings":"AAeA,OAAO,EAIL,KAAK,iBAAiB,EACvB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EAAE,cAAc,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AAE1E,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,cAAc,CAAC;IACrB,6DAA6D;IAC7D,UAAU,EAAE,MAAM,CAAC;IACnB,+DAA+D;IAC/D,WAAW,EAAE,MAAM,CAAC;IACpB,kFAAkF;IAClF,WAAW,EAAE,iBAAiB,EAAE,CAAC;IACjC,oEAAoE;IACpE,YAAY,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACxD;AAED,MAAM,MAAM,wBAAwB,GAChC;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,cAAc,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,cAAc,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7D,MAAM,WAAW,uBAAuB;IACtC,8FAA8F;IAC9F,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,mBAAmB,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3D,+DAA+D;IAC/D,wBAAwB,CAAC,EAAE,MAAM,CAAC;IAClC,8EAA8E;IAC9E,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,wBAAwB,KAAK,IAAI,CAAC;CACxD;AAED,MAAM,WAAW,uBAAuB;IACtC,+EAA+E;IAC/E,OAAO,EAAE,uBAAuB,EAAE,CAAC;IACnC,wEAAwE;IACxE,SAAS,EAAE,OAAO,CAAC;IACnB,gDAAgD;IAChD,cAAc,EAAE,MAAM,CAAC;CACxB;AA0BD;;;;GAIG;AACH,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,SAAS,uBAAuB,EAAE,EAC7C,OAAO,GAAE,uBAA4B,GACpC,OAAO,CAAC,uBAAuB,CAAC,CAuGlC"}

package/dist/agents/direct/staged-validation.js

@@ -0,0 +1,182 @@
+/**
+ * Staged, project-aware validation for multi-file JS/TS direct conversions.
+ * All successfully generated units enter an in-memory candidate overlay; the
+ * combined candidate project is compiled with the TypeScript Compiler API and
+ * compared against the unchanged baseline. Dependency-connected groups that
+ * introduce new diagnostics are repaired within a bounded budget or rejected
+ * whole, and only units proven independent of every failure are applied.
+ *
+ * This is static compiler validation: no project code is imported, executed,
+ * or sandboxed here, and passing it is never presented as `VERIFIED`.
+ */
+import { ContextSecurityError, scanSecrets } from "../../context/context.js";
+import { buildCandidateOverlay } from "./candidate-overlay.js";
+import { validateGeneratedUnit } from "./candidate-validation.js";
+import { attributeDiagnostics, buildOverlayDependencyGroups } from "./dependency-graph.js";
+import { collectProjectDiagnostics, createValidationProgramContext, newlyIntroducedProjectDiagnostics, } from "./program-diagnostics.js";
+const MAX_DIAGNOSTICS_PER_REQUEST = 20;
+const MAX_DIAGNOSTIC_MESSAGE_LENGTH = 400;
+const DEFAULT_CONTEXT_CHAR_BUDGET = 48_000;
+/** Strip control characters so compiler output stays plain, single-line data. */
+function sanitizeDiagnostic(diagnostic) {
+    const message = diagnostic.message
+        .replace(/[\u0000-\u0008\u000b-\u001f\u007f]/gu, " ")
+        .replace(/\r?\n/gu, " ")
+        .slice(0, MAX_DIAGNOSTIC_MESSAGE_LENGTH);
+    return { ...diagnostic, message };
+}
+function describeDiagnostics(diagnostics) {
+    const shown = diagnostics.slice(0, 3).map((diagnostic) => {
+        const location = diagnostic.path === undefined
+            ? "project"
+            : `${diagnostic.path}${diagnostic.line !== undefined ? `:${diagnostic.line}` : ""}`;
+        return `${location} TS${diagnostic.code} ${sanitizeDiagnostic(diagnostic).message}`;
+    });
+    const more = diagnostics.length - shown.length;
+    return `${shown.join("; ")}${more > 0 ? ` (+${more} more)` : ""}`;
+}
+/**
+ * Validate the combined candidate project before anything is written and
+ * return per-unit accept/reject results. Units that do not produce JS/TS are
+ * passed through unchanged and keep their per-unit validation level.
+ */
+export async function validateCandidateProject(root, generated, options = {}) {
+    const results = generated.map((item) => ({ ...item }));
+    const maxRepairAttempts = Math.max(0, options.maxRepairAttemptsPerUnit ?? 1);
+    const contextCharBudget = options.contextCharBudget ?? DEFAULT_CONTEXT_CHAR_BUDGET;
+    const initialOverlay = await buildCandidateOverlay(root, results);
+    applyOverlayExclusions(results, initialOverlay, options);
+    if (initialOverlay.files.size === 0) {
+        return { results, validated: false, repairRequests: 0 };
+    }
+    const context = await createValidationProgramContext(root);
+    const baseline = collectProjectDiagnostics(context);
+    const repairAttempts = new Map();
+    let repairRequests = 0;
+    const activeUnits = new Set();
+    for (const file of initialOverlay.files.values())
+        for (const unit of file.units)
+            activeUnits.add(unit);
+    const maxPasses = activeUnits.size * (1 + maxRepairAttempts) + 2;
+    const rejectUnit = (unit, reason) => {
+        const item = results.find((entry) => entry.unit === unit);
+        if (!item || item.error !== undefined)
+            return;
+        item.error = reason;
+        item.code = "";
+        options.onProgress?.({ kind: "reject", unit, reason });
+    };
+    for (let pass = 1; pass <= maxPasses; pass += 1) {
+        const overlay = await buildCandidateOverlay(root, results);
+        applyOverlayExclusions(results, overlay, options);
+        if (overlay.files.size === 0)
+            break;
+        options.onProgress?.({ kind: "project-validate", files: overlay.files.size, pass });
+        const candidate = collectProjectDiagnostics(context, overlay);
+        const introduced = newlyIntroducedProjectDiagnostics(baseline, candidate, overlay);
+        if (introduced.length === 0)
+            break;
+        const attribution = attributeDiagnostics(introduced, overlay, context);
+        if (attribution.unattributed.length > 0) {
+            // Safe isolation cannot be proven, so the whole staged batch fails
+            // closed instead of writing a possibly-broken partial application.
+            const reason = `combined project validation introduced errors that could not be safely attributed: ${describeDiagnostics(attribution.unattributed)}`;
+            for (const file of overlay.files.values())
+                for (const unit of file.units)
+                    rejectUnit(unit, reason);
+            break;
+        }
+        const groups = buildOverlayDependencyGroups(overlay, context);
+        const groupDiagnostics = new Map();
+        for (const [key, diagnostics] of attribution.byFile) {
+            const group = groups.groupOf.get(key);
+            groupDiagnostics.set(group, [...(groupDiagnostics.get(group) ?? []), ...diagnostics]);
+        }
+        let repaired = false;
+        if (options.repair && maxRepairAttempts > 0) {
+            for (const [key, diagnostics] of attribution.byFile) {
+                const file = overlay.files.get(key);
+                // Only whole-file candidates are repairable; an inline-modified file
+                // may hold several markers whose replacements cannot be regenerated
+                // independently without guessing, so its group fails closed instead.
+                if (!file.created || file.units.length !== 1)
+                    continue;
+                const unit = file.units[0];
+                const attempts = repairAttempts.get(unit) ?? 0;
+                if (attempts >= maxRepairAttempts)
+                    continue;
+                repairAttempts.set(unit, attempts + 1);
+                const item = results.find((entry) => entry.unit === unit);
+                const group = groups.groupOf.get(key);
+                const request = buildRepairRequest(unit, item.code, overlay, key, groups.members.get(group) ?? [], [
+                    ...(groupDiagnostics.get(group) ?? diagnostics),
+                ], contextCharBudget);
+                if (scanSecrets(`${request.currentCode}\n${request.relatedFiles.map((entry) => entry.content).join("\n")}`).length > 0) {
+                    // Never send credential-like content in repair context; the unit
+                    // simply stays unrepaired and its group is rejected on the next pass.
+                    repairAttempts.set(unit, maxRepairAttempts);
+                    continue;
+                }
+                options.onProgress?.({ kind: "repair", unit, attempt: attempts + 1 });
+                repairRequests += 1;
+                try {
+                    const repairedCode = await options.repair(request);
+                    if (repairedCode.trim().length === 0 || repairedCode === item.code)
+                        continue;
+                    await validateGeneratedUnit(unit, repairedCode);
+                    item.code = repairedCode;
+                    repaired = true;
+                }
+                catch (error) {
+                    if (error instanceof ContextSecurityError)
+                        throw error;
+                    // A failed or invalid repair keeps the previous candidate; the
+                    // attempt budget is already consumed.
+                }
+            }
+        }
+        if (repaired)
+            continue;
+        for (const [group, diagnostics] of groupDiagnostics) {
+            const reason = `combined project validation failed for this dependency group: ${describeDiagnostics(diagnostics)}`;
+            for (const key of groups.members.get(group) ?? []) {
+                for (const unit of overlay.files.get(key).units)
+                    rejectUnit(unit, reason);
+            }
+        }
+    }
+    return { results, validated: true, repairRequests };
+}
+function applyOverlayExclusions(results, overlay, options) {
+    for (const { unit, reason } of overlay.excluded) {
+        const item = results.find((entry) => entry.unit === unit);
+        if (!item || item.error !== undefined)
+            continue;
+        item.error = reason;
+        item.code = "";
+        options.onProgress?.({ kind: "reject", unit, reason });
+    }
+}
+function buildRepairRequest(unit, currentCode, overlay, ownKey, groupKeys, diagnostics, contextCharBudget) {
+    const normalized = diagnostics.slice(0, MAX_DIAGNOSTICS_PER_REQUEST).map(sanitizeDiagnostic);
+    let budget = Math.max(0, contextCharBudget - currentCode.length);
+    const relatedFiles = [];
+    const related = groupKeys
+        .filter((key) => key !== ownKey)
+        .map((key) => overlay.files.get(key))
+        .sort((left, right) => left.path.localeCompare(right.path));
+    for (const file of related) {
+        if (file.content.length > budget)
+            continue;
+        relatedFiles.push({ path: file.path, content: file.content });
+        budget -= file.content.length;
+    }
+    return {
+        unit,
+        targetPath: unit.kind === "file" ? unit.outputPath : unit.sourcePath,
+        currentCode,
+        diagnostics: normalized,
+        relatedFiles,
+    };
+}
+//# sourceMappingURL=staged-validation.js.map

package/dist/agents/direct/staged-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"staged-validation.js","sourceRoot":"","sources":["../../../src/agents/direct/staged-validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,oBAAoB,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC7E,OAAO,EAAE,qBAAqB,EAAyB,MAAM,wBAAwB,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,4BAA4B,EAAE,MAAM,uBAAuB,CAAC;AAC3F,OAAO,EACL,yBAAyB,EACzB,8BAA8B,EAC9B,iCAAiC,GAElC,MAAM,0BAA0B,CAAC;AAuClC,MAAM,2BAA2B,GAAG,EAAE,CAAC;AACvC,MAAM,6BAA6B,GAAG,GAAG,CAAC;AAC1C,MAAM,2BAA2B,GAAG,MAAM,CAAC;AAE3C,iFAAiF;AACjF,SAAS,kBAAkB,CAAC,UAA6B;IACvD,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO;SAC/B,OAAO,CAAC,sCAAsC,EAAE,GAAG,CAAC;SACpD,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC;SACvB,KAAK,CAAC,CAAC,EAAE,6BAA6B,CAAC,CAAC;IAC3C,OAAO,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,mBAAmB,CAAC,WAAyC;IACpE,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE;QACvD,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,KAAK,SAAS;YAC5C,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,GAAG,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACtF,OAAO,GAAG,QAAQ,MAAM,UAAU,CAAC,IAAI,IAAI,kBAAkB,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,CAAC;IACtF,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC/C,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AACpE,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,IAAY,EACZ,SAA6C,EAC7C,UAAmC,EAAE;IAErC,MAAM,OAAO,GAA8B,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;IAClF,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,wBAAwB,IAAI,CAAC,CAAC,CAAC;IAC7E,MAAM,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,IAAI,2BAA2B,CAAC;IAEnF,MAAM,cAAc,GAAG,MAAM,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClE,sBAAsB,CAAC,OAAO,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;IACzD,IAAI,cAAc,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;IAC1D,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,8BAA8B,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IAEpD,MAAM,cAAc,GAAG,IAAI,GAAG,EAA0B,CAAC;IACzD,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,KAAK,CAAC,MAAM,EAAE;QAAE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;YAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvG,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAEjE,MAAM,UAAU,GAAG,CAAC,IAAoB,EAAE,MAAc,EAAQ,EAAE;QAChE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC1D,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO;QAC9C,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC;QACpB,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;QACf,OAAO,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC;IAEF,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,IAAI,SAAS,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,OAAO,GAAG,MAAM,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3D,sBAAsB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAClD,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;YAAE,MAAM;QACpC,OAAO,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAEpF,MAAM,SAAS,GAAG,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC9D,MAAM,UAAU,GAAG,iCAAiC,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QACnF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM;QAEnC,MAAM,WAAW,GAAG,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QACvE,IAAI,WAAW,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,mEAAmE;YACnE,mEAAmE;YACnE,MAAM,MAAM,GAAG,sFAAsF,mBAAmB,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,CAAC;YACrJ,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE;gBAAE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;oBAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACnG,MAAM;QACR,CAAC;QAED,MAAM,MAAM,GAAG,4BAA4B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC9D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAA+B,CAAC;QAChE,KAAK,MAAM,CAAC,GAAG,EAAE,WAAW,CAAC,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;YACpD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;YACvC,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC;QACxF,CAAC;QAED,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,OAAO,CAAC,MAAM,IAAI,iBAAiB,GAAG,CAAC,EAAE,CAAC;YAC5C,KAAK,MAAM,CAAC,GAAG,EAAE,WAAW,CAAC,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;gBACpD,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;gBACrC,qEAAqE;gBACrE,oEAAoE;gBACpE,qEAAqE;gBACrE,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;oBAAE,SAAS;gBACvD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;gBAC5B,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/C,IAAI,QAAQ,IAAI,iBAAiB;oBAAE,SAAS;gBAC5C,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,GAAG,CAAC,CAAC,CAAC;gBACvC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAE,CAAC;gBAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;gBACvC,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE;oBACjG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC;iBAChD,EAAE,iBAAiB,CAAC,CAAC;gBACtB,IAAI,WAAW,CAAC,GAAG,OAAO,CAAC,WAAW,KAAK,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACvH,iEAAiE;oBACjE,sEAAsE;oBACtE,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;oBAC5C,SAAS;gBACX,CAAC;gBACD,OAAO,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,GAAG,CAAC,EAAE,CAAC,CAAC;gBACtE,cAAc,IAAI,CAAC,CAAC;gBACpB,IAAI,CAAC;oBACH,MAAM,YAAY,GAAG,MAAM,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBACnD,IAAI,YAAY,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,KAAK,IAAI,CAAC,IAAI;wBAAE,SAAS;oBAC7E,MAAM,qBAAqB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;oBAChD,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;oBACzB,QAAQ,GAAG,IAAI,CAAC;gBAClB,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,IAAI,KAAK,YAAY,oBAAoB;wBAAE,MAAM,KAAK,CAAC;oBACvD,+DAA+D;oBAC/D,sCAAsC;gBACxC,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,QAAQ;YAAE,SAAS;QAEvB,KAAK,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,gBAAgB,EAAE,CAAC;YACpD,MAAM,MAAM,GAAG,iEAAiE,mBAAmB,CAAC,WAAW,CAAC,EAAE,CAAC;YACnH,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;gBAClD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,KAAK;oBAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC7E,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAAkC,EAClC,OAAyB,EACzB,OAAgC;IAEhC,KAAK,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC1D,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YAAE,SAAS;QAChD,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC;QACpB,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;QACf,OAAO,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACzD,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAoB,EACpB,WAAmB,EACnB,OAAyB,EACzB,MAAc,EACd,SAA4B,EAC5B,WAAgC,EAChC,iBAAyB;IAEzB,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,2BAA2B,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAC7F,IAAI,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,iBAAiB,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,YAAY,GAA6C,EAAE,CAAC;IAClE,MAAM,OAAO,GAAG,SAAS;SACtB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC;SAC/B,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;SACrC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,MAAM;YAAE,SAAS;QAC3C,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QAC9D,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IAChC,CAAC;IACD,OAAO;QACL,IAAI;QACJ,UAAU,EAAE,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,UAAW,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU;QACrE,WAAW;QACX,WAAW,EAAE,UAAU;QACvB,YAAY;KACb,CAAC;AACJ,CAAC"}

package/dist/cli.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,sGAAsG;AA4tBtG,wBAAsB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAiFzD"}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,sGAAsG;AA+wBtG,wBAAsB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAiFzD"}

package/dist/cli.js

@@ -14,7 +14,7 @@ import { PlanningError, contractPathForSource, createDraftContract, loadReviewed
 import { ProviderError } from "./providers/provider.js";
 import { createOllamaProvider, createOpenAIProvider } from "./providers/providers.js";
 import { RunStore } from "./pipeline/run-store.js";
-import { applyUnit, discoverDirectUnits, generateConversionUnits, generateCode, renderReceipt, validateGeneratedUnit, } from "./agents/direct/index.js";
+import { applyUnit, discoverDirectUnits, generateConversionUnits, generateCode, generateRepairCode, renderReceipt, validateCandidateProject, validateGeneratedUnit, } from "./agents/direct/index.js";
 import { applyVerifiedRun, buildContextPreview, generateRun, resolveWorkspaceConfig, rollbackAppliedRun, validateStoredRun, } from "./agents/guided/index.js";
 const HELP = `human-to-code — reviewed, grounded, isolated human-to-code compiler agent
 
@@ -556,6 +556,56 @@ async function buildCommand(cli, rootInput) {
         output(cli.json ? { status: "FAILED", error: message } : `\nError: ${message}`, cli.json);
         return 5;
     }
+    // Staged project-aware validation: every accepted JS/TS unit joins an
+    // in-memory candidate overlay that is type-checked as one TypeScript
+    // program against the unchanged baseline before any file is written.
+    // Dependency-connected groups that introduce cross-file errors get one
+    // bounded repair request per whole-file unit, then fail closed together.
+    let repairRequests = 0;
+    try {
+        const onStagedProgress = interactive
+            ? (event) => {
+                if (event.kind === "project-validate") {
+                    spinner.label(`validating combined candidate project (${event.files} file(s), pass ${event.pass})`);
+                }
+                else if (event.kind === "repair") {
+                    spinner.label(`repairing ${describeUnit(event.unit)} (bounded repair ${event.attempt})`);
+                }
+                else if (event.kind === "reject") {
+                    spinner.note(`  ⊘ skipped ${describeUnit(event.unit)}: ${event.reason}`);
+                }
+            }
+            : undefined;
+        const staged = await validateCandidateProject(root, generated, {
+            maxRepairAttemptsPerUnit: 1,
+            contextCharBudget: effective.privacy.maxContextTokens * 4,
+            repair: (request) => generateRepairCode({
+                targetPath: request.targetPath,
+                inline: request.unit.kind === "inline",
+                instruction: request.unit.prompt,
+                currentCode: request.currentCode,
+                diagnostics: request.diagnostics,
+                relatedFiles: request.relatedFiles,
+            }, {
+                language,
+                provider: providerName,
+                model,
+                ...(baseUrl ? { baseUrl } : {}),
+                ...(apiKey ? { apiKey } : {}),
+            }),
+            ...(onStagedProgress ? { onProgress: onStagedProgress } : {}),
+        });
+        generated = staged.results;
+        repairRequests = staged.repairRequests;
+    }
+    catch (error) {
+        spinner.stop();
+        if (error instanceof ContextSecurityError)
+            throw error;
+        const message = error instanceof Error ? error.message : String(error);
+        output(cli.json ? { status: "FAILED", error: message } : `\nError: ${message}`, cli.json);
+        return 5;
+    }
     spinner.stop();
     // Apply bottom-to-top so replacing a later marker cannot invalidate an
     // earlier marker's range.
@@ -595,10 +645,11 @@ async function buildCommand(cli, rootInput) {
     }
     const seconds = Math.round((Date.now() - started) / 1000);
     if (cli.json) {
-        output({ status: written.length === 0 && skipped.length > 0 ? "FAILED" : "DONE", engine: "simple", written, skipped }, true);
+        output({ status: written.length === 0 && skipped.length > 0 ? "FAILED" : "DONE", engine: "simple", written, skipped, repairRequests }, true);
     }
     else {
-        output(`\nDone in ${seconds}s. ${written.length} written${skipped.length > 0 ? `, ${skipped.length} skipped` : ""}.`, false);
+        const repairs = repairRequests > 0 ? `, ${repairRequests} bounded repair request(s)` : "";
+        output(`\nDone in ${seconds}s. ${written.length} written${skipped.length > 0 ? `, ${skipped.length} skipped` : ""}${repairs}.`, false);
     }
     return written.length === 0 && skipped.length > 0 ? 5 : 0;
 }