@jamesaphoenix/tx-core 0.4.1

package/dist/services/swarm-verification.d.ts

@@ -0,0 +1,104 @@
+/**
+ * SwarmVerificationService - Bulk invalidation with concurrent verification agents
+ *
+ * For large batches of anchors, spawns up to 4 concurrent verification agents.
+ * Coordinates via job queue pattern using Effect's concurrency primitives.
+ * Aggregates results with majority vote for edge cases.
+ * Tracks swarm metrics for observability.
+ *
+ * @see docs/prd/PRD-017-invalidation-maintenance.md - IM-004: Bulk invalidation via agent swarm
+ */
+import { Context, Effect, Layer } from "effect";
+import { AnchorVerificationService, type VerificationResult, type VerifyOptions } from "./anchor-verification.js";
+import { AnchorRepository } from "../repo/anchor-repo.js";
+import { DatabaseError } from "../errors.js";
+import type { AnchorStatus } from "@jamesaphoenix/tx-types";
+/** A batch of anchor IDs to verify */
+export interface VerificationBatch {
+    readonly batchId: number;
+    readonly anchorIds: readonly number[];
+}
+/** Result of a single agent's verification of a batch */
+export interface BatchResult {
+    readonly batchId: number;
+    readonly results: readonly VerificationResult[];
+    readonly duration: number;
+    readonly errors: number;
+}
+/** Swarm verification metrics */
+export interface SwarmMetrics {
+    readonly totalAnchors: number;
+    readonly totalBatches: number;
+    readonly agentsUsed: number;
+    readonly duration: number;
+    /** Time spent per agent (for load balancing analysis) */
+    readonly agentDurations: readonly number[];
+    /** Counts by action type */
+    readonly unchanged: number;
+    readonly selfHealed: number;
+    readonly drifted: number;
+    readonly invalid: number;
+    readonly errors: number;
+    /** Edge cases requiring human review (tie votes) */
+    readonly needsReview: number;
+}
+/** Complete swarm verification result */
+export interface SwarmVerificationResult {
+    readonly metrics: SwarmMetrics;
+    readonly results: readonly VerificationResult[];
+    /** Anchor IDs that require human review due to tie votes */
+    readonly reviewRequired: readonly number[];
+}
+/** Options for swarm verification */
+export interface SwarmVerifyOptions extends VerifyOptions {
+    /** Batch size per agent (default: 10) */
+    readonly batchSize?: number;
+    /** Max concurrent agents (default: 4) */
+    readonly maxConcurrent?: number;
+    /** Force swarm even for small batches */
+    readonly forceSwarm?: boolean;
+}
+/** Majority vote result for an anchor */
+export interface VoteResult {
+    readonly anchorId: number;
+    readonly votes: Map<AnchorStatus | "error", number>;
+    readonly consensus: AnchorStatus | null;
+    readonly needsReview: boolean;
+}
+declare const SwarmVerificationService_base: Context.TagClass<SwarmVerificationService, "SwarmVerificationService", {
+    /**
+     * Verify anchors using concurrent agents.
+     * Automatically partitions into batches and spawns agents.
+     */
+    readonly verifyAnchors: (anchorIds: readonly number[], options?: SwarmVerifyOptions) => Effect.Effect<SwarmVerificationResult, DatabaseError>;
+    /**
+     * Verify all valid anchors using swarm.
+     */
+    readonly verifyAll: (options?: SwarmVerifyOptions) => Effect.Effect<SwarmVerificationResult, DatabaseError>;
+    /**
+     * Verify anchors for files matching glob pattern using swarm.
+     */
+    readonly verifyGlob: (globPattern: string, options?: SwarmVerifyOptions) => Effect.Effect<SwarmVerificationResult, DatabaseError>;
+    /**
+     * Verify anchors affected by a list of changed files.
+     * Typically called from git hooks after large commits.
+     */
+    readonly verifyChangedFiles: (filePaths: readonly string[], options?: SwarmVerifyOptions) => Effect.Effect<SwarmVerificationResult, DatabaseError>;
+}>;
+export declare class SwarmVerificationService extends SwarmVerificationService_base {
+}
+/**
+ * Calculate majority vote for conflicting results on the same anchor.
+ * Used when multiple agents verify the same anchor (edge cases).
+ *
+ * Rules (per PRD-017):
+ * - If 3/4 agents say valid, it's valid
+ * - Tie = mark for human review
+ *
+ * Exported for use in LLM-assisted verification scenarios where multiple
+ * agents may verify the same anchor for edge cases.
+ */
+export declare const calculateMajorityVote: (results: readonly VerificationResult[]) => VoteResult;
+export declare const SwarmVerificationServiceLive: Layer.Layer<SwarmVerificationService, never, AnchorRepository | AnchorVerificationService>;
+export {};
+//# sourceMappingURL=swarm-verification.d.ts.map

