@smthrs/control 0.0.0-stage → 1.0.0-rc.3

package/dist/esm/migrations/0001_control_tables.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0001_control_tables.d.ts","sourceRoot":"","sources":["../../../src/migrations/0001_control_tables.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AA4E1D;;;;;;;;GAQG;AACH,eAAO,MAAM,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,CAKpE,CAAA"}

package/dist/esm/migrations/0001_control_tables.js

@@ -0,0 +1,96 @@
+/**
+ * Initial durable control-plane schema.
+ *
+ * @since 0.1.0
+ */
+import * as Dialect from "@smthrs/database/Dialect";
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+const statements = (sql) => [
+    sql `CREATE TABLE IF NOT EXISTS control_plans (
+    ${Dialect.rowId(sql)}
+    plan_id TEXT PRIMARY KEY,
+    card_json TEXT NOT NULL,
+    decoded_input_json TEXT NOT NULL,
+    decision TEXT NOT NULL
+  )`,
+    sql `CREATE TABLE IF NOT EXISTS control_plan_keys (
+    idempotency_key TEXT PRIMARY KEY,
+    fingerprint TEXT NOT NULL,
+    plan_id TEXT NOT NULL
+  )`,
+    sql `CREATE TABLE IF NOT EXISTS control_tokens (
+    target_tag TEXT NOT NULL,
+    run_id TEXT NOT NULL,
+    target_id TEXT NOT NULL,
+    token_id TEXT NOT NULL,
+    target_json TEXT NOT NULL,
+    resolved ${Dialect.integer(sql)} NOT NULL,
+    decision_principal_json TEXT,
+    PRIMARY KEY (target_tag, run_id, target_id),
+    CHECK (target_tag IN ('Plan', 'Node')),
+    CHECK ((target_tag = 'Plan' AND run_id = '') OR (target_tag = 'Node' AND length(run_id) > 0)),
+    CHECK (length(target_id) > 0 AND token_id = target_id)
+  )`,
+    sql `CREATE TABLE IF NOT EXISTS control_grants (
+    target_tag TEXT NOT NULL,
+    run_id TEXT NOT NULL,
+    target_id TEXT NOT NULL,
+    token_id TEXT NOT NULL,
+    envelope_json TEXT NOT NULL,
+    scope TEXT NOT NULL,
+    installed_at_ms ${Dialect.integer(sql)} NOT NULL,
+    PRIMARY KEY (target_tag, run_id, target_id),
+    CHECK (target_tag IN ('Plan', 'Node')),
+    CHECK ((target_tag = 'Plan' AND run_id = '') OR (target_tag = 'Node' AND length(run_id) > 0)),
+    CHECK (length(target_id) > 0 AND token_id = target_id)
+  )`,
+    sql `CREATE TABLE IF NOT EXISTS control_mutations (
+    mutation_key TEXT PRIMARY KEY,
+    fingerprint TEXT NOT NULL,
+    receipt_json TEXT NOT NULL
+  )`,
+    sql `CREATE TABLE IF NOT EXISTS control_runs (
+    run_id TEXT PRIMARY KEY,
+    created_seq ${Dialect.integer(sql)} NOT NULL
+  )`,
+    sql `CREATE TABLE IF NOT EXISTS control_run_resumes (
+    run_id TEXT PRIMARY KEY,
+    requested_seq ${Dialect.integer(sql)} NOT NULL,
+    requested_at_ms ${Dialect.integer(sql)} NOT NULL
+  )`,
+    sql `CREATE TABLE IF NOT EXISTS control_run_messages (
+    seq ${Dialect.identity(sql)},
+    run_id TEXT NOT NULL,
+    kind TEXT NOT NULL,
+    payload_json TEXT NOT NULL
+  )`,
+    sql `CREATE TABLE IF NOT EXISTS control_sequences (
+    name TEXT PRIMARY KEY,
+    value ${Dialect.integer(sql)} NOT NULL
+  )`,
+    sql `CREATE TABLE IF NOT EXISTS control_credentials (
+    id TEXT PRIMARY KEY,
+    name TEXT NOT NULL,
+    ciphertext TEXT NOT NULL,
+    nonce TEXT NOT NULL,
+    version ${Dialect.integer(sql)} NOT NULL,
+    updated_at_ms ${Dialect.integer(sql)} NOT NULL
+  )`
+];
+/**
+ * Creates every table owned by `@smthrs/control`.
+ *
+ * `IF NOT EXISTS` lets the recorded migration and each standalone adapter's
+ * bootstrap share this exact schema without competing over table creation.
+ *
+ * @category migrations
+ * @since 0.1.0
+ */
+export const initial = Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    for (const statement of statements(sql)) {
+        yield* statement;
+    }
+});
+//# sourceMappingURL=0001_control_tables.js.map

