@smthrs/engine-store 0.0.0-stage → 1.0.0-rc.4

package/dist/esm/migrations/0003_plan_inputs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0003_plan_inputs.d.ts","sourceRoot":"","sources":["../../../src/migrations/0003_plan_inputs.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;GAIG;AACH,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,CA4DvE,CAAA"}

package/dist/esm/migrations/0003_plan_inputs.js

@@ -0,0 +1,70 @@
+/**
+ * Durable, append-only source observations for compiled plan execution.
+ * @since 1.0.0
+ */
+import * as Dialect from "@smthrs/database/Dialect";
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Creates input generations and marks pre-observation executions as non-recoverable.
+ * @since 1.0.0
+ * @category migrations
+ */
+export const planInputs = Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    yield* sql `CREATE TABLE flows_plan_input_legacy_runs (
+    run_id TEXT PRIMARY KEY NOT NULL REFERENCES flows_runs(run_id) ON DELETE CASCADE
+  )`;
+    // A past source snapshot cannot be reconstructed from the files a completed
+    // action may already have changed. Preserve that uncertainty on upgrade.
+    yield* sql `INSERT INTO flows_plan_input_legacy_runs (run_id)
+    SELECT DISTINCT run_id FROM flows_attempts`;
+    yield* Dialect.trigger(sql, {
+        name: `flows_plan_input_legacy_runs_no_update`,
+        table: `flows_plan_input_legacy_runs`,
+        event: "BEFORE UPDATE",
+        reject: "legacy plan input uncertainty is immutable"
+    });
+    yield* sql `CREATE TABLE flows_plan_input_heads (
+    run_id TEXT NOT NULL REFERENCES flows_runs(run_id) ON DELETE CASCADE,
+    plan_id TEXT NOT NULL CHECK (length(plan_id) > 0),
+    base_digest TEXT NOT NULL CHECK (length(base_digest) > 0),
+    generation ${Dialect.integer(sql)} NOT NULL CHECK (${Dialect.isInteger(sql, sql `generation`)} AND generation >= 0 AND generation <= 9007199254740991),
+    PRIMARY KEY (run_id, plan_id)
+  )`;
+    yield* sql `CREATE UNIQUE INDEX flows_plan_input_heads_run_idx ON flows_plan_input_heads (run_id)`;
+    yield* sql `CREATE TABLE flows_plan_input_generations (
+    run_id TEXT NOT NULL REFERENCES flows_runs(run_id) ON DELETE CASCADE,
+    plan_id TEXT NOT NULL CHECK (length(plan_id) > 0),
+    generation ${Dialect.integer(sql)} NOT NULL CHECK (${Dialect.isInteger(sql, sql `generation`)} AND generation >= 0 AND generation <= 9007199254740991),
+    snapshot_json TEXT NOT NULL CHECK (${Dialect.jsonValid(sql, sql `snapshot_json`)}),
+    checksum TEXT NOT NULL CHECK (length(checksum) = 64),
+    PRIMARY KEY (run_id, plan_id, generation)
+  )`;
+    yield* Dialect.trigger(sql, {
+        name: `flows_plan_input_generations_no_update`,
+        table: `flows_plan_input_generations`,
+        event: "BEFORE UPDATE",
+        reject: "plan input generations are immutable"
+    });
+    yield* Dialect.trigger(sql, {
+        name: `flows_plan_input_heads_forward_only`,
+        table: `flows_plan_input_heads`,
+        event: "BEFORE UPDATE",
+        when: `NEW.run_id <> OLD.run_id OR NEW.plan_id <> OLD.plan_id OR
+      NEW.base_digest <> OLD.base_digest OR NEW.generation <> OLD.generation + 1`,
+        reject: "plan input heads only advance one generation"
+    });
+    for (const table of ["flows_plan_input_legacy_runs", "flows_plan_input_heads", "flows_plan_input_generations"]) {
+        // Cascade on run collection is allowed; direct deletion of replay state
+        // while its owning run exists is not.
+        yield* Dialect.trigger(sql, {
+            name: `${table}_no_delete`,
+            table: `${table}`,
+            event: "BEFORE DELETE",
+            when: `EXISTS (SELECT 1 FROM flows_runs WHERE run_id = OLD.run_id)`,
+            reject: "plan inputs belong to their run"
+        });
+    }
+});
+//# sourceMappingURL=0003_plan_inputs.js.map

