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

package/dist/esm/UpdatePlan.d.ts

@@ -0,0 +1,152 @@
+/**
+ * update_plan flow declaration and portable handler.
+ *
+ * A Codex CLI clone of the `update_plan` tool: an optional explanation and a
+ * list of plan items, acknowledged with "Plan updated". Pure — no host
+ * access; the harness observes plan updates through the journal.
+ *
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import * as StdError from "./StdError.ts";
+/**
+ * Registry name for the update_plan flow. Matches the Codex CLI tool name.
+ *
+ * @category identifiers
+ * @since 1.0.0
+ */
+export declare const name = "update_plan";
+/**
+ * Model-facing description of the update_plan flow. Matches the Codex CLI
+ * description.
+ *
+ * @category descriptions
+ * @since 1.0.0
+ */
+export declare const description: string;
+/**
+ * Status of one plan step, matching Codex.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export declare const StepStatus: Schema.Literals<readonly ["pending", "in_progress", "completed"]>;
+/**
+ * The plan itself: steps, at most one of them `in_progress`.
+ *
+ * The single-in-progress rule is the last line of the Codex description a
+ * model reads every frame, so it is enforced here rather than left as prose a
+ * decode ignores. A plan naming two running steps is a decode failure at the
+ * `plan` path, not a silent acknowledgement.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export declare const Plan: Schema.$Array<Schema.Struct<{
+    readonly step: Schema.String;
+    readonly status: Schema.Literals<readonly ["pending", "in_progress", "completed"]>;
+}>>;
+/**
+ * Input schema for the update_plan flow.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export declare const Input: Schema.Struct<{
+    readonly explanation: Schema.optional<Schema.String>;
+    readonly plan: Schema.$Array<Schema.Struct<{
+        readonly step: Schema.String;
+        readonly status: Schema.Literals<readonly ["pending", "in_progress", "completed"]>;
+    }>>;
+}>;
+/**
+ * Decoded input accepted by the `update_plan` flow.
+ *
+ * @category models
+ * @since 1.0.0
+ */
+export type Input = typeof Input.Type;
+/**
+ * Output schema for the update_plan flow.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export declare const Output: Schema.Struct<{
+    readonly output: Schema.String;
+}>;
+/**
+ * Decoded output returned by the `update_plan` flow.
+ *
+ * @category models
+ * @since 1.0.0
+ */
+export type Output = typeof Output.Type;
+/**
+ * Static effect envelope for the update_plan flow: no reads, no writes.
+ *
+ * @category effects
+ * @since 1.0.0
+ */
+export declare const effects: import("@smthrs/plan/Effects").Declaration;
+/**
+ * Narrows the effect envelope for a decoded invocation.
+ *
+ * The flow touches nothing, so every invocation declares what the static
+ * envelope declares.
+ *
+ * @category effects
+ * @since 1.0.0
+ */
+export declare const effectsFor: (_input: typeof Input.Type) => import("@smthrs/plan/Effects").Declaration;
+/**
+ * Capabilities required by the update_plan flow: none.
+ *
+ * @category capabilities
+ * @since 1.0.0
+ */
+export declare const capabilities: ReadonlyArray<string>;
+/**
+ * Declaration-only update_plan flow.
+ *
+ * @category flows
+ * @since 1.0.0
+ */
+export declare const flow: {
+    readonly name: "update_plan";
+    readonly description: string;
+    readonly input: Schema.Struct<{
+        readonly explanation: Schema.optional<Schema.String>;
+        readonly plan: Schema.$Array<Schema.Struct<{
+            readonly step: Schema.String;
+            readonly status: Schema.Literals<readonly ["pending", "in_progress", "completed"]>;
+        }>>;
+    }>;
+    readonly output: Schema.Struct<{
+        readonly output: Schema.String;
+    }>;
+    readonly capabilities: readonly string[];
+    readonly effects: import("@smthrs/plan/Effects").Declaration;
+};
+/**
+ * Acknowledges a plan update with Codex's exact response text.
+ *
+ * The single-in-progress rule is checked again here. `Plan` refuses it at
+ * decode time, but a host that calls this handler directly never decodes, and
+ * an invariant enforced in only one of the two entrances is enforced in
+ * neither.
+ *
+ * @category handlers
+ * @since 1.0.0
+ */
+export declare const run: (input: {
+    readonly plan: readonly {
+        readonly step: string;
+        readonly status: "pending" | "completed" | "in_progress";
+    }[];
+    readonly explanation?: string | undefined;
+}) => Effect.Effect<{
+    readonly output: string;
+}, StdError.StdError, never>;
+//# sourceMappingURL=UpdatePlan.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"UpdatePlan.d.ts","sourceRoot":"","sources":["../../src/UpdatePlan.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC;;;;;GAKG;AACH,eAAO,MAAM,IAAI,gBAAgB,CAAA;AAEjC;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,QAE4B,CAAA;AAEpD;;;;;GAKG;AACH,eAAO,MAAM,UAAU,mEAA2D,CAAA;AAWlF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,IAAI;;;GAU+B,CAAA;AAEhD;;;;;GAKG;AACH,eAAO,MAAM,KAAK;;;;;;EAGhB,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAErC;;;;;GAKG;AACH,eAAO,MAAM,MAAM;;EAEjB,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AAEvC;;;;;GAKG;AACH,eAAO,MAAM,OAAO,4CAAwE,CAAA;AAE5F;;;;;;;;GAQG;AACH,eAAO,MAAM,UAAU,GAAI,QAAQ,OAAO,KAAK,CAAC,IAAI,+CAAY,CAAA;AAEhE;;;;;GAKG;AACH,eAAO,MAAM,YAAY,EAAE,aAAa,CAAC,MAAM,CAAM,CAAA;AAErD;;;;;GAKG;AACH,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;CAAsF,CAAA;AAEvG;;;;;;;;;;GAUG;AACH,eAAO,MAAM,GAAG;;;;;;;;4BAad,CAAA"}