package/dist/esm/migrations/0001_control_tables.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"0001_control_tables.js","sourceRoot":"","sources":["../../../src/migrations/0001_control_tables.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,MAAM,UAAU,GAAG,CAAC,GAAwB,EAAE,EAAE,CAC9C;IACE,GAAG,CAAA;MACD,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC;;;;;IAKpB;IACA,GAAG,CAAA;;;;IAIH;IACA,GAAG,CAAA;;;;;;eAMQ,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC;;;;;;IAM/B;IACA,GAAG,CAAA;;;;;;;sBAOe,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC;;;;;IAKtC;IACA,GAAG,CAAA;;;;IAIH;IACA,GAAG,CAAA;;kBAEW,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC;IAClC;IACA,GAAG,CAAA;;oBAEa,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC;sBAClB,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC;IACtC;IACA,GAAG,CAAA;UACG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;;;;IAI3B;IACA,GAAG,CAAA;;YAEK,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC;IAC5B;IACA,GAAG,CAAA;;;;;cAKO,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC;oBACd,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC;IACpC;CACQ,CAAA;AAEZ;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,OAAO,GAAsD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAC5F,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACtC,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACxC,KAAK,CAAC,CAAC,SAAS,CAAA;IAClB,CAAC;AACH,CAAC,CAAC,CAAA","sourcesContent":["/**\n * Initial durable control-plane schema.\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\nconst statements = (sql: SqlClient.SqlClient) =>\n  [\n    sql`CREATE TABLE IF NOT EXISTS control_plans (\n    ${Dialect.rowId(sql)}\n    plan_id TEXT PRIMARY KEY,\n    card_json TEXT NOT NULL,\n    decoded_input_json TEXT NOT NULL,\n    decision TEXT NOT NULL\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_plan_keys (\n    idempotency_key TEXT PRIMARY KEY,\n    fingerprint TEXT NOT NULL,\n    plan_id TEXT NOT NULL\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_tokens (\n    target_tag TEXT NOT NULL,\n    run_id TEXT NOT NULL,\n    target_id TEXT NOT NULL,\n    token_id TEXT NOT NULL,\n    target_json TEXT NOT NULL,\n    resolved ${Dialect.integer(sql)} NOT NULL,\n    decision_principal_json TEXT,\n    PRIMARY KEY (target_tag, run_id, target_id),\n    CHECK (target_tag IN ('Plan', 'Node')),\n    CHECK ((target_tag = 'Plan' AND run_id = '') OR (target_tag = 'Node' AND length(run_id) > 0)),\n    CHECK (length(target_id) > 0 AND token_id = target_id)\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_grants (\n    target_tag TEXT NOT NULL,\n    run_id TEXT NOT NULL,\n    target_id TEXT NOT NULL,\n    token_id TEXT NOT NULL,\n    envelope_json TEXT NOT NULL,\n    scope TEXT NOT NULL,\n    installed_at_ms ${Dialect.integer(sql)} NOT NULL,\n    PRIMARY KEY (target_tag, run_id, target_id),\n    CHECK (target_tag IN ('Plan', 'Node')),\n    CHECK ((target_tag = 'Plan' AND run_id = '') OR (target_tag = 'Node' AND length(run_id) > 0)),\n    CHECK (length(target_id) > 0 AND token_id = target_id)\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_mutations (\n    mutation_key TEXT PRIMARY KEY,\n    fingerprint TEXT NOT NULL,\n    receipt_json TEXT NOT NULL\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_runs (\n    run_id TEXT PRIMARY KEY,\n    created_seq ${Dialect.integer(sql)} NOT NULL\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_run_resumes (\n    run_id TEXT PRIMARY KEY,\n    requested_seq ${Dialect.integer(sql)} NOT NULL,\n    requested_at_ms ${Dialect.integer(sql)} NOT NULL\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_run_messages (\n    seq ${Dialect.identity(sql)},\n    run_id TEXT NOT NULL,\n    kind TEXT NOT NULL,\n    payload_json TEXT NOT NULL\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_sequences (\n    name TEXT PRIMARY KEY,\n    value ${Dialect.integer(sql)} NOT NULL\n  )`,\n    sql`CREATE TABLE IF NOT EXISTS control_credentials (\n    id TEXT PRIMARY KEY,\n    name TEXT NOT NULL,\n    ciphertext TEXT NOT NULL,\n    nonce TEXT NOT NULL,\n    version ${Dialect.integer(sql)} NOT NULL,\n    updated_at_ms ${Dialect.integer(sql)} NOT NULL\n  )`\n  ] as const\n\n/**\n * Creates every table owned by `@smthrs/control`.\n *\n * `IF NOT EXISTS` lets the recorded migration and each standalone adapter's\n * bootstrap share this exact schema without competing over table creation.\n *\n * @category migrations\n * @since 0.1.0\n */\nexport const initial: Effect.Effect<void, unknown, SqlClient.SqlClient> = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  for (const statement of statements(sql)) {\n    yield* statement\n  }\n})\n"]}

