@jamesaphoenix/tx-core 0.8.0 → 0.9.0

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

@@ -1,24 +1,11 @@
 /**
  * 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 { DatabaseError } from "../errors.js";
 import type { Anchor, AnchorStatus, InvalidationSource } from "@jamesaphoenix/tx-types";
-/** Result of verifying a single anchor */
-export interface VerificationResult {
+export type VerificationResult = {
     readonly anchorId: number;
     readonly previousStatus: AnchorStatus;
     readonly newStatus: AnchorStatus;
@@ -27,15 +14,13 @@ export interface VerificationResult {
     readonly similarity?: number;
     readonly oldContentHash?: string | null;
     readonly newContentHash?: string | null;
-}
-/** Details of an anchor that failed verification due to an error */
-export interface FailedAnchor {
+};
+export type FailedAnchor = {
     readonly anchorId: number;
     readonly filePath: string;
     readonly error: string;
-}
-/** Summary of batch verification */
-export interface VerificationSummary {
+};
+export type VerificationSummary = {
     readonly total: number;
     readonly unchanged: number;
     readonly selfHealed: number;
@@ -43,59 +28,23 @@ export interface VerificationSummary {
     readonly invalid: number;
     readonly errors: number;
     readonly duration: number;
-    /** Anchors that failed with errors (for debugging) */
     readonly failedAnchors: ReadonlyArray<FailedAnchor>;
-}
-/** Options for verification */
-export interface VerifyOptions {
-    /** Detection source for audit logging */
+};
+export type VerifyOptions = {
     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 {};

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

@@ -1 +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,oEAAoE;AACpE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;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;IACzB,sDAAsD;IACtD,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;CACpD;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;AA0ND,eAAO,MAAM,6BAA6B,iEA0qBzC,CAAA"}
+{"version":3,"file":"anchor-verification.d.ts","sourceRoot":"","sources":["../../src/services/anchor-verification.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAU,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAGzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AACjD,OAAO,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAEvF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,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,CAAA;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC,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;IACzB,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;CACpD,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,UAAU,CAAC,EAAE,kBAAkB,CAAA;IACxC,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAA;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAC1B,CAAA;;qBAKoB,CACf,QAAQ,EAAE,MAAM,EAChB,OAAO,CAAC,EAAE,aAAa,KACpB,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,aAAa,CAAC;wBAEjC,CAClB,OAAO,CAAC,EAAE,aAAa,KACpB,MAAM,CAAC,MAAM,CAAC,mBAAmB,EAAE,aAAa,CAAC;yBAEjC,CACnB,QAAQ,EAAE,MAAM,EAChB,OAAO,CAAC,EAAE,aAAa,KACpB,MAAM,CAAC,MAAM,CAAC,mBAAmB,EAAE,aAAa,CAAC;yBAEjC,CACnB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,aAAa,KACpB,MAAM,CAAC,MAAM,CAAC,mBAAmB,EAAE,aAAa,CAAC;;AApB1D,qBAAa,yBAA0B,SAAQ,8BAsB5C;CAAG;AAEN,eAAO,MAAM,wBAAwB,OAAO,CAAA;AAE5C,eAAO,MAAM,YAAY,QAAO,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAIxD,CAAA;AAEH,eAAO,MAAM,OAAO,GAAI,QAAQ,MAAM,EAAE,YAAY,MAAM,KAAG,OAU5D,CAAA;AAED,eAAO,MAAM,6BAA6B,iEAQzC,CAAA"}