@jamesaphoenix/tx-core 0.4.1

package/dist/services/anchor-service.js

@@ -0,0 +1,540 @@
+import { Context, Effect, Layer } from "effect";
+import { AnchorRepository } from "../repo/anchor-repo.js";
+import { LearningRepository } from "../repo/learning-repo.js";
+import { AnchorNotFoundError, ValidationError, LearningNotFoundError } from "../errors.js";
+import { getAnchorTTL, isStale } from "./anchor-verification.js";
+/** Validate anchor types at compile time */
+const VALID_ANCHOR_TYPES = ["glob", "hash", "symbol", "line_range"];
+export class AnchorService extends Context.Tag("AnchorService")() {
+}
+/**
+ * Validate anchor input based on type.
+ * Each anchor type has specific requirements.
+ */
+const validateAnchorInput = (input) => Effect.gen(function* () {
+    // Validate anchor type
+    if (!VALID_ANCHOR_TYPES.includes(input.anchorType)) {
+        return yield* Effect.fail(new ValidationError({
+            reason: `Invalid anchor type: ${input.anchorType}. Valid types: ${VALID_ANCHOR_TYPES.join(", ")}`
+        }));
+    }
+    // Validate file path
+    if (!input.filePath || input.filePath.trim().length === 0) {
+        return yield* Effect.fail(new ValidationError({
+            reason: "File path is required"
+        }));
+    }
+    // Validate value
+    if (!input.value || input.value.trim().length === 0) {
+        return yield* Effect.fail(new ValidationError({
+            reason: "Anchor value is required"
+        }));
+    }
+    // Type-specific validation
+    switch (input.anchorType) {
+        case "glob":
+            // Glob patterns should be valid patterns
+            // Basic validation: must contain at least a filename or pattern
+            if (input.value.length < 1) {
+                return yield* Effect.fail(new ValidationError({
+                    reason: "Glob pattern cannot be empty"
+                }));
+            }
+            return {
+                learningId: input.learningId,
+                anchorType: input.anchorType,
+                anchorValue: input.value,
+                filePath: input.filePath,
+                symbolFqname: null,
+                lineStart: null,
+                lineEnd: null,
+                contentHash: input.contentHash ?? null,
+                contentPreview: input.contentPreview ?? null
+            };
+        case "hash":
+            // Hash should be a valid SHA256 hash (64 hex characters)
+            if (!/^[a-f0-9]{64}$/i.test(input.value)) {
+                return yield* Effect.fail(new ValidationError({
+                    reason: "Hash anchor value must be a valid SHA256 hash (64 hex characters)"
+                }));
+            }
+            return {
+                learningId: input.learningId,
+                anchorType: input.anchorType,
+                anchorValue: input.value,
+                filePath: input.filePath,
+                symbolFqname: null,
+                lineStart: input.lineStart ?? null,
+                lineEnd: input.lineEnd ?? null,
+                contentHash: input.value,
+                contentPreview: input.contentPreview ?? null
+            };
+        case "symbol":
+            // Symbol anchors require a symbol FQName
+            if (!input.symbolFqname || input.symbolFqname.trim().length === 0) {
+                return yield* Effect.fail(new ValidationError({
+                    reason: "Symbol anchor requires symbolFqname"
+                }));
+            }
+            // Symbol FQName format: file::symbolName or file::class::method
+            if (!input.symbolFqname.includes("::")) {
+                return yield* Effect.fail(new ValidationError({
+                    reason: "Symbol FQName must be in format: file::symbol or file::class::method"
+                }));
+            }
+            return {
+                learningId: input.learningId,
+                anchorType: input.anchorType,
+                anchorValue: input.value,
+                filePath: input.filePath,
+                symbolFqname: input.symbolFqname,
+                lineStart: input.lineStart ?? null,
+                lineEnd: input.lineEnd ?? null,
+                contentHash: input.contentHash ?? null,
+                contentPreview: input.contentPreview ?? null
+            };
+        case "line_range":
+            // Line range anchors require valid line numbers
+            if (input.lineStart === undefined || input.lineStart < 1) {
+                return yield* Effect.fail(new ValidationError({
+                    reason: "Line range anchor requires valid lineStart (>= 1)"
+                }));
+            }
+            if (input.lineEnd !== undefined && input.lineEnd < input.lineStart) {
+                return yield* Effect.fail(new ValidationError({
+                    reason: "lineEnd must be >= lineStart"
+                }));
+            }
+            return {
+                learningId: input.learningId,
+                anchorType: input.anchorType,
+                anchorValue: input.value,
+                filePath: input.filePath,
+                symbolFqname: null,
+                lineStart: input.lineStart,
+                lineEnd: input.lineEnd ?? input.lineStart,
+                contentHash: input.contentHash ?? null,
+                contentPreview: input.contentPreview ?? null
+            };
+        default:
+            return yield* Effect.fail(new ValidationError({
+                reason: `Unknown anchor type: ${input.anchorType}`
+            }));
+    }
+});
+/**
+ * Validate anchor status.
+ */
+const VALID_STATUSES = ["valid", "drifted", "invalid"];
+const validateStatus = (status) => Effect.gen(function* () {
+    if (!VALID_STATUSES.includes(status)) {
+        return yield* Effect.fail(new ValidationError({
+            reason: `Invalid anchor status: ${status}. Valid statuses: ${VALID_STATUSES.join(", ")}`
+        }));
+    }
+    return status;
+});
+export const AnchorServiceLive = Layer.effect(AnchorService, Effect.gen(function* () {
+    const anchorRepo = yield* AnchorRepository;
+    const learningRepo = yield* LearningRepository;
+    return {
+        createAnchor: (input) => Effect.gen(function* () {
+            // Validate the input based on anchor type
+            const validatedInput = yield* validateAnchorInput(input);
+            // Verify the learning exists
+            const learning = yield* learningRepo.findById(input.learningId);
+            if (!learning) {
+                return yield* Effect.fail(new LearningNotFoundError({ id: input.learningId }));
+            }
+            // Create the anchor
+            return yield* anchorRepo.create(validatedInput);
+        }),
+        verifyAnchor: (anchorId) => Effect.gen(function* () {
+            const anchor = yield* anchorRepo.findById(anchorId);
+            if (!anchor) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id: anchorId }));
+            }
+            const previousStatus = anchor.status;
+            // Verification logic depends on anchor type
+            // For now, we simply update the verified_at timestamp
+            // Full verification would check file existence, hash matches, symbol presence, etc.
+            // This is a placeholder for future ast-grep integration
+            let newStatus = "valid";
+            let reason;
+            switch (anchor.anchorType) {
+                case "glob":
+                    // Glob anchors are generally considered valid if file path matches pattern
+                    // Full implementation would check if files matching the pattern exist
+                    newStatus = "valid";
+                    break;
+                case "hash":
+                    // Hash anchors would compare stored hash with current file content hash
+                    // Placeholder: assume valid for now (full implementation requires file access)
+                    newStatus = "valid";
+                    reason = "Hash verification requires file content access";
+                    break;
+                case "symbol":
+                    // Symbol anchors would use ast-grep to verify symbol exists
+                    // Placeholder: assume valid for now (full implementation requires ast-grep)
+                    newStatus = "valid";
+                    reason = "Symbol verification requires ast-grep integration";
+                    break;
+                case "line_range":
+                    // Line range anchors would check if line range is still within file bounds
+                    // Placeholder: assume valid for now
+                    newStatus = "valid";
+                    reason = "Line range verification requires file access";
+                    break;
+            }
+            // Update status and verified_at timestamp
+            if (newStatus !== previousStatus) {
+                yield* anchorRepo.updateStatus(anchorId, newStatus);
+            }
+            yield* anchorRepo.updateVerifiedAt(anchorId);
+            return {
+                anchorId,
+                previousStatus,
+                newStatus,
+                verified: true,
+                reason
+            };
+        }),
+        updateAnchorStatus: (anchorId, status, reason, detectedBy = "manual") => Effect.gen(function* () {
+            // Validate status
+            yield* validateStatus(status);
+            // Get anchor to verify it exists
+            const anchor = yield* anchorRepo.findById(anchorId);
+            if (!anchor) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id: anchorId }));
+            }
+            const oldStatus = anchor.status;
+            // Update the status
+            yield* anchorRepo.updateStatus(anchorId, status);
+            // Log the status change if status actually changed
+            if (oldStatus !== status) {
+                yield* anchorRepo.logInvalidation({
+                    anchorId,
+                    oldStatus,
+                    newStatus: status,
+                    reason: reason ?? `Status changed from ${oldStatus} to ${status}`,
+                    detectedBy,
+                    oldContentHash: anchor.contentHash
+                });
+            }
+            // Return updated anchor
+            const updated = yield* anchorRepo.findById(anchorId);
+            if (!updated) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id: anchorId }));
+            }
+            return updated;
+        }),
+        findAnchorsForFile: (filePath) => anchorRepo.findByFilePath(filePath),
+        findAnchorsForLearning: (learningId) => anchorRepo.findByLearningId(learningId),
+        get: (id) => Effect.gen(function* () {
+            const anchor = yield* anchorRepo.findById(id);
+            if (!anchor) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id }));
+            }
+            return anchor;
+        }),
+        getWithVerification: (id, _options = {}) => Effect.gen(function* () {
+            // Get the anchor first
+            const anchor = yield* anchorRepo.findById(id);
+            if (!anchor) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id }));
+            }
+            // Get TTL and check staleness
+            const ttl = yield* getAnchorTTL();
+            const anchorIsStale = isStale(anchor, ttl);
+            // If fresh, return immediately without verification
+            if (!anchorIsStale) {
+                return {
+                    anchor,
+                    isFresh: true,
+                    wasVerified: false
+                };
+            }
+            // Anchor is stale - run verification
+            const previousStatus = anchor.status;
+            // Verification logic (simplified - uses the same logic as verifyAnchor)
+            // For now, we simply update the verified_at timestamp
+            // Full verification would check file existence, hash matches, symbol presence, etc.
+            // Note: Future implementation will use AnchorVerificationService for full file-based verification
+            let newStatus = previousStatus;
+            let reason;
+            let action = "unchanged";
+            switch (anchor.anchorType) {
+                case "glob":
+                    // Glob anchors are generally considered valid if file path matches pattern
+                    // Full implementation would check if files matching the pattern exist
+                    break;
+                case "hash":
+                    // Hash anchors would compare stored hash with current file content hash
+                    // Placeholder: assume unchanged for now (full implementation requires file access)
+                    reason = "Hash verification requires file content access";
+                    break;
+                case "symbol":
+                    // Symbol anchors would use ast-grep to verify symbol exists
+                    // Placeholder: assume unchanged for now (full implementation requires ast-grep)
+                    reason = "Symbol verification requires ast-grep integration";
+                    break;
+                case "line_range":
+                    // Line range anchors would check if line range is still within file bounds
+                    // Placeholder: assume unchanged for now
+                    reason = "Line range verification requires file access";
+                    break;
+            }
+            // Determine action based on status change
+            if (newStatus !== previousStatus) {
+                yield* anchorRepo.updateStatus(id, newStatus);
+                if (newStatus === "drifted") {
+                    action = "drifted";
+                }
+                else if (newStatus === "invalid") {
+                    action = "invalidated";
+                }
+                else if (previousStatus === "drifted" && newStatus === "valid") {
+                    action = "self_healed";
+                }
+            }
+            // Update verified_at timestamp
+            yield* anchorRepo.updateVerifiedAt(id);
+            // Get the updated anchor
+            const updatedAnchor = yield* anchorRepo.findById(id);
+            if (!updatedAnchor) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id }));
+            }
+            return {
+                anchor: updatedAnchor,
+                isFresh: false,
+                wasVerified: true,
+                verificationResult: {
+                    previousStatus,
+                    newStatus,
+                    action,
+                    reason
+                }
+            };
+        }),
+        remove: (id, reason = "Soft deleted") => Effect.gen(function* () {
+            const anchor = yield* anchorRepo.findById(id);
+            if (!anchor) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id }));
+            }
+            const oldStatus = anchor.status;
+            // Set status to invalid (soft delete)
+            yield* anchorRepo.updateStatus(id, "invalid");
+            // Log the status change
+            yield* anchorRepo.logInvalidation({
+                anchorId: id,
+                oldStatus,
+                newStatus: "invalid",
+                reason,
+                detectedBy: "manual",
+                oldContentHash: anchor.contentHash
+            });
+            // Return the updated anchor
+            const updated = yield* anchorRepo.findById(id);
+            if (!updated) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id }));
+            }
+            return updated;
+        }),
+        hardDelete: (id) => Effect.gen(function* () {
+            const anchor = yield* anchorRepo.findById(id);
+            if (!anchor) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id }));
+            }
+            yield* anchorRepo.delete(id);
+        }),
+        findDrifted: () => anchorRepo.findDrifted(),
+        findInvalid: () => anchorRepo.findInvalid(),
+        verifyAnchorsForFile: (filePath) => Effect.gen(function* () {
+            const anchors = yield* anchorRepo.findByFilePath(filePath);
+            let verified = 0;
+            let drifted = 0;
+            let invalid = 0;
+            for (const anchor of anchors) {
+                // Simple verification - full implementation would check actual file state
+                yield* anchorRepo.updateVerifiedAt(anchor.id);
+                switch (anchor.status) {
+                    case "valid":
+                        verified++;
+                        break;
+                    case "drifted":
+                        drifted++;
+                        break;
+                    case "invalid":
+                        invalid++;
+                        break;
+                }
+            }
+            return {
+                total: anchors.length,
+                verified,
+                drifted,
+                invalid
+            };
+        }),
+        pin: (anchorId) => Effect.gen(function* () {
+            const anchor = yield* anchorRepo.findById(anchorId);
+            if (!anchor) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id: anchorId }));
+            }
+            yield* anchorRepo.setPinned(anchorId, true);
+            const updated = yield* anchorRepo.findById(anchorId);
+            if (!updated) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id: anchorId }));
+            }
+            return updated;
+        }),
+        unpin: (anchorId) => Effect.gen(function* () {
+            const anchor = yield* anchorRepo.findById(anchorId);
+            if (!anchor) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id: anchorId }));
+            }
+            yield* anchorRepo.setPinned(anchorId, false);
+            const updated = yield* anchorRepo.findById(anchorId);
+            if (!updated) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id: anchorId }));
+            }
+            return updated;
+        }),
+        invalidate: (anchorId, reason, detectedBy = "manual") => Effect.gen(function* () {
+            const anchor = yield* anchorRepo.findById(anchorId);
+            if (!anchor) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id: anchorId }));
+            }
+            const oldStatus = anchor.status;
+            // Update status to invalid
+            yield* anchorRepo.updateStatus(anchorId, "invalid");
+            // Log the invalidation
+            yield* anchorRepo.logInvalidation({
+                anchorId,
+                oldStatus,
+                newStatus: "invalid",
+                reason,
+                detectedBy,
+                oldContentHash: anchor.contentHash
+            });
+            const updated = yield* anchorRepo.findById(anchorId);
+            if (!updated) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id: anchorId }));
+            }
+            return updated;
+        }),
+        restore: (anchorId) => Effect.gen(function* () {
+            const anchor = yield* anchorRepo.findById(anchorId);
+            if (!anchor) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id: anchorId }));
+            }
+            const currentStatus = anchor.status;
+            // Find the most recent invalidation log entry with status change TO 'invalid'
+            const logs = yield* anchorRepo.getInvalidationLogs(anchorId);
+            const invalidationEntry = logs.find(log => log.newStatus === "invalid");
+            // Determine restore target status: use oldStatus from log or default to 'valid'
+            const restoreToStatus = invalidationEntry?.oldStatus ?? "valid";
+            // Update status to the restore target
+            yield* anchorRepo.updateStatus(anchorId, restoreToStatus);
+            yield* anchorRepo.updateVerifiedAt(anchorId);
+            // Optionally restore old_content_hash if it was stored in the log entry
+            if (invalidationEntry?.oldContentHash) {
+                yield* anchorRepo.update(anchorId, { contentHash: invalidationEntry.oldContentHash });
+            }
+            // Log the restoration
+            yield* anchorRepo.logInvalidation({
+                anchorId,
+                oldStatus: currentStatus,
+                newStatus: restoreToStatus,
+                reason: invalidationEntry
+                    ? `Restored to ${restoreToStatus} (from invalidation log)`
+                    : "Manual restoration",
+                detectedBy: "manual",
+                oldContentHash: anchor.contentHash,
+                newContentHash: invalidationEntry?.oldContentHash ?? null
+            });
+            const updated = yield* anchorRepo.findById(anchorId);
+            if (!updated) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id: anchorId }));
+            }
+            return updated;
+        }),
+        prune: (olderThanDays) => Effect.gen(function* () {
+            const deleted = yield* anchorRepo.deleteOldInvalid(olderThanDays);
+            return { deleted };
+        }),
+        getStatus: () => Effect.gen(function* () {
+            const summary = yield* anchorRepo.getStatusSummary();
+            const recentInvalidations = yield* anchorRepo.getInvalidationLogs();
+            return {
+                total: summary.total,
+                valid: summary.valid,
+                drifted: summary.drifted,
+                invalid: summary.invalid,
+                pinned: summary.pinned,
+                recentInvalidations: recentInvalidations.slice(0, 10)
+            };
+        }),
+        verifyAll: () => Effect.gen(function* () {
+            const anchors = yield* anchorRepo.findAll();
+            let verified = 0;
+            let drifted = 0;
+            let invalid = 0;
+            for (const anchor of anchors) {
+                // Skip pinned anchors
+                if (anchor.pinned) {
+                    switch (anchor.status) {
+                        case "valid":
+                            verified++;
+                            break;
+                        case "drifted":
+                            drifted++;
+                            break;
+                        case "invalid":
+                            invalid++;
+                            break;
+                    }
+                    continue;
+                }
+                // Simple verification - full implementation would check actual file state
+                yield* anchorRepo.updateVerifiedAt(anchor.id);
+                switch (anchor.status) {
+                    case "valid":
+                        verified++;
+                        break;
+                    case "drifted":
+                        drifted++;
+                        break;
+                    case "invalid":
+                        invalid++;
+                        break;
+                }
+            }
+            return {
+                total: anchors.length,
+                verified,
+                drifted,
+                invalid
+            };
+        }),
+        logStatusChange: (anchorId, oldStatus, newStatus, reason, detectedBy = "manual", oldHash, newHash, similarity) => Effect.gen(function* () {
+            // Verify anchor exists
+            const anchor = yield* anchorRepo.findById(anchorId);
+            if (!anchor) {
+                return yield* Effect.fail(new AnchorNotFoundError({ id: anchorId }));
+            }
+            // Create entry in invalidation_log
+            return yield* anchorRepo.logInvalidation({
+                anchorId,
+                oldStatus,
+                newStatus,
+                reason,
+                detectedBy,
+                oldContentHash: oldHash ?? null,
+                newContentHash: newHash ?? null,
+                similarityScore: similarity ?? null
+            });
+        })
+    };
+}));
+//# sourceMappingURL=anchor-service.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"anchor-service.js","sourceRoot":"","sources":["../../src/services/anchor-service.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAC7D,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAiB,qBAAqB,EAAE,MAAM,cAAc,CAAA;AACzG,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AAsDhE,4CAA4C;AAC5C,MAAM,kBAAkB,GAA0B,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAA;AAE1F,MAAM,OAAO,aAAc,SAAQ,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,EAuH5D;CAAG;AAEN;;;GAGG;AACH,MAAM,mBAAmB,GAAG,CAAC,KAAuB,EAAqD,EAAE,CACzG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,uBAAuB;IACvB,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACnD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;YAC5C,MAAM,EAAE,wBAAwB,KAAK,CAAC,UAAU,kBAAkB,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SAClG,CAAC,CAAC,CAAA;IACL,CAAC;IAED,qBAAqB;IACrB,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;YAC5C,MAAM,EAAE,uBAAuB;SAChC,CAAC,CAAC,CAAA;IACL,CAAC;IAED,iBAAiB;IACjB,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;YAC5C,MAAM,EAAE,0BAA0B;SACnC,CAAC,CAAC,CAAA;IACL,CAAC;IAED,2BAA2B;IAC3B,QAAQ,KAAK,CAAC,UAAU,EAAE,CAAC;QACzB,KAAK,MAAM;YACT,yCAAyC;YACzC,gEAAgE;YAChE,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;oBAC5C,MAAM,EAAE,8BAA8B;iBACvC,CAAC,CAAC,CAAA;YACL,CAAC;YACD,OAAO;gBACL,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,WAAW,EAAE,KAAK,CAAC,KAAK;gBACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,YAAY,EAAE,IAAI;gBAClB,SAAS,EAAE,IAAI;gBACf,OAAO,EAAE,IAAI;gBACb,WAAW,EAAE,KAAK,CAAC,WAAW,IAAI,IAAI;gBACtC,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,IAAI;aAC7C,CAAA;QAEH,KAAK,MAAM;YACT,yDAAyD;YACzD,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;oBAC5C,MAAM,EAAE,mEAAmE;iBAC5E,CAAC,CAAC,CAAA;YACL,CAAC;YACD,OAAO;gBACL,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,WAAW,EAAE,KAAK,CAAC,KAAK;gBACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,YAAY,EAAE,IAAI;gBAClB,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,IAAI;gBAClC,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,IAAI;gBAC9B,WAAW,EAAE,KAAK,CAAC,KAAK;gBACxB,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,IAAI;aAC7C,CAAA;QAEH,KAAK,QAAQ;YACX,yCAAyC;YACzC,IAAI,CAAC,KAAK,CAAC,YAAY,IAAI,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAClE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;oBAC5C,MAAM,EAAE,qCAAqC;iBAC9C,CAAC,CAAC,CAAA;YACL,CAAC;YACD,gEAAgE;YAChE,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;oBAC5C,MAAM,EAAE,sEAAsE;iBAC/E,CAAC,CAAC,CAAA;YACL,CAAC;YACD,OAAO;gBACL,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,WAAW,EAAE,KAAK,CAAC,KAAK;gBACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,YAAY,EAAE,KAAK,CAAC,YAAY;gBAChC,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,IAAI;gBAClC,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,IAAI;gBAC9B,WAAW,EAAE,KAAK,CAAC,WAAW,IAAI,IAAI;gBACtC,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,IAAI;aAC7C,CAAA;QAEH,KAAK,YAAY;YACf,gDAAgD;YAChD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;gBACzD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;oBAC5C,MAAM,EAAE,mDAAmD;iBAC5D,CAAC,CAAC,CAAA;YACL,CAAC;YACD,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;gBACnE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;oBAC5C,MAAM,EAAE,8BAA8B;iBACvC,CAAC,CAAC,CAAA;YACL,CAAC;YACD,OAAO;gBACL,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,WAAW,EAAE,KAAK,CAAC,KAAK;gBACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,YAAY,EAAE,IAAI;gBAClB,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,SAAS;gBACzC,WAAW,EAAE,KAAK,CAAC,WAAW,IAAI,IAAI;gBACtC,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,IAAI;aAC7C,CAAA;QAEH;YACE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;gBAC5C,MAAM,EAAE,wBAAwB,KAAK,CAAC,UAAU,EAAE;aACnD,CAAC,CAAC,CAAA;IACP,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ;;GAEG;AACH,MAAM,cAAc,GAA4B,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAA;AAE/E,MAAM,cAAc,GAAG,CAAC,MAAoB,EAAgD,EAAE,CAC5F,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACrC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;YAC5C,MAAM,EAAE,0BAA0B,MAAM,qBAAqB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SACzF,CAAC,CAAC,CAAA;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,iBAAiB,GAAG,KAAK,CAAC,MAAM,CAC3C,aAAa,EACb,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAA;IAC1C,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,kBAAkB,CAAA;IAE9C,OAAO;QACL,YAAY,EAAE,CAAC,KAAK,EAAE,EAAE,CACtB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,0CAA0C;YAC1C,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAA;YAExD,6BAA6B;YAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YAC/D,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,qBAAqB,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAA;YAChF,CAAC;YAED,oBAAoB;YACpB,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,cAAc,CAAC,CAAA;QACjD,CAAC,CAAC;QAEJ,YAAY,EAAE,CAAC,QAAQ,EAAE,EAAE,CACzB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;YACnD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;YACtE,CAAC;YAED,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAA;YAEpC,4CAA4C;YAC5C,sDAAsD;YACtD,oFAAoF;YACpF,wDAAwD;YACxD,IAAI,SAAS,GAAiB,OAAO,CAAA;YACrC,IAAI,MAA0B,CAAA;YAE9B,QAAQ,MAAM,CAAC,UAAU,EAAE,CAAC;gBAC1B,KAAK,MAAM;oBACT,2EAA2E;oBAC3E,sEAAsE;oBACtE,SAAS,GAAG,OAAO,CAAA;oBACnB,MAAK;gBAEP,KAAK,MAAM;oBACT,wEAAwE;oBACxE,+EAA+E;oBAC/E,SAAS,GAAG,OAAO,CAAA;oBACnB,MAAM,GAAG,gDAAgD,CAAA;oBACzD,MAAK;gBAEP,KAAK,QAAQ;oBACX,4DAA4D;oBAC5D,4EAA4E;oBAC5E,SAAS,GAAG,OAAO,CAAA;oBACnB,MAAM,GAAG,mDAAmD,CAAA;oBAC5D,MAAK;gBAEP,KAAK,YAAY;oBACf,2EAA2E;oBAC3E,oCAAoC;oBACpC,SAAS,GAAG,OAAO,CAAA;oBACnB,MAAM,GAAG,8CAA8C,CAAA;oBACvD,MAAK;YACT,CAAC;YAED,0CAA0C;YAC1C,IAAI,SAAS,KAAK,cAAc,EAAE,CAAC;gBACjC,KAAK,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;YACrD,CAAC;YACD,KAAK,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAA;YAE5C,OAAO;gBACL,QAAQ;gBACR,cAAc;gBACd,SAAS;gBACT,QAAQ,EAAE,IAAI;gBACd,MAAM;aACP,CAAA;QACH,CAAC,CAAC;QAEJ,kBAAkB,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,QAAQ,EAAE,EAAE,CACtE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,kBAAkB;YAClB,KAAK,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAAA;YAE7B,iCAAiC;YACjC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;YACnD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;YACtE,CAAC;YAED,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAA;YAE/B,oBAAoB;YACpB,KAAK,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;YAEhD,mDAAmD;YACnD,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;gBACzB,KAAK,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC;oBAChC,QAAQ;oBACR,SAAS;oBACT,SAAS,EAAE,MAAM;oBACjB,MAAM,EAAE,MAAM,IAAI,uBAAuB,SAAS,OAAO,MAAM,EAAE;oBACjE,UAAU;oBACV,cAAc,EAAE,MAAM,CAAC,WAAW;iBACnC,CAAC,CAAA;YACJ,CAAC;YAED,wBAAwB;YACxB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;YACpD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;YACtE,CAAC;YACD,OAAO,OAAO,CAAA;QAChB,CAAC,CAAC;QAEJ,kBAAkB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,QAAQ,CAAC;QAErE,sBAAsB,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAE/E,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CACV,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;YAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;YAC5D,CAAC;YACD,OAAO,MAAM,CAAA;QACf,CAAC,CAAC;QAEJ,mBAAmB,EAAE,CAAC,EAAE,EAAE,QAAQ,GAAG,EAAE,EAAE,EAAE,CACzC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,uBAAuB;YACvB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;YAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;YAC5D,CAAC;YAED,8BAA8B;YAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,YAAY,EAAE,CAAA;YACjC,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;YAE1C,oDAAoD;YACpD,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnB,OAAO;oBACL,MAAM;oBACN,OAAO,EAAE,IAAI;oBACb,WAAW,EAAE,KAAK;iBACnB,CAAA;YACH,CAAC;YAED,qCAAqC;YACrC,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAA;YAEpC,wEAAwE;YACxE,sDAAsD;YACtD,oFAAoF;YACpF,kGAAkG;YAClG,IAAI,SAAS,GAAiB,cAAc,CAAA;YAC5C,IAAI,MAA0B,CAAA;YAC9B,IAAI,MAAM,GAA4D,WAAW,CAAA;YAEjF,QAAQ,MAAM,CAAC,UAAU,EAAE,CAAC;gBAC1B,KAAK,MAAM;oBACT,2EAA2E;oBAC3E,sEAAsE;oBACtE,MAAK;gBAEP,KAAK,MAAM;oBACT,wEAAwE;oBACxE,mFAAmF;oBACnF,MAAM,GAAG,gDAAgD,CAAA;oBACzD,MAAK;gBAEP,KAAK,QAAQ;oBACX,4DAA4D;oBAC5D,gFAAgF;oBAChF,MAAM,GAAG,mDAAmD,CAAA;oBAC5D,MAAK;gBAEP,KAAK,YAAY;oBACf,2EAA2E;oBAC3E,wCAAwC;oBACxC,MAAM,GAAG,8CAA8C,CAAA;oBACvD,MAAK;YACT,CAAC;YAED,0CAA0C;YAC1C,IAAI,SAAS,KAAK,cAAc,EAAE,CAAC;gBACjC,KAAK,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,CAAC,CAAA;gBAC7C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC5B,MAAM,GAAG,SAAS,CAAA;gBACpB,CAAC;qBAAM,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBACnC,MAAM,GAAG,aAAa,CAAA;gBACxB,CAAC;qBAAM,IAAI,cAAc,KAAK,SAAS,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;oBACjE,MAAM,GAAG,aAAa,CAAA;gBACxB,CAAC;YACH,CAAC;YAED,+BAA+B;YAC/B,KAAK,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAA;YAEtC,yBAAyB;YACzB,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;YACpD,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;YAC5D,CAAC;YAED,OAAO;gBACL,MAAM,EAAE,aAAa;gBACrB,OAAO,EAAE,KAAK;gBACd,WAAW,EAAE,IAAI;gBACjB,kBAAkB,EAAE;oBAClB,cAAc;oBACd,SAAS;oBACT,MAAM;oBACN,MAAM;iBACP;aACF,CAAA;QACH,CAAC,CAAC;QAEJ,MAAM,EAAE,CAAC,EAAE,EAAE,MAAM,GAAG,cAAc,EAAE,EAAE,CACtC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;YAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;YAC5D,CAAC;YAED,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAA;YAE/B,sCAAsC;YACtC,KAAK,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,CAAC,CAAA;YAE7C,wBAAwB;YACxB,KAAK,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC;gBAChC,QAAQ,EAAE,EAAE;gBACZ,SAAS;gBACT,SAAS,EAAE,SAAS;gBACpB,MAAM;gBACN,UAAU,EAAE,QAAQ;gBACpB,cAAc,EAAE,MAAM,CAAC,WAAW;aACnC,CAAC,CAAA;YAEF,4BAA4B;YAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;YAC9C,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;YAC5D,CAAC;YACD,OAAO,OAAO,CAAA;QAChB,CAAC,CAAC;QAEJ,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;YAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;YAC5D,CAAC;YACD,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAC9B,CAAC,CAAC;QAEJ,WAAW,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE;QAE3C,WAAW,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE;QAE3C,oBAAoB,EAAE,CAAC,QAAQ,EAAE,EAAE,CACjC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAA;YAE1D,IAAI,QAAQ,GAAG,CAAC,CAAA;YAChB,IAAI,OAAO,GAAG,CAAC,CAAA;YACf,IAAI,OAAO,GAAG,CAAC,CAAA;YAEf,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,0EAA0E;gBAC1E,KAAK,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;gBAE7C,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC;oBACtB,KAAK,OAAO;wBACV,QAAQ,EAAE,CAAA;wBACV,MAAK;oBACP,KAAK,SAAS;wBACZ,OAAO,EAAE,CAAA;wBACT,MAAK;oBACP,KAAK,SAAS;wBACZ,OAAO,EAAE,CAAA;wBACT,MAAK;gBACT,CAAC;YACH,CAAC;YAED,OAAO;gBACL,KAAK,EAAE,OAAO,CAAC,MAAM;gBACrB,QAAQ;gBACR,OAAO;gBACP,OAAO;aACR,CAAA;QACH,CAAC,CAAC;QAEJ,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE,CAChB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;YACnD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;YACtE,CAAC;YAED,KAAK,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;YAE3C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;YACpD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;YACtE,CAAC;YACD,OAAO,OAAO,CAAA;QAChB,CAAC,CAAC;QAEJ,KAAK,EAAE,CAAC,QAAQ,EAAE,EAAE,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;YACnD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;YACtE,CAAC;YAED,KAAK,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;YAE5C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;YACpD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;YACtE,CAAC;YACD,OAAO,OAAO,CAAA;QAChB,CAAC,CAAC;QAEJ,UAAU,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,GAAG,QAAQ,EAAE,EAAE,CACtD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;YACnD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;YACtE,CAAC;YAED,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAA;YAE/B,2BAA2B;YAC3B,KAAK,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;YAEnD,uBAAuB;YACvB,KAAK,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC;gBAChC,QAAQ;gBACR,SAAS;gBACT,SAAS,EAAE,SAAS;gBACpB,MAAM;gBACN,UAAU;gBACV,cAAc,EAAE,MAAM,CAAC,WAAW;aACnC,CAAC,CAAA;YAEF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;YACpD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;YACtE,CAAC;YACD,OAAO,OAAO,CAAA;QAChB,CAAC,CAAC;QAEJ,OAAO,EAAE,CAAC,QAAQ,EAAE,EAAE,CACpB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;YACnD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;YACtE,CAAC;YAED,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAA;YAEnC,8EAA8E;YAC9E,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAA;YAC5D,MAAM,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAA;YAEvE,gFAAgF;YAChF,MAAM,eAAe,GAAiB,iBAAiB,EAAE,SAAS,IAAI,OAAO,CAAA;YAE7E,sCAAsC;YACtC,KAAK,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAA;YACzD,KAAK,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAA;YAE5C,wEAAwE;YACxE,IAAI,iBAAiB,EAAE,cAAc,EAAE,CAAC;gBACtC,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,WAAW,EAAE,iBAAiB,CAAC,cAAc,EAAE,CAAC,CAAA;YACvF,CAAC;YAED,sBAAsB;YACtB,KAAK,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC;gBAChC,QAAQ;gBACR,SAAS,EAAE,aAAa;gBACxB,SAAS,EAAE,eAAe;gBAC1B,MAAM,EAAE,iBAAiB;oBACvB,CAAC,CAAC,eAAe,eAAe,0BAA0B;oBAC1D,CAAC,CAAC,oBAAoB;gBACxB,UAAU,EAAE,QAAQ;gBACpB,cAAc,EAAE,MAAM,CAAC,WAAW;gBAClC,cAAc,EAAE,iBAAiB,EAAE,cAAc,IAAI,IAAI;aAC1D,CAAC,CAAA;YAEF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;YACpD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;YACtE,CAAC;YACD,OAAO,OAAO,CAAA;QAChB,CAAC,CAAC;QAEJ,KAAK,EAAE,CAAC,aAAa,EAAE,EAAE,CACvB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAA;YACjE,OAAO,EAAE,OAAO,EAAE,CAAA;QACpB,CAAC,CAAC;QAEJ,SAAS,EAAE,GAAG,EAAE,CACd,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAA;YACpD,MAAM,mBAAmB,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,mBAAmB,EAAE,CAAA;YAEnE,OAAO;gBACL,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,mBAAmB,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;aACtD,CAAA;QACH,CAAC,CAAC;QAEJ,SAAS,EAAE,GAAG,EAAE,CACd,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAA;YAE3C,IAAI,QAAQ,GAAG,CAAC,CAAA;YAChB,IAAI,OAAO,GAAG,CAAC,CAAA;YACf,IAAI,OAAO,GAAG,CAAC,CAAA;YAEf,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,sBAAsB;gBACtB,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;oBAClB,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC;wBACtB,KAAK,OAAO;4BACV,QAAQ,EAAE,CAAA;4BACV,MAAK;wBACP,KAAK,SAAS;4BACZ,OAAO,EAAE,CAAA;4BACT,MAAK;wBACP,KAAK,SAAS;4BACZ,OAAO,EAAE,CAAA;4BACT,MAAK;oBACT,CAAC;oBACD,SAAQ;gBACV,CAAC;gBAED,0EAA0E;gBAC1E,KAAK,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;gBAE7C,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC;oBACtB,KAAK,OAAO;wBACV,QAAQ,EAAE,CAAA;wBACV,MAAK;oBACP,KAAK,SAAS;wBACZ,OAAO,EAAE,CAAA;wBACT,MAAK;oBACP,KAAK,SAAS;wBACZ,OAAO,EAAE,CAAA;wBACT,MAAK;gBACT,CAAC;YACH,CAAC;YAED,OAAO;gBACL,KAAK,EAAE,OAAO,CAAC,MAAM;gBACrB,QAAQ;gBACR,OAAO;gBACP,OAAO;aACR,CAAA;QACH,CAAC,CAAC;QAEJ,eAAe,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,GAAG,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,CAC/G,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,uBAAuB;YACvB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;YACnD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;YACtE,CAAC;YAED,mCAAmC;YACnC,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC;gBACvC,QAAQ;gBACR,SAAS;gBACT,SAAS;gBACT,MAAM;gBACN,UAAU;gBACV,cAAc,EAAE,OAAO,IAAI,IAAI;gBAC/B,cAAc,EAAE,OAAO,IAAI,IAAI;gBAC/B,eAAe,EAAE,UAAU,IAAI,IAAI;aACpC,CAAC,CAAA;QACJ,CAAC,CAAC;KACL,CAAA;AACH,CAAC,CAAC,CACH,CAAA"}

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