package/dist/esm/migrations/0002_run_keys.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Durable run idempotency claims, including upgrades of existing databases.
+ *
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Adds the run-key claim table without changing existing control data.
+ *
+ * @category migrations
+ * @since 1.0.0
+ */
+export declare const runKeys: Effect.Effect<void, import("effect/unstable/sql/SqlError").SqlError, SqlClient.SqlClient>;
+//# sourceMappingURL=0002_run_keys.d.ts.map

package/dist/esm/migrations/0002_run_keys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0002_run_keys.d.ts","sourceRoot":"","sources":["../../../src/migrations/0002_run_keys.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,OAAO,2FAOlB,CAAA"}

package/dist/esm/migrations/0002_run_keys.js

@@ -0,0 +1,22 @@
+/**
+ * Durable run idempotency claims, including upgrades of existing databases.
+ *
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Adds the run-key claim table without changing existing control data.
+ *
+ * @category migrations
+ * @since 1.0.0
+ */
+export const runKeys = Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    yield* sql `CREATE TABLE IF NOT EXISTS control_run_keys (
+    idempotency_key TEXT PRIMARY KEY,
+    fingerprint TEXT NOT NULL,
+    claimant TEXT NOT NULL
+  )`;
+});
+//# sourceMappingURL=0002_run_keys.js.map

package/dist/esm/migrations/0002_run_keys.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"0002_run_keys.js","sourceRoot":"","sources":["../../../src/migrations/0002_run_keys.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,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACzC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACtC,KAAK,CAAC,CAAC,GAAG,CAAA;;;;IAIR,CAAA;AACJ,CAAC,CAAC,CAAA","sourcesContent":["/**\n * Durable run idempotency claims, including upgrades of existing databases.\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 * Adds the run-key claim table without changing existing control data.\n *\n * @category migrations\n * @since 1.0.0\n */\nexport const runKeys = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  yield* sql`CREATE TABLE IF NOT EXISTS control_run_keys (\n    idempotency_key TEXT PRIMARY KEY,\n    fingerprint TEXT NOT NULL,\n    claimant TEXT NOT NULL\n  )`\n})\n"]}

package/dist/esm/migrations/0003_signal_commands.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Durable signal admission and immutable wait bindings.
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Adds the signal inbox without replaying legacy messages that lack delivery identity.
+ * @category migrations
+ * @since 1.0.0
+ */
+export declare const signalCommands: Effect.Effect<void, import("effect/unstable/sql/SqlError").SqlError, SqlClient.SqlClient>;
+//# sourceMappingURL=0003_signal_commands.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"0003_signal_commands.d.ts","sourceRoot":"","sources":["../../../src/migrations/0003_signal_commands.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,cAAc,2FAYzB,CAAA"}

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

