@riddledc/riddle-proof 0.8.76 → 0.8.78

package/dist/cli.cjs

@@ -7879,6 +7879,259 @@ var import_node_child_process4 = require("child_process");
 var import_node_fs5 = require("fs");
 var import_node_os2 = require("os");
 var import_node_path5 = __toESM(require("path"), 1);
+
+// src/receipts.ts
+var RIDDLE_PREVIEW_RECEIPT_VERSION = "riddle.preview-receipt.v1";
+var RIDDLE_PROOF_OBSERVATION_RECEIPT_VERSION = "riddle-proof.observation-receipt.v1";
+function isRecord(value) {
+  return Boolean(value) && typeof value === "object" && !Array.isArray(value);
+}
+function requiredString(record, key, context) {
+  const value = record[key];
+  if (typeof value !== "string" || !value.trim()) {
+    throw new Error(`${context}.${key} must be a non-empty string.`);
+  }
+  return value.trim();
+}
+function normalizedSourceIdentity(value) {
+  if (!isRecord(value)) return {};
+  return {
+    git_revision: typeof value.git_revision === "string" && value.git_revision.trim() ? value.git_revision.trim() : void 0,
+    repository: typeof value.repository === "string" && value.repository.trim() ? value.repository.trim() : void 0,
+    dirty: typeof value.dirty === "boolean" ? value.dirty : void 0,
+    label: typeof value.label === "string" && value.label.trim() ? value.label.trim() : void 0
+  };
+}
+function parseRiddlePreviewReceipt(value) {
+  if (!isRecord(value)) throw new Error("Preview receipt must be an object.");
+  if (value.version !== RIDDLE_PREVIEW_RECEIPT_VERSION) {
+    throw new Error(`Unsupported Preview receipt version ${String(value.version || "missing")}.`);
+  }
+  if (!isRecord(value.source)) throw new Error("Preview receipt source must be an object.");
+  const expiresAt = requiredString(value, "expires_at", "preview receipt");
+  const publishedAt = requiredString(value, "published_at", "preview receipt");
+  const contentDigest = requiredString(value, "content_digest", "preview receipt");
+  if (!contentDigest.startsWith("sha256:") || contentDigest.length <= "sha256:".length) {
+    throw new Error("preview receipt.content_digest must be a sha256 digest.");
+  }
+  if (!Number.isFinite(Date.parse(expiresAt)) || !Number.isFinite(Date.parse(publishedAt))) {
+    throw new Error("Preview receipt timestamps must be valid ISO date strings.");
+  }
+  return {
+    version: RIDDLE_PREVIEW_RECEIPT_VERSION,
+    preview_id: requiredString(value, "preview_id", "preview receipt"),
+    url: requiredString(value, "url", "preview receipt"),
+    expires_at: expiresAt,
+    content_digest: contentDigest,
+    source: normalizedSourceIdentity(value.source),
+    published_at: publishedAt
+  };
+}
+function comparableArtifactName(value) {
+  return (value || "").split(/[/?#]/).pop()?.toLowerCase().replace(/\.(png|jpe?g|gif|webp|avif|svg)$/u, "").replace(/[^a-z0-9_-]+/gu, "-").replace(/^-+|-+$/g, "") || "";
+}
+function artifactMatchesLabel(artifact, label) {
+  const expected = comparableArtifactName(label);
+  if (!expected) return false;
+  return [artifact.name, artifact.url, artifact.path].map(comparableArtifactName).some((name) => name === expected || name.endsWith(`-${expected}`));
+}
+function artifactLooksLikeScreenshot(ref) {
+  const text = [ref.name, ref.url, ref.path, ref.kind, ref.content_type].filter(Boolean).join(" ").toLowerCase();
+  return /screenshot|\bimage\b/.test(text) || /\.(png|jpe?g|gif|webp|avif|svg)(\?|#|$)/.test(text);
+}
+function finalScreenshotLabels(result) {
+  const explicit = result.artifacts.canonical_screenshots || [];
+  if (explicit.length) return explicit;
+  const fromEvidence = (result.evidence?.viewports || []).map((viewport) => viewport.screenshot_label).filter((label) => typeof label === "string" && Boolean(label.trim()));
+  if (fromEvidence.length) return fromEvidence;
+  return (result.artifacts.screenshots || []).slice(0, 1);
+}
+function setupScreenshotLabels(result) {
+  const explicit = result.artifacts.setup_screenshots || [];
+  if (explicit.length) return explicit;
+  return (result.evidence?.viewports || []).flatMap(
+    (viewport) => (viewport.setup_action_results || []).filter((action) => action.action === "screenshot" && action.ok !== false && typeof action.screenshot_label === "string").map((action) => String(action.screenshot_label))
+  );
+}
+function observationArtifactFromRef(ref, canonicalLabels, setupLabels) {
+  const base = {
+    name: ref.name,
+    role: ref.role || "artifact",
+    url: ref.url,
+    path: ref.path,
+    kind: ref.kind,
+    content_type: ref.content_type,
+    source: ref.source
+  };
+  if (!artifactLooksLikeScreenshot(ref)) return base;
+  if (canonicalLabels.some((label) => artifactMatchesLabel(base, label))) {
+    return { ...base, role: "canonical_screenshot" };
+  }
+  if (setupLabels.some((label) => artifactMatchesLabel(base, label))) {
+    return { ...base, role: "setup_screenshot" };
+  }
+  return { ...base, role: "diagnostic" };
+}
+function profileObservationArtifacts(result) {
+  const canonicalLabels = finalScreenshotLabels(result);
+  const setupLabels = setupScreenshotLabels(result);
+  const artifacts = [];
+  const seen = /* @__PURE__ */ new Set();
+  const add = (artifact) => {
+    const key = artifact.url || artifact.path || `${artifact.role}:${artifact.name}`;
+    if (!artifact.name || seen.has(key)) return;
+    seen.add(key);
+    artifacts.push(artifact);
+  };
+  for (const ref of result.artifacts.riddle_artifacts || []) {
+    add(observationArtifactFromRef(ref, canonicalLabels, setupLabels));
+  }
+  for (const label of canonicalLabels) {
+    if (!artifacts.some((artifact) => artifactMatchesLabel(artifact, label))) {
+      add({ name: label, path: label, role: "canonical_screenshot", kind: "image" });
+    }
+  }
+  for (const label of setupLabels) {
+    if (!artifacts.some((artifact) => artifactMatchesLabel(artifact, label))) {
+      add({ name: label, path: label, role: "setup_screenshot", kind: "image" });
+    }
+  }
+  for (const label of result.artifacts.screenshots || []) {
+    if (!artifacts.some((artifact) => artifactMatchesLabel(artifact, label))) {
+      add({ name: label, path: label, role: "diagnostic", kind: "image" });
+    }
+  }
+  return artifacts;
+}
+function mergeObservationArtifacts(profileArtifacts, suppliedArtifacts) {
+  const artifacts = [...profileArtifacts];
+  for (const supplied of suppliedArtifacts) {
+    const suppliedNames = [supplied.name, supplied.url, supplied.path].map(comparableArtifactName).filter(Boolean);
+    const existingIndex = artifacts.findIndex((artifact) => {
+      if (supplied.url && artifact.url === supplied.url) return true;
+      if (supplied.path && artifact.path === supplied.path) return true;
+      return [artifact.name, artifact.url, artifact.path].map(comparableArtifactName).some((name) => name && suppliedNames.includes(name));
+    });
+    if (existingIndex < 0) {
+      artifacts.push(supplied);
+      continue;
+    }
+    const existing = artifacts[existingIndex];
+    const role = supplied.role === "canonical_screenshot" || supplied.role === "setup_screenshot" ? supplied.role : existing.role === "canonical_screenshot" || existing.role === "setup_screenshot" ? existing.role : supplied.role === "artifact" ? existing.role : supplied.role;
+    artifacts[existingIndex] = {
+      ...existing,
+      ...supplied,
+      role
+    };
+  }
+  return artifacts;
+}
+function defaultObservationId(role, capturedAt) {
+  return `obs_${role}_${capturedAt.replace(/[^0-9]/g, "").slice(0, 17) || "unknown"}`;
+}
+function profileCheckCounts(result) {
+  const counts = { total: result.checks.length, passed: 0, failed: 0, skipped: 0, needs_human_review: 0 };
+  for (const check of result.checks) {
+    if (check.status === "passed") counts.passed += 1;
+    if (check.status === "failed") counts.failed += 1;
+    if (check.status === "skipped") counts.skipped += 1;
+    if (check.status === "needs_human_review") counts.needs_human_review += 1;
+  }
+  return counts;
+}
+function createRiddleProofObservationReceipt(input) {
+  const capturedAt = input.captured_at || input.profile_result?.captured_at || (/* @__PURE__ */ new Date()).toISOString();
+  const profileArtifacts = input.profile_result ? profileObservationArtifacts(input.profile_result) : [];
+  const requestedCanonical = input.canonical_screenshot ? { ...input.canonical_screenshot, role: "canonical_screenshot" } : void 0;
+  const artifacts = mergeObservationArtifacts(
+    profileArtifacts,
+    [...input.artifacts || [], ...requestedCanonical ? [requestedCanonical] : []]
+  );
+  const canonicalScreenshot = requestedCanonical ? artifacts.find((artifact) => artifact.role === "canonical_screenshot" && artifactMatchesLabel(artifact, requestedCanonical.name)) || requestedCanonical : artifacts.find((artifact) => artifact.role === "canonical_screenshot");
+  const target = input.target.kind === "preview" && input.target.preview ? { ...input.target, preview: parseRiddlePreviewReceipt(input.target.preview) } : input.target;
+  return {
+    version: RIDDLE_PROOF_OBSERVATION_RECEIPT_VERSION,
+    observation_id: input.observation_id || defaultObservationId(input.comparison_role, capturedAt),
+    comparison_role: input.comparison_role,
+    executor: input.executor,
+    target,
+    source: normalizedSourceIdentity(input.source || input.target.preview?.source),
+    captured_at: capturedAt,
+    artifacts,
+    canonical_screenshot: canonicalScreenshot,
+    profile_summary: input.profile_result ? {
+      profile_name: input.profile_result.profile_name,
+      status: input.profile_result.status,
+      summary: input.profile_result.summary,
+      route: input.profile_result.route,
+      checks: profileCheckCounts(input.profile_result)
+    } : void 0,
+    proof: input.profile_result ? {
+      profile_name: input.profile_result.profile_name,
+      result: input.profile_result
+    } : void 0,
+    publication: input.publication,
+    execution: input.execution,
+    metadata: input.metadata
+  };
+}
+function parseRiddleProofObservationReceipt(value) {
+  if (!isRecord(value)) throw new Error("Observation receipt must be an object.");
+  if (value.version !== RIDDLE_PROOF_OBSERVATION_RECEIPT_VERSION) {
+    throw new Error(`Unsupported Observation receipt version ${String(value.version || "missing")}.`);
+  }
+  if (!isRecord(value.executor)) throw new Error("Observation receipt executor must be an object.");
+  if (!isRecord(value.target)) throw new Error("Observation receipt target must be an object.");
+  if (!isRecord(value.source)) throw new Error("Observation receipt source must be an object.");
+  requiredString(value, "observation_id", "observation receipt");
+  requiredString(value, "captured_at", "observation receipt");
+  const executorKind = requiredString(value.executor, "kind", "observation receipt executor");
+  if (!"local_playwright,riddle_hosted,browser_api,other".split(",").includes(executorKind)) {
+    throw new Error(`Unsupported observation executor kind ${executorKind}.`);
+  }
+  if (value.executor.runner !== void 0) {
+    requiredString(value.executor, "runner", "observation receipt executor");
+  }
+  const role = requiredString(value, "comparison_role", "observation receipt");
+  if (!["before", "after", "standalone"].includes(role)) {
+    throw new Error(`Unsupported observation comparison role ${role}.`);
+  }
+  const targetKind = requiredString(value.target, "kind", "observation receipt target");
+  if (targetKind !== "url" && targetKind !== "preview") {
+    throw new Error(`Unsupported observation target kind ${targetKind}.`);
+  }
+  requiredString(value.target, "url", "observation receipt target");
+  if (targetKind === "preview") {
+    if (value.target.preview === void 0) {
+      throw new Error("Preview Observation target must include its Preview receipt.");
+    }
+    parseRiddlePreviewReceipt(value.target.preview);
+  }
+  if (!Array.isArray(value.artifacts)) throw new Error("Observation receipt artifacts must be an array.");
+  const artifactRoles = /* @__PURE__ */ new Set(["canonical_screenshot", "setup_screenshot", "data", "diagnostic", "artifact"]);
+  const artifacts = value.artifacts.map((artifact, index) => {
+    if (!isRecord(artifact)) throw new Error(`Observation receipt artifact ${index} must be an object.`);
+    requiredString(artifact, "name", `observation receipt artifact ${index}`);
+    const artifactRole = requiredString(artifact, "role", `observation receipt artifact ${index}`);
+    if (!artifactRoles.has(artifactRole)) {
+      throw new Error(`Unsupported observation artifact role ${artifactRole}.`);
+    }
+    return artifact;
+  });
+  if (value.canonical_screenshot !== void 0) {
+    if (!isRecord(value.canonical_screenshot) || value.canonical_screenshot.role !== "canonical_screenshot") {
+      throw new Error("Observation canonical_screenshot must have the canonical_screenshot role.");
+    }
+    const canonical = value.canonical_screenshot;
+    const included = artifacts.some((artifact) => artifact.role === "canonical_screenshot" && artifact.name === canonical.name && artifact.url === canonical.url && artifact.path === canonical.path);
+    if (!included) {
+      throw new Error("Observation canonical_screenshot must reference an artifact in the receipt.");
+    }
+  }
+  return value;
+}
+
+// src/riddle-client.ts
 var DEFAULT_RIDDLE_API_BASE_URL = "https://api.riddledc.com";
 var DEFAULT_RIDDLE_API_KEY_FILE = "/tmp/riddle-api-key";
 var RIDDLE_UNSUBMITTED_WAKE_HINT = "hosted worker may still be waking or waiting for a lease";
@@ -7940,6 +8193,7 @@ async function getRiddleBalance(config = {}) {
 }
 function previewDeployResultFromRecord(input) {
   const { record, id, label, framework, expiresAt, publishRecovered, publishError } = input;
+  const receipt = record.receipt && typeof record.receipt === "object" ? parseRiddlePreviewReceipt(record.receipt) : void 0;
   return {
     ok: true,
     id: String(record.id || record.preview_id || id),
@@ -7948,13 +8202,32 @@ function previewDeployResultFromRecord(input) {
     preview_url: String(record.preview_url || ""),
     file_count: typeof record.file_count === "number" ? record.file_count : void 0,
     total_bytes: typeof record.total_bytes === "number" ? record.total_bytes : void 0,
-    expires_at: expiresAt,
+    expires_at: receipt?.expires_at || expiresAt,
+    receipt,
     publish_recovered: publishRecovered || void 0,
     publish_error: publishError,
     warnings: input.warnings?.length ? input.warnings : void 0,
     raw: record
   };
 }
+function gitOutput(directory, args) {
+  try {
+    return (0, import_node_child_process4.execFileSync)("git", ["-C", directory, ...args], { encoding: "utf8", stdio: ["ignore", "pipe", "ignore"] }).trim();
+  } catch {
+    return "";
+  }
+}
+function detectRiddlePreviewSource(directory) {
+  const gitRevision = gitOutput(directory, ["rev-parse", "HEAD"]);
+  if (!gitRevision) return {};
+  const repository = gitOutput(directory, ["config", "--get", "remote.origin.url"]);
+  const status = gitOutput(directory, ["status", "--porcelain", "--untracked-files=normal"]);
+  return {
+    git_revision: gitRevision,
+    repository: repository || void 0,
+    dirty: Boolean(status)
+  };
+}
 function canRecoverPreviewPublish(error) {
   return error instanceof RiddleApiError && PREVIEW_PUBLISH_RECOVERY_STATUSES.has(error.status);
 }
@@ -8037,12 +8310,13 @@ async function waitForPublishedPreview(config, input) {
   }
   throw input.publishError;
 }
-async function deployRiddlePreview(config, directory, label, framework = "static") {
+async function deployRiddlePreview(config, directory, label, framework = "static", options = {}) {
   if (!directory?.trim()) throw new Error("directory is required");
   if (!label?.trim()) throw new Error("label is required");
   if (framework !== "spa" && framework !== "static") throw new Error("framework must be spa or static");
   const startedAt = Date.now();
   const warnings = collectRiddlePreviewDeployWarnings(directory, framework);
+  const source = options.source || detectRiddlePreviewSource(directory);
   const emitProgress = previewProgressEmitter(config, { label, framework, directory, startedAt, warnings });
   await emitProgress({ stage: "validating", message: "checking preview input directory" });
   const localSummary = summarizePreviewDirectory(directory);
@@ -8054,7 +8328,7 @@ async function deployRiddlePreview(config, directory, label, framework = "static
   });
   const created = await riddleRequestJson(config, "/v1/preview", {
     method: "POST",
-    body: JSON.stringify({ framework, label })
+    body: JSON.stringify({ framework, label, source })
   });
   const id = String(created.id || "");
   const uploadUrl = String(created.upload_url || "");
@@ -8196,8 +8470,8 @@ function collectRiddlePreviewDeployWarnings(directory, framework = "static") {
     return [];
   }
 }
-async function deployRiddleStaticPreview(config, directory, label) {
-  return deployRiddlePreview(config, directory, label, "static");
+async function deployRiddleStaticPreview(config, directory, label, options = {}) {
+  return deployRiddlePreview(config, directory, label, "static", options);
 }
 function createTarball(directory, label, exclude = []) {
   const scratch = (0, import_node_fs5.mkdtempSync)(import_node_path5.default.join((0, import_node_os2.tmpdir)(), "riddle-upload-"));
@@ -8319,21 +8593,31 @@ function parseTimestampMs(value) {
 }
 function buildPollSnapshot(jobId, job, input) {
   const status = job?.status ? String(job.status) : null;
+  const phase = job?.phase ? String(job.phase) : null;
   const terminal = isTerminalRiddleJobStatus(status);
   const createdAt = stringField(job, "created_at");
   const submittedAt = stringField(job, "submitted_at");
   const completedAt = stringField(job, "completed_at");
   const createdMs = parseTimestampMs(createdAt);
   const submittedMs = parseTimestampMs(submittedAt);
+  const rawExecution = job?.execution && typeof job.execution === "object" && !Array.isArray(job.execution) ? job.execution : null;
+  const enqueuedAt = rawExecution ? stringField(rawExecution, "enqueued_at") : null;
+  const enqueuedMs = parseTimestampMs(enqueuedAt);
+  const queueStartedMs = enqueuedMs ?? createdMs;
+  const claimedAt = rawExecution ? stringField(rawExecution, "claimed_at") : null;
+  const claimedMs = parseTimestampMs(claimedAt);
   let queueElapsedMs = null;
-  if (createdMs !== null && submittedMs !== null) {
-    queueElapsedMs = Math.max(0, submittedMs - createdMs);
-  } else if (createdMs !== null && !submittedAt && !terminal) {
-    queueElapsedMs = Math.max(0, input.observedAt - createdMs);
+  if (queueStartedMs !== null && claimedMs !== null) {
+    queueElapsedMs = Math.max(0, claimedMs - queueStartedMs);
+  } else if (queueStartedMs !== null && submittedMs !== null) {
+    queueElapsedMs = Math.max(0, submittedMs - queueStartedMs);
+  } else if (queueStartedMs !== null && !submittedAt && !terminal) {
+    queueElapsedMs = Math.max(0, input.observedAt - queueStartedMs);
   }
   return {
     job_id: jobId,
     status,
+    phase,
     terminal,
     attempt: input.attempt,
     attempts: input.attempts,
@@ -8343,7 +8627,9 @@ function buildPollSnapshot(jobId, job, input) {
     completed_at: completedAt,
     queue_elapsed_ms: queueElapsedMs,
     pre_submission_elapsed_ms: Math.max(0, Math.floor(input.preSubmissionElapsedMs ?? 0)),
-    running_without_submission: Boolean(status && !terminal && !submittedAt)
+    running_without_submission: Boolean(status && !terminal && !submittedAt),
+    active_execution: Boolean(status === "running" && phase && phase !== "queued"),
+    execution: rawExecution ? rawExecution : void 0
   };
 }
 function pollMessage(snapshot, timedOut) {
@@ -8352,7 +8638,7 @@ function pollMessage(snapshot, timedOut) {
   const wakeHint = snapshot.running_without_submission && !snapshot.created_at && !snapshot.submitted_at ? ` ${RIDDLE_UNSUBMITTED_WAKE_HINT}.` : "";
   const queue = snapshot.queue_elapsed_ms !== null ? ` queue_elapsed_ms=${snapshot.queue_elapsed_ms}` : "";
   const preSubmit = snapshot.pre_submission_elapsed_ms > 0 ? ` pre_submission_elapsed_ms=${snapshot.pre_submission_elapsed_ms}` : "";
-  return `Riddle job ${snapshot.job_id} did not reach a terminal status after ${snapshot.attempt} poll attempts; status=${snapshot.status || "unknown"} submitted_at=${submitted}.${wakeHint}${queue}${preSubmit}`;
+  return `Riddle job ${snapshot.job_id} did not reach a terminal status after ${snapshot.attempt} poll attempts; status=${snapshot.status || "unknown"} phase=${snapshot.phase || "unknown"} submitted_at=${submitted}.${wakeHint}${queue}${preSubmit}`;
 }
 async function pollRiddleJob(config, jobId, options = {}) {
   if (!jobId?.trim()) throw new Error("jobId is required");
@@ -8386,6 +8672,7 @@ async function pollRiddleJob(config, jobId, options = {}) {
     };
     const progressKey = [
       lastSnapshot.status || "unknown",
+      lastSnapshot.phase || "unknown",
       lastSnapshot.terminal ? "terminal" : "nonterminal",
       lastSnapshot.submitted_at ? "submitted" : "unsubmitted"
     ].join(":");
@@ -8452,8 +8739,8 @@ function createRiddleApiClient(config = {}) {
     apiKeySource: () => resolveRiddleApiKeySource(config),
     requestJson: (pathname, init) => riddleRequestJson(config, pathname, init),
     getBalance: () => getRiddleBalance(config),
-    deployPreview: (directory, label, framework = "static") => deployRiddlePreview(config, directory, label, framework),
-    deployStaticPreview: (directory, label) => deployRiddleStaticPreview(config, directory, label),
+    deployPreview: (directory, label, framework = "static", options) => deployRiddlePreview(config, directory, label, framework, options),
+    deployStaticPreview: (directory, label, options) => deployRiddleStaticPreview(config, directory, label, options),
     runScript: (input) => runRiddleScript(config, input),
     runServerPreview: (input) => runRiddleServerPreview(config, input),
     pollJob: (jobId, options) => pollRiddleJob(config, jobId, options)
@@ -8584,7 +8871,7 @@ function deriveRiddleProofArtifactBodyAssertions(input) {
 var DEFAULT_VIEWPORTS = [
   { name: "desktop", width: 1280, height: 800 }
 ];
-function isRecord(value) {
+function isRecord2(value) {
   return Boolean(value) && typeof value === "object" && !Array.isArray(value);
 }
 function stringValue3(value) {
@@ -8615,7 +8902,7 @@ function booleanValue2(value) {
   return typeof value === "boolean" ? value : void 0;
 }
 function horizontalBoundsOverflowPx(value) {
-  if (!isRecord(value)) return 0;
+  if (!isRecord2(value)) return 0;
   let max = maxPositiveNumber(
     value.overflow_px,
     value.overflow,
@@ -8630,7 +8917,7 @@ function horizontalBoundsOverflowPx(value) {
   return roundPixels(max);
 }
 function horizontalOffenderOverflowPx(value) {
-  if (!isRecord(value)) return 0;
+  if (!isRecord2(value)) return 0;
   let max = maxPositiveNumber(
     value.overflow,
     value.overflow_px,
@@ -8641,8 +8928,8 @@ function horizontalOffenderOverflowPx(value) {
     value.leftOverflowPx,
     value.rightOverflowPx
   );
-  const clipped = isRecord(value.clipped || value.clip || value.clipping) ? value.clipped || value.clip || value.clipping : void 0;
-  if (isRecord(clipped)) {
+  const clipped = isRecord2(value.clipped || value.clip || value.clipping) ? value.clipped || value.clip || value.clipping : void 0;
+  if (isRecord2(clipped)) {
     max = Math.max(max, maxPositiveNumber(
       clipped.left,
       clipped.right,
@@ -8652,9 +8939,9 @@ function horizontalOffenderOverflowPx(value) {
       clipped.rightPx
     ));
   }
-  const rect = isRecord(value.rect || value.bounds || value.bounding_rect || value.boundingRect) ? value.rect || value.bounds || value.bounding_rect || value.boundingRect : void 0;
+  const rect = isRecord2(value.rect || value.bounds || value.bounding_rect || value.boundingRect) ? value.rect || value.bounds || value.bounding_rect || value.boundingRect : void 0;
   const viewportWidth = numberValue2(value.viewport_width ?? value.viewportWidth);
-  if (isRecord(rect) && viewportWidth !== void 0) {
+  if (isRecord2(rect) && viewportWidth !== void 0) {
     const left = numberValue2(rect.left);
     const right = numberValue2(rect.right);
     if (left !== void 0 && left < 0) max = Math.max(max, Math.abs(left));
@@ -8663,7 +8950,7 @@ function horizontalOffenderOverflowPx(value) {
   return roundPixels(max);
 }
 function boundsOffendersForEvidence(value) {
-  if (!isRecord(value)) return [];
+  if (!isRecord2(value)) return [];
   const offenders = [
     ...Array.isArray(value.overflow_offenders) ? value.overflow_offenders : [],
     ...Array.isArray(value.overflowOffenders) ? value.overflowOffenders : [],
@@ -8674,7 +8961,7 @@ function boundsOffendersForEvidence(value) {
     ...Array.isArray(value.clipping_offenders) ? value.clipping_offenders : [],
     ...Array.isArray(value.clippingOffenders) ? value.clippingOffenders : []
   ];
-  return offenders.filter((item) => isRecord(item)).sort((a, b) => horizontalOffenderOverflowPx(b) - horizontalOffenderOverflowPx(a));
+  return offenders.filter((item) => isRecord2(item)).sort((a, b) => horizontalOffenderOverflowPx(b) - horizontalOffenderOverflowPx(a));
 }
 function maxPositiveNumber(...values) {
   let max = 0;
@@ -8692,11 +8979,11 @@ function timeoutSecValue(value) {
   return number && number > 0 ? Math.ceil(number) : void 0;
 }
 function jsonRecord(value) {
-  if (!isRecord(value)) return void 0;
+  if (!isRecord2(value)) return void 0;
   return Object.fromEntries(Object.entries(value).map(([key, child]) => [key, toJsonValue(child)]));
 }
 function stringRecord(value) {
-  if (!isRecord(value)) return void 0;
+  if (!isRecord2(value)) return void 0;
   const entries = Object.entries(value).map(([key, child]) => [key, String(child)]).filter(([key]) => key.trim());
   return entries.length ? Object.fromEntries(entries) : void 0;
 }
@@ -8705,7 +8992,7 @@ function toJsonValue(value) {
   if (typeof value === "string" || typeof value === "boolean") return value;
   if (typeof value === "number") return Number.isFinite(value) ? value : null;
   if (Array.isArray(value)) return value.map(toJsonValue);
-  if (isRecord(value)) return Object.fromEntries(Object.entries(value).map(([key, child]) => [key, toJsonValue(child)]));
+  if (isRecord2(value)) return Object.fromEntries(Object.entries(value).map(([key, child]) => [key, toJsonValue(child)]));
   return String(value);
 }
 function jsonValueType(value) {
@@ -8723,7 +9010,7 @@ function compactJsonAssertionSample(value, depth = 0) {
     if (depth >= 2) return `[array:${value.length}]`;
     return value.slice(0, 3).map((item) => compactJsonAssertionSample(item, depth + 1));
   }
-  if (isRecord(value)) {
+  if (isRecord2(value)) {
     const entries = Object.entries(value).slice(0, 8);
     if (depth >= 2) return `[object:${Object.keys(value).length} keys]`;
     return Object.fromEntries(entries.map(([key, child]) => [key, compactJsonAssertionSample(child, depth + 1)]));
@@ -8738,7 +9025,7 @@ function attachJsonAssertionObservedValue(result, value) {
     result.observed_sample = compactJsonAssertionSample(value);
     return;
   }
-  if (type === "object" && isRecord(value)) {
+  if (type === "object" && isRecord2(value)) {
     const keyCount = Object.keys(value).length;
     result.observed_key_count = keyCount;
     result.observed_omitted_count = Math.max(0, keyCount - 8);
@@ -8756,7 +9043,7 @@ function deepJsonEqual(left, right) {
     if (!Array.isArray(left) || !Array.isArray(right) || left.length !== right.length) return false;
     return left.every((item, index) => deepJsonEqual(item, right[index]));
   }
-  if (!isRecord(left) || !isRecord(right)) return false;
+  if (!isRecord2(left) || !isRecord2(right)) return false;
   const leftKeys = Object.keys(left).sort();
   const rightKeys = Object.keys(right).sort();
   if (!deepJsonEqual(leftKeys, rightKeys)) return false;
@@ -8769,7 +9056,7 @@ function jsonContains(observed, expected) {
   if (Array.isArray(observed)) {
     return observed.some((item) => deepJsonEqual(item, expected));
   }
-  if (isRecord(observed) && isRecord(expected)) {
+  if (isRecord2(observed) && isRecord2(expected)) {
     return Object.entries(expected).every(([key, value]) => hasOwn(observed, key) && deepJsonEqual(observed[key], value));
   }
   return false;
@@ -8837,7 +9124,7 @@ function resolveJsonPath(root, path7) {
     if (typeof segment === "number") {
       return { exists: false };
     }
-    if (!isRecord(current) || !hasOwn(current, segment)) return { exists: false };
+    if (!isRecord2(current) || !hasOwn(current, segment)) return { exists: false };
     current = current[segment];
   }
   return { exists: true, value: current };
@@ -8911,9 +9198,9 @@ function profileSetupFrameUrls(viewport) {
   const urls = [];
   const frames = viewport.frames || {};
   for (const container of Object.values(frames)) {
-    if (!isRecord(container) || !Array.isArray(container.frames)) continue;
+    if (!isRecord2(container) || !Array.isArray(container.frames)) continue;
     for (const frame of container.frames) {
-      if (!isRecord(frame)) continue;
+      if (!isRecord2(frame)) continue;
       const url = typeof frame.url === "string" ? frame.url : void 0;
       if (url && !urls.includes(url)) urls.push(url);
     }
@@ -9007,7 +9294,7 @@ function profileSetupReturnSummaryFields(result) {
       if (path8) fields.push({ path: path8 });
       continue;
     }
-    if (!isRecord(item)) continue;
+    if (!isRecord2(item)) continue;
     const path7 = stringValue3(item.path) ?? stringValue3(item.key) ?? stringValue3(item.json_path) ?? stringValue3(item.jsonPath);
     if (!path7) continue;
     const label = stringValue3(item.label) ?? stringValue3(item.name) ?? stringValue3(item.title);
@@ -9243,6 +9530,12 @@ function profileScreenshotLabels(viewports) {
   }
   return labels;
 }
+function profileFinalScreenshotLabels(viewports) {
+  return (viewports || []).map((viewport) => viewport.screenshot_label).filter((label) => typeof label === "string" && Boolean(label.trim()));
+}
+function profileAllSetupScreenshotLabels(viewports) {
+  return (viewports || []).flatMap((viewport) => profileSetupScreenshotLabels(viewport.setup_action_results || []));
+}
 function profileSetupSummary(viewports, actionCount, expectedActionCountByViewport, finalScreenshotFullPage) {
   const normalizedFinalScreenshotFullPage = finalScreenshotFullPage === void 0 ? void 0 : finalScreenshotFullPage !== false;
   const finalScreenshotCount = viewports.filter((viewport) => typeof viewport.screenshot_label === "string" && viewport.screenshot_label.trim()).length;
@@ -9397,7 +9690,7 @@ function slugifyRiddleProofProfileName(value) {
   return value.toLowerCase().replace(/[^a-z0-9]+/g, "-").replace(/^-+|-+$/g, "").slice(0, 80) || "profile";
 }
 function normalizeViewport(input, index) {
-  if (!isRecord(input)) throw new Error(`target.viewports[${index}] must be an object.`);
+  if (!isRecord2(input)) throw new Error(`target.viewports[${index}] must be an object.`);
   const width = numberValue2(input.width);
   const height = numberValue2(input.height);
   if (!width || !height || width < 100 || height < 100) {
@@ -9463,7 +9756,7 @@ function normalizeReturnSummaryFields(input, index) {
       if (!path8) throw new Error(`target.setup_actions[${index}].return_summary_fields[${fieldIndex}] requires path.`);
       return { path: path8 };
     }
-    if (!isRecord(field)) {
+    if (!isRecord2(field)) {
       throw new Error(`target.setup_actions[${index}].return_summary_fields[${fieldIndex}] must be a string path or object.`);
     }
     const path7 = stringFromOwn(field, "path", "key", "json_path", "jsonPath");
@@ -9572,7 +9865,7 @@ function normalizeSetupActionNonNegativeNumber(input, index, outputKey, ...keys)
   return value;
 }
 function normalizeSetupAction(input, index) {
-  if (!isRecord(input)) throw new Error(`target.setup_actions[${index}] must be an object.`);
+  if (!isRecord2(input)) throw new Error(`target.setup_actions[${index}] must be an object.`);
   const type = normalizeSetupActionType(stringValue3(input.type), index);
   const rawType = String(input.type || "").trim().replace(/-/g, "_").toLowerCase();
   const selector = stringValue3(input.selector);
@@ -9864,7 +10157,7 @@ function normalizeTargetScreenshotFullPage(input) {
   return values[0];
 }
 function normalizeNetworkMock(input, index) {
-  if (!isRecord(input)) throw new Error(`target.network_mocks[${index}] must be an object.`);
+  if (!isRecord2(input)) throw new Error(`target.network_mocks[${index}] must be an object.`);
   const url = stringValue3(input.url) || stringValue3(input.glob) || stringValue3(input.pattern);
   if (!url) throw new Error(`target.network_mocks[${index}] requires url.`);
   const payload = normalizeNetworkMockResponsePayload(input, `target.network_mocks[${index}]`);
@@ -10019,7 +10312,7 @@ function normalizeNetworkMockResponses(value, mockIndex, defaults) {
     abort_error_code: defaults.abort_error_code
   };
   return value.map((response, responseIndex) => {
-    if (!isRecord(response)) {
+    if (!isRecord2(response)) {
       throw new Error(`target.network_mocks[${mockIndex}].responses[${responseIndex}] must be an object.`);
     }
     return normalizeNetworkMockResponsePayload(
@@ -10116,7 +10409,7 @@ function normalizeRouteInventoryPath(value, label) {
 }
 function normalizeRouteInventoryRoute(input, index) {
   if (typeof input === "string") return { path: normalizeRouteInventoryPath(input, `checks route_inventory expected_routes[${index}]`) };
-  if (!isRecord(input)) throw new Error(`checks route_inventory expected_routes[${index}] must be a string or object.`);
+  if (!isRecord2(input)) throw new Error(`checks route_inventory expected_routes[${index}] must be a string or object.`);
   return {
     name: stringValue3(input.name),
     path: normalizeRouteInventoryPath(input.path, `checks route_inventory expected_routes[${index}]`)
@@ -10195,7 +10488,7 @@ function normalizeHttpStatusBodyJsonAssertions(value, label) {
       if (!path8) throw new Error(`${itemLabel} path must not be empty.`);
       return { path: path8, exists: true };
     }
-    if (!isRecord(item)) throw new Error(`${itemLabel} must be an object or JSON path string.`);
+    if (!isRecord2(item)) throw new Error(`${itemLabel} must be an object or JSON path string.`);
     const path7 = stringFromOwn(item, "path", "json_path", "jsonPath", "key");
     if (!path7) throw new Error(`${itemLabel}.path is required.`);
     const assertion = {
@@ -10233,7 +10526,7 @@ function dialogCountFieldForCheckType(type) {
   return "dialog_count";
 }
 function normalizeCheck(input, index) {
-  if (!isRecord(input)) throw new Error(`checks[${index}] must be an object.`);
+  if (!isRecord2(input)) throw new Error(`checks[${index}] must be an object.`);
   const type = stringValue3(input.type);
   if (!type) throw new Error(`checks[${index}].type is required.`);
   if (!isSupportedCheckType(type)) {
@@ -10398,7 +10691,7 @@ function normalizeFailurePolicy(input) {
     configuration_error: "fail",
     needs_human_review: "fail"
   };
-  if (!isRecord(input)) return defaults;
+  if (!isRecord2(input)) return defaults;
   const next = { ...defaults };
   for (const [key, value] of Object.entries(input)) {
     if (!RIDDLE_PROOF_PROFILE_STATUSES.includes(key)) continue;
@@ -10409,12 +10702,12 @@ function normalizeFailurePolicy(input) {
   return next;
 }
 function normalizeRiddleProofProfile(input, options = {}) {
-  if (!isRecord(input)) throw new Error("profile must be a JSON object.");
+  if (!isRecord2(input)) throw new Error("profile must be a JSON object.");
   const version = stringValue3(input.version) || RIDDLE_PROOF_PROFILE_VERSION;
   if (version !== RIDDLE_PROOF_PROFILE_VERSION) {
     throw new Error(`Unsupported profile version ${version}. Expected ${RIDDLE_PROOF_PROFILE_VERSION}.`);
   }
-  const targetInput = isRecord(input.target) ? input.target : {};
+  const targetInput = isRecord2(input.target) ? input.target : {};
   const checks = Array.isArray(input.checks) ? input.checks.map(normalizeCheck) : [];
   if (!checks.length) throw new Error("profile.checks must contain at least one check.");
   const targetUrl = stringValue3(options.url) || stringValue3(targetInput.url);
@@ -10545,19 +10838,19 @@ function linkStatusContentTypeOk(result, check) {
 function httpStatusBodyContainsFailures(result, check) {
   const expected = check.body_contains?.filter(Boolean) ?? [];
   if (!expected.length) return [];
-  const observed = isRecord(result.body_contains) ? result.body_contains : {};
+  const observed = isRecord2(result.body_contains) ? result.body_contains : {};
   return expected.filter((text) => observed[text] !== true);
 }
 function httpStatusBodyNotContainsFailures(result, check) {
   const forbidden = check.body_not_contains?.filter(Boolean) ?? [];
   if (!forbidden.length) return [];
-  const observed = isRecord(result.body_not_contains) ? result.body_not_contains : {};
+  const observed = isRecord2(result.body_not_contains) ? result.body_not_contains : {};
   return forbidden.filter((text) => observed[text] !== false);
 }
 function httpStatusBodyNotPatternFailures(result, check) {
   const forbidden = check.body_not_patterns?.filter(Boolean) ?? [];
   if (!forbidden.length) return [];
-  const observed = isRecord(result.body_not_patterns) ? result.body_not_patterns : {};
+  const observed = isRecord2(result.body_not_patterns) ? result.body_not_patterns : {};
   return forbidden.filter((pattern) => observed[pattern] !== false);
 }
 function httpStatusBodyJsonAssertionFailures(result, check) {
@@ -10573,7 +10866,7 @@ function httpStatusBodyJsonAssertionFailures(result, check) {
       errors: ["body_json_assertions evidence missing"]
     }));
   }
-  return result.body_json_assertions.filter((assertion) => isRecord(assertion) && assertion.ok !== true).map((assertion) => ({
+  return result.body_json_assertions.filter((assertion) => isRecord2(assertion) && assertion.ok !== true).map((assertion) => ({
     label: stringValue3(assertion.label) || stringValue3(assertion.path) || "json assertion",
     path: stringValue3(assertion.path) || "",
     ok: false,
@@ -10639,7 +10932,7 @@ async function responseBodyText(response) {
   return { text: "", bytes: null };
 }
 function httpStatusRequestBody(check) {
-  const headers = isRecord(check.headers) ? Object.fromEntries(Object.entries(check.headers).map(([key, value]) => [key, String(value)]).filter(([key]) => key.trim())) : {};
+  const headers = isRecord2(check.headers) ? Object.fromEntries(Object.entries(check.headers).map(([key, value]) => [key, String(value)]).filter(([key]) => key.trim())) : {};
   if (check.body_json !== void 0) {
     if (!Object.keys(headers).some((key) => key.toLowerCase() === "content-type")) {
       headers["content-type"] = "application/json";
@@ -10716,11 +11009,11 @@ async function preflightHttpStatusCheck(check, index, targetUrl, fetchImpl) {
     content_type: stringValue3(result.content_type) ?? null,
     content_length: numberValue2(result.content_length) ?? null,
     bytes: numberValue2(result.bytes) ?? null,
-    body_contains: isRecord(result.body_contains) ? Object.fromEntries(Object.entries(result.body_contains).map(([key, value]) => [key, value === true])) : null,
+    body_contains: isRecord2(result.body_contains) ? Object.fromEntries(Object.entries(result.body_contains).map(([key, value]) => [key, value === true])) : null,
     body_contains_missing: bodyContainsMissing,
-    body_not_contains: isRecord(result.body_not_contains) ? Object.fromEntries(Object.entries(result.body_not_contains).map(([key, value]) => [key, value === true])) : null,
+    body_not_contains: isRecord2(result.body_not_contains) ? Object.fromEntries(Object.entries(result.body_not_contains).map(([key, value]) => [key, value === true])) : null,
     body_not_contains_found: bodyNotContainsFound,
-    body_not_patterns: isRecord(result.body_not_patterns) ? Object.fromEntries(Object.entries(result.body_not_patterns).map(([key, value]) => [key, value === true])) : null,
+    body_not_patterns: isRecord2(result.body_not_patterns) ? Object.fromEntries(Object.entries(result.body_not_patterns).map(([key, value]) => [key, value === true])) : null,
     body_not_patterns_found: bodyNotPatternsFound,
     body_json_assertions: Array.isArray(result.body_json_assertions) ? result.body_json_assertions : null,
     body_json_assertions_failed: bodyJsonAssertionsFailed
@@ -10748,7 +11041,7 @@ async function preflightRiddleProofProfileHttpStatusChecks(profile, options = {}
 }
 function httpStatusEvidenceForCheck(viewport, check) {
   const evidence = viewport.http_statuses?.[httpStatusKey(check, viewport.url)];
-  return isRecord(evidence) ? evidence : void 0;
+  return isRecord2(evidence) ? evidence : void 0;
 }
 function summarizeHttpStatusEvidence(viewport, check) {
   const key = httpStatusKey(check, viewport.url);
@@ -10804,11 +11097,11 @@ function summarizeHttpStatusEvidence(viewport, check) {
     content_type: stringValue3(statusEvidence.content_type) ?? null,
     content_length: numberValue2(statusEvidence.content_length) ?? null,
     bytes: linkStatusObservedBytes(statusEvidence) ?? null,
-    body_contains: isRecord(statusEvidence.body_contains) ? toJsonValue(statusEvidence.body_contains) : null,
+    body_contains: isRecord2(statusEvidence.body_contains) ? toJsonValue(statusEvidence.body_contains) : null,
     body_contains_missing: bodyContainsMissing,
-    body_not_contains: isRecord(statusEvidence.body_not_contains) ? toJsonValue(statusEvidence.body_not_contains) : null,
+    body_not_contains: isRecord2(statusEvidence.body_not_contains) ? toJsonValue(statusEvidence.body_not_contains) : null,
     body_not_contains_found: bodyNotContainsFound,
-    body_not_patterns: isRecord(statusEvidence.body_not_patterns) ? toJsonValue(statusEvidence.body_not_patterns) : null,
+    body_not_patterns: isRecord2(statusEvidence.body_not_patterns) ? toJsonValue(statusEvidence.body_not_patterns) : null,
     body_not_patterns_found: bodyNotPatternsFound,
     body_json_assertions: Array.isArray(statusEvidence.body_json_assertions) ? toJsonValue(statusEvidence.body_json_assertions) : null,
     body_json_assertions_failed: bodyJsonAssertionsFailed.map((assertion) => toJsonValue(assertion)),
@@ -10818,7 +11111,7 @@ function summarizeHttpStatusEvidence(viewport, check) {
 }
 function linkStatusEvidenceForCheck(viewport, check) {
   const evidence = viewport.link_statuses?.[linkStatusSelector(check)];
-  return isRecord(evidence) ? evidence : void 0;
+  return isRecord2(evidence) ? evidence : void 0;
 }
 function summarizeLinkStatusEvidence(viewport, check) {
   const linkEvidence = linkStatusEvidenceForCheck(viewport, check);
@@ -10832,7 +11125,7 @@ function summarizeLinkStatusEvidence(viewport, check) {
       failures: [{ code: "link_status_evidence_missing" }]
     };
   }
-  const results = Array.isArray(linkEvidence.results) ? linkEvidence.results.filter(isRecord) : [];
+  const results = Array.isArray(linkEvidence.results) ? linkEvidence.results.filter(isRecord2) : [];
   const totalCount = numberValue2(linkEvidence.total_count) ?? results.length;
   const resultCount = numberValue2(linkEvidence.result_count) ?? totalCount;
   const storedResultCount = numberValue2(linkEvidence.stored_result_count) ?? results.length;
@@ -10875,7 +11168,7 @@ function summarizeLinkStatusEvidence(viewport, check) {
   if (check.min_count !== void 0 && totalCount < check.min_count) {
     failures.push({ code: "link_status_count_below_minimum", min_count: check.min_count, actual: totalCount });
   }
-  const statusCounts = isRecord(linkEvidence.status_counts) ? linkEvidence.status_counts : {};
+  const statusCounts = isRecord2(linkEvidence.status_counts) ? linkEvidence.status_counts : {};
   return {
     viewport: viewport.name,
     selector: linkStatusSelector(check),
@@ -10912,7 +11205,7 @@ function observeWithinKey(check) {
 function textSequenceForCheck(viewport, check) {
   const key = selectorKey(check);
   const sequence = viewport.text_sequences?.[key];
-  if (isRecord(sequence)) {
+  if (isRecord2(sequence)) {
     const visibleMatchTexts = Array.isArray(sequence.visible_match_texts) ? sequence.visible_match_texts : [];
     const matchTexts = Array.isArray(sequence.match_texts) ? sequence.match_texts : [];
     const visibleTexts = Array.isArray(sequence.visible_texts) ? sequence.visible_texts : [];
@@ -10942,9 +11235,9 @@ function textOrderMatch(texts, expectedTexts) {
 }
 function frameEvidenceForSelector(viewport, selector) {
   const container = viewport.frames?.[selector];
-  if (!isRecord(container)) return [];
+  if (!isRecord2(container)) return [];
   const frames = Array.isArray(container.frames) ? container.frames : [];
-  return frames.filter((frame) => isRecord(frame));
+  return frames.filter((frame) => isRecord2(frame));
 }
 function frameTextSample(frame) {
   const parts = [
@@ -10988,7 +11281,7 @@ function routeInventoryExpectedRouteSummaries(value, fallback) {
       const path8 = route.trim();
       return path8 ? { path: path8 } : void 0;
     }
-    if (!isRecord(route)) return void 0;
+    if (!isRecord2(route)) return void 0;
     const path7 = stringValue3(route.path);
     if (!path7) return void 0;
     const name = stringValue3(route.name);
@@ -11070,11 +11363,11 @@ function textCheckFailureSamples(viewport, check) {
   return fallback ? [fallback] : [];
 }
 function allowedMessageSample(input) {
-  if (!isRecord(input)) return String(input || "");
+  if (!isRecord2(input)) return String(input || "");
   const parts = [
     input.text,
     input.message,
-    isRecord(input.location) ? input.location.url : void 0
+    isRecord2(input.location) ? input.location.url : void 0
   ];
   return parts.map((part) => String(part || "")).filter(Boolean).join(" ");
 }
@@ -11091,12 +11384,12 @@ function matchesAllowedMessage(input, texts, patterns) {
   return false;
 }
 function consoleEventLocationUrl(input) {
-  if (!isRecord(input) || !isRecord(input.location)) return void 0;
+  if (!isRecord2(input) || !isRecord2(input.location)) return void 0;
   return stringValue3(input.location.url);
 }
 function expectedFailedNetworkMockEvents(evidence) {
   return (evidence.network_mocks || []).filter((event) => {
-    if (!isRecord(event) || event.ok === false) return false;
+    if (!isRecord2(event) || event.ok === false) return false;
     const status = numberValue2(event.status);
     const isHttpFailure = status !== void 0 && status >= 400;
     const isAbortedMock = event.abort === true && Boolean(stringValue3(event.abort_error_code));
@@ -11126,7 +11419,7 @@ function expectedFailedNetworkMockConsoleEventSummary(event, evidence) {
     abort_error_code: match ? stringValue3(match.abort_error_code) ?? null : null,
     label: match ? stringValue3(match.label) ?? null : null,
     response_label: match ? stringValue3(match.response_label) ?? null : null,
-    text: isRecord(event) && typeof event.text === "string" ? event.text.slice(0, 300) : sample.slice(0, 300)
+    text: isRecord2(event) && typeof event.text === "string" ? event.text.slice(0, 300) : sample.slice(0, 300)
   };
 }
 function normalizeRoutePath2(path7) {
@@ -11647,7 +11940,7 @@ function assessCheckFromEvidence(check, evidence) {
     };
   }
   if (check.type === "route_inventory") {
-    const inventories = viewports.map((viewport) => ({ viewport: viewport.name, inventory: viewport.route_inventory })).filter((item) => isRecord(item.inventory));
+    const inventories = viewports.map((viewport) => ({ viewport: viewport.name, inventory: viewport.route_inventory })).filter((item) => isRecord2(item.inventory));
     if (!inventories.length) {
       return {
         type: check.type,
@@ -12093,6 +12386,8 @@ function assessRiddleProofProfileEvidence(profile, evidence, options = {}) {
   const status = profileStatusFromEvidence(profile, evidence, checks);
   const firstViewport = evidence?.viewports?.[0];
   const screenshots = profileScreenshotLabels(evidence?.viewports);
+  const canonicalScreenshots = profileFinalScreenshotLabels(evidence?.viewports);
+  const setupScreenshots = profileAllSetupScreenshotLabels(evidence?.viewports);
   const result = {
     version: RIDDLE_PROOF_PROFILE_RESULT_VERSION,
     profile_name: profile.name,
@@ -12102,6 +12397,8 @@ function assessRiddleProofProfileEvidence(profile, evidence, options = {}) {
     route: routeForViewport(firstViewport, evidence?.target_url),
     artifacts: {
       screenshots,
+      canonical_screenshots: canonicalScreenshots,
+      setup_screenshots: setupScreenshots,
       console: "console.json",
       proof_json: "proof.json",
       dom_summary: "dom-summary.json",
@@ -13420,6 +13717,12 @@ function profileScreenshotLabels(viewports) {
   }
   return labels;
 }
+function profileFinalScreenshotLabels(viewports) {
+  return (viewports || []).map((viewport) => viewport && viewport.screenshot_label).filter(Boolean);
+}
+function profileAllSetupScreenshotLabels(viewports) {
+  return (viewports || []).flatMap((viewport) => profileSetupScreenshotLabels(viewport && viewport.setup_action_results || []));
+}
 function profileSetupSummary(viewports, actionCount, expectedActionCountsByViewport, finalScreenshotFullPage) {
   const normalizedFinalScreenshotFullPage = finalScreenshotFullPage === undefined
     ? undefined
@@ -14288,6 +14591,8 @@ function assessProfile(profile, evidence) {
   else if (checks.some((check) => check.status === "needs_human_review")) status = "needs_human_review";
   else if (checks.some((check) => check.status === "failed")) status = "product_regression";
   const screenshotLabels = profileScreenshotLabels(viewports);
+  const canonicalScreenshotLabels = profileFinalScreenshotLabels(viewports);
+  const setupScreenshotLabels = profileAllSetupScreenshotLabels(viewports);
   const route = viewports[0] && viewports[0].route ? viewports[0].route : { requested: evidence.target_url, observed: "", matched: false, error: "missing viewport evidence" };
   const passedChecks = checks.filter((check) => check.status === "passed").length;
   const failedChecks = checks.filter((check) => check.status === "failed").length;
@@ -14304,7 +14609,14 @@ function assessProfile(profile, evidence) {
     status,
     baseline_policy: profile.baseline_policy || "invariant_only",
     route,
-    artifacts: { screenshots: screenshotLabels, console: "console.json", proof_json: "proof.json", dom_summary: "dom-summary.json" },
+    artifacts: {
+      screenshots: screenshotLabels,
+      canonical_screenshots: canonicalScreenshotLabels,
+      setup_screenshots: setupScreenshotLabels,
+      console: "console.json",
+      proof_json: "proof.json",
+      dom_summary: "dom-summary.json"
+    },
     checks,
     summary,
     captured_at: evidence.captured_at,
@@ -17975,7 +18287,7 @@ function collectRiddleProfileArtifactRefs(input) {
   const indexes = /* @__PURE__ */ new Map();
   const priorities = /* @__PURE__ */ new Map();
   function add(item, source) {
-    if (!isRecord(item)) return;
+    if (!isRecord2(item)) return;
     const url = stringValue3(item.url);
     const path7 = stringValue3(item.path);
     const rawName = stringValue3(item.name) || stringValue3(item.filename) || artifactNameFromPath(url || path7) || "";
@@ -18008,7 +18320,7 @@ function collectRiddleProfileArtifactRefs(input) {
       for (const item of value) add(item, source);
       return;
     }
-    if (!isRecord(value)) return;
+    if (!isRecord2(value)) return;
     for (const key of ["artifacts", "outputs", "screenshots", "files"]) {
       if (Array.isArray(value[key])) visit(value[key], key);
     }
@@ -18042,82 +18354,944 @@ var PROFILE_SINGLETON_ARTIFACT_NAMES = /* @__PURE__ */ new Set([
   "dom-summary.json"
 ]);
 function extractRiddleProofProfileResult(input) {
-  if (!isRecord(input)) return void 0;
+  if (!isRecord2(input)) return void 0;
   if (input.version === RIDDLE_PROOF_PROFILE_RESULT_VERSION) return input;
   const candidates = [
     input.result,
     input.return_value,
     input.value,
     input.profile_result,
-    isRecord(input["proof.json"]) ? input["proof.json"] : void 0,
-    isRecord(input._proof_json) ? input._proof_json : void 0
+    isRecord2(input["proof.json"]) ? input["proof.json"] : void 0,
+    isRecord2(input._proof_json) ? input._proof_json : void 0
   ];
   for (const candidate of candidates) {
     const result = extractRiddleProofProfileResult(candidate);
     if (result) return result;
   }
-  if (isRecord(input._artifact_json)) {
+  if (isRecord2(input._artifact_json)) {
     return extractRiddleProofProfileResult(input._artifact_json["proof.json"]);
   }
   return void 0;
 }
 
-// src/pr-comment.ts
-var RIDDLE_PROOF_PR_COMMENT_MARKER = "<!-- riddle-proof:pr-comment:v1 -->";
-function asRecord2(value) {
-  return value && typeof value === "object" && !Array.isArray(value) ? value : {};
+// src/change-proof.ts
+var RIDDLE_PROOF_CHANGE_RESULT_VERSION = "riddle-proof.change-result.v1";
+var RIDDLE_PROOF_CHANGE_RECEIPT_V1_VERSION = "riddle-proof.change-receipt.v1";
+var RIDDLE_PROOF_CHANGE_RECEIPT_VERSION = "riddle-proof.change-receipt.v2";
+var RIDDLE_PROOF_HANDOFF_RECEIPT_VERSION = "riddle-proof.handoff-receipt.v1";
+var DEFAULT_BEFORE_STATUSES = ["passed", "product_regression"];
+var DEFAULT_AFTER_STATUSES = ["passed"];
+var DEFAULT_PROFILE_STATUS_TRANSITION_BEFORE = ["product_regression"];
+var DEFAULT_PROFILE_STATUS_TRANSITION_AFTER = ["passed"];
+var DEFAULT_CHECK_STATUS_TRANSITION_BEFORE = ["failed"];
+var DEFAULT_CHECK_STATUS_TRANSITION_AFTER = ["passed"];
+function listValue(value, fallback) {
+  if (Array.isArray(value)) return value;
+  if (value === void 0) return fallback;
+  return [value];
 }
-function asArray(value) {
-  return Array.isArray(value) ? value : [];
+function includesValue(allowed, observed) {
+  return observed !== void 0 && allowed.includes(observed);
 }
-function stringValue4(value) {
-  return typeof value === "string" && value.trim() ? value.trim() : void 0;
+function groupResult(side, contract, result) {
+  const fallback = side === "before" ? DEFAULT_BEFORE_STATUSES : DEFAULT_AFTER_STATUSES;
+  const requiredStatus = listValue(contract?.required_status, fallback);
+  const label = contract?.label || side;
+  if (!result) {
+    return {
+      side,
+      label,
+      ok: false,
+      status: "missing",
+      required_status: requiredStatus,
+      message: `${label} profile result is missing.`
+    };
+  }
+  const ok = includesValue(requiredStatus, result.status);
+  return {
+    side,
+    label,
+    ok,
+    profile_name: result.profile_name,
+    status: result.status,
+    required_status: requiredStatus,
+    summary: result.summary,
+    message: ok ? void 0 : `${label} profile status ${result.status} did not match required status ${requiredStatus.join(", ")}.`
+  };
 }
-function numberValue3(value) {
-  return typeof value === "number" && Number.isFinite(value) ? value : void 0;
+function findCheck(result, delta) {
+  return result.checks.find((check) => {
+    if (delta.check_label && check.label !== delta.check_label) return false;
+    if (delta.check_type && check.type !== delta.check_type) return false;
+    return Boolean(delta.check_label || delta.check_type);
+  });
 }
-function booleanValue3(value) {
-  return typeof value === "boolean" ? value : void 0;
+function profileStatusTransitionResult(delta, before, after) {
+  const label = delta.label || "profile-status-transition";
+  if (!before || !after) {
+    return {
+      type: delta.type,
+      label,
+      status: "proof_insufficient",
+      before_observed: before?.status,
+      after_observed: after?.status,
+      message: `${label} needs both before and after profile results.`
+    };
+  }
+  const beforeAllowed = listValue(delta.before_status, DEFAULT_PROFILE_STATUS_TRANSITION_BEFORE);
+  const afterAllowed = listValue(delta.after_status, DEFAULT_PROFILE_STATUS_TRANSITION_AFTER);
+  const passed = includesValue(beforeAllowed, before.status) && includesValue(afterAllowed, after.status);
+  return {
+    type: delta.type,
+    label,
+    status: passed ? "passed" : "failed",
+    before_observed: before.status,
+    after_observed: after.status,
+    message: passed ? void 0 : `${label} expected before ${beforeAllowed.join(", ")} and after ${afterAllowed.join(", ")}, got ${before.status} -> ${after.status}.`
+  };
 }
-function firstStringValue2(...values) {
-  for (const value of values) {
-    const text = stringValue4(value);
-    if (text) return text;
+function checkStatusTransitionResult(delta, before, after) {
+  const label = delta.label || delta.check_label || delta.check_type || "check-status-transition";
+  if (!delta.check_label && !delta.check_type) {
+    return {
+      type: delta.type,
+      label,
+      status: "configuration_error",
+      message: `${label} needs check_label or check_type.`
+    };
   }
-  return void 0;
+  if (!before || !after) {
+    return {
+      type: delta.type,
+      label,
+      status: "proof_insufficient",
+      before_observed: before?.status,
+      after_observed: after?.status,
+      message: `${label} needs both before and after profile results.`
+    };
+  }
+  const beforeCheck = findCheck(before, delta);
+  const afterCheck = findCheck(after, delta);
+  if (!beforeCheck || !afterCheck) {
+    return {
+      type: delta.type,
+      label,
+      status: "proof_insufficient",
+      before_observed: beforeCheck?.status,
+      after_observed: afterCheck?.status,
+      message: `${label} was not present in ${!beforeCheck && !afterCheck ? "before or after" : !beforeCheck ? "before" : "after"} profile checks.`
+    };
+  }
+  const beforeAllowed = listValue(delta.before_status, DEFAULT_CHECK_STATUS_TRANSITION_BEFORE);
+  const afterAllowed = listValue(delta.after_status, DEFAULT_CHECK_STATUS_TRANSITION_AFTER);
+  const passed = includesValue(beforeAllowed, beforeCheck.status) && includesValue(afterAllowed, afterCheck.status);
+  return {
+    type: delta.type,
+    label,
+    status: passed ? "passed" : "failed",
+    before_observed: beforeCheck.status,
+    after_observed: afterCheck.status,
+    message: passed ? void 0 : `${label} expected before ${beforeAllowed.join(", ")} and after ${afterAllowed.join(", ")}, got ${beforeCheck.status} -> ${afterCheck.status}.`
+  };
 }
-function artifactKind(name, url) {
-  const target = `${name} ${url}`.toLowerCase();
-  if (/\.(png|jpe?g|gif|webp|avif|svg)(\?|#|$)/.test(target)) return "image";
-  if (/\.(json|har|txt|md|html|log)(\?|#|$)/.test(target)) return "data";
-  return "artifact";
+function assessDelta(delta, before, after) {
+  if (delta.type === "profile_status_transition") {
+    return profileStatusTransitionResult(delta, before, after);
+  }
+  return checkStatusTransitionResult(delta, before, after);
 }
-function artifactDisplayName(value, fallback) {
-  const raw = stringValue4(value);
-  if (raw) return raw;
-  return fallback;
+function profileResultFromObservation(observation) {
+  return observation?.proof?.result;
 }
-function collectArtifacts(runResponse) {
-  const proofResult = asRecord2(runResponse.proofResult);
-  const outputs = asArray(proofResult.outputs);
-  const artifacts = [];
-  const seen = /* @__PURE__ */ new Set();
-  for (const [index, item] of outputs.entries()) {
-    const artifact = asRecord2(item);
-    const url = stringValue4(artifact.url);
-    if (!url || seen.has(url)) continue;
-    seen.add(url);
-    const name = artifactDisplayName(artifact.name, `artifact-${index + 1}`);
-    artifacts.push({
-      name,
-      url,
-      kind: artifactKind(name, url),
-      size_bytes: numberValue3(artifact.size)
-    });
+function previewReceiptCoversTarget(previewUrl, targetUrl) {
+  try {
+    const preview = new URL(previewUrl);
+    const target = new URL(targetUrl);
+    const previewPath = preview.pathname.replace(/\/+$/u, "");
+    return preview.origin === target.origin && (target.pathname === previewPath || target.pathname.startsWith(`${previewPath}/`));
+  } catch {
+    return false;
   }
-  return artifacts;
 }
-function collectProfileArtifacts(result) {
+function sourceBindingResult(side, requirement, observation, expectedRevision, evaluatedAt) {
+  const expected = expectedRevision || requirement?.expected_git_revision;
+  const required = Boolean(
+    requirement?.preview_receipt_required || requirement?.require_clean_source || requirement?.require_content_digest || requirement?.expected_git_revision || expected
+  );
+  if (!required) return { side, required: false, ok: true, status: "not_required" };
+  if (!observation) {
+    return {
+      side,
+      required: true,
+      ok: false,
+      status: "missing",
+      expected_git_revision: expected,
+      message: `${side} source binding requires an Observation receipt.`
+    };
+  }
+  const preview = observation.target.preview;
+  if (requirement?.preview_receipt_required && !preview) {
+    return {
+      side,
+      required: true,
+      ok: false,
+      status: "missing",
+      expected_git_revision: expected,
+      message: `${side} source binding requires a Preview receipt.`
+    };
+  }
+  if (preview && !previewReceiptCoversTarget(preview.url, observation.target.url)) {
+    return {
+      side,
+      required: true,
+      ok: false,
+      status: "mismatched",
+      expected_git_revision: expected,
+      observed_git_revision: preview.source.git_revision || observation.source.git_revision,
+      content_digest: preview.content_digest,
+      preview_id: preview.preview_id,
+      preview_url: preview.url,
+      target_url: observation.target.url,
+      message: `${side} observation target is not contained by Preview ${preview.preview_id}.`
+    };
+  }
+  const observed = preview?.source.git_revision || observation.source.git_revision;
+  const digestRequired = requirement?.require_content_digest === true || requirement?.preview_receipt_required === true;
+  if (digestRequired && !preview?.content_digest) {
+    return {
+      side,
+      required: true,
+      ok: false,
+      status: "missing",
+      expected_git_revision: expected,
+      observed_git_revision: observed,
+      preview_id: preview?.preview_id,
+      preview_url: preview?.url,
+      target_url: observation.target.url,
+      message: `${side} Preview receipt is missing a content digest.`
+    };
+  }
+  if (expected && !observed) {
+    return {
+      side,
+      required: true,
+      ok: false,
+      status: "missing",
+      expected_git_revision: expected,
+      content_digest: preview?.content_digest,
+      preview_id: preview?.preview_id,
+      preview_url: preview?.url,
+      target_url: observation.target.url,
+      message: `${side} evidence is missing its source Git revision.`
+    };
+  }
+  if (expected && observed !== expected) {
+    return {
+      side,
+      required: true,
+      ok: false,
+      status: "mismatched",
+      expected_git_revision: expected,
+      observed_git_revision: observed,
+      content_digest: preview?.content_digest,
+      preview_id: preview?.preview_id,
+      preview_url: preview?.url,
+      target_url: observation.target.url,
+      message: `${side} evidence came from Git revision ${observed}, not expected revision ${expected}.`
+    };
+  }
+  const cleanRequired = requirement?.require_clean_source === true || requirement?.preview_receipt_required === true;
+  const dirty = preview?.source.dirty ?? observation.source.dirty;
+  if (cleanRequired && dirty !== false) {
+    return {
+      side,
+      required: true,
+      ok: false,
+      status: dirty === true ? "mismatched" : "missing",
+      expected_git_revision: expected,
+      observed_git_revision: observed,
+      content_digest: preview?.content_digest,
+      preview_id: preview?.preview_id,
+      preview_url: preview?.url,
+      target_url: observation.target.url,
+      message: dirty === true ? `${side} evidence was built from a dirty worktree and is not bound only to its Git revision.` : `${side} evidence does not record whether its source worktree was clean.`
+    };
+  }
+  const evaluatedMs = Date.parse(evaluatedAt);
+  const expiresMs = preview?.expires_at ? Date.parse(preview.expires_at) : Number.NaN;
+  if (preview && Number.isFinite(evaluatedMs) && Number.isFinite(expiresMs) && expiresMs <= evaluatedMs) {
+    return {
+      side,
+      required: true,
+      ok: false,
+      status: "stale",
+      expected_git_revision: expected,
+      observed_git_revision: observed,
+      content_digest: preview.content_digest,
+      preview_id: preview.preview_id,
+      preview_url: preview.url,
+      target_url: observation.target.url,
+      expires_at: preview.expires_at,
+      message: `${side} Preview receipt expired at ${preview.expires_at}.`
+    };
+  }
+  return {
+    side,
+    required: true,
+    ok: true,
+    status: "matched",
+    expected_git_revision: expected,
+    observed_git_revision: observed,
+    content_digest: preview?.content_digest,
+    preview_id: preview?.preview_id,
+    preview_url: preview?.url,
+    target_url: observation.target.url,
+    expires_at: preview?.expires_at
+  };
+}
+function collapsedChangeStatus(groups, deltas, sourceBindings) {
+  const groupResults = [groups.before, groups.after];
+  if (groupResults.some((group) => group.status === "environment_blocked")) return "environment_blocked";
+  if (groupResults.some((group) => group.status === "configuration_error")) return "configuration_error";
+  if (deltas.some((delta) => delta.status === "configuration_error")) return "configuration_error";
+  if (groupResults.some((group) => group.status === "needs_human_review")) return "needs_human_review";
+  if (groupResults.some((group) => group.status === "missing" || group.status === "proof_insufficient")) return "proof_insufficient";
+  if ([sourceBindings.before, sourceBindings.after].some((binding) => binding.required && !binding.ok)) return "proof_insufficient";
+  if (!deltas.length || deltas.some((delta) => delta.status === "proof_insufficient")) return "proof_insufficient";
+  if (groupResults.some((group) => !group.ok)) return "product_regression";
+  if (deltas.some((delta) => delta.status === "failed")) return "product_regression";
+  return "passed";
+}
+function changeSummary(name, status, deltas) {
+  if (status === "passed") return `${name} passed ${deltas.length} change delta(s).`;
+  if (status === "environment_blocked") return `${name} could not compare reliable evidence because an environment was blocked.`;
+  if (status === "configuration_error") return `${name} has an invalid change proof contract.`;
+  if (status === "needs_human_review") return `${name} needs human review before the change proof can pass.`;
+  if (status === "proof_insufficient") return `${name} did not produce enough before/after evidence for a change proof.`;
+  return `${name} failed ${deltas.filter((delta) => delta.status === "failed").length} change delta(s).`;
+}
+function assessRiddleProofChange(contract, input) {
+  const beforeResult = input.before_result || profileResultFromObservation(input.before_observation);
+  const afterResult = input.after_result || profileResultFromObservation(input.after_observation);
+  const groups = {
+    before: groupResult("before", contract.before, beforeResult),
+    after: groupResult("after", contract.after, afterResult)
+  };
+  const deltas = (contract.deltas || []).map((delta) => assessDelta(delta, beforeResult, afterResult));
+  const evaluatedAt = input.evaluated_at || (/* @__PURE__ */ new Date()).toISOString();
+  const sourceBindings = {
+    before: sourceBindingResult(
+      "before",
+      contract.source_binding?.before,
+      input.before_observation,
+      input.expected_source_revisions?.before,
+      evaluatedAt
+    ),
+    after: sourceBindingResult(
+      "after",
+      contract.source_binding?.after,
+      input.after_observation,
+      input.expected_source_revisions?.after,
+      evaluatedAt
+    )
+  };
+  const status = collapsedChangeStatus(groups, deltas, sourceBindings);
+  return {
+    version: RIDDLE_PROOF_CHANGE_RESULT_VERSION,
+    contract_name: contract.name,
+    status,
+    groups,
+    deltas,
+    source_bindings: sourceBindings,
+    summary: changeSummary(contract.name, status, deltas),
+    metadata: contract.metadata
+  };
+}
+function changeReceiptVerdict(status) {
+  if (status === "passed") return "mergeable";
+  if (status === "environment_blocked") return "environment_blocked";
+  if (status === "configuration_error") return "configuration_error";
+  if (status === "needs_human_review") return "needs_human_review";
+  if (status === "proof_insufficient") return "proof_insufficient";
+  return "not_mergeable";
+}
+function profileCheckCounts2(result) {
+  const counts = {
+    total: result.checks.length,
+    passed: 0,
+    failed: 0,
+    skipped: 0,
+    needs_human_review: 0
+  };
+  for (const check of result.checks) {
+    if (check.status === "passed") counts.passed += 1;
+    if (check.status === "failed") counts.failed += 1;
+    if (check.status === "skipped") counts.skipped += 1;
+    if (check.status === "needs_human_review") counts.needs_human_review += 1;
+  }
+  return counts;
+}
+function artifactIsScreenshot(artifact) {
+  if (artifact.kind !== "image") return false;
+  return /screenshot|\.png|\.jpe?g|\.webp|\.gif|\.avif|\.svg/i.test([artifact.name, artifact.url, artifact.path].filter(Boolean).join(" "));
+}
+function metadataStringList(metadata, key) {
+  const value = metadata?.[key];
+  if (!Array.isArray(value)) return [];
+  return value.filter((item) => typeof item === "string" && item.trim().length > 0).map((item) => item.trim());
+}
+function changeRecommendation(verdict) {
+  if (verdict === "mergeable") {
+    return {
+      merge_recommended: true,
+      verdict,
+      label: "Merge recommended",
+      reason: "The declared before/after delta contract passed with sufficient bound evidence."
+    };
+  }
+  const reason = verdict === "not_mergeable" ? "The declared change delta did not pass." : verdict === "environment_blocked" ? "The environment blocked reliable evidence collection." : verdict === "needs_human_review" ? "The evidence requires human review." : verdict === "configuration_error" ? "The change contract is invalid." : "The change proof did not produce sufficient bound evidence.";
+  return { merge_recommended: false, verdict, label: "Merge not recommended", reason };
+}
+function noShippingAuthorization() {
+  return { status: "not_granted", authorized: false, source: "none" };
+}
+function recommendationMatches(actual, expected) {
+  return actual?.merge_recommended === expected.merge_recommended && actual.verdict === expected.verdict && actual.label === expected.label && actual.reason === expected.reason;
+}
+function assertShippingAuthorizationConsistent(authorization, receiptName) {
+  if (!authorization) throw new Error(`${receiptName} shipping authorization is required.`);
+  if (authorization.status !== "not_granted" && authorization.status !== "granted") {
+    throw new Error(`${receiptName} shipping authorization status is invalid.`);
+  }
+  if (authorization.source !== "none" && authorization.source !== "human" && authorization.source !== "automation") {
+    throw new Error(`${receiptName} shipping authorization source is invalid.`);
+  }
+  const granted = authorization.status === "granted";
+  if (authorization.authorized !== granted) {
+    throw new Error(`${receiptName} shipping authorization status and authorized flag must agree.`);
+  }
+  if (authorization.source === "none" === granted) {
+    throw new Error(`${receiptName} shipping authorization source must identify an authorizer only when granted.`);
+  }
+}
+function observationArtifactMatches(actual, expected) {
+  if (!actual || !expected) return actual === expected;
+  return actual.name === expected.name && actual.role === expected.role && actual.url === expected.url && actual.path === expected.path && actual.kind === expected.kind && actual.content_type === expected.content_type && actual.source === expected.source;
+}
+function observationExecutor(result) {
+  return result.runner === "local-playwright" ? { kind: "local_playwright", runner: result.runner } : {
+    kind: "riddle_hosted",
+    runner: result.runner,
+    job_id: result.riddle?.job_id
+  };
+}
+function observationForReceiptSide(side, result, source, sourceIdentity) {
+  if (!result) throw new Error(`${side}_result or ${side}_observation is required.`);
+  if (!source) throw new Error(`${side}_source or ${side}_observation is required.`);
+  return createRiddleProofObservationReceipt({
+    comparison_role: side,
+    executor: observationExecutor(result),
+    target: { kind: "url", url: source },
+    source: sourceIdentity,
+    profile_result: result,
+    execution: result.riddle?.execution,
+    publication: source.startsWith("http") ? { kind: result.runner === "local-playwright" ? "other" : "riddle_cdn", url: source } : { kind: "local", path: source }
+  });
+}
+function createRiddleProofChangeReceipt(input) {
+  const before = input.before_observation ? parseRiddleProofObservationReceipt(input.before_observation) : observationForReceiptSide("before", input.before_result, input.before_source, input.before_source_identity);
+  const after = input.after_observation ? parseRiddleProofObservationReceipt(input.after_observation) : observationForReceiptSide("after", input.after_result, input.after_source, input.after_source_identity);
+  const verdict = changeReceiptVerdict(input.result.status);
+  const shippingAuthorization = input.shipping_authorization || noShippingAuthorization();
+  assertShippingAuthorizationConsistent(shippingAuthorization, "Change receipt");
+  return {
+    version: RIDDLE_PROOF_CHANGE_RECEIPT_VERSION,
+    contract_name: input.result.contract_name,
+    profile_name: input.profile_name,
+    status: input.result.status,
+    verdict,
+    summary: input.result.summary,
+    before,
+    after,
+    groups: input.result.groups,
+    source_bindings: input.result.source_bindings,
+    deltas: input.result.deltas.map((delta) => ({
+      type: delta.type,
+      label: delta.label,
+      status: delta.status,
+      before_observed: delta.before_observed,
+      after_observed: delta.after_observed,
+      message: delta.message
+    })),
+    recommendation: changeRecommendation(verdict),
+    shipping_authorization: shippingAuthorization,
+    proves: metadataStringList(input.contract.metadata, "required_receipts"),
+    does_not_prove: metadataStringList(input.contract.metadata, "does_not_prove"),
+    metadata: input.result.metadata
+  };
+}
+function isRecord3(value) {
+  return Boolean(value) && typeof value === "object" && !Array.isArray(value);
+}
+function migratedObservationFromLegacySide(side, legacy) {
+  const legacyArtifacts = legacy.artifacts.map((artifact) => ({
+    name: artifact.name,
+    url: artifact.url,
+    path: artifact.path,
+    source: artifact.source,
+    kind: artifact.kind,
+    role: legacy.screenshots[0] && artifactTarget(artifact) === artifactTarget(legacy.screenshots[0]) ? "canonical_screenshot" : artifact.kind === "image" ? "diagnostic" : artifact.kind === "data" ? "data" : "artifact"
+  }));
+  const canonicalScreenshot = legacyArtifacts.find((artifact) => artifact.role === "canonical_screenshot");
+  return {
+    version: "riddle-proof.observation-receipt.v1",
+    observation_id: `obs_${side}_migrated`,
+    comparison_role: side,
+    executor: { kind: "other", runner: "legacy-change-receipt" },
+    target: { kind: "url", url: legacy.source },
+    source: {},
+    captured_at: legacy.captured_at || (/* @__PURE__ */ new Date(0)).toISOString(),
+    artifacts: legacyArtifacts,
+    canonical_screenshot: canonicalScreenshot,
+    profile_summary: {
+      profile_name: legacy.profile_name,
+      status: legacy.status,
+      summary: legacy.summary,
+      route: legacy.route,
+      checks: legacy.checks
+    },
+    metadata: { migrated_from: RIDDLE_PROOF_CHANGE_RECEIPT_V1_VERSION }
+  };
+}
+function migrateRiddleProofChangeReceipt(legacy) {
+  const recommendation = changeRecommendation(legacy.verdict);
+  return {
+    version: RIDDLE_PROOF_CHANGE_RECEIPT_VERSION,
+    contract_name: legacy.contract_name,
+    profile_name: legacy.profile_name,
+    status: legacy.status,
+    verdict: legacy.verdict,
+    summary: legacy.summary,
+    before: migratedObservationFromLegacySide("before", legacy.before),
+    after: migratedObservationFromLegacySide("after", legacy.after),
+    groups: {
+      before: {
+        side: "before",
+        label: "before",
+        ok: legacy.before.status === "passed" || legacy.before.status === "product_regression",
+        profile_name: legacy.before.profile_name,
+        status: legacy.before.status,
+        required_status: DEFAULT_BEFORE_STATUSES,
+        summary: legacy.before.summary
+      },
+      after: {
+        side: "after",
+        label: "after",
+        ok: legacy.after.status === "passed",
+        profile_name: legacy.after.profile_name,
+        status: legacy.after.status,
+        required_status: DEFAULT_AFTER_STATUSES,
+        summary: legacy.after.summary
+      }
+    },
+    source_bindings: {
+      before: { side: "before", required: false, ok: true, status: "not_required" },
+      after: { side: "after", required: false, ok: true, status: "not_required" }
+    },
+    deltas: legacy.deltas,
+    recommendation,
+    shipping_authorization: noShippingAuthorization(),
+    proves: legacy.proves,
+    does_not_prove: legacy.does_not_prove,
+    metadata: legacy.metadata
+  };
+}
+function parseRiddleProofChangeReceipt(value) {
+  if (!isRecord3(value)) throw new Error("Change receipt must be an object.");
+  if (value.version === RIDDLE_PROOF_CHANGE_RECEIPT_V1_VERSION) {
+    return migrateRiddleProofChangeReceipt(value);
+  }
+  if (value.version !== RIDDLE_PROOF_CHANGE_RECEIPT_VERSION) {
+    throw new Error(`Unsupported Change receipt version ${String(value.version || "missing")}.`);
+  }
+  const receipt = value;
+  if (!RIDDLE_PROOF_PROFILE_STATUSES.includes(receipt.status)) {
+    throw new Error(`Unsupported Change receipt status ${String(receipt.status || "missing")}.`);
+  }
+  parseRiddleProofObservationReceipt(receipt.before);
+  parseRiddleProofObservationReceipt(receipt.after);
+  if (receipt.before.comparison_role !== "before" || receipt.after.comparison_role !== "after") {
+    throw new Error("Change receipt observations must preserve their before and after comparison roles.");
+  }
+  const expectedVerdict = changeReceiptVerdict(receipt.status);
+  if (receipt.verdict !== expectedVerdict) {
+    throw new Error("Change receipt verdict must match its evaluated status.");
+  }
+  if (!recommendationMatches(receipt.recommendation, changeRecommendation(expectedVerdict))) {
+    throw new Error("Change receipt recommendation must be derived from the Change receipt verdict.");
+  }
+  assertShippingAuthorizationConsistent(receipt.shipping_authorization, "Change receipt");
+  return receipt;
+}
+function createRiddleProofHandoffReceipt(changeReceipt, options = {}) {
+  const change = parseRiddleProofChangeReceipt(changeReceipt);
+  const authorization = options.shipping_authorization || change.shipping_authorization;
+  assertShippingAuthorizationConsistent(authorization, "Handoff receipt");
+  return {
+    version: RIDDLE_PROOF_HANDOFF_RECEIPT_VERSION,
+    change,
+    verdict: change.verdict,
+    recommendation: change.recommendation,
+    shipping_authorization: authorization,
+    canonical_pair: {
+      before: change.before.canonical_screenshot,
+      after: change.after.canonical_screenshot
+    },
+    created_at: options.created_at || (/* @__PURE__ */ new Date()).toISOString()
+  };
+}
+function parseRiddleProofHandoffReceipt(value) {
+  if (!isRecord3(value) || value.version !== RIDDLE_PROOF_HANDOFF_RECEIPT_VERSION) {
+    throw new Error(`Unsupported Handoff receipt version ${String(isRecord3(value) ? value.version || "missing" : "missing")}.`);
+  }
+  const receipt = value;
+  if (!Number.isFinite(Date.parse(receipt.created_at))) {
+    throw new Error("Handoff receipt created_at must be a valid timestamp.");
+  }
+  const change = parseRiddleProofChangeReceipt(receipt.change);
+  if (receipt.verdict !== change.verdict || !recommendationMatches(receipt.recommendation, change.recommendation)) {
+    throw new Error("Handoff receipt must preserve the Change receipt verdict and recommendation.");
+  }
+  if (!observationArtifactMatches(receipt.canonical_pair?.before, change.before.canonical_screenshot) || !observationArtifactMatches(receipt.canonical_pair?.after, change.after.canonical_screenshot)) {
+    throw new Error("Handoff receipt canonical pair must project the Change receipt observations.");
+  }
+  assertShippingAuthorizationConsistent(receipt.shipping_authorization, "Handoff receipt");
+  return receipt;
+}
+function markdownTableCell(value) {
+  return String(value ?? "").replace(/\|/g, "\\|").replace(/\r?\n/g, " ");
+}
+function artifactTarget(artifact) {
+  return artifact.url || artifact.path;
+}
+function observationArtifactKind(artifact) {
+  if (artifact.role === "canonical_screenshot" || artifact.role === "setup_screenshot" || artifact.kind === "image") return "image";
+  if (artifact.role === "data" || /\.(json|md|txt|html|log|har)(\?|#|$)/i.test(artifact.name)) return "data";
+  return "artifact";
+}
+function receiptSideView(side, observation) {
+  const artifacts = observation.artifacts.map((artifact) => ({
+    side,
+    name: artifact.name,
+    kind: observationArtifactKind(artifact),
+    url: artifact.url,
+    path: artifact.path,
+    source: artifact.source
+  }));
+  const summary = observation.profile_summary;
+  const canonical = observation.canonical_screenshot;
+  const screenshots = artifacts.filter(artifactIsScreenshot);
+  if (canonical) {
+    const canonicalTarget = canonical.url || canonical.path;
+    screenshots.sort((left, right) => {
+      const leftCanonical = (left.url || left.path) === canonicalTarget || left.name === canonical.name;
+      const rightCanonical = (right.url || right.path) === canonicalTarget || right.name === canonical.name;
+      return Number(rightCanonical) - Number(leftCanonical);
+    });
+  }
+  return {
+    side,
+    source: observation.target.url,
+    profile_name: summary?.profile_name || observation.proof?.profile_name || "profile",
+    status: summary?.status || observation.proof?.result.status || "proof_insufficient",
+    summary: summary?.summary || observation.proof?.result.summary || "No profile summary recorded.",
+    route: summary?.route,
+    captured_at: observation.captured_at,
+    checks: summary?.checks || (observation.proof ? profileCheckCounts2(observation.proof.result) : {
+      total: 0,
+      passed: 0,
+      failed: 0,
+      skipped: 0,
+      needs_human_review: 0
+    }),
+    screenshots,
+    artifacts
+  };
+}
+function markdownLink(label, target) {
+  return `[${label.replace(/\]/g, "\\]")}](${target})`;
+}
+function appendMarkdownArtifacts(lines, title, artifacts) {
+  lines.push(`### ${title}`, "");
+  if (!artifacts.length) {
+    lines.push("- No screenshot artifacts recorded.", "");
+    return;
+  }
+  for (const artifact of artifacts.slice(0, 6)) {
+    const target = artifactTarget(artifact);
+    if (target && artifact.kind === "image") {
+      lines.push(`![${artifact.name.replace(/\]/g, "\\]")}](${target})`);
+    } else if (target) {
+      lines.push(`- ${markdownLink(artifact.name, target)}`);
+    } else {
+      lines.push(`- ${artifact.name}`);
+    }
+  }
+  if (artifacts.length > 6) lines.push(`- ${artifacts.length - 6} more artifact(s) omitted`);
+  lines.push("");
+}
+function riddleProofChangeReceiptMarkdown(receipt) {
+  const before = receiptSideView("before", receipt.before);
+  const after = receiptSideView("after", receipt.after);
+  const lines = [
+    "# Riddle Proof Change Receipt",
+    "",
+    `**Verdict:** ${receipt.verdict}`,
+    `**Status:** ${receipt.status}`,
+    `**Contract:** ${receipt.contract_name}`,
+    receipt.profile_name ? `**Profile:** ${receipt.profile_name}` : "",
+    `**Recommendation:** ${receipt.recommendation.label}`,
+    `**Shipping authorization:** ${receipt.shipping_authorization.status}`,
+    "",
+    receipt.summary,
+    "",
+    "## Evidence Pair",
+    "",
+    "| Side | Source | Status | Checks |",
+    "| --- | --- | --- | --- |",
+    `| Before | ${markdownTableCell(before.source)} | ${before.status}${receipt.groups.before.ok ? " (matched baseline)" : " (baseline mismatch)"} | ${before.checks.passed} passed / ${before.checks.failed} failed |`,
+    `| After | ${markdownTableCell(after.source)} | ${after.status} | ${after.checks.passed} passed / ${after.checks.failed} failed |`,
+    "",
+    "## Source Binding",
+    "",
+    "| Side | Status | Git revision | Preview | Digest |",
+    "| --- | --- | --- | --- | --- |",
+    `| Before | ${receipt.source_bindings.before.status} | ${markdownTableCell(receipt.source_bindings.before.observed_git_revision || "not recorded")} | ${markdownTableCell(receipt.source_bindings.before.preview_id || "not required")} | ${markdownTableCell(receipt.source_bindings.before.content_digest || "not required")} |`,
+    `| After | ${receipt.source_bindings.after.status} | ${markdownTableCell(receipt.source_bindings.after.observed_git_revision || "not recorded")} | ${markdownTableCell(receipt.source_bindings.after.preview_id || "not required")} | ${markdownTableCell(receipt.source_bindings.after.content_digest || "not required")} |`,
+    "",
+    "## Delta Checks",
+    "",
+    "| Delta | Status | Before | After |",
+    "| --- | --- | --- | --- |"
+  ].filter(Boolean);
+  for (const delta of receipt.deltas) {
+    lines.push(`| ${markdownTableCell(delta.label)} | ${delta.status} | ${markdownTableCell(delta.before_observed)} | ${markdownTableCell(delta.after_observed)} |`);
+    if (delta.message) lines.push(`| ${markdownTableCell(`${delta.label} message`)} | ${markdownTableCell(delta.message)} |  |  |`);
+  }
+  lines.push("");
+  appendMarkdownArtifacts(lines, "Before Canonical Screenshot", before.screenshots.slice(0, 1));
+  appendMarkdownArtifacts(lines, "After Canonical Screenshot", after.screenshots.slice(0, 1));
+  if (receipt.proves.length) {
+    lines.push("## What This Proves", "");
+    for (const claim of receipt.proves) lines.push(`- ${claim}`);
+    lines.push("");
+  }
+  if (receipt.does_not_prove.length) {
+    lines.push("## What This Does Not Prove", "");
+    for (const claim of receipt.does_not_prove) lines.push(`- ${claim}`);
+    lines.push("");
+  }
+  const linkedArtifacts = [...before.artifacts, ...after.artifacts].filter((artifact) => artifactTarget(artifact)).slice(0, 24);
+  if (linkedArtifacts.length) {
+    lines.push("## Artifacts", "");
+    for (const artifact of linkedArtifacts) {
+      lines.push(`- ${artifact.side}: ${markdownLink(artifact.name, artifactTarget(artifact) || "")}`);
+    }
+    lines.push("");
+  }
+  return `${lines.join("\n").trim()}
+`;
+}
+function escapeHtml(value) {
+  return String(value ?? "").replace(/&/g, "&amp;").replace(/</g, "&lt;").replace(/>/g, "&gt;").replace(/"/g, "&quot;").replace(/'/g, "&#39;");
+}
+function htmlArtifactCard(artifact) {
+  const target = artifactTarget(artifact);
+  if (!target) return `<p>${escapeHtml(artifact.name)}</p>`;
+  if (artifact.kind === "image") {
+    return `<figure><img src="${escapeHtml(target)}" alt="${escapeHtml(artifact.name)}"><figcaption>${escapeHtml(artifact.name)}</figcaption></figure>`;
+  }
+  return `<p><a href="${escapeHtml(target)}">${escapeHtml(artifact.name)}</a></p>`;
+}
+function htmlArtifactLink(artifact) {
+  const target = artifactTarget(artifact);
+  if (!target) return escapeHtml(artifact.name);
+  return `<a href="${escapeHtml(target)}">${escapeHtml(artifact.name)}</a>`;
+}
+function htmlList(items, emptyText) {
+  if (!items.length) return `<p class="muted">${escapeHtml(emptyText)}</p>`;
+  return `<ul>${items.map((item) => `<li>${escapeHtml(item)}</li>`).join("")}</ul>`;
+}
+function riddleProofChangeReceiptHtml(receipt) {
+  const before = receiptSideView("before", receipt.before);
+  const after = receiptSideView("after", receipt.after);
+  const artifactLinks = [...before.artifacts, ...after.artifacts].filter((artifact) => artifactTarget(artifact)).slice(0, 32);
+  const deltaRows = receipt.deltas.map((delta) => `
+      <tr>
+        <td>${escapeHtml(delta.label)}</td>
+        <td><span class="status ${escapeHtml(delta.status)}">${escapeHtml(delta.status)}</span></td>
+        <td>${escapeHtml(delta.before_observed)}</td>
+        <td>${escapeHtml(delta.after_observed)}</td>
+      </tr>
+      ${delta.message ? `<tr><td class="muted">${escapeHtml(delta.label)} message</td><td colspan="3">${escapeHtml(delta.message)}</td></tr>` : ""}`).join("");
+  return `<!doctype html>
+<html lang="en">
+<head>
+  <meta charset="utf-8">
+  <meta name="viewport" content="width=device-width, initial-scale=1">
+  <title>${escapeHtml(receipt.contract_name)} - Riddle Proof Change Receipt</title>
+  <style>
+    :root { color-scheme: light dark; --bg: #0f141b; --panel: #171f29; --text: #eef4f8; --muted: #aebbc8; --border: #314152; --ok: #69d089; --bad: #ff7a7a; --warn: #ffd166; }
+    body { margin: 0; font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif; background: var(--bg); color: var(--text); }
+    main { max-width: 1120px; margin: 0 auto; padding: 32px 20px 48px; }
+    header, section { border: 1px solid var(--border); background: var(--panel); border-radius: 8px; padding: 20px; margin: 0 0 18px; }
+    h1, h2, h3, p { margin-top: 0; }
+    h1 { font-size: clamp(1.6rem, 3vw, 2.4rem); }
+    h2 { font-size: 1.1rem; margin-bottom: 14px; }
+    .muted { color: var(--muted); }
+    .verdict { display: inline-flex; align-items: center; gap: 8px; padding: 6px 10px; border-radius: 999px; border: 1px solid var(--border); font-weight: 700; }
+    .mergeable, .passed { color: var(--ok); }
+    .not_mergeable, .failed, .product_regression { color: var(--bad); }
+    .proof_insufficient, .environment_blocked, .needs_human_review, .configuration_error { color: var(--warn); }
+    .grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 16px; }
+    .side { border: 1px solid var(--border); border-radius: 8px; padding: 14px; min-width: 0; }
+    code { overflow-wrap: anywhere; color: var(--muted); }
+    table { width: 100%; border-collapse: collapse; }
+    th, td { border-bottom: 1px solid var(--border); padding: 10px 8px; text-align: left; vertical-align: top; }
+    figure { margin: 0; border: 1px solid var(--border); border-radius: 8px; overflow: hidden; background: #0b1017; }
+    img { display: block; width: 100%; height: auto; }
+    figcaption { padding: 8px 10px; color: var(--muted); font-size: 0.9rem; }
+    ul { margin-bottom: 0; }
+    a { color: #8bc7ff; }
+    @media (max-width: 760px) { .grid { grid-template-columns: 1fr; } main { padding: 18px 12px 32px; } }
+  </style>
+</head>
+<body>
+<main>
+  <header>
+    <p class="verdict ${escapeHtml(receipt.verdict)}">${escapeHtml(receipt.verdict)}</p>
+    <h1>${escapeHtml(receipt.contract_name)}</h1>
+    <p>${escapeHtml(receipt.summary)}</p>
+    <p class="muted">Status: ${escapeHtml(receipt.status)}${receipt.profile_name ? ` | Profile: ${escapeHtml(receipt.profile_name)}` : ""}</p>
+    <p>${escapeHtml(receipt.recommendation.label)}. Shipping authorization: ${escapeHtml(receipt.shipping_authorization.status)}.</p>
+  </header>
+  <section>
+    <h2>Evidence Pair</h2>
+    <div class="grid">
+      <div class="side">
+        <h3>Before</h3>
+        <p><code>${escapeHtml(before.source)}</code></p>
+        <p>Status: <strong class="${escapeHtml(before.status)}">${escapeHtml(before.status)}</strong>${receipt.groups.before.ok ? " (matched baseline)" : " (baseline mismatch)"}</p>
+        <p>${escapeHtml(before.summary)}</p>
+        <p class="muted">${before.checks.passed} passed / ${before.checks.failed} failed checks</p>
+      </div>
+      <div class="side">
+        <h3>After</h3>
+        <p><code>${escapeHtml(after.source)}</code></p>
+        <p>Status: <strong class="${escapeHtml(after.status)}">${escapeHtml(after.status)}</strong></p>
+        <p>${escapeHtml(after.summary)}</p>
+        <p class="muted">${after.checks.passed} passed / ${after.checks.failed} failed checks</p>
+      </div>
+    </div>
+  </section>
+  <section>
+    <h2>Source Binding</h2>
+    <table>
+      <thead><tr><th>Side</th><th>Status</th><th>Git revision</th><th>Preview</th><th>Digest</th></tr></thead>
+      <tbody>
+        <tr><td>Before</td><td>${escapeHtml(receipt.source_bindings.before.status)}</td><td>${escapeHtml(receipt.source_bindings.before.observed_git_revision || "not recorded")}</td><td>${escapeHtml(receipt.source_bindings.before.preview_id || "not required")}</td><td>${escapeHtml(receipt.source_bindings.before.content_digest || "not required")}</td></tr>
+        <tr><td>After</td><td>${escapeHtml(receipt.source_bindings.after.status)}</td><td>${escapeHtml(receipt.source_bindings.after.observed_git_revision || "not recorded")}</td><td>${escapeHtml(receipt.source_bindings.after.preview_id || "not required")}</td><td>${escapeHtml(receipt.source_bindings.after.content_digest || "not required")}</td></tr>
+      </tbody>
+    </table>
+  </section>
+  <section>
+    <h2>Delta Checks</h2>
+    <table>
+      <thead><tr><th>Delta</th><th>Status</th><th>Before</th><th>After</th></tr></thead>
+      <tbody>${deltaRows}</tbody>
+    </table>
+  </section>
+  <section>
+    <h2>Screenshots</h2>
+    <div class="grid">
+      <div>${before.screenshots.slice(0, 1).map(htmlArtifactCard).join("") || `<p class="muted">No canonical before screenshot recorded.</p>`}</div>
+      <div>${after.screenshots.slice(0, 1).map(htmlArtifactCard).join("") || `<p class="muted">No canonical after screenshot recorded.</p>`}</div>
+    </div>
+  </section>
+  <section>
+    <h2>What This Proves</h2>
+    ${htmlList(receipt.proves, "No explicit proof claims were recorded in contract metadata.")}
+  </section>
+  <section>
+    <h2>What This Does Not Prove</h2>
+    ${htmlList(receipt.does_not_prove, "No explicit limits were recorded in contract metadata.")}
+  </section>
+  <section>
+    <h2>Artifacts</h2>
+    ${artifactLinks.length ? `<ul>${artifactLinks.map((artifact) => `<li>${escapeHtml(artifact.side)}: ${htmlArtifactLink(artifact)}</li>`).join("")}</ul>` : `<p class="muted">No linked artifacts recorded.</p>`}
+  </section>
+</main>
+</body>
+</html>
+`;
+}
+
+// src/pr-comment.ts
+var RIDDLE_PROOF_PR_COMMENT_MARKER = "<!-- riddle-proof:pr-comment:v1 -->";
+function asRecord2(value) {
+  return value && typeof value === "object" && !Array.isArray(value) ? value : {};
+}
+function asArray(value) {
+  return Array.isArray(value) ? value : [];
+}
+function stringValue4(value) {
+  return typeof value === "string" && value.trim() ? value.trim() : void 0;
+}
+function numberValue3(value) {
+  return typeof value === "number" && Number.isFinite(value) ? value : void 0;
+}
+function booleanValue3(value) {
+  return typeof value === "boolean" ? value : void 0;
+}
+function firstStringValue2(...values) {
+  for (const value of values) {
+    const text = stringValue4(value);
+    if (text) return text;
+  }
+  return void 0;
+}
+function artifactKind(name, url) {
+  const target = `${name} ${url}`.toLowerCase();
+  if (/\.(png|jpe?g|gif|webp|avif|svg)(\?|#|$)/.test(target)) return "image";
+  if (/\.(json|har|txt|md|html|log)(\?|#|$)/.test(target)) return "data";
+  return "artifact";
+}
+function artifactDisplayName(value, fallback) {
+  const raw = stringValue4(value);
+  if (raw) return raw;
+  return fallback;
+}
+function collectArtifacts(runResponse) {
+  const proofResult = asRecord2(runResponse.proofResult);
+  const outputs = asArray(proofResult.outputs);
+  const artifacts = [];
+  const seen = /* @__PURE__ */ new Set();
+  for (const [index, item] of outputs.entries()) {
+    const artifact = asRecord2(item);
+    const url = stringValue4(artifact.url);
+    if (!url || seen.has(url)) continue;
+    seen.add(url);
+    const name = artifactDisplayName(artifact.name, `artifact-${index + 1}`);
+    artifacts.push({
+      name,
+      url,
+      kind: artifactKind(name, url),
+      size_bytes: numberValue3(artifact.size)
+    });
+  }
+  return artifacts;
+}
+function collectProfileArtifacts(result) {
   const resultArtifacts = asRecord2(result.artifacts);
   const artifacts = [];
   const seen = /* @__PURE__ */ new Set();
@@ -18137,6 +19311,34 @@ function collectProfileArtifacts(result) {
   }
   return artifacts;
 }
+function collectChangeReceiptArtifacts(result) {
+  const artifacts = [];
+  const seen = /* @__PURE__ */ new Set();
+  const collectSide = (sideName, side) => {
+    const candidates = [
+      side.canonical_screenshot,
+      ...asArray(side.screenshots),
+      ...asArray(side.artifacts)
+    ].filter(Boolean);
+    for (const [index, item] of candidates.entries()) {
+      const artifact = asRecord2(item);
+      const url = stringValue4(artifact.url) || stringValue4(artifact.path);
+      if (!url || seen.has(url)) continue;
+      seen.add(url);
+      const fallbackName = `${sideName}-artifact-${index + 1}`;
+      const name = `${sideName}/${artifactDisplayName(artifact.name, fallbackName)}`;
+      artifacts.push({
+        name,
+        url,
+        kind: artifactKind(name, url),
+        size_bytes: numberValue3(artifact.size_bytes) ?? numberValue3(artifact.size)
+      });
+    }
+  };
+  collectSide("before", asRecord2(result.before));
+  collectSide("after", asRecord2(result.after));
+  return artifacts;
+}
 function mergeArtifacts(...artifactLists) {
   const artifacts = [];
   const seen = /* @__PURE__ */ new Set();
@@ -18163,7 +19365,7 @@ function pageSummaries(result) {
   }
   return pages;
 }
-function profileCheckCounts(result) {
+function profileCheckCounts3(result) {
   const checks = asArray(result.checks);
   if (checks.length) {
     let passed2 = 0;
@@ -18192,6 +19394,33 @@ function profilePageSummaries(result, counts) {
     failed: counts.failed
   }];
 }
+function changeReceiptCheckCounts(result) {
+  const deltas = asArray(result.deltas);
+  if (!deltas.length) return void 0;
+  let passed = 0;
+  let failed = 0;
+  for (const item of deltas) {
+    const status = stringValue4(asRecord2(item).status);
+    if (status === "passed") passed += 1;
+    if (status === "failed" || status === "proof_insufficient" || status === "configuration_error") failed += 1;
+  }
+  return { passed, failed };
+}
+function changeReceiptPageSummaries(result) {
+  const pages = [];
+  for (const sideName of ["before", "after"]) {
+    const side = asRecord2(result[sideName]);
+    if (!Object.keys(side).length) continue;
+    const profileSummary = asRecord2(side.profile_summary);
+    const checks = Object.keys(asRecord2(side.checks)).length ? asRecord2(side.checks) : asRecord2(profileSummary.checks);
+    pages.push({
+      route: firstStringValue2(asRecord2(side.target).url, side.source, profileSummary.profile_name, side.profile_name) || sideName,
+      passed: numberValue3(checks.passed) ?? 0,
+      failed: numberValue3(checks.failed) ?? 0
+    });
+  }
+  return pages;
+}
 function summarizeExplicitChecks(value) {
   let passed = 0;
   let failed = 0;
@@ -18247,11 +19476,27 @@ function isProfileResult(result) {
   const version = stringValue4(result.version);
   return version === "riddle-proof.profile-result.v1" || version === "riddle-proof.profile-compact-result.v1";
 }
+function isChangeReceiptResult(result) {
+  const version = stringValue4(result.version);
+  return version === RIDDLE_PROOF_CHANGE_RECEIPT_V1_VERSION || version === RIDDLE_PROOF_CHANGE_RECEIPT_VERSION;
+}
+function isHandoffReceiptResult(result) {
+  return stringValue4(result.version) === RIDDLE_PROOF_HANDOFF_RECEIPT_VERSION;
+}
+function isChangeResult(result) {
+  const version = stringValue4(result.version);
+  return version === "riddle-proof.change-result.v1" || version === "riddle-proof.change-compact-result.v1";
+}
 function summarizeRiddleProofPrComment(input) {
   const runResponse = asRecord2(input.runResponse);
-  const result = asRecord2(input.result);
+  const inputResult = asRecord2(input.result);
+  const handoffReceipt = isHandoffReceiptResult(inputResult) ? parseRiddleProofHandoffReceipt(inputResult) : void 0;
+  const parsedChangeReceipt = handoffReceipt?.change || (isChangeReceiptResult(inputResult) ? parseRiddleProofChangeReceipt(inputResult) : void 0);
+  const result = parsedChangeReceipt ? asRecord2(parsedChangeReceipt) : inputResult;
   const proofResult = asRecord2(runResponse.proofResult);
   const profileResult = isProfileResult(result);
+  const changeReceiptResult = Boolean(parsedChangeReceipt);
+  const changeResult = changeReceiptResult || isChangeResult(result);
   const profileRiddle = asRecord2(result.riddle);
   const preview = asRecord2(runResponse.preview);
   const resultRunCard = asRecord2(result.run_card);
@@ -18259,16 +19504,19 @@ function summarizeRiddleProofPrComment(input) {
   const resultDetails = asRecord2(result.details);
   const resultRaw = asRecord2(result.raw);
   const rawDetails = asRecord2(resultRaw.details);
-  const profileChecks = profileResult ? profileCheckCounts(result) : void 0;
+  const profileChecks = profileResult ? profileCheckCounts3(result) : void 0;
+  const changeChecks = changeResult ? changeReceiptCheckCounts(result) : void 0;
   const artifacts = mergeArtifacts(
     collectArtifacts(runResponse),
-    profileResult ? collectProfileArtifacts(result) : []
+    profileResult ? collectProfileArtifacts(result) : [],
+    changeReceiptResult ? collectChangeReceiptArtifacts(result) : []
   );
-  const pages = profileResult ? profilePageSummaries(result, profileChecks) : pageSummaries(result);
+  const pages = changeReceiptResult ? changeReceiptPageSummaries(result) : profileResult ? profilePageSummaries(result, profileChecks) : pageSummaries(result);
   const checkSource = { ...result };
   delete checkSource.ok;
   const nestedChecks = summarizeExplicitChecks(checkSource);
-  const ok = booleanValue3(result.ok) ?? booleanValue3(runResponse.ok) ?? null;
+  const resultStatus = firstStringValue2(result.status, stopCondition.status);
+  const ok = changeReceiptResult ? parsedChangeReceipt?.recommendation.merge_recommended ?? false : changeResult ? resultStatus === "passed" : booleanValue3(result.ok) ?? booleanValue3(runResponse.ok) ?? null;
   const checkpointSummary = checkpointSummaryFrom2(
     result.checkpoint_summary,
     stopCondition.checkpoint_summary,
@@ -18276,19 +19524,19 @@ function summarizeRiddleProofPrComment(input) {
     rawDetails.checkpoint_summary,
     proofResult.checkpoint_summary
   );
-  const publicState = summarizeRiddleProofPublicState({
+  const publicState = changeReceiptResult ? void 0 : summarizeRiddleProofPublicState({
     ...result,
-    status: firstStringValue2(result.status, stopCondition.status),
+    status: resultStatus,
     checkpoint_summary: checkpointSummary || result.checkpoint_summary
   });
-  const mergeRecommendation = riddleProofPublicStateMergeRecommendation(
+  const mergeRecommendation = publicState ? riddleProofPublicStateMergeRecommendation(
     publicState,
     firstStringValue2(result.merge_recommendation, stopCondition.merge_recommendation, resultRaw.merge_recommendation)
-  );
+  ) : void 0;
   return {
     ok,
     status: firstStringValue2(proofResult.status, profileRiddle.status),
-    result_status: publicState.status,
+    result_status: changeResult ? resultStatus : publicState?.status,
     job_id: firstStringValue2(proofResult.job_id, profileRiddle.job_id),
     duration_ms: numberValue3(proofResult.duration_ms) ?? numberValue3(profileRiddle.elapsed_ms),
     proof_url: stringValue4(runResponse.proofUrl),
@@ -18296,17 +19544,17 @@ function summarizeRiddleProofPrComment(input) {
     preview_url: stringValue4(preview.preview_url) || stringValue4(preview.url),
     preview_publish_recovered: booleanValue3(preview.publish_recovered),
     preview_publish_error: stringValue4(preview.publish_error),
-    ship_held: publicState.ship_held,
-    shipping_disabled: publicState.shipping_disabled,
-    ship_authorized: publicState.ship_authorized,
-    merge_ready: publicState.merge_ready,
-    sync_allowed: publicState.sync_allowed,
+    ship_held: publicState?.ship_held,
+    shipping_disabled: publicState?.shipping_disabled,
+    ship_authorized: changeReceiptResult ? parsedChangeReceipt?.shipping_authorization.authorized : publicState?.ship_authorized,
+    merge_ready: publicState?.merge_ready,
+    sync_allowed: publicState?.sync_allowed,
     proof_decision: firstStringValue2(result.proof_decision, stopCondition.proof_decision, resultRaw.proof_decision),
-    merge_recommendation: mergeRecommendation,
+    merge_recommendation: changeReceiptResult ? parsedChangeReceipt?.recommendation.label : mergeRecommendation,
     checkpoint_summary: checkpointSummary,
     public_state: publicState,
-    passed_checks: profileChecks?.passed ?? nestedChecks.passed,
-    failed_checks: profileChecks?.failed ?? nestedChecks.failed,
+    passed_checks: changeChecks?.passed ?? profileChecks?.passed ?? nestedChecks.passed,
+    failed_checks: changeChecks?.failed ?? profileChecks?.failed ?? nestedChecks.failed,
     pages,
     artifacts,
     primary_image: selectPrimaryImage(artifacts)
@@ -18319,7 +19567,7 @@ function formatDuration(ms) {
   const remainder = seconds % 60;
   return minutes > 0 ? `${minutes}m${String(remainder).padStart(2, "0")}s` : `${seconds}s`;
 }
-function markdownLink(label, url) {
+function markdownLink2(label, url) {
   return `[${label.replace(/\]/g, "\\]")}](${url})`;
 }
 function resultLabel(summary) {
@@ -18370,7 +19618,88 @@ function checkpointSummaryLine(summary) {
     summary.latest_decision ? `latest decision \`${summary.latest_decision}\`` : ""
   ].filter(Boolean).join("; ");
 }
+function markdownTableValue(value) {
+  return String(value ?? "").replace(/\|/g, "\\|").replace(/\r?\n/g, " ");
+}
+function observationArtifactTarget(artifact) {
+  return artifact?.url || artifact?.path;
+}
+function canonicalScreenshotCell(artifact, fallback) {
+  const target = observationArtifactTarget(artifact);
+  if (!artifact || !target) return fallback;
+  if (artifact.url) return `![${artifact.name.replace(/\]/g, "\\]")}](${artifact.url})`;
+  return markdownTableValue(artifact.path || artifact.name);
+}
+function shortRevision(value) {
+  return value ? value.slice(0, 12) : "not recorded";
+}
+function buildRiddleProofHandoffPrCommentMarkdown(handoff, input = {}) {
+  const receipt = parseRiddleProofHandoffReceipt(handoff);
+  const change = receipt.change;
+  const beforeStatus = change.before.profile_summary?.status || "not recorded";
+  const afterStatus = change.after.profile_summary?.status || "not recorded";
+  const beforeBaseline = change.groups.before.ok ? "matched baseline" : "baseline mismatch";
+  const lines = [
+    RIDDLE_PROOF_PR_COMMENT_MARKER,
+    `## ${input.title?.trim() || "Riddle Change Proof"}`,
+    "",
+    `**Result:** ${receipt.recommendation.label}`,
+    `**Evidence verdict:** \`${receipt.verdict}\``,
+    `**Shipping authorization:** ${receipt.shipping_authorization.status}`,
+    `**Contract:** ${change.contract_name}`
+  ];
+  if (input.goal?.trim()) lines.push(`**Goal:** ${input.goal.trim()}`);
+  if (input.successCriteria?.trim()) lines.push(`**Success criteria:** ${input.successCriteria.trim()}`);
+  lines.push("", change.summary, "", "### Canonical Before / After", "");
+  lines.push("| Before | After |");
+  lines.push("| --- | --- |");
+  lines.push(`| ${beforeBaseline}: \`${markdownTableValue(beforeStatus)}\` | \`${markdownTableValue(afterStatus)}\` |`);
+  lines.push(`| ${canonicalScreenshotCell(receipt.canonical_pair.before, "No canonical before screenshot")} | ${canonicalScreenshotCell(receipt.canonical_pair.after, "No canonical after screenshot")} |`);
+  lines.push("", "### Source Binding", "");
+  lines.push("| Side | Target | Git revision | Binding | Preview | Digest |");
+  lines.push("| --- | --- | --- | --- | --- | --- |");
+  for (const side of ["before", "after"]) {
+    const observation = change[side];
+    const binding = change.source_bindings[side];
+    lines.push(`| ${side} | ${markdownTableValue(observation.target.url)} | \`${shortRevision(binding.observed_git_revision || observation.source.git_revision)}\` | ${binding.status} | ${markdownTableValue(binding.preview_id || observation.target.preview?.preview_id || "not required")} | \`${markdownTableValue(binding.content_digest || observation.target.preview?.content_digest || "not required")}\` |`);
+  }
+  lines.push("", "### Declared Delta", "");
+  lines.push("| Measurement | Status | Before | After |");
+  lines.push("| --- | --- | --- | --- |");
+  for (const delta of change.deltas) {
+    lines.push(`| ${markdownTableValue(delta.label)} | ${delta.status} | ${markdownTableValue(delta.before_observed)} | ${markdownTableValue(delta.after_observed)} |`);
+  }
+  if (change.proves.length) {
+    lines.push("", "### What This Proves", "");
+    for (const claim of change.proves) lines.push(`- ${claim}`);
+  }
+  if (change.does_not_prove.length) {
+    lines.push("", "### Limits", "");
+    for (const claim of change.does_not_prove) lines.push(`- ${claim}`);
+  }
+  const linkedArtifacts = [
+    ...change.before.artifacts.map((artifact) => ({ side: "before", artifact })),
+    ...change.after.artifacts.map((artifact) => ({ side: "after", artifact }))
+  ].filter(({ artifact }) => Boolean(artifact.url));
+  if (linkedArtifacts.length) {
+    lines.push("", "### Artifacts", "");
+    for (const { side, artifact } of linkedArtifacts.slice(0, 24)) {
+      lines.push(`- ${side}: ${markdownLink2(artifact.name, artifact.url || "")}`);
+    }
+  }
+  lines.push("", input.source?.trim() ? `_Source: ${input.source.trim()}_` : "_Rendered from the Handoff receipt without recomputing its verdict._");
+  return `${lines.join("\n").trim()}
+`;
+}
 function buildRiddleProofPrCommentMarkdown(input) {
+  const result = asRecord2(input.result);
+  if (isHandoffReceiptResult(result)) {
+    return buildRiddleProofHandoffPrCommentMarkdown(parseRiddleProofHandoffReceipt(result), input);
+  }
+  if (isChangeReceiptResult(result)) {
+    const handoff = createRiddleProofHandoffReceipt(parseRiddleProofChangeReceipt(result));
+    return buildRiddleProofHandoffPrCommentMarkdown(handoff, input);
+  }
   const summary = summarizeRiddleProofPrComment(input);
   const title = input.title?.trim() || "Riddle Proof Evidence";
   const lines = [
@@ -18394,10 +19723,10 @@ function buildRiddleProofPrCommentMarkdown(input) {
   if (summary.proof_decision) lines.push(`**Proof decision:** \`${summary.proof_decision}\``);
   if (shouldRenderMergeRecommendation(summary)) lines.push(`**Merge recommendation:** ${summary.merge_recommendation}`);
   if (summary.checkpoint_summary) lines.push(`**Checkpoints:** ${checkpointSummaryLine(summary.checkpoint_summary)}`);
-  if (summary.proof_url) lines.push(`**Proof URL:** ${markdownLink(summary.proof_url, summary.proof_url)}`);
+  if (summary.proof_url) lines.push(`**Proof URL:** ${markdownLink2(summary.proof_url, summary.proof_url)}`);
   if (summary.preview_id || summary.preview_url) {
     const previewLabel = summary.preview_id ? `\`${summary.preview_id}\`` : "preview";
-    lines.push(`**Preview:** ${summary.preview_url ? markdownLink(previewLabel, summary.preview_url) : previewLabel}`);
+    lines.push(`**Preview:** ${summary.preview_url ? markdownLink2(previewLabel, summary.preview_url) : previewLabel}`);
   }
   if (summary.preview_publish_recovered) {
     const detail = summary.preview_publish_error ? `: ${summary.preview_publish_error}` : "";
@@ -18422,7 +19751,7 @@ function buildRiddleProofPrCommentMarkdown(input) {
   if (linkedArtifacts.length) {
     lines.push("### Artifacts");
     for (const artifact of linkedArtifacts) {
-      lines.push(`- ${markdownLink(artifact.name, artifact.url)}`);
+      lines.push(`- ${markdownLink2(artifact.name, artifact.url)}`);
     }
     if (summary.artifacts.length - (summary.primary_image ? 1 : 0) > linkedArtifacts.length) {
       lines.push(`- ${summary.artifacts.length - (summary.primary_image ? 1 : 0) - linkedArtifacts.length} more artifact(s) omitted`);
@@ -18608,167 +19937,6 @@ function suggestRiddleProofProfileChecks(input) {
   };
 }
 
-// src/change-proof.ts
-var RIDDLE_PROOF_CHANGE_RESULT_VERSION = "riddle-proof.change-result.v1";
-var DEFAULT_BEFORE_STATUSES = ["passed", "product_regression"];
-var DEFAULT_AFTER_STATUSES = ["passed"];
-var DEFAULT_PROFILE_STATUS_TRANSITION_BEFORE = ["product_regression"];
-var DEFAULT_PROFILE_STATUS_TRANSITION_AFTER = ["passed"];
-var DEFAULT_CHECK_STATUS_TRANSITION_BEFORE = ["failed"];
-var DEFAULT_CHECK_STATUS_TRANSITION_AFTER = ["passed"];
-function listValue(value, fallback) {
-  if (Array.isArray(value)) return value;
-  if (value === void 0) return fallback;
-  return [value];
-}
-function includesValue(allowed, observed) {
-  return observed !== void 0 && allowed.includes(observed);
-}
-function groupResult(side, contract, result) {
-  const fallback = side === "before" ? DEFAULT_BEFORE_STATUSES : DEFAULT_AFTER_STATUSES;
-  const requiredStatus = listValue(contract?.required_status, fallback);
-  const label = contract?.label || side;
-  if (!result) {
-    return {
-      side,
-      label,
-      ok: false,
-      status: "missing",
-      required_status: requiredStatus,
-      message: `${label} profile result is missing.`
-    };
-  }
-  const ok = includesValue(requiredStatus, result.status);
-  return {
-    side,
-    label,
-    ok,
-    profile_name: result.profile_name,
-    status: result.status,
-    required_status: requiredStatus,
-    summary: result.summary,
-    message: ok ? void 0 : `${label} profile status ${result.status} did not match required status ${requiredStatus.join(", ")}.`
-  };
-}
-function findCheck(result, delta) {
-  return result.checks.find((check) => {
-    if (delta.check_label && check.label !== delta.check_label) return false;
-    if (delta.check_type && check.type !== delta.check_type) return false;
-    return Boolean(delta.check_label || delta.check_type);
-  });
-}
-function profileStatusTransitionResult(delta, before, after) {
-  const label = delta.label || "profile-status-transition";
-  if (!before || !after) {
-    return {
-      type: delta.type,
-      label,
-      status: "proof_insufficient",
-      before_observed: before?.status,
-      after_observed: after?.status,
-      message: `${label} needs both before and after profile results.`
-    };
-  }
-  const beforeAllowed = listValue(delta.before_status, DEFAULT_PROFILE_STATUS_TRANSITION_BEFORE);
-  const afterAllowed = listValue(delta.after_status, DEFAULT_PROFILE_STATUS_TRANSITION_AFTER);
-  const passed = includesValue(beforeAllowed, before.status) && includesValue(afterAllowed, after.status);
-  return {
-    type: delta.type,
-    label,
-    status: passed ? "passed" : "failed",
-    before_observed: before.status,
-    after_observed: after.status,
-    message: passed ? void 0 : `${label} expected before ${beforeAllowed.join(", ")} and after ${afterAllowed.join(", ")}, got ${before.status} -> ${after.status}.`
-  };
-}
-function checkStatusTransitionResult(delta, before, after) {
-  const label = delta.label || delta.check_label || delta.check_type || "check-status-transition";
-  if (!delta.check_label && !delta.check_type) {
-    return {
-      type: delta.type,
-      label,
-      status: "configuration_error",
-      message: `${label} needs check_label or check_type.`
-    };
-  }
-  if (!before || !after) {
-    return {
-      type: delta.type,
-      label,
-      status: "proof_insufficient",
-      before_observed: before?.status,
-      after_observed: after?.status,
-      message: `${label} needs both before and after profile results.`
-    };
-  }
-  const beforeCheck = findCheck(before, delta);
-  const afterCheck = findCheck(after, delta);
-  if (!beforeCheck || !afterCheck) {
-    return {
-      type: delta.type,
-      label,
-      status: "proof_insufficient",
-      before_observed: beforeCheck?.status,
-      after_observed: afterCheck?.status,
-      message: `${label} was not present in ${!beforeCheck && !afterCheck ? "before or after" : !beforeCheck ? "before" : "after"} profile checks.`
-    };
-  }
-  const beforeAllowed = listValue(delta.before_status, DEFAULT_CHECK_STATUS_TRANSITION_BEFORE);
-  const afterAllowed = listValue(delta.after_status, DEFAULT_CHECK_STATUS_TRANSITION_AFTER);
-  const passed = includesValue(beforeAllowed, beforeCheck.status) && includesValue(afterAllowed, afterCheck.status);
-  return {
-    type: delta.type,
-    label,
-    status: passed ? "passed" : "failed",
-    before_observed: beforeCheck.status,
-    after_observed: afterCheck.status,
-    message: passed ? void 0 : `${label} expected before ${beforeAllowed.join(", ")} and after ${afterAllowed.join(", ")}, got ${beforeCheck.status} -> ${afterCheck.status}.`
-  };
-}
-function assessDelta(delta, before, after) {
-  if (delta.type === "profile_status_transition") {
-    return profileStatusTransitionResult(delta, before, after);
-  }
-  return checkStatusTransitionResult(delta, before, after);
-}
-function collapsedChangeStatus(groups, deltas) {
-  const groupResults = [groups.before, groups.after];
-  if (groupResults.some((group) => group.status === "environment_blocked")) return "environment_blocked";
-  if (groupResults.some((group) => group.status === "configuration_error")) return "configuration_error";
-  if (deltas.some((delta) => delta.status === "configuration_error")) return "configuration_error";
-  if (groupResults.some((group) => group.status === "needs_human_review")) return "needs_human_review";
-  if (groupResults.some((group) => group.status === "missing" || group.status === "proof_insufficient")) return "proof_insufficient";
-  if (!deltas.length || deltas.some((delta) => delta.status === "proof_insufficient")) return "proof_insufficient";
-  if (groupResults.some((group) => !group.ok)) return "product_regression";
-  if (deltas.some((delta) => delta.status === "failed")) return "product_regression";
-  return "passed";
-}
-function changeSummary(name, status, deltas) {
-  if (status === "passed") return `${name} passed ${deltas.length} change delta(s).`;
-  if (status === "environment_blocked") return `${name} could not compare reliable evidence because an environment was blocked.`;
-  if (status === "configuration_error") return `${name} has an invalid change proof contract.`;
-  if (status === "needs_human_review") return `${name} needs human review before the change proof can pass.`;
-  if (status === "proof_insufficient") return `${name} did not produce enough before/after evidence for a change proof.`;
-  return `${name} failed ${deltas.filter((delta) => delta.status === "failed").length} change delta(s).`;
-}
-function assessRiddleProofChange(contract, input) {
-  const groups = {
-    before: groupResult("before", contract.before, input.before_result),
-    after: groupResult("after", contract.after, input.after_result)
-  };
-  const deltas = (contract.deltas || []).map((delta) => assessDelta(delta, input.before_result, input.after_result));
-  const status = collapsedChangeStatus(groups, deltas);
-  return {
-    version: RIDDLE_PROOF_CHANGE_RESULT_VERSION,
-    contract_name: contract.name,
-    status,
-    groups,
-    deltas,
-    summary: changeSummary(contract.name, status, deltas),
-    metadata: contract.metadata
-  };
-}
-
 // src/cli.ts
 var RIDDLE_PROFILE_BALANCE_PREFLIGHT_MIN_SECONDS_PER_JOB = 30;
 var KNOWN_CLI_OPTIONS = /* @__PURE__ */ new Set([
@@ -18781,8 +19949,14 @@ var KNOWN_CLI_OPTIONS = /* @__PURE__ */ new Set([
   "balancePreflight",
   "baseUrl",
   "afterResult",
+  "afterObservation",
+  "afterPreviewReceipt",
+  "afterSourceRevision",
   "afterUrl",
   "beforeResult",
+  "beforeObservation",
+  "beforePreviewReceipt",
+  "beforeSourceRevision",
   "beforeUrl",
   "candidateJson",
   "candidatesJson",
@@ -18836,6 +20010,7 @@ var KNOWN_CLI_OPTIONS = /* @__PURE__ */ new Set([
   "pack",
   "packFile",
   "profile",
+  "previewReceipt",
   "proofDir",
   "pr",
   "progressEveryMs",
@@ -18859,6 +20034,9 @@ var KNOWN_CLI_OPTIONS = /* @__PURE__ */ new Set([
   "scriptFile",
   "selectors",
   "sourceKind",
+  "sourceDirty",
+  "sourceRepository",
+  "sourceRevision",
   "splitViewports",
   "stateDir",
   "statePath",
@@ -18890,16 +20068,16 @@ function usage() {
     "  riddle-proof-loop respond --state-path <path> --response-json <file|json|->",
     "  riddle-proof-loop respond --state-path <path> --decision <decision> --summary <text> [--payload-json <file|json|->]",
     "  riddle-proof-loop status --state-path <path>",
-    "  riddle-proof-loop run-profile --profile <file|json|-> --url <base-url> [--base-url <base-url>] [--runner riddle] [--viewport-name <name[,name...]>] [--strict true|false; default false] [--split-viewports true|false; default false] [--balance-preflight true|false; default true] [--poll-attempts n] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json] [--quiet]",
+    "  riddle-proof-loop run-profile --profile <file|json|-> --url <base-url> [--preview-receipt <file|json>] [--source-revision <sha>] [--runner riddle] [--viewport-name <name[,name...]>] [--strict true|false; default false] [--split-viewports true|false; default false] [--balance-preflight true|false; default true] [--poll-attempts n] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json] [--quiet]",
     "  riddle-proof-loop run-profile aggregate --profile <file|json|-> --url <base-url> [--base-url <base-url>] --input-dir <dir>|--inputs <path[,path...]> [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json]",
     "  riddle-proof-loop run-profile recover --profile <file|json|-> --url <base-url> [--base-url <base-url>] --job <job-id> [--viewport-name <name[,name...]>] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json]",
-    "  riddle-proof-loop run-change-proof --profile <file|json|-> --change-contract <file|json|-> (--before-url <url> --after-url <url> | --before-result <file> --after-result <file>) [--viewport-name <name[,name...]>] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json]",
+    "  riddle-proof-loop run-change-proof --profile <file|json|-> --change-contract <file|json|-> (--before-url <url> --after-url <url> | --before-result <file> --after-result <file> | --before-observation <file> --after-observation <file>) [--before-preview-receipt <file|json>] [--after-preview-receipt <file|json>] [--before-source-revision <sha>] [--after-source-revision <sha>] [--viewport-name <name[,name...]>] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json]",
     "  riddle-proof-loop profile-suggest --route /path|--url <url> [--changed-files a,b] [--selectors .a,.b] [--changed-text-json <file|json|->] [--format json|profile]",
     "  riddle-proof-loop regression-pack run [--pack oc-flow-regression|--pack-file <file>] [--local-core true|false; default true] [--hosted-riddle true|false; default false] [--format json|markdown|compact-json; default json] [--output <dir>|--output-dir <dir>]",
     "  riddle-proof-loop pr-comment --proof-dir <dir>|--run-response <file> [--result-json <file>] --pr <number|url> [--repo owner/name] [--dry-run] [--body-file <file>] [--comment-mode update|append]",
     "  riddle-proof-loop profile-body-assertions --artifact <file|url|-> --candidates-json <file|json|-> [--required-json <file|json|->] [--format json|body-contains]",
     "  riddle-proof-loop profile-http-status-preflight --profile <file|json|-> --url <base-url> [--format json|summary]",
-    "  riddle-proof-loop riddle-preview-deploy <build-dir> <label> [--framework spa|static] [--quiet]",
+    "  riddle-proof-loop riddle-preview-deploy <build-dir> <label> [--framework spa|static] [--output <dir>] [--quiet]",
     "  riddle-proof-loop riddle-server-preview <directory> --script-file <file> [--path /route] [--wait-for-selector selector]",
     "  riddle-proof-loop riddle-run-script --url <url> --script-file <file> [--viewport 1280x720] [--strict true|false]",
     "  riddle-proof-loop riddle-poll <job-id> [--wait] [--attempts n] [--quiet]",
@@ -19059,6 +20237,7 @@ function compactRunProfileResult(result, options) {
     output_dir: outputDir,
     output_files: outputDir ? {
       profile_result: "profile-result.json",
+      observation_receipt: "observation-receipt.json",
       summary: "summary.md",
       proof_json: result.evidence ? "proof.json" : void 0,
       console: result.evidence?.console ? "console.json" : void 0,
@@ -19687,12 +20866,13 @@ function formatByteCount(bytes) {
 }
 function riddlePollProgressLine(snapshot) {
   const submittedAt = snapshot.submitted_at || "not-submitted";
-  const queuePart = snapshot.running_without_submission ? ` waiting_for_worker_submit=${formatPollDuration(snapshot.pre_submission_elapsed_ms)} worker_wake=possible${snapshot.queue_elapsed_ms !== null ? ` queued_for=${formatPollDuration(snapshot.queue_elapsed_ms)}` : ""}` : snapshot.queue_elapsed_ms !== null ? ` queue=${formatPollDuration(snapshot.queue_elapsed_ms)}` : "";
+  const queuePart = snapshot.active_execution ? `${snapshot.queue_elapsed_ms !== null ? ` queue=${formatPollDuration(snapshot.queue_elapsed_ms)}` : ""} active_execution=${formatPollDuration(snapshot.elapsed_ms)}` : snapshot.running_without_submission ? ` waiting_for_worker_claim=${formatPollDuration(snapshot.pre_submission_elapsed_ms)} worker_wake=possible${snapshot.queue_elapsed_ms !== null ? ` queued_for=${formatPollDuration(snapshot.queue_elapsed_ms)}` : ""}` : snapshot.queue_elapsed_ms !== null ? ` queue=${formatPollDuration(snapshot.queue_elapsed_ms)}` : "";
   const terminalPart = snapshot.terminal ? " terminal=true" : "";
   return [
     "[riddle-poll]",
     snapshot.job_id,
     `status=${snapshot.status || "unknown"}`,
+    `phase=${snapshot.phase || "unknown"}`,
     `attempt=${snapshot.attempt}/${snapshot.attempts}`,
     `elapsed=${formatPollDuration(snapshot.elapsed_ms)}`,
     `submitted_at=${submittedAt}${queuePart}${terminalPart}`
@@ -22630,10 +23810,48 @@ function profileHttpStatusSummaryMarkdown(result) {
   }
   return lines;
 }
-function writeProfileOutput(outputDir, result) {
+function profileResultTargetUrl(result) {
+  const legacyRoute = result.route;
+  return result.route.observed || result.route.requested || legacyRoute.url || result.evidence?.target_url || "unknown";
+}
+function profileObservationForOutput(result, outputDir, options) {
+  if (options.observation) return options.observation;
+  const preview = options.previewReceipt;
+  const targetUrl = profileResultTargetUrl(result);
+  return createRiddleProofObservationReceipt({
+    comparison_role: options.comparisonRole || "standalone",
+    executor: result.runner === "local-playwright" ? { kind: "local_playwright", runner: result.runner } : {
+      kind: "riddle_hosted",
+      runner: result.runner,
+      job_id: result.riddle?.job_id,
+      worker_id: typeof result.riddle?.execution?.worker_id === "string" ? result.riddle.execution.worker_id : void 0
+    },
+    target: preview ? { kind: "preview", url: targetUrl, preview } : { kind: "url", url: targetUrl },
+    source: options.source || preview?.source,
+    profile_result: result,
+    publication: { kind: "local", path: outputDir },
+    execution: result.riddle?.execution
+  });
+}
+function profileOutputOptionsForCli(options) {
+  const previewInput = optionString(options, "previewReceipt");
+  const previewReceipt = previewInput ? parseRiddlePreviewReceipt(readJsonValue(previewInput, "--preview-receipt")) : void 0;
+  const sourceDirty = optionBoolean(options, "sourceDirty");
+  const source = {
+    ...previewReceipt?.source || {},
+    ...optionString(options, "sourceRevision") ? { git_revision: optionString(options, "sourceRevision") } : {},
+    ...optionString(options, "sourceRepository") ? { repository: optionString(options, "sourceRepository") } : {},
+    ...typeof sourceDirty === "boolean" ? { dirty: sourceDirty } : {}
+  };
+  return { previewReceipt, source };
+}
+function writeProfileOutput(outputDir, result, options = {}) {
   if (!outputDir) return;
   (0, import_node_fs6.mkdirSync)(outputDir, { recursive: true });
   (0, import_node_fs6.writeFileSync)(import_node_path6.default.join(outputDir, "profile-result.json"), `${JSON.stringify(result, null, 2)}
+`);
+  const observation = profileObservationForOutput(result, outputDir, options);
+  (0, import_node_fs6.writeFileSync)(import_node_path6.default.join(outputDir, "observation-receipt.json"), `${JSON.stringify(observation, null, 2)}
 `);
   (0, import_node_fs6.writeFileSync)(import_node_path6.default.join(outputDir, "summary.md"), profileResultMarkdown(result));
   if (result.evidence) (0, import_node_fs6.writeFileSync)(import_node_path6.default.join(outputDir, "proof.json"), `${JSON.stringify(result, null, 2)}
@@ -22674,6 +23892,12 @@ function profileOptionsForChangeProofSide(options, url, outputDir) {
   }
   return next;
 }
+function observationForChangeSide(observation, side) {
+  if (observation.comparison_role !== "standalone" && observation.comparison_role !== side) {
+    throw new Error(`${side} observation has incompatible comparison_role ${observation.comparison_role}.`);
+  }
+  return observation.comparison_role === side ? observation : { ...observation, comparison_role: side };
+}
 function compactChangeProofResult(run, options) {
   const outputDir = profileOutputDirOption(options);
   return {
@@ -22706,57 +23930,37 @@ function compactChangeProofResult(run, options) {
     output_dir: outputDir,
     output_files: outputDir ? {
       change_proof_result: "change-proof-result.json",
+      change_proof_receipt: "change-proof-receipt.json",
+      change_proof_receipt_markdown: "change-proof-receipt.md",
+      change_proof_receipt_html: "change-proof-receipt.html",
+      handoff_receipt: "handoff-receipt.json",
+      handoff_receipt_markdown: "handoff-receipt.md",
       summary: "summary.md",
       before_profile_result: "before/profile-result.json",
-      after_profile_result: "after/profile-result.json"
+      after_profile_result: "after/profile-result.json",
+      before_observation_receipt: "before/observation-receipt.json",
+      after_observation_receipt: "after/observation-receipt.json"
     } : void 0
   };
 }
 function changeProofResultMarkdown(run) {
-  const lines = [
-    "# Riddle Proof Change Proof",
-    "",
-    `Contract: ${run.result.contract_name}`,
-    `Profile: ${run.profile.name}`,
-    `Status: ${run.result.status}`,
-    "",
-    run.result.summary,
-    "",
-    "## Before",
-    "",
-    `- source: ${markdownInlineCode(run.beforeSource, 160)}`,
-    `- profile: ${run.beforeResult.profile_name}`,
-    `- status: ${run.beforeResult.status}`,
-    `- summary: ${run.beforeResult.summary}`,
-    "",
-    "## After",
-    "",
-    `- source: ${markdownInlineCode(run.afterSource, 160)}`,
-    `- profile: ${run.afterResult.profile_name}`,
-    `- status: ${run.afterResult.status}`,
-    `- summary: ${run.afterResult.summary}`,
-    "",
-    "## Deltas",
-    ""
-  ];
-  for (const delta of run.result.deltas) {
-    const observed = [
-      delta.before_observed !== void 0 ? `before ${markdownInlineCode(String(delta.before_observed))}` : "",
-      delta.after_observed !== void 0 ? `after ${markdownInlineCode(String(delta.after_observed))}` : ""
-    ].filter(Boolean).join(" -> ");
-    lines.push(`- ${delta.status}: ${delta.label}${observed ? ` (${observed})` : ""}${delta.message ? ` - ${delta.message}` : ""}`);
-  }
-  return `${lines.join("\n")}
-`;
+  return riddleProofChangeReceiptMarkdown(run.receipt);
 }
 function writeChangeProofOutput(outputDir, run) {
   if (!outputDir) return;
   (0, import_node_fs6.mkdirSync)(outputDir, { recursive: true });
   (0, import_node_fs6.writeFileSync)(import_node_path6.default.join(outputDir, "change-proof-result.json"), `${JSON.stringify(run.result, null, 2)}
 `);
+  (0, import_node_fs6.writeFileSync)(import_node_path6.default.join(outputDir, "change-proof-receipt.json"), `${JSON.stringify(run.receipt, null, 2)}
+`);
+  (0, import_node_fs6.writeFileSync)(import_node_path6.default.join(outputDir, "change-proof-receipt.md"), riddleProofChangeReceiptMarkdown(run.receipt));
+  (0, import_node_fs6.writeFileSync)(import_node_path6.default.join(outputDir, "change-proof-receipt.html"), riddleProofChangeReceiptHtml(run.receipt));
+  (0, import_node_fs6.writeFileSync)(import_node_path6.default.join(outputDir, "handoff-receipt.json"), `${JSON.stringify(run.handoff, null, 2)}
+`);
+  (0, import_node_fs6.writeFileSync)(import_node_path6.default.join(outputDir, "handoff-receipt.md"), buildRiddleProofPrCommentMarkdown({ result: run.handoff }));
   (0, import_node_fs6.writeFileSync)(import_node_path6.default.join(outputDir, "summary.md"), changeProofResultMarkdown(run));
-  writeProfileOutput(changeProofSideOutputDir(outputDir, "before"), run.beforeResult);
-  writeProfileOutput(changeProofSideOutputDir(outputDir, "after"), run.afterResult);
+  writeProfileOutput(changeProofSideOutputDir(outputDir, "before"), run.beforeResult, { observation: run.beforeObservation });
+  writeProfileOutput(changeProofSideOutputDir(outputDir, "after"), run.afterResult, { observation: run.afterObservation });
 }
 function writeRunChangeProofResult(run, options) {
   const format = runProfileResultFormatOption(options);
@@ -22855,6 +24059,7 @@ function withRiddleMetadata(result, input) {
       ...result.riddle || {},
       job_id: input.job_id || result.riddle?.job_id,
       status: input.status ?? result.riddle?.status,
+      phase: poll?.phase ?? result.riddle?.phase,
       terminal: input.terminal ?? result.riddle?.terminal,
       created_at: poll?.created_at ?? result.riddle?.created_at,
       submitted_at: poll?.submitted_at ?? result.riddle?.submitted_at,
@@ -22867,7 +24072,8 @@ function withRiddleMetadata(result, input) {
       timed_out: poll?.timed_out ?? result.riddle?.timed_out,
       retry_count: input.retryCount ?? result.riddle?.retry_count,
       stale_job_ids: staleJobIds?.length ? staleJobIds : result.riddle?.stale_job_ids,
-      artifact_recovery: input.artifactRecovery ?? result.riddle?.artifact_recovery
+      artifact_recovery: input.artifactRecovery ?? result.riddle?.artifact_recovery,
+      execution: poll?.execution ?? result.riddle?.execution
     },
     artifacts: {
       ...result.artifacts,
@@ -22935,6 +24141,7 @@ function riddleMetadataFromPoll(jobId, poll) {
   return {
     job_id: jobId,
     status: poll.status,
+    phase: poll.poll?.phase,
     terminal: poll.terminal,
     created_at: poll.poll?.created_at,
     submitted_at: poll.poll?.submitted_at,
@@ -22944,7 +24151,8 @@ function riddleMetadataFromPoll(jobId, poll) {
     elapsed_ms: poll.poll?.elapsed_ms,
     attempt: poll.poll?.attempt,
     attempts: poll.poll?.attempts,
-    timed_out: poll.poll?.timed_out
+    timed_out: poll.poll?.timed_out,
+    execution: poll.poll?.execution
   };
 }
 function profileUnsubmittedRetryTimeoutMs(options) {
@@ -23490,7 +24698,7 @@ async function runSplitViewportProfileForCli(profile, options, input) {
     const childProfile = profileForSplitViewport(profile, viewport);
     const childOutputDir = outputDir ? splitViewportOutputDir(outputDir, viewport.name, seenOutputNames) : void 0;
     const result2 = await runSingleRiddleProfileForCli(childProfile, options, { ...input, outputDir: childOutputDir });
-    if (childOutputDir) writeProfileOutput(childOutputDir, result2);
+    if (childOutputDir) writeProfileOutput(childOutputDir, result2, profileOutputOptionsForCli(options));
     childRuns.push({ viewport, profile: childProfile, result: result2 });
   }
   const artifacts = childRuns.flatMap(splitViewportArtifactRefs);
@@ -23622,18 +24830,34 @@ async function runChangeProofForCli(rawProfile, options) {
   const contract = readChangeContractForCli(options);
   const beforeResultPath = optionString(options, "beforeResult");
   const afterResultPath = optionString(options, "afterResult");
+  const beforeObservationPath = optionString(options, "beforeObservation");
+  const afterObservationPath = optionString(options, "afterObservation");
   const beforeUrl = optionString(options, "beforeUrl");
   const afterUrl = optionString(options, "afterUrl");
+  const beforePreviewInput = optionString(options, "beforePreviewReceipt");
+  const afterPreviewInput = optionString(options, "afterPreviewReceipt");
+  const beforePreview = beforePreviewInput ? parseRiddlePreviewReceipt(readJsonValue(beforePreviewInput, "--before-preview-receipt")) : void 0;
+  const afterPreview = afterPreviewInput ? parseRiddlePreviewReceipt(readJsonValue(afterPreviewInput, "--after-preview-receipt")) : void 0;
   const hasResultInputs = Boolean(beforeResultPath || afterResultPath);
+  const hasObservationInputs = Boolean(beforeObservationPath || afterObservationPath);
   const hasUrlInputs = Boolean(beforeUrl || afterUrl);
-  if (hasResultInputs && hasUrlInputs) {
-    throw new Error("run-change-proof accepts either --before-result/--after-result or --before-url/--after-url, not both.");
+  if ([hasResultInputs, hasObservationInputs, hasUrlInputs].filter(Boolean).length > 1) {
+    throw new Error("run-change-proof accepts one before/after input pair: result, observation, or URL.");
   }
   if (hasResultInputs && (!beforeResultPath || !afterResultPath)) {
     throw new Error("run-change-proof requires both --before-result and --after-result.");
   }
-  if (!hasResultInputs && (!beforeUrl || !afterUrl)) {
-    throw new Error("run-change-proof requires both --before-url and --after-url unless saved results are provided.");
+  if (hasObservationInputs && (!beforeObservationPath || !afterObservationPath)) {
+    throw new Error("run-change-proof requires both --before-observation and --after-observation.");
+  }
+  if (hasUrlInputs && (!beforeUrl || !afterUrl)) {
+    throw new Error("run-change-proof requires both --before-url and --after-url.");
+  }
+  if (!hasResultInputs && !hasObservationInputs && !hasUrlInputs) {
+    throw new Error("run-change-proof requires a before/after result, observation, or URL pair.");
+  }
+  if ((beforePreview || afterPreview) && !hasUrlInputs) {
+    throw new Error("--before-preview-receipt and --after-preview-receipt require the URL input mode.");
   }
   const outputDir = profileOutputDirOption(options);
   let profile;
@@ -23641,15 +24865,53 @@ async function runChangeProofForCli(rawProfile, options) {
   let afterResult;
   let beforeSource;
   let afterSource;
-  if (hasResultInputs) {
+  let beforeObservation;
+  let afterObservation;
+  if (hasObservationInputs) {
+    if (!beforeObservationPath || !afterObservationPath) {
+      throw new Error("run-change-proof requires both --before-observation and --after-observation.");
+    }
+    profile = profileWithSelectedViewportNamesForCli(normalizeProfileRecordForCli(rawProfile, options), options);
+    beforeObservation = observationForChangeSide(
+      parseRiddleProofObservationReceipt(readJsonValue(beforeObservationPath, "--before-observation")),
+      "before"
+    );
+    afterObservation = observationForChangeSide(
+      parseRiddleProofObservationReceipt(readJsonValue(afterObservationPath, "--after-observation")),
+      "after"
+    );
+    if (!beforeObservation.proof?.result || !afterObservation.proof?.result) {
+      throw new Error("Change Proof observations must include their profile results.");
+    }
+    beforeResult = beforeObservation.proof.result;
+    afterResult = afterObservation.proof.result;
+    beforeSource = beforeObservation.target.url;
+    afterSource = afterObservation.target.url;
+  } else if (hasResultInputs) {
     if (!beforeResultPath || !afterResultPath) {
       throw new Error("run-change-proof requires both --before-result and --after-result.");
     }
     profile = profileWithSelectedViewportNamesForCli(normalizeProfileRecordForCli(rawProfile, options), options);
     beforeResult = readProfileResultForCli(beforeResultPath, "--before-result");
     afterResult = readProfileResultForCli(afterResultPath, "--after-result");
-    beforeSource = beforeResultPath;
-    afterSource = afterResultPath;
+    beforeSource = profileResultTargetUrl(beforeResult);
+    afterSource = profileResultTargetUrl(afterResult);
+    beforeObservation = createRiddleProofObservationReceipt({
+      comparison_role: "before",
+      executor: { kind: beforeResult.runner === "local-playwright" ? "local_playwright" : "riddle_hosted", runner: beforeResult.runner, job_id: beforeResult.riddle?.job_id },
+      target: { kind: "url", url: beforeSource },
+      profile_result: beforeResult,
+      execution: beforeResult.riddle?.execution,
+      publication: { kind: "local", path: beforeResultPath }
+    });
+    afterObservation = createRiddleProofObservationReceipt({
+      comparison_role: "after",
+      executor: { kind: afterResult.runner === "local-playwright" ? "local_playwright" : "riddle_hosted", runner: afterResult.runner, job_id: afterResult.riddle?.job_id },
+      target: { kind: "url", url: afterSource },
+      profile_result: afterResult,
+      execution: afterResult.riddle?.execution,
+      publication: { kind: "local", path: afterResultPath }
+    });
   } else {
     if (!beforeUrl || !afterUrl) {
       throw new Error("run-change-proof requires both --before-url and --after-url unless saved results are provided.");
@@ -23663,12 +24925,54 @@ async function runChangeProofForCli(rawProfile, options) {
     afterResult = await runProfileForCli(afterProfile, afterOptions);
     beforeSource = beforeUrl;
     afterSource = afterUrl;
+    beforeObservation = createRiddleProofObservationReceipt({
+      comparison_role: "before",
+      executor: { kind: "riddle_hosted", runner: beforeResult.runner, job_id: beforeResult.riddle?.job_id },
+      target: beforePreview ? { kind: "preview", url: beforeSource, preview: beforePreview } : { kind: "url", url: beforeSource },
+      source: beforePreview?.source,
+      profile_result: beforeResult,
+      execution: beforeResult.riddle?.execution
+    });
+    afterObservation = createRiddleProofObservationReceipt({
+      comparison_role: "after",
+      executor: { kind: "riddle_hosted", runner: afterResult.runner, job_id: afterResult.riddle?.job_id },
+      target: afterPreview ? { kind: "preview", url: afterSource, preview: afterPreview } : { kind: "url", url: afterSource },
+      source: afterPreview?.source,
+      profile_result: afterResult,
+      execution: afterResult.riddle?.execution
+    });
   }
   const result = assessRiddleProofChange(contract, {
     before_result: beforeResult,
-    after_result: afterResult
+    after_result: afterResult,
+    before_observation: beforeObservation,
+    after_observation: afterObservation,
+    expected_source_revisions: {
+      before: optionString(options, "beforeSourceRevision"),
+      after: optionString(options, "afterSourceRevision")
+    }
+  });
+  const receipt = createRiddleProofChangeReceipt({
+    contract,
+    result,
+    before_observation: beforeObservation,
+    after_observation: afterObservation,
+    profile_name: profile.name
   });
-  return { profile, contract, beforeResult, afterResult, result, beforeSource, afterSource };
+  const handoff = createRiddleProofHandoffReceipt(receipt);
+  return {
+    profile,
+    contract,
+    beforeResult,
+    afterResult,
+    result,
+    receipt,
+    handoff,
+    beforeObservation,
+    afterObservation,
+    beforeSource,
+    afterSource
+  };
 }
 function requestForRun(options) {
   const statePath = optionString(options, "statePath");
@@ -23720,7 +25024,7 @@ async function main() {
   if (command === "run-profile") {
     const profile = profileWithSelectedViewportNamesForCli(normalizeProfileForCli(options), options);
     const result = positional[1] === "recover" ? await recoverProfileForCli(profile, options) : positional[1] === "aggregate" ? await aggregateProfileResultsForCli(profile, options) : await runProfileForCli(profile, options);
-    writeProfileOutput(profileOutputDirOption(options), result);
+    writeProfileOutput(profileOutputDirOption(options), result, profileOutputOptionsForCli(options));
     const diagnosticLine = profileCliDiagnosticLine(result);
     if (diagnosticLine && optionBoolean(options, "quiet") !== true) {
       process.stderr.write(`${diagnosticLine}
@@ -23751,7 +25055,10 @@ async function main() {
     const explicitResultJsonPath = optionString(options, "resultJson");
     const runResponsePath = explicitRunResponsePath || defaultProofDirJsonPath(proofDir, "riddle-run-response.json");
     const resultJsonPaths = explicitResultJsonPath ? [explicitResultJsonPath] : [
+      defaultProofDirJsonPath(proofDir, "handoff-receipt.json"),
       defaultProofDirJsonPath(proofDir, "result.json"),
+      defaultProofDirJsonPath(proofDir, "change-proof-receipt.json"),
+      defaultProofDirJsonPath(proofDir, "change-proof-result.json"),
       defaultProofDirJsonPath(proofDir, "profile-result.json")
     ];
     const runResponse = readJsonFileIfExists(runResponsePath);
@@ -23870,6 +25177,16 @@ async function main() {
       };
     }
     const result = await createRiddleApiClient(clientConfig).deployPreview(buildDir, label, previewFrameworkOption(options));
+    const outputDir = profileOutputDirOption(options);
+    if (outputDir) {
+      (0, import_node_fs6.mkdirSync)(outputDir, { recursive: true });
+      (0, import_node_fs6.writeFileSync)(import_node_path6.default.join(outputDir, "preview-deploy-result.json"), `${JSON.stringify(result, null, 2)}
+`);
+      if (result.receipt) {
+        (0, import_node_fs6.writeFileSync)(import_node_path6.default.join(outputDir, "preview-receipt.json"), `${JSON.stringify(result.receipt, null, 2)}
+`);
+      }
+    }
     for (const warning of result.warnings ?? []) {
       process.stderr.write(`Warning: ${warning}
 `);