@riddledc/riddle-proof 0.7.170 → 0.7.172

package/dist/cli.cjs

@@ -7006,6 +7006,7 @@ var RIDDLE_PROOF_PROFILE_SETUP_ACTION_TYPES = [
   "fill",
   "set_input_value",
   "set_range_value",
+  "deterministic_runtime",
   "canvas_signature",
   "assert_text_visible",
   "assert_text_absent",
@@ -7314,11 +7315,19 @@ function resolveJsonPath(root, path7) {
   }
   let current = root;
   for (const segment of segments) {
-    if (typeof segment === "number") {
-      if (!Array.isArray(current) || segment < 0 || segment >= current.length) return { exists: false };
-      current = current[segment];
+    if (Array.isArray(current)) {
+      if (segment === "length") {
+        current = current.length;
+        continue;
+      }
+      const index = typeof segment === "number" ? segment : /^\d+$/.test(segment) ? Number(segment) : -1;
+      if (index < 0 || index >= current.length) return { exists: false };
+      current = current[index];
       continue;
     }
+    if (typeof segment === "number") {
+      return { exists: false };
+    }
     if (!isRecord(current) || !hasOwn(current, segment)) return { exists: false };
     current = current[segment];
   }
@@ -7460,6 +7469,23 @@ function profileSetupWindowEvalReceipts(results) {
     return receipt;
   });
 }
