@riddledc/riddle-proof 0.7.43 → 0.7.45

package/README.md

@@ -148,6 +148,7 @@ or as a stronger proof base before a change loop.
     { "type": "selector_absent", "selector": "[data-testid='loading-spinner']" },
     { "type": "selector_count_equals", "selector": "[data-testid='pricing-card']", "expected_count": 3 },
     { "type": "text_visible", "text": "Start building" },
+    { "type": "text_visible", "text": "Compare plans", "viewports": ["desktop"] },
     { "type": "no_mobile_horizontal_overflow" },
     { "type": "no_fatal_console_errors" }
   ],
@@ -179,6 +180,11 @@ The package includes a generic starter profile at
 profile directory and replace the selector/text checks with app-specific
 invariants.
 
+Checks normally apply to every captured viewport. Add `viewports` (or
+`viewport_names`) to a check when responsive UI intentionally exposes an
+invariant only on named viewports, such as desktop-only helper copy while phone
+layouts keep the same route, link, and overflow contracts.
+
 `target.network_mocks` is optional. The Riddle runner registers these mocks
 before navigation, records each hit, and adds an implicit
 `network_mocks_succeeded` check when mocks are present. A mock supports
@@ -217,6 +223,13 @@ cycle instead of reusing the final response, for example to repeat a fail-then-
 success pair across multiple viewports. Repeated sequences also record
 `sequence_cycle: true` after the first cycle.
 
+Set `capture_request_body: true` to include compact request-body evidence on
+mock hits. Add `request_body_contains` or `request_body_patterns` when the
+request body is part of the contract, such as proving that a save request
+references the build ID returned by a prior mocked build response. Body
+assertions use the full request body for matching and store only length plus a
+compact sample in the proof evidence.
+
 `target.setup_actions` is optional. Use it when the meaningful proof surface
 appears only after a picker, tab, login stub, storage seed, form fill,
 transport control, or other bounded interaction. Supported setup actions are

package/dist/{chunk-ZB5DSQF2.js → chunk-IJGMTTVP.js}

