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

package/dist/esm/Edit.js

@@ -0,0 +1,296 @@
+/**
+ * Edit flow declaration and portable handler.
+ *
+ * Three rules, each of them paid for by a measured failure:
+ *
+ * 1. **Exact or loud.** The anchor matches the file's bytes or the call fails
+ *    with the file's actual bytes at the nearest region. No fuzzy apply reports
+ *    success (sympy-15380 corrupted a file that way), and no failure returns a
+ *    bare `null` (sphinx-7590 abandoned a correct edit twice against one).
+ * 2. **Anchors by reference.** A prior `grep` or `read` already located the
+ *    region; `startLine`/`endLine` re-use that hit instead of retyping the text,
+ *    and `expect` turns the retyped copy into a checked assertion rather than a
+ *    search key.
+ * 3. **The hunk comes back.** The result carries the applied region as raw text
+ *    with its line range, so a mis-indented edit costs one glance instead of an
+ *    investigation (sphinx-7233 lost its verdict to a hunk nobody could see).
+ *    With a `LanguageServer` bound, the file's errors after the edit come back
+ *    too.
+ *
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as FileSystem from "effect/FileSystem";
+import * as Schema from "effect/Schema";
+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 Match from "./internal/Match.js";
+import * as Preserve from "./internal/Preserve.js";
+import { sourceLines } from "./internal/Text.js";
+import * as StdError from "./StdError.js";
+/**
+ * Registry name for the edit flow.
+ *
+ * @category identifiers
+ * @since 1.0.0
+ */
+export const name = "edit";
+/**
+ * Model-facing description of the edit flow.
+ *
+ * @category descriptions
+ * @since 1.0.0
+ */
+export const description = "Edit a file by exact text (oldString, unique unless replaceAll) or by an earlier hit's line range (startLine/endLine, optional expect). A miss returns the file's real text; a hit returns the hunk.";
+/**
+ * Input schema for the edit flow.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export const Input = Schema.Struct({
+    path: Schema.String.annotate({ description: "Path of the file to edit" }),
+    oldString: Schema.optional(Schema.String).annotate({
+        description: "Exact text to replace, byte for byte, including surrounding context"
+    }),
+    startLine: Schema.optional(Schema.Int.check(Schema.isGreaterThanOrEqualTo(1))).annotate({
+        description: "First 1-based line to replace, from a prior read or grep hit; pair with endLine"
+    }),
+    endLine: Schema.optional(Schema.Int.check(Schema.isGreaterThanOrEqualTo(1))).annotate({
+        description: "Last 1-based line to replace, inclusive"
+    }),
+    expect: Schema.optional(Schema.String).annotate({
+        description: "What those lines currently hold; the edit fails loudly if they hold anything else"
+    }),
+    newString: Schema.String.annotate({ description: "Replacement text" }),
+    replaceAll: Schema.optional(Schema.Boolean).annotate({ description: "Replace every occurrence instead of one" })
+});
+/**
+ * Output schema for the edit flow.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export const Output = Schema.Struct({
+    path: Schema.String.annotate({ description: "Path that was edited" }),
+    replacements: Schema.Number.annotate({ description: "Number of occurrences replaced" }),
+    startLine: Schema.Number.annotate({ description: "First 1-based line of the returned hunk" }),
+    endLine: Schema.Number.annotate({ description: "Last 1-based line of the returned hunk" }),
+    hunk: Schema.String.annotate({
+        description: "The edited region as it now stands, raw and with its exact indentation, plus two lines of context"
+    }),
+    errors: Schema.optional(Schema.Array(Diagnostics.Problem)).annotate({
+        description: "Errors the language server reports in the file after the edit; absent when no server answered"
+    })
+});
+/**
+ * Static conservative effect envelope for the edit flow.
+ *
+ * @category effects
+ * @since 1.0.0
+ */
+export const effects = envelope({ tier: "compensable", mode: "hermetic", reads: ["/**"], writes: ["/**"] });
+/**
+ * Narrows the edit effect envelope to one input path.
+ *
+ * @category effects
+ * @since 1.0.0
+ */
+export const effectsFor = (input) => envelope({ tier: "compensable", mode: "hermetic", reads: [input.path], writes: [input.path] });
+/**
+ * Capabilities required by the edit flow.
+ *
+ * @category capabilities
+ * @since 1.0.0
+ */
+export const capabilities = [capability("fs:read", "/**"), capability("fs:write", "/**")];
+/**
+ * Declaration-only edit 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: "editing", success: "edited", failure: "failed to edit" },
+    subject: "path",
+    result: "edit"
+};
+const invalid = (path, message) => new StdError.StdError({ code: "invalid_input", message, path });
+/** The failure text for an anchor that is not in the file, with the file's own bytes. */
+const miss = (path, content, needle, subject) => {
+    const region = Match.nearest(content, needle);
+    return new StdError.StdError({
+        code: "no_match",
+        message: region === undefined
+            ? `${subject} does not occur in ${path}, and no line of it occurs there either — this is the wrong file, or the region is not what you remember. Read it and anchor on what it actually holds.`
+            : `${subject} does not occur in ${path}. Lines ${region.startLine}-${region.endLine} actually hold this, raw:\n${region.text}\n\nCopy the lines you meant from that text, or anchor by startLine/endLine instead.`,
+        path
+    });
+};
+/** The byte span of an inclusive 1-based line range, or the failure explaining why not. */
+const lineSpan = (path, content, startLine, endLine) => {
+    const lines = sourceLines(content);
+    if (endLine < startLine)
+        return invalid(path, `endLine ${endLine} is before startLine ${startLine}`);
+    if (startLine > lines.length) {
+        return new StdError.StdError({
+            code: "offset_out_of_range",
+            message: `${path} has ${lines.length} lines, so line ${startLine} is outside it`,
+            path
+        });
+    }
+    if (endLine > lines.length) {
+        return new StdError.StdError({
+            code: "offset_out_of_range",
+            message: `Requested endLine ${endLine}, but ${path} has ${lines.length} lines`,
+            path
+        });
+    }
+    const last = endLine;
+    let start = 0;
+    for (let index = 0; index < startLine - 1; index++)
+        start += lines[index].length + 1;
+    let end = start;
+    for (let index = startLine - 1; index < last; index++)
+        end += lines[index].length + (index === last - 1 ? 0 : 1);
+    return { start, end };
+};
+/**
+ * Applies one exact-anchored edit through the permission-aware kernel filesystem.
+ *
+ * Every refusal names what the file actually holds. A non-unique match is a
+ * refusal rather than a silent first-match edit, and it reports the lines every
+ * occurrence sits on so the caller can widen the anchor without re-reading.
+ *
+ * @category handlers
+ * @since 1.0.0
+ */
+export const run = Effect.fn("Edit.run")(function* (input) {
+    const fileSystem = yield* FileSystem.FileSystem;
+    const byLines = input.startLine !== undefined || input.endLine !== undefined;
+    if (input.oldString !== undefined && byLines) {
+        return yield* Effect.fail(invalid(input.path, "Anchor by oldString or by startLine/endLine, not by both"));
+    }
+    if (input.oldString === undefined && !byLines) {
+        return yield* Effect.fail(invalid(input.path, "Give either oldString or a startLine/endLine range; use the write flow to create a file"));
+    }
+    if (byLines && (input.startLine === undefined || input.endLine === undefined)) {
+        return yield* Effect.fail(invalid(input.path, "A line anchor needs both startLine and endLine"));
+    }
+    if (input.oldString === "") {
+        return yield* Effect.fail(invalid(input.path, "oldString must not be empty; use the write flow to create a file"));
+    }
+    if (input.oldString !== undefined && input.expect !== undefined) {
+        return yield* Effect.fail(invalid(input.path, "expect cannot be used with oldString"));
+    }
+    if (byLines && input.replaceAll !== undefined) {
+        return yield* Effect.fail(invalid(input.path, "replaceAll cannot be used with startLine/endLine"));
+    }
+    const edited = yield* Effect.scoped(Effect.gen(function* () {
+        const mutation = yield* FileMutation.acquire(fileSystem, [input.path]);
+        const bytes = yield* mutation.read(input.path, fileSystem.readFile(input.path).pipe(Effect.mapError(FsFailure.reading(input.path, `File not found: ${input.path}`))));
+        if (bytes.includes(0)) {
+            return yield* Effect.fail(new StdError.StdError({
+                code: "binary_file",
+                message: `Cannot read binary file: ${input.path}`,
+                path: input.path
+            }));
+        }
+        const content = yield* Effect.try({
+            try: () => new TextDecoder("utf-8", { fatal: true }).decode(bytes),
+            catch: () => new StdError.StdError({
+                code: "binary_file",
+                message: `File is not valid UTF-8: ${input.path}`,
+                path: input.path
+            })
+        });
+        const targets = [];
+        if (input.oldString !== undefined) {
+            const located = Match.locate(content, input.oldString);
+            if (located.length === 0)
+                return yield* Effect.fail(miss(input.path, content, input.oldString, "oldString"));
+            if (located.length > 1 && input.replaceAll !== true) {
+                const at = located.map((span) => span.startLine).join(", ");
+                return yield* Effect.fail(invalid(input.path, `oldString occurs ${located.length} times in ${input.path}, on lines ${at}; add surrounding context to pick one, anchor by startLine/endLine, or set replaceAll`));
+            }
+            targets.push(...(input.replaceAll === true ? located : [located[0]]));
+        }
+        else {
+            const span = lineSpan(input.path, content, input.startLine, input.endLine);
+            if (span instanceof StdError.StdError)
+                return yield* Effect.fail(span);
+            if (input.expect !== undefined && content.slice(span.start, span.end) !== input.expect) {
+                return yield* Effect.fail(new StdError.StdError({
+                    code: "no_match",
+                    message: `Lines ${input.startLine}-${input.endLine} of ${input.path} do not hold expect. They hold this, raw:\n${content.slice(span.start, span.end)}\n\nRe-read the file: it moved under the line numbers you anchored on.`,
+                    path: input.path
+                }));
+            }
+            targets.push(span);
+        }
+        let replaced = "";
+        let cursor = 0;
+        for (const span of targets) {
+            replaced += content.slice(cursor, span.start) + input.newString;
+            cursor = span.end;
+        }
+        replaced += content.slice(cursor);
+        yield* mutation.commit([{
+                path: input.path,
+                content: new TextEncoder().encode(replaced)
+            }], Preserve.writeFileString(fileSystem, input.path, replaced).pipe(Effect.mapError((error) => error.reason.method === "chmod"
+            ? new StdError.StdError({
+                code: "command_failed",
+                message: `Could not preserve the mode of ${input.path} before replacement by chmod`,
+                path: input.path
+            })
+            : FsFailure.denied(input.path, () => new StdError.StdError({
+                code: "command_failed",
+                message: `Could not write ${input.path}`,
+                path: input.path
+            }))(error))));
+        // Synced under the file lock, so a later edit's text never reaches the
+        // server before this one's.
+        const server = yield* Diagnostics.sync(input.path, replaced);
+        const first = targets[0];
+        const applied = Match.hunk(replaced, first.start, first.start + input.newString.length);
+        const output = {
+            path: input.path,
+            replacements: targets.length,
+            startLine: applied.startLine,
+            endLine: applied.endLine,
+            hunk: applied.text
+        };
+        return { output, server };
+    }));
+    // Without a synced text the server can only describe the file as it was.
+    const errors = edited.server === undefined ? undefined : yield* Diagnostics.errorsOf(edited.server, input.path);
+    return errors === undefined ? edited.output : { ...edited.output, errors };
+});
+//# sourceMappingURL=Edit.js.map