@@ -0,0 +1,26 @@
+/**
+ * Durable signal admission and immutable wait bindings.
+ * @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";
+/**
+ * Adds the signal inbox without replaying legacy messages that lack delivery identity.
+ * @category migrations
+ * @since 1.0.0
+ */
+export const signalCommands = Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    yield* sql `CREATE TABLE IF NOT EXISTS control_signal_commands (
+    seq ${Dialect.identity(sql)},
+    command_id TEXT NOT NULL UNIQUE,
+    run_id TEXT NOT NULL,
+    payload_json TEXT NOT NULL,
+    wait_token TEXT,
+    state TEXT NOT NULL DEFAULT 'pending' CHECK (state IN ('pending', 'delivered', 'rejected', 'terminal'))
+  )`;
+    yield* sql `CREATE UNIQUE INDEX IF NOT EXISTS control_signal_commands_wait ON control_signal_commands(wait_token) WHERE wait_token IS NOT NULL`;
+    yield* sql `CREATE INDEX IF NOT EXISTS control_signal_commands_pending ON control_signal_commands(state, seq)`;
+});
+//# sourceMappingURL=0003_signal_commands.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"0003_signal_commands.js","sourceRoot":"","sources":["../../../src/migrations/0003_signal_commands.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,cAAc,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAChD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACtC,KAAK,CAAC,CAAC,GAAG,CAAA;UACF,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;;;;;;IAM3B,CAAA;IACF,KAAK,CAAC,CAAC,GAAG,CAAA,oIAAoI,CAAA;IAC9I,KAAK,CAAC,CAAC,GAAG,CAAA,mGAAmG,CAAA;AAC/G,CAAC,CAAC,CAAA","sourcesContent":["/**\n * Durable signal admission and immutable wait bindings.\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 * Adds the signal inbox without replaying legacy messages that lack delivery identity.\n * @category migrations\n * @since 1.0.0\n */\nexport const signalCommands = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  yield* sql`CREATE TABLE IF NOT EXISTS control_signal_commands (\n    seq ${Dialect.identity(sql)},\n    command_id TEXT NOT NULL UNIQUE,\n    run_id TEXT NOT NULL,\n    payload_json TEXT NOT NULL,\n    wait_token TEXT,\n    state TEXT NOT NULL DEFAULT 'pending' CHECK (state IN ('pending', 'delivered', 'rejected', 'terminal'))\n  )`\n  yield* sql`CREATE UNIQUE INDEX IF NOT EXISTS control_signal_commands_wait ON control_signal_commands(wait_token) WHERE wait_token IS NOT NULL`\n  yield* sql`CREATE INDEX IF NOT EXISTS control_signal_commands_pending ON control_signal_commands(state, seq)`\n})\n"]}

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

@@ -0,0 +1,13 @@
+/**
+ * Preserve the actual decision without guessing erased legacy answers.
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Idempotent for both recorded migrations and standalone runtime bootstrap.
+ * @category migrations
+ * @since 1.0.0
+ */
+export declare const approvalDecisions: Effect.Effect<void, import("effect/unstable/sql/SqlError").SqlError, SqlClient.SqlClient>;
+//# sourceMappingURL=0004_approval_decisions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"0004_approval_decisions.d.ts","sourceRoot":"","sources":["../../../src/migrations/0004_approval_decisions.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,iBAAiB,2FAU5B,CAAA"}

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

@@ -0,0 +1,25 @@
+/**
+ * Preserve the actual decision without guessing erased legacy answers.
+ * @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";
+/**
+ * Idempotent for both recorded migrations and standalone runtime bootstrap.
+ * @category migrations
+ * @since 1.0.0
+ */
+export const approvalDecisions = Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    yield* sql.withTransaction(Effect.gen(function* () {
+        const columns = yield* Dialect.columns(sql, "control_tokens");
+        if (columns.some((column) => column.name === "decision_json"))
+            return;
+        // NULL is intentional: old terminal tokens erased their answer. Their
+        // decoder refuses recovery instead of inferring approval from a grant.
+        // An undecided token still has its unambiguous resolved=0 representation.
+        yield* sql `ALTER TABLE control_tokens ADD COLUMN decision_json TEXT`;
+    }));
+});
+//# sourceMappingURL=0004_approval_decisions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"0004_approval_decisions.js","sourceRoot":"","sources":["../../../src/migrations/0004_approval_decisions.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,iBAAiB,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACtC,KAAK,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAA;QAC7D,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,eAAe,CAAC;YAAE,OAAM;QACrE,sEAAsE;QACtE,uEAAuE;QACvE,0EAA0E;QAC1E,KAAK,CAAC,CAAC,GAAG,CAAA,0DAA0D,CAAA;IACtE,CAAC,CAAC,CAAC,CAAA;AACL,CAAC,CAAC,CAAA","sourcesContent":["/**\n * Preserve the actual decision without guessing erased legacy answers.\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 * Idempotent for both recorded migrations and standalone runtime bootstrap.\n * @category migrations\n * @since 1.0.0\n */\nexport const approvalDecisions = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  yield* sql.withTransaction(Effect.gen(function*() {\n    const columns = yield* Dialect.columns(sql, \"control_tokens\")\n    if (columns.some((column) => column.name === \"decision_json\")) return\n    // NULL is intentional: old terminal tokens erased their answer. Their\n    // decoder refuses recovery instead of inferring approval from a grant.\n    // An undecided token still has its unambiguous resolved=0 representation.\n    yield* sql`ALTER TABLE control_tokens ADD COLUMN decision_json TEXT`\n  }))\n})\n"]}

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

