@maycombhq/atticus 2.0.0-beta.26 → 2.0.0-beta.27.1

package/dist/{chunk-IJN5PSDU.js → chunk-HOEZQRZU.js}

@@ -5,28 +5,18 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   initiativesDirOf
-} from "./chunk-7JZONWAA.js";
+} from "./chunk-23OQZY5Z.js";
 import {
   gitHandoffPublisher,
   mergeChangeText
-} from "./chunk-WH3ZFLXT.js";
-import "./chunk-UTZMF5CV.js";
+} from "./chunk-YBAJ5SAR.js";
 import {
   createAdapters,
   fileStepStore
-} from "./chunk-6U65YB54.js";
-import "./chunk-2HDNOUJU.js";
-import "./chunk-RK5P2DWD.js";
-import "./chunk-K3QKOVZN.js";
-import "./chunk-QAFQLILX.js";
-import "./chunk-HQMLY2R6.js";
-import "./chunk-I2EWY3MG.js";
-import "./chunk-UFIQ5FWY.js";
-import "./chunk-ZDA72732.js";
-import "./chunk-QA4O2GGC.js";
+} from "./chunk-I57IH5X6.js";
 import {
   createGit
-} from "./chunk-XIJBQM45.js";
+} from "./chunk-X5B7KYPD.js";
 import {
   catalogDirOf,
   changesRelOf,
@@ -37,17 +27,13 @@ import {
   questionsDirOf,
   specsDirOf,
   stateDirOf
-} from "./chunk-6ZDAEUKB.js";
-import "./chunk-MEMEO7YO.js";
+} from "./chunk-WJWSB65O.js";
 import {
   loadOrgPack
-} from "./chunk-LZFKJ2BR.js";
-import "./chunk-CTJHEG6A.js";
-import "./chunk-BQGDB6ZL.js";
-import "./chunk-TV45EUGM.js";
+} from "./chunk-A3LVMCA5.js";
 
 // packages/cli/dist/propose.js
-import { existsSync } from "node:fs";
+import { existsSync, readFileSync } from "node:fs";
 import { mkdir, mkdtemp, readFile, rm, writeFile } from "node:fs/promises";
 import { tmpdir } from "node:os";
 import { dirname, join, relative } from "node:path";