package/dist/services/swarm-verification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"swarm-verification.d.ts","sourceRoot":"","sources":["../../src/services/swarm-verification.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAqB,MAAM,QAAQ,CAAA;AAClE,OAAO,EAAE,yBAAyB,EAAE,KAAK,kBAAkB,EAAE,KAAK,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACjH,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAE5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAmB3D,sCAAsC;AACtC,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAA;CACtC;AAED,yDAAyD;AACzD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,kBAAkB,EAAE,CAAA;IAC/C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,iCAAiC;AACjC,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,yDAAyD;IACzD,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAA;IAC1C,4BAA4B;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,oDAAoD;IACpD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAC7B;AAED,yCAAyC;AACzC,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,kBAAkB,EAAE,CAAA;IAC/C,4DAA4D;IAC5D,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAA;CAC3C;AAED,qCAAqC;AACrC,MAAM,WAAW,kBAAmB,SAAQ,aAAa;IACvD,yCAAyC;IACzC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,yCAAyC;IACzC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;IAC/B,yCAAyC;IACzC,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAA;CAC9B;AAED,yCAAyC;AACzC,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,YAAY,GAAG,OAAO,EAAE,MAAM,CAAC,CAAA;IACnD,QAAQ,CAAC,SAAS,EAAE,YAAY,GAAG,IAAI,CAAA;IACvC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAA;CAC9B;;IASG;;;OAGG;4BACqB,CACtB,SAAS,EAAE,SAAS,MAAM,EAAE,EAC5B,OAAO,CAAC,EAAE,kBAAkB,KACzB,MAAM,CAAC,MAAM,CAAC,uBAAuB,EAAE,aAAa,CAAC;IAE1D;;OAEG;wBACiB,CAClB,OAAO,CAAC,EAAE,kBAAkB,KACzB,MAAM,CAAC,MAAM,CAAC,uBAAuB,EAAE,aAAa,CAAC;IAE1D;;OAEG;yBACkB,CACnB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,kBAAkB,KACzB,MAAM,CAAC,MAAM,CAAC,uBAAuB,EAAE,aAAa,CAAC;IAE1D;;;OAGG;iCAC0B,CAC3B,SAAS,EAAE,SAAS,MAAM,EAAE,EAC5B,OAAO,CAAC,EAAE,kBAAkB,KACzB,MAAM,CAAC,MAAM,CAAC,uBAAuB,EAAE,aAAa,CAAC;;AAlC9D,qBAAa,wBAAyB,SAAQ,6BAoC3C;CAAG;AAuBN;;;;;;;;;;GAUG;AACH,eAAO,MAAM,qBAAqB,GAChC,SAAS,SAAS,kBAAkB,EAAE,KACrC,UAmCF,CAAA;AA8DD,eAAO,MAAM,4BAA4B,4FAoUxC,CAAA"}

package/dist/services/swarm-verification.js

