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

package/dist/{chunk-YFSSNGLR.js → chunk-RWMSJP7H.js}

@@ -6,38 +6,39 @@ var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   claimOf,
   factLabel
-} from "./chunk-NPCD54I7.js";
+} from "./chunk-H4VJO3M2.js";
 import {
   verifyInputsOf
-} from "./chunk-3GTZ2OON.js";
-import "./chunk-HHUFVJF7.js";
-import {
-  repoContractsOf
-} from "./chunk-GXJVY6WT.js";
-import "./chunk-HE4ZQXZM.js";
+} from "./chunk-Y5AYBGLB.js";
+import "./chunk-52WCHTVZ.js";
+import "./chunk-ZTNS3L5Z.js";
+import "./chunk-LVBPY2M6.js";
 import {
   checkoutOf
-} from "./chunk-B3O52AUQ.js";
-import "./chunk-XKS6THI5.js";
-import "./chunk-47QE246J.js";
-import "./chunk-XQ3YIV5R.js";
-import "./chunk-MGVYVW7Q.js";
-import "./chunk-NGPU2ARF.js";
-import "./chunk-AY2IUF4K.js";
-import "./chunk-6JLPXDWN.js";
+} from "./chunk-ASKDCMW5.js";
+import "./chunk-LDIARP6F.js";
+import {
+  repoContractsOf
+} from "./chunk-BA5DTXHQ.js";
+import "./chunk-T6ESD5KM.js";
+import "./chunk-3LU6YCSQ.js";
+import "./chunk-L7I5PKGD.js";
+import "./chunk-CAN3EBE5.js";
+import "./chunk-IILZ7J3L.js";
+import "./chunk-TEBBD4XH.js";
 import {
   dirSource,
   repairFormSlips,
   verifyFacts
-} from "./chunk-4GZXS6S2.js";
-import "./chunk-R4TBNKKC.js";
-import "./chunk-NIXVDQVO.js";
-import "./chunk-UR7RMZ3R.js";
-import "./chunk-N4QZJJVB.js";
-import "./chunk-7F2RUWPU.js";
-import "./chunk-PGKHJYOB.js";
-import "./chunk-MKRBG5EF.js";
-import "./chunk-5XDNUJ4P.js";
+} from "./chunk-XPWSNKF3.js";
+import "./chunk-WIMOJMAK.js";
+import "./chunk-5V5BJACL.js";
+import "./chunk-GVFUEGGM.js";
+import "./chunk-XNRPCI23.js";
+import "./chunk-RJDP642F.js";
+import "./chunk-XZJE6WIT.js";
+import "./chunk-FMRMTI7W.js";
+import "./chunk-BKFGGJKA.js";
 import {
   factsDirOf,
   factsRelOf,
@@ -53,8 +54,8 @@ import {
   require_dist,
   specRelOf,
   stackHelpersOff
-} from "./chunk-577AJVRS.js";
-import "./chunk-D3PO4DOZ.js";
+} from "./chunk-JMOLB347.js";
+import "./chunk-MMB2OHUY.js";
 import {
   __toESM
 } from "./chunk-TV45EUGM.js";
@@ -140,7 +141,7 @@ async function verifyWritePreview(root, repo, o = {}) {
   const commit = [...new Set(before.map((f) => f.commit))].sort()[0];
   const head = await headFromFiles(dir);
   const off = stackHelpersOff();
-  const inputs = await verifyInputsOf(root, repo);
+  const inputs = await verifyInputsOf(root, repo, dir);
   const report = await verifyFacts({
     facts: before,
     source: dirSource(dir),
@@ -150,7 +151,8 @@ async function verifyWritePreview(root, repo, o = {}) {
     corrections: inputs.corrections.corrections,
     reviewed: inputs.reviewed.entries,
     ...inputs.estate ? { estate: inputs.estate } : {},
-    conventions: inputs.conventions
+    conventions: inputs.conventions,
+    notes: inputs.notes
   });
   const kept = new Map(report.accepted.map((f) => [f.id, f]));
   const wrong = new Set(report.corrections.applied.filter((a) => a.action === "wrong").map((a) => a.fact));
@@ -188,7 +190,7 @@ async function verifyWritePreview(root, repo, o = {}) {
       }
     };
   }
