@riddledc/riddle-proof 0.8.76 → 0.8.78

package/dist/change-proof.cjs

@@ -21,12 +21,288 @@ var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: tru
 var change_proof_exports = {};
 __export(change_proof_exports, {
   RIDDLE_PROOF_CHANGE_CONTRACT_VERSION: () => RIDDLE_PROOF_CHANGE_CONTRACT_VERSION,
+  RIDDLE_PROOF_CHANGE_RECEIPT_V1_VERSION: () => RIDDLE_PROOF_CHANGE_RECEIPT_V1_VERSION,
+  RIDDLE_PROOF_CHANGE_RECEIPT_VERSION: () => RIDDLE_PROOF_CHANGE_RECEIPT_VERSION,
   RIDDLE_PROOF_CHANGE_RESULT_VERSION: () => RIDDLE_PROOF_CHANGE_RESULT_VERSION,
-  assessRiddleProofChange: () => assessRiddleProofChange
+  RIDDLE_PROOF_HANDOFF_RECEIPT_VERSION: () => RIDDLE_PROOF_HANDOFF_RECEIPT_VERSION,
+  assessRiddleProofChange: () => assessRiddleProofChange,
+  createRiddleProofChangeReceipt: () => createRiddleProofChangeReceipt,
+  createRiddleProofHandoffReceipt: () => createRiddleProofHandoffReceipt,
+  migrateRiddleProofChangeReceipt: () => migrateRiddleProofChangeReceipt,
+  parseRiddleProofChangeReceipt: () => parseRiddleProofChangeReceipt,
+  parseRiddleProofHandoffReceipt: () => parseRiddleProofHandoffReceipt,
+  riddleProofChangeReceiptHtml: () => riddleProofChangeReceiptHtml,
+  riddleProofChangeReceiptMarkdown: () => riddleProofChangeReceiptMarkdown
 });
 module.exports = __toCommonJS(change_proof_exports);
+
+// src/profile.ts
+var RIDDLE_PROOF_PROFILE_STATUSES = [
+  "passed",
+  "product_regression",
+  "proof_insufficient",
+  "environment_blocked",
+  "configuration_error",
+  "needs_human_review"
+];
+
+// 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/change-proof.ts
 var RIDDLE_PROOF_CHANGE_CONTRACT_VERSION = "riddle-proof.change-contract.v1";
 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"];
@@ -148,13 +424,163 @@ function assessDelta(delta, before, after) {
   }
   return checkStatusTransitionResult(delta, before, after);
 }