package/dist/esm/migrations/0003_plan_inputs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"0003_plan_inputs.js","sourceRoot":"","sources":["../../../src/migrations/0003_plan_inputs.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,OAAO,MAAM,0BAA0B,CAAA;AACnD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAsD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAC/F,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACtC,KAAK,CAAC,CAAC,GAAG,CAAA;;IAER,CAAA;IACF,4EAA4E;IAC5E,yEAAyE;IACzE,KAAK,CAAC,CAAC,GAAG,CAAA;+CACmC,CAAA;IAC7C,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;QAC1B,IAAI,EAAE,wCAAwC;QAC9C,KAAK,EAAE,8BAA8B;QACrC,KAAK,EAAE,eAAe;QACtB,MAAM,EAAE,4CAA4C;KACrD,CAAC,CAAA;IACF,KAAK,CAAC,CAAC,GAAG,CAAA;;;;iBAIK,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,oBACjC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAA,YAAY,CACxC;;IAEE,CAAA;IACF,KAAK,CAAC,CAAC,GAAG,CAAA,uFAAuF,CAAA;IACjG,KAAK,CAAC,CAAC,GAAG,CAAA;;;iBAGK,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,oBACjC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAA,YAAY,CACxC;yCACuC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAA,eAAe,CAAC;;;IAG/E,CAAA;IACF,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;QAC1B,IAAI,EAAE,wCAAwC;QAC9C,KAAK,EAAE,8BAA8B;QACrC,KAAK,EAAE,eAAe;QACtB,MAAM,EAAE,sCAAsC;KAC/C,CAAC,CAAA;IACF,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;QAC1B,IAAI,EAAE,qCAAqC;QAC3C,KAAK,EAAE,wBAAwB;QAC/B,KAAK,EAAE,eAAe;QACtB,IAAI,EAAE;iFACuE;QAC7E,MAAM,EAAE,8CAA8C;KACvD,CAAC,CAAA;IACF,KAAK,MAAM,KAAK,IAAI,CAAC,8BAA8B,EAAE,wBAAwB,EAAE,8BAA8B,CAAC,EAAE,CAAC;QAC/G,wEAAwE;QACxE,sCAAsC;QACtC,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;YAC1B,IAAI,EAAE,GAAG,KAAK,YAAY;YAC1B,KAAK,EAAE,GAAG,KAAK,EAAE;YACjB,KAAK,EAAE,eAAe;YACtB,IAAI,EAAE,6DAA6D;YACnE,MAAM,EAAE,iCAAiC;SAC1C,CAAC,CAAA;IACJ,CAAC;AACH,CAAC,CAAC,CAAA","sourcesContent":["/**\n * Durable, append-only source observations for compiled plan execution.\n * @since 1.0.0\n */\n\nimport * as Dialect from \"@smthrs/database/Dialect\"\nimport * as Effect from \"effect/Effect\"\nimport * as SqlClient from \"effect/unstable/sql/SqlClient\"\n\n/**\n * Creates input generations and marks pre-observation executions as non-recoverable.\n * @since 1.0.0\n * @category migrations\n */\nexport const planInputs: Effect.Effect<void, unknown, SqlClient.SqlClient> = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  yield* sql`CREATE TABLE flows_plan_input_legacy_runs (\n    run_id TEXT PRIMARY KEY NOT NULL REFERENCES flows_runs(run_id) ON DELETE CASCADE\n  )`\n  // A past source snapshot cannot be reconstructed from the files a completed\n  // action may already have changed. Preserve that uncertainty on upgrade.\n  yield* sql`INSERT INTO flows_plan_input_legacy_runs (run_id)\n    SELECT DISTINCT run_id FROM flows_attempts`\n  yield* Dialect.trigger(sql, {\n    name: `flows_plan_input_legacy_runs_no_update`,\n    table: `flows_plan_input_legacy_runs`,\n    event: \"BEFORE UPDATE\",\n    reject: \"legacy plan input uncertainty is immutable\"\n  })\n  yield* sql`CREATE TABLE flows_plan_input_heads (\n    run_id TEXT NOT NULL REFERENCES flows_runs(run_id) ON DELETE CASCADE,\n    plan_id TEXT NOT NULL CHECK (length(plan_id) > 0),\n    base_digest TEXT NOT NULL CHECK (length(base_digest) > 0),\n    generation ${Dialect.integer(sql)} NOT NULL CHECK (${\n    Dialect.isInteger(sql, sql`generation`)\n  } AND generation >= 0 AND generation <= 9007199254740991),\n    PRIMARY KEY (run_id, plan_id)\n  )`\n  yield* sql`CREATE UNIQUE INDEX flows_plan_input_heads_run_idx ON flows_plan_input_heads (run_id)`\n  yield* sql`CREATE TABLE flows_plan_input_generations (\n    run_id TEXT NOT NULL REFERENCES flows_runs(run_id) ON DELETE CASCADE,\n    plan_id TEXT NOT NULL CHECK (length(plan_id) > 0),\n    generation ${Dialect.integer(sql)} NOT NULL CHECK (${\n    Dialect.isInteger(sql, sql`generation`)\n  } AND generation >= 0 AND generation <= 9007199254740991),\n    snapshot_json TEXT NOT NULL CHECK (${Dialect.jsonValid(sql, sql`snapshot_json`)}),\n    checksum TEXT NOT NULL CHECK (length(checksum) = 64),\n    PRIMARY KEY (run_id, plan_id, generation)\n  )`\n  yield* Dialect.trigger(sql, {\n    name: `flows_plan_input_generations_no_update`,\n    table: `flows_plan_input_generations`,\n    event: \"BEFORE UPDATE\",\n    reject: \"plan input generations are immutable\"\n  })\n  yield* Dialect.trigger(sql, {\n    name: `flows_plan_input_heads_forward_only`,\n    table: `flows_plan_input_heads`,\n    event: \"BEFORE UPDATE\",\n    when: `NEW.run_id <> OLD.run_id OR NEW.plan_id <> OLD.plan_id OR\n      NEW.base_digest <> OLD.base_digest OR NEW.generation <> OLD.generation + 1`,\n    reject: \"plan input heads only advance one generation\"\n  })\n  for (const table of [\"flows_plan_input_legacy_runs\", \"flows_plan_input_heads\", \"flows_plan_input_generations\"]) {\n    // Cascade on run collection is allowed; direct deletion of replay state\n    // while its owning run exists is not.\n    yield* Dialect.trigger(sql, {\n      name: `${table}_no_delete`,\n      table: `${table}`,\n      event: \"BEFORE DELETE\",\n      when: `EXISTS (SELECT 1 FROM flows_runs WHERE run_id = OLD.run_id)`,\n      reject: \"plan inputs belong to their run\"\n    })\n  }\n})\n"]}

package/dist/esm/migrations/0004_plan_environment.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Bind source observations to the runtime identity that admitted them.
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Older heads retain NULL: their original runtime environment is unknowable.
+ * New heads require an environment fingerprint, immutable for their lifetime.
+ * @since 1.0.0
+ * @category migrations
+ */
+export declare const planEnvironment: Effect.Effect<void, unknown, SqlClient.SqlClient>;
+//# sourceMappingURL=0004_plan_environment.d.ts.map

package/dist/esm/migrations/0004_plan_environment.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0004_plan_environment.d.ts","sourceRoot":"","sources":["../../../src/migrations/0004_plan_environment.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,CAkB5E,CAAA"}

package/dist/esm/migrations/0004_plan_environment.js

@@ -0,0 +1,33 @@
+/**
+ * Bind source observations to the runtime identity that admitted them.
+ * @since 1.0.0
+ */
+import * as Dialect from "@smthrs/database/Dialect";
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Older heads retain NULL: their original runtime environment is unknowable.
+ * New heads require an environment fingerprint, immutable for their lifetime.
+ * @since 1.0.0
+ * @category migrations
+ */
+export const planEnvironment = Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    yield* sql `ALTER TABLE flows_plan_input_heads ADD COLUMN environment_digest TEXT
+    CHECK (environment_digest IS NULL OR length(environment_digest) > 0)`;
+    yield* Dialect.trigger(sql, {
+        name: `flows_plan_input_heads_environment_required`,
+        table: `flows_plan_input_heads`,
+        event: "BEFORE INSERT",
+        when: `NEW.environment_digest IS NULL`,
+        reject: "new plan input heads require an environment identity"
+    });
+    yield* Dialect.trigger(sql, {
+        name: `flows_plan_input_heads_environment_immutable`,
+        table: `flows_plan_input_heads`,
+        event: "BEFORE UPDATE",
+        when: `NEW.environment_digest IS DISTINCT FROM OLD.environment_digest`,
+        reject: "plan input environment identity is immutable"
+    });
+});
+//# sourceMappingURL=0004_plan_environment.js.map

