@riddledc/riddle-proof 0.8.75 → 0.8.77

package/README.md

@@ -110,10 +110,21 @@ riddle-proof-loop run-change-proof \
 ```
 
 When `--output` / `--output-dir` is set, the command writes
-`change-proof-result.json`, `summary.md`, and normalized copies of the
-`before/profile-result.json` and `after/profile-result.json` inputs. A
-non-passing change proof exits nonzero so CI and PR-comment automation can use
-the receipt as a gate.
+`change-proof-result.json`, `change-proof-receipt.json`,
+`change-proof-receipt.md`, `change-proof-receipt.html`, `summary.md`, and
+normalized copies of the `before/profile-result.json` and
+`after/profile-result.json` inputs. The receipt files are the human-facing
+handoff: they show the before/after evidence pair, delta verdicts, screenshot
+links when hosted artifacts are available, explicit proof claims from
+`metadata.required_receipts`, and limits from `metadata.does_not_prove`.
+`riddle-proof-loop pr-comment --proof-dir <dir>` recognizes the receipt JSON
+and uses it as the PR review summary. A non-passing change proof exits nonzero
+so CI and on-demand PR automation can use the receipt as a gate without running
+noisy scheduled workflows.
+
+For a small hosted-preview dogfood target, see
+`examples/profiles/hosted-change-proof-preview.json` and
+`examples/change-contracts/hosted-change-proof-preview.json`.
 
 ## Durable Loop CLI
 

package/dist/change-proof.cjs

@@ -21,12 +21,17 @@ 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_VERSION: () => RIDDLE_PROOF_CHANGE_RECEIPT_VERSION,
   RIDDLE_PROOF_CHANGE_RESULT_VERSION: () => RIDDLE_PROOF_CHANGE_RESULT_VERSION,
-  assessRiddleProofChange: () => assessRiddleProofChange
+  assessRiddleProofChange: () => assessRiddleProofChange,
+  createRiddleProofChangeReceipt: () => createRiddleProofChangeReceipt,
+  riddleProofChangeReceiptHtml: () => riddleProofChangeReceiptHtml,
+  riddleProofChangeReceiptMarkdown: () => riddleProofChangeReceiptMarkdown
 });
 module.exports = __toCommonJS(change_proof_exports);
 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_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"];
@@ -185,9 +190,329 @@ function assessRiddleProofChange(contract, input) {
     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 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 artifactKind(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 receiptArtifactFromRef(side, ref) {
+  return {
+    side,
+    name: ref.name,
+    kind: artifactKind(ref),
+    url: ref.url,
+    path: ref.path,
+    source: ref.source
+  };
+}
+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 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 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"
+    });
+  }
+  return artifacts;
+}
+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 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: profileCheckCounts(result),
+    screenshots: artifacts.filter(artifactIsScreenshot),
+    artifacts
+  };
+}
+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 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 markdownTableCell(value) {
+  return String(value ?? "").replace(/\|/g, "\\|").replace(/\r?\n/g, " ");
+}
+function artifactTarget(artifact) {
+  return artifact.url || artifact.path;
+}
+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 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",
+    "",
+    "| 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 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}`);
+    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 = [...receipt.before.artifacts, ...receipt.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 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>
+`;
+}
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   RIDDLE_PROOF_CHANGE_CONTRACT_VERSION,
+  RIDDLE_PROOF_CHANGE_RECEIPT_VERSION,
   RIDDLE_PROOF_CHANGE_RESULT_VERSION,
-  assessRiddleProofChange
+  assessRiddleProofChange,
+  createRiddleProofChangeReceipt,
+  riddleProofChangeReceiptHtml,
+  riddleProofChangeReceiptMarkdown
 });

package/dist/change-proof.d.cts

@@ -4,6 +4,7 @@ import './public-state.cjs';
 
 declare const RIDDLE_PROOF_CHANGE_CONTRACT_VERSION: "riddle-proof.change-contract.v1";
 declare const RIDDLE_PROOF_CHANGE_RESULT_VERSION: "riddle-proof.change-result.v1";
+declare const RIDDLE_PROOF_CHANGE_RECEIPT_VERSION: "riddle-proof.change-receipt.v1";
 type RiddleProofChangeSide = "before" | "after";
 type RiddleProofChangeStatus = RiddleProofProfileStatus;
 type RiddleProofChangeDeltaStatus = "passed" | "failed" | "proof_insufficient" | "configuration_error";
@@ -69,6 +70,69 @@ interface AssessRiddleProofChangeInput {
     before_result?: RiddleProofProfileResult;
     after_result?: RiddleProofProfileResult;
 }
+type RiddleProofChangeReceiptVerdict = "mergeable" | "not_mergeable" | "environment_blocked" | "needs_human_review" | "configuration_error" | "proof_insufficient";
+type RiddleProofChangeReceiptArtifactKind = "image" | "data" | "artifact";
+interface RiddleProofChangeReceiptArtifact {
+    side: RiddleProofChangeSide;
+    name: string;
+    kind: RiddleProofChangeReceiptArtifactKind;
+    url?: string;
+    path?: string;
+    source?: string;
+}
+interface RiddleProofChangeReceiptCheckCounts {
+    total: number;
+    passed: number;
+    failed: number;
+    skipped: number;
+    needs_human_review: number;
+}
+interface RiddleProofChangeReceiptSide {
+    side: RiddleProofChangeSide;
+    source: string;
+    profile_name: string;
+    status: RiddleProofProfileStatus;
+    summary: string;
+    route?: JsonValue;
+    captured_at?: string;
+    checks: RiddleProofChangeReceiptCheckCounts;
+    screenshots: RiddleProofChangeReceiptArtifact[];
+    artifacts: RiddleProofChangeReceiptArtifact[];
+}
+interface RiddleProofChangeReceiptDelta {
+    type: RiddleProofChangeDeltaResult["type"];
+    label: string;
+    status: RiddleProofChangeDeltaStatus;
+    before_observed?: JsonValue;
+    after_observed?: JsonValue;
+    message?: string;
+}
+interface RiddleProofChangeReceipt {
+    version: typeof RIDDLE_PROOF_CHANGE_RECEIPT_VERSION;
+    contract_name: string;
+    profile_name?: string;
+    status: RiddleProofChangeStatus;
+    verdict: RiddleProofChangeReceiptVerdict;
+    summary: string;
+    before: RiddleProofChangeReceiptSide;
+    after: RiddleProofChangeReceiptSide;
+    deltas: RiddleProofChangeReceiptDelta[];
+    proves: string[];
+    does_not_prove: string[];
+    metadata?: Record<string, JsonValue>;
+}
+interface CreateRiddleProofChangeReceiptInput {
+    contract: RiddleProofChangeContract;
+    result: RiddleProofChangeResult;
+    before_result: RiddleProofProfileResult;
+    after_result: RiddleProofProfileResult;
+    before_source: string;
+    after_source: string;
+    profile_name?: string;
+}
 declare function assessRiddleProofChange(contract: RiddleProofChangeContract, input: AssessRiddleProofChangeInput): RiddleProofChangeResult;
+declare function createRiddleProofChangeReceipt(input: CreateRiddleProofChangeReceiptInput): RiddleProofChangeReceipt;
+declare function riddleProofChangeReceiptMarkdown(receipt: RiddleProofChangeReceipt): string;
+declare function riddleProofChangeReceiptHtml(receipt: RiddleProofChangeReceipt): string;
 
-export { type AssessRiddleProofChangeInput, RIDDLE_PROOF_CHANGE_CONTRACT_VERSION, RIDDLE_PROOF_CHANGE_RESULT_VERSION, type RiddleProofChangeContract, type RiddleProofChangeDelta, type RiddleProofChangeDeltaResult, type RiddleProofChangeDeltaStatus, type RiddleProofChangeGroupContract, type RiddleProofChangeGroupResult, type RiddleProofChangeProfileCheckStatus, type RiddleProofChangeResult, type RiddleProofChangeSide, type RiddleProofChangeStatus, type RiddleProofCheckStatusTransitionDelta, type RiddleProofProfileStatusTransitionDelta, assessRiddleProofChange };
+export { type AssessRiddleProofChangeInput, type CreateRiddleProofChangeReceiptInput, RIDDLE_PROOF_CHANGE_CONTRACT_VERSION, RIDDLE_PROOF_CHANGE_RECEIPT_VERSION, RIDDLE_PROOF_CHANGE_RESULT_VERSION, type RiddleProofChangeContract, type RiddleProofChangeDelta, type RiddleProofChangeDeltaResult, type RiddleProofChangeDeltaStatus, type RiddleProofChangeGroupContract, type RiddleProofChangeGroupResult, type RiddleProofChangeProfileCheckStatus, type RiddleProofChangeReceipt, type RiddleProofChangeReceiptArtifact, type RiddleProofChangeReceiptArtifactKind, type RiddleProofChangeReceiptCheckCounts, type RiddleProofChangeReceiptDelta, type RiddleProofChangeReceiptSide, type RiddleProofChangeReceiptVerdict, type RiddleProofChangeResult, type RiddleProofChangeSide, type RiddleProofChangeStatus, type RiddleProofCheckStatusTransitionDelta, type RiddleProofProfileStatusTransitionDelta, assessRiddleProofChange, createRiddleProofChangeReceipt, riddleProofChangeReceiptHtml, riddleProofChangeReceiptMarkdown };

package/dist/change-proof.d.ts

@@ -4,6 +4,7 @@ import './public-state.js';
 
 declare const RIDDLE_PROOF_CHANGE_CONTRACT_VERSION: "riddle-proof.change-contract.v1";
 declare const RIDDLE_PROOF_CHANGE_RESULT_VERSION: "riddle-proof.change-result.v1";
+declare const RIDDLE_PROOF_CHANGE_RECEIPT_VERSION: "riddle-proof.change-receipt.v1";
 type RiddleProofChangeSide = "before" | "after";
 type RiddleProofChangeStatus = RiddleProofProfileStatus;
 type RiddleProofChangeDeltaStatus = "passed" | "failed" | "proof_insufficient" | "configuration_error";
@@ -69,6 +70,69 @@ interface AssessRiddleProofChangeInput {
     before_result?: RiddleProofProfileResult;
     after_result?: RiddleProofProfileResult;
 }
+type RiddleProofChangeReceiptVerdict = "mergeable" | "not_mergeable" | "environment_blocked" | "needs_human_review" | "configuration_error" | "proof_insufficient";
+type RiddleProofChangeReceiptArtifactKind = "image" | "data" | "artifact";
+interface RiddleProofChangeReceiptArtifact {
+    side: RiddleProofChangeSide;
+    name: string;
+    kind: RiddleProofChangeReceiptArtifactKind;
+    url?: string;
+    path?: string;
+    source?: string;
+}
+interface RiddleProofChangeReceiptCheckCounts {
+    total: number;
+    passed: number;
+    failed: number;
+    skipped: number;
+    needs_human_review: number;
+}
+interface RiddleProofChangeReceiptSide {
+    side: RiddleProofChangeSide;
+    source: string;
+    profile_name: string;
+    status: RiddleProofProfileStatus;
+    summary: string;
+    route?: JsonValue;
+    captured_at?: string;
+    checks: RiddleProofChangeReceiptCheckCounts;
+    screenshots: RiddleProofChangeReceiptArtifact[];
+    artifacts: RiddleProofChangeReceiptArtifact[];
+}
+interface RiddleProofChangeReceiptDelta {
+    type: RiddleProofChangeDeltaResult["type"];
+    label: string;
+    status: RiddleProofChangeDeltaStatus;
+    before_observed?: JsonValue;
+    after_observed?: JsonValue;
+    message?: string;
+}
+interface RiddleProofChangeReceipt {
+    version: typeof RIDDLE_PROOF_CHANGE_RECEIPT_VERSION;
+    contract_name: string;
+    profile_name?: string;
+    status: RiddleProofChangeStatus;
+    verdict: RiddleProofChangeReceiptVerdict;
+    summary: string;
+    before: RiddleProofChangeReceiptSide;
+    after: RiddleProofChangeReceiptSide;
+    deltas: RiddleProofChangeReceiptDelta[];
+    proves: string[];
+    does_not_prove: string[];
+    metadata?: Record<string, JsonValue>;
+}
+interface CreateRiddleProofChangeReceiptInput {
+    contract: RiddleProofChangeContract;
+    result: RiddleProofChangeResult;
+    before_result: RiddleProofProfileResult;
+    after_result: RiddleProofProfileResult;
+    before_source: string;
+    after_source: string;
+    profile_name?: string;
+}
 declare function assessRiddleProofChange(contract: RiddleProofChangeContract, input: AssessRiddleProofChangeInput): RiddleProofChangeResult;
+declare function createRiddleProofChangeReceipt(input: CreateRiddleProofChangeReceiptInput): RiddleProofChangeReceipt;
+declare function riddleProofChangeReceiptMarkdown(receipt: RiddleProofChangeReceipt): string;
+declare function riddleProofChangeReceiptHtml(receipt: RiddleProofChangeReceipt): string;
 
-export { type AssessRiddleProofChangeInput, RIDDLE_PROOF_CHANGE_CONTRACT_VERSION, RIDDLE_PROOF_CHANGE_RESULT_VERSION, type RiddleProofChangeContract, type RiddleProofChangeDelta, type RiddleProofChangeDeltaResult, type RiddleProofChangeDeltaStatus, type RiddleProofChangeGroupContract, type RiddleProofChangeGroupResult, type RiddleProofChangeProfileCheckStatus, type RiddleProofChangeResult, type RiddleProofChangeSide, type RiddleProofChangeStatus, type RiddleProofCheckStatusTransitionDelta, type RiddleProofProfileStatusTransitionDelta, assessRiddleProofChange };
+export { type AssessRiddleProofChangeInput, type CreateRiddleProofChangeReceiptInput, RIDDLE_PROOF_CHANGE_CONTRACT_VERSION, RIDDLE_PROOF_CHANGE_RECEIPT_VERSION, RIDDLE_PROOF_CHANGE_RESULT_VERSION, type RiddleProofChangeContract, type RiddleProofChangeDelta, type RiddleProofChangeDeltaResult, type RiddleProofChangeDeltaStatus, type RiddleProofChangeGroupContract, type RiddleProofChangeGroupResult, type RiddleProofChangeProfileCheckStatus, type RiddleProofChangeReceipt, type RiddleProofChangeReceiptArtifact, type RiddleProofChangeReceiptArtifactKind, type RiddleProofChangeReceiptCheckCounts, type RiddleProofChangeReceiptDelta, type RiddleProofChangeReceiptSide, type RiddleProofChangeReceiptVerdict, type RiddleProofChangeResult, type RiddleProofChangeSide, type RiddleProofChangeStatus, type RiddleProofCheckStatusTransitionDelta, type RiddleProofProfileStatusTransitionDelta, assessRiddleProofChange, createRiddleProofChangeReceipt, riddleProofChangeReceiptHtml, riddleProofChangeReceiptMarkdown };

package/dist/change-proof.js

@@ -1,11 +1,19 @@
 import {
   RIDDLE_PROOF_CHANGE_CONTRACT_VERSION,
+  RIDDLE_PROOF_CHANGE_RECEIPT_VERSION,
   RIDDLE_PROOF_CHANGE_RESULT_VERSION,
-  assessRiddleProofChange
-} from "./chunk-6S7DZWVC.js";
+  assessRiddleProofChange,
+  createRiddleProofChangeReceipt,
+  riddleProofChangeReceiptHtml,
+  riddleProofChangeReceiptMarkdown
+} from "./chunk-BILL3UC2.js";
 import "./chunk-MLKGABMK.js";
 export {
   RIDDLE_PROOF_CHANGE_CONTRACT_VERSION,
+  RIDDLE_PROOF_CHANGE_RECEIPT_VERSION,
   RIDDLE_PROOF_CHANGE_RESULT_VERSION,
-  assessRiddleProofChange
+  assessRiddleProofChange,
+  createRiddleProofChangeReceipt,
+  riddleProofChangeReceiptHtml,
+  riddleProofChangeReceiptMarkdown
 };