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

package/dist/bin.js

@@ -6,7 +6,7 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   VERSION
-} from "./chunk-TWHZU36X.js";
+} from "./chunk-M4D3VKAS.js";
 import "./chunk-TV45EUGM.js";
 
 // packages/cli/dist/bin.js
@@ -29,7 +29,7 @@ else {
       process.exit(r.status ?? 1);
     }
   }
-  const { main } = await import("./chunk-WE5VMPUP.js");
+  const { main } = await import("./chunk-FF5Q7ONT.js");
   await main(argv, {
     out: (line) => process.stdout.write(line + "\n"),
     err: (line) => process.stderr.write(line + "\n")

package/dist/{chunk-NL6XQZSV.js → chunk-2DJUQ6CO.js}

@@ -5,31 +5,31 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   matchedRepoType
-} from "./chunk-X64BFQ3R.js";
+} from "./chunk-VRH6ITQH.js";
 import {
   loadCatalog
-} from "./chunk-ZPT4QX3J.js";
+} from "./chunk-ML3HOWPI.js";
 import {
   repoFor
 } from "./chunk-7VNEDDCC.js";
 import {
   draftSpec
-} from "./chunk-INCECZ2E.js";
+} from "./chunk-KJ6IH2D5.js";
 import {
   stepJudges
-} from "./chunk-DWYPYVPJ.js";
+} from "./chunk-SR2M7DWL.js";
 import "./chunk-ISXNWUG7.js";
-import "./chunk-GMDOXWIS.js";
-import "./chunk-U5T4A2QV.js";
+import "./chunk-KPHPVOME.js";
+import "./chunk-G5SKNMPC.js";
 import "./chunk-JQG4VO47.js";
 import "./chunk-DW4BM73R.js";
 import {
   checkSpec,
   citedFileHashes,
   staleFlows
-} from "./chunk-22GLUHGE.js";
+} from "./chunk-DBZNQAMN.js";
 import "./chunk-QR65C3DV.js";
-import "./chunk-MLAACAES.js";
+import "./chunk-7VAMO66T.js";
 import "./chunk-HY2VVVFZ.js";
 import "./chunk-PJRMMWU4.js";
 import "./chunk-34NWVIBC.js";

package/dist/{chunk-MNCQ2GL7.js → chunk-2OWSG6BK.js}

@@ -14,10 +14,10 @@ import {
   scaffoldDialect,
   surveyRepos,
   testDialect
-} from "./chunk-INCECZ2E.js";
-import "./chunk-22GLUHGE.js";
+} from "./chunk-KJ6IH2D5.js";
+import "./chunk-DBZNQAMN.js";
 import "./chunk-QR65C3DV.js";
