@jamesaphoenix/tx-core 0.4.1

package/dist/services/orchestrator-service.js

@@ -0,0 +1,203 @@
+/**
+ * OrchestratorService - PRD-018
+ *
+ * Manages orchestrator lifecycle and reconciliation loop.
+ * Uses Effect-TS patterns per DD-002.
+ */
+import { Context, Effect, Layer } from "effect";
+import { OrchestratorStateRepository } from "../repo/orchestrator-state-repo.js";
+import { TaskRepository } from "../repo/task-repo.js";
+import { ClaimRepository } from "../repo/claim-repo.js";
+import { WorkerService } from "./worker-service.js";
+import { ClaimService } from "./claim-service.js";
+import { OrchestratorError } from "../errors.js";
+/**
+ * Default orchestrator configuration values.
+ */
+const DEFAULT_CONFIG = {
+    workerPoolSize: 1,
+    heartbeatIntervalSeconds: 30,
+    leaseDurationMinutes: 30,
+    reconcileIntervalSeconds: 60,
+    shutdownTimeoutSeconds: 300,
+    maxClaimRenewals: 10
+};
+export class OrchestratorService extends Context.Tag("OrchestratorService")() {
+}
+export const OrchestratorServiceLive = Layer.effect(OrchestratorService, Effect.gen(function* () {
+    const stateRepo = yield* OrchestratorStateRepository;
+    const workerService = yield* WorkerService;
+    const claimService = yield* ClaimService;
+    const taskRepo = yield* TaskRepository;
+    const claimRepo = yield* ClaimRepository;
+    return {
+        start: (config) => Effect.gen(function* () {
+            const currentState = yield* stateRepo.get();
+            // Check if already running
+            if (currentState.status === "running") {
+                return yield* Effect.fail(new OrchestratorError({
+                    code: "ALREADY_RUNNING",
+                    reason: "Orchestrator is already running"
+                }));
+            }
+            // Check if in an incompatible state
+            if (currentState.status === "stopping") {
+                return yield* Effect.fail(new OrchestratorError({
+                    code: "INVALID_STATE",
+                    reason: "Orchestrator is currently stopping"
+                }));
+            }
+            const mergedConfig = { ...DEFAULT_CONFIG, ...config };
+            // Transition to starting
+            yield* stateRepo.update({
+                status: "starting",
+                pid: process.pid,
+                startedAt: new Date(),
+                workerPoolSize: mergedConfig.workerPoolSize,
+                reconcileIntervalSeconds: mergedConfig.reconcileIntervalSeconds,
+                heartbeatIntervalSeconds: mergedConfig.heartbeatIntervalSeconds,
+                leaseDurationMinutes: mergedConfig.leaseDurationMinutes,
+                metadata: {
+                    maxClaimRenewals: mergedConfig.maxClaimRenewals,
+                    shutdownTimeoutSeconds: mergedConfig.shutdownTimeoutSeconds
+                }
+            });
+            // Transition to running
+            yield* stateRepo.update({ status: "running" });
+            yield* Effect.log(`Orchestrator started with pool size ${mergedConfig.workerPoolSize}`);
+        }),
+        stop: (graceful) => Effect.gen(function* () {
+            const currentState = yield* stateRepo.get();
+            // Check if not running
+            if (currentState.status !== "running") {
+                return yield* Effect.fail(new OrchestratorError({
+                    code: "NOT_RUNNING",
+                    reason: "Orchestrator is not running"
+                }));
+            }
+            // Transition to stopping
+            yield* stateRepo.update({ status: "stopping" });
+            yield* Effect.log("Orchestrator stopping...");
+            if (graceful) {
+                // Get all active workers
+                const workers = yield* workerService.list({
+                    status: ["idle", "busy", "starting"]
+                });
+                // Signal workers to stop
+                for (const worker of workers) {
+                    yield* workerService.updateStatus(worker.id, "stopping").pipe(Effect.catchAll(() => Effect.void));
+                }
+                // Note: In a full implementation, we would wait for workers
+                // to finish their current tasks with a timeout.
+                // For Phase 1, we just mark them as stopping.
+                yield* Effect.log(`Signaled ${workers.length} worker(s) to stop`);
+            }
+            // Mark any remaining active workers as dead
+            const remainingWorkers = yield* workerService.list({
+                status: ["idle", "busy", "starting", "stopping"]
+            });
+            for (const worker of remainingWorkers) {
+                yield* workerService.markDead(worker.id).pipe(Effect.catchAll(() => Effect.void));
+            }
+            // Transition to stopped
+            yield* stateRepo.update({
+                status: "stopped",
+                pid: null
+            });
+            yield* Effect.log("Orchestrator stopped");
+        }),
+        status: () => stateRepo.get(),
+        reconcile: () => Effect.gen(function* () {
+            const startTime = Date.now();
+            let deadWorkersFound = 0;
+            let expiredClaimsReleased = 0;
+            let orphanedTasksRecovered = 0;
+            let staleStatesFixed = 0;
+            // 1. Detect dead workers (missed 2+ heartbeats)
+            const deadWorkers = yield* workerService.findDead({
+                missedHeartbeats: 2
+            });
+            for (const worker of deadWorkers) {
+                yield* workerService.markDead(worker.id).pipe(Effect.catchAll(() => Effect.void));
+                // Release any claims held by this dead worker
+                yield* claimService.releaseByWorker(worker.id).pipe(Effect.catchAll(() => Effect.succeed(0)));
+                deadWorkersFound++;
+            }
+            // 2. Expire stale claims (past lease expiration)
+            const expiredClaims = yield* claimService.getExpired();
+            for (const claim of expiredClaims) {
+                yield* claimService.expire(claim.id).pipe(Effect.catchAll(() => Effect.void));
+                // Return task to ready state if it was active
+                const task = yield* taskRepo.findById(claim.taskId);
+                if (task && task.status === "active") {
+                    const now = new Date();
+                    yield* taskRepo.update({
+                        ...task,
+                        status: "ready",
+                        updatedAt: now
+                    });
+                }
+                expiredClaimsReleased++;
+            }
+            // 3. Find orphaned tasks (status='active' but no active claim)
+            const activeTasks = yield* taskRepo.findAll({ status: "active" });
+            for (const task of activeTasks) {
+                const activeClaim = yield* claimRepo.findActiveByTaskId(task.id);
+                if (!activeClaim) {
+                    // Task is orphaned - return to ready state
+                    const now = new Date();
+                    yield* taskRepo.update({
+                        ...task,
+                        status: "ready",
+                        updatedAt: now
+                    });
+                    orphanedTasksRecovered++;
+                }
+            }
+            // 4. Fix workers marked busy but with no current_task_id
+            const busyWorkers = yield* workerService.list({ status: ["busy"] });
+            for (const worker of busyWorkers) {
+                if (worker.currentTaskId === null) {
+                    yield* workerService.updateStatus(worker.id, "idle").pipe(Effect.catchAll(() => Effect.void));
+                    staleStatesFixed++;
+                }
+            }
+            // 5. Fix workers with current_task_id but task is not active
+            for (const worker of busyWorkers) {
+                if (worker.currentTaskId) {
+                    const task = yield* taskRepo.findById(worker.currentTaskId);
+                    if (!task || task.status !== "active") {
+                        yield* workerService.updateStatus(worker.id, "idle").pipe(Effect.catchAll(() => Effect.void));
+                        staleStatesFixed++;
+                    }
+                }
+            }
+            const reconcileTime = Date.now() - startTime;
+            // Update last reconcile timestamp
+            yield* stateRepo.update({
+                lastReconcileAt: new Date()
+            });
+            // Log if any issues were found
+            if (deadWorkersFound > 0 ||
+                expiredClaimsReleased > 0 ||
+                orphanedTasksRecovered > 0 ||
+                staleStatesFixed > 0) {
+                yield* Effect.log(`Reconciliation: ${deadWorkersFound} dead workers, ` +
+                    `${expiredClaimsReleased} expired claims, ` +
+                    `${orphanedTasksRecovered} orphaned tasks, ` +
+                    `${staleStatesFixed} stale states fixed ` +
+                    `(${reconcileTime}ms)`);
+            }
+            // Build and return the result
+            const result = {
+                deadWorkersFound,
+                expiredClaimsReleased,
+                orphanedTasksRecovered,
+                staleStatesFixed,
+                reconcileTime
+            };
+            return result;
+        })
+    };
+}));
+//# sourceMappingURL=orchestrator-service.js.map

