@llm4ts/flow 0.1.0

package/dist/Equiv.d.ts

@@ -0,0 +1,163 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import type { ProcessExecutorShape } from "@llm4ts/core/ProcessExecutor";
+import { PlanParseError, ProcessError, UnsupportedSchemaVersion } from "./FlowError.ts";
+import type { FlowEventsShape } from "./FlowEvents.ts";
+import type { ComparisonPolicy } from "./Pack.ts";
+import type { PlainFileStoreShape } from "./Persistence.ts";
+export declare const EquivTier: Schema.Literals<readonly ["generated", "captured"]>;
+export type EquivTier = typeof EquivTier.Type;
+export declare const RecordObservation: Schema.Struct<{
+    readonly type: Schema.Literal<"record">;
+    readonly kind: Schema.String;
+    readonly fields: Schema.$Record<Schema.String, Schema.String>;
+}>;
+export type RecordObservation = typeof RecordObservation.Type;
+export declare const DbMutationObservation: Schema.Struct<{
+    readonly type: Schema.Literal<"db">;
+    readonly table: Schema.String;
+    readonly op: Schema.String;
+    readonly key: Schema.$Record<Schema.String, Schema.String>;
+    readonly set: Schema.$Record<Schema.String, Schema.String>;
+}>;
+export type DbMutationObservation = typeof DbMutationObservation.Type;
+export declare const MessageObservation: Schema.Struct<{
+    readonly type: Schema.Literal<"message">;
+    readonly topic: Schema.String;
+    readonly key: Schema.String;
+    readonly fields: Schema.$Record<Schema.String, Schema.String>;
+}>;
+export type MessageObservation = typeof MessageObservation.Type;
+export declare const EquivObservation: Schema.Union<readonly [Schema.Struct<{
+    readonly type: Schema.Literal<"record">;
+    readonly kind: Schema.String;
+    readonly fields: Schema.$Record<Schema.String, Schema.String>;
+}>, Schema.Struct<{
+    readonly type: Schema.Literal<"db">;
+    readonly table: Schema.String;
+    readonly op: Schema.String;
+    readonly key: Schema.$Record<Schema.String, Schema.String>;
+    readonly set: Schema.$Record<Schema.String, Schema.String>;
+}>, Schema.Struct<{
+    readonly type: Schema.Literal<"message">;
+    readonly topic: Schema.String;
+    readonly key: Schema.String;
+    readonly fields: Schema.$Record<Schema.String, Schema.String>;
+}>]>;
+export type EquivObservation = typeof EquivObservation.Type;
+export declare const Observations: Readonly<{
+    record: (kind: string, fields: Readonly<Record<string, string>>) => RecordObservation;
+    dbMutation: (table: string, op: string, key: Readonly<Record<string, string>>, set: Readonly<Record<string, string>>) => DbMutationObservation;
+    message: (topic: string, key: string, fields: Readonly<Record<string, string>>) => MessageObservation;
+}>;
+declare const EquivVector_base: Schema.Class<EquivVector, Schema.Struct<{
+    readonly schemaVersion: Schema.Int;
+    readonly program: Schema.String;
+    readonly id: Schema.String;
+    readonly tier: Schema.Literals<readonly ["generated", "captured"]>;
+    readonly rules: Schema.$Array<Schema.String>;
+    readonly inputs: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+    readonly observations: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
+        readonly type: Schema.Literal<"record">;
+        readonly kind: Schema.String;
+        readonly fields: Schema.$Record<Schema.String, Schema.String>;
+    }>, Schema.Struct<{
+        readonly type: Schema.Literal<"db">;
+        readonly table: Schema.String;
+        readonly op: Schema.String;
+        readonly key: Schema.$Record<Schema.String, Schema.String>;
+        readonly set: Schema.$Record<Schema.String, Schema.String>;
+    }>, Schema.Struct<{
+        readonly type: Schema.Literal<"message">;
+        readonly topic: Schema.String;
+        readonly key: Schema.String;
+        readonly fields: Schema.$Record<Schema.String, Schema.String>;
+    }>]>>;
+}>, {}>;
+export declare class EquivVector extends EquivVector_base {
+}
+export declare const CurrentEquivSchema = 1;
+declare const MissingObservation_base: Schema.Class<MissingObservation, Schema.TaggedStruct<"Missing", {
+    readonly expected: Schema.Union<readonly [Schema.Struct<{
+        readonly type: Schema.Literal<"record">;
+        readonly kind: Schema.String;
+        readonly fields: Schema.$Record<Schema.String, Schema.String>;
+    }>, Schema.Struct<{
+        readonly type: Schema.Literal<"db">;
+        readonly table: Schema.String;
+        readonly op: Schema.String;
+        readonly key: Schema.$Record<Schema.String, Schema.String>;
+        readonly set: Schema.$Record<Schema.String, Schema.String>;
+    }>, Schema.Struct<{
+        readonly type: Schema.Literal<"message">;
+        readonly topic: Schema.String;
+        readonly key: Schema.String;
+        readonly fields: Schema.$Record<Schema.String, Schema.String>;
+    }>]>;
+}>, {}>;
+export declare class MissingObservation extends MissingObservation_base {
+}
+declare const UnexpectedObservation_base: Schema.Class<UnexpectedObservation, Schema.TaggedStruct<"Unexpected", {
+    readonly actual: Schema.Union<readonly [Schema.Struct<{
+        readonly type: Schema.Literal<"record">;
+        readonly kind: Schema.String;
+        readonly fields: Schema.$Record<Schema.String, Schema.String>;
+    }>, Schema.Struct<{
+        readonly type: Schema.Literal<"db">;
+        readonly table: Schema.String;
+        readonly op: Schema.String;
+        readonly key: Schema.$Record<Schema.String, Schema.String>;
+        readonly set: Schema.$Record<Schema.String, Schema.String>;
+    }>, Schema.Struct<{
+        readonly type: Schema.Literal<"message">;
+        readonly topic: Schema.String;
+        readonly key: Schema.String;
+        readonly fields: Schema.$Record<Schema.String, Schema.String>;
+    }>]>;
+}>, {}>;
+export declare class UnexpectedObservation extends UnexpectedObservation_base {
+}
+declare const ObservationFieldDiff_base: Schema.Class<ObservationFieldDiff, Schema.TaggedStruct<"FieldDiff", {
+    readonly at: Schema.String;
+    readonly field: Schema.String;
+    readonly expected: Schema.String;
+    readonly actual: Schema.String;
+}>, {}>;
+export declare class ObservationFieldDiff extends ObservationFieldDiff_base {
+}
+export declare const EquivMismatch: Schema.Union<readonly [typeof MissingObservation, typeof UnexpectedObservation, typeof ObservationFieldDiff]>;
+export type EquivMismatch = typeof EquivMismatch.Type;
+export declare const diffObservations: (expected: ReadonlyArray<EquivObservation>, actual: ReadonlyArray<EquivObservation>, policy: ComparisonPolicy) => ReadonlyArray<EquivMismatch>;
+declare const ReplayedObserved_base: Schema.Class<ReplayedObserved, Schema.TaggedStruct<"Observed", {
+    readonly actual: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
+        readonly type: Schema.Literal<"record">;
+        readonly kind: Schema.String;
+        readonly fields: Schema.$Record<Schema.String, Schema.String>;
+    }>, Schema.Struct<{
+        readonly type: Schema.Literal<"db">;
+        readonly table: Schema.String;
+        readonly op: Schema.String;
+        readonly key: Schema.$Record<Schema.String, Schema.String>;
+        readonly set: Schema.$Record<Schema.String, Schema.String>;
+    }>, Schema.Struct<{
+        readonly type: Schema.Literal<"message">;
+        readonly topic: Schema.String;
+        readonly key: Schema.String;
+        readonly fields: Schema.$Record<Schema.String, Schema.String>;
+    }>]>>;
+}>, {}>;
+export declare class ReplayedObserved extends ReplayedObserved_base {
+}
+declare const ReplayedCrashed_base: Schema.Class<ReplayedCrashed, Schema.TaggedStruct<"Crashed", {
+    readonly exitCode: Schema.Int;
+    readonly problem: Schema.String;
+}>, {}>;
+export declare class ReplayedCrashed extends ReplayedCrashed_base {
+}
+export declare const Replayed: Schema.Union<readonly [typeof ReplayedObserved, typeof ReplayedCrashed]>;
+export type Replayed = typeof Replayed.Type;
+export declare const writeEquivVectors: (files: PlainFileStoreShape, path: string, vectors: readonly EquivVector[]) => Effect.Effect<void, import("./FlowError.ts").PersistenceError | PlanParseError | UnsupportedSchemaVersion | import("./FlowError.ts").WorkspacePathError | import("./FlowError.ts").WorkspaceLimitError | import("./FlowError.ts").WorkspaceIoError | import("./FlowError.ts").FlowAborted | ProcessError | import("./FlowError.ts").FlowLlmError | import("./FlowError.ts").FlowCapabilityDenied | import("./FlowError.ts").BudgetExceeded, never>;
+export declare const readEquivVectors: (files: PlainFileStoreShape, path: string) => Effect.Effect<readonly EquivVector[], import("./FlowError.ts").PersistenceError | PlanParseError | UnsupportedSchemaVersion | import("./FlowError.ts").WorkspacePathError | import("./FlowError.ts").WorkspaceLimitError | import("./FlowError.ts").WorkspaceIoError | import("./FlowError.ts").FlowAborted | ProcessError | import("./FlowError.ts").FlowLlmError | import("./FlowError.ts").FlowCapabilityDenied | import("./FlowError.ts").BudgetExceeded, never>;
+export declare const replayEquivVector: (process: ProcessExecutorShape, events: FlowEventsShape, command: readonly string[], root: string, vector: EquivVector) => Effect.Effect<ReplayedObserved | ReplayedCrashed, import("./FlowError.ts").PersistenceError | PlanParseError | UnsupportedSchemaVersion | import("./FlowError.ts").WorkspacePathError | import("./FlowError.ts").WorkspaceLimitError | import("./FlowError.ts").WorkspaceIoError | import("./FlowError.ts").FlowAborted | ProcessError | import("./FlowError.ts").FlowLlmError | import("./FlowError.ts").FlowCapabilityDenied | import("./FlowError.ts").BudgetExceeded, never>;
+export {};
+//# sourceMappingURL=Equiv.d.ts.map

