@maycombhq/atticus 2.0.0-beta.22 → 2.0.0-beta.24

package/dist/{chunk-AJYXNTNZ.js → chunk-3XCCT2GR.js}

@@ -3,24 +3,24 @@ 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 {
-  HttpError,
-  badRequest,
-  notFound
-} from "./chunk-C3RY6KU6.js";
 import {
   appendLines
-} from "./chunk-S7FCV7S5.js";
+} from "./chunk-QOC3Q4UU.js";
 import {
   readCorrections
-} from "./chunk-2F4CYZKJ.js";
+} from "./chunk-GCMDDVIE.js";
+import {
+  HttpError,
+  badRequest,
+  notFound
+} from "./chunk-W4EG25TI.js";
 import {
   applyCorrections,
   correctedFact,
   correctionFor,
   outsidePairingFor,
   repairFormSlips
-} from "./chunk-CXJ6FUKN.js";
+} from "./chunk-HNPKCRCE.js";
 import {
   FACT_FIXED_FIELDS,
   FactCorrection,
@@ -31,13 +31,18 @@ import {
   factsRelOf,
   listQuestions,
   parseAuditFile,
+  parseCorrections,
   parseFactsLines,
   questionsDirOf,
   sampleConfirmed
-} from "./chunk-Q2TECDIT.js";
+} from "./chunk-GJVCBTSO.js";
+import {
+  withSharedFileLock,
+  writeFileAtomic
+} from "./chunk-G3ZFEHCX.js";
 
 // packages/cli/dist/ui-api-facts.js
-import { mkdir, readFile } from "node:fs/promises";
+import { mkdir, readFile, rm } from "node:fs/promises";
 
 // packages/cli/dist/file-memo.js
 import { readdir, stat } from "node:fs/promises";
