@tomflow/proflow-task-store-sqlite 0.1.12 → 0.1.14

package/CHANGELOG.md

@@ -1,5 +1,17 @@
 # @tomflow/proflow-task-store-sqlite
 
+## 0.1.14
+
+### Patch Changes
+
+- fix(task-store): make task evidence non-destructive
+
+## 0.1.13
+
+### Patch Changes
+
+- fix(task-store): preserve durable campaign membership
+
 ## 0.1.12
 
 ### Patch Changes

package/dist/deployment/adapter.d.ts

@@ -7,7 +7,7 @@ export declare const behaviorAdapter: {
             ok: true;
             status: "SUCCEEDED";
             moduleRef: "task-store-sqlite";
-            moduleVersion: "0.1.12";
+            moduleVersion: "0.1.14";
             data: {
                 databasePath: string;
             };
@@ -20,7 +20,7 @@ export declare const behaviorAdapter: {
             readonly ok: true;
             readonly status: "SUCCEEDED";
             readonly moduleRef: "task-store-sqlite";
-            readonly moduleVersion: "0.1.12";
+            readonly moduleVersion: "0.1.14";
         };
         observedEffects: never[];
     }>;
@@ -30,7 +30,7 @@ export declare const behaviorAdapter: {
             ok: true;
             status: "SUCCEEDED";
             moduleRef: "task-store-sqlite";
-            moduleVersion: "0.1.12";
+            moduleVersion: "0.1.14";
             data: {
                 setupStatus: "FAILED" | "READY";
                 runtimeStatus: "NOT_APPLICABLE";
@@ -51,11 +51,11 @@ export declare const behaviorAdapter: {
             readonly ok: true;
             readonly status: "SUCCEEDED";
             readonly moduleRef: "task-store-sqlite";
-            readonly moduleVersion: "0.1.12";
+            readonly moduleVersion: "0.1.14";
         } | {
             contract: "deployment.result.v1";
             moduleRef: "task-store-sqlite";
-            moduleVersion: "0.1.12";
+            moduleVersion: "0.1.14";
             ok: false;
             status: "FAILED";
             error: {
@@ -72,7 +72,7 @@ export declare const behaviorAdapter: {
             ok: true;
             status: "SUCCEEDED";
             moduleRef: "task-store-sqlite";
-            moduleVersion: "0.1.12";
+            moduleVersion: "0.1.14";
             data: {
                 docs: string;
             };
@@ -85,7 +85,7 @@ export declare const behaviorAdapter: {
             readonly ok: true;
             readonly status: "SUCCEEDED";
             readonly moduleRef: "task-store-sqlite";
-            readonly moduleVersion: "0.1.12";
+            readonly moduleVersion: "0.1.14";
         };
         observedEffects: never[];
     }>;
@@ -95,7 +95,7 @@ export declare const behaviorAdapter: {
             readonly ok: true;
             readonly status: "SUCCEEDED";
             readonly moduleRef: "task-store-sqlite";
-            readonly moduleVersion: "0.1.12";
+            readonly moduleVersion: "0.1.14";
         };
         observedEffects: never[];
     }>;

package/dist/deployment/descriptor.d.ts

@@ -3,7 +3,7 @@ export declare const descriptor: {
     readonly contractVersion: "1.0.0";
     readonly moduleRef: "task-store-sqlite";
     readonly packageName: "@tomflow/proflow-task-store-sqlite";
-    readonly moduleVersion: "0.1.12";
+    readonly moduleVersion: "0.1.14";
     readonly kind: "library";
     readonly templateVersion: "1.0.0";
     readonly platformCompatibility: ">=1.0.0 <2.0.0";

package/dist/deployment/descriptor.js

@@ -3,7 +3,7 @@ export const descriptor = {
     contractVersion: "1.0.0",
     moduleRef: "task-store-sqlite",
     packageName: "@tomflow/proflow-task-store-sqlite",
-    moduleVersion: "0.1.12",
+    moduleVersion: "0.1.14",
     kind: "library",
     templateVersion: "1.0.0",
     platformCompatibility: ">=1.0.0 <2.0.0",

package/dist/src/index.d.ts

@@ -1,6 +1,7 @@
-import type { Task, TaskRepositories, TaskStore } from "@tomflow/proflow-task-orchestration";
-export { type TaskMigration, type TaskMigrationContext, taskMigrations, } from "./migrations.ts";
-export declare class SqliteTaskStore implements TaskStore {
+import type { Phase4TaskRepositories, Phase4TaskStore, Task, TaskRepositories } from "@tomflow/proflow-task-orchestration";
+export { type TaskMigration, type TaskMigrationContext } from "./migrations.ts";
+export { taskMigrations } from "./phase4-migrations.ts";
+export declare class SqliteTaskStore implements Phase4TaskStore {
     #private;
     constructor(input: {
         databasePath: string;
@@ -8,6 +9,8 @@ export declare class SqliteTaskStore implements TaskStore {
     });
     transaction<T>(work: (repositories: TaskRepositories) => T): T;
     read<T>(work: (repositories: TaskRepositories) => T): T;
+    phase4Transaction<T>(work: (repositories: TaskRepositories & Phase4TaskRepositories) => T): T;
+    phase4Read<T>(work: (repositories: TaskRepositories & Phase4TaskRepositories) => T): T;
     listReconciliationTaskIds(input: {
         statuses: readonly Task["status"][];
         afterTaskId?: string;

package/dist/src/index.js

@@ -1,5 +1,8 @@
 import { DatabaseSync } from "node:sqlite";
-export { taskMigrations, } from "./migrations.js";
+import { taskDocumentRef } from "@tomflow/proflow-task-orchestration";
+import { createPhase4Repositories } from "./phase4-repositories.js";
+export {} from "./migrations.js";
+export { taskMigrations } from "./phase4-migrations.js";
 const json = (value) => JSON.stringify(value);
 const text = (value) => value === null || value === undefined ? null : String(value);
 const number = (value) => Number(value);
@@ -90,10 +93,19 @@ function history(row) {
     };
 }
 function document(row) {
+    const taskId = String(row.task_id);
+    const documentType = String(row.document_type);
     return {
-        taskId: String(row.task_id),
-        documentType: String(row.document_type),
+        documentRef: taskDocumentRef(taskId, documentType),
+        taskId,
+        documentType,
         sourceNodeId: text(row.source_node_id),
+        sourceNodeRunNo: row.source_node_run_no === null ? null : number(row.source_node_run_no),
+        revision: number(row.revision),
+        sourceDocumentRef: text(row.source_document_ref),
+        sourceDocumentRevision: row.source_document_revision === null
+            ? null
+            : number(row.source_document_revision),
         filePath: String(row.file_path),
         contentHash: String(row.content_hash),
         updatedByRef: String(row.updated_by_ref),
@@ -228,7 +240,17 @@ export class SqliteTaskStore {
                     return row ? document(row) : undefined;
                 },
                 upsert: (v) => {
-                    db.prepare("INSERT INTO task_documents VALUES (?,?,?,?,?,?,?) ON CONFLICT(task_id,document_type) DO UPDATE SET source_node_id=excluded.source_node_id,file_path=excluded.file_path,content_hash=excluded.content_hash,updated_by_ref=excluded.updated_by_ref,updated_at=excluded.updated_at").run(v.taskId, v.documentType, v.sourceNodeId, v.filePath, v.contentHash, v.updatedByRef, v.updatedAt);
+                    if (v.documentRef !== taskDocumentRef(v.taskId, v.documentType))
+                        throw new Error("TASK_DOCUMENT_IDENTITY_CONFLICT");
+                    if (!Number.isSafeInteger(v.revision) || v.revision < 1)
+                        throw new Error("TASK_DOCUMENT_REVISION_CONFLICT");
+                    if (v.revision === 1) {
+                        db.prepare("INSERT INTO task_documents(task_id,document_type,source_node_id,file_path,content_hash,updated_by_ref,updated_at,source_node_run_no,revision,source_document_ref,source_document_revision) VALUES (?,?,?,?,?,?,?,?,?,?,?)").run(v.taskId, v.documentType, v.sourceNodeId, v.filePath, v.contentHash, v.updatedByRef, v.updatedAt, v.sourceNodeRunNo, v.revision, v.sourceDocumentRef, v.sourceDocumentRevision);
+                        return;
+                    }
+                    const result = db.prepare("UPDATE task_documents SET source_node_id=?,file_path=?,content_hash=?,updated_by_ref=?,updated_at=?,source_node_run_no=?,revision=?,source_document_ref=?,source_document_revision=? WHERE task_id=? AND document_type=? AND revision=?").run(v.sourceNodeId, v.filePath, v.contentHash, v.updatedByRef, v.updatedAt, v.sourceNodeRunNo, v.revision, v.sourceDocumentRef, v.sourceDocumentRevision, v.taskId, v.documentType, v.revision - 1);
+                    if (Number(result.changes) !== 1)
+                        throw new Error("TASK_DOCUMENT_REVISION_CONFLICT");
                 },
                 listByTask: (taskId) => all("SELECT * FROM task_documents WHERE task_id=? ORDER BY document_type", taskId).map(document),
             },
@@ -262,6 +284,9 @@ export class SqliteTaskStore {
             },
         };
     }
+    #phase4Repositories() {
+        return createPhase4Repositories(this.#database);
+    }
     transaction(work) {
         this.#database.exec("BEGIN IMMEDIATE");
         try {
@@ -277,6 +302,21 @@ export class SqliteTaskStore {
     read(work) {
         return work(this.#repositories());
     }
+    phase4Transaction(work) {
+        this.#database.exec("BEGIN IMMEDIATE");
+        try {
+            const result = work({ ...this.#repositories(), ...this.#phase4Repositories() });
+            this.#database.exec("COMMIT");
+            return result;
+        }
+        catch (error) {
+            this.#database.exec("ROLLBACK");
+            throw error;
+        }
+    }
+    phase4Read(work) {
+        return work({ ...this.#repositories(), ...this.#phase4Repositories() });
+    }
     listReconciliationTaskIds(input) {
         const statuses = [...new Set(input.statuses.filter((value) => value.length > 0))];
         if (statuses.length === 0)
@@ -322,6 +362,10 @@ export class SqliteTaskStore {
             "task_messages",
             "task_events",
             "idempotency_records",
+            "product_campaigns",
+            "product_intents",
+            "product_documents",
+            "campaign_authorizations",
         ];
         return Object.fromEntries(tables.map((table) => [
             table,

package/dist/src/phase4-migrations.d.ts

@@ -0,0 +1,3 @@
+import { type TaskMigration } from "./migrations.ts";
+export type { TaskMigration, TaskMigrationContext } from "./migrations.ts";
+export declare const taskMigrations: readonly TaskMigration[];

package/dist/src/phase4-migrations.js

@@ -0,0 +1,357 @@
+import { taskMigrations as legacyTaskMigrations, } from "./migrations.js";
+const legacyTaskColumns = [
+    "task_id",
+    "task_group_id",
+    "sequence_no",
+    "title",
+    "objective",
+    "status",
+    "version",
+    "plan_version",
+    "current_node_id",
+    "created_by_ref",
+    "created_at",
+    "started_at",
+    "completed_at",
+    "updated_at",
+];
+const phase4TaskColumns = [
+    "source_product_intent_ref",
+    "campaign_ref",
+];
+const legacyTaskDocumentColumns = [
+    "task_id",
+    "document_type",
+    "source_node_id",
+    "file_path",
+    "content_hash",
+    "updated_by_ref",
+    "updated_at",
+];
+const evidenceTaskDocumentColumns = [
+    "source_node_run_no",
+    "revision",
+    "source_document_ref",
+    "source_document_revision",
+];
+const phase4Tables = [
+    "product_campaigns",
+    "product_intents",
+    "product_documents",
+    "campaign_authorizations",
+];
+function tableExists(database, table) {
+    return Boolean(database
+        .prepare("SELECT 1 AS present FROM sqlite_master WHERE type='table' AND name=?")
+        .get(table));
+}
+function tableColumns(database, table) {
+    return new Set(database.prepare(`PRAGMA table_info(${table})`).all().map((row) => row.name));
+}
+const legacyV3 = legacyTaskMigrations.find((migration) => migration.version === 3);
+if (!legacyV3)
+    throw new Error("TASK_SCHEMA_V3_REQUIRED");
+const v3Compatible = {
+    ...legacyV3,
+    verify: (database) => {
+        let issues = [...(legacyV3.verify?.(database) ?? [])];
+        if (tableExists(database, "tasks")) {
+            const columns = tableColumns(database, "tasks");
+            const phase4ShapePresent = columns.size === legacyTaskColumns.length + phase4TaskColumns.length &&
+                legacyTaskColumns.every((column) => columns.has(column)) &&
+                phase4TaskColumns.every((column) => columns.has(column));
+            if (phase4ShapePresent)
+                issues = issues.filter((issue) => issue !== "tasks:column_shape_mismatch");
+        }
+        if (tableExists(database, "task_documents")) {
+            const columns = tableColumns(database, "task_documents");
+            const evidenceShapePresent = columns.size ===
+                legacyTaskDocumentColumns.length + evidenceTaskDocumentColumns.length &&
+                legacyTaskDocumentColumns.every((column) => columns.has(column)) &&
+                evidenceTaskDocumentColumns.every((column) => columns.has(column));
+            if (evidenceShapePresent)
+                issues = issues.filter((issue) => issue !== "task_documents:column_shape_mismatch");
+        }
+        return issues;
+    },
+};
+const phase4Migration = {
+    version: 4,
+    name: "product_campaign_owner_facts",
+    identity: "product_campaign_owner_facts.20260914",
+    sql: `
+CREATE TABLE product_campaigns (
+  campaign_ref TEXT PRIMARY KEY,
+  discussion_ref TEXT NOT NULL,
+  goal_revision INTEGER NOT NULL CHECK (goal_revision >= 1),
+  goal_summary TEXT NOT NULL,
+  scope_json TEXT NOT NULL,
+  constraints_json TEXT NOT NULL,
+  status TEXT NOT NULL CHECK (status IN ('OPEN','CLOSED')),
+  version INTEGER NOT NULL DEFAULT 1 CHECK (version >= 1),
+  created_by_ref TEXT NOT NULL,
+  created_at TEXT NOT NULL,
+  closed_at TEXT,
+  closure_summary TEXT
+);
+CREATE TABLE product_intents (
+  intent_ref TEXT PRIMARY KEY,
+  campaign_ref TEXT,
+  discussion_ref TEXT NOT NULL,
+  goal_revision INTEGER NOT NULL CHECK (goal_revision >= 1),
+  intent_revision INTEGER NOT NULL CHECK (intent_revision >= 1),
+  predecessor_task_id TEXT,
+  title TEXT NOT NULL,
+  objective TEXT NOT NULL,
+  scope_json TEXT NOT NULL,
+  constraints_json TEXT NOT NULL,
+  plan_json TEXT NOT NULL,
+  materialized_task_id TEXT,
+  version INTEGER NOT NULL DEFAULT 1 CHECK (version >= 1),
+  created_by_ref TEXT NOT NULL,
+  created_at TEXT NOT NULL,
+  materialized_at TEXT,
+  FOREIGN KEY (campaign_ref) REFERENCES product_campaigns(campaign_ref),
+  FOREIGN KEY (predecessor_task_id) REFERENCES tasks(task_id),
+  FOREIGN KEY (materialized_task_id) REFERENCES tasks(task_id)
+);
+CREATE TABLE product_documents (
+  document_ref TEXT PRIMARY KEY,
+  campaign_ref TEXT NOT NULL,
+  intent_ref TEXT,
+  document_type TEXT NOT NULL,
+  file_path TEXT NOT NULL,
+  content_hash TEXT NOT NULL,
+  revision INTEGER NOT NULL CHECK (revision >= 1),
+  updated_by_ref TEXT NOT NULL,
+  updated_at TEXT NOT NULL,
+  FOREIGN KEY (campaign_ref) REFERENCES product_campaigns(campaign_ref) ON DELETE CASCADE,
+  FOREIGN KEY (intent_ref) REFERENCES product_intents(intent_ref) ON DELETE CASCADE
+);
+CREATE TABLE campaign_authorizations (
+  authorization_ref TEXT PRIMARY KEY,
+  campaign_ref TEXT NOT NULL,
+  discussion_ref TEXT NOT NULL,
+  goal_revision INTEGER NOT NULL CHECK (goal_revision >= 1),
+  goal_summary TEXT NOT NULL,
+  scope_json TEXT NOT NULL,
+  constraints_json TEXT NOT NULL,
+  version INTEGER NOT NULL DEFAULT 1 CHECK (version >= 1),
+  created_by_ref TEXT NOT NULL,
+  created_at TEXT NOT NULL,
+  revoked_at TEXT,
+  revoked_by_ref TEXT,
+  revoke_reason TEXT,
+  FOREIGN KEY (campaign_ref) REFERENCES product_campaigns(campaign_ref) ON DELETE CASCADE
+);
+ALTER TABLE tasks ADD COLUMN source_product_intent_ref TEXT REFERENCES product_intents(intent_ref);
+ALTER TABLE tasks ADD COLUMN campaign_ref TEXT REFERENCES product_campaigns(campaign_ref);
+CREATE UNIQUE INDEX idx_product_intents_materialized_task ON product_intents(materialized_task_id) WHERE materialized_task_id IS NOT NULL;
+CREATE INDEX idx_product_intents_campaign ON product_intents(campaign_ref, created_at);
+CREATE INDEX idx_product_documents_campaign ON product_documents(campaign_ref, intent_ref);
+CREATE INDEX idx_campaign_authorizations_campaign ON campaign_authorizations(campaign_ref, revoked_at);
+CREATE INDEX idx_tasks_campaign ON tasks(campaign_ref, task_id);
+`,
+    verify: (database) => {
+        const issues = [];
+        for (const table of phase4Tables)
+            if (!tableExists(database, table))
+                issues.push(`${table}:missing`);
+        if (!tableExists(database, "tasks"))
+            issues.push("tasks:missing");
+        else {
+            const columns = tableColumns(database, "tasks");
+            for (const column of [...legacyTaskColumns, ...phase4TaskColumns])
+                if (!columns.has(column))
+                    issues.push(`tasks.${column}:missing`);
+        }
+        const foreignKeyViolations = database
+            .prepare("PRAGMA foreign_key_check")
+            .all();
+        if (foreignKeyViolations.length > 0)
+            issues.push(`foreign_key_check:${foreignKeyViolations.length}`);
+        return issues;
+    },
+};
+function productLinkMismatchCount(database) {
+    const row = database
+        .prepare(`SELECT COUNT(*) AS count
+			 FROM tasks AS task
+			 LEFT JOIN product_intents AS intent
+			   ON intent.intent_ref = task.source_product_intent_ref
+			 WHERE (task.campaign_ref IS NOT NULL AND task.source_product_intent_ref IS NULL)
+			    OR (
+			      task.source_product_intent_ref IS NOT NULL
+			      AND (
+			        intent.intent_ref IS NULL
+			        OR intent.materialized_task_id IS NOT task.task_id
+			        OR intent.campaign_ref IS NOT task.campaign_ref
+			      )
+			    )
+			    OR EXISTS (
+			      SELECT 1
+			      FROM product_intents AS materialized
+			      WHERE materialized.materialized_task_id = task.task_id
+			        AND (
+			          task.source_product_intent_ref IS NOT materialized.intent_ref
+			          OR task.campaign_ref IS NOT materialized.campaign_ref
+			        )
+			    )`)
+        .get();
+    return Number(row.count);
+}
+function triggerExists(database, name) {
+    return Boolean(database
+        .prepare("SELECT 1 AS present FROM sqlite_master WHERE type='trigger' AND name=?")
+        .get(name));
+}
+const gapReviewMigration = {
+    version: 5,
+    name: "product_gap_review_owner_facts",
+    identity: "product_gap_review_owner_facts.20260914",
+    sql: `
+CREATE TABLE product_gap_reviews (
+  review_ref TEXT PRIMARY KEY,
+  campaign_ref TEXT NOT NULL,
+  intent_ref TEXT NOT NULL UNIQUE,
+  task_id TEXT NOT NULL UNIQUE,
+  discussion_ref TEXT NOT NULL,
+  gap_identity TEXT NOT NULL,
+  progress_evidence_refs_json TEXT NOT NULL,
+  terminal_task_version INTEGER NOT NULL CHECK (terminal_task_version >= 1),
+  created_by_ref TEXT NOT NULL,
+  created_at TEXT NOT NULL,
+  FOREIGN KEY (campaign_ref) REFERENCES product_campaigns(campaign_ref) ON DELETE CASCADE,
+  FOREIGN KEY (intent_ref) REFERENCES product_intents(intent_ref) ON DELETE CASCADE,
+  FOREIGN KEY (task_id) REFERENCES tasks(task_id) ON DELETE CASCADE
+);
+CREATE INDEX idx_product_gap_reviews_campaign
+  ON product_gap_reviews(campaign_ref, gap_identity, created_at, review_ref);
+`,
+    verify: (database) => {
+        const issues = [];
+        if (!tableExists(database, "product_gap_reviews"))
+            issues.push("product_gap_reviews:missing");
+        const foreignKeyViolations = database
+            .prepare("PRAGMA foreign_key_check")
+            .all();
+        if (foreignKeyViolations.length > 0)
+            issues.push(`foreign_key_check:${foreignKeyViolations.length}`);
+        return issues;
+    },
+};
+const taskProductLinkIntegrityMigration = {
+    version: 6,
+    name: "task_product_link_integrity",
+    identity: "task_product_link_integrity.20260928",
+    sql: `
+CREATE TRIGGER trg_tasks_product_link_consistency
+BEFORE UPDATE OF source_product_intent_ref, campaign_ref ON tasks
+BEGIN
+  SELECT CASE
+    WHEN NEW.campaign_ref IS NOT NULL AND NEW.source_product_intent_ref IS NULL
+    THEN RAISE(ABORT, 'TASK_PRODUCT_LINK_MISMATCH')
+  END;
+  SELECT CASE
+    WHEN NEW.source_product_intent_ref IS NOT NULL
+     AND NOT EXISTS (
+       SELECT 1
+       FROM product_intents AS intent
+       WHERE intent.intent_ref = NEW.source_product_intent_ref
+         AND intent.materialized_task_id IS NEW.task_id
+         AND intent.campaign_ref IS NEW.campaign_ref
+     )
+    THEN RAISE(ABORT, 'TASK_PRODUCT_LINK_MISMATCH')
+  END;
+END;
+CREATE TRIGGER trg_product_intent_task_link_consistency
+BEFORE UPDATE OF campaign_ref, materialized_task_id ON product_intents
+WHEN EXISTS (
+  SELECT 1 FROM tasks AS task
+  WHERE task.source_product_intent_ref = OLD.intent_ref
+)
+BEGIN
+  SELECT CASE
+    WHEN NEW.campaign_ref IS NOT OLD.campaign_ref
+      OR NEW.materialized_task_id IS NOT OLD.materialized_task_id
+    THEN RAISE(ABORT, 'TASK_PRODUCT_LINK_MISMATCH')
+  END;
+END;
+`,
+    apply: (database) => {
+        const mismatchCount = productLinkMismatchCount(database);
+        if (mismatchCount > 0)
+            throw new Error(`TASK_PRODUCT_LINK_MISMATCH:${mismatchCount}`);
+    },
+    verify: (database) => {
+        const issues = [];
+        for (const trigger of [
+            "trg_tasks_product_link_consistency",
+            "trg_product_intent_task_link_consistency",
+        ])
+            if (!triggerExists(database, trigger))
+                issues.push(`${trigger}:missing`);
+        const mismatchCount = productLinkMismatchCount(database);
+        if (mismatchCount > 0)
+            issues.push(`task_product_link_mismatch:${mismatchCount}`);
+        return issues;
+    },
+};
+const taskDocumentEvidenceIntegrityMigration = {
+    version: 7,
+    name: "task_document_evidence_integrity",
+    identity: "task_document_evidence_integrity.20260928",
+    sql: [
+        "ALTER TABLE task_documents ADD COLUMN source_node_run_no INTEGER CHECK (source_node_run_no IS NULL OR source_node_run_no >= 1);",
+        "ALTER TABLE task_documents ADD COLUMN revision INTEGER NOT NULL DEFAULT 1 CHECK (revision >= 1);",
+        "ALTER TABLE task_documents ADD COLUMN source_document_ref TEXT;",
+        "ALTER TABLE task_documents ADD COLUMN source_document_revision INTEGER CHECK (source_document_revision IS NULL OR source_document_revision >= 1);",
+        "CREATE TRIGGER trg_task_documents_insert_evidence BEFORE INSERT ON task_documents BEGIN "
+            + "SELECT CASE WHEN NEW.revision <> 1 THEN RAISE(ABORT, 'TASK_DOCUMENT_REVISION_CONFLICT') END; "
+            + "SELECT CASE WHEN (NEW.source_node_id IS NULL) <> (NEW.source_node_run_no IS NULL) OR (NEW.source_document_ref IS NULL) <> (NEW.source_document_revision IS NULL) OR (NEW.source_node_id IS NOT NULL AND NEW.source_document_ref IS NOT NULL) THEN RAISE(ABORT, 'TASK_DOCUMENT_EVIDENCE_INVALID') END; "
+            + "SELECT CASE WHEN NEW.source_node_id IS NULL AND NOT EXISTS (SELECT 1 FROM tasks AS task WHERE task.task_id=NEW.task_id AND task.status='PENDING') THEN RAISE(ABORT, 'TASK_DOCUMENT_EVIDENCE_INVALID') END; "
+            + "SELECT CASE WHEN NEW.source_node_id IS NOT NULL AND NOT EXISTS (SELECT 1 FROM nodes AS node JOIN tasks AS task ON task.task_id=node.task_id WHERE node.node_id=NEW.source_node_id AND node.task_id=NEW.task_id AND node.run_no=NEW.source_node_run_no AND node.status='IN_PROGRESS' AND node.worker_ref IS NOT NULL AND task.status='ACTIVE' AND task.current_node_id=node.node_id AND NEW.updated_by_ref='worker:' || node.worker_ref AND EXISTS (SELECT 1 FROM json_each(node.output_documents_json) WHERE value=NEW.document_type)) THEN RAISE(ABORT, 'TASK_DOCUMENT_EVIDENCE_INVALID') END; "
+            + "SELECT CASE WHEN NEW.source_document_ref IS NOT NULL AND NOT EXISTS (SELECT 1 FROM product_documents AS source JOIN product_intents AS intent ON intent.intent_ref=source.intent_ref WHERE source.document_ref=NEW.source_document_ref AND source.revision=NEW.source_document_revision AND source.file_path=NEW.file_path AND source.content_hash=NEW.content_hash AND source.updated_by_ref=NEW.updated_by_ref AND intent.materialized_task_id=NEW.task_id) THEN RAISE(ABORT, 'TASK_DOCUMENT_SOURCE_MISMATCH') END; END;",
+        "CREATE TRIGGER trg_task_documents_update_evidence BEFORE UPDATE ON task_documents BEGIN "
+            + "SELECT CASE WHEN NEW.task_id IS NOT OLD.task_id OR NEW.document_type IS NOT OLD.document_type THEN RAISE(ABORT, 'TASK_DOCUMENT_IDENTITY_CONFLICT') END; "
+            + "SELECT CASE WHEN NEW.revision <> OLD.revision + 1 THEN RAISE(ABORT, 'TASK_DOCUMENT_REVISION_CONFLICT') END; "
+            + "SELECT CASE WHEN (NEW.source_node_id IS NULL) <> (NEW.source_node_run_no IS NULL) OR (NEW.source_document_ref IS NULL) <> (NEW.source_document_revision IS NULL) OR (NEW.source_node_id IS NOT NULL AND NEW.source_document_ref IS NOT NULL) THEN RAISE(ABORT, 'TASK_DOCUMENT_EVIDENCE_INVALID') END; "
+            + "SELECT CASE WHEN NEW.source_node_id IS NULL AND NOT EXISTS (SELECT 1 FROM tasks AS task WHERE task.task_id=NEW.task_id AND task.status='PENDING') THEN RAISE(ABORT, 'TASK_DOCUMENT_EVIDENCE_INVALID') END; "
+            + "SELECT CASE WHEN NEW.source_node_id IS NOT NULL AND NOT EXISTS (SELECT 1 FROM nodes AS node JOIN tasks AS task ON task.task_id=node.task_id WHERE node.node_id=NEW.source_node_id AND node.task_id=NEW.task_id AND node.run_no=NEW.source_node_run_no AND node.status='IN_PROGRESS' AND node.worker_ref IS NOT NULL AND task.status='ACTIVE' AND task.current_node_id=node.node_id AND NEW.updated_by_ref='worker:' || node.worker_ref AND EXISTS (SELECT 1 FROM json_each(node.output_documents_json) WHERE value=NEW.document_type)) THEN RAISE(ABORT, 'TASK_DOCUMENT_EVIDENCE_INVALID') END; "
+            + "SELECT CASE WHEN NEW.source_document_ref IS NOT NULL AND NOT EXISTS (SELECT 1 FROM product_documents AS source JOIN product_intents AS intent ON intent.intent_ref=source.intent_ref WHERE source.document_ref=NEW.source_document_ref AND source.revision=NEW.source_document_revision AND source.file_path=NEW.file_path AND source.content_hash=NEW.content_hash AND source.updated_by_ref=NEW.updated_by_ref AND intent.materialized_task_id=NEW.task_id) THEN RAISE(ABORT, 'TASK_DOCUMENT_SOURCE_MISMATCH') END; END;",
+        "CREATE TRIGGER trg_product_document_transferred_immutable BEFORE UPDATE OF revision,file_path,content_hash,updated_by_ref ON product_documents WHEN EXISTS (SELECT 1 FROM task_documents WHERE source_document_ref=OLD.document_ref) BEGIN SELECT RAISE(ABORT, 'PRODUCT_DOCUMENT_ALREADY_TRANSFERRED'); END;",
+        "CREATE TRIGGER trg_task_documents_delete_evidence BEFORE DELETE ON task_documents BEGIN SELECT RAISE(ABORT, 'TASK_DOCUMENT_DELETE_FORBIDDEN'); END;",
+        "CREATE TRIGGER trg_product_document_transferred_delete_forbidden BEFORE DELETE ON product_documents WHEN EXISTS (SELECT 1 FROM task_documents WHERE source_document_ref=OLD.document_ref) BEGIN SELECT RAISE(ABORT, 'PRODUCT_DOCUMENT_DELETE_FORBIDDEN'); END;",
+    ].join("\n"),
+    verify: (database) => {
+        const issues = [];
+        if (!tableExists(database, "task_documents"))
+            return ["task_documents:missing"];
+        const columns = tableColumns(database, "task_documents");
+        for (const column of evidenceTaskDocumentColumns)
+            if (!columns.has(column))
+                issues.push("task_documents." + column + ":missing");
+        for (const trigger of [
+            "trg_task_documents_insert_evidence",
+            "trg_task_documents_update_evidence",
+            "trg_product_document_transferred_immutable",
+            "trg_task_documents_delete_evidence",
+            "trg_product_document_transferred_delete_forbidden",
+        ])
+            if (!triggerExists(database, trigger))
+                issues.push(trigger + ":missing");
+        const invalidRevision = database
+            .prepare("SELECT COUNT(*) AS count FROM task_documents WHERE revision < 1")
+            .get();
+        if (Number(invalidRevision.count) !== 0)
+            issues.push("task_documents.revision:invalid");
+        return issues;
+    },
+};
+export const taskMigrations = [
+    ...legacyTaskMigrations.map((migration) => migration.version === 3 ? v3Compatible : migration),
+    phase4Migration,
+    gapReviewMigration,
+    taskProductLinkIntegrityMigration,
+    taskDocumentEvidenceIntegrityMigration,
+];

package/dist/src/phase4-repositories.d.ts

@@ -0,0 +1,3 @@
+import type { DatabaseSync } from "node:sqlite";
+import type { Phase4TaskRepositories } from "@tomflow/proflow-task-orchestration";
+export declare function createPhase4Repositories(db: DatabaseSync): Phase4TaskRepositories;

package/dist/src/phase4-repositories.js

@@ -0,0 +1,195 @@
+const text = (value) => value === null || value === undefined ? null : String(value);
+const number = (value) => Number(value);
+const jsonValue = (value) => JSON.parse(String(value));
+const json = (value) => JSON.stringify(value);
+function campaign(row) {
+    return {
+        campaignRef: String(row.campaign_ref),
+        discussionRef: String(row.discussion_ref),
+        goalRevision: number(row.goal_revision),
+        goalSummary: String(row.goal_summary),
+        scope: jsonValue(row.scope_json),
+        constraints: jsonValue(row.constraints_json),
+        status: row.status,
+        version: number(row.version),
+        createdByRef: String(row.created_by_ref),
+        createdAt: String(row.created_at),
+        closedAt: text(row.closed_at),
+        closureSummary: text(row.closure_summary),
+    };
+}
+function intent(row) {
+    return {
+        intentRef: String(row.intent_ref),
+        campaignRef: text(row.campaign_ref),
+        discussionRef: String(row.discussion_ref),
+        goalRevision: number(row.goal_revision),
+        intentRevision: number(row.intent_revision),
+        predecessorTaskId: text(row.predecessor_task_id),
+        title: String(row.title),
+        objective: String(row.objective),
+        scope: jsonValue(row.scope_json),
+        constraints: jsonValue(row.constraints_json),
+        plan: jsonValue(row.plan_json),
+        materializedTaskId: text(row.materialized_task_id),
+        version: number(row.version),
+        createdByRef: String(row.created_by_ref),
+        createdAt: String(row.created_at),
+        materializedAt: text(row.materialized_at),
+    };
+}
+function productDocument(row) {
+    return {
+        documentRef: String(row.document_ref),
+        campaignRef: String(row.campaign_ref),
+        intentRef: text(row.intent_ref),
+        documentType: String(row.document_type),
+        filePath: String(row.file_path),
+        contentHash: String(row.content_hash),
+        revision: number(row.revision),
+        updatedByRef: String(row.updated_by_ref),
+        updatedAt: String(row.updated_at),
+    };
+}
+function authorization(row) {
+    return {
+        authorizationRef: String(row.authorization_ref),
+        campaignRef: String(row.campaign_ref),
+        discussionRef: String(row.discussion_ref),
+        goalRevision: number(row.goal_revision),
+        goalSummary: String(row.goal_summary),
+        scope: jsonValue(row.scope_json),
+        constraints: jsonValue(row.constraints_json),
+        version: number(row.version),
+        createdByRef: String(row.created_by_ref),
+        createdAt: String(row.created_at),
+        revokedAt: text(row.revoked_at),
+        revokedByRef: text(row.revoked_by_ref),
+        revokeReason: text(row.revoke_reason),
+    };
+}
+function gapReview(row) {
+    return {
+        reviewRef: String(row.review_ref),
+        campaignRef: String(row.campaign_ref),
+        intentRef: String(row.intent_ref),
+        taskId: String(row.task_id),
+        discussionRef: String(row.discussion_ref),
+        gapIdentity: String(row.gap_identity),
+        progressEvidenceRefs: jsonValue(row.progress_evidence_refs_json),
+        terminalTaskVersion: number(row.terminal_task_version),
+        createdByRef: String(row.created_by_ref),
+        createdAt: String(row.created_at),
+    };
+}
+function taskLink(row) {
+    return {
+        taskId: String(row.task_id),
+        sourceProductIntentRef: text(row.source_product_intent_ref),
+        campaignRef: text(row.campaign_ref),
+    };
+}
+export function createPhase4Repositories(db) {
+    const get = (sql, ...params) => db.prepare(sql).get(...params);
+    const all = (sql, ...params) => db.prepare(sql).all(...params);
+    return {
+        productCampaigns: {
+            get: (campaignRef) => {
+                const row = get("SELECT * FROM product_campaigns WHERE campaign_ref=?", campaignRef);
+                return row ? campaign(row) : undefined;
+            },
+            insert: (value) => {
+                db.prepare("INSERT INTO product_campaigns(campaign_ref,discussion_ref,goal_revision,goal_summary,scope_json,constraints_json,status,version,created_by_ref,created_at,closed_at,closure_summary) VALUES (?,?,?,?,?,?,?,?,?,?,?,?)").run(value.campaignRef, value.discussionRef, value.goalRevision, value.goalSummary, json(value.scope), json(value.constraints), value.status, value.version, value.createdByRef, value.createdAt, value.closedAt, value.closureSummary);
+            },
+            update: (value) => {
+                const result = db.prepare("UPDATE product_campaigns SET discussion_ref=?,goal_revision=?,goal_summary=?,scope_json=?,constraints_json=?,status=?,version=?,closed_at=?,closure_summary=? WHERE campaign_ref=? AND version=?").run(value.discussionRef, value.goalRevision, value.goalSummary, json(value.scope), json(value.constraints), value.status, value.version, value.closedAt, value.closureSummary, value.campaignRef, value.version - 1);
+                if (Number(result.changes) !== 1)
+                    throw new Error("PRODUCT_CAMPAIGN_VERSION_CONFLICT");
+            },
+        },
+        productIntents: {
+            get: (intentRef) => {
+                const row = get("SELECT * FROM product_intents WHERE intent_ref=?", intentRef);
+                return row ? intent(row) : undefined;
+            },
+            insert: (value) => {
+                db.prepare("INSERT INTO product_intents(intent_ref,campaign_ref,discussion_ref,goal_revision,intent_revision,predecessor_task_id,title,objective,scope_json,constraints_json,plan_json,materialized_task_id,version,created_by_ref,created_at,materialized_at) VALUES (?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?)").run(value.intentRef, value.campaignRef, value.discussionRef, value.goalRevision, value.intentRevision, value.predecessorTaskId, value.title, value.objective, json(value.scope), json(value.constraints), json(value.plan), value.materializedTaskId, value.version, value.createdByRef, value.createdAt, value.materializedAt);
+            },
+            update: (value) => {
+                const result = db.prepare("UPDATE product_intents SET campaign_ref=?,discussion_ref=?,goal_revision=?,intent_revision=?,predecessor_task_id=?,title=?,objective=?,scope_json=?,constraints_json=?,plan_json=?,materialized_task_id=?,version=?,materialized_at=? WHERE intent_ref=? AND version=?").run(value.campaignRef, value.discussionRef, value.goalRevision, value.intentRevision, value.predecessorTaskId, value.title, value.objective, json(value.scope), json(value.constraints), json(value.plan), value.materializedTaskId, value.version, value.materializedAt, value.intentRef, value.version - 1);
+                if (Number(result.changes) !== 1)
+                    throw new Error("PRODUCT_INTENT_REVISION_CONFLICT");
+            },
+            listByCampaign: (campaignRef) => all("SELECT * FROM product_intents WHERE campaign_ref=? ORDER BY created_at,intent_ref", campaignRef).map(intent),
+        },
+        productDocuments: {
+            get: (documentRef) => {
+                const row = get("SELECT * FROM product_documents WHERE document_ref=?", documentRef);
+                return row ? productDocument(row) : undefined;
+            },
+            insert: (value) => {
+                db.prepare("INSERT INTO product_documents(document_ref,campaign_ref,intent_ref,document_type,file_path,content_hash,revision,updated_by_ref,updated_at) VALUES (?,?,?,?,?,?,?,?,?)").run(value.documentRef, value.campaignRef, value.intentRef, value.documentType, value.filePath, value.contentHash, value.revision, value.updatedByRef, value.updatedAt);
+            },
+            update: (value) => {
+                const result = db.prepare("UPDATE product_documents SET campaign_ref=?,intent_ref=?,document_type=?,file_path=?,content_hash=?,revision=?,updated_by_ref=?,updated_at=? WHERE document_ref=? AND revision=?").run(value.campaignRef, value.intentRef, value.documentType, value.filePath, value.contentHash, value.revision, value.updatedByRef, value.updatedAt, value.documentRef, value.revision - 1);
+                if (Number(result.changes) !== 1)
+                    throw new Error("PRODUCT_DOCUMENT_REVISION_CONFLICT");
+            },
+            bindIntent: (input) => {
+                const result = db.prepare("UPDATE product_documents SET intent_ref=? WHERE document_ref=? AND intent_ref IS NULL AND revision=? AND campaign_ref=(SELECT campaign_ref FROM product_intents WHERE intent_ref=?)").run(input.intentRef, input.documentRef, input.expectedRevision, input.intentRef);
+                if (Number(result.changes) !== 1)
+                    throw new Error("PRODUCT_DOCUMENT_BIND_CONFLICT");
+            },
+            listByIntent: (intentRef) => all("SELECT * FROM product_documents WHERE intent_ref=? ORDER BY document_type,document_ref", intentRef).map(productDocument),
+        },
+        campaignAuthorizations: {
+            get: (authorizationRef) => {
+                const row = get("SELECT * FROM campaign_authorizations WHERE authorization_ref=?", authorizationRef);
+                return row ? authorization(row) : undefined;
+            },
+            insert: (value) => {
+                db.prepare("INSERT INTO campaign_authorizations(authorization_ref,campaign_ref,discussion_ref,goal_revision,goal_summary,scope_json,constraints_json,version,created_by_ref,created_at,revoked_at,revoked_by_ref,revoke_reason) VALUES (?,?,?,?,?,?,?,?,?,?,?,?,?)").run(value.authorizationRef, value.campaignRef, value.discussionRef, value.goalRevision, value.goalSummary, json(value.scope), json(value.constraints), value.version, value.createdByRef, value.createdAt, value.revokedAt, value.revokedByRef, value.revokeReason);
+            },
+            update: (value) => {
+                const result = db.prepare("UPDATE campaign_authorizations SET campaign_ref=?,discussion_ref=?,goal_revision=?,goal_summary=?,scope_json=?,constraints_json=?,version=?,revoked_at=?,revoked_by_ref=?,revoke_reason=? WHERE authorization_ref=? AND version=?").run(value.campaignRef, value.discussionRef, value.goalRevision, value.goalSummary, json(value.scope), json(value.constraints), value.version, value.revokedAt, value.revokedByRef, value.revokeReason, value.authorizationRef, value.version - 1);
+                if (Number(result.changes) !== 1)
+                    throw new Error("CAMPAIGN_AUTHORIZATION_VERSION_CONFLICT");
+            },
+            listByCampaign: (campaignRef) => all("SELECT * FROM campaign_authorizations WHERE campaign_ref=? ORDER BY created_at,authorization_ref", campaignRef).map(authorization),
+        },
+        productGapReviews: {
+            getByIntent: (intentRef) => {
+                const row = get("SELECT * FROM product_gap_reviews WHERE intent_ref=?", intentRef);
+                return row ? gapReview(row) : undefined;
+            },
+            getByTask: (taskId) => {
+                const row = get("SELECT * FROM product_gap_reviews WHERE task_id=?", taskId);
+                return row ? gapReview(row) : undefined;
+            },
+            insert: (value) => {
+                db.prepare("INSERT INTO product_gap_reviews(review_ref,campaign_ref,intent_ref,task_id,discussion_ref,gap_identity,progress_evidence_refs_json,terminal_task_version,created_by_ref,created_at) VALUES (?,?,?,?,?,?,?,?,?,?)").run(value.reviewRef, value.campaignRef, value.intentRef, value.taskId, value.discussionRef, value.gapIdentity, json(value.progressEvidenceRefs), value.terminalTaskVersion, value.createdByRef, value.createdAt);
+            },
+            listByCampaign: (campaignRef) => all("SELECT * FROM product_gap_reviews WHERE campaign_ref=? ORDER BY created_at,review_ref", campaignRef).map(gapReview),
+        },
+        taskProductLinks: {
+            get: (taskId) => {
+                const row = get("SELECT task_id,source_product_intent_ref,campaign_ref FROM tasks WHERE task_id=?", taskId);
+                return row ? taskLink(row) : undefined;
+            },
+            set: (value) => {
+                const result = db.prepare(`UPDATE tasks
+					 SET source_product_intent_ref=?, campaign_ref=?
+					 WHERE task_id=?
+					   AND (
+					     (source_product_intent_ref IS NULL AND campaign_ref IS NULL)
+					     OR (source_product_intent_ref IS ? AND campaign_ref IS ?)
+					   )`).run(value.sourceProductIntentRef, value.campaignRef, value.taskId, value.sourceProductIntentRef, value.campaignRef);
+                if (Number(result.changes) === 1)
+                    return;
+                if (!get("SELECT 1 AS present FROM tasks WHERE task_id=?", value.taskId))
+                    throw new Error("TASK_NOT_FOUND");
+                throw new Error("TASK_PRODUCT_LINK_CONFLICT");
+            },
+        },
+    };
+}

package/package.json

@@ -1,13 +1,13 @@
 {
   "name": "@tomflow/proflow-task-store-sqlite",
-  "version": "0.1.12",
+  "version": "0.1.14",
   "type": "module",
   "publishConfig": {
     "access": "public"
   },
   "exports": {
     ".": "./dist/src/index.js",
-    "./migrations": "./dist/src/migrations.js",
+    "./migrations": "./dist/src/phase4-migrations.js",
     "./deployment/adapter": "./dist/deployment/adapter.js",
     "./deployment/descriptor": "./dist/deployment/descriptor.js"
   },
@@ -21,7 +21,7 @@
   ],
   "dependencies": {
     "@tomflow/proflow-module-contract": "^0.1.13",
-    "@tomflow/proflow-task-orchestration": "^0.1.11"
+    "@tomflow/proflow-task-orchestration": "^0.1.14"
   },
   "devDependencies": {
     "@tomflow/proflow-task-migration-runner": "^0.1.11"

package/proflow.module.json

@@ -3,7 +3,7 @@
 	"contractVersion": "1.0.0",
 	"moduleRef": "task-store-sqlite",
 	"packageName": "@tomflow/proflow-task-store-sqlite",
-	"moduleVersion": "0.1.12",
+	"moduleVersion": "0.1.14",
 	"kind": "library",
 	"templateVersion": "1.0.0",
 	"platformCompatibility": ">=1.0.0 <2.0.0",