@mooloo-ai/eutaxy 0.0.0-stage → 0.2.0

package/dist/cli-DnPkIL8h.mjs

@@ -0,0 +1,2 @@
+import "./src-B66we2mG.mjs";
+export {};

package/dist/cli.d.mts

@@ -0,0 +1,8 @@
+interface Io {
+  readonly cwd: string;
+  readonly stdout: (text: string) => void;
+  readonly stderr: (text: string) => void;
+}
+export declare function main(argv: readonly string[], io: Io): Promise<number>;
+export {};
+//# sourceMappingURL=cli.d.mts.map

package/dist/cli.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.d.mts","names":[],"sources":["../../cli/src/main.ts"],"mappings":"A,UAqBiB;WACN;WACA,SAAS;WACT,SAAS;;wBAGE,KAAK,yBAAyB,IAAI,KAAK"}

package/dist/cli.mjs

@@ -0,0 +1,2 @@
+export { t as main } from "./src-B66we2mG.mjs";
+import "./cli-DnPkIL8h.mjs";

package/dist/cloudflare.d.mts

@@ -0,0 +1,141 @@
+import { E as JsonValue, _ as StateQuery, a as PlatformData, c as WorkerRef, d as AtMostOncePerKey, f as EffectSelector, g as RowCondition, h as Invariant, i as ExternalDecl, m as Implies, n as Platform, o as ScenarioSpec, p as EveryRow, r as Bounds, s as ScriptedResponse, u as AtLeastOnce } from "./platform-CGVkTa16.mjs";
+import { c as Violated, o as ScenarioVerdict, t as ExploreOptions } from "./explore-C5fDFOoY.mjs";
+interface CloudflareRegressionOptions {
+  /** Import path of the scenario module, relative to the emitted file. */
+  readonly scenarioPath: string;
+  /** Import path of the Worker module. */
+  readonly workerPath: string;
+  /** D1 binding name to schema file path, imported with `?raw`. */
+  readonly schemaPaths: Readonly<Record<string, string>>;
+  /** The platform's retry limit, when the scenario was checked with a non-default one. */
+  readonly maxRetries?: number;
+  readonly expect?: "holds" | "violates";
+  readonly engineModule?: string;
+}
+/** A Vitest regression test for a Cloudflare scenario, to run under the Cloudflare Vitest plugin. */
+export declare function cloudflareRegressionTest(verdict: Violated, options: CloudflareRegressionOptions): string;
+/** Explore a scenario on a platform and return its verdict. */
+export declare function check(spec: ScenarioSpec, platform: Platform, options?: ExploreOptions): Promise<ScenarioVerdict>;
+/** For use from a test: passes only when the scenario is BOUNDED. */
+export declare function expectHolds(spec: ScenarioSpec, platform: Platform, options?: ExploreOptions): Promise<void>;
+/** Every user table's rows, sorted canonically, read through the real binding (not an effect). */
+export declare function snapshotD1(real: D1Database): Promise<{
+  readonly [table: string]: readonly JsonValue[];
+}>;
+interface QueueHandler {
+  queue?(batch: MessageBatch<unknown>, env: unknown, ctx: ExecutionContext): void | Promise<void>;
+}
+interface CloudflarePlatformOptions {
+  /** The bindings from `cloudflare:workers`. */
+  readonly env: object;
+  /** The Worker's default export. */
+  readonly handler: QueueHandler;
+  /** Schema SQL per D1 binding named in the scenario's setup. */
+  readonly schemas: Readonly<Record<string, string>>;
+  /** Cloudflare's default when the consumer does not set max_retries. */
+  readonly maxRetries?: number;
+}
+export declare function createCloudflarePlatform(options: CloudflarePlatformOptions): Platform;
+interface AttemptRecord {
+  readonly event: string;
+  readonly attempt: number;
+  readonly status: "completed" | "errored";
+  readonly decision: "ack" | "retry" | null;
+}
+interface Side {
+  readonly attempts: readonly AttemptRecord[];
+  readonly state: {
+    readonly [binding: string]: {
+      readonly [table: string]: readonly JsonValue[];
+    };
+  };
+}
+interface DifferentialResult {
+  /** True only when both sides agree and the proxied run touched nothing unmodelled. */
+  readonly equal: boolean;
+  readonly eutaxy: Side;
+  readonly raw: Side;
+  readonly differences: readonly string[];
+  /** What the proxied run could not control; non-empty means the comparison proves nothing. */
+  readonly unsupported: readonly string[];
+}
+/** Run both sides and compare. The Eutaxy side runs first; both start from the schema. */
+export declare function runDifferential(spec: ScenarioSpec, options: CloudflarePlatformOptions): Promise<DifferentialResult>;
+/** One queue message to deliver; `id` defaults to its position. */
+interface QueueMessage {
+  readonly id?: string;
+  readonly body: JsonValue;
+}
+/** Drive the Worker's `queue()` handler with these messages. */
+interface QueueDrive extends PlatformData {
+  readonly kind: "queue";
+  readonly queue: string;
+  readonly messages: readonly {
+    readonly id: string;
+    readonly body: JsonValue;
+  }[];
+}
+/** Apply a SQL file to a D1 binding before each run. */
+interface D1Setup extends PlatformData {
+  readonly kind: "d1";
+  readonly binding: string;
+  readonly schemaFile: string;
+}
+interface CloudflareScenarioInput {
+  readonly name: string;
+  readonly worker: WorkerRef;
+  readonly drive: QueueDrive | {
+    readonly kind: "queue";
+    readonly queue: string;
+    readonly messages: readonly QueueMessage[];
+  };
+  readonly setup?: readonly D1Setup[];
+  readonly externals?: readonly ExternalDecl[];
+  readonly invariants: readonly Invariant[];
+  readonly bounds?: Partial<Bounds>;
+}
+export declare function queue(name: string, messages: readonly QueueMessage[]): QueueDrive;
+export declare function d1Schema(binding: string, schemaFile: string): D1Setup;
+/**
+ * Effect conventions for D1 (what the proxies record):
+ *   call   payload { args: { sql, params } }
+ *   result payload { args: { sql, params }, result: { changes, lastRowId } }
+ * A committed write is a `result` whose `result.changes` is at least 1.
+ */
+export declare function d1Write(binding: string, op?: "run" | "batch"): EffectSelector;
+/** Dot path to the Nth bound parameter of a D1 statement, in an effect payload. */
+export declare function d1Param(index: number): string;
+export declare function atMostOncePerKey(name: string, effect: EffectSelector, key: string): AtMostOncePerKey;
+export declare function atLeastOnce(name: string, effect: EffectSelector, key: string, expected: readonly JsonValue[]): AtLeastOnce;
+/**
+ * Every message's `bodyKey` value must appear at least once as `key` in a
+ * selected effect: nothing the queue delivered may be lost.
+ */
+export declare function atLeastOncePerMessage(name: string, drive: QueueDrive, effect: EffectSelector, key: string, bodyKey: string): AtLeastOnce;
+/** Rows of a D1 table in the end-of-run snapshot, optionally filtered. */
+export declare function d1Rows(binding: string, table: string, where?: readonly RowCondition[]): StateQuery;
+/** Every row the query selects satisfies all conditions. */
+export declare function everyRow(name: string, query: StateQuery, holds: readonly RowCondition[]): EveryRow;
+/** Every selected effect has a row whose column equals the effect's key. */
+export declare function implies(name: string, when: EffectSelector, key: string, state: StateQuery, column: string): Implies;
+/** Selects the acknowledgement that took effect for each message (explicit or implicit; not one ignored after a retry). */
+export declare function queueAck(queueName: string): EffectSelector;
+/**
+ * Declare an external service: requests to `host` are answered from
+ * `responses` (every request gets 200 and an empty body when omitted), and
+ * `dedupeBy` names the header whose value makes repeated requests
+ * idempotent at that service.
+ */
+export declare function external(name: string, host: string, options?: {
+  readonly dedupeBy?: string;
+  readonly responses?: readonly ScriptedResponse[];
+}): ExternalDecl;
+/**
+ * Selects the requests to an external that took effect: a request replayed
+ * under a dedupe key the external had already seen is not counted.
+ */
+export declare function fetchCall(externalName: string, method?: string): EffectSelector;
+/** Build and validate a scenario spec; throws with every problem listed. */
+export declare function defineScenario(input: CloudflareScenarioInput): ScenarioSpec;
+export type { CloudflarePlatformOptions, CloudflareRegressionOptions, CloudflareScenarioInput, D1Setup, DifferentialResult, QueueDrive, QueueHandler, QueueMessage };
+//# sourceMappingURL=cloudflare.d.mts.map

