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

package/dist/{chunk-ANFBBJEV.js → chunk-YPXBGNUV.js}

@@ -43,7 +43,6 @@ import {
   FEATURE_FILE,
   FEATURE_KNOWLEDGE,
   GAP_RULE,
-  GENERATED_MARK,
   GUESSED_LINK_RULE,
   HAND_BACKS,
   KEEP_BY_MEANING,
@@ -515,7 +514,7 @@ import {
   writeTargetFlows,
   writesField,
   yamlOf
-} from "./chunk-CSHJZFOE.js";
+} from "./chunk-DTW37FJ6.js";
 import {
   Backing,
   DeltaFields,
@@ -541,29 +540,32 @@ import {
   rerunOf,
   usesOf,
   waitingQuestions
-} from "./chunk-5A4RHEEL.js";
+} from "./chunk-INCFIDCB.js";
 import {
   MERGED_FLOWS
-} from "./chunk-VIQHZA53.js";
-import "./chunk-WH3ZFLXT.js";
-import "./chunk-UTZMF5CV.js";
-import "./chunk-6U65YB54.js";
-import "./chunk-SZDOBIWE.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";
-import "./chunk-XIJBQM45.js";
-import "./chunk-6ZDAEUKB.js";
-import "./chunk-MEMEO7YO.js";
-import "./chunk-LZFKJ2BR.js";
-import "./chunk-CTJHEG6A.js";
+} from "./chunk-LP6BFBE5.js";
+import {
+  GENERATED_MARK
+} from "./chunk-YBAJ5SAR.js";
+import "./chunk-23TTURB2.js";
+import "./chunk-6H62UHY5.js";
+import "./chunk-YIGSUTW2.js";
+import "./chunk-N5DLB74D.js";
+import "./chunk-4NPWOUI2.js";
+import "./chunk-I57IH5X6.js";
+import "./chunk-LCQIRCOT.js";
+import "./chunk-X5B7KYPD.js";
+import "./chunk-IPSZDVLI.js";
+import "./chunk-2MRYL45Z.js";
+import "./chunk-ELJ5Q4J2.js";
+import "./chunk-XZY4GTCX.js";
+import "./chunk-3M3MDBOG.js";
+import "./chunk-WJWSB65O.js";
+import "./chunk-SMFFUFMN.js";
+import "./chunk-A3LVMCA5.js";
+import "./chunk-NWMFVPEP.js";
 import "./chunk-BQGDB6ZL.js";
+import "./chunk-R4TUWD4C.js";
 import "./chunk-TV45EUGM.js";
 var export_yamlText = import_yaml.stringify;
 export {

package/dist/{chunk-MZXDSAKW.js → chunk-YRHKEXTP.js}

@@ -6,18 +6,18 @@ var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   acceptOrgPackDraft,
   draftOrgPack
-} from "./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";
-import "./chunk-6ZDAEUKB.js";
-import "./chunk-MEMEO7YO.js";
-import "./chunk-LZFKJ2BR.js";
-import "./chunk-CTJHEG6A.js";
+} from "./chunk-N5DLB74D.js";
+import "./chunk-IPSZDVLI.js";
+import "./chunk-2MRYL45Z.js";
+import "./chunk-ELJ5Q4J2.js";
+import "./chunk-XZY4GTCX.js";
+import "./chunk-3M3MDBOG.js";
+import "./chunk-WJWSB65O.js";
+import "./chunk-SMFFUFMN.js";
+import "./chunk-A3LVMCA5.js";
+import "./chunk-NWMFVPEP.js";
 import "./chunk-BQGDB6ZL.js";
+import "./chunk-R4TUWD4C.js";
 import "./chunk-TV45EUGM.js";
 
 // packages/cli/dist/orgpack-draft-commands.js

package/dist/{chunk-CPE7HLIK.js → chunk-YTPND655.js}

