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

package/dist/cjs/migrations/0002_selection_store.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Durable suspected-edge storage for probabilistic selection.
+ *
+ * @since 0.1.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Creates the `flows_selection_suspected_edges` table.
+ *
+ * @category migrations
+ * @since 0.1.0
+ */
+export declare const selectionStore: Effect.Effect<void, unknown, SqlClient.SqlClient>;
+//# sourceMappingURL=0002_selection_store.d.ts.map

package/dist/cjs/migrations/0002_selection_store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0002_selection_store.d.ts","sourceRoot":"","sources":["../../../src/migrations/0002_selection_store.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,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,CAqB3E,CAAA"}

package/dist/cjs/migrations/0002_selection_store.js

@@ -0,0 +1,56 @@
+"use strict";
+var __create = Object.create;
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __getProtoOf = Object.getPrototypeOf;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
+  // If the importer is in node compatibility mode or this is not an ESM
+  // file that has been converted to a CommonJS file using a Babel-
+  // compatible transform (i.e. "__esModule" has not been set), then set
+  // "default" to the CommonJS "module.exports" for node compatibility.
+  isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
+  mod
+));
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+var selection_store_exports = {};
+__export(selection_store_exports, {
+  selectionStore: () => selectionStore
+});
+module.exports = __toCommonJS(selection_store_exports);
+var Dialect = __toESM(require("@smthrs/database/Dialect"), 1);
+var Effect = __toESM(require("effect/Effect"), 1);
+var SqlClient = __toESM(require("effect/unstable/sql/SqlClient"), 1);
+const selectionStore = Effect.gen(function* () {
+  const sql = yield* SqlClient.SqlClient;
+  yield* sql`CREATE TABLE flows_selection_suspected_edges (
+    scope TEXT NOT NULL CHECK (length(scope) > 0),
+    affects TEXT NOT NULL CHECK (length(affects) > 0),
+    confidence DOUBLE PRECISION NOT NULL CHECK (
+      ${sql.literal(Dialect.isPostgres(sql) ? "TRUE" : "(typeof(confidence) = 'real' OR typeof(confidence) = 'integer')")} AND
+      confidence >= 0 AND
+      confidence <= 1
+    ),
+    valid_from_ms ${Dialect.integer(sql)} NOT NULL CHECK (
+      ${Dialect.isInteger(sql, sql`valid_from_ms`)} AND
+      valid_from_ms >= 0 AND
+      valid_from_ms <= 9007199254740991
+    ),
+    evidence_json TEXT NOT NULL CHECK (${Dialect.jsonValid(sql, sql`evidence_json`)}),
+    PRIMARY KEY (scope, affects)
+  )`;
+});
+//# sourceMappingURL=0002_selection_store.js.map

package/dist/cjs/migrations/0002_selection_store.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../src/migrations/0002_selection_store.ts"],
+  "sourcesContent": ["/**\n * Durable suspected-edge storage for probabilistic selection.\n *\n * @since 0.1.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 the `flows_selection_suspected_edges` table.\n *\n * @category migrations\n * @since 0.1.0\n */\nexport const selectionStore: Effect.Effect<void, unknown, SqlClient.SqlClient> = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n\n  yield* sql`CREATE TABLE flows_selection_suspected_edges (\n    scope TEXT NOT NULL CHECK (length(scope) > 0),\n    affects TEXT NOT NULL CHECK (length(affects) > 0),\n    confidence DOUBLE PRECISION NOT NULL CHECK (\n      ${\n    sql.literal(Dialect.isPostgres(sql) ? \"TRUE\" : \"(typeof(confidence) = 'real' OR typeof(confidence) = 'integer')\")\n  } AND\n      confidence >= 0 AND\n      confidence <= 1\n    ),\n    valid_from_ms ${Dialect.integer(sql)} NOT NULL CHECK (\n      ${Dialect.isInteger(sql, sql`valid_from_ms`)} AND\n      valid_from_ms >= 0 AND\n      valid_from_ms <= 9007199254740991\n    ),\n    evidence_json TEXT NOT NULL CHECK (${Dialect.jsonValid(sql, sql`evidence_json`)}),\n    PRIMARY KEY (scope, affects)\n  )`\n})\n"],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAMA,cAAyB;AACzB,aAAwB;AACxB,gBAA2B;AAQpB,MAAM,iBAAoE,OAAO,IAAI,aAAY;AACtG,QAAM,MAAM,OAAO,UAAU;AAE7B,SAAO;AAAA;AAAA;AAAA;AAAA,QAKL,IAAI,QAAQ,QAAQ,WAAW,GAAG,IAAI,SAAS,iEAAiE,CAClH;AAAA;AAAA;AAAA;AAAA,oBAIkB,QAAQ,QAAQ,GAAG,CAAC;AAAA,QAChC,QAAQ,UAAU,KAAK,kBAAkB,CAAC;AAAA;AAAA;AAAA;AAAA,yCAIT,QAAQ,UAAU,KAAK,kBAAkB,CAAC;AAAA;AAAA;AAGnF,CAAC;",
+  "names": []
+}