@@ -127,6 +132,11 @@ function factLabel(f) {
     // ADR 0180: what a component is.
     case "component":
       return `${f.component ?? f.repo} is a ${f.type}`;
+    // ADR 0192: what a component's build publishes, and what it builds on.
+    case "artifact":
+      return `publishes ${f.group}:${f.name}${f.version ? `:${f.version}` : ""}`;
+    case "dependency":
+      return `builds on ${f.group}:${f.name}${f.version ? `:${f.version}` : ""}${f.scope && f.scope !== "compile" ? ` (${f.scope})` : ""}`;
   }
 }
 function claimOf(f) {
@@ -235,8 +245,48 @@ var repoOf = (v) => {
     throw badRequest(`${JSON.stringify(v)} isn't a repo name.`);
   return v;
 };
+function correctionOfRequest(f, req, user, at) {
+  const fact = f.facts.find((x) => x.id === req.fact);
+  if (!fact)
+    throw notFound(`${f.file} has no fact ${req.fact}.`);
+  const was = claimOf(fact);
+  const set = Object.fromEntries(Object.entries(req.set ?? {}).map(([k, v]) => [k, v.trim()]).filter(([k, v]) => was[k] !== v));
+  const line = req.line !== void 0 && req.line !== fact.cite.line ? req.line : void 0;
+  const c = FactCorrection.safeParse({
+    schemaVersion: 1,
+    fact: fact.id,
+    target: {
+      kind: fact.kind,
+      file: fact.cite.file,
+      line: fact.cite.line,
+      value: fact.cite.value
+    },
+    action: req.action,
+    ...req.action === "edit" && Object.keys(set).length ? { set } : {},
+    ...req.action === "edit" && line !== void 0 ? { line } : {},
+    ...req.reason ? { reason: req.reason } : {},
+    by: user,
+    at: at.toISOString()
+  });
+  if (!c.success)
+    throw new HttpError(422, "Atticus can't record that", c.error.issues.map((i) => i.message).join("; "));
+  if (c.data.action === "edit") {
+    const fixedFact = correctedFact(fact, c.data);
+    if (typeof fixedFact === "string")
+      throw new HttpError(422, "That isn't a fact", `The corrected ${fact.kind} isn't one: ${fixedFact}.`);
+  }
+  return { c: c.data, fact };
+}
+var saysOf = (c) => JSON.stringify([
+  c.action,
+  Object.entries(c.set ?? {}).sort(([a], [b]) => a < b ? -1 : a > b ? 1 : 0),
+  c.line ?? null,
+  c.reason ?? null
+]);
+var holdingAll = (files, work) => files.length ? withSharedFileLock(files[0], () => holdingAll(files.slice(1), work)) : work();
 function uiFactsRoutes(r, ctx, deps = {}) {
   const now = deps.now ?? (() => /* @__PURE__ */ new Date());
+  const write = deps.write ?? writeFileAtomic;
   return r.add("GET", "/api/facts/{repo}", async ({ params }) => ({
     status: 200,
     body: await repoFactsView(ctx.root, repoOf(params.repo))
@@ -245,7 +295,7 @@ function uiFactsRoutes(r, ctx, deps = {}) {
     const fact = query.get("fact") || void 0;
     if (fact && !FactId.safeParse(fact).success)
       throw badRequest(`${JSON.stringify(fact)} isn't a fact id.`);
-    const { verifyWritePreview } = await import("./chunk-XERYFDB5.js");
+    const { verifyWritePreview } = await import("./chunk-3XZRYQWU.js");
     const v = await verifyWritePreview(ctx.root, repo, fact ? { fact } : {});
     if (!v)
       throw notFound(`There are no facts for ${repo} at ${factsRelOf(ctx.root)}/${repo}.jsonl.`);
@@ -260,43 +310,15 @@ function uiFactsRoutes(r, ctx, deps = {}) {
     const f = await readFacts(ctx.root, repo);
     if (!f.present)
       throw notFound(`There are no facts for ${repo} at ${f.file}.`);
-    const fact = f.facts.find((x) => x.id === b.data.fact);
-    if (!fact)
-      throw notFound(`${f.file} has no fact ${b.data.fact}.`);
-    const was = claimOf(fact);
-    const set = Object.fromEntries(Object.entries(b.data.set ?? {}).map(([k, v]) => [k, v.trim()]).filter(([k, v]) => was[k] !== v));
-    const line = b.data.line !== void 0 && b.data.line !== fact.cite.line ? b.data.line : void 0;
-    const c = FactCorrection.safeParse({
-      schemaVersion: 1,
-      fact: fact.id,
-      target: {
-        kind: fact.kind,
-        file: fact.cite.file,
-        line: fact.cite.line,
-        value: fact.cite.value
-      },
-      action: b.data.action,
-      ...b.data.action === "edit" && Object.keys(set).length ? { set } : {},
-      ...b.data.action === "edit" && line !== void 0 ? { line } : {},
-      ...b.data.reason ? { reason: b.data.reason } : {},
-      by: ctx.user,
-      at: now().toISOString()
-    });
-    if (!c.success)
-      throw new HttpError(422, "Atticus can't record that", c.error.issues.map((i) => i.message).join("; "));
-    if (c.data.action === "edit") {
-      const fixedFact = correctedFact(fact, c.data);
-      if (typeof fixedFact === "string")
-        throw new HttpError(422, "That isn't a fact", `The corrected ${fact.kind} isn't one: ${fixedFact}.`);
-    }
+    const { c, fact } = correctionOfRequest(f, b.data, ctx.user, now());
     const rel = `${factsRelOf(ctx.root)}/${repo}.corrections.jsonl`;
-    const written = correctionLine(c.data);
+    const written = correctionLine(c);
     await mkdir(factsDirOf(ctx.root), { recursive: true });
     const cfile = join2(factsDirOf(ctx.root), `${repo}.corrections.jsonl`);
     await appendLines(cfile, [written]);
     ctx.events.publish({ type: "file.changed", path: rel });
     const result = {
-      correction: c.data,
+      correction: c,
       file: rel,
       commit: `git add ${rel}
 git commit -m "${repo}: a person's correction of ${fact.id}"`,
@@ -304,6 +326,109 @@ git commit -m "${repo}: a person's correction of ${fact.id}"`,
       line: written
     };
     return { status: 200, body: result };
+  }).add("POST", "/api/links/corrections", async ({ body }) => {
+    const b = api_exports.LinkCorrectionsRequest.safeParse(body ?? {});
+    if (!b.success)
+      throw badRequest("Say which calls and what is wrong: { items: [{ repo, fact, action, set }], reason }.", {
+        errors: b.error.issues.map((i) => ({ path: i.path.join("."), message: i.message }))
+      });
+    const at = now();
+    const byRepo = /* @__PURE__ */ new Map();
+    const read = /* @__PURE__ */ new Map();
+    for (const item of b.data.items) {
+      const repo = repoOf(item.repo);
+      let f = read.get(repo);
+      if (!f) {
+        f = await readFacts(ctx.root, repo);
+        read.set(repo, f);
+      }
+      if (!f.present)
+        throw notFound(`There are no facts for ${repo} at ${f.file}.`);
+      const reason = item.reason ?? b.data.reason;
+      const { c } = correctionOfRequest(f, {
+        fact: item.fact,
+        action: item.action,
+        ...item.set ? { set: item.set } : {},
+        ...reason ? { reason } : {}
+      }, ctx.user, at);
+      byRepo.set(repo, [...byRepo.get(repo) ?? [], c]);
+    }
+    await mkdir(factsDirOf(ctx.root), { recursive: true });
+    const repos = [...byRepo.keys()].sort((a, b2) => a < b2 ? -1 : a > b2 ? 1 : 0);
+    const fileOf = (repo) => join2(factsDirOf(ctx.root), `${repo}.corrections.jsonl`);
+    const relOf = (repo) => `${factsRelOf(ctx.root)}/${repo}.corrections.jsonl`;
+    const files = [];
+    const skipped = [];
+    await holdingAll(repos.map(fileOf), async () => {
+      const plan = [];
+      for (const repo of repos) {
+        const before = await readFile(fileOf(repo), "utf8").catch((e) => {
+          if (e.code === "ENOENT")
+            return void 0;
+          throw new HttpError(500, "Atticus wrote none of it", `${relOf(repo)} couldn't be read (${e instanceof Error ? e.message : String(e)}): nothing was written to any repo.`, { written: [] });
+        });
+        const newest = /* @__PURE__ */ new Map();
+        for (const c of parseCorrections(before ?? "").corrections)
+          newest.set(c.fact, saysOf(c));
+        const cs = [];
+        for (const c of byRepo.get(repo)) {
+          if (newest.get(c.fact) === saysOf(c)) {
+            if (!skipped.some((x) => x.repo === repo && x.fact === c.fact))
+              skipped.push({ repo, fact: c.fact });
+            continue;
+          }
+          newest.set(c.fact, saysOf(c));
+          cs.push(c);
+        }
+        if (!cs.length)
+          continue;
+        const was = before ?? "";
+        const eol = /\r\n/.test(was) ? "\r\n" : "\n";
+        const lead = was && !was.endsWith("\n") ? eol : "";
+        const lines = cs.map(correctionLine);
+        plan.push({
+          repo,
+          before,
+          after: was + lead + lines.map((l) => `${l}${eol}`).join(""),
+          cs
+        });
+      }
+      const done = [];
+      for (const x of plan) {
+        try {
+          await write(fileOf(x.repo), x.after);
+          done.push(x);
+        } catch (e) {
+          const why = e instanceof Error ? e.message : String(e);
+          const kept2 = [];
+          for (const y of [...done].reverse())
+            await (y.before === void 0 ? rm(fileOf(y.repo), { force: true }) : write(fileOf(y.repo), y.before)).catch(() => kept2.push(y));
+          const written = kept2.sort((a, b2) => a.repo < b2.repo ? -1 : 1).map((y) => ({ repo: y.repo, file: relOf(y.repo) }));
+          for (const w of written)
+            ctx.events.publish({ type: "file.changed", path: w.file });
+          throw new HttpError(500, written.length ? "Atticus wrote only part of it" : "Atticus wrote none of it", written.length ? `${relOf(x.repo)} couldn't be written (${why}), and ${written.map((w) => w.file).join(", ")} couldn't be put back as it was: the corrections for ${written.map((w) => w.repo).join(", ")} are on file, the others are not. Asked again, the ones on file are skipped.` : `${relOf(x.repo)} couldn't be written (${why}): nothing was written to any repo.`, { written });
+        }
+      }
+      for (const x of done)
+        files.push({
+          repo: x.repo,
+          file: relOf(x.repo),
+          lines: x.cs.map(correctionLine),
+          corrections: x.cs
+        });
+    });
+    for (const f of files)
+      ctx.events.publish({ type: "file.changed", path: f.file });
+    const n = files.reduce((k, f) => k + f.corrections.length, 0);
+    const result = {
+      files,
+      // Nothing new written (every one on file already): nothing to commit.
+      commit: files.length ? `git add ${files.map((f) => f.file).join(" ")}
+git commit -m "A person's correction of ${n} call${n === 1 ? "" : "s"} on one link"` : "",
+      verify: files.map((f) => `atticus verify ${f.repo}`),
+      ...skipped.length ? { skipped } : {}
+    };
+    return { status: 200, body: result };
   });
 }
 

