@riddledc/riddle-proof 0.7.200 → 0.7.202

package/README.md

@@ -202,6 +202,31 @@ generic inline-script warning threshold. Use `--strict=true` when you
 deliberately want Riddle's non-critical script-safety warnings to block the run.
 Critical script-safety violations remain blocked by Riddle either way.
 
+Use `--viewport-name <name>` to run only one named viewport from a
+multi-viewport profile while preserving viewport-scoped setup actions and
+checks:
+
+```sh
+riddle-proof-loop run-profile \
+  --profile .riddle-proof/profiles/pricing.json \
+  --url https://example.com \
+  --viewport-name ipad-mini \
+  --output artifacts/riddle-proof/pricing-ipad-mini
+```
+
+When `--output` / `--output-dir` is set, hosted profile runs write
+`riddle-job.json` as soon as Riddle returns a job id. If the local process is
+interrupted or pruned, recover the profile artifacts from the hosted job:
+
+```sh
+riddle-proof-loop run-profile recover \
+  --profile .riddle-proof/profiles/pricing.json \
+  --url https://example.com \
+  --job job_abc123 \
+  --viewport-name ipad-mini \
+  --output artifacts/riddle-proof/pricing-ipad-mini-recovered
+```
+
 When promoting proof artifacts into a durable public profile, avoid guessing
 which backend or runner tokens are preserved inside `proof.json`. Derive the
 `body_contains` fragments from the artifact body first:
@@ -441,11 +466,12 @@ until a browser-state predicate is satisfied. It accepts the same selector,
 coordinate, and pointer options as `tap`, plus `until_path`,
 `until_expected_value`, `max_taps` / `max_calls` from 1 to 100, and optional
 `interval_ms`. Set `tap_burst_size` from 1 to 100 when gameplay needs several
