scopecairn 0.15.0 → 0.16.1

package/README.md

@@ -58,10 +58,11 @@ No MCP server, no embeddings, no network calls, no telemetry.
 - **Multi-language** — TypeScript, JavaScript, Python, Java, Go, Rust,
   PHP, C#, C/C++, Ruby, HTML, Vue SFC (plus config/schema files as
   graph nodes).
-- **Multi-agent setup** — skills for Claude Code (project skill),
-  Antigravity, Cursor, Windsurf, Copilot, Kiro, and an OpenCode
-  slash command. ScopeCairn never touches your `AGENTS.md`/`CLAUDE.md` —
-  those hold your repo's details, not tool instructions.
+- **Multi-agent setup** — native rules & skills for Antigravity, Cursor,
+  Claude Code, Windsurf, GitHub Copilot, Kiro, OpenCode, and Qoder. ScopeCairn
+  merges safely into your project rules (Antigravity `AGENTS.md`, Copilot instructions)
+  via append-only managed blocks that keep your repo details 100% intact,
+  or writes native rules and skills.
 - **`GRAPH.md` knowledge file** — `.scopecairn/GRAPH.md` is a budgeted
   (±150 lines) frozen summary of the graph (modules, most-used symbols,
   PageRank hotspots, circular dependencies, routes, models, protected).
@@ -76,7 +77,7 @@ No MCP server, no embeddings, no network calls, no telemetry.
   click-for-details side panel (callers, callees, centrality scores).
   Nodes sized by symbols/PageRank, colored by Louvain community.
   Pan, zoom, hover inspect. Double-click to open, no server.
-- **Decision log** — `scopecairn decide "pakai X karena Y"` records an
+- **Decision log** — `scopecairn decide "use SQLite graph, no embeddings"` records an
   architectural decision once; it is carried into every later
   `context` call, so the agent stops re-litigating settled choices.
 - **Definition of Done check** — `verify --dod` rates each DoD item and
@@ -129,38 +130,69 @@ it runs project setup itself.
 
 ```bash
 cd your-repo
-scopecairn init      # index + Antigravity Skill + Workflow
+scopecairn init      # index + Antigravity Rule + AGENTS.md merge + Skill + Workflow
 ```
 
-Claude Code (project skill, committed with the repo):
+Per-agent installers (instead of `init --agents …`):
+
+You can list supported agents anytime with `scopecairn agents list`. Install or remove integrations individually using native paths:
 
 ```bash
+# Antigravity IDE (.agents/rules/ + AGENTS.md merge + skills/ + workflows/)
+scopecairn antigravity install
+
+# Claude Code (.claude/skills/ + rule mirroring in .claude/rules/)
 scopecairn claude install
+
+# Cursor (.cursor/rules/scopecairn.mdc with alwaysApply + knowledge skill)
+scopecairn cursor install
+
+# Windsurf (.windsurf/rules/scopecairn.md + knowledge skill)
+scopecairn windsurf install
+
+# GitHub Copilot (.github/copilot-instructions.md + knowledge skill)
+scopecairn copilot install
+
+# Kiro (.kiro/steering/scopecairn.md + knowledge skill)
+scopecairn kiro install
+
+# OpenCode (.opencode/commands/scopecairn.md + knowledge skill + permission snippet)
+scopecairn opencode install
+
+# Qoder (.qoder/rules/scopecairn.md + knowledge skill in .qoder/skills/)
+scopecairn qoder install
+
+# Batch installation during init
+scopecairn init --agents all              # install for all supported agents
+scopecairn init --agents cursor,copilot   # install for specific agents only
+
+# Clean removal (preserves existing configs & custom instructions)
+scopecairn <agent> uninstall
 ```
 