package/dist/{chunk-XERYFDB5.js → chunk-3XZRYQWU.js}

@@ -6,53 +6,53 @@ var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   claimOf,
   factLabel
-} from "./chunk-AJYXNTNZ.js";
-import "./chunk-C3RY6KU6.js";
+} from "./chunk-3XCCT2GR.js";
 import {
   safeMessage
-} from "./chunk-S7FCV7S5.js";
+} from "./chunk-QOC3Q4UU.js";
 import {
   verifyInputsOf
-} from "./chunk-RGERPOIV.js";
-import "./chunk-OUBGGKDU.js";
-import "./chunk-XI2LCCYQ.js";
-import "./chunk-BPK5P77O.js";
-import "./chunk-WXFLMQSR.js";
-import "./chunk-TYQBFTBR.js";
-import {
-  checkoutOf
-} from "./chunk-2F4CYZKJ.js";
-import "./chunk-LO6P2VYG.js";
+} from "./chunk-4DCIUKIE.js";
+import "./chunk-EHXDB3SA.js";
+import "./chunk-HGDBM3A5.js";
+import "./chunk-HXFZX2BI.js";
+import "./chunk-5Z7L2TSR.js";
 import {
   repoContractsOf
-} from "./chunk-ZQ3ON2VQ.js";
-import "./chunk-ISUAAMGS.js";
-import "./chunk-BEVTIBRH.js";
-import "./chunk-S4PMJU6H.js";
-import "./chunk-IDKCWSM5.js";
-import "./chunk-UUU4CLJG.js";
-import "./chunk-7IGKHZ4Z.js";
-import "./chunk-J2JAKCIW.js";
-import "./chunk-745DAZ4L.js";
+} from "./chunk-OYTSRNSZ.js";
+import "./chunk-DCRZ3OQ7.js";
+import "./chunk-LKUTBQ2Y.js";
+import {
+  checkoutOf
+} from "./chunk-GCMDDVIE.js";
+import "./chunk-HWNFFCGB.js";
+import "./chunk-J4K4C4T5.js";
+import "./chunk-W4EG25TI.js";
+import "./chunk-A6ZG3UOS.js";
+import "./chunk-U2JTTRKS.js";
+import "./chunk-5MKV4TV6.js";
+import "./chunk-ESJALLOK.js";
+import "./chunk-MCE74XMF.js";
+import "./chunk-25CUJJTP.js";
 import {
   dirSource,
   repairFormSlips,
   verifyFacts
-} from "./chunk-CXJ6FUKN.js";
-import "./chunk-QKUJMING.js";
-import "./chunk-6ZGLAACW.js";
-import "./chunk-CQDGOPGH.js";
-import "./chunk-3NFFJL5D.js";
-import "./chunk-UPS2DGFC.js";
-import "./chunk-PKBHS4AA.js";
-import "./chunk-P32RUW3B.js";
+} from "./chunk-HNPKCRCE.js";
+import "./chunk-CZ75S2EZ.js";
+import "./chunk-GFYVVTKH.js";
+import "./chunk-DIYNRYXW.js";
+import "./chunk-5FPAKAGE.js";
+import "./chunk-IJQHBK76.js";
+import "./chunk-FL53R4SW.js";
+import "./chunk-MOWUP33K.js";
 import "./chunk-QA4O2GGC.js";