package/dist/esm/Edit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Edit.js","sourceRoot":"","sources":["../../src/Edit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,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,KAAK,MAAM,qBAAqB,CAAA;AAC5C,OAAO,KAAK,QAAQ,MAAM,wBAAwB,CAAA;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAA;AAE1B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GACtB,sMAAsM,CAAA;AAExM;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,0BAA0B,EAAE,CAAC;IACzE,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC;QACjD,WAAW,EAAE,qEAAqE;KACnF,CAAC;IACF,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QACtF,WAAW,EAAE,iFAAiF;KAC/F,CAAC;IACF,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QACpF,WAAW,EAAE,yCAAyC;KACvD,CAAC;IACF,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC;QAC9C,WAAW,EAAE,mFAAmF;KACjG,CAAC;IACF,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;IACtE,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,yCAAyC,EAAE,CAAC;CACjH,CAAC,CAAA;AAUF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,sBAAsB,EAAE,CAAC;IACrE,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,gCAAgC,EAAE,CAAC;IACvF,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,yCAAyC,EAAE,CAAC;IAC7F,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,wCAAwC,EAAE,CAAC;IAC1F,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC3B,WAAW,EAAE,mGAAmG;KACjH,CAAC;IACF,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;QAClE,WAAW,EAAE,+FAA+F;KAC7G,CAAC;CACH,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;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAwB,EAAE,EAAE,CACrD,QAAQ,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAEhG;;;;;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,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,EAAE;IAC1E,OAAO,EAAE,MAAM;IACf,MAAM,EAAE,MAAM;CACN,CAAA;AAEV,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,OAAe,EAAqB,EAAE,CACnE,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;AAEjE,yFAAyF;AACzF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,MAAc,EAAE,OAAe,EAAqB,EAAE;IACjG,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IAC7C,OAAO,IAAI,QAAQ,CAAC,QAAQ,CAAC;QAC3B,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,MAAM,KAAK,SAAS;YAC3B,CAAC,CAAC,GAAG,OAAO,sBAAsB,IAAI,yJAAyJ;YAC/L,CAAC,CAAC,GAAG,OAAO,sBAAsB,IAAI,WAAW,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,OAAO,8BAA8B,MAAM,CAAC,IAAI,sFAAsF;QACpN,IAAI;KACL,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,2FAA2F;AAC3F,MAAM,QAAQ,GAAG,CACf,IAAY,EACZ,OAAe,EACf,SAAiB,EACjB,OAAe,EACuD,EAAE;IACxE,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,CAAA;IAClC,IAAI,OAAO,GAAG,SAAS;QAAE,OAAO,OAAO,CAAC,IAAI,EAAE,WAAW,OAAO,wBAAwB,SAAS,EAAE,CAAC,CAAA;IACpG,IAAI,SAAS,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7B,OAAO,IAAI,QAAQ,CAAC,QAAQ,CAAC;YAC3B,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,GAAG,IAAI,QAAQ,KAAK,CAAC,MAAM,mBAAmB,SAAS,gBAAgB;YAChF,IAAI;SACL,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC3B,OAAO,IAAI,QAAQ,CAAC,QAAQ,CAAC;YAC3B,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,qBAAqB,OAAO,SAAS,IAAI,QAAQ,KAAK,CAAC,MAAM,QAAQ;YAC9E,IAAI;SACL,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAA;IACpB,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,GAAG,CAAC,EAAE,KAAK,EAAE;QAAE,KAAK,IAAI,KAAK,CAAC,KAAK,CAAE,CAAC,MAAM,GAAG,CAAC,CAAA;IACrF,IAAI,GAAG,GAAG,KAAK,CAAA;IACf,KAAK,IAAI,KAAK,GAAG,SAAS,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE;QAAE,GAAG,IAAI,KAAK,CAAC,KAAK,CAAE,CAAC,MAAM,GAAG,CAAC,KAAK,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACjH,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAA;AACvB,CAAC,CAAA;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,EAChD,KAAwB;IAExB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IAC/C,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,CAAA;IAC5E,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,EAAE,CAAC;QAC7C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,0DAA0D,CAAC,CAChF,CAAA;IACH,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,OAAO,EAAE,CAAC;QAC9C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,yFAAyF,CAAC,CAC/G,CAAA;IACH,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,EAAE,CAAC;QAC9E,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,gDAAgD,CAAC,CAAC,CAAA;IAClG,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,KAAK,EAAE,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,kEAAkE,CAAC,CACxF,CAAA;IACH,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,sCAAsC,CAAC,CAAC,CAAA;IACxF,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAC9C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,kDAAkD,CAAC,CAAC,CAAA;IACpG,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACtD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;QACtE,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAChC,KAAK,CAAC,IAAI,EACV,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAClC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,mBAAmB,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAChF,CACF,CAAA;QACD,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACtB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,QAAQ,CAAC,QAAQ,CAAC;gBACpB,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,4BAA4B,KAAK,CAAC,IAAI,EAAE;gBACjD,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB,CAAC,CACH,CAAA;QACH,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAChC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;YAClE,KAAK,EAAE,GAAG,EAAE,CACV,IAAI,QAAQ,CAAC,QAAQ,CAAC;gBACpB,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,4BAA4B,KAAK,CAAC,IAAI,EAAE;gBACjD,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB,CAAC;SACL,CAAC,CAAA;QAEF,MAAM,OAAO,GAA4D,EAAE,CAAA;QAC3E,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,CAAA;YACtD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAA;YAC5G,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;gBACpD,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC3D,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,OAAO,CACL,KAAK,CAAC,IAAI,EACV,oBAAoB,OAAO,CAAC,MAAM,aAAa,KAAK,CAAC,IAAI,cAAc,EAAE,uFAAuF,CACjK,CACF,CAAA;YACH,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAA;QACxE,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,SAAU,EAAE,KAAK,CAAC,OAAQ,CAAC,CAAA;YAC5E,IAAI,IAAI,YAAY,QAAQ,CAAC,QAAQ;gBAAE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACtE,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;gBACvF,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,QAAQ,CAAC,QAAQ,CAAC;oBACpB,IAAI,EAAE,UAAU;oBAChB,OAAO,EACL,SAAS,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,OAAO,OAAO,KAAK,CAAC,IAAI,8CACxD,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CACpC,wEAAwE;oBAC1E,IAAI,EAAE,KAAK,CAAC,IAAI;iBACjB,CAAC,CACH,CAAA;YACH,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,CAAC;QAED,IAAI,QAAQ,GAAG,EAAE,CAAA;QACjB,IAAI,MAAM,GAAG,CAAC,CAAA;QACd,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YAC3B,QAAQ,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,SAAS,CAAA;YAC/D,MAAM,GAAG,IAAI,CAAC,GAAG,CAAA;QACnB,CAAC;QACD,QAAQ,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QACjC,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CACpB,CAAC;gBACC,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,OAAO,EAAE,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC;aAC5C,CAAC,EACF,QAAQ,CAAC,eAAe,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,IAAI,CAC7D,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,OAAO;YAC7B,CAAC,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC;gBACtB,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,kCAAkC,KAAK,CAAC,IAAI,8BAA8B;gBACnF,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB,CAAC;YACF,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAClC,IAAI,QAAQ,CAAC,QAAQ,CAAC;gBACpB,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,mBAAmB,KAAK,CAAC,IAAI,EAAE;gBACxC,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB,CAAC,CAAC,CACD,KAAK,CACN,CACN,CACF,CACF,CAAA;QACD,uEAAuE;QACvE,4BAA4B;QAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;QAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAE,CAAA;QACzB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;QACvF,MAAM,MAAM,GAAuB;YACjC,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,YAAY,EAAE,OAAO,CAAC,MAAM;YAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,IAAI,EAAE,OAAO,CAAC,IAAI;SACnB,CAAA;QACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAA;IAC3B,CAAC,CAAC,CAAC,CAAA;IACH,yEAAyE;IACzE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;IAC/G,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAA;AAC5E,CAAC,CAAC,CAAA","sourcesContent":["/**\n * Edit flow declaration and portable handler.\n *\n * Three rules, each of them paid for by a measured failure:\n *\n * 1. **Exact or loud.** The anchor matches the file's bytes or the call fails\n *    with the file's actual bytes at the nearest region. No fuzzy apply reports\n *    success (sympy-15380 corrupted a file that way), and no failure returns a\n *    bare `null` (sphinx-7590 abandoned a correct edit twice against one).\n * 2. **Anchors by reference.** A prior `grep` or `read` already located the\n *    region; `startLine`/`endLine` re-use that hit instead of retyping the text,\n *    and `expect` turns the retyped copy into a checked assertion rather than a\n *    search key.\n * 3. **The hunk comes back.** The result carries the applied region as raw text\n *    with its line range, so a mis-indented edit costs one glance instead of an\n *    investigation (sphinx-7233 lost its verdict to a hunk nobody could see).\n *    With a `LanguageServer` bound, the file's errors after the edit come back\n *    too.\n *\n * @since 1.0.0\n */\n\nimport * as Effect from \"effect/Effect\"\nimport * as FileSystem from \"effect/FileSystem\"\nimport * as Schema from \"effect/Schema\"\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 Match from \"./internal/Match.ts\"\nimport * as Preserve from \"./internal/Preserve.ts\"\nimport { sourceLines } from \"./internal/Text.ts\"\nimport * as StdError from \"./StdError.ts\"\n\n/**\n * Registry name for the edit flow.\n *\n * @category identifiers\n * @since 1.0.0\n */\nexport const name = \"edit\"\n\n/**\n * Model-facing description of the edit flow.\n *\n * @category descriptions\n * @since 1.0.0\n */\nexport const description =\n  \"Edit a file by exact text (oldString, unique unless replaceAll) or by an earlier hit's line range (startLine/endLine, optional expect). A miss returns the file's real text; a hit returns the hunk.\"\n\n/**\n * Input schema for the edit flow.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const Input = Schema.Struct({\n  path: Schema.String.annotate({ description: \"Path of the file to edit\" }),\n  oldString: Schema.optional(Schema.String).annotate({\n    description: \"Exact text to replace, byte for byte, including surrounding context\"\n  }),\n  startLine: Schema.optional(Schema.Int.check(Schema.isGreaterThanOrEqualTo(1))).annotate({\n    description: \"First 1-based line to replace, from a prior read or grep hit; pair with endLine\"\n  }),\n  endLine: Schema.optional(Schema.Int.check(Schema.isGreaterThanOrEqualTo(1))).annotate({\n    description: \"Last 1-based line to replace, inclusive\"\n  }),\n  expect: Schema.optional(Schema.String).annotate({\n    description: \"What those lines currently hold; the edit fails loudly if they hold anything else\"\n  }),\n  newString: Schema.String.annotate({ description: \"Replacement text\" }),\n  replaceAll: Schema.optional(Schema.Boolean).annotate({ description: \"Replace every occurrence instead of one\" })\n})\n\n/**\n * Decoded input accepted by the `edit` flow.\n *\n * @category models\n * @since 1.0.0\n */\nexport type Input = typeof Input.Type\n\n/**\n * Output schema for the edit flow.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const Output = Schema.Struct({\n  path: Schema.String.annotate({ description: \"Path that was edited\" }),\n  replacements: Schema.Number.annotate({ description: \"Number of occurrences replaced\" }),\n  startLine: Schema.Number.annotate({ description: \"First 1-based line of the returned hunk\" }),\n  endLine: Schema.Number.annotate({ description: \"Last 1-based line of the returned hunk\" }),\n  hunk: Schema.String.annotate({\n    description: \"The edited region as it now stands, raw and with its exact indentation, plus two lines of context\"\n  }),\n  errors: Schema.optional(Schema.Array(Diagnostics.Problem)).annotate({\n    description: \"Errors the language server reports in the file after the edit; absent when no server answered\"\n  })\n})\n\n/**\n * Decoded output returned by the `edit` 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 edit 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 edit effect envelope to one input path.\n *\n * @category effects\n * @since 1.0.0\n */\nexport const effectsFor = (input: typeof Input.Type) =>\n  envelope({ tier: \"compensable\", mode: \"hermetic\", reads: [input.path], writes: [input.path] })\n\n/**\n * Capabilities required by the edit 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 edit 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: \"editing\", success: \"edited\", failure: \"failed to edit\" },\n  subject: \"path\",\n  result: \"edit\"\n} as const\n\nconst invalid = (path: string, message: string): StdError.StdError =>\n  new StdError.StdError({ code: \"invalid_input\", message, path })\n\n/** The failure text for an anchor that is not in the file, with the file's own bytes. */\nconst miss = (path: string, content: string, needle: string, subject: string): StdError.StdError => {\n  const region = Match.nearest(content, needle)\n  return new StdError.StdError({\n    code: \"no_match\",\n    message: region === undefined\n      ? `${subject} does not occur in ${path}, and no line of it occurs there either — this is the wrong file, or the region is not what you remember. Read it and anchor on what it actually holds.`\n      : `${subject} does not occur in ${path}. Lines ${region.startLine}-${region.endLine} actually hold this, raw:\\n${region.text}\\n\\nCopy the lines you meant from that text, or anchor by startLine/endLine instead.`,\n    path\n  })\n}\n\n/** The byte span of an inclusive 1-based line range, or the failure explaining why not. */\nconst lineSpan = (\n  path: string,\n  content: string,\n  startLine: number,\n  endLine: number\n): { readonly start: number; readonly end: number } | StdError.StdError => {\n  const lines = sourceLines(content)\n  if (endLine < startLine) return invalid(path, `endLine ${endLine} is before startLine ${startLine}`)\n  if (startLine > lines.length) {\n    return new StdError.StdError({\n      code: \"offset_out_of_range\",\n      message: `${path} has ${lines.length} lines, so line ${startLine} is outside it`,\n      path\n    })\n  }\n  if (endLine > lines.length) {\n    return new StdError.StdError({\n      code: \"offset_out_of_range\",\n      message: `Requested endLine ${endLine}, but ${path} has ${lines.length} lines`,\n      path\n    })\n  }\n  const last = endLine\n  let start = 0\n  for (let index = 0; index < startLine - 1; index++) start += lines[index]!.length + 1\n  let end = start\n  for (let index = startLine - 1; index < last; index++) end += lines[index]!.length + (index === last - 1 ? 0 : 1)\n  return { start, end }\n}\n\n/**\n * Applies one exact-anchored edit through the permission-aware kernel filesystem.\n *\n * Every refusal names what the file actually holds. A non-unique match is a\n * refusal rather than a silent first-match edit, and it reports the lines every\n * occurrence sits on so the caller can widen the anchor without re-reading.\n *\n * @category handlers\n * @since 1.0.0\n */\nexport const run = Effect.fn(\"Edit.run\")(function*(\n  input: typeof Input.Type\n): Effect.fn.Return<typeof Output.Type, StdError.StdError, FileSystem.FileSystem> {\n  const fileSystem = yield* FileSystem.FileSystem\n  const byLines = input.startLine !== undefined || input.endLine !== undefined\n  if (input.oldString !== undefined && byLines) {\n    return yield* Effect.fail(\n      invalid(input.path, \"Anchor by oldString or by startLine/endLine, not by both\")\n    )\n  }\n  if (input.oldString === undefined && !byLines) {\n    return yield* Effect.fail(\n      invalid(input.path, \"Give either oldString or a startLine/endLine range; use the write flow to create a file\")\n    )\n  }\n  if (byLines && (input.startLine === undefined || input.endLine === undefined)) {\n    return yield* Effect.fail(invalid(input.path, \"A line anchor needs both startLine and endLine\"))\n  }\n  if (input.oldString === \"\") {\n    return yield* Effect.fail(\n      invalid(input.path, \"oldString must not be empty; use the write flow to create a file\")\n    )\n  }\n  if (input.oldString !== undefined && input.expect !== undefined) {\n    return yield* Effect.fail(invalid(input.path, \"expect cannot be used with oldString\"))\n  }\n  if (byLines && input.replaceAll !== undefined) {\n    return yield* Effect.fail(invalid(input.path, \"replaceAll cannot be used with startLine/endLine\"))\n  }\n  const edited = yield* Effect.scoped(Effect.gen(function*() {\n    const mutation = yield* FileMutation.acquire(fileSystem, [input.path])\n    const bytes = yield* mutation.read(\n      input.path,\n      fileSystem.readFile(input.path).pipe(\n        Effect.mapError(FsFailure.reading(input.path, `File not found: ${input.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: ${input.path}`,\n          path: input.path\n        })\n      )\n    }\n    const content = yield* Effect.try({\n      try: () => new TextDecoder(\"utf-8\", { fatal: true }).decode(bytes),\n      catch: () =>\n        new StdError.StdError({\n          code: \"binary_file\",\n          message: `File is not valid UTF-8: ${input.path}`,\n          path: input.path\n        })\n    })\n\n    const targets: Array<{ readonly start: number; readonly end: number }> = []\n    if (input.oldString !== undefined) {\n      const located = Match.locate(content, input.oldString)\n      if (located.length === 0) return yield* Effect.fail(miss(input.path, content, input.oldString, \"oldString\"))\n      if (located.length > 1 && input.replaceAll !== true) {\n        const at = located.map((span) => span.startLine).join(\", \")\n        return yield* Effect.fail(\n          invalid(\n            input.path,\n            `oldString occurs ${located.length} times in ${input.path}, on lines ${at}; add surrounding context to pick one, anchor by startLine/endLine, or set replaceAll`\n          )\n        )\n      }\n      targets.push(...(input.replaceAll === true ? located : [located[0]!]))\n    } else {\n      const span = lineSpan(input.path, content, input.startLine!, input.endLine!)\n      if (span instanceof StdError.StdError) return yield* Effect.fail(span)\n      if (input.expect !== undefined && content.slice(span.start, span.end) !== input.expect) {\n        return yield* Effect.fail(\n          new StdError.StdError({\n            code: \"no_match\",\n            message:\n              `Lines ${input.startLine}-${input.endLine} of ${input.path} do not hold expect. They hold this, raw:\\n${\n                content.slice(span.start, span.end)\n              }\\n\\nRe-read the file: it moved under the line numbers you anchored on.`,\n            path: input.path\n          })\n        )\n      }\n      targets.push(span)\n    }\n\n    let replaced = \"\"\n    let cursor = 0\n    for (const span of targets) {\n      replaced += content.slice(cursor, span.start) + input.newString\n      cursor = span.end\n    }\n    replaced += content.slice(cursor)\n    yield* mutation.commit(\n      [{\n        path: input.path,\n        content: new TextEncoder().encode(replaced)\n      }],\n      Preserve.writeFileString(fileSystem, input.path, replaced).pipe(\n        Effect.mapError((error) =>\n          error.reason.method === \"chmod\"\n            ? new StdError.StdError({\n              code: \"command_failed\",\n              message: `Could not preserve the mode of ${input.path} before replacement by chmod`,\n              path: input.path\n            })\n            : FsFailure.denied(input.path, () =>\n              new StdError.StdError({\n                code: \"command_failed\",\n                message: `Could not write ${input.path}`,\n                path: input.path\n              }))(\n                error\n              )\n        )\n      )\n    )\n    // Synced under the file lock, so a later edit's text never reaches the\n    // server before this one's.\n    const server = yield* Diagnostics.sync(input.path, replaced)\n    const first = targets[0]!\n    const applied = Match.hunk(replaced, first.start, first.start + input.newString.length)\n    const output: typeof Output.Type = {\n      path: input.path,\n      replacements: targets.length,\n      startLine: applied.startLine,\n      endLine: applied.endLine,\n      hunk: applied.text\n    }\n    return { output, server }\n  }))\n  // Without a synced text the server can only describe the file as it was.\n  const errors = edited.server === undefined ? undefined : yield* Diagnostics.errorsOf(edited.server, input.path)\n  return errors === undefined ? edited.output : { ...edited.output, errors }\n})\n"]}