@@ -0,0 +1,18 @@
+/**
+ * Record who admitted each signal command.
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Adds the admitting principal to the signal inbox.
+ *
+ * NULL is intentional for existing rows: a command admitted before this column
+ * has no recorded identity, so it cannot answer a human wait, which requires
+ * `ApprovalAuthority` to authorize the admitting principal.
+ *
+ * @category migrations
+ * @since 1.0.0
+ */
+export declare const signalPrincipals: Effect.Effect<void, import("effect/unstable/sql/SqlError").SqlError, SqlClient.SqlClient>;
+//# sourceMappingURL=0005_signal_principals.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"0005_signal_principals.d.ts","sourceRoot":"","sources":["../../../src/migrations/0005_signal_principals.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;;;;;;GASG;AACH,eAAO,MAAM,gBAAgB,2FAO3B,CAAA"}

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

@@ -0,0 +1,27 @@
+/**
+ * Record who admitted each signal command.
+ * @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";
+/**
+ * Adds the admitting principal to the signal inbox.
+ *
+ * NULL is intentional for existing rows: a command admitted before this column
+ * has no recorded identity, so it cannot answer a human wait, which requires
+ * `ApprovalAuthority` to authorize the admitting principal.
+ *
+ * @category migrations
+ * @since 1.0.0
+ */
+export const signalPrincipals = Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    yield* sql.withTransaction(Effect.gen(function* () {
+        const columns = yield* Dialect.columns(sql, "control_signal_commands");
+        if (columns.some((column) => column.name === "principal_json"))
+            return;
+        yield* sql `ALTER TABLE control_signal_commands ADD COLUMN principal_json TEXT`;
+    }));
+});
+//# sourceMappingURL=0005_signal_principals.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"0005_signal_principals.js","sourceRoot":"","sources":["../../../src/migrations/0005_signal_principals.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;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACtC,KAAK,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,yBAAyB,CAAC,CAAA;QACtE,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,gBAAgB,CAAC;YAAE,OAAM;QACtE,KAAK,CAAC,CAAC,GAAG,CAAA,oEAAoE,CAAA;IAChF,CAAC,CAAC,CAAC,CAAA;AACL,CAAC,CAAC,CAAA","sourcesContent":["/**\n * Record who admitted each signal command.\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 * Adds the admitting principal to the signal inbox.\n *\n * NULL is intentional for existing rows: a command admitted before this column\n * has no recorded identity, so it cannot answer a human wait, which requires\n * `ApprovalAuthority` to authorize the admitting principal.\n *\n * @category migrations\n * @since 1.0.0\n */\nexport const signalPrincipals = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  yield* sql.withTransaction(Effect.gen(function*() {\n    const columns = yield* Dialect.columns(sql, \"control_signal_commands\")\n    if (columns.some((column) => column.name === \"principal_json\")) return\n    yield* sql`ALTER TABLE control_signal_commands ADD COLUMN principal_json TEXT`\n  }))\n})\n"]}

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