@@ -10,25 +10,26 @@ import {
   questionsCommand,
   sourcesAdd,
   sourcesSync
-} from "./chunk-VGGSHDQU.js";
-import "./chunk-F4EGHECF.js";
-import "./chunk-RQM5Y3HJ.js";
+} from "./chunk-TOSHT6NJ.js";
+import "./chunk-EM6DKBTJ.js";
+import "./chunk-4UVTNHA6.js";
 import "./chunk-VOGCSYOI.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";
-import "./chunk-XIJBQM45.js";
-import "./chunk-6ZDAEUKB.js";
-import "./chunk-MEMEO7YO.js";
-import "./chunk-LZFKJ2BR.js";
-import "./chunk-CTJHEG6A.js";
+import "./chunk-6H62UHY5.js";
+import "./chunk-YIGSUTW2.js";
+import "./chunk-N5DLB74D.js";
+import "./chunk-4NPWOUI2.js";
+import "./chunk-X5B7KYPD.js";
+import "./chunk-IPSZDVLI.js";
+import "./chunk-2MRYL45Z.js";
+import "./chunk-ELJ5Q4J2.js";
+import "./chunk-XZY4GTCX.js";
+import "./chunk-3M3MDBOG.js";
+import "./chunk-WJWSB65O.js";
+import "./chunk-SMFFUFMN.js";
+import "./chunk-A3LVMCA5.js";
+import "./chunk-NWMFVPEP.js";
 import "./chunk-BQGDB6ZL.js";
+import "./chunk-R4TUWD4C.js";
 import "./chunk-TV45EUGM.js";
 export {
   coverageCommand,

package/dist/{chunk-LTOBNBJ6.js → chunk-YZUOOTC3.js}

@@ -9,12 +9,12 @@ import {
 } from "./chunk-R6RY4Q5T.js";
 import {
   runDesignBench
-} from "./chunk-EQMNMG6X.js";
-import "./chunk-DJBXXYYA.js";
-import "./chunk-7JZONWAA.js";
-import "./chunk-7AEB74KW.js";
-import "./chunk-SAPX3PVK.js";
+} from "./chunk-MA73J3E6.js";
+import "./chunk-MNOZDE6W.js";
+import "./chunk-CPB4XMFI.js";
+import "./chunk-4BK5EJ2C.js";
 import "./chunk-MUWDB4R4.js";
+import "./chunk-23OQZY5Z.js";
 import {
   TARGET_DIR,
   architectureStage,
@@ -25,42 +25,43 @@ import {
   stageEnd,
   stageGate,
   storiesStage
-} from "./chunk-CSHJZFOE.js";
-import "./chunk-5A4RHEEL.js";
+} from "./chunk-DTW37FJ6.js";
+import "./chunk-INCFIDCB.js";
 import {
   gateStatus,
   ownerWaitsLine
-} from "./chunk-VIQHZA53.js";
+} from "./chunk-LP6BFBE5.js";
 import {
   changeFolder,
   loadChangeContext
-} from "./chunk-WH3ZFLXT.js";
-import "./chunk-UTZMF5CV.js";
-import "./chunk-6U65YB54.js";
-import "./chunk-SZDOBIWE.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";
+} from "./chunk-YBAJ5SAR.js";
+import "./chunk-23TTURB2.js";
+import "./chunk-6H62UHY5.js";
+import "./chunk-YIGSUTW2.js";
+import "./chunk-N5DLB74D.js";
+import "./chunk-4NPWOUI2.js";
+import "./chunk-I57IH5X6.js";
+import "./chunk-LCQIRCOT.js";
+import "./chunk-X5B7KYPD.js";
+import "./chunk-IPSZDVLI.js";
 import {
   RuntimeConfigError,
   runtimeForCli
-} from "./chunk-ZDA72732.js";
-import "./chunk-QA4O2GGC.js";
-import "./chunk-XIJBQM45.js";
+} from "./chunk-2MRYL45Z.js";
+import "./chunk-ELJ5Q4J2.js";
+import "./chunk-XZY4GTCX.js";
+import "./chunk-3M3MDBOG.js";
 import {
   changesRelOf,
   orgPackDirOf
-} from "./chunk-6ZDAEUKB.js";
-import "./chunk-MEMEO7YO.js";
+} from "./chunk-WJWSB65O.js";
+import "./chunk-SMFFUFMN.js";
 import {
   RecordId
-} from "./chunk-LZFKJ2BR.js";
-import "./chunk-CTJHEG6A.js";
+} from "./chunk-A3LVMCA5.js";
+import "./chunk-NWMFVPEP.js";
 import "./chunk-BQGDB6ZL.js";