package/dist/esm/migrations/0004_plan_environment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"0004_plan_environment.js","sourceRoot":"","sources":["../../../src/migrations/0004_plan_environment.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,OAAO,MAAM,0BAA0B,CAAA;AACnD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAsD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACpG,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACtC,KAAK,CAAC,CAAC,GAAG,CAAA;yEAC6D,CAAA;IACvE,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;QAC1B,IAAI,EAAE,6CAA6C;QACnD,KAAK,EAAE,wBAAwB;QAC/B,KAAK,EAAE,eAAe;QACtB,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,sDAAsD;KAC/D,CAAC,CAAA;IACF,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;QAC1B,IAAI,EAAE,8CAA8C;QACpD,KAAK,EAAE,wBAAwB;QAC/B,KAAK,EAAE,eAAe;QACtB,IAAI,EAAE,gEAAgE;QACtE,MAAM,EAAE,8CAA8C;KACvD,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA","sourcesContent":["/**\n * Bind source observations to the runtime identity that admitted them.\n * @since 1.0.0\n */\n\nimport * as Dialect from \"@smthrs/database/Dialect\"\nimport * as Effect from \"effect/Effect\"\nimport * as SqlClient from \"effect/unstable/sql/SqlClient\"\n\n/**\n * Older heads retain NULL: their original runtime environment is unknowable.\n * New heads require an environment fingerprint, immutable for their lifetime.\n * @since 1.0.0\n * @category migrations\n */\nexport const planEnvironment: Effect.Effect<void, unknown, SqlClient.SqlClient> = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  yield* sql`ALTER TABLE flows_plan_input_heads ADD COLUMN environment_digest TEXT\n    CHECK (environment_digest IS NULL OR length(environment_digest) > 0)`\n  yield* Dialect.trigger(sql, {\n    name: `flows_plan_input_heads_environment_required`,\n    table: `flows_plan_input_heads`,\n    event: \"BEFORE INSERT\",\n    when: `NEW.environment_digest IS NULL`,\n    reject: \"new plan input heads require an environment identity\"\n  })\n  yield* Dialect.trigger(sql, {\n    name: `flows_plan_input_heads_environment_immutable`,\n    table: `flows_plan_input_heads`,\n    event: \"BEFORE UPDATE\",\n    when: `NEW.environment_digest IS DISTINCT FROM OLD.environment_digest`,\n    reject: \"plan input environment identity is immutable\"\n  })\n})\n"]}

package/dist/esm/migrations/0005_plan_merges.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Durable scheduler merge intentions and their committed plan extensions.
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Existing heads retain an unknown merge-state version; a later runtime must
+ * not infer its missing control decisions from arbitrary plan-node bodies.
+ * @since 1.0.0
+ * @category migrations
+ */
+export declare const planMerges: Effect.Effect<void, unknown, SqlClient.SqlClient>;
+//# sourceMappingURL=0005_plan_merges.d.ts.map

package/dist/esm/migrations/0005_plan_merges.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0005_plan_merges.d.ts","sourceRoot":"","sources":["../../../src/migrations/0005_plan_merges.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;;GAKG;AACH,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,CA4CvE,CAAA"}

package/dist/esm/migrations/0005_plan_merges.js

@@ -0,0 +1,59 @@
+/**
+ * Durable scheduler merge intentions and their committed plan extensions.
+ * @since 1.0.0
+ */
+import * as Dialect from "@smthrs/database/Dialect";
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Existing heads retain an unknown merge-state version; a later runtime must
+ * not infer its missing control decisions from arbitrary plan-node bodies.
+ * @since 1.0.0
+ * @category migrations
+ */
+export const planMerges = Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    yield* sql `ALTER TABLE flows_plan_input_heads ADD COLUMN merge_state_version ${Dialect.integer(sql)}
+    CHECK (merge_state_version IS NULL OR merge_state_version = 1)`;
+    yield* Dialect.trigger(sql, {
+        name: `flows_plan_input_heads_merge_version_immutable`,
+        table: `flows_plan_input_heads`,
+        event: "BEFORE UPDATE",
+        when: `NEW.merge_state_version IS DISTINCT FROM OLD.merge_state_version`,
+        reject: "plan merge state version is immutable"
+    });
+    yield* sql `CREATE TABLE flows_plan_merge_intents (
+    run_id TEXT NOT NULL REFERENCES flows_runs(run_id) ON DELETE CASCADE,
+    stopped_node_id TEXT NOT NULL CHECK (length(stopped_node_id) > 0),
+    intent_json TEXT NOT NULL CHECK (${Dialect.jsonValid(sql, sql `intent_json`)}),
+    checksum TEXT NOT NULL CHECK (length(checksum) = 64),
+    PRIMARY KEY (run_id, stopped_node_id)
+  )`;
+    yield* sql `CREATE TABLE flows_plan_merge_completions (
+    run_id TEXT NOT NULL REFERENCES flows_runs(run_id) ON DELETE CASCADE,
+    stopped_node_id TEXT NOT NULL CHECK (length(stopped_node_id) > 0),
+    generation ${Dialect.integer(sql)} NOT NULL CHECK (${Dialect.isInteger(sql, sql `generation`)} AND generation > 0),
+    merge_node_id TEXT NOT NULL CHECK (length(merge_node_id) > 0),
+    completion_json TEXT NOT NULL CHECK (${Dialect.jsonValid(sql, sql `completion_json`)}),
+    checksum TEXT NOT NULL CHECK (length(checksum) = 64),
+    PRIMARY KEY (run_id, stopped_node_id),
+    UNIQUE (run_id, generation), UNIQUE (run_id, merge_node_id),
+    FOREIGN KEY (run_id, stopped_node_id) REFERENCES flows_plan_merge_intents(run_id, stopped_node_id) ON DELETE CASCADE
+  )`;
+    for (const table of ["flows_plan_merge_intents", "flows_plan_merge_completions"]) {
+        yield* Dialect.trigger(sql, {
+            name: `${table}_no_update`,
+            table: `${table}`,
+            event: "BEFORE UPDATE",
+            reject: "plan merge decisions are immutable"
+        });
+        yield* Dialect.trigger(sql, {
+            name: `${table}_no_delete`,
+            table: `${table}`,
+            event: "BEFORE DELETE",
+            when: `EXISTS (SELECT 1 FROM flows_runs WHERE run_id = OLD.run_id)`,
+            reject: "plan merge decisions belong to their run"
+        });
+    }
+});
+//# sourceMappingURL=0005_plan_merges.js.map

