@llm4ts/flow 0.1.0

package/dist/PlanExecution.js

@@ -0,0 +1,19 @@
+import * as Effect from "effect/Effect";
+import { StageCompleted, StageFailed, StageStarted } from "./FlowEvents.js";
+const errorMessage = (error) => error instanceof Error && error.message.length > 0 ? error.message : String(error);
+export const stage = (events, name, effect) => events.publish(StageStarted.make({ stage: name })).pipe(Effect.andThen(effect), Effect.tap(() => events.publish(StageCompleted.make({ stage: name }))), Effect.tapError((error) => events.publish(StageFailed.make({
+    stage: name,
+    message: errorMessage(error)
+}))));
+export const implementTaskLoop = Effect.fn("@llm4ts/flow/PlanExecution.implementTaskLoop")(function* (store, events, planPath, plan, perTask) {
+    let current = plan;
+    for (const task of plan.tasks) {
+        if (!task.completed) {
+            yield* stage(events, task.title, perTask(task));
+            current = current.complete(task.title);
+            yield* store.save(planPath, current);
+        }
+    }
+    return current;
+});
+//# sourceMappingURL=PlanExecution.js.map

package/dist/PlanExecution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PlanExecution.js","sourceRoot":"","sources":["../src/PlanExecution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,YAAY,EAAwB,MAAM,iBAAiB,CAAA;AAKjG,MAAM,YAAY,GAAG,CAAC,KAAc,EAAU,EAAE,CAC9C,KAAK,YAAY,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAEpF,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,MAAuB,EACvB,IAAY,EACZ,MAA8B,EACN,EAAE,CAC1B,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CACrD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EACtB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EACtE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,MAAM,CAAC,OAAO,CACZ,WAAW,CAAC,IAAI,CAAC;IACf,KAAK,EAAE,IAAI;IACX,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC;CAC7B,CAAC,CACH,CACF,CACF,CAAA;AAEH,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,EAAE,CAAC,8CAA8C,CAAC,CACxF,QAAQ,CAAC,EACP,KAAqB,EACrB,MAAuB,EACvB,QAAgB,EAChB,IAAU,EACV,OAAkD;IAElD,IAAI,OAAO,GAAG,IAAI,CAAA;IAClB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YACpB,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA;YAC/C,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACtC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;QACtC,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC,CACF,CAAA"}

package/dist/Planner.d.ts

@@ -0,0 +1,32 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import type { LlmServiceShape } from "@llm4ts/core/LlmService";
+import type { JsonSchema } from "@llm4ts/core/Models";
+import { FlowLlmError } from "./FlowError.ts";
+import { Plan } from "./Plan.ts";
+declare const Proceed_base: Schema.Class<Proceed, Schema.Struct<{
+    readonly kind: Schema.Literal<"Proceed">;
+    readonly value: typeof Plan;
+}>, {}>;
+export declare class Proceed extends Proceed_base {
+}
+declare const Blocked_base: Schema.Class<Blocked, Schema.Struct<{
+    readonly kind: Schema.Literal<"Blocked">;
+    readonly reason: Schema.String;
+}>, {}>;
+export declare class Blocked extends Blocked_base {
+}
+export declare const Verdict: Schema.Union<readonly [typeof Proceed, typeof Blocked]>;
+export type Verdict = typeof Verdict.Type;
+export declare const planJsonSchema: JsonSchema;
+export declare const defaultPlanInstructions: string;
+export declare const planFrom: (reasoning: LlmServiceShape, prompt: string, instructions?: any) => Effect.Effect<Plan, FlowLlmError, never>;
+export declare const reviewPlanInstructions: string;
+export declare const reviewPlan: (reasoning: LlmServiceShape, plan: Plan, instructions?: any) => Effect.Effect<Plan, FlowLlmError, never>;
+export declare const briefInstructions: string;
+export declare const writeBrief: (reasoning: LlmServiceShape, prompt: string, instructions?: any) => Effect.Effect<string, FlowLlmError, never>;
+export declare const briefPlan: (reasoning: LlmServiceShape, plan: Plan, prompt: string, instructions?: any) => Effect.Effect<Plan, FlowLlmError, never>;
+export declare const assessThenPlanInstructions: string;
+export declare const assessThenPlan: (reasoning: LlmServiceShape, prompt: string, instructions?: any) => Effect.Effect<Proceed | Blocked, FlowLlmError, never>;
+export {};
+//# sourceMappingURL=Planner.d.ts.map

package/dist/Planner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Planner.d.ts","sourceRoot":"","sources":["../src/Planner.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAErD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;;;;;AAEhC,qBAAa,OAAQ,SAAQ,YAG3B;CAAG;;;;;AAEL,qBAAa,OAAQ,SAAQ,YAG3B;CAAG;AAEL,eAAO,MAAM,OAAO,yDAAmC,CAAA;AACvD,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAEzC,eAAO,MAAM,cAAc,EAAE,UAmB5B,CAAA;AAYD,eAAO,MAAM,uBAAuB,QAMxB,CAAA;AAEZ,eAAO,MAAM,QAAQ,8GAQnB,CAAA;AAEF,eAAO,MAAM,sBAAsB,QAKvB,CAAA;AAEZ,eAAO,MAAM,UAAU,0GAYrB,CAAA;AAEF,eAAO,MAAM,iBAAiB,QAIlB,CAAA;AAEZ,eAAO,MAAM,UAAU,gHASrB,CAAA;AAEF,eAAO,MAAM,SAAS,0HAQpB,CAAA;AAEF,eAAO,MAAM,0BAA0B,QAK3B,CAAA;AAEZ,eAAO,MAAM,cAAc,2HAQzB,CAAA"}