package/dist/services/orchestrator-service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator-service.js","sourceRoot":"","sources":["../../src/services/orchestrator-service.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAA;AAChF,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAiB,iBAAiB,EAAE,MAAM,cAAc,CAAA;AAe/D;;GAEG;AACH,MAAM,cAAc,GAAiC;IACnD,cAAc,EAAE,CAAC;IACjB,wBAAwB,EAAE,EAAE;IAC5B,oBAAoB,EAAE,EAAE;IACxB,wBAAwB,EAAE,EAAE;IAC5B,sBAAsB,EAAE,GAAG;IAC3B,gBAAgB,EAAE,EAAE;CACrB,CAAA;AAED,MAAM,OAAO,mBAAoB,SAAQ,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,EA+BxE;CAAG;AAEN,MAAM,CAAC,MAAM,uBAAuB,GAAG,KAAK,CAAC,MAAM,CACjD,mBAAmB,EACnB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,2BAA2B,CAAA;IACpD,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,aAAa,CAAA;IAC1C,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;IACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,cAAc,CAAA;IACtC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,eAAe,CAAA;IAExC,OAAO;QACL,KAAK,EAAE,CAAC,MAAM,EAAE,EAAE,CAChB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,CAAA;YAE3C,2BAA2B;YAC3B,IAAI,YAAY,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBACtC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,iBAAiB,CAAC;oBACpB,IAAI,EAAE,iBAAiB;oBACvB,MAAM,EAAE,iCAAiC;iBAC1C,CAAC,CACH,CAAA;YACH,CAAC;YAED,oCAAoC;YACpC,IAAI,YAAY,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBACvC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,iBAAiB,CAAC;oBACpB,IAAI,EAAE,eAAe;oBACrB,MAAM,EAAE,oCAAoC;iBAC7C,CAAC,CACH,CAAA;YACH,CAAC;YAED,MAAM,YAAY,GAAG,EAAE,GAAG,cAAc,EAAE,GAAG,MAAM,EAAE,CAAA;YAErD,yBAAyB;YACzB,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC;gBACtB,MAAM,EAAE,UAAU;gBAClB,GAAG,EAAE,OAAO,CAAC,GAAG;gBAChB,SAAS,EAAE,IAAI,IAAI,EAAE;gBACrB,cAAc,EAAE,YAAY,CAAC,cAAc;gBAC3C,wBAAwB,EAAE,YAAY,CAAC,wBAAwB;gBAC/D,wBAAwB,EAAE,YAAY,CAAC,wBAAwB;gBAC/D,oBAAoB,EAAE,YAAY,CAAC,oBAAoB;gBACvD,QAAQ,EAAE;oBACR,gBAAgB,EAAE,YAAY,CAAC,gBAAgB;oBAC/C,sBAAsB,EAAE,YAAY,CAAC,sBAAsB;iBAC5D;aACF,CAAC,CAAA;YAEF,wBAAwB;YACxB,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;YAC9C,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACf,uCAAuC,YAAY,CAAC,cAAc,EAAE,CACrE,CAAA;QACH,CAAC,CAAC;QAEJ,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,CACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,CAAA;YAE3C,uBAAuB;YACvB,IAAI,YAAY,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBACtC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,iBAAiB,CAAC;oBACpB,IAAI,EAAE,aAAa;oBACnB,MAAM,EAAE,6BAA6B;iBACtC,CAAC,CACH,CAAA;YACH,CAAC;YAED,yBAAyB;YACzB,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAA;YAC/C,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAA;YAE7C,IAAI,QAAQ,EAAE,CAAC;gBACb,yBAAyB;gBACzB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;oBACxC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC;iBACrC,CAAC,CAAA;gBAEF,yBAAyB;gBACzB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;oBAC7B,KAAK,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,IAAI,CAC3D,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACnC,CAAA;gBACH,CAAC;gBAED,4DAA4D;gBAC5D,gDAAgD;gBAChD,8CAA8C;gBAE9C,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACf,YAAY,OAAO,CAAC,MAAM,oBAAoB,CAC/C,CAAA;YACH,CAAC;YAED,4CAA4C;YAC5C,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;gBACjD,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC;aACjD,CAAC,CAAA;YAEF,KAAK,MAAM,MAAM,IAAI,gBAAgB,EAAE,CAAC;gBACtC,KAAK,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAC3C,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACnC,CAAA;YACH,CAAC;YAED,wBAAwB;YACxB,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC;gBACtB,MAAM,EAAE,SAAS;gBACjB,GAAG,EAAE,IAAI;aACV,CAAC,CAAA;YAEF,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAA;QAC3C,CAAC,CAAC;QAEJ,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE;QAE7B,SAAS,EAAE,GAAG,EAAE,CACd,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;YAC5B,IAAI,gBAAgB,GAAG,CAAC,CAAA;YACxB,IAAI,qBAAqB,GAAG,CAAC,CAAA;YAC7B,IAAI,sBAAsB,GAAG,CAAC,CAAA;YAC9B,IAAI,gBAAgB,GAAG,CAAC,CAAA;YAExB,gDAAgD;YAChD,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC;gBAChD,gBAAgB,EAAE,CAAC;aACpB,CAAC,CAAA;YAEF,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;gBACjC,KAAK,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAC3C,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACnC,CAAA;gBACD,8CAA8C;gBAC9C,KAAK,CAAC,CAAC,YAAY,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CACjD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CACzC,CAAA;gBACD,gBAAgB,EAAE,CAAA;YACpB,CAAC;YAED,iDAAiD;YACjD,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,UAAU,EAAE,CAAA;YAEtD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;gBAClC,KAAK,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CACvC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACnC,CAAA;gBACD,8CAA8C;gBAC9C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;gBACnD,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBACrC,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAA;oBACtB,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;wBACrB,GAAG,IAAI;wBACP,MAAM,EAAE,OAAO;wBACf,SAAS,EAAE,GAAG;qBACf,CAAC,CAAA;gBACJ,CAAC;gBACD,qBAAqB,EAAE,CAAA;YACzB,CAAC;YAED,+DAA+D;YAC/D,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAA;YAEjE,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;gBAC/B,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAChE,IAAI,CAAC,WAAW,EAAE,CAAC;oBACjB,2CAA2C;oBAC3C,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAA;oBACtB,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;wBACrB,GAAG,IAAI;wBACP,MAAM,EAAE,OAAO;wBACf,SAAS,EAAE,GAAG;qBACf,CAAC,CAAA;oBACF,sBAAsB,EAAE,CAAA;gBAC1B,CAAC;YACH,CAAC;YAED,yDAAyD;YACzD,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAEnE,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;gBACjC,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;oBAClC,KAAK,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,IAAI,CACvD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACnC,CAAA;oBACD,gBAAgB,EAAE,CAAA;gBACpB,CAAC;YACH,CAAC;YAED,6DAA6D;YAC7D,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;gBACjC,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;oBACzB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,CAAA;oBAC3D,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;wBACtC,KAAK,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,IAAI,CACvD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACnC,CAAA;wBACD,gBAAgB,EAAE,CAAA;oBACpB,CAAC;gBACH,CAAC;YACH,CAAC;YAED,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAA;YAE5C,kCAAkC;YAClC,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC;gBACtB,eAAe,EAAE,IAAI,IAAI,EAAE;aAC5B,CAAC,CAAA;YAEF,+BAA+B;YAC/B,IACE,gBAAgB,GAAG,CAAC;gBACpB,qBAAqB,GAAG,CAAC;gBACzB,sBAAsB,GAAG,CAAC;gBAC1B,gBAAgB,GAAG,CAAC,EACpB,CAAC;gBACD,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACf,mBAAmB,gBAAgB,iBAAiB;oBAClD,GAAG,qBAAqB,mBAAmB;oBAC3C,GAAG,sBAAsB,mBAAmB;oBAC5C,GAAG,gBAAgB,sBAAsB;oBACzC,IAAI,aAAa,KAAK,CACzB,CAAA;YACH,CAAC;YAED,8BAA8B;YAC9B,MAAM,MAAM,GAAyB;gBACnC,gBAAgB;gBAChB,qBAAqB;gBACrB,sBAAsB;gBACtB,gBAAgB;gBAChB,aAAa;aACd,CAAA;YAED,OAAO,MAAM,CAAA;QACf,CAAC,CAAC;KACL,CAAA;AACH,CAAC,CAAC,CACH,CAAA"}

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