package/dist/esm/ExaWebSearch.d.ts

@@ -0,0 +1,22 @@
+/**
+ * The Exa provider for the `websearch` flow.
+ *
+ * {@link layer} binds `WebSearch.WebSearch` to the Exa search API. It reads the
+ * API key from a named credential on every search, calls Exa through the
+ * permission-checked `HttpClient`, and maps each hit onto `WebSearch.Result`.
+ *
+ * @since 1.0.0
+ */
+import * as Credential from "@smthrs/control/Credential";
+import * as HttpClient from "@smthrs/kernel/HttpClient";
+import { Layer } from "effect";
+import * as WebSearch from "./WebSearch.ts";
+/**
+ * Provides {@link WebSearch.WebSearch} backed by the Exa API, reading its
+ * key from the named credential.
+ *
+ * @category layers
+ * @since 1.0.0
+ */
+export declare const layer: (credentialId: string) => Layer.Layer<WebSearch.WebSearch, never, Credential.Credential | HttpClient.HttpClient>;
+//# sourceMappingURL=ExaWebSearch.d.ts.map

package/dist/esm/ExaWebSearch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExaWebSearch.d.ts","sourceRoot":"","sources":["../../src/ExaWebSearch.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,UAAU,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,UAAU,MAAM,2BAA2B,CAAA;AACvD,OAAO,EAAiB,KAAK,EAAoB,MAAM,QAAQ,CAAA;AAI/D,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAsB3C;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,GAChB,cAAc,MAAM,KACnB,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,UAAU,GAAG,UAAU,CAAC,UAAU,CAiGrF,CAAA"}