@@ -253,6 +253,15 @@ function normalizeNetworkMock(input, index) {
   const payload = normalizeNetworkMockResponsePayload(input, `target.network_mocks[${index}]`);
   const responsesInput = input.responses ?? input.sequence;
   const responses = normalizeNetworkMockResponses(responsesInput, index, payload);
+  const requestBodyContains = normalizeStringList(
+    input.request_body_contains ?? input.requestBodyContains ?? input.body_contains ?? input.bodyContains,
+    `target.network_mocks[${index}].request_body_contains`
+  );
+  const requestBodyPatterns = normalizeStringList(
+    input.request_body_patterns ?? input.requestBodyPatterns ?? input.body_patterns ?? input.bodyPatterns,
+    `target.network_mocks[${index}].request_body_patterns`
+  );
+  validateRegexPatterns(requestBodyPatterns, `target.network_mocks[${index}].request_body_patterns`);
   const requiredHitCount = numberValue(
     input.required_hit_count ?? input.requiredHitCount ?? input.required_hits ?? input.requiredHits ?? input.min_hits ?? input.minHits
   );
@@ -267,7 +276,10 @@ function normalizeNetworkMock(input, index) {
     responses,
     repeat_responses: input.repeat_responses === true || input.repeatResponses === true || input.cycle_responses === true || input.cycleResponses === true,
     required_hit_count: requiredHitCount,
-    required: input.required === false ? false : true
+    required: input.required === false ? false : true,
+    capture_request_body: input.capture_request_body === true || input.captureRequestBody === true || Boolean(requestBodyContains?.length) || Boolean(requestBodyPatterns?.length),
+    request_body_contains: requestBodyContains,
+    request_body_patterns: requestBodyPatterns
   };
 }
 function normalizeNetworkMockResponsePayload(input, label, defaults = {}) {
@@ -350,6 +362,16 @@ function normalizeStringList(value, label) {
   if (!values.length) throw new Error(`${label} must contain non-empty strings.`);
   return values;
 }
+function validateRegexPatterns(patterns, label) {
+  for (const pattern of patterns || []) {
+    try {
+      new RegExp(pattern);
+    } catch (error) {
+      const message = error instanceof Error ? error.message : String(error);
+      throw new Error(`${label} contains invalid regex ${JSON.stringify(pattern)}: ${message}`);
+    }
+  }
+}
 function normalizeCheck(input, index) {
   if (!isRecord(input)) throw new Error(`checks[${index}] must be an object.`);
   const type = stringValue(input.type);
@@ -402,6 +424,7 @@ function normalizeCheck(input, index) {
     text: stringValue(input.text),
     pattern: stringValue(input.pattern),
     flags: stringValue(input.flags),
+    viewports: normalizeStringList(input.viewports ?? input.viewport_names ?? input.viewportNames, `checks[${index}] viewports`),
     allowed_console_texts: normalizeStringList(input.allowed_console_texts ?? input.allowedConsoleTexts ?? input.allow_console_texts ?? input.allowConsoleTexts, `checks[${index}] allowed_console_texts`),
     allowed_console_patterns: normalizeStringList(input.allowed_console_patterns ?? input.allowedConsolePatterns ?? input.allow_console_patterns ?? input.allowConsolePatterns, `checks[${index}] allowed_console_patterns`),
     allowed_page_error_texts: normalizeStringList(input.allowed_page_error_texts ?? input.allowedPageErrorTexts ?? input.allow_page_error_texts ?? input.allowPageErrorTexts, `checks[${index}] allowed_page_error_texts`),
@@ -640,15 +663,22 @@ function successfulRoute(route, targetUrl) {
   const matched = route.matched || routePathMatches(route.observed, route.expected_path, targetUrl);
   return matched && !route.error && (route.http_status === null || route.http_status === void 0 || route.http_status < 400);
 }
+function viewportsForCheck(check, viewports) {
+  if (!check.viewports?.length) return viewports;
+  const names = new Set(check.viewports);
+  return viewports.filter((viewport) => names.has(viewport.name));
+}
 function assessCheckFromEvidence(check, evidence) {
-  const viewports = evidence.viewports || [];
+  const viewports = viewportsForCheck(check, evidence.viewports || []);
   if (!viewports.length) {
     return {
       type: check.type,
       label: checkLabel(check),
       status: "failed",
-      evidence: {},
-      message: "No viewport evidence was captured."
+      evidence: {
+        expected_viewports: check.viewports || []
+      },
+      message: check.viewports?.length ? `No matching viewport evidence was captured for ${check.viewports.join(", ")}.` : "No viewport evidence was captured."
     };
   }
   if (check.type === "route_loaded") {
@@ -1012,6 +1042,17 @@ function assessNetworkMocksFromEvidence(profile, evidence) {
         reason: event.reason ?? event.error ?? "mock_failed"
       });
     }
+    if (event.request_body_matches === false) {
+      failed.push({
+        label: event.label ?? null,
+        url: event.url ?? null,
+        method: event.method ?? null,
+        reason: "request_body_mismatch",
+        request_body_failures: event.request_body_failures ?? [],
+        request_body_length: event.request_body_length ?? null,
+        request_body_sample: event.request_body_sample ?? null
+      });
+    }
   }
   return {
     type: "network_mocks_succeeded",
@@ -1253,6 +1294,11 @@ function frameTextSample(frame) {
     frame && frame.text,
   ].map((part) => String(part || "")).filter(Boolean).join(" ");
 }
+function viewportsForCheck(check, viewports) {
+  if (!Array.isArray(check.viewports) || !check.viewports.length) return viewports;
+  const names = new Set(check.viewports);
+  return viewports.filter((viewport) => names.has(viewport.name));
+}
 function summarizeRouteInventory(viewport, inventory) {
   const directRoutes = Array.isArray(inventory.direct_routes) ? inventory.direct_routes : [];
   const clickthroughs = Array.isArray(inventory.clickthroughs) ? inventory.clickthroughs : [];
@@ -1379,6 +1425,17 @@ function assessProfile(profile, evidence) {
           reason: event.reason || event.error || "mock_failed",
         });
       }
+      if (event && event.request_body_matches === false) {
+        failed.push({
+          label: event.label || null,
+          url: event.url || null,
+          method: event.method || null,
+          reason: "request_body_mismatch",
+          request_body_failures: event.request_body_failures || [],
+          request_body_length: event.request_body_length || null,
+          request_body_sample: event.request_body_sample || null,
+        });
+      }
     }
     const hitsByLabel = {};
     const requiredHitsByLabel = {};