package/dist/Equiv.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Equiv.d.ts","sourceRoot":"","sources":["../src/Equiv.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAA;AAExE,OAAO,EACL,cAAc,EACd,YAAY,EACZ,wBAAwB,EAEzB,MAAM,gBAAgB,CAAA;AACvB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AACtD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAA;AACjD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAA;AAE3D,eAAO,MAAM,SAAS,qDAA6C,CAAA;AACnE,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAE7C,eAAO,MAAM,iBAAiB;;;;EAI5B,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAE7D,eAAO,MAAM,qBAAqB;;;;;;EAMhC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAErE,eAAO,MAAM,kBAAkB;;;;;EAK7B,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAE/D,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;IAI3B,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAE3D,eAAO,MAAM,YAAY;mBACR,MAAM,UAAU,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAG,iBAAiB;wBAM1E,MAAM,MACT,MAAM,OACL,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,OAChC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KACpC,qBAAqB;qBAEf,MAAM,OACR,MAAM,UACH,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KACvC,kBAAkB;EACrB,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;AAEF,qBAAa,WAAY,SAAQ,gBAQ/B;CAAG;AAEL,eAAO,MAAM,kBAAkB,IAAI,CAAA;;;;;;;;;;;;;;;;;;;AAEnC,qBAAa,kBAAmB,SAAQ,uBAEtC;CAAG;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,qBAAsB,SAAQ,0BAK1C;CAAG;;;;;;;AAEJ,qBAAa,oBAAqB,SAAQ,yBAKxC;CAAG;AAEL,eAAO,MAAM,aAAa,+GAIxB,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AAsGrD,eAAO,MAAM,gBAAgB,GAC3B,UAAU,aAAa,CAAC,gBAAgB,CAAC,EACzC,QAAQ,aAAa,CAAC,gBAAgB,CAAC,EACvC,QAAQ,gBAAgB,KACvB,aAAa,CAAC,aAAa,CA+C7B,CAAA;;;;;;;;;;;;;;;;;;;AAED,qBAAa,gBAAiB,SAAQ,qBAEpC;CAAG;;;;;AAEL,qBAAa,eAAgB,SAAQ,oBAGnC;CAAG;AAEL,eAAO,MAAM,QAAQ,0EAAoD,CAAA;AACzE,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAA;AAK3C,eAAO,MAAM,iBAAiB,mgBAkB5B,CAAA;AAEF,eAAO,MAAM,gBAAgB,ofAiC3B,CAAA;AAEF,eAAO,MAAM,iBAAiB,6kBAiD5B,CAAA"}

