ralphy-spec 0.1.0 → 0.2.0

package/dist/core/validators/parsers/tsc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tsc.d.ts","sourceRoot":"","sources":["../../../../src/core/validators/parsers/tsc.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAOtC,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,EAAE,CAyBtD"}

package/dist/core/validators/parsers/tsc.js

@@ -0,0 +1,32 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.parseTscOutput = parseTscOutput;
+// Example:
+// src/foo.ts(12,3): error TS2322: Type 'x' is not assignable...
+const tscLineRe = /^(?<file>[^:(]+)\((?<line>\d+),(?<col>\d+)\):\s+(?<level>error|warning)\s+TS\d+:\s+(?<msg>.*)$/;
+function parseTscOutput(output) {
+    const issues = [];
+    for (const line of output.split("\n")) {
+        const m = line.match(tscLineRe);
+        if (!m?.groups)
+            continue;
+        issues.push({
+            kind: "tsc",
+            level: m.groups.level === "warning" ? "warning" : "error",
+            message: m.groups.msg.trim(),
+            file: m.groups.file.trim(),
+            line: Number(m.groups.line),
+            raw: { line },
+        });
+    }
+    // If there is output but no matches, surface a generic issue.
+    if (!issues.length && output.trim()) {
+        issues.push({
+            kind: "tsc",
+            level: "error",
+            message: output.trim().slice(0, 4000),
+        });
+    }
+    return issues;
+}
+//# sourceMappingURL=tsc.js.map

package/dist/core/validators/parsers/tsc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tsc.js","sourceRoot":"","sources":["../../../../src/core/validators/parsers/tsc.ts"],"names":[],"mappings":";;AAOA,wCAyBC;AA9BD,WAAW;AACX,gEAAgE;AAChE,MAAM,SAAS,GACb,gGAAgG,CAAC;AAEnG,SAAgB,cAAc,CAAC,MAAc;IAC3C,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAChC,IAAI,CAAC,CAAC,EAAE,MAAM;YAAE,SAAS;QACzB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;YACzD,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;YAC5B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE;YAC1B,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YAC3B,GAAG,EAAE,EAAE,IAAI,EAAE;SACd,CAAC,CAAC;IACL,CAAC;IAED,8DAA8D;IAC9D,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QACpC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,OAAO;YACd,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC;SACtC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/core/validators/runner.d.ts

@@ -0,0 +1,8 @@
+import type { ValidateContext, ValidateResult, Validator } from "./types";
+export declare class ValidatorRunner {
+    private readonly ctx;
+    constructor(ctx: ValidateContext);
+    runAll(validators: Validator[]): Promise<Record<string, ValidateResult>>;
+    runOne(validator: Validator): Promise<ValidateResult>;
+}
+//# sourceMappingURL=runner.d.ts.map

package/dist/core/validators/runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../../src/core/validators/runner.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AA0B1E,qBAAa,eAAe;IACd,OAAO,CAAC,QAAQ,CAAC,GAAG;gBAAH,GAAG,EAAE,eAAe;IAE3C,MAAM,CAAC,UAAU,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAQxE,MAAM,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,cAAc,CAAC;CA6C5D"}

package/dist/core/validators/runner.js

@@ -0,0 +1,85 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ValidatorRunner = void 0;
+const execa_1 = require("execa");
+const tsc_1 = require("./parsers/tsc");
+const eslint_1 = require("./parsers/eslint");
+const jest_1 = require("./parsers/jest");
+function parseIssues(parser, combinedOutput) {
+    switch (parser) {
+        case "tsc":
+            return (0, tsc_1.parseTscOutput)(combinedOutput);
+        case "eslint":
+            return (0, eslint_1.parseEslintOutput)(combinedOutput);
+        case "jest":
+            return (0, jest_1.parseJestOutput)(combinedOutput);
+        default:
+            return combinedOutput.trim()
+                ? [
+                    {
+                        kind: "unknown",
+                        level: "error",
+                        message: combinedOutput.trim().slice(0, 4000),
+                    },
+                ]
+                : [];
+    }
+}
+class ValidatorRunner {
+    ctx;
+    constructor(ctx) {
+        this.ctx = ctx;
+    }
+    async runAll(validators) {
+        const results = {};
+        for (const v of validators) {
+            results[v.id] = await this.runOne(v);
+        }
+        return results;
+    }
+    async runOne(validator) {
+        const started = Date.now();
+        const timeoutMs = validator.timeoutMs ?? this.ctx.commandTimeoutMs;
+        try {
+            const res = await (0, execa_1.execa)(validator.run, {
+                cwd: this.ctx.cwd,
+                shell: true,
+                timeout: timeoutMs,
+                reject: false,
+                stdio: "pipe",
+            });
+            const stdout = res.stdout ?? "";
+            const stderr = res.stderr ?? "";
+            const combined = [stdout, stderr].filter(Boolean).join("\n");
+            const issues = parseIssues(validator.parser, combined);
+            return {
+                ok: res.exitCode === 0,
+                exitCode: res.exitCode ?? null,
+                durationMs: Date.now() - started,
+                issues,
+                stdout,
+                stderr,
+            };
+        }
+        catch (err) {
+            const msg = err?.message ? String(err.message) : String(err);
+            return {
+                ok: false,
+                exitCode: null,
+                durationMs: Date.now() - started,
+                issues: [
+                    {
+                        kind: "unknown",
+                        level: "error",
+                        message: msg,
+                        raw: err,
+                    },
+                ],
+                stdout: "",
+                stderr: "",
+            };
+        }
+    }
+}
+exports.ValidatorRunner = ValidatorRunner;
+//# sourceMappingURL=runner.js.map

package/dist/core/validators/runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../../../src/core/validators/runner.ts"],"names":[],"mappings":";;;AAAA,iCAA8B;AAE9B,uCAA+C;AAC/C,6CAAqD;AACrD,yCAAiD;AAEjD,SAAS,WAAW,CAAC,MAA2B,EAAE,cAAsB;IACtE,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,IAAA,oBAAc,EAAC,cAAc,CAAC,CAAC;QACxC,KAAK,QAAQ;YACX,OAAO,IAAA,0BAAiB,EAAC,cAAc,CAAC,CAAC;QAC3C,KAAK,MAAM;YACT,OAAO,IAAA,sBAAe,EAAC,cAAc,CAAC,CAAC;QACzC;YACE,OAAO,cAAc,CAAC,IAAI,EAAE;gBAC1B,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,SAAkB;wBACxB,KAAK,EAAE,OAAgB;wBACvB,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC;qBAC9C;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;IACX,CAAC;AACH,CAAC;AAED,MAAa,eAAe;IACG;IAA7B,YAA6B,GAAoB;QAApB,QAAG,GAAH,GAAG,CAAiB;IAAG,CAAC;IAErD,KAAK,CAAC,MAAM,CAAC,UAAuB;QAClC,MAAM,OAAO,GAAmC,EAAE,CAAC;QACnD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,SAAoB;QAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAG,SAAS,CAAC,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC;QAEnE,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,IAAA,aAAK,EAAC,SAAS,CAAC,GAAG,EAAE;gBACrC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG;gBACjB,KAAK,EAAE,IAAI;gBACX,OAAO,EAAE,SAAS;gBAClB,MAAM,EAAE,KAAK;gBACb,KAAK,EAAE,MAAM;aACd,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC;YAChC,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7D,MAAM,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAEvD,OAAO;gBACL,EAAE,EAAE,GAAG,CAAC,QAAQ,KAAK,CAAC;gBACtB,QAAQ,EAAE,GAAG,CAAC,QAAQ,IAAI,IAAI;gBAC9B,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO;gBAChC,MAAM;gBACN,MAAM;gBACN,MAAM;aACP,CAAC;QACJ,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,MAAM,GAAG,GAAG,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC7D,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,QAAQ,EAAE,IAAI;gBACd,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO;gBAChC,MAAM,EAAE;oBACN;wBACE,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,OAAO;wBACd,OAAO,EAAE,GAAG;wBACZ,GAAG,EAAE,GAAG;qBACT;iBACF;gBACD,MAAM,EAAE,EAAE;gBACV,MAAM,EAAE,EAAE;aACX,CAAC;QACJ,CAAC;IACH,CAAC;CACF;AAxDD,0CAwDC"}

package/dist/core/validators/signatures.d.ts

@@ -0,0 +1,3 @@
+import type { Issue } from "./types";
+export declare function issueSignature(i: Issue): string;
+//# sourceMappingURL=signatures.d.ts.map

package/dist/core/validators/signatures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"signatures.d.ts","sourceRoot":"","sources":["../../../src/core/validators/signatures.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAErC,wBAAgB,cAAc,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAK/C"}

package/dist/core/validators/signatures.js

@@ -0,0 +1,10 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.issueSignature = issueSignature;
+function issueSignature(i) {
+    const file = i.file ?? "";
+    const line = i.line ?? 0;
+    const msg = i.message.replace(/\s+/g, " ").trim();
+    return `${i.kind}|${file}|${line}|${msg}`;
+}
+//# sourceMappingURL=signatures.js.map

package/dist/core/validators/signatures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"signatures.js","sourceRoot":"","sources":["../../../src/core/validators/signatures.ts"],"names":[],"mappings":";;AAEA,wCAKC;AALD,SAAgB,cAAc,CAAC,CAAQ;IACrC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;IACzB,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAClD,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;AAC5C,CAAC"}