@@ -0,0 +1,400 @@
+/**
+ * SwarmVerificationService - Bulk invalidation with concurrent verification agents
+ *
+ * For large batches of anchors, spawns up to 4 concurrent verification agents.
+ * Coordinates via job queue pattern using Effect's concurrency primitives.
+ * Aggregates results with majority vote for edge cases.
+ * Tracks swarm metrics for observability.
+ *
+ * @see docs/prd/PRD-017-invalidation-maintenance.md - IM-004: Bulk invalidation via agent swarm
+ */
+import { Context, Effect, Layer, Queue, Fiber, Ref } from "effect";
+import { AnchorVerificationService } from "./anchor-verification.js";
+import { AnchorRepository } from "../repo/anchor-repo.js";
+import { matchesGlob } from "../utils/glob.js";
+// =============================================================================
+// Configuration Constants
+// =============================================================================
+/** Default batch size per agent (PRD-017: batches of 10) */
+const DEFAULT_BATCH_SIZE = 10;
+/** Maximum concurrent agents (PRD-017: up to 4) */
+const MAX_CONCURRENT_AGENTS = 4;
+/** Minimum batch size to trigger swarm (sequential is fine for small batches) */
+const SWARM_THRESHOLD = 20;
+// =============================================================================
+// Service Definition
+// =============================================================================
+export class SwarmVerificationService extends Context.Tag("SwarmVerificationService")() {
+}
+// =============================================================================
+// Utility Functions
+// =============================================================================
+/**
+ * Partition anchor IDs into batches.
+ */
+const partitionIntoBatches = (anchorIds, batchSize) => {
+    const batches = [];
+    for (let i = 0; i < anchorIds.length; i += batchSize) {
+        batches.push({
+            batchId: batches.length,
+            anchorIds: anchorIds.slice(i, i + batchSize)
+        });
+    }
+    return batches;
+};
+/**
+ * Calculate majority vote for conflicting results on the same anchor.
+ * Used when multiple agents verify the same anchor (edge cases).
+ *
+ * Rules (per PRD-017):
+ * - If 3/4 agents say valid, it's valid
+ * - Tie = mark for human review
+ *
+ * Exported for use in LLM-assisted verification scenarios where multiple
+ * agents may verify the same anchor for edge cases.
+ */
+export const calculateMajorityVote = (results) => {
+    const anchorId = results[0].anchorId;
+    const votes = new Map();
+    for (const result of results) {
+        const status = result.newStatus;
+        votes.set(status, (votes.get(status) ?? 0) + 1);
+    }
+    // Find the status with most votes
+    let maxVotes = 0;
+    let consensus = null;
+    let tieCount = 0;
+    for (const [status, count] of votes) {
+        if (status === "error")
+            continue; // Don't count errors in consensus
+        if (count > maxVotes) {
+            maxVotes = count;
+            consensus = status;
+            tieCount = 1;
+        }
+        else if (count === maxVotes) {
+            tieCount++;
+        }
+    }
+    // Tie = needs human review
+    const needsReview = tieCount > 1;
+    return {
+        anchorId,
+        votes,
+        consensus: needsReview ? null : consensus,
+        needsReview
+    };
+};
+/**
+ * Aggregate batch results into final metrics.
+ */
+const aggregateResults = (batchResults, startTime, agentCount) => {
+    let unchanged = 0;
+    let selfHealed = 0;
+    let drifted = 0;
+    let invalid = 0;
+    let errors = 0;
+    const allResults = [];
+    const agentDurations = [];
+    for (const batch of batchResults) {
+        agentDurations.push(batch.duration);
+        errors += batch.errors;
+        for (const result of batch.results) {
+            allResults.push(result);
+            switch (result.action) {
+                case "unchanged":
+                    unchanged++;
+                    break;
+                case "self_healed":
+                    selfHealed++;
+                    break;
+                case "drifted":
+                    drifted++;
+                    break;
+                case "invalidated":
+                    invalid++;
+                    break;
+            }
+        }
+    }
+    return {
+        metrics: {
+            totalAnchors: allResults.length + errors,
+            totalBatches: batchResults.length,
+            agentsUsed: agentCount,
+            duration: Date.now() - startTime,
+            agentDurations,
+            unchanged,
+            selfHealed,
+            drifted,
+            invalid,
+            errors
+        },
+        results: allResults
+    };
+};
+// =============================================================================
+// Service Implementation
+// =============================================================================
+export const SwarmVerificationServiceLive = Layer.effect(SwarmVerificationService, Effect.gen(function* () {
+    const anchorVerification = yield* AnchorVerificationService;
+    const anchorRepo = yield* AnchorRepository;
+    /**
+     * Process a single batch of anchors using the verification service.
+     */
+    const processB = (batch, options) => Effect.gen(function* () {
+        const startTime = Date.now();
+        const results = [];
+        let errors = 0;
+        // Process each anchor in the batch
+        for (const anchorId of batch.anchorIds) {
+            const result = yield* anchorVerification.verify(anchorId, options).pipe(Effect.catchAll(() => {
+                errors++;
+                return Effect.succeed(null);
+            }));
+            if (result) {
+                results.push(result);
+            }
+        }
+        return {
+            batchId: batch.batchId,
+            results,
+            duration: Date.now() - startTime,
+            errors
+        };
+    });
+    /**
+     * Run swarm verification with concurrent agents.
+     */
+    const runSwarm = (anchorIds, options) => Effect.gen(function* () {
+        const startTime = Date.now();
+        const batchSize = options.batchSize ?? DEFAULT_BATCH_SIZE;
+        const maxConcurrent = options.maxConcurrent ?? MAX_CONCURRENT_AGENTS;
+        // Partition into batches
+        const batches = partitionIntoBatches(anchorIds, batchSize);
+        if (batches.length === 0) {
+            return {
+                metrics: {
+                    totalAnchors: 0,
+                    totalBatches: 0,
+                    agentsUsed: 0,
+                    duration: 0,
+                    agentDurations: [],
+                    unchanged: 0,
+                    selfHealed: 0,
+                    drifted: 0,
+                    invalid: 0,
+                    errors: 0,
+                    needsReview: 0
+                },
+                results: [],
+                reviewRequired: []
+            };
+        }
+        // Determine actual concurrency (don't spawn more agents than batches)
+        const agentCount = Math.min(batches.length, maxConcurrent);
+        // Create a queue for job distribution
+        const queue = yield* Queue.bounded(batches.length);
+        // Enqueue all batches
+        for (const batch of batches) {
+            yield* Queue.offer(queue, batch);
+        }
+        // Counter to track active work
+        const completedBatches = yield* Ref.make([]);
+        // Worker function: continuously pull batches from queue
+        const worker = (_workerId) => Effect.gen(function* () {
+            while (true) {
+                // Try to take a batch (non-blocking)
+                const maybeBatch = yield* Queue.poll(queue);
+                if (maybeBatch._tag === "None") {
+                    // No more batches, worker done
+                    break;
+                }
+                const batch = maybeBatch.value;
+                const result = yield* processB(batch, options);
+                // Record result
+                yield* Ref.update(completedBatches, (results) => [...results, result]);
+            }
+        });
+        // Spawn agents as fibers
+        const fibers = [];
+        for (let i = 0; i < agentCount; i++) {
+            const fiber = yield* Effect.fork(worker(i));
+            fibers.push(fiber);
+        }
+        // Wait for all agents to complete
+        for (const fiber of fibers) {
+            yield* Fiber.join(fiber);
+        }
+        // Shutdown queue
+        yield* Queue.shutdown(queue);
+        // Get all batch results
+        const batchResults = yield* Ref.get(completedBatches);
+        // Aggregate results
+        const { metrics, results } = aggregateResults(batchResults, startTime, agentCount);
+        // For now, we don't have multi-agent verification of the same anchor,
+        // so no majority voting needed. reviewRequired is empty.
+        // This would be used if we added LLM-assisted verification where
+        // multiple agents verify the same anchor for edge cases.
+        const reviewRequired = [];
+        return {
+            metrics: {
+                ...metrics,
+                needsReview: reviewRequired.length
+            },
+            results,
+            reviewRequired
+        };
+    });
+    /**
+     * Simple sequential verification for small batches.
+     */
+    const runSequential = (anchorIds, options) => Effect.gen(function* () {
+        // Handle empty input
+        if (anchorIds.length === 0) {
+            return {
+                metrics: {
+                    totalAnchors: 0,
+                    totalBatches: 0,
+                    agentsUsed: 0,
+                    duration: 0,
+                    agentDurations: [],
+                    unchanged: 0,
+                    selfHealed: 0,
+                    drifted: 0,
+                    invalid: 0,
+                    errors: 0,
+                    needsReview: 0
+                },
+                results: [],
+                reviewRequired: []
+            };
+        }
+        const startTime = Date.now();
+        const results = [];
+        let errors = 0;
+        let unchanged = 0;
+        let selfHealed = 0;
+        let drifted = 0;
+        let invalid = 0;
+        for (const anchorId of anchorIds) {
+            const result = yield* anchorVerification.verify(anchorId, options).pipe(Effect.catchAll(() => {
+                errors++;
+                return Effect.succeed(null);
+            }));
+            if (result) {
+                results.push(result);
+                switch (result.action) {
+                    case "unchanged":
+                        unchanged++;
+                        break;
+                    case "self_healed":
+                        selfHealed++;
+                        break;
+                    case "drifted":
+                        drifted++;
+                        break;
+                    case "invalidated":
+                        invalid++;
+                        break;
+                }
+            }
+        }
+        return {
+            metrics: {
+                totalAnchors: results.length + errors,
+                totalBatches: 1,
+                agentsUsed: 1,
+                duration: Date.now() - startTime,
+                agentDurations: [Date.now() - startTime],
+                unchanged,
+                selfHealed,
+                drifted,
+                invalid,
+                errors,
+                needsReview: 0
+            },
+            results,
+            reviewRequired: []
+        };
+    });
+    return {
+        verifyAnchors: (anchorIds, options = {}) => Effect.gen(function* () {
+            // Use swarm for large batches, sequential for small ones
+            const useSwarm = options.forceSwarm || anchorIds.length >= SWARM_THRESHOLD;
+            if (useSwarm) {
+                return yield* runSwarm(anchorIds, options);
+            }
+            else {
+                return yield* runSequential(anchorIds, options);
+            }
+        }),
+        verifyAll: (options = {}) => Effect.gen(function* () {
+            const anchors = yield* anchorRepo.findAllValid();
+            const anchorIds = anchors
+                .filter((a) => !options.skipPinned || !a.pinned)
+                .map((a) => a.id);
+            const useSwarm = options.forceSwarm || anchorIds.length >= SWARM_THRESHOLD;
+            if (useSwarm) {
+                return yield* runSwarm(anchorIds, {
+                    ...options,
+                    detectedBy: options.detectedBy ?? "periodic"
+                });
+            }
+            else {
+                return yield* runSequential(anchorIds, {
+                    ...options,
+                    detectedBy: options.detectedBy ?? "periodic"
+                });
+            }
+        }),
+        verifyGlob: (globPattern, options = {}) => Effect.gen(function* () {
+            const allAnchors = yield* anchorRepo.findAll();
+            const matchingIds = allAnchors
+                .filter((a) => matchesGlob(a.filePath, globPattern))
+                .filter((a) => !options.skipPinned || !a.pinned)
+                .map((a) => a.id);
+            const useSwarm = options.forceSwarm || matchingIds.length >= SWARM_THRESHOLD;
+            if (useSwarm) {
+                return yield* runSwarm(matchingIds, {
+                    ...options,
+                    detectedBy: options.detectedBy ?? "manual"
+                });
+            }
+            else {
+                return yield* runSequential(matchingIds, {
+                    ...options,
+                    detectedBy: options.detectedBy ?? "manual"
+                });
+            }
+        }),
+        verifyChangedFiles: (filePaths, options = {}) => Effect.gen(function* () {
+            // Find anchors for all changed files
+            const anchorIdSet = new Set();
+            for (const filePath of filePaths) {
+                const anchors = yield* anchorRepo.findByFilePath(filePath);
+                for (const anchor of anchors) {
+                    if (!options.skipPinned || !anchor.pinned) {
+                        anchorIdSet.add(anchor.id);
+                    }
+                }
+            }
+            const anchorIds = Array.from(anchorIdSet);
+            // Git hook context typically means large changes, use swarm
+            const useSwarm = options.forceSwarm || anchorIds.length >= SWARM_THRESHOLD;
+            if (useSwarm) {
+                return yield* runSwarm(anchorIds, {
+                    ...options,
+                    detectedBy: options.detectedBy ?? "git_hook"
+                });
+            }
+            else {
+                return yield* runSequential(anchorIds, {
+                    ...options,
+                    detectedBy: options.detectedBy ?? "git_hook"
+                });
+            }
+        })
+    };
+}));
+//# sourceMappingURL=swarm-verification.js.map