package/dist/esm/migrations/0005_plan_merges.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"0005_plan_merges.js","sourceRoot":"","sources":["../../../src/migrations/0005_plan_merges.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,OAAO,MAAM,0BAA0B,CAAA;AACnD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAsD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAC/F,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACtC,KAAK,CAAC,CAAC,GAAG,CAAA,qEAAqE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC;mEAClC,CAAA;IACjE,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;QAC1B,IAAI,EAAE,gDAAgD;QACtD,KAAK,EAAE,wBAAwB;QAC/B,KAAK,EAAE,eAAe;QACtB,IAAI,EAAE,kEAAkE;QACxE,MAAM,EAAE,uCAAuC;KAChD,CAAC,CAAA;IACF,KAAK,CAAC,CAAC,GAAG,CAAA;;;uCAG2B,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAA,aAAa,CAAC;;;IAG3E,CAAA;IACF,KAAK,CAAC,CAAC,GAAG,CAAA;;;iBAGK,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,oBAAoB,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAA,YAAY,CAAC;;2CAErD,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAA,iBAAiB,CAAC;;;;;IAKnF,CAAA;IACF,KAAK,MAAM,KAAK,IAAI,CAAC,0BAA0B,EAAE,8BAA8B,CAAC,EAAE,CAAC;QACjF,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;YAC1B,IAAI,EAAE,GAAG,KAAK,YAAY;YAC1B,KAAK,EAAE,GAAG,KAAK,EAAE;YACjB,KAAK,EAAE,eAAe;YACtB,MAAM,EAAE,oCAAoC;SAC7C,CAAC,CAAA;QACF,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;YAC1B,IAAI,EAAE,GAAG,KAAK,YAAY;YAC1B,KAAK,EAAE,GAAG,KAAK,EAAE;YACjB,KAAK,EAAE,eAAe;YACtB,IAAI,EAAE,6DAA6D;YACnE,MAAM,EAAE,0CAA0C;SACnD,CAAC,CAAA;IACJ,CAAC;AACH,CAAC,CAAC,CAAA","sourcesContent":["/**\n * Durable scheduler merge intentions and their committed plan extensions.\n * @since 1.0.0\n */\n\nimport * as Dialect from \"@smthrs/database/Dialect\"\nimport * as Effect from \"effect/Effect\"\nimport * as SqlClient from \"effect/unstable/sql/SqlClient\"\n\n/**\n * Existing heads retain an unknown merge-state version; a later runtime must\n * not infer its missing control decisions from arbitrary plan-node bodies.\n * @since 1.0.0\n * @category migrations\n */\nexport const planMerges: Effect.Effect<void, unknown, SqlClient.SqlClient> = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  yield* sql`ALTER TABLE flows_plan_input_heads ADD COLUMN merge_state_version ${Dialect.integer(sql)}\n    CHECK (merge_state_version IS NULL OR merge_state_version = 1)`\n  yield* Dialect.trigger(sql, {\n    name: `flows_plan_input_heads_merge_version_immutable`,\n    table: `flows_plan_input_heads`,\n    event: \"BEFORE UPDATE\",\n    when: `NEW.merge_state_version IS DISTINCT FROM OLD.merge_state_version`,\n    reject: \"plan merge state version is immutable\"\n  })\n  yield* sql`CREATE TABLE flows_plan_merge_intents (\n    run_id TEXT NOT NULL REFERENCES flows_runs(run_id) ON DELETE CASCADE,\n    stopped_node_id TEXT NOT NULL CHECK (length(stopped_node_id) > 0),\n    intent_json TEXT NOT NULL CHECK (${Dialect.jsonValid(sql, sql`intent_json`)}),\n    checksum TEXT NOT NULL CHECK (length(checksum) = 64),\n    PRIMARY KEY (run_id, stopped_node_id)\n  )`\n  yield* sql`CREATE TABLE flows_plan_merge_completions (\n    run_id TEXT NOT NULL REFERENCES flows_runs(run_id) ON DELETE CASCADE,\n    stopped_node_id TEXT NOT NULL CHECK (length(stopped_node_id) > 0),\n    generation ${Dialect.integer(sql)} NOT NULL CHECK (${Dialect.isInteger(sql, sql`generation`)} AND generation > 0),\n    merge_node_id TEXT NOT NULL CHECK (length(merge_node_id) > 0),\n    completion_json TEXT NOT NULL CHECK (${Dialect.jsonValid(sql, sql`completion_json`)}),\n    checksum TEXT NOT NULL CHECK (length(checksum) = 64),\n    PRIMARY KEY (run_id, stopped_node_id),\n    UNIQUE (run_id, generation), UNIQUE (run_id, merge_node_id),\n    FOREIGN KEY (run_id, stopped_node_id) REFERENCES flows_plan_merge_intents(run_id, stopped_node_id) ON DELETE CASCADE\n  )`\n  for (const table of [\"flows_plan_merge_intents\", \"flows_plan_merge_completions\"]) {\n    yield* Dialect.trigger(sql, {\n      name: `${table}_no_update`,\n      table: `${table}`,\n      event: \"BEFORE UPDATE\",\n      reject: \"plan merge decisions are immutable\"\n    })\n    yield* Dialect.trigger(sql, {\n      name: `${table}_no_delete`,\n      table: `${table}`,\n      event: \"BEFORE DELETE\",\n      when: `EXISTS (SELECT 1 FROM flows_runs WHERE run_id = OLD.run_id)`,\n      reject: \"plan merge decisions belong to their run\"\n    })\n  }\n})\n"]}

package/dist/esm/migrations/0006_execution_listing.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Indexed engine execution observation and ordering.
+ *
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Brings existing spawn edges into the migration ladder and binds changes to
+ * their child's run revision. Run-store owns the shared revision triggers.
+ * @category migrations
+ * @since 1.0.0
+ */
+export declare const executionListing: Effect.Effect<void, unknown, SqlClient.SqlClient>;
+//# sourceMappingURL=0006_execution_listing.d.ts.map

package/dist/esm/migrations/0006_execution_listing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0006_execution_listing.d.ts","sourceRoot":"","sources":["../../../src/migrations/0006_execution_listing.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,CAqE7E,CAAA"}

package/dist/esm/migrations/0006_execution_listing.js