-function collapsedChangeStatus(groups, deltas) {
+function profileResultFromObservation(observation) {
+  return observation?.proof?.result;
+}
+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;
+  }
+}
+function sourceBindingResult(side, requirement, observation, expectedRevision, evaluatedAt) {
+  const expected = expectedRevision || requirement?.expected_git_revision;
+  const required = Boolean(
+    requirement?.preview_receipt_required || requirement?.require_clean_source || requirement?.require_content_digest || requirement?.expected_git_revision || expected
+  );
+  if (!required) return { side, required: false, ok: true, status: "not_required" };
+  if (!observation) {
+    return {
+      side,
+      required: true,
+      ok: false,
+      status: "missing",
+      expected_git_revision: expected,
+      message: `${side} source binding requires an Observation receipt.`
+    };
+  }
+  const preview = observation.target.preview;
+  if (requirement?.preview_receipt_required && !preview) {
+    return {
+      side,
+      required: true,
+      ok: false,
+      status: "missing",
+      expected_git_revision: expected,
+      message: `${side} source binding requires a Preview receipt.`
+    };
+  }
+  if (preview && !previewReceiptCoversTarget(preview.url, observation.target.url)) {
+    return {
+      side,
+      required: true,
+      ok: false,
+      status: "mismatched",
+      expected_git_revision: expected,
+      observed_git_revision: preview.source.git_revision || observation.source.git_revision,
+      content_digest: preview.content_digest,
+      preview_id: preview.preview_id,
+      preview_url: preview.url,
+      target_url: observation.target.url,
+      message: `${side} observation target is not contained by Preview ${preview.preview_id}.`
+    };
+  }
+  const observed = preview?.source.git_revision || observation.source.git_revision;
+  const digestRequired = requirement?.require_content_digest === true || requirement?.preview_receipt_required === true;
+  if (digestRequired && !preview?.content_digest) {
+    return {
+      side,
+      required: true,
+      ok: false,
+      status: "missing",
+      expected_git_revision: expected,
+      observed_git_revision: observed,
+      preview_id: preview?.preview_id,
+      preview_url: preview?.url,
+      target_url: observation.target.url,
+      message: `${side} Preview receipt is missing a content digest.`
+    };
+  }
+  if (expected && !observed) {
+    return {
+      side,
+      required: true,
+      ok: false,
+      status: "missing",
+      expected_git_revision: expected,
+      content_digest: preview?.content_digest,
+      preview_id: preview?.preview_id,
+      preview_url: preview?.url,
+      target_url: observation.target.url,
+      message: `${side} evidence is missing its source Git revision.`
+    };
+  }
+  if (expected && observed !== expected) {
+    return {
+      side,
+      required: true,
+      ok: false,
+      status: "mismatched",
+      expected_git_revision: expected,
+      observed_git_revision: observed,
+      content_digest: preview?.content_digest,
+      preview_id: preview?.preview_id,
+      preview_url: preview?.url,
+      target_url: observation.target.url,
+      message: `${side} evidence came from Git revision ${observed}, not expected revision ${expected}.`
+    };
+  }
+  const cleanRequired = requirement?.require_clean_source === true || requirement?.preview_receipt_required === true;
+  const dirty = preview?.source.dirty ?? observation.source.dirty;
+  if (cleanRequired && dirty !== false) {
+    return {
+      side,
+      required: true,
+      ok: false,
+      status: dirty === true ? "mismatched" : "missing",
+      expected_git_revision: expected,
+      observed_git_revision: observed,
+      content_digest: preview?.content_digest,
+      preview_id: preview?.preview_id,
+      preview_url: preview?.url,
+      target_url: observation.target.url,
+      message: dirty === true ? `${side} evidence was built from a dirty worktree and is not bound only to its Git revision.` : `${side} evidence does not record whether its source worktree was clean.`
+    };
+  }
+  const evaluatedMs = Date.parse(evaluatedAt);
+  const expiresMs = preview?.expires_at ? Date.parse(preview.expires_at) : Number.NaN;
+  if (preview && Number.isFinite(evaluatedMs) && Number.isFinite(expiresMs) && expiresMs <= evaluatedMs) {
+    return {
+      side,
+      required: true,
+      ok: false,
+      status: "stale",
+      expected_git_revision: expected,
+      observed_git_revision: observed,
+      content_digest: preview.content_digest,
+      preview_id: preview.preview_id,
+      preview_url: preview.url,
+      target_url: observation.target.url,
+      expires_at: preview.expires_at,
+      message: `${side} Preview receipt expired at ${preview.expires_at}.`
+    };
+  }
+  return {
+    side,
+    required: true,
+    ok: true,
+    status: "matched",
+    expected_git_revision: expected,
+    observed_git_revision: observed,
+    content_digest: preview?.content_digest,
+    preview_id: preview?.preview_id,
+    preview_url: preview?.url,
+    target_url: observation.target.url,
+    expires_at: preview?.expires_at
+  };
+}
+function collapsedChangeStatus(groups, deltas, sourceBindings) {
   const groupResults = [groups.before, groups.after];
   if (groupResults.some((group) => group.status === "environment_blocked")) return "environment_blocked";
   if (groupResults.some((group) => group.status === "configuration_error")) return "configuration_error";
   if (deltas.some((delta) => delta.status === "configuration_error")) return "configuration_error";
   if (groupResults.some((group) => group.status === "needs_human_review")) return "needs_human_review";
   if (groupResults.some((group) => group.status === "missing" || group.status === "proof_insufficient")) return "proof_insufficient";
+  if ([sourceBindings.before, sourceBindings.after].some((binding) => binding.required && !binding.ok)) return "proof_insufficient";
   if (!deltas.length || deltas.some((delta) => delta.status === "proof_insufficient")) return "proof_insufficient";
   if (groupResults.some((group) => !group.ok)) return "product_regression";
   if (deltas.some((delta) => delta.status === "failed")) return "product_regression";
@@ -169,25 +595,583 @@ function changeSummary(name, status, deltas) {
   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, input.before_result),
-    after: groupResult("after", contract.after, input.after_result)
+    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 deltas = (contract.deltas || []).map((delta) => assessDelta(delta, input.before_result, input.after_result));
-  const status = collapsedChangeStatus(groups, deltas);
+  const status = collapsedChangeStatus(groups, deltas, sourceBindings);
   return {
     version: RIDDLE_PROOF_CHANGE_RESULT_VERSION,
     contract_name: contract.name,
     status,
     groups,
     deltas,
+    source_bindings: sourceBindings,
     summary: changeSummary(contract.name, status, deltas),
     metadata: contract.metadata
   };
 }