package/dist/Planner.js

@@ -0,0 +1,97 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { collect } from "@llm4ts/core/Streaming";
+import { FlowLlmError } from "./FlowError.js";
+import { Plan } from "./Plan.js";
+export class Proceed extends Schema.Class("Proceed")({
+    kind: Schema.Literal("Proceed"),
+    value: Plan
+}) {
+}
+export class Blocked extends Schema.Class("Blocked")({
+    kind: Schema.Literal("Blocked"),
+    reason: Schema.String
+}) {
+}
+export const Verdict = Schema.Union([Proceed, Blocked]);
+export const planJsonSchema = {
+    type: "object",
+    properties: {
+        epicId: { type: "string" },
+        tasks: {
+            type: "array",
+            items: {
+                type: "object",
+                properties: {
+                    title: { type: "string" },
+                    description: { type: "string" },
+                    completed: { type: "boolean" }
+                },
+                required: ["title", "description", "completed"]
+            }
+        },
+        brief: { type: "string" }
+    },
+    required: ["epicId", "tasks"]
+};
+const verdictJsonSchema = {
+    type: "object",
+    properties: {
+        kind: { type: "string", enum: ["Proceed", "Blocked"] },
+        value: planJsonSchema,
+        reason: { type: "string" }
+    },
+    required: ["kind"]
+};
+export const defaultPlanInstructions = [
+    "You are a planning assistant. Break the user's request into an ordered list of small,",
+    "independently implementable tasks. Each task must be a thin vertical slice with an observable",
+    "outcome, described in terms of behavior rather than mechanism. Choose a short kebab-case epicId.",
+    'Respond only with JSON: {"epicId":"kebab-case-id","tasks":',
+    '[{"title":"...","description":"...","completed":false}]}'
+].join("\n");
+export const planFrom = Effect.fn("@llm4ts/flow/Planner.from")(function* (reasoning, prompt, instructions = defaultPlanInstructions) {
+    return yield* reasoning
+        .executeStructured(`${instructions}\n\nRequest:\n${prompt}`, Plan, planJsonSchema)
+        .pipe(Effect.mapError(FlowLlmError.from));
+});
+export const reviewPlanInstructions = [
+    "Review the draft implementation plan for correctness, completeness, simplicity, and concision.",
+    "Keep the same epicId unless it is clearly wrong. Return the complete improved plan, not a patch.",
+    'Respond only with JSON: {"epicId":"kebab-case-id","tasks":',
+    '[{"title":"...","description":"...","completed":false}]}'
+].join("\n");
+export const reviewPlan = Effect.fn("@llm4ts/flow/Planner.review")(function* (reasoning, plan, instructions = reviewPlanInstructions) {
+    const improved = yield* reasoning
+        .executeStructured(`${instructions}\n\nDraft plan:\n${plan.render}`, Plan, planJsonSchema)
+        .pipe(Effect.mapError(FlowLlmError.from));
+    return Plan.make({
+        ...improved,
+        ...(plan.brief === undefined ? {} : { brief: plan.brief })
+    });
+});
+export const briefInstructions = [
+    "Write a concise codebase brief for an engineer about to implement this change:",
+    "relevant modules and file paths, important APIs and types, conventions, and build/test commands.",
+    "Explore the repository as needed. Do not restate the task list. Return plain prose."
+].join("\n");
+export const writeBrief = Effect.fn("@llm4ts/flow/Planner.brief")(function* (reasoning, prompt, instructions = briefInstructions) {
+    const response = yield* collect(reasoning.executeStream(`${instructions}\n\nChange request:\n${prompt}`)).pipe(Effect.mapError(FlowLlmError.from));
+    return response.content.trim();
+});
+export const briefPlan = Effect.fn("@llm4ts/flow/Planner.briefPlan")(function* (reasoning, plan, prompt, instructions = briefInstructions) {
+    const brief = yield* writeBrief(reasoning, prompt, instructions);
+    return Plan.make({ ...plan, brief });
+});
+export const assessThenPlanInstructions = [
+    "First decide whether this request is ready to implement.",
+    'Respond only with JSON using exactly one form: {"kind":"Blocked","reason":"why it cannot proceed"}',
+    'or {"kind":"Proceed","value":{"epicId":"kebab-id","tasks":',
+    '[{"title":"...","description":"...","completed":false}]}}.'
+].join("\n");
+export const assessThenPlan = Effect.fn("@llm4ts/flow/Planner.assessThenPlan")(function* (reasoning, prompt, instructions = assessThenPlanInstructions) {
+    return yield* reasoning
+        .executeStructured(`${instructions}\n\nRequest:\n${prompt}`, Verdict, verdictJsonSchema)
+        .pipe(Effect.mapError(FlowLlmError.from));
+});
+//# sourceMappingURL=Planner.js.map