@@ -0,0 +1,81 @@
+/**
+ * Indexed engine execution observation and ordering.
+ *
+ * @since 1.0.0
+ */
+import * as Dialect from "@smthrs/database/Dialect";
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Brings existing spawn edges into the migration ladder and binds changes to
+ * their child's run revision. Run-store owns the shared revision triggers.
+ * @category migrations
+ * @since 1.0.0
+ */
+export const executionListing = Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    yield* sql `CREATE TABLE IF NOT EXISTS flows_run_parents (
+    child_id TEXT NOT NULL CHECK (length(child_id) > 0),
+    parent_id TEXT NOT NULL CHECK (length(parent_id) > 0),
+    seq ${Dialect.integer(sql)} NOT NULL CHECK (${Dialect.isInteger(sql, sql `seq`)} AND seq >= 0 AND seq <= 9007199254740991),
+    PRIMARY KEY (child_id, parent_id)
+  )`;
+    yield* sql `CREATE INDEX IF NOT EXISTS flows_run_parents_parent_idx ON flows_run_parents (parent_id)`;
+    yield* sql `CREATE INDEX flows_run_parents_first_idx ON flows_run_parents (child_id, seq, parent_id)`;
+    yield* sql `CREATE INDEX flows_run_parents_children_idx ON flows_run_parents (parent_id, seq, child_id)`;
+    yield* Dialect.trigger(sql, {
+        name: "flows_run_parents_gc",
+        table: "flows_runs",
+        event: "AFTER DELETE",
+        body: "DELETE FROM flows_run_parents WHERE child_id = OLD.run_id OR parent_id = OLD.run_id;"
+    });
+    yield* sql `ALTER TABLE flows_runs ADD COLUMN execution_parent_id TEXT`;
+    yield* sql `ALTER TABLE flows_runs ADD COLUMN execution_flow TEXT
+    GENERATED ALWAYS AS (${Dialect.jsonText(sql, sql `state_json`, "$.flowName")}) ${sql.literal(Dialect.isPostgres(sql) ? "STORED" : "VIRTUAL")}`;
+    yield* sql `ALTER TABLE flows_runs ADD COLUMN execution_lineage TEXT
+    GENERATED ALWAYS AS (COALESCE(lineage_id, run_id)) ${sql.literal(Dialect.isPostgres(sql) ? "STORED" : "VIRTUAL")}`;
+    yield* sql `CREATE INDEX flows_runs_round_page_idx ON flows_runs (execution_lineage, COALESCE(round_ordinal, 0), run_id)`;
+    yield* Dialect.trigger(sql, {
+        name: `flows_runs_creation_immutable`,
+        table: `flows_runs`,
+        event: "BEFORE UPDATE OF created_at_ms",
+        when: `NEW.created_at_ms <> OLD.created_at_ms`,
+        reject: "execution creation key is immutable"
+    });
+    yield* sql `UPDATE flows_runs SET execution_parent_id = COALESCE(parent_run_id,
+    (SELECT parent_id FROM flows_run_parents WHERE child_id = run_id ORDER BY seq, parent_id LIMIT 1))`;
+    for (const operation of ["INSERT", "UPDATE OF parent_run_id"]) {
+        yield* Dialect.trigger(sql, {
+            name: `flows_runs_effective_parent_${operation === "INSERT" ? "insert" : "update"}`,
+            table: "flows_runs",
+            event: `AFTER ${operation}`,
+            body: `
+        UPDATE flows_runs SET execution_parent_id = COALESCE(NEW.parent_run_id,
+          (SELECT parent_id FROM flows_run_parents WHERE child_id = NEW.run_id ORDER BY seq, parent_id LIMIT 1))
+        WHERE run_id = NEW.run_id;
+      `
+        });
+    }
+    for (const operation of ["INSERT", "UPDATE", "DELETE"]) {
+        const row = operation === "DELETE" ? "OLD" : "NEW";
+        yield* Dialect.trigger(sql, {
+            name: `flows_run_parents_revision_${operation.toLowerCase()}`,
+            table: "flows_run_parents",
+            event: `AFTER ${operation}`,
+            body: `
+        UPDATE flows_runs SET execution_parent_id = COALESCE(parent_run_id,
+          (SELECT parent_id FROM flows_run_parents WHERE child_id = run_id ORDER BY seq, parent_id LIMIT 1))
+        WHERE run_id = ${row}.child_id ${operation === "UPDATE" ? "OR run_id = OLD.child_id" : ""};
+      `
+        });
+    }
+    // Every subset of the five equality filters has its creation-order suffix.
+    // This avoids rare combined predicates degrading to whole-history scans.
+    const fields = ["status", "execution_flow", "execution_parent_id", "execution_lineage", "waiting_reason"];
+    for (let mask = 0; mask < 32; mask++) {
+        const columns = fields.filter((_, index) => (mask & (1 << index)) !== 0);
+        yield* sql.unsafe(`CREATE INDEX flows_runs_listing_${mask} ON flows_runs
+      (${[...columns, "created_at_ms", "run_id"].join(", ")})`);
+    }
+});
+//# sourceMappingURL=0006_execution_listing.js.map

