@harness-engineering/graph 0.5.0 → 0.7.0

package/dist/index.d.mts

@@ -252,7 +252,17 @@ interface SerializedGraph {
     readonly edges: readonly GraphEdge[];
 }
 declare function saveGraph(dirPath: string, nodes: readonly GraphNode[], edges: readonly GraphEdge[]): Promise<void>;
-declare function loadGraph(dirPath: string): Promise<SerializedGraph | null>;
+type LoadGraphResult = {
+    status: 'loaded';
+    graph: SerializedGraph;
+} | {
+    status: 'not_found';
+} | {
+    status: 'schema_mismatch';
+    found: number;
+    expected: number;
+};
+declare function loadGraph(dirPath: string): Promise<LoadGraphResult>;
 
 /**
  * Minimal PackedEnvelope shape -- avoids circular dep on @harness-engineering/core.
@@ -449,6 +459,22 @@ declare class BusinessKnowledgeIngestor {
     private findMarkdownFiles;
 }
 
+/**
+ * Ingests ADR files from docs/knowledge/decisions/ into the knowledge graph.
+ *
+ * Parses YAML frontmatter with fields: number, title, date, status, tier,
+ * source, supersedes. Creates `decision` type graph nodes with `decided`
+ * edges to code nodes mentioned in the body.
+ */
+declare class DecisionIngestor {
+    private readonly store;
+    constructor(store: GraphStore);
+    ingest(decisionsDir: string): Promise<IngestResult>;
+    private parseFrontmatter;
+    private linkToCode;
+    private findDecisionFiles;
+}
+
 declare class RequirementIngestor {
     private readonly store;
     constructor(store: GraphStore);
@@ -486,6 +512,33 @@ declare class RequirementIngestor {
     private linkByKeywordOverlap;
 }
 
+/**
+ * Domain inference for graph nodes.
+ *
+ * Precedence (highest to lowest):
+ *   1. node.metadata.domain (explicit)
+ *   2. extraPatterns (config-provided)
+ *   3. DEFAULT_PATTERNS (built-in)
+ *   4. Generic first non-blocklisted path segment
+ *   5. KnowledgeLinker connector source (path-less facts)
+ *   6. 'unknown'
+ *
+ * Pattern format: 'prefix/<dir>'. Single-segment prefix only. <dir> captures
+ * the segment immediately after the prefix.
+ */
+interface DomainInferenceOptions {
+    /** Additional patterns beyond the built-in defaults. Format: 'prefix/<dir>'. */
+    extraPatterns?: readonly string[];
+    /** Additional blocklisted segments beyond the built-in defaults. */
+    extraBlocklist?: readonly string[];
+}
+declare const DEFAULT_PATTERNS: readonly string[];
+declare const DEFAULT_BLOCKLIST: ReadonlySet<string>;
+declare function inferDomain(node: {
+    path?: string;
+    metadata?: Record<string, unknown>;
+}, options?: DomainInferenceOptions): string;
+
 type DriftClassification = 'new' | 'drifted' | 'stale' | 'contradicting';
 interface KnowledgeSnapshotEntry {
     readonly id: string;
@@ -539,13 +592,25 @@ interface StagedEntry {
     readonly contentHash: string;
     readonly timestamp: string;
 }
+interface GapEntry {
+    readonly nodeId: string;
+    readonly name: string;
+    readonly nodeType: NodeType;
+    readonly source: string;
+    readonly hasContent: boolean;
+}
 interface DomainCoverage {
     readonly domain: string;
     readonly entryCount: number;
+    readonly extractedCount: number;
+    readonly gapCount: number;
+    readonly gapEntries: readonly GapEntry[];
 }
 interface GapReport {
     readonly domains: readonly DomainCoverage[];
     readonly totalEntries: number;
+    readonly totalExtracted: number;
+    readonly totalGaps: number;
     readonly generatedAt: string;
 }
 interface AggregateResult {
@@ -553,9 +618,11 @@ interface AggregateResult {
 }
 declare class KnowledgeStagingAggregator {
     private readonly projectDir;
-    constructor(projectDir: string);
+    private readonly inferenceOptions;
+    constructor(projectDir: string, inferenceOptions?: DomainInferenceOptions);
     aggregate(extractorResults: readonly StagedEntry[], linkerResults: readonly StagedEntry[], diagramResults: readonly StagedEntry[]): Promise<AggregateResult>;
-    generateGapReport(knowledgeDir: string): Promise<GapReport>;
+    private extractDocName;
+    generateGapReport(knowledgeDir: string, store?: GraphStore): Promise<GapReport>;
     writeGapReport(report: GapReport): Promise<void>;
 }
 
@@ -601,6 +668,12 @@ declare class ImageAnalysisExtractor {
     readonly maxFileSizeBytes: number;
     constructor(options: ImageAnalysisExtractorOptions);
     analyze(store: GraphStore, imagePaths: readonly string[]): Promise<IngestResult>;
+    /** Analyze a single image and add annotation + concept nodes to the store. */
+    private processImage;
+    /** Link annotation to its source file node if it exists. Returns 1 if linked, 0 otherwise. */
+    private linkToFileNode;
+    /** Create a business_concept node for a design pattern and link it. Returns edges added. */
+    private addDesignPatternConcept;
 }
 
 type ConflictType = 'value_mismatch' | 'definition_conflict' | 'status_divergence' | 'temporal_conflict';
@@ -646,8 +719,52 @@ interface CoverageReport {
     readonly generatedAt: string;
 }
 declare class CoverageScorer {
+    private readonly inferenceOptions;
+    constructor(inferenceOptions?: DomainInferenceOptions);
     score(store: GraphStore): CoverageReport;
-    private domainFromPath;
+}
+
+/**
+ * Knowledge Document Materializer
+ *
+ * Takes GapEntry[] from the differential gap report and creates
+ * docs/knowledge/{domain}/*.md files from graph nodes.
+ * Frontmatter is compatible with BusinessKnowledgeIngestor's parseFrontmatter().
+ */
+
+interface MaterializeOptions {
+    readonly projectDir: string;
+    readonly dryRun: boolean;
+    readonly maxDocs?: number;
+}
+interface MaterializeResult {
+    readonly created: readonly MaterializedDoc[];
+    readonly skipped: readonly SkippedEntry[];
+}
+interface MaterializedDoc {
+    readonly filePath: string;
+    readonly nodeId: string;
+    readonly domain: string;
+    readonly name: string;
+}
+interface SkippedEntry {
+    readonly nodeId: string;
+    readonly name: string;
+    readonly reason: 'no_content' | 'no_domain' | 'already_documented' | 'dry_run' | 'cap_reached';
+}
+declare class KnowledgeDocMaterializer {
+    private readonly store;
+    private readonly inferenceOptions;
+    constructor(store: GraphStore, inferenceOptions?: DomainInferenceOptions);
+    materialize(gapEntries: readonly GapEntry[], options: MaterializeOptions): Promise<MaterializeResult>;
+    private resolveEntry;
+    inferDomain(node: GraphNode): string | null;
+    generateFilename(name: string): string;
+    resolveCollision(dir: string, basename: string): Promise<string>;
+    formatDoc(node: GraphNode, domain: string): string;
+    /** Check if a doc with a matching title already exists in the domain directory. */
+    private hasExistingDoc;
+    mapNodeType(node: GraphNode): NodeType;
 }
 
 /**
@@ -671,12 +788,20 @@ interface KnowledgePipelineOptions {
     readonly analyzeImages?: boolean;
     readonly analysisProvider?: AnalysisProvider;
     readonly imagePaths?: readonly string[];
+    /**
+     * Domain-inference overrides threaded into KnowledgeStagingAggregator,
+     * CoverageScorer, and KnowledgeDocMaterializer. Sourced by the CLI from
+     * `harness.config.json#knowledge.domainPatterns` (→ extraPatterns) and
+     * `knowledge.domainBlocklist` (→ extraBlocklist). Defaults to {} when absent.
+     */
+    readonly inferenceOptions?: DomainInferenceOptions;
 }
 interface ExtractionCounts {
     readonly codeSignals: number;
     readonly diagrams: number;
     readonly linkerFacts: number;
     readonly businessKnowledge: number;
+    readonly decisions: number;
     readonly images: number;
 }
 interface KnowledgePipelineResult {
@@ -689,11 +814,18 @@ interface KnowledgePipelineResult {
     readonly remediations: readonly string[];
     readonly contradictions: ContradictionResult;
     readonly coverage: CoverageReport;
+    readonly materialization?: MaterializeResult;
 }
 declare class KnowledgePipelineRunner {
     private readonly store;
     constructor(store: GraphStore);
+    /** Resolved per-`run()` inference options. Set on entry to `run()`. */
+    private inferenceOptions;
     run(options: KnowledgePipelineOptions): Promise<KnowledgePipelineResult>;
+    /** Run the remediation convergence loop; returns iteration count and accumulated materialization. */
+    private runRemediationLoop;
+    /** Assemble the final pipeline result. */
+    private buildResult;
     private extract;
     private buildSnapshot;
     private reconcile;
@@ -705,12 +837,8 @@ declare class KnowledgePipelineRunner {
 }
 
 /**
- * Diagram-as-code parser types and format-specific implementations.
- *
- * Extracts entities and relationships from diagram files (Mermaid, D2, PlantUML)
- * and maps them to the knowledge graph.
+ * Shared types for diagram format parsers.
  */
-
 interface DiagramEntity {
     readonly id: string;
     readonly label: string;
@@ -733,29 +861,59 @@ interface DiagramFormatParser {
     canParse(content: string, ext: string): boolean;
     parse(content: string, filePath: string): DiagramParseResult;
 }
+
+/**
+ * Mermaid diagram format parser.
+ *
+ * Handles .mmd and .mermaid files, supporting flowchart and sequence diagram types.
+ */
+
 declare class MermaidParser implements DiagramFormatParser {
     canParse(_content: string, ext: string): boolean;
     parse(content: string, _filePath: string): DiagramParseResult;
-    private detectDiagramType;
-    private parseFlowchart;
-    private isDecisionNode;
-    private parseSequence;
 }
+
+/**
+ * D2 diagram format parser.
+ *
+ * Handles .d2 files, extracting entities and connections from D2 architecture diagrams.
+ */
+
 declare class D2Parser implements DiagramFormatParser {
     canParse(_content: string, ext: string): boolean;
     parse(content: string, _filePath: string): DiagramParseResult;
 }
+
+/**
+ * PlantUML diagram format parser.
+ *
+ * Handles .puml and .plantuml files, supporting class and component diagram types.
+ */
+
 declare class PlantUmlParser implements DiagramFormatParser {
     canParse(_content: string, ext: string): boolean;
     parse(content: string, _filePath: string): DiagramParseResult;
-    private detectDiagramType;
 }
+
+/**
+ * Diagram-as-code parser orchestrator.
+ *
+ * Delegates to format-specific parsers (Mermaid, D2, PlantUML) and maps
+ * extracted entities/relationships to the knowledge graph.
+ *
+ * Format-specific implementations live in ./parsers/.
+ */
+
 declare class DiagramParser {
     private readonly store;
     private readonly parsers;
     constructor(store: GraphStore);
     parse(content: string, filePath: string): DiagramParseResult;
     ingest(projectDir: string): Promise<IngestResult>;
+    /** Map diagram entities to business_concept graph nodes. */
+    private addEntityNodes;
+    /** Map diagram relationships to references graph edges. */
+    private addRelationshipEdges;
     private findDiagramFiles;
 }
 
@@ -852,6 +1010,12 @@ declare class FigmaConnector implements GraphConnector {
     constructor(httpClient?: HttpClient);
     ingest(store: GraphStore, config: ConnectorConfig): Promise<IngestResult>;
     private processFile;
+    private ingestStyles;
+    private processStyle;
+    private ingestComponents;
+    private processComponent;
+    private addComponentIntent;
+    private addComponentConstraint;
 }
 
 declare class MiroConnector implements GraphConnector {
@@ -1700,6 +1864,6 @@ declare class CascadeSimulator {
     private buildResult;
 }
 
-declare const VERSION = "0.4.3";
+declare const VERSION = "0.6.0";
 
-export { ALL_EXTRACTORS, type AggregateResult, type AnomalyDetectionOptions, type AnomalyReport, ApiPathExtractor, type ArticulationPoint, type AskGraphResult, type AssembledContext, Assembler, BusinessKnowledgeIngestor, CIConnector, CURRENT_SCHEMA_VERSION, type PackedEnvelope as CacheableEnvelope, type CascadeLayer, type CascadeNode, type CascadeResult, type CascadeSimulationOptions, CascadeSimulator, type ClassificationResult, CodeIngestor, CompositeProbabilityStrategy, type ConflictDetail, type ConflictPrediction, ConflictPredictor, type ConflictSeverity, type ConflictType, ConfluenceConnector, type ConnectorConfig, ContextQL, type ContextQLParams, type ContextQLResult, type Contradiction, ContradictionDetector, type ContradictionEntry, type ContradictionResult, type CoverageReport, CoverageScorer, D2Parser, DesignConstraintAdapter, DesignIngestor, type DesignStrictness, type DesignViolation, type DetectedElement, type DiagramEntity, type DiagramFormatParser, type DiagramParseResult, DiagramParser, type DiagramRelationship, type DomainCoverage, type DomainCoverageScore, type DriftClassification, type DriftDetector, type DriftFinding, type DriftResult, EDGE_TYPES, type EdgeQuery, type EdgeType, EntityExtractor, EntityResolver, EnumConstantExtractor, type ExtractionCounts, type ExtractionRecord, ExtractionRunner, FigmaConnector, FusionLayer, type FusionResult, type GapReport, GitIngestor, type GitRunner, GraphAnomalyAdapter, type GraphBudget, GraphComplexityAdapter, type GraphComplexityHotspot, type GraphComplexityResult, type GraphConnector, GraphConstraintAdapter, GraphCouplingAdapter, type GraphCouplingFileData, type GraphCouplingResult, type GraphCoverageReport, type GraphDeadCodeData, type GraphDependencyData, type GraphDriftData, type GraphEdge, GraphEdgeSchema, GraphEntropyAdapter, GraphFeedbackAdapter, type GraphFilterResult, type GraphHarnessCheckData, type GraphImpactData, type GraphLayerViolation, type GraphMetadata, type GraphNode, GraphNodeSchema, type GraphSnapshotSummary, type GraphStabilityTier, GraphStore, type HttpClient, INTENTS, ImageAnalysisExtractor, type ImageAnalysisExtractorOptions, type AnalysisProvider as ImageAnalysisProvider, type ImageAnalysisResult, type ImpactGroups, type IndependenceCheckParams, type IndependenceResult, type IngestResult, type Intent, IntentClassifier, JiraConnector, KnowledgeIngestor, type KnowledgePipelineOptions, type KnowledgePipelineResult, KnowledgePipelineRunner, type KnowledgeSnapshot, type KnowledgeSnapshotEntry, KnowledgeStagingAggregator, type Language, type LinkResult, MermaidParser, MiroConnector, NODE_STABILITY, NODE_TYPES, type NodeCategory, type NodeQuery, type NodeType, OBSERVABILITY_TYPES, type OverlapDetail, PackedSummaryCache, type PairResult, PlantUmlParser, type ProbabilityStrategy, type ProjectionSpec, type RequirementCoverage, RequirementIngestor, type ResolvedEntity, ResponseFormatter, type SignalExtractor, SlackConnector, type SourceLocation, type StagedEntry, type StatisticalOutlier, StructuralDriftDetector, SyncManager, type SyncMetadata, type TaskDefinition, TaskIndependenceAnalyzer, TestDescriptionExtractor, TopologicalLinker, type TraceabilityOptions, type TraceabilityResult, type TracedFile, VERSION, ValidationRuleExtractor, type VectorSearchResult, VectorStore, askGraph, classifyNodeCategory, createExtractionRunner, detectLanguage, groupNodesByImpact, linkToCode, loadGraph, normalizeIntent, project, queryTraceability, saveGraph };
+export { ALL_EXTRACTORS, type AggregateResult, type AnomalyDetectionOptions, type AnomalyReport, ApiPathExtractor, type ArticulationPoint, type AskGraphResult, type AssembledContext, Assembler, BusinessKnowledgeIngestor, CIConnector, CURRENT_SCHEMA_VERSION, type PackedEnvelope as CacheableEnvelope, type CascadeLayer, type CascadeNode, type CascadeResult, type CascadeSimulationOptions, CascadeSimulator, type ClassificationResult, CodeIngestor, CompositeProbabilityStrategy, type ConflictDetail, type ConflictPrediction, ConflictPredictor, type ConflictSeverity, type ConflictType, ConfluenceConnector, type ConnectorConfig, ContextQL, type ContextQLParams, type ContextQLResult, type Contradiction, ContradictionDetector, type ContradictionEntry, type ContradictionResult, type CoverageReport, CoverageScorer, D2Parser, DEFAULT_BLOCKLIST, DEFAULT_PATTERNS, DecisionIngestor, DesignConstraintAdapter, DesignIngestor, type DesignStrictness, type DesignViolation, type DetectedElement, type DiagramEntity, type DiagramFormatParser, type DiagramParseResult, DiagramParser, type DiagramRelationship, type DomainCoverage, type DomainCoverageScore, type DomainInferenceOptions, type DriftClassification, type DriftDetector, type DriftFinding, type DriftResult, EDGE_TYPES, type EdgeQuery, type EdgeType, EntityExtractor, EntityResolver, EnumConstantExtractor, type ExtractionCounts, type ExtractionRecord, ExtractionRunner, FigmaConnector, FusionLayer, type FusionResult, type GapEntry, type GapReport, GitIngestor, type GitRunner, GraphAnomalyAdapter, type GraphBudget, GraphComplexityAdapter, type GraphComplexityHotspot, type GraphComplexityResult, type GraphConnector, GraphConstraintAdapter, GraphCouplingAdapter, type GraphCouplingFileData, type GraphCouplingResult, type GraphCoverageReport, type GraphDeadCodeData, type GraphDependencyData, type GraphDriftData, type GraphEdge, GraphEdgeSchema, GraphEntropyAdapter, GraphFeedbackAdapter, type GraphFilterResult, type GraphHarnessCheckData, type GraphImpactData, type GraphLayerViolation, type GraphMetadata, type GraphNode, GraphNodeSchema, type GraphSnapshotSummary, type GraphStabilityTier, GraphStore, type HttpClient, INTENTS, ImageAnalysisExtractor, type ImageAnalysisExtractorOptions, type AnalysisProvider as ImageAnalysisProvider, type ImageAnalysisResult, type ImpactGroups, type IndependenceCheckParams, type IndependenceResult, type IngestResult, type Intent, IntentClassifier, JiraConnector, KnowledgeDocMaterializer, KnowledgeIngestor, type KnowledgePipelineOptions, type KnowledgePipelineResult, KnowledgePipelineRunner, type KnowledgeSnapshot, type KnowledgeSnapshotEntry, KnowledgeStagingAggregator, type Language, type LinkResult, type LoadGraphResult, type MaterializeOptions, type MaterializeResult, type MaterializedDoc, MermaidParser, MiroConnector, NODE_STABILITY, NODE_TYPES, type NodeCategory, type NodeQuery, type NodeType, OBSERVABILITY_TYPES, type OverlapDetail, PackedSummaryCache, type PairResult, PlantUmlParser, type ProbabilityStrategy, type ProjectionSpec, type RequirementCoverage, RequirementIngestor, type ResolvedEntity, ResponseFormatter, type SignalExtractor, type SkippedEntry, SlackConnector, type SourceLocation, type StagedEntry, type StatisticalOutlier, StructuralDriftDetector, SyncManager, type SyncMetadata, type TaskDefinition, TaskIndependenceAnalyzer, TestDescriptionExtractor, TopologicalLinker, type TraceabilityOptions, type TraceabilityResult, type TracedFile, VERSION, ValidationRuleExtractor, type VectorSearchResult, VectorStore, askGraph, classifyNodeCategory, createExtractionRunner, detectLanguage, groupNodesByImpact, inferDomain, linkToCode, loadGraph, normalizeIntent, project, queryTraceability, saveGraph };

package/dist/index.d.ts

@@ -252,7 +252,17 @@ interface SerializedGraph {
     readonly edges: readonly GraphEdge[];
 }
 declare function saveGraph(dirPath: string, nodes: readonly GraphNode[], edges: readonly GraphEdge[]): Promise<void>;
-declare function loadGraph(dirPath: string): Promise<SerializedGraph | null>;
+type LoadGraphResult = {
+    status: 'loaded';
+    graph: SerializedGraph;
+} | {
+    status: 'not_found';
+} | {
+    status: 'schema_mismatch';
+    found: number;
+    expected: number;
+};
+declare function loadGraph(dirPath: string): Promise<LoadGraphResult>;
 
 /**
  * Minimal PackedEnvelope shape -- avoids circular dep on @harness-engineering/core.
@@ -449,6 +459,22 @@ declare class BusinessKnowledgeIngestor {
     private findMarkdownFiles;
 }
 
+/**
+ * Ingests ADR files from docs/knowledge/decisions/ into the knowledge graph.
+ *
+ * Parses YAML frontmatter with fields: number, title, date, status, tier,
+ * source, supersedes. Creates `decision` type graph nodes with `decided`
+ * edges to code nodes mentioned in the body.
+ */
+declare class DecisionIngestor {
+    private readonly store;
+    constructor(store: GraphStore);
+    ingest(decisionsDir: string): Promise<IngestResult>;
+    private parseFrontmatter;
+    private linkToCode;
+    private findDecisionFiles;
+}
+
 declare class RequirementIngestor {
     private readonly store;
     constructor(store: GraphStore);
@@ -486,6 +512,33 @@ declare class RequirementIngestor {
     private linkByKeywordOverlap;
 }
 
+/**
+ * Domain inference for graph nodes.
+ *
+ * Precedence (highest to lowest):
+ *   1. node.metadata.domain (explicit)
+ *   2. extraPatterns (config-provided)
+ *   3. DEFAULT_PATTERNS (built-in)
+ *   4. Generic first non-blocklisted path segment
+ *   5. KnowledgeLinker connector source (path-less facts)
+ *   6. 'unknown'
+ *
+ * Pattern format: 'prefix/<dir>'. Single-segment prefix only. <dir> captures
+ * the segment immediately after the prefix.
+ */
+interface DomainInferenceOptions {
+    /** Additional patterns beyond the built-in defaults. Format: 'prefix/<dir>'. */
+    extraPatterns?: readonly string[];
+    /** Additional blocklisted segments beyond the built-in defaults. */
+    extraBlocklist?: readonly string[];
+}
+declare const DEFAULT_PATTERNS: readonly string[];
+declare const DEFAULT_BLOCKLIST: ReadonlySet<string>;
+declare function inferDomain(node: {
+    path?: string;
+    metadata?: Record<string, unknown>;
+}, options?: DomainInferenceOptions): string;
+
 type DriftClassification = 'new' | 'drifted' | 'stale' | 'contradicting';
 interface KnowledgeSnapshotEntry {
     readonly id: string;
@@ -539,13 +592,25 @@ interface StagedEntry {
     readonly contentHash: string;
     readonly timestamp: string;
 }
+interface GapEntry {
+    readonly nodeId: string;
+    readonly name: string;
+    readonly nodeType: NodeType;
+    readonly source: string;
+    readonly hasContent: boolean;
+}
 interface DomainCoverage {
     readonly domain: string;
     readonly entryCount: number;
+    readonly extractedCount: number;
+    readonly gapCount: number;
+    readonly gapEntries: readonly GapEntry[];
 }
 interface GapReport {
     readonly domains: readonly DomainCoverage[];
     readonly totalEntries: number;
+    readonly totalExtracted: number;
+    readonly totalGaps: number;
     readonly generatedAt: string;
 }
 interface AggregateResult {
@@ -553,9 +618,11 @@ interface AggregateResult {
 }
 declare class KnowledgeStagingAggregator {
     private readonly projectDir;
-    constructor(projectDir: string);
+    private readonly inferenceOptions;
+    constructor(projectDir: string, inferenceOptions?: DomainInferenceOptions);
     aggregate(extractorResults: readonly StagedEntry[], linkerResults: readonly StagedEntry[], diagramResults: readonly StagedEntry[]): Promise<AggregateResult>;
-    generateGapReport(knowledgeDir: string): Promise<GapReport>;
+    private extractDocName;
+    generateGapReport(knowledgeDir: string, store?: GraphStore): Promise<GapReport>;
     writeGapReport(report: GapReport): Promise<void>;
 }
 
@@ -601,6 +668,12 @@ declare class ImageAnalysisExtractor {
     readonly maxFileSizeBytes: number;
     constructor(options: ImageAnalysisExtractorOptions);
     analyze(store: GraphStore, imagePaths: readonly string[]): Promise<IngestResult>;
+    /** Analyze a single image and add annotation + concept nodes to the store. */
+    private processImage;
+    /** Link annotation to its source file node if it exists. Returns 1 if linked, 0 otherwise. */
+    private linkToFileNode;
+    /** Create a business_concept node for a design pattern and link it. Returns edges added. */
+    private addDesignPatternConcept;
 }
 
 type ConflictType = 'value_mismatch' | 'definition_conflict' | 'status_divergence' | 'temporal_conflict';
@@ -646,8 +719,52 @@ interface CoverageReport {
     readonly generatedAt: string;
 }
 declare class CoverageScorer {
+    private readonly inferenceOptions;
+    constructor(inferenceOptions?: DomainInferenceOptions);
     score(store: GraphStore): CoverageReport;
-    private domainFromPath;
+}
+
+/**
+ * Knowledge Document Materializer
+ *
+ * Takes GapEntry[] from the differential gap report and creates
+ * docs/knowledge/{domain}/*.md files from graph nodes.
+ * Frontmatter is compatible with BusinessKnowledgeIngestor's parseFrontmatter().
+ */
+
+interface MaterializeOptions {
+    readonly projectDir: string;
+    readonly dryRun: boolean;
+    readonly maxDocs?: number;
+}
+interface MaterializeResult {
+    readonly created: readonly MaterializedDoc[];
+    readonly skipped: readonly SkippedEntry[];
+}
+interface MaterializedDoc {
+    readonly filePath: string;
+    readonly nodeId: string;
+    readonly domain: string;
+    readonly name: string;
+}
+interface SkippedEntry {
+    readonly nodeId: string;
+    readonly name: string;
+    readonly reason: 'no_content' | 'no_domain' | 'already_documented' | 'dry_run' | 'cap_reached';
+}
+declare class KnowledgeDocMaterializer {
+    private readonly store;
+    private readonly inferenceOptions;
+    constructor(store: GraphStore, inferenceOptions?: DomainInferenceOptions);
+    materialize(gapEntries: readonly GapEntry[], options: MaterializeOptions): Promise<MaterializeResult>;
+    private resolveEntry;
+    inferDomain(node: GraphNode): string | null;
+    generateFilename(name: string): string;
+    resolveCollision(dir: string, basename: string): Promise<string>;
+    formatDoc(node: GraphNode, domain: string): string;
+    /** Check if a doc with a matching title already exists in the domain directory. */
+    private hasExistingDoc;
+    mapNodeType(node: GraphNode): NodeType;
 }
 
 /**
@@ -671,12 +788,20 @@ interface KnowledgePipelineOptions {
     readonly analyzeImages?: boolean;
     readonly analysisProvider?: AnalysisProvider;
     readonly imagePaths?: readonly string[];
+    /**
+     * Domain-inference overrides threaded into KnowledgeStagingAggregator,
+     * CoverageScorer, and KnowledgeDocMaterializer. Sourced by the CLI from
+     * `harness.config.json#knowledge.domainPatterns` (→ extraPatterns) and
+     * `knowledge.domainBlocklist` (→ extraBlocklist). Defaults to {} when absent.
+     */
+    readonly inferenceOptions?: DomainInferenceOptions;
 }
 interface ExtractionCounts {
     readonly codeSignals: number;
     readonly diagrams: number;
     readonly linkerFacts: number;
     readonly businessKnowledge: number;
+    readonly decisions: number;
     readonly images: number;
 }
 interface KnowledgePipelineResult {
@@ -689,11 +814,18 @@ interface KnowledgePipelineResult {
     readonly remediations: readonly string[];
     readonly contradictions: ContradictionResult;
     readonly coverage: CoverageReport;
+    readonly materialization?: MaterializeResult;
 }
 declare class KnowledgePipelineRunner {
     private readonly store;
     constructor(store: GraphStore);
+    /** Resolved per-`run()` inference options. Set on entry to `run()`. */
+    private inferenceOptions;
     run(options: KnowledgePipelineOptions): Promise<KnowledgePipelineResult>;
+    /** Run the remediation convergence loop; returns iteration count and accumulated materialization. */
+    private runRemediationLoop;
+    /** Assemble the final pipeline result. */
+    private buildResult;
     private extract;
     private buildSnapshot;
     private reconcile;
@@ -705,12 +837,8 @@ declare class KnowledgePipelineRunner {
 }
 
 /**
- * Diagram-as-code parser types and format-specific implementations.
- *
- * Extracts entities and relationships from diagram files (Mermaid, D2, PlantUML)
- * and maps them to the knowledge graph.
+ * Shared types for diagram format parsers.
  */
-
 interface DiagramEntity {
     readonly id: string;
     readonly label: string;
@@ -733,29 +861,59 @@ interface DiagramFormatParser {
     canParse(content: string, ext: string): boolean;
     parse(content: string, filePath: string): DiagramParseResult;
 }
+
+/**
+ * Mermaid diagram format parser.
+ *
+ * Handles .mmd and .mermaid files, supporting flowchart and sequence diagram types.
+ */
+
 declare class MermaidParser implements DiagramFormatParser {
     canParse(_content: string, ext: string): boolean;
     parse(content: string, _filePath: string): DiagramParseResult;
-    private detectDiagramType;
-    private parseFlowchart;
-    private isDecisionNode;
-    private parseSequence;
 }
+
+/**
+ * D2 diagram format parser.
+ *
+ * Handles .d2 files, extracting entities and connections from D2 architecture diagrams.
+ */
+
 declare class D2Parser implements DiagramFormatParser {
     canParse(_content: string, ext: string): boolean;
     parse(content: string, _filePath: string): DiagramParseResult;
 }
+
+/**
+ * PlantUML diagram format parser.
+ *
+ * Handles .puml and .plantuml files, supporting class and component diagram types.
+ */
+
 declare class PlantUmlParser implements DiagramFormatParser {
     canParse(_content: string, ext: string): boolean;
     parse(content: string, _filePath: string): DiagramParseResult;
-    private detectDiagramType;
 }
+
+/**
+ * Diagram-as-code parser orchestrator.
+ *
+ * Delegates to format-specific parsers (Mermaid, D2, PlantUML) and maps
+ * extracted entities/relationships to the knowledge graph.
+ *
+ * Format-specific implementations live in ./parsers/.
+ */
+
 declare class DiagramParser {
     private readonly store;
     private readonly parsers;
     constructor(store: GraphStore);
     parse(content: string, filePath: string): DiagramParseResult;
     ingest(projectDir: string): Promise<IngestResult>;
+    /** Map diagram entities to business_concept graph nodes. */
+    private addEntityNodes;
+    /** Map diagram relationships to references graph edges. */
+    private addRelationshipEdges;
     private findDiagramFiles;
 }
 
@@ -852,6 +1010,12 @@ declare class FigmaConnector implements GraphConnector {
     constructor(httpClient?: HttpClient);
     ingest(store: GraphStore, config: ConnectorConfig): Promise<IngestResult>;
     private processFile;
+    private ingestStyles;
+    private processStyle;
+    private ingestComponents;
+    private processComponent;
+    private addComponentIntent;
+    private addComponentConstraint;
 }
 
 declare class MiroConnector implements GraphConnector {
@@ -1700,6 +1864,6 @@ declare class CascadeSimulator {
     private buildResult;
 }
 
-declare const VERSION = "0.4.3";
+declare const VERSION = "0.6.0";
 
-export { ALL_EXTRACTORS, type AggregateResult, type AnomalyDetectionOptions, type AnomalyReport, ApiPathExtractor, type ArticulationPoint, type AskGraphResult, type AssembledContext, Assembler, BusinessKnowledgeIngestor, CIConnector, CURRENT_SCHEMA_VERSION, type PackedEnvelope as CacheableEnvelope, type CascadeLayer, type CascadeNode, type CascadeResult, type CascadeSimulationOptions, CascadeSimulator, type ClassificationResult, CodeIngestor, CompositeProbabilityStrategy, type ConflictDetail, type ConflictPrediction, ConflictPredictor, type ConflictSeverity, type ConflictType, ConfluenceConnector, type ConnectorConfig, ContextQL, type ContextQLParams, type ContextQLResult, type Contradiction, ContradictionDetector, type ContradictionEntry, type ContradictionResult, type CoverageReport, CoverageScorer, D2Parser, DesignConstraintAdapter, DesignIngestor, type DesignStrictness, type DesignViolation, type DetectedElement, type DiagramEntity, type DiagramFormatParser, type DiagramParseResult, DiagramParser, type DiagramRelationship, type DomainCoverage, type DomainCoverageScore, type DriftClassification, type DriftDetector, type DriftFinding, type DriftResult, EDGE_TYPES, type EdgeQuery, type EdgeType, EntityExtractor, EntityResolver, EnumConstantExtractor, type ExtractionCounts, type ExtractionRecord, ExtractionRunner, FigmaConnector, FusionLayer, type FusionResult, type GapReport, GitIngestor, type GitRunner, GraphAnomalyAdapter, type GraphBudget, GraphComplexityAdapter, type GraphComplexityHotspot, type GraphComplexityResult, type GraphConnector, GraphConstraintAdapter, GraphCouplingAdapter, type GraphCouplingFileData, type GraphCouplingResult, type GraphCoverageReport, type GraphDeadCodeData, type GraphDependencyData, type GraphDriftData, type GraphEdge, GraphEdgeSchema, GraphEntropyAdapter, GraphFeedbackAdapter, type GraphFilterResult, type GraphHarnessCheckData, type GraphImpactData, type GraphLayerViolation, type GraphMetadata, type GraphNode, GraphNodeSchema, type GraphSnapshotSummary, type GraphStabilityTier, GraphStore, type HttpClient, INTENTS, ImageAnalysisExtractor, type ImageAnalysisExtractorOptions, type AnalysisProvider as ImageAnalysisProvider, type ImageAnalysisResult, type ImpactGroups, type IndependenceCheckParams, type IndependenceResult, type IngestResult, type Intent, IntentClassifier, JiraConnector, KnowledgeIngestor, type KnowledgePipelineOptions, type KnowledgePipelineResult, KnowledgePipelineRunner, type KnowledgeSnapshot, type KnowledgeSnapshotEntry, KnowledgeStagingAggregator, type Language, type LinkResult, MermaidParser, MiroConnector, NODE_STABILITY, NODE_TYPES, type NodeCategory, type NodeQuery, type NodeType, OBSERVABILITY_TYPES, type OverlapDetail, PackedSummaryCache, type PairResult, PlantUmlParser, type ProbabilityStrategy, type ProjectionSpec, type RequirementCoverage, RequirementIngestor, type ResolvedEntity, ResponseFormatter, type SignalExtractor, SlackConnector, type SourceLocation, type StagedEntry, type StatisticalOutlier, StructuralDriftDetector, SyncManager, type SyncMetadata, type TaskDefinition, TaskIndependenceAnalyzer, TestDescriptionExtractor, TopologicalLinker, type TraceabilityOptions, type TraceabilityResult, type TracedFile, VERSION, ValidationRuleExtractor, type VectorSearchResult, VectorStore, askGraph, classifyNodeCategory, createExtractionRunner, detectLanguage, groupNodesByImpact, linkToCode, loadGraph, normalizeIntent, project, queryTraceability, saveGraph };
+export { ALL_EXTRACTORS, type AggregateResult, type AnomalyDetectionOptions, type AnomalyReport, ApiPathExtractor, type ArticulationPoint, type AskGraphResult, type AssembledContext, Assembler, BusinessKnowledgeIngestor, CIConnector, CURRENT_SCHEMA_VERSION, type PackedEnvelope as CacheableEnvelope, type CascadeLayer, type CascadeNode, type CascadeResult, type CascadeSimulationOptions, CascadeSimulator, type ClassificationResult, CodeIngestor, CompositeProbabilityStrategy, type ConflictDetail, type ConflictPrediction, ConflictPredictor, type ConflictSeverity, type ConflictType, ConfluenceConnector, type ConnectorConfig, ContextQL, type ContextQLParams, type ContextQLResult, type Contradiction, ContradictionDetector, type ContradictionEntry, type ContradictionResult, type CoverageReport, CoverageScorer, D2Parser, DEFAULT_BLOCKLIST, DEFAULT_PATTERNS, DecisionIngestor, DesignConstraintAdapter, DesignIngestor, type DesignStrictness, type DesignViolation, type DetectedElement, type DiagramEntity, type DiagramFormatParser, type DiagramParseResult, DiagramParser, type DiagramRelationship, type DomainCoverage, type DomainCoverageScore, type DomainInferenceOptions, type DriftClassification, type DriftDetector, type DriftFinding, type DriftResult, EDGE_TYPES, type EdgeQuery, type EdgeType, EntityExtractor, EntityResolver, EnumConstantExtractor, type ExtractionCounts, type ExtractionRecord, ExtractionRunner, FigmaConnector, FusionLayer, type FusionResult, type GapEntry, type GapReport, GitIngestor, type GitRunner, GraphAnomalyAdapter, type GraphBudget, GraphComplexityAdapter, type GraphComplexityHotspot, type GraphComplexityResult, type GraphConnector, GraphConstraintAdapter, GraphCouplingAdapter, type GraphCouplingFileData, type GraphCouplingResult, type GraphCoverageReport, type GraphDeadCodeData, type GraphDependencyData, type GraphDriftData, type GraphEdge, GraphEdgeSchema, GraphEntropyAdapter, GraphFeedbackAdapter, type GraphFilterResult, type GraphHarnessCheckData, type GraphImpactData, type GraphLayerViolation, type GraphMetadata, type GraphNode, GraphNodeSchema, type GraphSnapshotSummary, type GraphStabilityTier, GraphStore, type HttpClient, INTENTS, ImageAnalysisExtractor, type ImageAnalysisExtractorOptions, type AnalysisProvider as ImageAnalysisProvider, type ImageAnalysisResult, type ImpactGroups, type IndependenceCheckParams, type IndependenceResult, type IngestResult, type Intent, IntentClassifier, JiraConnector, KnowledgeDocMaterializer, KnowledgeIngestor, type KnowledgePipelineOptions, type KnowledgePipelineResult, KnowledgePipelineRunner, type KnowledgeSnapshot, type KnowledgeSnapshotEntry, KnowledgeStagingAggregator, type Language, type LinkResult, type LoadGraphResult, type MaterializeOptions, type MaterializeResult, type MaterializedDoc, MermaidParser, MiroConnector, NODE_STABILITY, NODE_TYPES, type NodeCategory, type NodeQuery, type NodeType, OBSERVABILITY_TYPES, type OverlapDetail, PackedSummaryCache, type PairResult, PlantUmlParser, type ProbabilityStrategy, type ProjectionSpec, type RequirementCoverage, RequirementIngestor, type ResolvedEntity, ResponseFormatter, type SignalExtractor, type SkippedEntry, SlackConnector, type SourceLocation, type StagedEntry, type StatisticalOutlier, StructuralDriftDetector, SyncManager, type SyncMetadata, type TaskDefinition, TaskIndependenceAnalyzer, TestDescriptionExtractor, TopologicalLinker, type TraceabilityOptions, type TraceabilityResult, type TracedFile, VERSION, ValidationRuleExtractor, type VectorSearchResult, VectorStore, askGraph, classifyNodeCategory, createExtractionRunner, detectLanguage, groupNodesByImpact, inferDomain, linkToCode, loadGraph, normalizeIntent, project, queryTraceability, saveGraph };