@@ -61,7 +47,8 @@ var PROPOSE_SCOPES = [
   "initiatives",
   "outcomes",
   "work",
-  "service-desk"
+  "service-desk",
+  "upgrade"
 ];
 var TITLES = {
   answers: "Answers to the map's questions",
@@ -73,7 +60,8 @@ var TITLES = {
   initiatives: "Initiatives and commitments",
   outcomes: "Outcomes measured after release",
   work: "Changes made in the Atticus app",
-  "service-desk": "Service-desk request fields"
+  "service-desk": "Service-desk request fields",
+  upgrade: "Upgrade this metarepo"
 };
 var rel = (root, dir) => relative(root, dir).split("\\").join("/");
 function scopeDirs(root, scope) {
@@ -148,8 +136,36 @@ function scopeDirs(root, scope) {
     // or archived (a pathspec's * crosses folders); nothing else of the change.
     case "outcomes":
       return [`${changesRelOf(root)}/*/review/outcomes.yaml`];
+    // Beta.27 review: exactly what `atticus upgrade` changed, path by path (every step's files,
+    // kept with the run in upgraded.json), and its stamp, for the upgrade panel's Propose; never
+    // the app's other pending work. Literal pathspecs: a path is a path, never a glob.
+    case "upgrade":
+      return [.../* @__PURE__ */ new Set([...upgradedPaths(root), UPGRADE_STAMP])].map((p) => `:(literal)${p}`);
   }
 }
+var UPGRADE_STAMP = ".atticus/metarepo.yaml";
+var upgradedFile = (root) => join(stateDirOf(root), ".index", "upgraded.json");
+function relativeInside(f) {
+  if (typeof f !== "string" || !f || f.includes("\0"))
+    return false;
+  if (/^[/\\]/.test(f) || /^[A-Za-z]:/.test(f))
+    return false;
+  return !f.split(/[/\\]/).some((s) => s === "..");
+}
+function upgradedPaths(root) {
+  try {
+    const j = JSON.parse(readFileSync(upgradedFile(root), "utf8"));
+    return j && Array.isArray(j.files) ? j.files.filter(relativeInside).map((f) => f.split("\\").join("/")) : [];
+  } catch {
+    return [];
+  }
+}
+async function recordUpgraded(root, o) {
+  const drop = new Set(o.drop ?? []);
+  const files = [.../* @__PURE__ */ new Set([...upgradedPaths(root), ...(o.add ?? []).filter(relativeInside)])].map((f) => f.split("\\").join("/")).filter((f) => !drop.has(f)).sort();
+  await mkdir(dirname(upgradedFile(root)), { recursive: true });
+  await writeFile(upgradedFile(root), JSON.stringify({ files }, null, 2) + "\n", "utf8");
+}
 var proposedFile = (root) => join(stateDirOf(root), ".index", "proposed.json");
 async function readProposed(root) {
   try {
@@ -184,6 +200,12 @@ async function proposePlan(root, scope, o = {}) {
     else if (!LOCK_FILE.test(e.slice(3)))
       files.push({ path: e.slice(3), status });
   }
+  if (scope === "upgrade") {
+    const listed = files.flatMap((f) => [f.path, ...f.from ? [f.from] : []]);
+    const gone = upgradedPaths(root).filter((p) => !listed.some((l) => l === p || l.startsWith(`${p.replace(/\/$/, "")}/`)));
+    if (gone.length)
+      await recordUpgraded(root, { drop: gone }).catch(() => void 0);
+  }
   const was = await readProposed(root);
   const asked = files.filter((f) => was[f.path]);
   const branches = [...new Set(asked.map((f) => was[f.path].branch).filter((b) => !!b))];
@@ -287,6 +309,8 @@ async function proposeForReview(root, o, io) {
     await writeFile(proposedFile(root), JSON.stringify(was, null, 2) + "\n", "utf8");
   } catch {
   }
+  if (o.scope === "upgrade")
+    await recordUpgraded(root, { drop: files }).catch(() => void 0);
   io.out(pr.url.startsWith("manual:") ? `The PR is a step for you on Home: open it on the Git host from ${plan.branch} and record its link.` : `PR #${pr.number} is open for review: ${pr.url}`);
   io.out("When it merges, Bring in what merged updates your copy of the metarepo.");
   return 0;
@@ -565,11 +589,17 @@ async function closeMergedSteps(root, up, run, now) {
   }
   return out;
 }
+
 export {
   PROPOSE_SCOPES,
-  bringInMerged,
-  proposeForReview,
-  proposePlan,
   scopeDirs,
-  setUpstream
+  UPGRADE_STAMP,
+  upgradedFile,
+  relativeInside,
+  upgradedPaths,
+  recordUpgraded,
+  proposePlan,
+  proposeForReview,
+  setUpstream,
+  bringInMerged
 };

package/dist/{chunk-HWPX3T55.js → chunk-HPCGQAYH.js}

@@ -5,28 +5,20 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   storeSummaryLines
-} from "./chunk-HNNMT5L2.js";
+} from "./chunk-Q7YDUGVZ.js";
 import {
   SCAN_REVIEW_OUTPUT
-} from "./chunk-7AEB74KW.js";
+} from "./chunk-CPB4XMFI.js";
 import {
   completeHandUpLens,
   handUpLensTask
-} from "./chunk-DPH4BS3F.js";
-import {
-  completeCriticBatch,
-  completeCriticLens,
-  yamlAnswerProblems
-} from "./chunk-KZH5YV6J.js";
-import {
-  completeFeatureNaming
-} from "./chunk-H5BIVULF.js";
+} from "./chunk-L3KSU4QU.js";
 import {
   completeTemplatesDraft
-} from "./chunk-IZIGZ7KY.js";
+} from "./chunk-VSED7FYC.js";
 import {
   completeGlossaryScan
-} from "./chunk-JLTJAOO4.js";
+} from "./chunk-DDRTAEFZ.js";
 import {
   DRAFT_OUTPUT,
   STORY_PROSE_OUTPUT,
@@ -36,41 +28,49 @@ import {
   formatDraftProblems,
   parseDraft,
   stageOfOutput
-} from "./chunk-CSHJZFOE.js";
+} from "./chunk-DTW37FJ6.js";
+import {
+  completeCriticBatch,
+  completeCriticLens,
+  yamlAnswerProblems
+} from "./chunk-CWJDZ5VP.js";
+import {
+  completeFeatureNaming
+} from "./chunk-O5BUMSB3.js";
 import {
   lensAnswerProblem,
   lensRunOf
-} from "./chunk-VIQHZA53.js";
+} from "./chunk-LP6BFBE5.js";
 import {
   ORG_FLOW,
   createOpenSpec,
   setDefaultSchema,
   writeOrgFlowSchema
-} from "./chunk-UTZMF5CV.js";
+} from "./chunk-23TTURB2.js";
 import {
   GLOSSARY_CHANGE,
   GLOSSARY_OUTPUT
-} from "./chunk-2HDNOUJU.js";
+} from "./chunk-6H62UHY5.js";
 import {
   KNOWLEDGE_SCAN_OUTPUT,
   NAMING_CHANGE,
   NAMING_OUTPUT,
   checkScanAnswer,
   readSnapshot
-} from "./chunk-K3QKOVZN.js";
-import {
-  HandoffRuntime
-} from "./chunk-ZDA72732.js";
+} from "./chunk-N5DLB74D.js";
 import {
   GitError,
   createWorkspace,
   intellijProjectPath,
   loadRepos,
   vscodeWorkspacePath
-} from "./chunk-XIJBQM45.js";
+} from "./chunk-X5B7KYPD.js";
+import {
+  HandoffRuntime
+} from "./chunk-2MRYL45Z.js";
 import {
   runsDirOf
-} from "./chunk-6ZDAEUKB.js";
+} from "./chunk-WJWSB65O.js";
 
 // packages/cli/dist/workspace-commands.js
 import { readFile } from "node:fs/promises";
