@jefuriiij/synthra 0.1.18 → 0.1.20

package/dist/server/index.js

@@ -1558,7 +1558,7 @@ import { basename as basename2 } from "path";
 // src/hooks/claude-md.ts
 import { readFile as readFile6, writeFile as writeFile2 } from "fs/promises";
 import { basename, dirname as dirname4 } from "path";
-var POLICY_VERSION = 3;
+var POLICY_VERSION = 4;
 var POLICY_BEGIN = `<!-- synthra-policy v${POLICY_VERSION} BEGIN -->`;
 var POLICY_END = `<!-- synthra-policy v${POLICY_VERSION} END -->`;
 var ANY_BLOCK_RE = /<!--\s*synthra-policy\s+v\d+\s+BEGIN\s*-->[\s\S]*?<!--\s*synthra-policy\s+v\d+\s+END\s*-->\s*/g;
@@ -1627,6 +1627,17 @@ function policyBlock() {
     "- If `graph_continue`'s `Files` list contains a `::` entry, pass it",
     "  verbatim to `graph_read`.",
     "",
+    "### Editing a file",
+    "",
+    "Claude Code's `Edit` tool (and `Write` when overwriting) only accepts a",
+    "file that was opened with the **`Read` tool** \u2014 a `graph_read` slice does",
+    'not count, and editing such a file fails with *"File has not been read',
+    'yet."* So before editing a file you only know through `graph_read`: take',
+    "the line range from its header (e.g. `\u2026::handler (L120-168)`), `Read` that",
+    "file with a matching `offset`/`limit`, then `Edit`. That satisfies the",
+    "gate while keeping the read small \u2014 don't whole-file `Read` unless the",
+    "edit spans most of the file.",
+    "",
     "### Don'ts",
     "",
     "- Don't Grep / Glob before calling `graph_continue` when required \u2014 the",
@@ -1954,10 +1965,12 @@ function scoreFiles(inputs) {
     }
     const symbols = symbolsByFile.get(file.path) ?? [];
     let symHits = 0;
+    let exactSym = 0;
     for (const sym of symbols) {
       const name = sym.name.toLowerCase();
       if (qTokens.has(name)) {
         symHits += 3;
+        exactSym += 1;
       } else {
         for (const t of qTokens) {
           if (name.includes(t) || t.includes(name)) {
@@ -1982,7 +1995,7 @@ function scoreFiles(inputs) {
       score2 += 5;
       reasons.push("seed");
     }
-    scored.push({ file, score: score2, reasons });
+    scored.push({ file, score: score2, reasons, symHits, exactSym });
   }
   const positivePaths = new Set(scored.filter((s) => s.score > 0).map((s) => s.file.path));
   if (positivePaths.size > 0) {
@@ -2017,7 +2030,8 @@ async function retrieve(graph, query, options = {}) {
     return {
       files: [],
       confidence: "low",
-      reason: qTokens.length === 0 ? "empty query" : "empty graph"
+      reason: qTokens.length === 0 ? "empty query" : "empty graph",
+      symbolMatched: false
     };
   }
   const rankInputs = {
@@ -2033,10 +2047,13 @@ async function retrieve(graph, query, options = {}) {
     return {
       files: [],
       confidence: "low",
-      reason: `no matches for ${JSON.stringify(qTokens)}`
+      reason: `no matches for ${JSON.stringify(qTokens)}`,
+      symbolMatched: false
     };
   }
-  const top = positive.slice(0, topK).map((s) => s.file);
+  const topScored = positive.slice(0, topK);
+  const top = topScored.map((s) => s.file);
+  const symbolMatched = topScored.some((s) => s.exactSym > 0);
   const topScore = positive[0]?.score ?? 0;
   const secondScore = positive[1]?.score ?? 0;
   let confidence;
@@ -2048,7 +2065,8 @@ async function retrieve(graph, query, options = {}) {
   return {
     files: top,
     confidence,
-    reason: `top: ${reasons}`
+    reason: `top: ${reasons}`,
+    symbolMatched
   };
 }
 
@@ -2902,6 +2920,16 @@ function extractQuery(toolName, input) {
   }
   return null;
 }
+function looksLikeNonSymbolQuery(pattern) {
+  if (/<\/?[a-zA-Z]/.test(pattern)) return true;
+  if (/[a-zA-Z][\w-]*-[\w-]*\s*=/.test(pattern)) return true;
+  if (/\{/.test(pattern)) return true;
+  if (/\\\.[a-zA-Z]/.test(pattern)) return true;
+  if (/:\s*\d/.test(pattern) || /\d(?:px|rem|em|vh|vw)\b/.test(pattern) || /\d%/.test(pattern)) {
+    return true;
+  }
+  return false;
+}
 function recentlyTouchedMatchesQuery(recentPaths, queryTokens) {
   const matches = [];
   for (const path of recentPaths) {
@@ -2943,6 +2971,14 @@ async function handleGate(req, ctx) {
     await logDecision(ctx, req.tool_name, null, res2.decision, res2.reason);
     return res2;
   }
+  if (req.tool_name === "Grep" && looksLikeNonSymbolQuery(query)) {
+    const res2 = {
+      decision: "allow",
+      reason: `"${query}" targets markup/CSS/attributes, not code symbols \u2014 letting Grep through (the graph indexes symbols).`
+    };
+    await logDecision(ctx, req.tool_name, query, res2.decision, res2.reason);
+    return res2;
+  }
   const retrieval = await retrieve(ctx.graph, query);
   if (retrieval.confidence === "low") {
     const res2 = {
@@ -2963,6 +2999,14 @@ async function handleGate(req, ctx) {
     await logDecision(ctx, req.tool_name, query, res2.decision, res2.reason);
     return res2;
   }
+  if (!retrieval.symbolMatched) {
+    const res2 = {
+      decision: "allow",
+      reason: `confidence=${retrieval.confidence} but only keyword/path matched (no symbol the query names) \u2014 graph_read can't slice it, letting ${req.tool_name} through.`
+    };
+    await logDecision(ctx, req.tool_name, query, res2.decision, res2.reason);
+    return res2;
+  }
   const top = retrieval.files.slice(0, 3).map((f) => f.path).join(", ");
   const res = {
     decision: "block",