@smthrs/std 0.0.0-stage → 1.0.0-rc.12

package/dist/esm/ApplyPatch.js

@@ -0,0 +1,346 @@
+/**
+ * apply_patch flow declaration and portable handler.
+ *
+ * A Codex CLI clone: the V4A patch grammar (`*** Begin Patch` /
+ * `*** Add File:` / `*** Update File:` / `*** Delete File:` /
+ * `*** End Patch`), the fuzzy context-matching applier, and Codex's error
+ * and summary text, expressed as a flow over the kernel filesystem.
+ *
+ * @since 1.0.0
+ */
+import * as Path from "@smthrs/kernel/Path";
+import * as Effect from "effect/Effect";
+import * as FileSystem from "effect/FileSystem";
+import * as Schema from "effect/Schema";
+import * as ApplyPatchText from "./internal/ApplyPatch.js";
+import { capability, envelope } from "./internal/Declaration.js";
+import * as Diagnostics from "./internal/Diagnostics.js";
+import * as FileMutation from "./internal/FileMutation.js";
+import * as FsFailure from "./internal/FsFailure.js";
+import * as Preserve from "./internal/Preserve.js";
+import * as StdError from "./StdError.js";
+/**
+ * Registry name for the apply_patch flow. Matches the Codex CLI tool name.
+ *
+ * @category identifiers
+ * @since 1.0.0
+ */
+export const name = "apply_patch";
+/**
+ * Model-facing description of the apply_patch flow. Matches the Codex CLI
+ * freeform tool description.
+ *
+ * @category descriptions
+ * @since 1.0.0
+ */
+export const description = "The `apply_patch` tool can be used to edit files. This is a FREEFORM tool, so do not wrap the patch in JSON.";
+/**
+ * Input schema for the apply_patch flow.
+ *
+ * Codex delivers the patch as freeform text; the JSON function fallback uses
+ * a single `input` field, which is the shape cloned here.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export const Input = Schema.Struct({
+    input: Schema.String.annotate({ description: "The entire contents of the apply_patch command" })
+});
+/**
+ * Output schema for the apply_patch flow.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export const Output = Schema.Struct({
+    output: Schema.String.annotate({
+        description: "Codex-style summary: 'Success. Updated the following files:' with A/M/D lines"
+    }),
+    added: Schema.Array(Schema.String).annotate({ description: "Paths of files created by the patch" }),
+    modified: Schema.Array(Schema.String).annotate({ description: "Paths of files updated by the patch" }),
+    deleted: Schema.Array(Schema.String).annotate({ description: "Paths of files deleted by the patch" })
+});
+/**
+ * Static conservative effect envelope for the apply_patch flow.
+ *
+ * @category effects
+ * @since 1.0.0
+ */
+export const effects = envelope({ tier: "compensable", mode: "hermetic", reads: ["/**"], writes: ["/**"] });
+/**
+ * Narrows the effect envelope for a decoded invocation.
+ *
+ * A patch names its files inside its own text rather than in a decoded field,
+ * and the parse that finds them is the same parse that can fail, so there is
+ * nothing here to narrow before the handler runs: the static envelope is the
+ * honest answer.
+ *
+ * @category effects
+ * @since 1.0.0
+ */
+export const effectsFor = (_input) => effects;
+/**
+ * Capabilities required by the apply_patch flow.
+ *
+ * @category capabilities
+ * @since 1.0.0
+ */
+export const capabilities = [capability("fs:read", "/**"), capability("fs:write", "/**")];
+/**
+ * Declaration-only apply_patch flow.
+ *
+ * @category flows
+ * @since 1.0.0
+ */
+export const flow = { name, description, input: Input, output: Output, capabilities, effects };
+/**
+ * What a call to this flow does, for a reader of a run.
+ *
+ * Display metadata only. `@smthrs/registry` `Descriptor.FlowActivity` is the
+ * governing vocabulary and `StandardFlows` binds this value onto the flow's
+ * descriptor, where the binding site checks it. `declarationDigest` excludes
+ * it, so declaring it cannot invalidate a call identity or a cached prompt.
+ *
+ * @category presentation
+ * @since 1.0.0-rc.0
+ */
+export const activity = "writes";
+/**
+ * How one recorded call to this flow reads: the verb for each settlement, the
+ * input field that is its subject, and the measured output fields a one-line
+ * summary may count.
+ *
+ * Display metadata only, governed by `@smthrs/registry`
+ * `Descriptor.CallPresentation` and checked where `StandardFlows` binds it.
+ *
+ * @category presentation
+ * @since 1.0.0-rc.0
+ */
+export const presentation = {
+    verb: { pending: "patching", success: "patched", failure: "failed to patch" },
+    subject: "patch",
+    result: "patch"
+};
+/**
+ * Every path a patch writes, in the order it names them, including a move's
+ * destination. The patch is read by the parser {@link run} uses, so a header
+ * `run` accepts is never missed.
+ *
+ * Returns `undefined` when `run` would refuse the patch. A caller asking
+ * permission for the call then asks for everything the flow declares.
+ *
+ * @category parsing
+ * @since 1.0.0-rc.1
+ */
+export const paths = (patch) => {
+    let parsed;
+    try {
+        parsed = ApplyPatchText.parsePatch(patch);
+    }
+    catch {
+        return undefined;
+    }
+    return [
+        ...new Set(parsed.hunks.flatMap((hunk) => hunk.kind === "update" && hunk.movePath !== undefined ? [hunk.path, hunk.movePath] : [hunk.path]))
+    ];
+};
+/**
+ * The one sentence a model sees for a failure this handler did not design.
+ * The raw failure goes to the log, never into the tool result.
+ */
+const unknownFailureSentence = "Something went wrong on our side. Not your fault.";
+const unknownFailure = (error, path) => Effect.logError("apply_patch failed unexpectedly", error).pipe(Effect.andThen(Effect.fail(new StdError.StdError(path === undefined
+    ? { code: "command_failed", message: unknownFailureSentence }
+    : { code: "command_failed", message: unknownFailureSentence, path }))));
+const encoder = new TextEncoder();
+const decoder = new TextDecoder("utf-8", { fatal: true });
+/**
+ * Parses and applies a V4A patch through the permission-aware kernel
+ * filesystem, preserving Codex error text.
+ *
+ * @category handlers
+ * @since 1.0.0
+ */
+export const run = Effect.fn("ApplyPatch.run")(function* (input) {
+    const fileSystem = yield* FileSystem.FileSystem;
+    const path = yield* Path.Path;
+    let parsed;
+    try {
+        parsed = ApplyPatchText.parsePatch(input.input);
+    }
+    catch (error) {
+        if (error instanceof ApplyPatchText.ParseError) {
+            return yield* Effect.fail(new StdError.StdError({ code: "invalid_input", message: error.message }));
+        }
+        return yield* unknownFailure(error);
+    }
+    // Every update hunk is derived from the file as it is on disk, so two
+    // sections naming one path both start from the same original and the second
+    // write erases the first — while the summary reports two modifications.
+    // The preflight cannot honestly validate the second section against a file
+    // the first has not written yet, so the patch is refused whole rather than
+    // applied by halves. A file needing several edits carries several `@@`
+    // chunks inside one section, which is the shape the parser already accepts.
+    // Resolve against the injected workspace, then follow existing filesystem
+    // aliases. For a new file, resolve its parent (which may be a symlink).
+    const identity = (value) => {
+        const resolved = path.resolve(value);
+        return fileSystem.realPath(resolved).pipe(Effect.catch((error) => error.reason._tag === "NotFound"
+            ? fileSystem.realPath(path.dirname(resolved)).pipe(Effect.map((parent) => path.resolve(parent, path.basename(resolved))), Effect.catch((parentError) => parentError.reason._tag === "NotFound"
+                ? Effect.succeed(resolved)
+                : Effect.fail(parentError)))
+            : Effect.fail(error)), Effect.mapError(FsFailure.denied(value, () => new StdError.StdError({
+            code: "command_failed",
+            message: `Failed to resolve patch path ${value}`,
+            path: value
+        }))));
+    };
+    const touched = new Set();
+    for (const hunk of parsed.hunks) {
+        const source = yield* identity(hunk.path);
+        const destination = hunk.kind === "update" && hunk.movePath !== undefined
+            ? yield* identity(hunk.movePath)
+            : undefined;
+        const claims = [[hunk.path, source]];
+        if (hunk.kind === "update" && hunk.movePath !== undefined && destination !== source) {
+            claims.push([hunk.movePath, destination]);
+        }
+        for (const [claimed, key] of claims) {
+            if (touched.has(key)) {
+                return yield* Effect.fail(new StdError.StdError({
+                    code: "invalid_input",
+                    message: `The patch names ${claimed} in more than one section; give one section per path`,
+                    path: claimed
+                }));
+            }
+            touched.add(key);
+        }
+    }
+    yield* FileMutation.validate(fileSystem, parsed.hunks.flatMap((hunk) => hunk.kind === "update" && hunk.movePath !== undefined ? [hunk.path, hunk.movePath] : [hunk.path]));
+    // Create only parents the patch already intends to create, before taking
+    // stable sibling locks for new destinations as well as existing sources.
+    for (const hunk of parsed.hunks) {
+        const destination = hunk.kind === "add" ? hunk.path : hunk.kind === "update" ? hunk.movePath : undefined;
+        if (destination !== undefined && !FileMutation.isVersioned(fileSystem)) {
+            yield* fileSystem.makeDirectory(path.dirname(destination), { recursive: true }).pipe(Effect.mapError(FsFailure.denied(destination, () => new StdError.StdError({
+                code: "command_failed",
+                message: `Failed to create parent directories for ${destination}`,
+                path: destination
+            }))));
+        }
+    }
+    return yield* Effect.scoped(Effect.gen(function* () {
+        const mutation = yield* FileMutation.acquire(fileSystem, parsed.hunks.flatMap((hunk) => hunk.kind === "update" && hunk.movePath !== undefined ? [hunk.path, hunk.movePath] : [hunk.path]), path);
+        const added = [];
+        const modified = [];
+        const deleted = [];
+        const prepared = new Map();
+        for (const hunk of parsed.hunks) {
+            if (hunk.kind !== "update")
+                continue;
+            const bytes = yield* mutation.read(hunk.path, fileSystem.readFile(hunk.path).pipe(Effect.mapError(FsFailure.reading(hunk.path, `Failed to read file to update ${hunk.path}`))));
+            if (bytes.includes(0)) {
+                return yield* Effect.fail(new StdError.StdError({
+                    code: "binary_file",
+                    message: `Cannot read binary file: ${hunk.path}`,
+                    path: hunk.path
+                }));
+            }
+            const original = yield* Effect.try({
+                try: () => decoder.decode(bytes),
+                catch: () => new StdError.StdError({
+                    code: "binary_file",
+                    message: `File is not valid UTF-8: ${hunk.path}`,
+                    path: hunk.path
+                })
+            });
+            let contents;
+            try {
+                contents = ApplyPatchText.deriveNewContents(original, hunk.path, hunk.chunks);
+            }
+            catch (error) {
+                if (error instanceof ApplyPatchText.ComputeReplacementsError) {
+                    return yield* Effect.fail(new StdError.StdError({ code: "no_match", message: error.message, path: hunk.path }));
+                }
+                return yield* unknownFailure(error, hunk.path);
+            }
+            prepared.set(hunk, contents);
+        }
+        // Prepare one complete provider request before touching any file. A move
+        // carries both its destination write and source removal in the same commit.
+        const changes = [];
+        const moves = new Set();
+        for (const hunk of parsed.hunks) {
+            if (hunk.kind === "delete") {
+                changes.push({ path: hunk.path, content: null });
+            }
+            else if (hunk.kind === "add") {
+                changes.push({ path: hunk.path, content: encoder.encode(hunk.contents) });
+            }
+            else {
+                changes.push({
+                    path: hunk.movePath ?? hunk.path,
+                    content: encoder.encode(prepared.get(hunk))
+                });
+                if (hunk.movePath !== undefined && (yield* identity(hunk.movePath)) !== (yield* identity(hunk.path))) {
+                    moves.add(hunk);
+                    changes.push({ path: hunk.path, content: null });
+                }
+            }
+        }
+        // A denial names itself, so the model does not retry a write the host refuses.
+        const mutationFailure = (code, message, offendingPath) => (error) => error.reason._tag === "PermissionDenied"
+            ? mutationError("permission_denied", `Permission denied: ${offendingPath}`, offendingPath)
+            : mutationError(code, message, offendingPath);
+        const mutationError = (code, message, offendingPath) => new StdError.StdError({
+            code,
+            message: `${message}; applied before failure: added=${JSON.stringify(added)}, modified=${JSON.stringify(modified)}, deleted=${JSON.stringify(deleted)}`,
+            path: offendingPath
+        });
+        yield* mutation.commit(changes, Effect.gen(function* () {
+            for (const hunk of parsed.hunks) {
+                switch (hunk.kind) {
+                    case "add": {
+                        yield* fileSystem.writeFile(hunk.path, encoder.encode(hunk.contents)).pipe(Effect.mapError(mutationFailure("command_failed", `Failed to write file ${hunk.path}`, hunk.path)));
+                        added.push(hunk.path);
+                        break;
+                    }
+                    case "delete": {
+                        yield* fileSystem.remove(hunk.path).pipe(Effect.mapError(mutationFailure("not_found", `Failed to delete file ${hunk.path}`, hunk.path)));
+                        deleted.push(hunk.path);
+                        break;
+                    }
+                    case "update": {
+                        const contents = prepared.get(hunk);
+                        const destination = hunk.movePath ?? hunk.path;
+                        yield* Preserve.writeFile(fileSystem, destination, encoder.encode(contents)).pipe(Effect.mapError((error) => error.reason.method === "chmod"
+                            ? mutationError("command_failed", `Could not preserve the mode of ${destination} before replacement by chmod`, destination)
+                            : mutationFailure("command_failed", `Failed to write file ${destination}`, destination)(error)));
+                        modified.push(destination);
+                        if (moves.has(hunk)) {
+                            yield* fileSystem.remove(hunk.path).pipe(Effect.mapError(mutationFailure("command_failed", `Failed to remove original ${hunk.path}`, hunk.path)));
+                        }
+                        break;
+                    }
+                }
+            }
+        }));
+        // Publish diagnostics only after the whole provider operation succeeds.
+        for (const change of changes) {
+            if (change.content === null)
+                yield* Diagnostics.close(path.resolve(change.path));
+            else
+                yield* Diagnostics.sync(path.resolve(change.path), decoder.decode(change.content));
+        }
+        const summary = {
+            added: parsed.hunks.filter((hunk) => hunk.kind === "add").map((hunk) => hunk.path),
+            deleted: parsed.hunks.filter((hunk) => hunk.kind === "delete").map((hunk) => hunk.path),
+            modified: parsed.hunks.filter((hunk) => hunk.kind === "update").map((hunk) => hunk.movePath ?? hunk.path)
+        };
+        return {
+            output: ApplyPatchText.printSummary(summary),
+            ...summary
+        };
+    }));
+});
+//# sourceMappingURL=ApplyPatch.js.map

