@jamesaphoenix/tx-core 0.8.1 → 0.9.0

package/dist/services/task-service/internals.js

@@ -0,0 +1,270 @@
+import { Effect } from "effect";
+import { GuardExceededError } from "../../errors.js";
+import { isValidTaskId } from "@jamesaphoenix/tx-types";
+/**
+ * Max recursion depth for destructive operations that must find ALL descendants.
+ * Bounded to avoid unbounded CTE recursion in SQLite while being deep enough
+ * for any realistic task hierarchy (display default is 10).
+ */
+export const CASCADE_MAX_DEPTH = 1000;
+const GATE_PIN_PREFIX = "gate.";
+const isRecord = (value) => value !== null && typeof value === "object";
+const parseGateLinkedTaskId = (content) => {
+    try {
+        const parsed = JSON.parse(content);
+        if (!isRecord(parsed))
+            return null;
+        const taskId = parsed.taskId;
+        if (typeof taskId !== "string" || !isValidTaskId(taskId))
+            return null;
+        return taskId;
+    }
+    catch {
+        return null;
+    }
+};
+export const listGateTaskLinks = (pinRepo) => Effect.gen(function* () {
+    const pins = yield* pinRepo.findAll();
+    const taskLinks = new Map();
+    for (const pin of pins) {
+        if (!pin.id.startsWith(GATE_PIN_PREFIX))
+            continue;
+        const taskId = parseGateLinkedTaskId(pin.content);
+        if (!taskId)
+            continue;
+        const linkedPins = taskLinks.get(taskId) ?? [];
+        linkedPins.push(pin.id);
+        taskLinks.set(taskId, linkedPins);
+    }
+    return taskLinks;
+});
+/**
+ * Check guards before task creation. Returns advisory warnings (empty array if none).
+ * Advisory mode logs warnings to stderr and returns them for metadata injection;
+ * enforce mode fails with GuardExceededError.
+ */
+export const checkGuards = (guardRepo, config, parentId) => Effect.gen(function* () {
+    const warnings = [];
+    // Defensive: if config.guard is undefined (malformed config), skip guard checks
+    if (!config?.guard)
+        return warnings;
+    // Resolve effective guard: DB row takes precedence, fall back to config defaults
+    const dbGuard = yield* guardRepo.findByScope("global");
+    const globalGuard = dbGuard
+        ? { maxPending: dbGuard.maxPending, maxChildren: dbGuard.maxChildren, maxDepth: dbGuard.maxDepth, enforce: dbGuard.enforce }
+        : (config.guard.maxPending !== null || config.guard.maxChildren !== null || config.guard.maxDepth !== null)
+            ? { maxPending: config.guard.maxPending, maxChildren: config.guard.maxChildren, maxDepth: config.guard.maxDepth, enforce: config.guard.mode === "enforce" }
+            : null;
+    if (globalGuard) {
+        // DB row's enforce setting takes precedence; config only applies when no DB row exists
+        const enforce = globalGuard.enforce;
+        // Check max_pending
+        if (globalGuard.maxPending !== null) {
+            const pending = yield* guardRepo.countPending();
+            if (pending >= globalGuard.maxPending) {
+                const msg = `${pending}/${globalGuard.maxPending} pending tasks (global limit)`;
+                if (enforce) {
+                    return yield* Effect.fail(new GuardExceededError({
+                        scope: "global", metric: "max_pending", current: pending, limit: globalGuard.maxPending,
+                    }));
+                }
+                console.error(`\u26A0 Guard warning: ${msg}`);
+                warnings.push(msg);
+            }
+        }
+        // Check max_depth (only relevant when creating under a parent)
+        if (globalGuard.maxDepth !== null && parentId) {
+            const depth = yield* guardRepo.getMaxDepth(parentId);
+            const newDepth = depth + 1;
+            if (newDepth > globalGuard.maxDepth) {
+                const msg = `depth ${newDepth}/${globalGuard.maxDepth} (global limit)`;
+                if (enforce) {
+                    return yield* Effect.fail(new GuardExceededError({
+                        scope: "global", metric: "max_depth", current: newDepth, limit: globalGuard.maxDepth,
+                    }));
+                }
+                console.error(`\u26A0 Guard warning: ${msg}`);
+                warnings.push(msg);
+            }
+        }
+        // Check max_children (only relevant when creating under a parent)
+        if (globalGuard.maxChildren !== null && parentId) {
+            const children = yield* guardRepo.countChildrenOf(parentId);
+            if (children >= globalGuard.maxChildren) {
+                const msg = `${children}/${globalGuard.maxChildren} children of ${parentId} (global limit)`;
+                if (enforce) {
+                    return yield* Effect.fail(new GuardExceededError({
+                        scope: "global", metric: "max_children", current: children, limit: globalGuard.maxChildren,
+                    }));
+                }
+                console.error(`\u26A0 Guard warning: ${msg}`);
+                warnings.push(msg);
+            }
+        }
+    }
+    // Check parent-specific guard (independent of global guard)
+    if (parentId) {
+        const parentGuard = yield* guardRepo.findByScope(`parent:${parentId}`);
+        if (parentGuard?.maxChildren !== null && parentGuard?.maxChildren !== undefined) {
+            const children = yield* guardRepo.countChildrenOf(parentId);
+            const parentEnforce = parentGuard.enforce;
+            if (children >= parentGuard.maxChildren) {
+                const msg = `${children}/${parentGuard.maxChildren} children of ${parentId} (parent scope)`;
+                if (parentEnforce) {
+                    return yield* Effect.fail(new GuardExceededError({
+                        scope: `parent:${parentId}`, metric: "max_children", current: children, limit: parentGuard.maxChildren,
+                    }));
+                }
+                console.error(`\u26A0 Guard warning: ${msg}`);
+                warnings.push(msg);
+            }
+        }
+    }
+    return warnings;
+});
+const isWorkableStatus = (status) => ["backlog", "ready", "planning", "active"].includes(status);
+export const enrichWithDeps = (deps, task) => Effect.gen(function* () {
+    const blockerIds = yield* deps.depRepo.getBlockerIds(task.id);
+    const blockingIds = yield* deps.depRepo.getBlockingIds(task.id);
+    const childIds = yield* deps.taskRepo.getChildIds(task.id);
+    const directContextMap = yield* deps.taskRepo.getGroupContextForMany([task.id]);
+    const effectiveContextMap = yield* deps.taskRepo.resolveEffectiveGroupContextForMany([task.id]);
+    let isReady = isWorkableStatus(task.status);
+    if (isReady && blockerIds.length > 0) {
+        const blockers = yield* deps.taskRepo.findByIds(blockerIds);
+        isReady = blockers.every(b => b.status === "done");
+    }
+    const effective = effectiveContextMap.get(task.id);
+    return {
+        ...task,
+        blockedBy: blockerIds,
+        blocks: blockingIds,
+        children: childIds,
+        isReady,
+        groupContext: directContextMap.get(task.id) ?? null,
+        effectiveGroupContext: effective?.context ?? null,
+        effectiveGroupContextSourceTaskId: effective?.sourceTaskId ?? null
+    };
+});
+export const enrichWithDepsBatch = (deps, tasks) => Effect.gen(function* () {
+    if (tasks.length === 0)
+        return [];
+    const taskIds = tasks.map(t => t.id);
+    // Batch fetch all dependency info (3 queries total instead of 3N)
+    const blockerIdsMap = yield* deps.depRepo.getBlockerIdsForMany(taskIds);
+    const blockingIdsMap = yield* deps.depRepo.getBlockingIdsForMany(taskIds);
+    const childIdsMap = yield* deps.taskRepo.getChildIdsForMany(taskIds);
+    const directContextMap = yield* deps.taskRepo.getGroupContextForMany(taskIds);
+    const effectiveContextMap = yield* deps.taskRepo.resolveEffectiveGroupContextForMany(taskIds);
+    // Collect all unique blocker IDs to fetch their status
+    const allBlockerIds = new Set();
+    for (const blockerIds of blockerIdsMap.values()) {
+        for (const id of blockerIds) {
+            allBlockerIds.add(id);
+        }
+    }
+    // Fetch all blocker tasks to check their status (1 query instead of N)
+    const blockerTasks = allBlockerIds.size > 0
+        ? yield* deps.taskRepo.findByIds([...allBlockerIds])
+        : [];
+    const blockerStatusMap = new Map();
+    for (const t of blockerTasks) {
+        blockerStatusMap.set(t.id, t.status);
+    }
+    // Build TaskWithDeps for each task
+    const results = [];
+    for (const task of tasks) {
+        const blockerIds = blockerIdsMap.get(task.id) ?? [];
+        const blockingIds = blockingIdsMap.get(task.id) ?? [];
+        const childIds = childIdsMap.get(task.id) ?? [];
+        // Compute isReady
+        let isReady = isWorkableStatus(task.status);
+        if (isReady && blockerIds.length > 0) {
+            isReady = blockerIds.every(bid => blockerStatusMap.get(bid) === "done");
+        }
+        const effective = effectiveContextMap.get(task.id);
+        results.push({
+            ...task,
+            blockedBy: blockerIds,
+            blocks: blockingIds,
+            children: childIds,
+            isReady,
+            groupContext: directContextMap.get(task.id) ?? null,
+            effectiveGroupContext: effective?.context ?? null,
+            effectiveGroupContextSourceTaskId: effective?.sourceTaskId ?? null
+        });
+    }
+    return results;
+});
+/**
+ * Auto-complete parent task when all children are done.
+ * Optimized to use batch queries instead of N+1 recursive queries.
+ */
+export const autoCompleteParent = (taskRepo, parentId, now, options) => Effect.gen(function* () {
+    // 1. Get all ancestors in one query (recursive CTE)
+    const ancestors = yield* taskRepo.getAncestorChain(parentId);
+    if (ancestors.length === 0)
+        return;
+    // Filter out already-done ancestors (nothing to auto-complete)
+    const pendingAncestors = ancestors.filter(a => a.status !== "done");
+    if (pendingAncestors.length === 0)
+        return;
+    // 2. Batch get all children for all pending ancestors (1 query)
+    const ancestorIds = pendingAncestors.map(a => a.id);
+    const childIdsMap = yield* taskRepo.getChildIdsForMany(ancestorIds);
+    // 3. Collect all unique child IDs and batch fetch them (1 query)
+    const allChildIds = new Set();
+    for (const childIds of childIdsMap.values()) {
+        for (const id of childIds) {
+            allChildIds.add(id);
+        }
+    }
+    const childTasks = allChildIds.size > 0
+        ? yield* taskRepo.findByIds([...allChildIds])
+        : [];
+    // Build status map for quick lookups
+    const childStatusMap = new Map();
+    for (const child of childTasks) {
+        childStatusMap.set(child.id, child.status);
+    }
+    // 4. Process ancestors in order (parent -> grandparent -> ...)
+    // Track which ones should be auto-completed
+    const toComplete = [];
+    const nowCompletedIds = new Set();
+    const blockedTaskIds = options?.blockedTaskIds;
+    for (const ancestor of pendingAncestors) {
+        if (blockedTaskIds?.has(ancestor.id)) {
+            break;
+        }
+        const childIds = childIdsMap.get(ancestor.id) ?? [];
+        if (childIds.length === 0)
+            continue;
+        // Check if all children are done
+        // Include children we're about to mark as done in this pass
+        const allChildrenDone = childIds.every(childId => {
+            if (nowCompletedIds.has(childId))
+                return true;
+            return childStatusMap.get(childId) === "done";
+        });
+        if (allChildrenDone) {
+            // Mark for completion
+            toComplete.push({
+                ...ancestor,
+                status: "done",
+                updatedAt: now,
+                completedAt: now
+            });
+            // Track so parent levels can see this ancestor is now done
+            nowCompletedIds.add(ancestor.id);
+        }
+        else {
+            // If this ancestor can't be completed, neither can its ancestors
+            break;
+        }
+    }
+    // 5. Batch update all auto-completed ancestors (1 transaction)
+    if (toComplete.length > 0) {
+        yield* taskRepo.updateMany(toComplete);
+    }
+});
+//# sourceMappingURL=internals.js.map