+import "./chunk-R4TUWD4C.js";
 import "./chunk-TV45EUGM.js";
 
 // packages/cli/dist/stage-commands.js

package/dist/{chunk-F6GRBF5L.js → chunk-Z245SJ64.js}

@@ -39,32 +39,33 @@ import {
   sortStrings,
   undoesItem,
   writeEvidencePack
-} from "./chunk-DJBXXYYA.js";
-import "./chunk-7JZONWAA.js";
-import "./chunk-SAPX3PVK.js";
+} from "./chunk-MNOZDE6W.js";
+import "./chunk-4BK5EJ2C.js";
 import "./chunk-MUWDB4R4.js";
-import "./chunk-CSHJZFOE.js";
-import "./chunk-5A4RHEEL.js";
-import "./chunk-VIQHZA53.js";
-import "./chunk-WH3ZFLXT.js";
-import "./chunk-UTZMF5CV.js";
-import "./chunk-6U65YB54.js";
-import "./chunk-SZDOBIWE.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";
-import "./chunk-XIJBQM45.js";
-import "./chunk-6ZDAEUKB.js";
-import "./chunk-MEMEO7YO.js";
-import "./chunk-LZFKJ2BR.js";
-import "./chunk-CTJHEG6A.js";
+import "./chunk-23OQZY5Z.js";
+import "./chunk-DTW37FJ6.js";
+import "./chunk-INCFIDCB.js";
+import "./chunk-LP6BFBE5.js";
+import "./chunk-YBAJ5SAR.js";
+import "./chunk-23TTURB2.js";
+import "./chunk-6H62UHY5.js";
+import "./chunk-YIGSUTW2.js";
+import "./chunk-N5DLB74D.js";
+import "./chunk-4NPWOUI2.js";
+import "./chunk-I57IH5X6.js";
+import "./chunk-LCQIRCOT.js";
+import "./chunk-X5B7KYPD.js";
+import "./chunk-IPSZDVLI.js";
+import "./chunk-2MRYL45Z.js";
+import "./chunk-ELJ5Q4J2.js";
+import "./chunk-XZY4GTCX.js";
+import "./chunk-3M3MDBOG.js";
+import "./chunk-WJWSB65O.js";
+import "./chunk-SMFFUFMN.js";
+import "./chunk-A3LVMCA5.js";
+import "./chunk-NWMFVPEP.js";
 import "./chunk-BQGDB6ZL.js";
+import "./chunk-R4TUWD4C.js";
 import "./chunk-TV45EUGM.js";
 export {
   AUDIENCES,

package/dist/{chunk-NP3PG6OI.js → chunk-Z5CIRZNO.js}

@@ -5,60 +5,67 @@ var __atticusUrl = (p) => new URL("./" + p, import.meta.url).href;
 var __atticusPath = (p) => __atticusFileURLToPath(__atticusUrl(p));
 import {
   estateFreshness
-} from "./chunk-IL7PVMUO.js";
-import "./chunk-EUTZTJIO.js";
+} from "./chunk-FBG3QHOL.js";
+import "./chunk-4HMOOBIR.js";
 import {
   writeRepoSpecs
-} from "./chunk-RBO4A7TC.js";
-import "./chunk-ET7SPOBA.js";
-import {
-  linkEvidenceAbout,
-  linkEvidenceLines,
-  loadLinkEvidence,
-  writeRepoContracts
-} from "./chunk-BD7HBZLP.js";
+} from "./chunk-2WPUSHB6.js";
+import "./chunk-YHS7TSQS.js";
 import {
   repoTypeOf
-} from "./chunk-V5FT3MZG.js";
+} from "./chunk-UXETN43F.js";
 import {
   readPlanProgress
-} from "./chunk-P6DM2EFI.js";
+} from "./chunk-VVLWEM2Y.js";
 import {
   checkoutOf
-} from "./chunk-XDLMQL5A.js";
-import "./chunk-PBDIVTFL.js";
-import "./chunk-XI3GPYP4.js";
+} from "./chunk-QPAANKUR.js";
+import "./chunk-FADIWOA5.js";
+import "./chunk-44XGOSUU.js";
+import {
+  linkEvidenceAbout,
+  linkEvidenceLines,
+  repoContractsOf,
+  writeRepoContracts
+} from "./chunk-ELZGWEK4.js";
 import {
   diffLines
-} from "./chunk-EECFUQP3.js";
+} from "./chunk-XKWPEY4B.js";
 import {
   askHosts
-} from "./chunk-E5NHFHGC.js";
+} from "./chunk-FVT6LUOC.js";
 import "./chunk-3G4YI4ZU.js";
