@harness-engineering/graph 0.9.0 → 0.10.0

package/dist/index.d.mts

@@ -1778,6 +1778,28 @@ interface DesignViolation {
     suggestion?: string;
 }
 type DesignStrictness = 'strict' | 'standard' | 'permissive';
+/**
+ * Generic finding shape accepted by `recordFindings()` — covers ANAT-*
+ * (audit-component-anatomy, design-pipeline #2) and CRAFT-*
+ * (harness-design-craft, design-pipeline #6) namespaces. Skills convert
+ * their internal finding types into this shape before recording.
+ */
+interface CraftFindingRecord {
+    /** Finding code, e.g. "ANAT-D023", "CRAFT-C001", "CRAFT-P001" */
+    code: string;
+    /** Project-relative file path (becomes the `file` node id) */
+    file: string;
+    /** Line number, if known */
+    line?: number;
+    /** Human-readable message */
+    message: string;
+    /** Severity at emission time */
+    severity: 'error' | 'warn' | 'info';
+    /** Optional evidence snippet */
+    evidence?: string;
+    /** Optional run identifier so #4 verifier can detect fixpoint across runs */
+    runId?: string;
+}
 declare class DesignConstraintAdapter {
     private readonly store;
     constructor(store: GraphStore);
@@ -1785,6 +1807,30 @@ declare class DesignConstraintAdapter {
     checkForHardcodedFonts(source: string, file: string, strictness?: DesignStrictness): DesignViolation[];
     checkAll(source: string, file: string, strictness?: DesignStrictness): DesignViolation[];
     private mapSeverity;
+    /**
+     * Record externally-computed craft findings (audit-component-anatomy,
+     * harness-design-craft, etc.) as graph state. Idempotent — re-running on
+     * the same findings produces no duplicate nodes or edges thanks to
+     * GraphStore's keyed merge semantics.
+     *
+     * Each finding becomes:
+     *   • a `design_constraint` node keyed by finding code (created lazily
+     *     if absent; metadata merged on re-record so the most recent message
+     *     / severity wins)
+     *   • a `violates_design` edge from the source file (id = file path) to
+     *     the constraint node, with per-finding metadata (line, severity,
+     *     message, evidence, runId)
+     *
+     * The file node is NOT created here — it's assumed to already exist in
+     * the graph from a prior ingest. If it does not, the edge will still be
+     * created (graph stores edges by key, not by referential integrity) and
+     * a subsequent ingest will populate the file node.
+     */
+    recordFindings(findings: readonly CraftFindingRecord[]): {
+        constraintsAdded: number;
+        edgesAdded: number;
+    };
+    private labelForCode;
 }
 
 interface GraphImpactData {
@@ -1981,6 +2027,6 @@ declare class CascadeSimulator {
     private buildResult;
 }
 
-declare const VERSION = "0.6.0";
+declare const VERSION = "0.9.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, type CodeIngestorOptions, 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, DEFAULT_SKIP_DIRS, 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 LoadMetadataResult, 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, loadGraphMetadata, normalizeIntent, project, queryTraceability, resolveSkipDirs, saveGraph, skipDirGlobs };
+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, type CodeIngestorOptions, 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, type CraftFindingRecord, D2Parser, DEFAULT_BLOCKLIST, DEFAULT_PATTERNS, DEFAULT_SKIP_DIRS, 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 LoadMetadataResult, 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, loadGraphMetadata, normalizeIntent, project, queryTraceability, resolveSkipDirs, saveGraph, skipDirGlobs };

package/dist/index.d.ts

@@ -1778,6 +1778,28 @@ interface DesignViolation {
     suggestion?: string;
 }
 type DesignStrictness = 'strict' | 'standard' | 'permissive';
+/**
+ * Generic finding shape accepted by `recordFindings()` — covers ANAT-*
+ * (audit-component-anatomy, design-pipeline #2) and CRAFT-*
+ * (harness-design-craft, design-pipeline #6) namespaces. Skills convert
+ * their internal finding types into this shape before recording.
+ */
+interface CraftFindingRecord {
+    /** Finding code, e.g. "ANAT-D023", "CRAFT-C001", "CRAFT-P001" */
+    code: string;
+    /** Project-relative file path (becomes the `file` node id) */
+    file: string;
+    /** Line number, if known */
+    line?: number;
+    /** Human-readable message */
+    message: string;
+    /** Severity at emission time */
+    severity: 'error' | 'warn' | 'info';
+    /** Optional evidence snippet */
+    evidence?: string;
+    /** Optional run identifier so #4 verifier can detect fixpoint across runs */
+    runId?: string;
+}
 declare class DesignConstraintAdapter {
     private readonly store;
     constructor(store: GraphStore);
@@ -1785,6 +1807,30 @@ declare class DesignConstraintAdapter {
     checkForHardcodedFonts(source: string, file: string, strictness?: DesignStrictness): DesignViolation[];
     checkAll(source: string, file: string, strictness?: DesignStrictness): DesignViolation[];
     private mapSeverity;
+    /**
+     * Record externally-computed craft findings (audit-component-anatomy,
+     * harness-design-craft, etc.) as graph state. Idempotent — re-running on
+     * the same findings produces no duplicate nodes or edges thanks to
+     * GraphStore's keyed merge semantics.
+     *
+     * Each finding becomes:
+     *   • a `design_constraint` node keyed by finding code (created lazily
+     *     if absent; metadata merged on re-record so the most recent message
+     *     / severity wins)
+     *   • a `violates_design` edge from the source file (id = file path) to
+     *     the constraint node, with per-finding metadata (line, severity,
+     *     message, evidence, runId)
+     *
+     * The file node is NOT created here — it's assumed to already exist in
+     * the graph from a prior ingest. If it does not, the edge will still be
+     * created (graph stores edges by key, not by referential integrity) and
+     * a subsequent ingest will populate the file node.
+     */
+    recordFindings(findings: readonly CraftFindingRecord[]): {
+        constraintsAdded: number;
+        edgesAdded: number;
+    };
+    private labelForCode;
 }
 
 interface GraphImpactData {
@@ -1981,6 +2027,6 @@ declare class CascadeSimulator {
     private buildResult;
 }
 
-declare const VERSION = "0.6.0";
+declare const VERSION = "0.9.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, type CodeIngestorOptions, 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, DEFAULT_SKIP_DIRS, 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 LoadMetadataResult, 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, loadGraphMetadata, normalizeIntent, project, queryTraceability, resolveSkipDirs, saveGraph, skipDirGlobs };
+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, type CodeIngestorOptions, 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, type CraftFindingRecord, D2Parser, DEFAULT_BLOCKLIST, DEFAULT_PATTERNS, DEFAULT_SKIP_DIRS, 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 LoadMetadataResult, 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, loadGraphMetadata, normalizeIntent, project, queryTraceability, resolveSkipDirs, saveGraph, skipDirGlobs };

package/dist/index.js

@@ -9383,6 +9383,16 @@ var DesignIngestor = class {
 };
 
 // src/constraints/DesignConstraintAdapter.ts
+var CODE_PREFIX_LABELS = {
+  "ANAT-D": "Component anatomy (definition)",
+  "ANAT-P": "Component anatomy (pattern presence)",
+  "ANAT-U": "Component anatomy (usage)",
+  "CRAFT-C": "Design craft (critique)",
+  "CRAFT-P": "Design craft (polish)",
+  "CRAFT-B": "Design craft (benchmark)",
+  "DESIGN-": "Design constraint (legacy)",
+  "A11Y-": "Accessibility"
+};
 var DesignConstraintAdapter = class {
   constructor(store) {
     this.store = store;
@@ -9464,6 +9474,76 @@ var DesignConstraintAdapter = class {
         return "error";
     }
   }
+  /**
+   * Record externally-computed craft findings (audit-component-anatomy,
+   * harness-design-craft, etc.) as graph state. Idempotent — re-running on
+   * the same findings produces no duplicate nodes or edges thanks to
+   * GraphStore's keyed merge semantics.
+   *
+   * Each finding becomes:
+   *   • a `design_constraint` node keyed by finding code (created lazily
+   *     if absent; metadata merged on re-record so the most recent message
+   *     / severity wins)
+   *   • a `violates_design` edge from the source file (id = file path) to
+   *     the constraint node, with per-finding metadata (line, severity,
+   *     message, evidence, runId)
+   *
+   * The file node is NOT created here — it's assumed to already exist in
+   * the graph from a prior ingest. If it does not, the edge will still be
+   * created (graph stores edges by key, not by referential integrity) and
+   * a subsequent ingest will populate the file node.
+   */
+  recordFindings(findings) {
+    let constraintsAdded = 0;
+    let edgesAdded = 0;
+    const seenConstraintIds = /* @__PURE__ */ new Set();
+    for (const finding of findings) {
+      const constraintId = `design_constraint:${finding.code}`;
+      if (!seenConstraintIds.has(finding.code)) {
+        const existing = this.store.getNode(constraintId);
+        if (!existing) constraintsAdded += 1;
+        this.store.addNode({
+          id: constraintId,
+          type: "design_constraint",
+          name: finding.code,
+          metadata: {
+            code: finding.code,
+            label: this.labelForCode(finding.code),
+            mostRecentMessage: finding.message,
+            mostRecentSeverity: finding.severity
+          }
+        });
+        seenConstraintIds.add(finding.code);
+      }
+      const fileId = finding.file;
+      const edgeMetadata = {
+        message: finding.message,
+        severity: finding.severity
+      };
+      if (finding.line !== void 0) edgeMetadata.line = finding.line;
+      if (finding.evidence !== void 0) edgeMetadata.evidence = finding.evidence;
+      if (finding.runId !== void 0) edgeMetadata.runId = finding.runId;
+      const before = this.store.getEdges({
+        from: fileId,
+        to: constraintId,
+        type: "violates_design"
+      });
+      this.store.addEdge({
+        from: fileId,
+        to: constraintId,
+        type: "violates_design",
+        metadata: edgeMetadata
+      });
+      if (before.length === 0) edgesAdded += 1;
+    }
+    return { constraintsAdded, edgesAdded };
+  }
+  labelForCode(code) {
+    for (const prefix of Object.keys(CODE_PREFIX_LABELS)) {
+      if (code.startsWith(prefix)) return CODE_PREFIX_LABELS[prefix];
+    }
+    return "Design constraint";
+  }
 };
 
 // src/feedback/GraphFeedbackAdapter.ts
@@ -9991,7 +10071,7 @@ var ConflictPredictor = class {
 };
 
 // src/index.ts
-var VERSION = "0.6.0";
+var VERSION = "0.9.0";
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   ALL_EXTRACTORS,

package/dist/index.mjs

@@ -9268,6 +9268,16 @@ var DesignIngestor = class {
 };
 
 // src/constraints/DesignConstraintAdapter.ts
+var CODE_PREFIX_LABELS = {
+  "ANAT-D": "Component anatomy (definition)",
+  "ANAT-P": "Component anatomy (pattern presence)",
+  "ANAT-U": "Component anatomy (usage)",
+  "CRAFT-C": "Design craft (critique)",
+  "CRAFT-P": "Design craft (polish)",
+  "CRAFT-B": "Design craft (benchmark)",
+  "DESIGN-": "Design constraint (legacy)",
+  "A11Y-": "Accessibility"
+};
 var DesignConstraintAdapter = class {
   constructor(store) {
     this.store = store;
@@ -9349,6 +9359,76 @@ var DesignConstraintAdapter = class {
         return "error";
     }
   }
+  /**
+   * Record externally-computed craft findings (audit-component-anatomy,
+   * harness-design-craft, etc.) as graph state. Idempotent — re-running on
+   * the same findings produces no duplicate nodes or edges thanks to
+   * GraphStore's keyed merge semantics.
+   *
+   * Each finding becomes:
+   *   • a `design_constraint` node keyed by finding code (created lazily
+   *     if absent; metadata merged on re-record so the most recent message
+   *     / severity wins)
+   *   • a `violates_design` edge from the source file (id = file path) to
+   *     the constraint node, with per-finding metadata (line, severity,
+   *     message, evidence, runId)
+   *
+   * The file node is NOT created here — it's assumed to already exist in
+   * the graph from a prior ingest. If it does not, the edge will still be
+   * created (graph stores edges by key, not by referential integrity) and
+   * a subsequent ingest will populate the file node.
+   */
+  recordFindings(findings) {
+    let constraintsAdded = 0;
+    let edgesAdded = 0;
+    const seenConstraintIds = /* @__PURE__ */ new Set();
+    for (const finding of findings) {
+      const constraintId = `design_constraint:${finding.code}`;
+      if (!seenConstraintIds.has(finding.code)) {
+        const existing = this.store.getNode(constraintId);
+        if (!existing) constraintsAdded += 1;
+        this.store.addNode({
+          id: constraintId,
+          type: "design_constraint",
+          name: finding.code,
+          metadata: {
+            code: finding.code,
+            label: this.labelForCode(finding.code),
+            mostRecentMessage: finding.message,
+            mostRecentSeverity: finding.severity
+          }
+        });
+        seenConstraintIds.add(finding.code);
+      }
+      const fileId = finding.file;
+      const edgeMetadata = {
+        message: finding.message,
+        severity: finding.severity
+      };
+      if (finding.line !== void 0) edgeMetadata.line = finding.line;
+      if (finding.evidence !== void 0) edgeMetadata.evidence = finding.evidence;
+      if (finding.runId !== void 0) edgeMetadata.runId = finding.runId;
+      const before = this.store.getEdges({
+        from: fileId,
+        to: constraintId,
+        type: "violates_design"
+      });
+      this.store.addEdge({
+        from: fileId,
+        to: constraintId,
+        type: "violates_design",
+        metadata: edgeMetadata
+      });
+      if (before.length === 0) edgesAdded += 1;
+    }
+    return { constraintsAdded, edgesAdded };
+  }
+  labelForCode(code) {
+    for (const prefix of Object.keys(CODE_PREFIX_LABELS)) {
+      if (code.startsWith(prefix)) return CODE_PREFIX_LABELS[prefix];
+    }
+    return "Design constraint";
+  }
 };
 
 // src/feedback/GraphFeedbackAdapter.ts
@@ -9876,7 +9956,7 @@ var ConflictPredictor = class {
 };
 
 // src/index.ts
-var VERSION = "0.6.0";
+var VERSION = "0.9.0";
 export {
   ALL_EXTRACTORS,
   ApiPathExtractor,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@harness-engineering/graph",
-  "version": "0.9.0",
+  "version": "0.10.0",
   "license": "MIT",
   "description": "Knowledge graph for context assembly in Harness Engineering",
   "main": "./dist/index.js",