package/dist/Equiv.js

@@ -0,0 +1,256 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { Capabilities } from "@llm4ts/core/Capability";
+import { guarded } from "./CapabilityGuard.js";
+import { PlanParseError, ProcessError, UnsupportedSchemaVersion } from "./FlowError.js";
+export const EquivTier = Schema.Literals(["generated", "captured"]);
+export const RecordObservation = Schema.Struct({
+    type: Schema.Literal("record"),
+    kind: Schema.String,
+    fields: Schema.Record(Schema.String, Schema.String)
+});
+export const DbMutationObservation = Schema.Struct({
+    type: Schema.Literal("db"),
+    table: Schema.String,
+    op: Schema.String,
+    key: Schema.Record(Schema.String, Schema.String),
+    set: Schema.Record(Schema.String, Schema.String)
+});
+export const MessageObservation = Schema.Struct({
+    type: Schema.Literal("message"),
+    topic: Schema.String,
+    key: Schema.String,
+    fields: Schema.Record(Schema.String, Schema.String)
+});
+export const EquivObservation = Schema.Union([
+    RecordObservation,
+    DbMutationObservation,
+    MessageObservation
+]);
+export const Observations = Object.freeze({
+    record: (kind, fields) => ({
+        type: "record",
+        kind,
+        fields
+    }),
+    dbMutation: (table, op, key, set) => ({ type: "db", table, op, key, set }),
+    message: (topic, key, fields) => ({ type: "message", topic, key, fields })
+});
+export class EquivVector extends Schema.Class("EquivVector")({
+    schemaVersion: Schema.Int,
+    program: Schema.String,
+    id: Schema.String,
+    tier: EquivTier,
+    rules: Schema.Array(Schema.String),
+    inputs: Schema.Json,
+    observations: Schema.Array(EquivObservation)
+}) {
+}
+export const CurrentEquivSchema = 1;
+export class MissingObservation extends Schema.TaggedClass()("Missing", {
+    expected: EquivObservation
+}) {
+}
+export class UnexpectedObservation extends Schema.TaggedClass()("Unexpected", {
+    actual: EquivObservation
+}) {
+}
+export class ObservationFieldDiff extends Schema.TaggedClass()("FieldDiff", {
+    at: Schema.String,
+    field: Schema.String,
+    expected: Schema.String,
+    actual: Schema.String
+}) {
+}
+export const EquivMismatch = Schema.Union([
+    MissingObservation,
+    UnexpectedObservation,
+    ObservationFieldDiff
+]);
+const sortedEntries = (record) => Object.entries(record).sort(([left], [right]) => left.localeCompare(right));
+const identityOf = (observation) => {
+    switch (observation.type) {
+        case "record":
+            return `record ${observation.kind}`;
+        case "message":
+            return `message ${observation.topic} ${observation.key}`;
+        case "db":
+            return `db ${observation.table} ${observation.op} ${sortedEntries(observation.key)
+                .map(([key, value]) => `${key}=${value}`)
+                .join(",")}`;
+    }
+};
+const fieldsOf = (observation) => observation.type === "db" ? observation.set : observation.fields;
+const canonical = (observation) => JSON.stringify({
+    ...observation,
+    ...(observation.type === "db"
+        ? {
+            key: Object.fromEntries(sortedEntries(observation.key)),
+            set: Object.fromEntries(sortedEntries(observation.set))
+        }
+        : { fields: Object.fromEntries(sortedEntries(observation.fields)) })
+});
+const scrub = (observation, ignore) => {
+    const omit = (fields) => Object.fromEntries(Object.entries(fields).filter(([key]) => !ignore.has(key)));
+    switch (observation.type) {
+        case "record":
+            return Observations.record(observation.kind, omit(observation.fields));
+        case "message":
+            return Observations.message(observation.topic, observation.key, omit(observation.fields));
+        case "db":
+            return Observations.dbMutation(observation.table, observation.op, omit(observation.key), omit(observation.set));
+    }
+};
+const fieldDiffs = (expected, actual) => {
+    const expectedFields = fieldsOf(expected);
+    const actualFields = fieldsOf(actual);
+    return [...new Set([...Object.keys(expectedFields), ...Object.keys(actualFields)])]
+        .sort()
+        .flatMap((field) => expectedFields[field] === actualFields[field]
+        ? []
+        : [
+            ObservationFieldDiff.make({
+                at: identityOf(expected),
+                field,
+                expected: expectedFields[field] ?? "(absent)",
+                actual: actualFields[field] ?? "(absent)"
+            })
+        ]);
+};
+const positionalDiff = (expected, actual) => {
+    const result = [];
+    const maximum = Math.max(expected.length, actual.length);
+    for (let index = 0; index < maximum; index += 1) {
+        const expectedItem = expected[index];
+        const actualItem = actual[index];
+        if (expectedItem === undefined && actualItem !== undefined) {
+            result.push(UnexpectedObservation.make({ actual: actualItem }));
+        }
+        else if (expectedItem !== undefined && actualItem === undefined) {
+            result.push(MissingObservation.make({ expected: expectedItem }));
+        }
+        else if (expectedItem !== undefined && actualItem !== undefined) {
+            if (canonical(expectedItem) === canonical(actualItem)) {
+                continue;
+            }
+            if (identityOf(expectedItem) === identityOf(actualItem)) {
+                result.push(...fieldDiffs(expectedItem, actualItem));
+            }
+            else {
+                result.push(MissingObservation.make({ expected: expectedItem }));
+                result.push(UnexpectedObservation.make({ actual: actualItem }));
+            }
+        }
+    }
+    return result;
+};
+export const diffObservations = (expected, actual, policy) => {
+    const expectedScrubbed = expected.map((item) => scrub(item, policy.ignore));
+    const actualScrubbed = actual.map((item) => scrub(item, policy.ignore));
+    if (policy.ordering === "Ordered") {
+        return positionalDiff(expectedScrubbed, actualScrubbed);
+    }
+    if (policy.ordering === "PerKey") {
+        const keys = [
+            ...new Set([...expectedScrubbed.map(identityOf), ...actualScrubbed.map(identityOf)])
+        ].sort();
+        return keys.flatMap((key) => positionalDiff(expectedScrubbed.filter((item) => identityOf(item) === key), actualScrubbed.filter((item) => identityOf(item) === key)));
+    }
+    const remainingActual = [...actualScrubbed];
+    const unmatchedExpected = [];
+    for (const item of expectedScrubbed) {
+        const index = remainingActual.findIndex((candidate) => canonical(candidate) === canonical(item));
+        if (index < 0) {
+            unmatchedExpected.push(item);
+        }
+        else {
+            remainingActual.splice(index, 1);
+        }
+    }
+    const mismatches = [];
+    const missing = [];
+    for (const item of unmatchedExpected) {
+        const index = remainingActual.findIndex((candidate) => identityOf(candidate) === identityOf(item));
+        const matching = index < 0 ? undefined : remainingActual[index];
+        if (matching === undefined) {
+            missing.push(item);
+        }
+        else {
+            mismatches.push(...fieldDiffs(item, matching));
+            remainingActual.splice(index, 1);
+        }
+    }
+    return [
+        ...mismatches,
+        ...missing.map((expectedItem) => MissingObservation.make({ expected: expectedItem })),
+        ...remainingActual.map((actualItem) => UnexpectedObservation.make({ actual: actualItem }))
+    ];
+};
+export class ReplayedObserved extends Schema.TaggedClass()("Observed", {
+    actual: Schema.Array(EquivObservation)
+}) {
+}
+export class ReplayedCrashed extends Schema.TaggedClass()("Crashed", {
+    exitCode: Schema.Int,
+    problem: Schema.String
+}) {
+}
+export const Replayed = Schema.Union([ReplayedObserved, ReplayedCrashed]);
+const vectorCodec = Schema.fromJsonString(EquivVector);
+const observationsCodec = Schema.fromJsonString(Schema.Array(EquivObservation));
+export const writeEquivVectors = Effect.fn("@llm4ts/flow/Equiv.writeVectors")(function* (files, path, vectors) {
+    const lines = yield* Effect.forEach(vectors, (vector) => Schema.encodeEffect(vectorCodec)(vector).pipe(Effect.mapError((error) => PlanParseError.make({
+        message: `failed to encode equivalence vector: ${String(error)}`
+    }))), { concurrency: 1 });
+    yield* files.writeAtomic(path, `${lines.join("\n")}\n`);
+});
+export const readEquivVectors = Effect.fn("@llm4ts/flow/Equiv.readVectors")(function* (files, path) {
+    const contents = yield* files.read(path);
+    if (contents === undefined) {
+        return [];
+    }
+    const vectors = yield* Effect.forEach(contents
+        .split(/\r?\n/u)
+        .map((line) => line.trim())
+        .filter((line) => line.length > 0), (line, index) => Schema.decodeUnknownEffect(vectorCodec)(line).pipe(Effect.mapError((error) => PlanParseError.make({
+        message: `malformed vector at ${path}:${index + 1}: ${String(error)}`
+    }))), { concurrency: 1 });
+    for (const vector of vectors) {
+        if (vector.schemaVersion !== CurrentEquivSchema) {
+            return yield* UnsupportedSchemaVersion.make({
+                path,
+                expected: CurrentEquivSchema,
+                actual: vector.schemaVersion
+            });
+        }
+    }
+    return vectors;
+});
+export const replayEquivVector = Effect.fn("@llm4ts/flow/Equiv.replayVector")(function* (process, events, command, root, vector) {
+    const executable = command[0];
+    if (executable === undefined) {
+        return yield* ProcessError.make({
+            message: "replay",
+            detail: "empty replay command"
+        });
+    }
+    const input = yield* Schema.encodeEffect(vectorCodec)(vector).pipe(Effect.mapError((error) => PlanParseError.make({
+        message: `failed to encode vector ${vector.program}/${vector.id}: ${String(error)}`
+    })));
+    const result = yield* guarded(Capabilities.Exec(executable), "equivalence replay", events, process.runWithStdin(command, root, {}, input).pipe(Effect.mapError((error) => ProcessError.make({
+        message: "equivalence replay",
+        detail: error.message
+    }))));
+    if (result.exitCode !== 0) {
+        return ReplayedCrashed.make({
+            exitCode: result.exitCode,
+            problem: [...result.stderr, ...result.stdout].join("\n")
+        });
+    }
+    const output = result.stdout.join("\n");
+    const actual = yield* Schema.decodeUnknownEffect(observationsCodec)(output).pipe(Effect.mapError((error) => PlanParseError.make({
+        message: `replay output for ${vector.program}/${vector.id} is not an observation array: ${String(error)}`
+    })));
+    return ReplayedObserved.make({ actual });
+});
+//# sourceMappingURL=Equiv.js.map

