@maycombhq/atticus 2.0.0-beta.10 → 2.0.0-beta.12

package/dist/{chunk-Y7KBQ4BD.js → chunk-Q55UP5EZ.js}

@@ -6,32 +6,32 @@ var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   renderTaskContext,
   taskContext
-} from "./chunk-KC5DROFC.js";
-import "./chunk-RK6MKKKP.js";
-import "./chunk-47QE246J.js";
+} from "./chunk-DWYPYVPJ.js";
+import "./chunk-ISXNWUG7.js";
+import "./chunk-GMDOXWIS.js";
 import {
   changeFolder,
   changeStore
-} from "./chunk-XQ3YIV5R.js";
-import "./chunk-MGVYVW7Q.js";
-import "./chunk-NGPU2ARF.js";
-import "./chunk-AY2IUF4K.js";
-import "./chunk-6JLPXDWN.js";
-import "./chunk-4GZXS6S2.js";
+} from "./chunk-U5T4A2QV.js";
+import "./chunk-JQG4VO47.js";
+import "./chunk-DW4BM73R.js";
+import "./chunk-22GLUHGE.js";
+import "./chunk-QR65C3DV.js";
+import "./chunk-MLAACAES.js";
 import {
   attachToChange
-} from "./chunk-R4TBNKKC.js";
-import "./chunk-NIXVDQVO.js";
-import "./chunk-UR7RMZ3R.js";
-import "./chunk-N4QZJJVB.js";
-import "./chunk-PGKHJYOB.js";
-import "./chunk-MKRBG5EF.js";
-import "./chunk-5XDNUJ4P.js";
+} from "./chunk-HY2VVVFZ.js";
+import "./chunk-PJRMMWU4.js";
+import "./chunk-34NWVIBC.js";
+import "./chunk-77UOXZVM.js";
+import "./chunk-RA64IK43.js";
+import "./chunk-MRLCNXXR.js";
+import "./chunk-CQD26SMZ.js";
 import {
   changesRelOf,
   inputsDirOf
-} from "./chunk-577AJVRS.js";
-import "./chunk-D3PO4DOZ.js";
+} from "./chunk-U25OX22K.js";
+import "./chunk-MMB2OHUY.js";
 import "./chunk-TV45EUGM.js";
 
 // packages/cli/dist/attach-commands.js
@@ -90,7 +90,7 @@ async function promoteChangeInput(root, change, file) {
   } catch {
     throw new AttachError("not-found", `inputs/${name} isn't attached to ${c.id}: atticus change attach ${c.id} adds it.`);
   }
-  const { addToInbox } = await import("./chunk-NNUASOAA.js");
+  const { addToInbox } = await import("./chunk-ZBOPIYOY.js");
   const r = await addToInbox(root, [{ name, bytes }]);
   const added = r.added[0];
   if (!added)
