@riddledc/riddle-proof 0.7.172 → 0.7.174

package/README.md

@@ -397,7 +397,7 @@ when body matching overrides sequence order.
 `target.setup_actions` is optional. Use it when the meaningful proof surface
 appears only after a picker, tab, login stub, storage seed, form fill,
 transport control, or other bounded interaction. Supported setup actions are
-`click`, `drag`, `press`, `fill`, `set_input_value`, `set_range_value`,
+`click`, `tap`, `drag`, `press`, `fill`, `set_input_value`, `set_range_value`,
 `deterministic_runtime`, `canvas_signature`, `assert_text_visible`, `assert_text_absent`,
 `assert_selector_count`, `assert_window_value`, `assert_window_number`,
 `local_storage`, `session_storage`, `clear_storage`, `clear_console`,
@@ -416,6 +416,12 @@ Use `click_count` / `clickCount` / `clicks` from 1 to 10 on a single `click`
 action for atomic double-click or double-submit contracts where modeling the
 interaction as repeated setup actions would incorrectly require the target to
 remain in the DOM after the first click.
+Use `tap` for touch-first controls, especially canvas regions where a mobile
+tap should produce trusted touch events and the browser's synthesized click.
+It requires `selector`, defaults to a touch tap at the target center, and
+accepts `x` / `y` or `from_x` / `from_y` plus `coordinate_mode: "ratio"` for
+element-relative coordinates. Set `pointer_type` to `mouse`, `touch`, or `pen`
+when the proof must distinguish input modality.
 Use `set_range_value` for HTML range inputs and React-controlled sliders. It
 accepts aliases such as `set-slider-value`, requires `selector` plus `value`,
 uses the native input value setter, dispatches bubbling `input` and `change`

package/dist/{chunk-5ELOMJ7U.js → chunk-BD4RHTGW.js}

@@ -44,6 +44,7 @@ var RIDDLE_PROOF_PROFILE_CHECK_TYPES = [
 ];
 var RIDDLE_PROOF_PROFILE_SETUP_ACTION_TYPES = [
   "click",
+  "tap",
   "drag",
   "press",
   "fill",
@@ -595,6 +596,21 @@ function profileSetupDragReceipts(results) {
     reason: result.reason ?? result.error ?? null
   }));
 }