package/dist/Planner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Planner.js","sourceRoot":"","sources":["../src/Planner.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,KAAK,CAAU,SAAS,CAAC,CAAC;IAC5D,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAC/B,KAAK,EAAE,IAAI;CACZ,CAAC;CAAG;AAEL,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,KAAK,CAAU,SAAS,CAAC,CAAC;IAC5D,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAA;AAGvD,MAAM,CAAC,MAAM,cAAc,GAAe;IACxC,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1B,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzB,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC/B,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;iBAC/B;gBACD,QAAQ,EAAE,CAAC,OAAO,EAAE,aAAa,EAAE,WAAW,CAAC;aAChD;SACF;QACD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;KAC1B;IACD,QAAQ,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC9B,CAAA;AAED,MAAM,iBAAiB,GAAe;IACpC,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE;QACtD,KAAK,EAAE,cAAc;QACrB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;KAC3B;IACD,QAAQ,EAAE,CAAC,MAAM,CAAC;CACnB,CAAA;AAED,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,uFAAuF;IACvF,+FAA+F;IAC/F,kGAAkG;IAClG,4DAA4D;IAC5D,0DAA0D;CAC3D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAEZ,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,QAAQ,CAAC,EACtE,SAA0B,EAC1B,MAAc,EACd,YAAY,GAAG,uBAAuB;IAEtC,OAAO,KAAK,CAAC,CAAC,SAAS;SACpB,iBAAiB,CAAC,GAAG,YAAY,iBAAiB,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,CAAC;SACjF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAA;AAC7C,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,gGAAgG;IAChG,kGAAkG;IAClG,4DAA4D;IAC5D,0DAA0D;CAC3D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAEZ,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,6BAA6B,CAAC,CAAC,QAAQ,CAAC,EAC1E,SAA0B,EAC1B,IAAU,EACV,YAAY,GAAG,sBAAsB;IAErC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,SAAS;SAC9B,iBAAiB,CAAC,GAAG,YAAY,oBAAoB,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,CAAC;SACzF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAA;IAC3C,OAAO,IAAI,CAAC,IAAI,CAAC;QACf,GAAG,QAAQ;QACX,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;KAC3D,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,gFAAgF;IAChF,kGAAkG;IAClG,qFAAqF;CACtF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAEZ,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAC,QAAQ,CAAC,EACzE,SAA0B,EAC1B,MAAc,EACd,YAAY,GAAG,iBAAiB;IAEhC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,OAAO,CAC7B,SAAS,CAAC,aAAa,CAAC,GAAG,YAAY,wBAAwB,MAAM,EAAE,CAAC,CACzE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAA;IAC1C,OAAO,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;AAChC,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,EAAE,CAAC,gCAAgC,CAAC,CAAC,QAAQ,CAAC,EAC5E,SAA0B,EAC1B,IAAU,EACV,MAAc,EACd,YAAY,GAAG,iBAAiB;IAEhC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,CAAC,CAAA;IAChE,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AACtC,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG;IACxC,0DAA0D;IAC1D,oGAAoG;IACpG,4DAA4D;IAC5D,4DAA4D;CAC7D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAEZ,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,EAAE,CAAC,qCAAqC,CAAC,CAAC,QAAQ,CAAC,EACtF,SAA0B,EAC1B,MAAc,EACd,YAAY,GAAG,0BAA0B;IAEzC,OAAO,KAAK,CAAC,CAAC,SAAS;SACpB,iBAAiB,CAAC,GAAG,YAAY,iBAAiB,MAAM,EAAE,EAAE,OAAO,EAAE,iBAAiB,CAAC;SACvF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAA;AAC7C,CAAC,CAAC,CAAA"}

package/dist/PrSummary.d.ts

@@ -0,0 +1,15 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import type { LlmServiceShape } from "@llm4ts/core/LlmService";
+import type { JsonSchema } from "@llm4ts/core/Models";
+import { FlowLlmError } from "./FlowError.ts";
+declare const PrSummary_base: Schema.Class<PrSummary, Schema.Struct<{
+    readonly title: Schema.String;
+    readonly body: Schema.String;
+}>, {}>;
+export declare class PrSummary extends PrSummary_base {
+}
+export declare const prSummaryJsonSchema: JsonSchema;
+export declare const summarisePr: (reasoning: LlmServiceShape, diff: string, context?: string | undefined) => Effect.Effect<PrSummary, FlowLlmError, never>;
+export {};
+//# sourceMappingURL=PrSummary.d.ts.map

package/dist/PrSummary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"PrSummary.d.ts","sourceRoot":"","sources":["../src/PrSummary.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;;;;;AAE7C,qBAAa,SAAU,SAAQ,cAG7B;CAAG;AAEL,eAAO,MAAM,mBAAmB,EAAE,UAOjC,CAAA;AAED,eAAO,MAAM,WAAW,2HAgBtB,CAAA"}

package/dist/PrSummary.js

@@ -0,0 +1,29 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { FlowLlmError } from "./FlowError.js";
+export class PrSummary extends Schema.Class("PrSummary")({
+    title: Schema.String,
+    body: Schema.String
+}) {
+}
+export const prSummaryJsonSchema = {
+    type: "object",
+    properties: {
+        title: { type: "string" },
+        body: { type: "string" }
+    },
+    required: ["title", "body"]
+};
+export const summarisePr = Effect.fn("@llm4ts/flow/PrSummary.summarise")(function* (reasoning, diff, context) {
+    const contextBlock = context === undefined || context.length === 0 ? "" : `\nContext:\n${context}\n`;
+    const prompt = [
+        'Summarise this change as a pull request. Respond only with JSON: {"title":"...","body":"..."}.',
+        contextBlock,
+        "Diff:",
+        diff
+    ].join("\n");
+    return yield* reasoning
+        .executeStructured(prompt, PrSummary, prSummaryJsonSchema)
+        .pipe(Effect.mapError(FlowLlmError.from));
+});
+//# sourceMappingURL=PrSummary.js.map

