@harness-engineering/core 0.7.0 → 0.8.0

package/dist/index.d.ts

@@ -2,6 +2,244 @@ import { Result, WorkflowStep, WorkflowStepResult, Workflow, WorkflowResult, Ski
 export * from '@harness-engineering/types';
 import { z } from 'zod';
 
+type ErrorCode = string;
+interface BaseError {
+    code: ErrorCode;
+    message: string;
+    details: Record<string, unknown>;
+    suggestions: string[];
+}
+interface ValidationError extends BaseError {
+    code: 'INVALID_TYPE' | 'MISSING_FIELD' | 'VALIDATION_FAILED' | 'PARSE_ERROR';
+}
+interface ContextError extends BaseError {
+    code: 'PARSE_ERROR' | 'SCHEMA_VIOLATION' | 'MISSING_SECTION' | 'BROKEN_LINK';
+}
+interface ConstraintError extends BaseError {
+    code: 'WRONG_LAYER' | 'CIRCULAR_DEP' | 'FORBIDDEN_IMPORT' | 'BOUNDARY_ERROR' | 'PARSER_UNAVAILABLE';
+}
+interface EntropyError extends BaseError {
+    code: 'SNAPSHOT_BUILD_FAILED' | 'PARSE_ERROR' | 'ENTRY_POINT_NOT_FOUND' | 'INVALID_CONFIG' | 'CONFIG_VALIDATION_ERROR' | 'FIX_FAILED' | 'BACKUP_FAILED';
+    details: {
+        file?: string;
+        reason?: string;
+        issues?: unknown[];
+        originalError?: Error;
+    };
+}
+interface FeedbackError$1 extends BaseError {
+    code: 'AGENT_SPAWN_ERROR' | 'AGENT_TIMEOUT' | 'TELEMETRY_ERROR' | 'TELEMETRY_UNAVAILABLE' | 'REVIEW_ERROR' | 'DIFF_PARSE_ERROR' | 'SINK_ERROR';
+    details: {
+        agentId?: string;
+        service?: string;
+        reason?: string;
+        originalError?: Error;
+    };
+}
+declare function createError<T extends BaseError>(code: T['code'], message: string, details?: Record<string, unknown>, suggestions?: string[]): T;
+
+interface Convention {
+    pattern: string;
+    required: boolean;
+    description: string;
+    examples: string[];
+}
+interface StructureValidation {
+    valid: boolean;
+    missing: string[];
+    unexpected: string[];
+    conformance: number;
+}
+interface ConfigError extends ValidationError {
+    code: 'INVALID_TYPE' | 'MISSING_FIELD' | 'VALIDATION_FAILED';
+    details: {
+        zodError?: unknown;
+        path?: string[];
+    };
+}
+type CommitFormat = 'conventional' | 'angular' | 'custom';
+interface CommitValidation {
+    valid: boolean;
+    type?: string;
+    scope?: string;
+    breaking: boolean;
+    issues: string[];
+}
+
+declare function validateFileStructure(projectPath: string, conventions: Convention[]): Promise<Result<StructureValidation, ValidationError>>;
+
+/**
+ * Validates configuration data against a Zod schema
+ * Returns a Result type with validated data or ConfigError
+ *
+ * @template T - The type of data being validated
+ * @param data - The configuration data to validate
+ * @param schema - Zod schema to validate against
+ * @returns Result<T, ConfigError> - Success with validated data or error
+ */
+declare function validateConfig<T>(data: unknown, schema: z.ZodSchema<T>): Result<T, ConfigError>;
+
+/**
+ * Validates a commit message according to the specified format
+ * Returns a Result type with validation details
+ *
+ * @param message - The commit message to validate
+ * @param format - The commit format to validate against ('conventional', 'angular', 'custom')
+ * @returns Result<CommitValidation, ValidationError> - Success with validation details or error
+ */
+declare function validateCommitMessage(message: string, format?: CommitFormat): Result<CommitValidation, ValidationError>;
+
+interface AgentMapLink {
+    text: string;
+    path: string;
+    exists: boolean;
+    line: number;
+    error?: ContextError;
+}
+interface AgentMapSection {
+    title: string;
+    level: number;
+    links: AgentMapLink[];
+    description?: string;
+    line: number;
+}
+interface AgentMapValidation {
+    valid: boolean;
+    sections: AgentMapSection[];
+    totalLinks: number;
+    brokenLinks: AgentMapLink[];
+    missingSections: string[];
+    errors?: ContextError[];
+}
+interface DocumentationGap {
+    file: string;
+    suggestedSection: string;
+    importance: 'high' | 'medium' | 'low';
+}
+interface CoverageReport {
+    domain: string;
+    documented: string[];
+    undocumented: string[];
+    coveragePercentage: number;
+    gaps: DocumentationGap[];
+}
+interface GraphCoverageData {
+    documented: string[];
+    undocumented: string[];
+    coveragePercentage: number;
+}
+interface CoverageOptions {
+    docsDir?: string;
+    sourceDir?: string;
+    excludePatterns?: string[];
+    graphCoverage?: GraphCoverageData;
+}
+interface BrokenLink {
+    text: string;
+    path: string;
+    line: number;
+    section: string;
+    reason: 'NOT_FOUND' | 'PERMISSION_DENIED' | 'INVALID_PATH';
+    suggestion: string;
+}
+interface IntegrityReport {
+    totalLinks: number;
+    brokenLinks: BrokenLink[];
+    validLinks: number;
+    integrity: number;
+}
+interface GenerationSection {
+    name: string;
+    pattern: string;
+    description: string;
+}
+interface AgentsMapConfig {
+    rootDir: string;
+    includePaths: string[];
+    excludePaths: string[];
+    template?: string;
+    sections?: GenerationSection[];
+}
+declare const REQUIRED_SECTIONS: readonly ["Project Overview", "Repository Structure", "Development Workflow"];
+
+interface ExtractedLink {
+    text: string;
+    path: string;
+    line: number;
+}
+/**
+ * Extract markdown links from content
+ * Pattern: [text](path)
+ */
+declare function extractMarkdownLinks(content: string): ExtractedLink[];
+/**
+ * Extract sections from markdown content
+ * Pattern: # Heading or ## Heading etc.
+ */
+declare function extractSections(content: string): AgentMapSection[];
+/**
+ * Validate an AGENTS.md file
+ * - Parses sections and links
+ * - Checks for required sections
+ * - Verifies all links point to existing files
+ */
+declare function validateAgentsMap(path?: string): Promise<Result<AgentMapValidation, ContextError>>;
+
+/**
+ * Check documentation coverage for a domain
+ */
+declare function checkDocCoverage(domain: string, options?: CoverageOptions): Promise<Result<CoverageReport, ContextError>>;
+
+/**
+ * Validate knowledge map integrity (all links in AGENTS.md and docs)
+ */
+declare function validateKnowledgeMap(rootDir?: string): Promise<Result<IntegrityReport, ContextError>>;
+
+/**
+ * Generate AGENTS.md content from project structure
+ */
+declare function generateAgentsMap(config: AgentsMapConfig, graphSections?: Array<{
+    name: string;
+    files: string[];
+    description?: string;
+}>): Promise<Result<string, ContextError>>;
+
+interface TokenBudget {
+    total: number;
+    systemPrompt: number;
+    projectManifest: number;
+    taskSpec: number;
+    activeCode: number;
+    interfaces: number;
+    reserve: number;
+}
+interface TokenBudgetOverrides {
+    systemPrompt?: number;
+    projectManifest?: number;
+    taskSpec?: number;
+    activeCode?: number;
+    interfaces?: number;
+    reserve?: number;
+}
+
+declare function contextBudget(totalTokens: number, overrides?: TokenBudgetOverrides, graphDensity?: Record<string, number>): TokenBudget;
+
+type WorkflowPhase = 'implement' | 'review' | 'debug' | 'plan';
+interface FileCategory {
+    category: string;
+    patterns: string[];
+    priority: number;
+}
+interface ContextFilterResult {
+    phase: WorkflowPhase;
+    includedCategories: string[];
+    excludedCategories: string[];
+    filePatterns: string[];
+}
+
+declare function contextFilter(phase: WorkflowPhase, maxCategories?: number, graphFilePaths?: string[]): ContextFilterResult;
+declare function getPhaseCategories(phase: WorkflowPhase): FileCategory[];
+
 /**
  * Abstract Syntax Tree representation
  */
@@ -95,6 +333,7 @@ interface LayerConfig {
     rootDir: string;
     parser: LanguageParser;
     fallbackBehavior?: 'skip' | 'error' | 'warn';
+    graphDependencyData?: GraphDependencyData;
 }
 interface DependencyEdge {
     from: string;
@@ -154,16 +393,57 @@ interface BoundaryValidator<T> {
     validate(input: unknown): Result<boolean, ConstraintError>;
     schema: z.ZodSchema<T>;
 }
+/**
+ * Pre-computed dependency data from graph — avoids file parsing.
+ * Compatible with DependencyGraph shape.
+ */
+interface GraphDependencyData {
+    nodes: string[];
+    edges: Array<{
+        from: string;
+        to: string;
+        importType: 'static' | 'dynamic' | 'type-only';
+        line: number;
+    }>;
+}
+
+/**
+ * Create a layer definition
+ */
+declare function defineLayer(name: string, patterns: string[], allowedDependencies: string[]): Layer;
+/**
+ * Resolve a file path to its layer
+ */
+declare function resolveFileToLayer(file: string, layers: Layer[]): Layer | undefined;
+
+/**
+ * Build a dependency graph from a list of files
+ * Note: buildDependencyGraph is exported as an addition beyond spec for advanced use cases
+ */
+declare function buildDependencyGraph(files: string[], parser: LanguageParser, graphDependencyData?: GraphDependencyData): Promise<Result<DependencyGraph, ConstraintError>>;
+/**
+ * Validate dependencies against layer rules
+ */
+declare function validateDependencies(config: LayerConfig): Promise<Result<DependencyValidation, ConstraintError>>;
+
+/**
+ * Detect circular dependencies in a dependency graph
+ */
+declare function detectCircularDeps(graph: DependencyGraph): Result<CircularDepsResult, ConstraintError>;
+/**
+ * Detect circular dependencies from a list of files
+ */
+declare function detectCircularDepsInFiles(files: string[], parser: LanguageParser, graphDependencyData?: GraphDependencyData): Promise<Result<CircularDepsResult, ConstraintError>>;
+
+/**
+ * Create a boundary validator from a Zod schema
+ */
+declare function createBoundaryValidator<T>(schema: z.ZodSchema<T>, name: string): BoundaryValidator<T>;
+/**
+ * Validate multiple boundaries at once
+ */
+declare function validateBoundaries(boundaries: BoundaryDefinition[], data: Map<string, unknown>): Result<BoundaryValidation, ConstraintError>;
 
-interface EntropyError extends BaseError {
-    code: 'SNAPSHOT_BUILD_FAILED' | 'PARSE_ERROR' | 'ENTRY_POINT_NOT_FOUND' | 'INVALID_CONFIG' | 'CONFIG_VALIDATION_ERROR' | 'FIX_FAILED' | 'BACKUP_FAILED';
-    details: {
-        file?: string;
-        reason?: string;
-        issues?: unknown[];
-        originalError?: Error;
-    };
-}
 interface InternalSymbol {
     name: string;
     type: 'function' | 'class' | 'variable' | 'type';
@@ -361,382 +641,125 @@ interface ConfigPattern {
     } | {
         type: 'max-lines';
         count: number;
-    } | {
-        type: 'require-jsdoc';
-        for: ('function' | 'class' | 'export')[];
-    };
-    message?: string;
-}
-interface CodePattern {
-    name: string;
-    description: string;
-    severity: 'error' | 'warning';
-    check: (file: SourceFile, snapshot: CodebaseSnapshot) => PatternMatch[];
-}
-interface PatternMatch {
-    line: number;
-    column?: number;
-    message: string;
-    suggestion?: string;
-}
-interface PatternConfig {
-    patterns: ConfigPattern[];
-    customPatterns?: CodePattern[];
-    ignoreFiles?: string[];
-}
-interface PatternViolation {
-    pattern: string;
-    file: string;
-    line: number;
-    column?: number;
-    severity: 'error' | 'warning';
-    message: string;
-    suggestion?: string;
-}
-interface PatternReport {
-    violations: PatternViolation[];
-    stats: {
-        filesChecked: number;
-        patternsApplied: number;
-        violationCount: number;
-        errorCount: number;
-        warningCount: number;
-    };
-    passRate: number;
-}
-type FixType = 'unused-imports' | 'dead-files' | 'trailing-whitespace' | 'broken-links' | 'sort-imports';
-interface FixConfig {
-    dryRun: boolean;
-    fixTypes: FixType[];
-    createBackup: boolean;
-    backupDir?: string;
-}
-interface Fix {
-    type: FixType;
-    file: string;
-    description: string;
-    action: 'delete-file' | 'delete-lines' | 'replace' | 'insert';
-    line?: number;
-    oldContent?: string;
-    newContent?: string;
-    safe: true;
-    reversible: boolean;
-}
-interface FixResult {
-    applied: Fix[];
-    skipped: Fix[];
-    errors: {
-        fix: Fix;
-        error: string;
-    }[];
-    stats: {
-        filesModified: number;
-        filesDeleted: number;
-        linesRemoved: number;
-        backupPath?: string;
-    };
-}
-interface Suggestion {
-    type: 'rename' | 'move' | 'merge' | 'split' | 'delete' | 'update-docs' | 'add-export' | 'refactor';
-    priority: 'high' | 'medium' | 'low';
-    source: 'drift' | 'dead-code' | 'pattern';
-    relatedIssues: string[];
-    title: string;
-    description: string;
-    files: string[];
-    steps: string[];
-    preview?: {
-        file: string;
-        diff: string;
-    };
-    whyManual: string;
-}
-interface SuggestionReport {
-    suggestions: Suggestion[];
-    byPriority: {
-        high: Suggestion[];
-        medium: Suggestion[];
-        low: Suggestion[];
-    };
-    estimatedEffort: 'trivial' | 'small' | 'medium' | 'large';
-}
-interface AnalysisError {
-    analyzer: 'drift' | 'deadCode' | 'patterns';
-    error: EntropyError;
-}
-interface EntropyReport {
-    snapshot: CodebaseSnapshot;
-    drift?: DriftReport;
-    deadCode?: DeadCodeReport;
-    patterns?: PatternReport;
-    analysisErrors: AnalysisError[];
-    summary: {
-        totalIssues: number;
-        errors: number;
-        warnings: number;
-        fixableCount: number;
-        suggestionCount: number;
-    };
-    timestamp: string;
-    duration: number;
-}
-
-type ErrorCode = string;
-interface BaseError {
-    code: ErrorCode;
-    message: string;
-    details: Record<string, unknown>;
-    suggestions: string[];
-}
-interface ValidationError extends BaseError {
-    code: 'INVALID_TYPE' | 'MISSING_FIELD' | 'VALIDATION_FAILED' | 'PARSE_ERROR';
-}
-interface ContextError extends BaseError {
-    code: 'PARSE_ERROR' | 'SCHEMA_VIOLATION' | 'MISSING_SECTION' | 'BROKEN_LINK';
-}
-interface ConstraintError extends BaseError {
-    code: 'WRONG_LAYER' | 'CIRCULAR_DEP' | 'FORBIDDEN_IMPORT' | 'BOUNDARY_ERROR' | 'PARSER_UNAVAILABLE';
-}
-
-interface FeedbackError$1 extends BaseError {
-    code: 'AGENT_SPAWN_ERROR' | 'AGENT_TIMEOUT' | 'TELEMETRY_ERROR' | 'TELEMETRY_UNAVAILABLE' | 'REVIEW_ERROR' | 'DIFF_PARSE_ERROR' | 'SINK_ERROR';
-    details: {
-        agentId?: string;
-        service?: string;
-        reason?: string;
-        originalError?: Error;
-    };
-}
-declare function createError<T extends BaseError>(code: T['code'], message: string, details?: Record<string, unknown>, suggestions?: string[]): T;
-
-interface Convention {
-    pattern: string;
-    required: boolean;
-    description: string;
-    examples: string[];
-}
-interface StructureValidation {
-    valid: boolean;
-    missing: string[];
-    unexpected: string[];
-    conformance: number;
-}
-interface ConfigError extends ValidationError {
-    code: 'INVALID_TYPE' | 'MISSING_FIELD' | 'VALIDATION_FAILED';
-    details: {
-        zodError?: unknown;
-        path?: string[];
-    };
-}
-type CommitFormat = 'conventional' | 'angular' | 'custom';
-interface CommitValidation {
-    valid: boolean;
-    type?: string;
-    scope?: string;
-    breaking: boolean;
-    issues: string[];
-}
-
-declare function validateFileStructure(projectPath: string, conventions: Convention[]): Promise<Result<StructureValidation, ValidationError>>;
-
-/**
- * Validates configuration data against a Zod schema
- * Returns a Result type with validated data or ConfigError
- *
- * @template T - The type of data being validated
- * @param data - The configuration data to validate
- * @param schema - Zod schema to validate against
- * @returns Result<T, ConfigError> - Success with validated data or error
- */
-declare function validateConfig<T>(data: unknown, schema: z.ZodSchema<T>): Result<T, ConfigError>;
-
-/**
- * Validates a commit message according to the specified format
- * Returns a Result type with validation details
- *
- * @param message - The commit message to validate
- * @param format - The commit format to validate against ('conventional', 'angular', 'custom')
- * @returns Result<CommitValidation, ValidationError> - Success with validation details or error
- */
-declare function validateCommitMessage(message: string, format?: CommitFormat): Result<CommitValidation, ValidationError>;
-
-interface AgentMapLink {
-    text: string;
-    path: string;
-    exists: boolean;
-    line: number;
-    error?: ContextError;
-}
-interface AgentMapSection {
-    title: string;
-    level: number;
-    links: AgentMapLink[];
-    description?: string;
-    line: number;
-}
-interface AgentMapValidation {
-    valid: boolean;
-    sections: AgentMapSection[];
-    totalLinks: number;
-    brokenLinks: AgentMapLink[];
-    missingSections: string[];
-    errors?: ContextError[];
-}
-interface DocumentationGap {
-    file: string;
-    suggestedSection: string;
-    importance: 'high' | 'medium' | 'low';
-}
-interface CoverageReport {
-    domain: string;
-    documented: string[];
-    undocumented: string[];
-    coveragePercentage: number;
-    gaps: DocumentationGap[];
+    } | {
+        type: 'require-jsdoc';
+        for: ('function' | 'class' | 'export')[];
+    };
+    message?: string;
 }
-interface CoverageOptions {
-    docsDir?: string;
-    sourceDir?: string;
-    excludePatterns?: string[];
+interface CodePattern {
+    name: string;
+    description: string;
+    severity: 'error' | 'warning';
+    check: (file: SourceFile, snapshot: CodebaseSnapshot) => PatternMatch[];
 }
-interface BrokenLink {
-    text: string;
-    path: string;
+interface PatternMatch {
     line: number;
-    section: string;
-    reason: 'NOT_FOUND' | 'PERMISSION_DENIED' | 'INVALID_PATH';
-    suggestion: string;
+    column?: number;
+    message: string;
+    suggestion?: string;
 }
-interface IntegrityReport {
-    totalLinks: number;
-    brokenLinks: BrokenLink[];
-    validLinks: number;
-    integrity: number;
+interface PatternConfig {
+    patterns: ConfigPattern[];
+    customPatterns?: CodePattern[];
+    ignoreFiles?: string[];
 }
-interface GenerationSection {
-    name: string;
+interface PatternViolation {
     pattern: string;
-    description: string;
+    file: string;
+    line: number;
+    column?: number;
+    severity: 'error' | 'warning';
+    message: string;
+    suggestion?: string;
 }
-interface AgentsMapConfig {
-    rootDir: string;
-    includePaths: string[];
-    excludePaths: string[];
-    template?: string;
-    sections?: GenerationSection[];
+interface PatternReport {
+    violations: PatternViolation[];
+    stats: {
+        filesChecked: number;
+        patternsApplied: number;
+        violationCount: number;
+        errorCount: number;
+        warningCount: number;
+    };
+    passRate: number;
 }
-declare const REQUIRED_SECTIONS: readonly ["Project Overview", "Repository Structure", "Development Workflow"];
-
-interface ExtractedLink {
-    text: string;
-    path: string;
-    line: number;
+type FixType = 'unused-imports' | 'dead-files' | 'trailing-whitespace' | 'broken-links' | 'sort-imports';
+interface FixConfig {
+    dryRun: boolean;
+    fixTypes: FixType[];
+    createBackup: boolean;
+    backupDir?: string;
 }
-/**
- * Extract markdown links from content
- * Pattern: [text](path)
- */
-declare function extractMarkdownLinks(content: string): ExtractedLink[];
-/**
- * Extract sections from markdown content
- * Pattern: # Heading or ## Heading etc.
- */
-declare function extractSections(content: string): AgentMapSection[];
-/**
- * Validate an AGENTS.md file
- * - Parses sections and links
- * - Checks for required sections
- * - Verifies all links point to existing files
- */
-declare function validateAgentsMap(path?: string): Promise<Result<AgentMapValidation, ContextError>>;
-
-/**
- * Check documentation coverage for a domain
- */
-declare function checkDocCoverage(domain: string, options?: CoverageOptions): Promise<Result<CoverageReport, ContextError>>;
-
-/**
- * Validate knowledge map integrity (all links in AGENTS.md and docs)
- */
-declare function validateKnowledgeMap(rootDir?: string): Promise<Result<IntegrityReport, ContextError>>;
-
-/**
- * Generate AGENTS.md content from project structure
- */
-declare function generateAgentsMap(config: AgentsMapConfig): Promise<Result<string, ContextError>>;
-
-interface TokenBudget {
-    total: number;
-    systemPrompt: number;
-    projectManifest: number;
-    taskSpec: number;
-    activeCode: number;
-    interfaces: number;
-    reserve: number;
+interface Fix {
+    type: FixType;
+    file: string;
+    description: string;
+    action: 'delete-file' | 'delete-lines' | 'replace' | 'insert';
+    line?: number;
+    oldContent?: string;
+    newContent?: string;
+    safe: true;
+    reversible: boolean;
 }
-interface TokenBudgetOverrides {
-    systemPrompt?: number;
-    projectManifest?: number;
-    taskSpec?: number;
-    activeCode?: number;
-    interfaces?: number;
-    reserve?: number;
+interface FixResult {
+    applied: Fix[];
+    skipped: Fix[];
+    errors: {
+        fix: Fix;
+        error: string;
+    }[];
+    stats: {
+        filesModified: number;
+        filesDeleted: number;
+        linesRemoved: number;
+        backupPath?: string;
+    };
 }
-
-declare function contextBudget(totalTokens: number, overrides?: TokenBudgetOverrides): TokenBudget;
-
-type WorkflowPhase = 'implement' | 'review' | 'debug' | 'plan';
-interface FileCategory {
-    category: string;
-    patterns: string[];
-    priority: number;
+interface Suggestion {
+    type: 'rename' | 'move' | 'merge' | 'split' | 'delete' | 'update-docs' | 'add-export' | 'refactor';
+    priority: 'high' | 'medium' | 'low';
+    source: 'drift' | 'dead-code' | 'pattern';
+    relatedIssues: string[];
+    title: string;
+    description: string;
+    files: string[];
+    steps: string[];
+    preview?: {
+        file: string;
+        diff: string;
+    };
+    whyManual: string;
 }
-interface ContextFilterResult {
-    phase: WorkflowPhase;
-    includedCategories: string[];
-    excludedCategories: string[];
-    filePatterns: string[];
+interface SuggestionReport {
+    suggestions: Suggestion[];
+    byPriority: {
+        high: Suggestion[];
+        medium: Suggestion[];
+        low: Suggestion[];
+    };
+    estimatedEffort: 'trivial' | 'small' | 'medium' | 'large';
+}
+interface AnalysisError {
+    analyzer: 'drift' | 'deadCode' | 'patterns';
+    error: EntropyError;
+}
+interface EntropyReport {
+    snapshot: CodebaseSnapshot;
+    drift?: DriftReport;
+    deadCode?: DeadCodeReport;
+    patterns?: PatternReport;
+    analysisErrors: AnalysisError[];
+    summary: {
+        totalIssues: number;
+        errors: number;
+        warnings: number;
+        fixableCount: number;
+        suggestionCount: number;
+    };
+    timestamp: string;
+    duration: number;
 }
-
-declare function contextFilter(phase: WorkflowPhase, maxCategories?: number): ContextFilterResult;
-declare function getPhaseCategories(phase: WorkflowPhase): FileCategory[];
-
-/**
- * Create a layer definition
- */
-declare function defineLayer(name: string, patterns: string[], allowedDependencies: string[]): Layer;
-/**
- * Resolve a file path to its layer
- */
-declare function resolveFileToLayer(file: string, layers: Layer[]): Layer | undefined;
-
-/**
- * Build a dependency graph from a list of files
- * Note: buildDependencyGraph is exported as an addition beyond spec for advanced use cases
- */
-declare function buildDependencyGraph(files: string[], parser: LanguageParser): Promise<Result<DependencyGraph, ConstraintError>>;
-/**
- * Validate dependencies against layer rules
- */
-declare function validateDependencies(config: LayerConfig): Promise<Result<DependencyValidation, ConstraintError>>;
-
-/**
- * Detect circular dependencies in a dependency graph
- */
-declare function detectCircularDeps(graph: DependencyGraph): Result<CircularDepsResult, ConstraintError>;
-/**
- * Detect circular dependencies from a list of files
- */
-declare function detectCircularDepsInFiles(files: string[], parser: LanguageParser): Promise<Result<CircularDepsResult, ConstraintError>>;
-
-/**
- * Create a boundary validator from a Zod schema
- */
-declare function createBoundaryValidator<T>(schema: z.ZodSchema<T>, name: string): BoundaryValidator<T>;
-/**
- * Validate multiple boundaries at once
- */
-declare function validateBoundaries(boundaries: BoundaryDefinition[], data: Map<string, unknown>): Result<BoundaryValidation, ConstraintError>;
 
 /**
  * Main entropy analysis orchestrator
@@ -747,9 +770,29 @@ declare class EntropyAnalyzer {
     private report?;
     constructor(config: EntropyConfig);
     /**
-     * Run full entropy analysis
+     * Run full entropy analysis.
+     * When graphOptions is provided, passes graph data to drift and dead code detectors
+     * for graph-enhanced analysis instead of snapshot-based analysis.
      */
-    analyze(): Promise<Result<EntropyReport, EntropyError>>;
+    analyze(graphOptions?: {
+        graphDriftData?: {
+            staleEdges: Array<{
+                docNodeId: string;
+                codeNodeId: string;
+                edgeType: string;
+            }>;
+            missingTargets: string[];
+        };
+        graphDeadCodeData?: {
+            reachableNodeIds: Set<string> | string[];
+            unreachableNodes: Array<{
+                id: string;
+                type: string;
+                name: string;
+                path?: string;
+            }>;
+        };
+    }): Promise<Result<EntropyReport, EntropyError>>;
     /**
      * Get the built snapshot (must call analyze first)
      */
@@ -773,11 +816,26 @@ declare class EntropyAnalyzer {
     /**
      * Run drift detection only (snapshot must be built first)
      */
-    detectDrift(config?: Partial<DriftConfig>): Promise<Result<DriftReport, EntropyError>>;
+    detectDrift(config?: Partial<DriftConfig>, graphDriftData?: {
+        staleEdges: Array<{
+            docNodeId: string;
+            codeNodeId: string;
+            edgeType: string;
+        }>;
+        missingTargets: string[];
+    }): Promise<Result<DriftReport, EntropyError>>;
     /**
      * Run dead code detection only (snapshot must be built first)
      */
-    detectDeadCode(): Promise<Result<DeadCodeReport, EntropyError>>;
+    detectDeadCode(graphDeadCodeData?: {
+        reachableNodeIds: Set<string> | string[];
+        unreachableNodes: Array<{
+            id: string;
+            type: string;
+            name: string;
+            path?: string;
+        }>;
+    }): Promise<Result<DeadCodeReport, EntropyError>>;
     /**
      * Run pattern detection only (snapshot must be built first)
      */
@@ -790,15 +848,32 @@ declare class EntropyAnalyzer {
 declare function buildSnapshot(config: EntropyConfig): Promise<Result<CodebaseSnapshot, EntropyError>>;
 
 /**
- * Detect documentation drift in a codebase
+ * Detect documentation drift in a codebase.
+ * When graphDriftData is provided, uses graph-derived edges instead of snapshot-based analysis.
  */
-declare function detectDocDrift(snapshot: CodebaseSnapshot, config?: Partial<DriftConfig>): Promise<Result<DriftReport, EntropyError>>;
+declare function detectDocDrift(snapshot: CodebaseSnapshot, config?: Partial<DriftConfig>, graphDriftData?: {
+    staleEdges: Array<{
+        docNodeId: string;
+        codeNodeId: string;
+        edgeType: string;
+    }>;
+    missingTargets: string[];
+}): Promise<Result<DriftReport, EntropyError>>;
 
 /**
  * Detect dead code in a codebase snapshot.
  * Analyzes exports, files, imports, and internal symbols to find unused code.
+ * When graphDeadCodeData is provided, uses graph-derived reachability instead of snapshot-based BFS.
  */
-declare function detectDeadCode(snapshot: CodebaseSnapshot): Promise<Result<DeadCodeReport, EntropyError>>;
+declare function detectDeadCode(snapshot: CodebaseSnapshot, graphDeadCodeData?: {
+    reachableNodeIds: Set<string> | string[];
+    unreachableNodes: Array<{
+        id: string;
+        type: string;
+        name: string;
+        path?: string;
+    }>;
+}): Promise<Result<DeadCodeReport, EntropyError>>;
 
 /**
  * Detect pattern violations across a codebase
@@ -1859,6 +1934,31 @@ interface ActionSink {
     flush?(): Promise<Result<void, FeedbackError>>;
     close?(): Promise<void>;
 }
+/**
+ * Pre-computed impact data from graph — enriches diff analysis.
+ */
+interface GraphImpactData {
+    affectedTests: Array<{
+        testFile: string;
+        coversFile: string;
+    }>;
+    affectedDocs: Array<{
+        docFile: string;
+        documentsFile: string;
+    }>;
+    impactScope: number;
+}
+/**
+ * Pre-computed harness check data from graph — replaces placeholders.
+ */
+interface GraphHarnessCheckData {
+    graphExists: boolean;
+    nodeCount: number;
+    edgeCount: number;
+    constraintViolations: number;
+    undocumentedFiles: number;
+    unreachableNodes: number;
+}
 interface ActionTracker {
     readonly action: AgentAction;
     complete(result: ActionResult): Promise<Result<AgentAction, FeedbackError>>;
@@ -1883,20 +1983,25 @@ declare function resetFeedbackConfig(): void;
 declare class ChecklistBuilder {
     private rootDir;
     private harnessOptions?;
+    private graphHarnessData?;
     private customRules;
     private diffOptions?;
+    private graphImpactData?;
     constructor(rootDir: string);
-    withHarnessChecks(options?: SelfReviewConfig['harness']): this;
+    withHarnessChecks(options?: SelfReviewConfig['harness'], graphData?: GraphHarnessCheckData): this;
     addRule(rule: CustomRule): this;
     addRules(rules: CustomRule[]): this;
-    withDiffAnalysis(options: SelfReviewConfig['diffAnalysis']): this;
+    withDiffAnalysis(options: SelfReviewConfig['diffAnalysis'], graphImpactData?: GraphImpactData): this;
     run(changes: CodeChanges): Promise<Result<ReviewChecklist, FeedbackError>>;
 }
 
-declare function createSelfReview(changes: CodeChanges, config: SelfReviewConfig): Promise<Result<ReviewChecklist, FeedbackError>>;
+declare function createSelfReview(changes: CodeChanges, config: SelfReviewConfig, graphData?: {
+    impact?: GraphImpactData;
+    harness?: GraphHarnessCheckData;
+}): Promise<Result<ReviewChecklist, FeedbackError>>;
 
 declare function parseDiff(diff: string): Result<CodeChanges, FeedbackError>;
-declare function analyzeDiff(changes: CodeChanges, options: SelfReviewConfig['diffAnalysis']): Promise<Result<ReviewItem[], FeedbackError>>;
+declare function analyzeDiff(changes: CodeChanges, options: SelfReviewConfig['diffAnalysis'], graphImpactData?: GraphImpactData): Promise<Result<ReviewItem[], FeedbackError>>;
 
 declare function requestPeerReview(agentType: AgentType, context: ReviewContext, options?: PeerReviewOptions): Promise<Result<PeerReview, FeedbackError>>;
 declare function requestMultiplePeerReviews(requests: Array<{
@@ -2113,11 +2218,11 @@ declare const HarnessStateSchema: z.ZodObject<{
         phase: z.ZodOptional<z.ZodString>;
         task: z.ZodOptional<z.ZodString>;
     }, "strip", z.ZodTypeAny, {
-        phase?: string | undefined;
         task?: string | undefined;
-    }, {
         phase?: string | undefined;
+    }, {
         task?: string | undefined;
+        phase?: string | undefined;
     }>>;
     decisions: z.ZodDefault<z.ZodArray<z.ZodObject<{
         date: z.ZodString;
@@ -2175,8 +2280,8 @@ declare const HarnessStateSchema: z.ZodObject<{
     }[];
     schemaVersion: 1;
     position: {
-        phase?: string | undefined;
         task?: string | undefined;
+        phase?: string | undefined;
     };
     progress: Record<string, "pending" | "in_progress" | "complete">;
     lastSession?: {
@@ -2198,8 +2303,8 @@ declare const HarnessStateSchema: z.ZodObject<{
         description: string;
     }[] | undefined;
     position?: {
-        phase?: string | undefined;
         task?: string | undefined;
+        phase?: string | undefined;
     } | undefined;
     progress?: Record<string, "pending" | "in_progress" | "complete"> | undefined;
     lastSession?: {
@@ -2267,4 +2372,4 @@ declare function runCIChecks(input: RunCIChecksInput): Promise<Result<CICheckRep
 
 declare const VERSION = "0.6.0";
 
-export { type AST, type ActionContext, type ActionEvent, type ActionEventHandler, type ActionEventType, type ActionResult, type ActionSink, type ActionTracker, type ActionType, type AgentAction, AgentActionEmitter, type AgentConfig, type AgentExecutor, type AgentMapLink, type AgentMapSection, type AgentMapValidation, type AgentProcess, type AgentType, type AgentsMapConfig, type BaseError, type BoundaryDefinition, type BoundaryValidation, type BoundaryValidator, type BoundaryViolation, type BrokenLink, type ChangedFile, ChecklistBuilder, type CircularDependency, type CircularDepsResult, type CodeBlock, type CodeChanges, type CodePattern, type CodeReference, type CodebaseSnapshot, type CommitFormat, type CommitValidation, type ConfigError, type ConfigPattern, ConsoleSink, type ConstraintError, type ContextError, type ContextFilterResult, type Convention, type CoverageOptions, type CoverageReport, type CustomRule, type CustomRuleResult, DEFAULT_STATE, type DeadCodeConfig, type DeadCodeReport, type DeadExport, type DeadFile, type DeadInternal, type DependencyEdge, type DependencyGraph, type DependencyValidation, type DependencyViolation, type DocumentationDrift, type DocumentationFile, type DocumentationGap, type DriftConfig, type DriftReport, EntropyAnalyzer, type EntropyConfig, EntropyConfigSchema, type EntropyError, type EntropyReport, type ExecutorHealth, type Export, type ExportMap, type FailureEntry, FailureEntrySchema, type FeedbackConfig, type FeedbackError$1 as FeedbackError, type FileCategory, FileSink, type Fix, type FixConfig, type FixResult, type FixType, type ForbiddenPattern, type GateConfig, GateConfigSchema, type GateResult, GateResultSchema, type GenerationSection, type Handoff, HandoffSchema, type HarnessState, HarnessStateSchema, type HealthCheckResult, type Import, type InlineReference, type IntegrityReport, type InternalSymbol, type JSDocComment, type LanguageParser, type Layer, type LayerConfig, type LogEntry, type LogFilter, type Metric, NoOpExecutor, NoOpSink, NoOpTelemetryAdapter, type ParseError, type PatternConfig, PatternConfigSchema, type PatternMatch, type PatternReport, type PatternViolation, type PeerReview, type PeerReviewOptions, type PipelineOptions, type PipelineResult, REQUIRED_SECTIONS, type ReachabilityNode, type ReviewChecklist, type ReviewComment, type ReviewContext, type ReviewItem, type RunCIChecksInput, type SelfReviewConfig, type SkillExecutor, type SourceFile, type Span, type SpanEvent, type StepExecutor, type StructureValidation, type Suggestion, type SuggestionReport, type TelemetryAdapter, type TelemetryHealth, type TimeRange, type TokenBudget, type TokenBudgetOverrides, type Trace, type TurnExecutor, TypeScriptParser, type UnusedImport, VERSION, type ValidationError, type WorkflowPhase, analyzeDiff, appendFailure, appendLearning, applyFixes, archiveFailures, buildDependencyGraph, buildSnapshot, checkDocCoverage, configureFeedback, contextBudget, contextFilter, createBoundaryValidator, createError, createFixes, createParseError, createSelfReview, defineLayer, detectCircularDeps, detectCircularDepsInFiles, detectDeadCode, detectDocDrift, detectPatternViolations, executeWorkflow, extractMarkdownLinks, extractSections, generateAgentsMap, generateSuggestions, getActionEmitter, getFeedbackConfig, getPhaseCategories, loadFailures, loadHandoff, loadRelevantLearnings, loadState, logAgentAction, parseDiff, previewFix, requestMultiplePeerReviews, requestPeerReview, resetFeedbackConfig, resolveFileToLayer, runCIChecks, runMechanicalGate, runMultiTurnPipeline, runPipeline, saveHandoff, saveState, trackAction, validateAgentsMap, validateBoundaries, validateCommitMessage, validateConfig, validateDependencies, validateFileStructure, validateKnowledgeMap, validatePatternConfig };
+export { type AST, type ActionContext, type ActionEvent, type ActionEventHandler, type ActionEventType, type ActionResult, type ActionSink, type ActionTracker, type ActionType, type AgentAction, AgentActionEmitter, type AgentConfig, type AgentExecutor, type AgentMapLink, type AgentMapSection, type AgentMapValidation, type AgentProcess, type AgentType, type AgentsMapConfig, type BaseError, type BoundaryDefinition, type BoundaryValidation, type BoundaryValidator, type BoundaryViolation, type BrokenLink, type ChangedFile, ChecklistBuilder, type CircularDependency, type CircularDepsResult, type CodeBlock, type CodeChanges, type CodePattern, type CodeReference, type CodebaseSnapshot, type CommitFormat, type CommitValidation, type ConfigError, type ConfigPattern, ConsoleSink, type ConstraintError, type ContextError, type ContextFilterResult, type Convention, type CoverageOptions, type CoverageReport, type CustomRule, type CustomRuleResult, DEFAULT_STATE, type DeadCodeConfig, type DeadCodeReport, type DeadExport, type DeadFile, type DeadInternal, type DependencyEdge, type DependencyGraph, type DependencyValidation, type DependencyViolation, type DocumentationDrift, type DocumentationFile, type DocumentationGap, type DriftConfig, type DriftReport, EntropyAnalyzer, type EntropyConfig, EntropyConfigSchema, type EntropyError, type EntropyReport, type ExecutorHealth, type Export, type ExportMap, type FailureEntry, FailureEntrySchema, type FeedbackConfig, type FeedbackError$1 as FeedbackError, type FileCategory, FileSink, type Fix, type FixConfig, type FixResult, type FixType, type ForbiddenPattern, type GateConfig, GateConfigSchema, type GateResult, GateResultSchema, type GenerationSection, type GraphCoverageData, type GraphDependencyData, type GraphHarnessCheckData, type GraphImpactData, type Handoff, HandoffSchema, type HarnessState, HarnessStateSchema, type HealthCheckResult, type Import, type InlineReference, type IntegrityReport, type InternalSymbol, type JSDocComment, type LanguageParser, type Layer, type LayerConfig, type LogEntry, type LogFilter, type Metric, NoOpExecutor, NoOpSink, NoOpTelemetryAdapter, type ParseError, type PatternConfig, PatternConfigSchema, type PatternMatch, type PatternReport, type PatternViolation, type PeerReview, type PeerReviewOptions, type PipelineOptions, type PipelineResult, REQUIRED_SECTIONS, type ReachabilityNode, type ReviewChecklist, type ReviewComment, type ReviewContext, type ReviewItem, type RunCIChecksInput, type SelfReviewConfig, type SkillExecutor, type SourceFile, type Span, type SpanEvent, type StepExecutor, type StructureValidation, type Suggestion, type SuggestionReport, type TelemetryAdapter, type TelemetryHealth, type TimeRange, type TokenBudget, type TokenBudgetOverrides, type Trace, type TurnExecutor, TypeScriptParser, type UnusedImport, VERSION, type ValidationError, type WorkflowPhase, analyzeDiff, appendFailure, appendLearning, applyFixes, archiveFailures, buildDependencyGraph, buildSnapshot, checkDocCoverage, configureFeedback, contextBudget, contextFilter, createBoundaryValidator, createError, createFixes, createParseError, createSelfReview, defineLayer, detectCircularDeps, detectCircularDepsInFiles, detectDeadCode, detectDocDrift, detectPatternViolations, executeWorkflow, extractMarkdownLinks, extractSections, generateAgentsMap, generateSuggestions, getActionEmitter, getFeedbackConfig, getPhaseCategories, loadFailures, loadHandoff, loadRelevantLearnings, loadState, logAgentAction, parseDiff, previewFix, requestMultiplePeerReviews, requestPeerReview, resetFeedbackConfig, resolveFileToLayer, runCIChecks, runMechanicalGate, runMultiTurnPipeline, runPipeline, saveHandoff, saveState, trackAction, validateAgentsMap, validateBoundaries, validateCommitMessage, validateConfig, validateDependencies, validateFileStructure, validateKnowledgeMap, validatePatternConfig };