package/dist/esm/UpdatePlan.js

@@ -0,0 +1,129 @@
+/**
+ * update_plan flow declaration and portable handler.
+ *
+ * A Codex CLI clone of the `update_plan` tool: an optional explanation and a
+ * list of plan items, acknowledged with "Plan updated". Pure — no host
+ * access; the harness observes plan updates through the journal.
+ *
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { envelope } from "./internal/Declaration.js";
+import * as StdError from "./StdError.js";
+/**
+ * Registry name for the update_plan flow. Matches the Codex CLI tool name.
+ *
+ * @category identifiers
+ * @since 1.0.0
+ */
+export const name = "update_plan";
+/**
+ * Model-facing description of the update_plan flow. Matches the Codex CLI
+ * description.
+ *
+ * @category descriptions
+ * @since 1.0.0
+ */
+export const description = "Updates the task plan.\n" +
+    "Provide an optional explanation and a list of plan items, each with a step and status.\n" +
+    "At most one step can be in_progress at a time.\n";
+/**
+ * Status of one plan step, matching Codex.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export const StepStatus = Schema.Literals(["pending", "in_progress", "completed"]);
+const Step = Schema.Struct({
+    step: Schema.String.annotate({ description: "Task step text." }),
+    status: StepStatus.annotate({ description: "Step status." })
+});
+/** How many steps of a plan claim to be running right now. */
+const inProgressCount = (plan) => plan.reduce((total, item) => item.status === "in_progress" ? total + 1 : total, 0);
+/**
+ * The plan itself: steps, at most one of them `in_progress`.
+ *
+ * The single-in-progress rule is the last line of the Codex description a
+ * model reads every frame, so it is enforced here rather than left as prose a
+ * decode ignores. A plan naming two running steps is a decode failure at the
+ * `plan` path, not a silent acknowledgement.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export const Plan = Schema.Array(Step).pipe(Schema.check(Schema.makeFilter((plan) => inProgressCount(plan) <= 1
+    ? undefined
+    : "invalid_input: at most one plan step can be in_progress at a time", { identifier: "invalid_input" }))).annotate({ description: "The list of steps" });
+/**
+ * Input schema for the update_plan flow.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export const Input = Schema.Struct({
+    explanation: Schema.optional(Schema.String.annotate({ description: "Optional explanation for this plan update." })),
+    plan: Plan
+});
+/**
+ * Output schema for the update_plan flow.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export const Output = Schema.Struct({
+    output: Schema.String.annotate({ description: "Acknowledgement text, always 'Plan updated'" })
+});
+/**
+ * Static effect envelope for the update_plan flow: no reads, no writes.
+ *
+ * @category effects
+ * @since 1.0.0
+ */
+export const effects = envelope({ tier: "sealed", mode: "hermetic", reads: [], writes: [] });
+/**
+ * Narrows the effect envelope for a decoded invocation.
+ *
+ * The flow touches nothing, so every invocation declares what the static
+ * envelope declares.
+ *
+ * @category effects
+ * @since 1.0.0
+ */
+export const effectsFor = (_input) => effects;
+/**
+ * Capabilities required by the update_plan flow: none.
+ *
+ * @category capabilities
+ * @since 1.0.0
+ */
+export const capabilities = [];
+/**
+ * Declaration-only update_plan flow.
+ *
+ * @category flows
+ * @since 1.0.0
+ */
+export const flow = { name, description, input: Input, output: Output, capabilities, effects };
+/**
+ * Acknowledges a plan update with Codex's exact response text.
+ *
+ * The single-in-progress rule is checked again here. `Plan` refuses it at
+ * decode time, but a host that calls this handler directly never decodes, and
+ * an invariant enforced in only one of the two entrances is enforced in
+ * neither.
+ *
+ * @category handlers
+ * @since 1.0.0
+ */
+export const run = Effect.fn("UpdatePlan.run")(function* (input) {
+    const running = inProgressCount(input.plan);
+    if (running > 1) {
+        return yield* Effect.fail(new StdError.StdError({
+            code: "invalid_input",
+            message: `At most one step can be in_progress at a time; the plan named ${running}`
+        }));
+    }
+    return { output: "Plan updated" };
+});
+//# sourceMappingURL=UpdatePlan.js.map