@@ -96,7 +96,10 @@ async function workspaceSync(root, repoIds, io, o = {}) {
   const repos = pick(all, repoIds, io);
   if (!repos)
     return 2;
-  const results = await createWorkspace(root, void 0, lockWait(o)).sync(repos, o.from ? { from: o.from } : {});
+  const results = await createWorkspace(root, void 0, {
+    ...lockWait(o),
+    ...o.signal ? { signal: o.signal } : {}
+  }).sync(repos, o.from ? { from: o.from } : {});
   for (const r of results) {
     const sha = r.sha ? ` ${r.sha.slice(0, 12)}` : "";
     const why = r.from ? `copied from your clone at ${r.from}` : r.reason;
@@ -109,6 +112,10 @@ async function workspaceSync(root, repoIds, io, o = {}) {
     if (r.remoteDefault && named && r.remoteDefault !== named)
       io.err(`${r.id}: the manifest says ${named}, the remote's default is ${r.remoteDefault}. The catalog is read from ${named}; if ${r.remoteDefault} is the one to read, set defaultBranch: ${r.remoteDefault} in the manifest (or on Set up \u203A Repos).`);
   }
+  if (results.some((r) => r.action === "stopped")) {
+    io.err("Stopped: nothing more was synced. Sync again to finish.");
+    return 130;
+  }
   return results.some((r) => r.action === "failed") ? 1 : 0;
 }
 async function workspaceOpen(root, change, repoIds, io, o = {}) {

package/dist/{chunk-JJEXMHNZ.js → chunk-HUMM4S5I.js}

@@ -10,12 +10,12 @@ import {
   typesListCommand,
   typesNotesCommand,
   uiComponentTypeRoutes
-} from "./chunk-ZQGFZJH5.js";
-import "./chunk-W4SMKUAK.js";
-import "./chunk-6ZDAEUKB.js";
-import "./chunk-MEMEO7YO.js";
-import "./chunk-LZFKJ2BR.js";
-import "./chunk-CTJHEG6A.js";
+} from "./chunk-523NRKHF.js";
+import "./chunk-OUGTAOGA.js";
+import "./chunk-WJWSB65O.js";
+import "./chunk-SMFFUFMN.js";
+import "./chunk-A3LVMCA5.js";
+import "./chunk-NWMFVPEP.js";
 import "./chunk-BQGDB6ZL.js";
 import "./chunk-TV45EUGM.js";
 export {

package/dist/{chunk-BIWNRS5I.js → chunk-I2NGDERG.js}

@@ -9,17 +9,17 @@ import {
 import {
   componentTypeIds,
   componentTypesAt
-} from "./chunk-W4SMKUAK.js";
+} from "./chunk-OUGTAOGA.js";
 import {
   recordTopUpVerified
-} from "./chunk-DXLWZ3BJ.js";
+} from "./chunk-IDFUGYTS.js";
 import {
   notesAt
-} from "./chunk-V5FT3MZG.js";
+} from "./chunk-UXETN43F.js";
 import {
   loadReadPlan,
   recordReadProgress
-} from "./chunk-P6DM2EFI.js";
+} from "./chunk-VVLWEM2Y.js";
 import {
   carryOf,
   checkoutOf,
@@ -33,29 +33,29 @@ import {
   reviewedProblemsOf,
   slipNoteLines,
   writeVerifyFiles
-} from "./chunk-XDLMQL5A.js";
+} from "./chunk-QPAANKUR.js";
 import {
   dirSource,
   frameworkFacts,
   frameworksToLearn,
   repairFormSlips,
   verifyFacts
-} from "./chunk-RK5P2DWD.js";
+} from "./chunk-YIGSUTW2.js";
 import {
   NoRoomError,
   roomGuard,
   streamFacts
-} from "./chunk-DHQXCP2X.js";
+} from "./chunk-3PBIZBWN.js";
 import {
   factsDirOf,
   factsRelOf,
   listQuestions,
   orgPackDirOf,
   stackHelpersOff
-} from "./chunk-6ZDAEUKB.js";
+} from "./chunk-WJWSB65O.js";
 import {
   loadOrgPack
-} from "./chunk-LZFKJ2BR.js";
+} from "./chunk-A3LVMCA5.js";
 
 // packages/cli/dist/verify-commands.js
 import { existsSync } from "node:fs";