package/dist/core/validators/types.d.ts

@@ -0,0 +1,27 @@
+export type Issue = {
+    kind: "tsc" | "eslint" | "jest" | "contract_violation" | "unknown";
+    level: "error" | "warning";
+    message: string;
+    file?: string;
+    line?: number;
+    raw?: unknown;
+};
+export type ValidateContext = {
+    cwd: string;
+    commandTimeoutMs: number;
+};
+export type ValidateResult = {
+    ok: boolean;
+    exitCode: number | null;
+    durationMs: number;
+    issues: Issue[];
+    stdout: string;
+    stderr: string;
+};
+export type Validator = {
+    id: string;
+    run: string;
+    timeoutMs?: number;
+    parser?: "tsc" | "eslint" | "jest" | string;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/core/validators/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/validators/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,KAAK,GAAG;IAClB,IAAI,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,oBAAoB,GAAG,SAAS,CAAC;IACnE,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,OAAO,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,GAAG,EAAE,MAAM,CAAC;IACZ,gBAAgB,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAC;CAC7C,CAAC"}

package/dist/core/validators/types.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/core/validators/types.js.map

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

package/dist/core/workspace/contract-enforcer.d.ts

@@ -0,0 +1,54 @@
+import type { FileContract } from "../spec/types";
+import { type ContractViolation } from "../spec/file-contract";
+import type { Issue } from "../validators/types";
+export type EnforcementResult = {
+    violations: ContractViolation[];
+    revertedFiles: string[];
+    issues: Issue[];
+};
+/**
+ * ContractEnforcer handles automatic reversion of files that violate contracts.
+ *
+ * Unlike WorkspaceManager.enforceContract which reverts ALL changes on violation,
+ * this enforcer can selectively revert only the violating files.
+ */
+export declare class ContractEnforcer {
+    private readonly repoRoot;
+    constructor(repoRoot: string);
+    /**
+     * Check changed files against a contract and auto-revert violations.
+     *
+     * @param changedFiles - List of changed files with isNew flag
+     * @param contract - The file contract to enforce
+     * @param autoRevert - If true, automatically revert violating files
+     * @returns Enforcement result with violations, reverted files, and issues
+     */
+    enforce(args: {
+        changedFiles: Array<{
+            file: string;
+            isNew: boolean;
+        }>;
+        contract: FileContract;
+        autoRevert?: boolean;
+    }): Promise<EnforcementResult>;
+    /**
+     * Revert a single file to its last committed state.
+     */
+    private revertFile;
+    /**
+     * Get list of changed files in the working directory.
+     */
+    getChangedFiles(): Promise<Array<{
+        file: string;
+        isNew: boolean;
+    }>>;
+}
+/**
+ * Quick helper to enforce contract on current changes.
+ */
+export declare function enforceFileContract(args: {
+    repoRoot: string;
+    contract: FileContract;
+    autoRevert?: boolean;
+}): Promise<EnforcementResult>;
+//# sourceMappingURL=contract-enforcer.d.ts.map

package/dist/core/workspace/contract-enforcer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-enforcer.d.ts","sourceRoot":"","sources":["../../../src/core/workspace/contract-enforcer.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAwB,KAAK,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAEjD,MAAM,MAAM,iBAAiB,GAAG;IAC9B,UAAU,EAAE,iBAAiB,EAAE,CAAC;IAChC,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,MAAM,EAAE,KAAK,EAAE,CAAC;CACjB,CAAC;AAEF;;;;;GAKG;AACH,qBAAa,gBAAgB;IACf,OAAO,CAAC,QAAQ,CAAC,QAAQ;gBAAR,QAAQ,EAAE,MAAM;IAE7C;;;;;;;OAOG;IACG,OAAO,CAAC,IAAI,EAAE;QAClB,YAAY,EAAE,KAAK,CAAC;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,OAAO,CAAA;SAAE,CAAC,CAAC;QACtD,QAAQ,EAAE,YAAY,CAAC;QACvB,UAAU,CAAC,EAAE,OAAO,CAAC;KACtB,GAAG,OAAO,CAAC,iBAAiB,CAAC;IA+C9B;;OAEG;YACW,UAAU;IAiBxB;;OAEG;IACG,eAAe,IAAI,OAAO,CAAC,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;CA6B1E;AAED;;GAEG;AACH,wBAAsB,mBAAmB,CAAC,IAAI,EAAE;IAC9C,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,YAAY,CAAC;IACvB,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAQ7B"}

package/dist/core/workspace/contract-enforcer.js

@@ -0,0 +1,128 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ContractEnforcer = void 0;
+exports.enforceFileContract = enforceFileContract;
+const execa_1 = require("execa");
+const file_contract_1 = require("../spec/file-contract");
+/**
+ * ContractEnforcer handles automatic reversion of files that violate contracts.
+ *
+ * Unlike WorkspaceManager.enforceContract which reverts ALL changes on violation,
+ * this enforcer can selectively revert only the violating files.
+ */
+class ContractEnforcer {
+    repoRoot;
+    constructor(repoRoot) {
+        this.repoRoot = repoRoot;
+    }
+    /**
+     * Check changed files against a contract and auto-revert violations.
+     *
+     * @param changedFiles - List of changed files with isNew flag
+     * @param contract - The file contract to enforce
+     * @param autoRevert - If true, automatically revert violating files
+     * @returns Enforcement result with violations, reverted files, and issues
+     */
+    async enforce(args) {
+        const { changedFiles, contract, autoRevert = true } = args;
+        const violations = (0, file_contract_1.evaluateFileContract)({ changedFiles, contract });
+        if (violations.length === 0) {
+            return { violations: [], revertedFiles: [], issues: [] };
+        }
+        const revertedFiles = [];
+        const issues = [];
+        if (autoRevert) {
+            for (const v of violations) {
+                try {
+                    await this.revertFile(v.file, changedFiles.find((f) => f.file === v.file)?.isNew ?? false);
+                    revertedFiles.push(v.file);
+                }
+                catch (err) {
+                    // If revert fails, create an issue instead
+                    issues.push({
+                        kind: "contract_violation",
+                        level: "error",
+                        message: `Failed to auto-revert ${v.file}: ${err?.message ?? String(err)}`,
+                        file: v.file,
+                        raw: { violation: v, error: err?.message },
+                    });
+                }
+            }
+        }
+        // Create issues for all violations
+        for (const v of violations) {
+            const wasReverted = revertedFiles.includes(v.file);
+            issues.push({
+                kind: "contract_violation",
+                level: wasReverted ? "warning" : "error",
+                message: wasReverted
+                    ? `File contract violation (auto-reverted): ${v.reason} - ${v.file}`
+                    : `File contract violation: ${v.reason} - ${v.file}`,
+                file: v.file,
+                raw: { violation: v, reverted: wasReverted },
+            });
+        }
+        return { violations, revertedFiles, issues };
+    }
+    /**
+     * Revert a single file to its last committed state.
+     */
+    async revertFile(file, isNew) {
+        if (isNew) {
+            // For new files, remove them
+            await (0, execa_1.execa)("git", ["rm", "-f", file], {
+                cwd: this.repoRoot,
+                stdio: "pipe",
+                reject: false,
+            });
+        }
+        else {
+            // For modified files, checkout from HEAD
+            await (0, execa_1.execa)("git", ["checkout", "HEAD", "--", file], {
+                cwd: this.repoRoot,
+                stdio: "pipe",
+            });
+        }
+    }
+    /**
+     * Get list of changed files in the working directory.
+     */
+    async getChangedFiles() {
+        // Get staged + unstaged changes
+        const res = await (0, execa_1.execa)("git", ["status", "--porcelain"], {
+            cwd: this.repoRoot,
+            stdio: "pipe",
+        });
+        const lines = res.stdout
+            .split("\n")
+            .map((l) => l.trim())
+            .filter(Boolean);
+        const changed = [];
+        for (const line of lines) {
+            // Format: XY filename or XY -> filename (for renames)
+            const status = line.substring(0, 2);
+            let file = line.substring(3);
+            // Handle renames: "R  old -> new"
+            if (file.includes(" -> ")) {
+                file = file.split(" -> ")[1] ?? file;
+            }
+            const isNew = status.includes("A") || status.includes("?");
+            changed.push({ file, isNew });
+        }
+        return changed;
+    }
+}
+exports.ContractEnforcer = ContractEnforcer;
+/**
+ * Quick helper to enforce contract on current changes.
+ */
+async function enforceFileContract(args) {
+    const enforcer = new ContractEnforcer(args.repoRoot);
+    const changedFiles = await enforcer.getChangedFiles();
+    return enforcer.enforce({
+        changedFiles,
+        contract: args.contract,
+        autoRevert: args.autoRevert,
+    });
+}
+//# sourceMappingURL=contract-enforcer.js.map

package/dist/core/workspace/contract-enforcer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-enforcer.js","sourceRoot":"","sources":["../../../src/core/workspace/contract-enforcer.ts"],"names":[],"mappings":";;;AAwIA,kDAYC;AApJD,iCAA8B;AAE9B,yDAAqF;AASrF;;;;;GAKG;AACH,MAAa,gBAAgB;IACE;IAA7B,YAA6B,QAAgB;QAAhB,aAAQ,GAAR,QAAQ,CAAQ;IAAG,CAAC;IAEjD;;;;;;;OAOG;IACH,KAAK,CAAC,OAAO,CAAC,IAIb;QACC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;QAE3D,MAAM,UAAU,GAAG,IAAA,oCAAoB,EAAC,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC;QAEpE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QAC3D,CAAC;QAED,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,MAAM,MAAM,GAAY,EAAE,CAAC;QAE3B,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;gBAC3B,IAAI,CAAC;oBACH,MAAM,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,KAAK,CAAC,CAAC;oBAC3F,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC7B,CAAC;gBAAC,OAAO,GAAQ,EAAE,CAAC;oBAClB,2CAA2C;oBAC3C,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,oBAAoB;wBAC1B,KAAK,EAAE,OAAO;wBACd,OAAO,EAAE,yBAAyB,CAAC,CAAC,IAAI,KAAK,GAAG,EAAE,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE;wBAC1E,IAAI,EAAE,CAAC,CAAC,IAAI;wBACZ,GAAG,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;qBAC3C,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,mCAAmC;QACnC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,WAAW,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,oBAAoB;gBAC1B,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;gBACxC,OAAO,EAAE,WAAW;oBAClB,CAAC,CAAC,4CAA4C,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,IAAI,EAAE;oBACpE,CAAC,CAAC,4BAA4B,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,IAAI,EAAE;gBACtD,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,GAAG,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE;aAC7C,CAAC,CAAC;QACL,CAAC;QAED,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;IAC/C,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,UAAU,CAAC,IAAY,EAAE,KAAc;QACnD,IAAI,KAAK,EAAE,CAAC;YACV,6BAA6B;YAC7B,MAAM,IAAA,aAAK,EAAC,KAAK,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE;gBACrC,GAAG,EAAE,IAAI,CAAC,QAAQ;gBAClB,KAAK,EAAE,MAAM;gBACb,MAAM,EAAE,KAAK;aACd,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,yCAAyC;YACzC,MAAM,IAAA,aAAK,EAAC,KAAK,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE;gBACnD,GAAG,EAAE,IAAI,CAAC,QAAQ;gBAClB,KAAK,EAAE,MAAM;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,eAAe;QACnB,gCAAgC;QAChC,MAAM,GAAG,GAAG,MAAM,IAAA,aAAK,EAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE;YACxD,GAAG,EAAE,IAAI,CAAC,QAAQ;YAClB,KAAK,EAAE,MAAM;SACd,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM;aACrB,KAAK,CAAC,IAAI,CAAC;aACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;aACpB,MAAM,CAAC,OAAO,CAAC,CAAC;QAEnB,MAAM,OAAO,GAA4C,EAAE,CAAC;QAC5D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,sDAAsD;YACtD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACpC,IAAI,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAE7B,kCAAkC;YAClC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1B,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;YACvC,CAAC;YAED,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC3D,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAChC,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAlHD,4CAkHC;AAED;;GAEG;AACI,KAAK,UAAU,mBAAmB,CAAC,IAIzC;IACC,MAAM,QAAQ,GAAG,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrD,MAAM,YAAY,GAAG,MAAM,QAAQ,CAAC,eAAe,EAAE,CAAC;IACtD,OAAO,QAAQ,CAAC,OAAO,CAAC;QACtB,YAAY;QACZ,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,UAAU,EAAE,IAAI,CAAC,UAAU;KAC5B,CAAC,CAAC;AACL,CAAC"}

package/dist/core/workspace/manager.d.ts

@@ -0,0 +1,28 @@
+import type { FileContract } from "../spec/types";
+export type WorkspaceMode = "worktree" | "patch";
+export type WorkspaceContext = {
+    taskId: string;
+    workingDir: string;
+};
+export type CheckpointRef = {
+    ref: string;
+};
+export type ContractViolation = {
+    file: string;
+    reason: "forbidden" | "not_allowed" | "new_file_disallowed";
+};
+export interface WorkspaceManager {
+    mode: WorkspaceMode;
+    prepare(taskId: string): Promise<WorkspaceContext>;
+    getWorkingDir(taskId: string): string;
+    getChangedFiles(taskId: string): Promise<Array<{
+        file: string;
+        isNew: boolean;
+    }>>;
+    enforceContract(taskId: string, contract: FileContract): Promise<ContractViolation[]>;
+    checkpoint(taskId: string, message: string): Promise<CheckpointRef>;
+    merge(taskId: string): Promise<void>;
+    revert(taskId: string): Promise<void>;
+    cleanup(taskId: string): Promise<void>;
+}
+//# sourceMappingURL=manager.d.ts.map

package/dist/core/workspace/manager.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manager.d.ts","sourceRoot":"","sources":["../../../src/core/workspace/manager.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAElD,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,OAAO,CAAC;AAEjD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,GAAG,EAAE,MAAM,CAAC;CACb,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,WAAW,GAAG,aAAa,GAAG,qBAAqB,CAAC;CAC7D,CAAC;AAEF,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,aAAa,CAAC;IAEpB,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAEnD,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IAEtC,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC,CAAC;IAElF,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,GAAG,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC;IAEtF,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAEpE,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAErC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEtC,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACxC"}

package/dist/core/workspace/manager.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=manager.js.map

package/dist/core/workspace/manager.js.map

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

package/dist/core/workspace/merge.d.ts

@@ -0,0 +1,38 @@
+export type MergeStrategy = "squash" | "merge" | "rebase";
+export type MergeOptions = {
+    repoRoot: string;
+    sourceBranch: string;
+    targetBranch?: string;
+    strategy: MergeStrategy;
+    message?: string;
+};
+export type MergeResult = {
+    ok: boolean;
+    commitRef?: string;
+    error?: string;
+};
+/**
+ * Merge a source branch into the current (or target) branch.
+ *
+ * Strategies:
+ * - squash: Combines all commits into one (cleanest history)
+ * - merge: Standard merge commit
+ * - rebase: Rebase source onto target
+ */
+export declare function mergeBranch(opts: MergeOptions): Promise<MergeResult>;
+/**
+ * Apply a patch file to the current working directory.
+ */
+export declare function applyPatch(opts: {
+    repoRoot: string;
+    patchContent: string;
+}): Promise<MergeResult>;
+/**
+ * Generate a patch from changes between two refs.
+ */
+export declare function generatePatch(opts: {
+    repoRoot: string;
+    fromRef: string;
+    toRef?: string;
+}): Promise<string>;
+//# sourceMappingURL=merge.d.ts.map

package/dist/core/workspace/merge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.d.ts","sourceRoot":"","sources":["../../../src/core/workspace/merge.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,OAAO,GAAG,QAAQ,CAAC;AAE1D,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,aAAa,CAAC;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,EAAE,EAAE,OAAO,CAAC;IACZ,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF;;;;;;;GAOG;AACH,wBAAsB,WAAW,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC,WAAW,CAAC,CAuC1E;AAED;;GAEG;AACH,wBAAsB,UAAU,CAAC,IAAI,EAAE;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;CACtB,GAAG,OAAO,CAAC,WAAW,CAAC,CAiBvB;AAED;;GAEG;AACH,wBAAsB,aAAa,CAAC,IAAI,EAAE;IACxC,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,GAAG,OAAO,CAAC,MAAM,CAAC,CAWlB"}

package/dist/core/workspace/merge.js

@@ -0,0 +1,92 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.mergeBranch = mergeBranch;
+exports.applyPatch = applyPatch;
+exports.generatePatch = generatePatch;
+const execa_1 = require("execa");
+/**
+ * Merge a source branch into the current (or target) branch.
+ *
+ * Strategies:
+ * - squash: Combines all commits into one (cleanest history)
+ * - merge: Standard merge commit
+ * - rebase: Rebase source onto target
+ */
+async function mergeBranch(opts) {
+    const { repoRoot, sourceBranch, targetBranch, strategy, message } = opts;
+    try {
+        // If target branch specified, checkout to it first
+        if (targetBranch) {
+            await git(["checkout", targetBranch], repoRoot);
+        }
+        switch (strategy) {
+            case "squash": {
+                await git(["merge", "--squash", sourceBranch], repoRoot);
+                const commitMsg = message ?? `Squash merge ${sourceBranch}`;
+                await git(["commit", "-m", commitMsg], repoRoot);
+                break;
+            }
+            case "merge": {
+                const commitMsg = message ?? `Merge branch '${sourceBranch}'`;
+                await git(["merge", sourceBranch, "-m", commitMsg], repoRoot);
+                break;
+            }
+            case "rebase": {
+                await git(["rebase", sourceBranch], repoRoot);
+                break;
+            }
+        }
+        const commitRef = await git(["rev-parse", "HEAD"], repoRoot);
+        return { ok: true, commitRef };
+    }
+    catch (err) {
+        return {
+            ok: false,
+            error: err?.message ?? String(err),
+        };
+    }
+}
+/**
+ * Apply a patch file to the current working directory.
+ */
+async function applyPatch(opts) {
+    try {
+        const res = await (0, execa_1.execa)("git", ["apply", "--3way", "-"], {
+            cwd: opts.repoRoot,
+            input: opts.patchContent,
+            stdio: ["pipe", "pipe", "pipe"],
+            reject: false,
+        });
+        if (res.exitCode !== 0) {
+            return { ok: false, error: res.stderr || "Patch apply failed" };
+        }
+        return { ok: true };
+    }
+    catch (err) {
+        return { ok: false, error: err?.message ?? String(err) };
+    }
+}
+/**
+ * Generate a patch from changes between two refs.
+ */
+async function generatePatch(opts) {
+    const { repoRoot, fromRef, toRef } = opts;
+    const args = toRef ? ["diff", fromRef, toRef] : ["diff", fromRef];
+    const res = await (0, execa_1.execa)("git", args, {
+        cwd: repoRoot,
+        stdio: "pipe",
+    });
+    return res.stdout;
+}
+async function git(args, cwd) {
+    const res = await (0, execa_1.execa)("git", args, {
+        cwd,
+        stdio: "pipe",
+        reject: false,
+    });
+    if (res.exitCode !== 0) {
+        throw new Error(`git ${args.join(" ")} failed: ${res.stderr || res.stdout}`);
+    }
+    return res.stdout.trim();
+}
+//# sourceMappingURL=merge.js.map

package/dist/core/workspace/merge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.js","sourceRoot":"","sources":["../../../src/core/workspace/merge.ts"],"names":[],"mappings":";;AA0BA,kCAuCC;AAKD,gCAoBC;AAKD,sCAeC;AA9GD,iCAA8B;AAkB9B;;;;;;;GAOG;AACI,KAAK,UAAU,WAAW,CAAC,IAAkB;IAClD,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IAEzE,IAAI,CAAC;QACH,mDAAmD;QACnD,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,GAAG,CAAC,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,QAAQ,CAAC,CAAC;QAClD,CAAC;QAED,QAAQ,QAAQ,EAAE,CAAC;YACjB,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,GAAG,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,YAAY,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAEzD,MAAM,SAAS,GAAG,OAAO,IAAI,gBAAgB,YAAY,EAAE,CAAC;gBAC5D,MAAM,GAAG,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC;gBACjD,MAAM;YACR,CAAC;YAED,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,SAAS,GAAG,OAAO,IAAI,iBAAiB,YAAY,GAAG,CAAC;gBAC9D,MAAM,GAAG,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAC9D,MAAM;YACR,CAAC;YAED,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,GAAG,CAAC,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAC9C,MAAM;YACR,CAAC;QACH,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC;QAE7D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACjC,CAAC;IAAC,OAAO,GAAQ,EAAE,CAAC;QAClB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,GAAG,EAAE,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC;SACnC,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,UAAU,CAAC,IAGhC;IACC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,IAAA,aAAK,EAAC,KAAK,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE;YACvD,GAAG,EAAE,IAAI,CAAC,QAAQ;YAClB,KAAK,EAAE,IAAI,CAAC,YAAY;YACxB,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;YAC/B,MAAM,EAAE,KAAK;SACd,CAAC,CAAC;QAEH,IAAI,GAAG,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,IAAI,oBAAoB,EAAE,CAAC;QAClE,CAAC;QAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IACtB,CAAC;IAAC,OAAO,GAAQ,EAAE,CAAC;QAClB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;IAC3D,CAAC;AACH,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,aAAa,CAAC,IAInC;IACC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;IAE1C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAElE,MAAM,GAAG,GAAG,MAAM,IAAA,aAAK,EAAC,KAAK,EAAE,IAAI,EAAE;QACnC,GAAG,EAAE,QAAQ;QACb,KAAK,EAAE,MAAM;KACd,CAAC,CAAC;IAEH,OAAO,GAAG,CAAC,MAAM,CAAC;AACpB,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,IAAc,EAAE,GAAW;IAC5C,MAAM,GAAG,GAAG,MAAM,IAAA,aAAK,EAAC,KAAK,EAAE,IAAI,EAAE;QACnC,GAAG;QACH,KAAK,EAAE,MAAM;QACb,MAAM,EAAE,KAAK;KACd,CAAC,CAAC;IAEH,IAAI,GAAG,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/E,CAAC;IAED,OAAO,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;AAC3B,CAAC"}

package/dist/core/workspace/patch-mode.d.ts

@@ -0,0 +1,22 @@
+import type { FileContract } from "../spec/types";
+import type { CheckpointRef, ContractViolation, WorkspaceContext, WorkspaceManager } from "./manager";
+export declare class PatchModeWorkspace implements WorkspaceManager {
+    private readonly repoRoot;
+    mode: "patch";
+    private readonly stateByTask;
+    constructor(repoRoot: string);
+    prepare(taskId: string): Promise<WorkspaceContext>;
+    getWorkingDir(_taskId: string): string;
+    getChangedFiles(_taskId: string): Promise<Array<{
+        file: string;
+        isNew: boolean;
+    }>>;
+    enforceContract(taskId: string, contract: FileContract): Promise<ContractViolation[]>;
+    checkpoint(taskId: string, message: string): Promise<CheckpointRef>;
+    merge(_taskId: string): Promise<void>;
+    revert(taskId: string): Promise<void>;
+    cleanup(_taskId: string): Promise<void>;
+    private git;
+}
+export declare function getPatchWorkspaceRoot(repoRoot: string): string;
+//# sourceMappingURL=patch-mode.d.ts.map

package/dist/core/workspace/patch-mode.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"patch-mode.d.ts","sourceRoot":"","sources":["../../../src/core/workspace/patch-mode.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAElD,OAAO,KAAK,EACV,aAAa,EACb,iBAAiB,EACjB,gBAAgB,EAChB,gBAAgB,EACjB,MAAM,WAAW,CAAC;AAMnB,qBAAa,kBAAmB,YAAW,gBAAgB;IAI7C,OAAO,CAAC,QAAQ,CAAC,QAAQ;IAHrC,IAAI,EAAE,OAAO,CAAW;IACxB,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAqC;gBAEpC,QAAQ,EAAE,MAAM;IAEvC,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAMxD,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM;IAIhC,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAmBlF,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,GAAG,OAAO,CAAC,iBAAiB,EAAE,CAAC;IASrF,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC;IAanE,KAAK,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAIrC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IASrC,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;YAI/B,GAAG;CAOlB;AAED,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAE9D"}