homegraph 1.4.1 → 1.5.0

package/dist/spec/evolve/impact-locator.js

@@ -1,25 +1,69 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.locateAffectedSpecs = locateAffectedSpecs;
-const queries_1 = require("../graph/queries");
+exports.locateAffectedSpecsWithCommits = locateAffectedSpecsWithCommits;
+const relations_1 = require("../db/relations");
 /**
- * Find specs affected by the given list of file paths.
+ * Locate historical (pre-existing) specs affected by new commits, grouped
+ * by spec → affecting commit list in one pass.
  *
- * Each file path should already be clean (no `a/` or `b/` prefix) — paths
- * sourced from `DiffFragment.filePath` via diff-parser already have prefixes
- * stripped.
+ * Two-phase query strategy:
  *
- * Queries the spec knowledge graph for specs whose code fragments match the
- * path, returns deduplicated, alphabetically sorted spec IDs.
+ * Phase A: For each file path in the new commits, find all spec IDs whose
+ *   code fragments share the same file path (reusing findSpecIdsByFragmentPath).
+ *   Exclude specIds in excludeSpecIds (phase 1 newly inserted specs).
+ *
+ * Phase B: For each candidate spec, determine which new commits' file paths
+ *   overlap with the spec's known fragment file paths.  File paths are
+ *   considered overlapping when one contains the other (substring match).
+ *
+ * @param db                Active SQLite database handle.
+ * @param commitFilePaths   Map of new commit hash → file paths (from phase 1).
+ * @param excludeSpecIds    Spec IDs to exclude (phase 1 newly inserted specs).
+ * @param onlyActive        If true (default), filter to specs with status = 'active'.
+ * @returns Sorted array of AffectedSpecEntry.
  */
