@jamesaphoenix/tx-core 0.4.2 → 0.4.3

package/dist/services/compaction-service.js

@@ -0,0 +1,369 @@
+/**
+ * CompactionService - Compacts completed tasks and exports learnings
+ *
+ * Implements PRD-006: Task Compaction & Learnings Export
+ * See DD-006: LLM Integration for implementation details
+ */
+import { Context, Effect, Layer, Config, Option } from "effect";
+import { writeFileSync, existsSync, readFileSync } from "node:fs";
+import { resolve, sep } from "node:path";
+import { SqliteClient } from "../db.js";
+import { DatabaseError, ExtractionUnavailableError, ValidationError } from "../errors.js";
+import { CompactionRepository } from "../repo/compaction-repo.js";
+import { rowToTask } from "../mappers/task.js";
+/**
+ * Parse LLM JSON response, handling common formatting issues.
+ * Robust parser following DD-006 patterns.
+ */
+const parseLlmJson = (raw) => {
+    // Step 1: Try direct parse
+    try {
+        return JSON.parse(raw);
+    }
+    catch { /* continue */ }
+    // Step 2: Strip markdown code fences
+    const fenceMatch = raw.match(/```(?:json)?\s*\n?([\s\S]*?)```/);
+    if (fenceMatch && fenceMatch[1]) {
+        try {
+            return JSON.parse(fenceMatch[1].trim());
+        }
+        catch { /* continue */ }
+    }
+    // Step 3: Find first [ or { and parse from there
+    const jsonStart = raw.search(/[[{]/);
+    if (jsonStart >= 0) {
+        const candidate = raw.slice(jsonStart);
+        try {
+            return JSON.parse(candidate);
+        }
+        catch { /* continue */ }
+        // Step 4: Find matching bracket and extract
+        const openChar = candidate[0];
+        const closeChar = openChar === "[" ? "]" : "}";
+        const lastClose = candidate.lastIndexOf(closeChar);
+        if (lastClose > 0) {
+            try {
+                return JSON.parse(candidate.slice(0, lastClose + 1));
+            }
+            catch { /* continue */ }
+        }
+    }
+    return null;
+};
+/**
+ * LLM prompt template for compaction.
+ */
+const COMPACTION_PROMPT = `Analyze these completed tasks and generate two outputs:
+
+Completed Tasks:
+{tasks}
+
+Generate a JSON response with two fields:
+
+1. "summary": A 2-4 paragraph summary capturing what was accomplished, grouped by related work. Keep under 500 words.
+
+2. "learnings": Bullet points of actionable learnings that would help an AI agent working on similar tasks in the future. Focus on:
+   - Key technical decisions and why they were made
+   - Gotchas or pitfalls to avoid
+   - Patterns that worked well
+   - Things that should be done differently next time
+
+Format learnings as markdown bullet points, suitable for appending to a CLAUDE.md file.
+
+Example response format:
+{
+  "summary": "## Task Summary\\n\\nCompleted authentication system implementation...",
+  "learnings": "- JWT tokens should use RS256 for production signing\\n- Token validation middleware must run before route handlers"
+}`;
+/**
+ * Validate that a target file path does not escape the project directory
+ * via path traversal (e.g. "../../etc/passwd" or absolute paths outside
+ * the project root). Returns the resolved absolute path on success.
+ */
+const validateProjectPath = (targetFile) => {
+    const projectRoot = process.cwd();
+    const resolved = resolve(projectRoot, targetFile);
+    if (!resolved.startsWith(projectRoot + sep)) {
+        return Effect.fail(new ValidationError({
+            reason: `Path traversal rejected: resolved path '${resolved}' escapes project directory '${projectRoot}'`
+        }));
+    }
+    return Effect.succeed(resolved);
+};
+/**
+ * CompactionService provides compaction operations for completed tasks.
+ *
+ * Design: Following DD-006 patterns for LLM integration with graceful degradation.
+ * When ANTHROPIC_API_KEY is not set, compact() fails gracefully while preview()
+ * and getSummaries() still work.
+ */
+export class CompactionService extends Context.Tag("CompactionService")() {
+}
+/**
+ * Noop implementation - returns failures for LLM operations.
+ * Used for testing and when no API key is configured.
+ */
+export const CompactionServiceNoop = Layer.effect(CompactionService, Effect.gen(function* () {
+    const compactionRepo = yield* CompactionRepository;
+    const db = yield* SqliteClient;
+    const findCompactableTasks = (before) => Effect.try({
+        try: () => {
+            // Find tasks that are:
+            // 1. Status = 'done'
+            // 2. completed_at < before
+            // 3. All children are also done (subquery check)
+            const beforeStr = before.toISOString();
+            const rows = db.prepare(`
+            SELECT t.*
+            FROM tasks t
+            WHERE t.status = 'done'
+              AND t.completed_at IS NOT NULL
+              AND t.completed_at < ?
+              AND NOT EXISTS (
+                SELECT 1 FROM tasks child
+                WHERE child.parent_id = t.id
+                  AND child.status != 'done'
+              )
+            ORDER BY t.completed_at ASC
+          `).all(beforeStr);
+            return rows.map(rowToTask);
+        },
+        catch: (cause) => new DatabaseError({ cause })
+    });
+    return {
+        compact: (_options) => Effect.fail(new ExtractionUnavailableError({
+            reason: "Task compaction requires ANTHROPIC_API_KEY. Set it as an environment variable to enable this feature."
+        })),
+        preview: (before) => findCompactableTasks(before),
+        getSummaries: () => compactionRepo.findAll(),
+        exportLearnings: (learnings, targetFile) => Effect.gen(function* () {
+            const filePath = yield* validateProjectPath(targetFile);
+            yield* Effect.try({
+                try: () => {
+                    const date = new Date().toISOString().split("T")[0];
+                    const content = `\n\n## Agent Learnings (${date})\n\n${learnings}\n`;
+                    if (existsSync(filePath)) {
+                        const existing = readFileSync(filePath, "utf-8");
+                        writeFileSync(filePath, existing + content);
+                    }
+                    else {
+                        writeFileSync(filePath, `# Project Context\n${content}`);
+                    }
+                },
+                catch: (cause) => new DatabaseError({ cause })
+            });
+        }),
+        isAvailable: () => Effect.succeed(false)
+    };
+}));
+/**
+ * Live implementation with Anthropic LLM support.
+ */
+export const CompactionServiceLive = Layer.effect(CompactionService, Effect.gen(function* () {
+    const compactionRepo = yield* CompactionRepository;
+    const db = yield* SqliteClient;
+    // Read API key from environment (optional)
+    const apiKeyOption = yield* Config.string("ANTHROPIC_API_KEY").pipe(Effect.option);
+    const hasApiKey = Option.isSome(apiKeyOption) && apiKeyOption.value.trim().length > 0;
+    const apiKey = hasApiKey ? apiKeyOption.value : null;
+    // Lazy-load Anthropic client
+    let client = null;
+    const ensureClient = Effect.gen(function* () {
+        if (!apiKey) {
+            return yield* Effect.fail(new ExtractionUnavailableError({
+                reason: "Task compaction requires ANTHROPIC_API_KEY. Set it as an environment variable to enable this feature."
+            }));
+        }
+        if (client)
+            return client;
+        // Dynamic import of Anthropic SDK (optional peer dependency)
+        const Anthropic = yield* Effect.tryPromise({
+            try: async () => {
+                // @ts-expect-error - @anthropic-ai/sdk is an optional peer dependency
+                const mod = await import("@anthropic-ai/sdk");
+                return mod.default;
+            },
+            catch: () => new ExtractionUnavailableError({
+                reason: "@anthropic-ai/sdk is not installed"
+            })
+        });
+        client = new Anthropic({ apiKey });
+        return client;
+    });
+    const findCompactableTasks = (before) => Effect.try({
+        try: () => {
+            // Find tasks that are:
+            // 1. Status = 'done'
+            // 2. completed_at < before
+            // 3. All children are also done (subquery check)
+            const beforeStr = before.toISOString();
+            const rows = db.prepare(`
+            SELECT t.*
+            FROM tasks t
+            WHERE t.status = 'done'
+              AND t.completed_at IS NOT NULL
+              AND t.completed_at < ?
+              AND NOT EXISTS (
+                SELECT 1 FROM tasks child
+                WHERE child.parent_id = t.id
+                  AND child.status != 'done'
+              )
+            ORDER BY t.completed_at ASC
+          `).all(beforeStr);
+            return rows.map(rowToTask);
+        },
+        catch: (cause) => new DatabaseError({ cause })
+    });
+    const generateSummary = (tasks) => Effect.gen(function* () {
+        const anthropic = yield* ensureClient;
+        // Build task list for prompt
+        const taskList = tasks.map(t => `- ${t.id}: ${t.title} (completed: ${t.completedAt?.toISOString().split("T")[0] ?? "unknown"})\n  ${t.description || "(no description)"}`).join("\n");
+        const prompt = COMPACTION_PROMPT.replace("{tasks}", taskList);
+        const response = yield* Effect.tryPromise({
+            try: () => anthropic.messages.create({
+                model: "claude-haiku-4-20250514",
+                max_tokens: 2048,
+                messages: [{
+                        role: "user",
+                        content: prompt
+                    }]
+            }),
+            catch: (e) => new ExtractionUnavailableError({
+                reason: `Anthropic API call failed: ${String(e)}`
+            })
+        });
+        // Extract text from response
+        const textContent = response.content.find(c => c.type === "text");
+        if (!textContent || !textContent.text) {
+            return {
+                summary: "No summary generated",
+                learnings: "- No learnings extracted"
+            };
+        }
+        // Parse the JSON response
+        const parsed = parseLlmJson(textContent.text);
+        if (!parsed || !parsed.summary || !parsed.learnings) {
+            // Fallback: treat raw response as summary/learnings
+            return {
+                summary: textContent.text.slice(0, 1000),
+                learnings: "- No structured learnings extracted"
+            };
+        }
+        return parsed;
+    });
+    const exportLearningsToFile = (learnings, targetFile) => Effect.gen(function* () {
+        const filePath = yield* validateProjectPath(targetFile);
+        yield* Effect.try({
+            try: () => {
+                const date = new Date().toISOString().split("T")[0];
+                const content = `\n\n## Agent Learnings (${date})\n\n${learnings}\n`;
+                if (existsSync(filePath)) {
+                    const existing = readFileSync(filePath, "utf-8");
+                    writeFileSync(filePath, existing + content);
+                }
+                else {
+                    writeFileSync(filePath, `# Project Context\n${content}`);
+                }
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        });
+    });
+    return {
+        compact: (options) => Effect.gen(function* () {
+            const tasks = yield* findCompactableTasks(options.before);
+            // Default to 'both' per DOCTRINE RULE 2
+            const outputMode = options.outputMode ?? 'both';
+            if (tasks.length === 0) {
+                return {
+                    compactedCount: 0,
+                    summary: "No tasks to compact",
+                    learnings: "",
+                    taskIds: [],
+                    learningsExportedTo: null,
+                    outputMode
+                };
+            }
+            // Generate LLM summary (outside transaction - LLM calls are slow)
+            const { summary, learnings } = yield* generateSummary(tasks);
+            const taskIds = tasks.map(t => t.id);
+            const outputFile = options.outputFile ?? "CLAUDE.md";
+            const shouldExportToMarkdown = outputMode === 'markdown' || outputMode === 'both';
+            const shouldStoreInDatabase = outputMode === 'database' || outputMode === 'both';
+            if (options.dryRun) {
+                // Preview mode: return what would be compacted without making changes
+                return {
+                    compactedCount: tasks.length,
+                    summary,
+                    learnings,
+                    taskIds,
+                    learningsExportedTo: shouldExportToMarkdown ? outputFile : null,
+                    outputMode
+                };
+            }
+            // CRITICAL: Export learnings to file FIRST, before database transaction.
+            // This ordering prevents a false positive where the database records
+            // learnings_exported_to but the file export actually failed.
+            // If file export fails, we fail loudly here before any DB changes.
+            // See task tx-b2aa12e1 and regression test in compaction.test.ts.
+            if (shouldExportToMarkdown) {
+                yield* exportLearningsToFile(learnings, outputFile);
+            }
+            // Transaction: store log (optionally with learnings) + delete tasks atomically
+            yield* Effect.try({
+                try: () => {
+                    db.exec("BEGIN IMMEDIATE");
+                    try {
+                        if (shouldStoreInDatabase) {
+                            // Insert compaction log
+                            // When outputMode is 'both', store learnings in DB as backup
+                            // When outputMode is 'database', learnings are stored only in DB
+                            const now = new Date().toISOString();
+                            db.prepare(`INSERT INTO compaction_log (compacted_at, task_count, summary, task_ids, learnings_exported_to, learnings)
+                     VALUES (?, ?, ?, ?, ?, ?)`).run(now, tasks.length, summary, JSON.stringify(taskIds), shouldExportToMarkdown ? outputFile : null, learnings);
+                        }
+                        // Delete compacted tasks
+                        for (const task of tasks) {
+                            // First delete any dependencies involving this task
+                            db.prepare("DELETE FROM task_dependencies WHERE blocker_id = ? OR blocked_id = ?").run(task.id, task.id);
+                            // Then delete the task
+                            db.prepare("DELETE FROM tasks WHERE id = ?").run(task.id);
+                        }
+                        db.exec("COMMIT");
+                    }
+                    catch (e) {
+                        db.exec("ROLLBACK");
+                        throw e;
+                    }
+                },
+                catch: (cause) => new DatabaseError({ cause })
+            });
+            return {
+                compactedCount: tasks.length,
+                summary,
+                learnings,
+                taskIds,
+                learningsExportedTo: shouldExportToMarkdown ? outputFile : null,
+                outputMode
+            };
+        }),
+        preview: (before) => findCompactableTasks(before),
+        getSummaries: () => compactionRepo.findAll(),
+        exportLearnings: exportLearningsToFile,
+        isAvailable: () => Effect.succeed(hasApiKey)
+    };
+}));
+/**
+ * Auto-detecting layer that selects the appropriate backend based on environment.
+ *
+ * Priority:
+ * 1. ANTHROPIC_API_KEY set -> Use Live implementation
+ * 2. Not set -> Use Noop (graceful degradation)
+ */
+export const CompactionServiceAuto = Layer.unwrapEffect(Effect.gen(function* () {
+    const anthropicKey = yield* Config.string("ANTHROPIC_API_KEY").pipe(Effect.option);
+    if (Option.isSome(anthropicKey) && anthropicKey.value.trim().length > 0) {
+        return CompactionServiceLive;
+    }
+    return CompactionServiceNoop;
+}));
+//# sourceMappingURL=compaction-service.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"compaction-service.js","sourceRoot":"","sources":["../../src/services/compaction-service.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/D,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AACjE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AACvC,OAAO,EAAE,aAAa,EAAE,0BAA0B,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AACzF,OAAO,EAAE,oBAAoB,EAA2B,MAAM,4BAA4B,CAAA;AAC1F,OAAO,EAAE,SAAS,EAAgB,MAAM,oBAAoB,CAAA;AAiE5D;;;GAGG;AACH,MAAM,YAAY,GAAG,CAAI,GAAW,EAAY,EAAE;IAChD,2BAA2B;IAC3B,IAAI,CAAC;QAAC,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAAC,CAAC;IAAC,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC;IAEvD,qCAAqC;IACrC,MAAM,UAAU,GAAG,GAAG,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAA;IAC/D,IAAI,UAAU,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC;YAAC,OAAO,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC;IAC1E,CAAC;IAED,iDAAiD;IACjD,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACpC,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;QACnB,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;QACtC,IAAI,CAAC;YAAC,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC;QAE7D,4CAA4C;QAC5C,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;QAC7B,MAAM,SAAS,GAAG,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAA;QAC9C,MAAM,SAAS,GAAG,SAAS,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;QAClD,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;YAClB,IAAI,CAAC;gBAAC,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED;;GAEG;AACH,MAAM,iBAAiB,GAAG;;;;;;;;;;;;;;;;;;;;;EAqBxB,CAAA;AAOF;;;;GAIG;AACH,MAAM,mBAAmB,GAAG,CAAC,UAAkB,EAA0C,EAAE;IACzF,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE,UAAU,CAAC,CAAA;IAEjD,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,WAAW,GAAG,GAAG,CAAC,EAAE,CAAC;QAC5C,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;YACrC,MAAM,EAAE,2CAA2C,QAAQ,gCAAgC,WAAW,GAAG;SAC1G,CAAC,CAAC,CAAA;IACL,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;AACjC,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,OAAO,iBAAkB,SAAQ,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,EA0BpE;CAAG;AAEN;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,KAAK,CAAC,MAAM,CAC/C,iBAAiB,EACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,oBAAoB,CAAA;IAClD,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;IAE9B,MAAM,oBAAoB,GAAG,CAAC,MAAY,EAAiD,EAAE,CAC3F,MAAM,CAAC,GAAG,CAAC;QACT,GAAG,EAAE,GAAG,EAAE;YACR,uBAAuB;YACvB,qBAAqB;YACrB,2BAA2B;YAC3B,iDAAiD;YACjD,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;YACtC,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC;;;;;;;;;;;;WAYvB,CAAC,CAAC,GAAG,CAAC,SAAS,CAAc,CAAA;YAC9B,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QAC5B,CAAC;QACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;KAC/C,CAAC,CAAA;IAEJ,OAAO;QACL,OAAO,EAAE,CAAC,QAAQ,EAAE,EAAE,CACpB,MAAM,CAAC,IAAI,CAAC,IAAI,0BAA0B,CAAC;YACzC,MAAM,EAAE,uGAAuG;SAChH,CAAC,CAAC;QAEL,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;QAEjD,YAAY,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE;QAE5C,eAAe,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,EAAE,CACzC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAA;YACvD,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;gBAChB,GAAG,EAAE,GAAG,EAAE;oBACR,MAAM,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;oBACnD,MAAM,OAAO,GAAG,2BAA2B,IAAI,QAAQ,SAAS,IAAI,CAAA;oBAEpE,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACzB,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;wBAChD,aAAa,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAAC,CAAA;oBAC7C,CAAC;yBAAM,CAAC;wBACN,aAAa,CAAC,QAAQ,EAAE,sBAAsB,OAAO,EAAE,CAAC,CAAA;oBAC1D,CAAC;gBACH,CAAC;gBACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;aAC/C,CAAC,CAAA;QACJ,CAAC,CAAC;QAEJ,WAAW,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;KACzC,CAAA;AACH,CAAC,CAAC,CACH,CAAA;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,KAAK,CAAC,MAAM,CAC/C,iBAAiB,EACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,oBAAoB,CAAA;IAClD,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;IAE9B,2CAA2C;IAC3C,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAClF,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAA;IACrF,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;IAEpD,6BAA6B;IAC7B,IAAI,MAAM,GAA2B,IAAI,CAAA;IAEzC,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACvC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,0BAA0B,CAAC;gBACvD,MAAM,EAAE,uGAAuG;aAChH,CAAC,CAAC,CAAA;QACL,CAAC;QAED,IAAI,MAAM;YAAE,OAAO,MAAM,CAAA;QAEzB,6DAA6D;QAC7D,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;YACzC,GAAG,EAAE,KAAK,IAAI,EAAE;gBACd,sEAAsE;gBACtE,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,mBAAmB,CAAC,CAAA;gBAC7C,OAAO,GAAG,CAAC,OAAO,CAAA;YACpB,CAAC;YACD,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,0BAA0B,CAAC;gBAC1C,MAAM,EAAE,oCAAoC;aAC7C,CAAC;SACH,CAAC,CAAA;QAEF,MAAM,GAAG,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,CAA+B,CAAA;QAChE,OAAO,MAAM,CAAA;IACf,CAAC,CAAC,CAAA;IAEF,MAAM,oBAAoB,GAAG,CAAC,MAAY,EAAiD,EAAE,CAC3F,MAAM,CAAC,GAAG,CAAC;QACT,GAAG,EAAE,GAAG,EAAE;YACR,uBAAuB;YACvB,qBAAqB;YACrB,2BAA2B;YAC3B,iDAAiD;YACjD,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;YACtC,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC;;;;;;;;;;;;WAYvB,CAAC,CAAC,GAAG,CAAC,SAAS,CAAc,CAAA;YAC9B,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QAC5B,CAAC;QACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;KAC/C,CAAC,CAAA;IAEJ,MAAM,eAAe,GAAG,CAAC,KAAsB,EAAoE,EAAE,CACnH,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;QAErC,6BAA6B;QAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAC7B,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,gBAAgB,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,QAAQ,CAAC,CAAC,WAAW,IAAI,kBAAkB,EAAE,CAC1I,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAEZ,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;QAE7D,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;YACxC,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC;gBACnC,KAAK,EAAE,yBAAyB;gBAChC,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,CAAC;wBACT,IAAI,EAAE,MAAM;wBACZ,OAAO,EAAE,MAAM;qBAChB,CAAC;aACH,CAAC;YACF,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,0BAA0B,CAAC;gBAC3C,MAAM,EAAE,8BAA8B,MAAM,CAAC,CAAC,CAAC,EAAE;aAClD,CAAC;SACH,CAAC,CAAA;QAEF,6BAA6B;QAC7B,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAA;QACjE,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;YACtC,OAAO;gBACL,OAAO,EAAE,sBAAsB;gBAC/B,SAAS,EAAE,0BAA0B;aACtC,CAAA;QACH,CAAC;QAED,0BAA0B;QAC1B,MAAM,MAAM,GAAG,YAAY,CAAwB,WAAW,CAAC,IAAI,CAAC,CAAA;QACpE,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;YACpD,oDAAoD;YACpD,OAAO;gBACL,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC;gBACxC,SAAS,EAAE,qCAAqC;aACjD,CAAA;QACH,CAAC;QAED,OAAO,MAAM,CAAA;IACf,CAAC,CAAC,CAAA;IAEJ,MAAM,qBAAqB,GAAG,CAAC,SAAiB,EAAE,UAAkB,EAAwD,EAAE,CAC5H,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAA;QACvD,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAChB,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;gBACnD,MAAM,OAAO,GAAG,2BAA2B,IAAI,QAAQ,SAAS,IAAI,CAAA;gBAEpE,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACzB,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;oBAChD,aAAa,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAAC,CAAA;gBAC7C,CAAC;qBAAM,CAAC;oBACN,aAAa,CAAC,QAAQ,EAAE,sBAAsB,OAAO,EAAE,CAAC,CAAA;gBAC1D,CAAC;YACH,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEJ,OAAO;QACL,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CACnB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,oBAAoB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;YACzD,wCAAwC;YACxC,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,MAAM,CAAA;YAE/C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,OAAO;oBACL,cAAc,EAAE,CAAC;oBACjB,OAAO,EAAE,qBAAqB;oBAC9B,SAAS,EAAE,EAAE;oBACb,OAAO,EAAE,EAAE;oBACX,mBAAmB,EAAE,IAAI;oBACzB,UAAU;iBACX,CAAA;YACH,CAAC;YAED,kEAAkE;YAClE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAA;YAE5D,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YACpC,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,WAAW,CAAA;YACpD,MAAM,sBAAsB,GAAG,UAAU,KAAK,UAAU,IAAI,UAAU,KAAK,MAAM,CAAA;YACjF,MAAM,qBAAqB,GAAG,UAAU,KAAK,UAAU,IAAI,UAAU,KAAK,MAAM,CAAA;YAEhF,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBACnB,sEAAsE;gBACtE,OAAO;oBACL,cAAc,EAAE,KAAK,CAAC,MAAM;oBAC5B,OAAO;oBACP,SAAS;oBACT,OAAO;oBACP,mBAAmB,EAAE,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI;oBAC/D,UAAU;iBACX,CAAA;YACH,CAAC;YAED,yEAAyE;YACzE,qEAAqE;YACrE,6DAA6D;YAC7D,mEAAmE;YACnE,kEAAkE;YAClE,IAAI,sBAAsB,EAAE,CAAC;gBAC3B,KAAK,CAAC,CAAC,qBAAqB,CAAC,SAAS,EAAE,UAAU,CAAC,CAAA;YACrD,CAAC;YAED,+EAA+E;YAC/E,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;gBAChB,GAAG,EAAE,GAAG,EAAE;oBACR,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;oBAC1B,IAAI,CAAC;wBACH,IAAI,qBAAqB,EAAE,CAAC;4BAC1B,wBAAwB;4BACxB,6DAA6D;4BAC7D,iEAAiE;4BACjE,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;4BACpC,EAAE,CAAC,OAAO,CACR;+CAC2B,CAC5B,CAAC,GAAG,CACH,GAAG,EACH,KAAK,CAAC,MAAM,EACZ,OAAO,EACP,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EACvB,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAC1C,SAAS,CACV,CAAA;wBACH,CAAC;wBAED,yBAAyB;wBACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;4BACzB,oDAAoD;4BACpD,EAAE,CAAC,OAAO,CAAC,sEAAsE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAA;4BACxG,uBAAuB;4BACvB,EAAE,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBAC3D,CAAC;wBAED,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;oBACnB,CAAC;oBAAC,OAAO,CAAC,EAAE,CAAC;wBACX,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;wBACnB,MAAM,CAAC,CAAA;oBACT,CAAC;gBACH,CAAC;gBACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;aAC/C,CAAC,CAAA;YAEF,OAAO;gBACL,cAAc,EAAE,KAAK,CAAC,MAAM;gBAC5B,OAAO;gBACP,SAAS;gBACT,OAAO;gBACP,mBAAmB,EAAE,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI;gBAC/D,UAAU;aACX,CAAA;QACH,CAAC,CAAC;QAEJ,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;QAEjD,YAAY,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE;QAE5C,eAAe,EAAE,qBAAqB;QAEtC,WAAW,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;KAC7C,CAAA;AACH,CAAC,CAAC,CACH,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,KAAK,CAAC,YAAY,CACrD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAElF,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxE,OAAO,qBAAqB,CAAA;IAC9B,CAAC;IAED,OAAO,qBAAqB,CAAA;AAC9B,CAAC,CAAC,CACH,CAAA"}

package/dist/services/cycle-scan-service.d.ts

@@ -0,0 +1,32 @@
+/**
+ * CycleScanService — Cycle-Based Issue Discovery
+ *
+ * Orchestrates sub-agent swarms via AgentService to scan for codebase issues,
+ * deduplicates findings against known issues using an LLM-as-judge, and
+ * optionally fixes them. Repeats in rounds within each cycle until convergence.
+ *
+ * Replaces scripts/cycle-scan.ts with proper Effect service patterns.
+ */
+import { Context, Effect, Layer } from "effect";
+import type { Finding, CycleConfig, CycleResult, CycleProgressEvent } from "@jamesaphoenix/tx-types";
+import { CycleScanError } from "../errors.js";
+import { AgentService } from "./agent-service.js";
+import { SqliteClient } from "../db.js";
+declare const CycleScanService_base: Context.TagClass<CycleScanService, "CycleScanService", {
+    /** Run one or more scan cycles with the given configuration. */
+    readonly runCycles: (config: CycleConfig, onProgress?: (event: CycleProgressEvent) => void) => Effect.Effect<CycleResult[], CycleScanError>;
+    /** Compute loss from a set of findings using weighted severity formula. */
+    readonly computeLoss: (findings: readonly Finding[]) => number;
+}>;
+/**
+ * CycleScanService orchestrates cycle-based issue discovery.
+ */
+export declare class CycleScanService extends CycleScanService_base {
+}
+/**
+ * Live implementation of CycleScanService.
+ * Depends on AgentService for sub-agent dispatch and SqliteClient for DB ops.
+ */
+export declare const CycleScanServiceLive: Layer.Layer<CycleScanService, never, SqliteClient | AgentService>;
+export {};
+//# sourceMappingURL=cycle-scan-service.d.ts.map

package/dist/services/cycle-scan-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cycle-scan-service.d.ts","sourceRoot":"","sources":["../../src/services/cycle-scan-service.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAK/C,OAAO,KAAK,EACV,OAAO,EAEP,WAAW,EACX,WAAW,EACX,kBAAkB,EACnB,MAAM,yBAAyB,CAAA;AAEhC,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAC7C,OAAO,EAAE,YAAY,EAAuB,MAAM,oBAAoB,CAAA;AACtE,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;;IA8LnC,gEAAgE;wBAC5C,CAClB,MAAM,EAAE,WAAW,EACnB,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,kBAAkB,KAAK,IAAI,KAC7C,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,cAAc,CAAC;IAEjD,2EAA2E;0BACrD,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,KAAK,MAAM;;AAblE;;GAEG;AACH,qBAAa,gBAAiB,SAAQ,qBAYnC;CAAG;AAEN;;;GAGG;AACH,eAAO,MAAM,oBAAoB,mEAmchC,CAAA"}