@@ -0,0 +1,18 @@
+/**
+ * Record who launched each run.
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Adds the launching principal to the launch index.
+ *
+ * NULL is intentional for existing rows: a run launched before these columns
+ * has no recorded launcher, so only a reader that sees every run lists or
+ * watches it.
+ *
+ * @category migrations
+ * @since 1.0.0
+ */
+export declare const runPrincipals: Effect.Effect<void, import("effect/unstable/sql/SqlError").SqlError, SqlClient.SqlClient>;
+//# sourceMappingURL=0006_run_principals.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"0006_run_principals.d.ts","sourceRoot":"","sources":["../../../src/migrations/0006_run_principals.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;;;;;;GASG;AACH,eAAO,MAAM,aAAa,2FAWxB,CAAA"}

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

@@ -0,0 +1,30 @@
+/**
+ * Record who launched each run.
+ * @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";
+/**
+ * Adds the launching principal to the launch index.
+ *
+ * NULL is intentional for existing rows: a run launched before these columns
+ * has no recorded launcher, so only a reader that sees every run lists or
+ * watches it.
+ *
+ * @category migrations
+ * @since 1.0.0
+ */
+export const runPrincipals = Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    yield* sql.withTransaction(Effect.gen(function* () {
+        const columns = yield* Dialect.columns(sql, "control_runs");
+        if (!columns.some((column) => column.name === "principal_id")) {
+            yield* sql `ALTER TABLE control_runs ADD COLUMN principal_id TEXT`;
+        }
+        if (!columns.some((column) => column.name === "principal_kind")) {
+            yield* sql `ALTER TABLE control_runs ADD COLUMN principal_kind TEXT`;
+        }
+    }));
+});
+//# sourceMappingURL=0006_run_principals.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"0006_run_principals.js","sourceRoot":"","sources":["../../../src/migrations/0006_run_principals.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;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAC/C,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACtC,KAAK,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,cAAc,CAAC,CAAA;QAC3D,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,EAAE,CAAC;YAC9D,KAAK,CAAC,CAAC,GAAG,CAAA,uDAAuD,CAAA;QACnE,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,gBAAgB,CAAC,EAAE,CAAC;YAChE,KAAK,CAAC,CAAC,GAAG,CAAA,yDAAyD,CAAA;QACrE,CAAC;IACH,CAAC,CAAC,CAAC,CAAA;AACL,CAAC,CAAC,CAAA","sourcesContent":["/**\n * Record who launched each run.\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 * Adds the launching principal to the launch index.\n *\n * NULL is intentional for existing rows: a run launched before these columns\n * has no recorded launcher, so only a reader that sees every run lists or\n * watches it.\n *\n * @category migrations\n * @since 1.0.0\n */\nexport const runPrincipals = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  yield* sql.withTransaction(Effect.gen(function*() {\n    const columns = yield* Dialect.columns(sql, \"control_runs\")\n    if (!columns.some((column) => column.name === \"principal_id\")) {\n      yield* sql`ALTER TABLE control_runs ADD COLUMN principal_id TEXT`\n    }\n    if (!columns.some((column) => column.name === \"principal_kind\")) {\n      yield* sql`ALTER TABLE control_runs ADD COLUMN principal_kind TEXT`\n    }\n  }))\n})\n"]}

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

@@ -0,0 +1,18 @@
+/**
+ * Record the operator consent a resume delegation carries.
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+/**
+ * Adds the journal sequence of an operator's explicit resume to the pending
+ * resume delegations.
+ *
+ * NULL is intentional for existing rows: a delegation recorded before this
+ * column is an approval or a wake, which is background intent.
+ *
+ * @category migrations
+ * @since 1.0.0
+ */
+export declare const resumeConsent: Effect.Effect<void, import("effect/unstable/sql/SqlError").SqlError, SqlClient.SqlClient>;
+//# sourceMappingURL=0007_resume_consent.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"0007_resume_consent.d.ts","sourceRoot":"","sources":["../../../src/migrations/0007_resume_consent.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAE1D;;;;;;;;;GASG;AACH,eAAO,MAAM,aAAa,2FAQxB,CAAA"}

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

