sphica 0.6.28 → 0.6.30

package/dist/mcp.js

@@ -45649,6 +45649,29 @@ function parseObject(obj, jsonPath, options) {
   return target;
 }
 
+// server/src/authority.ts
+var AUTHORITY = {
+  owner: "the owner's decision",
+  agent: "decided by an AI",
+  none: "adopted by no one"
+};
+var AI_DECIDED = "A record marked decided by an AI was decided by an AI in an earlier session, not by the owner (unmarked delivered decisions are the owner's): with a concrete reason you may depart from it, saying in your reply which record and why. It never relaxes the owner's rules, public contracts, or approval gates.";
+async function authorityOf(db, ids, asOf) {
+  const out = new Map(ids.map((id) => [id, "none"]));
+  if (!ids.length)
+    return out;
+  const at = asOf ?? "9999";
+  const rows = await db.selectFrom("unit_adoption").select(["unit_id", "route"]).where("unit_id", "in", ids).where("added_at", "<=", at).where((eb) => eb.or([eb("retracted_at", "is", null), eb("retracted_at", ">", at)])).execute();
+  for (const r of rows) {
+    if (r.route === "agent") {
+      if (out.get(r.unit_id) === "none")
+        out.set(r.unit_id, "agent");
+    } else
+      out.set(r.unit_id, "owner");
+  }
+  return out;
+}
+
 // server/src/kysely-node-sqlite.ts
 var plain2 = (row) => {
   const out = {};
@@ -45711,7 +45734,7 @@ var HOST_MARKS = new Set([".orphaned_at", ".in_use"]);
 
 // server/src/sqlite.ts
 var SCHEMA_GENERATION = 2;
-var SCHEMA_REVISION = 9;
+var SCHEMA_REVISION = 10;
 var sphicaHome = () => process.env.SPHICA_HOME || path2.join(os.homedir(), ".sphica");
 var dbFile = () => process.env.SPHICA_DB || path2.join(sphicaHome(), "sphica.db");
 function requireRuntime() {
@@ -45831,7 +45854,8 @@ var EVIDENCE_ROLES = [
   "rejects",
   "explains",
   "implements",
-  "reconsiders"
+  "reconsiders",
+  "decides"
 ];
 var WORK_STATUSES = ["active", "blocked", "paused", "done", "abandoned"];
 var FIELD_TYPES = ["text", "enum", "integer", "date"];
@@ -45973,6 +45997,126 @@ function renamesSince(root, commit) {
   }
 }
 
+// server/src/rule-files.ts
+import fs4 from "node:fs";
+import path4 from "node:path";
+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}`);
+function isRuleFile(rel) {
+  const parts = rel.split("/");
+  const name = parts.at(-1) ?? "";
+  if (RULE_NAMES.has(name))
+    return true;
+  const i = parts.findIndex((p, k) => p === ".claude" && parts[k + 1] === "rules");
+  return i >= 0 && parts.length > i + 2 && name.endsWith(".md");
+}
+function ruleFiles(root) {
+  const listed = gitList(root) ?? walk(root);
+  const out = { files: [], skipped: 0, incomplete: listed.incomplete };
+  const realRoot = fs4.realpathSync(root);
+  for (const [i, rel] of [...new Set(listed.paths)].sort().entries()) {
+    if (i >= RULE_LIMITS.files) {
+      out.skipped++;
+      continue;
+    }
+    const text = readBounded(root, realRoot, rel);
+    if (text === null)
+      continue;
+    if (text === undefined)
+      out.skipped++;
+    else
+      out.files.push({ path: rel, text });
+  }
+  return out;
+}
+function readBounded(root, realRoot, rel) {
+  const abs = path4.join(root, rel);
+  if (leaves(path4.relative(root, abs)))
+    return;
+  try {
+    const st = fs4.lstatSync(abs, { throwIfNoEntry: false });
+    if (!st)
+      return null;
+    if (!st.isFile() || st.size > RULE_LIMITS.bytes)
+      return;
+    if (leaves(path4.relative(realRoot, fs4.realpathSync(abs))))
+      return;
+    const buf = fs4.readFileSync(abs);
+    return buf.length > RULE_LIMITS.bytes || buf.includes(0) ? undefined : buf.toString("utf8");
+  } catch {
+    return;
+  }
+}
+function gitList(root) {
+  try {
+    if (cleanGit(root, ["rev-parse", "--is-inside-work-tree"]).toString("utf8").trim() !== "true")
+      return null;
+  } catch {
+    return null;
+  }
+  try {
+    const out = cleanGit(root, ["ls-files", "--cached", "--others", "--exclude-standard", "-z", "--", ...PATHSPECS], 16 * 1024 * 1024);
+    return { paths: out.toString("utf8").split("\x00").filter(isRuleFile), incomplete: null };
+  } catch {
+    return { paths: [], incomplete: "git could not list the files" };
+  }
+}
+function walk(root) {
+  const paths = [];
+  let entries = 0;
+  let unread = 0;
+  let tooDeep = false;
+  let stopped = false;
+  const visit2 = (rel, depth) => {
+    if (stopped)
+      return;
+    let list;
+    try {
+      list = fs4.readdirSync(path4.join(root, rel), { withFileTypes: true });
+    } catch {
+      unread++;
+      return;
+    }
+    for (const d of list) {
+      if (++entries > RULE_LIMITS.entries) {
+        stopped = true;
+        return;
+      }
+      const child = rel ? `${rel}/${d.name}` : d.name;
+      if ((d.isFile() || d.isSymbolicLink()) && isRuleFile(child))
+        paths.push(child);
+      else if (d.isDirectory() && d.name !== "node_modules" && (!d.name.startsWith(".") || d.name === ".claude")) {
+        if (depth >= RULE_LIMITS.depth)
+          tooDeep = true;
+        else
+          visit2(child, depth + 1);
+      }
+    }
+  };
+  visit2("", 1);
+  const why = [
+    ...stopped ? [`stopped after ${RULE_LIMITS.entries} directory entries`] : [],
+    ...tooDeep ? [`did not look deeper than ${RULE_LIMITS.depth} directories`] : [],
+    ...unread ? [`could not read ${unread} director${unread === 1 ? "y" : "ies"}`] : []
+  ];
+  return { paths, incomplete: why.length ? why.join("; ") : null };
+}
+var INSTRUCTION_DIRS = new Set([
+  ".claude",
+  ".agents",
+  ".codex",
+  ".cursor",
+  "skills",
+  ".claude-plugin",
+  ".codex-plugin"
+]);
+var instructionFile = (relative) => {
+  const parts = relative.toLowerCase().split(/[\\/]/);
+  const names = [...RULE_NAMES, "SKILL.md"].map((n) => n.toLowerCase());
+  return parts.some((p) => INSTRUCTION_DIRS.has(p)) || names.includes(parts.at(-1) ?? "") || parts.slice(-2).join("/") === ".github/copilot-instructions.md";
+};
+
 // server/src/record.ts
 var KEY = /^[a-z0-9][a-z0-9._/-]{0,63}$/;
 var FIELD_NAME = /^[a-z][a-z0-9_]{0,39}$/;
@@ -46062,8 +46206,8 @@ 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)
+  const path5 = q.path === undefined ? undefined : repoPath(q.path);
+  if (path5 === null)
     return { hits: [], weaker: 0, terms: wanted, stopped: false, read: 0, refused: PATH_REFUSED };
   const match = ftsQuery(q.question);
   if (!match)
@@ -46073,8 +46217,8 @@ async function searchUnits(db, projectId, q) {
     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)));
+  if (path5)
+    query = query.where(({ exists, selectFrom }) => exists(selectFrom("unit_anchor as a").select("a.id").whereRef("a.unit_id", "=", "u.id").where("a.path", "=", path5).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;
@@ -46115,8 +46259,10 @@ async function searchUnits(db, projectId, q) {
         });
       }
   hits.sort((a, b) => (LIFE_ORDER[a.lifecycle] ?? 9) - (LIFE_ORDER[b.lifecycle] ?? 9) || b.matched.length - a.matched.length || a.rank - b.rank);
+  const top = hits.slice(0, q.limit);
+  const whose = await authorityOf(db, top.filter((h) => ["decision", "constraint"].includes(h.kind)).map((h) => h.id));
   return {
-    hits: hits.slice(0, q.limit).map(({ rank: _rank, ...h }) => h),
+    hits: top.map(({ rank: _rank, ...h }) => ({ ...h, authority: whose.get(h.id) })),
     weaker,
     terms: wanted,
     stopped,
@@ -46125,31 +46271,16 @@ async function searchUnits(db, projectId, q) {
 }
 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);
-    }
+  let end;
+  for (let at = id;; ) {
+    const next = await db.selectFrom("unit_replacement as h").innerJoin("unit as n", "n.id", "h.from_unit").where("h.to_unit", "=", at).where("h.ended_at", "is", null).select(["n.id", "n.key", "n.kind", "n.stance", "n.lifecycle", "n.text", "n.why", "n.revisit_when"]).executeTakeFirst();
+    if (!next || seen.has(next.id))
+      break;
+    seen.add(next.id);
+    end = next;
+    at = next.id;
   }
-  return found.filter((n) => !replaced.has(n.id));
+  return end ? [end] : [];
 }
 async function judgeUnits(db, rows, wanted, hits) {
   const ids = rows.map((r) => r.id);
@@ -46260,6 +46391,21 @@ async function searchSources(db, projectId, question, limit, owner) {
     stopped = true;
   return { hits, weaker, terms: wanted, stopped, read };
 }
+var hitText = (h) => [
+  `## ${h.key} (u${h.id}): ${h.kind}${h.stance ? ` ${h.stance}` : ""}, ${h.lifecycle}${h.authority ? `, ${AUTHORITY[h.authority]}` : ""}`,
+  head(h.text, 600),
+  ...h.why ? [`Why: ${head(h.why, 400)}`] : [],
+  ...h.revisit_when ? [`Revisit when: ${head(h.revisit_when, 200)}`] : [],
+  ...h.options.length ? [
+    `Options: ${h.options.map((o) => `${o.text} (${o.outcome}${o.why ? `: ${head(o.why, 160)}` : ""})`).join(" / ")}`
+  ] : [],
+  ...h.anchors.length ? [`Code: ${h.anchors.map((a) => `${a.path}${a.symbol ? ` ${a.symbol}` : ""} (${a.role})`).join(", ")}`] : [],
+  h.successorOf ? `Replaces ${h.successorOf}, which matched` : `Matched: ${h.matched.join(", ")}${h.aliasOnly ? " (search aliases only)" : ""}`
+].join(`
+`);
+var hitsText = (hits) => [...hits.map(hitText), ...hits.some((h) => h.authority === "agent") ? [AI_DECIDED] : []].join(`
+
+`);
 
 // server/src/asked.ts
 var DECIDED_KINDS = new Set(["decision", "constraint"]);