+| Agent | Native Files Written / Merged | Execution Behavior |
+| :--- | :--- | :--- |
+| **Antigravity** | `.agents/rules/scopecairn.md`<br>`AGENTS.md` (smart merge)<br>`.agents/skills/scopecairn/SKILL.md`<br>`.agents/skills/scopecairn-knowledge/SKILL.md`<br>`.agents/workflows/scopecairn.md` | Auto-loaded into `<user_rules>` on every turn via `AGENTS.md` and rule files; skills available on demand. |
+| **Cursor** | `.cursor/rules/scopecairn.mdc`<br>`.cursor/skills/scopecairn-knowledge/SKILL.md` | `alwaysApply: true` auto-injects protocol into every chat & agent session. |
+| **Claude Code** | `.claude/skills/scopecairn/SKILL.md`<br>`.claude/rules/scopecairn.md`<br>`.claude/skills/scopecairn-knowledge/SKILL.md` | Standing rules loaded automatically; `allowed-tools: Bash` provides pre-approved terminal execution. |
+| **Windsurf** | `.windsurf/rules/scopecairn.md`<br>`.windsurf/skills/scopecairn-knowledge/SKILL.md` | Cascade loads modern `.windsurf/rules/` automatically. |
+| **GitHub Copilot** | `.github/copilot-instructions.md`<br>`.github/skills/scopecairn-knowledge/SKILL.md` | Safely merges managed block into repository custom instructions. |
+| **Kiro** | `.kiro/steering/scopecairn.md`<br>`.kiro/skills/scopecairn-knowledge/SKILL.md` | Default `always` steering inclusion injects context into all prompts. |
+| **OpenCode** | `.opencode/commands/scopecairn.md`<br>`.opencode/skills/scopecairn-knowledge/SKILL.md` | Registers `/scopecairn` slash command with `$ARGUMENTS` and prints permission guide. |
+| **Qoder** | `.qoder/rules/scopecairn.md`<br>`.qoder/skills/scopecairn-knowledge/SKILL.md` | Rules without loading frontmatter are always active, so the protocol is injected into every Qoder IDE and CLI session; `AGENTS.md` is still honoured as a compatibility source. |
+
 After setup, your agent calls ScopeCairn automatically on every coding task.
 To query manually (replace `src/indexer.ts` or `buildContext` with files/symbols from your codebase):
 
 ```bash
 scopecairn scan                             # index repository (--rebuild, --clean, --watch)
-scopecairn context "tambah fitur auth"      # AI agent task context + scope
+scopecairn context "add auth feature"       # AI agent task context + scope
 scopecairn impact src/indexer.ts            # blast radius & affected tests (--run-tests)
 scopecairn graph buildContext               # inspect relations, path (--to), export (--export)
 scopecairn verify --dod                     # pre-commit safety guard (--diff, --arch, --dod)
 scopecairn status --usage                   # index statistics & health checks (--doctor, --html)
 scopecairn read symbol indexFileSymbols     # symbol-level source excerpt
-scopecairn decide "graf di SQLite, tanpa embedding"   # catat keputusan arsitektur
-```
-
-Per-agent installers (instead of `init --agents …`):
-
-```bash
-scopecairn antigravity install   # Skill + Workflow + allowlist guide
-scopecairn claude install        # project skill .claude/skills (also: cursor, windsurf, copilot)
-scopecairn kiro install          # steering .kiro/steering + knowledge skill .kiro/skills/scopecairn-knowledge
-scopecairn opencode install      # /scopecairn slash command + permission snippet
-scopecairn claude uninstall      # clean removal, user content preserved
-scopecairn agents list
+scopecairn decide "graph in SQLite, no embeddings"   # record architectural decision
 ```
 
 ## 6 Core Commands
@@ -173,18 +205,32 @@ ScopeCairn organizes its capabilities into **6 core commands** aligned with code
 | `context "<task>"` | **AI Agent Context & Scope:** Main agent entry point with auto-refresh, task classification, relevant context, task scope, and Task Guard. Options: `--escalate`, `--mode NORMAL\|FAST\|SAFE\|AUDIT`, `--max-tokens N`, `--no-history`, `--with-diff`, `--json`. |
 | `impact <target>` | **Blast Radius & Test Selection:** Change impact analysis across direct, indirect, tests, UI components, and API clients. Options: `--run-tests` (run affected tests directly), `--tests` (list affected tests only), `--repos [list]` (cross-repo blast radius). |
 | `graph [symbol]` | **Knowledge Graph & Navigation:** Symbol relations, PageRank centrality, community clusters, and cycle status. Options: `--to <target>` (shortest multi-hop call path), `--export <fmt>` (`mermaid\|graphml\|dot\|json`). |