package/dist/esm/UpdatePlan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"UpdatePlan.js","sourceRoot":"","sources":["../../src/UpdatePlan.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAA;AACpD,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,aAAa,CAAA;AAEjC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,0BAA0B;IACnD,0FAA0F;IAC1F,kDAAkD,CAAA;AAEpD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC,CAAA;AAElF,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,iBAAiB,EAAE,CAAC;IAChE,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;CAC7D,CAAC,CAAA;AAEF,8DAA8D;AAC9D,MAAM,eAAe,GAAG,CAAC,IAAqC,EAAU,EAAE,CACxE,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;AAEpF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CACzC,MAAM,CAAC,KAAK,CACV,MAAM,CAAC,UAAU,CACf,CAAC,IAAI,EAAE,EAAE,CACP,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;IACxB,CAAC,CAAC,SAAS;IACX,CAAC,CAAC,mEAAmE,EACzE,EAAE,UAAU,EAAE,eAAe,EAAE,CAChC,CACF,CACF,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,mBAAmB,EAAE,CAAC,CAAA;AAEhD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,4CAA4C,EAAE,CAAC,CAAC;IACnH,IAAI,EAAE,IAAI;CACX,CAAC,CAAA;AAUF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,6CAA6C,EAAE,CAAC;CAC/F,CAAC,CAAA;AAUF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAA;AAE5F;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAyB,EAAE,EAAE,CAAC,OAAO,CAAA;AAEhE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAA0B,EAAE,CAAA;AAErD;;;;;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,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,EACtD,KAAwB;IAExB,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAC3C,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,QAAQ,CAAC,QAAQ,CAAC;YACpB,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,iEAAiE,OAAO,EAAE;SACpF,CAAC,CACH,CAAA;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,CAAA;AACnC,CAAC,CAAC,CAAA","sourcesContent":["/**\n * update_plan flow declaration and portable handler.\n *\n * A Codex CLI clone of the `update_plan` tool: an optional explanation and a\n * list of plan items, acknowledged with \"Plan updated\". Pure — no host\n * access; the harness observes plan updates through the journal.\n *\n * @since 1.0.0\n */\n\nimport * as Effect from \"effect/Effect\"\nimport * as Schema from \"effect/Schema\"\nimport { envelope } from \"./internal/Declaration.ts\"\nimport * as StdError from \"./StdError.ts\"\n\n/**\n * Registry name for the update_plan flow. Matches the Codex CLI tool name.\n *\n * @category identifiers\n * @since 1.0.0\n */\nexport const name = \"update_plan\"\n\n/**\n * Model-facing description of the update_plan flow. Matches the Codex CLI\n * description.\n *\n * @category descriptions\n * @since 1.0.0\n */\nexport const description = \"Updates the task plan.\\n\" +\n  \"Provide an optional explanation and a list of plan items, each with a step and status.\\n\" +\n  \"At most one step can be in_progress at a time.\\n\"\n\n/**\n * Status of one plan step, matching Codex.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const StepStatus = Schema.Literals([\"pending\", \"in_progress\", \"completed\"])\n\nconst Step = Schema.Struct({\n  step: Schema.String.annotate({ description: \"Task step text.\" }),\n  status: StepStatus.annotate({ description: \"Step status.\" })\n})\n\n/** How many steps of a plan claim to be running right now. */\nconst inProgressCount = (plan: ReadonlyArray<typeof Step.Type>): number =>\n  plan.reduce((total, item) => item.status === \"in_progress\" ? total + 1 : total, 0)\n\n/**\n * The plan itself: steps, at most one of them `in_progress`.\n *\n * The single-in-progress rule is the last line of the Codex description a\n * model reads every frame, so it is enforced here rather than left as prose a\n * decode ignores. A plan naming two running steps is a decode failure at the\n * `plan` path, not a silent acknowledgement.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const Plan = Schema.Array(Step).pipe(\n  Schema.check(\n    Schema.makeFilter(\n      (plan) =>\n        inProgressCount(plan) <= 1\n          ? undefined\n          : \"invalid_input: at most one plan step can be in_progress at a time\",\n      { identifier: \"invalid_input\" }\n    )\n  )\n).annotate({ description: \"The list of steps\" })\n\n/**\n * Input schema for the update_plan flow.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const Input = Schema.Struct({\n  explanation: Schema.optional(Schema.String.annotate({ description: \"Optional explanation for this plan update.\" })),\n  plan: Plan\n})\n\n/**\n * Decoded input accepted by the `update_plan` flow.\n *\n * @category models\n * @since 1.0.0\n */\nexport type Input = typeof Input.Type\n\n/**\n * Output schema for the update_plan flow.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const Output = Schema.Struct({\n  output: Schema.String.annotate({ description: \"Acknowledgement text, always 'Plan updated'\" })\n})\n\n/**\n * Decoded output returned by the `update_plan` flow.\n *\n * @category models\n * @since 1.0.0\n */\nexport type Output = typeof Output.Type\n\n/**\n * Static effect envelope for the update_plan flow: no reads, no writes.\n *\n * @category effects\n * @since 1.0.0\n */\nexport const effects = envelope({ tier: \"sealed\", mode: \"hermetic\", reads: [], writes: [] })\n\n/**\n * Narrows the effect envelope for a decoded invocation.\n *\n * The flow touches nothing, so every invocation declares what the static\n * envelope declares.\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 update_plan flow: none.\n *\n * @category capabilities\n * @since 1.0.0\n */\nexport const capabilities: ReadonlyArray<string> = []\n\n/**\n * Declaration-only update_plan 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 * Acknowledges a plan update with Codex's exact response text.\n *\n * The single-in-progress rule is checked again here. `Plan` refuses it at\n * decode time, but a host that calls this handler directly never decodes, and\n * an invariant enforced in only one of the two entrances is enforced in\n * neither.\n *\n * @category handlers\n * @since 1.0.0\n */\nexport const run = Effect.fn(\"UpdatePlan.run\")(function*(\n  input: typeof Input.Type\n): Effect.fn.Return<typeof Output.Type, StdError.StdError> {\n  const running = inProgressCount(input.plan)\n  if (running > 1) {\n    return yield* Effect.fail(\n      new StdError.StdError({\n        code: \"invalid_input\",\n        message: `At most one step can be in_progress at a time; the plan named ${running}`\n      })\n    )\n  }\n  return { output: \"Plan updated\" }\n})\n"]}