-import "./chunk-DPH4BS3F.js";
-import "./chunk-IBIIKUC7.js";
+import "./chunk-L3KSU4QU.js";
+import {
+  buildPlanOf,
+  pageChanged
+} from "./chunk-3XNE6XXF.js";
+import "./chunk-6GX3OFEZ.js";
+import "./chunk-G33UIUG3.js";
 import "./chunk-VOGCSYOI.js";
-import "./chunk-2SCZZQNQ.js";
-import "./chunk-VIQHZA53.js";
-import "./chunk-WH3ZFLXT.js";
-import "./chunk-UTZMF5CV.js";
-import "./chunk-6U65YB54.js";
-import "./chunk-SZDOBIWE.js";
+import "./chunk-LP6BFBE5.js";
+import "./chunk-YBAJ5SAR.js";
+import "./chunk-23TTURB2.js";
 import {
   TARGETS_STEP,
   answerReconfirmed,
   answerRuleOffers,
   answeredQuestionOfCall,
-  catalogWithFacts,
+  buildAndWrite,
+  buildCatalog,
+  buildLines,
   diffCatalogs,
   diffIsEmpty,
   estateFacts,
   estateRepos,
+  factsSnapshotWrites,
+  forgetKeptReads,
   groupedTargetDrafts,
   isJoinHostQuestion,
   isPrototypeRepo,
+  isTokenHost,
   joinHostQuestionDrafts,
-  pairsOfRepo,
+  loadBuildInputs,
   prototypeLeftOut,
   readCatalog,
   ruledTargets,
@@ -67,32 +74,36 @@ import {
   staleTargetQuestions,
   staleTopicQuestions,
   targetQuestionFor,
-  targetsFromAnswers,
   topicQuestionDrafts,
-  writeCatalog
-} from "./chunk-2HDNOUJU.js";
+  withSlotWrites
+} from "./chunk-6H62UHY5.js";
 import {
   codeLinkerFor,
   frameworkFacts,
   frameworkGaps,
   renderMap,
   trustOf
-} from "./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-MTIRNHRJ.js";
-import "./chunk-ZDA72732.js";
-import "./chunk-QA4O2GGC.js";
+} from "./chunk-YIGSUTW2.js";
+import "./chunk-N5DLB74D.js";
+import {
+  sourcesRelOf
+} from "./chunk-4NPWOUI2.js";
+import "./chunk-I57IH5X6.js";
+import "./chunk-LCQIRCOT.js";
 import {
   baseClonePath,
   isInPlace,
   loadRepos
-} from "./chunk-XIJBQM45.js";
+} from "./chunk-X5B7KYPD.js";
+import "./chunk-IPSZDVLI.js";
+import "./chunk-2MRYL45Z.js";
+import "./chunk-ELJ5Q4J2.js";
+import "./chunk-XZY4GTCX.js";
+import "./chunk-3M3MDBOG.js";
+import "./chunk-QK3UFHFC.js";
 import {
   CALL_SECURITY_CHECK,
+  ContractsFile,
   HOSTS_STEP,
   TERM_STEP,
   TOPICS_STEP_ID,
@@ -117,30 +128,31 @@ import {
   questionsRelOf,
   raiseQuestions,
   readRepoSpec,
-  readSharedMaps,
   removeFlow,
   reopenQuestion,
   retireQuestion,
+  sharedJoinAbout,
   specFileHash,
   specRelOf,
   termOfQuestion,
   termQuestionDrafts,
   writeFlow,
   writeSpecHeader
-} from "./chunk-6ZDAEUKB.js";
+} from "./chunk-WJWSB65O.js";
 import {
   LockHeldError,
   acquireLock,
   writeFileAtomic
-} from "./chunk-MEMEO7YO.js";
+} from "./chunk-SMFFUFMN.js";
 import {
   SPEC_HEADER_SCHEMA_VERSION,
   loadOrgPack
-} from "./chunk-LZFKJ2BR.js";
-import "./chunk-CTJHEG6A.js";
+} from "./chunk-A3LVMCA5.js";
+import "./chunk-NWMFVPEP.js";
 import {
   require_dist
 } from "./chunk-BQGDB6ZL.js";