+function changeReceiptVerdict(status) {
+  if (status === "passed") return "mergeable";
+  if (status === "environment_blocked") return "environment_blocked";
+  if (status === "configuration_error") return "configuration_error";
+  if (status === "needs_human_review") return "needs_human_review";
+  if (status === "proof_insufficient") return "proof_insufficient";
+  return "not_mergeable";
+}
+function profileCheckCounts2(result) {
+  const counts = {
+    total: result.checks.length,
+    passed: 0,
+    failed: 0,
+    skipped: 0,
+    needs_human_review: 0
+  };
+  for (const check of result.checks) {
+    if (check.status === "passed") counts.passed += 1;
+    if (check.status === "failed") counts.failed += 1;
+    if (check.status === "skipped") counts.skipped += 1;
+    if (check.status === "needs_human_review") counts.needs_human_review += 1;
+  }
+  return counts;
+}
+function artifactIsScreenshot(artifact) {
+  if (artifact.kind !== "image") return false;
+  return /screenshot|\.png|\.jpe?g|\.webp|\.gif|\.avif|\.svg/i.test([artifact.name, artifact.url, artifact.path].filter(Boolean).join(" "));
+}
+function metadataStringList(metadata, key) {
+  const value = metadata?.[key];
+  if (!Array.isArray(value)) return [];
+  return value.filter((item) => typeof item === "string" && item.trim().length > 0).map((item) => item.trim());
+}
+function changeRecommendation(verdict) {
+  if (verdict === "mergeable") {
+    return {
+      merge_recommended: true,
+      verdict,
+      label: "Merge recommended",
+      reason: "The declared before/after delta contract passed with sufficient bound evidence."
+    };
+  }
+  const reason = verdict === "not_mergeable" ? "The declared change delta did not pass." : verdict === "environment_blocked" ? "The environment blocked reliable evidence collection." : verdict === "needs_human_review" ? "The evidence requires human review." : verdict === "configuration_error" ? "The change contract is invalid." : "The change proof did not produce sufficient bound evidence.";
+  return { merge_recommended: false, verdict, label: "Merge not recommended", reason };
+}
+function noShippingAuthorization() {
+  return { status: "not_granted", authorized: false, source: "none" };
+}
+function recommendationMatches(actual, expected) {
+  return actual?.merge_recommended === expected.merge_recommended && actual.verdict === expected.verdict && actual.label === expected.label && actual.reason === expected.reason;
+}
+function assertShippingAuthorizationConsistent(authorization, receiptName) {
+  if (!authorization) throw new Error(`${receiptName} shipping authorization is required.`);
+  if (authorization.status !== "not_granted" && authorization.status !== "granted") {
+    throw new Error(`${receiptName} shipping authorization status is invalid.`);
+  }
+  if (authorization.source !== "none" && authorization.source !== "human" && authorization.source !== "automation") {
+    throw new Error(`${receiptName} shipping authorization source is invalid.`);
+  }
+  const granted = authorization.status === "granted";
+  if (authorization.authorized !== granted) {
+    throw new Error(`${receiptName} shipping authorization status and authorized flag must agree.`);
+  }
+  if (authorization.source === "none" === granted) {
+    throw new Error(`${receiptName} shipping authorization source must identify an authorizer only when granted.`);
+  }
+}
+function observationArtifactMatches(actual, expected) {
+  if (!actual || !expected) return actual === expected;
+  return actual.name === expected.name && actual.role === expected.role && actual.url === expected.url && actual.path === expected.path && actual.kind === expected.kind && actual.content_type === expected.content_type && actual.source === expected.source;
+}
+function observationExecutor(result) {
+  return result.runner === "local-playwright" ? { kind: "local_playwright", runner: result.runner } : {
+    kind: "riddle_hosted",
+    runner: result.runner,
+    job_id: result.riddle?.job_id
+  };
+}
+function observationForReceiptSide(side, result, source, sourceIdentity) {
+  if (!result) throw new Error(`${side}_result or ${side}_observation is required.`);
+  if (!source) throw new Error(`${side}_source or ${side}_observation is required.`);
+  return createRiddleProofObservationReceipt({
+    comparison_role: side,
+    executor: observationExecutor(result),
+    target: { kind: "url", url: source },
+    source: sourceIdentity,
+    profile_result: result,
+    execution: result.riddle?.execution,
+    publication: source.startsWith("http") ? { kind: result.runner === "local-playwright" ? "other" : "riddle_cdn", url: source } : { kind: "local", path: source }
+  });
+}
+function createRiddleProofChangeReceipt(input) {
+  const before = input.before_observation ? parseRiddleProofObservationReceipt(input.before_observation) : observationForReceiptSide("before", input.before_result, input.before_source, input.before_source_identity);
+  const after = input.after_observation ? parseRiddleProofObservationReceipt(input.after_observation) : observationForReceiptSide("after", input.after_result, input.after_source, input.after_source_identity);
+  const verdict = changeReceiptVerdict(input.result.status);
+  const shippingAuthorization = input.shipping_authorization || noShippingAuthorization();
+  assertShippingAuthorizationConsistent(shippingAuthorization, "Change receipt");
+  return {
+    version: RIDDLE_PROOF_CHANGE_RECEIPT_VERSION,
+    contract_name: input.result.contract_name,
+    profile_name: input.profile_name,
+    status: input.result.status,
+    verdict,
+    summary: input.result.summary,
+    before,
+    after,
+    groups: input.result.groups,
+    source_bindings: input.result.source_bindings,
+    deltas: input.result.deltas.map((delta) => ({
+      type: delta.type,
+      label: delta.label,
+      status: delta.status,
+      before_observed: delta.before_observed,
+      after_observed: delta.after_observed,
+      message: delta.message
+    })),
+    recommendation: changeRecommendation(verdict),
+    shipping_authorization: shippingAuthorization,
+    proves: metadataStringList(input.contract.metadata, "required_receipts"),
+    does_not_prove: metadataStringList(input.contract.metadata, "does_not_prove"),
+    metadata: input.result.metadata
+  };
+}
+function isRecord2(value) {
+  return Boolean(value) && typeof value === "object" && !Array.isArray(value);
+}
+function migratedObservationFromLegacySide(side, legacy) {
+  const legacyArtifacts = legacy.artifacts.map((artifact) => ({
+    name: artifact.name,
+    url: artifact.url,
+    path: artifact.path,
+    source: artifact.source,
+    kind: artifact.kind,
+    role: legacy.screenshots[0] && artifactTarget(artifact) === artifactTarget(legacy.screenshots[0]) ? "canonical_screenshot" : artifact.kind === "image" ? "diagnostic" : artifact.kind === "data" ? "data" : "artifact"
+  }));
+  const canonicalScreenshot = legacyArtifacts.find((artifact) => artifact.role === "canonical_screenshot");
+  return {
+    version: "riddle-proof.observation-receipt.v1",
+    observation_id: `obs_${side}_migrated`,
+    comparison_role: side,
+    executor: { kind: "other", runner: "legacy-change-receipt" },
+    target: { kind: "url", url: legacy.source },
+    source: {},
+    captured_at: legacy.captured_at || (/* @__PURE__ */ new Date(0)).toISOString(),
+    artifacts: legacyArtifacts,
+    canonical_screenshot: canonicalScreenshot,
+    profile_summary: {
+      profile_name: legacy.profile_name,
+      status: legacy.status,
+      summary: legacy.summary,
+      route: legacy.route,
+      checks: legacy.checks
+    },
+    metadata: { migrated_from: RIDDLE_PROOF_CHANGE_RECEIPT_V1_VERSION }
+  };
+}
+function migrateRiddleProofChangeReceipt(legacy) {
+  const recommendation = changeRecommendation(legacy.verdict);
+  return {
+    version: RIDDLE_PROOF_CHANGE_RECEIPT_VERSION,
+    contract_name: legacy.contract_name,
+    profile_name: legacy.profile_name,
+    status: legacy.status,
+    verdict: legacy.verdict,
+    summary: legacy.summary,
+    before: migratedObservationFromLegacySide("before", legacy.before),
+    after: migratedObservationFromLegacySide("after", legacy.after),
+    groups: {
+      before: {
+        side: "before",
+        label: "before",
+        ok: legacy.before.status === "passed" || legacy.before.status === "product_regression",
+        profile_name: legacy.before.profile_name,
+        status: legacy.before.status,
+        required_status: DEFAULT_BEFORE_STATUSES,
+        summary: legacy.before.summary
+      },
+      after: {
+        side: "after",
+        label: "after",
+        ok: legacy.after.status === "passed",
+        profile_name: legacy.after.profile_name,
+        status: legacy.after.status,
+        required_status: DEFAULT_AFTER_STATUSES,
+        summary: legacy.after.summary
+      }
+    },
+    source_bindings: {
+      before: { side: "before", required: false, ok: true, status: "not_required" },
+      after: { side: "after", required: false, ok: true, status: "not_required" }
+    },
+    deltas: legacy.deltas,
+    recommendation,
+    shipping_authorization: noShippingAuthorization(),
+    proves: legacy.proves,
+    does_not_prove: legacy.does_not_prove,
+    metadata: legacy.metadata
+  };
+}
+function parseRiddleProofChangeReceipt(value) {
+  if (!isRecord2(value)) throw new Error("Change receipt must be an object.");
+  if (value.version === RIDDLE_PROOF_CHANGE_RECEIPT_V1_VERSION) {
+    return migrateRiddleProofChangeReceipt(value);
+  }
+  if (value.version !== RIDDLE_PROOF_CHANGE_RECEIPT_VERSION) {
+    throw new Error(`Unsupported Change receipt version ${String(value.version || "missing")}.`);
+  }
+  const receipt = value;
+  if (!RIDDLE_PROOF_PROFILE_STATUSES.includes(receipt.status)) {
+    throw new Error(`Unsupported Change receipt status ${String(receipt.status || "missing")}.`);
+  }
+  parseRiddleProofObservationReceipt(receipt.before);
+  parseRiddleProofObservationReceipt(receipt.after);
+  if (receipt.before.comparison_role !== "before" || receipt.after.comparison_role !== "after") {
+    throw new Error("Change receipt observations must preserve their before and after comparison roles.");
+  }
+  const expectedVerdict = changeReceiptVerdict(receipt.status);
+  if (receipt.verdict !== expectedVerdict) {
+    throw new Error("Change receipt verdict must match its evaluated status.");
+  }
+  if (!recommendationMatches(receipt.recommendation, changeRecommendation(expectedVerdict))) {
+    throw new Error("Change receipt recommendation must be derived from the Change receipt verdict.");
+  }
+  assertShippingAuthorizationConsistent(receipt.shipping_authorization, "Change receipt");
+  return receipt;
+}
+function createRiddleProofHandoffReceipt(changeReceipt, options = {}) {
+  const change = parseRiddleProofChangeReceipt(changeReceipt);
+  const authorization = options.shipping_authorization || change.shipping_authorization;
+  assertShippingAuthorizationConsistent(authorization, "Handoff receipt");
+  return {
+    version: RIDDLE_PROOF_HANDOFF_RECEIPT_VERSION,
+    change,
+    verdict: change.verdict,
+    recommendation: change.recommendation,
+    shipping_authorization: authorization,
+    canonical_pair: {
+      before: change.before.canonical_screenshot,
+      after: change.after.canonical_screenshot
+    },
+    created_at: options.created_at || (/* @__PURE__ */ new Date()).toISOString()
+  };
+}
+function parseRiddleProofHandoffReceipt(value) {
+  if (!isRecord2(value) || value.version !== RIDDLE_PROOF_HANDOFF_RECEIPT_VERSION) {
+    throw new Error(`Unsupported Handoff receipt version ${String(isRecord2(value) ? value.version || "missing" : "missing")}.`);
+  }
+  const receipt = value;
+  if (!Number.isFinite(Date.parse(receipt.created_at))) {
+    throw new Error("Handoff receipt created_at must be a valid timestamp.");
+  }
+  const change = parseRiddleProofChangeReceipt(receipt.change);
+  if (receipt.verdict !== change.verdict || !recommendationMatches(receipt.recommendation, change.recommendation)) {
+    throw new Error("Handoff receipt must preserve the Change receipt verdict and recommendation.");
+  }
+  if (!observationArtifactMatches(receipt.canonical_pair?.before, change.before.canonical_screenshot) || !observationArtifactMatches(receipt.canonical_pair?.after, change.after.canonical_screenshot)) {
+    throw new Error("Handoff receipt canonical pair must project the Change receipt observations.");
+  }
+  assertShippingAuthorizationConsistent(receipt.shipping_authorization, "Handoff receipt");
+  return receipt;
+}
+function markdownTableCell(value) {
+  return String(value ?? "").replace(/\|/g, "\\|").replace(/\r?\n/g, " ");
+}
+function artifactTarget(artifact) {
+  return artifact.url || artifact.path;
+}
+function observationArtifactKind(artifact) {
+  if (artifact.role === "canonical_screenshot" || artifact.role === "setup_screenshot" || artifact.kind === "image") return "image";
+  if (artifact.role === "data" || /\.(json|md|txt|html|log|har)(\?|#|$)/i.test(artifact.name)) return "data";
+  return "artifact";
+}
+function receiptSideView(side, observation) {
+  const artifacts = observation.artifacts.map((artifact) => ({
+    side,
+    name: artifact.name,
+    kind: observationArtifactKind(artifact),
+    url: artifact.url,
+    path: artifact.path,
+    source: artifact.source
+  }));
+  const summary = observation.profile_summary;
+  const canonical = observation.canonical_screenshot;
+  const screenshots = artifacts.filter(artifactIsScreenshot);
+  if (canonical) {
+    const canonicalTarget = canonical.url || canonical.path;
+    screenshots.sort((left, right) => {
+      const leftCanonical = (left.url || left.path) === canonicalTarget || left.name === canonical.name;
+      const rightCanonical = (right.url || right.path) === canonicalTarget || right.name === canonical.name;
+      return Number(rightCanonical) - Number(leftCanonical);
+    });
+  }
+  return {
+    side,
+    source: observation.target.url,
+    profile_name: summary?.profile_name || observation.proof?.profile_name || "profile",
+    status: summary?.status || observation.proof?.result.status || "proof_insufficient",
+    summary: summary?.summary || observation.proof?.result.summary || "No profile summary recorded.",
+    route: summary?.route,
+    captured_at: observation.captured_at,
+    checks: summary?.checks || (observation.proof ? profileCheckCounts2(observation.proof.result) : {
+      total: 0,
+      passed: 0,
+      failed: 0,
+      skipped: 0,
+      needs_human_review: 0
+    }),
+    screenshots,
+    artifacts
+  };
+}
+function markdownLink(label, target) {
+  return `[${label.replace(/\]/g, "\\]")}](${target})`;
+}
+function appendMarkdownArtifacts(lines, title, artifacts) {
+  lines.push(`### ${title}`, "");
+  if (!artifacts.length) {
+    lines.push("- No screenshot artifacts recorded.", "");
+    return;
+  }
+  for (const artifact of artifacts.slice(0, 6)) {
+    const target = artifactTarget(artifact);
+    if (target && artifact.kind === "image") {
+      lines.push(`![${artifact.name.replace(/\]/g, "\\]")}](${target})`);
+    } else if (target) {
+      lines.push(`- ${markdownLink(artifact.name, target)}`);
+    } else {
+      lines.push(`- ${artifact.name}`);
+    }
+  }
+  if (artifacts.length > 6) lines.push(`- ${artifacts.length - 6} more artifact(s) omitted`);
+  lines.push("");
+}
+function riddleProofChangeReceiptMarkdown(receipt) {
+  const before = receiptSideView("before", receipt.before);
+  const after = receiptSideView("after", receipt.after);
+  const lines = [
+    "# Riddle Proof Change Receipt",
+    "",
+    `**Verdict:** ${receipt.verdict}`,
+    `**Status:** ${receipt.status}`,
+    `**Contract:** ${receipt.contract_name}`,
+    receipt.profile_name ? `**Profile:** ${receipt.profile_name}` : "",
+    `**Recommendation:** ${receipt.recommendation.label}`,
+    `**Shipping authorization:** ${receipt.shipping_authorization.status}`,
+    "",
+    receipt.summary,
+    "",
+    "## Evidence Pair",
+    "",
+    "| Side | Source | Status | Checks |",
+    "| --- | --- | --- | --- |",
+    `| Before | ${markdownTableCell(before.source)} | ${before.status}${receipt.groups.before.ok ? " (matched baseline)" : " (baseline mismatch)"} | ${before.checks.passed} passed / ${before.checks.failed} failed |`,
+    `| After | ${markdownTableCell(after.source)} | ${after.status} | ${after.checks.passed} passed / ${after.checks.failed} failed |`,
+    "",
+    "## Source Binding",
+    "",
+    "| Side | Status | Git revision | Preview | Digest |",
+    "| --- | --- | --- | --- | --- |",
+    `| Before | ${receipt.source_bindings.before.status} | ${markdownTableCell(receipt.source_bindings.before.observed_git_revision || "not recorded")} | ${markdownTableCell(receipt.source_bindings.before.preview_id || "not required")} | ${markdownTableCell(receipt.source_bindings.before.content_digest || "not required")} |`,
+    `| After | ${receipt.source_bindings.after.status} | ${markdownTableCell(receipt.source_bindings.after.observed_git_revision || "not recorded")} | ${markdownTableCell(receipt.source_bindings.after.preview_id || "not required")} | ${markdownTableCell(receipt.source_bindings.after.content_digest || "not required")} |`,
+    "",
+    "## Delta Checks",
+    "",
+    "| Delta | Status | Before | After |",
+    "| --- | --- | --- | --- |"
+  ].filter(Boolean);
+  for (const delta of receipt.deltas) {
+    lines.push(`| ${markdownTableCell(delta.label)} | ${delta.status} | ${markdownTableCell(delta.before_observed)} | ${markdownTableCell(delta.after_observed)} |`);
+    if (delta.message) lines.push(`| ${markdownTableCell(`${delta.label} message`)} | ${markdownTableCell(delta.message)} |  |  |`);
+  }
+  lines.push("");
+  appendMarkdownArtifacts(lines, "Before Canonical Screenshot", before.screenshots.slice(0, 1));
+  appendMarkdownArtifacts(lines, "After Canonical Screenshot", after.screenshots.slice(0, 1));
+  if (receipt.proves.length) {
+    lines.push("## What This Proves", "");
+    for (const claim of receipt.proves) lines.push(`- ${claim}`);
+    lines.push("");
+  }
+  if (receipt.does_not_prove.length) {
+    lines.push("## What This Does Not Prove", "");
+    for (const claim of receipt.does_not_prove) lines.push(`- ${claim}`);
+    lines.push("");
+  }
+  const linkedArtifacts = [...before.artifacts, ...after.artifacts].filter((artifact) => artifactTarget(artifact)).slice(0, 24);
+  if (linkedArtifacts.length) {
+    lines.push("## Artifacts", "");
+    for (const artifact of linkedArtifacts) {
+      lines.push(`- ${artifact.side}: ${markdownLink(artifact.name, artifactTarget(artifact) || "")}`);
+    }
+    lines.push("");
+  }
+  return `${lines.join("\n").trim()}
+`;
+}
+function escapeHtml(value) {
+  return String(value ?? "").replace(/&/g, "&amp;").replace(/</g, "&lt;").replace(/>/g, "&gt;").replace(/"/g, "&quot;").replace(/'/g, "&#39;");
+}
+function htmlArtifactCard(artifact) {
+  const target = artifactTarget(artifact);
+  if (!target) return `<p>${escapeHtml(artifact.name)}</p>`;
+  if (artifact.kind === "image") {
+    return `<figure><img src="${escapeHtml(target)}" alt="${escapeHtml(artifact.name)}"><figcaption>${escapeHtml(artifact.name)}</figcaption></figure>`;
+  }
+  return `<p><a href="${escapeHtml(target)}">${escapeHtml(artifact.name)}</a></p>`;
+}
+function htmlArtifactLink(artifact) {
+  const target = artifactTarget(artifact);
+  if (!target) return escapeHtml(artifact.name);
+  return `<a href="${escapeHtml(target)}">${escapeHtml(artifact.name)}</a>`;
+}
+function htmlList(items, emptyText) {
+  if (!items.length) return `<p class="muted">${escapeHtml(emptyText)}</p>`;
+  return `<ul>${items.map((item) => `<li>${escapeHtml(item)}</li>`).join("")}</ul>`;
+}
+function riddleProofChangeReceiptHtml(receipt) {
+  const before = receiptSideView("before", receipt.before);
+  const after = receiptSideView("after", receipt.after);
+  const artifactLinks = [...before.artifacts, ...after.artifacts].filter((artifact) => artifactTarget(artifact)).slice(0, 32);
+  const deltaRows = receipt.deltas.map((delta) => `
+      <tr>
+        <td>${escapeHtml(delta.label)}</td>
+        <td><span class="status ${escapeHtml(delta.status)}">${escapeHtml(delta.status)}</span></td>
+        <td>${escapeHtml(delta.before_observed)}</td>
+        <td>${escapeHtml(delta.after_observed)}</td>
+      </tr>
+      ${delta.message ? `<tr><td class="muted">${escapeHtml(delta.label)} message</td><td colspan="3">${escapeHtml(delta.message)}</td></tr>` : ""}`).join("");
+  return `<!doctype html>
+<html lang="en">
+<head>
+  <meta charset="utf-8">
+  <meta name="viewport" content="width=device-width, initial-scale=1">
+  <title>${escapeHtml(receipt.contract_name)} - Riddle Proof Change Receipt</title>
+  <style>
+    :root { color-scheme: light dark; --bg: #0f141b; --panel: #171f29; --text: #eef4f8; --muted: #aebbc8; --border: #314152; --ok: #69d089; --bad: #ff7a7a; --warn: #ffd166; }
+    body { margin: 0; font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif; background: var(--bg); color: var(--text); }
+    main { max-width: 1120px; margin: 0 auto; padding: 32px 20px 48px; }
+    header, section { border: 1px solid var(--border); background: var(--panel); border-radius: 8px; padding: 20px; margin: 0 0 18px; }
+    h1, h2, h3, p { margin-top: 0; }
+    h1 { font-size: clamp(1.6rem, 3vw, 2.4rem); }
+    h2 { font-size: 1.1rem; margin-bottom: 14px; }
+    .muted { color: var(--muted); }
+    .verdict { display: inline-flex; align-items: center; gap: 8px; padding: 6px 10px; border-radius: 999px; border: 1px solid var(--border); font-weight: 700; }
+    .mergeable, .passed { color: var(--ok); }
+    .not_mergeable, .failed, .product_regression { color: var(--bad); }
+    .proof_insufficient, .environment_blocked, .needs_human_review, .configuration_error { color: var(--warn); }
+    .grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 16px; }
+    .side { border: 1px solid var(--border); border-radius: 8px; padding: 14px; min-width: 0; }
+    code { overflow-wrap: anywhere; color: var(--muted); }
+    table { width: 100%; border-collapse: collapse; }
+    th, td { border-bottom: 1px solid var(--border); padding: 10px 8px; text-align: left; vertical-align: top; }
+    figure { margin: 0; border: 1px solid var(--border); border-radius: 8px; overflow: hidden; background: #0b1017; }
+    img { display: block; width: 100%; height: auto; }
+    figcaption { padding: 8px 10px; color: var(--muted); font-size: 0.9rem; }
+    ul { margin-bottom: 0; }
+    a { color: #8bc7ff; }
+    @media (max-width: 760px) { .grid { grid-template-columns: 1fr; } main { padding: 18px 12px 32px; } }
+  </style>
+</head>
+<body>
+<main>
+  <header>
+    <p class="verdict ${escapeHtml(receipt.verdict)}">${escapeHtml(receipt.verdict)}</p>
+    <h1>${escapeHtml(receipt.contract_name)}</h1>
+    <p>${escapeHtml(receipt.summary)}</p>
+    <p class="muted">Status: ${escapeHtml(receipt.status)}${receipt.profile_name ? ` | Profile: ${escapeHtml(receipt.profile_name)}` : ""}</p>
+    <p>${escapeHtml(receipt.recommendation.label)}. Shipping authorization: ${escapeHtml(receipt.shipping_authorization.status)}.</p>
+  </header>
+  <section>
+    <h2>Evidence Pair</h2>
+    <div class="grid">
+      <div class="side">
+        <h3>Before</h3>
+        <p><code>${escapeHtml(before.source)}</code></p>
+        <p>Status: <strong class="${escapeHtml(before.status)}">${escapeHtml(before.status)}</strong>${receipt.groups.before.ok ? " (matched baseline)" : " (baseline mismatch)"}</p>
+        <p>${escapeHtml(before.summary)}</p>
+        <p class="muted">${before.checks.passed} passed / ${before.checks.failed} failed checks</p>
+      </div>
+      <div class="side">
+        <h3>After</h3>
+        <p><code>${escapeHtml(after.source)}</code></p>
+        <p>Status: <strong class="${escapeHtml(after.status)}">${escapeHtml(after.status)}</strong></p>
+        <p>${escapeHtml(after.summary)}</p>
+        <p class="muted">${after.checks.passed} passed / ${after.checks.failed} failed checks</p>
+      </div>
+    </div>
+  </section>
+  <section>
+    <h2>Source Binding</h2>
+    <table>
+      <thead><tr><th>Side</th><th>Status</th><th>Git revision</th><th>Preview</th><th>Digest</th></tr></thead>
+      <tbody>
+        <tr><td>Before</td><td>${escapeHtml(receipt.source_bindings.before.status)}</td><td>${escapeHtml(receipt.source_bindings.before.observed_git_revision || "not recorded")}</td><td>${escapeHtml(receipt.source_bindings.before.preview_id || "not required")}</td><td>${escapeHtml(receipt.source_bindings.before.content_digest || "not required")}</td></tr>
+        <tr><td>After</td><td>${escapeHtml(receipt.source_bindings.after.status)}</td><td>${escapeHtml(receipt.source_bindings.after.observed_git_revision || "not recorded")}</td><td>${escapeHtml(receipt.source_bindings.after.preview_id || "not required")}</td><td>${escapeHtml(receipt.source_bindings.after.content_digest || "not required")}</td></tr>
+      </tbody>
+    </table>
+  </section>
+  <section>
+    <h2>Delta Checks</h2>
+    <table>
+      <thead><tr><th>Delta</th><th>Status</th><th>Before</th><th>After</th></tr></thead>
+      <tbody>${deltaRows}</tbody>
+    </table>
+  </section>
+  <section>
+    <h2>Screenshots</h2>
+    <div class="grid">
+      <div>${before.screenshots.slice(0, 1).map(htmlArtifactCard).join("") || `<p class="muted">No canonical before screenshot recorded.</p>`}</div>
+      <div>${after.screenshots.slice(0, 1).map(htmlArtifactCard).join("") || `<p class="muted">No canonical after screenshot recorded.</p>`}</div>
+    </div>
+  </section>
+  <section>
+    <h2>What This Proves</h2>
+    ${htmlList(receipt.proves, "No explicit proof claims were recorded in contract metadata.")}
+  </section>
+  <section>
+    <h2>What This Does Not Prove</h2>
+    ${htmlList(receipt.does_not_prove, "No explicit limits were recorded in contract metadata.")}
+  </section>
+  <section>
+    <h2>Artifacts</h2>
+    ${artifactLinks.length ? `<ul>${artifactLinks.map((artifact) => `<li>${escapeHtml(artifact.side)}: ${htmlArtifactLink(artifact)}</li>`).join("")}</ul>` : `<p class="muted">No linked artifacts recorded.</p>`}
+  </section>
+</main>
+</body>
+</html>
+`;
+}
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   RIDDLE_PROOF_CHANGE_CONTRACT_VERSION,
+  RIDDLE_PROOF_CHANGE_RECEIPT_V1_VERSION,
+  RIDDLE_PROOF_CHANGE_RECEIPT_VERSION,
   RIDDLE_PROOF_CHANGE_RESULT_VERSION,
-  assessRiddleProofChange
+  RIDDLE_PROOF_HANDOFF_RECEIPT_VERSION,
+  assessRiddleProofChange,
+  createRiddleProofChangeReceipt,
+  createRiddleProofHandoffReceipt,
+  migrateRiddleProofChangeReceipt,
+  parseRiddleProofChangeReceipt,
+  parseRiddleProofHandoffReceipt,
+  riddleProofChangeReceiptHtml,
+  riddleProofChangeReceiptMarkdown
 });