package/dist/esm/WebFetch.d.ts

@@ -0,0 +1,134 @@
+/**
+ * The `webfetch` flow: an HTTP GET rendered as text, Markdown, or HTML.
+ *
+ * The handler fetches through the permission-checked `HttpClient`, follows at
+ * most ten redirects, refuses a body over 5 MiB, and returns the final URL,
+ * status, and content type beside the rendered body. The rendered body keeps
+ * its first 60,000 bytes and reports any cut with `truncated` and `notice`.
+ *
+ * @since 1.0.0
+ */
+import type { GrantStore } from "@smthrs/kernel/GrantStore";
+import * as HttpClient from "@smthrs/kernel/HttpClient";
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import * as StdError from "./StdError.ts";
+/**
+ * The registry name of the `webfetch` flow.
+ *
+ * @category identifiers
+ * @since 1.0.0
+ */
+export declare const name = "webfetch";
+/**
+ * The one-line description the model sees for the `webfetch` flow.
+ *
+ * @category descriptions
+ * @since 1.0.0
+ */
+export declare const description = "Fetch an HTTP URL and render its content as text, Markdown, or HTML.";
+/**
+ * What the `webfetch` flow accepts.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export declare const Input: Schema.Struct<{
+    readonly url: Schema.String;
+    readonly format: Schema.optional<Schema.Literals<readonly ["text", "markdown", "html"]>>;
+    readonly timeout: Schema.optional<Schema.Number>;
+}>;
+/**
+ * Decoded input accepted by the `webfetch` flow.
+ *
+ * @category models
+ * @since 1.0.0
+ */
+export type Input = typeof Input.Type;
+/**
+ * What the `webfetch` flow returns.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export declare const Output: Schema.Struct<{
+    readonly url: Schema.String;
+    readonly status: Schema.Int;
+    readonly contentType: Schema.String;
+    readonly content: Schema.String;
+    readonly truncated: Schema.Boolean;
+    readonly notice: Schema.optional<Schema.String>;
+}>;
+/**
+ * Decoded output returned by the `webfetch` flow.
+ *
+ * @category models
+ * @since 1.0.0
+ */
+export type Output = typeof Output.Type;
+/**
+ * The declared effect envelope of the `webfetch` flow, before any input is known.
+ *
+ * @category effects
+ * @since 1.0.0
+ */
+export declare const effects: import("@smthrs/plan/Effects").Declaration;
+/**
+ * Narrows {@link effects} to what this particular input actually touches.
+ *
+ * @category effects
+ * @since 1.0.0
+ */
+export declare const effectsFor: (_input: typeof Input.Type) => import("@smthrs/plan/Effects").Declaration;
+/**
+ * The authority the `webfetch` flow requires.
+ *
+ * @category capabilities
+ * @since 1.0.0
+ */
+export declare const capabilities: string[];
+/**
+ * The `webfetch` flow declaration: schemas, capabilities, and effects, with the
+ * implementation attached separately.
+ *
+ * @category flows
+ * @since 1.0.0
+ */
+export declare const flow: {
+    readonly name: "webfetch";
+    readonly description: "Fetch an HTTP URL and render its content as text, Markdown, or HTML.";
+    readonly input: Schema.Struct<{
+        readonly url: Schema.String;
+        readonly format: Schema.optional<Schema.Literals<readonly ["text", "markdown", "html"]>>;
+        readonly timeout: Schema.optional<Schema.Number>;
+    }>;
+    readonly output: Schema.Struct<{
+        readonly url: Schema.String;
+        readonly status: Schema.Int;
+        readonly contentType: Schema.String;
+        readonly content: Schema.String;
+        readonly truncated: Schema.Boolean;
+        readonly notice: Schema.optional<Schema.String>;
+    }>;
+    readonly capabilities: string[];
+    readonly effects: import("@smthrs/plan/Effects").Declaration;
+};
+/**
+ * Runs the `webfetch` flow: fetches one HTTP URL and renders it as text.
+ *
+ * @category handlers
+ * @since 1.0.0
+ */
+export declare const run: (input: {
+    readonly url: string;
+    readonly timeout?: number | undefined;
+    readonly format?: "text" | "markdown" | "html" | undefined;
+}) => Effect.Effect<{
+    readonly status: number;
+    readonly content: string;
+    readonly contentType: string;
+    readonly url: string;
+    readonly truncated: boolean;
+    readonly notice?: string | undefined;
+}, StdError.StdError, GrantStore | HttpClient.HttpClient>;
+//# sourceMappingURL=WebFetch.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"WebFetch.d.ts","sourceRoot":"","sources":["../../src/WebFetch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AAC3D,OAAO,KAAK,UAAU,MAAM,2BAA2B,CAAA;AACvD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAOvC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAGzC;;;;;GAKG;AACH,eAAO,MAAM,IAAI,aAAa,CAAA;AAC9B;;;;;GAKG;AACH,eAAO,MAAM,WAAW,yEAAyE,CAAA;AACjG;;;;;GAKG;AACH,eAAO,MAAM,KAAK;;;;EAQhB,CAAA;AACF;;;;;GAKG;AACH,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AACrC;;;;;GAKG;AACH,eAAO,MAAM,MAAM;;;;;;;EAOjB,CAAA;AACF;;;;;GAKG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC;;;;;GAKG;AACH,eAAO,MAAM,OAAO,4CAAwE,CAAA;AAC5F;;;;;GAKG;AACH,eAAO,MAAM,UAAU,GAAI,QAAQ,OAAO,KAAK,CAAC,IAAI,+CAAY,CAAA;AAChE;;;;;GAKG;AACH,eAAO,MAAM,YAAY,UAA+B,CAAA;AACxD;;;;;;GAMG;AACH,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;CAAsF,CAAA;AAIvG;;;;;GAKG;AACH,eAAO,MAAM,GAAG;;;;;;;;;;;yDA0EsD,CAAA"}