+function profileSetupDeterministicRuntimeReceipts(results) {
+  return results.filter((result) => profileSetupResultAction(result) === "deterministic_runtime").map((result) => ({
+    ordinal: result.ordinal ?? null,
+    ok: result.ok !== false,
+    random_enabled: result.random_enabled ?? null,
+    random_queue_added: result.random_queue_added ?? null,
+    random_queue_length: result.random_queue_length ?? null,
+    random_queue_mode: result.random_queue_mode ?? null,
+    random_underflow_count: result.random_underflow_count ?? null,
+    clock_enabled: result.clock_enabled ?? null,
+    previous_now: result.previous_now ?? null,
+    now: result.now ?? null,
+    advance_ms: result.advance_ms ?? null,
+    restored: result.restored ?? null,
+    reason: result.reason ?? result.error ?? null
+  }));
+}
 function profileSetupReturnSummaryFields(result) {
   const input = result.return_summary_fields;
   if (!Array.isArray(input)) return [];
@@ -7674,6 +7700,8 @@ function profileSetupSummary(viewports, actionCount, expectedActionCountByViewpo
       const windowEvalStoredTotal = windowEvalReceipts.filter((result) => typeof result.return_stored_to === "string" && result.return_stored_to.trim()).length;
       const windowEvalCapturedTotal = windowEvalReceipts.filter((result) => result.return_captured === true).length;
       const sampledWindowEvalReceipts = sampleProfileSetupSummaryItems(windowEvalReceipts, 8);
+      const deterministicRuntimeReceipts = profileSetupDeterministicRuntimeReceipts(results);
+      const sampledDeterministicRuntimeReceipts = sampleProfileSetupSummaryItems(deterministicRuntimeReceipts, 8);
       const rangeValueReceipts = profileSetupRangeValueReceipts(results);
       const sampledRangeValueReceipts = sampleProfileSetupSummaryItems(rangeValueReceipts, 8);
       const dragReceipts = profileSetupDragReceipts(results);
@@ -7733,6 +7761,9 @@ function profileSetupSummary(viewports, actionCount, expectedActionCountByViewpo
         window_eval_captured_total: windowEvalCapturedTotal,
         window_eval_truncated: windowEvalReceipts.length > sampledWindowEvalReceipts.length,
         window_eval: sampledWindowEvalReceipts,
+        deterministic_runtime_total: deterministicRuntimeReceipts.length,
+        deterministic_runtime_truncated: deterministicRuntimeReceipts.length > sampledDeterministicRuntimeReceipts.length,
+        deterministic_runtime: sampledDeterministicRuntimeReceipts,
         set_range_value_total: rangeValueReceipts.length,
         set_range_value_truncated: rangeValueReceipts.length > sampledRangeValueReceipts.length,
         set_range_value: sampledRangeValueReceipts,
@@ -7795,7 +7826,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 === "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 === "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;
   }
@@ -7914,6 +7945,39 @@ function normalizeSetupActionScreenshotFullPage(input, type, index) {
   }
   return values[0];
 }
+function normalizeSetupActionRandomQueue(input, index) {
+  const rawQueue = valueFromOwn(
+    input,
+    "random_queue",
+    "randomQueue",
+    "random_values",
+    "randomValues",
+    "random_sequence",
+    "randomSequence",
+    "math_random",
+    "mathRandom"
+  );
+  if (rawQueue === void 0) return void 0;
+  if (!Array.isArray(rawQueue) || rawQueue.length === 0) {
+    throw new Error(`target.setup_actions[${index}].random_queue must be a non-empty array of numbers from 0 inclusive to 1 exclusive.`);
+  }
+  return rawQueue.map((item, queueIndex) => {
+    const value = numberValue(item);
+    if (value === void 0 || value < 0 || value >= 1) {
+      throw new Error(`target.setup_actions[${index}].random_queue[${queueIndex}] must be a finite number from 0 inclusive to 1 exclusive.`);
+    }
+    return value;
+  });
+}
+function normalizeSetupActionNonNegativeNumber(input, index, outputKey, ...keys) {
+  const rawValue = valueFromOwn(input, ...keys);
+  if (rawValue === void 0) return void 0;
+  const value = numberValue(rawValue);
+  if (value === void 0 || value < 0) {
+    throw new Error(`target.setup_actions[${index}].${outputKey} must be a finite non-negative number.`);
+  }
+  return value;
+}
 function normalizeSetupAction(input, index) {
   if (!isRecord(input)) throw new Error(`target.setup_actions[${index}] must be an object.`);
   const type = normalizeSetupActionType(stringValue2(input.type), index);
@@ -7974,6 +8038,14 @@ function normalizeSetupAction(input, index) {
   if ((type === "fill" || type === "set_input_value" || type === "set_range_value") && value === void 0 && !hasJsonValue) {
     throw new Error(`target.setup_actions[${index}] ${type} requires value.`);
   }
+  const randomQueue = type === "deterministic_runtime" ? normalizeSetupActionRandomQueue(input, index) : void 0;
+  const deterministicNow = type === "deterministic_runtime" ? normalizeSetupActionNonNegativeNumber(input, index, "now", "now", "date_now", "dateNow", "mock_now", "mockNow", "clock", "timestamp", "time_ms", "timeMs") : void 0;
+  const deterministicAdvanceMs = type === "deterministic_runtime" ? normalizeSetupActionNonNegativeNumber(input, index, "advance_ms", "advance_ms", "advanceMs", "tick_ms", "tickMs", "add_ms", "addMs") : void 0;
+  const deterministicAppend = type === "deterministic_runtime" && booleanValue(valueFromOwn(input, "append", "append_random", "appendRandom")) === true;
+  const deterministicRestore = type === "deterministic_runtime" && booleanValue(valueFromOwn(input, "restore", "reset", "restore_originals", "restoreOriginals")) === true;
+  if (type === "deterministic_runtime" && randomQueue === void 0 && deterministicNow === void 0 && deterministicAdvanceMs === void 0 && !deterministicRestore) {
+    throw new Error(`target.setup_actions[${index}] deterministic_runtime requires random_queue, now, advance_ms, or restore.`);
+  }
   const key = stringValue2(input.key);
   let dialogAccept;
   if (type === "dialog_response") {
@@ -8081,6 +8153,11 @@ function normalizeSetupAction(input, index) {
     key,
     value,
     value_json: hasJsonValue ? toJsonValue(input.value_json ?? input.valueJson ?? input.json) : void 0,
+    random_queue: randomQueue,
+    now: deterministicNow,
+    advance_ms: deterministicAdvanceMs,
+    append: deterministicAppend || void 0,
+    restore: deterministicRestore || void 0,
     label: stringFromOwn(input, "label", "name", "screenshot_label", "screenshotLabel"),
     script,
     path: path7,
@@ -11141,6 +11218,25 @@ function profileSetupWindowEvalReceipts(results) {
       return receipt;
     });
 }
+function profileSetupDeterministicRuntimeReceipts(results) {
+  return (results || [])
+    .filter((result) => result && profileSetupResultAction(result) === "deterministic_runtime")
+    .map((result) => ({
+      ordinal: result.ordinal ?? null,
+      ok: result.ok !== false,
+      random_enabled: result.random_enabled ?? null,
+      random_queue_added: result.random_queue_added ?? null,
+      random_queue_length: result.random_queue_length ?? null,
+      random_queue_mode: result.random_queue_mode ?? null,
+      random_underflow_count: result.random_underflow_count ?? null,
+      clock_enabled: result.clock_enabled ?? null,
+      previous_now: result.previous_now ?? null,
+      now: result.now ?? null,
+      advance_ms: result.advance_ms ?? null,
+      restored: result.restored ?? null,
+      reason: result.reason || result.error || null,
+    }));
+}
 function profileSetupReturnSummaryFields(result) {
   const input = result && result.return_summary_fields;
   if (!Array.isArray(input)) return [];
@@ -11384,6 +11480,8 @@ function profileSetupSummary(viewports, actionCount, expectedActionCountsByViewp
       const windowEvalStoredTotal = windowEvalReceipts.filter((result) => typeof result.return_stored_to === "string" && result.return_stored_to.trim()).length;
       const windowEvalCapturedTotal = windowEvalReceipts.filter((result) => result.return_captured === true).length;
       const sampledWindowEvalReceipts = sampleProfileSetupSummaryItems(windowEvalReceipts, 8);
+      const deterministicRuntimeReceipts = profileSetupDeterministicRuntimeReceipts(results);
+      const sampledDeterministicRuntimeReceipts = sampleProfileSetupSummaryItems(deterministicRuntimeReceipts, 8);
       const rangeValueReceipts = profileSetupRangeValueReceipts(results);
       const sampledRangeValueReceipts = sampleProfileSetupSummaryItems(rangeValueReceipts, 8);
       const dragReceipts = profileSetupDragReceipts(results);
@@ -11453,6 +11551,9 @@ function profileSetupSummary(viewports, actionCount, expectedActionCountsByViewp
         window_eval_captured_total: windowEvalCapturedTotal,
         window_eval_truncated: windowEvalReceipts.length > sampledWindowEvalReceipts.length,
         window_eval: sampledWindowEvalReceipts,
+        deterministic_runtime_total: deterministicRuntimeReceipts.length,
+        deterministic_runtime_truncated: deterministicRuntimeReceipts.length > sampledDeterministicRuntimeReceipts.length,
+        deterministic_runtime: sampledDeterministicRuntimeReceipts,
         set_range_value_total: rangeValueReceipts.length,
         set_range_value_truncated: rangeValueReceipts.length > sampledRangeValueReceipts.length,
         set_range_value: sampledRangeValueReceipts,
@@ -13074,6 +13175,111 @@ async function executeSetupAction(action, ordinal, viewport) {
       }
       return { ...base, ...setupScopeEvidence(scope), ok: true, storage, reload: action.reload === true };
     }
+    if (type === "deterministic_runtime") {
+      const scope = await setupActionScope(action, timeout);
+      if (!scope.ok) return setupScopeFailure(base, scope);
+      const randomQueue = Array.isArray(action.random_queue)
+        ? action.random_queue
+        : Array.isArray(action.randomQueue)
+          ? action.randomQueue
+          : null;
+      const now = setupFiniteNumber(action.now ?? action.date_now ?? action.dateNow ?? action.mock_now ?? action.mockNow ?? action.clock ?? action.timestamp ?? action.time_ms ?? action.timeMs);
+      const advanceMs = setupFiniteNumber(action.advance_ms ?? action.advanceMs ?? action.tick_ms ?? action.tickMs ?? action.add_ms ?? action.addMs);
+      const append = action.append === true || action.append_random === true || action.appendRandom === true;
+      const restore = action.restore === true || action.reset === true || action.restore_originals === true || action.restoreOriginals === true;
+      const runtimeResult = await scope.context.evaluate((payload) => {
+        const root = window;
+        const stateKey = "__RIDDLE_PROOF_DETERMINISTIC_RUNTIME__";
+        const state = root[stateKey] && typeof root[stateKey] === "object" && !Array.isArray(root[stateKey])
+          ? root[stateKey]
+          : {};
+        root[stateKey] = state;
+        if (typeof state.originalRandom !== "function") state.originalRandom = Math.random;
+        if (typeof state.originalDateNow !== "function") state.originalDateNow = Date.now;
+        const previousNow = typeof state.now === "number" && Number.isFinite(state.now)
+          ? state.now
+          : Date.now === state.originalDateNow
+            ? null
+            : Date.now();
+        if (payload.restore) {
+          Math.random = state.originalRandom;
+          Date.now = state.originalDateNow;
+          delete root[stateKey];
+          return {
+            ok: true,
+            restored: true,
+            random_enabled: false,
+            random_queue_added: 0,
+            random_queue_length: 0,
+            random_queue_mode: null,
+            random_underflow_count: typeof state.randomUnderflowCount === "number" ? state.randomUnderflowCount : 0,
+            clock_enabled: false,
+            previous_now: previousNow,
+            now: null,
+            advance_ms: null,
+          };
+        }
+        let randomQueueAdded = null;
+        let randomQueueMode = null;
+        if (Array.isArray(payload.random_queue)) {
+          const queue = payload.random_queue.filter((value) => typeof value === "number" && Number.isFinite(value) && value >= 0 && value < 1);
+          const existing = Array.isArray(state.randomQueue) ? state.randomQueue : [];
+          state.randomQueue = payload.append ? existing.concat(queue) : queue.slice();
+          randomQueueAdded = queue.length;
+          randomQueueMode = payload.append ? "append" : "replace";
+          Math.random = function riddleProofMockRandom() {
+            const activeQueue = Array.isArray(state.randomQueue) ? state.randomQueue : [];
+            if (activeQueue.length) return activeQueue.shift();
+            state.randomUnderflowCount = (typeof state.randomUnderflowCount === "number" ? state.randomUnderflowCount : 0) + 1;
+            return 0;
+          };
+        }
+        if (typeof payload.now === "number" && Number.isFinite(payload.now)) {
+          state.now = payload.now;
+          Date.now = function riddleProofMockDateNow() {
+            return state.now;
+          };
+        }
+        if (typeof payload.advance_ms === "number" && Number.isFinite(payload.advance_ms)) {
+          const baseNow = typeof state.now === "number" && Number.isFinite(state.now)
+            ? state.now
+            : Date.now();
+          state.now = baseNow + payload.advance_ms;
+          Date.now = function riddleProofMockDateNow() {
+            return state.now;
+          };
+        }
+        return {
+          ok: true,
+          restored: false,
+          random_enabled: Math.random !== state.originalRandom,
+          random_queue_added: randomQueueAdded,
+          random_queue_length: Array.isArray(state.randomQueue) ? state.randomQueue.length : 0,
+          random_queue_mode: randomQueueMode,
+          random_underflow_count: typeof state.randomUnderflowCount === "number" ? state.randomUnderflowCount : 0,
+          clock_enabled: Date.now !== state.originalDateNow,
+          previous_now: previousNow,
+          now: typeof state.now === "number" && Number.isFinite(state.now) ? state.now : null,
+          advance_ms: typeof payload.advance_ms === "number" && Number.isFinite(payload.advance_ms) ? payload.advance_ms : null,
+        };
+      }, { random_queue: randomQueue, now, advance_ms: advanceMs, append, restore });
+      return {
+        ...base,
+        ...setupScopeEvidence(scope),
+        ok: runtimeResult && runtimeResult.ok === true,
+        random_enabled: runtimeResult?.random_enabled,
+        random_queue_added: runtimeResult?.random_queue_added,
+        random_queue_length: runtimeResult?.random_queue_length,
+        random_queue_mode: runtimeResult?.random_queue_mode,
+        random_underflow_count: runtimeResult?.random_underflow_count,
+        clock_enabled: runtimeResult?.clock_enabled,
+        previous_now: runtimeResult?.previous_now,
+        now: runtimeResult?.now,
+        advance_ms: runtimeResult?.advance_ms,
+        restored: runtimeResult?.restored,
+        reason: runtimeResult && runtimeResult.ok === true ? undefined : runtimeResult?.reason || "deterministic_runtime_not_applied",
+      };
+    }
     if (type === "window_eval") {
       const script = String(action.script || action.code || action.source || action.body || "");
       const args = Array.isArray(action.args) ? action.args : [];
@@ -14120,11 +14326,17 @@ function resolveJsonProbePath(root, path) {
   }
   let current = root;
   for (const segment of segments) {
-    if (typeof segment === "number") {
-      if (!Array.isArray(current) || segment < 0 || segment >= current.length) return { exists: false };
-      current = current[segment];
+    if (Array.isArray(current)) {
+      if (segment === "length") {
+        current = current.length;
+        continue;
+      }
+      const index = typeof segment === "number" ? segment : (/^\d+$/.test(segment) ? Number(segment) : -1);
+      if (index < 0 || index >= current.length) return { exists: false };
+      current = current[index];
       continue;
     }
+    if (typeof segment === "number") return { exists: false };
     if (!current || typeof current !== "object" || Array.isArray(current) || !Object.hasOwn(current, segment)) {
       return { exists: false };
     }
@@ -16048,6 +16260,7 @@ function profileSetupSummaryMarkdown(result) {
   const windowEvalTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.window_eval_total) || 0), 0);
   const windowEvalStoredTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.window_eval_stored_total) || 0), 0);
   const windowEvalCapturedTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.window_eval_captured_total) || 0), 0);