package/dist/esm/ExaWebSearch.js

@@ -0,0 +1,107 @@
+/**
+ * The Exa provider for the `websearch` flow.
+ *
+ * {@link layer} binds `WebSearch.WebSearch` to the Exa search API. It reads the
+ * API key from a named credential on every search, calls Exa through the
+ * permission-checked `HttpClient`, and maps each hit onto `WebSearch.Result`.
+ *
+ * @since 1.0.0
+ */
+import * as Credential from "@smthrs/control/Credential";
+import * as HttpClient from "@smthrs/kernel/HttpClient";
+import { Clock, Effect, Layer, Redacted, Schema } from "effect";
+import * as HttpClientRequest from "effect/unstable/http/HttpClientRequest";
+import { header, readBounded } from "./internal/Http.js";
+import * as StdError from "./StdError.js";
+import * as WebSearch from "./WebSearch.js";
+const maxResults = 20;
+const requestTimeoutMs = 30_000;
+const ExaResult = Schema.Struct({
+    title: Schema.optional(Schema.String),
+    url: Schema.String,
+    text: Schema.optional(Schema.String),
+    publishedDate: Schema.optional(Schema.String)
+});
+const ExaResponse = Schema.Struct({
+    results: Schema.Array(ExaResult)
+});
+const freshnessDays = {
+    day: 1,
+    week: 7,
+    month: 31,
+    year: 365
+};
+const failure = (code, message) => new StdError.StdError({ code, message });
+/**
+ * Provides {@link WebSearch.WebSearch} backed by the Exa API, reading its
+ * key from the named credential.
+ *
+ * @category layers
+ * @since 1.0.0
+ */
+export const layer = (credentialId) => Layer.effect(WebSearch.WebSearch, Effect.gen(function* () {
+    const credentials = yield* Credential.Credential;
+    const http = yield* HttpClient.HttpClient;
+    return WebSearch.make({
+        search: (input) => Effect.gen(function* () {
+            const reference = yield* credentials.get(credentialId).pipe(Effect.mapError(() => new StdError.StdError({
+                code: "provider_unavailable",
+                message: "Configured Exa credential is unavailable"
+            })));
+            const secret = yield* credentials.resolve(reference).pipe(Effect.mapError(() => new StdError.StdError({
+                code: "provider_unavailable",
+                message: "Configured Exa credential cannot be resolved"
+            })));
+            const now = yield* Clock.currentTimeMillis;
+            const request = HttpClientRequest.setHeaders(HttpClientRequest.bodyJsonUnsafe(HttpClientRequest.post("https://api.exa.ai/search"), {
+                query: input.query,
+                numResults: Math.min(input.numResults ?? 8, maxResults),
+                ...(input.freshness === undefined
+                    ? {}
+                    : { startPublishedDate: new Date(now - freshnessDays[input.freshness] * 86_400_000).toISOString() })
+            }), { "authorization": `Bearer ${Redacted.value(secret)}`, "content-type": "application/json" });
+            const response = yield* http.execute(request).pipe(Effect.timeout(requestTimeoutMs), Effect.mapError((error) => error._tag === "TimeoutError"
+                ? failure("timeout", "Exa search request timed out")
+                : failure("request_failed", "Exa search request failed")));
+            const retryAfter = header(response.headers, "retry-after");
+            // Successful responses may carry pacing advice too; status decides refusal.
+            const refused = response.status < 200 || response.status >= 300;
+            if (response.status === 429 || (refused && retryAfter !== undefined)) {
+                const delay = retryAfter === undefined
+                    ? NaN
+                    : /^\d+$/.test(retryAfter.trim())
+                        ? Number(retryAfter)
+                        : Math.max(0, Math.ceil((Date.parse(retryAfter) - (yield* Clock.currentTimeMillis)) / 1_000));
+                return yield* Effect.fail(failure("rate_limited", Number.isFinite(delay)
+                    ? `Exa search was throttled; retry after ${delay} seconds`
+                    : "Exa search was throttled"));
+            }
+            if (response.status === 401 || response.status === 403) {
+                return yield* Effect.fail(failure("provider_unavailable", "Exa search authentication was rejected"));
+            }
+            if (response.status >= 500) {
+                return yield* Effect.fail(failure("provider_unavailable", `Exa search returned ${response.status}`));
+            }
+            if (response.status < 200 || response.status >= 300) {
+                return yield* Effect.fail(failure("request_failed", `Exa search returned ${response.status}`));
+            }
+            // Bound the body before decoding: an endpoint must not choose how
+            // much of it the host buffers.
+            const bytes = yield* readBounded(response.stream, "https://api.exa.ai/search").pipe(Effect.timeout(requestTimeoutMs), Effect.mapError((error) => error._tag === "TimeoutError"
+                ? failure("timeout", "Exa search response timed out")
+                : error instanceof StdError.StdError && error.code === "response_too_large"
+                    ? failure("response_too_large", "Exa search response exceeds the 5 MiB limit")
+                    : failure("request_failed", "Exa search response was invalid")));
+            const body = yield* Schema.decodeUnknownEffect(Schema.fromJsonString(ExaResponse))(new TextDecoder().decode(bytes)).pipe(Effect.mapError(() => new StdError.StdError({ code: "request_failed", message: "Exa search response was invalid" })));
+            return {
+                results: body.results.slice(0, Math.min(input.numResults ?? 8, maxResults)).map((result) => ({
+                    title: result.title ?? result.url,
+                    url: result.url,
+                    snippet: (result.text ?? "").slice(0, 2_000),
+                    ...(result.publishedDate === undefined ? {} : { publishedAt: result.publishedDate })
+                }))
+            };
+        })
+    });
+}));
+//# sourceMappingURL=ExaWebSearch.js.map

