@riddledc/riddle-proof 0.7.183 → 0.7.184

package/README.md

@@ -245,9 +245,13 @@ The package includes generic starter profiles:
 - `examples/profiles/handled-recovery-action-malformed-success.json` for action recovery profiles where the request succeeds at HTTP level but returns an unusable body.
 - `examples/profiles/terminal-result-partial-evidence.json` for API-console terminal error or timeout receipts that preserve partial screenshot, console, and HAR evidence.
 - `examples/profiles/gameplay-window-call-until.json` for gameplay profiles that wait on a runtime state contract instead of a fixed sleep.
+- `examples/profiles/spa-route-exit-state-hygiene.json` for SPA routes that must clean up short-lived proof helpers, receipts, timers, input state, or touch state after visible UI navigation exits the route.
 
 Copy one of those shapes into a repository profile directory and replace the
 routes, selectors, mock URLs, and text checks with app-specific invariants.
+For route-exit hygiene profiles, replace the watched global names with state
+that is expected to exist while the route is active and expected to disappear
+after navigation returns to the owning app shell.
 
 For handled recovery profiles, prefer proving the whole boundary instead of
 only checking that an error message appears. Mock one dependent endpoint into a

package/dist/{chunk-X24EJSIU.js → chunk-5MBIRRA7.js}