+  const deterministicRuntimeTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.deterministic_runtime_total) || 0), 0);
   const windowCallUntilTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.window_call_until_total) || 0), 0);
   const windowCallUntilCallTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.window_call_until_call_total) || 0), 0);
   const rangeValueTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.set_range_value_total) || 0), 0);
@@ -16072,6 +16285,9 @@ function profileSetupSummaryMarkdown(result) {
   if (windowEvalTotal) {
     lines.push(`- window_eval: ${windowEvalTotal} action(s), stored returns ${windowEvalStoredTotal}, captured returns ${windowEvalCapturedTotal}`);
   }
+  if (deterministicRuntimeTotal) {
+    lines.push(`- deterministic_runtime: ${deterministicRuntimeTotal} action(s)`);
+  }
   if (windowCallUntilTotal) {
     lines.push(`- window_call_until: ${windowCallUntilTotal} action(s), call_count total ${windowCallUntilCallTotal}`);
   }
@@ -16098,13 +16314,14 @@ function profileSetupSummaryMarkdown(result) {
     const windowEvalActions = cliFiniteNumber(viewport.window_eval_total) || 0;
     const windowEvalStored = cliFiniteNumber(viewport.window_eval_stored_total) || 0;
     const windowEvalCaptured = cliFiniteNumber(viewport.window_eval_captured_total) || 0;
+    const deterministicRuntimeActions = cliFiniteNumber(viewport.deterministic_runtime_total) || 0;
     const windowCallUntilActions = cliFiniteNumber(viewport.window_call_until_total) || 0;
     const windowCallUntilCalls = cliFiniteNumber(viewport.window_call_until_call_total) || 0;
     const rangeValueActions = cliFiniteNumber(viewport.set_range_value_total) || 0;
     const dragActions = cliFiniteNumber(viewport.drag_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)` : ""}${canvasSignatureActions ? `, ${canvasSignatureActions} canvas_signature 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)` : ""}${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";
@@ -16196,6 +16413,31 @@ function profileSetupSummaryMarkdown(result) {
     lines.push(`- ${name} canvas_signature warning: ${markdownInlineCode(selector)}${frameSelector ? ` in frame ${markdownInlineCode(frameSelector)}` : ""} returned the same hash${hash ? ` ${markdownInlineCode(hash, 80)}` : ""} for ${count ?? labelCount ?? "multiple"} labeled capture(s)${labelText}; treat canvas signatures as diagnostic when runtime evidence or screenshots show state changes.`);
   }
   if (canvasSignatureWarnings.length > sampledCanvasSignatureWarnings.length) lines.push(`- ${canvasSignatureWarnings.length - sampledCanvasSignatureWarnings.length} additional canvas_signature warning(s) omitted.`);
+  const deterministicRuntimeGroups = viewports.map((viewport) => {
+    const name = cliString(viewport.name) || "viewport";
+    const receipts = Array.isArray(viewport.deterministic_runtime) ? viewport.deterministic_runtime.map(cliRecord).filter((item) => Boolean(item)) : [];
+    return receipts.map((receipt) => ({ name, receipt }));
+  });
+  const deterministicRuntimeDetails = deterministicRuntimeGroups.flat();
+  const sampledDeterministicRuntimeDetails = balancedSetupReceiptDetails(deterministicRuntimeGroups, 12);
+  for (const { name, receipt } of sampledDeterministicRuntimeDetails) {
+    const ok = receipt.ok === false ? "failed" : "ok";
+    const randomEnabled = receipt.random_enabled === true ? "on" : receipt.random_enabled === false ? "off" : "unknown";
+    const clockEnabled = receipt.clock_enabled === true ? "on" : receipt.clock_enabled === false ? "off" : "unknown";
+    const randomQueueAdded = cliFiniteNumber(receipt.random_queue_added);
+    const randomQueueLength = cliFiniteNumber(receipt.random_queue_length);
+    const randomQueueMode = cliString(receipt.random_queue_mode);
+    const randomUnderflowCount = cliFiniteNumber(receipt.random_underflow_count);
+    const previousNow = cliFiniteNumber(receipt.previous_now);
+    const now = cliFiniteNumber(receipt.now);
+    const advanceMs = cliFiniteNumber(receipt.advance_ms);
+    const restored = receipt.restored === true;
+    const reason = cliString(receipt.reason);
+    const randomText = randomQueueAdded === void 0 && randomQueueLength === void 0 ? `random ${randomEnabled}` : `random ${randomEnabled}${randomQueueMode ? ` ${randomQueueMode}` : ""}${randomQueueAdded === void 0 ? "" : ` +${randomQueueAdded}`}${randomQueueLength === void 0 ? "" : ` -> ${randomQueueLength}`}`;
+    const clockText = now === void 0 ? `clock ${clockEnabled}` : `clock ${clockEnabled}${previousNow === void 0 ? "" : ` ${previousNow} ->`} ${now}`;
+    lines.push(`- ${name} deterministic_runtime: ${ok}, ${restored ? "restored, " : ""}${randomText}${randomUnderflowCount ? `, underflows ${randomUnderflowCount}` : ""}, ${clockText}${advanceMs === void 0 ? "" : `, advance ${advanceMs}ms`}${reason ? `, reason ${markdownInlineCode(reason, 100)}` : ""}`);
+  }
+  if (deterministicRuntimeDetails.length > sampledDeterministicRuntimeDetails.length) lines.push(`- ${deterministicRuntimeDetails.length - sampledDeterministicRuntimeDetails.length} additional deterministic_runtime receipt(s) omitted.`);
   const rangeValueGroups = viewports.map((viewport) => {
     const name = cliString(viewport.name) || "viewport";
     const receipts = Array.isArray(viewport.set_range_value) ? viewport.set_range_value.map(cliRecord).filter((item) => Boolean(item)) : [];

package/dist/cli.js

@@ -13,7 +13,7 @@ import {
   profileStatusExitCode,
   resolveRiddleProofProfileTargetUrl,
   resolveRiddleProofProfileTimeoutSec
-} from "./chunk-7ZY6ONH4.js";
+} from "./chunk-5ELOMJ7U.js";
 import {
   createRiddleApiClient,
   isTerminalRiddleJobStatus,
@@ -785,6 +785,7 @@ function profileSetupSummaryMarkdown(result) {
   const windowEvalTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.window_eval_total) || 0), 0);
   const windowEvalStoredTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.window_eval_stored_total) || 0), 0);
   const windowEvalCapturedTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.window_eval_captured_total) || 0), 0);
+  const deterministicRuntimeTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.deterministic_runtime_total) || 0), 0);
   const windowCallUntilTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.window_call_until_total) || 0), 0);
   const windowCallUntilCallTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.window_call_until_call_total) || 0), 0);
   const rangeValueTotal = viewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.set_range_value_total) || 0), 0);
@@ -809,6 +810,9 @@ function profileSetupSummaryMarkdown(result) {
   if (windowEvalTotal) {
     lines.push(`- window_eval: ${windowEvalTotal} action(s), stored returns ${windowEvalStoredTotal}, captured returns ${windowEvalCapturedTotal}`);
   }
+  if (deterministicRuntimeTotal) {
+    lines.push(`- deterministic_runtime: ${deterministicRuntimeTotal} action(s)`);
+  }
   if (windowCallUntilTotal) {
     lines.push(`- window_call_until: ${windowCallUntilTotal} action(s), call_count total ${windowCallUntilCallTotal}`);
   }
@@ -835,13 +839,14 @@ function profileSetupSummaryMarkdown(result) {
     const windowEvalActions = cliFiniteNumber(viewport.window_eval_total) || 0;
     const windowEvalStored = cliFiniteNumber(viewport.window_eval_stored_total) || 0;
     const windowEvalCaptured = cliFiniteNumber(viewport.window_eval_captured_total) || 0;
+    const deterministicRuntimeActions = cliFiniteNumber(viewport.deterministic_runtime_total) || 0;
     const windowCallUntilActions = cliFiniteNumber(viewport.window_call_until_total) || 0;
     const windowCallUntilCalls = cliFiniteNumber(viewport.window_call_until_call_total) || 0;
     const rangeValueActions = cliFiniteNumber(viewport.set_range_value_total) || 0;
     const dragActions = cliFiniteNumber(viewport.drag_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)` : ""}${canvasSignatureActions ? `, ${canvasSignatureActions} canvas_signature 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)` : ""}${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";
@@ -933,6 +938,31 @@ function profileSetupSummaryMarkdown(result) {
     lines.push(`- ${name} canvas_signature warning: ${markdownInlineCode(selector)}${frameSelector ? ` in frame ${markdownInlineCode(frameSelector)}` : ""} returned the same hash${hash ? ` ${markdownInlineCode(hash, 80)}` : ""} for ${count ?? labelCount ?? "multiple"} labeled capture(s)${labelText}; treat canvas signatures as diagnostic when runtime evidence or screenshots show state changes.`);
   }
   if (canvasSignatureWarnings.length > sampledCanvasSignatureWarnings.length) lines.push(`- ${canvasSignatureWarnings.length - sampledCanvasSignatureWarnings.length} additional canvas_signature warning(s) omitted.`);
+  const deterministicRuntimeGroups = viewports.map((viewport) => {
+    const name = cliString(viewport.name) || "viewport";
+    const receipts = Array.isArray(viewport.deterministic_runtime) ? viewport.deterministic_runtime.map(cliRecord).filter((item) => Boolean(item)) : [];
+    return receipts.map((receipt) => ({ name, receipt }));
+  });
+  const deterministicRuntimeDetails = deterministicRuntimeGroups.flat();
+  const sampledDeterministicRuntimeDetails = balancedSetupReceiptDetails(deterministicRuntimeGroups, 12);
+  for (const { name, receipt } of sampledDeterministicRuntimeDetails) {
+    const ok = receipt.ok === false ? "failed" : "ok";
+    const randomEnabled = receipt.random_enabled === true ? "on" : receipt.random_enabled === false ? "off" : "unknown";
+    const clockEnabled = receipt.clock_enabled === true ? "on" : receipt.clock_enabled === false ? "off" : "unknown";
+    const randomQueueAdded = cliFiniteNumber(receipt.random_queue_added);
+    const randomQueueLength = cliFiniteNumber(receipt.random_queue_length);
+    const randomQueueMode = cliString(receipt.random_queue_mode);
+    const randomUnderflowCount = cliFiniteNumber(receipt.random_underflow_count);
+    const previousNow = cliFiniteNumber(receipt.previous_now);
+    const now = cliFiniteNumber(receipt.now);
+    const advanceMs = cliFiniteNumber(receipt.advance_ms);
+    const restored = receipt.restored === true;
+    const reason = cliString(receipt.reason);
+    const randomText = randomQueueAdded === void 0 && randomQueueLength === void 0 ? `random ${randomEnabled}` : `random ${randomEnabled}${randomQueueMode ? ` ${randomQueueMode}` : ""}${randomQueueAdded === void 0 ? "" : ` +${randomQueueAdded}`}${randomQueueLength === void 0 ? "" : ` -> ${randomQueueLength}`}`;
+    const clockText = now === void 0 ? `clock ${clockEnabled}` : `clock ${clockEnabled}${previousNow === void 0 ? "" : ` ${previousNow} ->`} ${now}`;
+    lines.push(`- ${name} deterministic_runtime: ${ok}, ${restored ? "restored, " : ""}${randomText}${randomUnderflowCount ? `, underflows ${randomUnderflowCount}` : ""}, ${clockText}${advanceMs === void 0 ? "" : `, advance ${advanceMs}ms`}${reason ? `, reason ${markdownInlineCode(reason, 100)}` : ""}`);
+  }
+  if (deterministicRuntimeDetails.length > sampledDeterministicRuntimeDetails.length) lines.push(`- ${deterministicRuntimeDetails.length - sampledDeterministicRuntimeDetails.length} additional deterministic_runtime receipt(s) omitted.`);
   const rangeValueGroups = viewports.map((viewport) => {
     const name = cliString(viewport.name) || "viewport";
     const receipts = Array.isArray(viewport.set_range_value) ? viewport.set_range_value.map(cliRecord).filter((item) => Boolean(item)) : [];