@@ -0,0 +1,94 @@
+/**
+ * AnchorVerificationService - Periodic anchor verification for PRD-017
+ *
+ * Verifies anchors by checking actual file system state:
+ * - glob: Check if glob pattern still matches files
+ * - hash: Compute content hash and compare
+ * - symbol: Grep-based check for symbol presence
+ * - line_range: Verify file exists and has enough lines
+ *
+ * Updates anchor status (valid/drifted/invalid) and logs all changes
+ * to invalidation_log via AnchorRepository.
+ *
+ * @see docs/prd/PRD-017-invalidation-maintenance.md
+ * @see docs/design/DD-017-invalidation-maintenance.md
+ */
+import { Context, Effect, Layer } from "effect";
+import { AnchorRepository } from "../repo/anchor-repo.js";
+import { DatabaseError } from "../errors.js";
+import type { Anchor, AnchorStatus, InvalidationSource } from "@jamesaphoenix/tx-types";
+/** Result of verifying a single anchor */
+export interface VerificationResult {
+    readonly anchorId: number;
+    readonly previousStatus: AnchorStatus;
+    readonly newStatus: AnchorStatus;
+    readonly action: "unchanged" | "self_healed" | "drifted" | "invalidated";
+    readonly reason?: string;
+    readonly similarity?: number;
+    readonly oldContentHash?: string | null;
+    readonly newContentHash?: string | null;
+}
+/** Summary of batch verification */
+export interface VerificationSummary {
+    readonly total: number;
+    readonly unchanged: number;
+    readonly selfHealed: number;
+    readonly drifted: number;
+    readonly invalid: number;
+    readonly errors: number;
+    readonly duration: number;
+}
+/** Options for verification */
+export interface VerifyOptions {
+    /** Detection source for audit logging */
+    readonly detectedBy?: InvalidationSource;
+    /** Skip pinned anchors (default: true) */
+    readonly skipPinned?: boolean;
+    /** Base directory for relative file paths */
+    readonly baseDir?: string;
+}
+declare const AnchorVerificationService_base: Context.TagClass<AnchorVerificationService, "AnchorVerificationService", {
+    /**
+     * Verify a single anchor against the file system.
+     * Checks file existence, content hash, symbol presence, etc.
+     */
+    readonly verify: (anchorId: number, options?: VerifyOptions) => Effect.Effect<VerificationResult, DatabaseError>;
+    /**
+     * Verify all anchors.
+     * Returns summary of verification results.
+     */
+    readonly verifyAll: (options?: VerifyOptions) => Effect.Effect<VerificationSummary, DatabaseError>;
+    /**
+     * Verify all anchors for a specific file.
+     */
+    readonly verifyFile: (filePath: string, options?: VerifyOptions) => Effect.Effect<VerificationSummary, DatabaseError>;
+    /**
+     * Verify anchors matching a glob pattern.
+     */
+    readonly verifyGlob: (globPattern: string, options?: VerifyOptions) => Effect.Effect<VerificationSummary, DatabaseError>;
+}>;
+export declare class AnchorVerificationService extends AnchorVerificationService_base {
+}
+/** Default anchor cache TTL in seconds (1 hour) */
+export declare const DEFAULT_ANCHOR_CACHE_TTL = 3600;
+/**
+ * Get the anchor cache TTL from TX_ANCHOR_CACHE_TTL env var.
+ * Used by lazy verification to determine staleness.
+ *
+ * @returns Effect yielding TTL in seconds (default: 3600)
+ */
+export declare const getAnchorTTL: () => Effect.Effect<number, never>;
+/**
+ * Check if an anchor is stale based on its verified_at timestamp and TTL.
+ * An anchor is stale if:
+ * - verified_at is null (never verified), or
+ * - verified_at is older than (now - TTL)
+ *
+ * @param anchor - The anchor to check
+ * @param ttlSeconds - TTL in seconds (from getAnchorTTL)
+ * @returns true if anchor is stale and needs verification
+ */
+export declare const isStale: (anchor: Anchor, ttlSeconds: number) => boolean;
+export declare const AnchorVerificationServiceLive: Layer.Layer<AnchorVerificationService, never, AnchorRepository>;
+export {};
+//# sourceMappingURL=anchor-verification.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"anchor-verification.d.ts","sourceRoot":"","sources":["../../src/services/anchor-verification.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAU,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAIvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAE5C,OAAO,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAMvF,0CAA0C;AAC1C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,cAAc,EAAE,YAAY,CAAA;IACrC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,aAAa,GAAG,SAAS,GAAG,aAAa,CAAA;IACxE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IACvC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CACxC;AAED,oCAAoC;AACpC,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,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,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAED,+BAA+B;AAC/B,MAAM,WAAW,aAAa;IAC5B,yCAAyC;IACzC,QAAQ,CAAC,UAAU,CAAC,EAAE,kBAAkB,CAAA;IACxC,0CAA0C;IAC1C,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAA;IAC7B,6CAA6C;IAC7C,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAC1B;;IASG;;;OAGG;qBACc,CACf,QAAQ,EAAE,MAAM,EAChB,OAAO,CAAC,EAAE,aAAa,KACpB,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,aAAa,CAAC;IAErD;;;OAGG;wBACiB,CAClB,OAAO,CAAC,EAAE,aAAa,KACpB,MAAM,CAAC,MAAM,CAAC,mBAAmB,EAAE,aAAa,CAAC;IAEtD;;OAEG;yBACkB,CACnB,QAAQ,EAAE,MAAM,EAChB,OAAO,CAAC,EAAE,aAAa,KACpB,MAAM,CAAC,MAAM,CAAC,mBAAmB,EAAE,aAAa,CAAC;IAEtD;;OAEG;yBACkB,CACnB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,aAAa,KACpB,MAAM,CAAC,MAAM,CAAC,mBAAmB,EAAE,aAAa,CAAC;;AAlC1D,qBAAa,yBAA0B,SAAQ,8BAoC5C;CAAG;AAMN,mDAAmD;AACnD,eAAO,MAAM,wBAAwB,OAAO,CAAA;AAE5C;;;;;GAKG;AACH,eAAO,MAAM,YAAY,QAAO,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAIxD,CAAA;AAEH;;;;;;;;;GASG;AACH,eAAO,MAAM,OAAO,GAAI,QAAQ,MAAM,EAAE,YAAY,MAAM,KAAG,OAU5D,CAAA;AAgMD,eAAO,MAAM,6BAA6B,iEAkfzC,CAAA"}