-function locateAffectedSpecs(db, filePaths) {
-    const specIds = new Set();
-    for (const fp of filePaths) {
-        const matches = (0, queries_1.findSpecsByFragmentPath)(db, fp);
+function locateAffectedSpecsWithCommits(db, commitFilePaths, excludeSpecIds, onlyActive = true) {
+    // --- Phase A: find candidate spec IDs ---
+    const allFilePaths = [...new Set(Array.from(commitFilePaths.values()).flat())];
+    const candidateSpecIds = new Set();
+    for (const fp of allFilePaths) {
+        const matches = (0, relations_1.findSpecIdsByFragmentPath)(db, fp);
         for (const specId of matches) {
-            specIds.add(specId);
+            if (!excludeSpecIds.has(specId)) {
+                candidateSpecIds.add(specId);
+            }
+        }
+    }
+    if (candidateSpecIds.size === 0)
+        return [];
+    // Filter to active specs
+    const activeSpecIds = onlyActive
+        ? (0, relations_1.findActiveSpecIds)(db, [...candidateSpecIds])
+        : [...candidateSpecIds];
+    if (activeSpecIds.length === 0)
+        return [];
+    // --- Phase B: group new commits by spec ---
+    const results = [];
+    for (const specId of activeSpecIds) {
+        const specPathSet = new Set((0, relations_1.findFragmentPathsBySpec)(db, specId));
+        // Find new commits whose file paths overlap with spec's fragment paths
+        const affectingCommits = [];
+        for (const [commitHash, filePaths] of commitFilePaths) {
+            const overlaps = filePaths.some((fp) => {
+                for (const sfp of specPathSet) {
+                    if (sfp.includes(fp) || fp.includes(sfp))
+                        return true;
+                }
+                return false;
+            });
+            if (overlaps) {
+                affectingCommits.push(commitHash);
+            }
+        }
+        if (affectingCommits.length > 0) {
+            results.push({ specId, affectingCommits });
         }
     }
-    return Array.from(specIds).sort();
+    return results.sort((a, b) => a.specId.localeCompare(b.specId));
 }
 //# sourceMappingURL=impact-locator.js.map

package/dist/spec/evolve/impact-locator.js.map

@@ -1 +1 @@
-{"version":3,"file":"impact-locator.js","sourceRoot":"","sources":["../../../src/spec/evolve/impact-locator.ts"],"names":[],"mappings":";;AAaA,kDAcC;AA1BD,8CAA2D;AAE3D;;;;;;;;;GASG;AACH,SAAgB,mBAAmB,CACjC,EAAkB,EAClB,SAAmB;IAEnB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,IAAA,iCAAuB,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAChD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;AACpC,CAAC"}
+{"version":3,"file":"impact-locator.js","sourceRoot":"","sources":["../../../src/spec/evolve/impact-locator.ts"],"names":[],"mappings":";;AAsCA,wEAwDC;AA7FD,+CAIyB;AAazB;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAgB,8BAA8B,CAC5C,EAAkB,EAClB,eAAsC,EACtC,cAA2B,EAC3B,aAAsB,IAAI;IAE1B,2CAA2C;IAC3C,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,GAAG,CAC9B,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAC5C,CAAC,CAAC;IAEH,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAA,qCAAyB,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAClD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAChC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,gBAAgB,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAE3C,yBAAyB;IACzB,MAAM,aAAa,GAAG,UAAU;QAC9B,CAAC,CAAC,IAAA,6BAAiB,EAAC,EAAE,EAAE,CAAC,GAAG,gBAAgB,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC;IAE1B,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAE1C,6CAA6C;IAC7C,MAAM,OAAO,GAAwB,EAAE,CAAC;IAExC,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACnC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,IAAA,mCAAuB,EAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;QAEjE,uEAAuE;QACvE,MAAM,gBAAgB,GAAa,EAAE,CAAC;QACtC,KAAK,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,eAAe,EAAE,CAAC;YACtD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE;gBACrC,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;oBAC9B,IAAI,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC;wBAAE,OAAO,IAAI,CAAC;gBACxD,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC,CAAC,CAAC;YACH,IAAI,QAAQ,EAAE,CAAC;gBACb,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QAED,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AAClE,CAAC"}

package/dist/spec/evolve/pipeline.d.ts

@@ -1,42 +1,79 @@
 import { SqliteDatabase } from '../../db/sqlite-adapter';
-import { LLMConfig } from '../config';
-export interface EvolvedSpec {
+import { SpecConfig } from '../config';
+interface EvolvedSpec {
     specId: string;
     action: 'UPDATE' | 'DEPRECATE' | 'UNCHANGED';
     newVersion?: number;
     newSpecId?: string;
 }
-export interface EvolveResult {
+interface EvolveResult {
     commitHash: string;
-    generateSpecId?: string;
-    generateRelationCreated: boolean;
-    isLogicChange: boolean;
-    logicCheckReason: string;
-    affectedSpecCount: number;
+    /** Whether phase 1 analysis matched a spec. */
+    matched: boolean;
+    /** Matched spec ID (only when matched). */
+    matchedSpecId?: string;
+    /** Whether phase 1 persistence was skipped. */
+    phaseOneSkipped: boolean;
+    /** Reason for skipping (only when phaseOneSkipped). */
+    phaseOneSkipReason?: string;
+    /** Spec evolution decisions from phase 3 (may be empty). */
     evolvedSpecs: EvolvedSpec[];
-    fragmentsCount: number;
+    /** Counts from phase 1 persistence. */
+    fragmentsInserted: number;
     relationsCreated: number;
-    persisted: boolean;
-    /** True when the commit was skipped because LLM is not available. */
-    skipped: boolean;
-    /** Human-readable reason for skipping, if skipped is true. */
-    skipReason?: string;
 }
 export interface BatchEvolveResult {
-    /** The last evolved commit hash from meta.json (null if never evolved). */
+    /** Last evolved commit from meta.json (null if never evolved). */
     fromCommit: string | null;
-    /** The commit hash that was just evolved up to (usually HEAD). */
+    /** Last successfully processed commit, or HEAD. */
     toCommit: string;
-    /** Number of commits in the range (including skipped). */
-    commitsProcessed: number;
-    /** Per-commit results. */
+    /** Total commits in the range. */
+    commitsScanned: number;
+    /** Commits where phase 1 analysis matched a spec. */
+    phaseOneMatched: number;
+    /** Commits where phase 1 analysis did NOT match a spec. */
+    phaseOneSkipped: number;
+    /** Commits where phase 1 persistence failed. */
+    phaseOneFailures: number;
+    /** Number of historical specs evaluated in phase 3. */
+    historicalSpecsEvaluated: number;
+    /** Phase 3 action counts. */
+    specsUpdated: number;
+    specsDeprecated: number;
+    specsUnchanged: number;
+    /** Per-commit results, for detailed CLI output. */
     perCommitResults: EvolveResult[];
-    /** Whether meta.json was updated at the end. */
+    /** Whether meta.json was updated. */
     metaUpdated: boolean;
-    /** Number of commits skipped (no LLM, did not match Path A). */
-    skippedCommits: number;
-    /** Number of commits that threw an error during evolve. */
-    failures: number;
+    /** True when the entire run performed no useful work. */
+    skipped: boolean;
+    /** Reason when skipped = true. */
+    skipReason?: string;
+    /** True when mine pipeline was invoked as a fallback. */
+    mineFallback: boolean;
 }
-export declare function runBatchEvolvePipeline(repoPath: string, db: SqliteDatabase, llmConfig?: LLMConfig): Promise<BatchEvolveResult>;
+/**
+ * Run the spec self-evolve pipeline for all new commits since the last evolve.
+ *
+ * This is the ONLY public entry point.  It replaces both the old
+ * ``runEvolvePipeline`` (per-commit) and ``runBatchEvolvePipeline`` (batch
+ * wrapper) with a unified batch pipeline that aligns with the post-commit
+ * hook's cumulative commit threshold trigger.
+ *
+ * Flow:
+ *   0. Prep: meta.json → lock → schema → resolve HEAD + range.
+ *   1a. Batch analysis of all incremental commits (no DB writes).
+ *   1b. Per-commit persistence with independent transactions.
+ *   2. Impact location: find old specs affected by new commits.
+ *   3. LLM evaluation per spec cluster (only if LLM configured).
+ *   ↓ or: mine-style fallback (if phase 1 produced zero matches + LLM).
+ *   4. Advance meta.json to last phase-1 success.
+ *
+ * @param repoPath  - Absolute path to the git repository.
+ * @param db        - Active SQLite database handle.
+ * @param config     - Spec configuration (loaded from configs.json); when config.llm is absent, phase 3 is skipped
+ *                     (phase 1 graph construction still runs).
+ */
+export declare function runEvolvePipeline(repoPath: string, db: SqliteDatabase, config: SpecConfig): Promise<BatchEvolveResult>;
+export {};
 //# sourceMappingURL=pipeline.d.ts.map

package/dist/spec/evolve/pipeline.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pipeline.d.ts","sourceRoot":"","sources":["../../../src/spec/evolve/pipeline.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,SAAS,EAAkB,MAAM,WAAW,CAAC;AA6BtD,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,QAAQ,GAAG,WAAW,GAAG,WAAW,CAAC;IAC7C,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,YAAY;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,uBAAuB,EAAE,OAAO,CAAC;IACjC,aAAa,EAAE,OAAO,CAAC;IACvB,gBAAgB,EAAE,MAAM,CAAC;IACzB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB,EAAE,MAAM,CAAC;IACzB,SAAS,EAAE,OAAO,CAAC;IACnB,qEAAqE;IACrE,OAAO,EAAE,OAAO,CAAC;IACjB,8DAA8D;IAC9D,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AA4XD,MAAM,WAAW,iBAAiB;IAChC,2EAA2E;IAC3E,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,kEAAkE;IAClE,QAAQ,EAAE,MAAM,CAAC;IACjB,0DAA0D;IAC1D,gBAAgB,EAAE,MAAM,CAAC;IACzB,0BAA0B;IAC1B,gBAAgB,EAAE,YAAY,EAAE,CAAC;IACjC,gDAAgD;IAChD,WAAW,EAAE,OAAO,CAAC;IACrB,gEAAgE;IAChE,cAAc,EAAE,MAAM,CAAC;IACvB,2DAA2D;IAC3D,QAAQ,EAAE,MAAM,CAAC;CAClB;AAoDD,wBAAsB,sBAAsB,CAC1C,QAAQ,EAAE,MAAM,EAChB,EAAE,EAAE,cAAc,EAClB,SAAS,CAAC,EAAE,SAAS,GACpB,OAAO,CAAC,iBAAiB,CAAC,CA8B5B"}
+{"version":3,"file":"pipeline.d.ts","sourceRoot":"","sources":["../../../src/spec/evolve/pipeline.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAA+B,UAAU,EAAE,MAAM,WAAW,CAAC;AAgCpE,UAAU,WAAW;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,QAAQ,GAAG,WAAW,GAAG,WAAW,CAAC;IAC7C,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,UAAU,YAAY;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,+CAA+C;IAC/C,OAAO,EAAE,OAAO,CAAC;IACjB,2CAA2C;IAC3C,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,+CAA+C;IAC/C,eAAe,EAAE,OAAO,CAAC;IACzB,uDAAuD;IACvD,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,4DAA4D;IAC5D,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,uCAAuC;IACvC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,iBAAiB;IAChC,kEAAkE;IAClE,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,mDAAmD;IACnD,QAAQ,EAAE,MAAM,CAAC;IACjB,kCAAkC;IAClC,cAAc,EAAE,MAAM,CAAC;IACvB,qDAAqD;IACrD,eAAe,EAAE,MAAM,CAAC;IACxB,2DAA2D;IAC3D,eAAe,EAAE,MAAM,CAAC;IACxB,gDAAgD;IAChD,gBAAgB,EAAE,MAAM,CAAC;IACzB,uDAAuD;IACvD,wBAAwB,EAAE,MAAM,CAAC;IACjC,6BAA6B;IAC7B,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,cAAc,EAAE,MAAM,CAAC;IACvB,mDAAmD;IACnD,gBAAgB,EAAE,YAAY,EAAE,CAAC;IACjC,qCAAqC;IACrC,WAAW,EAAE,OAAO,CAAC;IACrB,yDAAyD;IACzD,OAAO,EAAE,OAAO,CAAC;IACjB,kCAAkC;IAClC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,yDAAyD;IACzD,YAAY,EAAE,OAAO,CAAC;CACvB;AAieD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,iBAAiB,CACrC,QAAQ,EAAE,MAAM,EAChB,EAAE,EAAE,cAAc,EAClB,MAAM,EAAE,UAAU,GACjB,OAAO,CAAC,iBAAiB,CAAC,CA6G5B"}