fullstackgtm 0.25.2 → 0.26.0

package/dist/marketTaxonomy.js

@@ -0,0 +1,193 @@
+import { DEFAULT_MODELS, forcedToolCall, } from "./llm.js";
+import { captureMarket, loadCaptureTexts, } from "./market.js";
+const DEFAULT_MAX_CLAIMS = 16;
+const DEFAULT_PER_VENDOR_CHARS = 6_000;
+/** Stable, human-readable id from a string (claim capability or host). */
+function slugify(value, maxWords = 6) {
+    const slug = value
+        .toLowerCase()
+        .replace(/[^a-z0-9]+/g, "-")
+        .replace(/^-+|-+$/g, "")
+        .split("-")
+        .filter(Boolean)
+        .slice(0, maxWords)
+        .join("-");
+    return slug || "item";
+}
+/** Second-level domain as a vendor id seed: https://www.stripe.com/ -> stripe. */
+function vendorIdFromUrl(url) {
+    let host;
+    try {
+        host = new URL(url).hostname;
+    }
+    catch {
+        return slugify(url);
+    }
+    const labels = host.replace(/^www\./, "").split(".");
+    const sld = labels.length >= 2 ? labels[labels.length - 2] : labels[0];
+    return slugify(sld || host);
+}
+/** Disambiguate repeated ids by suffixing -2, -3, … */
+function uniqueId(base, taken) {
+    if (!taken.has(base)) {
+        taken.add(base);
+        return base;
+    }
+    for (let n = 2;; n += 1) {
+        const candidate = `${base}-${n}`;
+        if (!taken.has(candidate)) {
+            taken.add(candidate);
+            return candidate;
+        }
+    }
+}
+function provisionalVendors(seeds) {
+    const taken = new Set();
+    return seeds.map((seed) => {
+        const id = uniqueId(vendorIdFromUrl(seed.url), taken);
+        const host = (() => {
+            try {
+                return new URL(seed.url).hostname.replace(/^www\./, "");
+            }
+            catch {
+                return seed.url;
+            }
+        })();
+        return {
+            id,
+            name: seed.name?.trim() || host,
+            urls: { home: seed.url, pricing: null, product: [] },
+        };
+    });
+}
+const TAXONOMY_SCHEMA = {
+    type: "object",
+    required: ["claims"],
+    properties: {
+        surfaceRule: {
+            type: "string",
+            description: "One sentence stating how a reader judges LOUD vs QUIET vs ABSENT for this category (e.g. hero/top-nav = LOUD, deeper pages = QUIET, nowhere = ABSENT).",
+        },
+        claims: {
+            type: "array",
+            description: "The distinct capability positions vendors in this category compete on. 8-16 of them. Only include claims you can actually see evidence for on the supplied pages.",
+            items: {
+                type: "object",
+                required: ["capability", "icp", "pricingStructure", "definition"],
+                properties: {
+                    capability: {
+                        type: "string",
+                        description: "What is being claimed, precise enough to judge loud/quiet/absent. Max ~10 words.",
+                    },
+                    icp: { type: "string", description: "Which buyer/ICP this claim cell addresses (category vocabulary)." },
+                    pricingStructure: {
+                        type: "string",
+                        description: "Which pricing structure the claim implies (e.g. per-seat, usage-based, flat, free-tier).",
+                    },
+                    definition: {
+                        type: "string",
+                        description: "Operational definition a human (or classifier) uses to score any vendor's page LOUD/QUIET/ABSENT on this claim.",
+                    },
+                    terms: {
+                        type: "array",
+                        items: { type: "string" },
+                        description: "Exact buyer phrasings for this claim, for deterministic mention matching. 2-5 terms.",
+                    },
+                },
+            },
+        },
+        vendors: {
+            type: "array",
+            description: "Optional refinements: a clean display name per seed URL, and a pricing-page URL if one is clearly linked.",
+            items: {
+                type: "object",
+                required: ["seedUrl"],
+                properties: {
+                    seedUrl: { type: "string" },
+                    name: { type: "string" },
+                    pricingUrl: { type: ["string", "null"] },
+                },
+            },
+        },
+    },
+};
+function buildDossier(vendors, capture, perVendorChars) {
+    const { entries, textByHash } = capture;
+    const unreadable = [];
+    const blocks = [];
+    for (const vendor of vendors) {
+        const hash = entries.find((e) => e.vendorId === vendor.id && e.captureHash)?.captureHash ?? null;
+        const text = hash ? textByHash.get(hash) ?? "" : "";
+        if (!text.trim()) {
+            unreadable.push(vendor.id);
+            continue;
+        }
+        blocks.push(`### ${vendor.name} (${vendor.urls.home})\n${text.slice(0, perVendorChars)}`);
+    }
+    return { dossier: blocks.join("\n\n"), unreadable };
+}
+const INSTRUCTIONS = `You are seeding a competitive "market map" for a category. A market map breaks the category into CLAIMS — the distinct capability positions vendors compete on — so each (vendor x claim) cell can later be scored LOUD / QUIET / ABSENT from that vendor's pages.
+
+Propose the claim taxonomy for this category from the competitor homepages below. Rules:
+- Ground every claim in what is actually visible on the supplied pages. Do not invent positions no vendor mentions.
+- Each claim is a cell: a precise capability, the ICP it targets, and the pricing structure it implies.
+- Write each definition so a reader could judge ANY vendor's page LOUD/QUIET/ABSENT against it.
+- Aim for the 8-16 claims that genuinely differentiate vendors. Prefer specific, contested positions over generic table stakes.
+- Provide 2-5 verbatim buyer terms per claim for later mention matching.
+- Optionally return a cleaned display name and a pricing-page URL per seed vendor when evident.`;
+export async function suggestMarketConfig(options) {
+    const { category } = options;
+    if (options.vendors.length === 0)
+        throw new Error("suggestMarketConfig requires at least one seed vendor");
+    const maxClaims = options.maxClaims ?? DEFAULT_MAX_CLAIMS;
+    const perVendorChars = options.perVendorChars ?? DEFAULT_PER_VENDOR_CHARS;
+    const model = options.llm.model ?? DEFAULT_MODELS[options.llm.provider];
+    const vendors = provisionalVendors(options.vendors);
+    const anchorSeed = options.vendors.find((seed) => seed.anchor);
+    const anchorId = anchorSeed ? vendors[options.vendors.indexOf(anchorSeed)]?.id : undefined;
+    // Capture the seed homepages so the proposer only sees text we actually
+    // fetched (the SSRF guard in captureMarket applies to these user-supplied URLs).
+    await captureMarket({ category, vendors, claims: [] }, { dir: options.capturesDir, runLabel: "bootstrap", fetchPage: options.fetchPage, now: options.now });
+    const capture = loadCaptureTexts(category, options.capturesDir);
+    const { dossier, unreadable } = buildDossier(vendors, capture, perVendorChars);
+    if (!dossier.trim()) {
+        throw new Error(`market init --auto: none of the ${vendors.length} seed pages returned readable text — check the URLs are public homepages.`);
+    }
+    const prompt = `${INSTRUCTIONS}\n\nCategory: ${category}\n\nCompetitor homepages:\n${dossier}`;
+    const result = (await forcedToolCall(prompt, "propose_market_taxonomy", TAXONOMY_SCHEMA, model, options.llm));
+    const takenClaimIds = new Set();
+    const claims = (result.claims ?? [])
+        .filter((claim) => claim?.capability && claim?.definition)
+        .slice(0, maxClaims)
+        .map((claim) => ({
+        id: uniqueId(slugify(claim.capability), takenClaimIds),
+        capability: claim.capability.trim(),
+        icp: (claim.icp ?? "").trim() || "general",
+        pricingStructure: (claim.pricingStructure ?? "").trim() || "unspecified",
+        definition: claim.definition.trim(),
+        ...(claim.terms?.length ? { terms: claim.terms.map((t) => t.trim()).filter(Boolean) } : {}),
+    }));
+    if (claims.length === 0) {
+        throw new Error("market init --auto: the model proposed no usable claims — try again or seed the taxonomy by hand.");
+    }
+    // Apply optional vendor refinements (display name + pricing URL), matched by seed URL.
+    const refinementByUrl = new Map((result.vendors ?? []).map((v) => [v.seedUrl, v]));
+    const refinedVendors = vendors.map((vendor) => {
+        const refinement = refinementByUrl.get(vendor.urls.home);
+        const pricing = refinement?.pricingUrl && /^https?:\/\//i.test(refinement.pricingUrl) ? refinement.pricingUrl : vendor.urls.pricing;
+        return {
+            ...vendor,
+            name: refinement?.name?.trim() || vendor.name,
+            urls: { ...vendor.urls, pricing },
+        };
+    });
+    const config = {
+        category,
+        ...(anchorId ? { anchorVendor: anchorId } : {}),
+        vendors: refinedVendors,
+        claims,
+        surfaceRule: result.surfaceRule?.trim() ||
+            "LOUD = hero copy OR top-level-nav named product with a dedicated page; QUIET = present on any indexed page below that; ABSENT = nowhere observed; UNOBSERVABLE = capture empty/failed — never score ABSENT from a failed capture.",
+    };
+    return { config, unreadableVendorIds: unreadable, model };
+}