-| `verify` | **Pre-Commit Safety Guard:** Working tree check against protected files, task scope creep, and circular dependency regressions. Options: `--diff` (structural symbol-level diff vs HEAD), `--arch` (architectural layer rules), `--dod` (Definition of Done: verified / warned / manual, never a claimed pass), `--strict`, `--task <t>`. |
+| `verify` | **Pre-Commit Safety & Testing Gate:** Working tree check against protected files, task scope creep, circular dependency regressions, and test gate. Options: `--diff` (structural symbol-level diff vs HEAD), `--arch` (architectural layer rules), `--dod` (Definition of Done: verified / warned / manual, never a claimed pass), `--test-gate` (detect weakened tests, enforce changed-line coverage default 80% for Vitest/Jest, optional `--mutation` via Stryker), `--strict`, `--task <t>`. |
 | `status` | **Health & Diagnostics:** Index statistics and metadata. Options: `--doctor` (integration and adapter health check), `--usage` (local usage & compliance report), `--verbose`, `--html` (generate local HTML dashboard). |
 
 ### Helper & Setup Commands
 
 | Command | Description |
 | ------- | ----------- |
-| `init [path]` | Initial indexing + Skill, Workflow, detected agent skills (`--agents …\|all`). |
+| `init [path]` | Initial indexing + Skill, Workflow, detected agent skills (`--agents …\|all`, `--hooks` to install `.git/hooks/pre-commit` test & verification gate). |
+| `reuse "<query>"` | Find existing similar functions or classes from the graph (name tokens, signature, doc comment, call-graph neighbors) before creating new ones. |
+| `dead` | Report symbols and files with no incoming edges (`high`/`medium`/`low` confidence, excluding entrypoints, tests, framework routes, and Protected paths). |
+| `session <save\|load>` | Atomically save or load working session state in `.scopecairn/session.md` (max 4,000 chars, rejects secrets, reports commits & files changed since last save). |
 | `read symbol <name>` | Symbol-level source excerpt (not whole files). |
 | `decide "…"` | Record an architectural decision into `.scopecairn/decisions.md` (no argument: list them). Read back by `context`. |
 | `benchmark [--tune]` | Retrieval recall, irrelevant ratio, context reduction + weight tuning (dev-only, hidden from `--help`). |
-| `<agent> install` | Agent installers: `antigravity`, `claude`, `cursor`, `windsurf`, `copilot`, `kiro`, `opencode`. |
+| `<agent> install` | Agent installers: `antigravity`, `claude`, `cursor`, `windsurf`, `copilot`, `kiro`, `opencode`, `qoder`. |
+
+### Testing Gate & Pre-Commit Hook Limitations (`init --hooks`)
+
+Running `scopecairn init --hooks` installs a managed `.git/hooks/pre-commit` guard that executes `scopecairn verify --no-strict --test-gate`:
+- **Weakened Test Detection:** Blocks diffs in test files that delete assertions (`expect`/`assert`), add `.skip`/`.todo`/`xit`, or loosen strict matchers (`toBe`/`toEqual` → `toBeDefined`/`toBeTruthy` or tautological `expect(true).toBe(true)`).
+- **Changed-Line Coverage (Vitest & Jest):** Evaluates coverage on modified/added executable source lines against a configurable threshold (`coverage_threshold: 80` in `.scopecairn/config.yml`, or `--coverage-threshold <n>`).
+- **Optional Mutation Testing (Stryker):** Supports `--mutation` (or `mutation_enabled: true` in `.scopecairn/config.yml`) to validate mutation score on changed files via Stryker (`--testRunner vitest|jest`). Disabled by default because mutation testing is slow.
+- **Limitation (`--no-verify` bypass):** Because an AI agent or developer can bypass local git hooks using `git commit --no-verify`, always run the same check in your CI pipeline:
+  ```bash
+  scopecairn verify --test-gate --base origin/main
+  ```
 
 > [!NOTE]
 > **Backward Compatibility:** All previous standalone commands (`rebuild`, `clean`, `watch`, `doctor`, `dashboard`, `test-select`, `path`, `export`, `diff`, `arch-check`, `history`) are preserved as hidden aliases mapped directly into these 6 core commands — they still work but no longer appear in `--help`. `update` is deprecated (use `npm install -g scopecairn@latest`).
@@ -228,15 +274,60 @@ prompt → scopecairn context (refresh at start) → agent edits code
 
 Measure retrieval quality anytime: `scopecairn benchmark [--tune]`.
 
