sphica 0.6.18 → 0.6.21

package/dist/mcp.js

@@ -34743,6 +34743,7 @@ function singular(w) {
     return w.slice(0, -1);
   return w.endsWith("s") && !/(?:ss|us|is)$/.test(w) ? w.slice(0, -1) : w;
 }
+var identTerm = (x) => singular(x.normalize("NFKC").toLowerCase());
 function terms(text) {
   const norm = text.normalize("NFKC").toLowerCase();
   const out = [];
@@ -34801,8 +34802,9 @@ var QUESTION = new Set([
   ...["add", "get", "make", "have", "has", "not", "no", "yes", "reason"],
   ...["理由", "仕組", "何", "方", "場合", "今", "件"]
 ]);
+var FOLDED_QUESTION = new Set([...QUESTION].flatMap((w) => terms(w)));
 function queryTerms(question) {
-  return [...new Set(terms(question).filter((w) => !QUESTION.has(w)))].slice(0, 24);
+  return [...new Set(terms(question).filter((w) => !FOLDED_QUESTION.has(w)))].slice(0, 24);
 }
 function ftsQuery(question) {
   const ws = queryTerms(question);
@@ -45627,347 +45629,6 @@ function parseObject(obj, jsonPath, options) {
   return target;
 }
 
-// server/src/search.ts
-var UNIT_PAGE = 200;
-var UNIT_SCAN_MAX = 2000;
-var SOURCE_PAGE = 50;
-var SOURCE_SCAN_MAX = 600;
-var SOURCE_SCAN_BYTES = 64 * 1024 * 1024;
-var LIFE_ORDER = { active: 0, candidate: 1, superseded: 2, withdrawn: 3 };
-var strong = (matched, of) => matched * 2 > of;
-async function searchUnits(db, projectId, q) {
-  const wanted = queryTerms(q.question);
-  const match = ftsQuery(q.question);
-  if (!match)
-    return { hits: [], weaker: 0, terms: wanted, stopped: false, read: 0 };
-  let query = db.selectFrom(sql`(select unit_fts.rowid as rowid, bm25(unit_fts, 3, 2, 1) as rank from unit_fts join unit on unit.id = unit_fts.rowid where unit_fts match ${match} and unit.project_id = ${projectId})`.as("f")).innerJoin("unit as u", "u.id", "f.rowid").where("u.project_id", "=", projectId).where("u.extraction", "=", "supported");
-  if (q.kinds?.length)
-    query = query.where("u.kind", "in", q.kinds);
-  if (q.lifecycles?.length)
-    query = query.where("u.lifecycle", "in", q.lifecycles);
-  if (q.path)
-    query = query.where(({ exists, selectFrom }) => exists(selectFrom("unit_anchor as a").select("a.id").whereRef("a.unit_id", "=", "u.id").where("a.path", "=", q.path ?? "").where("a.retired_at", "is", null)));
-  const ranked = await query.select(["u.id", "f.rank"]).orderBy("f.rank").orderBy("u.id").limit(UNIT_SCAN_MAX + 1).execute();
-  const stopped = ranked.length > UNIT_SCAN_MAX;
-  let weaker = 0;
-  let read = 0;
-  const hits = [];
-  for (let at = 0;at < Math.min(ranked.length, UNIT_SCAN_MAX); at += UNIT_PAGE) {
-    const part = ranked.slice(at, Math.min(at + UNIT_PAGE, UNIT_SCAN_MAX));
-    const order = new Map(part.map((r, i) => [r.id, i]));
-    const rows = (await query.select([
-      "u.id",
-      "u.key",
-      "u.kind",
-      "u.stance",
-      "u.lifecycle",
-      "u.text",
-      "u.why",
-      "u.scope_note",
-      "u.revisit_when",
-      "u.content_hash",
-      "f.rank"
-    ]).where("u.id", "in", part.map((r) => r.id)).execute()).sort((a, b) => (order.get(a.id) ?? 0) - (order.get(b.id) ?? 0));
-    read += rows.length;
-    weaker += await judgeUnits(db, rows, wanted, hits);
-  }
-  const shown = new Set(hits.map((h) => h.id));
-  for (const h of [...hits].filter((x) => x.lifecycle === "superseded"))
-    for (const n of await liveSuccessors(db, h.id))
-      if (!shown.has(n.id) && (!q.kinds?.length || q.kinds.includes(n.kind)) && (!q.lifecycles?.length || q.lifecycles.includes(n.lifecycle))) {
-        shown.add(n.id);
-        hits.push({
-          ...n,
-          options: [],
-          anchors: [],
-          matched: [],
-          aliasOnly: false,
-          successorOf: h.key,
-          rank: h.rank
-        });
-      }
-  hits.sort((a, b) => (LIFE_ORDER[a.lifecycle] ?? 9) - (LIFE_ORDER[b.lifecycle] ?? 9) || b.matched.length - a.matched.length || a.rank - b.rank);
-  return {
-    hits: hits.slice(0, q.limit).map(({ rank: _rank, ...h }) => h),
-    weaker,
-    terms: wanted,
-    stopped,
-    read
-  };
-}
-async function liveSuccessors(db, id) {
-  const seen = new Set([id]);
-  const found = [];
-  const replaced = new Set;
-  for (let frontier = [id];frontier.length; ) {
-    const next = await db.selectFrom("unit_link as l").innerJoin("unit as n", "n.id", "l.from_unit").where("l.to_unit", "in", frontier).where("l.kind", "=", "supersedes").where("n.extraction", "=", "supported").where("n.lifecycle", "<>", "candidate").select([
-      "l.to_unit",
-      "n.id",
-      "n.key",
-      "n.kind",
-      "n.stance",
-      "n.lifecycle",
-      "n.text",
-      "n.why",
-      "n.revisit_when"
-    ]).execute();
-    frontier = [];
-    for (const { to_unit, ...n } of next) {
-      replaced.add(to_unit);
-      if (seen.has(n.id))
-        continue;
-      seen.add(n.id);
-      found.push(n);
-      frontier.push(n.id);
-    }
-  }
-  return found.filter((n) => !replaced.has(n.id));
-}
-async function judgeUnits(db, rows, wanted, hits) {
-  const ids = rows.map((r) => r.id);
-  const [options, anchors, aliases, fields] = ids.length ? await Promise.all([
-    db.selectFrom("unit_option").select(["unit_id", "text", "outcome", "why", "reconsider_when"]).where("unit_id", "in", ids).orderBy("position").execute(),
-    db.selectFrom("unit_anchor").select(["unit_id", "path", "symbol", "role"]).where("unit_id", "in", ids).where("retired_at", "is", null).orderBy("id").execute(),
-    db.selectFrom("unit_alias").select(["unit_id", "terms", "content_hash"]).where("unit_id", "in", ids).orderBy("id", "desc").execute(),
-    db.selectFrom("unit_field as f").innerJoin("field_def as d", "d.id", "f.field_def_id").select(["f.unit_id", "d.name", "f.value"]).where("f.unit_id", "in", ids).execute()
-  ]) : [[], [], [], []];
-  let weaker = 0;
-  for (const r of rows) {
-    const opts = options.filter((o) => o.unit_id === r.id);
-    const anch = anchors.filter((a) => a.unit_id === r.id);
-    const alias = aliases.find((a) => a.unit_id === r.id && Buffer.from(a.content_hash).equals(Buffer.from(r.content_hash)));
-    const own2 = new Set(terms([
-      r.text,
-      r.why,
-      r.scope_note,
-      r.revisit_when,
-      ...opts.flatMap((o) => [o.text, o.why, o.reconsider_when]),
-      ...anch.flatMap((a) => [a.path, a.symbol]),
-      ...fields.filter((f) => f.unit_id === r.id).flatMap((f) => [f.name, f.value])
-    ].filter(Boolean).join(`
-`)));
-    const extra = new Set(alias ? terms(JSON.parse(alias.terms).join(" ")) : []);
-    const matched = wanted.filter((w) => own2.has(w) || extra.has(w));
-    const ident = new Set(anch.flatMap((a) => [a.path, a.symbol].flatMap((x) => x ? [x.normalize("NFKC").toLowerCase()] : [])));
-    if (!strong(matched.length, wanted.length) && !matched.some((w) => ident.has(w))) {
-      weaker++;
-      continue;
-    }
-    hits.push({
-      id: r.id,
-      key: r.key,
-      kind: r.kind,
-      stance: r.stance,
-      lifecycle: r.lifecycle,
-      text: r.text,
-      why: r.why,
-      revisit_when: r.revisit_when,
-      options: opts.map((o) => ({ text: o.text, outcome: o.outcome, why: o.why })),
-      anchors: anch.map((a) => ({ path: a.path, symbol: a.symbol, role: a.role })),
-      matched,
-      aliasOnly: matched.every((w) => !own2.has(w)),
-      rank: r.rank
-    });
-  }
-  return weaker;
-}
-async function searchSources(db, projectId, question, limit, owner) {
-  const wanted = queryTerms(question);
-  const match = ftsQuery(question);
-  if (!match)
-    return { hits: [], weaker: 0, terms: wanted, stopped: false, read: 0 };
-  const query = db.selectFrom(sql`(select source_fts.rowid as rowid, bm25(source_fts) as rank from source_fts join source on source.id = source_fts.rowid where source_fts match ${match} and source.project_id = ${projectId})`.as("f")).innerJoin("source as s", "s.id", "f.rowid").where("s.project_id", "=", projectId).$if(owner !== undefined, (q) => q.where("s.kind", "=", "session_message").where("s.author_kind", "=", "owner").$if((owner?.notSessions.length ?? 0) > 0, (q2) => q2.where("s.session_id", "not in", owner?.notSessions ?? [])));
-  const ranked = await query.select(["s.id", "f.rank"]).orderBy("f.rank").orderBy("s.id").limit(SOURCE_SCAN_MAX + 1).execute();
-  let weaker = 0;
-  let stopped = false;
-  const hits = [];
-  let read = 0;
-  let bytes2 = 0;
-  scan:
-    for (let at = 0;at < ranked.length; at += SOURCE_PAGE) {
-      const ids = ranked.slice(at, at + SOURCE_PAGE).map((r) => r.id);
-      const byId = new Map((await db.selectFrom("source").select([
-        "id",
-        "kind",
-        "artifact",
-        "author_kind",
-        "author_login",
-        "created_at",
-        "text",
-        "session_id",
-        "turn_id"
-      ]).where("id", "in", ids).execute()).map((r) => [r.id, r]));
-      for (const id of ids) {
-        if (read >= SOURCE_SCAN_MAX || bytes2 >= SOURCE_SCAN_BYTES) {
-          stopped = true;
-          break scan;
-        }
-        const r = byId.get(id);
-        if (!r)
-          continue;
-        read++;
-        bytes2 += Buffer.byteLength(r.text);
-        const own2 = new Set(terms(r.text));
-        const matched = wanted.filter((w) => own2.has(w));
-        if (!strong(matched.length, wanted.length)) {
-          weaker++;
-          continue;
-        }
-        hits.push({
-          id: r.id,
-          kind: r.kind,
-          artifact: r.artifact,
-          author: r.author_login ?? r.author_kind,
-          created_at: r.created_at,
-          text: r.text,
-          matched,
-          session: r.session_id,
-          turn: r.turn_id
-        });
-        if (hits.length >= limit)
-          break scan;
-      }
-    }
-  if (!stopped && hits.length < limit && ranked.length > SOURCE_SCAN_MAX)
-    stopped = true;
-  return { hits, weaker, terms: wanted, stopped, read };
-}
-
-// server/src/asked.ts
-var DECIDED_KINDS = new Set(["decision", "constraint"]);
-var DECIDED_LIFECYCLES = new Set(["active", "superseded", "withdrawn"]);
-var PER_MESSAGE = 10;
-async function askedBefore(db, projectId, q) {
-  const kept = (u) => (!q.kinds?.length || q.kinds.includes(u.kind)) && (!q.lifecycles?.length || q.lifecycles.includes(u.lifecycle));
-  const found = await searchSources(db, projectId, q.question, Number.POSITIVE_INFINITY, {
-    notSessions: q.notSessions
-  });
-  const ids = found.hits.map((h) => h.id);
-  const cited = ids.length ? await citing(db, ids) : [];
-  const traced = new Set(ids.length ? (await db.selectFrom("source_processing").select("source_id").where("source_id", "in", ids).execute()).map((r) => r.source_id) : []);
-  const decided = new Set(cited.filter((c) => DECIDED_KINDS.has(c.kind) && DECIDED_LIFECYCLES.has(c.lifecycle)).map((c) => c.source_id));
-  const all = [];
-  for (const m of found.hits) {
-    const direct = unique(cited.filter((c) => c.source_id === m.id));
-    const shown = direct.filter(kept);
-    all.push({
-      message: m,
-      led: shown.map((u) => ({ ...u, now: [] })),
-      hidden: direct.length - shown.length,
-      context: [],
-      direct: new Set(direct.map((u) => u.id)),
-      decided: decided.has(m.id),
-      traced: traced.has(m.id),
-      reply: null
-    });
-  }
-  const messages = all.slice(0, q.limit);
-  for (const e of messages) {
-    for (const u of e.led)
-      if (u.lifecycle === "superseded")
-        u.now = await liveSuccessors(db, u.id);
-    await sameTurn(db, e, kept);
-  }
-  const sessions = new Map;
-  for (const e of all) {
-    const s = e.message.session ?? "";
-    const was = sessions.get(s) ?? { decided: false, traced: true };
-    sessions.set(s, { decided: was.decided || e.decided, traced: was.traced && e.traced });
-  }
-  const none = [...sessions.values()].every((s) => !s.decided);
-  const repeats = sessions.size >= 2 && none ? {
-    untraced: [...sessions].filter(([, s]) => !s.traced).map(([id]) => id),
-    traced: [...sessions].filter(([, s]) => s.traced).map(([id]) => id)
-  } : null;
-  return {
-    messages,
-    repeats,
-    terms: found.terms,
-    weaker: found.weaker,
-    stopped: found.stopped,
-    read: found.read
-  };
-}
-async function citing(db, sources) {
-  const [evidence, adoption] = await Promise.all([
-    db.selectFrom("unit_evidence as e").innerJoin("unit as u", "u.id", "e.unit_id").where("e.source_id", "in", sources).where("e.retracted_at", "is", null).where("u.extraction", "=", "supported").select(["e.source_id", "e.role", "u.id", "u.key", "u.kind", "u.lifecycle"]).orderBy("u.id").execute(),
-    db.selectFrom("unit_adoption as a").innerJoin("unit as u", "u.id", "a.unit_id").where("a.source_id", "in", sources).where("a.retracted_at", "is", null).where("u.extraction", "=", "supported").select(["a.source_id", "u.id", "u.key", "u.kind", "u.lifecycle"]).orderBy("u.id").execute()
-  ]);
-  return [...evidence, ...adoption.map((a) => ({ ...a, role: "adoption" }))];
-}
-var unique = (xs) => [...new Map(xs.map((x) => [x.id, x])).values()];
-async function sameTurn(db, e, kept) {
-  const { session, turn, id } = e.message;
-  if (!session || !turn)
-    return;
-  const others = await db.selectFrom("source").select(["id", "author_kind"]).where("session_id", "=", session).where("turn_id", "=", turn).where("id", "<>", id).orderBy("id").execute();
-  e.reply = others.findLast((o) => o.author_kind === "assistant")?.id ?? null;
-  if (!others.length)
-    return;
-  const speaker = new Map(others.map((o) => [o.id, o.author_kind]));
-  const seen = new Set;
-  for (const c of await citing(db, others.map((o) => o.id))) {
-    const k = `${c.id}\x00${c.source_id}\x00${c.role}`;
-    if (e.direct.has(c.id) || !kept(c) || seen.has(k))
-      continue;
-    seen.add(k);
-    e.context.push({
-      key: c.key,
-      kind: c.kind,
-      lifecycle: c.lifecycle,
-      speaker: speaker.get(c.source_id) ?? "",
-      role: c.role
-    });
-  }
-}
-var UNKNOWN_SESSION = "Current session unknown; results and session counts may include its messages. Pass session to exclude it.";
-function askedText(r, known = true) {
-  const parts = r.messages.map((e) => {
-    const m = e.message;
-    const lines = [`## s${m.id}: ${inline(m.artifact)}, ${m.created_at}`, inline(head(m.text, 600))];
-    if (e.led.length) {
-      lines.push("Led to:");
-      for (const u of e.led.slice(0, PER_MESSAGE))
-        lines.push(`- ${inline(u.key)} (${u.kind}, ${u.lifecycle}${u.now.length ? `; now ${u.now.map((n) => `${inline(n.key)} (${n.lifecycle})`).join(", ")}` : ""})`);
-    }
-    if (e.led.length > PER_MESSAGE)
-      lines.push(`and ${e.led.length - PER_MESSAGE} more tied records`);
-    if (e.hidden)
-      lines.push(`${e.hidden} tied record${e.hidden === 1 ? "" : "s"} hidden by the filters.`);
-    if (!e.decided)
-      lines.push(`No recorded decision.${e.traced ? "" : ` Not traced yet: run /sphica:trace ${inline(m.session ?? "")}.`}`);
-    if (e.context.length) {
-      lines.push("Same turn (context, not necessarily the answer):");
-      for (const c of e.context.slice(0, PER_MESSAGE))
-        lines.push(`- ${inline(c.key)} (${c.kind}, ${c.lifecycle}): quotes the ${c.speaker} (${c.role})`);
-      if (e.context.length > PER_MESSAGE)
-        lines.push(`and ${e.context.length - PER_MESSAGE} more in the same turn`);
-    }
-    if (e.reply !== null)
-      lines.push(`Reply: s${e.reply} (read it with read)`);
-    return lines.join(`
-`);
-  });
-  const out = [`${known ? "Earlier owner" : "Owner"} messages matching: ${r.terms.join(", ")}`, ...parts];
-  if (r.repeats) {
-    const n = r.repeats.untraced.length + r.repeats.traced.length;
-    const within = r.stopped ? ` (within the first ${r.read} candidates by rank)` : "";
-    out.push([
-      known ? `Asked in ${n} sessions with no recorded decision${within}:` : `Matching messages in ${n} sessions with no recorded decision (current session may be included)${within}:`,
-      ...r.repeats.untraced.length ? [`- not traced yet: ${r.repeats.untraced.map(inline).join(", ")} (run /sphica:trace with each)`] : [],
-      ...r.repeats.traced.length ? [`- traced: ${r.repeats.traced.map(inline).join(", ")}`] : []
-    ].join(`
-`));
-  }
-  if (r.stopped)
-    out.push(`Stopped after ${r.read} candidates by rank; more may match.`);
-  if (!known)
-    out.push(UNKNOWN_SESSION);
-  return out.join(`
-
-`);
-}
-
 // server/src/kysely-node-sqlite.ts
 var plain2 = (row) => {
   const out = {};
@@ -46030,7 +45691,7 @@ var HOST_MARKS = new Set([".orphaned_at", ".in_use"]);
 
 // server/src/sqlite.ts
 var SCHEMA_GENERATION = 2;
-var SCHEMA_REVISION = 7;
+var SCHEMA_REVISION = 8;
 var sphicaHome = () => process.env.SPHICA_HOME || path2.join(os.homedir(), ".sphica");
 var dbFile = () => process.env.SPHICA_DB || path2.join(sphicaHome(), "sphica.db");
 function requireRuntime() {
@@ -46057,176 +45718,636 @@ function prepare(raw, check2, busyMs = 5000) {
   throw new RevisionMismatch(got ?? 0);
 }
 
-class RevisionMismatch extends Error {
-  constructor(got) {
-    super(`The database schema is revision ${got}, but this Sphica expects revision ${SCHEMA_REVISION}. ` + (got < SCHEMA_REVISION ? `Run \`npm i -g sphica@${packageVersionAt(ROOT) ?? "latest"}\`, then \`sphica init\` to migrate it (records are kept, and a backup is made first).` : "Update sphica."));
+class RevisionMismatch extends Error {
+  constructor(got) {
+    super(`The database schema is revision ${got}, but this Sphica expects revision ${SCHEMA_REVISION}. ` + (got < SCHEMA_REVISION ? `Run \`npm i -g sphica@${packageVersionAt(ROOT) ?? "latest"}\`, then \`sphica init\` to migrate it (records are kept, and a backup is made first).` : "Update sphica."));
+  }
+}
+function generationOf(raw) {
+  const has = raw.prepare("select 1 from sqlite_schema where type = 'table' and name = 'sphica_generation'").get();
+  if (!has) {
+    const any3 = raw.prepare("select 1 from sqlite_schema where type = 'table' and name = 'project'").get();
+    return any3 ? 1 : null;
+  }
+  return raw.prepare("select generation from sphica_generation").get()?.generation ?? null;
+}
+function checkGeneration(raw) {
+  const got = generationOf(raw);
+  if (got === SCHEMA_GENERATION)
+    return;
+  if (got === null)
+    throw new Error("The database has no sphica schema. Create it with `sphica init`.");
+  throw new Error(got < SCHEMA_GENERATION ? "The database was made by Sphica 0.4 or earlier, and this Sphica cannot read it. Move it aside (it is left unchanged), then run `sphica init`." : "The database was made by a newer Sphica. Update sphica.");
+}
+var READER_FUNCTIONS = new Set([
+  "bm25",
+  "coalesce",
+  "count",
+  "instr",
+  "json_array_length",
+  "json_extract",
+  "json_group_array",
+  "json_object",
+  "length",
+  "lower",
+  "match",
+  "max",
+  "min",
+  "substr"
+]);
+function connectReader(file2 = dbFile()) {
+  requireRuntime();
+  requireFile(file2);
+  const raw = new DatabaseSync(file2, { readOnly: true });
+  try {
+    prepare(raw, "revision");
+  } catch (e) {
+    raw.close();
+    throw e;
+  }
+  raw.setAuthorizer((action, p1, p2) => {
+    if (action === C.SQLITE_READ || action === C.SQLITE_SELECT || action === C.SQLITE_RECURSIVE)
+      return C.SQLITE_OK;
+    if (action === C.SQLITE_FUNCTION)
+      return READER_FUNCTIONS.has((p2 ?? "").toLowerCase()) ? C.SQLITE_OK : C.SQLITE_DENY;
+    if (action === C.SQLITE_PRAGMA && p1 === "data_version" && p2 === null)
+      return C.SQLITE_OK;
+    return C.SQLITE_DENY;
+  });
+  return raw;
+}
+
+// server/src/db.ts
+var JSON_COLUMNS = new Set(["next"]);
+var TOP_LEVEL = /^\$\[\d+\]\."([^"]+)"$/;
+var parseJson = new ParseJSONResultsPlugin({
+  shouldParse: (_value, jsonPath) => JSON_COLUMNS.has(jsonPath.match(TOP_LEVEL)?.[1] ?? "")
+});
+function kyselyOn(connect) {
+  return new Kysely({
+    dialect: new SqliteDialect({ database: async () => adapt(connect()) }),
+    plugins: [parseJson]
+  });
+}
+function openReader(file2 = dbFile()) {
+  return kyselyOn(() => connectReader(file2));
+}
+
+// server/src/knowledge.ts
+var UNIT_KINDS = [
+  "decision",
+  "implementation",
+  "finding",
+  "dead_end",
+  "question",
+  "constraint"
+];
+var STANCES = ["do", "dont", "defer"];
+var LIFECYCLES = ["candidate", "active", "superseded", "withdrawn"];
+var OPTION_OUTCOMES = ["chosen", "rejected", "deferred", "proposed"];
+var EVIDENCE_ROLES = [
+  "states",
+  "proposes",
+  "rejects",
+  "explains",
+  "implements",
+  "reconsiders"
+];
+var WORK_STATUSES = ["active", "blocked", "paused", "done", "abandoned"];
+var FIELD_TYPES = ["text", "enum", "integer", "date"];
+var HOSTS = ["claude-code", "codex"];
+var sessionId = (projectId, host, externalId) => uuidFrom(String(projectId), host, externalId);
+
+// server/src/anchors.ts
+import fs3 from "node:fs";
+import path3 from "node:path";
+var MAX_BYTES = 2 * 1024 * 1024;
+var leaves = (rel) => rel === ".." || rel.startsWith(`..${path3.sep}`) || path3.isAbsolute(rel);
+var literal3 = (s) => s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+function readBytes(root, rel) {
+  const abs = path3.join(root, rel);
+  if (leaves(path3.relative(root, abs)))
+    return;
+  const st = fs3.lstatSync(abs, { throwIfNoEntry: false });
+  if (!st)
+    return null;
+  if (!st.isFile() || st.size > MAX_BYTES)
+    return;
+  try {
+    const inside = path3.relative(fs3.realpathSync(root), fs3.realpathSync(abs));
+    if (leaves(inside))
+      return;
+    const buf = fs3.readFileSync(abs);
+    return buf.includes(0) ? undefined : buf;
+  } catch {
+    return;
+  }
+}
+function readText(root, rel) {
+  const buf = readBytes(root, rel);
+  return buf ? buf.toString("utf8") : buf;
+}
+function findSymbol(text, symbol2) {
+  const re = new RegExp(`(?<![\\w$])${literal3(symbol2)}(?![\\w$])`);
+  const lines = text.split(/\r?\n/);
+  return { lines, i: lines.findIndex((l) => re.test(l)) };
+}
+function fileState(root, rel) {
+  if (!root)
+    return "unknown";
+  if (leaves(path3.relative(root, path3.join(root, rel))))
+    return "unknown";
+  let realRoot;
+  try {
+    realRoot = fs3.realpathSync(root);
+  } catch {
+    return "unknown";
+  }
+  let at = root;
+  for (const part of rel.split("/")) {
+    at = path3.join(at, part);
+    let st;
+    try {
+      st = fs3.lstatSync(at, { throwIfNoEntry: false });
+    } catch (e) {
+      if (e.code === "ENOTDIR")
+        return "gone";
+      return "unknown";
+    }
+    if (!st)
+      return "gone";
+    if (st.isSymbolicLink()) {
+      try {
+        if (leaves(path3.relative(realRoot, fs3.realpathSync(at))))
+          return "unknown";
+      } catch {
+        return "unknown";
+      }
+    }
+  }
+  return "present";
+}
+function checkAnchor(root, a) {
+  if (!root)
+    return { state: "unknown", line: null };
+  const text = readText(root, a.path);
+  if (text === null)
+    return { state: "missing", line: null };
+  if (text === undefined)
+    return { state: "unknown", line: null };
+  if (!a.symbol)
+    return { state: "located", line: a.line_start };
+  const { i } = findSymbol(text, a.symbol);
+  if (i < 0)
+    return { state: "missing", line: null };
+  return {
+    state: a.line_start === null || a.line_start === i + 1 ? "located" : "moved",
+    line: i + 1
+  };
+}
+
+// server/src/git.ts
+import { execFileSync } from "node:child_process";
+function cleanGit(root, args, max = 1024 * 1024) {
+  const env = Object.fromEntries(Object.entries(process.env).filter(([k]) => !k.startsWith("GIT_")));
+  return execFileSync("git", ["-C", root, ...args], {
+    env,
+    maxBuffer: max,
+    stdio: ["ignore", "pipe", "ignore"],
+    timeout: 1e4
+  });
+}
+
+// server/src/record.ts
+var KEY = /^[a-z0-9][a-z0-9._/-]{0,63}$/;
+var FIELD_NAME = /^[a-z][a-z0-9_]{0,39}$/;
+var SOURCE_REF = /^s[1-9][0-9]{0,15}$/;
+var MAINTAINERS = new Set(["OWNER", "MEMBER", "COLLABORATOR"]);
+var text = (max) => exports_external.string().trim().min(1).max(max);
+var Quote = exports_external.object({ source: exports_external.string().regex(SOURCE_REF, "cite a source ref such as s12"), quote: exports_external.string() }).strict();
+var Evidence = Quote.extend({
+  role: exports_external.enum(EVIDENCE_ROLES).exclude(["reconsiders"]),
+  reported_speaker: text(100).optional()
+}).strict();
+var Unit = exports_external.object({
+  key: exports_external.string().regex(KEY, "use lowercase letters, digits, and . _ - / (at most 64)"),
+  kind: exports_external.enum(UNIT_KINDS),
+  stance: exports_external.enum(STANCES).optional(),
+  text: text(2000),
+  why: text(2000).optional(),
+  scope_note: text(1000).optional(),
+  revisit_when: text(1000).optional(),
+  no_code_surface: text(500).optional(),
+  options: exports_external.array(exports_external.object({
+    text: text(500),
+    outcome: exports_external.enum(OPTION_OUTCOMES),
+    why: text(2000).optional(),
+    reconsider_when: text(1000).optional(),
+    reconsider_quote: Quote.optional(),
+    evidence: exports_external.array(Evidence.partial({ role: true })).max(10).default([])
+  }).strict()).max(12).default([]),
+  evidence: exports_external.array(Evidence).max(20).default([]),
+  adoption: exports_external.array(Quote).max(5).default([]),
+  anchors: exports_external.array(exports_external.object({
+    path: text(500),
+    symbol: text(200).optional(),
+    role: exports_external.enum(["applies_to", "evidence"]),
+    commit: exports_external.string().regex(/^[0-9a-f]{40}$/, "a full 40-character commit sha").optional(),
+    lines: exports_external.tuple([exports_external.number().int().positive(), exports_external.number().int().positive()]).optional()
+  }).strict()).max(20).default([]),
+  aliases: exports_external.array(exports_external.string()).max(12).default([]),
+  supersedes: exports_external.string().min(1).optional(),
+  conflicts: exports_external.array(exports_external.string().min(1)).max(5).default([]),
+  fields: exports_external.array(exports_external.object({
+    name: exports_external.string().regex(FIELD_NAME, "a defined field name"),
+    value: text(200),
+    quote: Quote
+  }).strict()).max(12).default([])
+}).strict();
+var FieldDef = exports_external.object({
+  name: exports_external.string().regex(FIELD_NAME, "a lowercase letter, then lowercase letters, digits, and _ (at most 40)"),
+  type: exports_external.enum(FIELD_TYPES),
+  label: text(100),
+  description: text(500),
+  enum: exports_external.array(text(100)).min(1).max(30).optional(),
+  kinds: exports_external.array(exports_external.enum(UNIT_KINDS)).max(UNIT_KINDS.length).default([]),
+  quote: Quote
+}).strict();
+var Work = exports_external.object({
+  key: exports_external.string().regex(KEY),
+  title: text(200),
+  goal: text(1000),
+  current: text(2000),
+  next: exports_external.array(text(500)).max(10).default([]),
+  status: exports_external.enum(WORK_STATUSES)
+}).strict();
+var Record = exports_external.object({
+  field_defs: exports_external.array(FieldDef).max(10).default([]),
+  units: exports_external.array(Unit).max(50),
+  work: Work.optional()
+}).strict();
+function repoPath(p) {
+  const s = p.trim().replace(/^\.\//, "");
+  if (!s || s.startsWith("/") || s.includes("\\") || /^[A-Za-z]:/.test(s) || /\p{Cc}/u.test(s))
+    return null;
+  const parts = s.split("/");
+  if (parts.some((x) => x === ".." || x === "." || x === ""))
+    return null;
+  return s;
+}
+
+// server/src/search.ts
+var UNIT_PAGE = 200;
+var UNIT_SCAN_MAX = 2000;
+var SOURCE_PAGE = 50;
+var SOURCE_SCAN_MAX = 600;
+var SOURCE_SCAN_BYTES = 64 * 1024 * 1024;
+var LIFE_ORDER = { active: 0, candidate: 1, superseded: 2, withdrawn: 3 };
+var strong = (matched, of) => matched * 2 > of;
+var PATH_REFUSED = "path must be relative to the repository root, such as src/x.ts: absolute paths, .., backslashes, and empty parts are refused";
+async function searchUnits(db, projectId, q) {
+  const wanted = queryTerms(q.question);
+  const path4 = q.path === undefined ? undefined : repoPath(q.path);
+  if (path4 === null)
+    return { hits: [], weaker: 0, terms: wanted, stopped: false, read: 0, refused: PATH_REFUSED };
+  const match = ftsQuery(q.question);
+  if (!match)
+    return { hits: [], weaker: 0, terms: wanted, stopped: false, read: 0 };
+  let query = db.selectFrom(sql`(select unit_fts.rowid as rowid, bm25(unit_fts, 3, 2, 1) as rank from unit_fts cross join unit on unit.id = unit_fts.rowid where unit_fts match ${match} and unit.project_id = ${projectId})`.as("f")).innerJoin("unit as u", "u.id", "f.rowid").where("u.project_id", "=", projectId).where("u.extraction", "=", "supported");
+  if (q.kinds?.length)
+    query = query.where("u.kind", "in", q.kinds);
+  if (q.lifecycles?.length)
+    query = query.where("u.lifecycle", "in", q.lifecycles);
+  if (path4)
+    query = query.where(({ exists, selectFrom }) => exists(selectFrom("unit_anchor as a").select("a.id").whereRef("a.unit_id", "=", "u.id").where("a.path", "=", path4).where("a.retired_at", "is", null)));
+  const ranked = await query.select(["u.id", "f.rank"]).orderBy("f.rank").orderBy("u.id").limit(UNIT_SCAN_MAX + 1).execute();
+  const stopped = ranked.length > UNIT_SCAN_MAX;
+  let weaker = 0;
+  let read = 0;
+  const hits = [];
+  for (let at = 0;at < Math.min(ranked.length, UNIT_SCAN_MAX); at += UNIT_PAGE) {
+    const part = ranked.slice(at, Math.min(at + UNIT_PAGE, UNIT_SCAN_MAX));
+    const order = new Map(part.map((r, i) => [r.id, i]));
+    const rows = (await query.select([
+      "u.id",
+      "u.key",
+      "u.kind",
+      "u.stance",
+      "u.lifecycle",
+      "u.text",
+      "u.why",
+      "u.scope_note",
+      "u.revisit_when",
+      "u.content_hash",
+      "f.rank"
+    ]).where("u.id", "in", part.map((r) => r.id)).execute()).sort((a, b) => (order.get(a.id) ?? 0) - (order.get(b.id) ?? 0));
+    read += rows.length;
+    weaker += await judgeUnits(db, rows, wanted, hits);
   }
+  const shown = new Set(hits.map((h) => h.id));
+  for (const h of [...hits].filter((x) => x.lifecycle === "superseded"))
+    for (const n of await liveSuccessors(db, h.id))
+      if (!shown.has(n.id) && (!q.kinds?.length || q.kinds.includes(n.kind)) && (!q.lifecycles?.length || q.lifecycles.includes(n.lifecycle))) {
+        shown.add(n.id);
+        hits.push({
+          ...n,
+          options: [],
+          anchors: [],
+          matched: [],
+          aliasOnly: false,
+          successorOf: h.key,
+          rank: h.rank
+        });
+      }
+  hits.sort((a, b) => (LIFE_ORDER[a.lifecycle] ?? 9) - (LIFE_ORDER[b.lifecycle] ?? 9) || b.matched.length - a.matched.length || a.rank - b.rank);
+  return {
+    hits: hits.slice(0, q.limit).map(({ rank: _rank, ...h }) => h),
+    weaker,
+    terms: wanted,
+    stopped,
+    read
+  };
 }
-function generationOf(raw) {
-  const has = raw.prepare("select 1 from sqlite_schema where type = 'table' and name = 'sphica_generation'").get();
-  if (!has) {
-    const any3 = raw.prepare("select 1 from sqlite_schema where type = 'table' and name = 'project'").get();
-    return any3 ? 1 : null;
+async function liveSuccessors(db, id) {
+  const seen = new Set([id]);
+  const found = [];
+  const replaced = new Set;
+  for (let frontier = [id];frontier.length; ) {
+    const next = await db.selectFrom("unit_link as l").innerJoin("unit as n", "n.id", "l.from_unit").where("l.to_unit", "in", frontier).where("l.kind", "=", "supersedes").where("n.extraction", "=", "supported").where("n.lifecycle", "<>", "candidate").select([
+      "l.to_unit",
+      "n.id",
+      "n.key",
+      "n.kind",
+      "n.stance",
+      "n.lifecycle",
+      "n.text",
+      "n.why",
+      "n.revisit_when"
+    ]).execute();
+    frontier = [];
+    for (const { to_unit, ...n } of next) {
+      replaced.add(to_unit);
+      if (seen.has(n.id))
+        continue;
+      seen.add(n.id);
+      found.push(n);
+      frontier.push(n.id);
+    }
   }
-  return raw.prepare("select generation from sphica_generation").get()?.generation ?? null;
-}
-function checkGeneration(raw) {
-  const got = generationOf(raw);
-  if (got === SCHEMA_GENERATION)
-    return;
-  if (got === null)
-    throw new Error("The database has no sphica schema. Create it with `sphica init`.");
-  throw new Error(got < SCHEMA_GENERATION ? "The database was made by Sphica 0.4 or earlier, and this Sphica cannot read it. Move it aside (it is left unchanged), then run `sphica init`." : "The database was made by a newer Sphica. Update sphica.");
+  return found.filter((n) => !replaced.has(n.id));
 }
-var READER_FUNCTIONS = new Set([
-  "bm25",
-  "coalesce",
-  "count",
-  "instr",
-  "json_array_length",
-  "json_extract",
-  "json_group_array",
-  "json_object",
-  "length",
-  "lower",
-  "match",
-  "max",
-  "min",
-  "substr"
-]);
-function connectReader(file2 = dbFile()) {
-  requireRuntime();
-  requireFile(file2);
-  const raw = new DatabaseSync(file2, { readOnly: true });
-  try {
-    prepare(raw, "revision");
-  } catch (e) {
-    raw.close();
-    throw e;
+async function judgeUnits(db, rows, wanted, hits) {
+  const ids = rows.map((r) => r.id);
+  const [options, anchors, aliases, fields] = ids.length ? await Promise.all([
+    db.selectFrom("unit_option").select(["unit_id", "text", "outcome", "why", "reconsider_when"]).where("unit_id", "in", ids).orderBy("position").execute(),
+    db.selectFrom("unit_anchor").select(["unit_id", "path", "symbol", "role"]).where("unit_id", "in", ids).where("retired_at", "is", null).orderBy("id").execute(),
+    db.selectFrom("unit_alias").select(["unit_id", "terms", "content_hash"]).where("unit_id", "in", ids).orderBy("id", "desc").execute(),
+    db.selectFrom("unit_field as f").innerJoin("field_def as d", "d.id", "f.field_def_id").select(["f.unit_id", "d.name", "f.value"]).where("f.unit_id", "in", ids).execute()
+  ]) : [[], [], [], []];
+  let weaker = 0;
+  for (const r of rows) {
+    const opts = options.filter((o) => o.unit_id === r.id);
+    const anch = anchors.filter((a) => a.unit_id === r.id);
+    const alias = aliases.find((a) => a.unit_id === r.id && Buffer.from(a.content_hash).equals(Buffer.from(r.content_hash)));
+    const own2 = new Set(terms([
+      r.text,
+      r.why,
+      r.scope_note,
+      r.revisit_when,
+      ...opts.flatMap((o) => [o.text, o.why, o.reconsider_when]),
+      ...anch.flatMap((a) => [a.path, a.symbol]),
+      ...fields.filter((f) => f.unit_id === r.id).flatMap((f) => [f.name, f.value])
+    ].filter(Boolean).join(`
+`)));
+    const extra = new Set(alias ? terms(JSON.parse(alias.terms).join(" ")) : []);
+    const matched = wanted.filter((w) => own2.has(w) || extra.has(w));
+    const ident = new Set(anch.flatMap((a) => [a.path, a.symbol].flatMap((x) => x ? [identTerm(x)] : [])));
+    if (!strong(matched.length, wanted.length) && !matched.some((w) => ident.has(w))) {
+      weaker++;
+      continue;
+    }
+    hits.push({
+      id: r.id,
+      key: r.key,
+      kind: r.kind,
+      stance: r.stance,
+      lifecycle: r.lifecycle,
+      text: r.text,
+      why: r.why,
+      revisit_when: r.revisit_when,
+      options: opts.map((o) => ({ text: o.text, outcome: o.outcome, why: o.why })),
+      anchors: anch.map((a) => ({ path: a.path, symbol: a.symbol, role: a.role })),
+      matched,
+      aliasOnly: matched.every((w) => !own2.has(w)),
+      rank: r.rank
+    });
   }
-  raw.setAuthorizer((action, p1, p2) => {
-    if (action === C.SQLITE_READ || action === C.SQLITE_SELECT || action === C.SQLITE_RECURSIVE)
-      return C.SQLITE_OK;
-    if (action === C.SQLITE_FUNCTION)
-      return READER_FUNCTIONS.has((p2 ?? "").toLowerCase()) ? C.SQLITE_OK : C.SQLITE_DENY;
-    if (action === C.SQLITE_PRAGMA && p1 === "data_version" && p2 === null)
-      return C.SQLITE_OK;
-    return C.SQLITE_DENY;
-  });
-  return raw;
+  return weaker;
 }
-
-// server/src/db.ts
-var JSON_COLUMNS = new Set(["next"]);
-var TOP_LEVEL = /^\$\[\d+\]\."([^"]+)"$/;
-var parseJson = new ParseJSONResultsPlugin({
-  shouldParse: (_value, jsonPath) => JSON_COLUMNS.has(jsonPath.match(TOP_LEVEL)?.[1] ?? "")
-});
-function kyselyOn(connect) {
-  return new Kysely({
-    dialect: new SqliteDialect({ database: async () => adapt(connect()) }),
-    plugins: [parseJson]
+async function searchSources(db, projectId, question, limit, owner) {
+  const wanted = queryTerms(question);
+  const match = ftsQuery(question);
+  if (!match)
+    return { hits: [], weaker: 0, terms: wanted, stopped: false, read: 0 };
+  const query = db.selectFrom(sql`(select source_fts.rowid as rowid, bm25(source_fts) as rank from source_fts cross join source on source.id = source_fts.rowid where source_fts match ${match} and source.project_id = ${projectId})`.as("f")).innerJoin("source as s", "s.id", "f.rowid").where("s.project_id", "=", projectId).$if(owner !== undefined, (q) => q.where("s.kind", "=", "session_message").where("s.author_kind", "=", "owner").$if((owner?.notSessions.length ?? 0) > 0, (q2) => q2.where("s.session_id", "not in", owner?.notSessions ?? [])));
+  const ranked = await query.select(["s.id", "f.rank"]).orderBy("f.rank").orderBy("s.id").limit(SOURCE_SCAN_MAX + 1).execute();
+  let weaker = 0;
+  let stopped = false;
+  const hits = [];
+  let read = 0;
+  let bytes2 = 0;
+  scan:
+    for (let at = 0;at < ranked.length; at += SOURCE_PAGE) {
+      const ids = ranked.slice(at, at + SOURCE_PAGE).map((r) => r.id);
+      const byId = new Map((await db.selectFrom("source").select([
+        "id",
+        "kind",
+        "artifact",
+        "author_kind",
+        "author_login",
+        "created_at",
+        "text",
+        "session_id",
+        "turn_id"
+      ]).where("id", "in", ids).execute()).map((r) => [r.id, r]));
+      for (const id of ids) {
+        if (read >= SOURCE_SCAN_MAX || bytes2 >= SOURCE_SCAN_BYTES) {
+          stopped = true;
+          break scan;
+        }
+        const r = byId.get(id);
+        if (!r)
+          continue;
+        read++;
+        bytes2 += Buffer.byteLength(r.text);
+        const own2 = new Set(terms(r.text));
+        const matched = wanted.filter((w) => own2.has(w));
+        if (!strong(matched.length, wanted.length)) {
+          weaker++;
+          continue;
+        }
+        hits.push({
+          id: r.id,
+          kind: r.kind,
+          artifact: r.artifact,
+          author: r.author_login ?? r.author_kind,
+          created_at: r.created_at,
+          text: r.text,
+          matched,
+          session: r.session_id,
+          turn: r.turn_id
+        });
+        if (hits.length >= limit)
+          break scan;
+      }
+    }
+  if (!stopped && hits.length < limit && ranked.length > SOURCE_SCAN_MAX)
+    stopped = true;
+  return { hits, weaker, terms: wanted, stopped, read };
+}
+
+// server/src/asked.ts
+var DECIDED_KINDS = new Set(["decision", "constraint"]);
+var DECIDED_LIFECYCLES = new Set(["active", "superseded", "withdrawn"]);
+var PER_MESSAGE = 10;
+async function askedBefore(db, projectId, q) {
+  const kept = (u) => (!q.kinds?.length || q.kinds.includes(u.kind)) && (!q.lifecycles?.length || q.lifecycles.includes(u.lifecycle));
+  const found = await searchSources(db, projectId, q.question, Number.POSITIVE_INFINITY, {
+    notSessions: q.notSessions
   });
+  const ids = found.hits.map((h) => h.id);
+  const cited = ids.length ? await citing(db, ids) : [];
+  const traced = new Set(ids.length ? (await db.selectFrom("source_processing").select("source_id").where("source_id", "in", ids).execute()).map((r) => r.source_id) : []);
+  const decided = new Set(cited.filter((c) => DECIDED_KINDS.has(c.kind) && DECIDED_LIFECYCLES.has(c.lifecycle)).map((c) => c.source_id));
+  const all = [];
+  for (const m of found.hits) {
+    const direct = unique(cited.filter((c) => c.source_id === m.id));
+    const shown = direct.filter(kept);
+    all.push({
+      message: m,
+      led: shown.map((u) => ({ ...u, now: [] })),
+      hidden: direct.length - shown.length,
+      context: [],
+      direct: new Set(direct.map((u) => u.id)),
+      decided: decided.has(m.id),
+      traced: traced.has(m.id),
+      reply: null
+    });
+  }
+  const messages = all.slice(0, q.limit);
+  for (const e of messages) {
+    for (const u of e.led)
+      if (u.lifecycle === "superseded")
+        u.now = await liveSuccessors(db, u.id);
+    await sameTurn(db, e, kept);
+  }
+  const sessions = new Map;
+  for (const e of all) {
+    const s = e.message.session ?? "";
+    const was = sessions.get(s) ?? { decided: false, traced: true };
+    sessions.set(s, { decided: was.decided || e.decided, traced: was.traced && e.traced });
+  }
+  const none = [...sessions.values()].every((s) => !s.decided);
+  const repeats = sessions.size >= 2 && none ? {
+    untraced: [...sessions].filter(([, s]) => !s.traced).map(([id]) => id),
+    traced: [...sessions].filter(([, s]) => s.traced).map(([id]) => id)
+  } : null;
+  return {
+    messages,
+    repeats,
+    terms: found.terms,
+    weaker: found.weaker,
+    stopped: found.stopped,
+    read: found.read
+  };
 }
-function openReader(file2 = dbFile()) {
-  return kyselyOn(() => connectReader(file2));
+async function citing(db, sources) {
+  const [evidence, adoption] = await Promise.all([
+    db.selectFrom("unit_evidence as e").innerJoin("unit as u", "u.id", "e.unit_id").where("e.source_id", "in", sources).where("e.retracted_at", "is", null).where("u.extraction", "=", "supported").select(["e.source_id", "e.role", "u.id", "u.key", "u.kind", "u.lifecycle"]).orderBy("u.id").execute(),
+    db.selectFrom("unit_adoption as a").innerJoin("unit as u", "u.id", "a.unit_id").where("a.source_id", "in", sources).where("a.retracted_at", "is", null).where("u.extraction", "=", "supported").select(["a.source_id", "u.id", "u.key", "u.kind", "u.lifecycle"]).orderBy("u.id").execute()
+  ]);
+  return [...evidence, ...adoption.map((a) => ({ ...a, role: "adoption" }))];
 }
-
-// server/src/export.ts
-import fs5 from "node:fs";
-import path5 from "node:path";
-
-// server/src/anchors.ts
-import fs3 from "node:fs";
-import path3 from "node:path";
-var MAX_BYTES = 2 * 1024 * 1024;
-var leaves = (rel) => rel === ".." || rel.startsWith(`..${path3.sep}`) || path3.isAbsolute(rel);
-var literal3 = (s) => s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
-function readBytes(root, rel) {
-  const abs = path3.join(root, rel);
-  if (leaves(path3.relative(root, abs)))
-    return;
-  const st = fs3.lstatSync(abs, { throwIfNoEntry: false });
-  if (!st)
-    return null;
-  if (!st.isFile() || st.size > MAX_BYTES)
+var unique = (xs) => [...new Map(xs.map((x) => [x.id, x])).values()];
+async function sameTurn(db, e, kept) {
+  const { session, turn, id } = e.message;
+  if (!session || !turn)
     return;
-  try {
-    const inside = path3.relative(fs3.realpathSync(root), fs3.realpathSync(abs));
-    if (leaves(inside))
-      return;
-    const buf = fs3.readFileSync(abs);
-    return buf.includes(0) ? undefined : buf;
-  } catch {
+  const others = await db.selectFrom("source").select(["id", "author_kind"]).where("session_id", "=", session).where("turn_id", "=", turn).where("id", "<>", id).orderBy("id").execute();
+  e.reply = others.findLast((o) => o.author_kind === "assistant")?.id ?? null;
+  if (!others.length)
     return;
+  const speaker = new Map(others.map((o) => [o.id, o.author_kind]));
+  const seen = new Set;
+  for (const c of await citing(db, others.map((o) => o.id))) {
+    const k = `${c.id}\x00${c.source_id}\x00${c.role}`;
+    if (e.direct.has(c.id) || !kept(c) || seen.has(k))
+      continue;
+    seen.add(k);
+    e.context.push({
+      key: c.key,
+      kind: c.kind,
+      lifecycle: c.lifecycle,
+      speaker: speaker.get(c.source_id) ?? "",
+      role: c.role
+    });
   }
 }
-function readText(root, rel) {
-  const buf = readBytes(root, rel);
-  return buf ? buf.toString("utf8") : buf;
-}
-function findSymbol(text, symbol2) {
-  const re = new RegExp(`(?<![\\w$])${literal3(symbol2)}(?![\\w$])`);
-  const lines = text.split(/\r?\n/);
-  return { lines, i: lines.findIndex((l) => re.test(l)) };
-}
-function fileState(root, rel) {
-  if (!root)
-    return "unknown";
-  if (leaves(path3.relative(root, path3.join(root, rel))))
-    return "unknown";
-  let realRoot;
-  try {
-    realRoot = fs3.realpathSync(root);
-  } catch {
-    return "unknown";
-  }
-  let at = root;
-  for (const part of rel.split("/")) {
-    at = path3.join(at, part);
-    let st;
-    try {
-      st = fs3.lstatSync(at, { throwIfNoEntry: false });
-    } catch (e) {
-      if (e.code === "ENOTDIR")
-        return "gone";
-      return "unknown";
+var UNKNOWN_SESSION = "Current session unknown; results and session counts may include its messages. Pass session to exclude it.";
+function askedText(r, known = true) {
+  const parts = r.messages.map((e) => {
+    const m = e.message;
+    const lines = [`## s${m.id}: ${inline(m.artifact)}, ${m.created_at}`, inline(head(m.text, 600))];
+    if (e.led.length) {
+      lines.push("Led to:");
+      for (const u of e.led.slice(0, PER_MESSAGE))
+        lines.push(`- ${inline(u.key)} (${u.kind}, ${u.lifecycle}${u.now.length ? `; now ${u.now.map((n) => `${inline(n.key)} (${n.lifecycle})`).join(", ")}` : ""})`);
     }
-    if (!st)
-      return "gone";
-    if (st.isSymbolicLink()) {
-      try {
-        if (leaves(path3.relative(realRoot, fs3.realpathSync(at))))
-          return "unknown";
-      } catch {
-        return "unknown";
-      }
+    if (e.led.length > PER_MESSAGE)
+      lines.push(`and ${e.led.length - PER_MESSAGE} more tied records`);
+    if (e.hidden)
+      lines.push(`${e.hidden} tied record${e.hidden === 1 ? "" : "s"} hidden by the filters.`);
+    if (!e.decided)
+      lines.push(`No recorded decision.${e.traced ? "" : ` Not traced yet: run /sphica:trace ${inline(m.session ?? "")}.`}`);
+    if (e.context.length) {
+      lines.push("Same turn (context, not necessarily the answer):");
+      for (const c of e.context.slice(0, PER_MESSAGE))
+        lines.push(`- ${inline(c.key)} (${c.kind}, ${c.lifecycle}): quotes the ${c.speaker} (${c.role})`);
+      if (e.context.length > PER_MESSAGE)
+        lines.push(`and ${e.context.length - PER_MESSAGE} more in the same turn`);
     }
+    if (e.reply !== null)
+      lines.push(`Reply: s${e.reply} (read it with read)`);
+    return lines.join(`
+`);
+  });
+  const out = [`${known ? "Earlier owner" : "Owner"} messages matching: ${r.terms.join(", ")}`, ...parts];
+  if (r.repeats) {
+    const n = r.repeats.untraced.length + r.repeats.traced.length;
+    const within = r.stopped ? ` (within the first ${r.read} candidates by rank)` : "";
+    out.push([
+      known ? `Asked in ${n} sessions with no recorded decision${within}:` : `Matching messages in ${n} sessions with no recorded decision (current session may be included)${within}:`,
+      ...r.repeats.untraced.length ? [`- not traced yet: ${r.repeats.untraced.map(inline).join(", ")} (run /sphica:trace with each)`] : [],
+      ...r.repeats.traced.length ? [`- traced: ${r.repeats.traced.map(inline).join(", ")}`] : []
+    ].join(`
+`));
   }
-  return "present";
-}
-function checkAnchor(root, a) {
-  if (!root)
-    return { state: "unknown", line: null };
-  const text = readText(root, a.path);
-  if (text === null)
-    return { state: "missing", line: null };
-  if (text === undefined)
-    return { state: "unknown", line: null };
-  if (!a.symbol)
-    return { state: "located", line: a.line_start };
-  const { i } = findSymbol(text, a.symbol);
-  if (i < 0)
-    return { state: "missing", line: null };
-  return {
-    state: a.line_start === null || a.line_start === i + 1 ? "located" : "moved",
-    line: i + 1
-  };
+  if (r.stopped)
+    out.push(`Stopped after ${r.read} candidates by rank; more may match.`);
+  if (!known)
+    out.push(UNKNOWN_SESSION);
+  return out.join(`
+
+`);
 }
 
+// server/src/export.ts
+import fs5 from "node:fs";
+import path5 from "node:path";
+
 // server/src/read.ts
 var UNSUPPORTED = "unsupported: its owner quote was retracted or forgotten, so it is not the owner's condition";
-var cut = (text, start, end) => Buffer.from(text, "utf8").subarray(start, end).toString("utf8");
+var cut = (text2, start, end) => Buffer.from(text2, "utf8").subarray(start, end).toString("utf8");
 var speaker = (s) => s.author_kind === "owner" ? "the owner" : s.author_kind === "assistant" ? "the assistant" : `${s.author_login ?? "someone"} (${s.author_association ?? s.author_kind})`;
 async function readUnit(db, projectId, ref, root, asOf) {
   const byId = /^u([1-9][0-9]{0,15})$/.exec(ref);
@@ -46375,8 +46496,8 @@ async function readSource(db, projectId, ref) {
 `);
 }
 var PART = 64 * 1024;
-function part(id, text, from) {
-  const all = Buffer.from(text, "utf8");
+function part(id, text2, from) {
+  const all = Buffer.from(text2, "utf8");
   let start = Math.min(from, all.length);
   while (start > 0 && start < all.length && ((all[start] ?? 0) & 192) === 128)
     start--;
@@ -46388,20 +46509,6 @@ function part(id, text, from) {
 // server/src/rule-files.ts
 import fs4 from "node:fs";
 import path4 from "node:path";
-
-// server/src/git.ts
-import { execFileSync } from "node:child_process";
-function cleanGit(root, args, max = 1024 * 1024) {
-  const env = Object.fromEntries(Object.entries(process.env).filter(([k]) => !k.startsWith("GIT_")));
-  return execFileSync("git", ["-C", root, ...args], {
-    env,
-    maxBuffer: max,
-    stdio: ["ignore", "pipe", "ignore"],
-    timeout: 1e4
-  });
-}
-
-// server/src/rule-files.ts
 var RULE_LIMITS = { files: 200, bytes: 256 * 1024, depth: 8, entries: 5000 };
 var RULE_NAMES = new Set(["CLAUDE.md", "AGENTS.md", "AGENTS.override.md"]);
 var PATHSPECS = [...RULE_NAMES, ".claude/rules/**/*.md"].map((p) => `:(glob)**/${p}`);
@@ -46422,13 +46529,13 @@ function ruleFiles(root) {
       out.skipped++;
       continue;
     }
-    const text = readBounded(root, realRoot, rel);
-    if (text === null)
+    const text2 = readBounded(root, realRoot, rel);
+    if (text2 === null)
       continue;
-    if (text === undefined)
+    if (text2 === undefined)
       out.skipped++;
     else
-      out.files.push({ path: rel, text });
+      out.files.push({ path: rel, text: text2 });
   }
   return out;
 }
@@ -46586,14 +46693,14 @@ async function lines(db, u) {
   return out;
 }
 function fenced(body) {
-  const text = body.join(`
+  const text2 = body.join(`
 `);
   let longest = 0;
-  for (const m of text.matchAll(/`+/g))
+  for (const m of text2.matchAll(/`+/g))
     longest = Math.max(longest, m[0].length);
   const fence = "`".repeat(Math.max(3, longest + 1));
   return `${fence}text
-${text}
+${text2}
 ${fence}`;
 }
 async function replaced(db, from) {
@@ -46809,19 +46916,6 @@ async function fieldsText(db, projectId) {
   return framed(await fieldsTable(db, projectId));
 }
 
-// server/src/knowledge.ts
-var UNIT_KINDS = [
-  "decision",
-  "implementation",
-  "finding",
-  "dead_end",
-  "question",
-  "constraint"
-];
-var LIFECYCLES = ["candidate", "active", "superseded", "withdrawn"];
-var HOSTS = ["claude-code", "codex"];
-var sessionId = (projectId, host, externalId) => uuidFrom(String(projectId), host, externalId);
-
 // server/src/overview.ts
 import path6 from "node:path";
 var OVERVIEW_LIMITS = { records: 50, key: 200, text: 300, paths: 520, heading: 120 };
@@ -46955,8 +47049,8 @@ async function lookOverview(db, projectId, root) {
     const scan = ruleFiles(root);
     const found = [];
     for (const f of scan.files)
-      for (const [i, text] of f.text.split(/\r?\n/).entries())
-        for (const m of text.matchAll(MARKER))
+      for (const [i, text2] of f.text.split(/\r?\n/).entries())
+        for (const m of text2.matchAll(MARKER))
           found.push({ file: f.path, line: i + 1, key: m[1] ?? "" });
     const keys = [...new Set(found.map((f) => f.key))];
     const units = new Map;
@@ -47017,7 +47111,7 @@ import fs6 from "node:fs";
 import path7 from "node:path";
 var localFile = () => path7.join(sphicaHome(), "projects.json");
 var LOCAL_KEY = /^[a-z0-9][a-z0-9._-]*$/;
-function normalizeRemote(url2) {
+function legacyRemote(url2) {
   const raw = String(url2 ?? "").trim();
   if (!raw)
     return null;
@@ -47034,6 +47128,15 @@ function normalizeRemote(url2) {
     return null;
   }
 }
+var fold = (s) => s.replace(/[A-Z]+/g, (m) => m.toLowerCase());
+function normalizeKey(key) {
+  if (!key.startsWith("git:"))
+    return key;
+  const rest = key.slice(4);
+  const cut2 = rest.indexOf("/");
+  const host = fold(cut2 < 0 ? rest : rest.slice(0, cut2));
+  return host === "github.com" ? fold(key) : `git:${host}${cut2 < 0 ? "" : rest.slice(cut2)}`;
+}
 var git = (dir, ...args) => {
   try {
     return execFileSync2("git", ["-C", dir, ...args], {
@@ -47068,14 +47171,17 @@ function identify(dir) {
   const given = path7.resolve(dir);
   const top = git(given, "rev-parse", "--show-toplevel");
   const root = top || given;
-  const remote = top ? normalizeRemote(git(root, "remote", "get-url", "origin")) : null;
-  if (remote)
-    return { key: `git:${remote}`, root, name: remote.split("/").slice(1).join("/") || remote };
+  const legacy = top ? legacyRemote(git(root, "remote", "get-url", "origin")) : null;
+  if (legacy) {
+    const key = normalizeKey(`git:${legacy}`);
+    const remote = key.slice(4);
+    return { key, legacyKey: `git:${legacy}`, root, name: remote.split("/").slice(1).join("/") || remote };
+  }
   const map3 = localMap();
   for (let d = root;; d = path7.dirname(d)) {
     const local = map3[d];
     if (local && LOCAL_KEY.test(local))
-      return { key: `local:${local}`, root: d, name: local };
+      return { key: `local:${local}`, legacyKey: `local:${local}`, root: d, name: local };
     if (top || path7.dirname(d) === d)
       return null;
   }
@@ -47112,7 +47218,7 @@ function gitPath(token, prefix) {
   }
   return prefix && out.startsWith(prefix) ? out.slice(prefix.length) : out;
 }
-function parseDiff(text) {
+function parseDiff(text2) {
   const files = [];
   const at = (path8) => {
     const found = files.find((f2) => f2.path === path8);
@@ -47132,7 +47238,7 @@ function parseDiff(text) {
       at(block);
     block = null;
   };
-  const rows = text.split(/\r?\n/);
+  const rows = text2.split(/\r?\n/);
   for (const [i, raw] of rows.entries()) {
     if (cur && (oldLeft > 0 || newLeft > 0)) {
       if (raw.startsWith("+")) {
@@ -47331,7 +47437,7 @@ ${framed(c.work.map((w) => `- ${head(inline(w.title), 200)} (${w.status}): ${hea
 requireRuntime();
 var db = openReader();
 var VERSION = versionAt(ROOT);
-var text = (t, isError = false) => ({
+var text2 = (t, isError = false) => ({
   content: [{ type: "text", text: t }],
   ...isError ? { isError: true } : {}
 });
@@ -47377,46 +47483,46 @@ var CWD = exports_external.string().optional().describe("Which project to use. P
 server.registerTool("status", {
   title: "What Sphica holds for this project",
   description: "Current work, and how much of this project's history is captured and extracted: sessions still waiting for trace, quarantined records, " + "and candidates without adoption. Use it to know whether an empty search means nothing was decided or nothing was extracted yet.",
-  inputSchema: { cwd: CWD },
+  inputSchema: exports_external.object({ cwd: CWD }).strict(),
   annotations: READ_ONLY
 }, async (a) => {
   try {
     const place = identify(a.cwd ?? process.cwd());
     if (!place)
-      return text("This directory is not in a registered project (run `sphica init` there).");
+      return text2("This directory is not in a registered project (run `sphica init` there).");
     const id = await projectId(db, place.key);
     const name = head(inline(place.name), 200);
     if (id === null)
-      return text(`${name} is not registered with Sphica (run \`sphica init\` there).`);
-    return text(await status(db, id, name));
+      return text2(`${name} is not registered with Sphica (run \`sphica init\` there).`);
+    return text2(await status(db, id, name));
   } catch (e) {
-    return text(`Sphica unavailable: ${head(reason(e), 300)}`, true);
+    return text2(`Sphica unavailable: ${head(reason(e), 300)}`, true);
   }
 });
 server.registerTool("search", {
   title: "Search past decisions and implementation",
   description: "Finds records (decisions, constraints, implementations, findings, dead ends, questions) whose text holds most of the query's words, " + "active ones first. Use short queries of the subject's words (identifiers, option names, the domain terms). sources: true searches the " + "captured conversation and pull request text instead. asked: true finds the owner's earlier messages like the query in other sessions, " + "with the records that quote each and whether a decision was recorded. An empty result also says how many weaker matches were left out.",
-  inputSchema: {
+  inputSchema: exports_external.object({
     query: exports_external.string().min(1).max(500).describe("Words for the subject, in Japanese or English"),
     cwd: CWD,
     kinds: exports_external.array(exports_external.enum(UNIT_KINDS)).optional().describe("Only these kinds"),
     lifecycles: exports_external.array(exports_external.enum(LIFECYCLES)).optional().describe("Only these states (default: all, active first)"),
-    path: exports_external.string().max(500).optional().describe("Only records anchored to this repository-relative path"),
+    path: exports_external.string().min(1).max(500).optional().describe("Only records anchored to this repository-relative path"),
     sources: exports_external.boolean().optional().describe("Search captured sources instead of records"),
     asked: exports_external.boolean().optional().describe("Find the owner's earlier messages like the query, what they led to, and repeats with no recorded decision"),
     session: exports_external.string().max(200).optional().describe("With asked: this session's id, so its own messages are left out (in Codex pass CODEX_THREAD_ID from your shell; Codex gives MCP servers none)"),
     limit: exports_external.number().int().min(1).max(20).optional()
-  },
+  }).strict(),
   annotations: READ_ONLY
 }, async (a) => {
   try {
     const p = await projectOf(a.cwd);
     if (typeof p === "string")
-      return text(p);
+      return text2(p);
     const limit = a.limit ?? 8;
     if (a.asked) {
       if (a.sources || a.path !== undefined)
-        return text("asked cannot be combined with sources or path.");
+        return text2("asked cannot be combined with sources or path.");
       const external2 = [a.session, process.env.CLAUDE_CODE_SESSION_ID, process.env.CODEX_THREAD_ID].filter((x) => !!x);
       const r2 = await askedBefore(db, p.id, {
         question: a.query,
@@ -47427,14 +47533,16 @@ server.registerTool("search", {
       });
       const known = external2.length > 0;
       if (!r2.messages.length)
-        return text(`No ${known ? "earlier " : ""}owner message ${r2.stopped ? `among the first ${r2.read} candidates by rank ` : ""}holds most of: ${r2.terms.join(", ") || "(no searchable words)"}. ${r2.weaker} weaker matches left out.${r2.stopped ? " Search with more specific words." : ""}${known ? "" : ` ${UNKNOWN_SESSION}`}`);
-      return text(framed(askedText(r2, known)));
+        return text2(`No ${known ? "earlier " : ""}owner message ${r2.stopped ? `among the first ${r2.read} candidates by rank ` : ""}holds most of: ${r2.terms.join(", ") || "(no searchable words)"}. ${r2.weaker} weaker matches left out.${r2.stopped ? " Search with more specific words." : ""}${known ? "" : ` ${UNKNOWN_SESSION}`}`);
+      return text2(framed(askedText(r2, known)));
     }
     if (a.sources) {
+      if (a.path !== undefined)
+        return text2("sources cannot be combined with path.", true);
       const r2 = await searchSources(db, p.id, a.query, limit);
       if (!r2.hits.length)
-        return text(`No source ${among(r2)}holds most of: ${r2.terms.join(", ") || "(no searchable words)"}. ${r2.weaker} weaker matches left out.${r2.stopped ? " Search with more specific words." : ""}`);
-      return text(framed(r2.hits.map((h) => `## s${h.id}: ${h.kind} ${h.artifact}, ${h.author}, ${h.created_at}
+        return text2(`No source ${among(r2)}holds most of: ${r2.terms.join(", ") || "(no searchable words)"}. ${r2.weaker} weaker matches left out.${r2.stopped ? " Search with more specific words." : ""}`);
+      return text2(framed(r2.hits.map((h) => `## s${h.id}: ${h.kind} ${h.artifact}, ${h.author}, ${h.created_at}
 ${head(h.text, 800)}
 Matched: ${h.matched.join(", ")}`).join(`
 
@@ -47447,107 +47555,109 @@ Matched: ${h.matched.join(", ")}`).join(`
       path: a.path,
       limit
     });
+    if (r.refused)
+      return text2(`Nothing was searched: ${r.refused}`, true);
     if (!r.hits.length)
-      return text(`No record ${among(r)}holds most of: ${r.terms.join(", ") || "(no searchable words)"}. ${r.weaker} weaker matches left out. ` + (r.stopped ? "Search with more specific words. " : "") + "Search again with other words or the other language, or search sources; status says whether sessions are still untraced.");
-    return text(framed(`${r.hits.map(hitText).join(`
+      return text2(`No record ${among(r)}holds most of: ${r.terms.join(", ") || "(no searchable words)"}. ${r.weaker} weaker matches left out. ` + (r.stopped ? "Search with more specific words. " : "") + "Search again with other words or the other language, or search sources; status says whether sessions are still untraced.");
+    return text2(framed(`${r.hits.map(hitText).join(`
 
 `)}${stoppedAfter(r)}
 
 Read a record by its key before relying on it.`));
   } catch (e) {
-    return text(`Sphica unavailable: ${head(reason(e), 300)}`, true);
+    return text2(`Sphica unavailable: ${head(reason(e), 300)}`, true);
   }
 });
 server.registerTool("read", {
   title: "Read past records and sources in full",
   description: "The full record: its text, options, the exact words cited as evidence and adoption with who said them, links (supersedes, conflicts), " + "state history, and each code location checked in the working tree now. Pass keys or u<id> from search, or s<id> for a source.",
-  inputSchema: {
+  inputSchema: exports_external.object({
     refs: exports_external.array(exports_external.string().min(1).max(300)).min(1).max(10).describe("Record keys, u<id>, or s<id> (s<id>@<byte> reads a long source on from that byte)"),
     cwd: CWD
-  },
+  }).strict(),
   annotations: READ_ONLY
 }, async (a) => {
   try {
     const p = await projectOf(a.cwd);
     if (typeof p === "string")
-      return text(p);
+      return text2(p);
     const parts = [];
     for (const ref of a.refs) {
       const got = /^s\d/.test(ref) ? await readSource(db, p.id, ref) : await readUnit(db, p.id, ref, p.root);
       parts.push(got ?? `${head(inline(ref), 200)}: not found in this project`);
     }
-    return text(framed(parts.join(`
+    return text2(framed(parts.join(`
 
 `)));
   } catch (e) {
-    return text(`Sphica unavailable: ${head(reason(e), 300)}`, true);
+    return text2(`Sphica unavailable: ${head(reason(e), 300)}`, true);
   }
 });
 server.registerTool("export", {
   title: "Export chosen decisions to a file",
   description: "Only for the export Skill, after the owner chose the decisions and the path. Builds one Markdown document of the chosen active decisions, " + "with their quotes and the older decisions each replaced, and checks that the path stays inside the repository. Returns the document to write, " + "or why nothing can be written; it never writes a file itself.",
-  inputSchema: {
+  inputSchema: exports_external.object({
     records: exports_external.array(exports_external.string().min(1).max(300)).min(1).max(EXPORT_LIMITS.records).describe("Keys or u<id> of the active decisions the owner chose"),
     path: exports_external.string().min(1).max(500).describe("Where the owner wants the file, relative to the repository root"),
     cwd: CWD
-  },
+  }).strict(),
   annotations: READ_ONLY
 }, async (a) => {
   try {
     const p = await projectOf(a.cwd);
     if (typeof p === "string")
-      return text(`Nothing was exported: ${p}`, true);
+      return text2(`Nothing was exported: ${p}`, true);
     const where = exportPath(p.root, a.path);
     if ("error" in where)
-      return text(`Nothing was exported: ${where.error}`, true);
+      return text2(`Nothing was exported: ${where.error}`, true);
     const built = await exportDecisions(db, p.id, p.name, a.records);
     if ("error" in built)
-      return text(built.error, true);
-    return text(exportReply(where, built.document));
+      return text2(built.error, true);
+    return text2(exportReply(where, built.document));
   } catch (e) {
-    return text(`Sphica unavailable: ${head(reason(e), 300)}`, true);
+    return text2(`Sphica unavailable: ${head(reason(e), 300)}`, true);
   }
 });
 server.registerTool("fields", {
   title: "Fields this project tracks",
   description: "Only for the fields Skill. The fields the owner defined for this project's records, as a Markdown table: type, allowed values, " + "the record kinds each applies to, how many records carry a value, and the owner's words that defined it.",
-  inputSchema: { cwd: CWD },
+  inputSchema: exports_external.object({ cwd: CWD }).strict(),
   annotations: READ_ONLY
 }, async (a) => {
   try {
     const p = await projectOf(a.cwd);
     if (typeof p === "string")
-      return text(p, true);
-    return text(await fieldsText(db, p.id));
+      return text2(p, true);
+    return text2(await fieldsText(db, p.id));
   } catch (e) {
-    return text(`Sphica unavailable: ${head(reason(e), 300)}`, true);
+    return text2(`Sphica unavailable: ${head(reason(e), 300)}`, true);
   }
 });
 var DIFF = exports_external.string().min(1).max(2000000).describe("The change under review as a unified diff (git diff output)");
-var notChecked = (e) => text(`Decision lane: not checked. Sphica unavailable: ${head(reason(e), 300)}. Report the decision check as not run, not as passed.`, true);
+var notChecked = (e) => text2(`Decision lane: not checked. Sphica unavailable: ${head(reason(e), 300)}. Report the decision check as not run, not as passed.`, true);
 server.registerTool("overview", {
   title: "Live decisions, and records that need a look",
   description: "On request, not before every change. view live lists every active decision and constraint of the project, grouped by the directory it " + "applies to, a page at a time (pass after from the previous page). view look lists live records whose code file is gone or whose symbol " + "is not found, written conditions for reconsidering an option (for you to judge, never applied), and lines in CLAUDE.md, AGENTS.md, or " + ".claude/rules marked <!-- sphica: key --> whose record was replaced or withdrawn. Read a record by its key before relying on it.",
-  inputSchema: {
+  inputSchema: exports_external.object({
     view: exports_external.enum(["live", "look"]).describe("live: every active decision and constraint; look: records that need a look"),
     after: exports_external.number().int().min(0).optional().describe("With live: the id the previous page said to continue after"),
     cwd: CWD
-  },
+  }).strict(),
   annotations: READ_ONLY
 }, async (a) => {
   try {
     const p = await projectOf(a.cwd);
     if (typeof p === "string")
-      return text(p);
-    return text(framed(a.view === "live" ? await liveOverview(db, p.id, a.after ?? null) : await lookOverview(db, p.id, p.root)));
+      return text2(p);
+    return text2(framed(a.view === "live" ? await liveOverview(db, p.id, a.after ?? null) : await lookOverview(db, p.id, p.root)));
   } catch (e) {
-    return text(`Sphica unavailable: ${head(reason(e), 300)}`, true);
+    return text2(`Sphica unavailable: ${head(reason(e), 300)}`, true);
   }
 });
 server.registerTool("review_select", {
   title: "Past decisions a change touches",
   description: "For a code review: the active decisions, constraints, and implementation records this diff touches (records anchored to a changed path, " + "and records with no code location that forbid or defer an option an added line names). Judge each against the diff, then check the verdicts with review_check.",
-  inputSchema: { diff: DIFF, cwd: CWD },
+  inputSchema: exports_external.object({ diff: DIFF, cwd: CWD }).strict(),
   annotations: READ_ONLY
 }, async (a) => {
   try {
@@ -47557,8 +47667,8 @@ server.registerTool("review_select", {
     const files = parseDiff(a.diff);
     const hits = await selectForReview(db, p.id, files);
     if (!hits.length)
-      return text(`Decision lane: checked. No active record applies to the ${files.length} changed files.`);
-    return text(`Decision lane: checked. ${hits.length} records apply; read each before judging it.
+      return text2(`Decision lane: checked. No active record applies to the ${files.length} changed files.`);
+    return text2(`Decision lane: checked. ${hits.length} records apply; read each before judging it.
 ${framed(hits.map((u) => `- ${u.key} (${u.kind}${u.stance ? ` ${u.stance}` : ""}): ${head(inline(u.text), 300)} [${u.because}]`).join(`
 `))}`);
   } catch (e) {
@@ -47568,11 +47678,11 @@ ${framed(hits.map((u) => `- ${u.key} (${u.kind}${u.stance ? ` ${u.stance}` : ""}
 server.registerTool("review_check", {
   title: "Check decision verdicts",
   description: "Checks a reviewer's verdicts on the records review_select returned. Each finding: outcome (violation, complies, unrelated, undetermined), " + "unit (the record key), reason, and for violation or complies, evidence: the changed path and an added line number (the path alone for a deleted or renamed-away file). Every record review_select returned needs one outcome. Returns the problems, or none.",
-  inputSchema: {
+  inputSchema: exports_external.object({
     diff: DIFF,
     findings: exports_external.array(exports_external.record(exports_external.string(), exports_external.unknown())).max(50),
     cwd: CWD
-  },
+  }).strict(),
   annotations: READ_ONLY
 }, async (a) => {
   try {
@@ -47580,7 +47690,7 @@ server.registerTool("review_check", {
     if (typeof p === "string")
       return notChecked(new Error(p));
     const problems = await checkFindings(db, p.id, parseDiff(a.diff), a.findings);
-    return text(problems.length ? `${problems.length} problems:
+    return text2(problems.length ? `${problems.length} problems:
 ${problems.map((x) => `- ${x}`).join(`
 `)}` : "No problems: every verdict is backed.");
   } catch (e) {