@@ -0,0 +1,67 @@
+import { Context, Effect, Layer } from "effect";
+import { CandidateNotFoundError, DatabaseError, ValidationError } from "../errors.js";
+import { CandidateRepository } from "../repo/candidate-repo.js";
+import { LearningService } from "./learning-service.js";
+import { EdgeService } from "./edge-service.js";
+import type { LearningCandidate, CandidateFilter, CandidateId, Learning } from "@jamesaphoenix/tx-types";
+/**
+ * Result of promoting a candidate to the learnings table.
+ */
+export interface PromotionResult {
+    /** The updated candidate with promoted status */
+    readonly candidate: LearningCandidate;
+    /** The newly created learning */
+    readonly learning: Learning;
+}
+/**
+ * Result of auto-promotion batch operation.
+ */
+export interface AutoPromoteResult {
+    /** Number of candidates auto-promoted */
+    readonly promoted: number;
+    /** Number of candidates skipped (already processed or low confidence) */
+    readonly skipped: number;
+    /** Number of candidates that failed to promote */
+    readonly failed: number;
+    /** IDs of promoted learnings */
+    readonly learningIds: readonly number[];
+}
+declare const PromotionService_base: Context.TagClass<PromotionService, "PromotionService", {
+    /**
+     * List candidates matching the given filter.
+     * Supports filtering by status, confidence, category, and pagination.
+     */
+    readonly list: (filter: CandidateFilter) => Effect.Effect<readonly LearningCandidate[], DatabaseError>;
+    /**
+     * Promote a candidate to the learnings table.
+     * Creates a new learning and updates the candidate status to 'promoted'.
+     */
+    readonly promote: (id: CandidateId) => Effect.Effect<PromotionResult, CandidateNotFoundError | DatabaseError>;
+    /**
+     * Reject a candidate with a reason.
+     * Updates the candidate status to 'rejected' and stores the rejection reason.
+     */
+    readonly reject: (id: CandidateId, reason: string) => Effect.Effect<LearningCandidate, CandidateNotFoundError | ValidationError | DatabaseError>;
+    /**
+     * Auto-promote high-confidence candidates.
+     * Promotes all pending candidates with 'high' confidence level.
+     * Uses 'auto' as the reviewer identifier.
+     */
+    readonly autoPromote: () => Effect.Effect<AutoPromoteResult, DatabaseError>;
+    /**
+     * Get all pending candidates awaiting review.
+     * Convenience method equivalent to list({ status: 'pending' }).
+     */
+    readonly getPending: () => Effect.Effect<readonly LearningCandidate[], DatabaseError>;
+}>;
+/**
+ * PromotionService manages the lifecycle of learning candidates,
+ * including listing, promoting to learnings, rejecting, and auto-promotion.
+ *
+ * @see PRD-015 for the knowledge promotion pipeline
+ */
+export declare class PromotionService extends PromotionService_base {
+}
+export declare const PromotionServiceLive: Layer.Layer<PromotionService, never, CandidateRepository | EdgeService | LearningService>;
+export {};
+//# sourceMappingURL=promotion-service.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"promotion-service.d.ts","sourceRoot":"","sources":["../../src/services/promotion-service.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,sBAAsB,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAA;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EACV,iBAAiB,EACjB,eAAe,EACf,WAAW,EACX,QAAQ,EACT,MAAM,yBAAyB,CAAA;AAEhC;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,iDAAiD;IACjD,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAA;IACrC,iCAAiC;IACjC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,yCAAyC;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,yEAAyE;IACzE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,kDAAkD;IAClD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,gCAAgC;IAChC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAA;CACxC;;IAWG;;;OAGG;mBACY,CAAC,MAAM,EAAE,eAAe,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,iBAAiB,EAAE,EAAE,aAAa,CAAC;IAEtG;;;OAGG;sBACe,CAAC,EAAE,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,sBAAsB,GAAG,aAAa,CAAC;IAE7G;;;OAGG;qBACc,CAAC,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,sBAAsB,GAAG,eAAe,GAAG,aAAa,CAAC;IAEhJ;;;;OAIG;0BACmB,MAAM,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,aAAa,CAAC;IAE3E;;;OAGG;yBACkB,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,iBAAiB,EAAE,EAAE,aAAa,CAAC;;AAtCzF;;;;;GAKG;AACH,qBAAa,gBAAiB,SAAQ,qBAkCnC;CAAG;AAKN,eAAO,MAAM,oBAAoB,2FAiLhC,CAAA"}

