@jamesaphoenix/tx-core 0.4.3 → 0.4.5

package/dist/services/promotion-service.js

@@ -1,151 +0,0 @@
-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 })
-            : 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

@@ -1 +0,0 @@
-{"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,EAAE,CAAC;YACrC,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/swarm-verification.d.ts

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

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

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

package/dist/services/swarm-verification.js

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