+import "./chunk-OSZTENIA.js";
 import {
   factsDirOf,
   factsRelOf,
   headFromFiles,
   layoutOf,
-  loadOrgPack,
   mapDirOf,
   mapRelOf,
   orgPackDirOf,
@@ -62,8 +62,12 @@ import {
   recordPath,
   specRelOf,
   stackHelpersOff
-} from "./chunk-Q2TECDIT.js";
-import "./chunk-TUULXQRW.js";
+} from "./chunk-GJVCBTSO.js";
+import "./chunk-G3ZFEHCX.js";
+import {
+  loadOrgPack
+} from "./chunk-QFDPX6C4.js";
+import "./chunk-CTJHEG6A.js";
 import {
   require_dist
 } from "./chunk-BQGDB6ZL.js";
@@ -207,7 +211,7 @@ async function verifyWritePreview(root, repo, o = {}) {
       }
     };
   }
-  const { projectFactsIntoCatalog } = await import("./chunk-Y2EQNWKV.js");
+  const { projectFactsIntoCatalog } = await import("./chunk-BTS56NV7.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-FUJM6RTF.js → chunk-432FGEVB.js}

@@ -5,13 +5,15 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   conformanceCommand
-} from "./chunk-J3IOLXWM.js";
-import "./chunk-6OJQOPUN.js";
-import "./chunk-7IGKHZ4Z.js";
-import "./chunk-CQDGOPGH.js";
-import "./chunk-3NFFJL5D.js";
-import "./chunk-Q2TECDIT.js";
-import "./chunk-TUULXQRW.js";
+} from "./chunk-TXYMNKGM.js";
+import "./chunk-QXXEO4TF.js";
+import "./chunk-ESJALLOK.js";
+import "./chunk-5FPAKAGE.js";
+import "./chunk-IJQHBK76.js";
+import "./chunk-GJVCBTSO.js";
+import "./chunk-G3ZFEHCX.js";
+import "./chunk-QFDPX6C4.js";
+import "./chunk-CTJHEG6A.js";
 import "./chunk-BQGDB6ZL.js";
 import "./chunk-TV45EUGM.js";
 export {

package/dist/{chunk-SFUP7TTO.js → chunk-44QUCNPH.js}

@@ -8,24 +8,26 @@ import {
 } from "./chunk-VOGCSYOI.js";
 import {
   readCatalog
-} from "./chunk-J2JAKCIW.js";
+} from "./chunk-25CUJJTP.js";
 import {
   TriageError,
   buildTriage,
   classify,
   scanInputs
-} from "./chunk-QKUJMING.js";
+} from "./chunk-GFYVVTKH.js";
 import {
   readDrawio,
   reconcile
-} from "./chunk-6ZGLAACW.js";
+} from "./chunk-DIYNRYXW.js";
 import {
   inputsDirOf,
-  loadOrgPack,
   orgPackDirOf,
   recordPath,
   serializeRecord
-} from "./chunk-Q2TECDIT.js";
+} from "./chunk-GJVCBTSO.js";
+import {
+  loadOrgPack
+} from "./chunk-QFDPX6C4.js";
 
 // packages/cli/dist/intake-commands.js
 import { createHash } from "node:crypto";