package/dist/Equiv.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Equiv.js","sourceRoot":"","sources":["../src/Equiv.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAEtD,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAC9C,OAAO,EACL,cAAc,EACd,YAAY,EACZ,wBAAwB,EAEzB,MAAM,gBAAgB,CAAA;AAKvB,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAA;AAGnE,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7C,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC9B,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;CACpD,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;IAC1B,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;IAChD,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;CACjD,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9C,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,GAAG,EAAE,MAAM,CAAC,MAAM;IAClB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;CACpD,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC;IAC3C,iBAAiB;IACjB,qBAAqB;IACrB,kBAAkB;CACnB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,MAAM,EAAE,CAAC,IAAY,EAAE,MAAwC,EAAqB,EAAE,CAAC,CAAC;QACtF,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,MAAM;KACP,CAAC;IACF,UAAU,EAAE,CACV,KAAa,EACb,EAAU,EACV,GAAqC,EACrC,GAAqC,EACd,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACjE,OAAO,EAAE,CACP,KAAa,EACb,GAAW,EACX,MAAwC,EACpB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;CACnE,CAAC,CAAA;AAEF,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,KAAK,CAAc,aAAa,CAAC,CAAC;IACxE,aAAa,EAAE,MAAM,CAAC,GAAG;IACzB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC,IAAI;IACnB,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC;CAC7C,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAA;AAEnC,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC,WAAW,EAAsB,CAAC,SAAS,EAAE;IAC1F,QAAQ,EAAE,gBAAgB;CAC3B,CAAC;CAAG;AAEL,MAAM,OAAO,qBAAsB,SAAQ,MAAM,CAAC,WAAW,EAAyB,CACpF,YAAY,EACZ;IACE,MAAM,EAAE,gBAAgB;CACzB,CACF;CAAG;AAEJ,MAAM,OAAO,oBAAqB,SAAQ,MAAM,CAAC,WAAW,EAAwB,CAAC,WAAW,EAAE;IAChG,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC;IACxC,kBAAkB;IAClB,qBAAqB;IACrB,oBAAoB;CACrB,CAAC,CAAA;AAGF,MAAM,aAAa,GAAG,CACpB,MAAwC,EACE,EAAE,CAC5C,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;AAE7E,MAAM,UAAU,GAAG,CAAC,WAA6B,EAAU,EAAE;IAC3D,QAAQ,WAAW,CAAC,IAAI,EAAE,CAAC;QACzB,KAAK,QAAQ;YACX,OAAO,UAAU,WAAW,CAAC,IAAI,EAAE,CAAA;QACrC,KAAK,SAAS;YACZ,OAAO,WAAW,WAAW,CAAC,KAAK,IAAI,WAAW,CAAC,GAAG,EAAE,CAAA;QAC1D,KAAK,IAAI;YACP,OAAO,MAAM,WAAW,CAAC,KAAK,IAAI,WAAW,CAAC,EAAE,IAAI,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC;iBAC/E,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,KAAK,EAAE,CAAC;iBACxC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAA;IAClB,CAAC;AACH,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,WAA6B,EAAoC,EAAE,CACnF,WAAW,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAA;AAElE,MAAM,SAAS,GAAG,CAAC,WAA6B,EAAU,EAAE,CAC1D,IAAI,CAAC,SAAS,CAAC;IACb,GAAG,WAAW;IACd,GAAG,CAAC,WAAW,CAAC,IAAI,KAAK,IAAI;QAC3B,CAAC,CAAC;YACE,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YACvD,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;SACxD;QACH,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;CACvE,CAAC,CAAA;AAEJ,MAAM,KAAK,GAAG,CAAC,WAA6B,EAAE,MAA2B,EAAoB,EAAE;IAC7F,MAAM,IAAI,GAAG,CAAC,MAAwC,EAAoC,EAAE,CAC1F,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAChF,QAAQ,WAAW,CAAC,IAAI,EAAE,CAAC;QACzB,KAAK,QAAQ;YACX,OAAO,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAA;QACxE,KAAK,SAAS;YACZ,OAAO,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAA;QAC3F,KAAK,IAAI;YACP,OAAO,YAAY,CAAC,UAAU,CAC5B,WAAW,CAAC,KAAK,EACjB,WAAW,CAAC,EAAE,EACd,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EACrB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CACtB,CAAA;IACL,CAAC;AACH,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CACjB,QAA0B,EAC1B,MAAwB,EACM,EAAE;IAChC,MAAM,cAAc,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAA;IACzC,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IACrC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;SAChF,IAAI,EAAE;SACN,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACjB,cAAc,CAAC,KAAK,CAAC,KAAK,YAAY,CAAC,KAAK,CAAC;QAC3C,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE,oBAAoB,CAAC,IAAI,CAAC;gBACxB,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;gBACxB,KAAK;gBACL,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,IAAI,UAAU;gBAC7C,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,UAAU;aAC1C,CAAC;SACH,CACN,CAAA;AACL,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CACrB,QAAyC,EACzC,MAAuC,EACT,EAAE;IAChC,MAAM,MAAM,GAAyB,EAAE,CAAA;IACvC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;IACxD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;QACpC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;QAChC,IAAI,YAAY,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC3D,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;QACjE,CAAC;aAAM,IAAI,YAAY,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAClE,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC,CAAA;QAClE,CAAC;aAAM,IAAI,YAAY,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAClE,IAAI,SAAS,CAAC,YAAY,CAAC,KAAK,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;gBACtD,SAAQ;YACV,CAAC;YACD,IAAI,UAAU,CAAC,YAAY,CAAC,KAAK,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;gBACxD,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAA;YACtD,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC,CAAA;gBAChE,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;YACjE,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,QAAyC,EACzC,MAAuC,EACvC,MAAwB,EACM,EAAE;IAChC,MAAM,gBAAgB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;IAC3E,MAAM,cAAc,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;IACvE,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,cAAc,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAA;IACzD,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG;YACX,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;SACrF,CAAC,IAAI,EAAE,CAAA;QACR,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAC1B,cAAc,CACZ,gBAAgB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAC3D,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAC1D,CACF,CAAA;IACH,CAAC;IAED,MAAM,eAAe,GAAG,CAAC,GAAG,cAAc,CAAC,CAAA;IAC3C,MAAM,iBAAiB,GAA4B,EAAE,CAAA;IACrD,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,CAAC,CAAA;QAChG,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC9B,CAAC;aAAM,CAAC;YACN,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;QAClC,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAyB,EAAE,CAAA;IAC3C,MAAM,OAAO,GAA4B,EAAE,CAAA;IAC3C,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,CACrC,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,CAC1D,CAAA;QACD,MAAM,QAAQ,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAA;QAC/D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAA;YAC9C,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;QAClC,CAAC;IACH,CAAC;IACD,OAAO;QACL,GAAG,UAAU;QACb,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC;QACrF,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;KAC3F,CAAA;AACH,CAAC,CAAA;AAED,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,EAAoB,CAAC,UAAU,EAAE;IACvF,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC;CACvC,CAAC;CAAG;AAEL,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,EAAmB,CAAC,SAAS,EAAE;IACpF,QAAQ,EAAE,MAAM,CAAC,GAAG;IACpB,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,gBAAgB,EAAE,eAAe,CAAC,CAAC,CAAA;AAGzE,MAAM,WAAW,GAAG,MAAM,CAAC,cAAc,CAAC,WAAW,CAAC,CAAA;AACtD,MAAM,iBAAiB,GAAG,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAA;AAE/E,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,EAAE,CAAC,iCAAiC,CAAC,CAAC,QAAQ,CAAC,EACrF,KAA0B,EAC1B,IAAY,EACZ,OAAmC;IAEnC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACjC,OAAO,EACP,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAC3C,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,cAAc,CAAC,IAAI,CAAC;QAClB,OAAO,EAAE,wCAAwC,MAAM,CAAC,KAAK,CAAC,EAAE;KACjE,CAAC,CACH,CACF,EACH,EAAE,WAAW,EAAE,CAAC,EAAE,CACnB,CAAA;IACD,KAAK,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzD,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,EAAE,CAAC,gCAAgC,CAAC,CAAC,QAAQ,CAAC,EACnF,KAA0B,EAC1B,IAAY;IAEZ,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACxC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnC,QAAQ;SACL,KAAK,CAAC,QAAQ,CAAC;SACf,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EACpC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAChD,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,cAAc,CAAC,IAAI,CAAC;QAClB,OAAO,EAAE,uBAAuB,IAAI,IAAI,KAAK,GAAG,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE;KACtE,CAAC,CACH,CACF,EACH,EAAE,WAAW,EAAE,CAAC,EAAE,CACnB,CAAA;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,aAAa,KAAK,kBAAkB,EAAE,CAAC;YAChD,OAAO,KAAK,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC;gBAC1C,IAAI;gBACJ,QAAQ,EAAE,kBAAkB;gBAC5B,MAAM,EAAE,MAAM,CAAC,aAAa;aAC7B,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,EAAE,CAAC,iCAAiC,CAAC,CAAC,QAAQ,CAAC,EACrF,OAA6B,EAC7B,MAAuB,EACvB,OAA8B,EAC9B,IAAY,EACZ,MAAmB;IAEnB,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IAC7B,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC;YAC9B,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE,sBAAsB;SAC/B,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAChE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,cAAc,CAAC,IAAI,CAAC;QAClB,OAAO,EAAE,2BAA2B,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,EAAE,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE;KACpF,CAAC,CACH,CACF,CAAA;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAC3B,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAC7B,oBAAoB,EACpB,MAAM,EACN,OAAO,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,IAAI,CACjD,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,YAAY,CAAC,IAAI,CAAC;QAChB,OAAO,EAAE,oBAAoB;QAC7B,MAAM,EAAE,KAAK,CAAC,OAAO;KACtB,CAAC,CACH,CACF,CACF,CAAA;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,eAAe,CAAC,IAAI,CAAC;YAC1B,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;SACzD,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACvC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAC9E,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,cAAc,CAAC,IAAI,CAAC;QAClB,OAAO,EAAE,qBAAqB,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,EAAE,iCAAiC,MAAM,CAAC,KAAK,CAAC,EAAE;KAC1G,CAAC,CACH,CACF,CAAA;IACD,OAAO,gBAAgB,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAA;AAC1C,CAAC,CAAC,CAAA"}