@@ -66,6 +66,33 @@ async function frameworksKnownTo(root) {
   return (op?.frameworks ?? []).flatMap((f) => [f.name, ...f.artifacts]);
 }
 var SHOWN = 5;
+var listed = (lines, more, all = false) => all || lines.length <= SHOWN ? lines.map((l) => `  ${l}`) : [
+  ...lines.slice(0, SHOWN).map((l) => `  ${l}`),
+  `  ... and ${lines.length - SHOWN} more ${more}`
+];
+function skippedNoteLines(report, o) {
+  const out = [];
+  const { verifyYaml, seeAll, all } = o;
+  const skippedLines = report.skipped;
+  if (skippedLines.length)
+    out.push(`${skippedLines.length} ${skippedLines.length === 1 ? "line of the files read writes" : "lines of the files read write"} a path, URL or topic no fact cites (a note for the reader to check, not a rejection; under skipped in ${verifyYaml}; ${seeAll}):`, ...listed(skippedLines.map((x) => `${x.cite} ${x.kind} ${x.value}`), `(${seeAll})`, all));
+  const holds = report.reviewedHolds;
+  if (holds.length)
+    out.push(`${holds.length} reviewed ${holds.length === 1 ? "glob holds" : "globs hold"} lines that write a path, URL or topic (a note; under reviewedHolds in ${verifyYaml}): read them, then write their facts or say why there are none:`, ...listed(holds.map((h) => h.message), `(reviewedHolds in ${verifyYaml})`, all));
+  const ops = report.specOpsUncovered;
+  if (ops.length)
+    out.push(`${ops.length} ${ops.length === 1 ? "operation the repo's OpenAPI spec declares has" : "operations the repo's OpenAPI specs declare have"} no entry (a note, not a rejection; under specOpsUncovered in ${verifyYaml}; ${seeAll}):`, ...listed(ops.map((x) => x.message), `(${seeAll})`, all));
+  return out;
+}
+function unfollowedNoteLines(report, verifyYaml) {
+  const unfollowed = report.entriesNoFlowFollows;
+  if (!unfollowed.length)
+    return [];
+  return [
+    `${unfollowed.length} ${unfollowed.length === 1 ? "entry" : "entries"} no flow follows (a note, not a rejection; listed under entriesNoFlowFollows in ${verifyYaml}): write a flow for each that does real work.`,
+    ...listed(unfollowed.map((e) => `${e.entryType === "rest" && e.method ? e.method : e.entryType} ${e.path} (${e.id}, ${e.cite})`), `(entriesNoFlowFollows in ${verifyYaml})`)
+  ];
+}
 function questionLines(text) {
   const lines = [];
   const problems = [];
@@ -227,6 +254,7 @@ async function verifyCommand(root, repo, o, io) {
   }));
   const failed = report.rejected.length + qProblems.length + badLines.length + reviewedBad.length > 0;
   const refusedWrite = o.write === true && failed;