package/dist/PrSummary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PrSummary.js","sourceRoot":"","sources":["../src/PrSummary.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAE7C,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,KAAK,CAAY,WAAW,CAAC,CAAC;IAClE,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,IAAI,EAAE,MAAM,CAAC,MAAM;CACpB,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,mBAAmB,GAAe;IAC7C,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QACzB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;KACzB;IACD,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC;CAC5B,CAAA;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,kCAAkC,CAAC,CAAC,QAAQ,CAAC,EAChF,SAA0B,EAC1B,IAAY,EACZ,OAAgB;IAEhB,MAAM,YAAY,GAChB,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,OAAO,IAAI,CAAA;IACjF,MAAM,MAAM,GAAG;QACb,gGAAgG;QAChG,YAAY;QACZ,OAAO;QACP,IAAI;KACL,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACZ,OAAO,KAAK,CAAC,CAAC,SAAS;SACpB,iBAAiB,CAAC,MAAM,EAAE,SAAS,EAAE,mBAAmB,CAAC;SACzD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAA;AAC7C,CAAC,CAAC,CAAA"}

package/dist/PriceList.d.ts

@@ -0,0 +1,11 @@
+import type { TokenUsage } from "@llm4ts/core/Models";
+export interface ModelRate {
+    readonly prefix: string;
+    readonly inputUsdPerMillion: number;
+    readonly outputUsdPerMillion: number;
+    readonly cachedInputMultiplier: number;
+}
+export declare const PricesAsOf = "2026-07";
+export declare const ModelRates: ReadonlyArray<ModelRate>;
+export declare const estimateCostUsd: (model: string, usage: TokenUsage) => number | undefined;
+//# sourceMappingURL=PriceList.d.ts.map

package/dist/PriceList.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"PriceList.d.ts","sourceRoot":"","sources":["../src/PriceList.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAErD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;IACnC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAA;IACpC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAA;CACvC;AAED,eAAO,MAAM,UAAU,YAAY,CAAA;AAEnC,eAAO,MAAM,UAAU,EAAE,aAAa,CAAC,SAAS,CAmE9C,CAAA;AAEF,eAAO,MAAM,eAAe,GAAI,OAAO,MAAM,EAAE,OAAO,UAAU,KAAG,MAAM,GAAG,SAU3E,CAAA"}

package/dist/PriceList.js

@@ -0,0 +1,79 @@
+export const PricesAsOf = "2026-07";
+export const ModelRates = Object.freeze([
+    {
+        prefix: "claude-fable-5",
+        inputUsdPerMillion: 10,
+        outputUsdPerMillion: 50,
+        cachedInputMultiplier: 0.1
+    },
+    {
+        prefix: "claude-opus-4",
+        inputUsdPerMillion: 15,
+        outputUsdPerMillion: 75,
+        cachedInputMultiplier: 0.1
+    },
+    {
+        prefix: "claude-sonnet-4",
+        inputUsdPerMillion: 3,
+        outputUsdPerMillion: 15,
+        cachedInputMultiplier: 0.1
+    },
+    {
+        prefix: "claude-haiku-4",
+        inputUsdPerMillion: 1,
+        outputUsdPerMillion: 5,
+        cachedInputMultiplier: 0.1
+    },
+    {
+        prefix: "gemini-2.5-pro",
+        inputUsdPerMillion: 1.25,
+        outputUsdPerMillion: 10,
+        cachedInputMultiplier: 0.1
+    },
+    {
+        prefix: "gemini-2.5-flash",
+        inputUsdPerMillion: 0.3,
+        outputUsdPerMillion: 2.5,
+        cachedInputMultiplier: 0.1
+    },
+    {
+        prefix: "gpt-5.5",
+        inputUsdPerMillion: 5,
+        outputUsdPerMillion: 30,
+        cachedInputMultiplier: 0.1
+    },
+    {
+        prefix: "grok-4.5",
+        inputUsdPerMillion: 2,
+        outputUsdPerMillion: 6,
+        cachedInputMultiplier: 0.1
+    },
+    {
+        prefix: "grok-4.3",
+        inputUsdPerMillion: 1.25,
+        outputUsdPerMillion: 2.5,
+        cachedInputMultiplier: 0.1
+    },
+    {
+        prefix: "grok-4.20",
+        inputUsdPerMillion: 1.25,
+        outputUsdPerMillion: 2.5,
+        cachedInputMultiplier: 0.1
+    },
+    {
+        prefix: "grok-build-0.1",
+        inputUsdPerMillion: 1,
+        outputUsdPerMillion: 2,
+        cachedInputMultiplier: 0.1
+    }
+]);
+export const estimateCostUsd = (model, usage) => {
+    const rate = ModelRates.find(({ prefix }) => model.startsWith(prefix));
+    if (rate === undefined) {
+        return undefined;
+    }
+    return ((usage.prompt / 1_000_000) * rate.inputUsdPerMillion +
+        (usage.completion / 1_000_000) * rate.outputUsdPerMillion +
+        ((usage.cached ?? 0) / 1_000_000) * rate.inputUsdPerMillion * rate.cachedInputMultiplier);
+};
+//# sourceMappingURL=PriceList.js.map