package/dist/esm/migrations/0006_execution_listing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"0006_execution_listing.js","sourceRoot":"","sources":["../../../src/migrations/0006_execution_listing.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,OAAO,MAAM,0BAA0B,CAAA;AACnD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAsD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACrG,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACtC,KAAK,CAAC,CAAC,GAAG,CAAA;;;UAGF,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,oBAC1B,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAA,KAAK,CACjC;;IAEE,CAAA;IACF,KAAK,CAAC,CAAC,GAAG,CAAA,0FAA0F,CAAA;IACpG,KAAK,CAAC,CAAC,GAAG,CAAA,0FAA0F,CAAA;IACpG,KAAK,CAAC,CAAC,GAAG,CAAA,6FAA6F,CAAA;IACvG,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;QAC1B,IAAI,EAAE,sBAAsB;QAC5B,KAAK,EAAE,YAAY;QACnB,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,sFAAsF;KAC7F,CAAC,CAAA;IACF,KAAK,CAAC,CAAC,GAAG,CAAA,4DAA4D,CAAA;IACtE,KAAK,CAAC,CAAC,GAAG,CAAA;2BACe,OAAO,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAA,YAAY,EAAE,YAAY,CAAC,KAC3E,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAC5D,EAAE,CAAA;IACF,KAAK,CAAC,CAAC,GAAG,CAAA;yDAC6C,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAA;IACpH,KAAK,CAAC,CAAC,GAAG,CAAA,8GAA8G,CAAA;IACxH,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;QAC1B,IAAI,EAAE,+BAA+B;QACrC,KAAK,EAAE,YAAY;QACnB,KAAK,EAAE,gCAAgC;QACvC,IAAI,EAAE,wCAAwC;QAC9C,MAAM,EAAE,qCAAqC;KAC9C,CAAC,CAAA;IACF,KAAK,CAAC,CAAC,GAAG,CAAA;uGAC2F,CAAA;IACrG,KAAK,MAAM,SAAS,IAAI,CAAC,QAAQ,EAAE,yBAAyB,CAAU,EAAE,CAAC;QACvE,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;YAC1B,IAAI,EAAE,+BAA+B,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE;YACnF,KAAK,EAAE,YAAY;YACnB,KAAK,EAAE,SAAS,SAAS,EAAE;YAC3B,IAAI,EAAE;;;;OAIL;SACF,CAAC,CAAA;IACJ,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAU,EAAE,CAAC;QAChE,MAAM,GAAG,GAAG,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAA;QAClD,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;YAC1B,IAAI,EAAE,8BAA8B,SAAS,CAAC,WAAW,EAAE,EAAE;YAC7D,KAAK,EAAE,mBAAmB;YAC1B,KAAK,EAAE,SAAS,SAAS,EAAE;YAC3B,IAAI,EAAE;;;yBAGa,GAAG,aAAa,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,EAAE;OAC1F;SACF,CAAC,CAAA;IACJ,CAAC;IACD,2EAA2E;IAC3E,yEAAyE;IACzE,MAAM,MAAM,GAAG,CAAC,QAAQ,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,gBAAgB,CAAC,CAAA;IACzG,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;QACxE,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,mCAAmC,IAAI;SACpD,CAAC,GAAG,OAAO,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAC7D,CAAC;AACH,CAAC,CAAC,CAAA","sourcesContent":["/**\n * Indexed engine execution observation and ordering.\n *\n * @since 1.0.0\n */\n\nimport * as Dialect from \"@smthrs/database/Dialect\"\nimport * as Effect from \"effect/Effect\"\nimport * as SqlClient from \"effect/unstable/sql/SqlClient\"\n\n/**\n * Brings existing spawn edges into the migration ladder and binds changes to\n * their child's run revision. Run-store owns the shared revision triggers.\n * @category migrations\n * @since 1.0.0\n */\nexport const executionListing: Effect.Effect<void, unknown, SqlClient.SqlClient> = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  yield* sql`CREATE TABLE IF NOT EXISTS flows_run_parents (\n    child_id TEXT NOT NULL CHECK (length(child_id) > 0),\n    parent_id TEXT NOT NULL CHECK (length(parent_id) > 0),\n    seq ${Dialect.integer(sql)} NOT NULL CHECK (${\n    Dialect.isInteger(sql, sql`seq`)\n  } AND seq >= 0 AND seq <= 9007199254740991),\n    PRIMARY KEY (child_id, parent_id)\n  )`\n  yield* sql`CREATE INDEX IF NOT EXISTS flows_run_parents_parent_idx ON flows_run_parents (parent_id)`\n  yield* sql`CREATE INDEX flows_run_parents_first_idx ON flows_run_parents (child_id, seq, parent_id)`\n  yield* sql`CREATE INDEX flows_run_parents_children_idx ON flows_run_parents (parent_id, seq, child_id)`\n  yield* Dialect.trigger(sql, {\n    name: \"flows_run_parents_gc\",\n    table: \"flows_runs\",\n    event: \"AFTER DELETE\",\n    body: \"DELETE FROM flows_run_parents WHERE child_id = OLD.run_id OR parent_id = OLD.run_id;\"\n  })\n  yield* sql`ALTER TABLE flows_runs ADD COLUMN execution_parent_id TEXT`\n  yield* sql`ALTER TABLE flows_runs ADD COLUMN execution_flow TEXT\n    GENERATED ALWAYS AS (${Dialect.jsonText(sql, sql`state_json`, \"$.flowName\")}) ${\n    sql.literal(Dialect.isPostgres(sql) ? \"STORED\" : \"VIRTUAL\")\n  }`\n  yield* sql`ALTER TABLE flows_runs ADD COLUMN execution_lineage TEXT\n    GENERATED ALWAYS AS (COALESCE(lineage_id, run_id)) ${sql.literal(Dialect.isPostgres(sql) ? \"STORED\" : \"VIRTUAL\")}`\n  yield* sql`CREATE INDEX flows_runs_round_page_idx ON flows_runs (execution_lineage, COALESCE(round_ordinal, 0), run_id)`\n  yield* Dialect.trigger(sql, {\n    name: `flows_runs_creation_immutable`,\n    table: `flows_runs`,\n    event: \"BEFORE UPDATE OF created_at_ms\",\n    when: `NEW.created_at_ms <> OLD.created_at_ms`,\n    reject: \"execution creation key is immutable\"\n  })\n  yield* sql`UPDATE flows_runs SET execution_parent_id = COALESCE(parent_run_id,\n    (SELECT parent_id FROM flows_run_parents WHERE child_id = run_id ORDER BY seq, parent_id LIMIT 1))`\n  for (const operation of [\"INSERT\", \"UPDATE OF parent_run_id\"] as const) {\n    yield* Dialect.trigger(sql, {\n      name: `flows_runs_effective_parent_${operation === \"INSERT\" ? \"insert\" : \"update\"}`,\n      table: \"flows_runs\",\n      event: `AFTER ${operation}`,\n      body: `\n        UPDATE flows_runs SET execution_parent_id = COALESCE(NEW.parent_run_id,\n          (SELECT parent_id FROM flows_run_parents WHERE child_id = NEW.run_id ORDER BY seq, parent_id LIMIT 1))\n        WHERE run_id = NEW.run_id;\n      `\n    })\n  }\n  for (const operation of [\"INSERT\", \"UPDATE\", \"DELETE\"] as const) {\n    const row = operation === \"DELETE\" ? \"OLD\" : \"NEW\"\n    yield* Dialect.trigger(sql, {\n      name: `flows_run_parents_revision_${operation.toLowerCase()}`,\n      table: \"flows_run_parents\",\n      event: `AFTER ${operation}`,\n      body: `\n        UPDATE flows_runs SET execution_parent_id = COALESCE(parent_run_id,\n          (SELECT parent_id FROM flows_run_parents WHERE child_id = run_id ORDER BY seq, parent_id LIMIT 1))\n        WHERE run_id = ${row}.child_id ${operation === \"UPDATE\" ? \"OR run_id = OLD.child_id\" : \"\"};\n      `\n    })\n  }\n  // Every subset of the five equality filters has its creation-order suffix.\n  // This avoids rare combined predicates degrading to whole-history scans.\n  const fields = [\"status\", \"execution_flow\", \"execution_parent_id\", \"execution_lineage\", \"waiting_reason\"]\n  for (let mask = 0; mask < 32; mask++) {\n    const columns = fields.filter((_, index) => (mask & (1 << index)) !== 0)\n    yield* sql.unsafe(`CREATE INDEX flows_runs_listing_${mask} ON flows_runs\n      (${[...columns, \"created_at_ms\", \"run_id\"].join(\", \")})`)\n  }\n})\n"]}