@@ -1443,9 +1500,22 @@ function assessProfile(profile, evidence) {
     });
   }
   for (const check of profile.checks || []) {
+    const checkViewports = viewportsForCheck(check, viewports);
+    if (!checkViewports.length) {
+      checks.push({
+        type: check.type,
+        label: check.label || check.type,
+        status: "failed",
+        evidence: { expected_viewports: check.viewports || [] },
+        message: Array.isArray(check.viewports) && check.viewports.length
+          ? "No matching viewport evidence was captured for " + check.viewports.join(", ") + "."
+          : "No viewport evidence was captured.",
+      });
+      continue;
+    }
     if (check.type === "route_loaded") {
       const expectedPath = check.expected_path || new URL(evidence.target_url).pathname || "/";
-      const failed = viewports.filter((viewport) => {
+      const failed = checkViewports.filter((viewport) => {
         const route = { ...(viewport.route || {}), expected_path: expectedPath };
         route.matched = routePathMatches(route.observed, expectedPath, evidence.target_url) || route.matched;
         return !routeOk(route, evidence.target_url);
@@ -1456,8 +1526,8 @@ function assessProfile(profile, evidence) {
         status: failed.length ? "failed" : "passed",
         evidence: {
           expected_path: expectedPath,
-          observed_paths: viewports.map((viewport) => viewport.route && viewport.route.observed),
-          http_statuses: viewports.map((viewport) => viewport.route ? viewport.route.http_status ?? null : null),
+          observed_paths: checkViewports.map((viewport) => viewport.route && viewport.route.observed),
+          http_statuses: checkViewports.map((viewport) => viewport.route ? viewport.route.http_status ?? null : null),
         },
         message: failed.length ? "Route did not load as " + expectedPath + " in " + failed.length + " viewport(s)." : undefined,
       });
@@ -1465,24 +1535,24 @@ function assessProfile(profile, evidence) {
     }
     if (check.type === "selector_visible") {
       const selector = check.selector || "";
-      const failed = viewports.filter((viewport) => !viewport.selectors || !viewport.selectors[selector] || viewport.selectors[selector].visible_count < 1);
+      const failed = checkViewports.filter((viewport) => !viewport.selectors || !viewport.selectors[selector] || viewport.selectors[selector].visible_count < 1);
       checks.push({
         type: check.type,
         label: check.label || check.type,
         status: failed.length ? "failed" : "passed",
-        evidence: { selector, visible_counts: viewports.map((viewport) => viewport.selectors && viewport.selectors[selector] ? viewport.selectors[selector].visible_count : 0) },
+        evidence: { selector, visible_counts: checkViewports.map((viewport) => viewport.selectors && viewport.selectors[selector] ? viewport.selectors[selector].visible_count : 0) },
         message: failed.length ? "Selector " + selector + " was not visible in " + failed.length + " viewport(s)." : undefined,
       });
       continue;
     }
     if (check.type === "selector_absent") {
       const selector = check.selector || "";
-      const failed = viewports.filter((viewport) => viewport.selectors && viewport.selectors[selector] && viewport.selectors[selector].count > 0);
+      const failed = checkViewports.filter((viewport) => viewport.selectors && viewport.selectors[selector] && viewport.selectors[selector].count > 0);
       checks.push({
         type: check.type,
         label: check.label || check.type,
         status: failed.length ? "failed" : "passed",
-        evidence: { selector, counts: viewports.map((viewport) => viewport.selectors && viewport.selectors[selector] ? viewport.selectors[selector].count : 0) },
+        evidence: { selector, counts: checkViewports.map((viewport) => viewport.selectors && viewport.selectors[selector] ? viewport.selectors[selector].count : 0) },
         message: failed.length ? "Selector " + selector + " was present in " + failed.length + " viewport(s)." : undefined,
       });
       continue;
@@ -1490,12 +1560,12 @@ function assessProfile(profile, evidence) {
     if (check.type === "selector_count_at_least") {
       const selector = check.selector || "";
       const minCount = check.min_count == null ? 1 : check.min_count;
-      const failed = viewports.filter((viewport) => !viewport.selectors || !viewport.selectors[selector] || viewport.selectors[selector].count < minCount);
+      const failed = checkViewports.filter((viewport) => !viewport.selectors || !viewport.selectors[selector] || viewport.selectors[selector].count < minCount);
       checks.push({
         type: check.type,
         label: check.label || check.type,
         status: failed.length ? "failed" : "passed",
-        evidence: { selector, min_count: minCount, counts: viewports.map((viewport) => viewport.selectors && viewport.selectors[selector] ? viewport.selectors[selector].count : 0) },
+        evidence: { selector, min_count: minCount, counts: checkViewports.map((viewport) => viewport.selectors && viewport.selectors[selector] ? viewport.selectors[selector].count : 0) },
         message: failed.length ? "Selector " + selector + " count was below " + minCount + " in " + failed.length + " viewport(s)." : undefined,
       });
       continue;
@@ -1503,12 +1573,12 @@ function assessProfile(profile, evidence) {
     if (check.type === "selector_count_equals" || check.type === "selector_count_equal" || check.type === "selector_count_eq") {
       const selector = check.selector || "";
       const expectedCount = check.expected_count == null ? 0 : check.expected_count;
-      const failed = viewports.filter((viewport) => (viewport.selectors && viewport.selectors[selector] ? viewport.selectors[selector].count : 0) !== expectedCount);
+      const failed = checkViewports.filter((viewport) => (viewport.selectors && viewport.selectors[selector] ? viewport.selectors[selector].count : 0) !== expectedCount);
       checks.push({
         type: check.type,
         label: check.label || check.type,
         status: failed.length ? "failed" : "passed",
-        evidence: { selector, expected_count: expectedCount, counts: viewports.map((viewport) => viewport.selectors && viewport.selectors[selector] ? viewport.selectors[selector].count : 0) },
+        evidence: { selector, expected_count: expectedCount, counts: checkViewports.map((viewport) => viewport.selectors && viewport.selectors[selector] ? viewport.selectors[selector].count : 0) },
         message: failed.length ? "Selector " + selector + " count did not equal " + expectedCount + " in " + failed.length + " viewport(s)." : undefined,
       });
       continue;
@@ -1516,7 +1586,7 @@ function assessProfile(profile, evidence) {
     if (check.type === "selector_text_order") {
       const selector = check.selector || "";
       const expectedTexts = check.expected_texts || [];
-      const results = viewports.map((viewport) => {
+      const results = checkViewports.map((viewport) => {
         const texts = textSequenceForCheck(viewport, check);
         const match = textOrderMatch(texts, expectedTexts);
         return {
@@ -1538,7 +1608,7 @@ function assessProfile(profile, evidence) {
     }
     if (check.type === "frame_text_visible") {
       const selector = check.selector || "";
-      const results = viewports.map((viewport) => {
+      const results = checkViewports.map((viewport) => {
         const frames = frameEvidenceForSelector(viewport, selector);
         const matches = frames
           .map((frame, index) => ({ index, frame, matched: textMatches(frameTextSample(frame), check) }))
@@ -1565,7 +1635,7 @@ function assessProfile(profile, evidence) {
     if (check.type === "frame_no_horizontal_overflow") {
       const selector = check.selector || "";
       const maxOverflow = check.max_overflow_px == null ? 4 : check.max_overflow_px;
-      const results = viewports.map((viewport) => {
+      const results = checkViewports.map((viewport) => {
         const frames = frameEvidenceForSelector(viewport, selector);
         const frameOverflows = frames.map((frame, index) => ({
           index,
@@ -1595,7 +1665,7 @@ function assessProfile(profile, evidence) {
     if (check.type === "text_visible" || check.type === "text_absent") {
       const key = check.pattern ? "pattern:" + check.pattern + "/" + (check.flags || "") : "text:" + (check.text || "");
       const expectedVisible = check.type === "text_visible";
-      const matches = viewports.map((viewport) => viewport.text_matches && typeof viewport.text_matches[key] === "boolean" ? viewport.text_matches[key] : textMatches(viewport.body_text_sample || "", check));
+      const matches = checkViewports.map((viewport) => viewport.text_matches && typeof viewport.text_matches[key] === "boolean" ? viewport.text_matches[key] : textMatches(viewport.body_text_sample || "", check));
       const failed = matches.filter((matched) => matched !== expectedVisible).length;
       checks.push({
         type: check.type,
@@ -1607,7 +1677,7 @@ function assessProfile(profile, evidence) {
       continue;
     }
     if (check.type === "route_inventory") {
-      const inventories = viewports
+      const inventories = checkViewports
         .map((viewport) => ({ viewport: viewport.name, inventory: viewport.route_inventory }))
         .filter((item) => item.inventory && typeof item.inventory === "object");
       if (!inventories.length) {
@@ -1659,7 +1729,7 @@ function assessProfile(profile, evidence) {
     }
     if (check.type === "no_horizontal_overflow" || check.type === "no_mobile_horizontal_overflow") {
       const maxOverflow = check.max_overflow_px == null ? 4 : check.max_overflow_px;
-      const applicable = check.type === "no_mobile_horizontal_overflow" ? viewports.filter((viewport) => viewport.width <= 820) : viewports;
+      const applicable = check.type === "no_mobile_horizontal_overflow" ? checkViewports.filter((viewport) => viewport.width <= 820) : checkViewports;
       if (!applicable.length) {
         checks.push({
           type: check.type,
@@ -1814,6 +1884,52 @@ function compactSetupResultText(value) {
   if (text.length <= 500) return text;
   return text.slice(0, 500) + "... (" + text.length + " chars)";
 }
+function compactNetworkMockRequestBody(value) {
+  const text = String(value || "").replace(/\s+/g, " ").trim();
+  if (text.length <= 1000) return text;
+  return text.slice(0, 1000) + "... (" + text.length + " chars)";
+}
+function networkMockStringList(value) {
+  return Array.isArray(value) ? value.map((item) => String(item)).filter(Boolean) : [];
+}
+function networkMockShouldCaptureRequestBody(mock) {
+  return mock && (
+    mock.capture_request_body === true
+    || networkMockStringList(mock.request_body_contains).length > 0
+    || networkMockStringList(mock.request_body_patterns).length > 0
+  );
+}
+function networkMockRequestBodyFailures(body, mock) {
+  const failures = [];
+  const rawBody = String(body || "");
+  const compactBody = compactNetworkMockRequestBody(rawBody);
+  for (const expected of networkMockStringList(mock.request_body_contains)) {
+    if (!rawBody.includes(expected) && !compactBody.includes(expected)) {
+      failures.push({
+        type: "request_body_missing_text",
+        text: String(expected).slice(0, 200),
+      });
+    }
+  }
+  for (const pattern of networkMockStringList(mock.request_body_patterns)) {
+    try {
+      const regex = new RegExp(pattern);
+      if (!regex.test(rawBody) && !regex.test(compactBody)) {
+        failures.push({
+          type: "request_body_pattern_not_matched",
+          pattern: String(pattern).slice(0, 200),
+        });
+      }
+    } catch (error) {
+      failures.push({
+        type: "request_body_invalid_pattern",
+        pattern: String(pattern).slice(0, 200),
+        error: String(error && error.message ? error.message : error).slice(0, 500),
+      });
+    }
+  }
+  return failures;
+}
 async function setupLocatorVisible(locator, index) {
   return await locator.nth(index).isVisible({ timeout: 1000 }).catch(() => false);
 }
@@ -1842,7 +1958,11 @@ async function registerNetworkMocks(mocks) {
           body = JSON.stringify(response.body_json);
           contentType = response.content_type || headers["content-type"] || headers["Content-Type"] || "application/json";
         }
-        networkMockEvents.push({
+        const shouldCaptureRequestBody = networkMockShouldCaptureRequestBody(mock);
+        const requestBody = shouldCaptureRequestBody && request.postData ? request.postData() || "" : "";
+        const requestBodyFailures = shouldCaptureRequestBody ? networkMockRequestBodyFailures(requestBody, mock) : [];
+        const status = response.status || mock.status || 200;
+        const event = {
           ok: true,
           label: mock.label,
           response_label: response.label || null,
@@ -1852,10 +1972,17 @@ async function registerNetworkMocks(mocks) {
           sequence_cycle: responseIndex !== null && mock.repeat_responses === true && hitIndex >= responses.length,
           url: request.url(),
           method,
-          status: response.status || mock.status || 200,
-        });
+          status,
+        };
+        if (shouldCaptureRequestBody) {
+          event.request_body_matches = requestBodyFailures.length === 0;
+          event.request_body_failures = requestBodyFailures;
+          event.request_body_length = requestBody.length;
+          event.request_body_sample = compactNetworkMockRequestBody(requestBody);
+        }
+        networkMockEvents.push(event);
         await route.fulfill({
-          status: response.status || mock.status || 200,
+          status,
           headers,
           contentType,
           body,