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

package/dist/{chunk-NTTXTLCQ.js → chunk-REFOPAZF.js}

@@ -5,7 +5,7 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   benchFactsCommand
-} from "./chunk-Z53ZB34U.js";
+} from "./chunk-U7RMOCQQ.js";
 import {
   BenchStory,
   benchKnownFields,
@@ -15,35 +15,35 @@ import {
   parseReference,
   parseReferenceStory,
   scoreStory
-} from "./chunk-RMLUZYEA.js";
-import "./chunk-LTLR4JZJ.js";
-import "./chunk-MNUZX67F.js";
-import "./chunk-INCECZ2E.js";
-import "./chunk-DGZXJO5I.js";
-import "./chunk-TA2ZNDYD.js";
+} from "./chunk-CW4OVNJF.js";
+import "./chunk-2L5XV7QK.js";
+import "./chunk-R5DGXWOX.js";
+import "./chunk-J347EH7F.js";
+import "./chunk-CAH7L2QH.js";
+import "./chunk-X3HFDWKA.js";
 import {
   draftedStories
-} from "./chunk-DWYPYVPJ.js";
-import "./chunk-ISXNWUG7.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";
+} from "./chunk-WOWEF5DL.js";
+import "./chunk-HZGTUG23.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 "./chunk-DLSPFAC5.js";
+import "./chunk-ZS2EZYOR.js";
+import "./chunk-KDKLT22F.js";
+import "./chunk-UA4DLNV7.js";
+import "./chunk-RNUHS433.js";
+import "./chunk-5WJCV6ED.js";
+import "./chunk-FT2E2DHW.js";
+import "./chunk-E52MNV5B.js";
 import {
   changesDirOf,
   parseFacts,
   require_dist
-} from "./chunk-U25OX22K.js";
+} from "./chunk-LZABEKI6.js";
 import "./chunk-MMB2OHUY.js";
 import {
   __toESM

package/dist/{chunk-2ELFEKOO.js → chunk-RICWZRBR.js}

@@ -5,20 +5,20 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   readCatalog
-} from "./chunk-22GLUHGE.js";
+} from "./chunk-E53MN24E.js";
 import {
   scopeWords
-} from "./chunk-QR65C3DV.js";
+} from "./chunk-ZUCJCBS5.js";
 import {
   baseClonePath,
   loadManifest
-} from "./chunk-RA64IK43.js";
+} from "./chunk-5WJCV6ED.js";
 import {
   Sources,
   catalogDirOf,
   orgPackDirOf,
   require_dist
-} from "./chunk-U25OX22K.js";
+} from "./chunk-LZABEKI6.js";
 import {
   __toESM
 } from "./chunk-TV45EUGM.js";

package/dist/{chunk-77UOXZVM.js → chunk-RNUHS433.js}

@@ -6,7 +6,7 @@ var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   dotInt8,
   textSha
-} from "./chunk-CQD26SMZ.js";
+} from "./chunk-E52MNV5B.js";
 import {
   Question,
   RECORD_KINDS,
@@ -28,7 +28,7 @@ import {
   splitForms,
   stateDirOf,
   toCanonicalYaml
-} from "./chunk-U25OX22K.js";
+} from "./chunk-LZABEKI6.js";
 import {
   __toESM
 } from "./chunk-TV45EUGM.js";
