@riddledc/riddle-proof 0.7.182 → 0.7.184

package/dist/cli.js

@@ -13,7 +13,7 @@ import {
   profileStatusExitCode,
   resolveRiddleProofProfileTargetUrl,
   resolveRiddleProofProfileTimeoutSec
-} from "./chunk-XL7Q4M6D.js";
+} from "./chunk-5MBIRRA7.js";
 import {
   createRiddleApiClient,
   isTerminalRiddleJobStatus,
@@ -396,6 +396,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)}`);
@@ -405,6 +409,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);
@@ -503,6 +519,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;
@@ -764,6 +996,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);
@@ -911,7 +1358,10 @@ function profileSetupSummaryMarkdown(result) {
   const rangeValueTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.set_range_value_total) || 0), 0);
   const dragTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.drag_total) || 0), 0);
   const tapTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.tap_total) || 0), 0);
-  const pressTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.press_total) || 0), 0);
+  const keyboardTotal = viewports.reduce((sum, viewport) => {
+    const total = cliFiniteNumber(viewport.keyboard_total);
+    return sum + (total === void 0 ? cliFiniteNumber(viewport.press_total) || 0 : total);
+  }, 0);
   const canvasSignatureTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.canvas_signature_total) || 0), 0);
   const failedTotal = viewports.reduce((sum, viewport) => sum + (Array.isArray(viewport.failed) ? viewport.failed.length : 0), 0);
   const lines = [
@@ -947,8 +1397,8 @@ function profileSetupSummaryMarkdown(result) {
   if (tapTotal) {
     lines.push(`- tap: ${tapTotal} action(s)`);
   }
-  if (pressTotal) {
-    lines.push(`- press: ${pressTotal} action(s)`);
+  if (keyboardTotal) {
+    lines.push(`- keyboard: ${keyboardTotal} action(s)`);
   }
   if (canvasSignatureTotal) {
     lines.push(`- canvas_signature: ${canvasSignatureTotal} action(s)`);
@@ -974,10 +1424,10 @@ function profileSetupSummaryMarkdown(result) {
     const rangeValueActions = cliFiniteNumber(viewport.set_range_value_total) || 0;
     const dragActions = cliFiniteNumber(viewport.drag_total) || 0;
     const tapActions = cliFiniteNumber(viewport.tap_total) || 0;
-    const pressActions = cliFiniteNumber(viewport.press_total) || 0;
+    const keyboardActions = cliFiniteNumber(viewport.keyboard_total) ?? cliFiniteNumber(viewport.press_total) ?? 0;
     const canvasSignatureActions = cliFiniteNumber(viewport.canvas_signature_total) || 0;
     const observedPath = cliString(viewport.observed_path);
-    lines.push(`- ${name}: ${ok}, ${resultCount} result(s), ${screenshotCount} setup screenshot(s), ${clicked} click(s)${clickSequenceCount ? `, ${clickSequenceCount} click sequence(s)` : ""}${clickCountActions ? `, ${clickCountActions} click_count action(s)` : ""}${rangeValueActions ? `, ${rangeValueActions} set_range_value action(s)` : ""}${dragActions ? `, ${dragActions} drag action(s)` : ""}${tapActions ? `, ${tapActions} tap action(s)` : ""}${pressActions ? `, ${pressActions} press action(s)` : ""}${canvasSignatureActions ? `, ${canvasSignatureActions} canvas_signature action(s)` : ""}${deterministicRuntimeActions ? `, ${deterministicRuntimeActions} deterministic_runtime action(s)` : ""}${windowCallActions ? `, ${windowCallActions} window_call action(s), ${windowCallStored} stored return(s), ${windowCallCaptured} captured return(s)` : ""}${windowEvalActions ? `, ${windowEvalActions} window_eval action(s), ${windowEvalStored} stored return(s), ${windowEvalCaptured} captured return(s)` : ""}${windowCallUntilActions ? `, ${windowCallUntilActions} window_call_until action(s), ${windowCallUntilCalls} call(s)` : ""}${observedPath ? `, path ${observedPath}` : ""}`);
+    lines.push(`- ${name}: ${ok}, ${resultCount} result(s), ${screenshotCount} setup screenshot(s), ${clicked} click(s)${clickSequenceCount ? `, ${clickSequenceCount} click sequence(s)` : ""}${clickCountActions ? `, ${clickCountActions} click_count action(s)` : ""}${rangeValueActions ? `, ${rangeValueActions} set_range_value action(s)` : ""}${dragActions ? `, ${dragActions} drag action(s)` : ""}${tapActions ? `, ${tapActions} tap action(s)` : ""}${keyboardActions ? `, ${keyboardActions} keyboard action(s)` : ""}${canvasSignatureActions ? `, ${canvasSignatureActions} canvas_signature action(s)` : ""}${deterministicRuntimeActions ? `, ${deterministicRuntimeActions} deterministic_runtime action(s)` : ""}${windowCallActions ? `, ${windowCallActions} window_call action(s), ${windowCallStored} stored return(s), ${windowCallCaptured} captured return(s)` : ""}${windowEvalActions ? `, ${windowEvalActions} window_eval action(s), ${windowEvalStored} stored return(s), ${windowEvalCaptured} captured return(s)` : ""}${windowCallUntilActions ? `, ${windowCallUntilActions} window_call_until action(s), ${windowCallUntilCalls} call(s)` : ""}${observedPath ? `, path ${observedPath}` : ""}`);
   }
   const clickSequenceGroups = viewports.map((viewport) => {
     const name = cliString(viewport.name) || "viewport";
@@ -1044,13 +1494,14 @@ function profileSetupSummaryMarkdown(result) {
     lines.push(`- ${name} tap: ${ok}, ${markdownInlineCode(selector)}${pointerType ? ` ${markdownInlineCode(pointerType)}` : ""}${inputDispatch ? ` via ${markdownInlineCode(inputDispatch)}` : ""}${coordinateText}${durationMs === void 0 ? "" : `, duration ${durationMs}ms`}${reason ? `, reason ${markdownInlineCode(reason, 100)}` : ""}`);
   }
   if (tapDetails.length > sampledTapDetails.length) lines.push(`- ${tapDetails.length - sampledTapDetails.length} additional tap receipt(s) omitted.`);
-  const pressGroups = viewports.map((viewport) => {
+  const keyboardGroups = viewports.map((viewport) => {
     const name = cliString(viewport.name) || "viewport";
-    const receipts = Array.isArray(viewport.press) ? viewport.press.map(cliRecord).filter((item) => Boolean(item)) : [];
+    const rawReceipts = Array.isArray(viewport.keyboard) ? viewport.keyboard : viewport.press;
+    const receipts = Array.isArray(rawReceipts) ? rawReceipts.map(cliRecord).filter((item) => Boolean(item)) : [];
     return receipts.map((receipt) => ({ name, receipt }));
   });
-  const pressDetails = pressGroups.flat();
-  for (const group of pressGroups.slice(0, 8)) {
+  const keyboardDetails = keyboardGroups.flat();
+  for (const group of keyboardGroups.slice(0, 8)) {
     if (!group.length) continue;
     const name = group[0].name;
     const keys = group.map(({ receipt }) => cliString(receipt.key) || "key").filter(Boolean);
@@ -1061,10 +1512,10 @@ function profileSetupSummaryMarkdown(result) {
     const omittedOrdinalCount = Math.max(0, ordinals.length - visibleOrdinals.length);
     const keyText = visibleKeys.join(",");
     const ordinalText = visibleOrdinals.join(",");
-    lines.push(`- ${name} press_sequence: keys ${markdownInlineCode(keyText, 200)}${omittedKeyCount ? ` (+${omittedKeyCount} omitted)` : ""}${ordinalText ? `, ordinals ${markdownInlineCode(ordinalText, 120)}${omittedOrdinalCount ? ` (+${omittedOrdinalCount} omitted)` : ""}` : ""}`);
+    lines.push(`- ${name} keyboard_sequence: keys ${markdownInlineCode(keyText, 200)}${omittedKeyCount ? ` (+${omittedKeyCount} omitted)` : ""}${ordinalText ? `, ordinals ${markdownInlineCode(ordinalText, 120)}${omittedOrdinalCount ? ` (+${omittedOrdinalCount} omitted)` : ""}` : ""}`);
   }
-  const sampledPressDetails = balancedSetupReceiptDetails(pressGroups, 12);
-  for (const { name, receipt } of sampledPressDetails) {
+  const sampledKeyboardDetails = balancedSetupReceiptDetails(keyboardGroups, 12);
+  for (const { name, receipt } of sampledKeyboardDetails) {
     const action = cliString(receipt.action) || "press";
     const key = cliString(receipt.key) || "key";
     const selector = cliString(receipt.selector);
@@ -1074,7 +1525,7 @@ function profileSetupSummaryMarkdown(result) {
     const reason = cliString(receipt.reason);
     lines.push(`- ${name} ${action}: ${ok}, ${markdownInlineCode(key)}${selector ? ` on ${markdownInlineCode(selector)}` : ""}${frameSelector ? ` in frame ${markdownInlineCode(frameSelector)}` : ""}${holdMs === void 0 ? "" : `, held ${holdMs}ms`}${reason ? `, reason ${markdownInlineCode(reason, 100)}` : ""}`);
   }
-  if (pressDetails.length > sampledPressDetails.length) lines.push(`- ${pressDetails.length - sampledPressDetails.length} additional press receipt(s) omitted.`);
+  if (keyboardDetails.length > sampledKeyboardDetails.length) lines.push(`- ${keyboardDetails.length - sampledKeyboardDetails.length} additional keyboard receipt(s) omitted.`);
   const canvasSignatureGroups = viewports.map((viewport) => {
     const name = cliString(viewport.name) || "viewport";
     const receipts = Array.isArray(viewport.canvas_signature) ? viewport.canvas_signature.map(cliRecord).filter((item) => Boolean(item)) : [];
@@ -1477,7 +1928,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 || "";
@@ -1487,7 +1938,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) {
@@ -1498,6 +1949,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);
@@ -1841,7 +2302,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)) {