-  const { projectFactsIntoCatalog } = await import("./chunk-KM2FBM3T.js");
+  const { projectFactsIntoCatalog } = await import("./chunk-KLKENMWQ.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-JMSEEBN4.js → chunk-S2FDPN32.js}

@@ -10,7 +10,7 @@ function draftCheckTool(root, request) {
   if (!request.selfCheck || !/^(feature|architecture|stories|small)-answer\.yaml$/.test(request.outputPath))
     return void 0;
   let box;
-  const planner = () => box ??= import("./chunk-UF7TAFJM.js").then((p) => p.draftCheckBox(root, request));
+  const planner = () => box ??= import("./chunk-DQNKG4HY.js").then((p) => p.draftCheckBox(root, request));
   return {
     definitions: [
       {

package/dist/chunk-S5LSDXV4.js

@@ -0,0 +1,40 @@
+import { createRequire as __atticusCreateRequire } from "node:module";
+import { fileURLToPath as __atticusFileURLToPath } from "node:url";
+var require = __atticusCreateRequire(import.meta.url);
+var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
+var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
+import "./chunk-TV45EUGM.js";
+
+// packages/cli/dist/clipboard.js
+import { spawn } from "node:child_process";
+function clipboardTools(platform = process.platform, env = process.env) {
+  if (platform === "win32")
+    return [{ file: "clip", args: [] }];
+  if (platform === "darwin")
+    return [{ file: "pbcopy", args: [] }];
+  return [
+    ...env.WAYLAND_DISPLAY ? [{ file: "wl-copy", args: [] }] : [],
+    { file: "xclip", args: ["-selection", "clipboard"] }
+  ];
+}
+var tryTool = (tool, text) => new Promise((resolve) => {
+  try {
+    const p = spawn(tool.file, tool.args, { stdio: ["pipe", "ignore", "ignore"] });
+    p.on("error", () => resolve(false));
+    p.on("close", (code) => resolve(code === 0));
+    p.stdin.on("error", () => resolve(false));
+    p.stdin.end(text);
+  } catch {
+    resolve(false);
+  }
+});
+async function copyToClipboard(text) {
+  for (const tool of clipboardTools())
+    if (await tryTool(tool, text))
+      return true;
+  return false;
+}
+export {
+  clipboardTools,
+  copyToClipboard
+};

package/dist/{chunk-OJLRFGBP.js → chunk-S7ZWCMDO.js}

@@ -4,25 +4,32 @@ var require = __atticusCreateRequire(import.meta.url);
 var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
+  globHolds
+} from "./chunk-LVBPY2M6.js";
+import "./chunk-ASKDCMW5.js";
+import "./chunk-LDIARP6F.js";
+import {
+  lineRangeOf,
   planGaps,
   sameCommit
-} from "./chunk-4GZXS6S2.js";
-import "./chunk-UR7RMZ3R.js";
-import "./chunk-MKRBG5EF.js";
+} from "./chunk-XPWSNKF3.js";
+import "./chunk-GVFUEGGM.js";
+import "./chunk-XZJE6WIT.js";
+import "./chunk-FMRMTI7W.js";
 import {
   DATA_RULE,
   estimateTokens,
   neutralise,
   wrapData
-} from "./chunk-5XDNUJ4P.js";
+} from "./chunk-BKFGGJKA.js";
 import {
   factsDirOf,
   factsRelOf,
   require_dist
-} from "./chunk-577AJVRS.js";
+} from "./chunk-JMOLB347.js";
 import {
   writeFileAtomic
-} from "./chunk-D3PO4DOZ.js";
+} from "./chunk-MMB2OHUY.js";
 import {
   __toESM
 } from "./chunk-TV45EUGM.js";
