sphica 0.6.28 → 0.6.30

package/dist/deliver.js

@@ -283,11 +283,6 @@ function explain(e, depth) {
 var MAX_BYTES = 2 * 1024 * 1024;
 var leaves = (rel) => rel === ".." || rel.startsWith(`..${path.sep}`) || path.isAbsolute(rel);
 
-// server/src/capture.ts
-import { spawn } from "node:child_process";
-import fs5 from "node:fs";
-import path6 from "node:path";
-
 // server/node_modules/kysely/dist/util/object-utils.js
 function isUndefined(obj) {
   return typeof obj === "undefined" || obj === undefined;
@@ -11062,6 +11057,31 @@ function parseObject(obj, jsonPath, options) {
   return target;
 }
 
+// server/src/authority.ts
+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.";
+var ownerAdopted = (unit) => sql`exists (select 1 from unit_adoption a where a.unit_id = ${sql.ref(unit)}
+    and a.route in ('owner_statement', 'explicit') and a.retracted_at is null)`;
+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/capture.ts
+import { spawn } from "node:child_process";
+import fs5 from "node:fs";
+import path6 from "node:path";
+
 // server/src/kysely-node-sqlite.ts
 var plain = (row) => {
   const out = {};
@@ -11140,7 +11160,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 || path3.join(os.homedir(), ".sphica");
 var dbFile = () => process.env.SPHICA_DB || path3.join(sphicaHome(), "sphica.db");
 function requireRuntime() {
@@ -11304,6 +11324,7 @@ var CAPTURE_VIEWS = new Set([
   "capture_session",
   "capture_message",
   "capture_edit",
+  "capture_tool_call",
   "capture_delivery",
   "capture_delivery_scoped",
   "capture_delivery_prune"
@@ -11312,6 +11333,7 @@ var TRIGGER_WRITES = {
   capture_session_insert: new Set(["session"]),
   capture_message_insert: new Set(["source"]),
   capture_edit_insert: new Set(["edit_observation"]),
+  capture_tool_call_insert: new Set(["tool_call_observation"]),
   capture_delivery_insert: new Set(["delivery", "delivery_unit"]),
   capture_delivery_scoped_insert: new Set(["delivery", "delivery_unit"]),
   source_fts_ai: new Set(["source_fts"])
@@ -11359,6 +11381,7 @@ function captureAuthorizer(own, action, p1, p2, triggerOrView) {
 var writes = (action) => action === C2.SQLITE_INSERT || action === C2.SQLITE_UPDATE || action === C2.SQLITE_DELETE;
 var INGEST_INSERTS = new Set([
   "project",
+  "record_call",
   "ingest_source",
   "extraction_run",
   "source_processing",
@@ -11368,6 +11391,7 @@ var INGEST_INSERTS = new Set([
   "unit_adoption",
   "unit_link",
   "unit_state",
+  "unit_replacement",
   "unit_anchor",
   "unit_alias",
   "field_def",
@@ -11388,6 +11412,7 @@ var INGEST_UPDATES = {
   unit_link: new Set(["resolved_at", "resolution"]),
   unit_evidence: new Set(RETRACTION),
   unit_adoption: new Set(RETRACTION),
+  unit_replacement: new Set(["ended_at", "end_reason", "end_run_id"]),
   work: new Set(["title", "goal", "current", "next", "status", "branch", "run_id", "updated_at"])
 };
 var INGEST_DELETES = new Set(["artifact_link"]);
@@ -11396,7 +11421,6 @@ var INGEST_TRIGGER_WRITES = {
   source_fts_ai: ["insert source_fts"],
   source_fts_ad: ["delete source_fts"],
   unit_state_apply: ["update unit"],
-  unit_state_restore: ["insert unit_state"],
   delivery_ad: ["delete delivery_unit"],
   ...Object.fromEntries([
     "evidence_i",
@@ -11407,6 +11431,8 @@ var INGEST_TRIGGER_WRITES = {
     "adoption_d",
     "link_i",
     "link_u",
+    "replacement_i",
+    "replacement_u",
     "anchor_i",
     "anchor_u",
     "alias_i",
@@ -11441,7 +11467,14 @@ function ingestAuthorizer(action, p1, p2, trigger) {
   return C2.SQLITE_DENY;
 }
 var FORGET_WRITES = {
-  [C2.SQLITE_INSERT]: new Set(["forget_batch", "source_forgotten", "unit_state", "source_fts", "unit_fts"]),
+  [C2.SQLITE_INSERT]: new Set([
+    "forget_batch",
+    "source_forgotten",
+    "unit_state",
+    "unit_replacement",
+    "source_fts",
+    "unit_fts"
+  ]),
   [C2.SQLITE_DELETE]: new Set([
     "source",
     "unit_evidence",
@@ -11455,7 +11488,8 @@ var FORGET_WRITES = {
 };
 var FORGET_UPDATES = {
   unit: new Set(["lifecycle", "revision"]),
-  unit_state: new Set(["source_id"])
+  unit_state: new Set(["source_id"]),
+  unit_replacement: new Set(["ended_at", "end_reason", "end_forget_id"])
 };
 function forgetAuthorizer(action, p1, p2) {
   if (SHADOW.test(p1 ?? "") && writes(action))
@@ -12296,6 +12330,30 @@ async function readInput(stream) {
     raw += chunk;
   return JSON.parse(raw || "{}");
 }
+var RECORD_TOOLS = "mcp__plugin_sphica_record__";
+var OBSERVE_WAIT_MS = 5000;
+var hostId = (v) => v && /^[\x21-\x7e]{1,200}$/.test(v) ? v : null;
+async function observeRecordCall(file, input, owner) {
+  const session = hostId(input.session_id);
+  const toolUse = hostId(input.tool_use_id);
+  const tool = hostId(input.tool_name);
+  if (!session || !toolUse || !tool?.startsWith(RECORD_TOOLS))
+    return;
+  const cap = openWriter("capture", file, OBSERVE_WAIT_MS);
+  try {
+    await cap.insertInto("capture_tool_call").values({
+      host: "claude-code",
+      session_external: session,
+      turn_id: hostId(input.prompt_id),
+      tool_use_id: toolUse,
+      tool_name: tool,
+      owner_turn: owner ? 1 : 0,
+      observed_at: iso(Date.now())
+    }).execute();
+  } finally {
+    await cap.destroy().catch(() => {});
+  }
+}
 async function main() {
   if (process.argv[2] === "--flush") {
     await flush();
@@ -12303,6 +12361,10 @@ async function main() {
   }
   const input = await readInput(process.stdin);
   const host = process.argv[2] === "codex" ? "codex" : "claude-code";
+  if (host === "claude-code" && input.hook_event_name === "PreToolUse") {
+    await observeRecordCall(dbFile(), input, isOwnerTurn(input));
+    return;
+  }
   if (host === "codex" && input.hook_event_name === "Stop")
     process.stdout.write("{}");
   const { flush: send, notice } = onHook(host, input);
@@ -12553,21 +12615,38 @@ function localChange(root, args) {
 // 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")
+  ]);
+};
+async function pendingSessions(db, projectId2, group, now = new Date, limit = 20, o = {}) {
+  const cutoff = pendingCutoff(now);
+  const base = db.selectFrom(untracedSessions(db, projectId2, o).as("w")).where("w.last", group === "recent" ? ">=" : "<", cutoff);
+  const ordered = o.auto ? base.selectAll("w").orderBy("w.started_at").orderBy("w.id") : base.selectAll("w").orderBy("w.last", "desc");
+  const [rows, total] = await Promise.all([
+    ordered.limit(limit).execute(),
+    base.select((eb) => eb.fn.countAll().as("n")).executeTakeFirst()
+  ]);
+  return { rows, total: Number(total?.n ?? 0) };
+}
 
 // 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();
@@ -12578,6 +12657,8 @@ async function pendingCount(db, projectId2, now = new Date) {
 var CONFIRM = "If, after checking a record below against the current code and its full text (Sphica's read), what you were asked to do is a change it rejected or rules out, do not make that change yet: tell the user which record and reason it conflicts with, and ask whether to go ahead.";
 var CONFIRM_GOLD = CONFIRM.replace("its full text (Sphica's read)", "the record text given here");
 var ASK = CONFIRM.length + 1;
+var AI_ROOM = AI_DECIDED.length + 1;
+var AI_MARK = ", decided by an AI";
 var LIMITS = {
   session_start: { units: 6, chars: 1000 + ASK },
   pre_edit: { units: 5, chars: 1500 + ASK },
@@ -12598,8 +12679,29 @@ var noted = (text, lead, notes) => {
 ${l}`).join("");
   return { text: note ? `${text || lead}${note}` : text, note };
 };
-var deliverable = (db, projectId2) => db.selectFrom("unit as u").where("u.project_id", "=", projectId2).where("u.lifecycle", "=", "active").where("u.extraction", "=", "supported").where("u.unsourced", "=", 0).where(({ not, exists, selectFrom }) => not(exists(selectFrom("unit_link as l").select("l.from_unit").where("l.kind", "=", "conflicts").where("l.resolved_at", "is", null).where((eb) => eb.or([eb("l.from_unit", "=", eb.ref("u.id")), eb("l.to_unit", "=", eb.ref("u.id"))])))));
-var line = (u, extra = "") => `- ${inline(u.key)} (${u.kind}${u.stance ? ` ${u.stance}` : ""}): ${head(inline(u.text), 240)}${extra}`;
+var deliverable = (db, projectId2) => db.selectFrom("unit as u").where("u.project_id", "=", projectId2).where("u.lifecycle", "=", "active").where("u.extraction", "=", "supported").where("u.unsourced", "=", 0).where(({ not, exists, selectFrom }) => not(exists(selectFrom("unit_link as l").select("l.from_unit").where("l.kind", "=", "conflicts").where("l.resolved_at", "is", null).where((eb) => eb.or([
+  eb.and([
+    eb("l.from_unit", "=", eb.ref("u.id")),
+    eb.or([eb.not(ownerAdopted("u.id")), ownerAdopted("l.to_unit")])
+  ]),
+  eb.and([
+    eb("l.to_unit", "=", eb.ref("u.id")),
+    eb.or([eb.not(ownerAdopted("u.id")), ownerAdopted("l.from_unit")])
+  ])
+])))));
+var line = (u, extra = "", ai = false) => `- ${inline(u.key)} (${u.kind}${u.stance ? ` ${u.stance}` : ""}${ai ? AI_MARK : ""}): ${head(inline(u.text), 240)}${extra}`;
+async function aiDecided(db, ids) {
+  const whose = await authorityOf(db, ids);
+  return new Set(ids.filter((id) => whose.get(id) === "agent"));
+}
+var withAi = (lead, chars, ai) => ai.size ? { lead: `${lead} ${AI_DECIDED}`, chars: chars + AI_ROOM } : { lead, chars };
+function fitMarked(lines, chars, lead, ai, ids) {
+  const wide = withAi(lead, chars, ai);
+  const f = fit2(lines, wide.chars, wide.lead, ids.map((id) => ai.has(id ?? -1) ? AI_MARK.length : 0));
+  if (wide.lead === lead || f.kept.some((i) => ai.has(ids[i] ?? -1)))
+    return { ...f, lead: wide.lead };
+  return { ...f, text: f.text && `${lead}${f.text.slice(wide.lead.length)}`, lead };
+}
 var clip = (text, n) => {
   const chars = Array.from(inline(text));
   return chars.length <= n ? chars.join("") : `${chars.slice(0, n - 1).join("")}…`;
@@ -12625,19 +12727,24 @@ async function reasons(db, ids) {
   return out;
 }
 async function recordLines(db, units) {
-  const why = await reasons(db, units.map((u) => u.id));
-  return units.map((u) => line(u, why.get(u.id)));
+  const ids = units.map((u) => u.id);
+  const [why, ai] = await Promise.all([reasons(db, ids), aiDecided(db, ids)]);
+  return units.map((u) => line(u, why.get(u.id), ai.has(u.id)));
+}
+async function leadFor(db, ids, lead) {
+  return (await aiDecided(db, ids)).size ? `${lead} ${AI_DECIDED}` : lead;
 }
-function fit2(lines, chars, lead) {
+function fit2(lines, chars, lead, free = []) {
   const forms = lines.map((entry) => Array.isArray(entry) ? entry : [entry]);
+  const cost = (i, l) => l.length - (free[i] ?? 0);
   const chosen = new Map;
   let used = lead.length;
   forms.forEach((f, i) => {
     const short = f[f.length - 1] ?? "";
-    if (used + short.length + 1 > chars)
+    if (used + cost(i, short) + 1 > chars)
       return;
     chosen.set(i, short);
-    used += short.length + 1;
+    used += cost(i, short) + 1;
   });
   for (const [i, short] of chosen) {
     const longer = forms[i]?.find((l) => used - short.length + l.length <= chars);
@@ -12660,11 +12767,11 @@ async function beforeEdit(db, projectId2, rels) {
   const rows = await anchoredTo(db, projectId2, rels).execute();
   const shown = rows.slice(0, LIMITS.pre_edit.units);
   const why = await reasons(db, shown.map((u) => u.id));
-  const lead = `Active decisions applying to ${named(rels)} (current code relevance unverified). ${CONFIRM} ${NOTE}:`;
-  const f = fit2(shown.map((u) => why.has(u.id) ? [line(u, why.get(u.id)), line(u)] : line(u)), LIMITS.pre_edit.chars, lead);
+  const ai = await aiDecided(db, shown.map((u) => u.id));
+  const f = fitMarked(shown.map((u) => why.has(u.id) ? [line(u, why.get(u.id), ai.has(u.id)), line(u, "", ai.has(u.id))] : line(u, "", ai.has(u.id))), LIMITS.pre_edit.chars, `Active decisions applying to ${named(rels)} (current code relevance unverified). ${CONFIRM} ${NOTE}:`, ai, shown.map((u) => u.id));
   const omitted = rows.length - shown.length + f.omitted;
   return {
-    ...noted(f.text, lead, [leftOut(omitted)]),
+    ...noted(f.text, f.lead, [leftOut(omitted)]),
     units: f.kept.flatMap((i) => shown[i]?.id ?? []),
     eligible: rows.length,
     omitted,
@@ -12680,18 +12787,29 @@ async function beforeRead(db, projectId2, rels, session, agent, how) {
   const restart = await db.selectFrom("delivery as d").where("d.session_id", "=", session).where(sameAgent(agent)).where("d.event", "=", "session_start").where("d.reason", "in", RESTARTS).select((eb) => eb.fn.max("d.id").as("id")).executeTakeFirst();
   const since = restart?.id ?? 0;
   const sent = await db.selectFrom("delivery as d").innerJoin("delivery_unit as x", "x.delivery_id", "d.id").where("d.session_id", "=", session).where(sameAgent(agent)).where("d.id", ">", since).where("d.outcome", "=", "emitted").select(["x.unit_id", "d.event"]).execute();
-  const spent = await db.selectFrom("delivery as d").where("d.session_id", "=", session).where(sameAgent(agent)).where("d.id", ">", since).where("d.event", "=", "pre_read").where("d.outcome", "=", "emitted").where(({ exists, selectFrom }) => exists(selectFrom("delivery_unit as x").select("x.unit_id").whereRef("x.delivery_id", "=", "d.id"))).select("d.chars").execute();
+  const spent = await db.selectFrom("delivery as d").where("d.session_id", "=", session).where(sameAgent(agent)).where("d.id", ">", since).where("d.event", "=", "pre_read").where("d.outcome", "=", "emitted").where(({ exists, selectFrom }) => exists(selectFrom("delivery_unit as x").select("x.unit_id").whereRef("x.delivery_id", "=", "d.id"))).select(["d.id", "d.at", "d.chars"]).execute();
+  const shownBy = spent.length ? await db.selectFrom("delivery_unit").select(["delivery_id", "unit_id"]).where("delivery_id", "in", spent.map((r) => r.id)).execute() : [];
+  const marked = new Map;
+  for (const r of spent) {
+    const ids = shownBy.filter((x) => x.delivery_id === r.id).map((x) => x.unit_id);
+    const n = [...(await authorityOf(db, ids, r.at)).values()].filter((a) => a === "agent").length;
+    if (n)
+      marked.set(r.id, n);
+  }
   const seen = new Set(sent.map((r) => r.unit_id));
   const readUnits = sent.filter((r) => r.event === "pre_read").length;
   const rows = (await anchoredTo(db, projectId2, rels).where("u.kind", "in", ["decision", "constraint"]).execute()).filter((u) => !seen.has(u.id));
   const room = Math.min(LIMITS.pre_read.units, READ_SESSION.units - readUnits);
   const shown = rows.slice(0, Math.max(room, 0));
   const why = await reasons(db, shown.map((u) => u.id));
-  const lead = `Active decisions applying to ${named(rels)}, which ${how === "reading" ? "you are reading" : "this command names"} (current code relevance unverified). ${CONFIRM} ${NOTE}:`;
-  const f = fit2(shown.map((u) => why.has(u.id) ? [line(u, why.get(u.id)), line(u)] : line(u)), Math.min(LIMITS.pre_read.chars, READ_SESSION.chars + ASK - spent.reduce((n, r) => n + Math.max(r.chars - ASK, 0), 0)), lead);
+  const ai = await aiDecided(db, shown.map((u) => u.id));
+  const f = fitMarked(shown.map((u) => why.has(u.id) ? [line(u, why.get(u.id), ai.has(u.id)), line(u, "", ai.has(u.id))] : line(u, "", ai.has(u.id))), Math.min(LIMITS.pre_read.chars, READ_SESSION.chars + ASK - spent.reduce((n, r) => {
+    const ai2 = marked.get(r.id) ?? 0;
+    return n + Math.max(r.chars - ASK - (ai2 ? AI_ROOM + ai2 * AI_MARK.length : 0), 0);
+  }, 0)), `Active decisions applying to ${named(rels)}, which ${how === "reading" ? "you are reading" : "this command names"} (current code relevance unverified). ${CONFIRM} ${NOTE}:`, ai, shown.map((u) => u.id));
   const omitted = rows.length - shown.length + f.omitted;
   return {
-    ...noted(f.text, lead, [leftOut(omitted)]),
+    ...noted(f.text, f.lead, [leftOut(omitted)]),
     units: f.kept.flatMap((i) => shown[i]?.id ?? []),
     eligible: rows.length,
     omitted,
@@ -12758,18 +12876,22 @@ async function onPrompt(db, projectId2, root, prompt) {
       hits.push({ u, why: ` [names the ${o.outcome} option ${inline(o.text)}]` });
   }
   const shown = hits.slice(0, LIMITS.prompt.units);
-  const lines = shown.map((h) => `${NOTE}: ${line(h.u, h.why).slice(2)}`);
+  const ai = await aiDecided(db, shown.map((h) => h.u.id));
+  const wide = withAi(CONFIRM, LIMITS.prompt.chars, ai);
+  const lines = shown.map((h) => `${NOTE}: ${line(h.u, h.why, ai.has(h.u.id)).slice(2)}`);
   const kept = [];
-  let used = ASK;
-  for (const l of lines) {
-    if (used + l.length + 1 > LIMITS.prompt.chars)
+  let used = wide.lead.length + 1;
+  for (const [i, l] of lines.entries()) {
+    const cost = l.length - (ai.has(shown[i]?.u.id ?? -1) ? AI_MARK.length : 0);
+    if (used + cost + 1 > wide.chars)
       break;
     kept.push(l);
-    used += l.length + 1;
+    used += cost + 1;
   }
+  const ask = shown.slice(0, kept.length).some((h) => ai.has(h.u.id)) ? wide.lead : CONFIRM;
   return {
-    ...noted(kept.length ? [CONFIRM, ...kept].join(`
-`) : "", CONFIRM, [leftOut(hits.length - kept.length)]),
+    ...noted(kept.length ? [ask, ...kept].join(`
+`) : "", ask, [leftOut(hits.length - kept.length)]),
     units: shown.slice(0, kept.length).map((h) => h.u.id),
     eligible: hits.length,
     omitted: hits.length - kept.length,
@@ -12777,9 +12899,22 @@ async function onPrompt(db, projectId2, root, prompt) {
     reason: null
   };
 }
+var AUTO_TRACE_OFF = new Set(["off", "0", "false", "no"]);
+var AUTO_TRACE = (n) => `- ${n} earlier session${n === 1 ? "" : "s"} of this project ${n === 1 ? "waits" : "wait"} to be traced. After the user's request is done, run the trace Skill on your own for the oldest (at most 2), as its "On your own" section says, without asking the user.`;
 async function waiting(db, projectId2, place) {
   if (!place.owner)
     return "";
+  if (place.auto !== null) {
+    const { total } = await pendingSessions(db, projectId2, "recent", new Date, 1, {
+      auto: true,
+      skip: { host: place.host, session: place.auto }
+    });
+    if (!total)
+      return "";
+    if (!markOnce("auto-trace", `${path8.resolve(place.file)}\x00${place.key}\x00${place.host}\x00${place.auto}`))
+      return "";
+    return AUTO_TRACE(total);
+  }
   const n = (await pendingCount(db, projectId2)).recent;
   if (!n)
     return "";
@@ -12798,20 +12933,20 @@ async function atStart(db, projectId2, branch, place) {
     current2.select((eb) => eb.fn.countAll().as("n")).executeTakeFirst(),
     standing.select((eb) => eb.fn.countAll().as("n")).executeTakeFirst()
   ]).then((r) => r.map((x) => Number(x?.n ?? 0)));
+  const ai = await aiDecided(db, broad.map((u) => u.id));
   const lines = [
     ...work.map((w) => {
       const next = w.next[0];
       return `- Work: ${head(inline(w.title), 120)} (${w.status}${w.branch && w.branch === branch ? ", this branch" : ""}): ${head(inline(w.current), 200)}${next ? `; next: ${head(inline(next), 120)}` : ""}`;
     }),
-    ...broad.map((u) => line(u))
+    ...broad.map((u) => line(u, "", ai.has(u.id)))
   ];
-  const lead = `Sphica: this project's current work and standing constraints. ${CONFIRM} ${NOTE}:`;
-  const f = fit2(lines, LIMITS.session_start.chars, lead);
+  const f = fitMarked(lines, LIMITS.session_start.chars, `Sphica: this project's current work and standing constraints. ${CONFIRM} ${NOTE}:`, ai, [...work.map(() => null), ...broad.map((u) => u.id)]);
   const shownUnits = f.kept.flatMap((i) => i >= work.length ? broad[i - work.length]?.id ?? [] : []);
   const workLeft = Math.max((workTotal ?? 0) - f.kept.filter((i) => i < work.length).length, 0);
   const broadLeft = Math.max((broadTotal ?? 0) - shownUnits.length, 0);
   return {
-    ...noted(f.text, lead, [
+    ...noted(f.text, f.lead, [
       leftOut(broadLeft),
       workLeftOut(workLeft),
       await waiting(db, projectId2, place),
@@ -12848,11 +12983,11 @@ async function beforeReview(db, projectId2, root, call) {
   if (!rows.length)
     return { ...said(`Sphica ${checked}: no active recorded decision applies.`, null), once };
   const shown = rows.slice(0, LIMITS.review.units);
-  const lead = `Sphica: past decisions that apply to this change (${checked}). ${NOTE}; compare the change against each:`;
-  const f = fit2(shown.map((u) => line(u, ` [${inline(u.because)}]`)), LIMITS.review.chars, lead);
+  const ai = await aiDecided(db, shown.map((u) => u.id));
+  const f = fitMarked(shown.map((u) => line(u, ` [${inline(u.because)}]`, ai.has(u.id))), LIMITS.review.chars, `Sphica: past decisions that apply to this change (${checked}). ${NOTE}; compare the change against each:`, ai, shown.map((u) => u.id));
   const omitted = rows.length - shown.length + f.omitted;
   return {
-    ...noted(f.text, lead, [leftOut(omitted)]),
+    ...noted(f.text, f.lead, [leftOut(omitted)]),
     units: f.kept.flatMap((i) => shown[i]?.id ?? []),
     eligible: rows.length,
     omitted,
@@ -12987,6 +13122,7 @@ async function deliver(input, host = "claude-code", file = dbFile()) {
         key: place.key,
         host,
         subagent: name === "SubagentStart",
+        auto: host === "claude-code" && name === "SessionStart" && input.source === "startup" && process.env.CLAUDE_CODE_ENTRYPOINT === "cli" && !AUTO_TRACE_OFF.has((process.env.SPHICA_AUTO_TRACE ?? "").trim().toLowerCase()) ? session : null,
         owner: name !== "SubagentStart" && isOwnerTurn(input, undefined, undefined, host === "codex" ? process.env.CODEX_THREAD_ID : undefined)
       }),
       reason: name === "SubagentStart" ? "subagent" : input.source && START_SOURCES.has(input.source) ? input.source : null
@@ -13031,8 +13167,10 @@ if (process.argv[1] && /deliver\.(ts|js)$/.test(process.argv[1])) {
   main2().catch(() => {});
 }
 export {
+  AUTO_TRACE,
   CONFIRM,
   CONFIRM_GOLD,
   deliver,
+  leadFor,
   recordLines
 };