package/dist/{chunk-O5PXQR67.js → chunk-4CS3PMIM.js}

@@ -5,33 +5,35 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   repoFor
-} from "./chunk-LO6P2VYG.js";
+} from "./chunk-HWNFFCGB.js";
 import {
   draftRepoType,
   matchRepoType
-} from "./chunk-J2JAKCIW.js";
+} from "./chunk-25CUJJTP.js";
 import {
   fsRepo
-} from "./chunk-3NFFJL5D.js";
+} from "./chunk-IJQHBK76.js";
 import {
-  CONVENTIONS_SCHEMA_VERSION,
-  ChecklistPack,
-  Conventions,
-  OrgNote,
-  REPO_TYPE_SCHEMA_VERSION,
-  REVIEW_SCHEMA_VERSION,
   RULE_WORDS,
-  RecordId,
-  RepoType,
   TERM_STEP,
-  loadOrgPack,
   noteKey,
   noteRuleDrafts,
   notesFor,
   orgPackDirOf,
   termAnswerNote,
   termOfQuestion
-} from "./chunk-Q2TECDIT.js";
+} from "./chunk-GJVCBTSO.js";
+import {
+  CONVENTIONS_SCHEMA_VERSION,
+  ChecklistPack,
+  Conventions,
+  OrgNote,
+  REPO_TYPE_SCHEMA_VERSION,
+  REVIEW_SCHEMA_VERSION,
+  RecordId,
+  RepoType,
+  loadOrgPack
+} from "./chunk-QFDPX6C4.js";
 import {
   require_dist
 } from "./chunk-BQGDB6ZL.js";