package/dist/esm/migrations/0007_run_parent_sequence.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Indexed allocation of the global run-parent sequence.
+ *
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Supports MAX(seq) without scanning retained edges from unrelated runs.
+ *
+ * @category migrations
+ * @since 1.0.0
+ */
+export declare const runParentSequence: Effect.Effect<void, unknown, SqlClient.SqlClient>;
+//# sourceMappingURL=0007_run_parent_sequence.d.ts.map

package/dist/esm/migrations/0007_run_parent_sequence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0007_run_parent_sequence.d.ts","sourceRoot":"","sources":["../../../src/migrations/0007_run_parent_sequence.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,CAG9E,CAAA"}

package/dist/esm/migrations/0007_run_parent_sequence.js

@@ -0,0 +1,18 @@
+/**
+ * Indexed allocation of the global run-parent sequence.
+ *
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Supports MAX(seq) without scanning retained edges from unrelated runs.
+ *
+ * @category migrations
+ * @since 1.0.0
+ */
+export const runParentSequence = Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    yield* sql `CREATE INDEX flows_run_parents_seq_idx ON flows_run_parents (seq)`;
+});
+//# sourceMappingURL=0007_run_parent_sequence.js.map

package/dist/esm/migrations/0007_run_parent_sequence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"0007_run_parent_sequence.js","sourceRoot":"","sources":["../../../src/migrations/0007_run_parent_sequence.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAsD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACtG,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACtC,KAAK,CAAC,CAAC,GAAG,CAAA,mEAAmE,CAAA;AAC/E,CAAC,CAAC,CAAA","sourcesContent":["/**\n * Indexed allocation of the global run-parent sequence.\n *\n * @since 1.0.0\n */\n\nimport * as Effect from \"effect/Effect\"\nimport * as SqlClient from \"effect/unstable/sql/SqlClient\"\n\n/**\n * Supports MAX(seq) without scanning retained edges from unrelated runs.\n *\n * @category migrations\n * @since 1.0.0\n */\nexport const runParentSequence: Effect.Effect<void, unknown, SqlClient.SqlClient> = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  yield* sql`CREATE INDEX flows_run_parents_seq_idx ON flows_run_parents (seq)`\n})\n"]}

package/dist/esm/migrations/0008_deferred_consumption.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Registration recovery only needs completions the run has not observed.
+ *
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Retains completion values for replay while removing consumed rows from sweeps.
+ * Existing completions stay eligible until first read by the upgraded engine.
+ *
+ * @category migrations
+ * @since 1.0.0
+ */
+export declare const deferredConsumption: Effect.Effect<void, unknown, SqlClient.SqlClient>;
+//# sourceMappingURL=0008_deferred_consumption.d.ts.map

package/dist/esm/migrations/0008_deferred_consumption.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0008_deferred_consumption.d.ts","sourceRoot":"","sources":["../../../src/migrations/0008_deferred_consumption.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,CAShF,CAAA"}

package/dist/esm/migrations/0008_deferred_consumption.js

@@ -0,0 +1,24 @@
+/**
+ * Registration recovery only needs completions the run has not observed.
+ *
+ * @since 1.0.0
+ */
+import * as Dialect from "@smthrs/database/Dialect";
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Retains completion values for replay while removing consumed rows from sweeps.
+ * Existing completions stay eligible until first read by the upgraded engine.
+ *
+ * @category migrations
+ * @since 1.0.0
+ */
+export const deferredConsumption = Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    yield* sql `ALTER TABLE flows_deferred_completions ADD COLUMN consumed_at_ms ${Dialect.integer(sql)}
+    CHECK (consumed_at_ms IS NULL OR (${Dialect.isInteger(sql, sql `consumed_at_ms`)} AND consumed_at_ms >= 0 AND consumed_at_ms <= 9007199254740991))`;
+    yield* sql `CREATE INDEX flows_deferred_completions_unconsumed_idx
+    ON flows_deferred_completions (flow_name, execution_id, deferred_name)
+    WHERE consumed_at_ms IS NULL`;
+});
+//# sourceMappingURL=0008_deferred_consumption.js.map

package/dist/esm/migrations/0008_deferred_consumption.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"0008_deferred_consumption.js","sourceRoot":"","sources":["../../../src/migrations/0008_deferred_consumption.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,OAAO,MAAM,0BAA0B,CAAA;AACnD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAsD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACxG,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACtC,KAAK,CAAC,CAAC,GAAG,CAAA,oEAAoE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC;wCAEhG,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAA,gBAAgB,CAC5C,mEAAmE,CAAA;IACnE,KAAK,CAAC,CAAC,GAAG,CAAA;;iCAEqB,CAAA;AACjC,CAAC,CAAC,CAAA","sourcesContent":["/**\n * Registration recovery only needs completions the run has not observed.\n *\n * @since 1.0.0\n */\n\nimport * as Dialect from \"@smthrs/database/Dialect\"\nimport * as Effect from \"effect/Effect\"\nimport * as SqlClient from \"effect/unstable/sql/SqlClient\"\n\n/**\n * Retains completion values for replay while removing consumed rows from sweeps.\n * Existing completions stay eligible until first read by the upgraded engine.\n *\n * @category migrations\n * @since 1.0.0\n */\nexport const deferredConsumption: Effect.Effect<void, unknown, SqlClient.SqlClient> = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  yield* sql`ALTER TABLE flows_deferred_completions ADD COLUMN consumed_at_ms ${Dialect.integer(sql)}\n    CHECK (consumed_at_ms IS NULL OR (${\n    Dialect.isInteger(sql, sql`consumed_at_ms`)\n  } AND consumed_at_ms >= 0 AND consumed_at_ms <= 9007199254740991))`\n  yield* sql`CREATE INDEX flows_deferred_completions_unconsumed_idx\n    ON flows_deferred_completions (flow_name, execution_id, deferred_name)\n    WHERE consumed_at_ms IS NULL`\n})\n"]}