-import "./chunk-MLAACAES.js";
+import "./chunk-7VAMO66T.js";
 import "./chunk-HY2VVVFZ.js";
 import "./chunk-PJRMMWU4.js";
 import {

package/dist/{chunk-PCCPXWJC.js → chunk-2QT6WVAK.js}

@@ -7,20 +7,20 @@ import {
   onboardingQueue,
   queueWhy,
   reasonOf
-} from "./chunk-SK5OYWIY.js";
+} from "./chunk-N6YELFHL.js";
 import {
   houseUntaughtOf,
   houseUntaughtWords
-} from "./chunk-3CFBU2O6.js";
+} from "./chunk-PAQDPB6T.js";
 import {
   repoIdKey
 } from "./chunk-MKFYQQ5Q.js";
 import {
   onboardingView
-} from "./chunk-2ELFEKOO.js";
+} from "./chunk-65XZSK6S.js";
 import {
   catalogSources
-} from "./chunk-HJUEQERG.js";
+} from "./chunk-DIAYQLEY.js";
 import {
   checkoutOf,
   conventionsAt,
@@ -31,38 +31,38 @@ import {
   readPlanProgress,
   readPlanRelOf,
   tokensWords
-} from "./chunk-P76AW3PA.js";
+} from "./chunk-6AYUBYK6.js";
 import {
   isMetarepo,
   notMetarepo
 } from "./chunk-3G4YI4ZU.js";
 import {
   readChangeTasks
-} from "./chunk-7TH6I6TL.js";
+} from "./chunk-YSFIQGDK.js";
 import {
   ASSISTANT_FORMATS,
   probedAssistant,
   readProbes,
   rulesLacking,
   whatRunsWhere
-} from "./chunk-GHSVJNVL.js";
+} from "./chunk-J22RSFKY.js";
 import {
   metarepoOpenSpec,
   openspecProgress,
   readNeeds,
   seedCollisions
-} from "./chunk-DWYPYVPJ.js";
+} from "./chunk-SR2M7DWL.js";
 import {
   readChangeFiles
-} from "./chunk-GMDOXWIS.js";
+} from "./chunk-KPHPVOME.js";
 import {
   changeStore,
   loadChangePolicy,
   stageCompletion
-} from "./chunk-U5T4A2QV.js";
+} from "./chunk-G5SKNMPC.js";
 import {
   readCatalog
-} from "./chunk-22GLUHGE.js";
+} from "./chunk-DBZNQAMN.js";
 import {
   readKnowledge,
   snapshotDates,

package/dist/{chunk-HP32HUWR.js → chunk-2RMWW6G3.js}

@@ -9,23 +9,23 @@ import {
   readStamp,
   upgradeCheck,
   upgradeCommand
-} from "./chunk-4G56W6H7.js";
-import "./chunk-DDZZXVQ5.js";
-import "./chunk-GHSVJNVL.js";
-import "./chunk-DWYPYVPJ.js";
+} from "./chunk-3W5R5J65.js";
+import "./chunk-M3BJTXLR.js";
+import "./chunk-J22RSFKY.js";
+import "./chunk-SR2M7DWL.js";
 import "./chunk-ISXNWUG7.js";
-import "./chunk-GMDOXWIS.js";
-import "./chunk-U5T4A2QV.js";
+import "./chunk-KPHPVOME.js";
+import "./chunk-G5SKNMPC.js";
 import "./chunk-JQG4VO47.js";
 import "./chunk-DW4BM73R.js";
-import "./chunk-22GLUHGE.js";
+import "./chunk-DBZNQAMN.js";
 import "./chunk-QR65C3DV.js";
-import "./chunk-MLAACAES.js";
+import "./chunk-7VAMO66T.js";
 import "./chunk-HY2VVVFZ.js";
 import "./chunk-PJRMMWU4.js";
 import "./chunk-34NWVIBC.js";
 import "./chunk-77UOXZVM.js";
-import "./chunk-TWHZU36X.js";
+import "./chunk-M4D3VKAS.js";
 import "./chunk-RA64IK43.js";
 import "./chunk-MRLCNXXR.js";
 import "./chunk-CQD26SMZ.js";

package/dist/{chunk-KUYA2E7M.js → chunk-36CTZGPH.js}

@@ -5,16 +5,16 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   upgradeCommand
-} from "./chunk-4G56W6H7.js";
+} from "./chunk-3W5R5J65.js";
 import {
   generateAssistantFiles
-} from "./chunk-GHSVJNVL.js";
+} from "./chunk-J22RSFKY.js";
 import {
   table
 } from "./chunk-VOGCSYOI.js";
 import {
   changeStore
-} from "./chunk-U5T4A2QV.js";
+} from "./chunk-G5SKNMPC.js";
 import {
   fileStepStore
 } from "./chunk-DW4BM73R.js";
@@ -22,7 +22,7 @@ import {
   readCatalog,
   scanEstate,
   writeCatalog
-} from "./chunk-22GLUHGE.js";
+} from "./chunk-DBZNQAMN.js";
 import {
   buildContextPack,
   formatOf,

package/dist/{chunk-VP5H6DII.js → chunk-3PLE3ZQ5.js}

@@ -7,16 +7,16 @@ import {
   citesCli,
   fileInRepo,
   uiCiteRoutes
-} from "./chunk-NSJ6ZR2A.js";
-import "./chunk-GYS64N6F.js";
-import "./chunk-SCBU46AJ.js";
-import "./chunk-GMDOXWIS.js";
-import "./chunk-U5T4A2QV.js";
+} from "./chunk-FLROTO6F.js";
+import "./chunk-XZLSKGJX.js";
+import "./chunk-4JLB5ISS.js";
+import "./chunk-KPHPVOME.js";
+import "./chunk-G5SKNMPC.js";
 import "./chunk-JQG4VO47.js";
 import "./chunk-DW4BM73R.js";
