@maycombhq/atticus 2.0.0-beta.12.1 → 2.0.0-beta.12.2

package/dist/{chunk-TJHDFS33.js → chunk-QUHSKUDF.js}

@@ -6,41 +6,41 @@ var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   claimOf,
   factLabel
-} from "./chunk-VUBVBFJW.js";
+} from "./chunk-ACW2C7CY.js";
 import {
   verifyInputsOf
-} from "./chunk-6IKYFARG.js";
-import "./chunk-QOF7U6BI.js";
-import "./chunk-XDTD55UU.js";
-import "./chunk-CGF4LKXR.js";
-import "./chunk-XZLSKGJX.js";
+} from "./chunk-TDKSKJU3.js";
+import "./chunk-ZJDOYEW4.js";
+import "./chunk-KLROTB6N.js";
+import "./chunk-GGBEM27J.js";
+import "./chunk-S6JXYEG4.js";
 import {
   checkoutOf
-} from "./chunk-6AYUBYK6.js";
-import "./chunk-7VNEDDCC.js";
+} from "./chunk-WMCKOZFT.js";
+import "./chunk-PPCCFZG7.js";
 import {
   repoContractsOf
-} from "./chunk-MIOY6EXD.js";
-import "./chunk-J22RSFKY.js";
-import "./chunk-KPHPVOME.js";
-import "./chunk-G5SKNMPC.js";
-import "./chunk-JQG4VO47.js";
-import "./chunk-DW4BM73R.js";
-import "./chunk-DBZNQAMN.js";
-import "./chunk-QR65C3DV.js";
+} from "./chunk-PURVXI7L.js";
+import "./chunk-R2A6DAPC.js";
+import "./chunk-JTI3FKGI.js";
+import "./chunk-PI6KNUBW.js";
+import "./chunk-24ARIOB7.js";
+import "./chunk-4Q6HX5GQ.js";
+import "./chunk-E53MN24E.js";
+import "./chunk-ZUCJCBS5.js";
 import {
   dirSource,
   repairFormSlips,
   verifyFacts
-} from "./chunk-7VAMO66T.js";
-import "./chunk-HY2VVVFZ.js";
-import "./chunk-PJRMMWU4.js";
-import "./chunk-34NWVIBC.js";
-import "./chunk-77UOXZVM.js";
-import "./chunk-ARLH2ZMD.js";
-import "./chunk-RA64IK43.js";
-import "./chunk-MRLCNXXR.js";
-import "./chunk-CQD26SMZ.js";
+} from "./chunk-DLSPFAC5.js";
+import "./chunk-ZS2EZYOR.js";
+import "./chunk-KDKLT22F.js";
+import "./chunk-UA4DLNV7.js";
+import "./chunk-RNUHS433.js";
+import "./chunk-AQPK22BH.js";
+import "./chunk-5WJCV6ED.js";
+import "./chunk-FT2E2DHW.js";
+import "./chunk-E52MNV5B.js";
 import {
   factsDirOf,
   factsRelOf,
@@ -56,7 +56,7 @@ import {
   require_dist,
   specRelOf,
   stackHelpersOff
-} from "./chunk-U25OX22K.js";
+} from "./chunk-LZABEKI6.js";
 import "./chunk-MMB2OHUY.js";
 import {
   __toESM
@@ -193,7 +193,7 @@ async function verifyWritePreview(root, repo, o = {}) {
       }
     };
   }
-  const { projectFactsIntoCatalog } = await import("./chunk-CUD4I2U6.js");
+  const { projectFactsIntoCatalog } = await import("./chunk-5BDBPV6V.js");
   const contracts = await repoContractsOf(root, repo, dir, report.accepted);
   const companion = join(factsDirOf(root), `${repo}.contracts.yaml`);
   const onDisk = await readFile(companion, "utf8").catch(() => void 0);

package/dist/{chunk-DQKNOHUZ.js → chunk-QXI64SJ4.js}

@@ -6,7 +6,7 @@ var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   external_exports,
   require_dist
-} from "./chunk-U25OX22K.js";
+} from "./chunk-LZABEKI6.js";
 import {
   ensureLocalIgnore
 } from "./chunk-MMB2OHUY.js";