package/dist/cloudflare.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cloudflare.d.mts","names":[],"sources":["../../cli/src/regression.ts","../../cloudflare/src/check.ts","../../cloudflare/src/d1.ts","../../cloudflare/src/platform.ts","../../cloudflare/src/differential.ts","../../cloudflare/src/scenario.ts"],"mappings":";;UAGiB;;WAEN;;WAEA;;WAEA,aAAa,SAAS;;WAEtB;WACA;WACA;;;wBAIK,yBACd,SAAS,UACT,SAAS;;wBCVK,MACd,MAAM,cACN,UAAU,UACV,UAAS,iBACR,QAAQ;;wBAKW,YACpB,MAAM,cACN,UAAU,UACV,UAAU,iBACT;;wBCiOmB,WACpB,MAAM,aACL;YAAoB,yBAAyB;;UClO/B;EACf,OAAO,OAAO,uBAAuB,cAAc,KAAK,0BAA0B;;UAGnE;;WAEN;;WAEA,SAAS;;WAET,SAAS,SAAS;;WAElB;;wBAoCK,yBAAyB,SAAS,4BAA4B;UC1C7D;WACN;WACA;WACA;WACA;;UAGM;WACN,mBAAmB;WACnB;cACG;gBAA8B,yBAAyB;;;;UAIpD;;WAEN;WACA,QAAQ;WACR,KAAK;WACL;;WAEA;;;wBAkPW,gBACpB,MAAM,cACN,SAAS,4BACR,QAAQ;;UC1QM;WACN;WACA,MAAM;;;UAIA,mBAAmB;WACzB;WACA;WACA;aAA8B;aAAqB,MAAM;;;;UAInD,gBAAgB;WACtB;WACA;WACA;;UAGM;WACN;WACA,QAAQ;WACR,OACL;aAEW;aACA;aACA,mBAAmB;;WAEzB,iBAAiB;WACjB,qBAAqB;WACrB,qBAAqB;WACrB,SAAS,QAAQ;;wBAGZ,MAAM,cAAc,mBAAmB,iBAAiB;wBAQxD,SAAS,iBAAiB,qBAAqB;;;;;;;wBAU/C,QAAQ,iBAAiB,uBAA8B;;wBAKvD,QAAQ;wBAIR,iBACd,cACA,QAAQ,gBACR,cACC;wBAIa,YACd,cACA,QAAQ,gBACR,aACA,mBAAmB,cAClB;;;;;wBAQa,sBACd,cACA,OAAO,YACP,QAAQ,gBACR,aACA,kBACC;;wBAaa,OACd,iBACA,eACA,iBAAiB,iBAChB;;wBAKa,SACd,cACA,OAAO,YACP,gBAAgB,iBACf;;wBAKa,QACd,cACA,MAAM,gBACN,aACA,OAAO,YACP,iBACC;;wBAKa,SAAS,oBAAoB;;;;;;;wBAe7B,SACd,cACA,cACA;WAAoB;WAA4B,qBAAqB;IACpE;;;;;wBAaa,UAAU,sBAAsB,kBAAkB;;wBAUlD,eAAe,OAAO,0BAA0B"}