package/dist/EquivReport.d.ts

@@ -0,0 +1,16 @@
+import * as Schema from "effect/Schema";
+import { EquivMismatch, EquivVector } from "./Equiv.ts";
+declare const VectorVerdict_base: Schema.Class<VectorVerdict, Schema.Struct<{
+    readonly vector: typeof EquivVector;
+    readonly mismatches: Schema.$Array<Schema.Union<readonly [typeof import("./Equiv.ts").MissingObservation, typeof import("./Equiv.ts").UnexpectedObservation, typeof import("./Equiv.ts").ObservationFieldDiff]>>;
+}>, {}>;
+export declare class VectorVerdict extends VectorVerdict_base {
+    get passed(): boolean;
+}
+export interface EquivVerdict {
+    readonly vector: EquivVector;
+    readonly mismatches: ReadonlyArray<EquivMismatch>;
+}
+export declare const renderEquivReport: (verdicts: ReadonlyArray<EquivVerdict>, allRules: ReadonlyArray<string>) => string;
+export {};
+//# sourceMappingURL=EquivReport.d.ts.map

package/dist/EquivReport.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EquivReport.d.ts","sourceRoot":"","sources":["../src/EquivReport.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,aAAa,EAAyB,WAAW,EAAE,MAAM,YAAY,CAAA;;;;;AAE9E,qBAAa,aAAc,SAAQ,kBAGjC;IACA,IAAI,MAAM,IAAI,OAAO,CAEpB;CACF;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;IAC5B,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;CAClD;AA6BD,eAAO,MAAM,iBAAiB,GAC5B,UAAU,aAAa,CAAC,YAAY,CAAC,EACrC,UAAU,aAAa,CAAC,MAAM,CAAC,KAC9B,MA4CF,CAAA"}

