@riddledc/riddle-proof 0.8.77 → 0.8.79

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,1113 +18354,1587 @@ 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) {
-  const resultArtifacts = asRecord2(result.artifacts);
-  const artifacts = [];
-  const seen = /* @__PURE__ */ new Set();
-  for (const [index, item] of asArray(resultArtifacts.riddle_artifacts).entries()) {
-    const artifact = asRecord2(item);
-    const url = stringValue4(artifact.url);
-    if (!url || seen.has(url)) continue;
-    seen.add(url);
-    const fallbackName = stringValue4(artifact.kind) || `artifact-${index + 1}`;
-    const name = artifactDisplayName(artifact.name, fallbackName);
-    artifacts.push({
-      name,
-      url,
-      kind: artifactKind(name, url),
-      size_bytes: numberValue3(artifact.size_bytes) ?? numberValue3(artifact.size)
-    });
+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.`
+    };
   }
-  return artifacts;
+  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 collectChangeReceiptArtifacts(result) {
-  const artifacts = [];
-  const seen = /* @__PURE__ */ new Set();
-  const collectSide = (sideName, side) => {
-    const candidates = [
-      ...asArray(side.screenshots),
-      ...asArray(side.artifacts)
-    ];
-    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)
-      });
-    }
+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
   };
-  collectSide("before", asRecord2(result.before));
-  collectSide("after", asRecord2(result.after));
-  return artifacts;
 }
-function mergeArtifacts(...artifactLists) {
-  const artifacts = [];
-  const seen = /* @__PURE__ */ new Set();
-  for (const artifact of artifactLists.flat()) {
-    if (seen.has(artifact.url)) continue;
-    seen.add(artifact.url);
-    artifacts.push(artifact);
+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 artifacts;
+  return counts;
 }
-function pageSummaries(result) {
-  const pages = [];
-  for (const page of asArray(result.pages)) {
-    const record = asRecord2(page);
-    const route = stringValue4(record.route) || stringValue4(record.url) || "page";
-    const checks = asRecord2(record.checks);
-    let passed = 0;
-    let failed = 0;
-    for (const value of Object.values(checks)) {
-      if (value === true) passed += 1;
-      if (value === false) failed += 1;
-    }
-    pages.push({ route, passed, failed });
+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."
+    };
   }
-  return pages;
+  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 profileCheckCounts(result) {
-  const checks = asArray(result.checks);
-  if (checks.length) {
-    let passed2 = 0;
-    let failed2 = 0;
-    for (const item of checks) {
-      const status = stringValue4(asRecord2(item).status);
-      if (status === "passed") passed2 += 1;
-      if (status === "failed") failed2 += 1;
-    }
-    return { passed: passed2, failed: failed2 };
+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.`);
   }
-  const checkCounts = asRecord2(result.check_counts);
-  const passed = numberValue3(checkCounts.passed);
-  const failed = numberValue3(checkCounts.failed);
-  if (typeof passed === "number" || typeof failed === "number") {
-    return { passed: passed ?? 0, failed: failed ?? 0 };
+  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.`);
   }
-  return void 0;
 }
-function profilePageSummaries(result, counts) {
-  if (!counts) return [];
-  const route = asRecord2(result.route);
-  return [{
-    route: firstStringValue2(route.observed, route.expected_path, route.requested, result.profile_name) || "profile",
-    passed: counts.passed,
-    failed: counts.failed
-  }];
+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 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 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 changeReceiptPageSummaries(result) {
-  const pages = [];
-  for (const sideName of ["before", "after"]) {
-    const side = asRecord2(result[sideName]);
-    if (!Object.keys(side).length) continue;
-    const checks = asRecord2(side.checks);
-    pages.push({
-      route: firstStringValue2(side.source, side.profile_name) || sideName,
-      passed: numberValue3(checks.passed) ?? 0,
-      failed: numberValue3(checks.failed) ?? 0
-    });
-  }
-  return pages;
+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 summarizeExplicitChecks(value) {
-  let passed = 0;
-  let failed = 0;
-  const visit = (current, inChecks = false) => {
-    if (current === true && inChecks) {
-      passed += 1;
-      return;
-    }
-    if (current === false && inChecks) {
-      failed += 1;
-      return;
-    }
-    if (Array.isArray(current)) {
-      for (const item of current) visit(item, inChecks);
-      return;
-    }
-    if (current && typeof current === "object") {
-      for (const [key, item] of Object.entries(current)) {
-        visit(item, inChecks || key === "checks");
-      }
-    }
+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
   };
-  visit(value);
-  return { passed, failed };
-}
-function selectPrimaryImage(artifacts) {
-  const images = artifacts.filter((artifact) => artifact.kind === "image");
-  return images.find((artifact) => /after|proof|screenshot/i.test(artifact.name)) || images[0];
 }
-function firstRecordValue2(...values) {
-  for (const value of values) {
-    const record = asRecord2(value);
-    if (Object.keys(record).length) return record;
-  }
-  return void 0;
+function isRecord3(value) {
+  return Boolean(value) && typeof value === "object" && !Array.isArray(value);
 }
-function checkpointSummaryFrom2(...values) {
-  const record = firstRecordValue2(...values);
-  if (!record) return void 0;
-  const summary = {
-    pending: booleanValue3(record.pending),
-    response_count: numberValue3(record.response_count),
-    rejected_response_count: numberValue3(record.rejected_response_count),
-    ignored_response_count: numberValue3(record.ignored_response_count),
-    duplicate_response_count: numberValue3(record.duplicate_response_count),
-    latest_decision: stringValue4(record.latest_decision),
-    latest_packet_id: stringValue4(record.latest_packet_id),
-    latest_resume_token: stringValue4(record.latest_resume_token)
+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 }
   };
-  return Object.values(summary).some((value) => typeof value !== "undefined") ? summary : void 0;
-}
-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) {
-  return stringValue4(result.version) === "riddle-proof.change-receipt.v1";
-}
-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 proofResult = asRecord2(runResponse.proofResult);
-  const profileResult = isProfileResult(result);
-  const changeReceiptResult = isChangeReceiptResult(result);
-  const changeResult = changeReceiptResult || isChangeResult(result);
-  const profileRiddle = asRecord2(result.riddle);
-  const preview = asRecord2(runResponse.preview);
-  const resultRunCard = asRecord2(result.run_card);
-  const stopCondition = asRecord2(resultRunCard.stop_condition);
-  const resultDetails = asRecord2(result.details);
-  const resultRaw = asRecord2(result.raw);
-  const rawDetails = asRecord2(resultRaw.details);
-  const profileChecks = profileResult ? profileCheckCounts(result) : void 0;
-  const changeChecks = changeResult ? changeReceiptCheckCounts(result) : void 0;
-  const artifacts = mergeArtifacts(
-    collectArtifacts(runResponse),
-    profileResult ? collectProfileArtifacts(result) : [],
-    changeReceiptResult ? collectChangeReceiptArtifacts(result) : []
-  );
-  const pages = changeReceiptResult ? changeReceiptPageSummaries(result) : profileResult ? profilePageSummaries(result, profileChecks) : pageSummaries(result);
-  const checkSource = { ...result };
-  delete checkSource.ok;
-  const nestedChecks = summarizeExplicitChecks(checkSource);
-  const resultStatus = firstStringValue2(result.status, stopCondition.status);
-  const ok = changeResult ? resultStatus === "passed" : booleanValue3(result.ok) ?? booleanValue3(runResponse.ok) ?? null;
-  const checkpointSummary = checkpointSummaryFrom2(
-    result.checkpoint_summary,
-    stopCondition.checkpoint_summary,
-    resultDetails.checkpoint_summary,
-    rawDetails.checkpoint_summary,
-    proofResult.checkpoint_summary
-  );
-  const publicState = summarizeRiddleProofPublicState({
-    ...result,
-    status: resultStatus,
-    checkpoint_summary: checkpointSummary || result.checkpoint_summary
-  });
-  const mergeRecommendation = riddleProofPublicStateMergeRecommendation(
-    publicState,
-    firstStringValue2(result.merge_recommendation, stopCondition.merge_recommendation, resultRaw.merge_recommendation)
-  );
+function migrateRiddleProofChangeReceipt(legacy) {
+  const recommendation = changeRecommendation(legacy.verdict);
   return {
-    ok,
-    status: firstStringValue2(proofResult.status, profileRiddle.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),
-    preview_id: stringValue4(preview.id),
-    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,
-    proof_decision: firstStringValue2(result.proof_decision, stopCondition.proof_decision, resultRaw.proof_decision),
-    merge_recommendation: changeReceiptResult && resultStatus ? stringValue4(result.verdict) : mergeRecommendation,
-    checkpoint_summary: checkpointSummary,
-    public_state: publicState,
-    passed_checks: changeChecks?.passed ?? profileChecks?.passed ?? nestedChecks.passed,
-    failed_checks: changeChecks?.failed ?? profileChecks?.failed ?? nestedChecks.failed,
-    pages,
-    artifacts,
-    primary_image: selectPrimaryImage(artifacts)
+    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 formatDuration(ms) {
-  if (typeof ms !== "number" || !Number.isFinite(ms)) return "";
-  const seconds = Math.max(0, Math.round(ms / 1e3));
-  const minutes = Math.floor(seconds / 60);
-  const remainder = seconds % 60;
-  return minutes > 0 ? `${minutes}m${String(remainder).padStart(2, "0")}s` : `${seconds}s`;
+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 markdownLink(label, url) {
-  return `[${label.replace(/\]/g, "\\]")}](${url})`;
+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 resultLabel(summary) {
-  if (summary.public_state?.result_label) return summary.public_state.result_label;
-  if (summary.ok === true) {
-    if (summary.result_status === "shipped") return "shipped";
-    if (summary.result_status === "completed") return "completed";
-    if (summary.ship_held === true) return "proof passed; ship held";
-    if (summary.ship_authorized === true) return "passed; ship authorized";
-    return "passed";
+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")}.`);
   }
