@riddledc/riddle-proof 0.7.87 → 0.7.89

package/README.md

@@ -103,7 +103,9 @@ targeted copy or UI changes, the visual gate can use a lower targeted threshold
 only when route/text semantics match the requested change. When before/after
 image artifacts can be compared directly, the runtime also records the changed
 region bounding box and refuses the targeted threshold if that exact region is
-too broad for a localized UI change. Missing or unmeasured visual deltas
+too broad for a localized UI change. External visual-delta payloads can provide
+that region with common field names such as `changed_region`, `bounds`, `bbox`,
+`boundingBox`, `xMin`/`xMax`, or `x1`/`x2`. Missing or unmeasured visual deltas
 continue through evidence recovery instead of being treated as a passing proof.
 
 ## CI / Profile Mode

package/dist/cli.cjs

@@ -11721,6 +11721,28 @@ function profileEnvironmentBlockerMarkdown(result) {
   if (minimumPurchaseDollars !== void 0) lines.push(`- minimum purchase: $${minimumPurchaseDollars}`);
   return lines;
 }
+function profileCliDiagnosticLine(result) {
+  if (result.status !== "environment_blocked") return void 0;
+  const blocker = cliRecord(result.environment_blocker);
+  if (blocker?.reason === "insufficient_balance") {
+    const requiredSeconds = cliFiniteNumber(blocker.required_seconds);
+    const availableSeconds = cliFiniteNumber(blocker.available_seconds);
+    const deficitSeconds = cliFiniteNumber(blocker.deficit_seconds);
+    const parts = [
+      requiredSeconds === void 0 ? "" : `required=${requiredSeconds}s`,
+      availableSeconds === void 0 ? "" : `available=${availableSeconds}s`,
+      deficitSeconds === void 0 ? "" : `deficit=${deficitSeconds}s`
+    ].filter(Boolean);
+    return `[riddle-profile] environment_blocked insufficient_balance${parts.length ? ` ${parts.join(" ")}` : ""}`;
+  }
+  const source = cliString(blocker?.source);
+  const endpoint = cliString(blocker?.endpoint);
+  const httpStatus = cliFiniteNumber(blocker?.http_status);
+  if (source || endpoint || httpStatus !== void 0) {
+    return `[riddle-profile] environment_blocked${source ? ` source=${source}` : ""}${endpoint ? ` endpoint=${endpoint}` : ""}${httpStatus === void 0 ? "" : ` http_status=${httpStatus}`}`;
+  }
+  return `[riddle-profile] environment_blocked ${result.summary}`;
+}
 function profileSetupSummaryMarkdown(result) {
   const setupCheck = result.checks.find((check) => check.type === "setup_actions_succeeded");
   const setupSummary = cliRecord(setupCheck?.evidence?.setup_summary);
@@ -12020,6 +12042,11 @@ async function main() {
     const profile = normalizeProfileForCli(options);
     const result = await runProfileForCli(profile, options);
     writeProfileOutput(profileOutputDirOption(options), result);
+    const diagnosticLine = profileCliDiagnosticLine(result);
+    if (diagnosticLine && optionBoolean(options, "quiet") !== true) {
+      process.stderr.write(`${diagnosticLine}
+`);
+    }
     process.stdout.write(`${JSON.stringify(result, null, 2)}
 `);
     process.exitCode = profileStatusExitCode(profile, result.status);

package/dist/cli.js

@@ -456,6 +456,28 @@ function profileEnvironmentBlockerMarkdown(result) {
   if (minimumPurchaseDollars !== void 0) lines.push(`- minimum purchase: $${minimumPurchaseDollars}`);
   return lines;
 }
+function profileCliDiagnosticLine(result) {
+  if (result.status !== "environment_blocked") return void 0;
+  const blocker = cliRecord(result.environment_blocker);
+  if (blocker?.reason === "insufficient_balance") {
+    const requiredSeconds = cliFiniteNumber(blocker.required_seconds);
+    const availableSeconds = cliFiniteNumber(blocker.available_seconds);
+    const deficitSeconds = cliFiniteNumber(blocker.deficit_seconds);
+    const parts = [
+      requiredSeconds === void 0 ? "" : `required=${requiredSeconds}s`,
+      availableSeconds === void 0 ? "" : `available=${availableSeconds}s`,
+      deficitSeconds === void 0 ? "" : `deficit=${deficitSeconds}s`
+    ].filter(Boolean);
+    return `[riddle-profile] environment_blocked insufficient_balance${parts.length ? ` ${parts.join(" ")}` : ""}`;
+  }
+  const source = cliString(blocker?.source);
+  const endpoint = cliString(blocker?.endpoint);
+  const httpStatus = cliFiniteNumber(blocker?.http_status);
+  if (source || endpoint || httpStatus !== void 0) {
+    return `[riddle-profile] environment_blocked${source ? ` source=${source}` : ""}${endpoint ? ` endpoint=${endpoint}` : ""}${httpStatus === void 0 ? "" : ` http_status=${httpStatus}`}`;
+  }
+  return `[riddle-profile] environment_blocked ${result.summary}`;
+}
 function profileSetupSummaryMarkdown(result) {
   const setupCheck = result.checks.find((check) => check.type === "setup_actions_succeeded");
   const setupSummary = cliRecord(setupCheck?.evidence?.setup_summary);
@@ -755,6 +777,11 @@ async function main() {
     const profile = normalizeProfileForCli(options);
     const result = await runProfileForCli(profile, options);
     writeProfileOutput(profileOutputDirOption(options), result);
+    const diagnosticLine = profileCliDiagnosticLine(result);
+    if (diagnosticLine && optionBoolean(options, "quiet") !== true) {
+      process.stderr.write(`${diagnosticLine}
+`);
+    }
     process.stdout.write(`${JSON.stringify(result, null, 2)}
 `);
     process.exitCode = profileStatusExitCode(profile, result.status);

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

@@ -120,7 +120,7 @@ declare function buildSetupArgs(params: WorkflowParams, config: ReturnType<typeo
     target_image_hash: string;
     viewport_matrix_json: string;
     deterministic_setup_json: string;
-    reference: "before" | "prod" | "both";
+    reference: "prod" | "before" | "both";
     base_branch: string;
     before_ref: string;
     allow_static_preview_fallback: string;

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

@@ -120,7 +120,7 @@ declare function buildSetupArgs(params: WorkflowParams, config: ReturnType<typeo
     target_image_hash: string;
     viewport_matrix_json: string;
     deterministic_setup_json: string;
-    reference: "before" | "prod" | "both";
+    reference: "prod" | "before" | "both";
     base_branch: string;
     before_ref: string;
     allow_static_preview_fallback: string;

package/package.json

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

package/runtime/lib/verify.py

@@ -100,14 +100,40 @@ VISUAL_CHANGED_REGION_KEYS = {
     'changed_region', 'changedregion', 'diff_region', 'diffregion',
     'difference_region', 'differenceregion', 'changed_bounds',
     'changedbounds', 'diff_bounds', 'diffbounds', 'difference_bounds',
-    'differencebounds', 'bounding_box', 'boundingbox', 'bbox', 'bounds',
+    'differencebounds', 'changed_bounding_box', 'changedboundingbox',
+    'changed_bbox', 'changedbbox', 'diff_bounding_box', 'diffboundingbox',
+    'diff_bbox', 'diffbbox', 'difference_bounding_box',
+    'differenceboundingbox', 'difference_bbox', 'differencebbox',
+    'mismatch_region', 'mismatchregion', 'mismatch_bounds',
+    'mismatchbounds', 'mismatch_bounding_box', 'mismatchboundingbox',
+    'visual_diff_region', 'visualdiffregion', 'visual_diff_bounds',
+    'visualdiffbounds', 'visual_diff_bounding_box',
+    'visualdiffboundingbox', 'bounding_box', 'boundingbox',
+    'bounding_rect', 'boundingrect', 'bbox', 'bounds', 'box', 'rect',
+    'rectangle', 'region',
+}
+VISUAL_REGION_X_KEYS = {
+    'x', 'x1', 'left', 'min_x', 'minx', 'x_min', 'xmin',
+    'start_x', 'startx', 'from_x', 'fromx',
+}
+VISUAL_REGION_Y_KEYS = {
+    'y', 'y1', 'top', 'min_y', 'miny', 'y_min', 'ymin',
+    'start_y', 'starty', 'from_y', 'fromy',
+}
+VISUAL_REGION_WIDTH_KEYS = {
+    'width', 'w', 'region_width', 'regionwidth', 'bbox_width', 'bboxwidth',
+}
+VISUAL_REGION_HEIGHT_KEYS = {
+    'height', 'h', 'region_height', 'regionheight', 'bbox_height', 'bboxheight',
+}
+VISUAL_REGION_RIGHT_KEYS = {
+    'right', 'x2', 'max_x', 'maxx', 'x_max', 'xmax',
+    'end_x', 'endx', 'to_x', 'tox',
+}
+VISUAL_REGION_BOTTOM_KEYS = {
+    'bottom', 'y2', 'max_y', 'maxy', 'y_max', 'ymax',
+    'end_y', 'endy', 'to_y', 'toy',
 }
-VISUAL_REGION_X_KEYS = {'x', 'left', 'min_x', 'minx'}
-VISUAL_REGION_Y_KEYS = {'y', 'top', 'min_y', 'miny'}
-VISUAL_REGION_WIDTH_KEYS = {'width', 'w'}
-VISUAL_REGION_HEIGHT_KEYS = {'height', 'h'}
-VISUAL_REGION_RIGHT_KEYS = {'right', 'max_x', 'maxx'}
-VISUAL_REGION_BOTTOM_KEYS = {'bottom', 'max_y', 'maxy'}
 
 
 def capture_script_saves_screenshot(script):
@@ -1022,16 +1048,27 @@ def visual_delta_semantic_support(state=None, semantic_context=None):
     }
 
 
+def find_direct_metric_value(value, key_names):
+    if not isinstance(value, dict):
+        return None
+    for raw_key, raw_value in value.items():
+        if normalize_metric_key(raw_key) in key_names:
+            number = metric_number(raw_value)
+            if number is not None:
+                return number
+    return None
+
+
 def normalize_changed_region(value, total_pixels=None, changed_pixels=None, image_width=None, image_height=None, dimension_mismatch=False):
     if not isinstance(value, dict):
         return None
 
-    x = find_metric_value(value, VISUAL_REGION_X_KEYS)
-    y = find_metric_value(value, VISUAL_REGION_Y_KEYS)
-    width = find_metric_value(value, VISUAL_REGION_WIDTH_KEYS)
-    height = find_metric_value(value, VISUAL_REGION_HEIGHT_KEYS)
-    right = find_metric_value(value, VISUAL_REGION_RIGHT_KEYS)
-    bottom = find_metric_value(value, VISUAL_REGION_BOTTOM_KEYS)
+    x = find_direct_metric_value(value, VISUAL_REGION_X_KEYS)
+    y = find_direct_metric_value(value, VISUAL_REGION_Y_KEYS)
+    width = find_direct_metric_value(value, VISUAL_REGION_WIDTH_KEYS)
+    height = find_direct_metric_value(value, VISUAL_REGION_HEIGHT_KEYS)
+    right = find_direct_metric_value(value, VISUAL_REGION_RIGHT_KEYS)
+    bottom = find_direct_metric_value(value, VISUAL_REGION_BOTTOM_KEYS)
 
     if width is None and x is not None and right is not None and right > x:
         width = right - x
@@ -1091,10 +1128,31 @@ def normalize_changed_region(value, total_pixels=None, changed_pixels=None, imag
     }
 
 
+def looks_like_changed_region(value):
+    if not isinstance(value, dict):
+        return False
+    keys = {normalize_metric_key(key) for key in value.keys()}
+    has_x = bool(keys & VISUAL_REGION_X_KEYS)
+    has_y = bool(keys & VISUAL_REGION_Y_KEYS)
+    has_size = bool(keys & VISUAL_REGION_WIDTH_KEYS) and bool(keys & VISUAL_REGION_HEIGHT_KEYS)
+    has_edges = bool(keys & VISUAL_REGION_RIGHT_KEYS) and bool(keys & VISUAL_REGION_BOTTOM_KEYS)
+    return has_x and has_y and (has_size or has_edges)
+
+
 def find_changed_region(value, total_pixels=None, changed_pixels=None, image_width=None, image_height=None, depth=0):
     if depth > 7:
         return None
     if isinstance(value, dict):
+        if looks_like_changed_region(value):
+            region = normalize_changed_region(
+                value,
+                total_pixels=total_pixels,
+                changed_pixels=changed_pixels,
+                image_width=image_width,
+                image_height=image_height,
+            )
+            if region is not None:
+                return region
         for raw_key, raw_value in value.items():
             if normalize_metric_key(raw_key) in VISUAL_CHANGED_REGION_KEYS:
                 region = normalize_changed_region(

package/runtime/tests/recon_verify_smoke.py

@@ -707,6 +707,7 @@ def run_verify_quality_ignores_proof_telemetry_console_text():
                 'changePercent': '1.45',
                 'diffPixelCount': 14094,
                 'totalPixels': 972000,
+                'diffBoundingBox': {'xMin': 10, 'yMin': 20, 'xMax': 110, 'yMax': 70},
             },
         },
     })
@@ -714,6 +715,28 @@ def run_verify_quality_ignores_proof_telemetry_console_text():
     assert visual_diff_delta['passed'] is True
     assert visual_diff_delta['change_percent'] == 1.45
     assert visual_diff_delta['changed_pixels'] == 14094
+    assert visual_diff_delta['changed_region']['x'] == 10
+    assert visual_diff_delta['changed_region']['width'] == 100
+    assert visual_diff_delta['changed_region']['height'] == 50
+
+    root_region_delta = namespace['extract_visual_delta']({
+        'ok': True,
+        'visual_diff': {
+            'diffPercentage': 0.04,
+            'differentPixels': 320,
+            'totalPixels': 972000,
+            'dimensions': {'width': 1080, 'height': 900},
+            'x1': 24,
+            'y1': 36,
+            'x2': 64,
+            'y2': 56,
+        },
+    })
+    assert root_region_delta['status'] == 'measured'
+    assert root_region_delta['changed_region']['x'] == 24
+    assert root_region_delta['changed_region']['y'] == 36
+    assert root_region_delta['changed_region']['width'] == 40
+    assert root_region_delta['changed_region']['height'] == 20
 
     viewport_status = namespace['capture_viewport_matrix_status'](
         {