package/dist/EquivReport.js

@@ -0,0 +1,77 @@
+import * as Schema from "effect/Schema";
+import { EquivMismatch, EquivVector } from "./Equiv.js";
+export class VectorVerdict extends Schema.Class("VectorVerdict")({
+    vector: EquivVector,
+    mismatches: Schema.Array(EquivMismatch)
+}) {
+    get passed() {
+        return this.mismatches.length === 0;
+    }
+}
+const observation = (value) => {
+    const pairs = (fields) => Object.entries(fields)
+        .sort(([left], [right]) => left.localeCompare(right))
+        .map(([key, item]) => `${key}=${item}`)
+        .join(", ");
+    switch (value.type) {
+        case "record":
+            return `record ${value.kind} ${pairs(value.fields)}`;
+        case "message":
+            return `message ${value.topic} ${value.key} ${pairs(value.fields)}`;
+        case "db":
+            return `db ${value.table} ${value.op} ${pairs(value.key)} → ${pairs(value.set)}`;
+    }
+};
+const describe = (mismatch) => {
+    switch (mismatch._tag) {
+        case "FieldDiff":
+            return `- ${mismatch.at}: \`${mismatch.field}\` expected ${mismatch.expected}, actual ${mismatch.actual}`;
+        case "Missing":
+            return `- missing: ${observation(mismatch.expected)}`;
+        case "Unexpected":
+            return `- unexpected: ${observation(mismatch.actual)}`;
+    }
+};
+export const renderEquivReport = (verdicts, allRules) => {
+    const rows = allRules.map((rule) => {
+        const exercising = verdicts.filter(({ vector }) => vector.rules.includes(rule));
+        const generated = exercising.filter(({ vector }) => vector.tier === "generated");
+        const captured = exercising.filter(({ vector }) => vector.tier === "captured");
+        const cell = (values) => values.length === 0
+            ? "—"
+            : `${values.filter(({ mismatches }) => mismatches.length === 0).length}/${values.length}`;
+        const status = exercising.length === 0
+            ? "UNEXERCISED"
+            : exercising.some(({ mismatches }) => mismatches.length > 0)
+                ? "FAILING"
+                : captured.length > 0
+                    ? "proven (captured)"
+                    : "proven (generated)";
+        return `| ${rule} | ${cell(generated)} | ${cell(captured)} | ${status} |`;
+    });
+    const failing = verdicts.filter(({ mismatches }) => mismatches.length > 0);
+    const failures = failing.length === 0
+        ? []
+        : [
+            "",
+            "## Failing vectors",
+            ...failing.flatMap(({ vector, mismatches }) => [
+                "",
+                `### ${vector.program} ${vector.id} (${vector.tier})`,
+                ...mismatches.map(describe)
+            ])
+        ];
+    return [
+        "# Equivalence report",
+        "",
+        "| Rule | Generated | Captured | Status |",
+        "| ---- | --------- | -------- | ------ |",
+        ...rows,
+        ...failures,
+        "",
+        "Generated vectors prove spec conformance; captured vectors prove behavioural equivalence.",
+        "The two tiers are reported separately and never summed.",
+        ""
+    ].join("\n");
+};
+//# sourceMappingURL=EquivReport.js.map