package/dist/services/swarm-verification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"swarm-verification.js","sourceRoot":"","sources":["../../src/services/swarm-verification.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAA;AAClE,OAAO,EAAE,yBAAyB,EAA+C,MAAM,0BAA0B,CAAA;AACjH,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAEzD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAG9C,gFAAgF;AAChF,0BAA0B;AAC1B,gFAAgF;AAEhF,4DAA4D;AAC5D,MAAM,kBAAkB,GAAG,EAAE,CAAA;AAE7B,mDAAmD;AACnD,MAAM,qBAAqB,GAAG,CAAC,CAAA;AAE/B,iFAAiF;AACjF,MAAM,eAAe,GAAG,EAAE,CAAA;AAgE1B,gFAAgF;AAChF,qBAAqB;AACrB,gFAAgF;AAEhF,MAAM,OAAO,wBAAyB,SAAQ,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,EAoClF;CAAG;AAEN,gFAAgF;AAChF,oBAAoB;AACpB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAC3B,SAA4B,EAC5B,SAAiB,EACI,EAAE;IACvB,MAAM,OAAO,GAAwB,EAAE,CAAA;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;QACrD,OAAO,CAAC,IAAI,CAAC;YACX,OAAO,EAAE,OAAO,CAAC,MAAM;YACvB,SAAS,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC;SAC7C,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,OAAsC,EAC1B,EAAE;IACd,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAA;IACpC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkC,CAAA;IAEvD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAA;QAC/B,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IACjD,CAAC;IAED,kCAAkC;IAClC,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,IAAI,SAAS,GAAwB,IAAI,CAAA;IACzC,IAAI,QAAQ,GAAG,CAAC,CAAA;IAEhB,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;QACpC,IAAI,MAAM,KAAK,OAAO;YAAE,SAAQ,CAAC,kCAAkC;QAEnE,IAAI,KAAK,GAAG,QAAQ,EAAE,CAAC;YACrB,QAAQ,GAAG,KAAK,CAAA;YAChB,SAAS,GAAG,MAAsB,CAAA;YAClC,QAAQ,GAAG,CAAC,CAAA;QACd,CAAC;aAAM,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,QAAQ,EAAE,CAAA;QACZ,CAAC;IACH,CAAC;IAED,2BAA2B;IAC3B,MAAM,WAAW,GAAG,QAAQ,GAAG,CAAC,CAAA;IAEhC,OAAO;QACL,QAAQ;QACR,KAAK;QACL,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;QACzC,WAAW;KACZ,CAAA;AACH,CAAC,CAAA;AAED;;GAEG;AACH,MAAM,gBAAgB,GAAG,CACvB,YAAoC,EACpC,SAAiB,EACjB,UAAkB,EAC6D,EAAE;IACjF,IAAI,SAAS,GAAG,CAAC,CAAA;IACjB,IAAI,UAAU,GAAG,CAAC,CAAA;IAClB,IAAI,OAAO,GAAG,CAAC,CAAA;IACf,IAAI,OAAO,GAAG,CAAC,CAAA;IACf,IAAI,MAAM,GAAG,CAAC,CAAA;IACd,MAAM,UAAU,GAAyB,EAAE,CAAA;IAC3C,MAAM,cAAc,GAAa,EAAE,CAAA;IAEnC,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;QACnC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAA;QAEtB,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACnC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACvB,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC;gBACtB,KAAK,WAAW;oBACd,SAAS,EAAE,CAAA;oBACX,MAAK;gBACP,KAAK,aAAa;oBAChB,UAAU,EAAE,CAAA;oBACZ,MAAK;gBACP,KAAK,SAAS;oBACZ,OAAO,EAAE,CAAA;oBACT,MAAK;gBACP,KAAK,aAAa;oBAChB,OAAO,EAAE,CAAA;oBACT,MAAK;YACT,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE;YACP,YAAY,EAAE,UAAU,CAAC,MAAM,GAAG,MAAM;YACxC,YAAY,EAAE,YAAY,CAAC,MAAM;YACjC,UAAU,EAAE,UAAU;YACtB,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;YAChC,cAAc;YACd,SAAS;YACT,UAAU;YACV,OAAO;YACP,OAAO;YACP,MAAM;SACP;QACD,OAAO,EAAE,UAAU;KACpB,CAAA;AACH,CAAC,CAAA;AAED,gFAAgF;AAChF,yBAAyB;AACzB,gFAAgF;AAEhF,MAAM,CAAC,MAAM,4BAA4B,GAAG,KAAK,CAAC,MAAM,CACtD,wBAAwB,EACxB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,kBAAkB,GAAG,KAAK,CAAC,CAAC,yBAAyB,CAAA;IAC3D,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAA;IAE1C;;OAEG;IACH,MAAM,QAAQ,GAAG,CACf,KAAwB,EACxB,OAAsB,EACa,EAAE,CACrC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAC5B,MAAM,OAAO,GAAyB,EAAE,CAAA;QACxC,IAAI,MAAM,GAAG,CAAC,CAAA;QAEd,mCAAmC;QACnC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,IAAI,CACrE,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE;gBACnB,MAAM,EAAE,CAAA;gBACR,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;YAC7B,CAAC,CAAC,CACH,CAAA;YAED,IAAI,MAAM,EAAE,CAAC;gBACX,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACtB,CAAC;QACH,CAAC;QAED,OAAO;YACL,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO;YACP,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;YAChC,MAAM;SACP,CAAA;IACH,CAAC,CAAC,CAAA;IAEJ;;OAEG;IACH,MAAM,QAAQ,GAAG,CACf,SAA4B,EAC5B,OAA2B,EAC4B,EAAE,CACzD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAC5B,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,kBAAkB,CAAA;QACzD,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,qBAAqB,CAAA;QAEpE,yBAAyB;QACzB,MAAM,OAAO,GAAG,oBAAoB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAA;QAE1D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO;gBACL,OAAO,EAAE;oBACP,YAAY,EAAE,CAAC;oBACf,YAAY,EAAE,CAAC;oBACf,UAAU,EAAE,CAAC;oBACb,QAAQ,EAAE,CAAC;oBACX,cAAc,EAAE,EAAE;oBAClB,SAAS,EAAE,CAAC;oBACZ,UAAU,EAAE,CAAC;oBACb,OAAO,EAAE,CAAC;oBACV,OAAO,EAAE,CAAC;oBACV,MAAM,EAAE,CAAC;oBACT,WAAW,EAAE,CAAC;iBACf;gBACD,OAAO,EAAE,EAAE;gBACX,cAAc,EAAE,EAAE;aACnB,CAAA;QACH,CAAC;QAED,sEAAsE;QACtE,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;QAE1D,sCAAsC;QACtC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAoB,OAAO,CAAC,MAAM,CAAC,CAAA;QAErE,sBAAsB;QACtB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAClC,CAAC;QAED,+BAA+B;QAC/B,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAgB,EAAE,CAAC,CAAA;QAE3D,wDAAwD;QACxD,MAAM,MAAM,GAAG,CAAC,SAAiB,EAA8B,EAAE,CAC/D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,OAAO,IAAI,EAAE,CAAC;gBACZ,qCAAqC;gBACrC,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBAE3C,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBAC/B,+BAA+B;oBAC/B,MAAK;gBACP,CAAC;gBAED,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAA;gBAC9B,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;gBAE9C,gBAAgB;gBAChB,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,GAAG,OAAO,EAAE,MAAM,CAAC,CAAC,CAAA;YACxE,CAAC;QACH,CAAC,CAAC,CAAA;QAEJ,yBAAyB;QACzB,MAAM,MAAM,GAAsC,EAAE,CAAA;QACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;YAC3C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACpB,CAAC;QAED,kCAAkC;QAClC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC1B,CAAC;QAED,iBAAiB;QACjB,KAAK,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;QAE5B,wBAAwB;QACxB,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAA;QAErD,oBAAoB;QACpB,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,gBAAgB,CAAC,YAAY,EAAE,SAAS,EAAE,UAAU,CAAC,CAAA;QAElF,sEAAsE;QACtE,yDAAyD;QACzD,iEAAiE;QACjE,yDAAyD;QACzD,MAAM,cAAc,GAAa,EAAE,CAAA;QAEnC,OAAO;YACL,OAAO,EAAE;gBACP,GAAG,OAAO;gBACV,WAAW,EAAE,cAAc,CAAC,MAAM;aACnC;YACD,OAAO;YACP,cAAc;SACf,CAAA;IACH,CAAC,CAAC,CAAA;IAEJ;;OAEG;IACH,MAAM,aAAa,GAAG,CACpB,SAA4B,EAC5B,OAA2B,EAC4B,EAAE,CACzD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,qBAAqB;QACrB,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO;gBACL,OAAO,EAAE;oBACP,YAAY,EAAE,CAAC;oBACf,YAAY,EAAE,CAAC;oBACf,UAAU,EAAE,CAAC;oBACb,QAAQ,EAAE,CAAC;oBACX,cAAc,EAAE,EAAE;oBAClB,SAAS,EAAE,CAAC;oBACZ,UAAU,EAAE,CAAC;oBACb,OAAO,EAAE,CAAC;oBACV,OAAO,EAAE,CAAC;oBACV,MAAM,EAAE,CAAC;oBACT,WAAW,EAAE,CAAC;iBACf;gBACD,OAAO,EAAE,EAAE;gBACX,cAAc,EAAE,EAAE;aACnB,CAAA;QACH,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAC5B,MAAM,OAAO,GAAyB,EAAE,CAAA;QACxC,IAAI,MAAM,GAAG,CAAC,CAAA;QACd,IAAI,SAAS,GAAG,CAAC,CAAA;QACjB,IAAI,UAAU,GAAG,CAAC,CAAA;QAClB,IAAI,OAAO,GAAG,CAAC,CAAA;QACf,IAAI,OAAO,GAAG,CAAC,CAAA;QAEf,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,IAAI,CACrE,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE;gBACnB,MAAM,EAAE,CAAA;gBACR,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;YAC7B,CAAC,CAAC,CACH,CAAA;YAED,IAAI,MAAM,EAAE,CAAC;gBACX,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBACpB,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC;oBACtB,KAAK,WAAW;wBACd,SAAS,EAAE,CAAA;wBACX,MAAK;oBACP,KAAK,aAAa;wBAChB,UAAU,EAAE,CAAA;wBACZ,MAAK;oBACP,KAAK,SAAS;wBACZ,OAAO,EAAE,CAAA;wBACT,MAAK;oBACP,KAAK,aAAa;wBAChB,OAAO,EAAE,CAAA;wBACT,MAAK;gBACT,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,OAAO,EAAE;gBACP,YAAY,EAAE,OAAO,CAAC,MAAM,GAAG,MAAM;gBACrC,YAAY,EAAE,CAAC;gBACf,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;gBAChC,cAAc,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;gBACxC,SAAS;gBACT,UAAU;gBACV,OAAO;gBACP,OAAO;gBACP,MAAM;gBACN,WAAW,EAAE,CAAC;aACf;YACD,OAAO;YACP,cAAc,EAAE,EAAE;SACnB,CAAA;IACH,CAAC,CAAC,CAAA;IAEJ,OAAO;QACL,aAAa,EAAE,CAAC,SAAS,EAAE,OAAO,GAAG,EAAE,EAAE,EAAE,CACzC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,yDAAyD;YACzD,MAAM,QAAQ,GACZ,OAAO,CAAC,UAAU,IAAI,SAAS,CAAC,MAAM,IAAI,eAAe,CAAA;YAE3D,IAAI,QAAQ,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;YAC5C,CAAC;iBAAM,CAAC;gBACN,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;YACjD,CAAC;QACH,CAAC,CAAC;QAEJ,SAAS,EAAE,CAAC,OAAO,GAAG,EAAE,EAAE,EAAE,CAC1B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,YAAY,EAAE,CAAA;YAChD,MAAM,SAAS,GAAG,OAAO;iBACtB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;iBAC/C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAEnB,MAAM,QAAQ,GACZ,OAAO,CAAC,UAAU,IAAI,SAAS,CAAC,MAAM,IAAI,eAAe,CAAA;YAE3D,IAAI,QAAQ,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,SAAS,EAAE;oBAChC,GAAG,OAAO;oBACV,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,UAAU;iBAC7C,CAAC,CAAA;YACJ,CAAC;iBAAM,CAAC;gBACN,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,SAAS,EAAE;oBACrC,GAAG,OAAO;oBACV,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,UAAU;iBAC7C,CAAC,CAAA;YACJ,CAAC;QACH,CAAC,CAAC;QAEJ,UAAU,EAAE,CAAC,WAAW,EAAE,OAAO,GAAG,EAAE,EAAE,EAAE,CACxC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAA;YAC9C,MAAM,WAAW,GAAG,UAAU;iBAC3B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;iBACnD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;iBAC/C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAEnB,MAAM,QAAQ,GACZ,OAAO,CAAC,UAAU,IAAI,WAAW,CAAC,MAAM,IAAI,eAAe,CAAA;YAE7D,IAAI,QAAQ,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE;oBAClC,GAAG,OAAO;oBACV,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,QAAQ;iBAC3C,CAAC,CAAA;YACJ,CAAC;iBAAM,CAAC;gBACN,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,WAAW,EAAE;oBACvC,GAAG,OAAO;oBACV,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,QAAQ;iBAC3C,CAAC,CAAA;YACJ,CAAC;QACH,CAAC,CAAC;QAEJ,kBAAkB,EAAE,CAAC,SAAS,EAAE,OAAO,GAAG,EAAE,EAAE,EAAE,CAC9C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,qCAAqC;YACrC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAA;YAErC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAA;gBAC1D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;oBAC7B,IAAI,CAAC,OAAO,CAAC,UAAU,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;wBAC1C,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;oBAC5B,CAAC;gBACH,CAAC;YACH,CAAC;YAED,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;YAEzC,4DAA4D;YAC5D,MAAM,QAAQ,GACZ,OAAO,CAAC,UAAU,IAAI,SAAS,CAAC,MAAM,IAAI,eAAe,CAAA;YAE3D,IAAI,QAAQ,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,SAAS,EAAE;oBAChC,GAAG,OAAO;oBACV,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,UAAU;iBAC7C,CAAC,CAAA;YACJ,CAAC;iBAAM,CAAC;gBACN,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,SAAS,EAAE;oBACrC,GAAG,OAAO;oBACV,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,UAAU;iBAC7C,CAAC,CAAA;YACJ,CAAC;QACH,CAAC,CAAC;KACL,CAAA;AACH,CAAC,CAAC,CACH,CAAA"}