@@ -60,7 +67,7 @@ async function mapGaps(root, repo, o, io) {
     const t = o.source.read(file);
     return t === void 0 ? void 0 : { tokens: estimateTokens(t), lines: t.split(/\r?\n/).length };
   };
-  const plan = planGaps({
+  const from = {
     ...v.coverage?.unknown ? { unknown: v.coverage.unknown } : {},
     ...v.skipped ? { skipped: v.skipped } : {},
     ...v.skippedCount !== void 0 ? { skippedCount: v.skippedCount } : {},
@@ -68,31 +75,42 @@ async function mapGaps(root, repo, o, io) {
     ...v.specOpsUncovered ? { specOpsUncovered: v.specOpsUncovered } : {},
     ...v.specOpsUncoveredCount !== void 0 ? { specOpsUncoveredCount: v.specOpsUncoveredCount } : {},
     ...v.entriesNoFlowFollows ? { entriesNoFlowFollows: v.entriesNoFlowFollows } : {}
-  }, size, o.session);
+  };
+  const plan = o.part ? partRest(from, o.part.left, size, o.session) : planGaps(from, size, o.session);
   const promptRel = gapsRelOf(root, repo);
   if (plan.sessions.length)
-    await writeFileAtomic(join(dir, `${repo}.gaps.md`), gapsPrompt(repo, o.commit, plan, { rel, session: o.session }));
+    await writeFileAtomic(join(dir, `${repo}.gaps.md`), gapsPrompt(repo, o.commit, plan, {
+      rel,
+      session: o.session,
+      ...o.part ? { part: o.part.n } : {}
+    }));
   if (o.json) {
     io.out(JSON.stringify({
       repo,
       commit: o.commit,
       session: o.session,
       ...plan,
+      ...o.part ? { part: o.part.n } : {},
       ...plan.sessions.length ? { prompt: promptRel } : {}
     }, null, 2));
     return 0;
   }
+  const again = o.part ? `${repo} --part ${o.part.n} --gaps` : `${repo} --gaps`;
+  if (!plan.sessions.length && o.part) {
+    io.out(`Nothing is left of part ${o.part.n} of ${repo}: every file it reads is cited by a kept fact or reviewed.`);
+    return 0;
+  }
   if (!plan.sessions.length) {
     io.out(`No gaps left in ${repo}: the last verify lists no file no fact cites, no skipped line, no spec operation and no entry to follow.${plan.gone.length ? ` (${plan.gone.length} listed ${plan.gone.length === 1 ? "file is" : "files are"} gone from the checkout.)` : ""}`);
     return 0;
   }
   const n = plan.sessions.length;
   const first = plan.sessions[0];
-  io.out(`Second pass on the gaps of ${repo}: ${plan.files} ${plan.files === 1 ? "file" : "files"}, about ${plan.tokens.toLocaleString("en-US")} tokens, in ${n} ${n === 1 ? "session" : "sessions"} of ${o.session.toLocaleString("en-US")} at most.`);
+  io.out(`${o.part ? `The rest of part ${o.part.n} of ${repo}` : `Second pass on the gaps of ${repo}`}: ${plan.files} ${plan.files === 1 ? "file" : "files"}, about ${plan.tokens.toLocaleString("en-US")} tokens, in ${n} ${n === 1 ? "session" : "sessions"} of ${o.session.toLocaleString("en-US")} at most.`);
   io.out(`Wrote ${promptRel}: session 1${n > 1 ? ` of ${n}` : ""}, ${first.reads.length} ${first.reads.length === 1 ? "read" : "reads"}, about ${first.tokens.toLocaleString("en-US")} tokens.`);
   if (plan.unlisted)
     io.out(`${plan.unlisted} more skipped lines or spec operations are counted in ${verifyYaml} but not listed: verify after this pass and --gaps again plans them.`);
-  io.out(`Start a new chat, so the session holds only these files and lines, and run /atticus-map ${repo} --gaps there (or paste ${promptRel}).`);
+  io.out(`Start a new chat, so the session holds only these files and lines, and run /atticus-map ${again} there (or paste ${promptRel}).`);
   return 0;
 }
 function gapsPrompt(repo, commit, plan, c) {
@@ -104,14 +122,16 @@ function gapsPrompt(repo, commit, plan, c) {
   ]).join("\n");
   const data = wrapData({ id: `${repo}.gaps`, kind: "gaps", origin: `${c.rel}/${repo}.verify.yaml` }, neutralise(list, void 0, { mark: true }).text);
   return [
-    `# Second pass on the gaps of ${repo} at ${commit}`,
+    c.part ? `# The rest of part ${c.part} of ${repo} at ${commit}` : `# Second pass on the gaps of ${repo} at ${commit}`,
     "",
-    `Session 1${n > 1 ? ` of ${n}` : ""}, about ${s.tokens.toLocaleString("en-US")} tokens of source. The first read is done and verified; this session reads only what it left (ADR 0157). Open each path below and nothing else: a path ending \`#L<from>-L<to>\` by those lines only, never the whole file.`,
+    `Session 1${n > 1 ? ` of ${n}` : ""}, about ${s.tokens.toLocaleString("en-US")} tokens of source. ${c.part ? `The read of part ${c.part} stopped before it was done; what it wrote is verified and kept, so this session reads only the files of the part it left (ADR 0161).` : "The first read is done and verified; this session reads only what it left (ADR 0157)."} Open each path below and nothing else: a path ending \`#L<from>-L<to>\` by those lines only, never the whole file.`,
     "",
     `- Write each fact to \`${c.rel}/${repo}.jsonl\`, appended, under the same rules and id rules as the first read, with \`commit\` ${commit}. A fact already in the file keeps its id: look for it before you write it.`,
     `- A path or line that holds nothing to record: a line in \`${c.rel}/${repo}.reviewed.jsonl\`, \`{"path": "<the path below>", "why": "..."}\`.`,
     `- Then run \`atticus verify ${repo}\` and fix what it rejects until it exits 0.`,
-    ...n > 1 || plan.unlisted ? [`- Then \`atticus map ${repo} --gaps\` plans what is left, for another new chat.`] : [],
+    ...n > 1 || plan.unlisted ? [
+      `- Then \`atticus map ${repo}${c.part ? ` --part ${c.part}` : ""} --gaps\` plans what is left, for another new chat.`
+    ] : [],
     "",
     "## Read",
     "",
@@ -121,8 +141,52 @@ function gapsPrompt(repo, commit, plan, c) {
     ""
   ].join("\n");
 }