-import "./chunk-22GLUHGE.js";
+import "./chunk-DBZNQAMN.js";
 import "./chunk-QR65C3DV.js";
-import "./chunk-MLAACAES.js";
+import "./chunk-7VAMO66T.js";
 import "./chunk-HY2VVVFZ.js";
 import "./chunk-PJRMMWU4.js";
 import "./chunk-34NWVIBC.js";

package/dist/{chunk-4G56W6H7.js → chunk-3W5R5J65.js}

@@ -7,19 +7,19 @@ import {
   ATTICUS_FOLDER_IGNORE,
   CHECKLISTS_README,
   STARTER_CHECKLISTS_README
-} from "./chunk-DDZZXVQ5.js";
+} from "./chunk-M3BJTXLR.js";
 import {
   openspecRootOf,
   rewriteStories
-} from "./chunk-DWYPYVPJ.js";
+} from "./chunk-SR2M7DWL.js";
 import {
   STARTER_REVIEW_PATH,
   readPackFiles,
   starterReviewText
-} from "./chunk-GMDOXWIS.js";
+} from "./chunk-KPHPVOME.js";
 import {
   metarepoOrigin
-} from "./chunk-U5T4A2QV.js";
+} from "./chunk-G5SKNMPC.js";
 import {
   ORG_FLOW_VERSION,
   STORE_MARKER,
@@ -32,7 +32,7 @@ import {
 import {
   VERSION,
   versionAtLeast
-} from "./chunk-TWHZU36X.js";
+} from "./chunk-M4D3VKAS.js";
 import {
   IGNORED,
   ensureGitignore,

package/dist/{chunk-EU7VTBAI.js → chunk-42L2WHP6.js}

@@ -5,11 +5,11 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   denyHashesAt
-} from "./chunk-NCONDPHH.js";
+} from "./chunk-MIOY6EXD.js";
 import {
   estateRepos,
   outsideProfileSystems
-} from "./chunk-22GLUHGE.js";
+} from "./chunk-DBZNQAMN.js";
 import {
   denyListHits
 } from "./chunk-HY2VVVFZ.js";

package/dist/{chunk-5FFMJMVH.js → chunk-4GNKICU5.js}

@@ -5,12 +5,12 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   diffLines
-} from "./chunk-CW5SEPUT.js";
-import "./chunk-GKPOCUQR.js";
-import "./chunk-7TH6I6TL.js";
-import "./chunk-GHSVJNVL.js";
-import "./chunk-GMDOXWIS.js";
-import "./chunk-U5T4A2QV.js";
+} from "./chunk-BFZSO2TP.js";
+import "./chunk-CYDJK34J.js";
+import "./chunk-YSFIQGDK.js";
+import "./chunk-J22RSFKY.js";
+import "./chunk-KPHPVOME.js";
+import "./chunk-G5SKNMPC.js";
 import "./chunk-JQG4VO47.js";
 import "./chunk-DW4BM73R.js";
 import {
@@ -18,9 +18,9 @@ import {
   readCatalog,
   scanEstate,
   writeCatalog
-} from "./chunk-22GLUHGE.js";
+} from "./chunk-DBZNQAMN.js";
 import "./chunk-QR65C3DV.js";
-import "./chunk-MLAACAES.js";
+import "./chunk-7VAMO66T.js";
 import "./chunk-HY2VVVFZ.js";
 import "./chunk-PJRMMWU4.js";
 import "./chunk-34NWVIBC.js";

package/dist/{chunk-SCBU46AJ.js → chunk-4JLB5ISS.js}