package/dist/services/sync-service.d.ts

@@ -0,0 +1,115 @@
+import { Context, Effect, Layer } from "effect";
+import { DatabaseError, ValidationError } from "../errors.js";
+import { SqliteClient } from "../db.js";
+import { TaskService } from "./task-service.js";
+import { TaskRepository } from "../repo/task-repo.js";
+import { DependencyRepository } from "../repo/dep-repo.js";
+/**
+ * Result of an export operation.
+ */
+export interface ExportResult {
+    readonly opCount: number;
+    readonly path: string;
+}
+/**
+ * Result of an import operation.
+ */
+export interface ImportResult {
+    readonly imported: number;
+    readonly skipped: number;
+    readonly conflicts: number;
+}
+/**
+ * Status of the sync system.
+ */
+export interface SyncStatus {
+    readonly dbTaskCount: number;
+    readonly jsonlOpCount: number;
+    readonly lastExport: Date | null;
+    readonly lastImport: Date | null;
+    readonly isDirty: boolean;
+    readonly autoSyncEnabled: boolean;
+}
+/**
+ * Result of a compact operation.
+ */
+export interface CompactResult {
+    readonly before: number;
+    readonly after: number;
+}
+/**
+ * Options for export operations.
+ */
+export interface ExportOptions {
+    readonly learnings?: boolean;
+    readonly fileLearnings?: boolean;
+    readonly attempts?: boolean;
+}
+/**
+ * Result of an exportAll operation.
+ */
+export interface ExportAllResult {
+    readonly tasks: ExportResult;
+    readonly learnings?: ExportResult;
+    readonly fileLearnings?: ExportResult;
+    readonly attempts?: ExportResult;
+}
+/**
+ * Result of an importAll operation.
+ */
+export interface ImportAllResult {
+    readonly tasks: ImportResult;
+    readonly learnings?: ImportResult;
+    readonly fileLearnings?: ImportResult;
+    readonly attempts?: ImportResult;
+}
+declare const SyncService_base: Context.TagClass<SyncService, "SyncService", {
+    /**
+     * Export all tasks and dependencies to JSONL file.
+     * @param path Optional path (default: .tx/tasks.jsonl)
+     */
+    readonly export: (path?: string) => Effect.Effect<ExportResult, DatabaseError>;
+    /**
+     * Import tasks and dependencies from JSONL file.
+     * Uses timestamp-based conflict resolution (later wins).
+     * @param path Optional path (default: .tx/tasks.jsonl)
+     */
+    readonly import: (path?: string) => Effect.Effect<ImportResult, ValidationError | DatabaseError>;
+    /**
+     * Get current sync status.
+     */
+    readonly status: () => Effect.Effect<SyncStatus, DatabaseError>;
+    /**
+     * Enable auto-sync mode.
+     */
+    readonly enableAutoSync: () => Effect.Effect<void, DatabaseError>;
+    /**
+     * Disable auto-sync mode.
+     */
+    readonly disableAutoSync: () => Effect.Effect<void, DatabaseError>;
+    /**
+     * Check if auto-sync is enabled.
+     */
+    readonly isAutoSyncEnabled: () => Effect.Effect<boolean, DatabaseError>;
+    /**
+     * Compact the JSONL file by deduplicating operations.
+     */
+    readonly compact: (path?: string) => Effect.Effect<CompactResult, DatabaseError | ValidationError>;
+    /**
+     * Set last export timestamp in config.
+     */
+    readonly setLastExport: (timestamp: Date) => Effect.Effect<void, DatabaseError>;
+    /**
+     * Set last import timestamp in config.
+     */
+    readonly setLastImport: (timestamp: Date) => Effect.Effect<void, DatabaseError>;
+}>;
+/**
+ * SyncService provides JSONL-based export/import for git-tracked task syncing.
+ * See DD-009 for full specification.
+ */
+export declare class SyncService extends SyncService_base {
+}
+export declare const SyncServiceLive: Layer.Layer<SyncService, never, SqliteClient | TaskRepository | DependencyRepository | TaskService>;
+export {};
+//# sourceMappingURL=sync-service.d.ts.map

