@dsh-enhanced/assistant-evolution 0.1.7 → 0.1.12

package/lib/sqlite.js

@@ -1,7 +1,7 @@
 import { chmodSync, mkdirSync } from 'node:fs';
 import { dirname, isAbsolute } from 'node:path';
 import { DatabaseSync } from 'node:sqlite';
-export const evolutionSchemaVersion = 4;
+export const evolutionSchemaVersion = 12;
 export class EvolutionDatabaseError extends Error {
     code;
     constructor(code, message) {
@@ -119,6 +119,398 @@ function migrateV3ToV4(database) {
     PRAGMA user_version = 4;
   `);
 }
+function migrateV4ToV5(database) {
+    database.exec(`
+    ALTER TABLE evolution_episodes ADD COLUMN evidence_kind TEXT NOT NULL
+      DEFAULT 'legacy-unknown'
+      CHECK (evidence_kind IN ('operational', 'objective', 'verification', 'legacy-unknown'));
+    ALTER TABLE evolution_episodes ADD COLUMN evidence_ref TEXT;
+    ALTER TABLE evolution_episodes ADD COLUMN learning_eligible INTEGER NOT NULL DEFAULT 0
+      CHECK (learning_eligible IN (0, 1))
+      CHECK (learning_eligible = 0 OR (
+        trust = 'trusted'
+        AND evidence_kind IN ('objective', 'verification')
+        AND evidence_ref IS NOT NULL));
+
+    -- A v4 trusted automation row proved only that execution stopped in a
+    -- binary state. It did not prove objective correctness. Keep every row for
+    -- audit, but quarantine it from all learning projections.
+    UPDATE evolution_episodes
+      SET evidence_kind = 'legacy-unknown', evidence_ref = NULL, learning_eligible = 0;
+
+    -- Every pre-v5 pending mutation was computed from evidence that did not
+    -- distinguish execution status from objective quality. A later approval
+    -- must not activate that stale conclusion after the evidence quarantine.
+    UPDATE evolution_proposals
+      SET status = 'conflicted', version = version + 1
+      WHERE status = 'pending';
+
+    DROP INDEX IF EXISTS evolution_episodes_adoption;
+    DROP INDEX IF EXISTS evolution_episodes_evaluation;
+    CREATE INDEX evolution_episodes_adoption
+      ON evolution_episodes(
+        scope_key, situation, learning_eligible, rule_id, occurred_at DESC, id DESC);
+    CREATE INDEX evolution_episodes_evaluation
+      ON evolution_episodes(
+        rule_id, guidance_version, learning_eligible, occurred_at DESC, id DESC);
+
+    INSERT INTO schema_meta(key, value) VALUES ('schema-version', '5')
+      ON CONFLICT(key) DO UPDATE SET value = excluded.value;
+    PRAGMA user_version = 5;
+  `);
+}
+function migrateV5ToV6(database) {
+    database.exec(`
+    -- v5 made immutable Evaluation references mandatory, but caller-owned
+    -- idempotency keys could still alias the same result into several rows.
+    -- Retain the earliest deterministic row and quarantine every duplicate so
+    -- historical ledgers migrate before the uniqueness constraint is created.
+    CREATE TEMP TABLE evolution_v6_duplicate_quality AS
+      WITH ranked AS (
+        SELECT id, scope_key,
+          row_number() OVER (
+            PARTITION BY scope_key, evidence_ref
+            ORDER BY occurred_at ASC, id ASC
+          ) AS duplicate_rank
+        FROM evolution_episodes
+        WHERE learning_eligible = 1
+          AND evidence_kind IN ('objective', 'verification')
+          AND evidence_ref IS NOT NULL
+      )
+      SELECT id, scope_key FROM ranked WHERE duplicate_rank > 1;
+
+    UPDATE evolution_episodes
+      SET evidence_kind = 'legacy-unknown', evidence_ref = NULL, learning_eligible = 0
+      WHERE id IN (SELECT id FROM evolution_v6_duplicate_quality);
+
+    -- A pending mutation in an affected scope may have been computed from an
+    -- inflated sample. Preserve it for audit but prevent delayed activation.
+    UPDATE evolution_proposals
+      SET status = 'conflicted', version = version + 1
+      WHERE status = 'pending'
+        AND scope_key IN (SELECT DISTINCT scope_key FROM evolution_v6_duplicate_quality);
+
+    DROP TABLE evolution_v6_duplicate_quality;
+
+    CREATE UNIQUE INDEX evolution_episodes_quality_evidence_identity
+      ON evolution_episodes(scope_key, evidence_ref)
+      WHERE learning_eligible = 1;
+
+    INSERT INTO schema_meta(key, value) VALUES ('schema-version', '6')
+      ON CONFLICT(key) DO UPDATE SET value = excluded.value;
+    PRAGMA user_version = 6;
+  `);
+}
+function migrateV6ToV7(database) {
+    database.exec(`
+    -- Every pre-v7 quality row came through the retired caller-controlled
+    -- projection seam and cannot be rebound to an authoritative Evaluation
+    -- receipt after the fact. Preserve it for audit, but revoke learning
+    -- eligibility and invalidate pending conclusions derived from it.
+    CREATE TEMP TABLE evolution_v7_legacy_quality_scopes AS
+      SELECT DISTINCT scope_key FROM evolution_episodes WHERE learning_eligible = 1;
+
+    UPDATE evolution_episodes
+      SET evidence_kind = 'legacy-unknown', evidence_ref = NULL, learning_eligible = 0
+      WHERE learning_eligible = 1;
+    UPDATE evolution_proposals
+      SET status = 'conflicted', version = version + 1
+      WHERE status = 'pending'
+        AND scope_key IN (SELECT scope_key FROM evolution_v7_legacy_quality_scopes);
+    DROP TABLE evolution_v7_legacy_quality_scopes;
+
+    -- Evaluation is an independent provenance source. Rebuild the table because
+    -- SQLite cannot widen an existing CHECK constraint in place.
+    ALTER TABLE evolution_episodes RENAME TO evolution_episodes_v6;
+    DROP INDEX IF EXISTS evolution_episodes_adoption;
+    DROP INDEX IF EXISTS evolution_episodes_evaluation;
+    DROP INDEX IF EXISTS evolution_episodes_quality_evidence_identity;
+
+    CREATE TABLE evolution_episodes (
+      id TEXT PRIMARY KEY,
+      idempotency_key TEXT NOT NULL UNIQUE,
+      situation TEXT NOT NULL,
+      outcome TEXT NOT NULL CHECK (outcome IN ('succeeded', 'failed')),
+      detail TEXT NOT NULL,
+      source TEXT NOT NULL CHECK (source IN ('automation', 'evaluation', 'foreground')),
+      scope_key TEXT NOT NULL,
+      trust TEXT NOT NULL CHECK (trust IN ('trusted', 'self-reported', 'legacy')),
+      evidence_kind TEXT NOT NULL CHECK (
+        evidence_kind IN ('operational', 'objective', 'verification', 'legacy-unknown')),
+      evidence_ref TEXT,
+      learning_eligible INTEGER NOT NULL CHECK (learning_eligible IN (0, 1)),
+      rule_id TEXT,
+      guidance_version INTEGER CHECK (guidance_version IS NULL OR guidance_version >= 1),
+      claimed_rule_id TEXT,
+      occurred_at INTEGER NOT NULL,
+      CHECK (learning_eligible = 0 OR (
+        source = 'evaluation'
+        AND
+        trust = 'trusted'
+        AND evidence_kind IN ('objective', 'verification')
+        AND evidence_ref IS NOT NULL))
+    ) STRICT;
+
+    INSERT INTO evolution_episodes(
+      id, idempotency_key, situation, outcome, detail, source, scope_key,
+      trust, evidence_kind, evidence_ref, learning_eligible,
+      rule_id, guidance_version, claimed_rule_id, occurred_at)
+    SELECT
+      id, idempotency_key, situation, outcome, detail, source, scope_key,
+      trust, evidence_kind, evidence_ref, learning_eligible,
+      rule_id, guidance_version, claimed_rule_id, occurred_at
+    FROM evolution_episodes_v6;
+    DROP TABLE evolution_episodes_v6;
+
+    CREATE INDEX evolution_episodes_adoption
+      ON evolution_episodes(
+        scope_key, situation, learning_eligible, rule_id, occurred_at DESC, id DESC);
+    CREATE INDEX evolution_episodes_evaluation
+      ON evolution_episodes(
+        rule_id, guidance_version, learning_eligible, occurred_at DESC, id DESC);
+    CREATE UNIQUE INDEX evolution_episodes_quality_evidence_identity
+      ON evolution_episodes(scope_key, evidence_ref)
+      WHERE learning_eligible = 1;
+
+    INSERT INTO schema_meta(key, value) VALUES ('schema-version', '7')
+      ON CONFLICT(key) DO UPDATE SET value = excluded.value;
+    PRAGMA user_version = 7;
+  `);
+}
+function migrateV7ToV8(database) {
+    database.exec(`
+    ALTER TABLE evolution_episodes ADD COLUMN learning_subject_ref TEXT;
+
+    -- v7 recorded only the Evaluation identity. For an Automation objective it
+    -- therefore cannot prove whether several Evaluation rows assessed one run.
+    -- Preserve those rows for audit, but quarantine every old learning row and
+    -- every pending conclusion that may have counted it more than once.
+    CREATE TEMP TABLE evolution_v8_legacy_learning_scopes AS
+      SELECT DISTINCT scope_key FROM evolution_episodes WHERE learning_eligible = 1;
+    UPDATE evolution_episodes
+      SET evidence_kind = 'legacy-unknown', evidence_ref = NULL,
+          learning_subject_ref = NULL, learning_eligible = 0
+      WHERE learning_eligible = 1;
+    UPDATE evolution_proposals
+      SET status = 'conflicted', version = version + 1
+      WHERE status = 'pending'
+        AND scope_key IN (SELECT scope_key FROM evolution_v8_legacy_learning_scopes);
+    DROP TABLE evolution_v8_legacy_learning_scopes;
+
+    CREATE UNIQUE INDEX evolution_episodes_learning_subject_identity
+      ON evolution_episodes(scope_key, learning_subject_ref)
+      WHERE learning_eligible = 1;
+
+    -- SQLite cannot extend the v7 table CHECK in place. These triggers make the
+    -- migrated schema enforce the same invariant as a fresh v8 database.
+    CREATE TRIGGER evolution_episodes_learning_subject_insert
+      BEFORE INSERT ON evolution_episodes
+      WHEN (NEW.learning_eligible = 1 AND NEW.learning_subject_ref IS NULL)
+        OR (NEW.learning_eligible = 0 AND NEW.learning_subject_ref IS NOT NULL)
+      BEGIN
+        SELECT RAISE(ABORT, 'learning subject eligibility mismatch');
+      END;
+    CREATE TRIGGER evolution_episodes_learning_subject_update
+      BEFORE UPDATE OF learning_eligible, learning_subject_ref ON evolution_episodes
+      WHEN (NEW.learning_eligible = 1 AND NEW.learning_subject_ref IS NULL)
+        OR (NEW.learning_eligible = 0 AND NEW.learning_subject_ref IS NOT NULL)
+      BEGIN
+        SELECT RAISE(ABORT, 'learning subject eligibility mismatch');
+      END;
+
+    INSERT INTO schema_meta(key, value) VALUES ('schema-version', '8')
+      ON CONFLICT(key) DO UPDATE SET value = excluded.value;
+    PRAGMA user_version = 8;
+  `);
+}
+const taskLearningProjectionSchema = `
+  CREATE TABLE evolution_task_learning_state (
+    scope_key TEXT NOT NULL,
+    scope_watermark INTEGER NOT NULL CHECK (scope_watermark >= 1),
+    subject_kind TEXT NOT NULL CHECK (subject_kind IN ('automation-run', 'outcome')),
+    subject_ref TEXT NOT NULL,
+    version INTEGER NOT NULL CHECK (version >= 1),
+    digest TEXT NOT NULL CHECK (length(digest) = 64),
+    disposition TEXT NOT NULL CHECK (disposition IN ('upsert', 'retract')),
+    situation TEXT NOT NULL,
+    episode_id TEXT,
+    updated_at INTEGER NOT NULL,
+    PRIMARY KEY(scope_key, subject_kind, subject_ref),
+    CHECK ((disposition = 'upsert' AND episode_id IS NOT NULL)
+      OR (disposition = 'retract' AND episode_id IS NULL)),
+    FOREIGN KEY(episode_id) REFERENCES evolution_episodes(id) ON DELETE RESTRICT
+  ) STRICT, WITHOUT ROWID;
+  CREATE INDEX evolution_task_learning_state_situation
+    ON evolution_task_learning_state(scope_key, situation, disposition, updated_at DESC);
+
+  CREATE TABLE evolution_task_learning_revisions (
+    scope_key TEXT NOT NULL,
+    scope_watermark INTEGER NOT NULL CHECK (scope_watermark >= 1),
+    subject_kind TEXT NOT NULL CHECK (subject_kind IN ('automation-run', 'outcome')),
+    subject_ref TEXT NOT NULL,
+    version INTEGER NOT NULL CHECK (version >= 1),
+    digest TEXT NOT NULL CHECK (length(digest) = 64),
+    disposition TEXT NOT NULL CHECK (disposition IN ('upsert', 'retract')),
+    situation TEXT NOT NULL,
+    episode_id TEXT,
+    applied_at INTEGER NOT NULL,
+    PRIMARY KEY(scope_key, subject_kind, subject_ref, version),
+    CHECK ((disposition = 'upsert' AND episode_id IS NOT NULL)
+      OR (disposition = 'retract' AND episode_id IS NULL)),
+    FOREIGN KEY(episode_id) REFERENCES evolution_episodes(id) ON DELETE RESTRICT
+  ) STRICT, WITHOUT ROWID;
+  CREATE INDEX evolution_task_learning_revisions_applied
+    ON evolution_task_learning_revisions(applied_at, scope_key, subject_kind, subject_ref);
+`;
+const supervisedGrowthAnalystSchema = `
+  CREATE TABLE evolution_supervised_analyst_reviews (
+    review_token TEXT PRIMARY KEY,
+    scope_key TEXT NOT NULL,
+    occurrence_id TEXT NOT NULL,
+    contract_version TEXT NOT NULL CHECK (contract_version = 'supervised-growth-analyst/v1'),
+    situation TEXT NOT NULL,
+    failures INTEGER NOT NULL CHECK (failures >= 0),
+    total INTEGER NOT NULL CHECK (total > 0 AND failures <= total),
+    evidence_digest TEXT NOT NULL CHECK (length(evidence_digest) = 64),
+    evidence_total INTEGER NOT NULL CHECK (evidence_total = total),
+    evidence_window INTEGER NOT NULL CHECK (evidence_window >= evidence_total),
+    sample_episode_ids_json TEXT NOT NULL CHECK (
+      json_valid(sample_episode_ids_json)
+      AND json_type(sample_episode_ids_json) = 'array'
+      AND json_array_length(sample_episode_ids_json) BETWEEN 1 AND 50
+      AND json_array_length(sample_episode_ids_json) <= evidence_total),
+    evidence_json TEXT NOT NULL CHECK (
+      json_valid(evidence_json) AND json_type(evidence_json) = 'array'),
+    scope_watermark INTEGER NOT NULL CHECK (scope_watermark >= 1),
+    task_revisions_json TEXT NOT NULL CHECK (
+      json_valid(task_revisions_json) AND json_type(task_revisions_json) = 'array'),
+    proposal_id TEXT,
+    created_at INTEGER NOT NULL,
+    proposed_at INTEGER,
+    UNIQUE(scope_key, occurrence_id),
+    FOREIGN KEY(proposal_id) REFERENCES evolution_proposals(id) ON DELETE RESTRICT
+  ) STRICT;
+  CREATE INDEX evolution_supervised_analyst_reviews_proposal
+    ON evolution_supervised_analyst_reviews(proposal_id)
+    WHERE proposal_id IS NOT NULL;
+`;
+const applicationReceiptSchema = `
+  CREATE TABLE evolution_application_receipts (
+    local_proposal_id TEXT PRIMARY KEY,
+    policy_proposal_id TEXT NOT NULL UNIQUE,
+    application_status TEXT NOT NULL CHECK (
+      application_status IN ('applied', 'conflicted', 'expired', 'rejected')),
+    operation TEXT NOT NULL CHECK (operation IN ('adopt', 'owner-undo', 'retire')),
+    terminal_at INTEGER NOT NULL,
+    receipt_digest TEXT NOT NULL UNIQUE CHECK (length(receipt_digest) = 64),
+    revision INTEGER NOT NULL CHECK (revision >= 2),
+    rule_id TEXT,
+    resulting_rule_version INTEGER CHECK (
+      resulting_rule_version IS NULL OR resulting_rule_version >= 1),
+    rule_status TEXT CHECK (rule_status IS NULL OR rule_status IN ('active', 'retired')),
+    CHECK (application_status <> 'applied' OR (
+      rule_id IS NOT NULL AND resulting_rule_version IS NOT NULL AND rule_status IS NOT NULL)),
+    FOREIGN KEY(local_proposal_id) REFERENCES evolution_proposals(id) ON DELETE RESTRICT
+  ) STRICT;
+
+  CREATE TABLE evolution_application_outbox (
+    local_proposal_id TEXT PRIMARY KEY,
+    state TEXT NOT NULL CHECK (state IN ('pending', 'published')),
+    attempt_count INTEGER NOT NULL DEFAULT 0 CHECK (attempt_count >= 0),
+    updated_at INTEGER NOT NULL,
+    published_at INTEGER,
+    last_error TEXT,
+    FOREIGN KEY(local_proposal_id)
+      REFERENCES evolution_application_receipts(local_proposal_id) ON DELETE RESTRICT
+  ) STRICT, WITHOUT ROWID;
+  CREATE INDEX evolution_application_outbox_pending
+    ON evolution_application_outbox(state, updated_at, local_proposal_id);
+`;
+function migrateV8ToV9(database) {
+    database.exec(`
+    -- v8 rows were projected from a raw immutable Evaluation outcome.  They
+    -- cannot represent a later owner override or objective conflict, so they
+    -- must not remain votes once the canonical task projection becomes the
+    -- only source.  Evaluation v5 requeues retained tasks and repopulates this
+    -- ledger through the versioned seam after startup.
+    CREATE TEMP TABLE evolution_v9_legacy_learning_scopes AS
+      SELECT DISTINCT scope_key FROM evolution_episodes WHERE learning_eligible = 1;
+    UPDATE evolution_episodes
+      SET evidence_kind = 'legacy-unknown', evidence_ref = NULL,
+          learning_subject_ref = NULL, learning_eligible = 0
+      WHERE learning_eligible = 1;
+    UPDATE evolution_proposals
+      SET status = 'conflicted', version = version + 1
+      WHERE status = 'pending'
+        AND scope_key IN (SELECT scope_key FROM evolution_v9_legacy_learning_scopes);
+    DROP TABLE evolution_v9_legacy_learning_scopes;
+
+    ${taskLearningProjectionSchema}
+
+    INSERT INTO schema_meta(key, value) VALUES ('schema-version', '9')
+      ON CONFLICT(key) DO UPDATE SET value = excluded.value;
+    PRAGMA user_version = 9;
+  `);
+}
+function migrateV9ToV10(database) {
+    database.exec(`
+    ${supervisedGrowthAnalystSchema}
+
+    INSERT INTO schema_meta(key, value) VALUES ('schema-version', '10')
+      ON CONFLICT(key) DO UPDATE SET value = excluded.value;
+    PRAGMA user_version = 10;
+  `);
+}
+function migrateV10ToV11(database) {
+    database.exec(`
+    ${applicationReceiptSchema}
+
+    INSERT INTO schema_meta(key, value) VALUES ('schema-version', '11')
+      ON CONFLICT(key) DO UPDATE SET value = excluded.value;
+    PRAGMA user_version = 11;
+  `);
+}
+function migrateV11ToV12(database) {
+    const hasColumn = (table, column) => database
+        .prepare(`SELECT name FROM pragma_table_info(?) WHERE name = ?`)
+        .get(table, column) !== undefined;
+    if (!hasColumn('evolution_task_learning_state', 'scope_watermark')) {
+        database.exec(`ALTER TABLE evolution_task_learning_state
+      ADD COLUMN scope_watermark INTEGER NOT NULL DEFAULT 0 CHECK (scope_watermark >= 0)`);
+    }
+    if (!hasColumn('evolution_task_learning_revisions', 'scope_watermark')) {
+        database.exec(`ALTER TABLE evolution_task_learning_revisions
+      ADD COLUMN scope_watermark INTEGER NOT NULL DEFAULT 0 CHECK (scope_watermark >= 0)`);
+    }
+    if (!hasColumn('evolution_supervised_analyst_reviews', 'scope_watermark')) {
+        database.exec(`ALTER TABLE evolution_supervised_analyst_reviews
+      ADD COLUMN scope_watermark INTEGER NOT NULL DEFAULT 0 CHECK (scope_watermark >= 0)`);
+    }
+    if (!hasColumn('evolution_supervised_analyst_reviews', 'task_revisions_json')) {
+        database.exec(`ALTER TABLE evolution_supervised_analyst_reviews
+      ADD COLUMN task_revisions_json TEXT NOT NULL DEFAULT '[]'
+        CHECK (json_valid(task_revisions_json) AND json_type(task_revisions_json) = 'array')`);
+    }
+    database.exec(`
+    CREATE TABLE IF NOT EXISTS evolution_scope_learning_watermarks (
+      scope_key TEXT PRIMARY KEY,
+      watermark INTEGER NOT NULL CHECK (watermark >= 1),
+      updated_at INTEGER NOT NULL
+    ) STRICT, WITHOUT ROWID;
+
+    -- No pre-v12 pending proposal froze the authoritative Evaluation scope
+    -- watermark and complete task tuple. Preserve it for audit, but never let a
+    -- later approval apply it. Attached rows receive terminal receipts during
+    -- the normal constructor backfill.
+    UPDATE evolution_proposals
+      SET status = 'conflicted', version = version + 1
+      WHERE status = 'pending';
+
+    INSERT INTO schema_meta(key, value) VALUES ('schema-version', '12')
+      ON CONFLICT(key) DO UPDATE SET value = excluded.value;
+    PRAGMA user_version = 12;
+  `);
+}
 function createCurrentSchema(database) {
     database.exec(`
     CREATE TABLE schema_meta (
@@ -134,19 +526,41 @@ function createCurrentSchema(database) {
       situation TEXT NOT NULL,
       outcome TEXT NOT NULL CHECK (outcome IN ('succeeded', 'failed')),
       detail TEXT NOT NULL,
-      source TEXT NOT NULL CHECK (source IN ('automation', 'foreground')),
+      source TEXT NOT NULL CHECK (source IN ('automation', 'evaluation', 'foreground')),
       scope_key TEXT NOT NULL,
       trust TEXT NOT NULL CHECK (trust IN ('trusted', 'self-reported', 'legacy')),
+      evidence_kind TEXT NOT NULL CHECK (
+        evidence_kind IN ('operational', 'objective', 'verification', 'legacy-unknown')),
+      evidence_ref TEXT,
+      learning_subject_ref TEXT,
+      learning_eligible INTEGER NOT NULL CHECK (learning_eligible IN (0, 1)),
       rule_id TEXT,
       guidance_version INTEGER CHECK (guidance_version IS NULL OR guidance_version >= 1),
       claimed_rule_id TEXT,
-      occurred_at INTEGER NOT NULL
+      occurred_at INTEGER NOT NULL,
+      CHECK ((learning_eligible = 0 AND learning_subject_ref IS NULL) OR (
+        learning_eligible = 1
+        AND learning_subject_ref IS NOT NULL
+        AND
+        source = 'evaluation'
+        AND
+        trust = 'trusted'
+        AND evidence_kind IN ('objective', 'verification')
+        AND evidence_ref IS NOT NULL))
     ) STRICT;
 
     CREATE INDEX evolution_episodes_adoption
-      ON evolution_episodes(scope_key, situation, trust, rule_id, occurred_at DESC, id DESC);
+      ON evolution_episodes(
+        scope_key, situation, learning_eligible, rule_id, occurred_at DESC, id DESC);
     CREATE INDEX evolution_episodes_evaluation
-      ON evolution_episodes(rule_id, trust, occurred_at DESC, id DESC);
+      ON evolution_episodes(
+        rule_id, guidance_version, learning_eligible, occurred_at DESC, id DESC);
+    CREATE UNIQUE INDEX evolution_episodes_quality_evidence_identity
+      ON evolution_episodes(scope_key, evidence_ref)
+      WHERE learning_eligible = 1;
+    CREATE UNIQUE INDEX evolution_episodes_learning_subject_identity
+      ON evolution_episodes(scope_key, learning_subject_ref)
+      WHERE learning_eligible = 1;
 
     CREATE TABLE evolution_rules (
       id TEXT PRIMARY KEY,
@@ -233,8 +647,20 @@ function createCurrentSchema(database) {
     CREATE INDEX evolution_autonomous_rollbacks_occurred
       ON evolution_autonomous_rollbacks(occurred_at);
 
-    INSERT INTO schema_meta(key, value) VALUES ('schema-version', '4');
-    PRAGMA user_version = 4;
+    ${taskLearningProjectionSchema}
+
+    CREATE TABLE evolution_scope_learning_watermarks (
+      scope_key TEXT PRIMARY KEY,
+      watermark INTEGER NOT NULL CHECK (watermark >= 1),
+      updated_at INTEGER NOT NULL
+    ) STRICT, WITHOUT ROWID;
+
+    ${supervisedGrowthAnalystSchema}
+
+    ${applicationReceiptSchema}
+
+    INSERT INTO schema_meta(key, value) VALUES ('schema-version', '12');
+    PRAGMA user_version = 12;
   `);
 }
 /** Serialize every schema transition and re-read the version after the lock. */
@@ -258,6 +684,22 @@ function migrate(database) {
                 migrateV2ToV3(database);
             else if (version === 3)
                 migrateV3ToV4(database);
+            else if (version === 4)
+                migrateV4ToV5(database);
+            else if (version === 5)
+                migrateV5ToV6(database);
+            else if (version === 6)
+                migrateV6ToV7(database);
+            else if (version === 7)
+                migrateV7ToV8(database);
+            else if (version === 8)
+                migrateV8ToV9(database);
+            else if (version === 9)
+                migrateV9ToV10(database);
+            else if (version === 10)
+                migrateV10ToV11(database);
+            else if (version === 11)
+                migrateV11ToV12(database);
             version = schemaVersion(database);
         }
         database.exec('COMMIT');

package/lib/sqlite.js.map

@@ -1 +1 @@
-{"version":3,"file":"sqlite.js","sourceRoot":"","sources":["../src/sqlite.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,SAAS,CAAA;AAC9C,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAE1C,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAA;AAEvC,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IAEpC;IADX,YACW,IAAuC,EAChD,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAA;QAHL,SAAI,GAAJ,IAAI,CAAmC;QAIhD,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAA;IACtC,CAAC;CACF;AAED,SAAS,aAAa,CAAC,QAAsB;IAC3C,OAAQ,QAAQ,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,GAAG,EAA+B,CAAC,YAAY,CAAA;AACjG,CAAC;AAED,SAAS,eAAe,CAAC,OAAe;IACtC,IAAI,OAAO,GAAG,sBAAsB,EAAE,CAAC;QACrC,MAAM,IAAI,sBAAsB,CAC9B,gBAAgB,EAChB,oBAAoB,OAAO,mCAAmC,sBAAsB,EAAE,CACvF,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,QAAsB;IAC3C,QAAQ,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCb,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,QAAsB;IAC3C,QAAQ,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4Bb,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,QAAsB;IAC3C,QAAQ,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6Bb,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAsB;IACjD,QAAQ,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmHb,CAAC,CAAA;AACJ,CAAC;AAED,gFAAgF;AAChF,SAAS,OAAO,CAAC,QAAsB;IACrC,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAA;IACvC,eAAe,CAAC,OAAO,CAAC,CAAA;IACxB,IAAI,OAAO,KAAK,sBAAsB;QAAE,OAAM;IAE9C,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;IAChC,IAAI,CAAC;QACH,IAAI,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAA;QACrC,eAAe,CAAC,OAAO,CAAC,CAAA;QACxB,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;YAClB,mBAAmB,CAAC,QAAQ,CAAC,CAAA;YAC7B,OAAO,GAAG,sBAAsB,CAAA;QAClC,CAAC;QACD,OAAO,OAAO,GAAG,sBAAsB,EAAE,CAAC;YACxC,IAAI,OAAO,KAAK,CAAC;gBAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;iBACrC,IAAI,OAAO,KAAK,CAAC;gBAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;iBAC1C,IAAI,OAAO,KAAK,CAAC;gBAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;YAC/C,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAA;QACnC,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACzB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QACzB,MAAM,KAAK,CAAA;IACb,CAAC;AACH,CAAC;AAED,MAAM,YAAY,GAAG,IAAI,UAAU,CAAC,IAAI,iBAAiB,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAA;AAExF,SAAS,SAAS,CAAC,QAAsB;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAA;IACnC,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC,GAAG,EAA8B,CAAA;YAC3F,IAAI,GAAG,CAAC,YAAY,CAAC,WAAW,EAAE,KAAK,KAAK,EAAE,CAAC;gBAC7C,MAAM,IAAI,KAAK,CAAC,wCAAwC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAA;YAC7E,CAAC;YACD,OAAM;QACR,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,SAAS,GAAG,KAAK,YAAY,KAAK,IAAI,8BAA8B,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YAC9F,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,QAAQ;gBAAE,MAAM,KAAK,CAAA;YACrD,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;QACtC,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,IAAI,IAAI,KAAK,UAAU,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,sBAAsB,CAAC,cAAc,EAAE,0CAA0C,CAAC,CAAA;IAC9F,CAAC;IACD,IAAI,IAAI,KAAK,UAAU;QAAE,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;IACnF,MAAM,QAAQ,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,CAAA;IACvC,IAAI,CAAC;QACH,QAAQ,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAA;QACzC,QAAQ,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAA;QAC3C,QAAQ,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAA;QAC1C,OAAO,CAAC,QAAQ,CAAC,CAAA;QACjB,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;YACxB,SAAS,CAAC,QAAQ,CAAC,CAAA;YACnB,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QACxB,CAAC;QACD,OAAO,QAAQ,CAAA;IACjB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,QAAQ,CAAC,KAAK,EAAE,CAAA;QAChB,MAAM,KAAK,CAAA;IACb,CAAC;AACH,CAAC"}
+{"version":3,"file":"sqlite.js","sourceRoot":"","sources":["../src/sqlite.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,SAAS,CAAA;AAC9C,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAE1C,MAAM,CAAC,MAAM,sBAAsB,GAAG,EAAE,CAAA;AAExC,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IAEpC;IADX,YACW,IAAuC,EAChD,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAA;QAHL,SAAI,GAAJ,IAAI,CAAmC;QAIhD,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAA;IACtC,CAAC;CACF;AAED,SAAS,aAAa,CAAC,QAAsB;IAC3C,OAAQ,QAAQ,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,GAAG,EAA+B,CAAC,YAAY,CAAA;AACjG,CAAC;AAED,SAAS,eAAe,CAAC,OAAe;IACtC,IAAI,OAAO,GAAG,sBAAsB,EAAE,CAAC;QACrC,MAAM,IAAI,sBAAsB,CAC9B,gBAAgB,EAChB,oBAAoB,OAAO,mCAAmC,sBAAsB,EAAE,CACvF,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,QAAsB;IAC3C,QAAQ,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCb,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,QAAsB;IAC3C,QAAQ,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4Bb,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,QAAsB;IAC3C,QAAQ,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6Bb,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,QAAsB;IAC3C,QAAQ,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCb,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,QAAsB;IAC3C,QAAQ,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCb,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,QAAsB;IAC3C,QAAQ,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyEb,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,QAAsB;IAC3C,QAAQ,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2Cb,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,4BAA4B,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAsCpC,CAAA;AAED,MAAM,6BAA6B,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+BrC,CAAA;AAED,MAAM,wBAAwB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+BhC,CAAA;AAED,SAAS,aAAa,CAAC,QAAsB;IAC3C,QAAQ,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;MAkBV,4BAA4B;;;;;GAK/B,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,QAAsB;IAC5C,QAAQ,CAAC,IAAI,CAAC;MACV,6BAA6B;;;;;GAKhC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,QAAsB;IAC7C,QAAQ,CAAC,IAAI,CAAC;MACV,wBAAwB;;;;;GAK3B,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,QAAsB;IAC7C,MAAM,SAAS,GAAG,CAAC,KAAa,EAAE,MAAc,EAAW,EAAE,CAAC,QAAQ;SACnE,OAAO,CAAC,sDAAsD,CAAC;SAC/D,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,SAAS,CAAA;IACnC,IAAI,CAAC,SAAS,CAAC,+BAA+B,EAAE,iBAAiB,CAAC,EAAE,CAAC;QACnE,QAAQ,CAAC,IAAI,CAAC;yFACuE,CAAC,CAAA;IACxF,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,mCAAmC,EAAE,iBAAiB,CAAC,EAAE,CAAC;QACvE,QAAQ,CAAC,IAAI,CAAC;yFACuE,CAAC,CAAA;IACxF,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,sCAAsC,EAAE,iBAAiB,CAAC,EAAE,CAAC;QAC1E,QAAQ,CAAC,IAAI,CAAC;yFACuE,CAAC,CAAA;IACxF,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,sCAAsC,EAAE,qBAAqB,CAAC,EAAE,CAAC;QAC9E,QAAQ,CAAC,IAAI,CAAC;;6FAE2E,CAAC,CAAA;IAC5F,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;GAkBb,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAsB;IACjD,QAAQ,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAuIV,4BAA4B;;;;;;;;MAQ5B,6BAA6B;;MAE7B,wBAAwB;;;;GAI3B,CAAC,CAAA;AACJ,CAAC;AAED,gFAAgF;AAChF,SAAS,OAAO,CAAC,QAAsB;IACrC,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAA;IACvC,eAAe,CAAC,OAAO,CAAC,CAAA;IACxB,IAAI,OAAO,KAAK,sBAAsB;QAAE,OAAM;IAE9C,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;IAChC,IAAI,CAAC;QACH,IAAI,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAA;QACrC,eAAe,CAAC,OAAO,CAAC,CAAA;QACxB,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;YAClB,mBAAmB,CAAC,QAAQ,CAAC,CAAA;YAC7B,OAAO,GAAG,sBAAsB,CAAA;QAClC,CAAC;QACD,OAAO,OAAO,GAAG,sBAAsB,EAAE,CAAC;YACxC,IAAI,OAAO,KAAK,CAAC;gBAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;iBACrC,IAAI,OAAO,KAAK,CAAC;gBAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;iBAC1C,IAAI,OAAO,KAAK,CAAC;gBAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;iBAC1C,IAAI,OAAO,KAAK,CAAC;gBAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;iBAC1C,IAAI,OAAO,KAAK,CAAC;gBAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;iBAC1C,IAAI,OAAO,KAAK,CAAC;gBAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;iBAC1C,IAAI,OAAO,KAAK,CAAC;gBAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;iBAC1C,IAAI,OAAO,KAAK,CAAC;gBAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;iBAC1C,IAAI,OAAO,KAAK,CAAC;gBAAE,cAAc,CAAC,QAAQ,CAAC,CAAA;iBAC3C,IAAI,OAAO,KAAK,EAAE;gBAAE,eAAe,CAAC,QAAQ,CAAC,CAAA;iBAC7C,IAAI,OAAO,KAAK,EAAE;gBAAE,eAAe,CAAC,QAAQ,CAAC,CAAA;YAClD,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAA;QACnC,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACzB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QACzB,MAAM,KAAK,CAAA;IACb,CAAC;AACH,CAAC;AAED,MAAM,YAAY,GAAG,IAAI,UAAU,CAAC,IAAI,iBAAiB,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAA;AAExF,SAAS,SAAS,CAAC,QAAsB;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAA;IACnC,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC,GAAG,EAA8B,CAAA;YAC3F,IAAI,GAAG,CAAC,YAAY,CAAC,WAAW,EAAE,KAAK,KAAK,EAAE,CAAC;gBAC7C,MAAM,IAAI,KAAK,CAAC,wCAAwC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAA;YAC7E,CAAC;YACD,OAAM;QACR,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,SAAS,GAAG,KAAK,YAAY,KAAK,IAAI,8BAA8B,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YAC9F,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,QAAQ;gBAAE,MAAM,KAAK,CAAA;YACrD,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;QACtC,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,IAAI,IAAI,KAAK,UAAU,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,sBAAsB,CAAC,cAAc,EAAE,0CAA0C,CAAC,CAAA;IAC9F,CAAC;IACD,IAAI,IAAI,KAAK,UAAU;QAAE,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;IACnF,MAAM,QAAQ,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,CAAA;IACvC,IAAI,CAAC;QACH,QAAQ,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAA;QACzC,QAAQ,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAA;QAC3C,QAAQ,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAA;QAC1C,OAAO,CAAC,QAAQ,CAAC,CAAA;QACjB,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;YACxB,SAAS,CAAC,QAAQ,CAAC,CAAA;YACnB,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QACxB,CAAC;QACD,OAAO,QAAQ,CAAA;IACjB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,QAAQ,CAAC,KAAK,EAAE,CAAA;QAChB,MAAM,KAAK,CAAA;IACb,CAAC;AACH,CAAC"}

package/lib/store.d.ts

@@ -1,4 +1,4 @@
-import type { EpisodeInput, EvolutionCreationIntent, EvolutionMutation, EvolutionSettlementExpectation, GuidanceExposure, ProposalStatus, RuleCandidate, RuleInput, SituationStats, StoredEpisode, StoredAutonomousRollback, StoredProposal, StoredRule } from './types.js';
+import type { EpisodeInput, EvolutionCreationInput, EvolutionMutation, EvolutionSettlementExpectation, GuidanceExposure, ProposalStatus, RuleCandidate, RuleInput, SituationStats, StoredEpisode, StoredEvolutionApplicationOutboxEntry, StoredEvolutionApplicationReceipt, StoredAutonomousRollback, StoredProposal, StoredRule, StoredSupervisedGrowthAnalystReview, StoredTaskLearningProjection, SupervisedGrowthAnalystContractVersion, TaskLearningProjectionInput, TaskLearningProjectionResult } from './types.js';
 export type EvolutionStoreErrorCode = 'idempotency-conflict' | 'invalid-input' | 'invalid-state' | 'not-found' | 'version-conflict';
 export declare class EvolutionStoreError extends Error {
     readonly code: EvolutionStoreErrorCode;
@@ -18,11 +18,31 @@ export interface EvolutionStoreHealth {
     pendingProposals: number;
     conflictedProposals: number;
     trustedEpisodes: number;
+    qualityEligibleEpisodes: number;
+    operationalEpisodes: number;
+    legacyQuarantinedEpisodes: number;
     unattributedTrustedEpisodes: number;
+    unattributedQualityEligibleEpisodes: number;
     lastTrustedEpisodeAt: number;
+    lastQualityEligibleEpisodeAt: number;
     autonomousRollbacks: number;
+    taskLearningProjections: number;
+    retractedTaskLearningProjections: number;
+    taskLearningProjectionRevisions: number;
+    taskLearningProjectionIntegrityErrors: number;
 }
 declare function digest(value: unknown): string;
+/**
+ * Stable analyst proposal identity. Deliberately do not add guidance, owner,
+ * execution, token, TTL, samples or timestamps: those are not the learned fact.
+ */
+export declare function supervisedGrowthAnalystProposalIdempotencyKey(input: {
+    scopeKey: string;
+    situation: string;
+    evidenceDigest: string;
+    evidenceTotal: number;
+    contractVersion: SupervisedGrowthAnalystContractVersion;
+}): string;
 /**
  * Durable evidence and rule ledger.
  *
@@ -43,10 +63,28 @@ export declare class EvolutionStore {
     health(): Readonly<EvolutionStoreHealth>;
     /** Record one observed outcome. Idempotent on `idempotencyKey`. */
     recordEpisode(input: EpisodeInput): StoredEpisode;
-    /** Failure counts for one situation over the most recent `window` episodes. */
+    /**
+     * Apply one authoritative Evaluation task revision.  The current pointer,
+     * immutable revision audit, active learning vote and stale-proposal fence are
+     * committed under one SQLite writer lock.
+     *
+     * The first accepted revision may be greater than one because several old
+     * Evaluation outbox triggers all resolve to the latest canonical task.  A
+     * lower revision is never acknowledged: it indicates an Evaluation rollback
+     * or a mismatched database restore and must remain visible to recovery.
+     */
+    applyTaskLearningProjection(input: TaskLearningProjectionInput): TaskLearningProjectionResult;
+    getTaskLearningProjection(input: {
+        scopeKey: string;
+        subjectKind: 'automation-run' | 'outcome';
+        subjectRef: string;
+    }): StoredTaskLearningProjection | undefined;
+    /** Failure counts over the most recent explicitly quality-eligible episodes. */
     stats(scopeKey: string, situation: string, window: number): SituationStats;
     listRules(scopeKey: string, status?: 'active' | 'retired'): StoredRule[];
     getRule(ruleId: string): StoredRule | undefined;
+    /** Principal whose exact approved adoption created this immutable rule. */
+    ruleApprovalPrincipal(ruleId: string): string | undefined;
     activeRule(scopeKey: string, situation: string): StoredRule | undefined;
     nextGeneration(scopeKey: string, situation: string): number;
     /** Persist proof only after the corresponding guidance injection returned. */
@@ -58,6 +96,7 @@ export declare class EvolutionStore {
         guidanceVersion: number;
     }): GuidanceExposure;
     hasGuidanceExposure(sessionId: string, scopeKey: string, ruleId: string, guidanceVersion: number): boolean;
+    countGuidanceExposures(sessionId: string, scopeKey: string): number;
     /** Return only an unambiguous exact-situation receipt for one session. */
     captureGuidanceExposure(sessionId: string, scopeKey: string, situation: string): GuidanceExposure | undefined;
     /**
@@ -93,6 +132,41 @@ export declare class EvolutionStore {
         retireFailureRate: number;
         evidenceSampleLimit?: number;
     }): RuleCandidate | undefined;
+    /**
+     * Freeze the one adoption candidate shown to an exact production analyst
+     * execution. Repeating review in the same occurrence returns the same opaque
+     * token; if its evidence changed, the old execution is fenced instead.
+     */
+    registerSupervisedGrowthAnalystReview(input: {
+        scopeKey: string;
+        occurrenceId: string;
+        candidate: RuleCandidate;
+        evidenceWindow: number;
+    }): Readonly<{
+        review: StoredSupervisedGrowthAnalystReview;
+        proposalExists: boolean;
+    }>;
+    getSupervisedGrowthAnalystReview(reviewToken: string): StoredSupervisedGrowthAnalystReview | undefined;
+    /**
+     * Create or join the proposal for one evidence identity under the SQLite
+     * writer lock. The existing proposal is deliberately returned without
+     * comparing guidance: the first committed wording is the durable winner.
+     */
+    createSupervisedGrowthAnalystProposal(input: {
+        reviewToken: string;
+        scopeKey: string;
+        occurrenceId: string;
+        requester: string;
+        principal: string;
+        mutation: Extract<EvolutionMutation, {
+            op: 'adopt';
+        }>;
+        expiresAt: number;
+        creationIntent: EvolutionCreationInput;
+    }): Readonly<{
+        proposal: StoredProposal;
+        replayed: boolean;
+    }>;
     /**
      * Retire one exact active guidance generation through the narrow autonomous
      * rollback lane.
@@ -121,11 +195,32 @@ export declare class EvolutionStore {
         principal: string;
         mutation: EvolutionMutation;
         expiresAt: number;
-        creationIntent?: EvolutionCreationIntent;
+        creationIntent?: EvolutionCreationInput;
     }): StoredProposal;
     attachPolicy(proposalId: string, policyProposalId: string, expectation?: EvolutionSettlementExpectation): StoredProposal;
     getProposal(proposalId: string): StoredProposal | undefined;
+    getProposalByIdempotencyKey(idempotencyKey: string): StoredProposal | undefined;
     listPendingProposals(limit: number): StoredProposal[];
+    /**
+     * Recover cross-database creation intents that may already own a Policy card
+     * even when local evidence invalidation made the proposal terminal first.
+     */
+    listUnattachedProposalIntents(limit: number): StoredProposal[];
+    /**
+     * Policy has authoritatively confirmed that an expired unattached intent did
+     * not create a proposal.  Drop only that now-useless recovery payload so the
+     * terminal local conflict is not rediscovered forever.
+     */
+    completeAbandonedProposalRecovery(proposalId: string): StoredProposal;
+    getEvolutionApplicationReceipt(localProposalId: string): StoredEvolutionApplicationReceipt | undefined;
+    /** Independent terminal-presentation outbox; it never scans pending proposals. */
+    listPendingEvolutionApplicationReceipts(limit: number): StoredEvolutionApplicationOutboxEntry[];
+    settleEvolutionApplicationPublication(input: {
+        localProposalId: string;
+        receiptDigest: string;
+        outcome: 'published' | 'retry';
+        error?: string;
+    }): StoredEvolutionApplicationOutboxEntry;
     /** Move an inspected-but-still-pending row behind its peers, durably. */
     deferPendingProposal(proposalId: string): void;
     /**