@@ -5,10 +5,10 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   changeStore
-} from "./chunk-U5T4A2QV.js";
+} from "./chunk-G5SKNMPC.js";
 import {
   readCatalog
-} from "./chunk-22GLUHGE.js";
+} from "./chunk-DBZNQAMN.js";
 import {
   catalogDirOf
 } from "./chunk-U25OX22K.js";

package/dist/{chunk-5GGGAI5C.js → chunk-5C24MOXU.js}

@@ -11,20 +11,20 @@ import {
   findNeeds,
   markNeed,
   readNeeds
-} from "./chunk-DWYPYVPJ.js";
+} from "./chunk-SR2M7DWL.js";
 import "./chunk-ISXNWUG7.js";
 import {
   table
 } from "./chunk-VOGCSYOI.js";
-import "./chunk-GMDOXWIS.js";
-import "./chunk-U5T4A2QV.js";
+import "./chunk-KPHPVOME.js";
+import "./chunk-G5SKNMPC.js";
 import "./chunk-JQG4VO47.js";
 import "./chunk-DW4BM73R.js";
-import "./chunk-22GLUHGE.js";
+import "./chunk-DBZNQAMN.js";
 import {
   readKnowledge
 } from "./chunk-QR65C3DV.js";
-import "./chunk-MLAACAES.js";
+import "./chunk-7VAMO66T.js";
 import "./chunk-HY2VVVFZ.js";
 import "./chunk-PJRMMWU4.js";
 import "./chunk-34NWVIBC.js";

package/dist/{chunk-7AXMUE2U.js → chunk-5G5GD5HF.js}

@@ -5,12 +5,12 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   intakeContext
-} from "./chunk-6S27MUQQ.js";
+} from "./chunk-BHHIHENP.js";
 import "./chunk-VOGCSYOI.js";
 import {
   changeFolder,
   changeStore
-} from "./chunk-U5T4A2QV.js";
+} from "./chunk-G5SKNMPC.js";
 import "./chunk-JQG4VO47.js";
 import "./chunk-DW4BM73R.js";
 import {
@@ -20,9 +20,9 @@ import {
   joinReposOf,
   outsideProfileSystems,
   outsideSystems
-} from "./chunk-22GLUHGE.js";
+} from "./chunk-DBZNQAMN.js";
 import "./chunk-QR65C3DV.js";
-import "./chunk-MLAACAES.js";
+import "./chunk-7VAMO66T.js";
 import {
   attachToChange,
   readChangeInputs,

package/dist/{chunk-ITJ7ST5E.js → chunk-5I5JDJ3R.js}

@@ -21,7 +21,7 @@ import {
   roundsUsed,
   runCritic,
   waitingLenses
-} from "./chunk-GMDOXWIS.js";
+} from "./chunk-KPHPVOME.js";
 import {
   changeFolder,
   changeStore,
@@ -29,7 +29,7 @@ import {
   phaseStage,
   stageCommand,
   statePhase
-} from "./chunk-U5T4A2QV.js";
+} from "./chunk-G5SKNMPC.js";
 import {
   AiOffError,
   HandoffRuntime,

package/dist/{chunk-ZBQCLKTH.js → chunk-5IMZYLDW.js}

@@ -7,10 +7,10 @@ import {
   exportFrameworksKit,
   formatFrameworkSurvey,
   surveyFrameworks
-} from "./chunk-INCECZ2E.js";
-import "./chunk-22GLUHGE.js";
+} from "./chunk-KJ6IH2D5.js";
+import "./chunk-DBZNQAMN.js";
 import "./chunk-QR65C3DV.js";
-import "./chunk-MLAACAES.js";
+import "./chunk-7VAMO66T.js";
 import "./chunk-HY2VVVFZ.js";
 import "./chunk-PJRMMWU4.js";
 import {

package/dist/{chunk-FBFSTYAB.js → chunk-5R2EWR47.js}

@@ -12,7 +12,7 @@ import {
   loadLinkEvidence,
   repoContractsOf,
   writeRepoContracts
-} from "./chunk-NCONDPHH.js";
+} from "./chunk-MIOY6EXD.js";
 import "./chunk-HY2VVVFZ.js";
 import "./chunk-PJRMMWU4.js";
 import "./chunk-34NWVIBC.js";

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