-  if (summary.ok === false) return "failed";
-  return summary.result_status || summary.status || "recorded";
-}
-function artifactRank(artifact) {
-  const name = artifact.name.toLowerCase();
-  if (name === "proof.json") return 0;
-  if (name === "result.json") return 1;
-  if (name.includes("proof") && name.endsWith(".json") && !name.includes("layout")) return 2;
-  if (name === "console.json") return 3;
-  if (artifact.kind === "data") return 10;
-  if (artifact.kind === "image") return 20;
-  return 30;
+  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 formatBool(value) {
-  return typeof value === "boolean" ? String(value) : "unknown";
+function markdownTableCell(value) {
+  return String(value ?? "").replace(/\|/g, "\\|").replace(/\r?\n/g, " ");
 }
-function hasShipControl(summary) {
-  return typeof summary.ship_held === "boolean" || typeof summary.shipping_disabled === "boolean" || typeof summary.ship_authorized === "boolean";
+function artifactTarget(artifact) {
+  return artifact.url || artifact.path;
 }
-function hasHandoffControl(summary) {
-  return typeof summary.merge_ready === "boolean" || typeof summary.sync_allowed === "boolean";
+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 shouldRenderMergeRecommendation(summary) {
-  if (!summary.merge_recommendation) return false;
-  return riddleProofPublicStateAllowsMergeRecommendation(summary.public_state);
+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 checkpointSummaryLine(summary) {
-  const accepted = summary.response_count ?? 0;
-  const rejected = summary.rejected_response_count ?? 0;
-  const ignored = summary.ignored_response_count ?? 0;
-  const parts = [`${accepted} accepted`, `${rejected} rejected`, `${ignored} ignored`];
-  if ((summary.duplicate_response_count ?? 0) > 0) parts.push(`${summary.duplicate_response_count} duplicate`);
-  const state = summary.pending === true ? "pending" : summary.pending === false ? "complete" : "";
-  return [
-    parts.join(" / "),
-    state,
-    summary.latest_decision ? `latest decision \`${summary.latest_decision}\`` : ""
-  ].filter(Boolean).join("; ");
+function markdownLink(label, target) {
+  return `[${label.replace(/\]/g, "\\]")}](${target})`;
 }
-function buildRiddleProofPrCommentMarkdown(input) {
-  const summary = summarizeRiddleProofPrComment(input);
-  const title = input.title?.trim() || "Riddle Proof Evidence";
-  const lines = [
-    RIDDLE_PROOF_PR_COMMENT_MARKER,
-    `## ${title}`,
-    "",
-    `**Result:** ${resultLabel(summary)}`
-  ];
-  if (input.goal?.trim()) lines.push(`**Goal:** ${input.goal.trim()}`);
-  if (input.successCriteria?.trim()) lines.push(`**Success criteria:** ${input.successCriteria.trim()}`);
-  if (summary.result_status) lines.push(`**Evidence status:** ${summary.result_status}`);
-  if (summary.status) lines.push(`**Riddle job status:** ${summary.status}`);
-  if (summary.job_id) lines.push(`**Riddle job:** \`${summary.job_id}\``);
-  if (summary.duration_ms) lines.push(`**Duration:** ${formatDuration(summary.duration_ms)}`);
-  if (hasShipControl(summary)) {
-    lines.push(`**Ship control:** held=${formatBool(summary.ship_held)}, shipping_disabled=${formatBool(summary.shipping_disabled)}, authorized=${formatBool(summary.ship_authorized)}`);
-  }
-  if (hasHandoffControl(summary)) {
-    lines.push(`**Handoff:** merge_ready=${formatBool(summary.merge_ready)}, sync_allowed=${formatBool(summary.sync_allowed)}`);
-  }
-  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.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}`);
+function appendMarkdownArtifacts(lines, title, artifacts) {
+  lines.push(`### ${title}`, "");
+  if (!artifacts.length) {
+    lines.push("- No screenshot artifacts recorded.", "");
+    return;
   }
-  if (summary.preview_publish_recovered) {
-    const detail = summary.preview_publish_error ? `: ${summary.preview_publish_error}` : "";
-    lines.push(`**Preview publish recovery:** recovered after publish error${detail}`);
+  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}`);
+    }
   }
-  lines.push(`**Checks:** ${summary.passed_checks} passed / ${summary.failed_checks} failed`);
+  if (artifacts.length > 6) lines.push(`- ${artifacts.length - 6} more artifact(s) omitted`);
   lines.push("");
-  if (summary.primary_image) {
-    lines.push("### Screenshot");
-    lines.push(`![${summary.primary_image.name}](${summary.primary_image.url})`);
-    lines.push("");
-  }
-  if (summary.pages.length) {
-    lines.push("### Page Checks");
-    for (const page of summary.pages.slice(0, 12)) {
-      lines.push(`- \`${page.route}\`: ${page.passed} passed / ${page.failed} failed`);
-    }
-    if (summary.pages.length > 12) lines.push(`- ${summary.pages.length - 12} more page(s) omitted`);
+}
+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("");
   }
-  const linkedArtifacts = summary.artifacts.filter((artifact) => artifact.url !== summary.primary_image?.url).sort((left, right) => artifactRank(left) - artifactRank(right) || left.name.localeCompare(right.name)).slice(0, 20);
+  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");
+    lines.push("## Artifacts", "");
     for (const artifact of linkedArtifacts) {
-      lines.push(`- ${markdownLink(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`);
+      lines.push(`- ${artifact.side}: ${markdownLink(artifact.name, artifactTarget(artifact) || "")}`);
     }
     lines.push("");
   }
-  if (input.source?.trim()) {
-    lines.push(`_Source: ${input.source.trim()}_`);
-  } else {
-    lines.push("_Updated by `riddle-proof-loop pr-comment`._");
-  }
   return `${lines.join("\n").trim()}
 `;
 }