package/dist/services/sync-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-service.d.ts","sourceRoot":"","sources":["../../src/services/sync-service.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAU,MAAM,QAAQ,CAAA;AAGvD,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAA;AAW1D;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,IAAI,GAAG,IAAI,CAAA;IAChC,QAAQ,CAAC,UAAU,EAAE,IAAI,GAAG,IAAI,CAAA;IAChC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAA;CAClC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAA;IAC5B,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAA;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,YAAY,CAAA;IACjC,QAAQ,CAAC,aAAa,CAAC,EAAE,YAAY,CAAA;IACrC,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAA;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,YAAY,CAAA;IACjC,QAAQ,CAAC,aAAa,CAAC,EAAE,YAAY,CAAA;IACrC,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAA;CACjC;;IASG;;;OAGG;qBACc,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,aAAa,CAAC;IAE9E;;;;OAIG;qBACc,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,eAAe,GAAG,aAAa,CAAC;IAEhG;;OAEG;qBACc,MAAM,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,aAAa,CAAC;IAE/D;;OAEG;6BACsB,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;IAEjE;;OAEG;8BACuB,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;IAElE;;OAEG;gCACyB,MAAM,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC;IAEvE;;OAEG;sBACe,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,aAAa,GAAG,eAAe,CAAC;IAElG;;OAEG;4BACqB,CAAC,SAAS,EAAE,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;IAE/E;;OAEG;4BACqB,CAAC,SAAS,EAAE,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;;AArDnF;;;GAGG;AACH,qBAAa,WAAY,SAAQ,gBAmD9B;CAAG;AA8CN,eAAO,MAAM,eAAe,qGAoW3B,CAAA"}