package/dist/{chunk-RGERPOIV.js → chunk-4DCIUKIE.js}

@@ -3,20 +3,23 @@ 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 {
+  noCheckoutLine
+} from "./chunk-EHXDB3SA.js";
 import {
   componentTypeIds,
   componentTypesAt
-} from "./chunk-OUBGGKDU.js";
+} from "./chunk-HGDBM3A5.js";
 import {
   recordTopUpVerified
-} from "./chunk-XI2LCCYQ.js";
+} from "./chunk-HXFZX2BI.js";
 import {
   notesAt
-} from "./chunk-WXFLMQSR.js";
+} from "./chunk-DCRZ3OQ7.js";
 import {
   loadReadPlan,
   recordReadProgress
-} from "./chunk-TYQBFTBR.js";
+} from "./chunk-LKUTBQ2Y.js";
 import {
   carryOf,
   checkoutOf,
@@ -30,27 +33,29 @@ import {
   reviewedProblemsOf,
   slipNoteLines,
   writeVerifyFiles
-} from "./chunk-2F4CYZKJ.js";
+} from "./chunk-GCMDDVIE.js";
 import {
   dirSource,
   frameworkFacts,
   frameworksToLearn,
   repairFormSlips,
   verifyFacts
-} from "./chunk-CXJ6FUKN.js";
+} from "./chunk-HNPKCRCE.js";
 import {
   NoRoomError,
   roomGuard,
   streamFacts
-} from "./chunk-UPS2DGFC.js";
+} from "./chunk-FL53R4SW.js";
 import {
   factsDirOf,
   factsRelOf,
   listQuestions,
-  loadOrgPack,
   orgPackDirOf,
   stackHelpersOff
-} from "./chunk-Q2TECDIT.js";
+} from "./chunk-GJVCBTSO.js";
+import {
+  loadOrgPack
+} from "./chunk-QFDPX6C4.js";
 
 // packages/cli/dist/verify-commands.js
 import { existsSync } from "node:fs";