package/dist/esm/ApplyPatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ApplyPatch.js","sourceRoot":"","sources":["../../src/ApplyPatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,IAAI,MAAM,qBAAqB,CAAA;AAC3C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAA;AAE/C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,cAAc,MAAM,0BAA0B,CAAA;AAC1D,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAA;AAChE,OAAO,KAAK,WAAW,MAAM,2BAA2B,CAAA;AACxD,OAAO,KAAK,YAAY,MAAM,4BAA4B,CAAA;AAC1D,OAAO,KAAK,SAAS,MAAM,yBAAyB,CAAA;AACpD,OAAO,KAAK,QAAQ,MAAM,wBAAwB,CAAA;AAClD,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,aAAa,CAAA;AAEjC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GACtB,8GAA8G,CAAA;AAEhH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,gDAAgD,EAAE,CAAC;CACjG,CAAC,CAAA;AAUF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC7B,WAAW,EAAE,+EAA+E;KAC7F,CAAC;IACF,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,qCAAqC,EAAE,CAAC;IACnG,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,qCAAqC,EAAE,CAAC;IACtG,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,qCAAqC,EAAE,CAAC;CACtG,CAAC,CAAA;AAUF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;AAE3G;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAyB,EAAE,EAAE,CAAC,OAAO,CAAA;AAEhE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAA;AAEzF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAW,CAAA;AAEvG;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAiB,CAAA;AAEzC;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,IAAI,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,iBAAiB,EAAE;IAC7E,OAAO,EAAE,OAAO;IAChB,MAAM,EAAE,OAAO;CACP,CAAA;AAEV;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAa,EAAqC,EAAE;IACxE,IAAI,MAAkC,CAAA;IACtC,IAAI,CAAC;QACH,MAAM,GAAG,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAC3C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO;QACL,GAAG,IAAI,GAAG,CACR,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC5B,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACjG,CACF;KACF,CAAA;AACH,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,sBAAsB,GAAG,mDAAmD,CAAA;AAElF,MAAM,cAAc,GAAG,CAAC,KAAc,EAAE,IAAa,EAA2C,EAAE,CAChG,MAAM,CAAC,QAAQ,CAAC,iCAAiC,EAAE,KAAK,CAAC,CAAC,IAAI,CAC5D,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CACxB,IAAI,QAAQ,CAAC,QAAQ,CACnB,IAAI,KAAK,SAAS;IAChB,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,sBAAsB,EAAE;IAC7D,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,sBAAsB,EAAE,IAAI,EAAE,CACtE,CACF,CAAC,CACH,CAAA;AAEH,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAA;AACjC,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;AAEzD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,EACtD,KAAwB;IAExB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAE7B,IAAI,MAAkC,CAAA;IACtC,IAAI,CAAC;QACH,MAAM,GAAG,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACjD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,cAAc,CAAC,UAAU,EAAE,CAAC;YAC/C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;QACrG,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,CAAA;IACrC,CAAC;IAED,sEAAsE;IACtE,4EAA4E;IAC5E,wEAAwE;IACxE,2EAA2E;IAC3E,2EAA2E;IAC3E,uEAAuE;IACvE,4EAA4E;IAC5E,0EAA0E;IAC1E,wEAAwE;IACxE,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAE,EAAE;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QACpC,OAAO,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CACvC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACrB,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU;YAC9B,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAChD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EACrE,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,EAAE,CAC3B,WAAW,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU;gBACpC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;gBAC1B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAC7B,CACF;YACD,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CACvB,EACD,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,CAC3C,IAAI,QAAQ,CAAC,QAAQ,CAAC;YACpB,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,gCAAgC,KAAK,EAAE;YAChD,IAAI,EAAE,KAAK;SACZ,CAAC,CAAC,CAAC,CACP,CAAA;IACH,CAAC,CAAA;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACzC,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;YACvE,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;YAChC,CAAC,CAAC,SAAS,CAAA;QACb,MAAM,MAAM,GAA4B,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;QAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,WAAW,KAAK,MAAM,EAAE,CAAC;YACpF,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAY,CAAC,CAAC,CAAA;QAC5C,CAAC;QACD,KAAK,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,QAAQ,CAAC,QAAQ,CAAC;oBACpB,IAAI,EAAE,eAAe;oBACrB,OAAO,EAAE,mBAAmB,OAAO,sDAAsD;oBACzF,IAAI,EAAE,OAAO;iBACd,CAAC,CACH,CAAA;YACH,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAClB,CAAC;IACH,CAAC;IAED,KAAK,CAAC,CAAC,YAAY,CAAC,QAAQ,CAC1B,UAAU,EACV,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC5B,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACjG,CACF,CAAA;IAED,yEAAyE;IACzE,yEAAyE;IACzE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAA;QACxG,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;YACvE,KAAK,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAClF,MAAM,CAAC,QAAQ,CACb,SAAS,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,EAAE,CACjC,IAAI,QAAQ,CAAC,QAAQ,CAAC;gBACpB,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,2CAA2C,WAAW,EAAE;gBACjE,IAAI,EAAE,WAAW;aAClB,CAAC,CAAC,CACN,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC9C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,OAAO,CAC1C,UAAU,EACV,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC5B,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACjG,EACD,IAAI,CACL,CAAA;QACD,MAAM,KAAK,GAAkB,EAAE,CAAA;QAC/B,MAAM,QAAQ,GAAkB,EAAE,CAAA;QAClC,MAAM,OAAO,GAAkB,EAAE,CAAA;QACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA+B,CAAA;QAEvD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAQ;YACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAChC,IAAI,CAAC,IAAI,EACT,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CACjC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,iCAAiC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAC5F,CACF,CAAA;YACD,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,QAAQ,CAAC,QAAQ,CAAC;oBACpB,IAAI,EAAE,aAAa;oBACnB,OAAO,EAAE,4BAA4B,IAAI,CAAC,IAAI,EAAE;oBAChD,IAAI,EAAE,IAAI,CAAC,IAAI;iBAChB,CAAC,CACH,CAAA;YACH,CAAC;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;gBACjC,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC;gBAChC,KAAK,EAAE,GAAG,EAAE,CACV,IAAI,QAAQ,CAAC,QAAQ,CAAC;oBACpB,IAAI,EAAE,aAAa;oBACnB,OAAO,EAAE,4BAA4B,IAAI,CAAC,IAAI,EAAE;oBAChD,IAAI,EAAE,IAAI,CAAC,IAAI;iBAChB,CAAC;aACL,CAAC,CAAA;YACF,IAAI,QAAgB,CAAA;YACpB,IAAI,CAAC;gBACH,QAAQ,GAAG,cAAc,CAAC,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;YAC/E,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,KAAK,YAAY,cAAc,CAAC,wBAAwB,EAAE,CAAC;oBAC7D,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CACrF,CAAA;gBACH,CAAC;gBACD,OAAO,KAAK,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;YAChD,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;QAC9B,CAAC;QAED,yEAAyE;QACzE,4EAA4E;QAC5E,MAAM,OAAO,GAA+B,EAAE,CAAA;QAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAA;QAC5C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC3B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;YAClD,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC/B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;YAC3E,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI;oBAChC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;iBAC5C,CAAC,CAAA;gBACF,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;oBACrG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;oBACf,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;gBAClD,CAAC;YACH,CAAC;QACH,CAAC;QAED,+EAA+E;QAC/E,MAAM,eAAe,GACnB,CAAC,IAAmB,EAAE,OAAe,EAAE,aAAqB,EAAE,EAAE,CAChE,CAAC,KAAkC,EAAqB,EAAE,CACxD,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;YACtC,CAAC,CAAC,aAAa,CAAC,mBAAmB,EAAE,sBAAsB,aAAa,EAAE,EAAE,aAAa,CAAC;YAC1F,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC,CAAA;QACnD,MAAM,aAAa,GAAG,CAAC,IAAmB,EAAE,OAAe,EAAE,aAAqB,EAAqB,EAAE,CACvG,IAAI,QAAQ,CAAC,QAAQ,CAAC;YACpB,IAAI;YACJ,OAAO,EAAE,GAAG,OAAO,mCAAmC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,cACzE,IAAI,CAAC,SAAS,CAAC,QAAQ,CACzB,aAAa,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE;YACtC,IAAI,EAAE,aAAa;SACpB,CAAC,CAAA;QAEJ,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CACpB,OAAO,EACP,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBAChC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;oBAClB,KAAK,KAAK,CAAC,CAAC,CAAC;wBACX,KAAK,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CACxE,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,gBAAgB,EAAE,wBAAwB,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CACnG,CAAA;wBACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;wBACrB,MAAK;oBACP,CAAC;oBACD,KAAK,QAAQ,CAAC,CAAC,CAAC;wBACd,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CACtC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,WAAW,EAAE,yBAAyB,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAC/F,CAAA;wBACD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;wBACvB,MAAK;oBACP,CAAC;oBACD,KAAK,QAAQ,CAAC,CAAC,CAAC;wBACd,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,CAAA;wBACpC,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAA;wBAC9C,KAAK,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAC/E,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,OAAO;4BAC7B,CAAC,CAAC,aAAa,CACb,gBAAgB,EAChB,kCAAkC,WAAW,8BAA8B,EAC3E,WAAW,CACZ;4BACD,CAAC,CAAC,eAAe,CAAC,gBAAgB,EAAE,wBAAwB,WAAW,EAAE,EAAE,WAAW,CAAC,CAAC,KAAK,CAAC,CACjG,CACF,CAAA;wBACD,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;wBAC1B,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;4BACpB,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CACtC,MAAM,CAAC,QAAQ,CACb,eAAe,CAAC,gBAAgB,EAAE,6BAA6B,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CACvF,CACF,CAAA;wBACH,CAAC;wBACD,MAAK;oBACP,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CACH,CAAA;QAED,wEAAwE;QACxE,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI;gBAAE,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;;gBAC3E,KAAK,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAA;QACzF,CAAC;QACD,MAAM,OAAO,GAAG;YACd,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YAClF,OAAO,EAAE,MAAM,CAAC,KAAK,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;YACvF,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC;SAC1G,CAAA;QAED,OAAO;YACL,MAAM,EAAE,cAAc,CAAC,YAAY,CAAC,OAAO,CAAC;YAC5C,GAAG,OAAO;SACX,CAAA;IACH,CAAC,CAAC,CAAC,CAAA;AACL,CAAC,CAAC,CAAA","sourcesContent":["/**\n * apply_patch flow declaration and portable handler.\n *\n * A Codex CLI clone: the V4A patch grammar (`*** Begin Patch` /\n * `*** Add File:` / `*** Update File:` / `*** Delete File:` /\n * `*** End Patch`), the fuzzy context-matching applier, and Codex's error\n * and summary text, expressed as a flow over the kernel filesystem.\n *\n * @since 1.0.0\n */\n\nimport * as Path from \"@smthrs/kernel/Path\"\nimport * as Effect from \"effect/Effect\"\nimport * as FileSystem from \"effect/FileSystem\"\nimport type * as PlatformError from \"effect/PlatformError\"\nimport * as Schema from \"effect/Schema\"\nimport * as ApplyPatchText from \"./internal/ApplyPatch.ts\"\nimport { capability, envelope } from \"./internal/Declaration.ts\"\nimport * as Diagnostics from \"./internal/Diagnostics.ts\"\nimport * as FileMutation from \"./internal/FileMutation.ts\"\nimport * as FsFailure from \"./internal/FsFailure.ts\"\nimport * as Preserve from \"./internal/Preserve.ts\"\nimport * as StdError from \"./StdError.ts\"\n\n/**\n * Registry name for the apply_patch flow. Matches the Codex CLI tool name.\n *\n * @category identifiers\n * @since 1.0.0\n */\nexport const name = \"apply_patch\"\n\n/**\n * Model-facing description of the apply_patch flow. Matches the Codex CLI\n * freeform tool description.\n *\n * @category descriptions\n * @since 1.0.0\n */\nexport const description =\n  \"The `apply_patch` tool can be used to edit files. This is a FREEFORM tool, so do not wrap the patch in JSON.\"\n\n/**\n * Input schema for the apply_patch flow.\n *\n * Codex delivers the patch as freeform text; the JSON function fallback uses\n * a single `input` field, which is the shape cloned here.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const Input = Schema.Struct({\n  input: Schema.String.annotate({ description: \"The entire contents of the apply_patch command\" })\n})\n\n/**\n * Decoded input accepted by the `apply_patch` flow.\n *\n * @category models\n * @since 1.0.0\n */\nexport type Input = typeof Input.Type\n\n/**\n * Output schema for the apply_patch flow.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const Output = Schema.Struct({\n  output: Schema.String.annotate({\n    description: \"Codex-style summary: 'Success. Updated the following files:' with A/M/D lines\"\n  }),\n  added: Schema.Array(Schema.String).annotate({ description: \"Paths of files created by the patch\" }),\n  modified: Schema.Array(Schema.String).annotate({ description: \"Paths of files updated by the patch\" }),\n  deleted: Schema.Array(Schema.String).annotate({ description: \"Paths of files deleted by the patch\" })\n})\n\n/**\n * Decoded output returned by the `apply_patch` flow.\n *\n * @category models\n * @since 1.0.0\n */\nexport type Output = typeof Output.Type\n\n/**\n * Static conservative effect envelope for the apply_patch flow.\n *\n * @category effects\n * @since 1.0.0\n */\nexport const effects = envelope({ tier: \"compensable\", mode: \"hermetic\", reads: [\"/**\"], writes: [\"/**\"] })\n\n/**\n * Narrows the effect envelope for a decoded invocation.\n *\n * A patch names its files inside its own text rather than in a decoded field,\n * and the parse that finds them is the same parse that can fail, so there is\n * nothing here to narrow before the handler runs: the static envelope is the\n * honest answer.\n *\n * @category effects\n * @since 1.0.0\n */\nexport const effectsFor = (_input: typeof Input.Type) => effects\n\n/**\n * Capabilities required by the apply_patch flow.\n *\n * @category capabilities\n * @since 1.0.0\n */\nexport const capabilities = [capability(\"fs:read\", \"/**\"), capability(\"fs:write\", \"/**\")]\n\n/**\n * Declaration-only apply_patch flow.\n *\n * @category flows\n * @since 1.0.0\n */\nexport const flow = { name, description, input: Input, output: Output, capabilities, effects } as const\n\n/**\n * What a call to this flow does, for a reader of a run.\n *\n * Display metadata only. `@smthrs/registry` `Descriptor.FlowActivity` is the\n * governing vocabulary and `StandardFlows` binds this value onto the flow's\n * descriptor, where the binding site checks it. `declarationDigest` excludes\n * it, so declaring it cannot invalidate a call identity or a cached prompt.\n *\n * @category presentation\n * @since 1.0.0-rc.0\n */\nexport const activity = \"writes\" as const\n\n/**\n * How one recorded call to this flow reads: the verb for each settlement, the\n * input field that is its subject, and the measured output fields a one-line\n * summary may count.\n *\n * Display metadata only, governed by `@smthrs/registry`\n * `Descriptor.CallPresentation` and checked where `StandardFlows` binds it.\n *\n * @category presentation\n * @since 1.0.0-rc.0\n */\nexport const presentation = {\n  verb: { pending: \"patching\", success: \"patched\", failure: \"failed to patch\" },\n  subject: \"patch\",\n  result: \"patch\"\n} as const\n\n/**\n * Every path a patch writes, in the order it names them, including a move's\n * destination. The patch is read by the parser {@link run} uses, so a header\n * `run` accepts is never missed.\n *\n * Returns `undefined` when `run` would refuse the patch. A caller asking\n * permission for the call then asks for everything the flow declares.\n *\n * @category parsing\n * @since 1.0.0-rc.1\n */\nexport const paths = (patch: string): ReadonlyArray<string> | undefined => {\n  let parsed: ApplyPatchText.ParsedPatch\n  try {\n    parsed = ApplyPatchText.parsePatch(patch)\n  } catch {\n    return undefined\n  }\n  return [\n    ...new Set(\n      parsed.hunks.flatMap((hunk) =>\n        hunk.kind === \"update\" && hunk.movePath !== undefined ? [hunk.path, hunk.movePath] : [hunk.path]\n      )\n    )\n  ]\n}\n\n/**\n * The one sentence a model sees for a failure this handler did not design.\n * The raw failure goes to the log, never into the tool result.\n */\nconst unknownFailureSentence = \"Something went wrong on our side. Not your fault.\"\n\nconst unknownFailure = (error: unknown, path?: string): Effect.Effect<never, StdError.StdError> =>\n  Effect.logError(\"apply_patch failed unexpectedly\", error).pipe(\n    Effect.andThen(Effect.fail(\n      new StdError.StdError(\n        path === undefined\n          ? { code: \"command_failed\", message: unknownFailureSentence }\n          : { code: \"command_failed\", message: unknownFailureSentence, path }\n      )\n    ))\n  )\n\nconst encoder = new TextEncoder()\nconst decoder = new TextDecoder(\"utf-8\", { fatal: true })\n\n/**\n * Parses and applies a V4A patch through the permission-aware kernel\n * filesystem, preserving Codex error text.\n *\n * @category handlers\n * @since 1.0.0\n */\nexport const run = Effect.fn(\"ApplyPatch.run\")(function*(\n  input: typeof Input.Type\n): Effect.fn.Return<typeof Output.Type, StdError.StdError, FileSystem.FileSystem | Path.Path> {\n  const fileSystem = yield* FileSystem.FileSystem\n  const path = yield* Path.Path\n\n  let parsed: ApplyPatchText.ParsedPatch\n  try {\n    parsed = ApplyPatchText.parsePatch(input.input)\n  } catch (error) {\n    if (error instanceof ApplyPatchText.ParseError) {\n      return yield* Effect.fail(new StdError.StdError({ code: \"invalid_input\", message: error.message }))\n    }\n    return yield* unknownFailure(error)\n  }\n\n  // Every update hunk is derived from the file as it is on disk, so two\n  // sections naming one path both start from the same original and the second\n  // write erases the first — while the summary reports two modifications.\n  // The preflight cannot honestly validate the second section against a file\n  // the first has not written yet, so the patch is refused whole rather than\n  // applied by halves. A file needing several edits carries several `@@`\n  // chunks inside one section, which is the shape the parser already accepts.\n  // Resolve against the injected workspace, then follow existing filesystem\n  // aliases. For a new file, resolve its parent (which may be a symlink).\n  const identity = (value: string) => {\n    const resolved = path.resolve(value)\n    return fileSystem.realPath(resolved).pipe(\n      Effect.catch((error) =>\n        error.reason._tag === \"NotFound\"\n          ? fileSystem.realPath(path.dirname(resolved)).pipe(\n            Effect.map((parent) => path.resolve(parent, path.basename(resolved))),\n            Effect.catch((parentError) =>\n              parentError.reason._tag === \"NotFound\"\n                ? Effect.succeed(resolved)\n                : Effect.fail(parentError)\n            )\n          )\n          : Effect.fail(error)\n      ),\n      Effect.mapError(FsFailure.denied(value, () =>\n        new StdError.StdError({\n          code: \"command_failed\",\n          message: `Failed to resolve patch path ${value}`,\n          path: value\n        })))\n    )\n  }\n  const touched = new Set<string>()\n  for (const hunk of parsed.hunks) {\n    const source = yield* identity(hunk.path)\n    const destination = hunk.kind === \"update\" && hunk.movePath !== undefined\n      ? yield* identity(hunk.movePath)\n      : undefined\n    const claims: Array<[string, string]> = [[hunk.path, source]]\n    if (hunk.kind === \"update\" && hunk.movePath !== undefined && destination !== source) {\n      claims.push([hunk.movePath, destination!])\n    }\n    for (const [claimed, key] of claims) {\n      if (touched.has(key)) {\n        return yield* Effect.fail(\n          new StdError.StdError({\n            code: \"invalid_input\",\n            message: `The patch names ${claimed} in more than one section; give one section per path`,\n            path: claimed\n          })\n        )\n      }\n      touched.add(key)\n    }\n  }\n\n  yield* FileMutation.validate(\n    fileSystem,\n    parsed.hunks.flatMap((hunk) =>\n      hunk.kind === \"update\" && hunk.movePath !== undefined ? [hunk.path, hunk.movePath] : [hunk.path]\n    )\n  )\n\n  // Create only parents the patch already intends to create, before taking\n  // stable sibling locks for new destinations as well as existing sources.\n  for (const hunk of parsed.hunks) {\n    const destination = hunk.kind === \"add\" ? hunk.path : hunk.kind === \"update\" ? hunk.movePath : undefined\n    if (destination !== undefined && !FileMutation.isVersioned(fileSystem)) {\n      yield* fileSystem.makeDirectory(path.dirname(destination), { recursive: true }).pipe(\n        Effect.mapError(\n          FsFailure.denied(destination, () =>\n            new StdError.StdError({\n              code: \"command_failed\",\n              message: `Failed to create parent directories for ${destination}`,\n              path: destination\n            }))\n        )\n      )\n    }\n  }\n  return yield* Effect.scoped(Effect.gen(function*() {\n    const mutation = yield* FileMutation.acquire(\n      fileSystem,\n      parsed.hunks.flatMap((hunk) =>\n        hunk.kind === \"update\" && hunk.movePath !== undefined ? [hunk.path, hunk.movePath] : [hunk.path]\n      ),\n      path\n    )\n    const added: Array<string> = []\n    const modified: Array<string> = []\n    const deleted: Array<string> = []\n    const prepared = new Map<ApplyPatchText.Hunk, string>()\n\n    for (const hunk of parsed.hunks) {\n      if (hunk.kind !== \"update\") continue\n      const bytes = yield* mutation.read(\n        hunk.path,\n        fileSystem.readFile(hunk.path).pipe(\n          Effect.mapError(FsFailure.reading(hunk.path, `Failed to read file to update ${hunk.path}`))\n        )\n      )\n      if (bytes.includes(0)) {\n        return yield* Effect.fail(\n          new StdError.StdError({\n            code: \"binary_file\",\n            message: `Cannot read binary file: ${hunk.path}`,\n            path: hunk.path\n          })\n        )\n      }\n      const original = yield* Effect.try({\n        try: () => decoder.decode(bytes),\n        catch: () =>\n          new StdError.StdError({\n            code: \"binary_file\",\n            message: `File is not valid UTF-8: ${hunk.path}`,\n            path: hunk.path\n          })\n      })\n      let contents: string\n      try {\n        contents = ApplyPatchText.deriveNewContents(original, hunk.path, hunk.chunks)\n      } catch (error) {\n        if (error instanceof ApplyPatchText.ComputeReplacementsError) {\n          return yield* Effect.fail(\n            new StdError.StdError({ code: \"no_match\", message: error.message, path: hunk.path })\n          )\n        }\n        return yield* unknownFailure(error, hunk.path)\n      }\n      prepared.set(hunk, contents)\n    }\n\n    // Prepare one complete provider request before touching any file. A move\n    // carries both its destination write and source removal in the same commit.\n    const changes: Array<FileMutation.Change> = []\n    const moves = new Set<ApplyPatchText.Hunk>()\n    for (const hunk of parsed.hunks) {\n      if (hunk.kind === \"delete\") {\n        changes.push({ path: hunk.path, content: null })\n      } else if (hunk.kind === \"add\") {\n        changes.push({ path: hunk.path, content: encoder.encode(hunk.contents) })\n      } else {\n        changes.push({\n          path: hunk.movePath ?? hunk.path,\n          content: encoder.encode(prepared.get(hunk))\n        })\n        if (hunk.movePath !== undefined && (yield* identity(hunk.movePath)) !== (yield* identity(hunk.path))) {\n          moves.add(hunk)\n          changes.push({ path: hunk.path, content: null })\n        }\n      }\n    }\n\n    // A denial names itself, so the model does not retry a write the host refuses.\n    const mutationFailure =\n      (code: StdError.Code, message: string, offendingPath: string) =>\n      (error: PlatformError.PlatformError): StdError.StdError =>\n        error.reason._tag === \"PermissionDenied\"\n          ? mutationError(\"permission_denied\", `Permission denied: ${offendingPath}`, offendingPath)\n          : mutationError(code, message, offendingPath)\n    const mutationError = (code: StdError.Code, message: string, offendingPath: string): StdError.StdError =>\n      new StdError.StdError({\n        code,\n        message: `${message}; applied before failure: added=${JSON.stringify(added)}, modified=${\n          JSON.stringify(modified)\n        }, deleted=${JSON.stringify(deleted)}`,\n        path: offendingPath\n      })\n\n    yield* mutation.commit(\n      changes,\n      Effect.gen(function*() {\n        for (const hunk of parsed.hunks) {\n          switch (hunk.kind) {\n            case \"add\": {\n              yield* fileSystem.writeFile(hunk.path, encoder.encode(hunk.contents)).pipe(\n                Effect.mapError(mutationFailure(\"command_failed\", `Failed to write file ${hunk.path}`, hunk.path))\n              )\n              added.push(hunk.path)\n              break\n            }\n            case \"delete\": {\n              yield* fileSystem.remove(hunk.path).pipe(\n                Effect.mapError(mutationFailure(\"not_found\", `Failed to delete file ${hunk.path}`, hunk.path))\n              )\n              deleted.push(hunk.path)\n              break\n            }\n            case \"update\": {\n              const contents = prepared.get(hunk)!\n              const destination = hunk.movePath ?? hunk.path\n              yield* Preserve.writeFile(fileSystem, destination, encoder.encode(contents)).pipe(\n                Effect.mapError((error) =>\n                  error.reason.method === \"chmod\"\n                    ? mutationError(\n                      \"command_failed\",\n                      `Could not preserve the mode of ${destination} before replacement by chmod`,\n                      destination\n                    )\n                    : mutationFailure(\"command_failed\", `Failed to write file ${destination}`, destination)(error)\n                )\n              )\n              modified.push(destination)\n              if (moves.has(hunk)) {\n                yield* fileSystem.remove(hunk.path).pipe(\n                  Effect.mapError(\n                    mutationFailure(\"command_failed\", `Failed to remove original ${hunk.path}`, hunk.path)\n                  )\n                )\n              }\n              break\n            }\n          }\n        }\n      })\n    )\n\n    // Publish diagnostics only after the whole provider operation succeeds.\n    for (const change of changes) {\n      if (change.content === null) yield* Diagnostics.close(path.resolve(change.path))\n      else yield* Diagnostics.sync(path.resolve(change.path), decoder.decode(change.content))\n    }\n    const summary = {\n      added: parsed.hunks.filter((hunk) => hunk.kind === \"add\").map((hunk) => hunk.path),\n      deleted: parsed.hunks.filter((hunk) => hunk.kind === \"delete\").map((hunk) => hunk.path),\n      modified: parsed.hunks.filter((hunk) => hunk.kind === \"update\").map((hunk) => hunk.movePath ?? hunk.path)\n    }\n\n    return {\n      output: ApplyPatchText.printSummary(summary),\n      ...summary\n    }\n  }))\n})\n"]}