package/dist/PriceList.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PriceList.js","sourceRoot":"","sources":["../src/PriceList.ts"],"names":[],"mappings":"AASA,MAAM,CAAC,MAAM,UAAU,GAAG,SAAS,CAAA;AAEnC,MAAM,CAAC,MAAM,UAAU,GAA6B,MAAM,CAAC,MAAM,CAAC;IAChE;QACE,MAAM,EAAE,gBAAgB;QACxB,kBAAkB,EAAE,EAAE;QACtB,mBAAmB,EAAE,EAAE;QACvB,qBAAqB,EAAE,GAAG;KAC3B;IACD;QACE,MAAM,EAAE,eAAe;QACvB,kBAAkB,EAAE,EAAE;QACtB,mBAAmB,EAAE,EAAE;QACvB,qBAAqB,EAAE,GAAG;KAC3B;IACD;QACE,MAAM,EAAE,iBAAiB;QACzB,kBAAkB,EAAE,CAAC;QACrB,mBAAmB,EAAE,EAAE;QACvB,qBAAqB,EAAE,GAAG;KAC3B;IACD;QACE,MAAM,EAAE,gBAAgB;QACxB,kBAAkB,EAAE,CAAC;QACrB,mBAAmB,EAAE,CAAC;QACtB,qBAAqB,EAAE,GAAG;KAC3B;IACD;QACE,MAAM,EAAE,gBAAgB;QACxB,kBAAkB,EAAE,IAAI;QACxB,mBAAmB,EAAE,EAAE;QACvB,qBAAqB,EAAE,GAAG;KAC3B;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,kBAAkB,EAAE,GAAG;QACvB,mBAAmB,EAAE,GAAG;QACxB,qBAAqB,EAAE,GAAG;KAC3B;IACD;QACE,MAAM,EAAE,SAAS;QACjB,kBAAkB,EAAE,CAAC;QACrB,mBAAmB,EAAE,EAAE;QACvB,qBAAqB,EAAE,GAAG;KAC3B;IACD;QACE,MAAM,EAAE,UAAU;QAClB,kBAAkB,EAAE,CAAC;QACrB,mBAAmB,EAAE,CAAC;QACtB,qBAAqB,EAAE,GAAG;KAC3B;IACD;QACE,MAAM,EAAE,UAAU;QAClB,kBAAkB,EAAE,IAAI;QACxB,mBAAmB,EAAE,GAAG;QACxB,qBAAqB,EAAE,GAAG;KAC3B;IACD;QACE,MAAM,EAAE,WAAW;QACnB,kBAAkB,EAAE,IAAI;QACxB,mBAAmB,EAAE,GAAG;QACxB,qBAAqB,EAAE,GAAG;KAC3B;IACD;QACE,MAAM,EAAE,gBAAgB;QACxB,kBAAkB,EAAE,CAAC;QACrB,mBAAmB,EAAE,CAAC;QACtB,qBAAqB,EAAE,GAAG;KAC3B;CACF,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAa,EAAE,KAAiB,EAAsB,EAAE;IACtF,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAA;IACtE,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,CACL,CAAC,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,GAAG,IAAI,CAAC,kBAAkB;QACpD,CAAC,KAAK,CAAC,UAAU,GAAG,SAAS,CAAC,GAAG,IAAI,CAAC,mBAAmB;QACzD,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC,GAAG,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC,qBAAqB,CACzF,CAAA;AACH,CAAC,CAAA"}

package/dist/Provenance.d.ts

@@ -0,0 +1,27 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { PersistenceError, type FlowError } from "./FlowError.ts";
+import type { PlainFileStoreShape } from "./Persistence.ts";
+declare const Provenance_base: Schema.Class<Provenance, Schema.Struct<{
+    readonly schema: Schema.Int;
+    readonly pack: Schema.String;
+    readonly llm4tsVersion: Schema.String;
+    readonly createdAt: Schema.String;
+    readonly approvedBy: Schema.optionalKey<Schema.String>;
+    readonly seats: Schema.$Record<Schema.String, Schema.String>;
+    readonly specs: Schema.$Record<Schema.String, Schema.String>;
+    readonly gateVerdicts: Schema.$Record<Schema.String, Schema.String>;
+    readonly equivalenceReport: Schema.optionalKey<Schema.String>;
+    readonly fixSpecs: Schema.$Array<Schema.String>;
+}>, {}>;
+export declare class Provenance extends Provenance_base {
+}
+export interface ProvenanceStoreShape {
+    readonly write: (path: string, provenance: Provenance) => Effect.Effect<void, FlowError>;
+    readonly load: (path: string) => Effect.Effect<Provenance, FlowError>;
+    readonly extend: (path: string, update: (current: Provenance) => Provenance) => Effect.Effect<Provenance, FlowError>;
+    readonly hashFiles: (root: string, paths: ReadonlyArray<string>) => Effect.Effect<Readonly<Record<string, string>>, PersistenceError>;
+}
+export declare const makeProvenanceStore: (files: PlainFileStoreShape) => ProvenanceStoreShape;
+export {};
+//# sourceMappingURL=Provenance.d.ts.map

package/dist/Provenance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Provenance.d.ts","sourceRoot":"","sources":["../src/Provenance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,gBAAgB,EAAkB,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAA;AACjF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAA;;;;;;;;;;;;;AAE3D,qBAAa,UAAW,SAAQ,eAW9B;CAAG;AAKL,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IACxF,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,CAAA;IACrE,QAAQ,CAAC,MAAM,EAAE,CACf,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,CAAC,OAAO,EAAE,UAAU,KAAK,UAAU,KACxC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,CAAA;IACzC,QAAQ,CAAC,SAAS,EAAE,CAClB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,KACzB,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAA;CACvE;AAED,eAAO,MAAM,mBAAmB,GAAI,OAAO,mBAAmB,KAAG,oBAkDhE,CAAA"}

package/dist/Provenance.js