+  const complete = !failed && report.coverage.unknown.length === 0;
   const summary = await writeVerifyFiles(root, repo, report, commit, qProblems, badLines, reviewedBad, slips, parsed.newer.flatMap((n2) => n2.raw !== void 0 ? [n2.raw] : []), { keepFacts: refusedWrite });
   await recordReadProgress(root, repo, {
     commit,
@@ -243,10 +271,20 @@ async function verifyCommand(root, repo, o, io) {
   const rejectedNote = `Nothing written: ${n ? `${n} ${n === 1 ? "fact was" : "facts were"} rejected` : "some lines of the read were refused"}, so ${rel}/${repo}.jsonl and the catalog are left as they were. Fix them from ${rel}/${repo}.rejected.jsonl and run atticus verify ${repo} --write again.`;
   if (o.json) {
     let written2;
+    let refusedBuild;
     if (o.write && !failed) {
-      const { writeFactsIntoCatalog: writeFactsIntoCatalog2 } = await import("./chunk-NP3PG6OI.js");
-      written2 = await writeFactsIntoCatalog2(root, repo, report.accepted, { dir, command: `atticus verify ${repo} --write` }, { ...io, out: () => void 0 });
-      if (!written2)
+      const { writeFactsIntoCatalog: writeFactsIntoCatalog2 } = await import("./chunk-Z5CIRZNO.js");
+      written2 = await writeFactsIntoCatalog2(root, repo, report.accepted, {
+        dir,
+        command: `atticus verify ${repo} --write`,
+        ...commit ? { commit } : {},
+        ...complete ? { readComplete: true } : {},
+        ...o.allowRemovals !== void 0 ? { allowRemovals: o.allowRemovals } : {},
+        ...o.discardEdits !== void 0 ? { discardEdits: o.discardEdits } : {},
+        ...o.plan !== void 0 ? { plan: o.plan } : {},
+        onRefused: (r) => refusedBuild = r.guard.refused
+      }, { ...io, out: () => void 0 });
+      if (!written2 && !refusedBuild)
         return 1;
     } else if (o.write)
       io.err(rejectedNote);
@@ -261,9 +299,10 @@ async function verifyCommand(root, repo, o, io) {
         problems: qProblems
       },
       ...reviewedBad.length ? { reviewedProblems: reviewedBad } : {},
-      ...written2 ? { written: written2 } : {}
+      ...written2 ? { written: written2 } : {},
+      ...refusedBuild ? { refused: refusedBuild } : {}
     }, null, 2));
-    return failed ? 1 : 0;
+    return failed || refusedBuild ? 1 : 0;
   }
   const pct = Math.round(report.coverage.ratio * 100);
   const cov = report.coverage;