@@ -107,11 +107,11 @@ function attachedLine(rel, a) {
 async function changeAttachCli(root, change, paths, o, io) {
   if (change && o.prototype) {
     if (paths.length) {
-      const { PROTOTYPE_CLI_WORDS } = await import("./chunk-LVGBKKSM.js");
+      const { PROTOTYPE_CLI_WORDS } = await import("./chunk-7AXMUE2U.js");
       io.err(PROTOTYPE_CLI_WORDS.usage(change, o.prototype));
       return 2;
     }
-    const { attachPrototype } = await import("./chunk-LVGBKKSM.js");
+    const { attachPrototype } = await import("./chunk-7AXMUE2U.js");
     return attachPrototype(root, change, o.prototype, { by: o.by, ...o.json ? { json: true } : {}, ...o.now ? { now: o.now } : {} }, io);
   }
   if (change && o.like) {
@@ -119,7 +119,7 @@ async function changeAttachCli(root, change, paths, o, io) {
       io.err("--like names an archived change, attached on its own: atticus change attach add-refund-window --like raise-transfer-limit");
       return 2;
     }
-    const { attachPastChange, findPastChange } = await import("./chunk-MF7QH4AX.js");
+    const { attachPastChange, findPastChange } = await import("./chunk-P6UJ22XR.js");
     const folder = await findPastChange(root, o.like);
     if (!folder) {
       io.err(`There is no archived change ${o.like}: atticus change similar "<what it is about>" lists them.`);

package/dist/{chunk-7URGP4DD.js → chunk-QAFMLBPF.js}

@@ -5,31 +5,31 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   INPUTS_SOURCE_ID
-} from "./chunk-IV7BCWWN.js";
+} from "./chunk-DONCF2XC.js";
 import {
   readCatalog
-} from "./chunk-AY2IUF4K.js";
+} from "./chunk-22GLUHGE.js";
 import {
   readKnowledge,
   readSnapshot
-} from "./chunk-6JLPXDWN.js";
-import "./chunk-4GZXS6S2.js";
+} from "./chunk-QR65C3DV.js";
+import "./chunk-MLAACAES.js";
 import {
   scanInputs
-} from "./chunk-R4TBNKKC.js";
-import "./chunk-NIXVDQVO.js";
-import "./chunk-UR7RMZ3R.js";
-import "./chunk-PGKHJYOB.js";
-import "./chunk-MKRBG5EF.js";
-import "./chunk-5XDNUJ4P.js";
+} from "./chunk-HY2VVVFZ.js";
+import "./chunk-PJRMMWU4.js";
+import "./chunk-34NWVIBC.js";
+import "./chunk-RA64IK43.js";
+import "./chunk-MRLCNXXR.js";
+import "./chunk-CQD26SMZ.js";
 import {
   catalogDirOf,
   inputsDirOf,
   knowledgeRelOf,
   loadOrgPack,
   orgPackDirOf
-} from "./chunk-577AJVRS.js";
-import "./chunk-D3PO4DOZ.js";
+} from "./chunk-U25OX22K.js";
+import "./chunk-MMB2OHUY.js";
 import "./chunk-TV45EUGM.js";
 
 // packages/cli/dist/documents.js

package/dist/{chunk-KIAI6PWL.js → chunk-QEZSA2O7.js}

@@ -7,26 +7,26 @@ import {
   expectedLine,
   expectedModel,
   handoffStep
-} from "./chunk-IUD3ME4E.js";
+} from "./chunk-5H46QFSL.js";
 import {
   isHandoffStep
 } from "./chunk-4Q3NN7VF.js";
-import "./chunk-47QE246J.js";
-import "./chunk-XQ3YIV5R.js";
-import "./chunk-MGVYVW7Q.js";
-import "./chunk-NGPU2ARF.js";
-import "./chunk-AY2IUF4K.js";
-import "./chunk-6JLPXDWN.js";
-import "./chunk-4GZXS6S2.js";
-import "./chunk-R4TBNKKC.js";
-import "./chunk-NIXVDQVO.js";
-import "./chunk-UR7RMZ3R.js";
-import "./chunk-N4QZJJVB.js";
-import "./chunk-PGKHJYOB.js";
-import "./chunk-MKRBG5EF.js";
-import "./chunk-5XDNUJ4P.js";
-import "./chunk-577AJVRS.js";
-import "./chunk-D3PO4DOZ.js";
+import "./chunk-GMDOXWIS.js";
+import "./chunk-U5T4A2QV.js";
+import "./chunk-JQG4VO47.js";
+import "./chunk-DW4BM73R.js";
+import "./chunk-22GLUHGE.js";
+import "./chunk-QR65C3DV.js";
+import "./chunk-MLAACAES.js";
+import "./chunk-HY2VVVFZ.js";
+import "./chunk-PJRMMWU4.js";
+import "./chunk-34NWVIBC.js";
+import "./chunk-77UOXZVM.js";
+import "./chunk-RA64IK43.js";
+import "./chunk-MRLCNXXR.js";
+import "./chunk-CQD26SMZ.js";
+import "./chunk-U25OX22K.js";
+import "./chunk-MMB2OHUY.js";
 import "./chunk-TV45EUGM.js";
 export {
   expectedLine,

package/dist/{chunk-PKCMRPPB.js → chunk-QJ3OX7OC.js}

@@ -6,43 +6,49 @@ var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   changeSteps,
   readNextState
-} from "./chunk-GZ4TKR3Q.js";
-import "./chunk-I7IWQIEB.js";
+} from "./chunk-PCCPXWJC.js";
+import "./chunk-SK5OYWIY.js";
+import "./chunk-3CFBU2O6.js";
 import "./chunk-MKFYQQ5Q.js";
