@harness-engineering/graph 0.4.1 → 0.4.3

package/dist/index.d.mts

@@ -1,8 +1,8 @@
 import { z } from 'zod';
 
-declare const NODE_TYPES: readonly ["repository", "module", "file", "class", "interface", "function", "method", "variable", "adr", "decision", "learning", "failure", "issue", "document", "skill", "conversation", "commit", "build", "test_result", "span", "metric", "log", "layer", "pattern", "constraint", "violation", "design_token", "aesthetic_intent", "design_constraint", "requirement"];
+declare const NODE_TYPES: readonly ["repository", "module", "file", "class", "interface", "function", "method", "variable", "adr", "decision", "learning", "failure", "issue", "document", "skill", "conversation", "commit", "build", "test_result", "span", "metric", "log", "layer", "pattern", "constraint", "violation", "design_token", "aesthetic_intent", "design_constraint", "requirement", "packed_summary"];
 type NodeType = (typeof NODE_TYPES)[number];
-declare const EDGE_TYPES: readonly ["contains", "imports", "calls", "implements", "inherits", "references", "applies_to", "caused_by", "resolved_by", "documents", "violates", "specifies", "decided", "co_changes_with", "triggered_by", "failed_in", "executed_by", "measured_by", "uses_token", "declares_intent", "violates_design", "platform_binding", "requires", "verified_by", "tested_by"];
+declare const EDGE_TYPES: readonly ["contains", "imports", "calls", "implements", "inherits", "references", "applies_to", "caused_by", "resolved_by", "documents", "violates", "specifies", "decided", "co_changes_with", "triggered_by", "failed_in", "executed_by", "measured_by", "uses_token", "declares_intent", "violates_design", "platform_binding", "requires", "verified_by", "tested_by", "caches"];
 type EdgeType = (typeof EDGE_TYPES)[number];
 declare const OBSERVABILITY_TYPES: ReadonlySet<NodeType>;
 interface SourceLocation {
@@ -68,9 +68,18 @@ interface GraphMetadata {
     readonly edgeCount: number;
 }
 declare const CURRENT_SCHEMA_VERSION = 1;
+/** Stability classification for prompt caching -- mirrors StabilityTier from @harness-engineering/types. */
+type GraphStabilityTier = 'static' | 'session' | 'ephemeral';
+/**
+ * Maps graph node types to their caching stability tier.
+ * Used by provider cache adapters to determine cache directives.
+ *
+ * Node types not listed here default to 'ephemeral' at resolution time.
+ */
+declare const NODE_STABILITY: Record<string, GraphStabilityTier>;
 declare const GraphNodeSchema: z.ZodObject<{
     id: z.ZodString;
-    type: z.ZodEnum<["repository", "module", "file", "class", "interface", "function", "method", "variable", "adr", "decision", "learning", "failure", "issue", "document", "skill", "conversation", "commit", "build", "test_result", "span", "metric", "log", "layer", "pattern", "constraint", "violation", "design_token", "aesthetic_intent", "design_constraint", "requirement"]>;
+    type: z.ZodEnum<["repository", "module", "file", "class", "interface", "function", "method", "variable", "adr", "decision", "learning", "failure", "issue", "document", "skill", "conversation", "commit", "build", "test_result", "span", "metric", "log", "layer", "pattern", "constraint", "violation", "design_token", "aesthetic_intent", "design_constraint", "requirement", "packed_summary"]>;
     name: z.ZodString;
     path: z.ZodOptional<z.ZodString>;
     location: z.ZodOptional<z.ZodObject<{
@@ -99,7 +108,7 @@ declare const GraphNodeSchema: z.ZodObject<{
     lastModified: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
     id: string;
-    type: "function" | "repository" | "module" | "file" | "class" | "interface" | "method" | "variable" | "adr" | "decision" | "learning" | "failure" | "issue" | "document" | "skill" | "conversation" | "commit" | "build" | "test_result" | "span" | "metric" | "log" | "layer" | "pattern" | "constraint" | "violation" | "design_token" | "aesthetic_intent" | "design_constraint" | "requirement";
+    type: "function" | "repository" | "module" | "file" | "class" | "interface" | "method" | "variable" | "adr" | "decision" | "learning" | "failure" | "issue" | "document" | "skill" | "conversation" | "commit" | "build" | "test_result" | "span" | "metric" | "log" | "layer" | "pattern" | "constraint" | "violation" | "design_token" | "aesthetic_intent" | "design_constraint" | "requirement" | "packed_summary";
     name: string;
     metadata: Record<string, unknown>;
     path?: string | undefined;
@@ -116,7 +125,7 @@ declare const GraphNodeSchema: z.ZodObject<{
     lastModified?: string | undefined;
 }, {
     id: string;
-    type: "function" | "repository" | "module" | "file" | "class" | "interface" | "method" | "variable" | "adr" | "decision" | "learning" | "failure" | "issue" | "document" | "skill" | "conversation" | "commit" | "build" | "test_result" | "span" | "metric" | "log" | "layer" | "pattern" | "constraint" | "violation" | "design_token" | "aesthetic_intent" | "design_constraint" | "requirement";
+    type: "function" | "repository" | "module" | "file" | "class" | "interface" | "method" | "variable" | "adr" | "decision" | "learning" | "failure" | "issue" | "document" | "skill" | "conversation" | "commit" | "build" | "test_result" | "span" | "metric" | "log" | "layer" | "pattern" | "constraint" | "violation" | "design_token" | "aesthetic_intent" | "design_constraint" | "requirement" | "packed_summary";
     name: string;
     metadata: Record<string, unknown>;
     path?: string | undefined;
@@ -135,17 +144,17 @@ declare const GraphNodeSchema: z.ZodObject<{
 declare const GraphEdgeSchema: z.ZodObject<{
     from: z.ZodString;
     to: z.ZodString;
-    type: z.ZodEnum<["contains", "imports", "calls", "implements", "inherits", "references", "applies_to", "caused_by", "resolved_by", "documents", "violates", "specifies", "decided", "co_changes_with", "triggered_by", "failed_in", "executed_by", "measured_by", "uses_token", "declares_intent", "violates_design", "platform_binding", "requires", "verified_by", "tested_by"]>;
+    type: z.ZodEnum<["contains", "imports", "calls", "implements", "inherits", "references", "applies_to", "caused_by", "resolved_by", "documents", "violates", "specifies", "decided", "co_changes_with", "triggered_by", "failed_in", "executed_by", "measured_by", "uses_token", "declares_intent", "violates_design", "platform_binding", "requires", "verified_by", "tested_by", "caches"]>;
     confidence: z.ZodOptional<z.ZodNumber>;
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
 }, "strip", z.ZodTypeAny, {
-    type: "contains" | "imports" | "calls" | "implements" | "inherits" | "references" | "applies_to" | "caused_by" | "resolved_by" | "documents" | "violates" | "specifies" | "decided" | "co_changes_with" | "triggered_by" | "failed_in" | "executed_by" | "measured_by" | "uses_token" | "declares_intent" | "violates_design" | "platform_binding" | "requires" | "verified_by" | "tested_by";
+    type: "contains" | "imports" | "calls" | "implements" | "inherits" | "references" | "applies_to" | "caused_by" | "resolved_by" | "documents" | "violates" | "specifies" | "decided" | "co_changes_with" | "triggered_by" | "failed_in" | "executed_by" | "measured_by" | "uses_token" | "declares_intent" | "violates_design" | "platform_binding" | "requires" | "verified_by" | "tested_by" | "caches";
     from: string;
     to: string;
     metadata?: Record<string, unknown> | undefined;
     confidence?: number | undefined;
 }, {
-    type: "contains" | "imports" | "calls" | "implements" | "inherits" | "references" | "applies_to" | "caused_by" | "resolved_by" | "documents" | "violates" | "specifies" | "decided" | "co_changes_with" | "triggered_by" | "failed_in" | "executed_by" | "measured_by" | "uses_token" | "declares_intent" | "violates_design" | "platform_binding" | "requires" | "verified_by" | "tested_by";
+    type: "contains" | "imports" | "calls" | "implements" | "inherits" | "references" | "applies_to" | "caused_by" | "resolved_by" | "documents" | "violates" | "specifies" | "decided" | "co_changes_with" | "triggered_by" | "failed_in" | "executed_by" | "measured_by" | "uses_token" | "declares_intent" | "violates_design" | "platform_binding" | "requires" | "verified_by" | "tested_by" | "caches";
     from: string;
     to: string;
     metadata?: Record<string, unknown> | undefined;
@@ -179,6 +188,8 @@ declare class GraphStore {
     /** Pick the most selective index to start from. */
     private selectCandidates;
     getNeighbors(nodeId: string, direction?: 'outbound' | 'inbound' | 'both'): GraphNode[];
+    private collectNeighborIds;
+    private resolveNodes;
     get nodeCount(): number;
     get edgeCount(): number;
     clear(): void;
@@ -243,6 +254,45 @@ interface SerializedGraph {
 declare function saveGraph(dirPath: string, nodes: readonly GraphNode[], edges: readonly GraphEdge[]): Promise<void>;
 declare function loadGraph(dirPath: string): Promise<SerializedGraph | null>;
 
+/**
+ * Minimal PackedEnvelope shape -- avoids circular dep on @harness-engineering/core.
+ * Canonical type: packages/core/src/compaction/envelope.ts — keep in sync.
+ */
+interface PackedEnvelope {
+    meta: {
+        strategy: string[];
+        originalTokenEstimate: number;
+        compactedTokenEstimate: number;
+        reductionPct: number;
+        cached: boolean;
+    };
+    sections: Array<{
+        source: string;
+        content: string;
+    }>;
+}
+
+/** Normalize an intent string for deterministic cache keying. */
+declare function normalizeIntent(intent: string): string;
+/** Reads/writes PackedSummary nodes in the GraphStore. Validates via TTL + source freshness. */
+declare class PackedSummaryCache {
+    private readonly store;
+    private readonly ttlMs;
+    constructor(store: GraphStore, ttlMs?: number);
+    /** Returns cached envelope with `cached: true` if valid, or null if miss/stale. */
+    get(intent: string): PackedEnvelope | null;
+    /** Parse and validate createdAt. Returns epoch ms or null if missing/malformed (GC-002). */
+    private parseCreatedMs;
+    /** GC-001: Checks source nodes exist and are unmodified since cache creation. */
+    private areSourcesFresh;
+    /** Parse envelope JSON and set cached: true. Returns null on invalid JSON. */
+    private parseEnvelope;
+    /** Write a PackedSummary node with caches edges to source nodes. */
+    set(intent: string, envelope: PackedEnvelope, sourceNodeIds: string[]): void;
+    /** Explicitly invalidate a cached packed summary. */
+    invalidate(intent: string): void;
+}
+
 declare class ContextQL {
     private readonly store;
     constructor(store: GraphStore);
@@ -325,8 +375,16 @@ declare class GitIngestor {
     private readonly gitRunner?;
     constructor(store: GraphStore, gitRunner?: GitRunner | undefined);
     ingest(rootDir: string): Promise<IngestResult>;
+    private ingestCommit;
+    private ingestCoChanges;
     private runGit;
     private parseGitLog;
+    /**
+     * Process one line from git log output, updating the in-progress commit builder
+     * and flushing completed commits into the accumulator.
+     * Returns the updated current builder (null if flushed and not replaced).
+     */
+    private processLogLine;
     private computeCoChanges;
 }
 
@@ -368,10 +426,22 @@ declare class RequirementIngestor {
      * and create requirement nodes with convention-based edges.
      */
     ingestSpecs(specsDir: string): Promise<IngestResult>;
+    private ingestFeatureDir;
+    private ingestSpec;
+    private ingestRequirement;
     /**
      * Parse markdown content and extract numbered items from recognized sections.
      */
     private extractRequirements;
+    /**
+     * Check if a line is a section heading and return updated section state,
+     * or return null if the line is not a heading.
+     */
+    private processHeadingLine;
+    /**
+     * Build a requirement GraphNode from a matched numbered-item line.
+     */
+    private buildRequirementNode;
     /**
      * Convention-based linking: match requirement to code/test files
      * by feature name in their path.
@@ -434,6 +504,7 @@ declare class JiraConnector implements GraphConnector {
     private readonly httpClient;
     constructor(httpClient?: HttpClient);
     ingest(store: GraphStore, config: ConnectorConfig): Promise<IngestResult>;
+    private fetchAllIssues;
     private processIssue;
 }
 
@@ -452,6 +523,7 @@ declare class ConfluenceConnector implements GraphConnector {
     private readonly httpClient;
     constructor(httpClient?: HttpClient);
     ingest(store: GraphStore, config: ConnectorConfig): Promise<IngestResult>;
+    private fetchAllPagesHandled;
     private fetchAllPages;
     private processPage;
 }
@@ -462,6 +534,7 @@ declare class CIConnector implements GraphConnector {
     private readonly httpClient;
     constructor(httpClient?: HttpClient);
     ingest(store: GraphStore, config: ConnectorConfig): Promise<IngestResult>;
+    private fetchAndIngestRuns;
 }
 
 interface FusionResult {
@@ -480,6 +553,9 @@ declare class FusionLayer {
     private readonly semanticWeight;
     constructor(store: GraphStore, vectorStore?: VectorStore, keywordWeight?: number, semanticWeight?: number);
     search(query: string, topK?: number, queryEmbedding?: readonly number[]): FusionResult[];
+    private buildSemanticScores;
+    private resolveWeights;
+    private scoreNodes;
     private extractKeywords;
     private keywordScore;
     private singleKeywordScore;
@@ -524,6 +600,7 @@ declare class GraphEntropyAdapter {
      * 4. If target exists -> compare lastModified timestamps to determine staleness
      */
     computeDriftData(): GraphDriftData;
+    private classifyDocEdge;
     /**
      * BFS from entry points to find reachable vs unreachable code nodes.
      *
@@ -645,6 +722,9 @@ declare class GraphAnomalyAdapter {
     private readonly store;
     constructor(store: GraphStore);
     detect(options?: AnomalyDetectionOptions): AnomalyReport;
+    private filterMetrics;
+    private computeAllOutliers;
+    private computeOverlap;
     private collectMetricValues;
     private computeZScoreOutliers;
     private findArticulationPoints;
@@ -741,6 +821,14 @@ declare class EntityExtractor {
      * @returns Array of raw entity strings in priority order, deduplicated
      */
     extract(query: string): readonly string[];
+    /** Strategy 1: Quoted strings. Returns the set of consumed tokens. */
+    private extractQuoted;
+    /** Strategy 2: PascalCase/camelCase tokens. Returns the set of consumed tokens. */
+    private extractCasing;
+    /** Strategy 3: File paths. Returns the set of consumed tokens. */
+    private extractPaths;
+    /** Strategy 4: Remaining significant nouns after stop-word and intent-keyword removal. */
+    private extractNouns;
 }
 
 /**
@@ -828,17 +916,17 @@ declare class Assembler {
     assembleContext(intent: string, tokenBudget?: number): AssembledContext;
     private expandSearchResults;
     private truncateToFit;
-    /**
-     * Compute a token budget allocation across node types.
-     */
+    private countNodesByType;
+    private computeModuleDensity;
+    private computeTypeWeights;
+    private allocateProportionally;
     computeBudget(totalTokens: number, phase?: string): GraphBudget;
     /**
      * Filter graph nodes relevant to a development phase.
      */
     filterForPhase(phase: string): GraphFilterResult;
-    /**
-     * Generate a markdown repository map from graph structure.
-     */
+    private buildModuleLines;
+    private buildEntryPointLines;
     generateMap(): string;
     /**
      * Check documentation coverage of code nodes.
@@ -905,6 +993,8 @@ declare class GraphConstraintAdapter {
     private readonly store;
     constructor(store: GraphStore);
     computeDependencyGraph(): GraphDependencyData;
+    private collectFileNodePaths;
+    private collectImportEdges;
     computeLayerViolations(layers: LayerDef[], rootDir: string): GraphLayerViolation[];
     private resolveLayer;
 }
@@ -958,7 +1048,10 @@ declare class GraphFeedbackAdapter {
     private readonly store;
     constructor(store: GraphStore);
     computeImpactData(changedFiles: string[]): GraphImpactData;
+    private collectFileImpact;
     computeHarnessCheckData(): GraphHarnessCheckData;
+    private countUndocumentedFiles;
+    private countUnreachableNodes;
 }
 
 interface TaskDefinition {
@@ -993,6 +1086,8 @@ declare class TaskIndependenceAnalyzer {
     private readonly store;
     constructor(store?: GraphStore);
     analyze(params: IndependenceCheckParams): IndependenceResult;
+    private buildFileSets;
+    private computeAllPairs;
     private validate;
     private expandViaGraph;
     private computePairOverlap;
@@ -1027,6 +1122,10 @@ declare class ConflictPredictor {
     private readonly store;
     constructor(store?: GraphStore);
     predict(params: IndependenceCheckParams): ConflictPrediction;
+    private buildMetricMaps;
+    private classifyConflicts;
+    private countBySeverity;
+    private classifyTransitiveOverlap;
     private classifyPair;
     private severityRank;
     private computePercentile;
@@ -1120,6 +1219,6 @@ declare class CascadeSimulator {
     private buildResult;
 }
 
-declare const VERSION = "0.4.0";
+declare const VERSION = "0.4.3";
 
-export { type AnomalyDetectionOptions, type AnomalyReport, type ArticulationPoint, type AskGraphResult, type AssembledContext, Assembler, CIConnector, CURRENT_SCHEMA_VERSION, type CascadeLayer, type CascadeNode, type CascadeResult, type CascadeSimulationOptions, CascadeSimulator, type ClassificationResult, CodeIngestor, CompositeProbabilityStrategy, type ConflictDetail, type ConflictPrediction, ConflictPredictor, type ConflictSeverity, ConfluenceConnector, type ConnectorConfig, ContextQL, type ContextQLParams, type ContextQLResult, DesignConstraintAdapter, DesignIngestor, type DesignStrictness, type DesignViolation, EDGE_TYPES, type EdgeQuery, type EdgeType, EntityExtractor, EntityResolver, FusionLayer, type FusionResult, 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, GraphStore, type HttpClient, INTENTS, type ImpactGroups, type IndependenceCheckParams, type IndependenceResult, type IngestResult, type Intent, IntentClassifier, JiraConnector, KnowledgeIngestor, type LinkResult, NODE_TYPES, type NodeCategory, type NodeQuery, type NodeType, OBSERVABILITY_TYPES, type OverlapDetail, type PairResult, type ProbabilityStrategy, type ProjectionSpec, type RequirementCoverage, RequirementIngestor, type ResolvedEntity, ResponseFormatter, SlackConnector, type SourceLocation, type StatisticalOutlier, SyncManager, type SyncMetadata, type TaskDefinition, TaskIndependenceAnalyzer, TopologicalLinker, type TraceabilityOptions, type TraceabilityResult, type TracedFile, VERSION, type VectorSearchResult, VectorStore, askGraph, classifyNodeCategory, groupNodesByImpact, linkToCode, loadGraph, project, queryTraceability, saveGraph };
+export { type AnomalyDetectionOptions, type AnomalyReport, type ArticulationPoint, type AskGraphResult, type AssembledContext, Assembler, 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, ConfluenceConnector, type ConnectorConfig, ContextQL, type ContextQLParams, type ContextQLResult, DesignConstraintAdapter, DesignIngestor, type DesignStrictness, type DesignViolation, EDGE_TYPES, type EdgeQuery, type EdgeType, EntityExtractor, EntityResolver, FusionLayer, type FusionResult, 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, type ImpactGroups, type IndependenceCheckParams, type IndependenceResult, type IngestResult, type Intent, IntentClassifier, JiraConnector, KnowledgeIngestor, type LinkResult, NODE_STABILITY, NODE_TYPES, type NodeCategory, type NodeQuery, type NodeType, OBSERVABILITY_TYPES, type OverlapDetail, PackedSummaryCache, type PairResult, type ProbabilityStrategy, type ProjectionSpec, type RequirementCoverage, RequirementIngestor, type ResolvedEntity, ResponseFormatter, SlackConnector, type SourceLocation, type StatisticalOutlier, SyncManager, type SyncMetadata, type TaskDefinition, TaskIndependenceAnalyzer, TopologicalLinker, type TraceabilityOptions, type TraceabilityResult, type TracedFile, VERSION, type VectorSearchResult, VectorStore, askGraph, classifyNodeCategory, groupNodesByImpact, linkToCode, loadGraph, normalizeIntent, project, queryTraceability, saveGraph };

package/dist/index.d.ts

@@ -1,8 +1,8 @@
 import { z } from 'zod';
 
-declare const NODE_TYPES: readonly ["repository", "module", "file", "class", "interface", "function", "method", "variable", "adr", "decision", "learning", "failure", "issue", "document", "skill", "conversation", "commit", "build", "test_result", "span", "metric", "log", "layer", "pattern", "constraint", "violation", "design_token", "aesthetic_intent", "design_constraint", "requirement"];
+declare const NODE_TYPES: readonly ["repository", "module", "file", "class", "interface", "function", "method", "variable", "adr", "decision", "learning", "failure", "issue", "document", "skill", "conversation", "commit", "build", "test_result", "span", "metric", "log", "layer", "pattern", "constraint", "violation", "design_token", "aesthetic_intent", "design_constraint", "requirement", "packed_summary"];
 type NodeType = (typeof NODE_TYPES)[number];
-declare const EDGE_TYPES: readonly ["contains", "imports", "calls", "implements", "inherits", "references", "applies_to", "caused_by", "resolved_by", "documents", "violates", "specifies", "decided", "co_changes_with", "triggered_by", "failed_in", "executed_by", "measured_by", "uses_token", "declares_intent", "violates_design", "platform_binding", "requires", "verified_by", "tested_by"];
+declare const EDGE_TYPES: readonly ["contains", "imports", "calls", "implements", "inherits", "references", "applies_to", "caused_by", "resolved_by", "documents", "violates", "specifies", "decided", "co_changes_with", "triggered_by", "failed_in", "executed_by", "measured_by", "uses_token", "declares_intent", "violates_design", "platform_binding", "requires", "verified_by", "tested_by", "caches"];
 type EdgeType = (typeof EDGE_TYPES)[number];
 declare const OBSERVABILITY_TYPES: ReadonlySet<NodeType>;
 interface SourceLocation {
@@ -68,9 +68,18 @@ interface GraphMetadata {
     readonly edgeCount: number;
 }
 declare const CURRENT_SCHEMA_VERSION = 1;
+/** Stability classification for prompt caching -- mirrors StabilityTier from @harness-engineering/types. */
+type GraphStabilityTier = 'static' | 'session' | 'ephemeral';
+/**
+ * Maps graph node types to their caching stability tier.
+ * Used by provider cache adapters to determine cache directives.
+ *
+ * Node types not listed here default to 'ephemeral' at resolution time.
+ */
+declare const NODE_STABILITY: Record<string, GraphStabilityTier>;
 declare const GraphNodeSchema: z.ZodObject<{
     id: z.ZodString;
-    type: z.ZodEnum<["repository", "module", "file", "class", "interface", "function", "method", "variable", "adr", "decision", "learning", "failure", "issue", "document", "skill", "conversation", "commit", "build", "test_result", "span", "metric", "log", "layer", "pattern", "constraint", "violation", "design_token", "aesthetic_intent", "design_constraint", "requirement"]>;
+    type: z.ZodEnum<["repository", "module", "file", "class", "interface", "function", "method", "variable", "adr", "decision", "learning", "failure", "issue", "document", "skill", "conversation", "commit", "build", "test_result", "span", "metric", "log", "layer", "pattern", "constraint", "violation", "design_token", "aesthetic_intent", "design_constraint", "requirement", "packed_summary"]>;
     name: z.ZodString;
     path: z.ZodOptional<z.ZodString>;
     location: z.ZodOptional<z.ZodObject<{
@@ -99,7 +108,7 @@ declare const GraphNodeSchema: z.ZodObject<{
     lastModified: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
     id: string;
-    type: "function" | "repository" | "module" | "file" | "class" | "interface" | "method" | "variable" | "adr" | "decision" | "learning" | "failure" | "issue" | "document" | "skill" | "conversation" | "commit" | "build" | "test_result" | "span" | "metric" | "log" | "layer" | "pattern" | "constraint" | "violation" | "design_token" | "aesthetic_intent" | "design_constraint" | "requirement";
+    type: "function" | "repository" | "module" | "file" | "class" | "interface" | "method" | "variable" | "adr" | "decision" | "learning" | "failure" | "issue" | "document" | "skill" | "conversation" | "commit" | "build" | "test_result" | "span" | "metric" | "log" | "layer" | "pattern" | "constraint" | "violation" | "design_token" | "aesthetic_intent" | "design_constraint" | "requirement" | "packed_summary";
     name: string;
     metadata: Record<string, unknown>;
     path?: string | undefined;
@@ -116,7 +125,7 @@ declare const GraphNodeSchema: z.ZodObject<{
     lastModified?: string | undefined;
 }, {
     id: string;
-    type: "function" | "repository" | "module" | "file" | "class" | "interface" | "method" | "variable" | "adr" | "decision" | "learning" | "failure" | "issue" | "document" | "skill" | "conversation" | "commit" | "build" | "test_result" | "span" | "metric" | "log" | "layer" | "pattern" | "constraint" | "violation" | "design_token" | "aesthetic_intent" | "design_constraint" | "requirement";
+    type: "function" | "repository" | "module" | "file" | "class" | "interface" | "method" | "variable" | "adr" | "decision" | "learning" | "failure" | "issue" | "document" | "skill" | "conversation" | "commit" | "build" | "test_result" | "span" | "metric" | "log" | "layer" | "pattern" | "constraint" | "violation" | "design_token" | "aesthetic_intent" | "design_constraint" | "requirement" | "packed_summary";
     name: string;
     metadata: Record<string, unknown>;
     path?: string | undefined;
@@ -135,17 +144,17 @@ declare const GraphNodeSchema: z.ZodObject<{
 declare const GraphEdgeSchema: z.ZodObject<{
     from: z.ZodString;
     to: z.ZodString;
-    type: z.ZodEnum<["contains", "imports", "calls", "implements", "inherits", "references", "applies_to", "caused_by", "resolved_by", "documents", "violates", "specifies", "decided", "co_changes_with", "triggered_by", "failed_in", "executed_by", "measured_by", "uses_token", "declares_intent", "violates_design", "platform_binding", "requires", "verified_by", "tested_by"]>;
+    type: z.ZodEnum<["contains", "imports", "calls", "implements", "inherits", "references", "applies_to", "caused_by", "resolved_by", "documents", "violates", "specifies", "decided", "co_changes_with", "triggered_by", "failed_in", "executed_by", "measured_by", "uses_token", "declares_intent", "violates_design", "platform_binding", "requires", "verified_by", "tested_by", "caches"]>;
     confidence: z.ZodOptional<z.ZodNumber>;
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
 }, "strip", z.ZodTypeAny, {
-    type: "contains" | "imports" | "calls" | "implements" | "inherits" | "references" | "applies_to" | "caused_by" | "resolved_by" | "documents" | "violates" | "specifies" | "decided" | "co_changes_with" | "triggered_by" | "failed_in" | "executed_by" | "measured_by" | "uses_token" | "declares_intent" | "violates_design" | "platform_binding" | "requires" | "verified_by" | "tested_by";
+    type: "contains" | "imports" | "calls" | "implements" | "inherits" | "references" | "applies_to" | "caused_by" | "resolved_by" | "documents" | "violates" | "specifies" | "decided" | "co_changes_with" | "triggered_by" | "failed_in" | "executed_by" | "measured_by" | "uses_token" | "declares_intent" | "violates_design" | "platform_binding" | "requires" | "verified_by" | "tested_by" | "caches";
     from: string;
     to: string;
     metadata?: Record<string, unknown> | undefined;
     confidence?: number | undefined;
 }, {
-    type: "contains" | "imports" | "calls" | "implements" | "inherits" | "references" | "applies_to" | "caused_by" | "resolved_by" | "documents" | "violates" | "specifies" | "decided" | "co_changes_with" | "triggered_by" | "failed_in" | "executed_by" | "measured_by" | "uses_token" | "declares_intent" | "violates_design" | "platform_binding" | "requires" | "verified_by" | "tested_by";
+    type: "contains" | "imports" | "calls" | "implements" | "inherits" | "references" | "applies_to" | "caused_by" | "resolved_by" | "documents" | "violates" | "specifies" | "decided" | "co_changes_with" | "triggered_by" | "failed_in" | "executed_by" | "measured_by" | "uses_token" | "declares_intent" | "violates_design" | "platform_binding" | "requires" | "verified_by" | "tested_by" | "caches";
     from: string;
     to: string;
     metadata?: Record<string, unknown> | undefined;
@@ -179,6 +188,8 @@ declare class GraphStore {
     /** Pick the most selective index to start from. */
     private selectCandidates;
     getNeighbors(nodeId: string, direction?: 'outbound' | 'inbound' | 'both'): GraphNode[];
+    private collectNeighborIds;
+    private resolveNodes;
     get nodeCount(): number;
     get edgeCount(): number;
     clear(): void;
@@ -243,6 +254,45 @@ interface SerializedGraph {
 declare function saveGraph(dirPath: string, nodes: readonly GraphNode[], edges: readonly GraphEdge[]): Promise<void>;
 declare function loadGraph(dirPath: string): Promise<SerializedGraph | null>;
 
+/**
+ * Minimal PackedEnvelope shape -- avoids circular dep on @harness-engineering/core.
+ * Canonical type: packages/core/src/compaction/envelope.ts — keep in sync.
+ */
+interface PackedEnvelope {
+    meta: {
+        strategy: string[];
+        originalTokenEstimate: number;
+        compactedTokenEstimate: number;
+        reductionPct: number;
+        cached: boolean;
+    };
+    sections: Array<{
+        source: string;
+        content: string;
+    }>;
+}
+
+/** Normalize an intent string for deterministic cache keying. */
+declare function normalizeIntent(intent: string): string;
+/** Reads/writes PackedSummary nodes in the GraphStore. Validates via TTL + source freshness. */
+declare class PackedSummaryCache {
+    private readonly store;
+    private readonly ttlMs;
+    constructor(store: GraphStore, ttlMs?: number);
+    /** Returns cached envelope with `cached: true` if valid, or null if miss/stale. */
+    get(intent: string): PackedEnvelope | null;
+    /** Parse and validate createdAt. Returns epoch ms or null if missing/malformed (GC-002). */
+    private parseCreatedMs;
+    /** GC-001: Checks source nodes exist and are unmodified since cache creation. */
+    private areSourcesFresh;
+    /** Parse envelope JSON and set cached: true. Returns null on invalid JSON. */
+    private parseEnvelope;
+    /** Write a PackedSummary node with caches edges to source nodes. */
+    set(intent: string, envelope: PackedEnvelope, sourceNodeIds: string[]): void;
+    /** Explicitly invalidate a cached packed summary. */
+    invalidate(intent: string): void;
+}
+
 declare class ContextQL {
     private readonly store;
     constructor(store: GraphStore);
@@ -325,8 +375,16 @@ declare class GitIngestor {
     private readonly gitRunner?;
     constructor(store: GraphStore, gitRunner?: GitRunner | undefined);
     ingest(rootDir: string): Promise<IngestResult>;
+    private ingestCommit;
+    private ingestCoChanges;
     private runGit;
     private parseGitLog;
+    /**
+     * Process one line from git log output, updating the in-progress commit builder
+     * and flushing completed commits into the accumulator.
+     * Returns the updated current builder (null if flushed and not replaced).
+     */
+    private processLogLine;
     private computeCoChanges;
 }
 
@@ -368,10 +426,22 @@ declare class RequirementIngestor {
      * and create requirement nodes with convention-based edges.
      */
     ingestSpecs(specsDir: string): Promise<IngestResult>;
+    private ingestFeatureDir;
+    private ingestSpec;
+    private ingestRequirement;
     /**
      * Parse markdown content and extract numbered items from recognized sections.
      */
     private extractRequirements;
+    /**
+     * Check if a line is a section heading and return updated section state,
+     * or return null if the line is not a heading.
+     */
+    private processHeadingLine;
+    /**
+     * Build a requirement GraphNode from a matched numbered-item line.
+     */
+    private buildRequirementNode;
     /**
      * Convention-based linking: match requirement to code/test files
      * by feature name in their path.
@@ -434,6 +504,7 @@ declare class JiraConnector implements GraphConnector {
     private readonly httpClient;
     constructor(httpClient?: HttpClient);
     ingest(store: GraphStore, config: ConnectorConfig): Promise<IngestResult>;
+    private fetchAllIssues;
     private processIssue;
 }
 
@@ -452,6 +523,7 @@ declare class ConfluenceConnector implements GraphConnector {
     private readonly httpClient;
     constructor(httpClient?: HttpClient);
     ingest(store: GraphStore, config: ConnectorConfig): Promise<IngestResult>;
+    private fetchAllPagesHandled;
     private fetchAllPages;
     private processPage;
 }
@@ -462,6 +534,7 @@ declare class CIConnector implements GraphConnector {
     private readonly httpClient;
     constructor(httpClient?: HttpClient);
     ingest(store: GraphStore, config: ConnectorConfig): Promise<IngestResult>;
+    private fetchAndIngestRuns;
 }
 
 interface FusionResult {
@@ -480,6 +553,9 @@ declare class FusionLayer {
     private readonly semanticWeight;
     constructor(store: GraphStore, vectorStore?: VectorStore, keywordWeight?: number, semanticWeight?: number);
     search(query: string, topK?: number, queryEmbedding?: readonly number[]): FusionResult[];
+    private buildSemanticScores;
+    private resolveWeights;
+    private scoreNodes;
     private extractKeywords;
     private keywordScore;
     private singleKeywordScore;
@@ -524,6 +600,7 @@ declare class GraphEntropyAdapter {
      * 4. If target exists -> compare lastModified timestamps to determine staleness
      */
     computeDriftData(): GraphDriftData;
+    private classifyDocEdge;
     /**
      * BFS from entry points to find reachable vs unreachable code nodes.
      *
@@ -645,6 +722,9 @@ declare class GraphAnomalyAdapter {
     private readonly store;
     constructor(store: GraphStore);
     detect(options?: AnomalyDetectionOptions): AnomalyReport;
+    private filterMetrics;
+    private computeAllOutliers;
+    private computeOverlap;
     private collectMetricValues;
     private computeZScoreOutliers;
     private findArticulationPoints;
@@ -741,6 +821,14 @@ declare class EntityExtractor {
      * @returns Array of raw entity strings in priority order, deduplicated
      */
     extract(query: string): readonly string[];
+    /** Strategy 1: Quoted strings. Returns the set of consumed tokens. */
+    private extractQuoted;
+    /** Strategy 2: PascalCase/camelCase tokens. Returns the set of consumed tokens. */
+    private extractCasing;
+    /** Strategy 3: File paths. Returns the set of consumed tokens. */
+    private extractPaths;
+    /** Strategy 4: Remaining significant nouns after stop-word and intent-keyword removal. */
+    private extractNouns;
 }
 
 /**
@@ -828,17 +916,17 @@ declare class Assembler {
     assembleContext(intent: string, tokenBudget?: number): AssembledContext;
     private expandSearchResults;
     private truncateToFit;
-    /**
-     * Compute a token budget allocation across node types.
-     */
+    private countNodesByType;
+    private computeModuleDensity;
+    private computeTypeWeights;
+    private allocateProportionally;
     computeBudget(totalTokens: number, phase?: string): GraphBudget;
     /**
      * Filter graph nodes relevant to a development phase.
      */
     filterForPhase(phase: string): GraphFilterResult;
-    /**
-     * Generate a markdown repository map from graph structure.
-     */
+    private buildModuleLines;
+    private buildEntryPointLines;
     generateMap(): string;
     /**
      * Check documentation coverage of code nodes.
@@ -905,6 +993,8 @@ declare class GraphConstraintAdapter {
     private readonly store;
     constructor(store: GraphStore);
     computeDependencyGraph(): GraphDependencyData;
+    private collectFileNodePaths;
+    private collectImportEdges;
     computeLayerViolations(layers: LayerDef[], rootDir: string): GraphLayerViolation[];
     private resolveLayer;
 }
@@ -958,7 +1048,10 @@ declare class GraphFeedbackAdapter {
     private readonly store;
     constructor(store: GraphStore);
     computeImpactData(changedFiles: string[]): GraphImpactData;
+    private collectFileImpact;
     computeHarnessCheckData(): GraphHarnessCheckData;
+    private countUndocumentedFiles;
+    private countUnreachableNodes;
 }
 
 interface TaskDefinition {
@@ -993,6 +1086,8 @@ declare class TaskIndependenceAnalyzer {
     private readonly store;
     constructor(store?: GraphStore);
     analyze(params: IndependenceCheckParams): IndependenceResult;
+    private buildFileSets;
+    private computeAllPairs;
     private validate;
     private expandViaGraph;
     private computePairOverlap;
@@ -1027,6 +1122,10 @@ declare class ConflictPredictor {
     private readonly store;
     constructor(store?: GraphStore);
     predict(params: IndependenceCheckParams): ConflictPrediction;
+    private buildMetricMaps;
+    private classifyConflicts;
+    private countBySeverity;
+    private classifyTransitiveOverlap;
     private classifyPair;
     private severityRank;
     private computePercentile;
@@ -1120,6 +1219,6 @@ declare class CascadeSimulator {
     private buildResult;
 }
 
-declare const VERSION = "0.4.0";
+declare const VERSION = "0.4.3";
 
-export { type AnomalyDetectionOptions, type AnomalyReport, type ArticulationPoint, type AskGraphResult, type AssembledContext, Assembler, CIConnector, CURRENT_SCHEMA_VERSION, type CascadeLayer, type CascadeNode, type CascadeResult, type CascadeSimulationOptions, CascadeSimulator, type ClassificationResult, CodeIngestor, CompositeProbabilityStrategy, type ConflictDetail, type ConflictPrediction, ConflictPredictor, type ConflictSeverity, ConfluenceConnector, type ConnectorConfig, ContextQL, type ContextQLParams, type ContextQLResult, DesignConstraintAdapter, DesignIngestor, type DesignStrictness, type DesignViolation, EDGE_TYPES, type EdgeQuery, type EdgeType, EntityExtractor, EntityResolver, FusionLayer, type FusionResult, 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, GraphStore, type HttpClient, INTENTS, type ImpactGroups, type IndependenceCheckParams, type IndependenceResult, type IngestResult, type Intent, IntentClassifier, JiraConnector, KnowledgeIngestor, type LinkResult, NODE_TYPES, type NodeCategory, type NodeQuery, type NodeType, OBSERVABILITY_TYPES, type OverlapDetail, type PairResult, type ProbabilityStrategy, type ProjectionSpec, type RequirementCoverage, RequirementIngestor, type ResolvedEntity, ResponseFormatter, SlackConnector, type SourceLocation, type StatisticalOutlier, SyncManager, type SyncMetadata, type TaskDefinition, TaskIndependenceAnalyzer, TopologicalLinker, type TraceabilityOptions, type TraceabilityResult, type TracedFile, VERSION, type VectorSearchResult, VectorStore, askGraph, classifyNodeCategory, groupNodesByImpact, linkToCode, loadGraph, project, queryTraceability, saveGraph };
+export { type AnomalyDetectionOptions, type AnomalyReport, type ArticulationPoint, type AskGraphResult, type AssembledContext, Assembler, 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, ConfluenceConnector, type ConnectorConfig, ContextQL, type ContextQLParams, type ContextQLResult, DesignConstraintAdapter, DesignIngestor, type DesignStrictness, type DesignViolation, EDGE_TYPES, type EdgeQuery, type EdgeType, EntityExtractor, EntityResolver, FusionLayer, type FusionResult, 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, type ImpactGroups, type IndependenceCheckParams, type IndependenceResult, type IngestResult, type Intent, IntentClassifier, JiraConnector, KnowledgeIngestor, type LinkResult, NODE_STABILITY, NODE_TYPES, type NodeCategory, type NodeQuery, type NodeType, OBSERVABILITY_TYPES, type OverlapDetail, PackedSummaryCache, type PairResult, type ProbabilityStrategy, type ProjectionSpec, type RequirementCoverage, RequirementIngestor, type ResolvedEntity, ResponseFormatter, SlackConnector, type SourceLocation, type StatisticalOutlier, SyncManager, type SyncMetadata, type TaskDefinition, TaskIndependenceAnalyzer, TopologicalLinker, type TraceabilityOptions, type TraceabilityResult, type TracedFile, VERSION, type VectorSearchResult, VectorStore, askGraph, classifyNodeCategory, groupNodesByImpact, linkToCode, loadGraph, normalizeIntent, project, queryTraceability, saveGraph };