homegraph 1.2.0 → 1.5.0

package/dist/spec/evolve/commit-spec-analyzer.js

@@ -0,0 +1,88 @@
+"use strict";
+/**
+ * commit-spec-analyzer.ts — Batch analysis of incremental commits.
+ *
+ * References build pipeline's scan() Strategy A pattern: iterate commits,
+ * resolve scopes, extract metadata, parse diffs — all before any DB writes.
+ *
+ * @module spec/evolve/commit-spec-analyzer
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.analyzeIncrementalCommits = analyzeIncrementalCommits;
+const git_1 = require("../git");
+const scan_1 = require("../build/scan");
+const diff_parser_1 = require("../build/diff-parser");
+const utils_1 = require("../utils");
+// =============================================================================
+// Public API
+// =============================================================================
+/**
+ * Batch-analyze a list of incremental commits for spec matching.
+ *
+ * For each commit:
+ * 1. Resolve scope from commit message.
+ * 2. If scope matches a local spec file, extract metadata and parse the diff.
+ * 3. Return a CommitSpecAnalysis for every commit (matched or not).
+ *
+ * This function performs NO database writes.  All side effects are read-only:
+ * `getCommitDiff()` and `analyzeCommitDiff()` read from the git repo's
+ * object store but do not modify anything.
+ *
+ * The most expensive operations (`getCommitDiff` + `analyzeCommitDiff`) are
+ * only performed for scope-matched commits so that unmatched commits are
+ * nearly zero-cost during scan.
+ *
+ * @param repoPath        - Absolute path to the git repository.
+ * @param specStoragePath - Path to spec storage directory.
+ * @param commits         - Incremental commits to analyze (chronological order).
+ * @param config          - Resolved SpecConfig.
+ * @returns Array of CommitSpecAnalysis, one per input commit.
+ */
+function analyzeIncrementalCommits(repoPath, specStoragePath, commits, config) {
+    const results = [];
+    // Hoist the directory read out of the per-commit loop.
+    const specIds = new Set((0, utils_1.discoverSpecs)(specStoragePath).map((e) => e.specId));
+    for (const commit of commits) {
+        // 1. Scope resolution + spec metadata
+        const { specId, metadata } = (0, scan_1.matchCommitToSpec)(commit.message, specIds, specStoragePath, config);
+        if (!specId) {
+            results.push({
+                commit,
+                matched: false,
+                skipReason: 'Commit message scope did not match any local spec',
+            });
+            continue;
+        }
+        if (!metadata) {
+            results.push({
+                commit,
+                matched: false,
+                skipReason: `Scope "${specId}" matched but no valid spec metadata found`,
+            });
+            continue;
+        }
+        // 3. Parse diff (only for matched commits — the expensive step)
+        let fragments;
+        try {
+            const diff = (0, git_1.getCommitDiff)(repoPath, commit.hash);
+            fragments = (0, diff_parser_1.analyzeCommitDiff)(repoPath, commit.hash, diff);
+        }
+        catch (err) {
+            results.push({
+                commit,
+                matched: false,
+                skipReason: `Diff analysis failed: ${err instanceof Error ? err.message : String(err)}`,
+            });
+            continue;
+        }
+        results.push({
+            commit,
+            matched: true,
+            specId,
+            metadata,
+            fragments,
+        });
+    }
+    return results;
+}
+//# sourceMappingURL=commit-spec-analyzer.js.map