package/dist/esm/migrations/0009_deferred_clock_facts.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Backfills the journal records the deferred/clock fold reads.
+ *
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Journals every deferred/clock change written before the fold's records
+ * existed: a clock row with no `clock-scheduled` record, a completed clock
+ * with no `clock-completed` record, a completion with no `deferred-completed`
+ * record, and a consumed completion with no `deferred-consumed` record. Without
+ * them a rebuild would drop the clock, or re-arm a completed one and wake a run
+ * for a result it already observed (issue #2037).
+ *
+ * Each backfilled record is appended at the run's next sequence under a
+ * `flows.engine.backfill:` producer whose identity names the row, with the
+ * lineage meta every engine record carries.
+ *
+ * @category migrations
+ * @since 1.0.0
+ */
+export declare const deferredClockFacts: Effect.Effect<void, unknown, SqlClient.SqlClient>;
+//# sourceMappingURL=0009_deferred_clock_facts.d.ts.map

package/dist/esm/migrations/0009_deferred_clock_facts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0009_deferred_clock_facts.d.ts","sourceRoot":"","sources":["../../../src/migrations/0009_deferred_clock_facts.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAwB1D;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,CAkH/E,CAAA"}

package/dist/esm/migrations/0009_deferred_clock_facts.js

@@ -0,0 +1,127 @@
+/**
+ * Backfills the journal records the deferred/clock fold reads.
+ *
+ * @since 1.0.0
+ */
+import { FlowEngine } from "@smthrs/engine";
+import * as JournalEvent from "@smthrs/journal/JournalEvent";
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+import { EventTypes } from "../EventTypes.js";
+const optionalTime = (value) => value === null ? null : Number(value);
+/**
+ * Journals every deferred/clock change written before the fold's records
+ * existed: a clock row with no `clock-scheduled` record, a completed clock
+ * with no `clock-completed` record, a completion with no `deferred-completed`
+ * record, and a consumed completion with no `deferred-consumed` record. Without
+ * them a rebuild would drop the clock, or re-arm a completed one and wake a run
+ * for a result it already observed (issue #2037).
+ *
+ * Each backfilled record is appended at the run's next sequence under a
+ * `flows.engine.backfill:` producer whose identity names the row, with the
+ * lineage meta every engine record carries.
+ *
+ * @category migrations
+ * @since 1.0.0
+ */
+export const deferredClockFacts = Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    const recorded = new Set();
+    const events = yield* sql `
+    SELECT run_id, event_type, payload_json FROM flows_journal_events
+    WHERE ${sql.in("event_type", [
+        EventTypes.clockScheduled,
+        EventTypes.clockCompleted,
+        EventTypes.deferredCompleted,
+        EventTypes.deferredConsumed
+    ])}
+  `;
+    for (const event of events) {
+        const payload = JSON.parse(event.payload_json);
+        const name = event.event_type === EventTypes.clockScheduled || event.event_type === EventTypes.clockCompleted
+            ? payload.clockName
+            : payload.deferredName;
+        recorded.add(JSON.stringify([event.event_type, payload.flowName, payload.executionId, name]));
+    }
+    const next = new Map();
+    const append = (eventType, executionId, name, emittedAtMs, payload) => Effect.gen(function* () {
+        const identity = JSON.stringify([eventType, payload.flowName, executionId, name]);
+        if (recorded.has(identity))
+            return;
+        recorded.add(identity);
+        let seq = next.get(executionId);
+        if (seq === undefined) {
+            const rows = yield* sql `
+          SELECT MAX(seq) + 1 AS next FROM flows_journal_events WHERE run_id = ${executionId}
+        `;
+            seq = Number(rows[0]?.next ?? 0);
+        }
+        next.set(executionId, seq + 1);
+        const sourceId = `flows.engine.backfill:${JournalEvent.contentDigest(identity)}`;
+        yield* sql `
+        INSERT INTO flows_journal_events (
+          run_id, seq, event_id, source_id, source_seq, emitted_at_ms, event_type, payload_json, meta_json
+        ) VALUES (
+          ${executionId},
+          ${seq},
+          ${JournalEvent.makeEventId(executionId, sourceId, 0)},
+          ${sourceId},
+          ${0},
+          ${emittedAtMs},
+          ${eventType},
+          ${JSON.stringify(payload)},
+          ${JSON.stringify({ lineageId: FlowEngine.Lineage.root(executionId) })}
+        )
+      `;
+    });
+    const clocks = yield* sql `
+    SELECT flow_name, execution_id, clock_name, deferred_name, due_at_ms, completed_at_ms
+    FROM flows_clock_deadlines
+    ORDER BY execution_id, flow_name, clock_name
+  `;
+    for (const clock of clocks) {
+        const dueAtMs = Number(clock.due_at_ms);
+        const completedAtMs = optionalTime(clock.completed_at_ms);
+        yield* append(EventTypes.clockScheduled, clock.execution_id, clock.clock_name, completedAtMs ?? dueAtMs, {
+            flowName: clock.flow_name,
+            executionId: clock.execution_id,
+            clockName: clock.clock_name,
+            deferredName: clock.deferred_name,
+            dueAtMs
+        });
+        if (completedAtMs !== null) {
+            yield* append(EventTypes.clockCompleted, clock.execution_id, clock.clock_name, completedAtMs, {
+                flowName: clock.flow_name,
+                executionId: clock.execution_id,
+                clockName: clock.clock_name,
+                completedAtMs
+            });
+        }
+    }
+    const deferreds = yield* sql `
+    SELECT flow_name, execution_id, deferred_name, exit_json, metadata_json, completed_at_ms, consumed_at_ms
+    FROM flows_deferred_completions
+    ORDER BY execution_id, flow_name, deferred_name
+  `;
+    for (const deferred of deferreds) {
+        const completedAtMs = Number(deferred.completed_at_ms);
+        const consumedAtMs = optionalTime(deferred.consumed_at_ms);
+        yield* append(EventTypes.deferredCompleted, deferred.execution_id, deferred.deferred_name, completedAtMs, {
+            flowName: deferred.flow_name,
+            executionId: deferred.execution_id,
+            deferredName: deferred.deferred_name,
+            completedAtMs,
+            exitDigest: JournalEvent.contentDigest(deferred.exit_json),
+            metadataDigest: deferred.metadata_json === null ? null : JournalEvent.contentDigest(deferred.metadata_json)
+        });
+        if (consumedAtMs !== null) {
+            yield* append(EventTypes.deferredConsumed, deferred.execution_id, deferred.deferred_name, consumedAtMs, {
+                flowName: deferred.flow_name,
+                executionId: deferred.execution_id,
+                deferredName: deferred.deferred_name,
+                consumedAtMs
+            });
+        }
+    }
+});
+//# sourceMappingURL=0009_deferred_clock_facts.js.map