package/dist/cjs/migrations/0003_plan_inputs.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Durable, append-only source observations for compiled plan execution.
+ * @since 1.0.0
+ */
+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 declare const planInputs: Effect.Effect<void, unknown, SqlClient.SqlClient>;
+//# sourceMappingURL=0003_plan_inputs.d.ts.map

package/dist/cjs/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/cjs/migrations/0003_plan_inputs.js

@@ -0,0 +1,90 @@
+"use strict";
+var __create = Object.create;
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __getProtoOf = Object.getPrototypeOf;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
+  // If the importer is in node compatibility mode or this is not an ESM
+  // file that has been converted to a CommonJS file using a Babel-
+  // compatible transform (i.e. "__esModule" has not been set), then set
+  // "default" to the CommonJS "module.exports" for node compatibility.
+  isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
+  mod
+));
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+var plan_inputs_exports = {};
+__export(plan_inputs_exports, {
+  planInputs: () => planInputs
+});
+module.exports = __toCommonJS(plan_inputs_exports);
+var Dialect = __toESM(require("@smthrs/database/Dialect"), 1);
+var Effect = __toESM(require("effect/Effect"), 1);
+var SqlClient = __toESM(require("effect/unstable/sql/SqlClient"), 1);
+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
+  )`;
+  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"]) {
+    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/cjs/migrations/0003_plan_inputs.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../src/migrations/0003_plan_inputs.ts"],
+  "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"],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAKA,cAAyB;AACzB,aAAwB;AACxB,gBAA2B;AAOpB,MAAM,aAAgE,OAAO,IAAI,aAAY;AAClG,QAAM,MAAM,OAAO,UAAU;AAC7B,SAAO;AAAA;AAAA;AAKP,SAAO;AAAA;AAEP,SAAO,QAAQ,QAAQ,KAAK;AAAA,IAC1B,MAAM;AAAA,IACN,OAAO;AAAA,IACP,OAAO;AAAA,IACP,QAAQ;AAAA,EACV,CAAC;AACD,SAAO;AAAA;AAAA;AAAA;AAAA,iBAIQ,QAAQ,QAAQ,GAAG,CAAC,oBACjC,QAAQ,UAAU,KAAK,eAAe,CACxC;AAAA;AAAA;AAGA,SAAO;AACP,SAAO;AAAA;AAAA;AAAA,iBAGQ,QAAQ,QAAQ,GAAG,CAAC,oBACjC,QAAQ,UAAU,KAAK,eAAe,CACxC;AAAA,yCACuC,QAAQ,UAAU,KAAK,kBAAkB,CAAC;AAAA;AAAA;AAAA;AAIjF,SAAO,QAAQ,QAAQ,KAAK;AAAA,IAC1B,MAAM;AAAA,IACN,OAAO;AAAA,IACP,OAAO;AAAA,IACP,QAAQ;AAAA,EACV,CAAC;AACD,SAAO,QAAQ,QAAQ,KAAK;AAAA,IAC1B,MAAM;AAAA,IACN,OAAO;AAAA,IACP,OAAO;AAAA,IACP,MAAM;AAAA;AAAA,IAEN,QAAQ;AAAA,EACV,CAAC;AACD,aAAW,SAAS,CAAC,gCAAgC,0BAA0B,8BAA8B,GAAG;AAG9G,WAAO,QAAQ,QAAQ,KAAK;AAAA,MAC1B,MAAM,GAAG,KAAK;AAAA,MACd,OAAO,GAAG,KAAK;AAAA,MACf,OAAO;AAAA,MACP,MAAM;AAAA,MACN,QAAQ;AAAA,IACV,CAAC;AAAA,EACH;AACF,CAAC;",
+  "names": []
+}

package/dist/cjs/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/cjs/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/cjs/migrations/0004_plan_environment.js

@@ -0,0 +1,56 @@
+"use strict";
+var __create = Object.create;
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __getProtoOf = Object.getPrototypeOf;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
+  // If the importer is in node compatibility mode or this is not an ESM
+  // file that has been converted to a CommonJS file using a Babel-
+  // compatible transform (i.e. "__esModule" has not been set), then set
+  // "default" to the CommonJS "module.exports" for node compatibility.
+  isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
+  mod
+));
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+var plan_environment_exports = {};
+__export(plan_environment_exports, {
+  planEnvironment: () => planEnvironment
+});
+module.exports = __toCommonJS(plan_environment_exports);
+var Dialect = __toESM(require("@smthrs/database/Dialect"), 1);
+var Effect = __toESM(require("effect/Effect"), 1);
+var SqlClient = __toESM(require("effect/unstable/sql/SqlClient"), 1);
+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/cjs/migrations/0004_plan_environment.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../src/migrations/0004_plan_environment.ts"],
+  "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"],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAKA,cAAyB;AACzB,aAAwB;AACxB,gBAA2B;AAQpB,MAAM,kBAAqE,OAAO,IAAI,aAAY;AACvG,QAAM,MAAM,OAAO,UAAU;AAC7B,SAAO;AAAA;AAEP,SAAO,QAAQ,QAAQ,KAAK;AAAA,IAC1B,MAAM;AAAA,IACN,OAAO;AAAA,IACP,OAAO;AAAA,IACP,MAAM;AAAA,IACN,QAAQ;AAAA,EACV,CAAC;AACD,SAAO,QAAQ,QAAQ,KAAK;AAAA,IAC1B,MAAM;AAAA,IACN,OAAO;AAAA,IACP,OAAO;AAAA,IACP,MAAM;AAAA,IACN,QAAQ;AAAA,EACV,CAAC;AACH,CAAC;",
+  "names": []
+}

package/dist/cjs/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/cjs/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/cjs/migrations/0005_plan_merges.js

@@ -0,0 +1,82 @@
+"use strict";
+var __create = Object.create;
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __getProtoOf = Object.getPrototypeOf;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
+  // If the importer is in node compatibility mode or this is not an ESM
+  // file that has been converted to a CommonJS file using a Babel-
+  // compatible transform (i.e. "__esModule" has not been set), then set
+  // "default" to the CommonJS "module.exports" for node compatibility.
+  isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
+  mod
+));
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+var plan_merges_exports = {};
+__export(plan_merges_exports, {
+  planMerges: () => planMerges
+});
+module.exports = __toCommonJS(plan_merges_exports);
+var Dialect = __toESM(require("@smthrs/database/Dialect"), 1);
+var Effect = __toESM(require("effect/Effect"), 1);
+var SqlClient = __toESM(require("effect/unstable/sql/SqlClient"), 1);
+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/cjs/migrations/0005_plan_merges.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../src/migrations/0005_plan_merges.ts"],
+  "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"],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAKA,cAAyB;AACzB,aAAwB;AACxB,gBAA2B;AAQpB,MAAM,aAAgE,OAAO,IAAI,aAAY;AAClG,QAAM,MAAM,OAAO,UAAU;AAC7B,SAAO,wEAAwE,QAAQ,QAAQ,GAAG,CAAC;AAAA;AAEnG,SAAO,QAAQ,QAAQ,KAAK;AAAA,IAC1B,MAAM;AAAA,IACN,OAAO;AAAA,IACP,OAAO;AAAA,IACP,MAAM;AAAA,IACN,QAAQ;AAAA,EACV,CAAC;AACD,SAAO;AAAA;AAAA;AAAA,uCAG8B,QAAQ,UAAU,KAAK,gBAAgB,CAAC;AAAA;AAAA;AAAA;AAI7E,SAAO;AAAA;AAAA;AAAA,iBAGQ,QAAQ,QAAQ,GAAG,CAAC,oBAAoB,QAAQ,UAAU,KAAK,eAAe,CAAC;AAAA;AAAA,2CAErD,QAAQ,UAAU,KAAK,oBAAoB,CAAC;AAAA;AAAA;AAAA;AAAA;AAAA;AAMrF,aAAW,SAAS,CAAC,4BAA4B,8BAA8B,GAAG;AAChF,WAAO,QAAQ,QAAQ,KAAK;AAAA,MAC1B,MAAM,GAAG,KAAK;AAAA,MACd,OAAO,GAAG,KAAK;AAAA,MACf,OAAO;AAAA,MACP,QAAQ;AAAA,IACV,CAAC;AACD,WAAO,QAAQ,QAAQ,KAAK;AAAA,MAC1B,MAAM,GAAG,KAAK;AAAA,MACd,OAAO,GAAG,KAAK;AAAA,MACf,OAAO;AAAA,MACP,MAAM;AAAA,MACN,QAAQ;AAAA,IACV,CAAC;AAAA,EACH;AACF,CAAC;",
+  "names": []
+}

package/dist/cjs/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/cjs/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/cjs/migrations/0006_execution_listing.js

@@ -0,0 +1,101 @@
+"use strict";
+var __create = Object.create;
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __getProtoOf = Object.getPrototypeOf;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
+  // If the importer is in node compatibility mode or this is not an ESM
+  // file that has been converted to a CommonJS file using a Babel-
+  // compatible transform (i.e. "__esModule" has not been set), then set
+  // "default" to the CommonJS "module.exports" for node compatibility.
+  isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
+  mod
+));
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+var execution_listing_exports = {};
+__export(execution_listing_exports, {
+  executionListing: () => executionListing
+});
+module.exports = __toCommonJS(execution_listing_exports);
+var Dialect = __toESM(require("@smthrs/database/Dialect"), 1);
+var Effect = __toESM(require("effect/Effect"), 1);
+var SqlClient = __toESM(require("effect/unstable/sql/SqlClient"), 1);
+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" : ""};
+      `
+    });
+  }
+  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/cjs/migrations/0006_execution_listing.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../src/migrations/0006_execution_listing.ts"],
+  "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"],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAMA,cAAyB;AACzB,aAAwB;AACxB,gBAA2B;AAQpB,MAAM,mBAAsE,OAAO,IAAI,aAAY;AACxG,QAAM,MAAM,OAAO,UAAU;AAC7B,SAAO;AAAA;AAAA;AAAA,UAGC,QAAQ,QAAQ,GAAG,CAAC,oBAC1B,QAAQ,UAAU,KAAK,QAAQ,CACjC;AAAA;AAAA;AAGA,SAAO;AACP,SAAO;AACP,SAAO;AACP,SAAO,QAAQ,QAAQ,KAAK;AAAA,IAC1B,MAAM;AAAA,IACN,OAAO;AAAA,IACP,OAAO;AAAA,IACP,MAAM;AAAA,EACR,CAAC;AACD,SAAO;AACP,SAAO;AAAA,2BACkB,QAAQ,SAAS,KAAK,iBAAiB,YAAY,CAAC,KAC3E,IAAI,QAAQ,QAAQ,WAAW,GAAG,IAAI,WAAW,SAAS,CAC5D;AACA,SAAO;AAAA,yDACgD,IAAI,QAAQ,QAAQ,WAAW,GAAG,IAAI,WAAW,SAAS,CAAC;AAClH,SAAO;AACP,SAAO,QAAQ,QAAQ,KAAK;AAAA,IAC1B,MAAM;AAAA,IACN,OAAO;AAAA,IACP,OAAO;AAAA,IACP,MAAM;AAAA,IACN,QAAQ;AAAA,EACV,CAAC;AACD,SAAO;AAAA;AAEP,aAAW,aAAa,CAAC,UAAU,yBAAyB,GAAY;AACtE,WAAO,QAAQ,QAAQ,KAAK;AAAA,MAC1B,MAAM,+BAA+B,cAAc,WAAW,WAAW,QAAQ;AAAA,MACjF,OAAO;AAAA,MACP,OAAO,SAAS,SAAS;AAAA,MACzB,MAAM;AAAA;AAAA;AAAA;AAAA;AAAA,IAKR,CAAC;AAAA,EACH;AACA,aAAW,aAAa,CAAC,UAAU,UAAU,QAAQ,GAAY;AAC/D,UAAM,MAAM,cAAc,WAAW,QAAQ;AAC7C,WAAO,QAAQ,QAAQ,KAAK;AAAA,MAC1B,MAAM,8BAA8B,UAAU,YAAY,CAAC;AAAA,MAC3D,OAAO;AAAA,MACP,OAAO,SAAS,SAAS;AAAA,MACzB,MAAM;AAAA;AAAA;AAAA,yBAGa,GAAG,aAAa,cAAc,WAAW,6BAA6B,EAAE;AAAA;AAAA,IAE7F,CAAC;AAAA,EACH;AAGA,QAAM,SAAS,CAAC,UAAU,kBAAkB,uBAAuB,qBAAqB,gBAAgB;AACxG,WAAS,OAAO,GAAG,OAAO,IAAI,QAAQ;AACpC,UAAM,UAAU,OAAO,OAAO,CAAC,GAAG,WAAW,OAAQ,KAAK,WAAY,CAAC;AACvE,WAAO,IAAI,OAAO,mCAAmC,IAAI;AAAA,SACpD,CAAC,GAAG,SAAS,iBAAiB,QAAQ,EAAE,KAAK,IAAI,CAAC,GAAG;AAAA,EAC5D;AACF,CAAC;",
+  "names": []
+}