+function partRest(from, left, size, room) {
+  const ranges = left.filter((g) => lineRangeOf(g));
+  const folders = left.filter((g) => !lineRangeOf(g));
+  const inPart = (file) => folders.some((g) => globHolds(g, file));
+  const fileOf = (cite) => cite.replace(/:\d+$/, "");
+  const plan = planGaps({
+    unknown: (from.unknown ?? []).filter(inPart),
+    ...from.skipped ? { skipped: from.skipped.filter((x) => inPart(fileOf(x.cite))) } : {},
+    ...from.specOpsUncovered ? { specOpsUncovered: from.specOpsUncovered.filter((x) => inPart(fileOf(x.cite))) } : {},
+    ...from.entriesNoFlowFollows ? { entriesNoFlowFollows: from.entriesNoFlowFollows.filter((x) => inPart(fileOf(x.cite))) } : {}
+  }, size, room);
+  const sessions = plan.sessions.map((x) => ({ reads: [...x.reads], tokens: x.tokens }));
+  const gone = [...plan.gone];
+  for (const g of ranges) {
+    const r = lineRangeOf(g);
+    const sz = size(r.file);
+    if (!sz) {
+      gone.push(r.file);
+      continue;
+    }
+    const tokens = Math.ceil(sz.tokens * (r.to - r.from + 1) / Math.max(1, sz.lines));
+    const read = {
+      path: g,
+      file: r.file,
+      tokens,
+      why: ["no fact cites a line of this range yet: read these lines"]
+    };
+    const last = sessions.at(-1);
+    if (last && last.tokens + tokens <= room) {
+      last.reads.push(read);
+      last.tokens += tokens;
+    } else
+      sessions.push({ reads: [read], tokens });
+  }
+  const reads = sessions.flatMap((x) => x.reads);
+  return {
+    sessions,
+    files: new Set(reads.map((r) => r.file)).size,
+    tokens: reads.reduce((n, r) => n + r.tokens, 0),
+    unlisted: 0,
+    gone: [...new Set(gone)]
+  };
+}
 export {
   gapsPrompt,
   gapsRelOf,
-  mapGaps
+  mapGaps,
+  partRest
 };

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

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