package/dist/esm/ExaWebSearch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExaWebSearch.js","sourceRoot":"","sources":["../../src/ExaWebSearch.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,UAAU,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,UAAU,MAAM,2BAA2B,CAAA;AACvD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/D,OAAO,KAAK,iBAAiB,MAAM,wCAAwC,CAAA;AAC3E,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACxD,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C,MAAM,UAAU,GAAG,EAAE,CAAA;AACrB,MAAM,gBAAgB,GAAG,MAAM,CAAA;AAC/B,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9B,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,GAAG,EAAE,MAAM,CAAC,MAAM;IAClB,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CAC9C,CAAC,CAAA;AACF,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;CACjC,CAAC,CAAA;AACF,MAAM,aAAa,GAAG;IACpB,GAAG,EAAE,CAAC;IACN,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,EAAE;IACT,IAAI,EAAE,GAAG;CACD,CAAA;AAEV,MAAM,OAAO,GAAG,CAAC,IAAmB,EAAE,OAAe,EAAqB,EAAE,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAA;AAErH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,YAAoB,EACoE,EAAE,CAC1F,KAAK,CAAC,MAAM,CACV,SAAS,CAAC,SAAS,EACnB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IAChD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACzC,OAAO,SAAS,CAAC,IAAI,CAAC;QACpB,MAAM,EAAE,CAAC,KAAK,EAAkE,EAAE,CAChF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAC/E,IAAI,QAAQ,CAAC,QAAQ,CAAC;gBACpB,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,0CAA0C;aACpD,CAAC,CACH,CAAC,CAAA;YACF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAC7E,IAAI,QAAQ,CAAC,QAAQ,CAAC;gBACpB,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,8CAA8C;aACxD,CAAC,CACH,CAAC,CAAA;YACF,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAA;YAC1C,MAAM,OAAO,GAAG,iBAAiB,CAAC,UAAU,CAC1C,iBAAiB,CAAC,cAAc,CAAC,iBAAiB,CAAC,IAAI,CAAC,2BAA2B,CAAC,EAAE;gBACpF,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,EAAE,UAAU,CAAC;gBACvD,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS;oBAC/B,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,EAAE,kBAAkB,EAAE,IAAI,IAAI,CAAC,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,UAAU,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;aACvG,CAAC,EACF,EAAE,eAAe,EAAE,UAAU,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAC5F,CAAA;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAChD,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAChC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,KAAK,CAAC,IAAI,KAAK,cAAc;gBAC3B,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,8BAA8B,CAAC;gBACpD,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,2BAA2B,CAAC,CAC3D,CACF,CAAA;YACD,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,CAAA;YAC1D,4EAA4E;YAC5E,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,GAAG,GAAG,IAAI,QAAQ,CAAC,MAAM,IAAI,GAAG,CAAA;YAC/D,IAAI,QAAQ,CAAC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,IAAI,UAAU,KAAK,SAAS,CAAC,EAAE,CAAC;gBACrE,MAAM,KAAK,GAAG,UAAU,KAAK,SAAS;oBACpC,CAAC,CAAC,GAAG;oBACL,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;wBACjC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;wBACpB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;gBAC/F,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,OAAO,CACL,cAAc,EACd,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;oBACpB,CAAC,CAAC,yCAAyC,KAAK,UAAU;oBAC1D,CAAC,CAAC,0BAA0B,CAC/B,CACF,CAAA;YACH,CAAC;YACD,IAAI,QAAQ,CAAC,MAAM,KAAK,GAAG,IAAI,QAAQ,CAAC,MAAM,KAAK,GAAG,EAAE,CAAC;gBACvD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,sBAAsB,EAAE,wCAAwC,CAAC,CAAC,CAAA;YACtG,CAAC;YACD,IAAI,QAAQ,CAAC,MAAM,IAAI,GAAG,EAAE,CAAC;gBAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,sBAAsB,EAAE,uBAAuB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;YACtG,CAAC;YACD,IAAI,QAAQ,CAAC,MAAM,GAAG,GAAG,IAAI,QAAQ,CAAC,MAAM,IAAI,GAAG,EAAE,CAAC;gBACpD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,uBAAuB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;YAChG,CAAC;YACD,kEAAkE;YAClE,+BAA+B;YAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,2BAA2B,CAAC,CAAC,IAAI,CACjF,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAChC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,KAAK,CAAC,IAAI,KAAK,cAAc;gBAC3B,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,+BAA+B,CAAC;gBACrD,CAAC,CAAC,KAAK,YAAY,QAAQ,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB;oBAC3E,CAAC,CAAC,OAAO,CAAC,oBAAoB,EAAE,6CAA6C,CAAC;oBAC9E,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,iCAAiC,CAAC,CACjE,CACF,CAAA;YACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC,CAChF,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAChC,CAAC,IAAI,CACJ,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CACnB,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,iCAAiC,EAAE,CAAC,CAC9F,CACF,CAAA;YACD,OAAO;gBACL,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;oBAC3F,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,GAAG;oBACjC,GAAG,EAAE,MAAM,CAAC,GAAG;oBACf,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;oBAC5C,GAAG,CAAC,MAAM,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC;iBACrF,CAAC,CAAC;aACJ,CAAA;QACH,CAAC,CAAC;KACL,CAAC,CAAA;AACJ,CAAC,CAAC,CACH,CAAA","sourcesContent":["/**\n * The Exa provider for the `websearch` flow.\n *\n * {@link layer} binds `WebSearch.WebSearch` to the Exa search API. It reads the\n * API key from a named credential on every search, calls Exa through the\n * permission-checked `HttpClient`, and maps each hit onto `WebSearch.Result`.\n *\n * @since 1.0.0\n */\n\nimport * as Credential from \"@smthrs/control/Credential\"\nimport * as HttpClient from \"@smthrs/kernel/HttpClient\"\nimport { Clock, Effect, Layer, Redacted, Schema } from \"effect\"\nimport * as HttpClientRequest from \"effect/unstable/http/HttpClientRequest\"\nimport { header, readBounded } from \"./internal/Http.ts\"\nimport * as StdError from \"./StdError.ts\"\nimport * as WebSearch from \"./WebSearch.ts\"\n\nconst maxResults = 20\nconst requestTimeoutMs = 30_000\nconst ExaResult = Schema.Struct({\n  title: Schema.optional(Schema.String),\n  url: Schema.String,\n  text: Schema.optional(Schema.String),\n  publishedDate: Schema.optional(Schema.String)\n})\nconst ExaResponse = Schema.Struct({\n  results: Schema.Array(ExaResult)\n})\nconst freshnessDays = {\n  day: 1,\n  week: 7,\n  month: 31,\n  year: 365\n} as const\n\nconst failure = (code: StdError.Code, message: string): StdError.StdError => new StdError.StdError({ code, message })\n\n/**\n * Provides {@link WebSearch.WebSearch} backed by the Exa API, reading its\n * key from the named credential.\n *\n * @category layers\n * @since 1.0.0\n */\nexport const layer = (\n  credentialId: string\n): Layer.Layer<WebSearch.WebSearch, never, Credential.Credential | HttpClient.HttpClient> =>\n  Layer.effect(\n    WebSearch.WebSearch,\n    Effect.gen(function*() {\n      const credentials = yield* Credential.Credential\n      const http = yield* HttpClient.HttpClient\n      return WebSearch.make({\n        search: (input): Effect.Effect<typeof WebSearch.Output.Type, StdError.StdError> =>\n          Effect.gen(function*() {\n            const reference = yield* credentials.get(credentialId).pipe(Effect.mapError(() =>\n              new StdError.StdError({\n                code: \"provider_unavailable\",\n                message: \"Configured Exa credential is unavailable\"\n              })\n            ))\n            const secret = yield* credentials.resolve(reference).pipe(Effect.mapError(() =>\n              new StdError.StdError({\n                code: \"provider_unavailable\",\n                message: \"Configured Exa credential cannot be resolved\"\n              })\n            ))\n            const now = yield* Clock.currentTimeMillis\n            const request = HttpClientRequest.setHeaders(\n              HttpClientRequest.bodyJsonUnsafe(HttpClientRequest.post(\"https://api.exa.ai/search\"), {\n                query: input.query,\n                numResults: Math.min(input.numResults ?? 8, maxResults),\n                ...(input.freshness === undefined\n                  ? {}\n                  : { startPublishedDate: new Date(now - freshnessDays[input.freshness] * 86_400_000).toISOString() })\n              }),\n              { \"authorization\": `Bearer ${Redacted.value(secret)}`, \"content-type\": \"application/json\" }\n            )\n            const response = yield* http.execute(request).pipe(\n              Effect.timeout(requestTimeoutMs),\n              Effect.mapError((error) =>\n                error._tag === \"TimeoutError\"\n                  ? failure(\"timeout\", \"Exa search request timed out\")\n                  : failure(\"request_failed\", \"Exa search request failed\")\n              )\n            )\n            const retryAfter = header(response.headers, \"retry-after\")\n            // Successful responses may carry pacing advice too; status decides refusal.\n            const refused = response.status < 200 || response.status >= 300\n            if (response.status === 429 || (refused && retryAfter !== undefined)) {\n              const delay = retryAfter === undefined\n                ? NaN\n                : /^\\d+$/.test(retryAfter.trim())\n                ? Number(retryAfter)\n                : Math.max(0, Math.ceil((Date.parse(retryAfter) - (yield* Clock.currentTimeMillis)) / 1_000))\n              return yield* Effect.fail(\n                failure(\n                  \"rate_limited\",\n                  Number.isFinite(delay)\n                    ? `Exa search was throttled; retry after ${delay} seconds`\n                    : \"Exa search was throttled\"\n                )\n              )\n            }\n            if (response.status === 401 || response.status === 403) {\n              return yield* Effect.fail(failure(\"provider_unavailable\", \"Exa search authentication was rejected\"))\n            }\n            if (response.status >= 500) {\n              return yield* Effect.fail(failure(\"provider_unavailable\", `Exa search returned ${response.status}`))\n            }\n            if (response.status < 200 || response.status >= 300) {\n              return yield* Effect.fail(failure(\"request_failed\", `Exa search returned ${response.status}`))\n            }\n            // Bound the body before decoding: an endpoint must not choose how\n            // much of it the host buffers.\n            const bytes = yield* readBounded(response.stream, \"https://api.exa.ai/search\").pipe(\n              Effect.timeout(requestTimeoutMs),\n              Effect.mapError((error) =>\n                error._tag === \"TimeoutError\"\n                  ? failure(\"timeout\", \"Exa search response timed out\")\n                  : error instanceof StdError.StdError && error.code === \"response_too_large\"\n                  ? failure(\"response_too_large\", \"Exa search response exceeds the 5 MiB limit\")\n                  : failure(\"request_failed\", \"Exa search response was invalid\")\n              )\n            )\n            const body = yield* Schema.decodeUnknownEffect(Schema.fromJsonString(ExaResponse))(\n              new TextDecoder().decode(bytes)\n            ).pipe(\n              Effect.mapError(() =>\n                new StdError.StdError({ code: \"request_failed\", message: \"Exa search response was invalid\" })\n              )\n            )\n            return {\n              results: body.results.slice(0, Math.min(input.numResults ?? 8, maxResults)).map((result) => ({\n                title: result.title ?? result.url,\n                url: result.url,\n                snippet: (result.text ?? \"\").slice(0, 2_000),\n                ...(result.publishedDate === undefined ? {} : { publishedAt: result.publishedDate })\n              }))\n            }\n          })\n      })\n    })\n  )\n"]}