@@ -0,0 +1,38 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { PersistenceError, PlanParseError } from "./FlowError.js";
+export class Provenance extends Schema.Class("Provenance")({
+    schema: Schema.Int,
+    pack: Schema.String,
+    llm4tsVersion: Schema.String,
+    createdAt: Schema.String,
+    approvedBy: Schema.optionalKey(Schema.String),
+    seats: Schema.Record(Schema.String, Schema.String),
+    specs: Schema.Record(Schema.String, Schema.String),
+    gateVerdicts: Schema.Record(Schema.String, Schema.String),
+    equivalenceReport: Schema.optionalKey(Schema.String),
+    fixSpecs: Schema.Array(Schema.String)
+}) {
+}
+const join = (root, path) => `${root.replace(/[\\/]+$/, "")}/${path.replace(/^[\\/]+/, "")}`;
+export const makeProvenanceStore = (files) => {
+    const write = (path, provenance) => Schema.encodeEffect(Schema.fromJsonString(Provenance))(provenance).pipe(Effect.mapError((error) => PlanParseError.make({
+        message: `failed to encode provenance manifest ${path}: ${String(error)}`
+    })), Effect.flatMap((contents) => files.writeAtomic(path, `${contents}\n`)));
+    const load = (path) => Effect.flatMap(files.read(path), (contents) => contents === undefined
+        ? Effect.fail(PersistenceError.make({
+            message: `provenance manifest does not exist: ${path}`
+        }))
+        : Schema.decodeUnknownEffect(Schema.fromJsonString(Provenance))(contents).pipe(Effect.mapError((error) => PlanParseError.make({
+            message: `malformed provenance manifest ${path}: ${String(error)}`
+        }))));
+    const extend = (path, update) => Effect.flatMap(load(path), (current) => {
+        const updated = update(current);
+        return write(path, updated).pipe(Effect.as(updated));
+    });
+    const hashFiles = (root, paths) => Effect.forEach(paths, (path) => files
+        .hashSha256(join(root, path))
+        .pipe(Effect.map((hash) => [path, hash]))).pipe(Effect.map(Object.fromEntries));
+    return { write, load, extend, hashFiles };
+};
+//# sourceMappingURL=Provenance.js.map

package/dist/Provenance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Provenance.js","sourceRoot":"","sources":["../src/Provenance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAkB,MAAM,gBAAgB,CAAA;AAGjF,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,KAAK,CAAa,YAAY,CAAC,CAAC;IACrE,MAAM,EAAE,MAAM,CAAC,GAAG;IAClB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,aAAa,EAAE,MAAM,CAAC,MAAM;IAC5B,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IAC7C,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;IAClD,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;IAClD,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;IACzD,iBAAiB,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IACpD,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;CACtC,CAAC;CAAG;AAEL,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,IAAY,EAAU,EAAE,CAClD,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAA;AAejE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,KAA0B,EAAwB,EAAE;IACtF,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,UAAsB,EAAkC,EAAE,CACrF,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CACrE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,cAAc,CAAC,IAAI,CAAC;QAClB,OAAO,EAAE,wCAAwC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE;KAC1E,CAAC,CACH,EACD,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,QAAQ,IAAI,CAAC,CAAC,CACvE,CAAA;IAEH,MAAM,IAAI,GAAG,CAAC,IAAY,EAAwC,EAAE,CAClE,MAAM,CAAC,OAAO,CACZ,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAChB,CAAC,QAAQ,EAAwC,EAAE,CACjD,QAAQ,KAAK,SAAS;QACpB,CAAC,CAAC,MAAM,CAAC,IAAI,CACT,gBAAgB,CAAC,IAAI,CAAC;YACpB,OAAO,EAAE,uCAAuC,IAAI,EAAE;SACvD,CAAC,CACH;QACH,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAC1E,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,cAAc,CAAC,IAAI,CAAC;YAClB,OAAO,EAAE,iCAAiC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE;SACnE,CAAC,CACH,CACF,CACR,CAAA;IAEH,MAAM,MAAM,GAAG,CACb,IAAY,EACZ,MAA2C,EACL,EAAE,CACxC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE;QACrC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;QAC/B,OAAO,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAA;IACtD,CAAC,CAAC,CAAA;IAEJ,MAAM,SAAS,GAAG,CAChB,IAAY,EACZ,KAA4B,EACuC,EAAE,CACrE,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAC7B,KAAK;SACF,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;SAC5B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAyC,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CACnF,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAA;IAExC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAA;AAC3C,CAAC,CAAA"}

package/dist/Replay.d.ts