package/dist/services/promotion-service.js

@@ -0,0 +1,151 @@
+import { Context, Effect, Layer } from "effect";
+import { CandidateNotFoundError, DatabaseError, ValidationError } from "../errors.js";
+import { CandidateRepository } from "../repo/candidate-repo.js";
+import { LearningService } from "./learning-service.js";
+import { EdgeService } from "./edge-service.js";
+/**
+ * PromotionService manages the lifecycle of learning candidates,
+ * including listing, promoting to learnings, rejecting, and auto-promotion.
+ *
+ * @see PRD-015 for the knowledge promotion pipeline
+ */
+export class PromotionService extends Context.Tag("PromotionService")() {
+}
+/** Duplicate detection threshold for auto-promotion (0.85 = high similarity) */
+const DUPLICATE_MIN_SCORE = 0.85;
+export const PromotionServiceLive = Layer.effect(PromotionService, Effect.gen(function* () {
+    const candidateRepo = yield* CandidateRepository;
+    const learningService = yield* LearningService;
+    const edgeService = yield* EdgeService;
+    /**
+     * Promote a single candidate with optional reviewer identifier.
+     * Internal helper shared by promote() and autoPromote().
+     */
+    const promoteCandidate = (candidate, reviewedBy) => Effect.gen(function* () {
+        // Create learning from candidate content
+        // Map ValidationError to DatabaseError (validation should not fail for existing candidates)
+        const learning = yield* Effect.mapError(learningService.create({
+            content: candidate.content,
+            sourceType: "run",
+            sourceRef: candidate.sourceRunId ?? candidate.sourceFile,
+            category: candidate.category
+        }), (error) => error._tag === "ValidationError"
+            ? new DatabaseError({ cause: error.reason })
+            : error);
+        // Create DERIVED_FROM edge for provenance tracking
+        // Link the learning back to its source (run or task)
+        if (candidate.sourceRunId) {
+            yield* Effect.catchAll(edgeService.createEdge({
+                edgeType: "DERIVED_FROM",
+                sourceType: "learning",
+                sourceId: String(learning.id),
+                targetType: "run",
+                targetId: candidate.sourceRunId,
+                weight: 1.0
+            }), () => Effect.void // Ignore edge creation failures
+            );
+        }
+        else if (candidate.sourceTaskId) {
+            yield* Effect.catchAll(edgeService.createEdge({
+                edgeType: "DERIVED_FROM",
+                sourceType: "learning",
+                sourceId: String(learning.id),
+                targetType: "task",
+                targetId: candidate.sourceTaskId,
+                weight: 1.0
+            }), () => Effect.void // Ignore edge creation failures
+            );
+        }
+        // Update candidate status to promoted
+        const now = new Date();
+        const updatedCandidate = yield* candidateRepo.update(candidate.id, {
+            status: "promoted",
+            reviewedAt: now,
+            reviewedBy,
+            promotedLearningId: learning.id
+        });
+        if (!updatedCandidate) {
+            return yield* Effect.fail(new CandidateNotFoundError({ id: candidate.id }));
+        }
+        return { candidate: updatedCandidate, learning };
+    });
+    return {
+        list: (filter) => candidateRepo.findByFilter(filter),
+        promote: (id) => Effect.gen(function* () {
+            const candidate = yield* candidateRepo.findById(id);
+            if (!candidate) {
+                return yield* Effect.fail(new CandidateNotFoundError({ id }));
+            }
+            return yield* promoteCandidate(candidate, "manual");
+        }),
+        reject: (id, reason) => Effect.gen(function* () {
+            // Validate reason is provided
+            if (!reason || reason.trim().length === 0) {
+                return yield* Effect.fail(new ValidationError({ reason: "Rejection reason is required" }));
+            }
+            const candidate = yield* candidateRepo.findById(id);
+            if (!candidate) {
+                return yield* Effect.fail(new CandidateNotFoundError({ id }));
+            }
+            const now = new Date();
+            const updatedCandidate = yield* candidateRepo.update(id, {
+                status: "rejected",
+                reviewedAt: now,
+                reviewedBy: "manual",
+                rejectionReason: reason.trim()
+            });
+            if (!updatedCandidate) {
+                return yield* Effect.fail(new CandidateNotFoundError({ id }));
+            }
+            return updatedCandidate;
+        }),
+        autoPromote: () => Effect.gen(function* () {
+            // Get all pending high-confidence candidates
+            const candidates = yield* candidateRepo.findByFilter({
+                status: "pending",
+                confidence: "high"
+            });
+            let promoted = 0;
+            let skipped = 0;
+            let failed = 0;
+            const learningIds = [];
+            for (const candidate of candidates) {
+                // Check for duplicates using semantic search
+                const searchResult = yield* Effect.catchAll(learningService.search({
+                    query: candidate.content,
+                    limit: 1,
+                    minScore: DUPLICATE_MIN_SCORE
+                }), () => Effect.succeed([]));
+                // If a highly similar learning exists, skip this candidate
+                if (searchResult.length > 0) {
+                    skipped++;
+                    // Mark as merged with the existing learning
+                    yield* Effect.catchAll(candidateRepo.update(candidate.id, {
+                        status: "merged",
+                        reviewedAt: new Date(),
+                        reviewedBy: "auto",
+                        promotedLearningId: searchResult[0].id
+                    }), () => Effect.void);
+                    continue;
+                }
+                // Promote the candidate
+                const result = yield* Effect.either(promoteCandidate(candidate, "auto"));
+                if (result._tag === "Right") {
+                    promoted++;
+                    learningIds.push(result.right.learning.id);
+                }
+                else {
+                    failed++;
+                }
+            }
+            return {
+                promoted,
+                skipped,
+                failed,
+                learningIds
+            };
+        }),
+        getPending: () => candidateRepo.findByFilter({ status: "pending" })
+    };
+}));
+//# sourceMappingURL=promotion-service.js.map