@@ -315,9 +354,11 @@ async function verifyCommand(root, repo, o, io) {
   show(qProblems.map((q) => `bad-question: ${q.message}`), `refused questions (all in ${rejectedFile})`);
   show(badLines.map((b) => `schema: ${b.message}`), `lines that aren't facts (all in ${rejectedFile})`);
   show(reviewedBad.map((b) => `bad-reviewed: ${b.message}`), `refused reviewed lines (all in ${rejectedFile})`);
-  if (failed)
+  if (failed) {
+    if (!refusedWrite && report.rejected.some((r) => r.code !== "wrong-commit"))
+      io.out(`The rejected facts were moved out of ${rel}/${repo}.jsonl into ${rel}/${repo}.rejected.jsonl, each with why: nothing was undone, and the facts kept stay as they are.`);
     io.out(`Fix them from ${rel}/${repo}.rejected.jsonl (read the lines again, then rewrite or drop each fact, question or reviewed line) and run atticus verify ${repo} again.`);
-  else if (cov.unknown.length)
+  } else if (cov.unknown.length)
     io.out(`Next: read the ${cov.unknown.length} unknown files (listed in ${rel}/${repo}.verify.yaml). A file you read and found nothing to record in goes in ${rel}/${repo}.reviewed.jsonl ({"path": "<file or glob>", "why": "..."} per line); generated code is excluded in org-pack/scan/${repo}.yaml.`);
   else
     io.out(`The read is complete: every source file is read (${cov.read.length})${cov.reviewed.length ? ` or reviewed with nothing to record (${cov.reviewed.length}, each with why in ${rel}/${repo}.verify.yaml)` : ""}.`);
@@ -333,30 +374,12 @@ async function verifyCommand(root, repo, o, io) {
     io.out(`${unseen.length} ${unseen.length === 1 ? "entry or call claims" : "entries or calls claim"} an HTTP method ${unseen.length === 1 ? "its" : "their"} lines don't write (a warning, not a rejection; under methodUnseen in ${verifyYaml}):`);
     show(unseen.map((m) => m.message), `(methodUnseen in ${verifyYaml})`);
   }
-  const all = o.skipped === true;
-  const list = (lines, more) => {
-    if (all)
-      for (const l of lines)
-        io.out(`  ${l}`);
-    else
-      show(lines, more);
-  };
-  const seeAll = `atticus verify ${repo} --skipped prints every one`;
-  const skippedLines = report.skipped;
-  if (skippedLines.length) {
-    io.out(`${skippedLines.length} ${skippedLines.length === 1 ? "line of the files read writes" : "lines of the files read write"} a path, URL or topic no fact cites (a note for the reader to check, not a rejection; under skipped in ${verifyYaml}; ${seeAll}):`);
-    list(skippedLines.map((x) => `${x.cite} ${x.kind} ${x.value}`), `(${seeAll})`);
-  }
-  const holds = report.reviewedHolds;
-  if (holds.length) {
-    io.out(`${holds.length} reviewed ${holds.length === 1 ? "glob holds" : "globs hold"} lines that write a path, URL or topic (a note; under reviewedHolds in ${verifyYaml}): read them, then write their facts or say why there are none:`);
-    list(holds.map((h) => h.message), `(reviewedHolds in ${verifyYaml})`);
-  }
-  const ops = report.specOpsUncovered;
-  if (ops.length) {
-    io.out(`${ops.length} ${ops.length === 1 ? "operation the repo's OpenAPI spec declares has" : "operations the repo's OpenAPI specs declare have"} no entry (a note, not a rejection; under specOpsUncovered in ${verifyYaml}; ${seeAll}):`);
-    list(ops.map((x) => x.message), `(${seeAll})`);
-  }
+  for (const l of skippedNoteLines(report, {
+    verifyYaml,
+    seeAll: `atticus verify ${repo} --skipped prints every one`,
+    all: o.skipped === true
+  }))
+    io.out(l);
   if (report.redacted)
     io.out(`${report.redacted} quotes had a secret value redacted.`);
   if (report.quotesDropped)
@@ -366,11 +389,8 @@ async function verifyCommand(root, repo, o, io) {
     io.out(`${noAuth.length} ${noAuth.length === 1 ? "entry's" : "entries'"} auth rests on no cited line (all under authUncited in ${verifyYaml}). ${noAuth.length === 1 ? "It is" : "They are"} kept in ${rel}/${repo}.jsonl, as the reader wrote ${noAuth.length === 1 ? "it" : "them"}, and left out of the catalog, so the map never says an auth nothing shows. To record ${noAuth.length === 1 ? "it" : "them"}: give each entry an authCite \u2014 the file and line that sets the auth and what it writes there \u2014 and run atticus verify ${repo} again:`);
     show(noAuth.map((a) => `${a.id} (${a.auth}, ${a.cite})`), `(authUncited in ${verifyYaml})`);
   }
-  const unfollowed = report.entriesNoFlowFollows;
-  if (unfollowed.length) {
-    io.out(`${unfollowed.length} ${unfollowed.length === 1 ? "entry" : "entries"} no flow follows (a note, not a rejection; listed under entriesNoFlowFollows in ${verifyYaml}): write a flow for each that does real work.`);
-    show(unfollowed.map((e) => `${e.entryType === "rest" && e.method ? e.method : e.entryType} ${e.path} (${e.id}, ${e.cite})`), `(entriesNoFlowFollows in ${verifyYaml})`);
-  }
+  for (const l of unfollowedNoteLines(report, verifyYaml))
+    io.out(l);
   const fws = frameworkFacts(report.accepted);
   if (fws.length)
     io.out(`Built on ${fws.map((f) => `${f.name}${f.version ? ` ${f.version}` : ""}`).join(", ")} (frameworks in ${verifyYaml}).`);
@@ -403,13 +423,24 @@ 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-NP3PG6OI.js");
-  const written = await writeFactsIntoCatalog(root, repo, report.accepted, { dir, command: `atticus verify ${repo} --write`, verbose: o.verbose === true }, io);
+  const { writeFactsIntoCatalog } = await import("./chunk-Z5CIRZNO.js");
+  const written = await writeFactsIntoCatalog(root, repo, report.accepted, {
+    dir,
+    command: `atticus verify ${repo} --write`,
+    verbose: o.verbose === true,
+    ...commit ? { commit } : {},
+    ...complete ? { readComplete: true } : {},
+    ...o.allowRemovals !== void 0 ? { allowRemovals: o.allowRemovals } : {},
+    ...o.discardEdits !== void 0 ? { discardEdits: o.discardEdits } : {},
+    ...o.plan !== void 0 ? { plan: o.plan } : {}
+  }, io);
   return written ? 0 : 1;
 }
 
 export {
   SHOWN,
+  skippedNoteLines,
+  unfollowedNoteLines,
   factsRepos,
   verifyAllCommand,
   verifyInputsOf,