+function profileSetupTapReceipts(results) {
+  return results.filter((result) => profileSetupResultAction(result) === "tap").map((result) => ({
+    ordinal: result.ordinal ?? null,
+    ok: result.ok !== false,
+    selector: result.selector ?? null,
+    frame_selector: result.frame_selector ?? null,
+    pointer_type: result.pointer_type ?? null,
+    input_dispatch: result.input_dispatch ?? null,
+    coordinate_mode: result.coordinate_mode ?? null,
+    x: result.x ?? null,
+    y: result.y ?? null,
+    duration_ms: result.duration_ms ?? null,
+    reason: result.reason ?? result.error ?? null
+  }));
+}
 function profileSetupCanvasSignatureReceipts(results) {
   return results.filter((result) => profileSetupResultAction(result) === "canvas_signature").map((result) => ({
     ordinal: result.ordinal ?? null,
@@ -632,21 +648,28 @@ function profileSetupCanvasSignatureStableHashGroups(results) {
   }
   const warnings = [];
   for (const group of groups.values()) {
-    const hashes = new Set(group.receipts.map((receipt) => receipt.hash));
-    const labels = [...new Set(group.receipts.map((receipt) => receipt.label))];
-    if (group.receipts.length < 2 || labels.length < 2 || hashes.size !== 1) continue;
-    const visibleLabels = labels.slice(0, 8);
-    warnings.push({
-      selector: group.selector,
-      frame_selector: group.frame_selector ?? null,
-      hash: group.receipts[0].hash,
-      count: group.receipts.length,
-      label_count: labels.length,
-      labels: visibleLabels,
-      omitted_label_count: Math.max(0, labels.length - visibleLabels.length),
-      ordinals: group.receipts.map((receipt) => receipt.ordinal).filter((value) => value !== void 0).slice(0, 12),
-      reason: "stable_canvas_signature_hash"
-    });
+    const receiptsByHash = /* @__PURE__ */ new Map();
+    for (const receipt of group.receipts) {
+      const hashReceipts = receiptsByHash.get(receipt.hash) || [];
+      hashReceipts.push(receipt);
+      receiptsByHash.set(receipt.hash, hashReceipts);
+    }
+    for (const [hash, receipts] of receiptsByHash.entries()) {
+      const labels = [...new Set(receipts.map((receipt) => receipt.label))];
+      if (receipts.length < 2 || labels.length < 2) continue;
+      const visibleLabels = labels.slice(0, 8);
+      warnings.push({
+        selector: group.selector,
+        frame_selector: group.frame_selector ?? null,
+        hash,
+        count: receipts.length,
+        label_count: labels.length,
+        labels: visibleLabels,
+        omitted_label_count: Math.max(0, labels.length - visibleLabels.length),
+        ordinals: receipts.map((receipt) => receipt.ordinal).filter((value) => value !== void 0).slice(0, 12),
+        reason: "stable_canvas_signature_hash"
+      });
+    }
   }
   return warnings;
 }
@@ -749,6 +772,8 @@ function profileSetupSummary(viewports, actionCount, expectedActionCountByViewpo
       const sampledRangeValueReceipts = sampleProfileSetupSummaryItems(rangeValueReceipts, 8);
       const dragReceipts = profileSetupDragReceipts(results);
       const sampledDragReceipts = sampleProfileSetupSummaryItems(dragReceipts, 8);
+      const tapReceipts = profileSetupTapReceipts(results);
+      const sampledTapReceipts = sampleProfileSetupSummaryItems(tapReceipts, 8);
       const canvasSignatureReceipts = profileSetupCanvasSignatureReceipts(results);
       const sampledCanvasSignatureReceipts = sampleProfileSetupSummaryItems(canvasSignatureReceipts, 8);
       const clickedItems = results.filter((result) => profileSetupResultAction(result) === "click" && result.ok !== false).map((result) => {
@@ -813,6 +838,9 @@ function profileSetupSummary(viewports, actionCount, expectedActionCountByViewpo
         drag_total: dragReceipts.length,
         drag_truncated: dragReceipts.length > sampledDragReceipts.length,
         drag: sampledDragReceipts,
+        tap_total: tapReceipts.length,
+        tap_truncated: tapReceipts.length > sampledTapReceipts.length,
+        tap: sampledTapReceipts,
         canvas_signature_total: canvasSignatureReceipts.length,
         canvas_signature_truncated: canvasSignatureReceipts.length > sampledCanvasSignatureReceipts.length,
         canvas_signature: sampledCanvasSignatureReceipts,
@@ -869,7 +897,7 @@ function isSupportedCheckType(value) {
 }
 function normalizeSetupActionType(value, index) {
   const normalizedInput = String(value || "").trim().replace(/-/g, "_");
-  const normalized = normalizedInput === "clear_browser_storage" ? "clear_storage" : normalizedInput === "reset_console" || normalizedInput === "clear_browser_console" || normalizedInput === "reset_browser_console" ? "clear_console" : normalizedInput === "pointer_drag" || normalizedInput === "mouse_drag" || normalizedInput === "drag_to" ? "drag" : normalizedInput === "keyboard_press" || normalizedInput === "key_press" ? "press" : normalizedInput === "set_slider_value" || normalizedInput === "slider_value" || normalizedInput === "set_slider" || normalizedInput === "set_range" || normalizedInput === "range_value" || normalizedInput === "range_input" || normalizedInput === "set_range_input" ? "set_range_value" : normalizedInput === "deterministic_runtime" || normalizedInput === "mock_runtime" || normalizedInput === "mock_random" || normalizedInput === "mock_random_queue" || normalizedInput === "seed_random_queue" || normalizedInput === "set_random_queue" || normalizedInput === "mock_clock" || normalizedInput === "set_mock_clock" || normalizedInput === "set_runtime_determinism" || normalizedInput === "runtime_determinism" ? "deterministic_runtime" : normalizedInput === "canvas_hash" || normalizedInput === "capture_canvas_hash" || normalizedInput === "capture_canvas_signature" || normalizedInput === "canvas_state_signature" ? "canvas_signature" : normalizedInput === "capture_screenshot" || normalizedInput === "save_screenshot" || normalizedInput === "setup_screenshot" ? "screenshot" : normalizedInput === "accept_dialog" || normalizedInput === "accept_dialogs" || normalizedInput === "confirm_dialog" || normalizedInput === "set_dialog_response" ? "dialog_response" : normalizedInput === "dismiss_dialog" || normalizedInput === "dismiss_dialogs" || normalizedInput === "cancel_dialog" ? "dialog_response" : normalizedInput === "window_call_until" || normalizedInput === "call_until" || normalizedInput === "window_call_repeat_until" || normalizedInput === "repeat_window_call_until" ? "window_call_until" : normalizedInput === "window_evaluate" || normalizedInput === "browser_eval" || normalizedInput === "browser_evaluate" || normalizedInput === "evaluate_script" || normalizedInput === "profile_script" ? "window_eval" : normalizedInput;
+  const normalized = normalizedInput === "clear_browser_storage" ? "clear_storage" : normalizedInput === "reset_console" || normalizedInput === "clear_browser_console" || normalizedInput === "reset_browser_console" ? "clear_console" : normalizedInput === "pointer_drag" || normalizedInput === "mouse_drag" || normalizedInput === "drag_to" ? "drag" : normalizedInput === "pointer_tap" || normalizedInput === "touch_tap" || normalizedInput === "canvas_tap" ? "tap" : normalizedInput === "keyboard_press" || normalizedInput === "key_press" ? "press" : normalizedInput === "set_slider_value" || normalizedInput === "slider_value" || normalizedInput === "set_slider" || normalizedInput === "set_range" || normalizedInput === "range_value" || normalizedInput === "range_input" || normalizedInput === "set_range_input" ? "set_range_value" : normalizedInput === "deterministic_runtime" || normalizedInput === "mock_runtime" || normalizedInput === "mock_random" || normalizedInput === "mock_random_queue" || normalizedInput === "seed_random_queue" || normalizedInput === "set_random_queue" || normalizedInput === "mock_clock" || normalizedInput === "set_mock_clock" || normalizedInput === "set_runtime_determinism" || normalizedInput === "runtime_determinism" ? "deterministic_runtime" : normalizedInput === "canvas_hash" || normalizedInput === "capture_canvas_hash" || normalizedInput === "capture_canvas_signature" || normalizedInput === "canvas_state_signature" ? "canvas_signature" : normalizedInput === "capture_screenshot" || normalizedInput === "save_screenshot" || normalizedInput === "setup_screenshot" ? "screenshot" : normalizedInput === "accept_dialog" || normalizedInput === "accept_dialogs" || normalizedInput === "confirm_dialog" || normalizedInput === "set_dialog_response" ? "dialog_response" : normalizedInput === "dismiss_dialog" || normalizedInput === "dismiss_dialogs" || normalizedInput === "cancel_dialog" ? "dialog_response" : normalizedInput === "window_call_until" || normalizedInput === "call_until" || normalizedInput === "window_call_repeat_until" || normalizedInput === "repeat_window_call_until" ? "window_call_until" : normalizedInput === "window_evaluate" || normalizedInput === "browser_eval" || normalizedInput === "browser_evaluate" || normalizedInput === "evaluate_script" || normalizedInput === "profile_script" ? "window_eval" : normalizedInput;
   if (RIDDLE_PROOF_PROFILE_SETUP_ACTION_TYPES.includes(normalized)) {
     return normalized;
   }
@@ -951,8 +979,8 @@ function normalizeSetupActionCoordinateMode(value, index) {
 }
 function normalizeSetupActionPointerType(value, type, index) {
   if (value === void 0 || value === null || value === "") return void 0;
-  if (type !== "drag") {
-    throw new Error(`target.setup_actions[${index}].pointer_type is only supported for drag actions.`);
+  if (type !== "drag" && type !== "tap") {
+    throw new Error(`target.setup_actions[${index}].pointer_type is only supported for drag/tap actions.`);
   }
   const normalized = String(value).trim().replace(/-/g, "_").toLowerCase();
   if (normalized === "mouse") return "mouse";
@@ -1031,11 +1059,11 @@ function normalizeSetupAction(input, index) {
   if (frameIndex !== void 0 && (!Number.isInteger(frameIndex) || frameIndex < 0)) {
     throw new Error(`target.setup_actions[${index}].frame_index must be a non-negative integer.`);
   }
-  if ((type === "click" || type === "drag" || type === "fill" || type === "set_input_value" || type === "set_range_value" || type === "canvas_signature" || type === "wait_for_selector" || type === "wait_for_text" || type === "assert_text_visible" || type === "assert_text_absent" || type === "assert_selector_count") && !selector) {
+  if ((type === "click" || type === "tap" || type === "drag" || type === "fill" || type === "set_input_value" || type === "set_range_value" || type === "canvas_signature" || type === "wait_for_selector" || type === "wait_for_text" || type === "assert_text_visible" || type === "assert_text_absent" || type === "assert_selector_count") && !selector) {
     throw new Error(`target.setup_actions[${index}] ${type} requires selector.`);
   }
-  const fromX = type === "click" ? numberValue(valueFromOwn(input, "from_x", "fromX", "x", "click_x", "clickX", "start_x", "startX", "x1")) : numberValue(valueFromOwn(input, "from_x", "fromX", "start_x", "startX", "x1"));
-  const fromY = type === "click" ? numberValue(valueFromOwn(input, "from_y", "fromY", "y", "click_y", "clickY", "start_y", "startY", "y1")) : numberValue(valueFromOwn(input, "from_y", "fromY", "start_y", "startY", "y1"));
+  const fromX = type === "click" || type === "tap" ? numberValue(valueFromOwn(input, "from_x", "fromX", "x", "click_x", "clickX", "start_x", "startX", "x1")) : numberValue(valueFromOwn(input, "from_x", "fromX", "start_x", "startX", "x1"));
+  const fromY = type === "click" || type === "tap" ? numberValue(valueFromOwn(input, "from_y", "fromY", "y", "click_y", "clickY", "start_y", "startY", "y1")) : numberValue(valueFromOwn(input, "from_y", "fromY", "start_y", "startY", "y1"));
   const toX = numberValue(valueFromOwn(input, "to_x", "toX", "end_x", "endX", "x2"));
   const toY = numberValue(valueFromOwn(input, "to_y", "toY", "end_y", "endY", "y2"));
   const coordinateMode = normalizeSetupActionCoordinateMode(valueFromOwn(input, "coordinate_mode", "coordinateMode", "coords", "units"), index);
@@ -1055,6 +1083,21 @@ function normalizeSetupAction(input, index) {
       }
     }
   }
+  if (type === "tap") {
+    const hasTapCoordinate = fromX !== void 0 || fromY !== void 0;
+    if (hasTapCoordinate && (fromX === void 0 || fromY === void 0)) {
+      throw new Error(`target.setup_actions[${index}] tap coordinates require both x and y.`);
+    }
+    if (hasTapCoordinate && fromX !== void 0 && fromY !== void 0) {
+      const tapCoordinates = [fromX, fromY];
+      if (coordinateMode === "ratio" && tapCoordinates.some((value2) => value2 < 0 || value2 > 1)) {
+        throw new Error(`target.setup_actions[${index}] tap ratio coordinates must be between 0 and 1.`);
+      }
+      if ((coordinateMode === void 0 || coordinateMode === "pixels") && tapCoordinates.some((value2) => value2 < 0)) {
+        throw new Error(`target.setup_actions[${index}] tap pixel coordinates must be non-negative.`);
+      }
+    }
+  }
   if (type === "drag") {
     if (fromX === void 0 || fromY === void 0 || toX === void 0 || toY === void 0) {
       throw new Error(`target.setup_actions[${index}] drag requires from_x, from_y, to_x, and to_y.`);
@@ -4409,24 +4452,31 @@ function profileSetupCanvasSignatureStableHashGroups(results) {
   }
   const warnings = [];
   for (const group of groups.values()) {
-    const hashes = new Set(group.receipts.map((receipt) => receipt.hash));
-    const labels = [...new Set(group.receipts.map((receipt) => receipt.label))];
-    if (group.receipts.length < 2 || labels.length < 2 || hashes.size !== 1) continue;
-    const visibleLabels = labels.slice(0, 8);
-    warnings.push({
-      selector: group.selector,
-      frame_selector: group.frame_selector || null,
-      hash: group.receipts[0].hash,
-      count: group.receipts.length,
-      label_count: labels.length,
-      labels: visibleLabels,
-      omitted_label_count: Math.max(0, labels.length - visibleLabels.length),
-      ordinals: group.receipts
-        .map((receipt) => receipt.ordinal)
-        .filter((value) => value !== undefined)
-        .slice(0, 12),
-      reason: "stable_canvas_signature_hash",
-    });
+    const receiptsByHash = new Map();
+    for (const receipt of group.receipts) {
+      const hashReceipts = receiptsByHash.get(receipt.hash) || [];
+      hashReceipts.push(receipt);
+      receiptsByHash.set(receipt.hash, hashReceipts);
+    }
+    for (const [hash, receipts] of receiptsByHash.entries()) {
+      const labels = [...new Set(receipts.map((receipt) => receipt.label))];
+      if (receipts.length < 2 || labels.length < 2) continue;
+      const visibleLabels = labels.slice(0, 8);
+      warnings.push({
+        selector: group.selector,
+        frame_selector: group.frame_selector || null,
+        hash,
+        count: receipts.length,
+        label_count: labels.length,
+        labels: visibleLabels,
+        omitted_label_count: Math.max(0, labels.length - visibleLabels.length),
+        ordinals: receipts
+          .map((receipt) => receipt.ordinal)
+          .filter((value) => value !== undefined)
+          .slice(0, 12),
+        reason: "stable_canvas_signature_hash",
+      });
+    }
   }
   return warnings;
 }
@@ -6043,6 +6093,96 @@ async function executeSetupAction(action, ordinal, viewport) {
       await waitForAnyVisibleSelector(scope.context, action.selector, timeout);
       return { ...base, ...setupScopeEvidence(scope), ok: true, timeout_ms: timeout };
     }
+    if (type === "tap") {
+      const scope = await setupActionScope(action, timeout);
+      if (!scope.ok) return setupScopeFailure(base, scope);
+      const locator = scope.context.locator(action.selector);
+      const count = await locator.count();
+      if (!count) return { ...base, ...setupScopeEvidence(scope), reason: "selector_not_found", count };
+      const targetIndex = Number.isInteger(action.index) ? action.index : 0;
+      if (targetIndex < 0 || targetIndex >= count) return { ...base, ...setupScopeEvidence(scope), reason: "index_out_of_range", count, target_index: targetIndex };
+      const target = locator.nth(targetIndex);
+      await target.waitFor({ state: "visible", timeout });
+      const box = await target.boundingBox();
+      if (!box) return { ...base, ...setupScopeEvidence(scope), reason: "bounding_box_unavailable", count, target_index: targetIndex };
+      const fromX = setupFiniteNumber(action.from_x ?? action.fromX ?? action.x ?? action.click_x ?? action.clickX);
+      const fromY = setupFiniteNumber(action.from_y ?? action.fromY ?? action.y ?? action.click_y ?? action.clickY);
+      const hasTapPosition = fromX !== undefined || fromY !== undefined;
+      if (hasTapPosition && (fromX === undefined || fromY === undefined)) return { ...base, ...setupScopeEvidence(scope), reason: "missing_tap_coordinates", count, target_index: targetIndex };
+      const mode = String(action.coordinate_mode || action.coordinateMode || (hasTapPosition ? "pixels" : "ratio")).trim();
+      if (hasTapPosition && mode === "ratio" && [fromX, fromY].some((value) => value < 0 || value > 1)) return { ...base, ...setupScopeEvidence(scope), reason: "invalid_ratio_coordinates", count, target_index: targetIndex };
+      if (hasTapPosition && mode !== "ratio" && [fromX, fromY].some((value) => value < 0)) return { ...base, ...setupScopeEvidence(scope), reason: "invalid_pixel_coordinates", count, target_index: targetIndex };
+      const coordinate = (value, size) => mode === "ratio" ? value * size : value;
+      const localX = hasTapPosition && fromX !== undefined ? fromX : 0.5;
+      const localY = hasTapPosition && fromY !== undefined ? fromY : 0.5;
+      const point = {
+        x: box.x + coordinate(localX, box.width),
+        y: box.y + coordinate(localY, box.height),
+      };
+      const durationMs = setupNumber(action.duration_ms ?? action.durationMs, 0);
+      const pointerType = String(action.pointer_type || action.pointerType || "touch").trim().toLowerCase();
+      if (pointerType === "touch" || pointerType === "pen") {
+        const client = await page.context().newCDPSession(page);
+        try {
+          if (pointerType === "touch") {
+            const touchPoint = {
+              x: point.x,
+              y: point.y,
+              radiusX: 1,
+              radiusY: 1,
+              force: 1,
+              id: 11,
+            };
+            await client.send("Input.dispatchTouchEvent", {
+              type: "touchStart",
+              touchPoints: [touchPoint],
+            });
+            if (durationMs) await page.waitForTimeout(durationMs);
+            await client.send("Input.dispatchTouchEvent", {
+              type: "touchEnd",
+              touchPoints: [],
+            });
+          } else {
+            await client.send("Input.dispatchMouseEvent", {
+              type: "mousePressed",
+              x: point.x,
+              y: point.y,
+              button: "left",
+              buttons: 1,
+              clickCount: 1,
+              pointerType: "pen",
+            });
+            if (durationMs) await page.waitForTimeout(durationMs);
+            await client.send("Input.dispatchMouseEvent", {
+              type: "mouseReleased",
+              x: point.x,
+              y: point.y,
+              button: "left",
+              buttons: 0,
+              clickCount: 1,
+              pointerType: "pen",
+            });
+          }
+        } finally {
+          await client.detach().catch(() => {});
+        }
+      } else {
+        await page.mouse.click(point.x, point.y);
+      }
+      return {
+        ...base,
+        ...setupScopeEvidence(scope),
+        ok: true,
+        count,
+        target_index: targetIndex,
+        coordinate_mode: hasTapPosition ? mode : undefined,
+        x: hasTapPosition ? fromX : undefined,
+        y: hasTapPosition ? fromY : undefined,
+        pointer_type: pointerType,
+        input_dispatch: pointerType === "touch" || pointerType === "pen" ? "cdp" : "playwright_mouse",
+        duration_ms: durationMs || undefined,
+      };
+    }
     if (type === "drag") {
       const scope = await setupActionScope(action, timeout);
       if (!scope.ok) return setupScopeFailure(base, scope);