+## Ranking 5+2 sinyal
+
+Retrieval (`src/retrieval/retrieve.ts`) menggabungkan 5 sinyal klasik + 2 sinyal graph:
+
+| Sinyal | Bobot default (Fase 6) | Makna |
+| ------ | ---------------------- | ----- |
+| `wSeed` (seed) | 0.5 | Token-match FTS5 terhadap task + glossary. |
+| `wProximity` | 0.25 | Dekat di graph dari seed (BFS `maxDepth`, `decayPerHop`). |
+| `wCentrality` | 0.1 | `0.5*PageRank + 0.5*fan-in` (cache `node_metrics`/`fanin`). |
+| `wRecency` | 0.1 | File sering berubah baru-baru ini (sinyal git). |
+| `wCochange` | 0.1 | File yang sering berubah bersama file seed (riwayat). |
+| `wPpr` | 0.0 | Personalized PageRank proxy (opsional, 0 = nonaktif). |
+| `wPr` | 0.0 | PageRank global mandiri (opsional, 0 = nonaktif). |
+
++ `verified` (closed-loop): file yang terbukti berubah saat `verify` lulus mendapat bonus `+0.35` proporsional.
+
+Bobot dapat dioverride di `.scopecairn/config.yml` (`w_seed:`, `w_proximity:`, …) atau via `retrieve(db, root, task, { weights: { ... } })` saat benchmark/tuning.
+
+Contoh pakai:
+
+```bash
+# Breakdown skor per simbol (wSeed*seed, prox, cent, recency, cochange, verified)
+scopecairn context "add login" --explain
+
+# Format output ringkas untuk agent hemat token
+scopecairn context "add login" --format brief      # 1 baris/simbol
+scopecairn context "add login" --format table      # markdown table
+scopecairn context "add login" --format tree       # grup per folder
+scopecairn context "add login" --format mermaid    # graph TD antar simbol teratas
+
+# PR risk agregat (protected/cycle/fan-in) vs base, + opsi SARIF untuk GitHub
+scopecairn verify --pr-risk --base origin/main
+scopecairn verify --pr-risk --sarif                # SARIF 2.1.0 JSON
+
+# Dependensi manifest dan kandidat unused (npm/python/go/rust)
+scopecairn deps
+scopecairn deps --json
+
+# Deteksi LSP opsional saat scan (best-effort, tak wajib)
+scopecairn scan --lsp    # melaporkan tsserver/gopls/pyright di PATH
+
+# Kalibrasi ulang bobot (grid search 36 kombinasi wSeed/wProximity/wCentrality)
+scopecairn benchmark --tune
+
+# CI gate (tulis .github/workflows/scopecairn.yml)
+scopecairn init --ci
+```
+
 ## History privacy
 
-`scan` mengindeks pesan commit git lokal ke tabel `commits`/`commit_files` di
-`.scopecairn/scopecairn.db` (dilewati commit >40 file, lockfile, dan generated).
-Isi commit **tidak** masuk `GRAPH.md`/`GRAPH.html`/`graph --export` (sering di-commit dan
-dibagikan) — riwayat hanya hidup di database lokal dan output `context`.
-Pesan commit bisa memuat info sensitif; karena tidak keluar dari mesin, risikonya
-kecil. Repo tanpa git atau clone dangkal tetap didukung (riwayat parsial/absen,
-dilaporkan `status --doctor`).
+`scan` indexes local git commit messages into the `commits`/`commit_files` tables in
+`.scopecairn/scopecairn.db` (skipping commits with >40 files, lockfiles, and generated files).
+Commit contents are **never** included in `GRAPH.md`, `GRAPH.html`, or `graph --export` (which are often committed and shared) — history lives exclusively in your local database and in `context` output.
+Commit messages may contain sensitive project information; because they never leave your local machine, risk is minimized. Repositories without git or shallow clones are fully supported (partial or absent history is reported by `status --doctor`).
 
 ## License
 

package/dist/{agentsmd-GS2DHP65.js → agentsmd-WIZWH7QM.js}