@@ -148,7 +153,7 @@ async function verifyCommand(root, repo, o, io) {
   }
   const dir = await checkoutOf(root, repo, o.dir);
   if (!dir) {
-    io.err(`No checkout of ${repo}: clone it (atticus workspace sync) or give its folder with --dir.`);
+    io.err(noCheckoutLine(repo));
     return 2;
   }
   const commit = o.commit ?? await headOf(dir);
@@ -232,7 +237,7 @@ async function verifyCommand(root, repo, o, io) {
   if (o.json) {
     let written2;
     if (o.write && !failed) {
-      const { writeFactsIntoCatalog: writeFactsIntoCatalog2 } = await import("./chunk-Y2EQNWKV.js");
+      const { writeFactsIntoCatalog: writeFactsIntoCatalog2 } = await import("./chunk-BTS56NV7.js");
       written2 = await writeFactsIntoCatalog2(root, repo, report.accepted, { dir, command: `atticus verify ${repo} --write` }, { ...io, out: () => void 0 });
       if (!written2)
         return 1;
@@ -367,6 +372,11 @@ async function verifyCommand(root, repo, o, io) {
     io.out(`${gaps.length} ${gaps.length === 1 ? "framework" : "frameworks"} this repo declares ${gaps.length === 1 ? "shows" : "show"} none of its patterns in the facts (a question for a person, not a rejection; under frameworkGaps in ${verifyYaml}):`);
     show(gaps.map((g) => g.question), `(frameworkGaps in ${verifyYaml})`);
   }
+  const unrecorded = report.buildUnrecorded ?? [];
+  if (unrecorded.length) {
+    io.out(`${unrecorded.length} ${unrecorded.length === 1 ? "coordinate or dependency" : "coordinates and dependencies"} a build file read writes ${unrecorded.length === 1 ? "has" : "have"} no fact (a note, not a rejection; under buildUnrecorded in ${verifyYaml}): record each as an artifact or dependency fact, so a library of the estate's own is drawn as what its services build on:`);
+    show(unrecorded.map((u) => `${u.kind} ${u.coordinates} (${u.cite})`), `(buildUnrecorded in ${verifyYaml})`);
+  }
   const learn = off.has("framework-models") ? [] : frameworksToLearn(report.accepted, await frameworksKnownTo(root), (await conventionsAt(root)).frameworks);
   if (learn.length) {
     io.out(`${learn.length} ${learn.length === 1 ? "framework" : "frameworks"} of the house nothing here can read yet: teach ${learn.length === 1 ? "it" : "them"} once, rather than having each repo's annotations read as ordinary code.`);
@@ -381,7 +391,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-Y2EQNWKV.js");
+  const { writeFactsIntoCatalog } = await import("./chunk-BTS56NV7.js");
   const written = await writeFactsIntoCatalog(root, repo, report.accepted, { dir, command: `atticus verify ${repo} --write`, verbose: o.verbose === true }, io);
   return written ? 0 : 1;
 }

package/dist/{chunk-RLDGWLQ7.js → chunk-4DX4DIND.js}

@@ -62,14 +62,16 @@ import {
   specEndpointIds,
   specFormatOf,
   vendorImpact
-} from "./chunk-QKUJMING.js";
-import "./chunk-6ZGLAACW.js";
-import "./chunk-CQDGOPGH.js";
-import "./chunk-3NFFJL5D.js";
-import "./chunk-P32RUW3B.js";
+} from "./chunk-GFYVVTKH.js";
+import "./chunk-DIYNRYXW.js";
+import "./chunk-5FPAKAGE.js";
+import "./chunk-IJQHBK76.js";
+import "./chunk-MOWUP33K.js";
 import "./chunk-QA4O2GGC.js";
-import "./chunk-Q2TECDIT.js";
-import "./chunk-TUULXQRW.js";
+import "./chunk-GJVCBTSO.js";
+import "./chunk-G3ZFEHCX.js";
+import "./chunk-QFDPX6C4.js";
+import "./chunk-CTJHEG6A.js";
 import "./chunk-BQGDB6ZL.js";
 import "./chunk-TV45EUGM.js";
 export {