package/dist/services/task-service/internals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"internals.js","sourceRoot":"","sources":["../../../src/services/task-service/internals.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,MAAM,EAAE,MAAM,QAAQ,CAAA;AAKxC,OAAO,EAAE,kBAAkB,EAAoD,MAAM,iBAAiB,CAAA;AAEtG,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAevD;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAA;AAErC,MAAM,eAAe,GAAG,OAAO,CAAA;AAE/B,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAoC,EAAE,CACpE,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAA;AAE7C,MAAM,qBAAqB,GAAG,CAAC,OAAe,EAAiB,EAAE;IAC/D,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;QAClC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAA;QAClC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAA;QAC5B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAA;QACrE,OAAO,MAAM,CAAA;IACf,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,OAAkD,EACoB,EAAE,CACxE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAA;IACrC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAA;IAE7C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC;YAAE,SAAQ;QAEjD,MAAM,MAAM,GAAG,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACjD,IAAI,CAAC,MAAM;YAAE,SAAQ;QAErB,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAA;QAC9C,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACvB,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACnC,CAAC;IAED,OAAO,SAAS,CAAA;AAClB,CAAC,CAAC,CAAA;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,SAAsD,EACtD,MAAuC,EACvC,QAAuB,EACsC,EAAE,CAC/D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAa,EAAE,CAAA;IAE7B,gFAAgF;IAChF,IAAI,CAAC,MAAM,EAAE,KAAK;QAAE,OAAO,QAAQ,CAAA;IAEnC,iFAAiF;IACjF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;IACtD,MAAM,WAAW,GAAgC,OAAO;QACtD,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE;QAC5H,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,WAAW,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC;YACzG,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE;YAC3J,CAAC,CAAC,IAAI,CAAA;IACV,IAAI,WAAW,EAAE,CAAC;QAChB,uFAAuF;QACvF,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAA;QAEnC,oBAAoB;QACpB,IAAI,WAAW,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YACpC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,YAAY,EAAE,CAAA;YAC/C,IAAI,OAAO,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;gBACtC,MAAM,GAAG,GAAG,GAAG,OAAO,IAAI,WAAW,CAAC,UAAU,+BAA+B,CAAA;gBAC/E,IAAI,OAAO,EAAE,CAAC;oBACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC;wBAC/C,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,CAAC,UAAU;qBACxF,CAAC,CAAC,CAAA;gBACL,CAAC;gBACD,OAAO,CAAC,KAAK,CAAC,yBAAyB,GAAG,EAAE,CAAC,CAAA;gBAC7C,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YACpB,CAAC;QACH,CAAC;QAED,+DAA+D;QAC/D,IAAI,WAAW,CAAC,QAAQ,KAAK,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;YACpD,MAAM,QAAQ,GAAG,KAAK,GAAG,CAAC,CAAA;YAC1B,IAAI,QAAQ,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC;gBACpC,MAAM,GAAG,GAAG,SAAS,QAAQ,IAAI,WAAW,CAAC,QAAQ,iBAAiB,CAAA;gBACtE,IAAI,OAAO,EAAE,CAAC;oBACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC;wBAC/C,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,QAAQ;qBACrF,CAAC,CAAC,CAAA;gBACL,CAAC;gBACD,OAAO,CAAC,KAAK,CAAC,yBAAyB,GAAG,EAAE,CAAC,CAAA;gBAC7C,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YACpB,CAAC;QACH,CAAC;QAED,kEAAkE;QAClE,IAAI,WAAW,CAAC,WAAW,KAAK,IAAI,IAAI,QAAQ,EAAE,CAAC;YACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAA;YAC3D,IAAI,QAAQ,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC;gBACxC,MAAM,GAAG,GAAG,GAAG,QAAQ,IAAI,WAAW,CAAC,WAAW,gBAAgB,QAAQ,iBAAiB,CAAA;gBAC3F,IAAI,OAAO,EAAE,CAAC;oBACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC;wBAC/C,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,WAAW;qBAC3F,CAAC,CAAC,CAAA;gBACL,CAAC;gBACD,OAAO,CAAC,KAAK,CAAC,yBAAyB,GAAG,EAAE,CAAC,CAAA;gBAC7C,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IAED,4DAA4D;IAC5D,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,QAAQ,EAAE,CAAC,CAAA;QACtE,IAAI,WAAW,EAAE,WAAW,KAAK,IAAI,IAAI,WAAW,EAAE,WAAW,KAAK,SAAS,EAAE,CAAC;YAChF,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAA;YAC3D,MAAM,aAAa,GAAG,WAAW,CAAC,OAAO,CAAA;YACzC,IAAI,QAAQ,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC;gBACxC,MAAM,GAAG,GAAG,GAAG,QAAQ,IAAI,WAAW,CAAC,WAAW,gBAAgB,QAAQ,iBAAiB,CAAA;gBAC3F,IAAI,aAAa,EAAE,CAAC;oBAClB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC;wBAC/C,KAAK,EAAE,UAAU,QAAQ,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,WAAW;qBACvG,CAAC,CAAC,CAAA;gBACL,CAAC;gBACD,OAAO,CAAC,KAAK,CAAC,yBAAyB,GAAG,EAAE,CAAC,CAAA;gBAC7C,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAC,CAAA;AAEJ,MAAM,gBAAgB,GAAG,CAAC,MAAc,EAAW,EAAE,CACnD,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;AAE7D,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAkB,EAClB,IAAU,EACkC,EAAE,CAC9C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC7D,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC/D,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC1D,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/E,MAAM,mBAAmB,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,mCAAmC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;IAE/F,IAAI,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAC3C,IAAI,OAAO,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC,CAAA;QAC3D,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAA;IACpD,CAAC;IAED,MAAM,SAAS,GAAG,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAElD,OAAO;QACL,GAAG,IAAI;QACP,SAAS,EAAE,UAAsB;QACjC,MAAM,EAAE,WAAuB;QAC/B,QAAQ,EAAE,QAAoB;QAC9B,OAAO;QACP,YAAY,EAAE,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI;QACnD,qBAAqB,EAAE,SAAS,EAAE,OAAO,IAAI,IAAI;QACjD,iCAAiC,EAAE,SAAS,EAAE,YAAY,IAAI,IAAI;KACnE,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAkB,EAClB,KAAsB,EACiC,EAAE,CACzD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAEjC,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IAEpC,kEAAkE;IAClE,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAA;IACvE,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAA;IACzE,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAA;IACpE,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAA;IAC7E,MAAM,mBAAmB,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,mCAAmC,CAAC,OAAO,CAAC,CAAA;IAE7F,uDAAuD;IACvD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAA;IACvC,KAAK,MAAM,UAAU,IAAI,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC;QAChD,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;YAC5B,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACvB,CAAC;IACH,CAAC;IAED,uEAAuE;IACvE,MAAM,YAAY,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC;QACzC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC;QACpD,CAAC,CAAC,EAAE,CAAA;IACN,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAA;IAClD,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;IACtC,CAAC;IAED,mCAAmC;IACnC,MAAM,OAAO,GAAmB,EAAE,CAAA;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;QACnD,MAAM,WAAW,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;QACrD,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;QAE/C,kBAAkB;QAClB,IAAI,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC3C,IAAI,OAAO,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,CAAA;QACzE,CAAC;QAED,MAAM,SAAS,GAAG,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAElD,OAAO,CAAC,IAAI,CAAC;YACX,GAAG,IAAI;YACP,SAAS,EAAE,UAAsB;YACjC,MAAM,EAAE,WAAuB;YAC/B,QAAQ,EAAE,QAAoB;YAC9B,OAAO;YACP,YAAY,EAAE,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI;YACnD,qBAAqB,EAAE,SAAS,EAAE,OAAO,IAAI,IAAI;YACjD,iCAAiC,EAAE,SAAS,EAAE,YAAY,IAAI,IAAI;SACnE,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,OAAO,CAAA;AAChB,CAAC,CAAC,CAAA;AAEJ;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,QAAoD,EACpD,QAAgB,EAChB,GAAS,EACT,OAA2D,EACc,EAAE,CAC3E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,oDAAoD;IACpD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAA;IAC5D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IAElC,+DAA+D;IAC/D,MAAM,gBAAgB,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAA;IACnE,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IAEzC,gEAAgE;IAChE,MAAM,WAAW,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACnD,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,WAAW,CAAC,CAAA;IAEnE,iEAAiE;IACjE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAA;IACrC,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;YAC1B,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACrB,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,GAAG,CAAC;QACrC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC;QAC7C,CAAC,CAAC,EAAE,CAAA;IAEN,qCAAqC;IACrC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAA;IAChD,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IAC5C,CAAC;IAED,+DAA+D;IAC/D,4CAA4C;IAC5C,MAAM,UAAU,GAAW,EAAE,CAAA;IAC7B,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAA;IACzC,MAAM,cAAc,GAAG,OAAO,EAAE,cAAc,CAAA;IAE9C,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;QACxC,IAAI,cAAc,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YACrC,MAAK;QACP,CAAC;QAED,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;QACnD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QAEnC,iCAAiC;QACjC,4DAA4D;QAC5D,MAAM,eAAe,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;YAC/C,IAAI,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,OAAO,IAAI,CAAA;YAC7C,OAAO,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,MAAM,CAAA;QAC/C,CAAC,CAAC,CAAA;QAEF,IAAI,eAAe,EAAE,CAAC;YACpB,sBAAsB;YACtB,UAAU,CAAC,IAAI,CAAC;gBACd,GAAG,QAAQ;gBACX,MAAM,EAAE,MAAM;gBACd,SAAS,EAAE,GAAG;gBACd,WAAW,EAAE,GAAG;aACjB,CAAC,CAAA;YACF,2DAA2D;YAC3D,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;QAClC,CAAC;aAAM,CAAC;YACN,iEAAiE;YACjE,MAAK;QACP,CAAC;IACH,CAAC;IAED,+DAA+D;IAC/D,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;IACxC,CAAC;AACH,CAAC,CAAC,CAAA"}

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

