@riddledc/riddle-proof 0.8.76 → 0.8.78

package/dist/{chunk-AK2EPEVO.js → chunk-HSGZV2NK.js}

@@ -3,15 +3,27 @@ import {
   createRiddleApiClient,
   isTerminalRiddleJobStatus,
   parseRiddleViewport
-} from "./chunk-B2DP2LET.js";
+} from "./chunk-5IFZSUPF.js";
 import {
   RIDDLE_PROOF_PR_COMMENT_MARKER,
   buildRiddleProofPrCommentMarkdown,
   summarizeRiddleProofPrComment
-} from "./chunk-CWRIXP5H.js";
+} from "./chunk-7N6X54WG.js";
 import {
   suggestRiddleProofProfileChecks
-} from "./chunk-UE4I7RTI.js";
+} from "./chunk-RQPCKRKT.js";
+import {
+  assessRiddleProofChange,
+  createRiddleProofChangeReceipt,
+  createRiddleProofHandoffReceipt,
+  riddleProofChangeReceiptHtml,
+  riddleProofChangeReceiptMarkdown
+} from "./chunk-6VFS2JFR.js";
+import {
+  createRiddleProofObservationReceipt,
+  parseRiddlePreviewReceipt,
+  parseRiddleProofObservationReceipt
+} from "./chunk-MEVVL4TI.js";
 import {
   RIDDLE_PROOF_PROFILE_EVIDENCE_VERSION,
   applyRiddleProofProfileArtifactCompleteness,
@@ -29,10 +41,7 @@ import {
   profileStatusExitCode,
   resolveRiddleProofProfileTargetUrl,
   resolveRiddleProofProfileTimeoutSec
-} from "./chunk-GG2D3MFZ.js";
-import {
-  assessRiddleProofChange
-} from "./chunk-6S7DZWVC.js";
+} from "./chunk-FCSJZBC5.js";
 import {
   createCodexExecAgentAdapter,
   runCodexExecAgentDoctor
@@ -61,8 +70,14 @@ var KNOWN_CLI_OPTIONS = /* @__PURE__ */ new Set([
   "balancePreflight",
   "baseUrl",
   "afterResult",
+  "afterObservation",
+  "afterPreviewReceipt",
+  "afterSourceRevision",
   "afterUrl",
   "beforeResult",
+  "beforeObservation",
+  "beforePreviewReceipt",
+  "beforeSourceRevision",
   "beforeUrl",
   "candidateJson",
   "candidatesJson",
@@ -116,6 +131,7 @@ var KNOWN_CLI_OPTIONS = /* @__PURE__ */ new Set([
   "pack",
   "packFile",
   "profile",
+  "previewReceipt",
   "proofDir",
   "pr",
   "progressEveryMs",
@@ -139,6 +155,9 @@ var KNOWN_CLI_OPTIONS = /* @__PURE__ */ new Set([
   "scriptFile",
   "selectors",
   "sourceKind",
+  "sourceDirty",
+  "sourceRepository",
+  "sourceRevision",
   "splitViewports",
   "stateDir",
   "statePath",
@@ -170,16 +189,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]",
@@ -339,6 +358,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,
@@ -967,12 +987,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}`
@@ -3910,10 +3931,48 @@ function profileHttpStatusSummaryMarkdown(result) {
   }
   return lines;
 }
-function writeProfileOutput(outputDir, result) {
+function profileResultTargetUrl(result) {
+  const legacyRoute = result.route;
+  return result.route.observed || result.route.requested || legacyRoute.url || result.evidence?.target_url || "unknown";
+}
+function profileObservationForOutput(result, outputDir, options) {
+  if (options.observation) return options.observation;
+  const preview = options.previewReceipt;
+  const targetUrl = profileResultTargetUrl(result);
+  return createRiddleProofObservationReceipt({
+    comparison_role: options.comparisonRole || "standalone",
+    executor: result.runner === "local-playwright" ? { kind: "local_playwright", runner: result.runner } : {
+      kind: "riddle_hosted",
+      runner: result.runner,
+      job_id: result.riddle?.job_id,
+      worker_id: typeof result.riddle?.execution?.worker_id === "string" ? result.riddle.execution.worker_id : void 0
+    },
+    target: preview ? { kind: "preview", url: targetUrl, preview } : { kind: "url", url: targetUrl },
+    source: options.source || preview?.source,
+    profile_result: result,
+    publication: { kind: "local", path: outputDir },
+    execution: result.riddle?.execution
+  });
+}
+function profileOutputOptionsForCli(options) {
+  const previewInput = optionString(options, "previewReceipt");
+  const previewReceipt = previewInput ? parseRiddlePreviewReceipt(readJsonValue(previewInput, "--preview-receipt")) : void 0;
+  const sourceDirty = optionBoolean(options, "sourceDirty");
+  const source = {
+    ...previewReceipt?.source || {},
+    ...optionString(options, "sourceRevision") ? { git_revision: optionString(options, "sourceRevision") } : {},
+    ...optionString(options, "sourceRepository") ? { repository: optionString(options, "sourceRepository") } : {},
+    ...typeof sourceDirty === "boolean" ? { dirty: sourceDirty } : {}
+  };
+  return { previewReceipt, source };
+}
+function writeProfileOutput(outputDir, result, options = {}) {
   if (!outputDir) return;
   mkdirSync(outputDir, { recursive: true });
   writeFileSync(path.join(outputDir, "profile-result.json"), `${JSON.stringify(result, null, 2)}
+`);
+  const observation = profileObservationForOutput(result, outputDir, options);
+  writeFileSync(path.join(outputDir, "observation-receipt.json"), `${JSON.stringify(observation, null, 2)}
 `);
   writeFileSync(path.join(outputDir, "summary.md"), profileResultMarkdown(result));
   if (result.evidence) writeFileSync(path.join(outputDir, "proof.json"), `${JSON.stringify(result, null, 2)}
@@ -3954,6 +4013,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 {
@@ -3986,57 +4051,37 @@ function compactChangeProofResult(run, options) {
     output_dir: outputDir,
     output_files: outputDir ? {
       change_proof_result: "change-proof-result.json",
+      change_proof_receipt: "change-proof-receipt.json",
+      change_proof_receipt_markdown: "change-proof-receipt.md",
+      change_proof_receipt_html: "change-proof-receipt.html",
+      handoff_receipt: "handoff-receipt.json",
+      handoff_receipt_markdown: "handoff-receipt.md",
       summary: "summary.md",
       before_profile_result: "before/profile-result.json",
-      after_profile_result: "after/profile-result.json"
+      after_profile_result: "after/profile-result.json",
+      before_observation_receipt: "before/observation-receipt.json",
+      after_observation_receipt: "after/observation-receipt.json"
     } : void 0
   };
 }
 function changeProofResultMarkdown(run) {
-  const lines = [
-    "# Riddle Proof Change Proof",
-    "",
-    `Contract: ${run.result.contract_name}`,
-    `Profile: ${run.profile.name}`,
-    `Status: ${run.result.status}`,
-    "",
-    run.result.summary,
-    "",
-    "## Before",
-    "",
-    `- source: ${markdownInlineCode(run.beforeSource, 160)}`,
-    `- profile: ${run.beforeResult.profile_name}`,
-    `- status: ${run.beforeResult.status}`,
-    `- summary: ${run.beforeResult.summary}`,
-    "",
-    "## After",
-    "",
-    `- source: ${markdownInlineCode(run.afterSource, 160)}`,
-    `- profile: ${run.afterResult.profile_name}`,
-    `- status: ${run.afterResult.status}`,
-    `- summary: ${run.afterResult.summary}`,
-    "",
-    "## Deltas",
-    ""
-  ];
-  for (const delta of run.result.deltas) {
-    const observed = [
-      delta.before_observed !== void 0 ? `before ${markdownInlineCode(String(delta.before_observed))}` : "",
-      delta.after_observed !== void 0 ? `after ${markdownInlineCode(String(delta.after_observed))}` : ""
-    ].filter(Boolean).join(" -> ");
-    lines.push(`- ${delta.status}: ${delta.label}${observed ? ` (${observed})` : ""}${delta.message ? ` - ${delta.message}` : ""}`);
-  }
-  return `${lines.join("\n")}
-`;
+  return riddleProofChangeReceiptMarkdown(run.receipt);
 }
 function writeChangeProofOutput(outputDir, run) {
   if (!outputDir) return;
   mkdirSync(outputDir, { recursive: true });
   writeFileSync(path.join(outputDir, "change-proof-result.json"), `${JSON.stringify(run.result, null, 2)}
 `);
+  writeFileSync(path.join(outputDir, "change-proof-receipt.json"), `${JSON.stringify(run.receipt, null, 2)}
+`);
+  writeFileSync(path.join(outputDir, "change-proof-receipt.md"), riddleProofChangeReceiptMarkdown(run.receipt));
+  writeFileSync(path.join(outputDir, "change-proof-receipt.html"), riddleProofChangeReceiptHtml(run.receipt));
+  writeFileSync(path.join(outputDir, "handoff-receipt.json"), `${JSON.stringify(run.handoff, null, 2)}
+`);
+  writeFileSync(path.join(outputDir, "handoff-receipt.md"), buildRiddleProofPrCommentMarkdown({ result: run.handoff }));
   writeFileSync(path.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);
@@ -4135,6 +4180,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,
@@ -4147,7 +4193,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,
@@ -4215,6 +4262,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,
@@ -4224,7 +4272,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) {
@@ -4770,7 +4819,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);
@@ -4902,18 +4951,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;
@@ -4921,15 +4986,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.");
@@ -4943,12 +5046,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")
+    }
   });
-  return { profile, contract, beforeResult, afterResult, result, beforeSource, afterSource };
+  const receipt = createRiddleProofChangeReceipt({
+    contract,
+    result,
+    before_observation: beforeObservation,
+    after_observation: afterObservation,
+    profile_name: profile.name
+  });
+  const handoff = createRiddleProofHandoffReceipt(receipt);
+  return {
+    profile,
+    contract,
+    beforeResult,
+    afterResult,
+    result,
+    receipt,
+    handoff,
+    beforeObservation,
+    afterObservation,
+    beforeSource,
+    afterSource
+  };
 }
 function requestForRun(options) {
   const statePath = optionString(options, "statePath");
@@ -5000,7 +5145,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}
@@ -5031,7 +5176,10 @@ async function main() {
     const explicitResultJsonPath = optionString(options, "resultJson");
     const runResponsePath = explicitRunResponsePath || defaultProofDirJsonPath(proofDir, "riddle-run-response.json");
     const resultJsonPaths = explicitResultJsonPath ? [explicitResultJsonPath] : [
+      defaultProofDirJsonPath(proofDir, "handoff-receipt.json"),
       defaultProofDirJsonPath(proofDir, "result.json"),
+      defaultProofDirJsonPath(proofDir, "change-proof-receipt.json"),
+      defaultProofDirJsonPath(proofDir, "change-proof-result.json"),
       defaultProofDirJsonPath(proofDir, "profile-result.json")
     ];
     const runResponse = readJsonFileIfExists(runResponsePath);
@@ -5150,6 +5298,16 @@ async function main() {
       };
     }
     const result = await createRiddleApiClient(clientConfig).deployPreview(buildDir, label, previewFrameworkOption(options));
+    const outputDir = profileOutputDirOption(options);
+    if (outputDir) {
+      mkdirSync(outputDir, { recursive: true });
+      writeFileSync(path.join(outputDir, "preview-deploy-result.json"), `${JSON.stringify(result, null, 2)}
+`);
+      if (result.receipt) {
+        writeFileSync(path.join(outputDir, "preview-receipt.json"), `${JSON.stringify(result.receipt, null, 2)}
+`);
+      }
+    }
     for (const warning of result.warnings ?? []) {
       process.stderr.write(`Warning: ${warning}
 `);