-import "./chunk-2RX7PI2Y.js";
-import "./chunk-HE4ZQXZM.js";
-import "./chunk-2KDSXJFJ.js";
-import "./chunk-B3O52AUQ.js";
-import "./chunk-XKS6THI5.js";
+import "./chunk-2ELFEKOO.js";
+import "./chunk-HJUEQERG.js";
+import "./chunk-B6X5PJSA.js";
+import "./chunk-P76AW3PA.js";
+import "./chunk-7VNEDDCC.js";
+import "./chunk-6S27MUQQ.js";
+import "./chunk-EU7VTBAI.js";
+import "./chunk-NCONDPHH.js";
 import "./chunk-3G4YI4ZU.js";
-import "./chunk-IDGSU7JF.js";
-import "./chunk-LK44ULGI.js";
-import "./chunk-KC5DROFC.js";
-import "./chunk-RK6MKKKP.js";
-import "./chunk-47QE246J.js";
+import "./chunk-7TH6I6TL.js";
+import "./chunk-GHSVJNVL.js";
+import "./chunk-DWYPYVPJ.js";
+import "./chunk-ISXNWUG7.js";
+import "./chunk-VOGCSYOI.js";
+import "./chunk-GMDOXWIS.js";
 import {
   changeReport
-} from "./chunk-XQ3YIV5R.js";
-import "./chunk-MGVYVW7Q.js";
-import "./chunk-NGPU2ARF.js";
-import "./chunk-AY2IUF4K.js";
-import "./chunk-6JLPXDWN.js";
-import "./chunk-4GZXS6S2.js";
-import "./chunk-R4TBNKKC.js";
-import "./chunk-NIXVDQVO.js";
-import "./chunk-UR7RMZ3R.js";
-import "./chunk-N4QZJJVB.js";
+} from "./chunk-U5T4A2QV.js";
+import "./chunk-JQG4VO47.js";
+import "./chunk-DW4BM73R.js";
+import "./chunk-22GLUHGE.js";
+import "./chunk-QR65C3DV.js";
+import "./chunk-MLAACAES.js";
+import "./chunk-HY2VVVFZ.js";
+import "./chunk-PJRMMWU4.js";
+import "./chunk-34NWVIBC.js";
+import "./chunk-77UOXZVM.js";
+import "./chunk-TWHZU36X.js";
 import {
   readChangeRepos
-} from "./chunk-PGKHJYOB.js";
-import "./chunk-MKRBG5EF.js";
-import "./chunk-5XDNUJ4P.js";
+} from "./chunk-RA64IK43.js";
+import "./chunk-MRLCNXXR.js";
+import "./chunk-CQD26SMZ.js";
 import {
   changesDirOf,
   listQuestions,
   require_dist
-} from "./chunk-577AJVRS.js";
-import "./chunk-D3PO4DOZ.js";
+} from "./chunk-U25OX22K.js";
+import "./chunk-MMB2OHUY.js";
 import {
   __toESM
 } from "./chunk-TV45EUGM.js";

package/dist/{chunk-6EDQE7GO.js → chunk-QL4VNY4U.js}

@@ -8,10 +8,10 @@ import {
   RuntimeError,
   estimateTokens,
   registerModelProvider
-} from "./chunk-5XDNUJ4P.js";
+} from "./chunk-CQD26SMZ.js";
 import {
   redactText
-} from "./chunk-D3PO4DOZ.js";
+} from "./chunk-MMB2OHUY.js";
 import {
   __commonJS,
   __require,

package/dist/{chunk-6JLPXDWN.js → chunk-QR65C3DV.js}

@@ -6,11 +6,11 @@ var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   boundedId,
   opt
-} from "./chunk-R4TBNKKC.js";
+} from "./chunk-HY2VVVFZ.js";
 import {
   curatedAliases,
   resolveNames
-} from "./chunk-NIXVDQVO.js";
+} from "./chunk-PJRMMWU4.js";
 import {
   DATA_RULE,
   INSTRUCTION_RULES,
@@ -28,7 +28,7 @@ import {
   toRunSummary,
   verdictOf,
   wrapData
-} from "./chunk-5XDNUJ4P.js";
+} from "./chunk-CQD26SMZ.js";
 import {
   AgentDefinition,
   ChecklistPack,
@@ -65,11 +65,11 @@ import {
   serializeRecord,
   sourceReadsPage,
   toCanonicalYaml
-} from "./chunk-577AJVRS.js";
+} from "./chunk-U25OX22K.js";
 import {
   SCHEMA_VERSION,
   writeFileAtomic
-} from "./chunk-D3PO4DOZ.js";
+} from "./chunk-MMB2OHUY.js";
 import {
   __toESM
 } from "./chunk-TV45EUGM.js";