package/dist/{chunk-P7SONIEO.js → chunk-QZIAPAUG.js}

@@ -6,69 +6,71 @@ var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   mapCommand,
   mapStateOf
-} from "./chunk-7C7PTJM2.js";
+} from "./chunk-S4EGGQZB.js";
 import {
   factsRepos,
   verifyCommand
-} from "./chunk-6IKYFARG.js";
+} from "./chunk-TDKSKJU3.js";
 import {
   plannedTopUp,
   recordRulesNow,
   ruleSetsOfFiles
-} from "./chunk-QOF7U6BI.js";
-import "./chunk-XDTD55UU.js";
-import "./chunk-CGF4LKXR.js";
+} from "./chunk-ZJDOYEW4.js";
+import "./chunk-KLROTB6N.js";
+import "./chunk-GGBEM27J.js";
 import {
   estateFreshness
-} from "./chunk-ZDZCUZ4N.js";
+} from "./chunk-M2U3IZ54.js";
 import {
   onboardingQueue
-} from "./chunk-N6YELFHL.js";
-import "./chunk-PAQDPB6T.js";
-import "./chunk-DIAYQLEY.js";
-import "./chunk-WFJMKUTR.js";
+} from "./chunk-UGMJ3Z35.js";
+import "./chunk-IPB6EKUH.js";
+import "./chunk-HFMLZFY4.js";
+import "./chunk-LNPS5GQ3.js";
 import {
   checkoutOf,
   conventionsAt,
   excludesOf,
   headOf,
   loadReadPlan,
+  partUnaccounted,
   readPlanProgress
-} from "./chunk-6AYUBYK6.js";
-import "./chunk-7VNEDDCC.js";
-import "./chunk-BHHIHENP.js";
-import "./chunk-42L2WHP6.js";
-import "./chunk-MIOY6EXD.js";
+} from "./chunk-WMCKOZFT.js";
+import "./chunk-PPCCFZG7.js";
+import "./chunk-2UPMPTNJ.js";
+import "./chunk-C43X7Y7O.js";
+import "./chunk-PURVXI7L.js";
 import {
   isMetarepo,
   notMetarepo
 } from "./chunk-3G4YI4ZU.js";
 import {
+  ASSISTANT_FORMATS,
   assistantTier,
   readProbes,
   rulesLacking
-} from "./chunk-J22RSFKY.js";
+} from "./chunk-R2A6DAPC.js";
 import "./chunk-VOGCSYOI.js";
 import {
   estateRepos,
   productionRepos
-} from "./chunk-DBZNQAMN.js";
-import "./chunk-QR65C3DV.js";
+} from "./chunk-E53MN24E.js";
+import "./chunk-ZUCJCBS5.js";
 import {
   dirSource,
   sameCommit,
   sessionTokensFor
-} from "./chunk-7VAMO66T.js";
-import "./chunk-HY2VVVFZ.js";
-import "./chunk-PJRMMWU4.js";
-import "./chunk-34NWVIBC.js";
-import "./chunk-M4D3VKAS.js";
-import "./chunk-ARLH2ZMD.js";
-import "./chunk-RA64IK43.js";
-import "./chunk-MRLCNXXR.js";
+} from "./chunk-DLSPFAC5.js";
+import "./chunk-ZS2EZYOR.js";
+import "./chunk-KDKLT22F.js";
+import "./chunk-UA4DLNV7.js";
+import "./chunk-OV3WHHRI.js";
+import "./chunk-AQPK22BH.js";
+import "./chunk-5WJCV6ED.js";
+import "./chunk-FT2E2DHW.js";
 import {
   currentPromptLimit
-} from "./chunk-CQD26SMZ.js";
+} from "./chunk-E52MNV5B.js";
 import {
   factsDirOf,
   factsRelOf,
@@ -78,7 +80,7 @@ import {
   orgPackDirOf,
   parseFacts,
   require_dist
-} from "./chunk-U25OX22K.js";
+} from "./chunk-LZABEKI6.js";
 import {
   ensureLocalIgnore,
   writeFileAtomic
@@ -95,7 +97,7 @@ import { join } from "node:path";
 var MAP_ALL_STATE_REL = ".atticus/map-all/state.json";
 var statePath = (root) => join(root, ".atticus", "map-all", "state.json");
 var REMIND_MS = 10 * 6e4;
-var IDLE_MINUTES = 15;
+var IDLE_MINUTES = 30;
 var POLL_MS = 3e3;
 var RETRIES = 3;
 var plural = (n, one, many = `${one}s`) => `${n} ${n === 1 ? one : many}`;
@@ -122,6 +124,13 @@ function modelModeAllowed(op) {
   const rt = op.runtime;
   return rt.ai !== "off" && rt.modes.allowed.includes("model") && !!rt.adapters.model && rt.adapters.model.type !== "mock";
 }
+async function mapReader(root) {
+  const op = await loadOrgPack(orgPackDirOf(root));
+  const tier = assistantTier(op.runtime, { probes: (await readProbes(root)).results });
+  const name = tier.assistant ? ASSISTANT_FORMATS[tier.assistant].name : "no assistant";
+  const paste = tier.tier !== "off" && (tier.assistant === "copilot" || tier.tier !== 1);
+  return { name, loop: paste && isMetarepo(root) };
+}
 async function limitFor(root, op, given) {
   const flag = given ?? currentPromptLimit();
   if (flag !== void 0)
@@ -164,7 +173,7 @@ async function commitOf(root, repo, f) {
     return void 0;
   return await headFromFiles(dir) ?? await headOf(dir);
 }
-async function partsOf(root, repo, commit, limit, git, models) {
+async function partsOf(root, repo, commit, limit, git, models, force) {
   const io = captured();
   const code = await mapCommand(root, repo, { estimate: true, json: true, commit, maxTokens: limit, ...models ? { models } : {} }, io, git ? { git } : {});
   const r = code === 0 ? jsonOf(io.lines) : void 0;
@@ -188,7 +197,7 @@ async function partsOf(root, repo, commit, limit, git, models) {
       ...batches !== void 0 ? { batches } : {}
     };
   const states = r.parts.plan?.parts ?? [];
-  const parts = planned.map((p, i) => ({ part: i + 1, total: planned.length, ...p })).filter((p) => states.find((s) => s.part === p.part)?.state !== "done");
+  const parts = planned.map((p, i) => ({ part: i + 1, total: planned.length, ...p })).filter((p) => force ? !force.done.has(p.part) : states.find((s) => s.part === p.part)?.state !== "done");
   return {
     parts,
     total: planned.length,
@@ -243,6 +252,17 @@ async function planEstate(root, op, o, c, state) {
       continue;
     }
     const state2 = f?.state ?? "not-read";
+    if (o.force) {
+      todo.push({
+        repo,
+        kind: "read",
+        commit,
+        why: state2 === "not-read" ? "--force: read whole" : "--force: read whole again, the facts on file kept as already kept",
+        ...state2 === "not-read" ? {} : { started: true },
+        force: true
+      });
+      continue;
+    }
     if (o.gaps) {
       if (state2 === "not-read")
         skipped.push({ repo, why: "not read yet: the gaps pass follows a read" });
@@ -324,7 +344,8 @@ async function planEstate(root, op, o, c, state) {
       kind: t.kind,
       commit: t.commit,
       why: t.why,
-      ...production.has(t.repo) ? {} : { prototype: true }
+      ...production.has(t.repo) ? {} : { prototype: true },
+      ...t.force ? { force: true } : {}
     };
     if (t.kind === "carry") {
       items.push({ ...base, parts: [], total: 0, tokens: 0 });
@@ -357,7 +378,7 @@ async function planEstate(root, op, o, c, state) {
       });
       continue;
     }
-    const p = await partsOf(root, t.repo, t.commit, c.limit, c.git, o.models);
+    const p = await partsOf(root, t.repo, t.commit, c.limit, c.git, o.models, t.force ? { done: forcedDone(t.repo, t.commit) } : void 0);
     if (typeof p === "string") {
       skipped.push({ repo: t.repo, why: p });
       continue;
@@ -376,6 +397,12 @@ async function planEstate(root, op, o, c, state) {
     items.push({ ...base, ...p });
   }
   return { limit: c.limit, limitFrom: c.limitFrom, mode: c.mode, items, skipped };
+  function forcedDone(repo, commit) {
+    const r = state?.repos[repo];
+    if (!r?.force || !sameCommit(r.commit, commit))
+      return /* @__PURE__ */ new Set();
+    return new Set(Object.entries(r.parts).filter(([, p]) => p.state === "done").map(([n]) => Number(n)));
+  }
   function isDone(repo, commit) {
     const r = state?.repos[repo];
     return !!r?.done && r.kind === "gaps" && sameCommit(r.commit, commit);
@@ -427,6 +454,17 @@ async function snapOf(root, repo) {
   };
 }
 var sameSnap = (a, b) => a.facts === b.facts && a.reviewed === b.reviewed && a.verify === b.verify;
+async function writtenOf(root, repo) {
+  const dir = factsDirOf(root);
+  const facts = await readFile(join(dir, `${repo}.jsonl`), "utf8").catch(() => "");
+  const p = facts.trim() ? parseFacts(facts) : void 0;
+  const ids = (p?.ok ? p.facts : []).map((f) => {
+    const c = f.cite;
+    return `${f.id}|${c?.file ?? ""}:${c?.line ?? ""}`;
+  });
+  const reviewed = (await readFile(join(dir, `${repo}.reviewed.jsonl`), "utf8").catch(() => "")).split(/\r?\n/).map((l) => l.trim()).filter(Boolean);
+  return JSON.stringify([[...new Set(ids)].sort(), reviewed]);
+}
 async function factsAt(root, repo, commit) {
   const text = await readFile(join(factsDirOf(root), `${repo}.jsonl`), "utf8").catch(() => "");
   if (!text.trim())
@@ -447,7 +485,13 @@ async function settled(root, repo, commit, s, since) {
     return false;
   }
 }
-async function covered(root, item, part, first, now) {
+async function covered(root, item, part, first, now, unknown, wrote) {
+  const moved = now.facts !== first.facts || now.reviewed !== first.reviewed;
+  if (item.force) {
+    if (!(wrote ?? moved))
+      return false;
+    return item.total <= 1 || !!unknown && !leftOf(part, unknown).length;
+  }
   if (item.kind === "rules") {
     const plan = await loadReadPlan(root, item.repo);
     if (!plan?.topUp)
@@ -456,13 +500,26 @@ async function covered(root, item, part, first, now) {
   }
   if (item.total > 1) {
     const p = await readPlanProgress(root, item.repo);
-    return p?.parts.find((x) => x.part === part.part)?.state === "done";
+    const s = p?.parts.find((x) => x.part === part.part);
+    if (s?.state === "done")
+      return true;
+    return !!s && !!unknown && !partUnaccounted(s, unknown).length;
   }
-  const moved = now.facts !== first.facts || now.reviewed !== first.reviewed;
   if (item.kind === "read")
     return moved || now.reviewed !== void 0 || await factsAt(root, item.repo, item.commit) > 0;
   return moved;
 }
+var leftOf = (part, unknown) => partUnaccounted({ paths: part.paths, left: [] }, unknown);
+function unaccountedWords(left, shown = 5) {
+  return left.map((u) => {
+    if (!u.files.length)
+      return `${u.glob} (no fact cites a line of it yet)`;
+    const dir = u.glob.replace(/\/?\*\*?$/, "");
+    const rel = u.files.map((f) => u.glob.includes("*") && dir && f.startsWith(`${dir}/`) ? f.slice(dir.length + 1) : f);
+    const more = rel.length > shown ? `, and ${rel.length - shown} more` : "";
+    return `${u.glob} (${plural(u.files.length, "file")}: ${rel.slice(0, shown).join(", ")}${more})`;
+  }).join("; ");
+}
 var CapReached = class extends Error {
 };
 function capped(inner, o, spent) {
@@ -513,6 +570,10 @@ async function mapAllCommand(root, o, io, deps = {}) {
     io.err("runtime.yaml doesn't allow model mode with a provider here: map the estate through Copilot (atticus map --all without --mode model).");
     return 2;
   }
+  if (o.force && (o.gaps || o.stale)) {
+    io.err("--force reads the repos whole again; it doesn't go with --stale or --gaps.");
+    return 2;
+  }
   if (mode === "model" && o.gaps) {
     io.err("The gaps pass is a session for an assistant that opens files: run atticus map --all --gaps --mode hand-off and paste each line into Copilot Chat.");
     return 2;
@@ -556,10 +617,17 @@ async function mapAllCommand(root, o, io, deps = {}) {
   const stopped = () => deps.signal?.aborted === true;
   const repoState = (item) => {
     const r = st.repos[item.repo];
-    if (r && sameCommit(r.commit, item.commit) && r.kind === item.kind)
+    if (r && sameCommit(r.commit, item.commit) && r.kind === item.kind && !!r.force === !!item.force)
       return r;
-    return st.repos[item.repo] = { commit: item.commit, kind: item.kind, parts: {} };
+    return st.repos[item.repo] = {
+      commit: item.commit,
+      kind: item.kind,
+      parts: {},
+      ...item.force ? { force: true } : {}
+    };
   };
+  const resumeAs = o.resumeAs ?? `atticus map --all${o.repos ? ` --repos ${o.repos.join(",")}` : ""}${o.stale ? " --stale" : ""}${o.gaps ? " --gaps" : ""}${o.force ? " --force" : ""}${o.models ? ` --models ${o.models}` : ""}${lim.from === "flag" ? ` --max-tokens ${limit}` : ""}${o.idleMinutes ? ` --idle ${o.idleMinutes}` : ""}`;
+  let idleStop = false;
   const partState = (item, part) => repoState(item).parts[String(part)] ??= { retries: 0 };
   const verifyStep = async (item) => {
     const c = captured();
@@ -631,8 +699,10 @@ async function mapAllCommand(root, o, io, deps = {}) {
   }
   const interrupted = quit || stopped() || capHit;
   if (interrupted) {
-    io.out("");
-    io.out(capHit ? `Stopped at the cap (${o.maxParts !== void 0 ? `--max-parts ${o.maxParts}` : ""}${o.maxParts !== void 0 && o.budgetTokens !== void 0 ? ", " : ""}${o.budgetTokens !== void 0 ? `--budget-tokens ${o.budgetTokens}` : ""}): ${plural(totals.spent.prompts, "prompt")} run. atticus map --all carries on from here.` : "Stopped. Where the estate stands is saved: atticus map --all carries on from here.");
+    if (!idleStop) {
+      io.out("");
+      io.out(capHit ? `Stopped at the cap (${o.maxParts !== void 0 ? `--max-parts ${o.maxParts}` : ""}${o.maxParts !== void 0 && o.budgetTokens !== void 0 ? ", " : ""}${o.budgetTokens !== void 0 ? `--budget-tokens ${o.budgetTokens}` : ""}): ${plural(totals.spent.prompts, "prompt")} run. atticus map --all carries on from here.` : "Stopped. Where the estate stands is saved: atticus map --all carries on from here.");
+    }
   } else if (totals.parts || totals.repos.size) {
     io.out("");
     io.out("Joining the estate: atticus verify --all --write.");
@@ -660,8 +730,9 @@ async function mapAllCommand(root, o, io, deps = {}) {
     const ps = partState(item, part.part);
     const nth = item.parts.indexOf(part) + 1;
     const label = item.total > 1 ? `part ${part.part} of ${item.total}${item.parts.length < item.total && nth > 0 ? `, ${nth} of the ${item.parts.length} to read` : ""}` : "one session";
+    const named = item.total > 1 ? `part ${part.part} of ${item.total}` : "one session";
     const progress = item.total > 1 ? await readPlanProgress(root, item.repo) : void 0;
-    const first0 = item.kind === "rules" ? await rulesLine(item) : item.kind === "gaps" ? await gapsLine(item) : ps.retries > 0 || progress?.next && progress.next.part !== part.part ? await restLine(item, part) ?? `/atticus-map ${item.repo}` : `/atticus-map ${item.repo}`;
+    const first0 = item.kind === "rules" ? await rulesLine(item) : item.kind === "gaps" ? await gapsLine(item) : item.force ? forceLine(item, part) : ps.retries > 0 || progress?.next && progress.next.part !== part.part ? await restLine(item, part) ?? `/atticus-map ${item.repo}` : `/atticus-map ${item.repo}`;
     if (first0 === void 0) {
       io.out(`${item.repo}: no gaps left; nothing to read.`);
       return finishPart(item, part, ps);
@@ -670,14 +741,14 @@ async function mapAllCommand(root, o, io, deps = {}) {
       return finishPart(item, part, ps);
     let line = first0;
     await block(item, part, label, where, line, ps.retries);
+    let base = item.force ? await writtenOf(root, item.repo) : "";
     let first = await snapOf(root, item.repo);
     let since = first;
     let prev = first;
     let lastChange = clock.now();
     let lastRemind = clock.now();
     const started = clock.now();
-    let stuckSaid = false;
-    const idleMs = (o.idleMinutes ?? IDLE_MINUTES) * 6e4;
+    const idleMinutes = o.idleMinutes ?? IDLE_MINUTES;
     for (; ; ) {
       if (stopped()) {
         ps.state = "incomplete";
@@ -701,30 +772,42 @@ async function mapAllCommand(root, o, io, deps = {}) {
         const again = await retry(item, part, label, where);
         if (again === "done")
           return finishPart(item, part, ps);
+        if (item.force)
+          base = await writtenOf(root, item.repo);
         first = await snapOf(root, item.repo);
         since = first;
         prev = first;
         lastChange = clock.now();
-        stuckSaid = false;
         continue;
       }
       const now = await snapOf(root, item.repo);
       if (!sameSnap(now, prev)) {
         lastChange = clock.now();
-        stuckSaid = false;
         prev = now;
       }
-      if (await settled(root, item.repo, item.commit, now, since) && await covered(root, item, part, first, now)) {
+      if (await settled(root, item.repo, item.commit, now, since)) {
+        const wrote = item.force ? await writtenOf(root, item.repo) !== base : void 0;
         const v = await verifyStep(item);
-        if (v && !v.rejected && await covered(root, item, part, first, await snapOf(root, item.repo)))
+        const after = await snapOf(root, item.repo);
+        if (v && !v.rejected && await covered(root, item, part, first, after, v.coverage.unknown, wrote))
           return finishPart(item, part, ps);
-        io.out(`Not done yet: ${v?.rejected ? `${plural(v.rejected, "fact")} rejected for the reader to fix` : "the part isn't accounted for in the facts yet"}. Still waiting (s + Enter skips, r + Enter gives the prompt again for what's left).`);
-        since = await snapOf(root, item.repo);
-        prev = since;
+        if (v?.rejected)
+          io.out(`Not done yet: ${plural(v.rejected, "fact")} rejected for the reader to fix. Still waiting (s + Enter skips, r + Enter gives the prompt again for what's left).`);
+        else if (v && item.total > 1 && item.kind !== "rules") {
+          const left = await leftNow(item, part, v.coverage.unknown);
+          io.out(left.length ? `Still not covered in ${item.repo} ${named}: ${unaccountedWords(left)}. ${item.force ? `r + Enter gives the line again (${line}); ` : `r + Enter gives a NEW chat only what is left of the part: these files, and any line verify lists as skipped under it (/atticus-map ${item.repo} --part ${part.part} --gaps); `}s + Enter skips the part; q + Enter stops.` : `Not done yet: nothing was written for ${item.repo} ${named} since its line was given. r + Enter gives the line again; s + Enter skips the part; q + Enter stops.`);
+        } else
+          io.out("Not done yet: the part isn't accounted for in the facts yet. Still waiting (s + Enter skips, r + Enter gives the prompt again for what's left).");
+        since = after;
+        prev = after;
+        lastRemind = clock.now();
       }
-      if (!stuckSaid && clock.now() - lastChange >= idleMs) {
-        io.out(`Copilot seems to have stopped on ${item.repo} ${item.total > 1 ? `part ${part.part}` : "(its one session)"}. r + Enter: verify what it wrote and give the prompt again for what's left, in a NEW chat; s: skip; q: stop.`);
-        stuckSaid = true;
+      if (clock.now() - lastChange >= idleMinutes * 6e4) {
+        io.out(`Stopped waiting on ${item.repo} ${label}: nothing was written for ${plural(idleMinutes, "minute")} (--idle ${idleMinutes}). Where the estate stands is saved: ${resumeAs} carries on from here (it verifies what was written and gives the line again for what's left).`);
+        ps.state = "incomplete";
+        idleStop = true;
+        await save();
+        return "quit";
       }
       if (clock.now() - lastRemind >= (deps.remindMs ?? REMIND_MS)) {
         io.out(`Still waiting on ${item.repo} ${label} (${Math.round((clock.now() - started) / 6e4)} minutes). The line to paste: ${line}  (s + Enter skips, r + Enter retries what's left, q + Enter stops)`);
@@ -735,7 +818,13 @@ async function mapAllCommand(root, o, io, deps = {}) {
     async function retry(item2, part2, label2, where2) {
       ps.retries++;
       await save();
-      const rest = item2.kind === "rules" ? await rulesLine(item2) : item2.kind === "gaps" ? await gapsLine(item2) : await restLine(item2, part2);
+      if (item2.force) {
+        const wrote = await writtenOf(root, item2.repo) !== base;
+        const v = existsSync(join(factsDirOf(root), `${item2.repo}.jsonl`)) ? await verifyStep(item2) : void 0;
+        if (v && !v.rejected && await covered(root, item2, part2, first, await snapOf(root, item2.repo), v.coverage.unknown, wrote))
+          return "done";
+      }
+      const rest = item2.kind === "rules" ? await rulesLine(item2) : item2.kind === "gaps" ? await gapsLine(item2) : item2.force ? forceLine(item2, part2) : await restLine(item2, part2);
       if (rest === "done" || rest === void 0 && item2.kind === "gaps")
         return "done";
       line = rest ?? `/atticus-map ${item2.repo}`;
@@ -747,10 +836,21 @@ async function mapAllCommand(root, o, io, deps = {}) {
       return "again";
     }
   }
+  async function leftNow(item, part, unknown) {
+    if (item.force)
+      return leftOf(part, unknown);
+    const s = (await readPlanProgress(root, item.repo))?.parts.find((x) => x.part === part.part);
+    return s ? partUnaccounted(s, unknown) : leftOf(part, unknown);
+  }
+  function forceLine(item, part) {
+    return `/atticus-map ${item.repo}${item.total > 1 ? ` --part ${part.part}` : ""}`;
+  }
   async function finishPart(item, part, ps) {
     ps.state = "done";
     if (item.kind === "gaps" || part.part === item.total)
       repoState(item).done = true;
+    if (item.force && Object.keys(repoState(item).parts).length >= item.total && Object.values(repoState(item).parts).every((p) => p.state === "done"))
+      await recordRulesNow(root, item.repo, item.commit);
     totals.parts++;
     totals.repos.add(item.repo);
     await save();
@@ -810,7 +910,9 @@ async function mapAllCommand(root, o, io, deps = {}) {
     io.out("");
     io.out(`===== ${item.repo}, ${item.kind === "gaps" ? "the gaps pass" : item.kind === "rules" ? `the rules top-up${item.total > 1 ? `, ${label}` : ""}` : label} (${where})${retries ? `, given again (${retries})` : ""} =====`);
     io.out(`In a NEW Copilot Chat (agent mode), run: ${line}`);
-    if (item.kind === "rules")
+    if (item.force)
+      io.out(`${item.total > 1 ? `That chat reads part ${part.part} whole again: ${part.paths.join(", ")} (about ${tokensText(part.tokens)} tokens). ` : ""}The facts on file stay, as already kept: the chat names one by its id and doesn't write it again (one whose line changed it rewrites under the same id).`);
+    else if (item.kind === "rules")
       io.out(`That chat reads ${plural(part.files, "file")} again for the reading rules added since (${(item.sets ?? []).join(", ")}): ${part.paths.join(", ")} (about ${tokensText(part.tokens)} tokens).`);
     else if (item.total > 1 && !line.includes("--gaps"))
       io.out(`That chat reads part ${part.part}: ${part.paths.join(", ")} (about ${tokensText(part.tokens)} tokens); the estimate it runs names it.`);
@@ -835,7 +937,7 @@ async function mapAllCommand(root, o, io, deps = {}) {
           maxTokens: limit,
           ...o.models ? { models: o.models } : {},
           ...item.kind === "rules" ? { rules: true } : {},
-          ...resume ? { next: true } : before && !before.done ? { force: true } : {}
+          ...resume && !(item.force && attempt === 1) ? { next: true } : item.force && attempt === 1 || before && !before.done ? { force: true } : {}
         }, io, { runtime: rt, ...deps.git ? { git: deps.git } : {} });
       } catch (e) {
         if (e instanceof CapReached) {
@@ -873,7 +975,7 @@ async function mapAllCommand(root, o, io, deps = {}) {
       repo: item.repo,
       ...item.total > 1 ? { part: part.part, total: item.total } : {},
       end,
-      command: `atticus map --all --repos ${item.repo}${o.gaps ? " --gaps" : ""} (or /atticus-map ${item.repo}${o.gaps ? " --gaps" : ""} in a new chat)`
+      command: `atticus map --all --repos ${item.repo}${o.gaps ? " --gaps" : ""}${item.force ? " --force" : ""} (or /atticus-map ${item.repo}${o.gaps ? " --gaps" : item.force && item.total > 1 ? ` --part ${part.part}` : ""} in a new chat)`
     };
   }
   async function summary(interrupted2) {
@@ -903,7 +1005,9 @@ export {
   MAP_ALL_STATE_REL,
   limitFor,
   mapAllCommand,
+  mapReader,
   modelModeAllowed,
   planEstate,
-  readMapAllState
+  readMapAllState,
+  unaccountedWords
 };

package/dist/{chunk-J22RSFKY.js → chunk-R2A6DAPC.js}

@@ -6,7 +6,7 @@ var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   loadRepos,
   readChangeRepos
-} from "./chunk-RA64IK43.js";
+} from "./chunk-5WJCV6ED.js";
 import {
   AssistantId,
   RecordId,
@@ -16,7 +16,7 @@ import {
   loadOrgPack,
   orgPackDirOf,
   require_dist
-} from "./chunk-U25OX22K.js";
+} from "./chunk-LZABEKI6.js";
 import {
   ensureLocalIgnore
 } from "./chunk-MMB2OHUY.js";

package/dist/{chunk-EOCZDNWU.js → chunk-R5DGXWOX.js}

@@ -5,17 +5,17 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   changeStore
-} from "./chunk-G5SKNMPC.js";
+} from "./chunk-PI6KNUBW.js";
 import {
   ManualNotifier,
   fileStepStore
-} from "./chunk-DW4BM73R.js";
+} from "./chunk-4Q6HX5GQ.js";
 import {
   readCatalog
-} from "./chunk-DBZNQAMN.js";
+} from "./chunk-E53MN24E.js";
 import {
   readServiceRequestExports
-} from "./chunk-HY2VVVFZ.js";
+} from "./chunk-ZS2EZYOR.js";
 import {
   Initiative,
   IsoDate,
@@ -32,7 +32,7 @@ import {
   serializeRecord,
   stateDirOf,
   toCanonicalYaml
-} from "./chunk-U25OX22K.js";
+} from "./chunk-LZABEKI6.js";
 import {
   SCHEMA_VERSION
 } from "./chunk-MMB2OHUY.js";

package/dist/{chunk-CH6LUQLD.js → chunk-RA3TVBWK.js}

@@ -8,7 +8,7 @@ import {
   changesDirOf,
   orgPackDirOf,
   require_dist
-} from "./chunk-U25OX22K.js";
+} from "./chunk-LZABEKI6.js";
 import {
   ensureLocalIgnore,
   redactText