package/dist/spec/evolve/commit-spec-analyzer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"commit-spec-analyzer.js","sourceRoot":"","sources":["../../../src/spec/evolve/commit-spec-analyzer.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;AAuDH,8DA0DC;AA9GD,gCAAmD;AACnD,wCAAkD;AAElD,sDAAuE;AACvE,oCAAyC;AAsBzC,gFAAgF;AAChF,aAAa;AACb,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,SAAgB,yBAAyB,CACvC,QAAgB,EAChB,eAAuB,EACvB,OAAqB,EACrB,MAAkB;IAElB,MAAM,OAAO,GAAyB,EAAE,CAAC;IAEzC,uDAAuD;IACvD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAA,qBAAa,EAAC,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAE7E,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,sCAAsC;QACtC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAA,wBAAiB,EAC5C,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,CACjD,CAAC;QACF,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM;gBACN,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE,mDAAmD;aAChE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM;gBACN,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE,UAAU,MAAM,4CAA4C;aACzE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,gEAAgE;QAChE,IAAI,SAAyB,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,IAAA,mBAAa,EAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAClD,SAAS,GAAG,IAAA,+BAAiB,EAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7D,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM;gBACN,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE,yBAAyB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;aACxF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,OAAO,CAAC,IAAI,CAAC;YACX,MAAM;YACN,OAAO,EAAE,IAAI;YACb,MAAM;YACN,QAAQ;YACR,SAAS;SACV,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/spec/evolve/commit-spec-persister.d.ts

@@ -0,0 +1,53 @@
+/**
+ * commit-spec-persister.ts — Per-commit graph persistence.
+ *
+ * Each commit is persisted in its own transaction so that a single failure
+ * does not roll back other successful commits. This aligns with the
+ * meta.json advancement rule: advance to the last commit whose phase-1
+ * persistence succeeded.
+ *
+ * @module spec/evolve/commit-spec-persister
+ */
+import { SqliteDatabase } from '../../db/sqlite-adapter';
+import { CommitSpecAnalysis } from './commit-spec-analyzer';
+export interface PersistResult {
+    /** Commit hash being persisted. */
+    commitHash: string;
+    /** Always true in a PersistResult — only matched analyses are persisted. */
+    matched: true;
+    /** The spec ID that was persisted. */
+    specId: string;
+    /** File paths from the diff fragments (for phase 2 impact location). */
+    filePaths: string[];
+    /** Statistics. */
+    stats: {
+        fragmentsInserted: number;
+        relationsCreated: number;
+    };
+}
+/**
+ * Persist the knowledge graph entries for a single scope-matched commit.
+ *
+ * All INSERTs use OR REPLACE / OR IGNORE semantics so repeated calls with
+ * the same data are idempotent.
+ *
+ * The caller is responsible for retry on failure — this function does
+ * not retry internally.
+ *
+ * Steps (inside a single DB transaction):
+ * 1. CommitNode (INSERT OR REPLACE)
+ * 2. SpecNode (INSERT OR REPLACE)
+ * 3. GENERATE relation (INSERT OR IGNORE)
+ * 4. For each diff fragment:
+ *    a. CodeFragment node (INSERT, auto-generated id)
+ *    b. CONTAINS relation (INSERT OR IGNORE)
+ *
+ * @param db       - Active SQLite database handle.
+ * @param analysis - CommitSpecAnalysis with matched=true.
+ * @returns PersistResult on success.
+ * @throws On transaction failure (caller decides whether to retry or skip).
+ */
+export declare function persistCommitSpecGraph(db: SqliteDatabase, analysis: CommitSpecAnalysis & {
+    matched: true;
+}): PersistResult;
+//# sourceMappingURL=commit-spec-persister.d.ts.map

package/dist/spec/evolve/commit-spec-persister.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"commit-spec-persister.d.ts","sourceRoot":"","sources":["../../../src/spec/evolve/commit-spec-persister.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAY5D,MAAM,WAAW,aAAa;IAC5B,mCAAmC;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,4EAA4E;IAC5E,OAAO,EAAE,IAAI,CAAC;IACd,sCAAsC;IACtC,MAAM,EAAE,MAAM,CAAC;IACf,wEAAwE;IACxE,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,kBAAkB;IAClB,KAAK,EAAE;QACL,iBAAiB,EAAE,MAAM,CAAC;QAC1B,gBAAgB,EAAE,MAAM,CAAC;KAC1B,CAAC;CACH;AAMD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,sBAAsB,CACpC,EAAE,EAAE,cAAc,EAClB,QAAQ,EAAE,kBAAkB,GAAG;IAAE,OAAO,EAAE,IAAI,CAAA;CAAE,GAC/C,aAAa,CAuDf"}

package/dist/spec/evolve/commit-spec-persister.js

@@ -0,0 +1,93 @@
+"use strict";
+/**
+ * commit-spec-persister.ts — Per-commit graph persistence.
+ *
+ * Each commit is persisted in its own transaction so that a single failure
+ * does not roll back other successful commits. This aligns with the
+ * meta.json advancement rule: advance to the last commit whose phase-1
+ * persistence succeeded.
+ *
+ * @module spec/evolve/commit-spec-persister
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.persistCommitSpecGraph = persistCommitSpecGraph;
+const commit_node_1 = require("../db/commit-node");
+const relations_1 = require("../db/relations");
+const persist_1 = require("../db/persist");
+const errors_1 = require("../../errors");
+// =============================================================================
+// Public API
+// =============================================================================
+/**
+ * Persist the knowledge graph entries for a single scope-matched commit.
+ *
+ * All INSERTs use OR REPLACE / OR IGNORE semantics so repeated calls with
+ * the same data are idempotent.
+ *
+ * The caller is responsible for retry on failure — this function does
+ * not retry internally.
+ *
+ * Steps (inside a single DB transaction):
+ * 1. CommitNode (INSERT OR REPLACE)
+ * 2. SpecNode (INSERT OR REPLACE)
+ * 3. GENERATE relation (INSERT OR IGNORE)
+ * 4. For each diff fragment:
+ *    a. CodeFragment node (INSERT, auto-generated id)
+ *    b. CONTAINS relation (INSERT OR IGNORE)
+ *
+ * @param db       - Active SQLite database handle.
+ * @param analysis - CommitSpecAnalysis with matched=true.
+ * @returns PersistResult on success.
+ * @throws On transaction failure (caller decides whether to retry or skip).
+ */
+function persistCommitSpecGraph(db, analysis) {
+    const { commit } = analysis;
+    const metadata = analysis.metadata;
+    const fragments = analysis.fragments;
+    const filePaths = fragments.map((f) => f.filePath);
+    let fragmentsInserted = 0;
+    let relationsCreated = 0;
+    db.exec('BEGIN');
+    try {
+        // 1. CommitNode (idempotent — INSERT OR REPLACE)
+        (0, commit_node_1.insertCommitNode)(db, {
+            hash: commit.hash,
+            message: commit.message,
+            author: commit.author,
+            timestamp: commit.timestamp,
+        });
+        // 2. SpecNode (idempotent — INSERT OR REPLACE, last write wins for timestamp)
+        (0, persist_1.upsertSpecFromMetadata)(db, metadata, commit.timestamp);
+        // 3. GENERATE relation (idempotent — INSERT OR IGNORE)
+        (0, relations_1.insertSpecCommitRelation)(db, metadata.specId, commit.hash, 'GENERATE');
+        relationsCreated++;
+        // 4. CodeFragment nodes + CONTAINS relations
+        const persisted = (0, persist_1.persistCommitFragments)(db, commit.hash, fragments);
+        fragmentsInserted += persisted.fragmentsInserted;
+        relationsCreated += persisted.relationsCreated;
+        db.exec('COMMIT');
+        (0, errors_1.logDebug)('persistCommitSpecGraph: persisted', {
+            commitHash: commit.hash.slice(0, 7),
+            specId: metadata.specId,
+            fragments: fragmentsInserted,
+            relations: relationsCreated,
+        });
+        return {
+            commitHash: commit.hash,
+            matched: true,
+            specId: metadata.specId,
+            filePaths,
+            stats: { fragmentsInserted, relationsCreated },
+        };
+    }
+    catch (e) {
+        db.exec('ROLLBACK');
+        const msg = e instanceof Error ? e.message : String(e);
+        (0, errors_1.logWarn)('persistCommitSpecGraph: transaction failed', {
+            commitHash: commit.hash.slice(0, 7),
+            error: msg,
+        });
+        throw e; // Let the pipeline decide: skip this commit and advance or stop
+    }
+}
+//# sourceMappingURL=commit-spec-persister.js.map

package/dist/spec/evolve/commit-spec-persister.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"commit-spec-persister.js","sourceRoot":"","sources":["../../../src/spec/evolve/commit-spec-persister.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;AAyDH,wDA0DC;AA/GD,mDAAqD;AACrD,+CAEyB;AACzB,2CAA+E;AAC/E,yCAAiD;AAsBjD,gFAAgF;AAChF,aAAa;AACb,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,SAAgB,sBAAsB,CACpC,EAAkB,EAClB,QAAgD;IAEhD,MAAM,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;IAC5B,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAS,CAAC;IACpC,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAU,CAAC;IACtC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACnD,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,gBAAgB,GAAG,CAAC,CAAC;IAEzB,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjB,IAAI,CAAC;QACH,iDAAiD;QACjD,IAAA,8BAAgB,EAAC,EAAE,EAAE;YACnB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,SAAS,EAAE,MAAM,CAAC,SAAS;SAC5B,CAAC,CAAC;QAEH,8EAA8E;QAC9E,IAAA,gCAAsB,EAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAEvD,uDAAuD;QACvD,IAAA,oCAAwB,EAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACvE,gBAAgB,EAAE,CAAC;QAEnB,6CAA6C;QAC7C,MAAM,SAAS,GAAG,IAAA,gCAAsB,EAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACrE,iBAAiB,IAAI,SAAS,CAAC,iBAAiB,CAAC;QACjD,gBAAgB,IAAI,SAAS,CAAC,gBAAgB,CAAC;QAE/C,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAElB,IAAA,iBAAQ,EAAC,mCAAmC,EAAE;YAC5C,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;YACnC,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,SAAS,EAAE,iBAAiB;YAC5B,SAAS,EAAE,gBAAgB;SAC5B,CAAC,CAAC;QAEH,OAAO;YACL,UAAU,EAAE,MAAM,CAAC,IAAI;YACvB,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,SAAS;YACT,KAAK,EAAE,EAAE,iBAAiB,EAAE,gBAAgB,EAAE;SAC/C,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpB,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,IAAA,gBAAO,EAAC,4CAA4C,EAAE;YACpD,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;YACnC,KAAK,EAAE,GAAG;SACX,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,gEAAgE;IAC3E,CAAC;AACH,CAAC"}

package/dist/spec/evolve/impact-locator.d.ts

@@ -1,13 +1,29 @@
 import { SqliteDatabase } from '../../db/sqlite-adapter';
+export interface AffectedSpecEntry {
+    /** The affected historical spec ID. */
+    specId: string;
+    /** New commit hashes that affect this spec (file path overlap). */
+    affectingCommits: string[];
+}
 /**
- * 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.
  */
-export declare function locateAffectedSpecs(db: SqliteDatabase, filePaths: string[]): string[];
+export declare function locateAffectedSpecsWithCommits(db: SqliteDatabase, commitFilePaths: Map<string, string[]>, excludeSpecIds: Set<string>, onlyActive?: boolean): AffectedSpecEntry[];
 //# sourceMappingURL=impact-locator.d.ts.map

package/dist/spec/evolve/impact-locator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"impact-locator.d.ts","sourceRoot":"","sources":["../../../src/spec/evolve/impact-locator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAGzD;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CACjC,EAAE,EAAE,cAAc,EAClB,SAAS,EAAE,MAAM,EAAE,GAClB,MAAM,EAAE,CAWV"}
+{"version":3,"file":"impact-locator.d.ts","sourceRoot":"","sources":["../../../src/spec/evolve/impact-locator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAWzD,MAAM,WAAW,iBAAiB;IAChC,uCAAuC;IACvC,MAAM,EAAE,MAAM,CAAC;IACf,mEAAmE;IACnE,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,8BAA8B,CAC5C,EAAE,EAAE,cAAc,EAClB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EACtC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,EAC3B,UAAU,GAAE,OAAc,GACzB,iBAAiB,EAAE,CAmDrB"}

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"}