@harness-engineering/core 0.12.0 → 0.13.1

package/dist/index.d.ts

@@ -1088,175 +1088,118 @@ declare function removeProvenance(lockfile: Lockfile, packageName: string): {
  */
 declare function removeContributions(config: Record<string, unknown>, contributions: Contributions): Record<string, unknown>;
 
-interface InternalSymbol {
-    name: string;
-    type: 'function' | 'class' | 'variable' | 'type';
-    line: number;
-    references: number;
-    calledBy: string[];
-}
-interface JSDocComment {
-    content: string;
-    line: number;
-    associatedSymbol?: string;
-}
-interface CodeBlock {
-    language: string;
-    content: string;
-    line: number;
-}
-interface InlineReference {
-    reference: string;
-    line: number;
-    column: number;
-}
-interface SourceFile {
-    path: string;
-    ast: AST;
-    imports: Import[];
-    exports: Export[];
-    internalSymbols: InternalSymbol[];
-    jsDocComments: JSDocComment[];
-}
-interface DocumentationFile {
-    path: string;
-    type: 'markdown' | 'jsdoc' | 'typedoc' | 'text';
-    content: string;
-    codeBlocks: CodeBlock[];
-    inlineRefs: InlineReference[];
-}
-interface CodeReference {
-    docFile: string;
-    line: number;
-    column: number;
-    reference: string;
-    context: 'code-block' | 'inline' | 'link' | 'jsdoc';
-    resolvedTo?: string;
-}
-interface ExportMap {
-    byFile: Map<string, Export[]>;
-    byName: Map<string, {
-        file: string;
-        export: Export;
-    }[]>;
-}
-interface CodebaseSnapshot {
-    files: SourceFile[];
-    dependencyGraph: DependencyGraph;
-    exportMap: ExportMap;
-    docs: DocumentationFile[];
-    codeReferences: CodeReference[];
-    entryPoints: string[];
-    rootDir: string;
-    config: EntropyConfig;
-    buildTime: number;
-}
-interface DriftConfig {
-    docPaths: string[];
-    checkApiSignatures: boolean;
-    checkExamples: boolean;
-    checkStructure: boolean;
-    ignorePatterns: string[];
-}
-interface DeadCodeConfig {
-    entryPoints?: string[];
-    includeTypes: boolean;
-    includeInternals: boolean;
-    ignorePatterns: string[];
-    treatDynamicImportsAs: 'used' | 'unknown';
-}
-interface EntropyConfig {
-    rootDir: string;
-    parser?: LanguageParser;
-    entryPoints?: string[];
-    analyze: {
-        drift?: boolean | Partial<DriftConfig>;
-        deadCode?: boolean | Partial<DeadCodeConfig>;
-        patterns?: boolean | PatternConfig;
-        complexity?: boolean | Partial<ComplexityConfig>;
-        coupling?: boolean | Partial<CouplingConfig>;
-        sizeBudget?: boolean | Partial<SizeBudgetConfig>;
+interface ComplexityThresholds {
+    cyclomaticComplexity?: {
+        error?: number;
+        warn?: number;
+    };
+    nestingDepth?: {
+        warn?: number;
+    };
+    functionLength?: {
+        warn?: number;
+    };
+    parameterCount?: {
+        warn?: number;
+    };
+    fileLength?: {
+        info?: number;
+    };
+    hotspotPercentile?: {
+        error?: number;
     };
-    include?: string[];
-    exclude?: string[];
-    docPaths?: string[];
 }
-interface DocumentationDrift {
-    type: 'api-signature' | 'example-code' | 'structure';
-    docFile: string;
+interface ComplexityConfig {
+    enabled?: boolean;
+    thresholds?: ComplexityThresholds;
+}
+interface ComplexityViolation {
+    file: string;
+    function: string;
     line: number;
-    reference: string;
-    context: string;
-    issue: 'NOT_FOUND' | 'RENAMED' | 'SIGNATURE_CHANGED' | 'SYNTAX_ERROR' | 'IMPORT_ERROR';
-    details: string;
-    suggestion?: string;
-    possibleMatches?: string[];
-    confidence: 'high' | 'medium' | 'low';
+    metric: 'cyclomaticComplexity' | 'nestingDepth' | 'functionLength' | 'parameterCount' | 'fileLength' | 'hotspotScore';
+    value: number;
+    threshold: number;
+    tier: 1 | 2 | 3;
+    severity: 'error' | 'warning' | 'info';
+    message?: string;
 }
-interface DriftReport {
-    drifts: DocumentationDrift[];
+interface ComplexityReport {
+    violations: ComplexityViolation[];
     stats: {
-        docsScanned: number;
-        referencesChecked: number;
-        driftsFound: number;
-        byType: {
-            api: number;
-            example: number;
-            structure: number;
-        };
+        filesAnalyzed: number;
+        functionsAnalyzed: number;
+        violationCount: number;
+        errorCount: number;
+        warningCount: number;
+        infoCount: number;
     };
-    severity: 'high' | 'medium' | 'low' | 'none';
 }
-interface DeadExport {
-    file: string;
-    name: string;
-    line: number;
-    type: 'function' | 'class' | 'variable' | 'type' | 'interface' | 'enum';
-    isDefault: boolean;
-    reason: 'NO_IMPORTERS' | 'IMPORTERS_ALSO_DEAD';
+
+interface CouplingThresholds {
+    fanOut?: {
+        warn?: number;
+    };
+    fanIn?: {
+        info?: number;
+    };
+    couplingRatio?: {
+        warn?: number;
+    };
+    transitiveDependencyDepth?: {
+        info?: number;
+    };
 }
-interface DeadFile {
-    path: string;
-    reason: 'NO_IMPORTERS' | 'NOT_ENTRY_POINT' | 'ALL_EXPORTS_DEAD';
-    exportCount: number;
-    lineCount: number;
+interface CouplingConfig {
+    enabled?: boolean;
+    thresholds?: CouplingThresholds;
 }
-interface DeadInternal {
+interface CouplingViolation {
     file: string;
-    name: string;
-    line: number;
-    type: 'function' | 'class' | 'variable';
-    reason: 'NEVER_CALLED' | 'ONLY_CALLED_BY_DEAD';
+    metric: 'fanOut' | 'fanIn' | 'couplingRatio' | 'transitiveDependencyDepth';
+    value: number;
+    threshold: number;
+    tier: 1 | 2 | 3;
+    severity: 'error' | 'warning' | 'info';
+    message?: string;
 }
-interface UnusedImport {
-    file: string;
-    line: number;
-    source: string;
-    specifiers: string[];
-    isFullyUnused: boolean;
+interface CouplingReport {
+    violations: CouplingViolation[];
+    stats: {
+        filesAnalyzed: number;
+        violationCount: number;
+        warningCount: number;
+        infoCount: number;
+    };
 }
-interface ReachabilityNode {
-    file: string;
-    reachable: boolean;
-    importedBy: string[];
-    imports: string[];
+
+interface SizeBudgetConfig {
+    enabled?: boolean;
+    budgets: Record<string, {
+        warn?: string;
+    }>;
+    dependencyWeight?: {
+        info?: string;
+    };
 }
-interface DeadCodeReport {
-    deadExports: DeadExport[];
-    deadFiles: DeadFile[];
-    deadInternals: DeadInternal[];
-    unusedImports: UnusedImport[];
+interface SizeBudgetViolation {
+    package: string;
+    currentSize: number;
+    budgetSize: number;
+    unit: 'bytes';
+    tier: 2 | 3;
+    severity: 'warning' | 'info';
+}
+interface SizeBudgetReport {
+    violations: SizeBudgetViolation[];
     stats: {
-        filesAnalyzed: number;
-        entryPointsUsed: string[];
-        totalExports: number;
-        deadExportCount: number;
-        totalFiles: number;
-        deadFileCount: number;
-        estimatedDeadLines: number;
+        packagesChecked: number;
+        violationCount: number;
+        warningCount: number;
+        infoCount: number;
     };
-    reachabilityTree?: ReachabilityNode;
 }
+
 interface ConfigPattern {
     name: string;
     description: string;
@@ -1294,12 +1237,6 @@ interface ConfigPattern {
     };
     message?: string;
 }
-interface CodePattern {
-    name: string;
-    description: string;
-    severity: 'error' | 'warning';
-    check: (file: SourceFile, snapshot: CodebaseSnapshot) => PatternMatch[];
-}
 interface PatternMatch {
     line: number;
     column?: number;
@@ -1308,7 +1245,12 @@ interface PatternMatch {
 }
 interface PatternConfig {
     patterns: ConfigPattern[];
-    customPatterns?: CodePattern[];
+    customPatterns?: Array<{
+        name: string;
+        description: string;
+        severity: 'error' | 'warning';
+        check: (...args: unknown[]) => PatternMatch[];
+    }>;
     ignoreFiles?: string[];
 }
 interface PatternViolation {
@@ -1331,115 +1273,187 @@ interface PatternReport {
     };
     passRate: number;
 }
-interface ComplexityThresholds {
-    cyclomaticComplexity?: {
-        error?: number;
-        warn?: number;
-    };
-    nestingDepth?: {
-        warn?: number;
-    };
-    functionLength?: {
-        warn?: number;
-    };
-    parameterCount?: {
-        warn?: number;
-    };
-    fileLength?: {
-        info?: number;
-    };
-    hotspotPercentile?: {
-        error?: number;
+
+interface DriftConfig {
+    docPaths: string[];
+    checkApiSignatures: boolean;
+    checkExamples: boolean;
+    checkStructure: boolean;
+    ignorePatterns: string[];
+}
+interface DeadCodeConfig {
+    entryPoints?: string[];
+    includeTypes: boolean;
+    includeInternals: boolean;
+    ignorePatterns: string[];
+    treatDynamicImportsAs: 'used' | 'unknown';
+}
+interface EntropyConfig {
+    rootDir: string;
+    parser?: LanguageParser;
+    entryPoints?: string[];
+    analyze: {
+        drift?: boolean | Partial<DriftConfig>;
+        deadCode?: boolean | Partial<DeadCodeConfig>;
+        patterns?: boolean | PatternConfig;
+        complexity?: boolean | Partial<ComplexityConfig>;
+        coupling?: boolean | Partial<CouplingConfig>;
+        sizeBudget?: boolean | Partial<SizeBudgetConfig>;
     };
+    include?: string[];
+    exclude?: string[];
+    docPaths?: string[];
+}
+
+interface InternalSymbol {
+    name: string;
+    type: 'function' | 'class' | 'variable' | 'type';
+    line: number;
+    references: number;
+    calledBy: string[];
+}
+interface JSDocComment {
+    content: string;
+    line: number;
+    associatedSymbol?: string;
+}
+interface CodeBlock {
+    language: string;
+    content: string;
+    line: number;
+}
+interface InlineReference {
+    reference: string;
+    line: number;
+    column: number;
+}
+interface SourceFile {
+    path: string;
+    ast: AST;
+    imports: Import[];
+    exports: Export[];
+    internalSymbols: InternalSymbol[];
+    jsDocComments: JSDocComment[];
+}
+interface DocumentationFile {
+    path: string;
+    type: 'markdown' | 'jsdoc' | 'typedoc' | 'text';
+    content: string;
+    codeBlocks: CodeBlock[];
+    inlineRefs: InlineReference[];
+}
+interface CodeReference {
+    docFile: string;
+    line: number;
+    column: number;
+    reference: string;
+    context: 'code-block' | 'inline' | 'link' | 'jsdoc';
+    resolvedTo?: string;
+}
+interface ExportMap {
+    byFile: Map<string, Export[]>;
+    byName: Map<string, {
+        file: string;
+        export: Export;
+    }[]>;
 }
-interface ComplexityConfig {
-    enabled?: boolean;
-    thresholds?: ComplexityThresholds;
+interface CodebaseSnapshot {
+    files: SourceFile[];
+    dependencyGraph: DependencyGraph;
+    exportMap: ExportMap;
+    docs: DocumentationFile[];
+    codeReferences: CodeReference[];
+    entryPoints: string[];
+    rootDir: string;
+    config: EntropyConfig;
+    buildTime: number;
 }
-interface ComplexityViolation {
-    file: string;
-    function: string;
+
+interface DocumentationDrift {
+    type: 'api-signature' | 'example-code' | 'structure';
+    docFile: string;
     line: number;
-    metric: 'cyclomaticComplexity' | 'nestingDepth' | 'functionLength' | 'parameterCount' | 'fileLength' | 'hotspotScore';
-    value: number;
-    threshold: number;
-    tier: 1 | 2 | 3;
-    severity: 'error' | 'warning' | 'info';
-    message?: string;
+    reference: string;
+    context: string;
+    issue: 'NOT_FOUND' | 'RENAMED' | 'SIGNATURE_CHANGED' | 'SYNTAX_ERROR' | 'IMPORT_ERROR';
+    details: string;
+    suggestion?: string;
+    possibleMatches?: string[];
+    confidence: 'high' | 'medium' | 'low';
 }
-interface ComplexityReport {
-    violations: ComplexityViolation[];
+interface DriftReport {
+    drifts: DocumentationDrift[];
     stats: {
-        filesAnalyzed: number;
-        functionsAnalyzed: number;
-        violationCount: number;
-        errorCount: number;
-        warningCount: number;
-        infoCount: number;
+        docsScanned: number;
+        referencesChecked: number;
+        driftsFound: number;
+        byType: {
+            api: number;
+            example: number;
+            structure: number;
+        };
     };
+    severity: 'high' | 'medium' | 'low' | 'none';
 }
-interface CouplingThresholds {
-    fanOut?: {
-        warn?: number;
-    };
-    fanIn?: {
-        info?: number;
-    };
-    couplingRatio?: {
-        warn?: number;
-    };
-    transitiveDependencyDepth?: {
-        info?: number;
-    };
+
+interface DeadExport {
+    file: string;
+    name: string;
+    line: number;
+    type: 'function' | 'class' | 'variable' | 'type' | 'interface' | 'enum';
+    isDefault: boolean;
+    reason: 'NO_IMPORTERS' | 'IMPORTERS_ALSO_DEAD';
 }
-interface CouplingConfig {
-    enabled?: boolean;
-    thresholds?: CouplingThresholds;
+interface DeadFile {
+    path: string;
+    reason: 'NO_IMPORTERS' | 'NOT_ENTRY_POINT' | 'ALL_EXPORTS_DEAD';
+    exportCount: number;
+    lineCount: number;
 }
-interface CouplingViolation {
+interface DeadInternal {
     file: string;
-    metric: 'fanOut' | 'fanIn' | 'couplingRatio' | 'transitiveDependencyDepth';
-    value: number;
-    threshold: number;
-    tier: 1 | 2 | 3;
-    severity: 'error' | 'warning' | 'info';
-    message?: string;
-}
-interface CouplingReport {
-    violations: CouplingViolation[];
-    stats: {
-        filesAnalyzed: number;
-        violationCount: number;
-        warningCount: number;
-        infoCount: number;
-    };
+    name: string;
+    line: number;
+    type: 'function' | 'class' | 'variable';
+    reason: 'NEVER_CALLED' | 'ONLY_CALLED_BY_DEAD';
 }
-interface SizeBudgetConfig {
-    enabled?: boolean;
-    budgets: Record<string, {
-        warn?: string;
-    }>;
-    dependencyWeight?: {
-        info?: string;
-    };
+interface UnusedImport {
+    file: string;
+    line: number;
+    source: string;
+    specifiers: string[];
+    isFullyUnused: boolean;
 }
-interface SizeBudgetViolation {
-    package: string;
-    currentSize: number;
-    budgetSize: number;
-    unit: 'bytes';
-    tier: 2 | 3;
-    severity: 'warning' | 'info';
+interface ReachabilityNode {
+    file: string;
+    reachable: boolean;
+    importedBy: string[];
+    imports: string[];
 }
-interface SizeBudgetReport {
-    violations: SizeBudgetViolation[];
+interface DeadCodeReport {
+    deadExports: DeadExport[];
+    deadFiles: DeadFile[];
+    deadInternals: DeadInternal[];
+    unusedImports: UnusedImport[];
     stats: {
-        packagesChecked: number;
-        violationCount: number;
-        warningCount: number;
-        infoCount: number;
+        filesAnalyzed: number;
+        entryPointsUsed: string[];
+        totalExports: number;
+        deadExportCount: number;
+        totalFiles: number;
+        deadFileCount: number;
+        estimatedDeadLines: number;
     };
+    reachabilityTree?: ReachabilityNode;
 }
+
+interface CodePattern {
+    name: string;
+    description: string;
+    severity: 'error' | 'warning';
+    check: (file: SourceFile, snapshot: CodebaseSnapshot) => PatternMatch[];
+}
+
 type FixType = 'unused-imports' | 'dead-files' | 'dead-exports' | 'commented-code' | 'orphaned-deps' | 'forbidden-import-replacement' | 'import-ordering' | 'trailing-whitespace' | 'broken-links' | 'sort-imports';
 interface FixConfig {
     dryRun: boolean;
@@ -1514,6 +1528,7 @@ interface SuggestionReport {
     };
     estimatedEffort: 'trivial' | 'small' | 'medium' | 'large';
 }
+
 interface AnalysisError {
     analyzer: 'drift' | 'deadCode' | 'patterns' | 'complexity' | 'coupling' | 'sizeBudget';
     error: EntropyError;
@@ -3134,6 +3149,8 @@ declare class DepDepthCollector implements Collector {
  * Produce a stable violation ID.
  * Formula: sha256(relativePath + ':' + category + ':' + normalizedDetail)
  * Line numbers are excluded to keep IDs stable across unrelated edits.
+ *
+ * @param relativePath - POSIX-normalized relative path (callers must use relativePosix())
  */
 declare function violationId(relativePath: string, category: string, normalizedDetail: string): string;
 /**
@@ -3492,20 +3509,80 @@ declare const HarnessStateSchema: z.ZodObject<{
 type HarnessState = z.infer<typeof HarnessStateSchema>;
 declare const DEFAULT_STATE: HarnessState;
 
-declare function loadState(projectPath: string, stream?: string): Promise<Result<HarnessState, Error>>;
-declare function saveState(projectPath: string, state: HarnessState, stream?: string): Promise<Result<void, Error>>;
-declare function appendLearning(projectPath: string, learning: string, skillName?: string, outcome?: string, stream?: string): Promise<Result<void, Error>>;
-declare function loadRelevantLearnings(projectPath: string, skillName?: string, stream?: string): Promise<Result<string[], Error>>;
-declare function appendFailure(projectPath: string, description: string, skillName: string, type: string, stream?: string): Promise<Result<void, Error>>;
-declare function loadFailures(projectPath: string, stream?: string): Promise<Result<Array<{
+declare function loadState(projectPath: string, stream?: string, session?: string): Promise<Result<HarnessState, Error>>;
+declare function saveState(projectPath: string, state: HarnessState, stream?: string, session?: string): Promise<Result<void, Error>>;
+
+declare function clearLearningsCache(): void;
+declare function appendLearning(projectPath: string, learning: string, skillName?: string, outcome?: string, stream?: string, session?: string): Promise<Result<void, Error>>;
+/**
+ * Parse date from a learning entry. Returns the date string or null.
+ * Entries look like: "- **2026-03-25 [skill:X]:** content"
+ * or heading format: "## 2026-03-25 — Task 3: ..."
+ */
+declare function parseDateFromEntry(entry: string): string | null;
+interface LearningPattern {
+    tag: string;
+    count: number;
+    entries: string[];
+}
+/**
+ * Analyze learning entries for recurring patterns.
+ * Groups entries by [skill:X] and [outcome:Y] tags.
+ * Returns patterns where 3+ entries share the same tag.
+ */
+declare function analyzeLearningPatterns(entries: string[]): LearningPattern[];
+interface BudgetedLearningsOptions {
+    intent: string;
+    tokenBudget?: number;
+    skill?: string;
+    session?: string;
+    stream?: string;
+}
+/**
+ * Load learnings with token budget, two-tier loading, recency sorting, and relevance filtering.
+ *
+ * - Session learnings (primary): always loaded first if session is provided
+ * - Global learnings (secondary): loaded to fill remaining budget
+ * - Sorted by recency (newest first) within each tier
+ * - Filtered by relevance to intent (matching entries prioritized)
+ * - Capped at tokenBudget (default 1000 tokens)
+ */
+declare function loadBudgetedLearnings(projectPath: string, options: BudgetedLearningsOptions): Promise<Result<string[], Error>>;
+declare function loadRelevantLearnings(projectPath: string, skillName?: string, stream?: string, session?: string): Promise<Result<string[], Error>>;
+interface PruneResult {
+    kept: number;
+    archived: number;
+    patterns: LearningPattern[];
+}
+/**
+ * Archive learning entries to .harness/learnings-archive/{YYYY-MM}.md.
+ * Appends to existing archive file if one exists for the current month.
+ */
+declare function archiveLearnings(projectPath: string, entries: string[], stream?: string): Promise<Result<void, Error>>;
+/**
+ * Prune global learnings: analyze patterns, archive old entries, keep 20 most recent.
+ *
+ * Pruning triggers when:
+ * - Entry count exceeds 30, OR
+ * - Entries older than 14 days exist AND total count exceeds 20
+ *
+ * Returns the prune result with pattern analysis and counts.
+ */
+declare function pruneLearnings(projectPath: string, stream?: string): Promise<Result<PruneResult, Error>>;
+
+declare function clearFailuresCache(): void;
+declare function appendFailure(projectPath: string, description: string, skillName: string, type: string, stream?: string, session?: string): Promise<Result<void, Error>>;
+declare function loadFailures(projectPath: string, stream?: string, session?: string): Promise<Result<Array<{
     date: string;
     skill: string;
     type: string;
     description: string;
 }>, Error>>;
-declare function archiveFailures(projectPath: string, stream?: string): Promise<Result<void, Error>>;
-declare function saveHandoff(projectPath: string, handoff: Handoff, stream?: string): Promise<Result<void, Error>>;
-declare function loadHandoff(projectPath: string, stream?: string): Promise<Result<Handoff | null, Error>>;
+declare function archiveFailures(projectPath: string, stream?: string, session?: string): Promise<Result<void, Error>>;
+
+declare function saveHandoff(projectPath: string, handoff: Handoff, stream?: string, session?: string): Promise<Result<void, Error>>;
+declare function loadHandoff(projectPath: string, stream?: string, session?: string): Promise<Result<Handoff | null, Error>>;
+
 declare function runMechanicalGate(projectPath: string): Promise<Result<GateResult, Error>>;
 
 declare const StreamInfoSchema: z.ZodObject<{
@@ -3593,6 +3670,53 @@ declare function archiveStream(projectPath: string, name: string): Promise<Resul
 declare function getStreamForBranch(index: StreamIndex, branch: string): string | null;
 declare function migrateToStreams(projectPath: string): Promise<Result<void, Error>>;
 
+/**
+ * Resolves the directory path for a session.
+ * Optionally creates the directory if it does not exist.
+ */
+declare function resolveSessionDir(projectPath: string, sessionSlug: string, options?: {
+    create?: boolean;
+}): Result<string, Error>;
+/**
+ * Updates the session index.md file with an entry for the given session.
+ * Creates the file if it does not exist.
+ * Updates existing entries in-place (per-slug line ownership).
+ */
+declare function updateSessionIndex(projectPath: string, sessionSlug: string, description: string): void;
+
+/**
+ * Data required to write a session summary.
+ * Required fields: session, lastActive, skill, status, keyContext, nextStep.
+ * Optional fields: phase, spec, plan.
+ */
+interface SessionSummaryData {
+    session: string;
+    lastActive: string;
+    skill: string;
+    phase?: string;
+    status: string;
+    spec?: string;
+    plan?: string;
+    keyContext: string;
+    nextStep: string;
+}
+/**
+ * Writes a session summary to the session directory and updates the session index.
+ * Creates the session directory if it does not exist.
+ * Overwrites any existing summary for this session.
+ */
+declare function writeSessionSummary(projectPath: string, sessionSlug: string, data: SessionSummaryData): Result<void, Error>;
+/**
+ * Loads a session's summary.md contents.
+ * Returns the raw markdown string, or null if the file does not exist.
+ */
+declare function loadSessionSummary(projectPath: string, sessionSlug: string): Result<string | null, Error>;
+/**
+ * Lists active sessions by reading the session index file.
+ * Returns the raw markdown contents of index.md, or null if it does not exist.
+ */
+declare function listActiveSessions(projectPath: string): Result<string | null, Error>;
+
 type StepExecutor = (step: WorkflowStep, previousArtifact?: string) => Promise<WorkflowStepResult>;
 declare function executeWorkflow(workflow: Workflow, executor: StepExecutor): Promise<WorkflowResult>;
 
@@ -3797,35 +3921,6 @@ interface RunCIChecksInput {
 }
 declare function runCIChecks(input: RunCIChecksInput): Promise<Result<CICheckReport, Error>>;
 
-/**
- * An index of mechanical findings, queryable by file + line range.
- * Used in Phase 5 (VALIDATE) to determine whether an AI-produced finding
- * overlaps with a mechanical finding and should be excluded.
- */
-declare class ExclusionSet {
-    /** Findings indexed by file path for O(1) file lookup */
-    private byFile;
-    private allFindings;
-    constructor(findings: MechanicalFinding[]);
-    /**
-     * Returns true if any mechanical finding covers the given file + line range.
-     *
-     * A mechanical finding "covers" a range if:
-     * - The file matches, AND
-     * - The finding has no line (file-level finding — covers everything), OR
-     * - The finding's line falls within [startLine, endLine] inclusive.
-     */
-    isExcluded(file: string, lineRange: [number, number]): boolean;
-    /** Number of findings in the set */
-    get size(): number;
-    /** Returns a copy of all findings */
-    getFindings(): MechanicalFinding[];
-}
-/**
- * Build an ExclusionSet from mechanical findings.
- */
-declare function buildExclusionSet(findings: MechanicalFinding[]): ExclusionSet;
-
 /**
  * A finding produced by a mechanical check (lint, typecheck, security scan, harness validate/deps/docs).
  * Used as input to the exclusion set and reported when the pipeline stops due to mechanical failures.
@@ -3876,6 +3971,7 @@ interface MechanicalCheckOptions {
     /** Only scan these files for security (e.g., changed files from a PR) */
     changedFiles?: string[];
 }
+
 /**
  * Change type detected from commit message prefix or diff heuristic.
  */
@@ -3993,6 +4089,7 @@ interface ContextScopeOptions {
     /** Pre-gathered commit history entries. If provided, included in all bundles. */
     commitHistory?: CommitHistoryEntry[];
 }
+
 /**
  * Model tier — abstract label resolved at runtime from project config.
  * - fast: haiku-class (gate, context phases)
@@ -4071,6 +4168,7 @@ interface FanOutOptions {
     /** Context bundles from Phase 3 (one per domain) */
     bundles: ContextBundle[];
 }
+
 /**
  * Assessment decision — determines exit code and PR review action.
  */
@@ -4145,6 +4243,36 @@ interface EligibilityResult {
     /** Human-readable reason when not eligible */
     reason?: string;
 }
+
+/**
+ * An index of mechanical findings, queryable by file + line range.
+ * Used in Phase 5 (VALIDATE) to determine whether an AI-produced finding
+ * overlaps with a mechanical finding and should be excluded.
+ */
+declare class ExclusionSet {
+    /** Findings indexed by file path for O(1) file lookup */
+    private byFile;
+    private allFindings;
+    constructor(findings: MechanicalFinding[]);
+    /**
+     * Returns true if any mechanical finding covers the given file + line range.
+     *
+     * A mechanical finding "covers" a range if:
+     * - The file matches, AND
+     * - The finding has no line (file-level finding — covers everything), OR
+     * - The finding's line falls within [startLine, endLine] inclusive.
+     */
+    isExcluded(file: string, lineRange: [number, number]): boolean;
+    /** Number of findings in the set */
+    get size(): number;
+    /** Returns a copy of all findings */
+    getFindings(): MechanicalFinding[];
+}
+/**
+ * Build an ExclusionSet from mechanical findings.
+ */
+declare function buildExclusionSet(findings: MechanicalFinding[]): ExclusionSet;
+
 /**
  * Configuration mapping abstract model tiers to concrete model identifiers.
  * All tiers are optional — unmapped tiers resolve to undefined (use current model).
@@ -4791,6 +4919,6 @@ declare function getUpdateNotification(currentVersion: string): string | null;
  * release. Kept only as a fallback for consumers that cannot resolve the CLI
  * package at runtime.
  */
-declare const VERSION = "0.11.0";
+declare const VERSION = "0.13.0";
 
-export { AGENT_DESCRIPTORS, ARCHITECTURE_DESCRIPTOR, type AST, type ActionContext, type ActionEvent, type ActionEventHandler, type ActionEventType, type ActionResult, type ActionSink, type ActionTracker, type ActionType, type AgentAction, AgentActionEmitter, type AgentExecutor, type AgentMapLink, type AgentMapSection, type AgentMapValidation, type AgentProcess, type AgentReviewResult, type AgentType, type AgentsMapConfig, ArchBaseline, ArchBaselineManager, ArchConfig, ArchDiffResult, ArchMetricCategory, BUG_DETECTION_DESCRIPTOR, type BaseError, type Baseline, BaselineManager, type BaselinesFile, type BenchmarkResult, type BenchmarkRunOptions, BenchmarkRunner, type BlueprintData, BlueprintGenerator, type BlueprintModule, type BlueprintOptions, type BoundaryDefinition, type BoundaryValidation, type BoundaryValidator, type BoundaryViolation, type BrokenLink, type Bundle, type BundleConstraints, BundleConstraintsSchema, BundleSchema, COMPLIANCE_DESCRIPTOR, type ChangeType, type ChangedFile, ChecklistBuilder, type CircularDependency, CircularDepsCollector, type CircularDepsResult, type CleanupFinding, type CodeBlock, type CodeChanges, type CodePattern, type CodeReference, type CodebaseSnapshot, Collector, type CommentedCodeBlock, type CommitFormat, type CommitHistoryEntry, type CommitValidation, ComplexityCollector, type ComplexityConfig, type ComplexityReport, type ComplexityThresholds, type ComplexityViolation, type ConfigError, type ConfigPattern, type Confirmation, ConfirmationSchema, type ConflictReport, ConsoleSink, type ConstraintError, type ConstraintNodeStore, ConstraintRule, type Content, ContentPipeline, type ContextBundle, type ContextError, type ContextFile, type ContextFilterResult, type ContextScopeOptions, type Contributions, ContributionsSchema, type Convention, CouplingCollector, type CouplingConfig, type CouplingReport, type CouplingThresholds, type CouplingViolation, type CoverageOptions, type CoverageReport, type CriticalPathEntry, CriticalPathResolver, type CriticalPathSet, type CustomRule, type CustomRuleResult, DEFAULT_PROVIDER_TIERS, DEFAULT_SECURITY_CONFIG, DEFAULT_STATE, DEFAULT_STREAM_INDEX, type DeadCodeConfig, type DeadCodeReport, type DeadExport, type DeadFile, type DeadInternal, type DeduplicateFindingsOptions, DepDepthCollector, type DependencyEdge, type DependencyGraph, type DependencyValidation, type DependencyViolation, type DetectStaleResult, type DiffInfo, type DocumentationDrift, type DocumentationFile, type DocumentationGap, type DriftConfig, type DriftReport, type EligibilityResult, type EmitInteractionInput, EmitInteractionInputSchema, EntropyAnalyzer, type EntropyConfig, EntropyConfigSchema, type EntropyError, type EntropyReport, ExclusionSet, type ExecutorHealth, type Export, type ExportMap, type FailureEntry, FailureEntrySchema, type FanOutOptions, type FeedbackAgentConfig, type FeedbackConfig, type FeedbackError$1 as FeedbackError, type FileCategory, FileSink, type FindingSeverity, type Fix, type FixConfig, type FixResult, type FixType, ForbiddenImportCollector, type ForbiddenImportViolation, type ForbiddenPattern, type GateConfig, GateConfigSchema, type GateResult, GateResultSchema, type GenerationSection, type GitHubInlineComment, type GraphAdapter, type GraphComplexityData, type GraphCouplingData, type GraphCoverageData, type GraphCriticalPathData, type GraphDependencyData, type GraphHarnessCheckData, type GraphImpactData, type Handoff, HandoffSchema, type HarnessState, HarnessStateSchema, type HealthCheckResult, type Hotspot, type HotspotContext, type Import, type InlineReference, type IntegrityReport, type InteractionType, InteractionTypeSchema, type InternalSymbol, type JSDocComment, type LanguageParser, type Layer, type LayerConfig, LayerViolationCollector, type Lockfile, type LockfilePackage, LockfilePackageSchema, LockfileSchema, type LogEntry, type LogFilter, type Manifest, ManifestSchema, type MechanicalCheckOptions, type MechanicalCheckResult, type MechanicalCheckStatus, type MechanicalFinding, type MergeResult, type Metric, MetricResult, type ModelProvider, type ModelTier, type ModelTierConfig, type ModuleDependency, ModuleSizeCollector, NoOpExecutor, NoOpSink, NoOpTelemetryAdapter, type OrphanedDep, type ParseError, type PatternConfig, PatternConfigSchema, type PatternMatch, type PatternReport, type PatternViolation, type PeerReview, type PeerReviewOptions, type PipelineContext, type PipelineFlags, type PipelineOptions, type PipelineResult, type PrMetadata, type PriorReview, ProjectScanner, type ProviderDefaults, type Question, QuestionSchema, REQUIRED_SECTIONS, type ReachabilityNode, RegressionDetector, type RegressionReport, type RegressionResult, type ReviewAgentDescriptor, type ReviewAssessment, type ReviewChecklist, type ReviewComment, type ReviewContext, type ReviewDomain, type ReviewFinding, type ReviewItem, type ReviewOutputOptions, type ReviewPipelineResult, type ReviewStrength, type RuleOverride, RuleRegistry, type RunCIChecksInput, type RunPipelineOptions, SECURITY_DESCRIPTOR, type SafetyLevel, type ScanResult, type SecurityCategory, type SecurityConfidence, type SecurityConfig, SecurityConfigSchema, type SecurityFinding, type SecurityRule, SecurityScanner, type SecuritySeverity, type SelfReviewConfig, SharableBoundaryConfigSchema, SharableForbiddenImportSchema, SharableLayerSchema, SharableSecurityRulesSchema, type SizeBudgetConfig, type SizeBudgetReport, type SizeBudgetViolation, type SkillExecutor, type SourceFile, type Span, type SpanEvent, type StaleConstraint, type StepExecutor, type StreamIndex, StreamIndexSchema, type StreamInfo, StreamInfoSchema, type StructureValidation, type Suggestion, type SuggestionReport, type SyncChange, type SyncOptions, type TelemetryAdapter, type TelemetryHealth, ThresholdConfig, type TimeRange, type TokenBudget, type TokenBudgetOverrides, type Trace, type Transition, TransitionSchema, type TurnExecutor, TypeScriptParser, type UnusedImport, type UpdateCheckState, VERSION, type ValidateFindingsOptions, type ValidationError, type WorkflowPhase, addProvenance, analyzeDiff, appendFailure, appendLearning, applyFixes, applyHotspotDowngrade, archiveFailures, archiveStream, buildDependencyGraph, buildExclusionSet, buildSnapshot, checkDocCoverage, checkEligibility, classifyFinding, configureFeedback, constraintRuleId, contextBudget, contextFilter, createBoundaryValidator, createCommentedCodeFixes, createError, createFixes, createForbiddenImportFixes, createOrphanedDepFixes, createParseError, createSelfReview, createStream, cryptoRules, deduplicateCleanupFindings, deduplicateFindings, deepMergeConstraints, defaultCollectors, defineLayer, deserializationRules, detectChangeType, detectCircularDeps, detectCircularDepsInFiles, detectComplexityViolations, detectCouplingViolations, detectDeadCode, detectDocDrift, detectPatternViolations, detectSizeBudgetViolations, detectStack, detectStaleConstraints, determineAssessment, diff, executeWorkflow, expressRules, extractBundle, extractMarkdownLinks, extractSections, fanOutReview, formatFindingBlock, formatGitHubComment, formatGitHubSummary, formatTerminalOutput, generateAgentsMap, generateSuggestions, getActionEmitter, getExitCode, getFeedbackConfig, getPhaseCategories, getStreamForBranch, getUpdateNotification, goRules, injectionRules, isSmallSuggestion, isUpdateCheckEnabled, listStreams, loadFailures, loadHandoff, loadRelevantLearnings, loadState, loadStreamIndex, logAgentAction, migrateToStreams, networkRules, nodeRules, parseDiff, parseManifest, parseRoadmap, parseSecurityConfig, parseSize, pathTraversalRules, previewFix, reactRules, readCheckState, readLockfile, removeContributions, removeProvenance, requestMultiplePeerReviews, requestPeerReview, resetFeedbackConfig, resolveFileToLayer, resolveModelTier, resolveRuleSeverity, resolveStreamPath, resolveThresholds, runAll, runArchitectureAgent, runBugDetectionAgent, runCIChecks, runComplianceAgent, runMechanicalChecks, runMechanicalGate, runMultiTurnPipeline, runPipeline, runReviewPipeline, runSecurityAgent, saveHandoff, saveState, saveStreamIndex, scopeContext, secretRules, serializeRoadmap, setActiveStream, shouldRunCheck, spawnBackgroundCheck, syncConstraintNodes, syncRoadmap, touchStream, trackAction, validateAgentsMap, validateBoundaries, validateCommitMessage, validateConfig, validateDependencies, validateFileStructure, validateFindings, validateKnowledgeMap, validatePatternConfig, violationId, writeConfig, writeLockfile, xssRules };
+export { AGENT_DESCRIPTORS, ARCHITECTURE_DESCRIPTOR, type AST, type ActionContext, type ActionEvent, type ActionEventHandler, type ActionEventType, type ActionResult, type ActionSink, type ActionTracker, type ActionType, type AgentAction, AgentActionEmitter, type AgentExecutor, type AgentMapLink, type AgentMapSection, type AgentMapValidation, type AgentProcess, type AgentReviewResult, type AgentType, type AgentsMapConfig, ArchBaseline, ArchBaselineManager, ArchConfig, ArchDiffResult, ArchMetricCategory, BUG_DETECTION_DESCRIPTOR, type BaseError, type Baseline, BaselineManager, type BaselinesFile, type BenchmarkResult, type BenchmarkRunOptions, BenchmarkRunner, type BlueprintData, BlueprintGenerator, type BlueprintModule, type BlueprintOptions, type BoundaryDefinition, type BoundaryValidation, type BoundaryValidator, type BoundaryViolation, type BrokenLink, type BudgetedLearningsOptions, type Bundle, type BundleConstraints, BundleConstraintsSchema, BundleSchema, COMPLIANCE_DESCRIPTOR, type ChangeType, type ChangedFile, ChecklistBuilder, type CircularDependency, CircularDepsCollector, type CircularDepsResult, type CleanupFinding, type CodeBlock, type CodeChanges, type CodePattern, type CodeReference, type CodebaseSnapshot, Collector, type CommentedCodeBlock, type CommitFormat, type CommitHistoryEntry, type CommitValidation, ComplexityCollector, type ComplexityConfig, type ComplexityReport, type ComplexityThresholds, type ComplexityViolation, type ConfigError, type ConfigPattern, type Confirmation, ConfirmationSchema, type ConflictReport, ConsoleSink, type ConstraintError, type ConstraintNodeStore, ConstraintRule, type Content, ContentPipeline, type ContextBundle, type ContextError, type ContextFile, type ContextFilterResult, type ContextScopeOptions, type Contributions, ContributionsSchema, type Convention, CouplingCollector, type CouplingConfig, type CouplingReport, type CouplingThresholds, type CouplingViolation, type CoverageOptions, type CoverageReport, type CriticalPathEntry, CriticalPathResolver, type CriticalPathSet, type CustomRule, type CustomRuleResult, DEFAULT_PROVIDER_TIERS, DEFAULT_SECURITY_CONFIG, DEFAULT_STATE, DEFAULT_STREAM_INDEX, type DeadCodeConfig, type DeadCodeReport, type DeadExport, type DeadFile, type DeadInternal, type DeduplicateFindingsOptions, DepDepthCollector, type DependencyEdge, type DependencyGraph, type DependencyValidation, type DependencyViolation, type DetectStaleResult, type DiffInfo, type DocumentationDrift, type DocumentationFile, type DocumentationGap, type DriftConfig, type DriftReport, type EligibilityResult, type EmitInteractionInput, EmitInteractionInputSchema, EntropyAnalyzer, type EntropyConfig, EntropyConfigSchema, type EntropyError, type EntropyReport, ExclusionSet, type ExecutorHealth, type Export, type ExportMap, type FailureEntry, FailureEntrySchema, type FanOutOptions, type FeedbackAgentConfig, type FeedbackConfig, type FeedbackError$1 as FeedbackError, type FileCategory, FileSink, type FindingSeverity, type Fix, type FixConfig, type FixResult, type FixType, ForbiddenImportCollector, type ForbiddenImportViolation, type ForbiddenPattern, type GateConfig, GateConfigSchema, type GateResult, GateResultSchema, type GenerationSection, type GitHubInlineComment, type GraphAdapter, type GraphComplexityData, type GraphCouplingData, type GraphCoverageData, type GraphCriticalPathData, type GraphDependencyData, type GraphHarnessCheckData, type GraphImpactData, type Handoff, HandoffSchema, type HarnessState, HarnessStateSchema, type HealthCheckResult, type Hotspot, type HotspotContext, type Import, type InlineReference, type IntegrityReport, type InteractionType, InteractionTypeSchema, type InternalSymbol, type JSDocComment, type LanguageParser, type Layer, type LayerConfig, LayerViolationCollector, type LearningPattern, type Lockfile, type LockfilePackage, LockfilePackageSchema, LockfileSchema, type LogEntry, type LogFilter, type Manifest, ManifestSchema, type MechanicalCheckOptions, type MechanicalCheckResult, type MechanicalCheckStatus, type MechanicalFinding, type MergeResult, type Metric, MetricResult, type ModelProvider, type ModelTier, type ModelTierConfig, type ModuleDependency, ModuleSizeCollector, NoOpExecutor, NoOpSink, NoOpTelemetryAdapter, type OrphanedDep, type ParseError, type PatternConfig, PatternConfigSchema, type PatternMatch, type PatternReport, type PatternViolation, type PeerReview, type PeerReviewOptions, type PipelineContext, type PipelineFlags, type PipelineOptions, type PipelineResult, type PrMetadata, type PriorReview, ProjectScanner, type ProviderDefaults, type PruneResult, type Question, QuestionSchema, REQUIRED_SECTIONS, type ReachabilityNode, RegressionDetector, type RegressionReport, type RegressionResult, type ReviewAgentDescriptor, type ReviewAssessment, type ReviewChecklist, type ReviewComment, type ReviewContext, type ReviewDomain, type ReviewFinding, type ReviewItem, type ReviewOutputOptions, type ReviewPipelineResult, type ReviewStrength, type RuleOverride, RuleRegistry, type RunCIChecksInput, type RunPipelineOptions, SECURITY_DESCRIPTOR, type SafetyLevel, type ScanResult, type SecurityCategory, type SecurityConfidence, type SecurityConfig, SecurityConfigSchema, type SecurityFinding, type SecurityRule, SecurityScanner, type SecuritySeverity, type SelfReviewConfig, type SessionSummaryData, SharableBoundaryConfigSchema, SharableForbiddenImportSchema, SharableLayerSchema, SharableSecurityRulesSchema, type SizeBudgetConfig, type SizeBudgetReport, type SizeBudgetViolation, type SkillExecutor, type SourceFile, type Span, type SpanEvent, type StaleConstraint, type StepExecutor, type StreamIndex, StreamIndexSchema, type StreamInfo, StreamInfoSchema, type StructureValidation, type Suggestion, type SuggestionReport, type SyncChange, type SyncOptions, type TelemetryAdapter, type TelemetryHealth, ThresholdConfig, type TimeRange, type TokenBudget, type TokenBudgetOverrides, type Trace, type Transition, TransitionSchema, type TurnExecutor, TypeScriptParser, type UnusedImport, type UpdateCheckState, VERSION, type ValidateFindingsOptions, type ValidationError, type WorkflowPhase, addProvenance, analyzeDiff, analyzeLearningPatterns, appendFailure, appendLearning, applyFixes, applyHotspotDowngrade, archiveFailures, archiveLearnings, archiveStream, buildDependencyGraph, buildExclusionSet, buildSnapshot, checkDocCoverage, checkEligibility, classifyFinding, clearFailuresCache, clearLearningsCache, configureFeedback, constraintRuleId, contextBudget, contextFilter, createBoundaryValidator, createCommentedCodeFixes, createError, createFixes, createForbiddenImportFixes, createOrphanedDepFixes, createParseError, createSelfReview, createStream, cryptoRules, deduplicateCleanupFindings, deduplicateFindings, deepMergeConstraints, defaultCollectors, defineLayer, deserializationRules, detectChangeType, detectCircularDeps, detectCircularDepsInFiles, detectComplexityViolations, detectCouplingViolations, detectDeadCode, detectDocDrift, detectPatternViolations, detectSizeBudgetViolations, detectStack, detectStaleConstraints, determineAssessment, diff, executeWorkflow, expressRules, extractBundle, extractMarkdownLinks, extractSections, fanOutReview, formatFindingBlock, formatGitHubComment, formatGitHubSummary, formatTerminalOutput, generateAgentsMap, generateSuggestions, getActionEmitter, getExitCode, getFeedbackConfig, getPhaseCategories, getStreamForBranch, getUpdateNotification, goRules, injectionRules, isSmallSuggestion, isUpdateCheckEnabled, listActiveSessions, listStreams, loadBudgetedLearnings, loadFailures, loadHandoff, loadRelevantLearnings, loadSessionSummary, loadState, loadStreamIndex, logAgentAction, migrateToStreams, networkRules, nodeRules, parseDateFromEntry, parseDiff, parseManifest, parseRoadmap, parseSecurityConfig, parseSize, pathTraversalRules, previewFix, pruneLearnings, reactRules, readCheckState, readLockfile, removeContributions, removeProvenance, requestMultiplePeerReviews, requestPeerReview, resetFeedbackConfig, resolveFileToLayer, resolveModelTier, resolveRuleSeverity, resolveSessionDir, resolveStreamPath, resolveThresholds, runAll, runArchitectureAgent, runBugDetectionAgent, runCIChecks, runComplianceAgent, runMechanicalChecks, runMechanicalGate, runMultiTurnPipeline, runPipeline, runReviewPipeline, runSecurityAgent, saveHandoff, saveState, saveStreamIndex, scopeContext, secretRules, serializeRoadmap, setActiveStream, shouldRunCheck, spawnBackgroundCheck, syncConstraintNodes, syncRoadmap, touchStream, trackAction, updateSessionIndex, validateAgentsMap, validateBoundaries, validateCommitMessage, validateConfig, validateDependencies, validateFileStructure, validateFindings, validateKnowledgeMap, validatePatternConfig, violationId, writeConfig, writeLockfile, writeSessionSummary, xssRules };