@@ -0,0 +1,29 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import type { LlmServiceShape } from "@llm4ts/core/LlmService";
+import { TokenUsage } from "@llm4ts/core/Models";
+import { PlanParseError, UnsupportedSchemaVersion } from "./FlowError.ts";
+import { TraceLine } from "./FlowRecorder.ts";
+import type { PlainFileStoreShape } from "./Persistence.ts";
+export declare const CurrentTraceSchema = 1;
+declare const ReplaySuccess_base: Schema.Class<ReplaySuccess, Schema.TaggedStruct<"Success", {
+    readonly text: Schema.String;
+    readonly usage: Schema.optionalKey<typeof TokenUsage>;
+    readonly model: Schema.optionalKey<Schema.String>;
+}>, {}>;
+export declare class ReplaySuccess extends ReplaySuccess_base {
+}
+declare const ReplayFailure_base: Schema.Class<ReplayFailure, Schema.TaggedStruct<"Failure", {
+    readonly message: Schema.String;
+    readonly model: Schema.optionalKey<Schema.String>;
+}>, {}>;
+export declare class ReplayFailure extends ReplayFailure_base {
+}
+export declare const ReplayTurn: Schema.Union<readonly [typeof ReplaySuccess, typeof ReplayFailure]>;
+export type ReplayTurn = typeof ReplayTurn.Type;
+export declare const segmentReplayTurns: (lines: ReadonlyArray<TraceLine>) => ReadonlyArray<ReplayTurn>;
+export declare const readTrace: (files: PlainFileStoreShape, path: string) => Effect.Effect<readonly TraceLine[], import("./FlowError.ts").PersistenceError | PlanParseError | UnsupportedSchemaVersion | import("./FlowError.ts").WorkspacePathError | import("./FlowError.ts").WorkspaceLimitError | import("./FlowError.ts").WorkspaceIoError | import("./FlowError.ts").FlowAborted | import("./FlowError.ts").ProcessError | import("./FlowError.ts").FlowLlmError | import("./FlowError.ts").FlowCapabilityDenied | import("./FlowError.ts").BudgetExceeded, never>;
+export declare const makeReplayConnector: (turns: readonly (ReplaySuccess | ReplayFailure)[]) => Effect.Effect<LlmServiceShape, never, never>;
+export declare const replayFromTrace: (files: PlainFileStoreShape, path: string) => Effect.Effect<LlmServiceShape, import("./FlowError.ts").PersistenceError | PlanParseError | UnsupportedSchemaVersion | import("./FlowError.ts").WorkspacePathError | import("./FlowError.ts").WorkspaceLimitError | import("./FlowError.ts").WorkspaceIoError | import("./FlowError.ts").FlowAborted | import("./FlowError.ts").ProcessError | import("./FlowError.ts").FlowLlmError | import("./FlowError.ts").FlowCapabilityDenied | import("./FlowError.ts").BudgetExceeded, never>;
+export {};
+//# sourceMappingURL=Replay.d.ts.map

package/dist/Replay.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Replay.d.ts","sourceRoot":"","sources":["../src/Replay.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAC9D,OAAO,EAAY,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAE1D,OAAO,EAAE,cAAc,EAAE,wBAAwB,EAAkB,MAAM,gBAAgB,CAAA;AACzF,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAA;AAC7C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAA;AAE3D,eAAO,MAAM,kBAAkB,IAAI,CAAA;;;;;;AAEnC,qBAAa,aAAc,SAAQ,kBAIjC;CAAG;;;;;AAEL,qBAAa,aAAc,SAAQ,kBAGjC;CAAG;AAEL,eAAO,MAAM,UAAU,qEAA+C,CAAA;AACtE,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AA8C/C,eAAO,MAAM,kBAAkB,GAAI,OAAO,aAAa,CAAC,SAAS,CAAC,KAAG,aAAa,CAAC,UAAU,CAgE5F,CAAA;AAID,eAAO,MAAM,SAAS,2gBAqCpB,CAAA;AAEF,eAAO,MAAM,mBAAmB,qGA6E9B,CAAA;AAEF,eAAO,MAAM,eAAe,sgBAM1B,CAAA"}

package/dist/Replay.js

