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

package/dist/chunk-QY7RGTUP.js

@@ -0,0 +1,326 @@
+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 {
+  loadReadPlan,
+  saveReadPlan
+} from "./chunk-P76AW3PA.js";
+import {
+  FACT_RULES_HASH,
+  RULE_SETS,
+  factRulesFor,
+  factsReference,
+  ruleSetKinds,
+  rulesLacking,
+  rulesNow,
+  topUpWords
+} from "./chunk-GHSVJNVL.js";
+import {
+  fileKinds,
+  kindsOf,
+  lineRangeOf,
+  planBatches,
+  readingRank,
+  sameCommit
+} from "./chunk-MLAACAES.js";
+import {
+  DATA_RULE,
+  neutralise,
+  wrapData
+} from "./chunk-CQD26SMZ.js";
+import {
+  citedFiles,
+  factsDirOf,
+  factsRelOf,
+  parseFacts
+} from "./chunk-U25OX22K.js";
+import {
+  writeFileAtomic
+} from "./chunk-MMB2OHUY.js";
+
+// packages/cli/dist/map-rules.js
+import { readFile } from "node:fs/promises";
+import { join } from "node:path";
+var has = (a, b) => a.some((x) => b.includes(x));
+function applies(set, f) {
+  switch (set) {
+    case "field-types":
+    case "message-types":
+      return f.code ? f.rank === 2 || f.rank === 3 || f.cited.has("entry") || f.cited.has("call") || f.cited.has("field") : f.rank === 3 && f.kinds.includes("protocols");
+    case "mappings":
+      return f.kinds.includes("gateway");
+    case "terms":
+      return !f.code && has(f.kinds, ["config", "deploy", "gateway"]);
+    case "call-auth":
+      return f.code ? f.rank === 1 || f.rank === 3 || f.cited.has("call") : has(f.kinds, ["config", "gateway"]);
+  }
+}
+function topUpFiles(o) {
+  const whole = planBatches(o.source, {
+    room: Number.MAX_SAFE_INTEGER,
+    exclude: o.exclude,
+    ...o.conventions ? { conventions: o.conventions } : {}
+  });
+  const cites = /* @__PURE__ */ new Map();
+  for (const f of o.facts)
+    for (const p of citedFiles(f)) {
+      const k = cites.get(p) ?? /* @__PURE__ */ new Set();
+      k.add(f.kind);
+      cites.set(p, k);
+    }
+  const out = [];
+  for (const slice of whole.batches.flat()) {
+    const path = slice.path;
+    const rank = readingRank(path);
+    if (rank === 5)
+      continue;
+    const kinds = fileKinds(path);
+    const of = {
+      kinds,
+      rank,
+      code: kinds.includes("backend") || kinds.includes("frontend"),
+      cited: cites.get(path) ?? /* @__PURE__ */ new Set()
+    };
+    const sets = o.sets.filter((s) => has(kinds, ruleSetKinds(s)) && applies(s, of));
+    if (sets.length)
+      out.push({ path, tokens: slice.tokens, lines: slice.of, sets });
+  }
+  return out;
+}
+function ruleSetsOfFiles(files) {
+  const all = new Set(files.flatMap((f) => f.sets));
+  return RULE_SETS.filter((x) => all.has(x));
+}
+function topUpSessions(files, room) {
+  const reads = [];
+  for (const f of files) {
+    if (f.tokens <= room || f.lines <= 1) {
+      reads.push({ path: f.path, file: f.path, tokens: f.tokens, sets: f.sets });
+      continue;
+    }
+    const per = Math.max(1, Math.floor(f.lines * room / f.tokens));
+    for (let from = 1; from <= f.lines; from += per) {
+      const to = Math.min(f.lines, from + per - 1);
+      reads.push({
+        path: `${f.path}#L${from}-L${to}`,
+        file: f.path,
+        tokens: Math.ceil(f.tokens * (to - from + 1) / f.lines),
+        sets: f.sets
+      });
+    }
+  }
+  const sessions = [];
+  for (const r of reads) {
+    const last = sessions.at(-1);
+    if (last && last.tokens + r.tokens <= room) {
+      last.reads.push(r);
+      last.tokens += r.tokens;
+    } else
+      sessions.push({ reads: [r], tokens: r.tokens });
+  }
+  return sessions.map((s) => ({
+    paths: s.reads.map((r) => r.path),
+    sets: ruleSetsOfFiles(s.reads),
+    files: new Set(s.reads.map((r) => r.file)).size,
+    tokens: s.tokens
+  }));
+}
+var stamp = () => (/* @__PURE__ */ new Date()).toISOString().replace(/\.\d{3}Z$/, "Z");
+async function factsOf(root, repo) {
+  const text = await readFile(join(factsDirOf(root), `${repo}.jsonl`), "utf8").catch(() => "");
+  if (!text.trim())
+    return `${repo} isn't read yet: atticus map ${repo} reads it, under every rule.`;
+  const p = parseFacts(text);
+  return p.ok ? p.facts : `${factsRelOf(root)}/${repo}.jsonl does not read as facts (${p.issues[0]?.message ?? "?"}).`;
+}
+async function topUpOf(root, repo, o) {
+  const plan = await loadReadPlan(root, repo);
+  const lacking = rulesLacking(plan?.rules);
+  if (!lacking.length)
+    return { lacking, files: [], ...plan ? { plan } : {} };
+  const facts = o.facts?.length ? [...o.facts] : await factsOf(root, repo);
+  if (typeof facts === "string")
+    return { error: facts };
+  if (!facts.length)
+    return { error: `${repo} isn't read yet: atticus map ${repo} reads it.` };
+  if (!facts.every((f) => sameCommit(f.commit, o.commit)))
+    return {
+      error: `${repo}'s clone moved past its facts' commit: read what changed first (atticus map ${repo}), then top it up.`
+    };
+  const files = topUpFiles({
+    facts,
+    source: o.source,
+    exclude: o.exclude,
+    sets: lacking,
+    ...o.conventions ? { conventions: o.conventions } : {}
+  });
+  return { lacking, files, ...plan ? { plan } : {} };
+}
+var planOr = (plan, repo, commit, session) => plan ?? { schemaVersion: 2, repo, commit, session, plannedAt: stamp(), parts: [] };
+async function recordRulesNow(root, repo, commit) {
+  const plan = await loadReadPlan(root, repo);
+  const { topUp: _t, ...rest } = planOr(plan, repo, commit, 15e4);
+  if (plan?.rules?.hash === FACT_RULES_HASH && !plan.topUp)
+    return;
+  await saveReadPlan(root, { ...rest, rules: rulesNow() });
+}
+async function recordTopUpVerified(root, repo, o) {
+  const plan = await loadReadPlan(root, repo);
+  const t = plan?.topUp;
+  if (!plan || !t || !o.commit || !sameCommit(t.commit, o.commit))
+    return;
+  const given = t.sessions.filter((s) => s.given && !s.done);
+  if (!given.length)
+    return;
+  const at = o.now ?? stamp();
+  const sessions = t.sessions.map((s) => s.given && !s.done ? { ...s, done: { at, commit: o.commit } } : s);
+  if (sessions.every((s) => s.done)) {
+    const { topUp: _t, ...rest } = plan;
+    const sets = [.../* @__PURE__ */ new Set([...plan.rules?.sets ?? [], ...t.sets])];
+    await saveReadPlan(root, {
+      ...rest,
+      rules: t.hash === FACT_RULES_HASH ? rulesNow() : { hash: t.hash, sets }
+    });
+    return;
+  }
+  await saveReadPlan(root, { ...plan, topUp: { ...t, sessions } });
+}
+var rulesRelOf = (root, repo) => `${factsRelOf(root)}/${repo}.rules.md`;
+var sameSets = (a, b) => a.length === b.length && a.every((x) => b.includes(x));
+async function plannedTopUp(root, repo, o) {
+  const t = await topUpOf(root, repo, o);
+  if ("error" in t)
+    return t;
+  if (!t.lacking.length)
+    return { lacking: [], facts: [] };
+  const facts = await factsOf(root, repo);
+  if (typeof facts === "string")
+    return { error: facts };
+  const on = t.plan?.topUp;
+  if (on && sameCommit(on.commit, o.commit) && on.hash === FACT_RULES_HASH && sameSets(on.sets, t.lacking))
+    return { lacking: t.lacking, topUp: on, facts };
+  const topUp = {
+    commit: o.commit,
+    hash: FACT_RULES_HASH,
+    sets: t.lacking,
+    session: o.session,
+    plannedAt: stamp(),
+    sessions: topUpSessions(t.files, o.session)
+  };
+  if (!o.dryRun && topUp.sessions.length)
+    await saveReadPlan(root, { ...planOr(t.plan, repo, o.commit, o.session), topUp });
+  return { lacking: t.lacking, topUp, facts };
+}
+async function mapRules(root, repo, o, io) {
+  const p = await plannedTopUp(root, repo, o);
+  if ("error" in p) {
+    io.err(p.error);
+    return 2;
+  }
+  if (!p.lacking.length || !p.topUp) {
+    if (o.json)
+      io.out(JSON.stringify({ repo, commit: o.commit, sets: [], sessions: 0 }, null, 2));
+    else
+      io.out(`${repo} was read under the reading rules there are now: nothing to top up.`);
+    return 0;
+  }
+  const t = p.topUp;
+  if (!t.sessions.length) {
+    await recordRulesNow(root, repo, o.commit);
+    if (o.json)
+      io.out(JSON.stringify({ repo, commit: o.commit, sets: t.sets, sessions: 0 }, null, 2));
+    else
+      io.out(`No file of ${repo} is one the reading rules added since it was read apply to (${t.sets.join(", ")}): its read is recorded as under the rules there are now.`);
+    return 0;
+  }
+  const n = t.sessions.findIndex((s) => !s.done);
+  const next = t.sessions[n];
+  const sessions = t.sessions.map((s, i) => i === n ? { ...s, given: stamp() } : s);
+  const plan = await loadReadPlan(root, repo);
+  await saveReadPlan(root, { ...plan, topUp: { ...t, sessions } });
+  const rel = rulesRelOf(root, repo);
+  await writeFileAtomic(join(factsDirOf(root), `${repo}.rules.md`), rulesPrompt(repo, o.commit, {
+    rel: factsRelOf(root),
+    session: next,
+    n: n + 1,
+    of: t.sessions.length,
+    facts: p.facts,
+    notes: o.notes
+  }));
+  if (o.json) {
+    io.out(JSON.stringify({
+      repo,
+      commit: o.commit,
+      sets: t.sets,
+      session: n + 1,
+      sessions: t.sessions.length,
+      paths: next.paths,
+      tokens: next.tokens,
+      prompt: rel
+    }, null, 2));
+    return 0;
+  }
+  const files = new Set(t.sessions.flatMap((s) => s.paths.map((x) => lineRangeOf(x)?.file ?? x)));
+  const tokens = t.sessions.reduce((x, s) => x + s.tokens, 0);
+  io.out(`Top-up of ${repo} for the reading rules added since it was read (${t.sets.join(", ")}): ${files.size} ${files.size === 1 ? "file" : "files"}, about ${tokens.toLocaleString("en-US")} tokens, in ${t.sessions.length} ${t.sessions.length === 1 ? "session" : "sessions"} of ${o.session.toLocaleString("en-US")} at most.`);
+  io.out(`Wrote ${rel}: session ${n + 1} of ${t.sessions.length}, ${next.paths.length} ${next.paths.length === 1 ? "read" : "reads"} (${next.sets.join(", ")}), about ${next.tokens.toLocaleString("en-US")} tokens.`);
+  io.out(`Start a new chat, so the session holds only these files, and run /atticus-map ${repo} --rules there (or paste ${rel}). When atticus verify ${repo} passes after it, the session is done${t.sessions.length > n + 1 ? `; the next is for another new chat` : ` and the read records the rules there are now`}.`);
+  return 0;
+}
+var factLine = (f) => `- ${f.id} (${f.kind}, ${f.cite.file}:${f.cite.line})`;
+function rulesPrompt(repo, commit, c) {
+  const s = c.session;
+  const sets = s.sets;
+  const files = s.paths.map((x) => lineRangeOf(x)?.file ?? x);
+  const list = s.paths.map((x) => `- \`${x}\``).join("\n");
+  const kept = c.facts.filter((f) => citedFiles(f).some((p) => files.includes(p)));
+  const block = (id, kind, origin, text) => wrapData({ id, kind, origin }, neutralise(text, void 0, { mark: true }).text);
+  return [
+    `# Top-up of ${repo} at ${commit}`,
+    "",
+    `Session ${c.n} of ${c.of}, about ${s.tokens.toLocaleString("en-US")} tokens of source. ${topUpWords(sets)} 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, with \`commit\` ${commit}. A kept fact you add to is written again whole, under its id.`,
+    `- Then run \`atticus verify ${repo}\` and fix what it rejects until it exits 0: that records this session done${c.of > c.n ? `. The next session is for a new chat: \`/atticus-map ${repo} --rules\` there` : ", and the read as under the rules there are now"}.`,
+    "",
+    "## The rules",
+    "",
+    "Each fact has this shape:",
+    "",
+    factsReference(),
+    "",
+    factRulesFor(kindsOf(files), void 0, sets),
+    "",
+    "## Read",
+    "",
+    `The paths to open are in the data block below. ${DATA_RULE}`,
+    "",
+    block(`${repo}.rules`, "rules", `${c.rel}/${repo}.read-plan.yaml`, list),
+    "",
+    "## Facts already kept (by id; don't write them again)",
+    "",
+    kept.length ? block(`${repo}.kept`, "facts", `${c.rel}/${repo}.jsonl`, kept.map(factLine).join("\n")) : "None cite these files.",
+    ...c.notes ? [
+      "",
+      "## The organisation's notes for this repo",
+      "",
+      block(`${repo}.notes`, "notes", "org-pack", c.notes)
+    ] : [],
+    ""
+  ].join("\n");
+}
+
+export {
+  topUpFiles,
+  ruleSetsOfFiles,
+  topUpSessions,
+  topUpOf,
+  recordRulesNow,
+  recordTopUpVerified,
+  rulesRelOf,
+  plannedTopUp,
+  mapRules,
+  rulesPrompt
+};

package/dist/{chunk-XZJE6WIT.js → chunk-RA64IK43.js}

@@ -14,7 +14,7 @@ import {
   require_dist,
   runsDirOf,
   toCanonicalYaml
-} from "./chunk-JMOLB347.js";
+} from "./chunk-U25OX22K.js";
 import {
   __toESM
 } from "./chunk-TV45EUGM.js";

package/dist/{chunk-7HWXYP4H.js → chunk-RLJDYLID.js}

@@ -9,52 +9,52 @@ import {
   loadTask,
   openTaskWorktree,
   readChangeTasks
-} from "./chunk-EI4KQYJ3.js";
+} from "./chunk-7TH6I6TL.js";
 import {
   buildEngineFor
-} from "./chunk-6RGIM2ZH.js";
+} from "./chunk-GHSVJNVL.js";
 import {
   slug,
   writeGateRound
-} from "./chunk-PQW7PYUR.js";
+} from "./chunk-DGZXJO5I.js";
 import {
   conform,
   readConformDeltas,
   readTaskSteps,
   renderTaskContext,
   taskContext
-} from "./chunk-EV4TEFOD.js";
+} from "./chunk-DWYPYVPJ.js";
 import {
   readChangeFiles,
   readRound,
   roundsOf,
   writeQuarantineItems
-} from "./chunk-T6ESD5KM.js";
+} from "./chunk-GMDOXWIS.js";
 import {
   changeFolder,
   changeStore
-} from "./chunk-3LU6YCSQ.js";
+} from "./chunk-U5T4A2QV.js";
 import {
   AdapterError,
   createAdapters,
   fileStepStore,
   requireApproval
-} from "./chunk-CAN3EBE5.js";
+} from "./chunk-DW4BM73R.js";
 import {
   scanEstate
-} from "./chunk-IILZ7J3L.js";
+} from "./chunk-22GLUHGE.js";
 import {
   baseClonePath,
   createGit,
   toRepoRelative
-} from "./chunk-XZJE6WIT.js";
+} from "./chunk-RA64IK43.js";
 import {
   HandoffRuntime,
   buildContextPack,
   createRuntime,
   quarantineItems,
   toRunSummary
-} from "./chunk-BKFGGJKA.js";
+} from "./chunk-CQD26SMZ.js";
 import {
   AgentDefinition,
   ChecklistPack,
@@ -74,7 +74,7 @@ import {
   stateDirOf,
   taskBranch,
   toCanonicalYaml
-} from "./chunk-JMOLB347.js";
+} from "./chunk-U25OX22K.js";
 import {
   writeFileAtomic
 } from "./chunk-MMB2OHUY.js";

package/dist/{chunk-NELU7LSL.js → chunk-RMLUZYEA.js}

@@ -7,10 +7,10 @@ import {
   cliMarkdown,
   gradeDialect,
   kindsMarkdown
-} from "./chunk-XKJRPVJO.js";
+} from "./chunk-INCECZ2E.js";
 import {
   generateTests
-} from "./chunk-PQW7PYUR.js";
+} from "./chunk-DGZXJO5I.js";
 import {
   DEFAULT_DONE,
   DESIGN_FORMAT,
@@ -33,19 +33,19 @@ import {
   storySteps,
   unfence,
   writesField
-} from "./chunk-EV4TEFOD.js";
+} from "./chunk-DWYPYVPJ.js";
 import {
   DesignScreen
-} from "./chunk-6N2GUZMZ.js";
+} from "./chunk-ISXNWUG7.js";
 import {
   BUILT_IN_CHECKS,
   runCritic
-} from "./chunk-T6ESD5KM.js";
+} from "./chunk-GMDOXWIS.js";
 import {
   buildGlossary,
   proposeDefinitions,
   undefinedCodeTerms
-} from "./chunk-IILZ7J3L.js";
+} from "./chunk-22GLUHGE.js";
 import {
   askKnowledge,
   checkQuote,
@@ -60,16 +60,16 @@ import {
   termsOf,
   writeKnowledge,
   writeSnapshots
-} from "./chunk-TEBBD4XH.js";
+} from "./chunk-QR65C3DV.js";
 import {
   writeChangeRepos
-} from "./chunk-XZJE6WIT.js";
+} from "./chunk-RA64IK43.js";
 import {
   MockRuntime,
   ReplayRuntime,
   RuntimeError,
   buildContextPack
-} from "./chunk-BKFGGJKA.js";
+} from "./chunk-CQD26SMZ.js";
 import {
   AgentDefinition,
   KNOWLEDGE_KINDS,
@@ -84,7 +84,7 @@ import {
   require_dist,
   serializeRecord,
   stateDirOf
-} from "./chunk-JMOLB347.js";
+} from "./chunk-U25OX22K.js";
 import {
   __toESM
 } from "./chunk-TV45EUGM.js";

package/dist/chunk-RSVBX6A3.js

@@ -0,0 +1,54 @@
+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 {
+  completionOf,
+  handoffDone,
+  openspecCheck,
+  openspecSetup,
+  workspaceOpen,
+  workspacePrune,
+  workspaceSync
+} from "./chunk-KNGESBFW.js";
+import "./chunk-4VOG5H2K.js";
+import "./chunk-INCECZ2E.js";
+import "./chunk-7TH6I6TL.js";
+import "./chunk-GHSVJNVL.js";
+import "./chunk-ITJ7ST5E.js";
+import "./chunk-FSJMFPA3.js";
+import "./chunk-4HIQ2FTI.js";
+import "./chunk-EREL3TQG.js";
+import "./chunk-WEG7DY5K.js";
+import "./chunk-DGZXJO5I.js";
+import "./chunk-TA2ZNDYD.js";
+import "./chunk-DWYPYVPJ.js";
+import "./chunk-ISXNWUG7.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-MMB2OHUY.js";
+import "./chunk-TV45EUGM.js";
+export {
+  completionOf,
+  handoffDone,
+  openspecCheck,
+  openspecSetup,
+  workspaceOpen,
+  workspacePrune,
+  workspaceSync
+};

package/dist/{chunk-D7MWYJZF.js → chunk-RZWZO2JQ.js}

@@ -12,23 +12,22 @@ import {
   ruleLineOf,
   rulesCovering,
   taughtIn
-} from "./chunk-LS3WR2RF.js";
-import "./chunk-52WCHTVZ.js";
-import "./chunk-B3QOYE74.js";
-import "./chunk-LVBPY2M6.js";
-import "./chunk-ASKDCMW5.js";
-import "./chunk-LDIARP6F.js";
-import "./chunk-6RGIM2ZH.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";
+} from "./chunk-7TEQF64E.js";
+import "./chunk-ZS47PQ3O.js";
+import "./chunk-3CFBU2O6.js";
+import "./chunk-P76AW3PA.js";
+import "./chunk-7VNEDDCC.js";
+import "./chunk-GHSVJNVL.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-MMB2OHUY.js";
 import "./chunk-TV45EUGM.js";
 export {