@@ -3,11 +3,13 @@ import {
   PROJECT_RULES_MAX_CHARS,
   demoteHeadings,
   findAgentsMd,
-  loadProjectRules
-} from "./chunk-ZV4BSIQM.js";
+  loadProjectRules,
+  stripManagedBlock
+} from "./chunk-T3CVC4TV.js";
 export {
   PROJECT_RULES_MAX_CHARS,
   demoteHeadings,
   findAgentsMd,
-  loadProjectRules
+  loadProjectRules,
+  stripManagedBlock
 };

package/dist/{chunk-DY2AAM62.js → chunk-ADAWTBOC.js}

@@ -86,8 +86,8 @@ function computeBetweenness(db) {
     sigma.set(s, 1);
     dist.set(s, 0);
     const queue = [s];
-    while (queue.length > 0) {
-      const v = queue.shift();
+    for (let qi = 0; qi < queue.length; qi++) {
+      const v = queue[qi];
       stack.push(v);
       for (const w of adj.get(v) ?? []) {
         if ((dist.get(w) ?? -1) < 0) {

package/dist/{chunk-IRYNTYZD.js → chunk-AK6TUDHG.js}

@@ -1,15 +1,26 @@
 #!/usr/bin/env node
+import {
+  coChangeSet,
+  groupHistoryFiles
+} from "./chunk-GERWAENA.js";
+import {
+  logError
+} from "./chunk-OPA4TMAT.js";
 import {
   demoteHeadings
-} from "./chunk-ZV4BSIQM.js";
+} from "./chunk-T3CVC4TV.js";
+import {
+  isTestPath,
+  selectHigh
+} from "./chunk-RTLKS5IS.js";
 import {
   isProtected,
   loadProtectedPatterns
-} from "./chunk-JQBYQ4EF.js";
-import {
-  coChangeSet,
-  groupHistoryFiles
-} from "./chunk-GQFBQRDD.js";
+} from "./chunk-DADX4SRG.js";
+
+// src/retrieval/contextBuilder.ts
+import fs from "fs";
+import path from "path";
 
 // src/scope/scope.ts
 function computeScope(highFiles, mediumFiles, testFiles, patterns, historyOptional) {
@@ -110,8 +121,9 @@ Task sederhana. Gunakan pencarian langsung. Kandidat: ${cand}
     };
   }
   const ranked = result.ranked;
-  const hi = ranked.filter((r) => r.score >= 0.3).slice(0, 10);
-  const med = ranked.filter((r) => r.score >= 0.15 && r.score < 0.3).slice(0, 10);
+  const hi = selectHigh(ranked);
+  const hiSet = new Set(hi);
+  const med = ranked.filter((r) => r.score >= 0.15 && !hiSet.has(r)).slice(0, 10);
   const highFiles = [...new Set(hi.map((r) => r.file))];
   const medFiles = [...new Set(med.map((r) => r.file))].filter((f) => !highFiles.includes(f));
   const traceSeed = highFiles.length > 0 ? highFiles : opts?.knowledge ? medFiles : [];
@@ -131,10 +143,11 @@ Task sederhana. Gunakan pencarian langsung. Kandidat: ${cand}
            LIMIT 10`
       ).all(...traceSeed, ...traceSeed);
       for (const r of rows) deps.push(`${r.a} \u2192 ${r.b}`);
-    } catch {
+    } catch (err) {
+      logError("contextBuilder:deps", err, opts?.repoRoot);
     }
   }
-  const isTestFileLike = (p) => p.includes(".test.") || p.includes(".spec.") || p.includes("__tests__") || (p.split("/").pop() ?? "").startsWith("test_");
+  const isTestFileLike = isTestPath;
   const testSet = /* @__PURE__ */ new Set();
   if (highFiles.length > 0) {
     const ph = highFiles.map(() => "?").join(",");
@@ -149,7 +162,8 @@ Task sederhana. Gunakan pencarian langsung. Kandidat: ${cand}
            WHERE r.relationship_type = 'TESTS' AND f2.path IN (${ph})`
       ).all(...highFiles);
       for (const r of rows) testSet.add(r.t);
-    } catch {
+    } catch (err) {
+      logError("contextBuilder:tests", err, opts?.repoRoot);
     }
     try {
       const symRows = db.prepare(
@@ -190,14 +204,45 @@ Task sederhana. Gunakan pencarian langsung. Kandidat: ${cand}
           }
         }
       }