package/dist/{chunk-ILFKECGI.js → chunk-QXGOEP44.js}

@@ -5,10 +5,10 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   defaultKeyStore
-} from "./chunk-6EDQE7GO.js";
-import "./chunk-5XDNUJ4P.js";
-import "./chunk-577AJVRS.js";
-import "./chunk-D3PO4DOZ.js";
+} from "./chunk-QL4VNY4U.js";
+import "./chunk-CQD26SMZ.js";
+import "./chunk-U25OX22K.js";
+import "./chunk-MMB2OHUY.js";
 import "./chunk-TV45EUGM.js";
 
 // packages/cli/dist/secret-commands.js

package/dist/chunk-QY7RGTUP.js

@@ -0,0 +1,326 @@
+import { createRequire as __atticusCreateRequire } from "node:module";
+import { fileURLToPath as __atticusFileURLToPath } from "node:url";
+var require = __atticusCreateRequire(import.meta.url);
+var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
+var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
+import {
+  loadReadPlan,
+  saveReadPlan
+} from "./chunk-P76AW3PA.js";
+import {
+  FACT_RULES_HASH,
+  RULE_SETS,
+  factRulesFor,
+  factsReference,
+  ruleSetKinds,
+  rulesLacking,
+  rulesNow,
+  topUpWords
+} from "./chunk-GHSVJNVL.js";
+import {
+  fileKinds,
+  kindsOf,
+  lineRangeOf,
+  planBatches,
+  readingRank,
+  sameCommit
+} from "./chunk-MLAACAES.js";
+import {
+  DATA_RULE,
+  neutralise,
+  wrapData
+} from "./chunk-CQD26SMZ.js";
+import {
+  citedFiles,
+  factsDirOf,
+  factsRelOf,
+  parseFacts
+} from "./chunk-U25OX22K.js";
+import {
+  writeFileAtomic
+} from "./chunk-MMB2OHUY.js";
+
+// packages/cli/dist/map-rules.js
+import { readFile } from "node:fs/promises";
+import { join } from "node:path";
+var has = (a, b) => a.some((x) => b.includes(x));
+function applies(set, f) {
+  switch (set) {
+    case "field-types":
+    case "message-types":
+      return f.code ? f.rank === 2 || f.rank === 3 || f.cited.has("entry") || f.cited.has("call") || f.cited.has("field") : f.rank === 3 && f.kinds.includes("protocols");
+    case "mappings":
+      return f.kinds.includes("gateway");
+    case "terms":
+      return !f.code && has(f.kinds, ["config", "deploy", "gateway"]);
+    case "call-auth":
+      return f.code ? f.rank === 1 || f.rank === 3 || f.cited.has("call") : has(f.kinds, ["config", "gateway"]);
+  }
+}
+function topUpFiles(o) {
+  const whole = planBatches(o.source, {
+    room: Number.MAX_SAFE_INTEGER,
+    exclude: o.exclude,
+    ...o.conventions ? { conventions: o.conventions } : {}
+  });
+  const cites = /* @__PURE__ */ new Map();
+  for (const f of o.facts)
+    for (const p of citedFiles(f)) {
+      const k = cites.get(p) ?? /* @__PURE__ */ new Set();
+      k.add(f.kind);
+      cites.set(p, k);
+    }
+  const out = [];
+  for (const slice of whole.batches.flat()) {
+    const path = slice.path;
+    const rank = readingRank(path);
+    if (rank === 5)
+      continue;
+    const kinds = fileKinds(path);
+    const of = {
+      kinds,
+      rank,
+      code: kinds.includes("backend") || kinds.includes("frontend"),
+      cited: cites.get(path) ?? /* @__PURE__ */ new Set()
+    };
+    const sets = o.sets.filter((s) => has(kinds, ruleSetKinds(s)) && applies(s, of));
+    if (sets.length)
+      out.push({ path, tokens: slice.tokens, lines: slice.of, sets });
+  }
+  return out;
+}
+function ruleSetsOfFiles(files) {
+  const all = new Set(files.flatMap((f) => f.sets));
+  return RULE_SETS.filter((x) => all.has(x));
+}
+function topUpSessions(files, room) {
+  const reads = [];
+  for (const f of files) {
+    if (f.tokens <= room || f.lines <= 1) {
+      reads.push({ path: f.path, file: f.path, tokens: f.tokens, sets: f.sets });
+      continue;
+    }
+    const per = Math.max(1, Math.floor(f.lines * room / f.tokens));
+    for (let from = 1; from <= f.lines; from += per) {
+      const to = Math.min(f.lines, from + per - 1);
+      reads.push({
+        path: `${f.path}#L${from}-L${to}`,
+        file: f.path,
+        tokens: Math.ceil(f.tokens * (to - from + 1) / f.lines),
+        sets: f.sets
+      });
+    }
+  }
+  const sessions = [];
+  for (const r of reads) {
+    const last = sessions.at(-1);
+    if (last && last.tokens + r.tokens <= room) {
+      last.reads.push(r);
+      last.tokens += r.tokens;
+    } else
+      sessions.push({ reads: [r], tokens: r.tokens });
+  }
+  return sessions.map((s) => ({
+    paths: s.reads.map((r) => r.path),
+    sets: ruleSetsOfFiles(s.reads),
+    files: new Set(s.reads.map((r) => r.file)).size,
+    tokens: s.tokens
+  }));
+}
+var stamp = () => (/* @__PURE__ */ new Date()).toISOString().replace(/\.\d{3}Z$/, "Z");
+async function factsOf(root, repo) {
+  const text = await readFile(join(factsDirOf(root), `${repo}.jsonl`), "utf8").catch(() => "");
+  if (!text.trim())
+    return `${repo} isn't read yet: atticus map ${repo} reads it, under every rule.`;
+  const p = parseFacts(text);
+  return p.ok ? p.facts : `${factsRelOf(root)}/${repo}.jsonl does not read as facts (${p.issues[0]?.message ?? "?"}).`;
+}
+async function topUpOf(root, repo, o) {
+  const plan = await loadReadPlan(root, repo);
+  const lacking = rulesLacking(plan?.rules);
+  if (!lacking.length)
+    return { lacking, files: [], ...plan ? { plan } : {} };
+  const facts = o.facts?.length ? [...o.facts] : await factsOf(root, repo);
+  if (typeof facts === "string")
+    return { error: facts };
+  if (!facts.length)
+    return { error: `${repo} isn't read yet: atticus map ${repo} reads it.` };
+  if (!facts.every((f) => sameCommit(f.commit, o.commit)))
+    return {
+      error: `${repo}'s clone moved past its facts' commit: read what changed first (atticus map ${repo}), then top it up.`
+    };
+  const files = topUpFiles({
+    facts,
+    source: o.source,
+    exclude: o.exclude,
+    sets: lacking,
+    ...o.conventions ? { conventions: o.conventions } : {}
+  });
+  return { lacking, files, ...plan ? { plan } : {} };
+}
+var planOr = (plan, repo, commit, session) => plan ?? { schemaVersion: 2, repo, commit, session, plannedAt: stamp(), parts: [] };
+async function recordRulesNow(root, repo, commit) {
+  const plan = await loadReadPlan(root, repo);
+  const { topUp: _t, ...rest } = planOr(plan, repo, commit, 15e4);
+  if (plan?.rules?.hash === FACT_RULES_HASH && !plan.topUp)
+    return;
+  await saveReadPlan(root, { ...rest, rules: rulesNow() });
+}
+async function recordTopUpVerified(root, repo, o) {
+  const plan = await loadReadPlan(root, repo);
+  const t = plan?.topUp;
+  if (!plan || !t || !o.commit || !sameCommit(t.commit, o.commit))
+    return;
+  const given = t.sessions.filter((s) => s.given && !s.done);
+  if (!given.length)
+    return;
+  const at = o.now ?? stamp();
+  const sessions = t.sessions.map((s) => s.given && !s.done ? { ...s, done: { at, commit: o.commit } } : s);
+  if (sessions.every((s) => s.done)) {
+    const { topUp: _t, ...rest } = plan;
+    const sets = [.../* @__PURE__ */ new Set([...plan.rules?.sets ?? [], ...t.sets])];
+    await saveReadPlan(root, {
+      ...rest,
+      rules: t.hash === FACT_RULES_HASH ? rulesNow() : { hash: t.hash, sets }
+    });
+    return;
+  }
+  await saveReadPlan(root, { ...plan, topUp: { ...t, sessions } });
+}
+var rulesRelOf = (root, repo) => `${factsRelOf(root)}/${repo}.rules.md`;
+var sameSets = (a, b) => a.length === b.length && a.every((x) => b.includes(x));
+async function plannedTopUp(root, repo, o) {
+  const t = await topUpOf(root, repo, o);
+  if ("error" in t)
+    return t;
+  if (!t.lacking.length)
+    return { lacking: [], facts: [] };
+  const facts = await factsOf(root, repo);
+  if (typeof facts === "string")
+    return { error: facts };
+  const on = t.plan?.topUp;
+  if (on && sameCommit(on.commit, o.commit) && on.hash === FACT_RULES_HASH && sameSets(on.sets, t.lacking))
+    return { lacking: t.lacking, topUp: on, facts };
+  const topUp = {
+    commit: o.commit,
+    hash: FACT_RULES_HASH,
+    sets: t.lacking,
+    session: o.session,
+    plannedAt: stamp(),
+    sessions: topUpSessions(t.files, o.session)
+  };
+  if (!o.dryRun && topUp.sessions.length)
+    await saveReadPlan(root, { ...planOr(t.plan, repo, o.commit, o.session), topUp });
+  return { lacking: t.lacking, topUp, facts };
+}
+async function mapRules(root, repo, o, io) {
+  const p = await plannedTopUp(root, repo, o);
+  if ("error" in p) {
+    io.err(p.error);
+    return 2;
+  }
+  if (!p.lacking.length || !p.topUp) {
+    if (o.json)
+      io.out(JSON.stringify({ repo, commit: o.commit, sets: [], sessions: 0 }, null, 2));
+    else
+      io.out(`${repo} was read under the reading rules there are now: nothing to top up.`);
+    return 0;
+  }
+  const t = p.topUp;
+  if (!t.sessions.length) {
+    await recordRulesNow(root, repo, o.commit);
+    if (o.json)
+      io.out(JSON.stringify({ repo, commit: o.commit, sets: t.sets, sessions: 0 }, null, 2));
+    else
+      io.out(`No file of ${repo} is one the reading rules added since it was read apply to (${t.sets.join(", ")}): its read is recorded as under the rules there are now.`);
+    return 0;
+  }
+  const n = t.sessions.findIndex((s) => !s.done);
+  const next = t.sessions[n];
+  const sessions = t.sessions.map((s, i) => i === n ? { ...s, given: stamp() } : s);
+  const plan = await loadReadPlan(root, repo);
+  await saveReadPlan(root, { ...plan, topUp: { ...t, sessions } });
+  const rel = rulesRelOf(root, repo);
+  await writeFileAtomic(join(factsDirOf(root), `${repo}.rules.md`), rulesPrompt(repo, o.commit, {
+    rel: factsRelOf(root),
+    session: next,
+    n: n + 1,
+    of: t.sessions.length,
+    facts: p.facts,
+    notes: o.notes
+  }));
+  if (o.json) {
+    io.out(JSON.stringify({
+      repo,
+      commit: o.commit,
+      sets: t.sets,
+      session: n + 1,
+      sessions: t.sessions.length,
+      paths: next.paths,
+      tokens: next.tokens,
+      prompt: rel
+    }, null, 2));
+    return 0;
+  }
+  const files = new Set(t.sessions.flatMap((s) => s.paths.map((x) => lineRangeOf(x)?.file ?? x)));
+  const tokens = t.sessions.reduce((x, s) => x + s.tokens, 0);
+  io.out(`Top-up of ${repo} for the reading rules added since it was read (${t.sets.join(", ")}): ${files.size} ${files.size === 1 ? "file" : "files"}, about ${tokens.toLocaleString("en-US")} tokens, in ${t.sessions.length} ${t.sessions.length === 1 ? "session" : "sessions"} of ${o.session.toLocaleString("en-US")} at most.`);
+  io.out(`Wrote ${rel}: session ${n + 1} of ${t.sessions.length}, ${next.paths.length} ${next.paths.length === 1 ? "read" : "reads"} (${next.sets.join(", ")}), about ${next.tokens.toLocaleString("en-US")} tokens.`);
+  io.out(`Start a new chat, so the session holds only these files, and run /atticus-map ${repo} --rules there (or paste ${rel}). When atticus verify ${repo} passes after it, the session is done${t.sessions.length > n + 1 ? `; the next is for another new chat` : ` and the read records the rules there are now`}.`);
+  return 0;
+}
+var factLine = (f) => `- ${f.id} (${f.kind}, ${f.cite.file}:${f.cite.line})`;
+function rulesPrompt(repo, commit, c) {
+  const s = c.session;
+  const sets = s.sets;
+  const files = s.paths.map((x) => lineRangeOf(x)?.file ?? x);
+  const list = s.paths.map((x) => `- \`${x}\``).join("\n");
+  const kept = c.facts.filter((f) => citedFiles(f).some((p) => files.includes(p)));
+  const block = (id, kind, origin, text) => wrapData({ id, kind, origin }, neutralise(text, void 0, { mark: true }).text);
+  return [
+    `# Top-up of ${repo} at ${commit}`,
+    "",
+    `Session ${c.n} of ${c.of}, about ${s.tokens.toLocaleString("en-US")} tokens of source. ${topUpWords(sets)} Open each path below and nothing else: a path ending \`#L<from>-L<to>\` by those lines only, never the whole file.`,
+    "",
+    `- Write each fact to \`${c.rel}/${repo}.jsonl\`, appended, with \`commit\` ${commit}. A kept fact you add to is written again whole, under its id.`,
+    `- Then run \`atticus verify ${repo}\` and fix what it rejects until it exits 0: that records this session done${c.of > c.n ? `. The next session is for a new chat: \`/atticus-map ${repo} --rules\` there` : ", and the read as under the rules there are now"}.`,
+    "",
+    "## The rules",
+    "",
+    "Each fact has this shape:",
+    "",
+    factsReference(),
+    "",
+    factRulesFor(kindsOf(files), void 0, sets),
+    "",
+    "## Read",
+    "",
+    `The paths to open are in the data block below. ${DATA_RULE}`,
+    "",
+    block(`${repo}.rules`, "rules", `${c.rel}/${repo}.read-plan.yaml`, list),
+    "",
+    "## Facts already kept (by id; don't write them again)",
+    "",
+    kept.length ? block(`${repo}.kept`, "facts", `${c.rel}/${repo}.jsonl`, kept.map(factLine).join("\n")) : "None cite these files.",
+    ...c.notes ? [
+      "",
+      "## The organisation's notes for this repo",
+      "",
+      block(`${repo}.notes`, "notes", "org-pack", c.notes)
+    ] : [],
+    ""
+  ].join("\n");
+}
+
+export {
+  topUpFiles,
+  ruleSetsOfFiles,
+  topUpSessions,
+  topUpOf,
+  recordRulesNow,
+  recordTopUpVerified,
+  rulesRelOf,
+  plannedTopUp,
+  mapRules,
+  rulesPrompt
+};

package/dist/{chunk-PGKHJYOB.js → chunk-RA64IK43.js}

@@ -14,7 +14,7 @@ import {
   require_dist,
   runsDirOf,
   toCanonicalYaml
-} from "./chunk-577AJVRS.js";
+} from "./chunk-U25OX22K.js";
 import {
   __toESM
 } from "./chunk-TV45EUGM.js";