@@ -1004,8 +1004,8 @@ var DOCUMENT_EXTENSIONS = /\.(docx|pptx|xlsx|pdf|md|markdown|html?|txt)$/i;
 async function documentNodes(path, bytes) {
   const out = { nodes: [], names: [], links: [] };
   const [{ readDocument }, { screenFile }] = await Promise.all([
-    import("./chunk-CIIRPLI6.js"),
-    import("./chunk-3M7QBKKG.js")
+    import("./chunk-SOLKTI2T.js"),
+    import("./chunk-6FYKGYAO.js")
   ]);
   const screen = screenFile(path, bytes);
   if (screen.problem)
@@ -2284,7 +2284,7 @@ function openDb(file) {
 // packages/index/dist/catalog-index.js
 var vectorsFileOf = (file) => join3(dirname2(file), "vectors.sqlite");
 var notInstalled = (e, pkg) => e.code === "ERR_MODULE_NOT_FOUND" && String(e.message).includes(pkg);
-async function embedderOf(root, setting, load = () => import("./chunk-OMH3I5BH.js")) {
+async function embedderOf(root, setting, load = () => import("./chunk-DDCK4CFE.js")) {
   if (setting === "off")
     return { why: "turned off for this command" };
   if (setting && setting !== "auto")

package/dist/{chunk-YURIUFKF.js → chunk-RSAJ33C6.js}

@@ -10,22 +10,22 @@ import {
   findingAction,
   findings,
   statusLine
-} from "./chunk-ITJ7ST5E.js";
+} from "./chunk-AVEKRWDF.js";
 import "./chunk-VOGCSYOI.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-RA64IK43.js";
-import "./chunk-MRLCNXXR.js";
-import "./chunk-CQD26SMZ.js";
-import "./chunk-U25OX22K.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 "./chunk-DLSPFAC5.js";
+import "./chunk-ZS2EZYOR.js";
+import "./chunk-KDKLT22F.js";
+import "./chunk-UA4DLNV7.js";
+import "./chunk-5WJCV6ED.js";
+import "./chunk-FT2E2DHW.js";
+import "./chunk-E52MNV5B.js";
+import "./chunk-LZABEKI6.js";
 import "./chunk-MMB2OHUY.js";
 import "./chunk-TV45EUGM.js";
 export {

package/dist/{chunk-7TEQF64E.js → chunk-S4EGGQZB.js}

@@ -3,13 +3,20 @@ 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 {
+  modelsData,
+  modelsLine,
+  reachHeadOf,
+  reachPlanOf,
+  readPathsOf
+} from "./chunk-KLROTB6N.js";
 import {
   notesAt
-} from "./chunk-ZS47PQ3O.js";
+} from "./chunk-GGBEM27J.js";
 import {
   houseUntaughtLines,
   houseUntaughtOf
-} from "./chunk-3CFBU2O6.js";
+} from "./chunk-IPB6EKUH.js";
 import {
   carryOf,
   checkoutOf,
@@ -18,20 +25,23 @@ import {
   excludesOf,
   headOf,
   loadReadPlan,
+  modelsModeOf,
   partOfWords,
   raiseReadQuestions,
   readCorrections,
   readPlanProgress,
   readPlanRelOf,
   readReviewed,
+  recordNotReached,
   reviewedProblemsOf,
   saveReadPlan,
   slipNoteLines,
   writeReadPlan,
   writeVerifyFiles
-} from "./chunk-P76AW3PA.js";
+} from "./chunk-WMCKOZFT.js";
 import {
   ABOUT_RULE,
+  MODELS_RULE,
   assistantTier,
   mapBatchInstructions,
   readProbes,
@@ -39,7 +49,7 @@ import {
   taughtFrameworksText,
   tierSource,
   tierWords
-} from "./chunk-GHSVJNVL.js";
+} from "./chunk-R2A6DAPC.js";
 import {
   FILE_KINDS,
   SHOWN_PROPOSALS,
@@ -61,10 +71,10 @@ import {
   sliceText,
   staleMessage,
   verifyFacts
-} from "./chunk-MLAACAES.js";
+} from "./chunk-DLSPFAC5.js";
 import {
   loadRepos
-} from "./chunk-RA64IK43.js";
+} from "./chunk-5WJCV6ED.js";
 import {
   DATA_RULE,
   HandoffRuntime,
@@ -74,7 +84,7 @@ import {
   estimateTokens,
   promptBudget,
   wrapData
-} from "./chunk-CQD26SMZ.js";
+} from "./chunk-E52MNV5B.js";
 import {
   AgentDefinition,
   Fact,
@@ -94,7 +104,7 @@ import {
   runsDirOf,
   saysNotProduct,
   stackHelpersOff
-} from "./chunk-U25OX22K.js";
+} from "./chunk-LZABEKI6.js";
 import {
   writeFileAtomic
 } from "./chunk-MMB2OHUY.js";
@@ -396,6 +406,12 @@ async function packFor(root, s, batch, source, op, now, notes) {
   const onFile = (await listQuestions(root, { repo: s.repo })).questions.filter((q) => q.state !== "retired");
   const rules = await rulesCovering(root, s.repo, op);
   const slices = fix ? [] : s.batches[batch];
+  const inBatch = new Set(slices.map((x) => x.path));
+  const reachedHere = (s.reached ?? []).filter((r) => inBatch.has(r.path));
+  const models = reachedHere.length ? [
+    "Model classes in this batch the entry points and calls reach (read these, and write their fields):",
+    ...reachedHere.map((r) => `- ${r.path} (${r.types.join(", ")}), from ${r.from}`)
+  ].join("\n") : void 0;
   const rejected = s.rejected.map((r) => rejectedText(r, source));
   const own = kindsOf(slices.map((x) => x.path));
   const theirs = kindsOf(s.rejected.flatMap((r) => citedFiles(r.fact)));
@@ -424,11 +440,23 @@ async function packFor(root, s, batch, source, op, now, notes) {
         // A-taught: how to read the wrapper calls and annotations of the frameworks it is built on.
         ...taughtOption(taughtIn(source, op)),
         // ADR 0163: what the organisation's terms mean here and what must hold, as data.
-        ...notes ? { notes } : {}
+        ...notes ? { notes } : {},
+        // ADR 0169: the model classes of this batch the read reaches, listed beside it.
+        ...models ? { models: true } : {}
       }),
       classification: "public",
       trusted: true
     },