package/dist/EquivReport.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"EquivReport.js","sourceRoot":"","sources":["../src/EquivReport.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,aAAa,EAAyB,WAAW,EAAE,MAAM,YAAY,CAAA;AAE9E,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,KAAK,CAAgB,eAAe,CAAC,CAAC;IAC9E,MAAM,EAAE,WAAW;IACnB,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC;CACxC,CAAC;IACA,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAA;IACrC,CAAC;CACF;AAOD,MAAM,WAAW,GAAG,CAAC,KAAuB,EAAU,EAAE;IACtD,MAAM,KAAK,GAAG,CAAC,MAAwC,EAAU,EAAE,CACjE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;SACnB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;SACpD,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC;SACtC,IAAI,CAAC,IAAI,CAAC,CAAA;IACf,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,UAAU,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAA;QACtD,KAAK,SAAS;YACZ,OAAO,WAAW,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAA;QACrE,KAAK,IAAI;YACP,OAAO,MAAM,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAA;IACpF,CAAC;AACH,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,QAAuB,EAAU,EAAE;IACnD,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,WAAW;YACd,OAAO,KAAK,QAAQ,CAAC,EAAE,OAAO,QAAQ,CAAC,KAAK,eAAe,QAAQ,CAAC,QAAQ,YAAY,QAAQ,CAAC,MAAM,EAAE,CAAA;QAC3G,KAAK,SAAS;YACZ,OAAO,cAAc,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAA;QACvD,KAAK,YAAY;YACf,OAAO,iBAAiB,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAA;IAC1D,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,QAAqC,EACrC,QAA+B,EACvB,EAAE;IACV,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACjC,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;QAC/E,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAA;QAChF,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAA;QAC9E,MAAM,IAAI,GAAG,CAAC,MAAmC,EAAU,EAAE,CAC3D,MAAM,CAAC,MAAM,KAAK,CAAC;YACjB,CAAC,CAAC,GAAG;YACL,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CAAA;QAC7F,MAAM,MAAM,GACV,UAAU,CAAC,MAAM,KAAK,CAAC;YACrB,CAAC,CAAC,aAAa;YACf,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC1D,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;oBACnB,CAAC,CAAC,mBAAmB;oBACrB,CAAC,CAAC,oBAAoB,CAAA;QAC9B,OAAO,KAAK,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,MAAM,IAAI,CAAA;IAC3E,CAAC,CAAC,CAAA;IACF,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC1E,MAAM,QAAQ,GACZ,OAAO,CAAC,MAAM,KAAK,CAAC;QAClB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE,EAAE;YACF,oBAAoB;YACpB,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;gBAC7C,EAAE;gBACF,OAAO,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,EAAE,KAAK,MAAM,CAAC,IAAI,GAAG;gBACrD,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;aAC5B,CAAC;SACH,CAAA;IACP,OAAO;QACL,sBAAsB;QACtB,EAAE;QACF,0CAA0C;QAC1C,0CAA0C;QAC1C,GAAG,IAAI;QACP,GAAG,QAAQ;QACX,EAAE;QACF,2FAA2F;QAC3F,yDAAyD;QACzD,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACd,CAAC,CAAA"}

package/dist/Flow.d.ts

@@ -0,0 +1,25 @@
+import * as Effect from "effect/Effect";
+import type { LlmServiceShape } from "@llm4ts/core/LlmService";
+import type { FlowContextShape } from "./FlowContext.ts";
+import { FlowLlmError, type FlowError } from "./FlowError.ts";
+import { type FlowEventsShape } from "./FlowEvents.ts";
+import type { Plan, Task } from "./Plan.ts";
+import type { PlanStoreShape } from "./Persistence.ts";
+import { type ReviewResult } from "./Review.ts";
+import type { Reviewer } from "./Reviewer.ts";
+export declare const flowReviewer: (context: FlowContextShape) => LlmServiceShape;
+export declare const completeAndPublish: (service: LlmServiceShape, events: FlowEventsShape, prompt: string) => Effect.Effect<string, FlowLlmError, never>;
+export interface ImplementPlanOptions {
+    readonly store: PlanStoreShape;
+    readonly planPath: string;
+    readonly plan: Effect.Effect<Plan, FlowError>;
+    readonly system?: string;
+    readonly reviewers?: ReadonlyArray<Reviewer>;
+    readonly commitMessage?: (plan: Plan, task: Task) => string;
+    readonly checkoutBranch?: boolean;
+    readonly maxRounds?: number;
+    readonly lint?: Effect.Effect<ReviewResult, FlowError>;
+    readonly format?: Effect.Effect<void, FlowError>;
+}
+export declare const implementPlanFlow: (context: FlowContextShape, options: ImplementPlanOptions) => Effect.Effect<Plan, import("./FlowError.ts").PersistenceError | import("./FlowError.ts").PlanParseError | import("./FlowError.ts").UnsupportedSchemaVersion | import("./FlowError.ts").WorkspacePathError | import("./FlowError.ts").WorkspaceLimitError | import("./FlowError.ts").WorkspaceIoError | import("./FlowError.ts").FlowAborted | import("./FlowError.ts").ProcessError | FlowLlmError | import("./FlowError.ts").FlowCapabilityDenied | import("./FlowError.ts").BudgetExceeded, never>;
+//# sourceMappingURL=Flow.d.ts.map