package/dist/cjs/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/cjs/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/cjs/migrations/0007_run_parent_sequence.js

@@ -0,0 +1,40 @@
+"use strict";
+var __create = Object.create;
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __getProtoOf = Object.getPrototypeOf;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
+  // If the importer is in node compatibility mode or this is not an ESM
+  // file that has been converted to a CommonJS file using a Babel-
+  // compatible transform (i.e. "__esModule" has not been set), then set
+  // "default" to the CommonJS "module.exports" for node compatibility.
+  isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
+  mod
+));
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+var run_parent_sequence_exports = {};
+__export(run_parent_sequence_exports, {
+  runParentSequence: () => runParentSequence
+});
+module.exports = __toCommonJS(run_parent_sequence_exports);
+var Effect = __toESM(require("effect/Effect"), 1);
+var SqlClient = __toESM(require("effect/unstable/sql/SqlClient"), 1);
+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/cjs/migrations/0007_run_parent_sequence.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../src/migrations/0007_run_parent_sequence.ts"],
+  "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"],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAMA,aAAwB;AACxB,gBAA2B;AAQpB,MAAM,oBAAuE,OAAO,IAAI,aAAY;AACzG,QAAM,MAAM,OAAO,UAAU;AAC7B,SAAO;AACT,CAAC;",
+  "names": []
+}