@@ -0,0 +1,27 @@
+/**
+ * Record the operator consent a resume delegation carries.
+ * @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";
+/**
+ * Adds the journal sequence of an operator's explicit resume to the pending
+ * resume delegations.
+ *
+ * NULL is intentional for existing rows: a delegation recorded before this
+ * column is an approval or a wake, which is background intent.
+ *
+ * @category migrations
+ * @since 1.0.0
+ */
+export const resumeConsent = Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    yield* sql.withTransaction(Effect.gen(function* () {
+        const columns = yield* Dialect.columns(sql, "control_run_resumes");
+        if (!columns.some((column) => column.name === "consent_seq")) {
+            yield* sql `ALTER TABLE control_run_resumes ADD COLUMN consent_seq ${Dialect.integer(sql)}`;
+        }
+    }));
+});
+//# sourceMappingURL=0007_resume_consent.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"0007_resume_consent.js","sourceRoot":"","sources":["../../../src/migrations/0007_resume_consent.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;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAC/C,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACtC,KAAK,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,qBAAqB,CAAC,CAAA;QAClE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa,CAAC,EAAE,CAAC;YAC7D,KAAK,CAAC,CAAC,GAAG,CAAA,0DAA0D,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAA;QAC5F,CAAC;IACH,CAAC,CAAC,CAAC,CAAA;AACL,CAAC,CAAC,CAAA","sourcesContent":["/**\n * Record the operator consent a resume delegation carries.\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 * Adds the journal sequence of an operator's explicit resume to the pending\n * resume delegations.\n *\n * NULL is intentional for existing rows: a delegation recorded before this\n * column is an approval or a wake, which is background intent.\n *\n * @category migrations\n * @since 1.0.0\n */\nexport const resumeConsent = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  yield* sql.withTransaction(Effect.gen(function*() {\n    const columns = yield* Dialect.columns(sql, \"control_run_resumes\")\n    if (!columns.some((column) => column.name === \"consent_seq\")) {\n      yield* sql`ALTER TABLE control_run_resumes ADD COLUMN consent_seq ${Dialect.integer(sql)}`\n    }\n  }))\n})\n"]}

package/dist/esm/test/TestControl.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Deterministic in-memory Control stack for package and consumer tests.
+ *
+ * @since 0.1.0
+ */
+import { NotificationQueue } from "@smthrs/notifications";
+import { Registry } from "@smthrs/registry";
+import { Layer } from "effect";
+import * as ControlExecutor from "../ControlExecutor.ts";
+import * as ControlRuntime from "../ControlRuntime.ts";
+/**
+ * Provides Control, ControlRuntime, the in-memory journal bundle, and an empty
+ * registry. Runtime flow metadata falls back to the reserved system catalog.
+ *
+ * @category layers
+ * @since 0.1.0
+ */
+export declare const layer: (options?: ControlRuntime.MemoryOptions, executor?: ControlExecutor.Service) => Layer.Layer<import("@smthrs/journal/Journal").Journal | NotificationQueue.NotificationQueue | import("../Control.ts").Control | ControlRuntime.ControlRuntime | ControlExecutor.ControlExecutor | Registry.Registry, import("effect/unstable/sql/SqlError").SqlError | import("@smthrs/journal/Journal").JournalError | import("effect/unstable/sql/Migrator").MigrationError, never>;
+//# sourceMappingURL=TestControl.d.ts.map

package/dist/esm/test/TestControl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TestControl.d.ts","sourceRoot":"","sources":["../../../src/test/TestControl.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAA;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAC3C,OAAO,EAAkB,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC9C,OAAO,KAAK,eAAe,MAAM,uBAAuB,CAAA;AAExD,OAAO,KAAK,cAAc,MAAM,sBAAsB,CAAA;AActD;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,GAChB,UAAU,cAAc,CAAC,aAAa,EACtC,WAAU,eAAe,CAAC,OAAoC,0XAW/D,CAAA"}

package/dist/esm/test/TestControl.js