@@ -5,7 +5,7 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   readCatalog
-} from "./chunk-22GLUHGE.js";
+} from "./chunk-DBZNQAMN.js";
 import {
   scopeWords
 } from "./chunk-QR65C3DV.js";

package/dist/{chunk-P76AW3PA.js → chunk-6AYUBYK6.js}

@@ -11,11 +11,14 @@ import {
   insideRepo,
   lineRangeOf,
   parseReviewed
-} from "./chunk-MLAACAES.js";
+} from "./chunk-7VAMO66T.js";
 import {
   changesSince,
   createGit
 } from "./chunk-RA64IK43.js";
+import {
+  globToRegExp
+} from "./chunk-MRLCNXXR.js";
 import {
   Conventions,
   DEFAULT_CONVENTIONS,
@@ -189,7 +192,8 @@ async function writeVerifyFiles(root, repo, report, commit, questionProblems = [
       read: report.coverage.read.length,
       ...report.coverage.reviewed.length ? { reviewed: report.coverage.reviewed.length } : {},
       unknown: report.coverage.unknown,
-      excluded: report.coverage.excluded
+      excluded: report.coverage.excluded,
+      ...report.coverage.notReached.length ? { notReached: report.coverage.notReached } : {}
     },
     rejections: report.rejected.map((r) => ({ id: r.fact.id, code: r.code, message: r.message })),
     // ADR 0124 addendum D-app: a person's corrections, said only when there are some.
@@ -324,6 +328,12 @@ var TopUp = external_exports.strictObject({
   plannedAt: external_exports.string().min(1),
   sessions: external_exports.array(TopUpSession)
 });
+var MODELS_MODES = ["reachable", "all"];
+var NotReached = external_exports.strictObject({
+  why: external_exports.string().min(1),
+  files: external_exports.array(external_exports.string().min(1)),
+  tokens: external_exports.number().int().nonnegative()
+});
 var ReadPlanFile = external_exports.strictObject({
   /** 2 since ADR 0141 (a v1 file reads as v2: `migrateReadPlan`). */
   schemaVersion: external_exports.literal(2),
@@ -353,7 +363,14 @@ var ReadPlanFile = external_exports.strictObject({
   /** ADR 0167: the reading rules the read was given; none when read before they were recorded. */
   rules: RulesRecord.optional(),
   /** ADR 0167: a top-up for the rule sets the read lacked, under way. */
-  topUp: TopUp.optional()
+  topUp: TopUp.optional(),
+  /**
+   * ADR 0169: `all` when a person asked for every model class (`--models all`); left out, the
+   * read takes those its entry points and calls reach.
+   */
+  models: external_exports.enum(MODELS_MODES).optional(),
+  /** ADR 0169: the model files the read leaves out, nothing reaching them. */
+  notReached: NotReached.optional()
 });
 function migrateReadPlan(raw) {
   const v2 = ReadPlanFile.safeParse(raw);
@@ -378,7 +395,7 @@ function unitOf(glob) {
     return { glob, dir: "", deep: false };
   if (glob.endsWith("/*"))
     return { glob, dir: glob.slice(0, -2), deep: false };
-  return { glob, dir: glob.replace(/\/?[^/]*$/, ""), deep: false };
+  return { glob, dir: glob.replace(/\/?[^/]*$/, ""), deep: false, file: glob };
 }
 function folderOf(path) {
   const star = path.search(/[*?]/);
@@ -386,6 +403,7 @@ function folderOf(path) {
     return { dir: path.replace(/\/?[^/]*$/, ""), deep: false };
   return { dir: path.slice(0, star).replace(/\/$/, ""), deep: true };
 }
+var isGlobPath = (p) => /[*?]/.test(p);
 var under = (dir, of) => of === "" || dir === of || dir.startsWith(`${of}/`);
 function globHolds(glob, file) {
   const u = unitOf(glob);
@@ -415,12 +433,38 @@ async function writeReadPlan(root, repo, o) {
       tokens: p.tokens
     })),
     ...o.reported?.length ? { reported: [...o.reported] } : {},
-    ...o.rules ? { rules: { hash: o.rules.hash, sets: [...o.rules.sets] } } : {}
+    ...o.rules ? { rules: { hash: o.rules.hash, sets: [...o.rules.sets] } } : {},
+    ...o.models === "all" ? { models: "all" } : {},
+    ...o.notReached?.files.length ? { notReached: o.notReached } : {}
   };
   await saveReadPlan(root, plan);
   return plan;
 }
 var stamp = () => (/* @__PURE__ */ new Date()).toISOString().replace(/\.\d{3}Z$/, "Z");
+async function recordNotReached(root, repo, o) {
+  const plan = await loadReadPlan(root, repo);
+  const { notReached: _n, models: _m, ...rest } = plan ?? {
+    schemaVersion: 2,
+    repo,
+    commit: o.commit,
+    session: o.session,
+    plannedAt: stamp(),
+    parts: []
+  };
+  const next = {
+    ...rest,
+    ...o.models === "all" ? { models: "all" } : {},
+    ...o.notReached?.files.length ? { notReached: o.notReached } : {}
+  };
+  if (plan && JSON.stringify(plan) === JSON.stringify(next))
+    return;
+  if (!plan && !next.notReached && !next.models)
+    return;
+  await saveReadPlan(root, next);
+}
+async function modelsModeOf(root, repo, asked) {
+  return asked ?? (await loadReadPlan(root, repo))?.models ?? "reachable";
+}
 async function loadReadPlan(root, repo) {
   const text = await readFile2(readPlanPath(root, repo), "utf8").catch(() => void 0);
   if (text === void 0)
@@ -507,6 +551,8 @@ function progressOf(plan, of, o) {
         return of.ranges.has(u.glob) || of.lines.some((l) => l.file === r.file && l.line >= start && l.line <= r.to) || // The whole file reviewed, or a folder glob reviewed over it.
         of.reviewed.has(r.file) || [...of.reviewed].some((c) => folderOf(c).deep && under(u.dir, folderOf(c).dir));
       }
+      if (u.file)
+        return of.paths.includes(u.file) || [...of.reviewed].some((c) => isGlobPath(c) && globToRegExp(c).test(u.file));
       return covered.some((c) => u.deep ? under(c.dir, u.dir) : c.dir === u.dir || c.deep && under(u.dir, c.dir));
     };
     const yes = units.filter(hit).map((u) => u.glob);
@@ -671,12 +717,15 @@ export {
   readCorrections,
   readReviewed,
   reviewedProblemsOf,
+  MODELS_MODES,
   ReadPlanFile,
   migrateReadPlan,
   readPlanRelOf,
   globHolds,
   saveReadPlan,
   writeReadPlan,
+  recordNotReached,
+  modelsModeOf,
   loadReadPlan,
   readPlanProgress,
   ownStarts,

package/dist/{chunk-TVSNWIAM.js → chunk-6HSRGY4B.js}

@@ -6,7 +6,7 @@ var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   routeQuestions,
   ruleOffers
-} from "./chunk-E73QLYK7.js";
+} from "./chunk-P3VBYYAS.js";
 import "./chunk-RA64IK43.js";
 import "./chunk-U25OX22K.js";
 import "./chunk-MMB2OHUY.js";

package/dist/{chunk-BTOGAUWX.js → chunk-6IKYFARG.js}

@@ -5,10 +5,10 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   recordTopUpVerified
-} from "./chunk-QY7RGTUP.js";
+} from "./chunk-QOF7U6BI.js";
 import {
   notesAt
-} from "./chunk-ZS47PQ3O.js";
+} from "./chunk-CGF4LKXR.js";
 import {
   carryOf,
   checkoutOf,
@@ -16,6 +16,7 @@ import {
   estateComponentsOf,
   excludesOf,
   headOf,
+  loadReadPlan,
   raiseReadQuestions,
   readCorrections,
   readReviewed,
@@ -23,14 +24,14 @@ import {
   reviewedProblemsOf,
   slipNoteLines,
   writeVerifyFiles
-} from "./chunk-P76AW3PA.js";
+} from "./chunk-6AYUBYK6.js";
 import {
   dirSource,
   frameworkFacts,
   frameworksToLearn,
   repairFormSlips,
   verifyFacts
-} from "./chunk-MLAACAES.js";
+} from "./chunk-7VAMO66T.js";
 import {
   NoRoomError,
   roomGuard,
@@ -100,7 +101,9 @@ async function verifyInputsOf(root, repo, dir) {
     reviewed: await readReviewed(root, repo),
     estate: await estateComponentsOf(root),
     conventions: await conventionsAt(root),
-    exclude: await excludesOf(root, repo)
+    exclude: await excludesOf(root, repo),
+    // ADR 0169: the model files the read plan leaves out, counted apart in coverage.
+    notReached: (await loadReadPlan(root, repo))?.notReached?.files ?? []
   };
 }
 async function verifyCommand(root, repo, o, io) {
@@ -166,7 +169,8 @@ async function verifyCommand(root, repo, o, io) {
       // J1 (ADR 0143): an exposure read here names a component the manifest lists.
       ...estate ? { estate } : {},
       conventions,
-      notes: inputs.notes
+      notes: inputs.notes,
+      notReached: inputs.notReached
     });
   } catch (e) {
     if (!(e instanceof NoRoomError))
@@ -217,7 +221,7 @@ async function verifyCommand(root, repo, o, io) {
   if (o.json) {
     let written2;
     if (o.write && !failed) {
-      const { writeFactsIntoCatalog: writeFactsIntoCatalog2 } = await import("./chunk-PVW2N63M.js");
+      const { writeFactsIntoCatalog: writeFactsIntoCatalog2 } = await import("./chunk-CUD4I2U6.js");
       written2 = await writeFactsIntoCatalog2(root, repo, report.accepted, { dir, command: `atticus verify ${repo} --write` }, { ...io, out: () => void 0 });
       if (!written2)
         return 1;
@@ -240,7 +244,9 @@ async function verifyCommand(root, repo, o, io) {
   }
   const pct = Math.round(report.coverage.ratio * 100);
   const cov = report.coverage;
-  io.out(`${repo}: ${report.accepted.length} facts kept, ${report.rejected.length} rejected; coverage ${pct}% (${cov.read.length} read, ${cov.reviewed.length ? `${cov.reviewed.length} reviewed with nothing to record, ` : ""}${cov.unknown.length} unknown${cov.excluded.length ? `, ${cov.excluded.length} excluded` : ""}).`);
+  io.out(`${repo}: ${report.accepted.length} facts kept, ${report.rejected.length} rejected; coverage ${pct}% (${cov.read.length} read, ${cov.reviewed.length ? `${cov.reviewed.length} reviewed with nothing to record, ` : ""}${cov.unknown.length} unknown${cov.excluded.length ? `, ${cov.excluded.length} excluded` : ""}${cov.notReached.length ? `, ${cov.notReached.length} model files no entry or call reaches` : ""}).`);
+  if (cov.notReached.length)
+    io.out(`${cov.notReached.length} model files no entry or call reaches; atticus map ${repo} --models all reads them.`);
   const verifyYaml = `${rel}/${repo}.verify.yaml`;
   const rejectedFile = `${rel}/${repo}.rejected.jsonl`;
   const show = (lines, more) => {
@@ -357,7 +363,7 @@ async function verifyCommand(root, repo, o, io) {
     io.out(`When the read is complete: atticus verify ${repo} --write puts the facts in the catalog, the flows in specs/${repo}/, and renders the map.`);
     return 0;
   }
-  const { writeFactsIntoCatalog } = await import("./chunk-PVW2N63M.js");
+  const { writeFactsIntoCatalog } = await import("./chunk-CUD4I2U6.js");
   const written = await writeFactsIntoCatalog(root, repo, report.accepted, { dir, command: `atticus verify ${repo} --write`, verbose: o.verbose === true }, io);
   return written ? 0 : 1;
 }