package/dist/Flow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Flow.d.ts","sourceRoot":"","sources":["../src/Flow.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAG9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,OAAO,EAAE,YAAY,EAAE,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC7D,OAAO,EAAoB,KAAK,eAAe,EAAE,MAAM,iBAAiB,CAAA;AACxE,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAC3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAEtD,OAAO,EAAsC,KAAK,YAAY,EAAE,MAAM,aAAa,CAAA;AACnF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAE7C,eAAO,MAAM,YAAY,GAAI,SAAS,gBAAgB,KAAG,eACd,CAAA;AAE3C,eAAO,MAAM,kBAAkB,mHAU7B,CAAA;AAEF,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IAC7C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;IAC5C,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,KAAK,MAAM,CAAA;IAC3D,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAA;IACjC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,SAAS,CAAC,CAAA;IACtD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;CACjD;AAID,eAAO,MAAM,iBAAiB,oiBA4B5B,CAAA"}

package/dist/Flow.js

@@ -0,0 +1,39 @@
+import * as Effect from "effect/Effect";
+import { collect } from "@llm4ts/core/Streaming";
+import { makeChat } from "./Chat.js";
+import { FlowLlmError } from "./FlowError.js";
+import { AssistantMessage } from "./FlowEvents.js";
+import { implementTaskLoop, stage } from "./PlanExecution.js";
+import { minimalReviewers, reviewAndFixLoop } from "./Review.js";
+export const flowReviewer = (context) => context.reviewers[0] ?? context.reasoning;
+export const completeAndPublish = Effect.fn("@llm4ts/flow/Flow.completeAndPublish")(function* (service, events, prompt) {
+    const response = yield* collect(service.executeStream(prompt)).pipe(Effect.mapError(FlowLlmError.from));
+    yield* events.publish(AssistantMessage.make({ text: response.content }));
+    return response.content;
+});
+const defaultCommitMessage = (plan, task) => `${plan.epicId}: ${task.title}`;
+export const implementPlanFlow = Effect.fn("@llm4ts/flow/Flow.implementPlan")(function* (context, options) {
+    const plan = yield* options.store.recoverOrCreate(options.planPath, options.plan);
+    if (options.checkoutBranch !== false) {
+        yield* stage(context.events, "branch", context.git.checkoutOrCreate(plan.epicId));
+    }
+    const coder = yield* makeChat(context.coder, {
+        ...(options.system === undefined ? {} : { system: options.system })
+    });
+    return yield* implementTaskLoop(options.store, context.events, options.planPath, plan, (task) => Effect.gen(function* () {
+        yield* coder.ask(plan.taskPrompt(task));
+        yield* reviewAndFixLoop({
+            reviewers: options.reviewers ?? minimalReviewers,
+            reviewerService: flowReviewer(context),
+            coder,
+            taskTitle: task.title,
+            currentDiff: context.git.diff,
+            events: context.events,
+            ...(options.maxRounds === undefined ? {} : { maxRounds: options.maxRounds }),
+            ...(options.lint === undefined ? {} : { lint: options.lint }),
+            ...(options.format === undefined ? {} : { format: options.format })
+        });
+        yield* context.git.commitAll((options.commitMessage ?? defaultCommitMessage)(plan, task));
+    }));
+});
+//# sourceMappingURL=Flow.js.map

package/dist/Flow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Flow.js","sourceRoot":"","sources":["../src/Flow.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AAEpC,OAAO,EAAE,YAAY,EAAkB,MAAM,gBAAgB,CAAA;AAC7D,OAAO,EAAE,gBAAgB,EAAwB,MAAM,iBAAiB,CAAA;AAGxE,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAC7D,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAqB,MAAM,aAAa,CAAA;AAGnF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,OAAyB,EAAmB,EAAE,CACzE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,SAAS,CAAA;AAE3C,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,EAAE,CAAC,sCAAsC,CAAC,CAAC,QAAQ,CAAC,EAC3F,OAAwB,EACxB,MAAuB,EACvB,MAAc;IAEd,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CACjE,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CACnC,CAAA;IACD,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;IACxE,OAAO,QAAQ,CAAC,OAAO,CAAA;AACzB,CAAC,CAAC,CAAA;AAeF,MAAM,oBAAoB,GAAG,CAAC,IAAU,EAAE,IAAU,EAAU,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,EAAE,CAAA;AAEhG,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,EAAE,CAAC,iCAAiC,CAAC,CAAC,QAAQ,CAAC,EACrF,OAAyB,EACzB,OAA6B;IAE7B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAA;IACjF,IAAI,OAAO,CAAC,cAAc,KAAK,KAAK,EAAE,CAAC;QACrC,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;IACnF,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE;QAC3C,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;KACpE,CAAC,CAAA;IACF,OAAO,KAAK,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAC9F,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;QACvC,KAAK,CAAC,CAAC,gBAAgB,CAAC;YACtB,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,gBAAgB;YAChD,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC;YACtC,KAAK;YACL,SAAS,EAAE,IAAI,CAAC,KAAK;YACrB,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI;YAC7B,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;YAC5E,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;YAC7D,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;SACpE,CAAC,CAAA;QACF,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,aAAa,IAAI,oBAAoB,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA;IAC3F,CAAC,CAAC,CACH,CAAA;AACH,CAAC,CAAC,CAAA"}