package/dist/esm/WebFetch.js

@@ -0,0 +1,151 @@
+/**
+ * The `webfetch` flow: an HTTP GET rendered as text, Markdown, or HTML.
+ *
+ * The handler fetches through the permission-checked `HttpClient`, follows at
+ * most ten redirects, refuses a body over 5 MiB, and returns the final URL,
+ * status, and content type beside the rendered body. The rendered body keeps
+ * its first 60,000 bytes and reports any cut with `truncated` and `notice`.
+ *
+ * @since 1.0.0
+ */
+import * as HttpClient from "@smthrs/kernel/HttpClient";
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import * as HttpClientRequest from "effect/unstable/http/HttpClientRequest";
+import { capability, envelope } from "./internal/Declaration.js";
+import { toMarkdown, toText } from "./internal/Html.js";
+import { capOutput, header, MAX_RESPONSE_BYTES, readBounded, Timeout, withDeadline } from "./internal/Http.js";
+import { guarded, refusal } from "./internal/HttpNetwork.js";
+import { parseHttpUrl } from "./internal/Url.js";
+import * as StdError from "./StdError.js";
+const maxRedirects = 10;
+/**
+ * The registry name of the `webfetch` flow.
+ *
+ * @category identifiers
+ * @since 1.0.0
+ */
+export const name = "webfetch";
+/**
+ * The one-line description the model sees for the `webfetch` flow.
+ *
+ * @category descriptions
+ * @since 1.0.0
+ */
+export const description = "Fetch an HTTP URL and render its content as text, Markdown, or HTML.";
+/**
+ * What the `webfetch` flow accepts.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export const Input = Schema.Struct({
+    url: Schema.String.annotate({ description: "Absolute http or https URL to retrieve without user information" }),
+    format: Schema.optional(Schema.Literals(["text", "markdown", "html"])).annotate({
+        description: "Response rendering format; defaults to markdown"
+    }),
+    timeout: Schema.optional(Timeout).annotate({
+        description: "Total timeout across requests, redirects, and response body in seconds, capped at 120"
+    })
+});
+/**
+ * What the `webfetch` flow returns.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export const Output = Schema.Struct({
+    url: Schema.String.annotate({ description: "Final URL after redirects" }),
+    status: Schema.Int.annotate({ description: "HTTP status code, including error statuses" }),
+    contentType: Schema.String.annotate({ description: "Response Content-Type header, or an empty string when absent" }),
+    content: Schema.String.annotate({ description: "Response body rendered in the requested format" }),
+    truncated: Schema.Boolean.annotate({ description: "Whether the rendered body exceeded the display budget" }),
+    notice: Schema.optional(Schema.String.annotate({ description: "Truncation disclosure" }))
+});
+/**
+ * The declared effect envelope of the `webfetch` flow, before any input is known.
+ *
+ * @category effects
+ * @since 1.0.0
+ */
+export const effects = envelope({ tier: "sealed", mode: "expected", reads: [], writes: [] });
+/**
+ * Narrows {@link effects} to what this particular input actually touches.
+ *
+ * @category effects
+ * @since 1.0.0
+ */
+export const effectsFor = (_input) => effects;
+/**
+ * The authority the `webfetch` flow requires.
+ *
+ * @category capabilities
+ * @since 1.0.0
+ */
+export const capabilities = [capability("net:get", "*")];
+/**
+ * The `webfetch` flow declaration: schemas, capabilities, and effects, with the
+ * implementation attached separately.
+ *
+ * @category flows
+ * @since 1.0.0
+ */
+export const flow = { name, description, input: Input, output: Output, capabilities, effects };
+const error = (code, message, path) => new StdError.StdError({ code, message, ...(path === undefined ? {} : { path }) });
+/**
+ * Runs the `webfetch` flow: fetches one HTTP URL and renders it as text.
+ *
+ * @category handlers
+ * @since 1.0.0
+ */
+export const run = Effect.fn("WebFetch.run")(function* (input) {
+    let url = parseHttpUrl(input.url);
+    if (url === undefined) {
+        return yield* Effect.fail(error("invalid_input", "URL must use http or https without user information", input.url));
+    }
+    const client = guarded(yield* HttpClient.HttpClient, false);
+    let headers = {
+        accept: input.format === "html" ? "text/html, text/plain;q=0.8" : "text/markdown, text/plain, text/html;q=0.8"
+    };
+    for (let redirect = 0; redirect <= maxRedirects; redirect++) {
+        const response = yield* client.execute(HttpClientRequest.setHeaders(HttpClientRequest.get(url.toString()), headers)).pipe(Effect.mapError((cause) => refusal(cause) ?? error("request_failed", `Web fetch request failed: ${url}`)));
+        const location = header(response.headers, "location");
+        if (response.status >= 300 && response.status < 400 && location !== undefined) {
+            const next = parseHttpUrl(location, url);
+            if (next === undefined) {
+                return yield* Effect.fail(error("invalid_input", "Redirect target must use http or https without user information", location));
+            }
+            if (next.origin !== url.origin) {
+                headers = Object.fromEntries(Object.entries(headers).filter(([key]) => key.toLowerCase() !== "authorization" && key.toLowerCase() !== "cookie"));
+            }
+            url = next;
+            continue;
+        }
+        const contentType = header(response.headers, "content-type") ?? "";
+        const normalizedContentType = contentType.toLowerCase();
+        if (!normalizedContentType.startsWith("text/")
+            && !normalizedContentType.includes("json")
+            && !normalizedContentType.includes("xml")) {
+            return yield* Effect.fail(error("unsupported_content_type", `Unsupported content type: ${contentType || "unknown"}`));
+        }
+        const length = Number(header(response.headers, "content-length"));
+        if (Number.isFinite(length) && length > MAX_RESPONSE_BYTES) {
+            return yield* Effect.fail(error("response_too_large", "Response exceeds the 5 MiB limit"));
+        }
+        const body = yield* readBounded(response.stream, url.toString()).pipe(Effect.mapError((cause) => cause instanceof StdError.StdError
+            ? cause
+            : error("request_failed", "Web fetch response could not be read")));
+        const raw = new TextDecoder().decode(body);
+        const format = input.format ?? "markdown";
+        const { text: content, ...disclosure } = capOutput(format === "html" || !normalizedContentType.includes("html")
+            ? raw
+            : format === "text"
+                ? toText(raw)
+                : toMarkdown(raw));
+        return { url: url.toString(), status: response.status, contentType, content, ...disclosure };
+    }
+    return yield* Effect.fail(error("request_failed", "Web fetch exceeded the redirect limit"));
+}, (effect, input) => 
+// Keep the shared deadline outside the redirect loop and error mapping.
+withDeadline(effect, input.url, input.timeout, (seconds) => error("timeout", `Web fetch timed out after ${seconds} seconds`)));
+//# sourceMappingURL=WebFetch.js.map