package/dist/{chunk-FEZE6NIA.js → chunk-SH7AZZDA.js}

@@ -7,26 +7,26 @@ import {
   PlannerError,
   draftedStories,
   workItemsOf
-} from "./chunk-KC5DROFC.js";
-import "./chunk-RK6MKKKP.js";
-import "./chunk-47QE246J.js";
-import "./chunk-XQ3YIV5R.js";
-import "./chunk-MGVYVW7Q.js";
+} from "./chunk-EV4TEFOD.js";
+import "./chunk-6N2GUZMZ.js";
+import "./chunk-T6ESD5KM.js";
+import "./chunk-3LU6YCSQ.js";
+import "./chunk-L7I5PKGD.js";
 import {
   workItemsCsv
-} from "./chunk-NGPU2ARF.js";
-import "./chunk-AY2IUF4K.js";
-import "./chunk-6JLPXDWN.js";
-import "./chunk-4GZXS6S2.js";
-import "./chunk-R4TBNKKC.js";
-import "./chunk-NIXVDQVO.js";
-import "./chunk-UR7RMZ3R.js";
-import "./chunk-N4QZJJVB.js";
-import "./chunk-PGKHJYOB.js";
-import "./chunk-MKRBG5EF.js";
-import "./chunk-5XDNUJ4P.js";
-import "./chunk-577AJVRS.js";
-import "./chunk-D3PO4DOZ.js";
+} from "./chunk-CAN3EBE5.js";
+import "./chunk-IILZ7J3L.js";
+import "./chunk-TEBBD4XH.js";
+import "./chunk-XPWSNKF3.js";
+import "./chunk-WIMOJMAK.js";
+import "./chunk-5V5BJACL.js";
+import "./chunk-GVFUEGGM.js";
+import "./chunk-XNRPCI23.js";
+import "./chunk-XZJE6WIT.js";
+import "./chunk-FMRMTI7W.js";
+import "./chunk-BKFGGJKA.js";
+import "./chunk-JMOLB347.js";
+import "./chunk-MMB2OHUY.js";
 import "./chunk-TV45EUGM.js";
 
 // packages/cli/dist/export-commands.js

package/dist/{chunk-E3Z67HRK.js → chunk-SILY6ZEZ.js}

@@ -6,10 +6,10 @@ var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   listRuns,
   runTranscript
-} from "./chunk-IZNSAEBX.js";
-import "./chunk-5XDNUJ4P.js";
-import "./chunk-577AJVRS.js";
-import "./chunk-D3PO4DOZ.js";
+} from "./chunk-UTR67XU2.js";
+import "./chunk-BKFGGJKA.js";
+import "./chunk-JMOLB347.js";
+import "./chunk-MMB2OHUY.js";
 import "./chunk-TV45EUGM.js";
 
 // packages/cli/dist/runs-commands.js

package/dist/{chunk-5IALSMZ2.js → chunk-SINJKQSI.js}