package/dist/planStore.d.ts

@@ -11,6 +11,12 @@ export type StoredPlan = {
     status: ApprovalStatus;
     approvedOperationIds: string[];
     valueOverrides: Record<string, unknown>;
+    /**
+     * HMAC of each approved operation's content at approval time (see
+     * integrity.ts). Apply re-verifies these so a post-approval edit to the plan
+     * file is caught instead of written. Absent on plans approved before 0.26.0.
+     */
+    approvalDigests?: Record<string, string>;
     runs: PatchPlanRun[];
     createdAt: string;
     updatedAt: string;

package/dist/planStore.js

@@ -1,6 +1,7 @@
 import { chmodSync, mkdirSync, readdirSync, readFileSync } from "node:fs";
 import { join } from "node:path";
 import { credentialsDir, ensureSecureHomeDir, writeSecureFile } from "./credentials.js";
+import { computeApprovalDigests, loadOrCreateSigningKey } from "./integrity.js";
 /**
  * Plans as JSON files in a directory (default `$FSGTM_HOME/plans`), one file
  * per plan id. Filesystem-shaped on purpose: greppable, diffable, and any
@@ -90,11 +91,18 @@ export function createFilePlanStore(directory) {
                     throw new Error(`Plan ${planId} has no operation ${operationId}.`);
                 }
             }
+            const approvedOperationIds = Array.from(new Set([...stored.approvedOperationIds, ...operationIds]));
+            const mergedOverrides = { ...stored.valueOverrides, ...valueOverrides };
+            // Bind the approval to the operation content so apply can detect a
+            // post-approval edit. Recompute over ALL approved ops (a later approve
+            // call may add overrides that change an earlier op's resolved value).
+            const approvalDigests = computeApprovalDigests(stored.plan.operations, approvedOperationIds, mergedOverrides, loadOrCreateSigningKey());
             return write({
                 ...stored,
                 status: "approved",
-                approvedOperationIds: Array.from(new Set([...stored.approvedOperationIds, ...operationIds])),
-                valueOverrides: { ...stored.valueOverrides, ...valueOverrides },
+                approvedOperationIds,
+                valueOverrides: mergedOverrides,
+                approvalDigests,
             });
         },
         async reject(planId) {

package/dist/schedule.js

@@ -61,6 +61,10 @@ export function validateSchedulableArgv(argv) {
             throw new Error("A scheduled apply cannot take --plan/--approve — file-based approval would bypass the " +
                 "plan store's approval state. Use `apply --plan-id <id>` and approve via `plans approve`.");
         }
+        if (argv.includes("--value")) {
+            throw new Error("A scheduled apply cannot take --value — an unattended run must write exactly the values " +
+                "signed at approval. Set the value with `plans approve --value <op>=<v>` and re-approve.");
+        }
         return;
     }
     if (!Object.hasOwn(SCHEDULABLE, head)) {

package/dist/types.d.ts

@@ -239,6 +239,22 @@ export type PatchOperation = {
      * member of the group.
      */
     groupId?: string;
+    /**
+     * Set only when a human explicitly chose to archive a record that shares an
+     * identity key with another (`bulk-update --archive --force-archive-duplicates`).
+     * Without it, apply refuses to archive_record a record the live snapshot still
+     * sees as a duplicate — archiving a duplicate discards data that merging keeps,
+     * and an agent on a dedupe task must not silently substitute archive for merge.
+     */
+    forceArchiveDuplicate?: boolean;
+    /**
+     * For irreversible operations (merge_records, archive_record): the field
+     * values of the records that will be destroyed, captured at plan-build time.
+     * Merges and archives cannot be undone on any provider, so this is the
+     * recovery artifact a human uses to recreate a record by hand if a merge or
+     * archive was wrong — the plan file IS the backup.
+     */
+    recoverySnapshot?: Record<string, unknown>[];
 };
 /**
  * A patch plan is always a dry-run proposal. Applying a plan never mutates

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "fullstackgtm",
-  "version": "0.25.2",
+  "version": "0.26.0",
   "description": "Open-source agentic GTM ops framework: canonical GTM data model, pluggable deterministic audits, reviewable dry-run patch plans, approval-gated write-back with conflict detection, and cross-system entity resolution. HubSpot, Salesforce, and Stripe connectors included.",
   "license": "Apache-2.0",
   "author": "Full Stack GTM",

package/src/bulkUpdate.ts

@@ -27,6 +27,7 @@
  * `account.ownerId`, `account.contactCount`; accounts get `contactCount`
  * and `openDealCount`.
  */