@@ -0,0 +1,30 @@
+/**
+ * Deterministic in-memory Control stack for package and consumer tests.
+ *
+ * @since 0.1.0
+ */
+import * as TestJournal from "@smthrs/journal/test/TestJournal";
+import { NotificationQueue } from "@smthrs/notifications";
+import { Registry } from "@smthrs/registry";
+import { Crypto, Effect, Layer } from "effect";
+import * as ControlExecutor from "../ControlExecutor.js";
+import * as ControlLive from "../ControlLive.js";
+import * as ControlRuntime from "../ControlRuntime.js";
+const browserCrypto = Layer.succeed(Crypto.Crypto, Crypto.make({
+    /* v8 ignore next -- `Crypto.make` requires a random-byte primitive, and the deterministic runtime this bundle composes derives every identifier from a counter, so only `digest` is ever called here */
+    randomBytes: (size) => globalThis.crypto.getRandomValues(new Uint8Array(size)),
+    digest: (algorithm, data) => Effect.promise(() => globalThis.crypto.subtle.digest(algorithm, data.slice().buffer)).pipe(Effect.map((buffer) => new Uint8Array(buffer)))
+}));
+/**
+ * Provides Control, ControlRuntime, the in-memory journal bundle, and an empty
+ * registry. Runtime flow metadata falls back to the reserved system catalog.
+ *
+ * @category layers
+ * @since 0.1.0
+ */
+export const layer = (options, executor = ControlExecutor.makeNoop()) => {
+    const journal = TestJournal.layer();
+    const dependencies = Layer.mergeAll(ControlRuntime.layerMemory(options).pipe(Layer.provide(browserCrypto)), journal, NotificationQueue.layer.pipe(Layer.provide(journal)), ControlExecutor.layer(executor), Registry.layerNoop());
+    return Layer.provideMerge(ControlLive.layer, dependencies);
+};
+//# sourceMappingURL=TestControl.js.map

package/dist/esm/test/TestControl.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TestControl.js","sourceRoot":"","sources":["../../../src/test/TestControl.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,WAAW,MAAM,kCAAkC,CAAA;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAA;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC9C,OAAO,KAAK,eAAe,MAAM,uBAAuB,CAAA;AACxD,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,cAAc,MAAM,sBAAsB,CAAA;AAEtD,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CACjC,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,IAAI,CAAC;IACV,wMAAwM;IACxM,WAAW,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9E,MAAM,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,EAAE,CAC1B,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CACxF,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAC/C;CACJ,CAAC,CACH,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,OAAsC,EACtC,WAAoC,eAAe,CAAC,QAAQ,EAAE,EAC9D,EAAE;IACF,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,EAAE,CAAA;IACnC,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CACjC,cAAc,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,EACtE,OAAO,EACP,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACpD,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,EAC/B,QAAQ,CAAC,SAAS,EAAE,CACrB,CAAA;IACD,OAAO,KAAK,CAAC,YAAY,CAAC,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAA;AAC5D,CAAC,CAAA","sourcesContent":["/**\n * Deterministic in-memory Control stack for package and consumer tests.\n *\n * @since 0.1.0\n */\n\nimport * as TestJournal from \"@smthrs/journal/test/TestJournal\"\nimport { NotificationQueue } from \"@smthrs/notifications\"\nimport { Registry } from \"@smthrs/registry\"\nimport { Crypto, Effect, Layer } from \"effect\"\nimport * as ControlExecutor from \"../ControlExecutor.ts\"\nimport * as ControlLive from \"../ControlLive.ts\"\nimport * as ControlRuntime from \"../ControlRuntime.ts\"\n\nconst browserCrypto = Layer.succeed(\n  Crypto.Crypto,\n  Crypto.make({\n    /* v8 ignore next -- `Crypto.make` requires a random-byte primitive, and the deterministic runtime this bundle composes derives every identifier from a counter, so only `digest` is ever called here */\n    randomBytes: (size) => globalThis.crypto.getRandomValues(new Uint8Array(size)),\n    digest: (algorithm, data) =>\n      Effect.promise(() => globalThis.crypto.subtle.digest(algorithm, data.slice().buffer)).pipe(\n        Effect.map((buffer) => new Uint8Array(buffer))\n      )\n  })\n)\n\n/**\n * Provides Control, ControlRuntime, the in-memory journal bundle, and an empty\n * registry. Runtime flow metadata falls back to the reserved system catalog.\n *\n * @category layers\n * @since 0.1.0\n */\nexport const layer = (\n  options?: ControlRuntime.MemoryOptions,\n  executor: ControlExecutor.Service = ControlExecutor.makeNoop()\n) => {\n  const journal = TestJournal.layer()\n  const dependencies = Layer.mergeAll(\n    ControlRuntime.layerMemory(options).pipe(Layer.provide(browserCrypto)),\n    journal,\n    NotificationQueue.layer.pipe(Layer.provide(journal)),\n    ControlExecutor.layer(executor),\n    Registry.layerNoop()\n  )\n  return Layer.provideMerge(ControlLive.layer, dependencies)\n}\n"]}