@@ -9,21 +9,21 @@ import {
   questionsCommand,
   sourcesAdd,
   sourcesSync
-} from "./chunk-F2FOQLJ7.js";
-import "./chunk-IV7BCWWN.js";
-import "./chunk-ROTY5J2L.js";
+} from "./chunk-EAQFRD2B.js";
+import "./chunk-TCADP67G.js";
+import "./chunk-NBGBMRIS.js";
 import "./chunk-VOGCSYOI.js";
-import "./chunk-AY2IUF4K.js";
-import "./chunk-6JLPXDWN.js";
-import "./chunk-4GZXS6S2.js";
-import "./chunk-R4TBNKKC.js";
-import "./chunk-NIXVDQVO.js";
-import "./chunk-UR7RMZ3R.js";
-import "./chunk-PGKHJYOB.js";
-import "./chunk-MKRBG5EF.js";
-import "./chunk-5XDNUJ4P.js";
-import "./chunk-577AJVRS.js";
-import "./chunk-D3PO4DOZ.js";
+import "./chunk-IILZ7J3L.js";
+import "./chunk-TEBBD4XH.js";
+import "./chunk-XPWSNKF3.js";
+import "./chunk-WIMOJMAK.js";
+import "./chunk-5V5BJACL.js";
+import "./chunk-GVFUEGGM.js";
+import "./chunk-XZJE6WIT.js";
+import "./chunk-FMRMTI7W.js";
+import "./chunk-BKFGGJKA.js";
+import "./chunk-JMOLB347.js";
+import "./chunk-MMB2OHUY.js";
 import "./chunk-TV45EUGM.js";
 export {
   coverageCommand,

package/dist/chunk-SIUDWWKS.js

@@ -0,0 +1,47 @@
+import { createRequire as __atticusCreateRequire } from "node:module";
+import { fileURLToPath as __atticusFileURLToPath } from "node:url";
+var require = __atticusCreateRequire(import.meta.url);
+var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
+var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
+import {
+  outcomeList,
+  outcomeRecord,
+  releaseEvidenceCommand,
+  releaseForecastCommand,
+  releaseNotesCommand,
+  releasePlanCommand,
+  releaseSecurityCommand
+} from "./chunk-5TY4DTHQ.js";
+import "./chunk-7A7IG7OA.js";
+import "./chunk-Z46OXTBE.js";
+import "./chunk-NBGBMRIS.js";
+import "./chunk-PQW7PYUR.js";
+import "./chunk-SKMHS4CL.js";
+import "./chunk-EV4TEFOD.js";
+import "./chunk-6N2GUZMZ.js";
+import "./chunk-T6ESD5KM.js";
+import "./chunk-3LU6YCSQ.js";
+import "./chunk-L7I5PKGD.js";
+import "./chunk-CAN3EBE5.js";
+import "./chunk-IILZ7J3L.js";
+import "./chunk-TEBBD4XH.js";
+import "./chunk-XPWSNKF3.js";
+import "./chunk-WIMOJMAK.js";
+import "./chunk-5V5BJACL.js";
+import "./chunk-GVFUEGGM.js";
+import "./chunk-XNRPCI23.js";
+import "./chunk-XZJE6WIT.js";
+import "./chunk-FMRMTI7W.js";
+import "./chunk-BKFGGJKA.js";
+import "./chunk-JMOLB347.js";
+import "./chunk-MMB2OHUY.js";
+import "./chunk-TV45EUGM.js";
+export {
+  outcomeList,
+  outcomeRecord,
+  releaseEvidenceCommand,
+  releaseForecastCommand,
+  releaseNotesCommand,
+  releasePlanCommand,
+  releaseSecurityCommand
+};

package/dist/{chunk-XEG3FE2R.js → chunk-SKMHS4CL.js}

@@ -5,7 +5,7 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   require_dist
-} from "./chunk-577AJVRS.js";
+} from "./chunk-JMOLB347.js";
 import {
   __toESM
 } from "./chunk-TV45EUGM.js";