+    ...models ? [
+      {
+        id: "1-models",
+        kind: "document",
+        origin: "atticus/reachable",
+        text: models,
+        classification: "internal",
+        priority: 9
+      }
+    ] : [],
     ...s.reread ? [
       {
         id: "0-reread",
@@ -552,7 +580,7 @@ async function mapCommand(root, repo, o, io, deps = {}) {
   const repoNotes = await notesAt(root, repo, dir, op);
   const notesPrompt = notesText(repoNotes.notes, repoNotes.type);
   if (o.gaps) {
-    const { mapGaps } = await import("./chunk-4Q2PGM5T.js");
+    const { mapGaps } = await import("./chunk-KZSIKS64.js");
     const tier = await tierHere(root, op);
     let part;
     if (o.part !== void 0) {
@@ -571,11 +599,14 @@ async function mapCommand(root, repo, o, io, deps = {}) {
       source,
       session: sessionTokensFor(limitOf(o, op, tier).limit),
       ...o.json ? { json: true } : {},
-      ...part ? { part } : {}
+      ...part ? { part } : {},
+      ...o.models ? { models: o.models } : {},
+      exclude,
+      conventions
     }, io);
   }
   if (o.rules && !deps.runtime) {
-    const { mapRules } = await import("./chunk-2Q2YBAR5.js");
+    const { mapRules } = await import("./chunk-6J2BWOLO.js");
     const tier = await tierHere(root, op);
     return mapRules(root, repo, {
       commit,
@@ -584,7 +615,8 @@ async function mapCommand(root, repo, o, io, deps = {}) {
       conventions,
       session: sessionTokensFor(limitOf(o, op, tier).limit),
       notes: notesPrompt,
-      ...o.json ? { json: true } : {}
+      ...o.json ? { json: true } : {},
+      ...o.models ? { models: o.models } : {}
     }, io);
   }
   if (o.estimate)
@@ -660,13 +692,14 @@ async function mapCommand(root, repo, o, io, deps = {}) {
       return tooSmall(0);
     const frameworks = await frameworksFor(root, repo, existing);
     if (o.rules) {
-      const { topUpOf, recordRulesNow, ruleSetsOfFiles } = await import("./chunk-2Q2YBAR5.js");
+      const { topUpOf, recordRulesNow, ruleSetsOfFiles } = await import("./chunk-6J2BWOLO.js");
       const t = await topUpOf(root, repo, {
         commit,
         facts: existing,
         source,
         exclude,
-        conventions
+        conventions,
+        ...o.models ? { models: o.models } : {}
       });
       if ("error" in t) {
         io.err(t.error);
@@ -695,8 +728,23 @@ async function mapCommand(root, repo, o, io, deps = {}) {
         next: 0,
         rejected: [],
         problems: [],
-        sets
+        sets,
+        // ADR 0169: the reached model classes, listed in the prompts of the batches holding them.
+        ...t.reach?.reach.rooted && t.reach.reach.reached.length ? {
+          reached: t.reach.reach.reached.map((r) => ({
+            path: r.path,
+            types: r.types,
+            from: r.from
+          }))
+        } : {}
       };
+      if (t.reach)
+        await recordNotReached(root, repo, {
+          commit,
+          session: sessionTokensFor(limit),
+          models: t.reach.mode,
+          ...t.reach.notReached ? { notReached: t.reach.notReached } : {}
+        });
       await saveState(root, s);
       io.out(`Topping up ${repo} at ${commit.slice(0, 12)} for the reading rules added since it was read (${sets.join(", ")}): ${plural(plan.files, "source file")} in ${batches(plan.batches.length)}; facts go to ${factsFile}.`);
     } else {
@@ -707,7 +755,20 @@ async function mapCommand(root, repo, o, io, deps = {}) {
         io.out(`Nothing ${repo}'s facts cite changed since ${since}, and no source file did: atticus verify ${repo} carries its ${plural(reread.carried, "fact")} to ${commit.slice(0, 12)}.`);
         return 0;
       }
-      const plan = planBatches(reread ? onlyFiles(source, reread.files.map((f) => f.path)) : source, { room, exclude, overhead: overheadOf(repo, commit, frameworks), conventions });
+      const mode = await modelsModeOf(root, repo, o.models);
+      const rp = reread ? void 0 : reachPlanOf({
+        paths: readPathsOf(source, exclude, conventions),
+        source,
+        facts: existing,
+        mode
+      });
+      const plan = planBatches(reread ? onlyFiles(source, reread.files.map((f) => f.path)) : source, {
+        room,
+        exclude,
+        overhead: overheadOf(repo, commit, frameworks),
+        conventions,
+        ...rp?.reach.rooted && rp.reach.models ? { reach: { first: rp.first, leaveOut: rp.leaveOut } } : {}
+      });
       if (plan.leastRoom < MIN_ROOM)
         return tooSmall(room - plan.leastRoom);
       if (!plan.batches.length && !reread) {
@@ -728,6 +789,13 @@ async function mapCommand(root, repo, o, io, deps = {}) {
           return { id: r.id, code: "cite-changed", message: staleMessage(fact, r, commit), fact };
         }),
         problems: [],
+        ...rp?.reach.rooted && rp.reach.reached.length ? {
+          reached: rp.reach.reached.map((r) => ({
+            path: r.path,
+            types: r.types,
+            from: r.from
+          }))
+        } : {},
         ...reread ? {
           reread: {
             from: reread.from.map((x) => x.commit),
@@ -737,6 +805,17 @@ async function mapCommand(root, repo, o, io, deps = {}) {
         } : {}
       };
       await saveState(root, s);
+      if (rp)
+        await recordNotReached(root, repo, {
+          commit,
+          session: sessionTokensFor(limit),
+          models: mode,
+          ...rp.notReached ? { notReached: rp.notReached } : {}
+        });
+      if (rp?.clientOnly.length)
+        io.out(`${rp.clientOnly.length} model ${rp.clientOnly.length === 1 ? "class" : "classes"} only an outbound client reaches are left out (ADR 0170, --models entries; recorded in ${readPlanRelOf(root, repo)}): atticus map ${repo} --models reachable reads them.`);
+      if (rp && rp.leaveOut.length > rp.clientOnly.length)
+        io.out(`${rp.leaveOut.length - rp.clientOnly.length} model ${rp.leaveOut.length - rp.clientOnly.length === 1 ? "class" : "classes"} no entry or call reaches are left out (ADR 0169; recorded in ${readPlanRelOf(root, repo)}): atticus map ${repo} --models all reads them.`);
       io.out(reread ? `Re-reading ${repo} at ${commit.slice(0, 12)}: ${plural(plan.files, "source file")} changed since ${since}, in ${batches(plan.batches.length)}${plan.batches.length ? ` (about ${plan.tokens} tokens${limit ? `, each prompt within ${limit} tokens` : ""})` : ""}; ${plural(reread.reread.length, "fact")} to rewrite, ${reread.carried} carried as they are; facts go to ${factsFile}.` : `Reading ${repo} at ${commit.slice(0, 12)} in ${batches(plan.batches.length)} (${plural(plan.files, "source file")}, about ${plan.tokens} tokens${limit ? `, each prompt within ${limit} tokens` : ""}); facts go to ${factsFile}.`);
     }
   }
@@ -830,7 +909,9 @@ async function takeAnswer(root, s, run, batch, source, exclude, now, io, at) {
     ...estate ? { estate } : {},
     conventions: await conventionsAt(root),
     // ADR 0163: a term's note is one of those the batch was handed.
-    notes: (await notesAt(root, s.repo, at.dir)).notes
+    notes: (await notesAt(root, s.repo, at.dir)).notes,
+    // ADR 0169: the model files the read leaves out, counted apart.
+    notReached: (await loadReadPlan(root, s.repo))?.notReached?.files ?? []
   });
   const q = await raiseReadQuestions(root, s.repo, answer.questions, source, {
     command: `atticus map ${s.repo}`,
@@ -839,7 +920,7 @@ async function takeAnswer(root, s, run, batch, source, exclude, now, io, at) {
   });
   const summary = await writeVerifyFiles(root, s.repo, report, s.commit, q.problems, [], reviewedProblemsOf(reviewed.bad, report), answer.slips);
   if (answer.about) {
-    const { keepDraftedDescription } = await import("./chunk-ZYASEL7K.js");
+    const { keepDraftedDescription } = await import("./chunk-OKLXZ35H.js");
     const d = await keepDraftedDescription(root, s.repo, answer.about, now());
     if (d.kept)
       io.out(`Your assistant says ${s.repo} is: "${answer.about.text}" \u2014 written to the manifest as a draft, unconfirmed. Confirm it (atticus repo describe ${s.repo} --accept), change it (--description "...") or drop it (--reject).`);
@@ -873,7 +954,7 @@ async function finish(root, s, io, o) {
   await saveState(root, s);
   const last = s.last;
   if (last && !last.rejected && !s.reread) {
-    const { recordRulesNow } = await import("./chunk-2Q2YBAR5.js");
+    const { recordRulesNow } = await import("./chunk-6J2BWOLO.js");
     await recordRulesNow(root, s.repo, s.commit);
   }
   const rel = factsRelOf(root);
@@ -885,7 +966,7 @@ async function finish(root, s, io, o) {
     io.out(`Read ${s.repo}: nothing was kept.`);
     return 0;
   }
-  io.out(`Read ${s.repo} in ${batches(s.batches.length)}: ${plural(last.accepted, "fact")} kept in ${rel}/${s.repo}.jsonl, ${last.rejected} still rejected; coverage ${Math.round(last.coverage.ratio * 100)}% (${last.coverage.read} read, ${last.coverage.reviewed ? `${last.coverage.reviewed} reviewed with nothing to record, ` : ""}${last.coverage.unknown.length} unknown).`);
+  io.out(`Read ${s.repo} in ${batches(s.batches.length)}: ${plural(last.accepted, "fact")} kept in ${rel}/${s.repo}.jsonl, ${last.rejected} still rejected; coverage ${Math.round(last.coverage.ratio * 100)}% (${last.coverage.read} read, ${last.coverage.reviewed ? `${last.coverage.reviewed} reviewed with nothing to record, ` : ""}${last.coverage.unknown.length} unknown${last.coverage.notReached?.length ? `, ${last.coverage.notReached.length} model files no entry or call reaches` : ""}).`);
   if (last.rejected)
     io.out(`The rejected facts are in ${rel}/${s.repo}.rejected.jsonl; fix them by hand or with your assistant, then atticus verify ${s.repo}.`);
   if (last.coverage.unknown.length)
@@ -932,13 +1013,6 @@ async function estimate(root, repo, c, io) {
     exclude: c.exclude,
     conventions
   });
-  const planned = room >= MIN_ROOM ? planBatches(readSource, {
-    room,
-    exclude: c.exclude,
-    conventions,
-    overhead: overheadOf(repo, c.commit, await frameworksFor(root, repo, typeof existing === "string" ? [] : existing))
-  }) : void 0;
-  const plan = planned && planned.leastRoom >= MIN_ROOM ? planned : void 0;
   const files = whole.batches.flat().map((s) => ({ path: s.path, tokens: s.tokens }));
   const proposed = reread ? { proposals: [], before: whole.tokens, after: whole.tokens } : proposeExclusions(files, c.source.list(), (p) => c.source.read(p), {
     // What the person's description plainly says this repo holds (ADR 0128).
@@ -952,18 +1026,38 @@ async function estimate(root, repo, c, io) {
     const text = c.source.read(f.path);
     return text === void 0 ? f : { ...f, lines: text.split(/\r?\n/).length };
   });
-  const parts = planParts(product, session);
+  const mode = await modelsModeOf(root, repo, c.o.models);
+  const facts0 = typeof existing === "string" ? [] : existing;
+  const rp = reread ? void 0 : reachPlanOf({ paths: product.map((f) => f.path), source: c.source, facts: facts0, mode });
+  const leave = new Set(rp?.leaveOut ?? []);
+  const kept = product.filter((f) => !leave.has(f.path));
+  const ordered = rp && rp.reach.rooted && rp.reach.models > 0;
+  const parts = planParts(kept, session, ordered ? {
+    head: reachHeadOf(kept.map((f) => f.path), rp),
+    models: rp.reach.reached.map((r) => r.path),
+    leftOut: rp.leaveOut
+  } : void 0);
+  const planned = room >= MIN_ROOM ? planBatches(readSource, {
+    room,
+    exclude: c.exclude,
+    conventions,
+    overhead: overheadOf(repo, c.commit, await frameworksFor(root, repo, facts0)),
+    ...rp && ordered ? { reach: { first: rp.first, leaveOut: rp.leaveOut } } : {}
+  }) : void 0;
+  const plan = planned && planned.leastRoom >= MIN_ROOM ? planned : void 0;
   const plan0 = await loadReadPlan(root, repo);
   const same = plan0 !== void 0 && plan0.commit === c.commit && plan0.session === session && plan0.parts.length === parts.length && plan0.parts.every((p, i) => p.paths.length === parts[i].paths.length && p.paths.every((x, j) => x === parts[i].paths[j]));
   const estimate2 = {
-    files: product.length,
-    tokens: product.reduce((n, f) => n + f.tokens, 0),
+    files: kept.length,
+    tokens: kept.reduce((n, f) => n + f.tokens, 0),
     sessions: parts.length || 1,
     ...reread ? { reread: true } : {}
   };
   const sameEstimate = plan0?.estimate !== void 0 && plan0.estimate.files === estimate2.files && plan0.estimate.tokens === estimate2.tokens && plan0.estimate.sessions === estimate2.sessions && plan0.estimate.reread === estimate2.reread;
   const firstRead = typeof existing !== "string" && existing.length === 0 && !reread;
   const readRules = firstRead ? rulesNow() : plan0?.rules;
+  const notReached = rp ? rp.notReached : plan0?.notReached;
+  const sameModels = plan0 !== void 0 && (plan0.models ?? "reachable") === mode && JSON.stringify(plan0.notReached ?? null) === JSON.stringify(notReached ?? null);
   if (!same)
     await writeReadPlan(root, repo, {
       commit: c.commit,
@@ -972,10 +1066,20 @@ async function estimate(root, repo, c, io) {
       estimate: estimate2,
       // What the reader reported of an earlier plan stays, under the commit it was of.
       ...plan0?.reported ? { reported: plan0.reported } : {},
-      ...readRules ? { rules: readRules } : {}
+      ...readRules ? { rules: readRules } : {},
+      models: mode,
+      ...notReached ? { notReached } : {}
+    });
+  else if (!sameEstimate || !sameModels || firstRead && plan0.rules?.hash !== readRules?.hash) {
+    const { notReached: _n, models: _m, ...rest0 } = plan0;
+    await saveReadPlan(root, {
+      ...rest0,
+      estimate: estimate2,
+      ...readRules ? { rules: readRules } : {},
+      ...mode !== "reachable" ? { models: mode } : {},
+      ...notReached ? { notReached } : {}
     });
-  else if (!sameEstimate || firstRead && plan0.rules?.hash !== readRules?.hash)
-    await saveReadPlan(root, { ...plan0, estimate: estimate2, ...readRules ? { rules: readRules } : {} });
+  }
   const progress = parts.length ? await readPlanProgress(root, repo, { commit: c.commit }) : void 0;
   const questions = (await listQuestions(root, { repo })).questions.filter((q) => q.state !== "retired");
   const notes = await notesAt(root, repo, c.dir, c.op);
@@ -986,6 +1090,10 @@ async function estimate(root, repo, c, io) {
     op: c.op,
     exclude: c.exclude
   });
+  if (c.o.part !== void 0 && !parts[c.o.part - 1]) {
+    io.err(`${repo} is read in ${parts.length ? `parts 1 to ${parts.length}` : "one session (no parts)"} at this limit: there is no part ${c.o.part}.`);
+    return 2;
+  }
   if (c.o.json) {
     io.out(JSON.stringify({
       repo,
@@ -1000,6 +1108,8 @@ async function estimate(root, repo, c, io) {
       maxTokensGiven: given !== void 0,
       maxTokensFrom: from ?? "example",
       batches: plan?.batches.length ?? null,
+      // ADR 0169: what the read plans to read (the model classes it leaves out, out).
+      read: { files: estimate2.files, tokens: estimate2.tokens },
       order: whole.batches.flat().map((x) => x.path),
       // ADR 0128: what a person says the repo is, and whether that eased the proposals.
       about: about ? { text: about.text, trust: about.trust, eased: saysNotProduct(about) } : null,
@@ -1023,6 +1133,13 @@ async function estimate(root, repo, c, io) {
           }
         } : {}
       },
+      // ADR 0169: the model classes reached from the entry points and calls, and those left out.
+      models: rp ? {
+        mode,
+        roots: rp.reach.roots,
+        reached: rp.reach.reached,
+        notReached: rp.leaveOut
+      } : null,
       tier,
       // A-taught: the frameworks of the organisation it is built on, as taught to Atticus.
       taughtFrameworks: taughtIn(c.source, c.op).map((m) => m.name),
@@ -1093,13 +1210,25 @@ repo: ${repo}`);
     const stateOf = (i) => progress?.parts[i]?.state;
     const words = (s) => s === "done" ? "done" : s === "in-progress" ? "part-read" : "to read";
     parts.forEach((p, i) => io.out(`  part ${i + 1} (${words(stateOf(i))}, about ${p.tokens} tokens, ${plural(p.files, "file")}): ${p.paths.join(", ")}`));
-    if (progress) {
+    const asked = c.o.part !== void 0 ? parts[c.o.part - 1] : void 0;
+    if (asked)
+      io.out(`This session reads part ${c.o.part} of ${parts.length} (--part ${c.o.part}): ${asked.paths.join(", ")}. The facts on file stay, as already kept: name one by its id and don't write it again.`);
+    if (progress && !asked) {
       io.out(`Read plan: ${readPlanRelOf(root, repo)}. ${progress.next ? `${partOfWords({ part: progress.next.part, total: progress.total })} is next (${progress.done ? `${progress.done} of ${progress.total} read` : `none of ${progress.total} read yet`}): ${progress.next.paths.join(", ")}.` : `All ${progress.total} parts are read.`} A part counts as read when every folder it covers is in the facts (a fact citing a file, or a line of ${factsRelOf(root)}/${repo}.reviewed.jsonl); atticus next says which comes next.`);
       for (const p of progress.parts)
         if (p.state === "in-progress")
           io.out(`  part ${p.part} is part-read: nothing in the facts yet for ${p.left.join(", ")}.`);
     }
   }
+  const line = rp ? modelsLine(repo, rp) : void 0;
+  if (rp && line) {
+    io.out(line);
+    const data = modelsData(repo, rp);
+    if (data) {
+      io.out(MODELS_RULE);
+      io.out(data);
+    }
+  }
   io.out(`Your assistant: ${tierWords(tier)}, ${tierSource(tier)}. ${tier.how}`);
   io.out(`Another agentic assistant (Claude Code, Cursor, Gemini CLI) reads it the same way: /atticus-map ${repo}; one without file tools gets batches with atticus map ${repo} --handoff --max-tokens <its limit>.`);
   if (tier.fallback)

package/dist/{chunk-2VQLFNBO.js → chunk-S6IJNQFM.js}

@@ -15,26 +15,26 @@ import {
   changeStatus,
   changeSync,
   parseOwners
-} from "./chunk-VXSJKWB7.js";
-import "./chunk-4VOG5H2K.js";
-import "./chunk-DWYPYVPJ.js";
-import "./chunk-ISXNWUG7.js";
+} from "./chunk-7CJ2TNZZ.js";
+import "./chunk-7OHYHBEQ.js";
+import "./chunk-WOWEF5DL.js";
+import "./chunk-HZGTUG23.js";
 import "./chunk-VOGCSYOI.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-JTI3FKGI.js";
+import "./chunk-PI6KNUBW.js";
+import "./chunk-24ARIOB7.js";
+import "./chunk-4Q6HX5GQ.js";
+import "./chunk-E53MN24E.js";
+import "./chunk-ZUCJCBS5.js";
+import "./chunk-DLSPFAC5.js";
+import "./chunk-ZS2EZYOR.js";
+import "./chunk-KDKLT22F.js";
+import "./chunk-UA4DLNV7.js";
+import "./chunk-RNUHS433.js";
+import "./chunk-5WJCV6ED.js";
+import "./chunk-FT2E2DHW.js";
+import "./chunk-E52MNV5B.js";
+import "./chunk-LZABEKI6.js";
 import "./chunk-MMB2OHUY.js";
 import "./chunk-TV45EUGM.js";
 export {