-
-// src/profile-suggestions.ts
-var RIDDLE_PROOF_PROFILE_SUGGESTIONS_VERSION = "riddle-proof.profile-suggestions.v1";
-var UI_FILE_PATTERN = /\.(css|html?|jsx?|tsx?|vue|svelte|mdx)$/i;
-var VISUAL_ASSET_PATTERN = /\.(avif|gif|jpe?g|png|svg|webp)$/i;
-function nonEmptyStrings(values) {
-  return Array.from(new Set(
-    (values || []).filter((value) => typeof value === "string").map((value) => value.trim()).filter(Boolean)
-  ));
-}
-function normalizeRoute(value) {
-  if (!value?.trim()) return void 0;
-  const trimmed = value.trim();
-  if (/^https?:\/\//i.test(trimmed)) return void 0;
-  return trimmed.startsWith("/") ? trimmed : `/${trimmed}`;
+function escapeHtml(value) {
+  return String(value ?? "").replace(/&/g, "&amp;").replace(/</g, "&lt;").replace(/>/g, "&gt;").replace(/"/g, "&quot;").replace(/'/g, "&#39;");
 }
-function routeFromUrl(value) {
-  if (!value?.trim()) return void 0;
-  try {
-    const url = new URL(value);
-    return normalizeRoute(`${url.pathname}${url.search || ""}`);
-  } catch {
-    return void 0;
+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 slugify(value) {
-  return value.toLowerCase().replace(/[^a-z0-9]+/g, "-").replace(/^-+|-+$/g, "").slice(0, 80) || "suggested-profile";
+function htmlArtifactLink(artifact) {
+  const target = artifactTarget(artifact);
+  if (!target) return escapeHtml(artifact.name);
+  return `<a href="${escapeHtml(target)}">${escapeHtml(artifact.name)}</a>`;
 }
-function inferRouteFromFile(file) {
-  const normalized = file.replace(/\\/g, "/");
-  const routeMatch = normalized.match(/(?:^|\/)(?:pages|routes|app)\/(.+?)(?:\.[^.\/]+)?$/);
-  if (!routeMatch) return void 0;
-  const route = routeMatch[1].replace(/\/index$/i, "").replace(/\/page$/i, "").replace(/\[[^/\]]+\]/g, ":param");
-  return normalizeRoute(route || "/");
+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 inferRouteFromFiles(files) {
-  for (const file of files) {
-    const route = inferRouteFromFile(file);
-    if (route) return route;
-  }
-  return void 0;
+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>
+`;
 }
-function uniqueChecks(checks) {
-  const seen = /* @__PURE__ */ new Set();
-  return checks.filter((check) => {
-    const key = JSON.stringify(check);
-    if (seen.has(key)) return false;
-    seen.add(key);
-    return true;
-  });
+
+// 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 changedTextEntryText(entry) {
-  return typeof entry === "string" ? entry.trim() : (entry.expected_text || entry.text || "").trim();
+function asArray(value) {
+  return Array.isArray(value) ? value : [];
 }
-function changedTextEntrySelector(entry) {
-  return typeof entry === "string" ? void 0 : entry.selector?.trim() || void 0;
+function stringValue4(value) {
+  return typeof value === "string" && value.trim() ? value.trim() : void 0;
 }
-function changedTextEntryLabel(entry) {
-  return typeof entry === "string" ? void 0 : entry.label?.trim() || void 0;
+function numberValue3(value) {
+  return typeof value === "number" && Number.isFinite(value) ? value : void 0;
 }
-function suggestionProfileName(input, route, files) {
-  if (input.name?.trim()) return input.name.trim();
-  return `suggested-${slugify(route || files[0] || "profile")}`;
+function booleanValue3(value) {
+  return typeof value === "boolean" ? value : void 0;
 }
-function defaultViewports(includeMobile) {
-  const viewports = [
-    { name: "desktop", width: 1280, height: 800 }
-  ];
-  if (includeMobile !== false) {
-    viewports.push({ name: "mobile", width: 390, height: 844 });
+function firstStringValue2(...values) {
+  for (const value of values) {
+    const text = stringValue4(value);
+    if (text) return text;
   }
-  return viewports;
+  return void 0;
 }
-function suggestRiddleProofProfileChecks(input) {
-  const changedFiles = nonEmptyStrings(input.changed_files);
-  const selectors = nonEmptyStrings(input.selectors);
-  const changedText = input.changed_text || [];
-  const route = normalizeRoute(input.route) || inferRouteFromFiles(changedFiles) || routeFromUrl(input.url);
-  const uiFiles = changedFiles.filter((file) => UI_FILE_PATTERN.test(file));
-  const visualAssets = changedFiles.filter((file) => VISUAL_ASSET_PATTERN.test(file));
-  const warnings = [];
-  const suggestions = [];
-  const setupActions = [];
-  if (!route && !input.url?.trim()) {
-    warnings.push("No route or URL was supplied; the draft profile defaults to route /.");
-  }
-  if ((uiFiles.length || visualAssets.length) && !changedText.length && !selectors.length) {
-    warnings.push("UI or visual files changed, but no changed text or selectors were supplied; add focused checks before trusting this profile.");
-  }
-  const routeOrDefault = route || "/";
-  const routeChecks = [
-    { type: "route_loaded", expected_path: routeOrDefault }
-  ];
-  suggestions.push({
-    id: "route-loaded",
-    reason: "Every browser proof should first prove that the intended route loaded.",
-    checks: routeChecks
-  });
-  const hygieneChecks = [
-    { type: "no_fatal_console_errors" },
-    { type: "no_mobile_horizontal_overflow" }
-  ];
-  suggestions.push({
-    id: "runtime-hygiene",
-    reason: "UI changes should not introduce fatal console errors or mobile overflow.",
-    checks: hygieneChecks
-  });
-  for (const selector of selectors) {
-    suggestions.push({
-      id: `selector-${slugify(selector)}`,
-      reason: `Changed selector ${selector} should remain visible.`,
-      checks: [{ type: "selector_visible", selector }]
-    });
-  }
-  for (const entry of changedText) {
-    const text = changedTextEntryText(entry);
-    if (!text) continue;
-    const selector = changedTextEntrySelector(entry);
-    const label = changedTextEntryLabel(entry);
-    const check = selector ? { type: "selector_text_visible", selector, text, label } : { type: "text_visible", text, label };
-    suggestions.push({
-      id: `text-${slugify(`${selector || "page"}-${text}`)}`,
-      reason: selector ? `Expected text should be visible inside ${selector}.` : "Expected text should be visible on the route.",
-      checks: [check]
+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)
     });
   }
-  if (input.include_screenshot !== false && (uiFiles.length || visualAssets.length || selectors.length || changedText.length)) {
-    setupActions.push({ type: "screenshot", label: "suggested-proof-screenshot", full_page: true });
-    suggestions.push({
-      id: "screenshot-artifact",
-      reason: "A screenshot artifact keeps the proof packet inspectable by humans and hosted renderers.",
-      checks: [],
-      setup_actions: setupActions
+  return artifacts;
+}
+function collectProfileArtifacts(result) {
+  const resultArtifacts = asRecord2(result.artifacts);
+  const artifacts = [];
+  const seen = /* @__PURE__ */ new Set();
+  for (const [index, item] of asArray(resultArtifacts.riddle_artifacts).entries()) {
+    const artifact = asRecord2(item);
+    const url = stringValue4(artifact.url);
+    if (!url || seen.has(url)) continue;
+    seen.add(url);
+    const fallbackName = stringValue4(artifact.kind) || `artifact-${index + 1}`;
+    const name = artifactDisplayName(artifact.name, fallbackName);
+    artifacts.push({
+      name,
+      url,
+      kind: artifactKind(name, url),
+      size_bytes: numberValue3(artifact.size_bytes) ?? numberValue3(artifact.size)
     });
   }
-  const checks = uniqueChecks(suggestions.flatMap((suggestion) => suggestion.checks));
-  const target = {
-    ...input.url?.trim() ? { url: input.url.trim() } : { route: routeOrDefault },
-    viewports: defaultViewports(input.include_mobile),
-    setup_actions: setupActions.length ? setupActions : void 0
-  };
-  const profile = {
-    version: RIDDLE_PROOF_PROFILE_VERSION,
-    name: suggestionProfileName(input, routeOrDefault, changedFiles),
-    target,
-    checks,
-    artifacts: ["screenshot", "console", "proof_json"],
-    baseline_policy: "invariant_only",
-    failure_policy: {
-      product_regression: "fail",
-      proof_insufficient: "review",
-      environment_blocked: "neutral",
-      configuration_error: "fail",
-      needs_human_review: "review"
-    },
-    metadata: {
-      suggestion_input: {
-        changed_files: changedFiles,
-        selectors,
-        changed_text_count: changedText.length
-      }
-    }
-  };
-  return {
-    version: RIDDLE_PROOF_PROFILE_SUGGESTIONS_VERSION,
-    profile,
-    suggestions,
-    warnings
-  };
-}
-
-// src/change-proof.ts
-var RIDDLE_PROOF_CHANGE_RESULT_VERSION = "riddle-proof.change-result.v1";
-var RIDDLE_PROOF_CHANGE_RECEIPT_VERSION = "riddle-proof.change-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 includesValue(allowed, observed) {
-  return observed !== void 0 && allowed.includes(observed);
+  return artifacts;
 }
-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 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 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.`
-    };
+function mergeArtifacts(...artifactLists) {
+  const artifacts = [];
+  const seen = /* @__PURE__ */ new Set();
+  for (const artifact of artifactLists.flat()) {
+    if (seen.has(artifact.url)) continue;
+    seen.add(artifact.url);
+    artifacts.push(artifact);
   }
-  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}.`
-  };
+  return artifacts;
 }
-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.`
-    };
+function pageSummaries(result) {
+  const pages = [];
+  for (const page of asArray(result.pages)) {
+    const record = asRecord2(page);
+    const route = stringValue4(record.route) || stringValue4(record.url) || "page";
+    const checks = asRecord2(record.checks);
+    let passed = 0;
+    let failed = 0;
+    for (const value of Object.values(checks)) {
+      if (value === true) passed += 1;
+      if (value === false) failed += 1;
+    }
+    pages.push({ route, passed, failed });
   }
-  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.`
-    };
+  return pages;
+}
+function profileCheckCounts3(result) {
+  const checks = asArray(result.checks);
+  if (checks.length) {
+    let passed2 = 0;
+    let failed2 = 0;
+    for (const item of checks) {
+      const status = stringValue4(asRecord2(item).status);
+      if (status === "passed") passed2 += 1;
+      if (status === "failed") failed2 += 1;
+    }
+    return { passed: passed2, failed: failed2 };
   }
-  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 checkCounts = asRecord2(result.check_counts);
+  const passed = numberValue3(checkCounts.passed);
+  const failed = numberValue3(checkCounts.failed);
+  if (typeof passed === "number" || typeof failed === "number") {
+    return { passed: passed ?? 0, failed: failed ?? 0 };
   }
-  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}.`
-  };
+  return void 0;
 }
-function assessDelta(delta, before, after) {
-  if (delta.type === "profile_status_transition") {
-    return profileStatusTransitionResult(delta, before, after);
-  }
-  return checkStatusTransitionResult(delta, before, after);
+function profilePageSummaries(result, counts) {
+  if (!counts) return [];
+  const route = asRecord2(result.route);
+  return [{
+    route: firstStringValue2(route.observed, route.expected_path, route.requested, result.profile_name) || "profile",
+    passed: counts.passed,
+    failed: counts.failed
+  }];
 }
-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 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 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 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 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
+function summarizeExplicitChecks(value) {
+  let passed = 0;
+  let failed = 0;
+  const visit = (current, inChecks = false) => {
+    if (current === true && inChecks) {
+      passed += 1;
+      return;
+    }
+    if (current === false && inChecks) {
+      failed += 1;
+      return;
+    }
+    if (Array.isArray(current)) {
+      for (const item of current) visit(item, inChecks);
+      return;
+    }
+    if (current && typeof current === "object") {
+      for (const [key, item] of Object.entries(current)) {
+        visit(item, inChecks || key === "checks");
+      }
+    }
   };
+  visit(value);
+  return { passed, failed };
 }
-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 selectPrimaryImage(artifacts) {
+  const images = artifacts.filter((artifact) => artifact.kind === "image");
+  return images.find((artifact) => /after|proof|screenshot/i.test(artifact.name)) || images[0];
 }
-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;
+function firstRecordValue2(...values) {
+  for (const value of values) {
+    const record = asRecord2(value);
+    if (Object.keys(record).length) return record;
   }
-  return counts;
+  return void 0;
 }
-function artifactKind2(ref) {
-  const text = [ref.name, ref.url, ref.path, ref.kind, ref.content_type].filter(Boolean).join(" ").toLowerCase();
-  if (/\bimage\b/.test(text) || /\.(png|jpe?g|gif|webp|avif|svg)(\?|#|$)/.test(text)) return "image";
-  if (/\bjson\b|\btext\b|\bmarkdown\b|\bhtml\b|\blog\b/.test(text) || /\.(json|md|txt|html|log|har)(\?|#|$)/.test(text)) return "data";
-  return "artifact";
+function checkpointSummaryFrom2(...values) {
+  const record = firstRecordValue2(...values);
+  if (!record) return void 0;
+  const summary = {
+    pending: booleanValue3(record.pending),
+    response_count: numberValue3(record.response_count),
+    rejected_response_count: numberValue3(record.rejected_response_count),
+    ignored_response_count: numberValue3(record.ignored_response_count),
+    duplicate_response_count: numberValue3(record.duplicate_response_count),
+    latest_decision: stringValue4(record.latest_decision),
+    latest_packet_id: stringValue4(record.latest_packet_id),
+    latest_resume_token: stringValue4(record.latest_resume_token)
+  };
+  return Object.values(summary).some((value) => typeof value !== "undefined") ? summary : void 0;
+}
+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 receiptArtifactFromRef(side, ref) {
+function summarizeRiddleProofPrComment(input) {
+  const runResponse = asRecord2(input.runResponse);
+  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);
+  const stopCondition = asRecord2(resultRunCard.stop_condition);
+  const resultDetails = asRecord2(result.details);
+  const resultRaw = asRecord2(result.raw);
+  const rawDetails = asRecord2(resultRaw.details);
+  const profileChecks = profileResult ? profileCheckCounts3(result) : void 0;
+  const changeChecks = changeResult ? changeReceiptCheckCounts(result) : void 0;
+  const artifacts = mergeArtifacts(
+    collectArtifacts(runResponse),
+    profileResult ? collectProfileArtifacts(result) : [],
+    changeReceiptResult ? collectChangeReceiptArtifacts(result) : []
+  );
+  const pages = changeReceiptResult ? changeReceiptPageSummaries(result) : profileResult ? profilePageSummaries(result, profileChecks) : pageSummaries(result);
+  const checkSource = { ...result };
+  delete checkSource.ok;
+  const nestedChecks = summarizeExplicitChecks(checkSource);
+  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,
+    resultDetails.checkpoint_summary,
+    rawDetails.checkpoint_summary,
+    proofResult.checkpoint_summary
+  );
+  const publicState = changeReceiptResult ? void 0 : summarizeRiddleProofPublicState({
+    ...result,
+    status: resultStatus,
+    checkpoint_summary: checkpointSummary || result.checkpoint_summary
+  });
+  const mergeRecommendation = publicState ? riddleProofPublicStateMergeRecommendation(
+    publicState,
+    firstStringValue2(result.merge_recommendation, stopCondition.merge_recommendation, resultRaw.merge_recommendation)
+  ) : void 0;
   return {
-    side,
-    name: ref.name,
-    kind: artifactKind2(ref),
-    url: ref.url,
-    path: ref.path,
-    source: ref.source
+    ok,
+    status: firstStringValue2(proofResult.status, profileRiddle.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),
+    preview_id: stringValue4(preview.id),
+    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: 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: changeReceiptResult ? parsedChangeReceipt?.recommendation.label : mergeRecommendation,
+    checkpoint_summary: checkpointSummary,
+    public_state: publicState,
+    passed_checks: changeChecks?.passed ?? profileChecks?.passed ?? nestedChecks.passed,
+    failed_checks: changeChecks?.failed ?? profileChecks?.failed ?? nestedChecks.failed,
+    pages,
+    artifacts,
+    primary_image: selectPrimaryImage(artifacts)
   };
 }
-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 formatDuration(ms) {
+  if (typeof ms !== "number" || !Number.isFinite(ms)) return "";
+  const seconds = Math.max(0, Math.round(ms / 1e3));
+  const minutes = Math.floor(seconds / 60);
+  const remainder = seconds % 60;
+  return minutes > 0 ? `${minutes}m${String(remainder).padStart(2, "0")}s` : `${seconds}s`;
 }
-function artifactMatchesScreenshotLabel(artifact, screenshot) {
-  const screenshotName = comparableArtifactName(screenshot);
-  if (!screenshotName) return false;
-  return [artifact.name, artifact.url, artifact.path].map(comparableArtifactName).some((name) => name === screenshotName || name.endsWith(`-${screenshotName}`));
+function markdownLink2(label, url) {
+  return `[${label.replace(/\]/g, "\\]")}](${url})`;
 }
-function collectReceiptArtifacts(side, result) {
-  const artifacts = [];
-  const seen = /* @__PURE__ */ new Set();
-  const add = (artifact) => {
-    const key = artifact.url || artifact.path || `${artifact.kind}:${artifact.name}`;
-    if (!artifact.name || seen.has(key)) return;
-    seen.add(key);
-    artifacts.push(artifact);
-  };
-  for (const ref of result.artifacts.riddle_artifacts || []) {
-    add(receiptArtifactFromRef(side, ref));
-  }
-  for (const screenshot of result.artifacts.screenshots || []) {
-    if (artifacts.some((artifact) => artifactMatchesScreenshotLabel(artifact, screenshot))) continue;
-    add({
-      side,
-      name: screenshot,
-      kind: "image"
-    });
+function resultLabel(summary) {
+  if (summary.public_state?.result_label) return summary.public_state.result_label;
+  if (summary.ok === true) {
+    if (summary.result_status === "shipped") return "shipped";
+    if (summary.result_status === "completed") return "completed";
+    if (summary.ship_held === true) return "proof passed; ship held";
+    if (summary.ship_authorized === true) return "passed; ship authorized";
+    return "passed";
   }
-  return artifacts;
+  if (summary.ok === false) return "failed";
+  return summary.result_status || summary.status || "recorded";
 }
-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 artifactRank(artifact) {
+  const name = artifact.name.toLowerCase();
+  if (name === "proof.json") return 0;
+  if (name === "result.json") return 1;
+  if (name.includes("proof") && name.endsWith(".json") && !name.includes("layout")) return 2;
+  if (name === "console.json") return 3;
+  if (artifact.kind === "data") return 10;
+  if (artifact.kind === "image") return 20;
+  return 30;
 }
-function receiptSide(side, source, result) {
-  const artifacts = collectReceiptArtifacts(side, result);
-  return {
-    side,
-    source,
-    profile_name: result.profile_name,
-    status: result.status,
-    summary: result.summary,
-    route: result.route,
-    captured_at: result.captured_at,
-    checks: profileCheckCounts2(result),
-    screenshots: artifacts.filter(artifactIsScreenshot),
-    artifacts
-  };
+function formatBool(value) {
+  return typeof value === "boolean" ? String(value) : "unknown";
 }
-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 hasShipControl(summary) {
+  return typeof summary.ship_held === "boolean" || typeof summary.shipping_disabled === "boolean" || typeof summary.ship_authorized === "boolean";
 }
-function createRiddleProofChangeReceipt(input) {
-  return {
-    version: RIDDLE_PROOF_CHANGE_RECEIPT_VERSION,
-    contract_name: input.result.contract_name,
-    profile_name: input.profile_name,
-    status: input.result.status,
-    verdict: changeReceiptVerdict(input.result.status),
-    summary: input.result.summary,
-    before: receiptSide("before", input.before_source, input.before_result),
-    after: receiptSide("after", input.after_source, input.after_result),
-    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
-    })),
-    proves: metadataStringList(input.contract.metadata, "required_receipts"),
-    does_not_prove: metadataStringList(input.contract.metadata, "does_not_prove"),
-    metadata: input.result.metadata
-  };
+function hasHandoffControl(summary) {
+  return typeof summary.merge_ready === "boolean" || typeof summary.sync_allowed === "boolean";
 }
-function markdownTableCell(value) {
+function shouldRenderMergeRecommendation(summary) {
+  if (!summary.merge_recommendation) return false;
+  return riddleProofPublicStateAllowsMergeRecommendation(summary.public_state);
+}
+function checkpointSummaryLine(summary) {
+  const accepted = summary.response_count ?? 0;
+  const rejected = summary.rejected_response_count ?? 0;
+  const ignored = summary.ignored_response_count ?? 0;
+  const parts = [`${accepted} accepted`, `${rejected} rejected`, `${ignored} ignored`];
+  if ((summary.duplicate_response_count ?? 0) > 0) parts.push(`${summary.duplicate_response_count} duplicate`);
+  const state = summary.pending === true ? "pending" : summary.pending === false ? "complete" : "";
+  return [
+    parts.join(" / "),
+    state,
+    summary.latest_decision ? `latest decision \`${summary.latest_decision}\`` : ""
+  ].filter(Boolean).join("; ");
+}
+function markdownTableValue(value) {
   return String(value ?? "").replace(/\|/g, "\\|").replace(/\r?\n/g, " ");
 }
-function artifactTarget(artifact) {
-  return artifact.url || artifact.path;
+function observationArtifactTarget(artifact) {
+  return artifact?.url || artifact?.path;
 }
-function markdownLink2(label, target) {
-  return `[${label.replace(/\]/g, "\\]")}](${target})`;
+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 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(`- ${markdownLink2(artifact.name, target)}`);
-    } else {
-      lines.push(`- ${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 || "")}`);
     }
   }
-  if (artifacts.length > 6) lines.push(`- ${artifacts.length - 6} more artifact(s) omitted`);
-  lines.push("");
+  lines.push("", input.source?.trim() ? `_Source: ${input.source.trim()}_` : "_Rendered from the Handoff receipt without recomputing its verdict._");
+  return `${lines.join("\n").trim()}
+`;
 }
-function riddleProofChangeReceiptMarkdown(receipt) {
+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 = [
-    "# Riddle Proof Change Receipt",
-    "",
-    `**Verdict:** ${receipt.verdict}`,
-    `**Status:** ${receipt.status}`,
-    `**Contract:** ${receipt.contract_name}`,
-    receipt.profile_name ? `**Profile:** ${receipt.profile_name}` : "",
-    "",
-    receipt.summary,
-    "",
-    "## Evidence Pair",
-    "",
-    "| Side | Source | Status | Checks |",
-    "| --- | --- | --- | --- |",
-    `| Before | ${markdownTableCell(receipt.before.source)} | ${receipt.before.status} | ${receipt.before.checks.passed} passed / ${receipt.before.checks.failed} failed |`,
-    `| After | ${markdownTableCell(receipt.after.source)} | ${receipt.after.status} | ${receipt.after.checks.passed} passed / ${receipt.after.checks.failed} failed |`,
-    "",
-    "## Delta Checks",
+    RIDDLE_PROOF_PR_COMMENT_MARKER,
+    `## ${title}`,
     "",
-    "| 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)} |  |  |`);
+    `**Result:** ${resultLabel(summary)}`
+  ];
+  if (input.goal?.trim()) lines.push(`**Goal:** ${input.goal.trim()}`);
+  if (input.successCriteria?.trim()) lines.push(`**Success criteria:** ${input.successCriteria.trim()}`);
+  if (summary.result_status) lines.push(`**Evidence status:** ${summary.result_status}`);
+  if (summary.status) lines.push(`**Riddle job status:** ${summary.status}`);
+  if (summary.job_id) lines.push(`**Riddle job:** \`${summary.job_id}\``);
+  if (summary.duration_ms) lines.push(`**Duration:** ${formatDuration(summary.duration_ms)}`);
+  if (hasShipControl(summary)) {
+    lines.push(`**Ship control:** held=${formatBool(summary.ship_held)}, shipping_disabled=${formatBool(summary.shipping_disabled)}, authorized=${formatBool(summary.ship_authorized)}`);
+  }
+  if (hasHandoffControl(summary)) {
+    lines.push(`**Handoff:** merge_ready=${formatBool(summary.merge_ready)}, sync_allowed=${formatBool(summary.sync_allowed)}`);
+  }
+  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:** ${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 ? markdownLink2(previewLabel, summary.preview_url) : previewLabel}`);
+  }
+  if (summary.preview_publish_recovered) {
+    const detail = summary.preview_publish_error ? `: ${summary.preview_publish_error}` : "";
+    lines.push(`**Preview publish recovery:** recovered after publish error${detail}`);
   }
+  lines.push(`**Checks:** ${summary.passed_checks} passed / ${summary.failed_checks} failed`);
   lines.push("");
-  appendMarkdownArtifacts(lines, "Before Screenshot", receipt.before.screenshots);
-  appendMarkdownArtifacts(lines, "After Screenshot", receipt.after.screenshots);
-  if (receipt.proves.length) {
-    lines.push("## What This Proves", "");
-    for (const claim of receipt.proves) lines.push(`- ${claim}`);
+  if (summary.primary_image) {
+    lines.push("### Screenshot");
+    lines.push(`![${summary.primary_image.name}](${summary.primary_image.url})`);
     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}`);
+  if (summary.pages.length) {
+    lines.push("### Page Checks");
+    for (const page of summary.pages.slice(0, 12)) {
+      lines.push(`- \`${page.route}\`: ${page.passed} passed / ${page.failed} failed`);
+    }
+    if (summary.pages.length > 12) lines.push(`- ${summary.pages.length - 12} more page(s) omitted`);
     lines.push("");
   }
-  const linkedArtifacts = [...receipt.before.artifacts, ...receipt.after.artifacts].filter((artifact) => artifactTarget(artifact)).slice(0, 24);
+  const linkedArtifacts = summary.artifacts.filter((artifact) => artifact.url !== summary.primary_image?.url).sort((left, right) => artifactRank(left) - artifactRank(right) || left.name.localeCompare(right.name)).slice(0, 20);
   if (linkedArtifacts.length) {
-    lines.push("## Artifacts", "");
+    lines.push("### Artifacts");
     for (const artifact of linkedArtifacts) {
-      lines.push(`- ${artifact.side}: ${markdownLink2(artifact.name, artifactTarget(artifact) || "")}`);
+      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`);
     }
     lines.push("");
   }
+  if (input.source?.trim()) {
+    lines.push(`_Source: ${input.source.trim()}_`);
+  } else {
+    lines.push("_Updated by `riddle-proof-loop pr-comment`._");
+  }
   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;");
+
+// src/profile-suggestions.ts
+var RIDDLE_PROOF_PROFILE_SUGGESTIONS_VERSION = "riddle-proof.profile-suggestions.v1";
+var UI_FILE_PATTERN = /\.(css|html?|jsx?|tsx?|vue|svelte|mdx)$/i;
+var VISUAL_ASSET_PATTERN = /\.(avif|gif|jpe?g|png|svg|webp)$/i;
+function nonEmptyStrings(values) {
+  return Array.from(new Set(
+    (values || []).filter((value) => typeof value === "string").map((value) => value.trim()).filter(Boolean)
+  ));
+}
+function normalizeRoute(value) {
+  if (!value?.trim()) return void 0;
+  const trimmed = value.trim();
+  if (/^https?:\/\//i.test(trimmed)) return void 0;
+  return trimmed.startsWith("/") ? trimmed : `/${trimmed}`;
+}
+function routeFromUrl(value) {
+  if (!value?.trim()) return void 0;
+  try {
+    const url = new URL(value);
+    return normalizeRoute(`${url.pathname}${url.search || ""}`);
+  } catch {
+    return void 0;
+  }
+}
+function slugify(value) {
+  return value.toLowerCase().replace(/[^a-z0-9]+/g, "-").replace(/^-+|-+$/g, "").slice(0, 80) || "suggested-profile";
+}
+function inferRouteFromFile(file) {
+  const normalized = file.replace(/\\/g, "/");
+  const routeMatch = normalized.match(/(?:^|\/)(?:pages|routes|app)\/(.+?)(?:\.[^.\/]+)?$/);
+  if (!routeMatch) return void 0;
+  const route = routeMatch[1].replace(/\/index$/i, "").replace(/\/page$/i, "").replace(/\[[^/\]]+\]/g, ":param");
+  return normalizeRoute(route || "/");
+}
+function inferRouteFromFiles(files) {
+  for (const file of files) {
+    const route = inferRouteFromFile(file);
+    if (route) return route;
+  }
+  return void 0;
+}
+function uniqueChecks(checks) {
+  const seen = /* @__PURE__ */ new Set();
+  return checks.filter((check) => {
+    const key = JSON.stringify(check);
+    if (seen.has(key)) return false;
+    seen.add(key);
+    return true;
+  });
+}
+function changedTextEntryText(entry) {
+  return typeof entry === "string" ? entry.trim() : (entry.expected_text || entry.text || "").trim();
+}
+function changedTextEntrySelector(entry) {
+  return typeof entry === "string" ? void 0 : entry.selector?.trim() || void 0;
 }
-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 changedTextEntryLabel(entry) {
+  return typeof entry === "string" ? void 0 : entry.label?.trim() || void 0;
 }
-function htmlArtifactLink(artifact) {
-  const target = artifactTarget(artifact);
-  if (!target) return escapeHtml(artifact.name);
-  return `<a href="${escapeHtml(target)}">${escapeHtml(artifact.name)}</a>`;
+function suggestionProfileName(input, route, files) {
+  if (input.name?.trim()) return input.name.trim();
+  return `suggested-${slugify(route || files[0] || "profile")}`;
 }
-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 defaultViewports(includeMobile) {
+  const viewports = [
+    { name: "desktop", width: 1280, height: 800 }
+  ];
+  if (includeMobile !== false) {
+    viewports.push({ name: "mobile", width: 390, height: 844 });
+  }
+  return viewports;
 }
-function riddleProofChangeReceiptHtml(receipt) {
-  const artifactLinks = [...receipt.before.artifacts, ...receipt.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>
-  </header>
-  <section>
-    <h2>Evidence Pair</h2>
-    <div class="grid">
-      <div class="side">
-        <h3>Before</h3>
-        <p><code>${escapeHtml(receipt.before.source)}</code></p>
-        <p>Status: <strong class="${escapeHtml(receipt.before.status)}">${escapeHtml(receipt.before.status)}</strong></p>
-        <p>${escapeHtml(receipt.before.summary)}</p>
-        <p class="muted">${receipt.before.checks.passed} passed / ${receipt.before.checks.failed} failed checks</p>
-      </div>
-      <div class="side">
-        <h3>After</h3>
-        <p><code>${escapeHtml(receipt.after.source)}</code></p>
-        <p>Status: <strong class="${escapeHtml(receipt.after.status)}">${escapeHtml(receipt.after.status)}</strong></p>
-        <p>${escapeHtml(receipt.after.summary)}</p>
-        <p class="muted">${receipt.after.checks.passed} passed / ${receipt.after.checks.failed} failed checks</p>
-      </div>
-    </div>
-  </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>${receipt.before.screenshots.slice(0, 4).map(htmlArtifactCard).join("") || `<p class="muted">No before screenshots recorded.</p>`}</div>
-      <div>${receipt.after.screenshots.slice(0, 4).map(htmlArtifactCard).join("") || `<p class="muted">No after screenshots 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>
-`;
+function suggestRiddleProofProfileChecks(input) {
+  const changedFiles = nonEmptyStrings(input.changed_files);
+  const selectors = nonEmptyStrings(input.selectors);
+  const changedText = input.changed_text || [];
+  const route = normalizeRoute(input.route) || inferRouteFromFiles(changedFiles) || routeFromUrl(input.url);
+  const uiFiles = changedFiles.filter((file) => UI_FILE_PATTERN.test(file));
+  const visualAssets = changedFiles.filter((file) => VISUAL_ASSET_PATTERN.test(file));
+  const warnings = [];
+  const suggestions = [];
+  const setupActions = [];
+  if (!route && !input.url?.trim()) {
+    warnings.push("No route or URL was supplied; the draft profile defaults to route /.");
+  }
+  if ((uiFiles.length || visualAssets.length) && !changedText.length && !selectors.length) {
+    warnings.push("UI or visual files changed, but no changed text or selectors were supplied; add focused checks before trusting this profile.");
+  }
+  const routeOrDefault = route || "/";
+  const routeChecks = [
+    { type: "route_loaded", expected_path: routeOrDefault }
+  ];
+  suggestions.push({
+    id: "route-loaded",
+    reason: "Every browser proof should first prove that the intended route loaded.",
+    checks: routeChecks
+  });
+  const hygieneChecks = [
+    { type: "no_fatal_console_errors" },
+    { type: "no_mobile_horizontal_overflow" }
+  ];
+  suggestions.push({
+    id: "runtime-hygiene",
+    reason: "UI changes should not introduce fatal console errors or mobile overflow.",
+    checks: hygieneChecks
+  });
+  for (const selector of selectors) {
+    suggestions.push({
+      id: `selector-${slugify(selector)}`,
+      reason: `Changed selector ${selector} should remain visible.`,
+      checks: [{ type: "selector_visible", selector }]
+    });
+  }
+  for (const entry of changedText) {
+    const text = changedTextEntryText(entry);
+    if (!text) continue;
+    const selector = changedTextEntrySelector(entry);
+    const label = changedTextEntryLabel(entry);
+    const check = selector ? { type: "selector_text_visible", selector, text, label } : { type: "text_visible", text, label };
+    suggestions.push({
+      id: `text-${slugify(`${selector || "page"}-${text}`)}`,
+      reason: selector ? `Expected text should be visible inside ${selector}.` : "Expected text should be visible on the route.",
+      checks: [check]
+    });
+  }
+  if (input.include_screenshot !== false && (uiFiles.length || visualAssets.length || selectors.length || changedText.length)) {
+    setupActions.push({ type: "screenshot", label: "suggested-proof-screenshot", full_page: true });
+    suggestions.push({
+      id: "screenshot-artifact",
+      reason: "A screenshot artifact keeps the proof packet inspectable by humans and hosted renderers.",
+      checks: [],
+      setup_actions: setupActions
+    });
+  }
+  const checks = uniqueChecks(suggestions.flatMap((suggestion) => suggestion.checks));
+  const target = {
+    ...input.url?.trim() ? { url: input.url.trim() } : { route: routeOrDefault },
+    viewports: defaultViewports(input.include_mobile),
+    setup_actions: setupActions.length ? setupActions : void 0
+  };
+  const profile = {
+    version: RIDDLE_PROOF_PROFILE_VERSION,
+    name: suggestionProfileName(input, routeOrDefault, changedFiles),
+    target,
+    checks,
+    artifacts: ["screenshot", "console", "proof_json"],
+    baseline_policy: "invariant_only",
+    failure_policy: {
+      product_regression: "fail",
+      proof_insufficient: "review",
+      environment_blocked: "neutral",
+      configuration_error: "fail",
+      needs_human_review: "review"
+    },
+    metadata: {
+      suggestion_input: {
+        changed_files: changedFiles,
+        selectors,
+        changed_text_count: changedText.length
+      }
+    }
+  };
+  return {
+    version: RIDDLE_PROOF_PROFILE_SUGGESTIONS_VERSION,
+    profile,
+    suggestions,
+    warnings
+  };
 }
 
 // src/cli.ts
@@ -19163,8 +19949,14 @@ var KNOWN_CLI_OPTIONS = /* @__PURE__ */ new Set([
   "balancePreflight",
   "baseUrl",
   "afterResult",
+  "afterObservation",
+  "afterPreviewReceipt",
+  "afterSourceRevision",
   "afterUrl",
   "beforeResult",
+  "beforeObservation",
+  "beforePreviewReceipt",
+  "beforeSourceRevision",
   "beforeUrl",
   "candidateJson",
   "candidatesJson",
@@ -19218,6 +20010,7 @@ var KNOWN_CLI_OPTIONS = /* @__PURE__ */ new Set([
   "pack",
   "packFile",
   "profile",
+  "previewReceipt",
   "proofDir",
   "pr",
   "progressEveryMs",
@@ -19241,6 +20034,9 @@ var KNOWN_CLI_OPTIONS = /* @__PURE__ */ new Set([
   "scriptFile",
   "selectors",
   "sourceKind",
+  "sourceDirty",
+  "sourceRepository",
+  "sourceRevision",
   "splitViewports",
   "stateDir",
   "statePath",
@@ -19272,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]",
@@ -19441,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,
@@ -20069,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}`
@@ -23012,10 +23810,63 @@ function profileHttpStatusSummaryMarkdown(result) {
   }
   return lines;
 }
-function writeProfileOutput(outputDir, result) {
+function profileResultTargetUrl(result) {
+  const legacyRoute = result.route;
+  const observed = result.route.observed;
+  const requested = result.route.requested || legacyRoute.url || result.evidence?.target_url;
+  if (observed) {
+    try {
+      return new URL(observed, requested).href;
+    } catch {
+    }
+  }
+  if (requested) {
+    try {
+      return new URL(requested).href;
+    } catch {
+      return requested;
+    }
+  }
+  return observed || "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)}
@@ -23056,6 +23907,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 {
@@ -23091,9 +23948,13 @@ function compactChangeProofResult(run, options) {
       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
   };
 }
@@ -23109,9 +23970,12 @@ function writeChangeProofOutput(outputDir, run) {
 `);
   (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);
@@ -23210,6 +24074,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,
@@ -23222,7 +24087,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,
@@ -23290,6 +24156,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,
@@ -23299,7 +24166,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) {
@@ -23845,7 +24713,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);
@@ -23977,18 +24845,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;
@@ -23996,15 +24880,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.");
@@ -24018,21 +24940,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_result: beforeResult,
-    after_result: afterResult,
-    before_source: beforeSource,
-    after_source: afterSource,
+    before_observation: beforeObservation,
+    after_observation: afterObservation,
     profile_name: profile.name
   });
-  return { profile, contract, beforeResult, afterResult, result, receipt, 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");
@@ -24084,7 +25039,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}
@@ -24115,6 +25070,7 @@ 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"),
@@ -24236,6 +25192,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}
 `);