package/dist/esm/WebFetch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"WebFetch.js","sourceRoot":"","sources":["../../src/WebFetch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,KAAK,UAAU,MAAM,2BAA2B,CAAA;AACvD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,iBAAiB,MAAM,wCAAwC,CAAA;AAC3E,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAA;AAChE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,kBAAkB,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAC9G,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAA;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC,MAAM,YAAY,GAAG,EAAE,CAAA;AACvB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,UAAU,CAAA;AAC9B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,sEAAsE,CAAA;AACjG;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,iEAAiE,EAAE,CAAC;IAC/G,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC9E,WAAW,EAAE,iDAAiD;KAC/D,CAAC;IACF,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC;QACzC,WAAW,EAAE,uFAAuF;KACrG,CAAC;CACH,CAAC,CAAA;AAQF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,2BAA2B,EAAE,CAAC;IACzE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,4CAA4C,EAAE,CAAC;IAC1F,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,8DAA8D,EAAE,CAAC;IACpH,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,gDAAgD,EAAE,CAAC;IAClG,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,uDAAuD,EAAE,CAAC;IAC5G,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,uBAAuB,EAAE,CAAC,CAAC;CAC1F,CAAC,CAAA;AAQF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAA;AAC5F;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAyB,EAAE,EAAE,CAAC,OAAO,CAAA;AAChE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAA;AACxD;;;;;;GAMG;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,MAAM,KAAK,GAAG,CAAC,IAAmB,EAAE,OAAe,EAAE,IAAa,EAAqB,EAAE,CACvF,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAA;AACnF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,QAAQ,CAAC,EACpD,KAAwB;IAExB,IAAI,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACjC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,KAAK,CAAC,eAAe,EAAE,qDAAqD,EAAE,KAAK,CAAC,GAAG,CAAC,CACzF,CAAA;IACH,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;IAC3D,IAAI,OAAO,GAAqC;QAC9C,MAAM,EAAE,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,4CAA4C;KAC/G,CAAA;IACD,KAAK,IAAI,QAAQ,GAAG,CAAC,EAAE,QAAQ,IAAI,YAAY,EAAE,QAAQ,EAAE,EAAE,CAAC;QAC5D,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACpC,iBAAiB,CAAC,UAAU,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,CAAC,CAC7E,CAAC,IAAI,CACJ,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,gBAAgB,EAAE,6BAA6B,GAAG,EAAE,CAAC,CAAC,CAC1G,CAAA;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;QACrD,IAAI,QAAQ,CAAC,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,MAAM,GAAG,GAAG,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC9E,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;YACxC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,KAAK,CAAC,eAAe,EAAE,iEAAiE,EAAE,QAAQ,CAAC,CACpG,CAAA;YACH,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC;gBAC/B,OAAO,GAAG,MAAM,CAAC,WAAW,CAC1B,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CACvC,GAAG,CAAC,WAAW,EAAE,KAAK,eAAe,IAAI,GAAG,CAAC,WAAW,EAAE,KAAK,QAAQ,CACxE,CACF,CAAA;YACH,CAAC;YACD,GAAG,GAAG,IAAI,CAAA;YACV,SAAQ;QACV,CAAC;QACD,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,CAAA;QAClE,MAAM,qBAAqB,GAAG,WAAW,CAAC,WAAW,EAAE,CAAA;QACvD,IACE,CAAC,qBAAqB,CAAC,UAAU,CAAC,OAAO,CAAC;eACvC,CAAC,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC;eACvC,CAAC,qBAAqB,CAAC,QAAQ,CAAC,KAAK,CAAC,EACzC,CAAC;YACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,KAAK,CAAC,0BAA0B,EAAE,6BAA6B,WAAW,IAAI,SAAS,EAAE,CAAC,CAC3F,CAAA;QACH,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,CAAA;QACjE,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,kBAAkB,EAAE,CAAC;YAC3D,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,kCAAkC,CAAC,CAAC,CAAA;QAC5F,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CACnE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,KAAK,YAAY,QAAQ,CAAC,QAAQ;YAChC,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,KAAK,CAAC,gBAAgB,EAAE,sCAAsC,CAAC,CACpE,CACF,CAAA;QACD,MAAM,GAAG,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,UAAU,CAAA;QACzC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,UAAU,EAAE,GAAG,SAAS,CAChD,MAAM,KAAK,MAAM,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC;YAC1D,CAAC,CAAC,GAAG;YACL,CAAC,CAAC,MAAM,KAAK,MAAM;gBACnB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;gBACb,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CACpB,CAAA;QACD,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,UAAU,EAAE,CAAA;IAC9F,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,EAAE,uCAAuC,CAAC,CAAC,CAAA;AAC7F,CAAC,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;AACnB,wEAAwE;AACxE,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CACzD,KAAK,CAAC,SAAS,EAAE,6BAA6B,OAAO,UAAU,CAAC,CAAC,CAAC,CAAA","sourcesContent":["/**\n * The `webfetch` flow: an HTTP GET rendered as text, Markdown, or HTML.\n *\n * The handler fetches through the permission-checked `HttpClient`, follows at\n * most ten redirects, refuses a body over 5 MiB, and returns the final URL,\n * status, and content type beside the rendered body. The rendered body keeps\n * its first 60,000 bytes and reports any cut with `truncated` and `notice`.\n *\n * @since 1.0.0\n */\n\nimport type { GrantStore } from \"@smthrs/kernel/GrantStore\"\nimport * as HttpClient from \"@smthrs/kernel/HttpClient\"\nimport * as Effect from \"effect/Effect\"\nimport * as Schema from \"effect/Schema\"\nimport * as HttpClientRequest from \"effect/unstable/http/HttpClientRequest\"\nimport { capability, envelope } from \"./internal/Declaration.ts\"\nimport { toMarkdown, toText } from \"./internal/Html.ts\"\nimport { capOutput, header, MAX_RESPONSE_BYTES, readBounded, Timeout, withDeadline } from \"./internal/Http.ts\"\nimport { guarded, refusal } from \"./internal/HttpNetwork.ts\"\nimport { parseHttpUrl } from \"./internal/Url.ts\"\nimport * as StdError from \"./StdError.ts\"\n\nconst maxRedirects = 10\n/**\n * The registry name of the `webfetch` flow.\n *\n * @category identifiers\n * @since 1.0.0\n */\nexport const name = \"webfetch\"\n/**\n * The one-line description the model sees for the `webfetch` flow.\n *\n * @category descriptions\n * @since 1.0.0\n */\nexport const description = \"Fetch an HTTP URL and render its content as text, Markdown, or HTML.\"\n/**\n * What the `webfetch` flow accepts.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const Input = Schema.Struct({\n  url: Schema.String.annotate({ description: \"Absolute http or https URL to retrieve without user information\" }),\n  format: Schema.optional(Schema.Literals([\"text\", \"markdown\", \"html\"])).annotate({\n    description: \"Response rendering format; defaults to markdown\"\n  }),\n  timeout: Schema.optional(Timeout).annotate({\n    description: \"Total timeout across requests, redirects, and response body in seconds, capped at 120\"\n  })\n})\n/**\n * Decoded input accepted by the `webfetch` flow.\n *\n * @category models\n * @since 1.0.0\n */\nexport type Input = typeof Input.Type\n/**\n * What the `webfetch` flow returns.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const Output = Schema.Struct({\n  url: Schema.String.annotate({ description: \"Final URL after redirects\" }),\n  status: Schema.Int.annotate({ description: \"HTTP status code, including error statuses\" }),\n  contentType: Schema.String.annotate({ description: \"Response Content-Type header, or an empty string when absent\" }),\n  content: Schema.String.annotate({ description: \"Response body rendered in the requested format\" }),\n  truncated: Schema.Boolean.annotate({ description: \"Whether the rendered body exceeded the display budget\" }),\n  notice: Schema.optional(Schema.String.annotate({ description: \"Truncation disclosure\" }))\n})\n/**\n * Decoded output returned by the `webfetch` flow.\n *\n * @category models\n * @since 1.0.0\n */\nexport type Output = typeof Output.Type\n/**\n * The declared effect envelope of the `webfetch` flow, before any input is known.\n *\n * @category effects\n * @since 1.0.0\n */\nexport const effects = envelope({ tier: \"sealed\", mode: \"expected\", reads: [], writes: [] })\n/**\n * Narrows {@link effects} to what this particular input actually touches.\n *\n * @category effects\n * @since 1.0.0\n */\nexport const effectsFor = (_input: typeof Input.Type) => effects\n/**\n * The authority the `webfetch` flow requires.\n *\n * @category capabilities\n * @since 1.0.0\n */\nexport const capabilities = [capability(\"net:get\", \"*\")]\n/**\n * The `webfetch` flow declaration: schemas, capabilities, and effects, with the\n * implementation attached separately.\n *\n * @category flows\n * @since 1.0.0\n */\nexport const flow = { name, description, input: Input, output: Output, capabilities, effects } as const\n\nconst error = (code: StdError.Code, message: string, path?: string): StdError.StdError =>\n  new StdError.StdError({ code, message, ...(path === undefined ? {} : { path }) })\n/**\n * Runs the `webfetch` flow: fetches one HTTP URL and renders it as text.\n *\n * @category handlers\n * @since 1.0.0\n */\nexport const run = Effect.fn(\"WebFetch.run\")(function*(\n  input: typeof Input.Type\n): Effect.fn.Return<typeof Output.Type, StdError.StdError, HttpClient.HttpClient | GrantStore> {\n  let url = parseHttpUrl(input.url)\n  if (url === undefined) {\n    return yield* Effect.fail(\n      error(\"invalid_input\", \"URL must use http or https without user information\", input.url)\n    )\n  }\n  const client = guarded(yield* HttpClient.HttpClient, false)\n  let headers: Readonly<Record<string, string>> = {\n    accept: input.format === \"html\" ? \"text/html, text/plain;q=0.8\" : \"text/markdown, text/plain, text/html;q=0.8\"\n  }\n  for (let redirect = 0; redirect <= maxRedirects; redirect++) {\n    const response = yield* client.execute(\n      HttpClientRequest.setHeaders(HttpClientRequest.get(url.toString()), headers)\n    ).pipe(\n      Effect.mapError((cause) => refusal(cause) ?? error(\"request_failed\", `Web fetch request failed: ${url}`))\n    )\n    const location = header(response.headers, \"location\")\n    if (response.status >= 300 && response.status < 400 && location !== undefined) {\n      const next = parseHttpUrl(location, url)\n      if (next === undefined) {\n        return yield* Effect.fail(\n          error(\"invalid_input\", \"Redirect target must use http or https without user information\", location)\n        )\n      }\n      if (next.origin !== url.origin) {\n        headers = Object.fromEntries(\n          Object.entries(headers).filter(([key]) =>\n            key.toLowerCase() !== \"authorization\" && key.toLowerCase() !== \"cookie\"\n          )\n        )\n      }\n      url = next\n      continue\n    }\n    const contentType = header(response.headers, \"content-type\") ?? \"\"\n    const normalizedContentType = contentType.toLowerCase()\n    if (\n      !normalizedContentType.startsWith(\"text/\")\n      && !normalizedContentType.includes(\"json\")\n      && !normalizedContentType.includes(\"xml\")\n    ) {\n      return yield* Effect.fail(\n        error(\"unsupported_content_type\", `Unsupported content type: ${contentType || \"unknown\"}`)\n      )\n    }\n    const length = Number(header(response.headers, \"content-length\"))\n    if (Number.isFinite(length) && length > MAX_RESPONSE_BYTES) {\n      return yield* Effect.fail(error(\"response_too_large\", \"Response exceeds the 5 MiB limit\"))\n    }\n    const body = yield* readBounded(response.stream, url.toString()).pipe(\n      Effect.mapError((cause) =>\n        cause instanceof StdError.StdError\n          ? cause\n          : error(\"request_failed\", \"Web fetch response could not be read\")\n      )\n    )\n    const raw = new TextDecoder().decode(body)\n    const format = input.format ?? \"markdown\"\n    const { text: content, ...disclosure } = capOutput(\n      format === \"html\" || !normalizedContentType.includes(\"html\")\n        ? raw\n        : format === \"text\"\n        ? toText(raw)\n        : toMarkdown(raw)\n    )\n    return { url: url.toString(), status: response.status, contentType, content, ...disclosure }\n  }\n  return yield* Effect.fail(error(\"request_failed\", \"Web fetch exceeded the redirect limit\"))\n}, (effect, input) =>\n  // Keep the shared deadline outside the redirect loop and error mapping.\n  withDeadline(effect, input.url, input.timeout, (seconds) =>\n    error(\"timeout\", `Web fetch timed out after ${seconds} seconds`)))\n"]}