@@ -0,0 +1,181 @@
+import * as Effect from "effect/Effect";
+import * as Ref from "effect/Ref";
+import * as Schema from "effect/Schema";
+import * as Stream from "effect/Stream";
+import { InvalidRequestError, ParseError, ProviderError } from "@llm4ts/core/Errors";
+import { LlmChunk, TokenUsage } from "@llm4ts/core/Models";
+import { collect } from "@llm4ts/core/Streaming";
+import { PlanParseError, UnsupportedSchemaVersion } from "./FlowError.js";
+import { TraceLine } from "./FlowRecorder.js";
+export const CurrentTraceSchema = 1;
+export class ReplaySuccess extends Schema.TaggedClass()("Success", {
+    text: Schema.String,
+    usage: Schema.optionalKey(TokenUsage),
+    model: Schema.optionalKey(Schema.String)
+}) {
+}
+export class ReplayFailure extends Schema.TaggedClass()("Failure", {
+    message: Schema.String,
+    model: Schema.optionalKey(Schema.String)
+}) {
+}
+export const ReplayTurn = Schema.Union([ReplaySuccess, ReplayFailure]);
+const stringField = (fields, key) => {
+    const value = fields[key];
+    return typeof value === "string" ? value : undefined;
+};
+const integerField = (fields, key) => {
+    const value = stringField(fields, key);
+    if (value === undefined || !/^-?\d+$/.test(value)) {
+        return undefined;
+    }
+    const parsed = Number(value);
+    return Number.isSafeInteger(parsed) ? parsed : undefined;
+};
+const isSafeInteger = (value) => typeof value === "number" && Number.isSafeInteger(value);
+const flowEventFields = (line) => {
+    const event = line.fields.event;
+    if (typeof event !== "string") {
+        return line.fields;
+    }
+    try {
+        const decoded = JSON.parse(event);
+        if (typeof decoded !== "object" || decoded === null) {
+            return line.fields;
+        }
+        return Object.fromEntries(Object.keys(decoded).map((key) => [
+            key,
+            Reflect.get(decoded, key)
+        ]));
+    }
+    catch {
+        return line.fields;
+    }
+};
+export const segmentReplayTurns = (lines) => {
+    let pendingUsage;
+    let pendingModel;
+    const turns = [];
+    for (const line of [...lines].sort((left, right) => left.seq - right.seq)) {
+        const fields = flowEventFields(line);
+        switch (line.kind) {
+            case "TokensUsed": {
+                const usageValue = typeof fields.usage === "object" && fields.usage !== null
+                    ? {
+                        prompt: Reflect.get(fields.usage, "prompt"),
+                        completion: Reflect.get(fields.usage, "completion"),
+                        total: Reflect.get(fields.usage, "total"),
+                        cached: Reflect.get(fields.usage, "cached")
+                    }
+                    : fields;
+                const prompt = typeof usageValue.prompt === "number" ? usageValue.prompt : integerField(fields, "prompt");
+                const completion = typeof usageValue.completion === "number"
+                    ? usageValue.completion
+                    : integerField(fields, "completion");
+                const total = typeof usageValue.total === "number" ? usageValue.total : integerField(fields, "total");
+                const cached = typeof usageValue.cached === "number" ? usageValue.cached : undefined;
+                if (isSafeInteger(prompt) && isSafeInteger(completion) && isSafeInteger(total)) {
+                    pendingUsage = TokenUsage.make({
+                        prompt,
+                        completion,
+                        total,
+                        ...(cached === undefined ? {} : { cached })
+                    });
+                }
+                pendingModel = stringField(fields, "model") ?? pendingModel;
+                break;
+            }
+            case "AssistantMessage":
+                turns.push(ReplaySuccess.make({
+                    text: stringField(fields, "text") ?? "",
+                    ...(pendingUsage === undefined ? {} : { usage: pendingUsage }),
+                    ...(pendingModel === undefined ? {} : { model: pendingModel })
+                }));
+                pendingUsage = undefined;
+                pendingModel = undefined;
+                break;
+            case "StreamError": {
+                const model = stringField(fields, "model");
+                turns.push(ReplayFailure.make({
+                    message: stringField(fields, "message") ?? "",
+                    ...(model === undefined ? {} : { model })
+                }));
+                pendingUsage = undefined;
+                pendingModel = undefined;
+                break;
+            }
+        }
+    }
+    return turns;
+};
+const traceCodec = Schema.fromJsonString(TraceLine);
+export const readTrace = Effect.fn("@llm4ts/flow/Replay.readTrace")(function* (files, path) {
+    const contents = yield* files.read(path);
+    if (contents === undefined) {
+        return yield* PlanParseError.make({
+            message: `trace does not exist: ${path}`
+        });
+    }
+    const lines = contents
+        .split(/\r?\n/u)
+        .map((line) => line.trim())
+        .filter((line) => line.length > 0);
+    const decoded = yield* Effect.forEach(lines, (line, index) => Schema.decodeUnknownEffect(traceCodec)(line).pipe(Effect.mapError((error) => PlanParseError.make({
+        message: `malformed trace at ${path}:${index + 1}: ${String(error)}`
+    }))), { concurrency: 1 });
+    for (const line of decoded) {
+        const actual = line.schemaVersion ?? 1;
+        if (actual !== CurrentTraceSchema) {
+            return yield* UnsupportedSchemaVersion.make({
+                path,
+                expected: CurrentTraceSchema,
+                actual
+            });
+        }
+    }
+    return [...decoded].sort((left, right) => left.seq - right.seq);
+});
+export const makeReplayConnector = Effect.fn("@llm4ts/flow/Replay.makeConnector")(function* (turns) {
+    const cursor = yield* Ref.make(0);
+    const next = Stream.unwrap(Ref.getAndUpdate(cursor, (index) => index + 1).pipe(Effect.map((index) => {
+        const turn = turns[index];
+        if (turn === undefined) {
+            return Stream.fail(ProviderError.make({
+                message: `replay trace exhausted at turn ${index}`
+            }));
+        }
+        if (turn._tag === "Failure") {
+            return Stream.fail(ProviderError.make({ message: turn.message }));
+        }
+        return Stream.succeed(LlmChunk.make({
+            delta: turn.text,
+            finishReason: "stop",
+            ...(turn.usage === undefined ? {} : { usage: turn.usage }),
+            metadata: {
+                provider: "replay",
+                ...(turn.model === undefined ? {} : { model: turn.model })
+            }
+        }));
+    })));
+    return {
+        executeStream: (_prompt) => next,
+        executeStreamWithHistory: (_messages) => next,
+        executeWithTools: (_prompt, _tools) => Effect.fail(InvalidRequestError.make({
+            message: "replay does not support tool calling"
+        })),
+        executeStructured: (_prompt, schema) => collect(next).pipe(Effect.flatMap((response) => Schema.decodeUnknownEffect(Schema.fromJsonString(schema))(response.content)), Effect.mapError((error) => ParseError.make({
+            message: `replay structured parse error: ${String(error)}`,
+            raw: error instanceof ParseError ? error.raw : ""
+        }))),
+        executeStructuredWithUsage: (_prompt, schema) => collect(next).pipe(Effect.flatMap((response) => Schema.decodeUnknownEffect(Schema.fromJsonString(schema))(response.content).pipe(Effect.map((value) => [value, response.usage, response.metadata.model]))), Effect.mapError((error) => ParseError.make({
+            message: `replay structured parse error: ${String(error)}`,
+            raw: ""
+        }))),
+        isAvailable: Effect.succeed(true)
+    };
+});
+export const replayFromTrace = Effect.fn("@llm4ts/flow/Replay.fromTrace")(function* (files, path) {
+    const lines = yield* readTrace(files, path);
+    return yield* makeReplayConnector(segmentReplayTurns(lines));
+});
+//# sourceMappingURL=Replay.js.map