@@ -46448,7 +46594,15 @@ async function describe3(db, u, root, asOf, renames) {
       "s.text"
     ]).orderBy("a.id").execute(),
     db.selectFrom("unit_anchor").select(["path", "symbol", "role", "commit_sha", "line_start", "retired_at"]).where("unit_id", "=", u.id).where("added_at", "<=", asOf ?? "9999").orderBy("id").execute(),
-    db.selectFrom("unit_link as l").innerJoin("unit as a", "a.id", "l.from_unit").innerJoin("unit as b", "b.id", "l.to_unit").where((eb) => eb.or([eb("l.from_unit", "=", u.id), eb("l.to_unit", "=", u.id)])).where("l.added_at", "<=", asOf ?? "9999").select(["l.kind", "l.resolved_at", "a.id as from_id", "a.key as from_key", "b.key as to_key"]).execute(),
+    db.selectFrom("unit_link as l").innerJoin("unit as a", "a.id", "l.from_unit").innerJoin("unit as b", "b.id", "l.to_unit").where((eb) => eb.or([eb("l.from_unit", "=", u.id), eb("l.to_unit", "=", u.id)])).where("l.added_at", "<=", asOf ?? "9999").select((eb) => [
+      "l.kind",
+      "l.resolved_at",
+      "a.id as from_id",
+      "b.id as to_id",
+      "a.key as from_key",
+      "b.key as to_key",
+      eb.selectFrom("unit_state as t").whereRef("t.unit_id", "=", "a.id").where("t.at", "<=", asOf ?? "9999").select("t.to_state").orderBy("t.id", "desc").limit(1).as("from_lifecycle")
+    ]).execute(),
     db.selectFrom("unit_state").select(["from_state", "to_state", "at", "reason"]).where("unit_id", "=", u.id).orderBy("id").execute(),
     db.selectFrom("unit_field as f").innerJoin("field_def as d", "d.id", "f.field_def_id").innerJoin("source as s", "s.id", "f.source_id").where("f.unit_id", "=", u.id).where("f.added_at", "<=", asOf ?? "9999").select([
       "d.name",
@@ -46482,10 +46636,13 @@ async function describe3(db, u, root, asOf, renames) {
     for (const l of links)
       l.resolved_at = later(l.resolved_at);
   }
+  const whose = ["decision", "constraint"].includes(u.kind) ? (await authorityOf(db, [u.id], asOf)).get(u.id) : undefined;
   const out = [
-    `${u.key} (u${u.id}, revision ${u.revision}): ${u.kind}${u.stance ? ` ${u.stance}` : ""}, ${lifecycle}${u.extraction === "quarantined" ? `, quarantined: ${u.extraction_reason}` : ""}${u.unsourced ? ", unsourced: no source was given, so it is never used as fact" : ""}`,
+    `${u.key} (u${u.id}, revision ${u.revision}): ${u.kind}${u.stance ? ` ${u.stance}` : ""}, ${lifecycle}${whose ? `, ${AUTHORITY[whose]}` : ""}${u.extraction === "quarantined" ? `, quarantined: ${u.extraction_reason}` : ""}${u.unsourced ? ", unsourced: no source was given, so it is never used as fact" : ""}`,
     u.text
   ];
+  if (whose === "agent")
+    out.push(AI_DECIDED);
   if (u.why)
     out.push(`Why: ${u.why}`);
   if (u.scope_note)
@@ -46528,11 +46685,14 @@ async function describe3(db, u, root, asOf, renames) {
       out.push(`  - ${where} (${a.role}${a.commit_sha ? `, commit ${a.commit_sha.slice(0, 12)}` : ""}): ${c.state}${c.line ? ` at line ${c.line}` : ""}${c.state === "missing" ? ` — needs review: the code it points at is gone${movedTo(root, a, renames)}` : ""}`);
     }
   }
-  for (const l of links) {
-    if (l.kind === "supersedes")
-      out.push(l.from_id === u.id ? `Supersedes ${l.to_key}` : `Superseded by ${l.from_key}`);
-    else
-      out.push(`Conflicts with ${l.from_id === u.id ? l.to_key : l.from_key}${l.resolved_at ? " (resolved)" : " (unresolved)"}`);
+  out.push(...await replacements(db, u.id, links, asOf));
+  const conflicting = links.filter((l) => l.kind === "conflicts");
+  const sides = await authorityOf(db, conflicting.map((l) => l.from_id === u.id ? l.to_id : l.from_id), asOf);
+  const mine = (await authorityOf(db, [u.id], asOf)).get(u.id);
+  for (const l of conflicting) {
+    const other = l.from_id === u.id ? l.to_id : l.from_id;
+    const held = mine !== "owner" || sides.get(other) === "owner";
+    out.push(`Conflicts with ${l.from_id === u.id ? l.to_key : l.from_key}${l.resolved_at ? " (resolved)" : held ? " (unresolved: held back from automatic delivery until resolved, not withdrawn)" : " (unresolved: still delivered, since only the owner's words hold the owner's decision back)"}`);
   }
   const aliases = await db.selectFrom("unit_alias").select("terms").where("unit_id", "=", u.id).where("content_hash", "=", u.content_hash).where("added_at", "<=", asOf ?? "9999").orderBy("id", "desc").executeTakeFirst();
   const terms2 = aliases ? JSON.parse(aliases.terms) : [];
@@ -46542,6 +46702,46 @@ async function describe3(db, u, root, asOf, renames) {
   return out.join(`
 `);
 }
+async function replacements(db, id, links, asOf) {
+  const intents = links.filter((l) => l.kind === "supersedes");
+  if (!intents.length)
+    return [];
+  const own2 = intents.find((l) => l.from_id === id);
+  const rows = await db.selectFrom("unit_replacement as h").innerJoin("unit as a", "a.id", "h.from_unit").where((eb) => eb.or([
+    eb("h.from_unit", "=", id),
+    eb("h.to_unit", "=", id),
+    ...own2 ? [eb("h.to_unit", "=", own2.to_id)] : []
+  ])).where("h.started_at", "<=", asOf ?? "9999").select(["h.from_unit", "h.to_unit", "h.started_at", "h.ended_at", "h.end_reason", "a.key as from_key"]).orderBy("h.id").execute();
+  const gaps = await db.selectFrom("unit_replacement_gap").select(["from_unit", "to_unit"]).where((eb) => eb.or([eb("from_unit", "=", id), eb("to_unit", "=", id)])).execute();
+  const gap = (from, to) => gaps.some((g) => g.from_unit === from && g.to_unit === to);
+  const unrecorded = "its history before the update to revision 10 was not recorded";
+  const open2 = (r) => r.ended_at === null || asOf !== undefined && r.ended_at > asOf;
+  const period = (r) => `from ${r.started_at} to ${r.ended_at}: ${inline(r.end_reason ?? "")}`;
+  const out = [];
+  if (own2) {
+    const mine = rows.filter((r) => r.from_unit === id && r.to_unit === own2.to_id);
+    const now = mine.find(open2);
+    const holder = rows.find((r) => r.to_unit === own2.to_id && r.from_unit !== id && open2(r));
+    out.push(`Supersedes ${own2.to_key} (${now ? `in effect since ${now.started_at}` : holder ? `not in effect: ${holder.from_key} is in effect as its successor` : "not in effect"})`);
+    for (const r of mine)
+      if (!open2(r))
+        out.push(`Replaced ${own2.to_key} ${period(r)}`);
+    if (gap(id, own2.to_id))
+      out.push(`Supersedes ${own2.to_key}: ${unrecorded}`);
+  }
+  const into = rows.filter((r) => r.to_unit === id);
+  for (const r of into)
+    out.push(open2(r) ? `Superseded by ${r.from_key} (since ${r.started_at})` : `Was superseded by ${r.from_key} ${period(r)}`);
+  for (const l of intents) {
+    if (l.to_id !== id)
+      continue;
+    if (gap(l.from_id, id))
+      out.push(`Superseded by ${l.from_key} at some time: ${unrecorded}`);
+    else if (!into.some((r) => r.from_unit === l.from_id))
+      out.push(`Replacement proposed by ${l.from_key} (${l.from_lifecycle ?? "candidate"})`);
+  }
+  return out;
+}
 function movedTo(root, a, renames) {
   if (!root || !a.commit_sha || fileState(root, a.path) !== "gone")
     return "";
@@ -46582,112 +46782,6 @@ function part(id, text2, from) {
   return end < all.length ? [shown, `(${all.length - end} more bytes; read s${id}@${end} for the rest)`] : [shown];
 }
 
-// server/src/rule-files.ts
-import fs4 from "node:fs";
-import path4 from "node:path";
-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}`);
-function isRuleFile(rel) {
-  const parts = rel.split("/");
-  const name = parts.at(-1) ?? "";
-  if (RULE_NAMES.has(name))
-    return true;
-  const i = parts.findIndex((p, k) => p === ".claude" && parts[k + 1] === "rules");
-  return i >= 0 && parts.length > i + 2 && name.endsWith(".md");
-}
-function ruleFiles(root) {
-  const listed = gitList(root) ?? walk(root);
-  const out = { files: [], skipped: 0, incomplete: listed.incomplete };
-  const realRoot = fs4.realpathSync(root);
-  for (const [i, rel] of [...new Set(listed.paths)].sort().entries()) {
-    if (i >= RULE_LIMITS.files) {
-      out.skipped++;
-      continue;
-    }
-    const text2 = readBounded(root, realRoot, rel);
-    if (text2 === null)
-      continue;
-    if (text2 === undefined)
-      out.skipped++;
-    else
-      out.files.push({ path: rel, text: text2 });
-  }
-  return out;
-}
-function readBounded(root, realRoot, rel) {
-  const abs = path4.join(root, rel);
-  if (leaves(path4.relative(root, abs)))
-    return;
-  try {
-    const st = fs4.lstatSync(abs, { throwIfNoEntry: false });
-    if (!st)
-      return null;
-    if (!st.isFile() || st.size > RULE_LIMITS.bytes)
-      return;
-    if (leaves(path4.relative(realRoot, fs4.realpathSync(abs))))
-      return;
-    const buf = fs4.readFileSync(abs);
-    return buf.length > RULE_LIMITS.bytes || buf.includes(0) ? undefined : buf.toString("utf8");
-  } catch {
-    return;
-  }
-}
-function gitList(root) {
-  try {
-    if (cleanGit(root, ["rev-parse", "--is-inside-work-tree"]).toString("utf8").trim() !== "true")
-      return null;
-  } catch {
-    return null;
-  }
-  try {
-    const out = cleanGit(root, ["ls-files", "--cached", "--others", "--exclude-standard", "-z", "--", ...PATHSPECS], 16 * 1024 * 1024);
-    return { paths: out.toString("utf8").split("\x00").filter(isRuleFile), incomplete: null };
-  } catch {
-    return { paths: [], incomplete: "git could not list the files" };
-  }
-}
-function walk(root) {
-  const paths = [];
-  let entries = 0;
-  let unread = 0;
-  let tooDeep = false;
-  let stopped = false;
-  const visit2 = (rel, depth) => {
-    if (stopped)
-      return;
-    let list;
-    try {
-      list = fs4.readdirSync(path4.join(root, rel), { withFileTypes: true });
-    } catch {
-      unread++;
-      return;
-    }
-    for (const d of list) {
-      if (++entries > RULE_LIMITS.entries) {
-        stopped = true;
-        return;
-      }
-      const child = rel ? `${rel}/${d.name}` : d.name;
-      if ((d.isFile() || d.isSymbolicLink()) && isRuleFile(child))
-        paths.push(child);
-      else if (d.isDirectory() && d.name !== "node_modules" && (!d.name.startsWith(".") || d.name === ".claude")) {
-        if (depth >= RULE_LIMITS.depth)
-          tooDeep = true;
-        else
-          visit2(child, depth + 1);
-      }
-    }
-  };
-  visit2("", 1);
-  const why = [
-    ...stopped ? [`stopped after ${RULE_LIMITS.entries} directory entries`] : [],
-    ...tooDeep ? [`did not look deeper than ${RULE_LIMITS.depth} directories`] : [],
-    ...unread ? [`could not read ${unread} director${unread === 1 ? "y" : "ies"}`] : []
-  ];
-  return { paths, incomplete: why.length ? why.join("; ") : null };
-}
-
 // server/src/export.ts
 var EXPORT_LIMITS = { records: 50, depth: 20, bytes: 60 * 1024 };
 async function chosen(db, projectId, ref) {
@@ -46740,9 +46834,11 @@ async function lines(db, u) {
   const kept = (t) => plain(t).split(`
 `).join(`
     `);
+  const whose = ["decision", "constraint"].includes(u.kind) ? (await authorityOf(db, [u.id])).get(u.id) : undefined;
   const out = [
     `key: ${inline(u.key)} (u${u.id})`,
     `kind: ${u.kind}${u.stance ? ` ${u.stance}` : ""}`,
+    ...whose ? [`authority: ${AUTHORITY[whose]}`] : [],
     `text: ${kept(u.text)}`
   ];
   if (u.why)
@@ -46784,7 +46880,7 @@ async function replaced(db, from) {
   const out = [];
   let frontier = [from];
   for (let depth = 0;frontier.length; depth++) {
-    const older = await db.selectFrom("unit_link as l").innerJoin("unit as u", "u.id", "l.to_unit").where("l.from_unit", "in", frontier.map((u) => u.id)).where("l.kind", "=", "supersedes").selectAll("u").select("l.from_unit").orderBy("l.from_unit").orderBy("u.id").execute();
+    const older = await db.selectFrom("unit_replacement as h").innerJoin("unit as u", "u.id", "h.to_unit").where("h.from_unit", "in", frontier.map((u) => u.id)).where("h.ended_at", "is", null).selectAll("u").select("h.from_unit").orderBy("h.from_unit").orderBy("u.id").execute();
     if (!older.some((u) => !seen.has(u.id)))
       break;
     if (depth === EXPORT_LIMITS.depth)
@@ -46859,12 +46955,6 @@ ${problems.join(`
     return tooBig;
   return { document };
 }
-var INSTRUCTION_DIRS = new Set([".claude", ".agents", ".codex", ".cursor"]);
-var instructionFile = (relative) => {
-  const parts = relative.toLowerCase().split(/[\\/]/);
-  const names = [...RULE_NAMES].map((n) => n.toLowerCase());
-  return parts.some((p) => INSTRUCTION_DIRS.has(p)) || names.includes(parts.at(-1) ?? "") || parts.slice(-2).join("/") === ".github/copilot-instructions.md";
-};
 function exportPath(root, given) {
   if (inline(given) !== given || given.includes("\x00"))
     return { error: "The path has characters that cannot be shown as typed; use plain characters." };
@@ -47017,12 +47107,13 @@ async function liveOverview(db, projectId, after) {
     live.select(["id", "key", "kind", "stance", "text"]).where("id", ">", after ?? 0).orderBy("id").limit(OVERVIEW_LIMITS.records + 1).execute()
   ]);
   const anchors = rows.length ? await db.selectFrom("unit_anchor").select(["unit_id", "path"]).where("unit_id", "in", rows.map((r) => r.id)).where("role", "=", "applies_to").where("retired_at", "is", null).orderBy("id").execute() : [];
+  const whose = await authorityOf(db, rows.map((r) => r.id));
   const shown = [];
   for (const r of rows.slice(0, OVERVIEW_LIMITS.records)) {
     const paths = [...new Set(anchors.filter((a) => a.unit_id === r.id).map((a) => a.path))];
     const first = paths[0];
     const dir = first === undefined ? null : path6.posix.dirname(first);
-    const line = `- ${head(inline(r.key), OVERVIEW_LIMITS.key)} (u${r.id}, ${r.kind}${r.stance ? ` ${r.stance}` : ""}): ${head(inline(r.text), OVERVIEW_LIMITS.text)}${paths.length ? ` [${pathList(paths)}]` : ""}`;
+    const line = `- ${head(inline(r.key), OVERVIEW_LIMITS.key)} (u${r.id}, ${r.kind}${r.stance ? ` ${r.stance}` : ""}${whose.get(r.id) === "agent" ? ", decided by an AI" : ""}): ${head(inline(r.text), OVERVIEW_LIMITS.text)}${paths.length ? ` [${pathList(paths)}]` : ""}`;
     shown.push({
       id: r.id,
       group: dir === null ? PROJECT_WIDE : dir === "." ? "(repository root)" : `${dir}/`,
@@ -47043,7 +47134,8 @@ async function liveOverview(db, projectId, after) {
     ]),
     `${shown.length} shown of ${n} active decisions and constraints${after === null ? "" : ` (ids after ${after})`}.`,
     more ? `More follow: call overview again with after: ${last}. Pages are read at different times: a record that became active in between, with a lower id, is not on a later page.` : "That is the end of the list.",
-    "Read a record by its key or u<id> before relying on it."
+    "Read a record by its key or u<id> before relying on it.",
+    ...shown.some((x) => whose.get(x.id) === "agent") ? [AI_DECIDED] : []
   ].join(`
 `);
 }
@@ -47170,7 +47262,7 @@ async function successor(db, id) {
   let end = null;
   let at = id;
   for (;; ) {
-    const next = await db.selectFrom("unit_link as l").innerJoin("unit as u", "u.id", "l.from_unit").where("l.to_unit", "=", at).where("l.kind", "=", "supersedes").select(["u.id", "u.key", "u.lifecycle"]).executeTakeFirst();
+    const next = await db.selectFrom("unit_replacement as h").innerJoin("unit as u", "u.id", "h.from_unit").where("h.to_unit", "=", at).where("h.ended_at", "is", null).select(["u.id", "u.key", "u.lifecycle"]).executeTakeFirst();
     if (!next)
       break;
     end = { key: next.key, lifecycle: next.lifecycle };
@@ -47414,6 +47506,16 @@ async function selectForReview(db, projectId2, files) {
   }
   return [...out.values()];
 }
+var AI_DEPARTURE = "A record marked decided by an AI was decided by an AI in an earlier session, not by the owner: a change that departs from it is a violation only when the change gives no reason for departing.";
+async function selectedText(db, hits) {
+  const whose = await authorityOf(db, hits.map((u) => u.id));
+  const ai = hits.some((u) => whose.get(u.id) === "agent");
+  return [
+    ...hits.map((u) => `- ${u.key} (${u.kind}${u.stance ? ` ${u.stance}` : ""}${whose.get(u.id) === "agent" ? ", decided by an AI" : ""}): ${head(inline(u.text), 300)} [${u.because}]`),
+    ...ai ? [AI_DEPARTURE] : []
+  ].join(`
+`);
+}
 
 // server/src/review-findings.ts
 var Finding = exports_external.object({
@@ -47464,21 +47566,28 @@ async function checkFindings(db, projectId2, files, raw) {
 // server/src/trace.ts
 var PENDING_DAYS = 14;
 var pendingCutoff = (now) => new Date(now.getTime() - PENDING_DAYS * 86400000).toISOString();
-var untracedOwner = (eb) => eb.selectFrom("source as m").whereRef("m.session_id", "=", "s.id").where("m.author_kind", "=", "owner").where(({ not, exists, selectFrom }) => not(exists(selectFrom("source_processing as p").whereRef("p.source_id", "=", "m.id").select(sql`1`.as("x")))));
-var untracedSessions = (db, projectId2) => db.selectFrom("session as s").where("s.project_id", "=", projectId2).where((eb) => eb.exists(untracedOwner(eb).select(sql`1`.as("x")))).select((eb) => [
-  "s.id",
-  "s.host",
-  "s.started_at",
-  "s.branch",
-  eb.selectFrom("source as o").whereRef("o.session_id", "=", "s.id").where("o.author_kind", "=", "owner").select((o) => o.fn.max("o.created_at").as("last")).as("last"),
-  untracedOwner(eb).select((m) => m.fn.countAll().as("waiting")).as("waiting"),
-  untracedOwner(eb).select((m) => m.fn.min("m.id").as("first")).as("first")
-]);
+var untraced = (eb, auto) => {
+  const q = eb.selectFrom("source as m").whereRef("m.session_id", "=", "s.id");
+  return (auto ? q : q.where("m.author_kind", "=", "owner")).where(({ not, exists, selectFrom }) => not(exists(selectFrom("source_processing as p").whereRef("p.source_id", "=", "m.id").select(sql`1`.as("x")))));
+};
+var untracedSessions = (db, projectId2, o = {}) => {
+  const auto = o.auto ?? false;
+  const skip = o.skip;
+  return db.selectFrom("session as s").where("s.project_id", "=", projectId2).$if(Boolean(skip), (q) => q.where((eb) => eb.not(eb.and([eb("s.host", "=", skip?.host ?? ""), eb("s.external_id", "=", skip?.session ?? "")])))).where((eb) => eb.exists(untraced(eb, auto).select(sql`1`.as("x")))).select((eb) => [
+    "s.id",
+    "s.host",
+    "s.started_at",
+    "s.branch",
+    eb.selectFrom("source as o").whereRef("o.session_id", "=", "s.id").where("o.author_kind", "=", "owner").select((o2) => o2.fn.max("o.created_at").as("last")).as("last"),
+    untraced(eb, auto).select((m) => m.fn.countAll().as("waiting")).as("waiting"),
+    untraced(eb, auto).select((m) => m.fn.min("m.id").as("first")).as("first")
+  ]);
+};
 
 // server/src/status.ts
-async function pendingCount(db, projectId2, now = new Date) {
+async function pendingCount(db, projectId2, now = new Date, o = {}) {
   const cutoff = pendingCutoff(now);
-  const r = await db.selectFrom(untracedSessions(db, projectId2).as("w")).select([
+  const r = await db.selectFrom(untracedSessions(db, projectId2, o).as("w")).select([
     sql`count(case when w.last >= ${cutoff} then 1 end)`.as("recent"),
     sql`count(case when w.last < ${cutoff} then 1 end)`.as("older")
   ]).executeTakeFirst();
@@ -47544,18 +47653,6 @@ var among = (r) => r.stopped ? `among the first ${r.read} candidates by rank ` :
 var stoppedAfter = (r) => r.stopped ? `
 
 Stopped after ${r.read} candidates by rank; more may match.` : "";
-var hitText = (h) => [
-  `## ${h.key} (u${h.id}): ${h.kind}${h.stance ? ` ${h.stance}` : ""}, ${h.lifecycle}`,
-  head(h.text, 600),
-  ...h.why ? [`Why: ${head(h.why, 400)}`] : [],
-  ...h.revisit_when ? [`Revisit when: ${head(h.revisit_when, 200)}`] : [],
-  ...h.options.length ? [
-    `Options: ${h.options.map((o) => `${o.text} (${o.outcome}${o.why ? `: ${head(o.why, 160)}` : ""})`).join(" / ")}`
-  ] : [],
-  ...h.anchors.length ? [`Code: ${h.anchors.map((a) => `${a.path}${a.symbol ? ` ${a.symbol}` : ""} (${a.role})`).join(", ")}`] : [],
-  h.successorOf ? `Replaces ${h.successorOf}, which matched` : `Matched: ${h.matched.join(", ")}${h.aliasOnly ? " (search aliases only)" : ""}`
-].join(`
-`);
 var server = new McpServer({ name: "sphica", version: VERSION ?? "unknown" }, {
   capabilities: { experimental: { "codex/sandbox-state-meta": {} } },
   instructions: [
@@ -47646,9 +47743,7 @@ Matched: ${h.matched.join(", ")}`).join(`
       return text2(`Nothing was searched: ${r.refused}`, true);
     if (!r.hits.length)
       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)}
+    return text2(framed(`${hitsText(r.hits)}${stoppedAfter(r)}
 
 Read a record by its key before relying on it.`));
   } catch (e) {
@@ -47757,8 +47852,7 @@ server.registerTool("review_select", {
     if (!hits.length)
       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(`
-`))}`);
+${framed(await selectedText(db, hits))}`);
   } catch (e) {
     return notChecked(e);
   }