-    } catch {
+    } catch (err) {
+      logError("contextBuilder:callers", err, opts?.repoRoot);
     }
   }
   for (const r of ranked) {
     if (isTestFileLike(r.file)) testSet.add(r.file);
   }
   const tests = [...testSet].slice(0, 10);
-  const symLine = (r) => `- ${r.name} (${r.type}) \u2014 \`${r.file}\` [${r.score.toFixed(2)} ${r.reason}]`;
+  const callerStmt = (() => {
+    try {
+      return db.prepare(
+        `SELECT DISTINCT s.name AS name, f.path AS file, s.start_line AS startLine
+         FROM relationships r
+         JOIN symbols s ON s.id = r.source_id
+         JOIN files f ON f.id = s.file_id
+         WHERE r.target_id = ? AND r.relationship_type IN ('CALLS','IMPORTS') AND s.type != 'file' AND s.id != ?
+         LIMIT 3`
+      );
+    } catch {
+      return null;
+    }
+  })();
+  const symLine = (r) => {
+    const loc = r.startLine && r.startLine > 0 ? `${r.file}:${r.startLine}-${r.endLine ?? r.startLine}` : r.file;
+    const sig = r.signature ? ` \`${r.signature.replace(/\s+/g, " ").trim().slice(0, 90)}\`` : "";
+    let callersLine = "";
+    if (callerStmt) {
+      try {
+        const cRows = callerStmt.all(r.id, r.id);
+        if (cRows.length > 0) {
+          const formatted = cRows.map((c) => `${c.name} (\`${c.file}${c.startLine && c.startLine > 0 ? `:${c.startLine}` : ""}\`)`).join(", ");
+          callersLine = `
+  \u21B3 called-by: ${formatted}`;
+        }
+      } catch {
+      }
+    }
+    return `- ${r.name} (${r.type}) \u2014 \`${loc}\`${sig} [${r.score.toFixed(2)} ${r.reason}]${callersLine}`;
+  };
   const hotspotLine = (h) => `- ${h.name} (${h.type}) \u2014 \`${h.file}\` [pr=${h.pagerank.toFixed(4)}]`;
   let hotspots = [];
   let cycleWarn = "";
@@ -230,13 +275,29 @@ Task sederhana. Gunakan pencarian langsung. Kandidat: ${cand}
 `;
       }
     }
-  } catch {
+  } catch (err) {
+    logError("contextBuilder:metrics", err, opts?.repoRoot);
+  }
+  const verifiedAnalogs = result.verifiedAnalogs ?? [];
+  const verifiedFiles = [...new Set(verifiedAnalogs.flatMap((v) => v.files))];
+  for (const vf of verifiedFiles) {
+    if (!highFiles.includes(vf)) highFiles.push(vf);
   }
   const historyAnalogs = opts?.history?.analogs ?? [];
   const cochange = coChangeSet(historyAnalogs);
   const patterns = loadProtectedPatterns(opts?.repoRoot ?? ".");
   const historyOptional = cochange.map((c) => c.path).filter((f) => !isProtected(f, patterns));
   const scope = computeScope(highFiles, medFiles, tests, patterns, historyOptional);
+  let verifiedBlock = "";
+  if (verifiedAnalogs.length > 0) {
+    const lines = [`## Analogi task terverifikasi`, ``];
+    for (const v of verifiedAnalogs) {
+      lines.push(`- "${v.description}" (${v.verifiedAt.slice(0, 10)})`);
+      lines.push(`  file: ${v.files.map((f) => `\`${f}\``).join(", ")}`);
+    }
+    lines.push(``);
+    verifiedBlock = lines.join("\n") + "\n";
+  }
   let historyBlock = "";
   if (historyAnalogs.length > 0) {
     const lines = [`## Analogi riwayat`, ``];
@@ -305,7 +366,7 @@ ${kSyms.slice(0, 8).map(symLine).join("\n") || "-"}
 ## Related Tests
 ${tests.map((t) => `- ${t}`).join("\n") || "-"}
 
-` + historyBlock + cycleWarn;
+` + verifiedBlock + historyBlock + cycleWarn;
     return {
       markdown: mdKnowledge,
       high: highFiles,
@@ -316,6 +377,39 @@ ${tests.map((t) => `- ${t}`).join("\n") || "-"}
       scope
     };
   }