package/dist/services/promotion-service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"promotion-service.js","sourceRoot":"","sources":["../../src/services/promotion-service.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,sBAAsB,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAA;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAgC/C;;;;;GAKG;AACH,MAAM,OAAO,gBAAiB,SAAQ,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAkClE;CAAG;AAEN,gFAAgF;AAChF,MAAM,mBAAmB,GAAG,IAAI,CAAA;AAEhC,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CAAC,MAAM,CAC9C,gBAAgB,EAChB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,mBAAmB,CAAA;IAChD,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,eAAe,CAAA;IAC9C,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,WAAW,CAAA;IAEtC;;;OAGG;IACH,MAAM,gBAAgB,GAAG,CACvB,SAA4B,EAC5B,UAAkB,EACsD,EAAE,CAC1E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,yCAAyC;QACzC,4FAA4F;QAC5F,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CACrC,eAAe,CAAC,MAAM,CAAC;YACrB,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,UAAU,EAAE,KAAK;YACjB,SAAS,EAAE,SAAS,CAAC,WAAW,IAAI,SAAS,CAAC,UAAU;YACxD,QAAQ,EAAE,SAAS,CAAC,QAAQ;SAC7B,CAAC,EACF,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,KAAK,iBAAiB;YAC9B,CAAC,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;YAC5C,CAAC,CAAC,KAAK,CACZ,CAAA;QAED,mDAAmD;QACnD,qDAAqD;QACrD,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;YAC1B,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CACpB,WAAW,CAAC,UAAU,CAAC;gBACrB,QAAQ,EAAE,cAAc;gBACxB,UAAU,EAAE,UAAU;gBACtB,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7B,UAAU,EAAE,KAAK;gBACjB,QAAQ,EAAE,SAAS,CAAC,WAAW;gBAC/B,MAAM,EAAE,GAAG;aACZ,CAAC,EACF,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,gCAAgC;aACnD,CAAA;QACH,CAAC;aAAM,IAAI,SAAS,CAAC,YAAY,EAAE,CAAC;YAClC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CACpB,WAAW,CAAC,UAAU,CAAC;gBACrB,QAAQ,EAAE,cAAc;gBACxB,UAAU,EAAE,UAAU;gBACtB,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7B,UAAU,EAAE,MAAM;gBAClB,QAAQ,EAAE,SAAS,CAAC,YAAY;gBAChC,MAAM,EAAE,GAAG;aACZ,CAAC,EACF,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,gCAAgC;aACnD,CAAA;QACH,CAAC;QAED,sCAAsC;QACtC,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAA;QACtB,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE;YACjE,MAAM,EAAE,UAAU;YAClB,UAAU,EAAE,GAAG;YACf,UAAU;YACV,kBAAkB,EAAE,QAAQ,CAAC,EAAE;SAChC,CAAC,CAAA;QAEF,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;QAC7E,CAAC;QAED,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,QAAQ,EAAE,CAAA;IAClD,CAAC,CAAC,CAAA;IAEJ,OAAO;QACL,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,MAAM,CAAC;QAEpD,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CACd,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;YACnD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;YAC/D,CAAC;YAED,OAAO,KAAK,CAAC,CAAC,gBAAgB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;QACrD,CAAC,CAAC;QAEJ,MAAM,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,CACrB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,8BAA8B;YAC9B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC,CAAC,CAAA;YAC5F,CAAC;YAED,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;YACnD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;YAC/D,CAAC;YAED,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAA;YACtB,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE;gBACvD,MAAM,EAAE,UAAU;gBAClB,UAAU,EAAE,GAAG;gBACf,UAAU,EAAE,QAAQ;gBACpB,eAAe,EAAE,MAAM,CAAC,IAAI,EAAE;aAC/B,CAAC,CAAA;YAEF,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACtB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;YAC/D,CAAC;YAED,OAAO,gBAAgB,CAAA;QACzB,CAAC,CAAC;QAEJ,WAAW,EAAE,GAAG,EAAE,CAChB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,6CAA6C;YAC7C,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC;gBACnD,MAAM,EAAE,SAAS;gBACjB,UAAU,EAAE,MAAM;aACnB,CAAC,CAAA;YAEF,IAAI,QAAQ,GAAG,CAAC,CAAA;YAChB,IAAI,OAAO,GAAG,CAAC,CAAA;YACf,IAAI,MAAM,GAAG,CAAC,CAAA;YACd,MAAM,WAAW,GAAa,EAAE,CAAA;YAEhC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;gBACnC,6CAA6C;gBAC7C,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CACzC,eAAe,CAAC,MAAM,CAAC;oBACrB,KAAK,EAAE,SAAS,CAAC,OAAO;oBACxB,KAAK,EAAE,CAAC;oBACR,QAAQ,EAAE,mBAAmB;iBAC9B,CAAC,EACF,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,EAAW,CAAC,CAClC,CAAA;gBAED,2DAA2D;gBAC3D,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC5B,OAAO,EAAE,CAAA;oBACT,4CAA4C;oBAC5C,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CACpB,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE;wBACjC,MAAM,EAAE,QAAQ;wBAChB,UAAU,EAAE,IAAI,IAAI,EAAE;wBACtB,UAAU,EAAE,MAAM;wBAClB,kBAAkB,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE;qBACvC,CAAC,EACF,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAClB,CAAA;oBACD,SAAQ;gBACV,CAAC;gBAED,wBAAwB;gBACxB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAA;gBAExE,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC5B,QAAQ,EAAE,CAAA;oBACV,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;gBAC5C,CAAC;qBAAM,CAAC;oBACN,MAAM,EAAE,CAAA;gBACV,CAAC;YACH,CAAC;YAED,OAAO;gBACL,QAAQ;gBACR,OAAO;gBACP,MAAM;gBACN,WAAW;aACZ,CAAA;QACH,CAAC,CAAC;QAEJ,UAAU,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;KACpE,CAAA;AACH,CAAC,CAAC,CACH,CAAA"}

