@taskforcehq/taskforce 0.3.328 → 0.3.330

package/dist/sync/v3/workspaceSyncV3CombinedRepairMaterialization.d.ts

@@ -3,6 +3,8 @@ import { WORKSPACE_SYNC_V3_COMBINED_COVERAGE_PROFILE } from './workspaceSyncV3Co
 import { WORKSPACE_SYNC_V3_NESTED_COVERAGE_PROFILE } from './workspaceSyncV3NestedCoverage.js';
 import { WORKSPACE_SYNC_V3_WORKFLOW_COVERAGE_PROFILE } from './workspaceSyncV3WorkflowCoverage.js';
 import { WORKSPACE_SYNC_V3_PLANNING_ORDER_COVERAGE_PROFILE } from './workspaceSyncV3PlanningOrderCoverage.js';
+import { WORKSPACE_SYNC_V3_TASK_COVER_COVERAGE_PROFILE } from './workspaceSyncV3TaskCoverCoverage.js';
+import { WORKSPACE_SYNC_V3_WORKFLOW_TASK_COVER_COVERAGE_PROFILE } from './workspaceSyncV3WorkflowTaskCoverCoverage.js';
 import { type WorkspaceSyncV3FeedEntry } from './workspaceSyncV3Feed.js';
 import { type WorkspaceSyncV3FeedCursorKeyring } from './workspaceSyncV3FeedCursorKeys.js';
 export interface WorkspaceSyncV3CombinedRepairCursor {
@@ -21,7 +23,7 @@ export interface WorkspaceSyncV3CombinedRepairPage {
     success: true;
     protocolVersion: 3;
     workspaceId: string;
-    coverage: typeof WORKSPACE_SYNC_V3_COMBINED_COVERAGE_PROFILE | typeof WORKSPACE_SYNC_V3_NESTED_COVERAGE_PROFILE | typeof WORKSPACE_SYNC_V3_WORKFLOW_COVERAGE_PROFILE | typeof WORKSPACE_SYNC_V3_PLANNING_ORDER_COVERAGE_PROFILE;
+    coverage: typeof WORKSPACE_SYNC_V3_COMBINED_COVERAGE_PROFILE | typeof WORKSPACE_SYNC_V3_NESTED_COVERAGE_PROFILE | typeof WORKSPACE_SYNC_V3_WORKFLOW_COVERAGE_PROFILE | typeof WORKSPACE_SYNC_V3_PLANNING_ORDER_COVERAGE_PROFILE | typeof WORKSPACE_SYNC_V3_TASK_COVER_COVERAGE_PROFILE | typeof WORKSPACE_SYNC_V3_WORKFLOW_TASK_COVER_COVERAGE_PROFILE;
     snapshotId: string;
     snapshotSequence: string;
     expiresAt: string;
@@ -47,6 +49,9 @@ export declare function decodeWorkspaceSyncV3CombinedRepairCursor(raw: string |
 export declare function decodeWorkspaceSyncV3NestedRepairCursor(raw: string | null | undefined, keyring: WorkspaceSyncV3FeedCursorKeyring): WorkspaceSyncV3CombinedRepairCursor | null;
 export declare function decodeWorkspaceSyncV3WorkflowRepairCursor(raw: string | null | undefined, keyring: WorkspaceSyncV3FeedCursorKeyring): WorkspaceSyncV3CombinedRepairCursor | null;
 export declare function decodeWorkspaceSyncV3PlanningOrderRepairCursor(raw: string | null | undefined, keyring: WorkspaceSyncV3FeedCursorKeyring): WorkspaceSyncV3CombinedRepairCursor | null;
+export declare function decodeWorkspaceSyncV3TaskCoverRepairCursor(raw: string | null | undefined, keyring: WorkspaceSyncV3FeedCursorKeyring): WorkspaceSyncV3CombinedRepairCursor | null;
+export declare function decodeWorkspaceSyncV3WorkflowTaskCoverRepairCursor(raw: string | null | undefined, keyring: WorkspaceSyncV3FeedCursorKeyring): WorkspaceSyncV3CombinedRepairCursor | null;
+export declare const WORKSPACE_SYNC_REPAIR_SNAPSHOT_CLEANUP_BATCH_SIZE = 500;
 export declare function buildWorkspaceSyncV3CombinedRepairPage(input: {
     core: TaskforceCore;
     workspaceId: string;
@@ -58,9 +63,13 @@ export declare function buildWorkspaceSyncV3CombinedRepairPage(input: {
     now?: string;
     nestedCoverage?: boolean;
     workflowCoverage?: boolean;
+    workflowTaskCoverCoverage?: boolean;
     planningOrderCoverage?: boolean;
+    taskCoverCoverage?: boolean;
     coveredLegacyWritesFenced?: boolean;
 }): WorkspaceSyncV3CombinedRepairPage;
-export declare function buildWorkspaceSyncV3NestedRepairPage(input: Omit<Parameters<typeof buildWorkspaceSyncV3CombinedRepairPage>[0], 'nestedCoverage' | 'workflowCoverage' | 'planningOrderCoverage'>): WorkspaceSyncV3CombinedRepairPage;
-export declare function buildWorkspaceSyncV3WorkflowRepairPage(input: Omit<Parameters<typeof buildWorkspaceSyncV3CombinedRepairPage>[0], 'nestedCoverage' | 'workflowCoverage' | 'planningOrderCoverage'>): WorkspaceSyncV3CombinedRepairPage;
-export declare function buildWorkspaceSyncV3PlanningOrderRepairPage(input: Omit<Parameters<typeof buildWorkspaceSyncV3CombinedRepairPage>[0], 'nestedCoverage' | 'workflowCoverage' | 'planningOrderCoverage'>): WorkspaceSyncV3CombinedRepairPage;
+export declare function buildWorkspaceSyncV3NestedRepairPage(input: Omit<Parameters<typeof buildWorkspaceSyncV3CombinedRepairPage>[0], 'nestedCoverage' | 'workflowCoverage' | 'workflowTaskCoverCoverage' | 'planningOrderCoverage' | 'taskCoverCoverage'>): WorkspaceSyncV3CombinedRepairPage;
+export declare function buildWorkspaceSyncV3WorkflowRepairPage(input: Omit<Parameters<typeof buildWorkspaceSyncV3CombinedRepairPage>[0], 'nestedCoverage' | 'workflowCoverage' | 'workflowTaskCoverCoverage' | 'planningOrderCoverage' | 'taskCoverCoverage'>): WorkspaceSyncV3CombinedRepairPage;
+export declare function buildWorkspaceSyncV3PlanningOrderRepairPage(input: Omit<Parameters<typeof buildWorkspaceSyncV3CombinedRepairPage>[0], 'nestedCoverage' | 'workflowCoverage' | 'workflowTaskCoverCoverage' | 'planningOrderCoverage' | 'taskCoverCoverage'>): WorkspaceSyncV3CombinedRepairPage;
+export declare function buildWorkspaceSyncV3TaskCoverRepairPage(input: Omit<Parameters<typeof buildWorkspaceSyncV3CombinedRepairPage>[0], 'nestedCoverage' | 'workflowCoverage' | 'workflowTaskCoverCoverage' | 'planningOrderCoverage' | 'taskCoverCoverage'>): WorkspaceSyncV3CombinedRepairPage;
+export declare function buildWorkspaceSyncV3WorkflowTaskCoverRepairPage(input: Omit<Parameters<typeof buildWorkspaceSyncV3CombinedRepairPage>[0], 'nestedCoverage' | 'workflowCoverage' | 'workflowTaskCoverCoverage' | 'planningOrderCoverage' | 'taskCoverCoverage'>): WorkspaceSyncV3CombinedRepairPage;

package/dist/sync/v3/workspaceSyncV3CombinedRepairMaterialization.js

@@ -1,11 +1,13 @@
 import { createHmac, randomUUID, timingSafeEqual } from 'crypto';
 import { canonicalWorkspaceSyncJson } from './canonicalWorkspaceSyncJson.js';
 import { decodeCanonicalWorkspaceSyncBase64Url } from './workspaceSyncV3CursorEncoding.js';
-import { prepareWorkspaceSyncV3CombinedRepairSnapshot, prepareWorkspaceSyncV3NestedRepairSnapshot, prepareWorkspaceSyncV3PlanningOrderRepairSnapshot, prepareWorkspaceSyncV3WorkflowRepairSnapshot, } from './workspaceSyncV3CombinedRepairBaseline.js';
+import { prepareWorkspaceSyncV3CombinedRepairSnapshot, prepareWorkspaceSyncV3NestedRepairSnapshot, prepareWorkspaceSyncV3PlanningOrderRepairSnapshot, prepareWorkspaceSyncV3TaskCoverRepairSnapshot, prepareWorkspaceSyncV3WorkflowRepairSnapshot, prepareWorkspaceSyncV3WorkflowTaskCoverRepairSnapshot, } from './workspaceSyncV3CombinedRepairBaseline.js';
 import { validateWorkspaceSyncV3CombinedFeedEntry, WORKSPACE_SYNC_V3_COMBINED_COVERAGE_PROFILE, } from './workspaceSyncV3CombinedCoverage.js';
 import { validateWorkspaceSyncV3NestedCoverageFeedEntry, WORKSPACE_SYNC_V3_NESTED_COVERAGE_PROFILE, } from './workspaceSyncV3NestedCoverage.js';
 import { validateWorkspaceSyncV3WorkflowCoverageFeedEntry, WORKSPACE_SYNC_V3_WORKFLOW_COVERAGE_PROFILE, } from './workspaceSyncV3WorkflowCoverage.js';
 import { validateWorkspaceSyncV3PlanningOrderCoverageFeedEntry, WORKSPACE_SYNC_V3_PLANNING_ORDER_COVERAGE_PROFILE, } from './workspaceSyncV3PlanningOrderCoverage.js';
+import { validateWorkspaceSyncV3TaskCoverCoverageFeedEntry, WORKSPACE_SYNC_V3_TASK_COVER_COVERAGE_PROFILE, } from './workspaceSyncV3TaskCoverCoverage.js';
+import { validateWorkspaceSyncV3WorkflowTaskCoverCoverageFeedEntry, WORKSPACE_SYNC_V3_WORKFLOW_TASK_COVER_COVERAGE_PROFILE, } from './workspaceSyncV3WorkflowTaskCoverCoverage.js';
 import { createWorkspaceSyncV3FeedResumeCursor, WorkspaceSyncV3FeedOperationTooLargeError, } from './workspaceSyncV3Feed.js';
 import { findWorkspaceSyncV3FeedCursorVerificationKey, } from './workspaceSyncV3FeedCursorKeys.js';
 import { WORKSPACE_SYNC_COMBINED_PROJECTION, WORKSPACE_SYNC_CONTRACT_VERSION, } from './syncDurabilityStore.js';
@@ -95,14 +97,24 @@ export function decodeWorkspaceSyncV3WorkflowRepairCursor(raw, keyring) {
 export function decodeWorkspaceSyncV3PlanningOrderRepairCursor(raw, keyring) {
     return decodeRepairCursor(raw, keyring, WORKSPACE_SYNC_V3_PLANNING_ORDER_COVERAGE_PROFILE);
 }
+export function decodeWorkspaceSyncV3TaskCoverRepairCursor(raw, keyring) {
+    return decodeRepairCursor(raw, keyring, WORKSPACE_SYNC_V3_TASK_COVER_COVERAGE_PROFILE);
+}
+export function decodeWorkspaceSyncV3WorkflowTaskCoverRepairCursor(raw, keyring) {
+    return decodeRepairCursor(raw, keyring, WORKSPACE_SYNC_V3_WORKFLOW_TASK_COVER_COVERAGE_PROFILE);
+}
 function repairProfile(coverage) {
-    return coverage === 'workflow'
-        ? WORKSPACE_SYNC_V3_WORKFLOW_COVERAGE_PROFILE
-        : coverage === 'planning-order'
-            ? WORKSPACE_SYNC_V3_PLANNING_ORDER_COVERAGE_PROFILE
-            : coverage === 'nested'
-                ? WORKSPACE_SYNC_V3_NESTED_COVERAGE_PROFILE
-                : WORKSPACE_SYNC_V3_COMBINED_COVERAGE_PROFILE;
+    return coverage === 'workflow-task-cover'
+        ? WORKSPACE_SYNC_V3_WORKFLOW_TASK_COVER_COVERAGE_PROFILE
+        : coverage === 'workflow'
+            ? WORKSPACE_SYNC_V3_WORKFLOW_COVERAGE_PROFILE
+            : coverage === 'task-cover'
+                ? WORKSPACE_SYNC_V3_TASK_COVER_COVERAGE_PROFILE
+                : coverage === 'planning-order'
+                    ? WORKSPACE_SYNC_V3_PLANNING_ORDER_COVERAGE_PROFILE
+                    : coverage === 'nested'
+                        ? WORKSPACE_SYNC_V3_NESTED_COVERAGE_PROFILE
+                        : WORKSPACE_SYNC_V3_COMBINED_COVERAGE_PROFILE;
 }
 function containsCurrentEntityEventInventory(input) {
     if (input.coverage === 'combined')
@@ -140,27 +152,70 @@ function containsCurrentEntityEventInventory(input) {
                 AND entry.domain = 'entity-event'
                 AND entry.entity_id = event.id
           )
+          AND NOT EXISTS (
+              SELECT 1
+              FROM workspace_sync_journal journal
+              WHERE journal.tenant_id = event.tenant_id
+                AND journal.workspace_id = event.workspace_id
+                AND journal.domain = 'entity-event'
+                AND journal.entity_id = event.id
+                -- Later sequenced events are delivered after the immutable
+                -- repair boundary; only unsequenced legacy adoption makes the
+                -- snapshot incomplete and requires rematerialization.
+                AND journal.sequence > ?
+          )
         LIMIT 1
-    `).get(input.tenantId, input.workspaceId, input.snapshotId);
+    `).get(input.tenantId, input.workspaceId, input.snapshotId, input.snapshotSequence);
     return !missing;
 }
-function cleanupExpired(core, tenantId, workspaceId, now, excludingSnapshotId) {
+export const WORKSPACE_SYNC_REPAIR_SNAPSHOT_CLEANUP_BATCH_SIZE = 500;
+function cleanupExpiredBestEffort(core, tenantId, workspaceId, now, excludingSnapshotId) {
     const db = core.getDatabaseAdapter();
     const exclusion = excludingSnapshotId ? ' AND snapshot_id <> ?' : '';
     const args = excludingSnapshotId
         ? [tenantId, workspaceId, now, excludingSnapshotId]
         : [tenantId, workspaceId, now];
-    db.prepare(`
-        DELETE FROM workspace_sync_repair_snapshot_entries
-        WHERE tenant_id = ? AND workspace_id = ? AND snapshot_id IN (
-            SELECT snapshot_id FROM workspace_sync_repair_snapshots
-            WHERE tenant_id = ? AND workspace_id = ? AND expires_at <= ?${exclusion}
-        )
-    `).run(tenantId, workspaceId, ...args);
-    db.prepare(`
-        DELETE FROM workspace_sync_repair_snapshots
-        WHERE tenant_id = ? AND workspace_id = ? AND expires_at <= ?${exclusion}
-    `).run(...args);
+    try {
+        db.transaction(() => {
+            const expired = db.prepare(`
+                SELECT snapshot_id
+                FROM workspace_sync_repair_snapshots
+                WHERE tenant_id = ? AND workspace_id = ? AND expires_at <= ?${exclusion}
+                ORDER BY expires_at ASC, snapshot_id ASC
+                LIMIT 1
+            `).get(...args);
+            const snapshotId = String(expired?.snapshot_id || '').trim();
+            if (!snapshotId)
+                return;
+            db.prepare(`
+                DELETE FROM workspace_sync_repair_snapshot_entries
+                WHERE tenant_id = ? AND workspace_id = ? AND snapshot_id = ?
+                  AND entry_index IN (
+                      SELECT entry_index
+                      FROM workspace_sync_repair_snapshot_entries
+                      WHERE tenant_id = ? AND workspace_id = ? AND snapshot_id = ?
+                      ORDER BY entry_index ASC
+                      LIMIT ?
+                  )
+            `).run(tenantId, workspaceId, snapshotId, tenantId, workspaceId, snapshotId, WORKSPACE_SYNC_REPAIR_SNAPSHOT_CLEANUP_BATCH_SIZE);
+            db.prepare(`
+                DELETE FROM workspace_sync_repair_snapshots
+                WHERE tenant_id = ? AND workspace_id = ? AND snapshot_id = ? AND expires_at <= ?
+                  AND NOT EXISTS (
+                      SELECT 1 FROM workspace_sync_repair_snapshot_entries
+                      WHERE tenant_id = ? AND workspace_id = ? AND snapshot_id = ?
+                  )
+            `).run(tenantId, workspaceId, snapshotId, now, tenantId, workspaceId, snapshotId);
+        })();
+    }
+    catch (error) {
+        // Expired snapshot removal is opportunistic maintenance. A cleanup
+        // timeout must not invalidate an otherwise valid repair response.
+        console.warn('[Taskforce Sync Repair Cleanup Deferred]', JSON.stringify({
+            workspaceId,
+            error: String(error?.message || error),
+        }));
+    }
 }
 function persistMaterialization(input) {
     const db = input.core.getDatabaseAdapter();
@@ -225,6 +280,7 @@ function readMetadata(input) {
             tenantId: input.tenantId,
             workspaceId: input.workspaceId,
             snapshotId: input.cursor.snapshotId,
+            snapshotSequence: input.cursor.snapshotSequence,
             coverage: input.coverage,
         })) {
         throw new WorkspaceSyncV3CombinedRepairSnapshotUnavailableError();
@@ -275,6 +331,7 @@ function readReusableMetadata(input) {
         tenantId: input.tenantId,
         workspaceId: input.workspaceId,
         snapshotId: String(row.snapshot_id),
+        snapshotSequence: sequence(row.snapshot_sequence, 'Combined repair snapshot sequence'),
         coverage: input.coverage,
     }))
         return null;
@@ -304,13 +361,17 @@ function mapEntry(row, coverage) {
         payloadFingerprint: String(row.payload_fingerprint || ''), payload,
         occurredAt: timestamp(row.occurred_at, 'Combined repair occurrence time'),
     };
-    (coverage === 'workflow'
-        ? validateWorkspaceSyncV3WorkflowCoverageFeedEntry
-        : coverage === 'planning-order'
-            ? validateWorkspaceSyncV3PlanningOrderCoverageFeedEntry
-            : coverage === 'nested'
-                ? validateWorkspaceSyncV3NestedCoverageFeedEntry
-                : validateWorkspaceSyncV3CombinedFeedEntry)(entry);
+    (coverage === 'workflow-task-cover'
+        ? validateWorkspaceSyncV3WorkflowTaskCoverCoverageFeedEntry
+        : coverage === 'workflow'
+            ? validateWorkspaceSyncV3WorkflowCoverageFeedEntry
+            : coverage === 'task-cover'
+                ? validateWorkspaceSyncV3TaskCoverCoverageFeedEntry
+                : coverage === 'planning-order'
+                    ? validateWorkspaceSyncV3PlanningOrderCoverageFeedEntry
+                    : coverage === 'nested'
+                        ? validateWorkspaceSyncV3NestedCoverageFeedEntry
+                        : validateWorkspaceSyncV3CombinedFeedEntry)(entry);
     return entry;
 }
 function finalizePage(input) {
@@ -367,24 +428,19 @@ export function buildWorkspaceSyncV3CombinedRepairPage(input) {
     const pageSize = Math.max(1, Math.min(MAX_PAGE_SIZE, Math.floor(input.pageSize || DEFAULT_PAGE_SIZE)));
     const maxResponseBytes = Math.max(1024, Math.min(8 * 1024 * 1024, Math.floor(input.maxResponseBytes || DEFAULT_MAX_RESPONSE_BYTES)));
     const db = input.core.getDatabaseAdapter();
-    const coverage = input.workflowCoverage
-        ? 'workflow'
-        : input.planningOrderCoverage
-            ? 'planning-order'
-            : input.nestedCoverage
-                ? 'nested'
-                : 'combined';
+    const coverage = input.workflowTaskCoverCoverage
+        ? 'workflow-task-cover'
+        : input.workflowCoverage
+            ? 'workflow'
+            : input.taskCoverCoverage
+                ? 'task-cover'
+                : input.planningOrderCoverage
+                    ? 'planning-order'
+                    : input.nestedCoverage
+                        ? 'nested'
+                        : 'combined';
     if (input.cursor && Date.parse(input.cursor.expiresAt) <= Date.parse(now)) {
-        db.transaction(() => {
-            db.prepare(`DELETE FROM workspace_sync_repair_snapshot_entries
-                WHERE tenant_id = ? AND workspace_id = ? AND snapshot_id = ? AND EXISTS (
-                    SELECT 1 FROM workspace_sync_repair_snapshots
-                    WHERE tenant_id = ? AND workspace_id = ? AND snapshot_id = ? AND expires_at <= ?
-                )`).run(tenantId, workspaceId, input.cursor.snapshotId, tenantId, workspaceId, input.cursor.snapshotId, now);
-            db.prepare(`DELETE FROM workspace_sync_repair_snapshots
-                WHERE tenant_id = ? AND workspace_id = ? AND snapshot_id = ? AND expires_at <= ?`)
-                .run(tenantId, workspaceId, input.cursor.snapshotId, now);
-        })();
+        cleanupExpiredBestEffort(input.core, tenantId, workspaceId, now);
         throw new WorkspaceSyncV3CombinedRepairSnapshotUnavailableError();
     }
     let insertedBaselineEntities = 0;
@@ -393,17 +449,17 @@ export function buildWorkspaceSyncV3CombinedRepairPage(input) {
     let metadata;
     let nextIndex;
     if (input.cursor) {
+        cleanupExpiredBestEffort(input.core, tenantId, workspaceId, now, input.cursor.snapshotId);
         metadata = db.transaction(() => {
-            const current = readMetadata({
+            return readMetadata({
                 core: input.core, tenantId, workspaceId, cursor: input.cursor, now,
                 coverage,
             });
-            cleanupExpired(input.core, tenantId, workspaceId, now, current.snapshotId);
-            return current;
         })();
         nextIndex = input.cursor.nextIndex;
     }
     else {
+        cleanupExpiredBestEffort(input.core, tenantId, workspaceId, now);
         const materialized = db.transaction(() => {
             // Serialize cursorless materialization and reuse decisions with
             // durable writers and competing repair requests.
@@ -413,7 +469,6 @@ export function buildWorkspaceSyncV3CombinedRepairPage(input) {
                 ON CONFLICT (tenant_id, workspace_id) DO UPDATE SET updated_at = excluded.updated_at
                 RETURNING CAST(last_sequence AS TEXT) AS last_sequence
             `).get(tenantId, workspaceId, now);
-            cleanupExpired(input.core, tenantId, workspaceId, now);
             const reusable = readReusableMetadata({
                 core: input.core, tenantId, workspaceId, now,
                 coverage,
@@ -422,17 +477,23 @@ export function buildWorkspaceSyncV3CombinedRepairPage(input) {
                 return { metadata: reusable, reused: true,
                     insertedBaselineEntities: 0, insertedBaselineJournalRows: 0 };
             const repairStartedAt = Date.now();
-            const prepared = coverage === 'workflow'
-                ? prepareWorkspaceSyncV3WorkflowRepairSnapshot({ core: input.core, workspaceId, now,
+            const prepared = coverage === 'workflow-task-cover'
+                ? prepareWorkspaceSyncV3WorkflowTaskCoverRepairSnapshot({ core: input.core, workspaceId, now,
                     coveredLegacyWritesFenced: input.coveredLegacyWritesFenced })
-                : coverage === 'planning-order'
-                    ? prepareWorkspaceSyncV3PlanningOrderRepairSnapshot({ core: input.core, workspaceId, now,
+                : coverage === 'workflow'
+                    ? prepareWorkspaceSyncV3WorkflowRepairSnapshot({ core: input.core, workspaceId, now,
                         coveredLegacyWritesFenced: input.coveredLegacyWritesFenced })
-                    : coverage === 'nested'
-                        ? prepareWorkspaceSyncV3NestedRepairSnapshot({ core: input.core, workspaceId, now,
+                    : coverage === 'planning-order'
+                        ? prepareWorkspaceSyncV3PlanningOrderRepairSnapshot({ core: input.core, workspaceId, now,
                             coveredLegacyWritesFenced: input.coveredLegacyWritesFenced })
-                        : prepareWorkspaceSyncV3CombinedRepairSnapshot({ core: input.core, workspaceId, now,
-                            coveredLegacyWritesFenced: input.coveredLegacyWritesFenced });
+                        : coverage === 'task-cover'
+                            ? prepareWorkspaceSyncV3TaskCoverRepairSnapshot({ core: input.core, workspaceId, now,
+                                coveredLegacyWritesFenced: input.coveredLegacyWritesFenced })
+                            : coverage === 'nested'
+                                ? prepareWorkspaceSyncV3NestedRepairSnapshot({ core: input.core, workspaceId, now,
+                                    coveredLegacyWritesFenced: input.coveredLegacyWritesFenced })
+                                : prepareWorkspaceSyncV3CombinedRepairSnapshot({ core: input.core, workspaceId, now,
+                                    coveredLegacyWritesFenced: input.coveredLegacyWritesFenced });
             // Production expiry is sampled at the end of persistence, after
             // every immutable payload row has committed in the same lock.
             const materializationStartedAt = input.now
@@ -525,3 +586,9 @@ export function buildWorkspaceSyncV3WorkflowRepairPage(input) {
 export function buildWorkspaceSyncV3PlanningOrderRepairPage(input) {
     return buildWorkspaceSyncV3CombinedRepairPage({ ...input, planningOrderCoverage: true });
 }
+export function buildWorkspaceSyncV3TaskCoverRepairPage(input) {
+    return buildWorkspaceSyncV3CombinedRepairPage({ ...input, taskCoverCoverage: true });
+}
+export function buildWorkspaceSyncV3WorkflowTaskCoverRepairPage(input) {
+    return buildWorkspaceSyncV3CombinedRepairPage({ ...input, workflowTaskCoverCoverage: true });
+}

package/dist/sync/v3/workspaceSyncV3CombinedRepairSnapshot.d.ts

@@ -31,8 +31,12 @@ export declare class WorkspaceSyncV3CombinedRepairBaselineRequiredError extends
 export declare function listWorkspaceSyncV3CombinedRepairCandidates(core: TaskforceCore, workspaceId: string): WorkspaceSyncV3CombinedRepairCandidate[];
 /** Candidate v4 inventory. The coverage-v3 inventory above intentionally remains unchanged. */
 export declare function listWorkspaceSyncV3NestedRepairCandidates(core: TaskforceCore, workspaceId: string): WorkspaceSyncV3CombinedRepairCandidate[];
+/** Candidate v7 inventory. It is the v4 family with attachment-link schema v2. */
+export declare function listWorkspaceSyncV3TaskCoverRepairCandidates(core: TaskforceCore, workspaceId: string): WorkspaceSyncV3CombinedRepairCandidate[];
 /** Candidate v5 inventory. Coverage-v3/v4 inventories intentionally remain unchanged. */
 export declare function listWorkspaceSyncV3WorkflowRepairCandidates(core: TaskforceCore, workspaceId: string): WorkspaceSyncV3CombinedRepairCandidate[];
+/** Candidate v8 inventory. It composes v7 task-cover state with workflow runtime. */
+export declare function listWorkspaceSyncV3WorkflowTaskCoverRepairCandidates(core: TaskforceCore, workspaceId: string): WorkspaceSyncV3CombinedRepairCandidate[];
 /** Candidate v6 inventory. Workflow v5 remains an independent dark contract. */
 export declare function listWorkspaceSyncV3PlanningOrderRepairCandidates(core: TaskforceCore, workspaceId: string): WorkspaceSyncV3CombinedRepairCandidate[];
 export declare function buildWorkspaceSyncV3CombinedRepairSnapshot(input: {
@@ -49,7 +53,9 @@ export declare function buildWorkspaceSyncV3CombinedRepairSnapshotFromLockedCand
     inventory: WorkspaceSyncV3CombinedRepairCandidate[];
     nestedCoverage?: boolean;
     workflowCoverage?: boolean;
+    workflowTaskCoverCoverage?: boolean;
     planningOrderCoverage?: boolean;
+    taskCoverCoverage?: boolean;
 }): {
     snapshotSequence: string;
     entries: WorkspaceSyncV3FeedEntry[];
@@ -75,4 +81,18 @@ export declare function buildWorkspaceSyncV3PlanningOrderRepairSnapshot(input: {
     snapshotSequence: string;
     entries: WorkspaceSyncV3FeedEntry[];
 };
+export declare function buildWorkspaceSyncV3TaskCoverRepairSnapshot(input: {
+    core: TaskforceCore;
+    workspaceId: string;
+}): {
+    snapshotSequence: string;
+    entries: WorkspaceSyncV3FeedEntry[];
+};
+export declare function buildWorkspaceSyncV3WorkflowTaskCoverRepairSnapshot(input: {
+    core: TaskforceCore;
+    workspaceId: string;
+}): {
+    snapshotSequence: string;
+    entries: WorkspaceSyncV3FeedEntry[];
+};
 export {};

package/dist/sync/v3/workspaceSyncV3CombinedRepairSnapshot.js

@@ -8,12 +8,14 @@ import { serializeTaskRootForSync, projectWorkspaceSyncV3TaskRootJournalRow } fr
 import { projectWorkspaceSyncV3TaxonomyJournalRow } from './workspaceSyncV3TaxonomyFeedProjection.js';
 import { projectWorkspaceSyncV3WorkstreamJournalRow } from './workspaceSyncV3WorkstreamProjection.js';
 import { buildWorkspaceSyncV3NestedTaskRepairCandidates, } from './workspaceSyncV3NestedTaskRepairSnapshot.js';
-import { projectWorkspaceSyncV3NestedTaskJournalRow } from './workspaceSyncV3NestedTaskProjection.js';
+import { projectWorkspaceSyncV3NestedTaskJournalRow, projectWorkspaceSyncV3NestedTaskV2JournalRow, } from './workspaceSyncV3NestedTaskProjection.js';
 import { validateWorkspaceSyncV3NestedCoverageFeedEntry, WORKSPACE_SYNC_V3_NESTED_COVERAGE_PROFILE, } from './workspaceSyncV3NestedCoverage.js';
 import { serializeWorkflowExecutionEventSyncPayload, serializeWorkflowExecutionRootSyncPayload, serializeWorkflowPublishedDefinitionSyncPayload, } from './workflowRuntimeSync.js';
 import { projectWorkspaceSyncV3WorkflowRuntimeJournalRow, } from './workspaceSyncV3WorkflowRuntimeProjection.js';
 import { validateWorkspaceSyncV3WorkflowCoverageFeedEntry, WORKSPACE_SYNC_V3_WORKFLOW_COVERAGE_PROFILE, } from './workspaceSyncV3WorkflowCoverage.js';
 import { validateWorkspaceSyncV3PlanningOrderCoverageFeedEntry, WORKSPACE_SYNC_V3_PLANNING_ORDER_COVERAGE_PROFILE, } from './workspaceSyncV3PlanningOrderCoverage.js';
+import { validateWorkspaceSyncV3TaskCoverCoverageFeedEntry, WORKSPACE_SYNC_V3_TASK_COVER_COVERAGE_PROFILE, } from './workspaceSyncV3TaskCoverCoverage.js';
+import { validateWorkspaceSyncV3WorkflowTaskCoverCoverageFeedEntry, WORKSPACE_SYNC_V3_WORKFLOW_TASK_COVER_COVERAGE_PROFILE, } from './workspaceSyncV3WorkflowTaskCoverCoverage.js';
 import { projectWorkspaceSyncV3WorkstreamTaskOrderJournalRow } from './workspaceSyncV3WorkstreamTaskOrderProjection.js';
 import { serializeWorkstreamTaskOrderForSync } from './workstreamTaskOrderSync.js';
 import { serializeTaxonomyStateForSync } from './taxonomySyncPayload.js';
@@ -28,6 +30,10 @@ const WORKFLOW_PROJECTION_RANK = new Map(WORKSPACE_SYNC_V3_WORKFLOW_COVERAGE_PRO
     .map((projection, index) => [projection.projectionId, index]));
 const PLANNING_ORDER_PROJECTION_RANK = new Map(WORKSPACE_SYNC_V3_PLANNING_ORDER_COVERAGE_PROFILE.projections
     .map((projection, index) => [projection.projectionId, index]));
+const TASK_COVER_PROJECTION_RANK = new Map(WORKSPACE_SYNC_V3_TASK_COVER_COVERAGE_PROFILE.projections
+    .map((projection, index) => [projection.projectionId, index]));
+const WORKFLOW_TASK_COVER_PROJECTION_RANK = new Map(WORKSPACE_SYNC_V3_WORKFLOW_TASK_COVER_COVERAGE_PROFILE.projections
+    .map((projection, index) => [projection.projectionId, index]));
 export class WorkspaceSyncV3CombinedRepairBaselineRequiredError extends Error {
     missing;
     code = 'WORKSPACE_SYNC_V3_COMBINED_REPAIR_BASELINE_REQUIRED';
@@ -40,13 +46,17 @@ function compareCodeUnits(left, right) {
     return left < right ? -1 : left > right ? 1 : 0;
 }
 function projectionRank(entry, coverage) {
-    const ranks = coverage === 'workflow'
-        ? WORKFLOW_PROJECTION_RANK
-        : coverage === 'planning-order'
-            ? PLANNING_ORDER_PROJECTION_RANK
-            : coverage === 'nested'
-                ? NESTED_PROJECTION_RANK
-                : COMBINED_PROJECTION_RANK;
+    const ranks = coverage === 'workflow-task-cover'
+        ? WORKFLOW_TASK_COVER_PROJECTION_RANK
+        : coverage === 'workflow'
+            ? WORKFLOW_PROJECTION_RANK
+            : coverage === 'task-cover'
+                ? TASK_COVER_PROJECTION_RANK
+                : coverage === 'planning-order'
+                    ? PLANNING_ORDER_PROJECTION_RANK
+                    : coverage === 'nested'
+                        ? NESTED_PROJECTION_RANK
+                        : COMBINED_PROJECTION_RANK;
     const rank = ranks.get(entry.projection);
     if (rank === undefined)
         throw new Error(`Unsupported combined repair projection: ${entry.projection}.`);
@@ -151,8 +161,7 @@ function listLiveEvents(core, workspaceId, liveEntityIds) {
         cursor = { watermark: last.createdAt, id: eventCursorId(last) };
     }
 }
-/** Candidate v4 inventory. The coverage-v3 inventory above intentionally remains unchanged. */
-export function listWorkspaceSyncV3NestedRepairCandidates(core, workspaceId) {
+function listNestedRepairCandidates(core, workspaceId, attachmentProjection) {
     const startedAt = Date.now();
     const tasks = listTasks(core, workspaceId);
     const tasksCompletedAt = Date.now();
@@ -185,6 +194,7 @@ export function listWorkspaceSyncV3NestedRepairCandidates(core, workspaceId) {
             tasks,
             events,
             attachmentLinksByTaskId,
+            attachmentProjection,
         }),
     ];
     const completedAt = Date.now();
@@ -210,8 +220,15 @@ export function listWorkspaceSyncV3NestedRepairCandidates(core, workspaceId) {
     }
     return candidates;
 }
-/** Candidate v5 inventory. Coverage-v3/v4 inventories intentionally remain unchanged. */
-export function listWorkspaceSyncV3WorkflowRepairCandidates(core, workspaceId) {
+/** Candidate v4 inventory. The coverage-v3 inventory above intentionally remains unchanged. */
+export function listWorkspaceSyncV3NestedRepairCandidates(core, workspaceId) {
+    return listNestedRepairCandidates(core, workspaceId, 'task-attachment-links/full-v1');
+}
+/** Candidate v7 inventory. It is the v4 family with attachment-link schema v2. */
+export function listWorkspaceSyncV3TaskCoverRepairCandidates(core, workspaceId) {
+    return listNestedRepairCandidates(core, workspaceId, 'task-attachment-links/full-v2');
+}
+function listWorkflowRuntimeRepairCandidates(core, workspaceId) {
     const workflowStore = new WorkflowStore(core.getDatabaseAdapter(), core.getTenantId());
     const executions = workflowStore.listExecutions(workspaceId).map((execution) => {
         const projected = workflowStore.getProjectedExecution(workspaceId, execution.id);
@@ -252,12 +269,25 @@ export function listWorkspaceSyncV3WorkflowRepairCandidates(core, workspaceId) {
         };
     });
     return [
-        ...listWorkspaceSyncV3NestedRepairCandidates(core, workspaceId),
         ...definitions.values(),
         ...executionCandidates,
         ...events,
     ];
 }
+/** Candidate v5 inventory. Coverage-v3/v4 inventories intentionally remain unchanged. */
+export function listWorkspaceSyncV3WorkflowRepairCandidates(core, workspaceId) {
+    return [
+        ...listWorkspaceSyncV3NestedRepairCandidates(core, workspaceId),
+        ...listWorkflowRuntimeRepairCandidates(core, workspaceId),
+    ];
+}
+/** Candidate v8 inventory. It composes v7 task-cover state with workflow runtime. */
+export function listWorkspaceSyncV3WorkflowTaskCoverRepairCandidates(core, workspaceId) {
+    return [
+        ...listWorkspaceSyncV3TaskCoverRepairCandidates(core, workspaceId),
+        ...listWorkflowRuntimeRepairCandidates(core, workspaceId),
+    ];
+}
 /** Candidate v6 inventory. Workflow v5 remains an independent dark contract. */
 export function listWorkspaceSyncV3PlanningOrderRepairCandidates(core, workspaceId) {
     const nested = listWorkspaceSyncV3NestedRepairCandidates(core, workspaceId);
@@ -380,7 +410,7 @@ function taskEntry(candidate, row, priorFullRow) {
     return { ...projected, mutationKind, payload: candidate.payload,
         payloadFingerprint: fingerprintWorkspaceSyncPayload(candidate.payload) };
 }
-function entry(candidate, row, taskFullProvenance) {
+function entry(candidate, row, taskFullProvenance, taskCoverCoverage = false) {
     if (candidate.domain === 'workstream-task-order') {
         const projected = projectWorkspaceSyncV3WorkstreamTaskOrderJournalRow(row);
         if (!projected
@@ -401,7 +431,9 @@ function entry(candidate, row, taskFullProvenance) {
     }
     if (candidate.domain === 'task-comments' || candidate.domain === 'task-checklist'
         || candidate.domain === 'task-attachment-links' || candidate.domain === 'entity-event') {
-        const projected = projectWorkspaceSyncV3NestedTaskJournalRow(row);
+        const projected = taskCoverCoverage && candidate.domain === 'task-attachment-links'
+            ? projectWorkspaceSyncV3NestedTaskV2JournalRow(row)
+            : projectWorkspaceSyncV3NestedTaskJournalRow(row);
         if (!projected) {
             throw new Error(`${candidate.domain} repair revision does not match canonical state: ${candidate.entityId}.`);
         }
@@ -475,22 +507,30 @@ export function buildWorkspaceSyncV3CombinedRepairSnapshotFromLockedCandidates(i
         .map((candidate) => candidate.entityId);
     const taskFullProvenance = readTaskFullProvenanceRows({ db, tenantId, workspaceId, taskIds: remappedTaskIds });
     const provenanceCompletedAt = Date.now();
-    const entries = inventory.map((candidate) => entry(candidate, rows.get(`${candidate.domain}\0${candidate.entityId}`), taskFullProvenance));
+    const entries = inventory.map((candidate) => entry(candidate, rows.get(`${candidate.domain}\0${candidate.entityId}`), taskFullProvenance, input.taskCoverCoverage === true || input.workflowTaskCoverCoverage === true));
     const entriesCompletedAt = Date.now();
-    const coverage = input.workflowCoverage
-        ? 'workflow'
-        : input.planningOrderCoverage
-            ? 'planning-order'
-            : input.nestedCoverage
-                ? 'nested'
-                : 'combined';
-    entries.forEach(coverage === 'workflow'
-        ? validateWorkspaceSyncV3WorkflowCoverageFeedEntry
-        : coverage === 'planning-order'
-            ? validateWorkspaceSyncV3PlanningOrderCoverageFeedEntry
-            : coverage === 'nested'
-                ? validateWorkspaceSyncV3NestedCoverageFeedEntry
-                : validateWorkspaceSyncV3CombinedFeedEntry);
+    const coverage = input.workflowTaskCoverCoverage
+        ? 'workflow-task-cover'
+        : input.workflowCoverage
+            ? 'workflow'
+            : input.taskCoverCoverage
+                ? 'task-cover'
+                : input.planningOrderCoverage
+                    ? 'planning-order'
+                    : input.nestedCoverage
+                        ? 'nested'
+                        : 'combined';
+    entries.forEach(coverage === 'workflow-task-cover'
+        ? validateWorkspaceSyncV3WorkflowTaskCoverCoverageFeedEntry
+        : coverage === 'workflow'
+            ? validateWorkspaceSyncV3WorkflowCoverageFeedEntry
+            : coverage === 'task-cover'
+                ? validateWorkspaceSyncV3TaskCoverCoverageFeedEntry
+                : coverage === 'planning-order'
+                    ? validateWorkspaceSyncV3PlanningOrderCoverageFeedEntry
+                    : coverage === 'nested'
+                        ? validateWorkspaceSyncV3NestedCoverageFeedEntry
+                        : validateWorkspaceSyncV3CombinedFeedEntry);
     const validationCompletedAt = Date.now();
     if (entries.some((candidate) => BigInt(candidate.sequence) > BigInt(snapshotSequence))) {
         throw new Error('Combined repair entry exceeds the locked snapshot sequence.');
@@ -564,3 +604,39 @@ export function buildWorkspaceSyncV3PlanningOrderRepairSnapshot(input) {
         });
     })();
 }
+export function buildWorkspaceSyncV3TaskCoverRepairSnapshot(input) {
+    const workspaceId = String(input.workspaceId || '').trim();
+    if (!workspaceId)
+        throw new Error('Workspace id is required.');
+    const tenantId = input.core.getTenantId();
+    const db = input.core.getDatabaseAdapter();
+    return db.transaction(() => {
+        const snapshotSequence = lockAndReadHighWatermark(db, tenantId, workspaceId);
+        const inventory = listWorkspaceSyncV3TaskCoverRepairCandidates(input.core, workspaceId);
+        return buildWorkspaceSyncV3CombinedRepairSnapshotFromLockedCandidates({
+            core: input.core,
+            workspaceId,
+            snapshotSequence,
+            inventory,
+            taskCoverCoverage: true,
+        });
+    })();
+}
+export function buildWorkspaceSyncV3WorkflowTaskCoverRepairSnapshot(input) {
+    const workspaceId = String(input.workspaceId || '').trim();
+    if (!workspaceId)
+        throw new Error('Workspace id is required.');
+    const tenantId = input.core.getTenantId();
+    const db = input.core.getDatabaseAdapter();
+    return db.transaction(() => {
+        const snapshotSequence = lockAndReadHighWatermark(db, tenantId, workspaceId);
+        const inventory = listWorkspaceSyncV3WorkflowTaskCoverRepairCandidates(input.core, workspaceId);
+        return buildWorkspaceSyncV3CombinedRepairSnapshotFromLockedCandidates({
+            core: input.core,
+            workspaceId,
+            snapshotSequence,
+            inventory,
+            workflowTaskCoverCoverage: true,
+        });
+    })();
+}

package/dist/sync/v3/workspaceSyncV3CombinedWireContract.d.ts

@@ -2,6 +2,8 @@ import type { WorkspaceSyncV2ProjectionExclusion } from './workspaceSyncV2Projec
 import { WORKSPACE_SYNC_V3_NESTED_COVERAGE_SELECTOR } from './workspaceSyncV3NestedWireContract.js';
 import { WORKSPACE_SYNC_V3_WORKFLOW_COVERAGE_SELECTOR } from './workspaceSyncV3WorkflowWireContract.js';
 import { WORKSPACE_SYNC_V3_PLANNING_ORDER_COVERAGE_SELECTOR } from './workspaceSyncV3PlanningOrderWireContract.js';
+import { WORKSPACE_SYNC_V3_TASK_COVER_COVERAGE_SELECTOR } from './workspaceSyncV3TaskCoverWireContract.js';
+import { WORKSPACE_SYNC_V3_WORKFLOW_TASK_COVER_COVERAGE_SELECTOR } from './workspaceSyncV3WorkflowTaskCoverWireContract.js';
 export declare const WORKSPACE_SYNC_V3_COMBINED_COVERAGE_SELECTOR: Readonly<{
     coverageProfileId: "task-planning-metadata";
     coverageVersion: 3;
@@ -9,13 +11,14 @@ export declare const WORKSPACE_SYNC_V3_COMBINED_COVERAGE_SELECTOR: Readonly<{
 }>;
 export declare const WORKSPACE_SYNC_V3_COMBINED_CAPABILITY_VERSION: 1;
 export declare const WORKSPACE_SYNC_V3_COMBINED_EXCLUDED_V2_PROJECTIONS: readonly ["task/root-v1", "task-relationship/full-v1", "taxonomy/full-v1", "initiative/full-v1", "workstream/full-v1"];
-export type WorkspaceSyncV3CombinedCoverageSelector = typeof WORKSPACE_SYNC_V3_COMBINED_COVERAGE_SELECTOR | typeof WORKSPACE_SYNC_V3_NESTED_COVERAGE_SELECTOR | typeof WORKSPACE_SYNC_V3_WORKFLOW_COVERAGE_SELECTOR | typeof WORKSPACE_SYNC_V3_PLANNING_ORDER_COVERAGE_SELECTOR;
+export type WorkspaceSyncV3CombinedCoverageSelector = typeof WORKSPACE_SYNC_V3_COMBINED_COVERAGE_SELECTOR | typeof WORKSPACE_SYNC_V3_NESTED_COVERAGE_SELECTOR | typeof WORKSPACE_SYNC_V3_WORKFLOW_COVERAGE_SELECTOR | typeof WORKSPACE_SYNC_V3_PLANNING_ORDER_COVERAGE_SELECTOR | typeof WORKSPACE_SYNC_V3_TASK_COVER_COVERAGE_SELECTOR | typeof WORKSPACE_SYNC_V3_WORKFLOW_TASK_COVER_COVERAGE_SELECTOR;
 export interface WorkspaceSyncV3CombinedWireContract {
     coverage: WorkspaceSyncV3CombinedCoverageSelector;
     excludedProjections: readonly WorkspaceSyncV2ProjectionExclusion[];
     nestedWriterPrerequisitesRequired: boolean;
     workflowWriterPrerequisitesRequired: boolean;
     planningOrderWriterPrerequisitesRequired: boolean;
+    taskCoverProjectionRequired: boolean;
 }
 export declare function resolveWorkspaceSyncV3CombinedWireContract(input: {
     coverageProfileId: unknown;