+import { recoverableFields } from "./dedupe.ts";
 import { normalizeDomain } from "./merge.ts";
 import { stableHash } from "./rules.ts";
 import type {
@@ -399,7 +400,11 @@ export function buildBulkUpdatePlan(
         beforeValue: null,
         afterValue: null,
         riskLevel: "high",
-        rollback: "Archived records can be restored from the provider's recycle bin within its retention window.",
+        // Carry the human's explicit force decision to the apply-time guard, and
+        // snapshot the record so it can be recreated if the archive was wrong.
+        ...(options.forceArchiveDuplicates ? { forceArchiveDuplicate: true } : {}),
+        recoverySnapshot: [recoverableFields(record)],
+        rollback: "Archived records can be restored from the provider's recycle bin within its retention window; recoverySnapshot also retains the field values.",
       });
       continue;
     }

package/src/cli.ts

@@ -34,6 +34,7 @@ import {
 import { generateDemoSnapshot } from "./demo.ts";
 import { formatPatchPlanRun, patchPlanToMarkdown } from "./format.ts";
 import { mergeSnapshots } from "./merge.ts";
+import { verifyApprovalDigests } from "./integrity.ts";
 import { createFilePlanStore } from "./planStore.ts";
 import { auditReportToHtml, auditReportToMarkdown, type ReportOptions } from "./report.ts";
 import { builtinAuditRules } from "./rules.ts";
@@ -60,6 +61,7 @@ import {
   type CallDocument,
 } from "./marketOverlay.ts";
 import { computeScaleIndex, scaleReportToText } from "./marketScale.ts";
+import { suggestMarketConfig } from "./marketTaxonomy.ts";
 import { buildWorksheet, classifyMarket } from "./marketClassify.ts";
 import { marketMapToHtml, marketMapToMarkdown } from "./marketReport.ts";
 import {
@@ -976,6 +978,8 @@ async function marketCommand(args: string[]) {
   if (!subcommand || subcommand === "--help" || subcommand === "-h" || rest.includes("--help") || rest.includes("-h")) {
     console.log(`Usage:
 market init --category <name> [--out <path>]   write a starter market.config.json
+market init --category <name> --auto --vendor <url> [--vendor <url>...] [--anchor <url>] [--max-claims n]
+                                               LLM-propose vendors + claim taxonomy from seed pages (needs an API key)
 market capture [--config <path>] [--run <label>]
 market classify [--run <label>] [--capture-run <label>] [--vendor <id>] [--model m] [--out <path>]
 market worksheet --vendor <id> [--capture-run <label>] [--out <path>]
@@ -1025,6 +1029,31 @@ recomputed deterministically on every invocation — never stored.`);
     if (!category) throw new Error("market init requires --category <name>");
     const outPath = resolve(process.cwd(), option(rest, "--out") ?? "market.config.json");
     if (existsSync(outPath)) throw new Error(`${outPath} already exists — refusing to overwrite`);
+
+    if (rest.includes("--auto")) {
+      const vendorUrls = repeatedOption(rest, "--vendor");
+      if (vendorUrls.length === 0) {
+        throw new Error("market init --auto requires at least one --vendor <url> (the competitor homepages to seed from)");
+      }
+      const anchorUrl = option(rest, "--anchor");
+      const credential = await requireLlmCredential("market classify");
+      console.error(`Capturing ${vendorUrls.length} seed page(s) and proposing a claim taxonomy with ${credential.provider}…`);
+      const { config, unreadableVendorIds, model } = await suggestMarketConfig({
+        category,
+        vendors: vendorUrls.map((url) => ({ url, anchor: anchorUrl ? url === anchorUrl : false })),
+        llm: { ...credential, model: option(rest, "--model") ?? undefined },
+        maxClaims: numericOption(rest, "--max-claims"),
+      });
+      writeFileSync(outPath, `${JSON.stringify(config, null, 2)}\n`);
+      if (unreadableVendorIds.length > 0) {
+        console.error(`Note: no readable text for ${unreadableVendorIds.join(", ")} — excluded from taxonomy grounding.`);
+      }
+      console.log(
+        `Wrote ${outPath}: ${config.vendors.length} vendors, ${config.claims.length} proposed claims (${model}). Review it, then: fullstackgtm market refresh`,
+      );
+      return;
+    }
+
     writeFileSync(outPath, `${JSON.stringify(starterMarketConfig(category), null, 2)}\n`);
     console.log(`Wrote ${outPath}. Fill in vendors and claims, then: fullstackgtm market capture`);
     return;
@@ -2552,7 +2581,40 @@ async function apply(args: string[]) {
     }
     plan = stored.plan;
     approvedOperationIds = stored.approvedOperationIds;
+    // Downgrade guard: an approved plan with no signatures is either pre-0.26
+    // (re-approve to gain them) or had its approvalDigests stripped to skip the
+    // integrity check. Either way, refuse rather than fall back to trusting the
+    // file. (A plan with zero approved operations has nothing to apply anyway.)
+    if (stored.approvedOperationIds.length > 0 && !stored.approvalDigests) {
+      throw new Error(
+        `Refusing to apply plan ${planId}: it was approved without integrity signatures ` +
+          "(approved before 0.26.0, or its signatures were removed). Re-approve it with " +
+          `\`fullstackgtm plans approve ${planId} --operations <ids|all>\`.`,
+      );
+    }
+    // Integrity gate: the plan file is re-read from disk, so verify each approved
+    // operation still matches what was signed at approval. Verify against the
+    // EFFECTIVE overrides (stored ∪ apply-time --value): the invariant is "what
+    // gets written must equal what was signed", so an apply-time --value that
+    // changes a value the human did not approve is treated as tamper, not a live
+    // override. A mismatch means the plan/overrides were edited after approval —
+    // refuse the whole apply rather than write an unapproved value.
     valueOverrides = { ...stored.valueOverrides, ...parseValueOverrides(args) };
+    const verification = verifyApprovalDigests(
+      stored.plan.operations,
+      stored.approvedOperationIds,
+      valueOverrides,
+      stored.approvalDigests,
+    );
+    if (!verification.ok) {
+      const detail =
+        verification.reason === "no_key"
+          ? "the plan-signing key is missing (was this plan approved on another machine?). Re-approve it here with `fullstackgtm plans approve`."
+          : `these operations differ from what was approved: ${verification.tampered.join(", ")}. ` +
+            "If you changed a value at apply time, set it at approval instead (`plans approve --value <op>=<v>`) and re-approve; " +
+            "otherwise the plan was edited after approval — review and re-approve.";
+      throw new Error(`Refusing to apply plan ${planId}: ${detail}`);
+    }
   } else {
     const approve = option(args, "--approve");
     if (!approve) {

package/src/connector.ts

@@ -1,5 +1,7 @@
+import { dedupeKey } from "./dedupe.ts";
 import { requiresHumanInput } from "./rules.ts";
 import type {
+  CanonicalGtmSnapshot,
   GtmConnector,
   PatchOperation,
   PatchOperationResult,
@@ -8,6 +10,75 @@ import type {
   PatchPlanRunStatus,
 } from "./types.ts";
 
+const IRREVERSIBLE_OPERATIONS = new Set(["merge_records", "archive_record"]);
+const IDENTITY_KEY_BY_TYPE: Partial<Record<string, "domain" | "email">> = {
+  account: "domain",
+  contact: "email",
+};
+
+/** snapshot collection for an object type */
+function collectionFor(objectType: string): "accounts" | "contacts" | "deals" | null {
+  if (objectType === "account") return "accounts";
+  if (objectType === "contact") return "contacts";
+  if (objectType === "deal") return "deals";
+  return null;
+}
+
+/**
+ * Drift/safety check for the two IRREVERSIBLE operations against a fresh
+ * snapshot. Returns a conflict detail string, or null if the op is safe to
+ * apply. These operations get NO field compare-and-set (there is no single
+ * field to compare), so this snapshot check is their only guard.
+ */
+function checkIrreversibleOp(operation: PatchOperation, snapshot: CanonicalGtmSnapshot): string | null {
+  const collection = collectionFor(operation.objectType);
+  if (!collection) return null;
+  const records = snapshot[collection] as Array<Record<string, unknown>>;
+  const byId = (id: string) => records.find((record) => String(record.id) === id);
+
+  if (operation.operation === "archive_record") {
+    if (!byId(operation.objectId)) {
+      return `Record ${operation.objectType}/${operation.objectId} no longer exists (already archived or merged). Re-plan against current data.`;
+    }
+    // Archiving a duplicate discards data a merge would keep — refuse unless the
+    // human explicitly forced it. This catches every archive_record path (agent,
+    // hand-edited plan, audit), not just `bulk-update --archive`.
+    if (!operation.forceArchiveDuplicate) {
+      const keyName = IDENTITY_KEY_BY_TYPE[operation.objectType];
+      if (keyName) {
+        const target = byId(operation.objectId)!;
+        const key = dedupeKey(target, keyName);
+        if (key) {
+          const sharers = records.filter(
+            (record) => String(record.id) !== operation.objectId && dedupeKey(record, keyName) === key,
+          );
+          if (sharers.length > 0) {
+            return (
+              `Refusing to archive ${operation.objectType}/${operation.objectId}: it shares ${keyName} "${key}" with ` +
+              `${sharers.length} other record(s) — that's a duplicate, and archiving discards its data where merging keeps it. ` +
+              `Merge with \`fullstackgtm dedupe ${operation.objectType} --key ${keyName}\` instead, or rebuild the op with --force-archive-duplicates.`
+            );
+          }
+        }
+      }
+    }
+    return null;
+  }
+
+  if (operation.operation === "merge_records") {
+    if (!byId(operation.objectId)) {
+      return `Merge survivor ${operation.objectType}/${operation.objectId} no longer exists (archived or merged away since the plan was built). Re-plan — merges are irreversible.`;
+    }
+    const groupIds = Array.isArray(operation.beforeValue) ? (operation.beforeValue as unknown[]).map(String) : [];
+    const losersStillPresent = groupIds.filter((id) => id !== operation.objectId && byId(id));
+    if (groupIds.length > 0 && losersStillPresent.length === 0) {
+      return `Every record to merge into ${operation.objectType}/${operation.objectId} is already gone (merge already applied?). Nothing to do — re-plan if duplicates remain.`;
+    }
+    return null;
+  }
+  return null;
+}
+
 export type ApplyPatchPlanOptions = {
   /**
    * Explicit allow-list of operation ids the human approved. Operations not
@@ -79,10 +150,20 @@ export async function applyPatchPlan(
   // closed — but it can be shrunk: re-run the snapshot checks after the
   // first write and every `recheckEvery` writes, conflicting out any
   // operation whose record went stale mid-run.
+  // Irreversible ops (merge/archive) need a fresh snapshot too — it is their
+  // only drift/safety guard (no field to compare-and-set). Respect a caller's
+  // explicit checkConflicts:false opt-out (a stub/known-stale snapshot).
+  const hasIrreversibleApproved =
+    checkConflicts &&
+    plan.operations.some(
+      (operation) => approved.has(operation.id) && IRREVERSIBLE_OPERATIONS.has(operation.operation),
+    );
   const needsSnapshot =
-    ((plan.guards && plan.guards.length > 0) || plan.filter) && connector.fetchSnapshot;
+    ((plan.guards && plan.guards.length > 0) || plan.filter || hasIrreversibleApproved) &&
+    connector.fetchSnapshot;
   const recheckEvery = Math.max(1, options.recheckEvery ?? 25);
   const staleIds = new Set<string>();
+  const irreversibleStale = new Map<string, string>();
   let guardFailure: string | null = null;
   const refreshSnapshotChecks = async (): Promise<void> => {
     if (!needsSnapshot) return;
@@ -95,6 +176,14 @@ export async function applyPatchPlan(
         if (!stillEligible.has(operation.objectId)) staleIds.add(operation.objectId);
       }
     }
+    irreversibleStale.clear();
+    if (checkConflicts) {
+      for (const operation of plan.operations) {
+        if (!approved.has(operation.id) || !IRREVERSIBLE_OPERATIONS.has(operation.operation)) continue;
+        const detail = checkIrreversibleOp(operation, liveSnapshot);
+        if (detail) irreversibleStale.set(operation.id, detail);
+      }
+    }
     for (const guard of plan.guards ?? []) {
       const failure = evaluateGuard(liveSnapshot, guard);
       if (failure) {
@@ -232,6 +321,12 @@ export async function applyPatchPlan(
       if (operation.groupId) poisonedGroups.add(operation.groupId);
       continue;
     }
+    const irreversibleConflict = irreversibleStale.get(operation.id);
+    if (irreversibleConflict) {
+      results.push({ operationId: operation.id, status: "conflict", detail: irreversibleConflict });
+      if (operation.groupId) poisonedGroups.add(operation.groupId);
+      continue;
+    }
     if (operation.groupId && poisonedGroups.has(operation.groupId)) {
       results.push({
         operationId: operation.id,

package/src/dedupe.ts

@@ -65,6 +65,21 @@ function populatedDataFields(record: Record<string, unknown>): number {
   ).length;
 }
 
+/**
+ * The subset of a record worth keeping as a merge-recovery artifact: its id (to
+ * reference) plus every populated data field, dropping bulky/plumbing fields
+ * (raw, identities, provenance) that aren't needed to recreate it by hand.
+ */
+export function recoverableFields(record: Record<string, unknown>): Record<string, unknown> {
+  const out: Record<string, unknown> = { id: String(record.id) };
+  for (const [field, value] of Object.entries(record)) {
+    if (NON_DATA_FIELDS.has(field)) continue;
+    if (value === undefined || value === null || value === "") continue;
+    out[field] = value;
+  }
+  return out;
+}
+
 /** True when id `a` sorts before id `b` — numeric when both ids are numeric. */
 function idBefore(a: string, b: string): boolean {
   const numericA = Number(a);
@@ -137,6 +152,12 @@ export function buildDedupePlan(
     const groupIds = members
       .map((member) => String(member.id))
       .sort((a, b) => (idBefore(a, b) ? -1 : 1));
+    // Recovery artifact: the records that will be merged away (everyone but the
+    // survivor), captured with their field values so a human can recreate one by
+    // hand if the merge was wrong. Merges are irreversible — the plan is the backup.
+    const recoverySnapshot = members
+      .filter((member) => String(member.id) !== String(survivor.id))
+      .map((member) => recoverableFields(member));
     const survivorName =
       typeof survivor.name === "string" && survivor.name
         ? survivor.name
@@ -162,8 +183,9 @@ export function buildDedupePlan(
       approvalRequired: true,
       sourceRuleOrPolicy: "dedupe",
       groupId: `grp_${options.objectType}_${String(survivor.id)}`,
+      recoverySnapshot,
       rollback:
-        "IRREVERSIBLE: provider merges cannot be unmerged. The pre-apply snapshot retains every record's field values; recreate a record manually from it if a merge was wrong.",
+        "IRREVERSIBLE: provider merges cannot be unmerged. recoverySnapshot on this operation retains every merged-away record's field values; recreate a record manually from it if a merge was wrong.",
     });
   }
 

package/src/index.ts

@@ -115,6 +115,14 @@ export {
   type MergeSuggestion,
 } from "./merge.ts";
 export { createFilePlanStore, type PlanStore, type StoredPlan } from "./planStore.ts";
+export {
+  computeApprovalDigests,
+  loadOrCreateSigningKey,
+  loadSigningKey,
+  signApproval,
+  verifyApprovalDigests,
+  type ApprovalVerification,
+} from "./integrity.ts";
 export { formatPatchPlanRun, patchPlanToMarkdown } from "./format.ts";
 export { auditReportToHtml, auditReportToMarkdown, type ReportOptions } from "./report.ts";
 export {