+import "./chunk-R4TUWD4C.js";
 import {
   __toESM
 } from "./chunk-TV45EUGM.js";
@@ -478,49 +490,40 @@ async function projectFactsIntoCatalog(root, repo, facts, given = {}) {
   const op = given.op ?? await loadOrgPack(orgPackDirOf(root));
   const cacheOpts = given.cache === false ? {} : { cacheRoot: root };
   const existing = given.existing ?? (await readCatalog(join2(catalogDirOf(root), "generated"), cacheOpts)).records;
-  const curated = await readCatalog(join2(catalogDirOf(root), "curated"), cacheOpts);
   const everyTarget = (await listQuestions(root, { step: TARGETS_STEP })).questions;
   const answered = everyTarget.filter((q) => q.repo === repo);
   const repoType = estateRepos(op).find((r) => r.id === repo)?.type;
   const targetsOpts = repoType ? { repoType } : {};
-  const aiTargets = {};
-  const hostsAsked = (await listQuestions(root, { step: HOSTS_STEP })).questions;
-  const targets = targetsFromAnswers(repo, facts, [...everyTarget, ...hostsAsked], {
-    ...targetsOpts,
-    ai: aiTargets
-  });
   const ruled = ruledTargets(repo, facts, everyTarget, targetsOpts);
   const estate = await estateFacts(root, op, repo);
-  const onFile = await loadLinkEvidence(root);
-  const evidence = given.contracts ? {
-    ...onFile,
-    contracts: [
-      ...onFile.contracts.filter((c) => c.repo !== repo),
-      ...given.contracts.entries.length ? [given.contracts] : []
-      // In the companions' file order, as `loadLinkEvidence` reads them.
-    ].sort((a, b) => {
-      const [x, y] = [`${a.repo}.contracts.yaml`, `${b.repo}.contracts.yaml`];
-      return x < y ? -1 : x > y ? 1 : 0;
-    })
-  } : onFile;
-  const shared = await readSharedMaps(root);
-  const result = catalogWithFacts({
-    repo,
-    facts,
-    existing: [...existing],
-    op,
-    decisions: curated.records,
-    targets,
-    estate: estate.repos,
-    estateTargets: estate.targets,
-    // G1 (ADR 0174): the pairings people made on the canvas, this repo's and the others'.
-    pairs: { ...await pairsOfRepo(root, repo, facts), ...given.extraPairs },
-    estatePairs: estate.pairs,
-    aiTargets,
-    estateAiTargets: estate.aiTargets,
-    linkEvidence: { contracts: evidence.contracts, traffic: evidence.traffic },
-    ...shared.maps.length ? { shared: shared.maps } : {}
+  const contracts = given.contracts ?? await readContractsCompanion(root, repo) ?? null;
+  const snap = factsSnapshotWrites(root, repo, facts, {
+    commit: given.commit ?? snapshotCommitOf(facts),
+    contracts: contracts && contracts.entries.length ? contracts : null,
+    ...given.readComplete ? { readComplete: true } : {}
   });
+  const inputs = await loadBuildInputs(root, { op });
+  const build = await buildCatalog({
+    ...inputs,
+    slots: await withSlotWrites(root, inputs.slots, snap),
+    ...given.extraPairs ? { extraPairs: /* @__PURE__ */ new Map([[repo, given.extraPairs]]) } : {}
+  });
+  const mine = build.facts.get(repo);
+  const result = {
+    records: build.records,
+    flows: mine?.flows ?? [],
+    unresolved: mine?.unresolved ?? [],
+    curated: build.curated,
+    projectionIssues: mine?.projectionIssues ?? [],
+    invalid: build.invalid,
+    notes: build.notes,
+    ...mine ? { join: mine.join } : {},
+    ...build.linkEvidence ? { linkEvidence: build.linkEvidence } : {},
+    ...build.shared ? { shared: sharedJoinAbout(build.shared, repo) } : {},
+    ...build.terms ? { terms: build.terms } : {},
+    ...mine?.answerMisses.length ? { answerMisses: mine.answerMisses } : {}
+  };
+  const targets = mine?.targets ?? {};
   const diff = diffCatalogs([...existing], result.records);
   const links = linkChanges(repo, result.join, existing, result.records);
   return {
@@ -534,10 +537,27 @@ async function projectFactsIntoCatalog(root, repo, facts, given = {}) {
     result,
     diff,
     links,
-    evidenceProblems: [...evidence.problems, ...shared.problems.map((p) => p.message)],
-    sharedMaps: shared.maps
+    build,
+    snap,
+    evidenceProblems: build.problems.filter((p) => p.source === "build").map((p) => p.message),
+    sharedMaps: inputs.shared.maps
   };
 }
+function snapshotCommitOf(facts) {
+  const commits = [...new Set(facts.map((f) => f.commit))];
+  return commits.length === 1 ? commits[0] : "unknown";
+}
+async function readContractsCompanion(root, repo) {
+  const text = await readFile(join2(factsDirOf(root), `${repo}.contracts.yaml`), "utf8").catch(() => void 0);
+  if (text === void 0)
+    return void 0;
+  try {
+    const p = ContractsFile.safeParse((0, import_yaml.parse)(text));
+    return p.success ? p.data : void 0;
+  } catch {
+    return void 0;
+  }
+}
 async function writeFactsIntoCatalog(root, repo, facts, o, io) {
   let lock;
   try {
@@ -550,6 +570,7 @@ async function writeFactsIntoCatalog(root, repo, facts, o, io) {
     throw e;
   }
   try {
+    forgetKeptReads();
     const op = await loadOrgPack(orgPackDirOf(root));
     const generated = join2(catalogDirOf(root), "generated");
     const existing = await readCatalog(generated, { cacheRoot: root });
@@ -572,14 +593,50 @@ async function writeFactsIntoCatalog(root, repo, facts, o, io) {
       };
     }
     const rerun = `atticus verify ${repo} --write`;
-    await writeRepoContracts(root, repo, o.dir, facts, (n) => io.err(n));
-    await writeRepoSpecs(root, repo, o.dir, facts, (n) => io.err(n));
-    const { answered, everyTarget, targets, ruled, estate, result, diff, links, evidenceProblems, sharedMaps } = await projectFactsIntoCatalog(root, repo, facts, { op, existing: existing.records });
+    const contracts = await repoContractsOf(root, repo, o.dir, facts, (n) => io.err(n));
+    const snapshotCommit = o.commit ?? snapshotCommitOf(facts);
+    const { answered, everyTarget, targets, ruled, estate, result, diff, links, evidenceProblems, sharedMaps, build, snap } = await projectFactsIntoCatalog(root, repo, facts, {
+      op,
+      existing: existing.records,
+      contracts,
+      commit: snapshotCommit,
+      ...o.readComplete ? { readComplete: true } : {}
+    });
     for (const p of evidenceProblems)
       io.err(p);
     for (const i of result.invalid)
       io.err(`A merged record isn't valid C1 (a bug): ${i.issues.map((x) => `${x.path}: ${x.message}`).join("; ")}`);
-    const written = await writeCatalog(generated, result.records);
+    const built = await buildAndWrite(root, {
+      command: rerun,
+      build,
+      slots: snap,
+      ...o.allowRemovals !== void 0 ? { allowRemovals: o.allowRemovals } : {},
+      ...o.discardEdits !== void 0 ? { discardEdits: o.discardEdits } : {},
+      ...o.plan !== void 0 ? { expect: (listed) => buildPlanOf(listed) === o.plan } : {}
+    });
+    if (built.changed)
+      io.err(pageChanged("what the build would remove or discard"));
+    if (built.guard.refused || built.changed) {
+      if (built.guard.refused)
+        for (const l of buildLines(root, built))
+          io.err(l);
+      if (built.guard.refused)
+        o.onRefused?.(built);
+      return void 0;
+    }
+    await writeRepoContracts(root, repo, o.dir, facts, (n) => io.err(n));
+    await writeRepoSpecs(root, repo, o.dir, facts, (n) => io.err(n));
+    const w = built.write;
+    const snapshot = {
+      path: `${sourcesRelOf(root)}/facts/${repo}.jsonl`,
+      status: w.slots.some((x) => x.startsWith(`${sourcesRelOf(root)}/facts/${repo}.`)) ? "written" : "unchanged",
+      facts: facts.length,
+      commit: snapshotCommit
+    };
+    const written = { written: w.written, unchanged: w.unchanged, removed: w.removed };
+    for (const l of buildLines(root, built).filter((l2) => !l2.startsWith("slots: ")).slice(1))
+      if (o.verbose || w.removals.length)
+        io.out(l);
     const flows = result.flows.filter((f) => {
       const p = parseRecord(f);
       if (p.ok)
@@ -623,7 +680,8 @@ async function writeFactsIntoCatalog(root, repo, facts, o, io) {
     const named = new Set(facts.filter((f) => f.kind === "call" && f.to).map((f) => f.id));
     const raised = [...hosts.raised];
     const lines = [...hosts.lines];
-    const asked = new Set([...loose, ...ambiguous].filter((id) => targets[id] === void 0 && !answered.some((q) => q.state === "answered" && q.id === targetId(facts, repo, id))));
+    const tokenAsked = new Set((result.join?.asks ?? []).filter((a) => a.reason === "unknown-host" && a.call.repo === repo && !!a.host && isTokenHost(a.host)).map((a) => a.call.fact));
+    const asked = new Set([...loose, ...ambiguous].filter((id) => !tokenAsked.has(id) && targets[id] === void 0 && !answered.some((q) => q.state === "answered" && q.id === targetId(facts, repo, id))));
     const drafted = groupedTargetDrafts(facts, result.records, op, result.join?.asks, {
       ask: asked,
       split: splitTargetGroups(answered),
@@ -779,6 +837,7 @@ async function writeFactsIntoCatalog(root, repo, facts, o, io) {
         io.out(`    ${p}`);
     else if (!diffIsEmpty(diff) || flowPaths.length)
       io.out(`  atticus verify ${repo} --write --verbose lists each record and flow.`);
+    io.out(`  Facts snapshot: ${snapshot.path} ${snapshot.status} (${snapshot.facts} ${snapshot.facts === 1 ? "fact" : "facts"} at ${snapshot.commit.slice(0, 7)}).`);
     for (const p of result.curated.problems)
       io.out(`Curated decision ${p.decision} no longer applies: ${p.message}`);
     for (const p of result.projectionIssues)
@@ -809,7 +868,16 @@ async function writeFactsIntoCatalog(root, repo, facts, o, io) {
       questions: raised.map((q) => q.id),
       map: map ?? [],
       changes: { ...diff, byKind },
-      links
+      links,
+      snapshot,
+      // ADR 0195 point 4: what the build removed, each with what explains it.
+      removed: w.removals.map((x) => ({
+        kind: x.kind,
+        id: x.id,
+        repos: x.repos,
+        explainedBy: x.explainedBy,
+        reasons: x.reasons
+      }))
     };
   } finally {
     await lock.release();