-fast taps before the next predicate check. The action stops early when the
-predicate matches and records one compact receipt with `tap_count`,
-`condition_check_count`, `elapsed_ms`, final `until_value`, and input dispatch
-details, so long canvas interaction loops do not need dozens of repeated setup
-actions.
+fast taps before the next predicate check, and `settle_ms` when the app needs a
+short post-burst frame/update delay before the predicate is trustworthy. The
+action stops early when the predicate matches and records one compact receipt
+with `tap_count`, `condition_check_count`, `settle_ms`, `elapsed_ms`, final
+`until_value`, and input dispatch details, so long canvas interaction loops do
+not need dozens of repeated setup actions.
 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`
@@ -543,10 +569,11 @@ and `click_count_value_total`. Repeated selector runs such as long gameplay
 button loops are also grouped as compact `same-selector` click-sequence
 receipts with click totals and ordinals. `tap_until` actions are summarized as
 one compact receipt with total taps, optional burst size, predicate-check count,
-elapsed time, and the final predicate value, which is the preferred shape for
-long canvas gameplay loops. Setup receipt sampling favors both first and last
-per-viewport receipts before filling remaining space, so late lifecycle phases
-such as terminal or restart remain visible in compact summaries.
+optional settle time, elapsed time, and the final predicate value, which is the
+preferred shape for long canvas gameplay loops. Setup receipt sampling favors
+both first and last per-viewport receipts before filling remaining space, so
+late lifecycle phases such as terminal or restart remain visible in compact
+summaries.
 
 `target.timeout_sec` is optional. Use it for known-heavy profile targets so the
 profile carries its own hosted Riddle worker budget; an explicit CLI `--timeout`

package/dist/{chunk-FNVDZCVZ.js → chunk-OUZKZ5U4.js}

@@ -635,6 +635,7 @@ function profileSetupTapUntilReceipts(results) {
     max_taps: result.max_taps ?? result.max_calls ?? null,
     tap_burst_size: result.tap_burst_size ?? null,
     condition_check_count: result.condition_check_count ?? null,
+    settle_ms: result.settle_ms ?? null,
     elapsed_ms: result.elapsed_ms ?? null,
     interval_ms: result.interval_ms ?? null,
     timeout_ms: result.timeout_ms ?? null,
@@ -1280,6 +1281,10 @@ function normalizeSetupAction(input, index) {
   if (type === "tap_until" && tapBurstSize !== void 0 && (!Number.isInteger(tapBurstSize) || tapBurstSize < 1 || tapBurstSize > 100)) {
     throw new Error(`target.setup_actions[${index}].tap_burst_size must be an integer from 1 to 100.`);
   }
+  const settleMs = type === "tap_until" ? numberValue(valueFromOwn(input, "settle_ms", "settleMs", "predicate_settle_ms", "predicateSettleMs", "post_burst_wait_ms", "postBurstWaitMs", "after_burst_ms", "afterBurstMs", "settle_after_tap_ms", "settleAfterTapMs")) : void 0;
+  if (type === "tap_until" && settleMs !== void 0 && (!Number.isInteger(settleMs) || settleMs < 0 || settleMs > 1e4)) {
+    throw new Error(`target.setup_actions[${index}].settle_ms must be an integer from 0 to 10000.`);
+  }
   const intervalMs = numberValue(valueFromOwn(input, "interval_ms", "intervalMs", "poll_ms", "pollMs", "call_interval_ms", "callIntervalMs"));
   if ((type === "window_call_until" || type === "tap_until") && intervalMs !== void 0 && (!Number.isInteger(intervalMs) || intervalMs < 0 || intervalMs > 5e3)) {
     throw new Error(`target.setup_actions[${index}].interval_ms must be an integer from 0 to 5000.`);
@@ -1328,6 +1333,7 @@ function normalizeSetupAction(input, index) {
     until_expected_value: hasUntilExpectedValue ? toJsonValue(valueFromOwn(input, "until_expected_value", "untilExpectedValue", "until_expected", "untilExpected", "until_value", "untilValue", "expected_value", "expectedValue", "expected")) : void 0,
     max_calls: maxCalls,
     tap_burst_size: tapBurstSize,
+    settle_ms: settleMs,
     interval_ms: intervalMs,
     expected_value: hasExpectedValue ? toJsonValue(rawExpectedValue) : void 0,
     min_value: minValue,
@@ -4569,6 +4575,7 @@ function profileSetupTapUntilReceipts(results) {
       max_taps: result.max_taps ?? result.max_calls ?? null,
       tap_burst_size: result.tap_burst_size ?? null,
       condition_check_count: result.condition_check_count ?? null,
+      settle_ms: result.settle_ms ?? null,
       elapsed_ms: result.elapsed_ms ?? null,
       interval_ms: result.interval_ms ?? null,
       timeout_ms: result.timeout_ms ?? null,
@@ -6560,6 +6567,7 @@ async function executeSetupAction(action, ordinal, viewport) {
       if (!hasUntilExpected) return { ...base, until_path: untilPath, reason: "missing_until_expected_value" };
       const maxTaps = Math.min(100, Math.max(1, Math.floor(setupNumber(action.max_taps ?? action.maxTaps ?? action.tap_limit ?? action.tapLimit ?? action.max_calls ?? action.maxCalls ?? action.max_attempts ?? action.maxAttempts ?? action.attempts, 1) || 1)));
       const tapBurstSize = Math.min(maxTaps, Math.min(100, Math.max(1, Math.floor(setupNumber(action.tap_burst_size ?? action.tapBurstSize ?? action.burst_size ?? action.burstSize ?? action.check_every_taps ?? action.checkEveryTaps ?? action.predicate_interval_taps ?? action.predicateIntervalTaps, 1) || 1))));
+      const settleMs = Math.min(10000, Math.max(0, Math.floor(setupNumber(action.settle_ms ?? action.settleMs ?? action.predicate_settle_ms ?? action.predicateSettleMs ?? action.post_burst_wait_ms ?? action.postBurstWaitMs ?? action.after_burst_ms ?? action.afterBurstMs ?? action.settle_after_tap_ms ?? action.settleAfterTapMs, 0) || 0)));
       const intervalMs = Math.min(5000, Math.max(0, Math.floor(setupNumber(action.interval_ms ?? action.intervalMs ?? action.poll_ms ?? action.pollMs ?? action.tap_interval_ms ?? action.tapIntervalMs, 100) || 0)));
       const scope = await setupActionScope(action, timeout);
       if (!scope.ok) return setupScopeFailure(base, scope);
@@ -6585,6 +6593,7 @@ async function executeSetupAction(action, ordinal, viewport) {
           max_calls: maxTaps,
           tap_burst_size: tapBurstSize,
           condition_check_count: conditionCheckCount,
+          settle_ms: settleMs,
           elapsed_ms: elapsedMs,
           interval_ms: intervalMs,
           timeout_ms: timeout,
@@ -6597,6 +6606,7 @@ async function executeSetupAction(action, ordinal, viewport) {
           tapCount += 1;
           if (tapCount < maxTaps && burstIndex < burstCount - 1 && intervalMs) await page.waitForTimeout(intervalMs);
         }
+        if (settleMs) await page.waitForTimeout(settleMs);
         lastPredicateResult = await setupReadWindowValue(scope.context, untilPath);
         conditionCheckCount += 1;
         if (lastPredicateResult.ok && setupValuesEqual(lastPredicateResult.value, untilExpected)) {
@@ -6614,6 +6624,7 @@ async function executeSetupAction(action, ordinal, viewport) {
             max_calls: maxTaps,
             tap_burst_size: tapBurstSize,
             condition_check_count: conditionCheckCount,
+            settle_ms: settleMs,
             elapsed_ms: elapsedMs,
             interval_ms: intervalMs,
             timeout_ms: timeout,
@@ -6634,6 +6645,7 @@ async function executeSetupAction(action, ordinal, viewport) {
         max_calls: maxTaps,
         tap_burst_size: tapBurstSize,
         condition_check_count: conditionCheckCount,
+        settle_ms: settleMs,
         elapsed_ms: elapsedMs,
         interval_ms: intervalMs,
         timeout_ms: timeout,

package/dist/cli.cjs

@@ -7592,6 +7592,7 @@ function profileSetupTapUntilReceipts(results) {
     max_taps: result.max_taps ?? result.max_calls ?? null,
     tap_burst_size: result.tap_burst_size ?? null,
     condition_check_count: result.condition_check_count ?? null,
+    settle_ms: result.settle_ms ?? null,
     elapsed_ms: result.elapsed_ms ?? null,
     interval_ms: result.interval_ms ?? null,
     timeout_ms: result.timeout_ms ?? null,
@@ -8237,6 +8238,10 @@ function normalizeSetupAction(input, index) {
   if (type === "tap_until" && tapBurstSize !== void 0 && (!Number.isInteger(tapBurstSize) || tapBurstSize < 1 || tapBurstSize > 100)) {
     throw new Error(`target.setup_actions[${index}].tap_burst_size must be an integer from 1 to 100.`);
   }
+  const settleMs = type === "tap_until" ? numberValue(valueFromOwn(input, "settle_ms", "settleMs", "predicate_settle_ms", "predicateSettleMs", "post_burst_wait_ms", "postBurstWaitMs", "after_burst_ms", "afterBurstMs", "settle_after_tap_ms", "settleAfterTapMs")) : void 0;
+  if (type === "tap_until" && settleMs !== void 0 && (!Number.isInteger(settleMs) || settleMs < 0 || settleMs > 1e4)) {
+    throw new Error(`target.setup_actions[${index}].settle_ms must be an integer from 0 to 10000.`);
+  }
   const intervalMs = numberValue(valueFromOwn(input, "interval_ms", "intervalMs", "poll_ms", "pollMs", "call_interval_ms", "callIntervalMs"));
   if ((type === "window_call_until" || type === "tap_until") && intervalMs !== void 0 && (!Number.isInteger(intervalMs) || intervalMs < 0 || intervalMs > 5e3)) {
     throw new Error(`target.setup_actions[${index}].interval_ms must be an integer from 0 to 5000.`);
@@ -8285,6 +8290,7 @@ function normalizeSetupAction(input, index) {
     until_expected_value: hasUntilExpectedValue ? toJsonValue(valueFromOwn(input, "until_expected_value", "untilExpectedValue", "until_expected", "untilExpected", "until_value", "untilValue", "expected_value", "expectedValue", "expected")) : void 0,
     max_calls: maxCalls,
     tap_burst_size: tapBurstSize,
+    settle_ms: settleMs,
     interval_ms: intervalMs,
     expected_value: hasExpectedValue ? toJsonValue(rawExpectedValue) : void 0,
     min_value: minValue,
@@ -11510,6 +11516,7 @@ function profileSetupTapUntilReceipts(results) {
       max_taps: result.max_taps ?? result.max_calls ?? null,
       tap_burst_size: result.tap_burst_size ?? null,
       condition_check_count: result.condition_check_count ?? null,
+      settle_ms: result.settle_ms ?? null,
       elapsed_ms: result.elapsed_ms ?? null,
       interval_ms: result.interval_ms ?? null,
       timeout_ms: result.timeout_ms ?? null,
@@ -13501,6 +13508,7 @@ async function executeSetupAction(action, ordinal, viewport) {
       if (!hasUntilExpected) return { ...base, until_path: untilPath, reason: "missing_until_expected_value" };
       const maxTaps = Math.min(100, Math.max(1, Math.floor(setupNumber(action.max_taps ?? action.maxTaps ?? action.tap_limit ?? action.tapLimit ?? action.max_calls ?? action.maxCalls ?? action.max_attempts ?? action.maxAttempts ?? action.attempts, 1) || 1)));
       const tapBurstSize = Math.min(maxTaps, Math.min(100, Math.max(1, Math.floor(setupNumber(action.tap_burst_size ?? action.tapBurstSize ?? action.burst_size ?? action.burstSize ?? action.check_every_taps ?? action.checkEveryTaps ?? action.predicate_interval_taps ?? action.predicateIntervalTaps, 1) || 1))));
+      const settleMs = Math.min(10000, Math.max(0, Math.floor(setupNumber(action.settle_ms ?? action.settleMs ?? action.predicate_settle_ms ?? action.predicateSettleMs ?? action.post_burst_wait_ms ?? action.postBurstWaitMs ?? action.after_burst_ms ?? action.afterBurstMs ?? action.settle_after_tap_ms ?? action.settleAfterTapMs, 0) || 0)));
       const intervalMs = Math.min(5000, Math.max(0, Math.floor(setupNumber(action.interval_ms ?? action.intervalMs ?? action.poll_ms ?? action.pollMs ?? action.tap_interval_ms ?? action.tapIntervalMs, 100) || 0)));
       const scope = await setupActionScope(action, timeout);
       if (!scope.ok) return setupScopeFailure(base, scope);
@@ -13526,6 +13534,7 @@ async function executeSetupAction(action, ordinal, viewport) {
           max_calls: maxTaps,
           tap_burst_size: tapBurstSize,
           condition_check_count: conditionCheckCount,
+          settle_ms: settleMs,
           elapsed_ms: elapsedMs,
           interval_ms: intervalMs,
           timeout_ms: timeout,
@@ -13538,6 +13547,7 @@ async function executeSetupAction(action, ordinal, viewport) {
           tapCount += 1;
           if (tapCount < maxTaps && burstIndex < burstCount - 1 && intervalMs) await page.waitForTimeout(intervalMs);
         }
+        if (settleMs) await page.waitForTimeout(settleMs);
         lastPredicateResult = await setupReadWindowValue(scope.context, untilPath);
         conditionCheckCount += 1;
         if (lastPredicateResult.ok && setupValuesEqual(lastPredicateResult.value, untilExpected)) {
@@ -13555,6 +13565,7 @@ async function executeSetupAction(action, ordinal, viewport) {
             max_calls: maxTaps,
             tap_burst_size: tapBurstSize,
             condition_check_count: conditionCheckCount,
+            settle_ms: settleMs,
             elapsed_ms: elapsedMs,
             interval_ms: intervalMs,
             timeout_ms: timeout,
@@ -13575,6 +13586,7 @@ async function executeSetupAction(action, ordinal, viewport) {
         max_calls: maxTaps,
         tap_burst_size: tapBurstSize,
         condition_check_count: conditionCheckCount,
+        settle_ms: settleMs,
         elapsed_ms: elapsedMs,
         interval_ms: intervalMs,
         timeout_ms: timeout,
@@ -16211,7 +16223,8 @@ function usage() {
     "  riddle-proof-loop respond --state-path <path> --response-json <file|json|->",
     "  riddle-proof-loop respond --state-path <path> --decision <decision> --summary <text> [--payload-json <file|json|->]",
     "  riddle-proof-loop status --state-path <path>",
-    "  riddle-proof-loop run-profile --profile <file|json|-> --url <base-url> [--runner riddle] [--strict true|false; default false] [--split-viewports true|false; default false] [--poll-attempts n] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json] [--quiet]",
+    "  riddle-proof-loop run-profile --profile <file|json|-> --url <base-url> [--runner riddle] [--viewport-name <name[,name...]>] [--strict true|false; default false] [--split-viewports true|false; default false] [--poll-attempts n] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json] [--quiet]",
+    "  riddle-proof-loop run-profile recover --profile <file|json|-> --url <base-url> --job <job-id> [--viewport-name <name[,name...]>] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json]",
     "  riddle-proof-loop profile-body-assertions --artifact <file|url|-> --candidates-json <file|json|-> [--required-json <file|json|->] [--format json|body-contains]",
     "  riddle-proof-loop profile-http-status-preflight --profile <file|json|-> --url <base-url> [--format json|summary]",
     "  riddle-proof-loop riddle-preview-deploy <build-dir> <label> [--framework spa|static]",
@@ -16271,6 +16284,11 @@ function runProfileStrictOption(options) {
 function runProfileSplitViewportsOption(options) {
   return optionBoolean(options, "splitViewports") ?? false;
 }
+function runProfileViewportNamesOption(options) {
+  const raw = optionString(options, "viewportName") ?? optionString(options, "viewportNames");
+  if (!raw) return [];
+  return raw.split(",").map((part) => part.trim()).filter(Boolean);
+}
 var DEFAULT_PROFILE_UNSUBMITTED_RETRY_TIMEOUT_MS = 9e4;
 var DEFAULT_PROFILE_UNSUBMITTED_RETRIES = 2;
 function optionNumber(options, ...keys) {
@@ -16871,6 +16889,61 @@ function profileHasRouteExitAffordanceReceipt(receipts) {
     return routeFields.some((name) => setupReturnSummaryValue(receipt, [name]) !== void 0) || haystack.includes("route=") || haystack.includes("browserpath=");
   });
 }
+function profileCleanupLabelMatches(value) {
+  if (!value) return false;
+  return /\b(cleanup|clean|clear|reset|undo|discard|new)\b/i.test(value);
+}
+function profileHasCleanupBoundaryAffordanceReceipt(receipts) {
+  const visibleFields = [
+    "cleanupControlVisible",
+    "cleanupVisible",
+    "clearControlVisible",
+    "resetControlVisible",
+    "undoVisible",
+    "discardVisible",
+    "newControlVisible",
+    "exitControlVisible"
+  ];
+  const textFields = [
+    "cleanupControlText",
+    "cleanupText",
+    "clearControlText",
+    "resetControlText",
+    "undoText",
+    "discardText",
+    "newControlText",
+    "exitControlText",
+    "controlText",
+    "affordanceText"
+  ];
+  return receipts.some((receipt) => {
+    const storedTo = cliString(receipt.return_stored_to) || "";
+    const label = cliString(receipt.label) || "";
+    const path7 = cliString(receipt.path) || cliString(receipt.function_name) || "";
+    const summary = cliReturnSummaryLabel(receipt.return_summary) || "";
+    const haystack = `${storedTo} ${label} ${path7} ${summary}`.toLowerCase();
+    const mentionsCleanupBoundary = haystack.includes("cleanup") || haystack.includes("precleanup") || haystack.includes("pre-cleanup") || haystack.includes("boundary") || haystack.includes("undo") || haystack.includes("clear") || haystack.includes("reset") || haystack.includes("discard");
+    const visibleControl = visibleFields.some((name) => setupReturnSummaryValue(receipt, [name]) === true);
+    const controlText = textFields.map((name) => cliString(setupReturnSummaryValue(receipt, [name]))).find((value) => profileCleanupLabelMatches(value));
+    return mentionsCleanupBoundary && (visibleControl || Boolean(controlText));
+  });
+}
+function profileVisibleCleanupActionCount(setupViewports) {
+  const keys = /* @__PURE__ */ new Set();
+  const clickedReceipts = setupViewports.flatMap((viewport) => [
+    ...setupReceiptArray(viewport, "clicked"),
+    ...setupReceiptArray(viewport, "tap"),
+    ...setupReceiptArray(viewport, "tap_until")
+  ]);
+  clickedReceipts.forEach((receipt, index) => {
+    if (receipt.ok === false) return;
+    const text = cliString(receipt.text) || cliString(receipt.label) || cliString(receipt.target) || cliString(receipt.selector);
+    if (!profileCleanupLabelMatches(text)) return;
+    const ordinal = cliFiniteNumber(receipt.ordinal);
+    keys.add(ordinal === void 0 ? `idx:${index}:${text}` : `ord:${ordinal}:${text}`);
+  });
+  return keys.size;
+}
 function profileHasOfflineAudioMetricsReceipt(receipts) {
   const metricFields = [
     "mixPeak",
@@ -16972,7 +17045,7 @@ function profileHasRecoveredStateReceipt(receipts) {
     const path7 = cliString(receipt.path) || cliString(receipt.function_name) || "";
     const summary = cliReturnSummaryLabel(receipt.return_summary) || "";
     const haystack = `${storedTo} ${label} ${path7} ${summary}`.toLowerCase();
-    const labelsRecovery = haystack.includes("recover") || haystack.includes("repaired") || haystack.includes("repair") || haystack.includes("try fix") || haystack.includes("tryfix") || haystack.includes("after-fix") || haystack.includes("fixed");
+    const labelsRecovery = haystack.includes("recover") || haystack.includes("repaired") || haystack.includes("repair") || haystack.includes("restart") || haystack.includes("play again") || haystack.includes("playagain") || haystack.includes("play-again") || haystack.includes("try fix") || haystack.includes("tryfix") || haystack.includes("after-fix") || haystack.includes("fixed");
     if (!labelsRecovery) return false;
     const status = profileLowerSummaryValue(receipt, ["status", "state", "phase"]);
     const outcome = profileLowerSummaryValue(receipt, ["lastOutcome", "outcome", "result"]);
@@ -16983,6 +17056,38 @@ function profileHasRecoveredStateReceipt(receipts) {
     return hasRecoveredState || success || hasValid && hasInvalid === false;
   });
 }
+function profileMetadataHasGeneratedOutputContract(metadata) {
+  const contract = cliRecord(metadata.declared_state_contract);
+  if (!contract) return false;
+  const keys = Object.keys(contract).join(" ").toLowerCase();
+  const values = Object.values(contract).map((value) => cliString(value)?.toLowerCase() || "").join(" ");
+  const haystack = `${keys} ${values}`;
+  return haystack.includes("generated_output") || haystack.includes("generated output") || haystack.includes("output-size") || haystack.includes("output size") || haystack.includes("output result") || haystack.includes("optimizer size");
+}
+function profileHasGeneratedOutputReceipt(receipts) {
+  let outputReady = false;
+  let outputChanged = false;
+  for (const receipt of receipts) {
+    const storedTo = cliString(receipt.return_stored_to) || "";
+    const label = cliString(receipt.label) || "";
+    const path7 = cliString(receipt.path) || cliString(receipt.function_name) || "";
+    const summary = cliReturnSummaryLabel(receipt.return_summary) || "";
+    const haystack = `${storedTo} ${label} ${path7} ${summary}`.toLowerCase();
+    const readySignal = setupReturnSummaryValue(receipt, ["outputReady", "outputStillReady"]) === true || cliFiniteNumber(setupReturnSummaryValue(receipt, ["surfaceCount", "before.surfaceCount", "after.surfaceCount"])) !== void 0 || setupReturnSummaryValue(receipt, ["size", "before.size", "after.size", "size.text", "before.size.text", "after.size.text"]) !== void 0;
+    if (readySignal && (haystack.includes("output") || haystack.includes("size") || haystack.includes("result"))) {
+      outputReady = true;
+    }
+    const beforeBytes = cliFiniteNumber(setupReturnSummaryValue(receipt, ["before.size.outputBytes", "before.outputBytes", "beforeBytes"]));
+    const afterBytes = cliFiniteNumber(setupReturnSummaryValue(receipt, ["after.size.outputBytes", "after.outputBytes", "afterBytes"]));
+    const beforeText = cliString(setupReturnSummaryValue(receipt, ["before.size.text", "before.outputText", "beforeText"]));
+    const afterText = cliString(setupReturnSummaryValue(receipt, ["after.size.text", "after.outputText", "afterText"]));
+    const explicitChange = setupReturnSummaryValue(receipt, ["sizeChanged", "outputChanged", "resultChanged"]) === true;
+    const byteChange = beforeBytes !== void 0 && afterBytes !== void 0 && beforeBytes !== afterBytes;
+    const textChange = Boolean(beforeText && afterText && beforeText !== afterText);
+    if (explicitChange || byteChange || textChange) outputChanged = true;
+  }
+  return outputReady && outputChanged;
+}
 function profilePackReceiptStatus(result, metadata, receipt) {
   const text = receipt.toLowerCase();
   const setupSummary = profileSetupSummaryRecord(result);
@@ -17013,6 +17118,7 @@ function profilePackReceiptStatus(result, metadata, receipt) {
   const clickFallbackTapCount = clickFallbackTapKeys.size;
   const tapUntilCount = profileSetupReceiptTotal(setupViewports, "tap_until");
   const visibleUiActionCount = clickCount + profileSetupReceiptTotal(setupViewports, "tap") + tapUntilCount;
+  const visibleCleanupActionCount = profileVisibleCleanupActionCount(setupViewports);
   const setupFailureCount = profileSetupFailureCount(setupViewports);
   const setupObstructionCount = profileSetupObstructionCount(setupViewports);
   const inputDispatchCount = profileSetupReceiptTotal(setupViewports, "drag") + profileSetupReceiptTotal(setupViewports, "tap") + tapUntilCount + profileSetupReceiptTotal(setupViewports, "press") + profileSetupReceiptTotal(setupViewports, "keyboard_sequence");
@@ -17048,6 +17154,7 @@ function profilePackReceiptStatus(result, metadata, receipt) {
   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 hasRouteExitAffordanceReceipt = profileHasRouteExitAffordanceReceipt(valueReceipts);
+  const hasCleanupBoundaryAffordanceReceipt = profileHasCleanupBoundaryAffordanceReceipt(valueReceipts);
   const hasOfflineAudioMetricsReceipt = profileHasOfflineAudioMetricsReceipt(valueReceipts);
   const hasActiveRouteLocalProofReceipt = profileHasActiveRouteLocalProofReceipt(valueReceipts);
   const hasTerminalLossReceipt = profileHasTerminalLossReceipt(valueReceipts);
@@ -17056,6 +17163,8 @@ function profilePackReceiptStatus(result, metadata, receipt) {
   const hasControlledSuccessLaunchReceipt = profileHasControlledLaunchReceipt(valueReceipts, "success");
   const hasRouteContinuationReceipt = profileHasRouteContinuationReceipt(valueReceipts);
   const hasRecoveredStateReceipt = profileHasRecoveredStateReceipt(valueReceipts);
+  const hasGeneratedOutputContract = profileMetadataHasGeneratedOutputContract(metadata);
+  const hasGeneratedOutputReceipt = profileHasGeneratedOutputReceipt(valueReceipts);
   const failedCleanupInventoryReason = profileFailedCleanupInventoryReason(setupViewports);
   const passedCleanupInventoryReason = profilePassedCleanupInventoryReason(setupViewports);
   if (text.includes("artifact link") || text.includes("artifact path")) {
@@ -17109,6 +17218,13 @@ function profilePackReceiptStatus(result, metadata, receipt) {
     }
     return profileReceiptSignalStatus(hasTextAbsence, "absence check passed", "absence check missing");
   }
+  if (text.includes("generated-output") || text.includes("generated output") || text.includes("output-size") || text.includes("output size") || (text.includes("output") || text.includes("result")) && (text.includes("mutation") || text.includes("final"))) {
+    return profileReceiptSignalStatus(
+      hasGeneratedOutputContract && hasGeneratedOutputReceipt,
+      "generated-output mutation receipt present",
+      "generated-output mutation receipt missing"
+    );
+  }
   if (text.includes("recovered") || text.includes("final state")) {
     return profileReceiptSignalStatus(hasStateContract || hasTextVisibility, "final state receipt present", "final state receipt missing");
   }
@@ -17165,6 +17281,13 @@ function profilePackReceiptStatus(result, metadata, receipt) {
       "route continuation receipt missing"
     );
   }
+  if (text.includes("cleanup") && text.includes("action") && (text.includes("visible ui") || text.includes("visible"))) {
+    return profileReceiptSignalStatus(
+      visibleCleanupActionCount > 0,
+      `visible cleanup action receipt present (${visibleCleanupActionCount})`,
+      "visible cleanup action receipt missing"
+    );
+  }
   if (text.includes("through visible ui") || text.includes("visible ui action") || text.includes("ui-routed") || text.includes("ui routed") || text.includes("visible") && text.includes("route") && text.includes("exit") && text.includes("action") || text.includes("visible") && text.includes("mode") && text.includes("exit") && text.includes("action")) {
     return profileReceiptSignalStatus(
       visibleUiActionCount > 0,
@@ -17179,6 +17302,13 @@ function profilePackReceiptStatus(result, metadata, receipt) {
       "affordance receipt missing"
     );
   }
+  if (text.includes("cleanup") && (text.includes("affordance") || text.includes("control") || text.includes("boundary") || text.includes("inventory"))) {
+    return profileReceiptSignalStatus(
+      hasCleanupBoundaryAffordanceReceipt,
+      "visible cleanup affordance receipt present",
+      "visible cleanup affordance 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");
   }
@@ -18084,6 +18214,7 @@ function profileSetupSummaryMarkdown(result) {
     const maxTaps = cliFiniteNumber(receipt.max_taps) ?? cliFiniteNumber(receipt.max_calls);
     const tapBurstSize = cliFiniteNumber(receipt.tap_burst_size);
     const conditionCheckCount = cliFiniteNumber(receipt.condition_check_count);
+    const settleMs = cliFiniteNumber(receipt.settle_ms);
     const elapsedMs3 = cliFiniteNumber(receipt.elapsed_ms);
     const ok = receipt.ok === false ? "failed" : "ok";
     const reason = cliString(receipt.reason);
@@ -18091,8 +18222,9 @@ function profileSetupSummaryMarkdown(result) {
     const tapText = tapCount === void 0 ? "" : ` in ${tapCount}${maxTaps === void 0 ? "" : `/${maxTaps}`} tap(s)`;
     const burstText = tapBurstSize === void 0 || tapBurstSize <= 1 ? "" : `, burst ${tapBurstSize}`;
     const conditionCheckText = conditionCheckCount === void 0 ? "" : `, ${conditionCheckCount} check(s)`;
+    const settleText = settleMs === void 0 || settleMs <= 0 ? "" : `, settle ${settleMs}ms`;
     const elapsedText = elapsedMs3 === void 0 ? "" : `, elapsed ${elapsedMs3}ms`;
-    lines.push(`- ${name} tap_until: ${ok}, ${markdownInlineCode(selector)}${pointerType ? ` ${markdownInlineCode(pointerType)}` : ""}${inputDispatch ? ` via ${markdownInlineCode(inputDispatch)}` : ""}${coordinateText}${durationMs === void 0 ? "" : `, duration ${durationMs}ms`} until ${markdownInlineCode(untilPath)}${expected === void 0 ? "" : ` == ${markdownInlineCode(expected, 80)}`}${tapText}${burstText}${conditionCheckText}${elapsedText}${actual === void 0 ? "" : `, observed ${markdownInlineCode(actual, 80)}`}${reason ? `, reason ${markdownInlineCode(reason, 100)}` : ""}`);
+    lines.push(`- ${name} tap_until: ${ok}, ${markdownInlineCode(selector)}${pointerType ? ` ${markdownInlineCode(pointerType)}` : ""}${inputDispatch ? ` via ${markdownInlineCode(inputDispatch)}` : ""}${coordinateText}${durationMs === void 0 ? "" : `, duration ${durationMs}ms`} until ${markdownInlineCode(untilPath)}${expected === void 0 ? "" : ` == ${markdownInlineCode(expected, 80)}`}${tapText}${burstText}${conditionCheckText}${settleText}${elapsedText}${actual === void 0 ? "" : `, observed ${markdownInlineCode(actual, 80)}`}${reason ? `, reason ${markdownInlineCode(reason, 100)}` : ""}`);
   }
   if (tapUntilDetails.length > sampledTapUntilDetails.length) lines.push(`- ${tapUntilDetails.length - sampledTapUntilDetails.length} additional tap_until receipt(s) omitted.`);
   const keyboardGroups = viewports.map((viewport) => {
@@ -18514,6 +18646,21 @@ function writeProfileOutput(outputDir, result) {
   if (result.evidence?.dom_summary) (0, import_node_fs6.writeFileSync)(import_node_path6.default.join(outputDir, "dom-summary.json"), `${JSON.stringify(result.evidence.dom_summary, null, 2)}
 `);
 }
+function writeRiddleJobReceipt(outputDir, input) {
+  if (!outputDir) return;
+  (0, import_node_fs6.mkdirSync)(outputDir, { recursive: true });
+  (0, import_node_fs6.writeFileSync)(import_node_path6.default.join(outputDir, "riddle-job.json"), `${JSON.stringify({
+    version: "riddle-proof.riddle-job-receipt.v1",
+    profile_name: input.profile.name,
+    job_id: input.jobId,
+    target_url: input.targetUrl,
+    viewport: input.viewport || null,
+    captured_at: (/* @__PURE__ */ new Date()).toISOString(),
+    created: input.created || null,
+    recovery_command: `riddle-proof-loop run-profile recover --profile <profile> --job ${input.jobId} --output-dir ${outputDir}`
+  }, null, 2)}
+`);
+}
 async function readArtifactJson(artifact) {
   const target = artifact.url || artifact.path;
   if (!target) return void 0;
@@ -18717,6 +18864,43 @@ function profileForSplitViewport(profile, viewport) {
     }
   };
 }
+function profileItemAppliesToAnySelectedViewport(item, viewports) {
+  if (!item.viewports?.length) return true;
+  const names = new Set(viewports.map((viewport) => viewport.name).filter(Boolean));
+  return item.viewports.some((name) => names.has(name));
+}
+function profileForSelectedViewports(profile, viewports) {
+  const suffix = viewports.map((viewport) => viewport.name || `${viewport.width}x${viewport.height}`).join("-");
+  const setupActions = profile.target.setup_actions?.filter((action) => profileItemAppliesToAnySelectedViewport(action, viewports));
+  return {
+    ...profile,
+    name: `${profile.name}-${suffix}`,
+    checks: profile.checks.filter((check) => profileItemAppliesToAnySelectedViewport(check, viewports)),
+    target: {
+      ...profile.target,
+      viewports,
+      ...setupActions ? { setup_actions: setupActions } : {}
+    },
+    metadata: {
+      ...profile.metadata || {},
+      selected_parent_profile: profile.name,
+      selected_viewports: viewports.map((viewport) => viewport.name || `${viewport.width}x${viewport.height}`)
+    }
+  };
+}
+function profileWithSelectedViewportNamesForCli(profile, options) {
+  const names = runProfileViewportNamesOption(options);
+  if (!names.length) return profile;
+  const requested = new Set(names);
+  const viewports = profile.target.viewports.filter((viewport) => viewport.name && requested.has(viewport.name));
+  const matched = new Set(viewports.map((viewport) => viewport.name).filter(Boolean));
+  const missing = names.filter((name) => !matched.has(name));
+  if (missing.length) {
+    const available = profile.target.viewports.map((viewport) => viewport.name).filter(Boolean).join(", ") || "none";
+    throw new Error(`Unknown --viewport-name ${missing.join(", ")}. Available viewport names: ${available}.`);
+  }
+  return profileForSelectedViewports(profile, viewports);
+}
 function safeProfileOutputSegment(value) {
   const safe = value.replace(/[^a-zA-Z0-9._-]+/g, "-").replace(/^-+|-+$/g, "");
   return safe || "viewport";
@@ -18905,6 +19089,13 @@ async function runSingleRiddleProfileForCli(profile, options, input) {
       const directResult = extractRiddleProofProfileResult(created);
       return directResult ? withRiddleMetadata(withProfileMetadata(profile, directResult), { artifacts: collectRiddleProfileArtifactRefs(created) }) : createRiddleProofProfileInsufficientResult({ profile, runner, error: "Riddle run response was missing job_id.", artifacts: collectRiddleProfileArtifactRefs(created) });
     }
+    writeRiddleJobReceipt(input.outputDir, {
+      profile,
+      jobId,
+      targetUrl,
+      viewport: profile.target.viewports[0],
+      created
+    });
     poll = await client.pollJob(jobId, pollOptions);
     if (attempt < retryLimit && shouldRetryUnsubmittedRiddleJob(poll)) {
       const recoveredResult = await recoverProfileResultFromRiddleArtifacts(profile, {
@@ -18981,10 +19172,9 @@ async function runSplitViewportProfileForCli(profile, options, input) {
   const childRuns = [];
   for (const viewport of profile.target.viewports) {
     const childProfile = profileForSplitViewport(profile, viewport);
-    const result2 = await runSingleRiddleProfileForCli(childProfile, options, input);
-    if (outputDir) {
-      writeProfileOutput(splitViewportOutputDir(outputDir, viewport.name, seenOutputNames), result2);
-    }
+    const childOutputDir = outputDir ? splitViewportOutputDir(outputDir, viewport.name, seenOutputNames) : void 0;
+    const result2 = await runSingleRiddleProfileForCli(childProfile, options, { ...input, outputDir: childOutputDir });
+    if (childOutputDir) writeProfileOutput(childOutputDir, result2);
     childRuns.push({ viewport, profile: childProfile, result: result2 });
   }
   const artifacts = childRuns.flatMap(splitViewportArtifactRefs);
@@ -19006,6 +19196,51 @@ async function runSplitViewportProfileForCli(profile, options, input) {
   });
   return withSplitViewportWarnings(profile, withSplitViewportChildStatusCheck(profile, result, childRuns));
 }
+async function recoverProfileForCli(profile, options) {
+  const runner = optionString(options, "runner") || "riddle";
+  if (runner !== "riddle") {
+    throw new Error(`Unsupported --runner ${runner}. The current CLI supports --runner riddle.`);
+  }
+  const jobId = optionString(options, "job") ?? optionString(options, "jobId");
+  if (!jobId) throw new Error("run-profile recover requires --job <job-id>.");
+  const client = createRiddleApiClient(riddleClientConfig(options));
+  let artifactPayload;
+  try {
+    artifactPayload = await client.requestJson(`/v1/jobs/${jobId}/artifacts`);
+  } catch (error) {
+    return createRiddleProofProfileEnvironmentBlockedResult({
+      profile,
+      runner,
+      error,
+      riddle: { job_id: jobId, terminal: false }
+    });
+  }
+  const artifacts = collectRiddleProfileArtifactRefs(artifactPayload);
+  const artifactStatus = riddleArtifactsPayloadStatus(artifactPayload);
+  const terminal = artifactStatus ? isTerminalRiddleJobStatus(artifactStatus) : artifacts.length > 0;
+  const recovered = await profileResultFromRiddleArtifacts(profile, artifacts, [artifactPayload]);
+  if (recovered) {
+    return withRiddleMetadata(recovered, {
+      job_id: jobId,
+      status: artifactStatus,
+      terminal,
+      artifacts,
+      artifactRecovery: true
+    });
+  }
+  return createRiddleProofProfileInsufficientResult({
+    profile,
+    runner,
+    error: artifacts.length ? `Riddle job ${jobId} artifacts were recovered without a proof result.` : `Riddle job ${jobId} had no recoverable artifacts.`,
+    riddle: {
+      job_id: jobId,
+      status: artifactStatus,
+      terminal,
+      artifact_recovery: artifacts.length > 0
+    },
+    artifacts
+  });
+}
 async function runProfileForCli(profile, options) {
   const runner = optionString(options, "runner") || "riddle";
   if (runner !== "riddle") {
@@ -19015,7 +19250,7 @@ async function runProfileForCli(profile, options) {
   if (runProfileSplitViewportsOption(options) && profile.target.viewports.length > 1) {
     return runSplitViewportProfileForCli(profile, options, { client, runner });
   }
-  return runSingleRiddleProfileForCli(profile, options, { client, runner });
+  return runSingleRiddleProfileForCli(profile, options, { client, runner, outputDir: profileOutputDirOption(options) });
 }
 function requestForRun(options) {
   const statePath = optionString(options, "statePath");
@@ -19064,8 +19299,8 @@ async function main() {
     return;
   }
   if (command === "run-profile") {
-    const profile = normalizeProfileForCli(options);
-    const result = await runProfileForCli(profile, options);
+    const profile = profileWithSelectedViewportNamesForCli(normalizeProfileForCli(options), options);
+    const result = positional[1] === "recover" ? await recoverProfileForCli(profile, options) : await runProfileForCli(profile, options);
     writeProfileOutput(profileOutputDirOption(options), result);
     const diagnosticLine = profileCliDiagnosticLine(result);
     if (diagnosticLine && optionBoolean(options, "quiet") !== true) {

package/dist/cli.js

@@ -13,7 +13,7 @@ import {
   profileStatusExitCode,
   resolveRiddleProofProfileTargetUrl,
   resolveRiddleProofProfileTimeoutSec
-} from "./chunk-FNVDZCVZ.js";
+} from "./chunk-OUZKZ5U4.js";
 import {
   createRiddleApiClient,
   isTerminalRiddleJobStatus,
@@ -48,7 +48,8 @@ function usage() {
     "  riddle-proof-loop respond --state-path <path> --response-json <file|json|->",
     "  riddle-proof-loop respond --state-path <path> --decision <decision> --summary <text> [--payload-json <file|json|->]",
     "  riddle-proof-loop status --state-path <path>",
-    "  riddle-proof-loop run-profile --profile <file|json|-> --url <base-url> [--runner riddle] [--strict true|false; default false] [--split-viewports true|false; default false] [--poll-attempts n] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json] [--quiet]",
+    "  riddle-proof-loop run-profile --profile <file|json|-> --url <base-url> [--runner riddle] [--viewport-name <name[,name...]>] [--strict true|false; default false] [--split-viewports true|false; default false] [--poll-attempts n] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json] [--quiet]",
+    "  riddle-proof-loop run-profile recover --profile <file|json|-> --url <base-url> --job <job-id> [--viewport-name <name[,name...]>] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json]",
     "  riddle-proof-loop profile-body-assertions --artifact <file|url|-> --candidates-json <file|json|-> [--required-json <file|json|->] [--format json|body-contains]",
     "  riddle-proof-loop profile-http-status-preflight --profile <file|json|-> --url <base-url> [--format json|summary]",
     "  riddle-proof-loop riddle-preview-deploy <build-dir> <label> [--framework spa|static]",
@@ -108,6 +109,11 @@ function runProfileStrictOption(options) {
 function runProfileSplitViewportsOption(options) {
   return optionBoolean(options, "splitViewports") ?? false;
 }
+function runProfileViewportNamesOption(options) {
+  const raw = optionString(options, "viewportName") ?? optionString(options, "viewportNames");
+  if (!raw) return [];
+  return raw.split(",").map((part) => part.trim()).filter(Boolean);
+}
 var DEFAULT_PROFILE_UNSUBMITTED_RETRY_TIMEOUT_MS = 9e4;
 var DEFAULT_PROFILE_UNSUBMITTED_RETRIES = 2;
 function optionNumber(options, ...keys) {
@@ -708,6 +714,61 @@ function profileHasRouteExitAffordanceReceipt(receipts) {
     return routeFields.some((name) => setupReturnSummaryValue(receipt, [name]) !== void 0) || haystack.includes("route=") || haystack.includes("browserpath=");
   });
 }
+function profileCleanupLabelMatches(value) {
+  if (!value) return false;
+  return /\b(cleanup|clean|clear|reset|undo|discard|new)\b/i.test(value);
+}
+function profileHasCleanupBoundaryAffordanceReceipt(receipts) {
+  const visibleFields = [
+    "cleanupControlVisible",
+    "cleanupVisible",
+    "clearControlVisible",
+    "resetControlVisible",
+    "undoVisible",
+    "discardVisible",
+    "newControlVisible",
+    "exitControlVisible"
+  ];
+  const textFields = [
+    "cleanupControlText",
+    "cleanupText",
+    "clearControlText",
+    "resetControlText",
+    "undoText",
+    "discardText",
+    "newControlText",
+    "exitControlText",
+    "controlText",
+    "affordanceText"
+  ];
+  return receipts.some((receipt) => {
+    const storedTo = cliString(receipt.return_stored_to) || "";
+    const label = cliString(receipt.label) || "";
+    const path2 = cliString(receipt.path) || cliString(receipt.function_name) || "";
+    const summary = cliReturnSummaryLabel(receipt.return_summary) || "";
+    const haystack = `${storedTo} ${label} ${path2} ${summary}`.toLowerCase();
+    const mentionsCleanupBoundary = haystack.includes("cleanup") || haystack.includes("precleanup") || haystack.includes("pre-cleanup") || haystack.includes("boundary") || haystack.includes("undo") || haystack.includes("clear") || haystack.includes("reset") || haystack.includes("discard");
+    const visibleControl = visibleFields.some((name) => setupReturnSummaryValue(receipt, [name]) === true);
+    const controlText = textFields.map((name) => cliString(setupReturnSummaryValue(receipt, [name]))).find((value) => profileCleanupLabelMatches(value));
+    return mentionsCleanupBoundary && (visibleControl || Boolean(controlText));
+  });
+}
+function profileVisibleCleanupActionCount(setupViewports) {
+  const keys = /* @__PURE__ */ new Set();
+  const clickedReceipts = setupViewports.flatMap((viewport) => [
+    ...setupReceiptArray(viewport, "clicked"),
+    ...setupReceiptArray(viewport, "tap"),
+    ...setupReceiptArray(viewport, "tap_until")
+  ]);
+  clickedReceipts.forEach((receipt, index) => {
+    if (receipt.ok === false) return;
+    const text = cliString(receipt.text) || cliString(receipt.label) || cliString(receipt.target) || cliString(receipt.selector);
+    if (!profileCleanupLabelMatches(text)) return;
+    const ordinal = cliFiniteNumber(receipt.ordinal);
+    keys.add(ordinal === void 0 ? `idx:${index}:${text}` : `ord:${ordinal}:${text}`);
+  });
+  return keys.size;
+}
 function profileHasOfflineAudioMetricsReceipt(receipts) {
   const metricFields = [
     "mixPeak",
@@ -809,7 +870,7 @@ function profileHasRecoveredStateReceipt(receipts) {
     const path2 = cliString(receipt.path) || cliString(receipt.function_name) || "";
     const summary = cliReturnSummaryLabel(receipt.return_summary) || "";
     const haystack = `${storedTo} ${label} ${path2} ${summary}`.toLowerCase();
-    const labelsRecovery = haystack.includes("recover") || haystack.includes("repaired") || haystack.includes("repair") || haystack.includes("try fix") || haystack.includes("tryfix") || haystack.includes("after-fix") || haystack.includes("fixed");
+    const labelsRecovery = haystack.includes("recover") || haystack.includes("repaired") || haystack.includes("repair") || haystack.includes("restart") || haystack.includes("play again") || haystack.includes("playagain") || haystack.includes("play-again") || haystack.includes("try fix") || haystack.includes("tryfix") || haystack.includes("after-fix") || haystack.includes("fixed");
     if (!labelsRecovery) return false;
     const status = profileLowerSummaryValue(receipt, ["status", "state", "phase"]);
     const outcome = profileLowerSummaryValue(receipt, ["lastOutcome", "outcome", "result"]);
@@ -820,6 +881,38 @@ function profileHasRecoveredStateReceipt(receipts) {
     return hasRecoveredState || success || hasValid && hasInvalid === false;
   });
 }
+function profileMetadataHasGeneratedOutputContract(metadata) {
+  const contract = cliRecord(metadata.declared_state_contract);
+  if (!contract) return false;
+  const keys = Object.keys(contract).join(" ").toLowerCase();
+  const values = Object.values(contract).map((value) => cliString(value)?.toLowerCase() || "").join(" ");
+  const haystack = `${keys} ${values}`;
+  return haystack.includes("generated_output") || haystack.includes("generated output") || haystack.includes("output-size") || haystack.includes("output size") || haystack.includes("output result") || haystack.includes("optimizer size");
+}
+function profileHasGeneratedOutputReceipt(receipts) {
+  let outputReady = false;
+  let outputChanged = false;
+  for (const receipt of receipts) {
+    const storedTo = cliString(receipt.return_stored_to) || "";
+    const label = cliString(receipt.label) || "";
+    const path2 = cliString(receipt.path) || cliString(receipt.function_name) || "";
+    const summary = cliReturnSummaryLabel(receipt.return_summary) || "";
+    const haystack = `${storedTo} ${label} ${path2} ${summary}`.toLowerCase();
+    const readySignal = setupReturnSummaryValue(receipt, ["outputReady", "outputStillReady"]) === true || cliFiniteNumber(setupReturnSummaryValue(receipt, ["surfaceCount", "before.surfaceCount", "after.surfaceCount"])) !== void 0 || setupReturnSummaryValue(receipt, ["size", "before.size", "after.size", "size.text", "before.size.text", "after.size.text"]) !== void 0;
+    if (readySignal && (haystack.includes("output") || haystack.includes("size") || haystack.includes("result"))) {
+      outputReady = true;
+    }
+    const beforeBytes = cliFiniteNumber(setupReturnSummaryValue(receipt, ["before.size.outputBytes", "before.outputBytes", "beforeBytes"]));
+    const afterBytes = cliFiniteNumber(setupReturnSummaryValue(receipt, ["after.size.outputBytes", "after.outputBytes", "afterBytes"]));
+    const beforeText = cliString(setupReturnSummaryValue(receipt, ["before.size.text", "before.outputText", "beforeText"]));
+    const afterText = cliString(setupReturnSummaryValue(receipt, ["after.size.text", "after.outputText", "afterText"]));
+    const explicitChange = setupReturnSummaryValue(receipt, ["sizeChanged", "outputChanged", "resultChanged"]) === true;
+    const byteChange = beforeBytes !== void 0 && afterBytes !== void 0 && beforeBytes !== afterBytes;
+    const textChange = Boolean(beforeText && afterText && beforeText !== afterText);
+    if (explicitChange || byteChange || textChange) outputChanged = true;
+  }
+  return outputReady && outputChanged;
+}
 function profilePackReceiptStatus(result, metadata, receipt) {
   const text = receipt.toLowerCase();
   const setupSummary = profileSetupSummaryRecord(result);
@@ -850,6 +943,7 @@ function profilePackReceiptStatus(result, metadata, receipt) {
   const clickFallbackTapCount = clickFallbackTapKeys.size;
   const tapUntilCount = profileSetupReceiptTotal(setupViewports, "tap_until");
   const visibleUiActionCount = clickCount + profileSetupReceiptTotal(setupViewports, "tap") + tapUntilCount;
+  const visibleCleanupActionCount = profileVisibleCleanupActionCount(setupViewports);
   const setupFailureCount = profileSetupFailureCount(setupViewports);
   const setupObstructionCount = profileSetupObstructionCount(setupViewports);
   const inputDispatchCount = profileSetupReceiptTotal(setupViewports, "drag") + profileSetupReceiptTotal(setupViewports, "tap") + tapUntilCount + profileSetupReceiptTotal(setupViewports, "press") + profileSetupReceiptTotal(setupViewports, "keyboard_sequence");
@@ -885,6 +979,7 @@ function profilePackReceiptStatus(result, metadata, receipt) {
   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 hasRouteExitAffordanceReceipt = profileHasRouteExitAffordanceReceipt(valueReceipts);
+  const hasCleanupBoundaryAffordanceReceipt = profileHasCleanupBoundaryAffordanceReceipt(valueReceipts);
   const hasOfflineAudioMetricsReceipt = profileHasOfflineAudioMetricsReceipt(valueReceipts);
   const hasActiveRouteLocalProofReceipt = profileHasActiveRouteLocalProofReceipt(valueReceipts);
   const hasTerminalLossReceipt = profileHasTerminalLossReceipt(valueReceipts);
@@ -893,6 +988,8 @@ function profilePackReceiptStatus(result, metadata, receipt) {
   const hasControlledSuccessLaunchReceipt = profileHasControlledLaunchReceipt(valueReceipts, "success");
   const hasRouteContinuationReceipt = profileHasRouteContinuationReceipt(valueReceipts);
   const hasRecoveredStateReceipt = profileHasRecoveredStateReceipt(valueReceipts);
+  const hasGeneratedOutputContract = profileMetadataHasGeneratedOutputContract(metadata);
+  const hasGeneratedOutputReceipt = profileHasGeneratedOutputReceipt(valueReceipts);
   const failedCleanupInventoryReason = profileFailedCleanupInventoryReason(setupViewports);
   const passedCleanupInventoryReason = profilePassedCleanupInventoryReason(setupViewports);
   if (text.includes("artifact link") || text.includes("artifact path")) {
@@ -946,6 +1043,13 @@ function profilePackReceiptStatus(result, metadata, receipt) {
     }
     return profileReceiptSignalStatus(hasTextAbsence, "absence check passed", "absence check missing");
   }
+  if (text.includes("generated-output") || text.includes("generated output") || text.includes("output-size") || text.includes("output size") || (text.includes("output") || text.includes("result")) && (text.includes("mutation") || text.includes("final"))) {
+    return profileReceiptSignalStatus(
+      hasGeneratedOutputContract && hasGeneratedOutputReceipt,
+      "generated-output mutation receipt present",
+      "generated-output mutation receipt missing"
+    );
+  }
   if (text.includes("recovered") || text.includes("final state")) {
     return profileReceiptSignalStatus(hasStateContract || hasTextVisibility, "final state receipt present", "final state receipt missing");
   }
@@ -1002,6 +1106,13 @@ function profilePackReceiptStatus(result, metadata, receipt) {
       "route continuation receipt missing"
     );
   }
+  if (text.includes("cleanup") && text.includes("action") && (text.includes("visible ui") || text.includes("visible"))) {
+    return profileReceiptSignalStatus(
+      visibleCleanupActionCount > 0,
+      `visible cleanup action receipt present (${visibleCleanupActionCount})`,
+      "visible cleanup action receipt missing"
+    );
+  }
   if (text.includes("through visible ui") || text.includes("visible ui action") || text.includes("ui-routed") || text.includes("ui routed") || text.includes("visible") && text.includes("route") && text.includes("exit") && text.includes("action") || text.includes("visible") && text.includes("mode") && text.includes("exit") && text.includes("action")) {
     return profileReceiptSignalStatus(
       visibleUiActionCount > 0,
@@ -1016,6 +1127,13 @@ function profilePackReceiptStatus(result, metadata, receipt) {
       "affordance receipt missing"
     );
   }
+  if (text.includes("cleanup") && (text.includes("affordance") || text.includes("control") || text.includes("boundary") || text.includes("inventory"))) {
+    return profileReceiptSignalStatus(
+      hasCleanupBoundaryAffordanceReceipt,
+      "visible cleanup affordance receipt present",
+      "visible cleanup affordance 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");
   }
@@ -1921,6 +2039,7 @@ function profileSetupSummaryMarkdown(result) {
     const maxTaps = cliFiniteNumber(receipt.max_taps) ?? cliFiniteNumber(receipt.max_calls);
     const tapBurstSize = cliFiniteNumber(receipt.tap_burst_size);
     const conditionCheckCount = cliFiniteNumber(receipt.condition_check_count);
+    const settleMs = cliFiniteNumber(receipt.settle_ms);
     const elapsedMs = cliFiniteNumber(receipt.elapsed_ms);
     const ok = receipt.ok === false ? "failed" : "ok";
     const reason = cliString(receipt.reason);
@@ -1928,8 +2047,9 @@ function profileSetupSummaryMarkdown(result) {
     const tapText = tapCount === void 0 ? "" : ` in ${tapCount}${maxTaps === void 0 ? "" : `/${maxTaps}`} tap(s)`;
     const burstText = tapBurstSize === void 0 || tapBurstSize <= 1 ? "" : `, burst ${tapBurstSize}`;
     const conditionCheckText = conditionCheckCount === void 0 ? "" : `, ${conditionCheckCount} check(s)`;
+    const settleText = settleMs === void 0 || settleMs <= 0 ? "" : `, settle ${settleMs}ms`;
     const elapsedText = elapsedMs === void 0 ? "" : `, elapsed ${elapsedMs}ms`;
-    lines.push(`- ${name} tap_until: ${ok}, ${markdownInlineCode(selector)}${pointerType ? ` ${markdownInlineCode(pointerType)}` : ""}${inputDispatch ? ` via ${markdownInlineCode(inputDispatch)}` : ""}${coordinateText}${durationMs === void 0 ? "" : `, duration ${durationMs}ms`} until ${markdownInlineCode(untilPath)}${expected === void 0 ? "" : ` == ${markdownInlineCode(expected, 80)}`}${tapText}${burstText}${conditionCheckText}${elapsedText}${actual === void 0 ? "" : `, observed ${markdownInlineCode(actual, 80)}`}${reason ? `, reason ${markdownInlineCode(reason, 100)}` : ""}`);
+    lines.push(`- ${name} tap_until: ${ok}, ${markdownInlineCode(selector)}${pointerType ? ` ${markdownInlineCode(pointerType)}` : ""}${inputDispatch ? ` via ${markdownInlineCode(inputDispatch)}` : ""}${coordinateText}${durationMs === void 0 ? "" : `, duration ${durationMs}ms`} until ${markdownInlineCode(untilPath)}${expected === void 0 ? "" : ` == ${markdownInlineCode(expected, 80)}`}${tapText}${burstText}${conditionCheckText}${settleText}${elapsedText}${actual === void 0 ? "" : `, observed ${markdownInlineCode(actual, 80)}`}${reason ? `, reason ${markdownInlineCode(reason, 100)}` : ""}`);
   }
   if (tapUntilDetails.length > sampledTapUntilDetails.length) lines.push(`- ${tapUntilDetails.length - sampledTapUntilDetails.length} additional tap_until receipt(s) omitted.`);
   const keyboardGroups = viewports.map((viewport) => {
@@ -2351,6 +2471,21 @@ function writeProfileOutput(outputDir, result) {
   if (result.evidence?.dom_summary) writeFileSync(path.join(outputDir, "dom-summary.json"), `${JSON.stringify(result.evidence.dom_summary, null, 2)}
 `);
 }
+function writeRiddleJobReceipt(outputDir, input) {
+  if (!outputDir) return;
+  mkdirSync(outputDir, { recursive: true });
+  writeFileSync(path.join(outputDir, "riddle-job.json"), `${JSON.stringify({
+    version: "riddle-proof.riddle-job-receipt.v1",
+    profile_name: input.profile.name,
+    job_id: input.jobId,
+    target_url: input.targetUrl,
+    viewport: input.viewport || null,
+    captured_at: (/* @__PURE__ */ new Date()).toISOString(),
+    created: input.created || null,
+    recovery_command: `riddle-proof-loop run-profile recover --profile <profile> --job ${input.jobId} --output-dir ${outputDir}`
+  }, null, 2)}
+`);
+}
 async function readArtifactJson(artifact) {
   const target = artifact.url || artifact.path;
   if (!target) return void 0;
@@ -2554,6 +2689,43 @@ function profileForSplitViewport(profile, viewport) {
     }
   };
 }
+function profileItemAppliesToAnySelectedViewport(item, viewports) {
+  if (!item.viewports?.length) return true;
+  const names = new Set(viewports.map((viewport) => viewport.name).filter(Boolean));
+  return item.viewports.some((name) => names.has(name));
+}
+function profileForSelectedViewports(profile, viewports) {
+  const suffix = viewports.map((viewport) => viewport.name || `${viewport.width}x${viewport.height}`).join("-");
+  const setupActions = profile.target.setup_actions?.filter((action) => profileItemAppliesToAnySelectedViewport(action, viewports));
+  return {
+    ...profile,
+    name: `${profile.name}-${suffix}`,
+    checks: profile.checks.filter((check) => profileItemAppliesToAnySelectedViewport(check, viewports)),
+    target: {
+      ...profile.target,
+      viewports,
+      ...setupActions ? { setup_actions: setupActions } : {}
+    },
+    metadata: {
+      ...profile.metadata || {},
+      selected_parent_profile: profile.name,
+      selected_viewports: viewports.map((viewport) => viewport.name || `${viewport.width}x${viewport.height}`)
+    }
+  };
+}
+function profileWithSelectedViewportNamesForCli(profile, options) {
+  const names = runProfileViewportNamesOption(options);
+  if (!names.length) return profile;
+  const requested = new Set(names);
+  const viewports = profile.target.viewports.filter((viewport) => viewport.name && requested.has(viewport.name));
+  const matched = new Set(viewports.map((viewport) => viewport.name).filter(Boolean));
+  const missing = names.filter((name) => !matched.has(name));
+  if (missing.length) {
+    const available = profile.target.viewports.map((viewport) => viewport.name).filter(Boolean).join(", ") || "none";
+    throw new Error(`Unknown --viewport-name ${missing.join(", ")}. Available viewport names: ${available}.`);
+  }
+  return profileForSelectedViewports(profile, viewports);
+}
 function safeProfileOutputSegment(value) {
   const safe = value.replace(/[^a-zA-Z0-9._-]+/g, "-").replace(/^-+|-+$/g, "");
   return safe || "viewport";
@@ -2742,6 +2914,13 @@ async function runSingleRiddleProfileForCli(profile, options, input) {
       const directResult = extractRiddleProofProfileResult(created);
       return directResult ? withRiddleMetadata(withProfileMetadata(profile, directResult), { artifacts: collectRiddleProfileArtifactRefs(created) }) : createRiddleProofProfileInsufficientResult({ profile, runner, error: "Riddle run response was missing job_id.", artifacts: collectRiddleProfileArtifactRefs(created) });
     }
+    writeRiddleJobReceipt(input.outputDir, {
+      profile,
+      jobId,
+      targetUrl,
+      viewport: profile.target.viewports[0],
+      created
+    });
     poll = await client.pollJob(jobId, pollOptions);
     if (attempt < retryLimit && shouldRetryUnsubmittedRiddleJob(poll)) {
       const recoveredResult = await recoverProfileResultFromRiddleArtifacts(profile, {
@@ -2818,10 +2997,9 @@ async function runSplitViewportProfileForCli(profile, options, input) {
   const childRuns = [];
   for (const viewport of profile.target.viewports) {
     const childProfile = profileForSplitViewport(profile, viewport);
-    const result2 = await runSingleRiddleProfileForCli(childProfile, options, input);
-    if (outputDir) {
-      writeProfileOutput(splitViewportOutputDir(outputDir, viewport.name, seenOutputNames), result2);
-    }
+    const childOutputDir = outputDir ? splitViewportOutputDir(outputDir, viewport.name, seenOutputNames) : void 0;
+    const result2 = await runSingleRiddleProfileForCli(childProfile, options, { ...input, outputDir: childOutputDir });
+    if (childOutputDir) writeProfileOutput(childOutputDir, result2);
     childRuns.push({ viewport, profile: childProfile, result: result2 });
   }
   const artifacts = childRuns.flatMap(splitViewportArtifactRefs);
@@ -2843,6 +3021,51 @@ async function runSplitViewportProfileForCli(profile, options, input) {
   });
   return withSplitViewportWarnings(profile, withSplitViewportChildStatusCheck(profile, result, childRuns));
 }
+async function recoverProfileForCli(profile, options) {
+  const runner = optionString(options, "runner") || "riddle";
+  if (runner !== "riddle") {
+    throw new Error(`Unsupported --runner ${runner}. The current CLI supports --runner riddle.`);
+  }
+  const jobId = optionString(options, "job") ?? optionString(options, "jobId");
+  if (!jobId) throw new Error("run-profile recover requires --job <job-id>.");
+  const client = createRiddleApiClient(riddleClientConfig(options));
+  let artifactPayload;
+  try {
+    artifactPayload = await client.requestJson(`/v1/jobs/${jobId}/artifacts`);
+  } catch (error) {
+    return createRiddleProofProfileEnvironmentBlockedResult({
+      profile,
+      runner,
+      error,
+      riddle: { job_id: jobId, terminal: false }
+    });
+  }
+  const artifacts = collectRiddleProfileArtifactRefs(artifactPayload);
+  const artifactStatus = riddleArtifactsPayloadStatus(artifactPayload);
+  const terminal = artifactStatus ? isTerminalRiddleJobStatus(artifactStatus) : artifacts.length > 0;
+  const recovered = await profileResultFromRiddleArtifacts(profile, artifacts, [artifactPayload]);
+  if (recovered) {
+    return withRiddleMetadata(recovered, {
+      job_id: jobId,
+      status: artifactStatus,
+      terminal,
+      artifacts,
+      artifactRecovery: true
+    });
+  }
+  return createRiddleProofProfileInsufficientResult({
+    profile,
+    runner,
+    error: artifacts.length ? `Riddle job ${jobId} artifacts were recovered without a proof result.` : `Riddle job ${jobId} had no recoverable artifacts.`,
+    riddle: {
+      job_id: jobId,
+      status: artifactStatus,
+      terminal,
+      artifact_recovery: artifacts.length > 0
+    },
+    artifacts
+  });
+}
 async function runProfileForCli(profile, options) {
   const runner = optionString(options, "runner") || "riddle";
   if (runner !== "riddle") {
@@ -2852,7 +3075,7 @@ async function runProfileForCli(profile, options) {
   if (runProfileSplitViewportsOption(options) && profile.target.viewports.length > 1) {
     return runSplitViewportProfileForCli(profile, options, { client, runner });
   }
-  return runSingleRiddleProfileForCli(profile, options, { client, runner });
+  return runSingleRiddleProfileForCli(profile, options, { client, runner, outputDir: profileOutputDirOption(options) });
 }
 function requestForRun(options) {
   const statePath = optionString(options, "statePath");
@@ -2901,8 +3124,8 @@ async function main() {
     return;
   }
   if (command === "run-profile") {
-    const profile = normalizeProfileForCli(options);
-    const result = await runProfileForCli(profile, options);
+    const profile = profileWithSelectedViewportNamesForCli(normalizeProfileForCli(options), options);
+    const result = positional[1] === "recover" ? await recoverProfileForCli(profile, options) : await runProfileForCli(profile, options);
     writeProfileOutput(profileOutputDirOption(options), result);
     const diagnosticLine = profileCliDiagnosticLine(result);
     if (diagnosticLine && optionBoolean(options, "quiet") !== true) {

package/dist/index.cjs

@@ -9368,6 +9368,7 @@ function profileSetupTapUntilReceipts(results) {
     max_taps: result.max_taps ?? result.max_calls ?? null,
     tap_burst_size: result.tap_burst_size ?? null,
     condition_check_count: result.condition_check_count ?? null,
+    settle_ms: result.settle_ms ?? null,
     elapsed_ms: result.elapsed_ms ?? null,
     interval_ms: result.interval_ms ?? null,
     timeout_ms: result.timeout_ms ?? null,
@@ -10013,6 +10014,10 @@ function normalizeSetupAction(input, index) {
   if (type === "tap_until" && tapBurstSize !== void 0 && (!Number.isInteger(tapBurstSize) || tapBurstSize < 1 || tapBurstSize > 100)) {
     throw new Error(`target.setup_actions[${index}].tap_burst_size must be an integer from 1 to 100.`);
   }
+  const settleMs = type === "tap_until" ? numberValue3(valueFromOwn(input, "settle_ms", "settleMs", "predicate_settle_ms", "predicateSettleMs", "post_burst_wait_ms", "postBurstWaitMs", "after_burst_ms", "afterBurstMs", "settle_after_tap_ms", "settleAfterTapMs")) : void 0;
+  if (type === "tap_until" && settleMs !== void 0 && (!Number.isInteger(settleMs) || settleMs < 0 || settleMs > 1e4)) {
+    throw new Error(`target.setup_actions[${index}].settle_ms must be an integer from 0 to 10000.`);
+  }
   const intervalMs = numberValue3(valueFromOwn(input, "interval_ms", "intervalMs", "poll_ms", "pollMs", "call_interval_ms", "callIntervalMs"));
   if ((type === "window_call_until" || type === "tap_until") && intervalMs !== void 0 && (!Number.isInteger(intervalMs) || intervalMs < 0 || intervalMs > 5e3)) {
     throw new Error(`target.setup_actions[${index}].interval_ms must be an integer from 0 to 5000.`);
@@ -10061,6 +10066,7 @@ function normalizeSetupAction(input, index) {
     until_expected_value: hasUntilExpectedValue ? toJsonValue(valueFromOwn(input, "until_expected_value", "untilExpectedValue", "until_expected", "untilExpected", "until_value", "untilValue", "expected_value", "expectedValue", "expected")) : void 0,
     max_calls: maxCalls,
     tap_burst_size: tapBurstSize,
+    settle_ms: settleMs,
     interval_ms: intervalMs,
     expected_value: hasExpectedValue ? toJsonValue(rawExpectedValue) : void 0,
     min_value: minValue,
@@ -13302,6 +13308,7 @@ function profileSetupTapUntilReceipts(results) {
       max_taps: result.max_taps ?? result.max_calls ?? null,
       tap_burst_size: result.tap_burst_size ?? null,
       condition_check_count: result.condition_check_count ?? null,
+      settle_ms: result.settle_ms ?? null,
       elapsed_ms: result.elapsed_ms ?? null,
       interval_ms: result.interval_ms ?? null,
       timeout_ms: result.timeout_ms ?? null,
@@ -15293,6 +15300,7 @@ async function executeSetupAction(action, ordinal, viewport) {
       if (!hasUntilExpected) return { ...base, until_path: untilPath, reason: "missing_until_expected_value" };
       const maxTaps = Math.min(100, Math.max(1, Math.floor(setupNumber(action.max_taps ?? action.maxTaps ?? action.tap_limit ?? action.tapLimit ?? action.max_calls ?? action.maxCalls ?? action.max_attempts ?? action.maxAttempts ?? action.attempts, 1) || 1)));
       const tapBurstSize = Math.min(maxTaps, Math.min(100, Math.max(1, Math.floor(setupNumber(action.tap_burst_size ?? action.tapBurstSize ?? action.burst_size ?? action.burstSize ?? action.check_every_taps ?? action.checkEveryTaps ?? action.predicate_interval_taps ?? action.predicateIntervalTaps, 1) || 1))));
+      const settleMs = Math.min(10000, Math.max(0, Math.floor(setupNumber(action.settle_ms ?? action.settleMs ?? action.predicate_settle_ms ?? action.predicateSettleMs ?? action.post_burst_wait_ms ?? action.postBurstWaitMs ?? action.after_burst_ms ?? action.afterBurstMs ?? action.settle_after_tap_ms ?? action.settleAfterTapMs, 0) || 0)));
       const intervalMs = Math.min(5000, Math.max(0, Math.floor(setupNumber(action.interval_ms ?? action.intervalMs ?? action.poll_ms ?? action.pollMs ?? action.tap_interval_ms ?? action.tapIntervalMs, 100) || 0)));
       const scope = await setupActionScope(action, timeout);
       if (!scope.ok) return setupScopeFailure(base, scope);
@@ -15318,6 +15326,7 @@ async function executeSetupAction(action, ordinal, viewport) {
           max_calls: maxTaps,
           tap_burst_size: tapBurstSize,
           condition_check_count: conditionCheckCount,
+          settle_ms: settleMs,
           elapsed_ms: elapsedMs,
           interval_ms: intervalMs,
           timeout_ms: timeout,
@@ -15330,6 +15339,7 @@ async function executeSetupAction(action, ordinal, viewport) {
           tapCount += 1;
           if (tapCount < maxTaps && burstIndex < burstCount - 1 && intervalMs) await page.waitForTimeout(intervalMs);
         }
+        if (settleMs) await page.waitForTimeout(settleMs);
         lastPredicateResult = await setupReadWindowValue(scope.context, untilPath);
         conditionCheckCount += 1;
         if (lastPredicateResult.ok && setupValuesEqual(lastPredicateResult.value, untilExpected)) {
@@ -15347,6 +15357,7 @@ async function executeSetupAction(action, ordinal, viewport) {
             max_calls: maxTaps,
             tap_burst_size: tapBurstSize,
             condition_check_count: conditionCheckCount,
+            settle_ms: settleMs,
             elapsed_ms: elapsedMs,
             interval_ms: intervalMs,
             timeout_ms: timeout,
@@ -15367,6 +15378,7 @@ async function executeSetupAction(action, ordinal, viewport) {
         max_calls: maxTaps,
         tap_burst_size: tapBurstSize,
         condition_check_count: conditionCheckCount,
+        settle_ms: settleMs,
         elapsed_ms: elapsedMs,
         interval_ms: intervalMs,
         timeout_ms: timeout,

package/dist/index.js

@@ -62,7 +62,7 @@ import {
   resolveRiddleProofProfileTimeoutSec,
   slugifyRiddleProofProfileName,
   summarizeRiddleProofProfileResult
-} from "./chunk-FNVDZCVZ.js";
+} from "./chunk-OUZKZ5U4.js";
 import {
   DEFAULT_RIDDLE_API_BASE_URL,
   DEFAULT_RIDDLE_API_KEY_FILE,

package/dist/profile.cjs

@@ -682,6 +682,7 @@ function profileSetupTapUntilReceipts(results) {
     max_taps: result.max_taps ?? result.max_calls ?? null,
     tap_burst_size: result.tap_burst_size ?? null,
     condition_check_count: result.condition_check_count ?? null,
+    settle_ms: result.settle_ms ?? null,
     elapsed_ms: result.elapsed_ms ?? null,
     interval_ms: result.interval_ms ?? null,
     timeout_ms: result.timeout_ms ?? null,
@@ -1327,6 +1328,10 @@ function normalizeSetupAction(input, index) {
   if (type === "tap_until" && tapBurstSize !== void 0 && (!Number.isInteger(tapBurstSize) || tapBurstSize < 1 || tapBurstSize > 100)) {
     throw new Error(`target.setup_actions[${index}].tap_burst_size must be an integer from 1 to 100.`);
   }
+  const settleMs = type === "tap_until" ? numberValue(valueFromOwn(input, "settle_ms", "settleMs", "predicate_settle_ms", "predicateSettleMs", "post_burst_wait_ms", "postBurstWaitMs", "after_burst_ms", "afterBurstMs", "settle_after_tap_ms", "settleAfterTapMs")) : void 0;
+  if (type === "tap_until" && settleMs !== void 0 && (!Number.isInteger(settleMs) || settleMs < 0 || settleMs > 1e4)) {
+    throw new Error(`target.setup_actions[${index}].settle_ms must be an integer from 0 to 10000.`);
+  }
   const intervalMs = numberValue(valueFromOwn(input, "interval_ms", "intervalMs", "poll_ms", "pollMs", "call_interval_ms", "callIntervalMs"));
   if ((type === "window_call_until" || type === "tap_until") && intervalMs !== void 0 && (!Number.isInteger(intervalMs) || intervalMs < 0 || intervalMs > 5e3)) {
     throw new Error(`target.setup_actions[${index}].interval_ms must be an integer from 0 to 5000.`);
@@ -1375,6 +1380,7 @@ function normalizeSetupAction(input, index) {
     until_expected_value: hasUntilExpectedValue ? toJsonValue(valueFromOwn(input, "until_expected_value", "untilExpectedValue", "until_expected", "untilExpected", "until_value", "untilValue", "expected_value", "expectedValue", "expected")) : void 0,
     max_calls: maxCalls,
     tap_burst_size: tapBurstSize,
+    settle_ms: settleMs,
     interval_ms: intervalMs,
     expected_value: hasExpectedValue ? toJsonValue(rawExpectedValue) : void 0,
     min_value: minValue,
@@ -4616,6 +4622,7 @@ function profileSetupTapUntilReceipts(results) {
       max_taps: result.max_taps ?? result.max_calls ?? null,
       tap_burst_size: result.tap_burst_size ?? null,
       condition_check_count: result.condition_check_count ?? null,
+      settle_ms: result.settle_ms ?? null,
       elapsed_ms: result.elapsed_ms ?? null,
       interval_ms: result.interval_ms ?? null,
       timeout_ms: result.timeout_ms ?? null,
@@ -6607,6 +6614,7 @@ async function executeSetupAction(action, ordinal, viewport) {
       if (!hasUntilExpected) return { ...base, until_path: untilPath, reason: "missing_until_expected_value" };
       const maxTaps = Math.min(100, Math.max(1, Math.floor(setupNumber(action.max_taps ?? action.maxTaps ?? action.tap_limit ?? action.tapLimit ?? action.max_calls ?? action.maxCalls ?? action.max_attempts ?? action.maxAttempts ?? action.attempts, 1) || 1)));
       const tapBurstSize = Math.min(maxTaps, Math.min(100, Math.max(1, Math.floor(setupNumber(action.tap_burst_size ?? action.tapBurstSize ?? action.burst_size ?? action.burstSize ?? action.check_every_taps ?? action.checkEveryTaps ?? action.predicate_interval_taps ?? action.predicateIntervalTaps, 1) || 1))));
+      const settleMs = Math.min(10000, Math.max(0, Math.floor(setupNumber(action.settle_ms ?? action.settleMs ?? action.predicate_settle_ms ?? action.predicateSettleMs ?? action.post_burst_wait_ms ?? action.postBurstWaitMs ?? action.after_burst_ms ?? action.afterBurstMs ?? action.settle_after_tap_ms ?? action.settleAfterTapMs, 0) || 0)));
       const intervalMs = Math.min(5000, Math.max(0, Math.floor(setupNumber(action.interval_ms ?? action.intervalMs ?? action.poll_ms ?? action.pollMs ?? action.tap_interval_ms ?? action.tapIntervalMs, 100) || 0)));
       const scope = await setupActionScope(action, timeout);
       if (!scope.ok) return setupScopeFailure(base, scope);
@@ -6632,6 +6640,7 @@ async function executeSetupAction(action, ordinal, viewport) {
           max_calls: maxTaps,
           tap_burst_size: tapBurstSize,
           condition_check_count: conditionCheckCount,
+          settle_ms: settleMs,
           elapsed_ms: elapsedMs,
           interval_ms: intervalMs,
           timeout_ms: timeout,
@@ -6644,6 +6653,7 @@ async function executeSetupAction(action, ordinal, viewport) {
           tapCount += 1;
           if (tapCount < maxTaps && burstIndex < burstCount - 1 && intervalMs) await page.waitForTimeout(intervalMs);
         }
+        if (settleMs) await page.waitForTimeout(settleMs);
         lastPredicateResult = await setupReadWindowValue(scope.context, untilPath);
         conditionCheckCount += 1;
         if (lastPredicateResult.ok && setupValuesEqual(lastPredicateResult.value, untilExpected)) {
@@ -6661,6 +6671,7 @@ async function executeSetupAction(action, ordinal, viewport) {
             max_calls: maxTaps,
             tap_burst_size: tapBurstSize,
             condition_check_count: conditionCheckCount,
+            settle_ms: settleMs,
             elapsed_ms: elapsedMs,
             interval_ms: intervalMs,
             timeout_ms: timeout,
@@ -6681,6 +6692,7 @@ async function executeSetupAction(action, ordinal, viewport) {
         max_calls: maxTaps,
         tap_burst_size: tapBurstSize,
         condition_check_count: conditionCheckCount,
+        settle_ms: settleMs,
         elapsed_ms: elapsedMs,
         interval_ms: intervalMs,
         timeout_ms: timeout,

package/dist/profile.d.cts

@@ -147,6 +147,7 @@ interface RiddleProofProfileSetupAction {
     until_expected_value?: JsonValue;
     max_calls?: number;
     tap_burst_size?: number;
+    settle_ms?: number;
     interval_ms?: number;
     expected_value?: JsonValue;
     min_value?: number;

package/dist/profile.d.ts

@@ -147,6 +147,7 @@ interface RiddleProofProfileSetupAction {
     until_expected_value?: JsonValue;
     max_calls?: number;
     tap_burst_size?: number;
+    settle_ms?: number;
     interval_ms?: number;
     expected_value?: JsonValue;
     min_value?: number;

package/dist/profile.js

@@ -23,7 +23,7 @@ import {
   resolveRiddleProofProfileTimeoutSec,
   slugifyRiddleProofProfileName,
   summarizeRiddleProofProfileResult
-} from "./chunk-FNVDZCVZ.js";
+} from "./chunk-OUZKZ5U4.js";
 export {
   RIDDLE_PROOF_PROFILE_CHECK_TYPES,
   RIDDLE_PROOF_PROFILE_EVIDENCE_VERSION,

package/dist/proof-run-engine.d.cts

@@ -292,7 +292,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     blocking?: boolean;
     details?: Record<string, unknown>;
     ok: boolean;
-    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     summary: string;
@@ -382,7 +382,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     continueWithStage?: WorkflowStage | null;
     blocking?: boolean;
     details?: Record<string, unknown>;
-    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     checkpoint: string;
@@ -659,7 +659,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     error?: undefined;
 } | {
     ok: boolean;
-    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     summary: string;

package/dist/proof-run-engine.d.ts

@@ -292,7 +292,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     blocking?: boolean;
     details?: Record<string, unknown>;
     ok: boolean;
-    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     summary: string;
@@ -382,7 +382,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     continueWithStage?: WorkflowStage | null;
     blocking?: boolean;
     details?: Record<string, unknown>;
-    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     checkpoint: string;
@@ -659,7 +659,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     error?: undefined;
 } | {
     ok: boolean;
-    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     summary: string;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@riddledc/riddle-proof",
-  "version": "0.7.200",
+  "version": "0.7.202",
   "description": "Reusable Riddle Proof contracts and helpers for evidence-backed agent changes.",
   "license": "MIT",
   "author": "RiddleDC",