@riddledc/riddle-proof 0.7.183 → 0.7.185

package/dist/cli.cjs

@@ -7446,8 +7446,9 @@ function profileSetupWindowCallReceipts(results) {
       path: result.path ?? null,
       return_captured: result.return_captured ?? null,
       return_stored_to: result.return_stored_to ?? null,
-      reason: result.reason ?? result.error ?? result.store_reason ?? null
+      reason: result.reason ?? result.store_reason ?? null
     };
+    if (result.error !== void 0) receipt.error = result.error;
     if (result.returned !== void 0) receipt.returned = result.returned;
     if (result.expected_return !== void 0) receipt.expected_return = result.expected_return;
     const returnSummary = profileSetupReturnSummary(result);
@@ -7463,8 +7464,9 @@ function profileSetupWindowEvalReceipts(results) {
       script_length: result.script_length ?? null,
       return_captured: result.return_captured ?? null,
       return_stored_to: result.return_stored_to ?? null,
-      reason: result.reason ?? result.error ?? result.store_reason ?? null
+      reason: result.reason ?? result.store_reason ?? null
     };
+    if (result.error !== void 0) receipt.error = result.error;
     if (result.returned !== void 0) receipt.returned = result.returned;
     if (result.expected_return !== void 0) receipt.expected_return = result.expected_return;
     const returnSummary = profileSetupReturnSummary(result);
@@ -7829,6 +7831,7 @@ function profileSetupSummary(viewports, actionCount, expectedActionCountByViewpo
           selector: result.selector ?? null,
           frame_selector: result.frame_selector ?? null,
           reason: result.reason ?? result.error ?? null,
+          error: result.error ?? null,
           case_insensitive_text: compactProfileSetupSummaryText(result.case_insensitive_text)
         })),
         optional_failed: optionalFailed.map((result) => ({
@@ -7837,6 +7840,7 @@ function profileSetupSummary(viewports, actionCount, expectedActionCountByViewpo
           selector: result.selector ?? null,
           frame_selector: result.frame_selector ?? null,
           reason: result.reason ?? result.error ?? null,
+          error: result.error ?? null,
           case_insensitive_text: compactProfileSetupSummaryText(result.case_insensitive_text)
         }))
       };
@@ -10417,6 +10421,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 +10467,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 +10544,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
@@ -11304,8 +11311,9 @@ function profileSetupWindowCallReceipts(results) {
         path: result.path ?? null,
         return_captured: result.return_captured ?? null,
         return_stored_to: result.return_stored_to ?? null,
-        reason: result.reason || result.error || result.store_reason || null,
+        reason: result.reason || result.store_reason || null,
       };
+      if (result.error !== undefined) receipt.error = result.error;
       if (result.returned !== undefined) receipt.returned = result.returned;
       if (result.expected_return !== undefined) receipt.expected_return = result.expected_return;
       const returnSummary = profileSetupReturnSummary(result);
@@ -11323,8 +11331,9 @@ function profileSetupWindowEvalReceipts(results) {
         script_length: result.script_length ?? null,
         return_captured: result.return_captured ?? null,
         return_stored_to: result.return_stored_to ?? null,
-        reason: result.reason || result.error || result.store_reason || null,
+        reason: result.reason || result.store_reason || null,
       };
+      if (result.error !== undefined) receipt.error = result.error;
       if (result.returned !== undefined) receipt.returned = result.returned;
       if (result.expected_return !== undefined) receipt.expected_return = result.expected_return;
       const returnSummary = profileSetupReturnSummary(result);
@@ -11734,6 +11743,7 @@ function profileSetupSummary(viewports, actionCount, expectedActionCountsByViewp
           selector: result.selector ?? null,
           frame_selector: result.frame_selector ?? null,
           reason: result.reason || result.error || null,
+          error: result.error || null,
           case_insensitive_text: compactProfileSetupSummaryText(result.case_insensitive_text),
         })),
         optional_failed: optionalFailed.map((result) => ({
@@ -11742,6 +11752,7 @@ function profileSetupSummary(viewports, actionCount, expectedActionCountsByViewp
           selector: result.selector ?? null,
           frame_selector: result.frame_selector ?? null,
           reason: result.reason || result.error || null,
+          error: result.error || null,
           case_insensitive_text: compactProfileSetupSummaryText(result.case_insensitive_text),
         })),
       };
@@ -12464,6 +12475,7 @@ function assessProfile(profile, evidence) {
     checks,
     summary,
     captured_at: evidence.captured_at,
+    metadata: profile.metadata,
     warnings: profileWarnings.length ? profileWarnings : undefined,
     evidence,
   };
@@ -16179,6 +16191,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 +16204,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 +16314,249 @@ 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 compactProfileReceiptReason(value, limit = 180) {
+  const text = cliString(value)?.replace(/\s+/g, " ").trim();
+  if (!text) return void 0;
+  return text.length <= limit ? text : `${text.slice(0, Math.max(0, limit - 3)).trimEnd()}...`;
+}
+function profileFailedCleanupInventoryReason(setupViewports) {
+  const receipts = setupViewports.flatMap((viewport) => [
+    ...setupReceiptArray(viewport, "window_eval"),
+    ...setupReceiptArray(viewport, "window_call")
+  ]);
+  for (const receipt of receipts) {
+    if (receipt.ok !== false) continue;
+    const returnStoredTo = cliString(receipt.return_stored_to) || "";
+    const reason = cliString(receipt.reason) || "";
+    const error = cliString(receipt.error) || "";
+    const summary = cliReturnSummaryLabel(receipt.return_summary) || "";
+    const haystack = `${returnStoredTo} ${reason} ${error} ${summary}`.toLowerCase();
+    const isCleanupReceipt = haystack.includes("cleanup") || haystack.includes("post-cleanup") || haystack.includes("stale") || haystack.includes("statehygiene") || haystack.includes("state hygiene") || haystack.includes("remained after") || haystack.includes("still present");
+    if (!isCleanupReceipt) continue;
+    return compactProfileReceiptReason(error) || compactProfileReceiptReason(reason) || "cleanup inventory failed";
+  }
+  return void 0;
+}
+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);
+  const failedCleanupInventoryReason = profileFailedCleanupInventoryReason(setupViewports);
+  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")) {
+    if (failedCleanupInventoryReason && (text.includes("cleanup") || text.includes("post-cleanup") || text.includes("stale-state") || text.includes("stale state"))) {
+      return { status: "failed", reason: `cleanup inventory failed: ${failedCleanupInventoryReason}` };
+    }
+    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 +16818,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 +17750,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 +17760,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 +17771,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 +18124,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)) {