@@ -3460,6 +3460,7 @@ function assessRiddleProofProfileEvidence(profile, evidence, options = {}) {
     checks,
     summary: summarizeRiddleProofProfileResult({ profile_name: profile.name, status, checks, viewports: evidence?.viewports || [] }),
     captured_at: capturedAt,
+    metadata: profile.metadata,
     warnings: warnings.length ? warnings : void 0,
     evidence,
     riddle: options.riddle
@@ -3521,6 +3522,7 @@ function createRiddleProofProfileEnvironmentBlockedResult(input) {
     checks: [],
     summary: summarizeEnvironmentBlockedRunner(input.profile.name, environmentBlocker),
     captured_at: (/* @__PURE__ */ new Date()).toISOString(),
+    metadata: input.profile.metadata,
     warnings: warnings.length ? warnings : void 0,
     riddle: input.riddle,
     environment_blocker: environmentBlocker,
@@ -3597,6 +3599,7 @@ function createRiddleProofProfileInsufficientResult(input) {
     checks: [],
     summary: `${input.profile.name} did not produce enough evidence for a profile judgment.`,
     captured_at: (/* @__PURE__ */ new Date()).toISOString(),
+    metadata: input.profile.metadata,
     warnings: warnings.length ? warnings : void 0,
     riddle: input.riddle,
     error: message
@@ -5523,6 +5526,7 @@ function assessProfile(profile, evidence) {
     checks,
     summary,
     captured_at: evidence.captured_at,
+    metadata: profile.metadata,
     warnings: profileWarnings.length ? profileWarnings : undefined,
     evidence,
   };

package/dist/cli.cjs

@@ -10417,6 +10417,7 @@ function assessRiddleProofProfileEvidence(profile, evidence, options = {}) {
     checks,
     summary: summarizeRiddleProofProfileResult({ profile_name: profile.name, status, checks, viewports: evidence?.viewports || [] }),
     captured_at: capturedAt,
+    metadata: profile.metadata,
     warnings: warnings.length ? warnings : void 0,
     evidence,
     riddle: options.riddle
@@ -10462,6 +10463,7 @@ function createRiddleProofProfileEnvironmentBlockedResult(input) {
     checks: [],
     summary: summarizeEnvironmentBlockedRunner(input.profile.name, environmentBlocker),
     captured_at: (/* @__PURE__ */ new Date()).toISOString(),
+    metadata: input.profile.metadata,
     warnings: warnings.length ? warnings : void 0,
     riddle: input.riddle,
     environment_blocker: environmentBlocker,
@@ -10538,6 +10540,7 @@ function createRiddleProofProfileInsufficientResult(input) {
     checks: [],
     summary: `${input.profile.name} did not produce enough evidence for a profile judgment.`,
     captured_at: (/* @__PURE__ */ new Date()).toISOString(),
+    metadata: input.profile.metadata,
     warnings: warnings.length ? warnings : void 0,
     riddle: input.riddle,
     error: message
@@ -12464,6 +12467,7 @@ function assessProfile(profile, evidence) {
     checks,
     summary,
     captured_at: evidence.captured_at,
+    metadata: profile.metadata,
     warnings: profileWarnings.length ? profileWarnings : undefined,
     evidence,
   };
@@ -16179,6 +16183,10 @@ function profileResultMarkdown(result) {
     if (result.warnings.length > 12) lines.push(`- ${result.warnings.length - 12} additional warning(s) omitted.`);
     lines.push("");
   }
+  const packMetadataLines = profilePackMetadataMarkdown(result);
+  if (packMetadataLines.length) {
+    lines.push("## Proof Pack", "", ...packMetadataLines, "");
+  }
   lines.push("## Checks", "");
   for (const check of result.checks) {
     lines.push(`- ${check.status}: ${profileCheckMarkdownLabel(check)}`);
@@ -16188,6 +16196,18 @@ function profileResultMarkdown(result) {
   if (setupSummaryLines.length) {
     lines.push("", "## Setup Summary", "", ...setupSummaryLines);
   }
+  const reachabilitySummaryLines = profileReachabilitySummaryMarkdown(result);
+  if (reachabilitySummaryLines.length) {
+    lines.push("", "## Reachability", "", ...reachabilitySummaryLines);
+  }
+  const stateContractSummaryLines = profileStateContractSummaryMarkdown(result);
+  if (stateContractSummaryLines.length) {
+    lines.push("", "## State Contract", "", ...stateContractSummaryLines);
+  }
+  const sideCaveatSummaryLines = profileSideCaveatSummaryMarkdown(result);
+  if (sideCaveatSummaryLines.length) {
+    lines.push("", "## Side Caveats", "", ...sideCaveatSummaryLines);
+  }
   const networkMockSummaryLines = profileNetworkMockSummaryMarkdown(result);
   if (networkMockSummaryLines.length) {
     lines.push("", "## Network Mocks", "", ...networkMockSummaryLines);
@@ -16286,6 +16306,222 @@ function profileRiddleJobMarkdown(result) {
   if (splitJobs.length > 12) lines.push(`- ${splitJobs.length - 12} additional split job(s) omitted.`);
   return lines;
 }
+function profileMetadataStringArray(value) {
+  return Array.isArray(value) ? value.map((item) => typeof item === "string" ? item.trim() : "").filter((item) => Boolean(item)) : [];
+}
+function profileSetupSummaryRecord(result) {
+  const setupCheck = result.checks.find((check) => check.type === "setup_actions_succeeded");
+  return cliRecord(setupCheck?.evidence?.setup_summary);
+}
+function profileSetupSummaryViewports(result) {
+  const setupSummary = profileSetupSummaryRecord(result);
+  return Array.isArray(setupSummary?.viewports) ? setupSummary.viewports.map(cliRecord).filter((viewport) => Boolean(viewport)) : [];
+}
+function profileHasPassedCheck(result, types) {
+  return result.checks.some((check) => types.includes(check.type) && check.status === "passed");
+}
+function profileHasCheck(result, types) {
+  return result.checks.some((check) => types.includes(check.type));
+}
+function profileSetupScreenshotCount(viewports) {
+  return viewports.reduce((sum, viewport) => {
+    const setupScreenshots = Array.isArray(viewport.setup_screenshots) ? viewport.setup_screenshots.filter((label) => typeof label === "string" && label.trim()).length : 0;
+    const finalScreenshot = cliString(viewport.final_screenshot) || cliString(viewport.screenshot_label) ? 1 : 0;
+    return sum + setupScreenshots + finalScreenshot;
+  }, 0);
+}
+function profileSetupReceiptTotal(viewports, key) {
+  return viewports.reduce((sum, viewport) => sum + setupReceiptArray(viewport, key).filter((receipt) => receipt.ok !== false).length, 0);
+}
+function profileSetupFailureCount(viewports) {
+  return viewports.reduce((sum, viewport) => {
+    const failed = Array.isArray(viewport.failed) ? viewport.failed : [];
+    return sum + failed.filter((failure) => Boolean(cliRecord(failure))).length;
+  }, 0);
+}
+function profileSetupObstructionCount(viewports) {
+  return viewports.reduce((sum, viewport) => {
+    const failed = Array.isArray(viewport.failed) ? viewport.failed.map(cliRecord).filter((failure) => Boolean(failure)) : [];
+    return sum + failed.filter((failure) => Boolean(setupFailureObstructionSnippet(cliString(failure.reason)))).length;
+  }, 0);
+}
+function profileResultHasArtifact(result) {
+  return Boolean(
+    result.artifacts.proof_json || result.artifacts.console || result.artifacts.dom_summary || result.artifacts.screenshots?.length || result.artifacts.riddle_artifacts?.some((artifact) => artifact.url || artifact.path || artifact.name)
+  );
+}
+function profileReceiptSignalStatus(hasSignal, presentReason, missingReason) {
+  return hasSignal ? { status: "present", reason: presentReason } : { status: "missing", reason: missingReason };
+}
+function profilePackReceiptStatus(result, metadata, receipt) {
+  const text = receipt.toLowerCase();
+  const setupSummary = profileSetupSummaryRecord(result);
+  const setupViewports = profileSetupSummaryViewports(result);
+  const evidenceViewports = Array.isArray(result.evidence?.viewports) ? result.evidence.viewports : [];
+  const setupResultCount = setupViewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.result_count) || 0), 0);
+  const setupScreenshotCount = profileSetupScreenshotCount(setupViewports);
+  const screenshotCount = (result.artifacts.screenshots?.length || 0) + evidenceViewports.filter((viewport) => cliString(viewport.screenshot_label)).length + setupScreenshotCount;
+  const windowEvalCount = profileSetupReceiptTotal(setupViewports, "window_eval");
+  const valueReceipts = [
+    ...setupViewports.flatMap((viewport) => setupReceiptArray(viewport, "window_eval")),
+    ...setupViewports.flatMap((viewport) => setupReceiptArray(viewport, "window_call"))
+  ].filter((item) => item.ok !== false);
+  const clickCount = setupViewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.clicked_total) || 0), 0) + profileSetupReceiptTotal(setupViewports, "click") + profileSetupReceiptTotal(setupViewports, "click_count");
+  const setupFailureCount = profileSetupFailureCount(setupViewports);
+  const setupObstructionCount = profileSetupObstructionCount(setupViewports);
+  const inputDispatchCount = profileSetupReceiptTotal(setupViewports, "drag") + profileSetupReceiptTotal(setupViewports, "tap") + profileSetupReceiptTotal(setupViewports, "press") + profileSetupReceiptTotal(setupViewports, "keyboard_sequence");
+  const canvasReceipts = setupViewports.flatMap((viewport) => setupReceiptArray(viewport, "canvas_signature"));
+  const hasCanvasChange = canvasReceipts.some((item) => item.ok !== false && item.changed === true);
+  const canvasSignatureHashes = canvasReceipts.filter((item) => item.ok !== false).map((item) => cliString(item.hash)).filter(Boolean);
+  const hasCanvasSignatureChange = hasCanvasChange || new Set(canvasSignatureHashes).size >= 2;
+  const hasNaturalInput = setupNaturalInputSummaryMarkdown(setupViewports).length > 0;
+  const hasStateContract = profileStateContractSummaryMarkdown(result).length > 0 || Boolean(cliRecord(metadata.declared_state_contract));
+  const hasInvalidStateReceipt = valueReceipts.some((item) => {
+    const state = setupReturnSummaryValue(item, ["state", "nextState"]);
+    return typeof state === "string" && state.toLowerCase().includes("invalid");
+  });
+  const hasErrorDetailReceipt = valueReceipts.some((item) => setupReturnSummaryValue(item, ["hasErrorDetail", "errorDetail", "error_detail"]) === true);
+  const hasGridEvidence = valueReceipts.some((item) => setupReturnSummaryValue(item, ["itemCount", "grid.width", "gridWidth", "visibleGridCount"]) !== void 0);
+  const hasVisibleControlReceipt = valueReceipts.some((item) => setupReturnSummaryValue(item, ["visibleButtonCount", "visibleControlCount"]) !== void 0 || setupReturnSummaryValue(item, ["buttonStillVisible", "controlStillVisible"]) === true);
+  const hasToolSelectionReceipt = valueReceipts.some((item) => setupReturnSummaryValue(item, ["rectangleChecked", "toolSelected", "toolChecked", "selected"]) === true);
+  const hasStateGrowthReceipt = valueReceipts.some((item) => {
+    const delta = cliFiniteNumber(setupReturnSummaryValue(item, ["delta", "countDelta", "itemDelta", "stateDelta"]));
+    if (delta !== void 0 && delta > 0) return true;
+    const before = cliFiniteNumber(setupReturnSummaryValue(item, ["before", "beforeCount", "previousCount"]));
+    const after = cliFiniteNumber(setupReturnSummaryValue(item, ["after", "afterCount", "itemCount", "count"]));
+    return before !== void 0 && after !== void 0 && after > before;
+  });
+  const hasReachability = profileReachabilitySummaryMarkdown(result).length > 0 || result.checks.some((check) => check.type === "selector_visible" && Boolean(cliRecord(check.evidence)?.selector));
+  const hasOverflowEvidence = result.checks.some((check) => check.type === "no_horizontal_overflow" || check.type === "no_mobile_horizontal_overflow" || check.type === "frame_no_horizontal_overflow") || evidenceViewports.some((viewport) => (cliFiniteNumber(viewport.overflow_px) || 0) > 0 || (cliFiniteNumber(viewport.bounds_overflow_px) || 0) > 0 || Boolean(viewport.overflow_offenders?.length));
+  const hasConsoleAccounting = profileHasCheck(result, ["no_console_warnings", "no_fatal_console_errors"]) || Boolean(result.evidence?.console || result.evidence?.page_errors);
+  const hasDomSummary = Boolean(result.artifacts.dom_summary || result.evidence?.dom_summary);
+  const hasProofJson = Boolean(result.artifacts.proof_json || result.version === "riddle-proof.profile-result.v1");
+  const hasRouteViewport = Boolean(result.route?.requested || result.route?.observed) && Boolean(evidenceViewports.length || result.route?.matched !== void 0);
+  const hasSetupReceipts = setupResultCount > 0 || Boolean(setupSummary);
+  const hasTextVisibility = profileHasPassedCheck(result, ["text_visible", "selector_text_visible", "selector_visible"]);
+  const hasTextAbsence = profileHasPassedCheck(result, ["text_absent", "selector_text_absent"]);
+  const hasMeasuredStateChange = hasNaturalInput || hasCanvasChange || valueReceipts.some((item) => setupReturnSummaryValue(item, ["changed"]) === true || setupReturnSummaryValue(item, ["nonWhiteDelta", "darkDelta", "pixelDelta", "movementDelta"]) !== void 0);
+  if (text.includes("artifact link") || text.includes("artifact path")) {
+    return profileReceiptSignalStatus(profileResultHasArtifact(result), "artifact references listed", "no artifact references found");
+  }
+  if (text.includes("proof json")) return profileReceiptSignalStatus(hasProofJson, "proof JSON artifact named", "proof JSON artifact missing");
+  if (text.includes("dom summary")) return profileReceiptSignalStatus(hasDomSummary, "DOM summary evidence present", "DOM summary evidence missing");
+  if (text.includes("console") || text.includes("warning") || text.includes("fatal") || text.includes("browser warning") || text.includes("graphics")) {
+    return profileReceiptSignalStatus(hasConsoleAccounting, "console checks or evidence present", "console accounting evidence missing");
+  }
+  if (text.includes("route") && text.includes("viewport")) {
+    return profileReceiptSignalStatus(hasRouteViewport, "route and viewport evidence present", "route or viewport evidence missing");
+  }
+  if (text.includes("setup action")) {
+    return profileReceiptSignalStatus(hasSetupReceipts, "setup receipts present", "setup receipts missing");
+  }
+  if (text.includes("declared state contract")) {
+    return profileReceiptSignalStatus(hasStateContract, "state contract metadata or receipts present", "state contract evidence missing");
+  }
+  if (text.includes("stale") || text.includes("absence")) {
+    return profileReceiptSignalStatus(hasTextAbsence, "absence check passed", "absence check missing");
+  }
+  if (text.includes("recovered") || text.includes("final state")) {
+    return profileReceiptSignalStatus(hasStateContract || hasTextVisibility, "final state receipt present", "final state receipt missing");
+  }
+  if (text.includes("error detail")) {
+    const hasRequiredState = !text.includes("invalid") || hasInvalidStateReceipt;
+    return profileReceiptSignalStatus(
+      hasRequiredState && hasErrorDetailReceipt,
+      "error-detail state receipt present",
+      "error-detail state receipt missing"
+    );
+  }
+  if (text.includes("invalid state")) {
+    return profileReceiptSignalStatus(hasStateContract || hasInvalidStateReceipt, "invalid-state receipt present", "invalid-state receipt missing");
+  }
+  if (text.includes("retry") || text.includes("repair") || text.includes("reset") || text.includes("affordance")) {
+    return profileReceiptSignalStatus(hasStateContract || clickCount > 0, "affordance or transition receipt present", "affordance receipt missing");
+  }
+  if (text.includes("failure") || text.includes("mutation")) {
+    return profileReceiptSignalStatus(hasStateContract || windowEvalCount > 0 || clickCount > 0, "failure or mutation receipt present", "failure or mutation receipt missing");
+  }
+  if (text.includes("initial") && (text.includes("visible") || text.includes("state"))) {
+    return profileReceiptSignalStatus(hasTextVisibility || screenshotCount > 0, "initial visible-state evidence present", "initial state evidence missing");
+  }
+  if (text.includes("state-growth") || text.includes("state growth") || text.includes("growth receipt") || text.includes("grid grows") || text.includes("state") && text.includes("after the click")) {
+    return profileReceiptSignalStatus(hasStateGrowthReceipt, "state-growth receipt present", "state-growth receipt missing");
+  }
+  if (text.includes("visible grid") || text.includes("control evidence") || text.includes("grid") && text.includes("control")) {
+    return profileReceiptSignalStatus(
+      hasGridEvidence && (hasVisibleControlReceipt || hasReachability),
+      "visible grid/control evidence present",
+      "visible grid/control evidence missing"
+    );
+  }
+  if (text.includes("tool") && text.includes("selected") || text.includes("rectangle tool")) {
+    return profileReceiptSignalStatus(hasToolSelectionReceipt, "tool-selection receipt present", "tool-selection receipt missing");
+  }
+  if (text.includes("canvas signature")) {
+    return profileReceiptSignalStatus(hasCanvasSignatureChange, "canvas signature change evidence present", "canvas signature evidence missing");
+  }
+  if (text.includes("selector count") || text.includes("visible count") || text.includes("control visibility") || text.includes("reachability gate") || text.includes("visible control")) {
+    return profileReceiptSignalStatus(hasReachability, "selector visibility or reachability evidence present", "reachability evidence missing");
+  }
+  if (text.includes("overflow") || text.includes("clipped") || text.includes("fit")) {
+    return profileReceiptSignalStatus(hasOverflowEvidence, "overflow evidence present", "overflow evidence missing");
+  }
+  if (text.includes("click receipt") || text.includes("obstruction receipt") || text.includes("state mutation")) {
+    return profileReceiptSignalStatus(clickCount > 0 || setupObstructionCount > 0, "click or obstruction receipt present", "click or obstruction receipt missing");
+  }
+  if (text.includes("target selector") || text.includes("target selector/text")) {
+    return profileReceiptSignalStatus(hasReachability || hasTextVisibility, "selector or text check evidence present", "selector/text evidence missing");
+  }
+  if (text.includes("intercepting element")) {
+    if (setupObstructionCount > 0) return { status: "present", reason: "obstruction receipt present" };
+    return setupFailureCount > 0 ? { status: "missing", reason: "setup failed without intercepting element evidence" } : { status: "manual", reason: "only applies when blocked" };
+  }
+  if (text.includes("before and after state")) {
+    return profileReceiptSignalStatus(
+      hasStateContract || valueReceipts.length >= 2 || screenshotCount >= 2,
+      "before/after state evidence present",
+      "before/after state evidence missing"
+    );
+  }
+  if (text.includes("screenshot")) {
+    const needsBoundaryScreenshots = text.includes("each") || text.includes("before and after") || text.includes("state boundary");
+    return profileReceiptSignalStatus(
+      needsBoundaryScreenshots ? screenshotCount >= 2 : screenshotCount > 0,
+      needsBoundaryScreenshots ? "multiple screenshots present" : "screenshot evidence present",
+      needsBoundaryScreenshots ? "multiple screenshots missing" : "screenshot evidence missing"
+    );
+  }
+  if (text.includes("input dispatch") || text.includes("pointer") || text.includes("touch") || text.includes("key event") || text.includes("trusted-event")) {
+    return profileReceiptSignalStatus(inputDispatchCount > 0 || hasNaturalInput, "input dispatch evidence present", "input dispatch evidence missing");
+  }
+  if (text.includes("measured") || text.includes("state-change") || text.includes("pixel delta") || text.includes("movement receipt") || text.includes("canvas hash")) {
+    return profileReceiptSignalStatus(hasMeasuredStateChange, "measured-change evidence present", "measured-change evidence missing");
+  }
+  return { status: "manual", reason: "semantic receipt requires audit review" };
+}
+function profilePackMetadataMarkdown(result) {
+  const metadata = cliRecord(result.metadata);
+  if (!metadata) return [];
+  const packId = cliString(metadata.pack_id);
+  const packPublicName = cliString(metadata.pack_public_name);
+  const requiredReceipts = profileMetadataStringArray(metadata.required_receipts);
+  if (!packId && !packPublicName && !requiredReceipts.length) return [];
+  const lines = [];
+  const packParts = [
+    packId ? markdownInlineCode(packId) : "",
+    packPublicName ? packPublicName : ""
+  ].filter(Boolean);
+  if (packParts.length) lines.push(`- pack: ${packParts.join(" - ")}`);
+  if (requiredReceipts.length) {
+    lines.push(`- required receipts: ${requiredReceipts.length}`);
+    for (const receipt of requiredReceipts.slice(0, 20)) {
+      const item = profilePackReceiptStatus(result, metadata, receipt);
+      lines.push(`  - ${item.status}: ${receipt} (${item.reason})`);
+    }
+    if (requiredReceipts.length > 20) lines.push(`  - ${requiredReceipts.length - 20} additional required receipt(s) omitted.`);
+  }
+  return lines;
+}
 function markdownInlineCode(value, maxLength = 80) {
   const normalized = value.replace(/\s+/g, " ").trim();
   const clipped = normalized.length > maxLength ? `${normalized.slice(0, Math.max(0, maxLength - 3))}...` : normalized;
@@ -16547,6 +16783,221 @@ function setupNaturalInputSummaryMarkdown(viewports) {
   }
   return lines;
 }
+function reachabilityFailureReason(reason) {
+  if (!reason) return void 0;
+  const noVisibleMatch = /No visible match for selector [\s\S]*?:\s*([^\n]+)/.exec(reason);
+  if (noVisibleMatch?.[1]) return noVisibleMatch[1].trim().slice(0, 120);
+  if (/no_visible_match/.test(reason)) return "no_visible_match";
+  if (/not visible/i.test(reason)) return "not_visible";
+  return void 0;
+}
+function viewportTopBoundsOverflowPx(viewport) {
+  const direct = cliFiniteNumber(viewport.bounds_overflow_px);
+  if (direct !== void 0 && direct > 0) return direct;
+  const offenders = Array.isArray(viewport.overflow_offenders) ? viewport.overflow_offenders.map(cliRecord).filter((item) => Boolean(item)) : [];
+  for (const offender of offenders) {
+    const overflow = cliFiniteNumber(offender.bounds_overflow_px) ?? cliFiniteNumber(offender.overflow_px) ?? cliFiniteNumber(offender.overflow);
+    if (overflow !== void 0 && overflow > 0) return overflow;
+  }
+  const scrollOverflow = cliFiniteNumber(viewport.overflow_px);
+  return scrollOverflow !== void 0 && scrollOverflow > 0 ? scrollOverflow : void 0;
+}
+function profileReachabilitySummaryMarkdown(result) {
+  const evidenceViewports = Array.isArray(result.evidence?.viewports) ? result.evidence.viewports.map((viewport) => cliRecord(viewport)).filter((viewport) => Boolean(viewport)) : [];
+  if (!evidenceViewports.length) return [];
+  const evidenceByName = /* @__PURE__ */ new Map();
+  for (const viewport of evidenceViewports) {
+    const name = cliString(viewport.name);
+    if (name) evidenceByName.set(name, viewport);
+  }
+  const receipts = [];
+  const seen = /* @__PURE__ */ new Set();
+  const addReceipt = (viewportName, selector, reason) => {
+    const viewport = evidenceByName.get(viewportName);
+    if (!viewport) return;
+    const selectors = cliRecord(viewport.selectors);
+    const selectorEvidence = cliRecord(selectors?.[selector]);
+    const count = cliFiniteNumber(selectorEvidence?.count);
+    const visibleCount = cliFiniteNumber(selectorEvidence?.visible_count);
+    if (count === void 0 || count <= 0 || visibleCount === void 0 || visibleCount > 0) return;
+    const key = `${viewportName}\0${selector}`;
+    if (seen.has(key)) return;
+    seen.add(key);
+    const reasonText = reason || "no_visible_match";
+    const boundsOverflow = viewportTopBoundsOverflowPx(viewport);
+    receipts.push(`- reachability ${viewportName}: ${markdownInlineCode(selector, 120)} exists ${count}, visible ${visibleCount}, reason ${markdownInlineCode(reasonText, 80)}${boundsOverflow === void 0 ? "" : `, top bounds overflow ${boundsOverflow}px`}`);
+  };
+  const setupCheck = result.checks.find((check) => check.type === "setup_actions_succeeded");
+  const setupSummary = cliRecord(setupCheck?.evidence?.setup_summary);
+  const setupViewports = Array.isArray(setupSummary?.viewports) ? setupSummary.viewports.map(cliRecord).filter((viewport) => Boolean(viewport)) : [];
+  for (const viewport of setupViewports) {
+    const viewportName = cliString(viewport.name) || "viewport";
+    const failed = [
+      ...Array.isArray(viewport.failed) ? viewport.failed : [],
+      ...Array.isArray(viewport.optional_failed) ? viewport.optional_failed : []
+    ].map(cliRecord).filter((failure) => Boolean(failure));
+    for (const failure of failed) {
+      const selector = cliString(failure.selector);
+      const reason = reachabilityFailureReason(cliString(failure.reason));
+      if (selector && reason) addReceipt(viewportName, selector, reason);
+    }
+  }
+  for (const check of result.checks) {
+    if (check.type !== "selector_visible" || check.status !== "failed") continue;
+    const evidence = cliRecord(check.evidence);
+    const selector = cliString(evidence?.selector);
+    if (!selector) continue;
+    for (const viewport of evidenceViewports) {
+      const viewportName = cliString(viewport.name) || "viewport";
+      addReceipt(viewportName, selector, "no_visible_match");
+    }
+  }
+  if (receipts.length > 8) {
+    return [...receipts.slice(0, 8), `- ${receipts.length - 8} additional reachability receipt(s) omitted.`];
+  }
+  return receipts;
+}
+function stateContractReceiptName(receipt, fallbackIndex) {
+  const storedTo = cliString(receipt.return_stored_to);
+  if (!storedTo) return `receipt-${fallbackIndex + 1}`;
+  const parts = storedTo.split(".").map((part) => part.trim()).filter(Boolean);
+  return parts[parts.length - 1] || storedTo;
+}
+function stateContractReceiptValue(receipt) {
+  const value = setupReturnSummaryValue(receipt, [
+    "state",
+    "nextState",
+    "terminalState",
+    "finalState",
+    "status",
+    "phase"
+  ]);
+  return cliValueLabel(value);
+}
+function stateContractSignalParts(receipts) {
+  const names = [
+    "hasValidate",
+    "hasTryFix",
+    "hasErrorDetail",
+    "hasValid",
+    "hasInvalid",
+    "invalidGone",
+    "staleGone",
+    "staleCopyGone",
+    "repairedTrailingCommaGone",
+    "hasSuccess",
+    "hasFailure",
+    "hasRetry",
+    "hasError",
+    "success",
+    "recovered"
+  ];
+  const seen = /* @__PURE__ */ new Set();
+  const parts = [];
+  for (const receipt of receipts) {
+    for (const name of names) {
+      const value = setupReturnSummaryValue(receipt, [name]);
+      if (value === void 0) continue;
+      const label = cliValueLabel(value);
+      if (label === void 0) continue;
+      const part = `${name}=${label}`;
+      if (seen.has(part)) continue;
+      seen.add(part);
+      parts.push(part);
+      if (parts.length >= 8) return parts;
+    }
+  }
+  return parts;
+}
+function profileStateContractSummaryMarkdown(result) {
+  const setupCheck = result.checks.find((check) => check.type === "setup_actions_succeeded");
+  const setupSummary = cliRecord(setupCheck?.evidence?.setup_summary);
+  const viewports = Array.isArray(setupSummary?.viewports) ? setupSummary.viewports.map(cliRecord).filter((viewport) => Boolean(viewport)) : [];
+  const lines = [];
+  for (const viewport of viewports.slice(0, 8)) {
+    const name = cliString(viewport.name) || "viewport";
+    const receipts = [
+      ...setupReceiptArray(viewport, "window_eval"),
+      ...setupReceiptArray(viewport, "window_call"),
+      ...setupReceiptArray(viewport, "window_call_until")
+    ].filter((receipt) => receipt.ok !== false);
+    const states = receipts.map((receipt, index) => ({
+      name: stateContractReceiptName(receipt, index),
+      state: stateContractReceiptValue(receipt)
+    })).filter((receipt) => Boolean(receipt.state));
+    if (states.length < 2) continue;
+    const stateChain = states.slice(0, 6).map((receipt) => `${markdownInlineCode(receipt.name, 60)}=${markdownInlineCode(receipt.state, 80)}`).join(" -> ");
+    const omitted = states.length > 6 ? ` (+${states.length - 6} more)` : "";
+    const signals = stateContractSignalParts(receipts);
+    lines.push(`- state contract ${name}: ${stateChain}${omitted}${signals.length ? `; signals ${signals.map((part) => markdownInlineCode(part, 80)).join(", ")}` : ""}`);
+  }
+  return lines;
+}
+function sideCaveatAllowlistPart(evidence, totalKey, allowedKey) {
+  const total = cliFiniteNumber(evidence[totalKey]);
+  const allowed = cliFiniteNumber(evidence[allowedKey]);
+  if (total === void 0 || allowed === void 0 || allowed <= 0) return void 0;
+  return `${allowed}/${total} allowed`;
+}
+function sideCaveatAllowlistCounts(evidence) {
+  const textCount = Array.isArray(evidence.allowed_console_texts) ? evidence.allowed_console_texts.filter((value) => typeof value === "string" && value.trim()).length : 0;
+  const patternCount = Array.isArray(evidence.allowed_console_patterns) ? evidence.allowed_console_patterns.filter((value) => typeof value === "string" && value.trim()).length : 0;
+  return textCount || patternCount ? `allowlist ${textCount} text${textCount === 1 ? "" : "s"}, ${patternCount} pattern${patternCount === 1 ? "" : "s"}` : void 0;
+}
+function overflowCheckFailed(result) {
+  return result.checks.some((check) => check.status === "failed" && (check.type === "no_horizontal_overflow" || check.type === "no_mobile_horizontal_overflow" || check.type === "frame_no_horizontal_overflow"));
+}
+function sideCaveatOverflowLine(viewport) {
+  const name = cliString(viewport.name) || "viewport";
+  const scrollOverflow = cliFiniteNumber(viewport.overflow_px);
+  const boundsOverflow = cliFiniteNumber(viewport.bounds_overflow_px);
+  if ((scrollOverflow === void 0 || scrollOverflow <= 0) && (boundsOverflow === void 0 || boundsOverflow <= 0)) return void 0;
+  const parts = [
+    scrollOverflow !== void 0 && scrollOverflow > 0 ? `scroll overflow ${scrollOverflow}px` : "",
+    boundsOverflow !== void 0 && boundsOverflow > 0 ? `bounds overflow ${boundsOverflow}px` : ""
+  ].filter(Boolean);
+  const offenders = Array.isArray(viewport.overflow_offenders) ? viewport.overflow_offenders.map(cliRecord).filter((item) => Boolean(item)) : [];
+  const offender = offenders.find((item) => {
+    const overflow = cliFiniteNumber(item.bounds_overflow_px) ?? cliFiniteNumber(item.overflow_px) ?? cliFiniteNumber(item.overflow);
+    return overflow !== void 0 && overflow > 0;
+  });
+  const offenderSelector = cliString(offender?.selector);
+  const offenderOverflow = offender ? cliFiniteNumber(offender.bounds_overflow_px) ?? cliFiniteNumber(offender.overflow_px) ?? cliFiniteNumber(offender.overflow) : void 0;
+  return `- side caveat layout ${name}: ${parts.join(", ")}${offenderSelector && offenderOverflow !== void 0 ? `; top offender ${markdownInlineCode(offenderSelector, 100)} ${offenderOverflow}px` : ""}`;
+}
+function profileSideCaveatSummaryMarkdown(result) {
+  const lines = [];
+  for (const check of result.checks) {
+    if (check.status !== "passed") continue;
+    const evidence = cliRecord(check.evidence);
+    if (!evidence) continue;
+    if (check.type === "no_console_warnings") {
+      const allowed = sideCaveatAllowlistPart(evidence, "total_console_warning_count", "allowed_console_warning_count");
+      if (allowed) {
+        const allowlist = sideCaveatAllowlistCounts(evidence);
+        lines.push(`- side caveat console warnings: ${allowed}${allowlist ? `; ${allowlist}` : ""}`);
+      }
+    }
+    if (check.type === "no_fatal_console_errors") {
+      const consoleAllowed = sideCaveatAllowlistPart(evidence, "total_console_fatal_count", "allowed_console_fatal_count");
+      const pageAllowed = sideCaveatAllowlistPart(evidence, "total_page_error_count", "allowed_page_error_count");
+      const parts = [
+        consoleAllowed ? `console fatal ${consoleAllowed}` : "",
+        pageAllowed ? `page errors ${pageAllowed}` : "",
+        sideCaveatAllowlistCounts(evidence)
+      ].filter(Boolean);
+      if (parts.length) lines.push(`- side caveat fatal errors: ${parts.join("; ")}`);
+    }
+  }
+  if (!overflowCheckFailed(result) && Array.isArray(result.evidence?.viewports)) {
+    for (const viewport of result.evidence.viewports.slice(0, 8)) {
+      const line = sideCaveatOverflowLine(cliRecord(viewport) || {});
+      if (line) lines.push(line);
+    }
+    if (result.evidence.viewports.length > 8) lines.push(`- ${result.evidence.viewports.length - 8} additional viewport side caveat(s) omitted.`);
+  }
+  return lines.slice(0, 12);
+}
 function balancedSetupReceiptDetails(groups, limit) {
   if (limit <= 0) return [];
   const total = groups.reduce((sum, group) => sum + group.length, 0);
@@ -17264,7 +17715,7 @@ async function readArtifactJson(artifact) {
 async function profileResultFromRiddleArtifacts(profile, artifacts, fallbackInputs) {
   for (const input of fallbackInputs) {
     const result = extractRiddleProofProfileResult(input);
-    if (result) return result;
+    if (result) return withProfileMetadata(profile, result);
   }
   const proofArtifacts = artifacts.filter((artifact) => /(^|\/)proof\.json(?:\.json)?$/i.test(artifact.name || artifact.url || artifact.path || "")).sort((left, right) => {
     const leftName = left.name || left.url || left.path || "";
@@ -17274,7 +17725,7 @@ async function profileResultFromRiddleArtifacts(profile, artifacts, fallbackInpu
   for (const artifact of proofArtifacts) {
     const parsed = await readArtifactJson(artifact);
     const result = extractRiddleProofProfileResult(parsed);
-    if (result) return result;
+    if (result) return withProfileMetadata(profile, result);
   }
   const evidenceArtifacts = artifacts.filter((artifact) => /profile-evidence|evidence\.json/i.test(artifact.name || artifact.url || artifact.path || ""));
   for (const artifact of evidenceArtifacts) {
@@ -17285,6 +17736,16 @@ async function profileResultFromRiddleArtifacts(profile, artifacts, fallbackInpu
   }
   return void 0;
 }
+function withProfileMetadata(profile, result) {
+  if (!profile.metadata || !Object.keys(profile.metadata).length) return result;
+  return {
+    ...result,
+    metadata: {
+      ...profile.metadata,
+      ...result.metadata || {}
+    }
+  };
+}
 function withRiddleMetadata(result, input) {
   const poll = input.poll;
   const staleJobIds = input.staleJobIds?.filter(Boolean);
@@ -17628,7 +18089,7 @@ async function runSingleRiddleProfileForCli(profile, options, input) {
     jobId = typeof created.job_id === "string" ? created.job_id : typeof created.id === "string" ? created.id : "";
     if (!jobId) {
       const directResult = extractRiddleProofProfileResult(created);
-      return directResult ? withRiddleMetadata(directResult, { artifacts: collectRiddleProfileArtifactRefs(created) }) : createRiddleProofProfileInsufficientResult({ profile, runner, error: "Riddle run response was missing job_id.", artifacts: collectRiddleProfileArtifactRefs(created) });
+      return directResult ? withRiddleMetadata(withProfileMetadata(profile, directResult), { artifacts: collectRiddleProfileArtifactRefs(created) }) : createRiddleProofProfileInsufficientResult({ profile, runner, error: "Riddle run response was missing job_id.", artifacts: collectRiddleProfileArtifactRefs(created) });
     }
     poll = await client.pollJob(jobId, pollOptions);
     if (attempt < retryLimit && shouldRetryUnsubmittedRiddleJob(poll)) {