package/dist/services/query-expansion-service.d.ts

@@ -0,0 +1,55 @@
+import { Context, Effect, Layer } from "effect";
+declare const QueryExpansionUnavailableError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "QueryExpansionUnavailableError";
+} & Readonly<A>;
+/**
+ * Error indicating query expansion is unavailable.
+ */
+export declare class QueryExpansionUnavailableError extends QueryExpansionUnavailableError_base<{
+    readonly reason: string;
+}> {
+    get message(): string;
+}
+/**
+ * Result of query expansion.
+ */
+export interface QueryExpansionResult {
+    /** Original query */
+    readonly original: string;
+    /** Expanded queries (includes original plus alternatives) */
+    readonly expanded: readonly string[];
+    /** Whether expansion was performed (false if using noop) */
+    readonly wasExpanded: boolean;
+}
+declare const QueryExpansionService_base: Context.TagClass<QueryExpansionService, "QueryExpansionService", {
+    /** Expand a search query into multiple alternative phrasings */
+    readonly expand: (query: string) => Effect.Effect<QueryExpansionResult, QueryExpansionUnavailableError>;
+    /** Check if query expansion is available */
+    readonly isAvailable: () => Effect.Effect<boolean>;
+}>;
+/**
+ * QueryExpansionService uses an LLM to generate alternative phrasings of search queries.
+ * This improves recall by searching for semantically equivalent but differently worded queries.
+ *
+ * Design: Following DD-006 patterns for LLM integration.
+ * The service gracefully degrades when ANTHROPIC_API_KEY is not set.
+ */
+export declare class QueryExpansionService extends QueryExpansionService_base {
+}
+/**
+ * Noop implementation - returns original query only.
+ * Used when ANTHROPIC_API_KEY is not set or LLM features are disabled.
+ */
+export declare const QueryExpansionServiceNoop: Layer.Layer<QueryExpansionService, never, never>;
+/**
+ * Live implementation using Anthropic Claude API.
+ * Lazy-loads the SDK and caches the client.
+ */
+export declare const QueryExpansionServiceLive: Layer.Layer<QueryExpansionService, QueryExpansionUnavailableError, never>;
+/**
+ * Auto-detecting layer that uses Live if ANTHROPIC_API_KEY is set, Noop otherwise.
+ * This allows graceful degradation when the API key is not configured.
+ */
+export declare const QueryExpansionServiceAuto: Layer.Layer<QueryExpansionService, QueryExpansionUnavailableError, never>;
+export {};
+//# sourceMappingURL=query-expansion-service.d.ts.map

package/dist/services/query-expansion-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-expansion-service.d.ts","sourceRoot":"","sources":["../../src/services/query-expansion-service.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAkB,MAAM,QAAQ,CAAA;;;;AAG/D;;GAEG;AACH,qBAAa,8BAA+B,SAAQ,oCAAmD;IACrG,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB,CAAC;IACA,IAAI,OAAO,WAEV;CACF;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,qBAAqB;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,6DAA6D;IAC7D,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;IACpC,4DAA4D;IAC5D,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAA;CAC9B;;IA2BG,gEAAgE;qBAC/C,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,oBAAoB,EAAE,8BAA8B,CAAC;IACvG,4CAA4C;0BACtB,MAAM,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;;AAbtD;;;;;;GAMG;AACH,qBAAa,qBAAsB,SAAQ,0BAQxC;CAAG;AAyDN;;;GAGG;AACH,eAAO,MAAM,yBAAyB,kDAUrC,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,yBAAyB,2EAmFrC,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,yBAAyB,2EAUrC,CAAA"}