@@ -2,6 +2,7 @@ import { Context, Effect, Layer } from "effect";
 import { TaskRepository } from "../repo/task-repo.js";
 import { DependencyRepository } from "../repo/dep-repo.js";
 import { GuardRepository } from "../repo/guard-repo.js";
+import { PinRepository } from "../repo/pin-repo.js";
 import { TaskNotFoundError, ValidationError, DatabaseError, GuardExceededError, StaleDataError, HasChildrenError } from "../errors.js";
 import type { Task, TaskId, TaskStatus, TaskWithDeps, TaskFilter, CreateTaskInput, UpdateTaskInput } from "@jamesaphoenix/tx-types";
 declare const TaskService_base: Context.TagClass<TaskService, "TaskService", {
@@ -24,6 +25,6 @@ declare const TaskService_base: Context.TagClass<TaskService, "TaskService", {
 }>;
 export declare class TaskService extends TaskService_base {
 }
-export declare const TaskServiceLive: Layer.Layer<TaskService, never, TaskRepository | DependencyRepository | GuardRepository>;
+export declare const TaskServiceLive: Layer.Layer<TaskService, never, TaskRepository | DependencyRepository | GuardRepository | PinRepository>;
 export {};
 //# sourceMappingURL=task-service.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"task-service.d.ts","sourceRoot":"","sources":["../../src/services/task-service.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAA;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,aAAa,EAAE,kBAAkB,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAItI,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,eAAe,EAAE,eAAe,EAAoB,MAAM,yBAAyB,CAAA;;qBAKhI,CAAC,KAAK,EAAE,eAAe,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,GAAG,aAAa,GAAG,kBAAkB,CAAC;kBACxG,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,GAAG,aAAa,CAAC;0BAC9D,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,iBAAiB,GAAG,aAAa,CAAC;+BACzE,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,YAAY,EAAE,EAAE,aAAa,CAAC;qBAC3F,CACf,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,eAAe,EACtB,OAAO,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,OAAO,GAAG,OAAO,CAAA;KAAE,KACpC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,GAAG,eAAe,GAAG,aAAa,GAAG,cAAc,CAAC;8BACpE,CACxB,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,MAAM,KACZ,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,iBAAiB,GAAG,eAAe,GAAG,aAAa,CAAC;gCACzD,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,iBAAiB,GAAG,aAAa,CAAC;0BACpF,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,GAAG,eAAe,GAAG,aAAa,GAAG,cAAc,CAAC;qBAClI,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,GAAG,gBAAgB,GAAG,aAAa,CAAC;mBAC5H,CAAC,MAAM,CAAC,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,EAAE,aAAa,CAAC;2BAC9D,CAAC,MAAM,CAAC,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,YAAY,EAAE,EAAE,aAAa,CAAC;oBACrF,CAAC,MAAM,CAAC,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;;AArBjF,qBAAa,WAAY,SAAQ,gBAuB9B;CAAG;AAuIN,eAAO,MAAM,eAAe,0FAqf3B,CAAA"}
+{"version":3,"file":"task-service.d.ts","sourceRoot":"","sources":["../../src/services/task-service.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAA;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,aAAa,EAAE,kBAAkB,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAKtI,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,eAAe,EAAE,eAAe,EAAoB,MAAM,yBAAyB,CAAA;;qBAKhI,CAAC,KAAK,EAAE,eAAe,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,GAAG,aAAa,GAAG,kBAAkB,CAAC;kBACxG,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,GAAG,aAAa,CAAC;0BAC9D,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,iBAAiB,GAAG,aAAa,CAAC;+BACzE,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,YAAY,EAAE,EAAE,aAAa,CAAC;qBAC3F,CACf,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,eAAe,EACtB,OAAO,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,OAAO,GAAG,OAAO,CAAA;KAAE,KACpC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,GAAG,eAAe,GAAG,aAAa,GAAG,cAAc,CAAC;8BACpE,CACxB,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,MAAM,KACZ,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,iBAAiB,GAAG,eAAe,GAAG,aAAa,CAAC;gCACzD,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,iBAAiB,GAAG,aAAa,CAAC;0BACpF,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,GAAG,eAAe,GAAG,aAAa,GAAG,cAAc,CAAC;qBAClI,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,GAAG,gBAAgB,GAAG,aAAa,CAAC;mBAC5H,CAAC,MAAM,CAAC,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,EAAE,aAAa,CAAC;2BAC9D,CAAC,MAAM,CAAC,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,YAAY,EAAE,EAAE,aAAa,CAAC;oBACrF,CAAC,MAAM,CAAC,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;;AArBjF,qBAAa,WAAY,SAAQ,gBAuB9B;CAAG;AA2BN,eAAO,MAAM,eAAe,0GAwW3B,CAAA"}

package/dist/services/task-service.js

@@ -2,10 +2,12 @@ import { Context, Effect, Layer } from "effect";
 import { TaskRepository } from "../repo/task-repo.js";
 import { DependencyRepository } from "../repo/dep-repo.js";
 import { GuardRepository } from "../repo/guard-repo.js";
-import { TaskNotFoundError, ValidationError, DatabaseError, GuardExceededError, HasChildrenError } from "../errors.js";
+import { PinRepository } from "../repo/pin-repo.js";
+import { TaskNotFoundError, ValidationError, DatabaseError, HasChildrenError } from "../errors.js";
 import { generateTaskId, isUniqueConstraintError } from "../id.js";
 import { isValidTransition, isValidStatus } from "../mappers/task.js";
 import { readTxConfig } from "../utils/toml-config.js";
+import { CASCADE_MAX_DEPTH, autoCompleteParent, checkGuards, enrichWithDeps, enrichWithDepsBatch, listGateTaskLinks } from "./task-service/internals.js";
 export class TaskService extends Context.Tag("TaskService")() {
 }
 /**
@@ -21,241 +23,13 @@ const trimVisible = (s) => s.replace(/^[\s\p{Cf}]+|[\s\p{Cf}]+$/gu, "");
 /** Strips null bytes (\0) which cause C API truncation, JSON issues, and terminal corruption. */
 const stripNullBytes = (s) => s.replace(/\0/g, "");
 const isValidAssigneeType = (assigneeType) => assigneeType === undefined || assigneeType === null || assigneeType === "human" || assigneeType === "agent";
-/** Max recursion depth for destructive operations that must find ALL descendants.
- *  Bounded to avoid unbounded CTE recursion in SQLite while being deep enough
- *  for any realistic task hierarchy (display default is 10). */
-const CASCADE_MAX_DEPTH = 1000;
 const GROUP_CONTEXT_MAX_CHARS = 20_000;
-/**
- * Check guards before task creation. Returns advisory warnings (empty array if none).
- * Advisory mode logs warnings to stderr and returns them for metadata injection;
- * enforce mode fails with GuardExceededError.
- */
-const checkGuards = (guardRepo, config, parentId) => Effect.gen(function* () {
-    const warnings = [];
-    // Defensive: if config.guard is undefined (malformed config), skip guard checks
-    if (!config?.guard)
-        return warnings;
-    // Resolve effective guard: DB row takes precedence, fall back to config defaults
-    const dbGuard = yield* guardRepo.findByScope("global");
-    const globalGuard = dbGuard
-        ? { maxPending: dbGuard.maxPending, maxChildren: dbGuard.maxChildren, maxDepth: dbGuard.maxDepth, enforce: dbGuard.enforce }
-        : (config.guard.maxPending !== null || config.guard.maxChildren !== null || config.guard.maxDepth !== null)
-            ? { maxPending: config.guard.maxPending, maxChildren: config.guard.maxChildren, maxDepth: config.guard.maxDepth, enforce: config.guard.mode === "enforce" }
-            : null;
-    if (globalGuard) {
-        // DB row's enforce setting takes precedence; config only applies when no DB row exists
-        const enforce = globalGuard.enforce;
-        // Check max_pending
-        if (globalGuard.maxPending !== null) {
-            const pending = yield* guardRepo.countPending();
-            if (pending >= globalGuard.maxPending) {
-                const msg = `${pending}/${globalGuard.maxPending} pending tasks (global limit)`;
-                if (enforce) {
-                    return yield* Effect.fail(new GuardExceededError({
-                        scope: "global", metric: "max_pending", current: pending, limit: globalGuard.maxPending,
-                    }));
-                }
-                console.error(`\u26A0 Guard warning: ${msg}`);
-                warnings.push(msg);
-            }
-        }
-        // Check max_depth (only relevant when creating under a parent)
-        if (globalGuard.maxDepth !== null && parentId) {
-            const depth = yield* guardRepo.getMaxDepth(parentId);
-            const newDepth = depth + 1;
-            if (newDepth > globalGuard.maxDepth) {
-                const msg = `depth ${newDepth}/${globalGuard.maxDepth} (global limit)`;
-                if (enforce) {
-                    return yield* Effect.fail(new GuardExceededError({
-                        scope: "global", metric: "max_depth", current: newDepth, limit: globalGuard.maxDepth,
-                    }));
-                }
-                console.error(`\u26A0 Guard warning: ${msg}`);
-                warnings.push(msg);
-            }
-        }
-        // Check max_children (only relevant when creating under a parent)
-        if (globalGuard.maxChildren !== null && parentId) {
-            const children = yield* guardRepo.countChildrenOf(parentId);
-            if (children >= globalGuard.maxChildren) {
-                const msg = `${children}/${globalGuard.maxChildren} children of ${parentId} (global limit)`;
-                if (enforce) {
-                    return yield* Effect.fail(new GuardExceededError({
-                        scope: "global", metric: "max_children", current: children, limit: globalGuard.maxChildren,
-                    }));
-                }
-                console.error(`\u26A0 Guard warning: ${msg}`);
-                warnings.push(msg);
-            }
-        }
-    }
-    // Check parent-specific guard (independent of global guard)
-    if (parentId) {
-        const parentGuard = yield* guardRepo.findByScope(`parent:${parentId}`);
-        if (parentGuard?.maxChildren !== null && parentGuard?.maxChildren !== undefined) {
-            const children = yield* guardRepo.countChildrenOf(parentId);
-            const parentEnforce = parentGuard.enforce;
-            if (children >= parentGuard.maxChildren) {
-                const msg = `${children}/${parentGuard.maxChildren} children of ${parentId} (parent scope)`;
-                if (parentEnforce) {
-                    return yield* Effect.fail(new GuardExceededError({
-                        scope: `parent:${parentId}`, metric: "max_children", current: children, limit: parentGuard.maxChildren,
-                    }));
-                }
-                console.error(`\u26A0 Guard warning: ${msg}`);
-                warnings.push(msg);
-            }
-        }
-    }
-    return warnings;
-});
 export const TaskServiceLive = Layer.effect(TaskService, Effect.gen(function* () {
     const taskRepo = yield* TaskRepository;
     const depRepo = yield* DependencyRepository;
     const guardRepo = yield* GuardRepository;
+    const pinRepo = yield* PinRepository;
     const config = readTxConfig();
-    const enrichWithDeps = (task) => Effect.gen(function* () {
-        const blockerIds = yield* depRepo.getBlockerIds(task.id);
-        const blockingIds = yield* depRepo.getBlockingIds(task.id);
-        const childIds = yield* taskRepo.getChildIds(task.id);
-        const directContextMap = yield* taskRepo.getGroupContextForMany([task.id]);
-        const effectiveContextMap = yield* taskRepo.resolveEffectiveGroupContextForMany([task.id]);
-        let isReady = ["backlog", "ready", "planning", "active"].includes(task.status);
-        if (isReady && blockerIds.length > 0) {
-            const blockers = yield* taskRepo.findByIds(blockerIds);
-            isReady = blockers.every(b => b.status === "done");
-        }
-        const effective = effectiveContextMap.get(task.id);
-        return {
-            ...task,
-            blockedBy: blockerIds,
-            blocks: blockingIds,
-            children: childIds,
-            isReady,
-            groupContext: directContextMap.get(task.id) ?? null,
-            effectiveGroupContext: effective?.context ?? null,
-            effectiveGroupContextSourceTaskId: effective?.sourceTaskId ?? null
-        };
-    });
-    // Batch version of enrichWithDeps - avoids N+1 queries
-    const enrichWithDepsBatch = (tasks) => Effect.gen(function* () {
-        if (tasks.length === 0)
-            return [];
-        const taskIds = tasks.map(t => t.id);
-        // Batch fetch all dependency info (3 queries total instead of 3N)
-        const blockerIdsMap = yield* depRepo.getBlockerIdsForMany(taskIds);
-        const blockingIdsMap = yield* depRepo.getBlockingIdsForMany(taskIds);
-        const childIdsMap = yield* taskRepo.getChildIdsForMany(taskIds);
-        const directContextMap = yield* taskRepo.getGroupContextForMany(taskIds);
-        const effectiveContextMap = yield* taskRepo.resolveEffectiveGroupContextForMany(taskIds);
-        // Collect all unique blocker IDs to fetch their status
-        const allBlockerIds = new Set();
-        for (const blockerIds of blockerIdsMap.values()) {
-            for (const id of blockerIds) {
-                allBlockerIds.add(id);
-            }
-        }
-        // Fetch all blocker tasks to check their status (1 query instead of N)
-        const blockerTasks = allBlockerIds.size > 0
-            ? yield* taskRepo.findByIds([...allBlockerIds])
-            : [];
-        const blockerStatusMap = new Map();
-        for (const t of blockerTasks) {
-            blockerStatusMap.set(t.id, t.status);
-        }
-        // Build TaskWithDeps for each task
-        const results = [];
-        for (const task of tasks) {
-            const blockerIds = blockerIdsMap.get(task.id) ?? [];
-            const blockingIds = blockingIdsMap.get(task.id) ?? [];
-            const childIds = childIdsMap.get(task.id) ?? [];
-            // Compute isReady
-            let isReady = ["backlog", "ready", "planning", "active"].includes(task.status);
-            if (isReady && blockerIds.length > 0) {
-                isReady = blockerIds.every(bid => blockerStatusMap.get(bid) === "done");
-            }
-            const effective = effectiveContextMap.get(task.id);
-            results.push({
-                ...task,
-                blockedBy: blockerIds,
-                blocks: blockingIds,
-                children: childIds,
-                isReady,
-                groupContext: directContextMap.get(task.id) ?? null,
-                effectiveGroupContext: effective?.context ?? null,
-                effectiveGroupContextSourceTaskId: effective?.sourceTaskId ?? null
-            });
-        }
-        return results;
-    });
-    // Auto-complete parent task when all children are done
-    // Optimized to use batch queries instead of N+1 recursive queries
-    // Old implementation: 3-4 queries per hierarchy level (40+ for deep trees)
-    // New implementation: 3 queries total + 1 batch update
-    const autoCompleteParent = (parentId, now) => Effect.gen(function* () {
-        // 1. Get all ancestors in one query (recursive CTE)
-        const ancestors = yield* taskRepo.getAncestorChain(parentId);
-        if (ancestors.length === 0)
-            return;
-        // Filter out already-done ancestors (nothing to auto-complete)
-        const pendingAncestors = ancestors.filter(a => a.status !== "done");
-        if (pendingAncestors.length === 0)
-            return;
-        // 2. Batch get all children for all pending ancestors (1 query)
-        const ancestorIds = pendingAncestors.map(a => a.id);
-        const childIdsMap = yield* taskRepo.getChildIdsForMany(ancestorIds);
-        // 3. Collect all unique child IDs and batch fetch them (1 query)
-        const allChildIds = new Set();
-        for (const childIds of childIdsMap.values()) {
-            for (const id of childIds) {
-                allChildIds.add(id);
-            }
-        }
-        const childTasks = allChildIds.size > 0
-            ? yield* taskRepo.findByIds([...allChildIds])
-            : [];
-        // Build status map for quick lookups
-        const childStatusMap = new Map();
-        for (const child of childTasks) {
-            childStatusMap.set(child.id, child.status);
-        }
-        // 4. Process ancestors in order (parent -> grandparent -> ...)
-        // Track which ones should be auto-completed
-        const toComplete = [];
-        const nowCompletedIds = new Set();
-        for (const ancestor of pendingAncestors) {
-            const childIds = childIdsMap.get(ancestor.id) ?? [];
-            if (childIds.length === 0)
-                continue;
-            // Check if all children are done
-            // Include children we're about to mark as done in this pass
-            const allChildrenDone = childIds.every(childId => {
-                if (nowCompletedIds.has(childId))
-                    return true;
-                return childStatusMap.get(childId) === "done";
-            });
-            if (allChildrenDone) {
-                // Mark for completion
-                toComplete.push({
-                    ...ancestor,
-                    status: "done",
-                    updatedAt: now,
-                    completedAt: now
-                });
-                // Track so parent levels can see this ancestor is now done
-                nowCompletedIds.add(ancestor.id);
-            }
-            else {
-                // If this ancestor can't be completed, neither can its ancestors
-                break;
-            }
-        }
-        // 5. Batch update all auto-completed ancestors (1 transaction)
-        if (toComplete.length > 0) {
-            yield* taskRepo.updateMany(toComplete);
-        }
-    });
     return {
         create: (input) => Effect.gen(function* () {
             const title = stripNullBytes(input.title);
@@ -333,13 +107,13 @@ export const TaskServiceLive = Layer.effect(TaskService, Effect.gen(function* ()
             if (!task) {
                 return yield* Effect.fail(new TaskNotFoundError({ id }));
             }
-            return yield* enrichWithDeps(task);
+            return yield* enrichWithDeps({ taskRepo, depRepo }, task);
         }),
         getWithDepsBatch: (ids) => Effect.gen(function* () {
             if (ids.length === 0)
                 return [];
             const tasks = yield* taskRepo.findByIds(ids);
-            return yield* enrichWithDepsBatch(tasks);
+            return yield* enrichWithDepsBatch({ taskRepo, depRepo }, tasks);
         }),
         update: (id, input, options) => Effect.gen(function* () {
             const existing = yield* taskRepo.findById(id);
@@ -392,6 +166,12 @@ export const TaskServiceLive = Layer.effect(TaskService, Effect.gen(function* ()
             const now = new Date();
             const actor = options?.actor ?? "agent";
             const isDone = input.status === "done" && existing.status !== "done";
+            const shouldBlockAgentDoneForPinnedTasks = isDone &&
+                actor === "agent" &&
+                config.pins.blockAgentDoneWhenTaskIdPresent;
+            const linkedGatePins = shouldBlockAgentDoneForPinnedTasks
+                ? yield* listGateTaskLinks(pinRepo)
+                : new Map();
             if (isDone && actor === "agent") {
                 const childIds = yield* taskRepo.getChildIds(id);
                 if (childIds.length > 0) {
@@ -406,6 +186,14 @@ export const TaskServiceLive = Layer.effect(TaskService, Effect.gen(function* ()
                     }
                 }
             }
+            if (shouldBlockAgentDoneForPinnedTasks) {
+                const blockingGateIds = linkedGatePins.get(id);
+                if (blockingGateIds && blockingGateIds.length > 0) {
+                    return yield* Effect.fail(new ValidationError({
+                        reason: `Agent cannot mark task ${id} done because it is linked by gate pin(s): ${blockingGateIds.join(", ")}`
+                    }));
+                }
+            }
             const assigneeTypeChanged = input.assigneeType !== undefined && input.assigneeType !== existing.assigneeType;
             const assigneeIdChanged = input.assigneeId !== undefined && input.assigneeId !== existing.assigneeId;
             let nextAssigneeType = input.assigneeType !== undefined ? input.assigneeType : existing.assigneeType;
@@ -438,7 +226,11 @@ export const TaskServiceLive = Layer.effect(TaskService, Effect.gen(function* ()
             yield* taskRepo.update(updated, existing.updatedAt);
             // Auto-complete parent if all children are done
             if (isDone && updated.parentId) {
-                yield* autoCompleteParent(updated.parentId, now);
+                yield* autoCompleteParent(taskRepo, updated.parentId, now, {
+                    blockedTaskIds: shouldBlockAgentDoneForPinnedTasks
+                        ? new Set(linkedGatePins.keys())
+                        : undefined
+                });
             }
             return updated;
         }),
@@ -460,7 +252,7 @@ export const TaskServiceLive = Layer.effect(TaskService, Effect.gen(function* ()
             if (!task) {
                 return yield* Effect.fail(new TaskNotFoundError({ id }));
             }
-            return yield* enrichWithDeps(task);
+            return yield* enrichWithDeps({ taskRepo, depRepo }, task);
         }),
         clearGroupContext: (id) => Effect.gen(function* () {
             yield* taskRepo.clearGroupContext(id);
@@ -468,7 +260,7 @@ export const TaskServiceLive = Layer.effect(TaskService, Effect.gen(function* ()
             if (!task) {
                 return yield* Effect.fail(new TaskNotFoundError({ id }));
             }
-            return yield* enrichWithDeps(task);
+            return yield* enrichWithDeps({ taskRepo, depRepo }, task);
         }),
         forceStatus: (id, status) => Effect.gen(function* () {
             const existing = yield* taskRepo.findById(id);
@@ -523,7 +315,7 @@ export const TaskServiceLive = Layer.effect(TaskService, Effect.gen(function* ()
         list: (filter) => taskRepo.findAll(filter),
         listWithDeps: (filter) => Effect.gen(function* () {
             const tasks = yield* taskRepo.findAll(filter);
-            return yield* enrichWithDepsBatch(tasks);
+            return yield* enrichWithDepsBatch({ taskRepo, depRepo }, tasks);
         }),
         count: (filter) => taskRepo.count(filter)
     };