+  let excerptsBlock = "";
+  if (opts?.withBodies !== false && opts?.repoRoot) {
+    const excerptLines = [];
+    const maxSpan = opts?.withBodies === true ? 40 : 25;
+    const candidates = hi.filter(
+      (r) => r.type !== "file" && (opts?.withBodies === true || r.type !== "variable") && r.startLine && r.startLine > 0
+    ).slice(0, 2);
+    for (const r of candidates) {
+      const start = r.startLine;
+      const rawEnd = r.endLine && r.endLine >= start ? r.endLine : start;
+      const span = rawEnd - start + 1;
+      if (opts?.withBodies !== true && (span <= 1 || span > maxSpan)) continue;
+      try {
+        const abs = path.join(opts.repoRoot, r.file);
+        const fileLines = fs.readFileSync(abs, "utf8").replace(/\r\n/g, "\n").split("\n");
+        const end = Math.min(fileLines.length, opts?.withBodies === true && rawEnd === start ? start + 24 : Math.min(rawEnd, start + maxSpan - 1));
+        const body = fileLines.slice(start - 1, end).join("\n").trimEnd();
+        if (body) {
+          excerptLines.push(`### ${r.name} (\`${r.file}:${start}-${end}\`)
+\`\`\`
+${body}
+\`\`\``);
+        }
+      } catch {
+      }
+    }
+    if (excerptLines.length > 0) {
+      excerptsBlock = `## Key Excerpts
+${excerptLines.join("\n\n")}
+
+`;
+    }
+  }
   const md = `# Task Context
 
 ## Task
@@ -333,7 +427,7 @@ ${medFiles.map((f) => `- ${f}`).join("\n") || "-"}
 ## Key Symbols
 ${hi.slice(0, 8).map(symLine).join("\n") || "-"}
 
-` + (hotspots.length > 0 ? `## Critical hotspots (PageRank)
+` + excerptsBlock + (hotspots.length > 0 ? `## Critical hotspots (PageRank)
 ${hotspots.map(hotspotLine).join("\n")}
 
 ` : ``) + `## Dependencies
@@ -342,8 +436,8 @@ ${deps.map((d) => `- ${d}`).join("\n") || "-"}
 ## Related Tests
 ${tests.map((t) => `- ${t}`).join("\n") || "-"}
 
-` + historyBlock + cycleWarn + scopeBlock(scope) + `
-` + guardBlock(extraDoD.length > 0 ? extraDoD : void 0);
+` + verifiedBlock + historyBlock + cycleWarn + scopeBlock(scope) + (opts?.withGuard ? `
+` + guardBlock(extraDoD.length > 0 ? extraDoD : void 0) : ``);
   return {
     markdown: md,
     high: highFiles,

package/dist/{chunk-JQBYQ4EF.js → chunk-DADX4SRG.js}

@@ -55,6 +55,7 @@ function openDb(repoRoot) {
     CREATE INDEX IF NOT EXISTS idx_symbols_file ON symbols(file_id);
     CREATE INDEX IF NOT EXISTS idx_symbols_name ON symbols(name);
     CREATE INDEX IF NOT EXISTS idx_symbols_type ON symbols(type);
+    CREATE INDEX IF NOT EXISTS idx_symbols_file_name_type ON symbols(file_id, name, type);
     CREATE TABLE IF NOT EXISTS relationships (
       id INTEGER PRIMARY KEY AUTOINCREMENT,
       source_id INTEGER NOT NULL REFERENCES symbols(id) ON DELETE CASCADE,
@@ -66,6 +67,7 @@ function openDb(repoRoot) {
     CREATE INDEX IF NOT EXISTS idx_rel_source ON relationships(source_id);
     CREATE INDEX IF NOT EXISTS idx_rel_target ON relationships(target_id);
     CREATE INDEX IF NOT EXISTS idx_rel_type ON relationships(relationship_type);
+    CREATE INDEX IF NOT EXISTS idx_rel_source_type ON relationships(source_id, relationship_type);
     CREATE TABLE IF NOT EXISTS meta (
       key TEXT PRIMARY KEY,
       value TEXT NOT NULL
@@ -164,6 +166,17 @@ function openDb(repoRoot) {
     CREATE VIRTUAL TABLE IF NOT EXISTS commit_fts USING fts5(
       sha UNINDEXED, subject, body, paths
     );
+    -- Closed-loop learning: pasangan task -> file yang terbukti berubah saat verify lulus
+    CREATE TABLE IF NOT EXISTS verified_tasks (
+      id INTEGER PRIMARY KEY AUTOINCREMENT,
+      task_id INTEGER REFERENCES tasks(id) ON DELETE SET NULL,
+      description TEXT NOT NULL UNIQUE,
+      files_json TEXT NOT NULL,
+      verified_at TEXT NOT NULL DEFAULT (datetime('now'))
+    );
+    CREATE VIRTUAL TABLE IF NOT EXISTS verified_tasks_fts USING fts5(
+      task_id UNINDEXED, description, files
+    );
   `);
   db.prepare(
     `INSERT INTO meta(key, value) VALUES ('schema_version', ?)

package/dist/{chunk-GQFBQRDD.js → chunk-GERWAENA.js}

@@ -5,7 +5,7 @@ import {
 import {
   tokenizeIdentifier,
   tokenizeTask
-} from "./chunk-UVKHDHBU.js";
+} from "./chunk-M4PQW6PF.js";
 
 // src/retrieval/history/index.ts
 function stripConventionalPrefix(subject) {

package/dist/{chunk-UVKHDHBU.js → chunk-M4PQW6PF.js}

@@ -34,6 +34,10 @@ function stemVariants(t) {
     const base = t.slice(0, -5);
     out.add(base);
   }
+  if ((t.endsWith("er") || t.endsWith("ed")) && t.length > 5) {
+    out.add(t.slice(0, -1));
+    out.add(t.slice(0, -2));
+  }
   return [...out];
 }
 var EXPLICIT_STEM = /* @__PURE__ */ new Map([
@@ -48,6 +52,51 @@ var EXPLICIT_STEM = /* @__PURE__ */ new Map([
   ["extraction", "extract"],
   ["extracted", "extract"]
 ]);
+var DOMAIN_SYNONYMS = /* @__PURE__ */ new Map([
+  // Kupon / diskon
+  ["kupon", "voucher"],
+  ["voucher", "kupon"],
+  ["coupon", "voucher"],
+  ["promo", "voucher"],
+  ["diskon", "discount"],
+  ["discount", "diskon"],
+  // Penagihan
+  ["invoice", "billing"],
+  ["billing", "invoice"],
+  ["tagihan", "invoice"],
+  ["pembayaran", "payment"],
+  ["payment", "pembayaran"],
+  ["pelunasan", "payment"],
+  // Pengguna / akun
+  ["pengguna", "user"],
+  ["akun", "account"],
+  ["account", "akun"],
+  // Keranjang / pesanan
+  ["keranjang", "cart"],
+  ["cart", "keranjang"],
+  ["troli", "cart"],
+  ["pesanan", "order"],
+  ["order", "pesanan"],
+  ["checkout", "order"],
+  // Pengiriman / stok
+  ["pengiriman", "shipping"],
+  ["shipping", "pengiriman"],
+  ["ongkir", "shipping"],
+  ["stok", "stock"],
+  ["stock", "stok"],
+  ["inventaris", "stock"],
+  // Produk / harga
+  ["harga", "price"],
+  ["price", "harga"],
+  ["produk", "product"],
+  ["product", "produk"],
+  // Auth umum
+  ["masuk", "login"],
+  ["login", "masuk"],
+  ["daftar", "signup"],
+  ["logout", "signout"],
+  ["signout", "logout"]
+]);
 function tokenizeIdentifier(raw) {
   const parts = raw.replace(/[\\/]/g, " ").replace(/[.:\-_"']/g, " ").replace(/([a-z0-9])([A-Z])/g, "$1 $2").replace(/([A-Z]+)([A-Z][a-z])/g, "$1 $2").toLowerCase().split(/[^a-z0-9]+/g).filter((t) => t.length >= 2 && !STOP.has(t));
   const out = /* @__PURE__ */ new Set();
@@ -58,6 +107,8 @@ function tokenizeIdentifier(raw) {
     }
     const e = EXPLICIT_STEM.get(t);
     if (e && !STOP.has(e)) out.add(e);
+    const d = DOMAIN_SYNONYMS.get(t);
+    if (d && !STOP.has(d)) out.add(d);
   }
   return [...out];
 }