@riddledc/riddle-proof 0.7.225 → 0.7.227

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@riddledc/riddle-proof",
-  "version": "0.7.225",
+  "version": "0.7.227",
   "description": "Reusable Riddle Proof contracts and helpers for evidence-backed agent changes.",
   "license": "MIT",
   "author": "RiddleDC",
@@ -54,6 +54,36 @@
       "import": "./dist/engine-harness.js",
       "require": "./dist/engine-harness.cjs"
     },
+    "./spec": {
+      "types": "./dist/spec/index.d.ts",
+      "import": "./dist/spec/index.js",
+      "require": "./dist/spec/index.cjs"
+    },
+    "./spec/types": {
+      "types": "./dist/spec/types.d.ts",
+      "import": "./dist/spec/types.js",
+      "require": "./dist/spec/types.cjs"
+    },
+    "./spec/result": {
+      "types": "./dist/spec/result.d.ts",
+      "import": "./dist/spec/result.js",
+      "require": "./dist/spec/result.cjs"
+    },
+    "./spec/state": {
+      "types": "./dist/spec/state.d.ts",
+      "import": "./dist/spec/state.js",
+      "require": "./dist/spec/state.cjs"
+    },
+    "./spec/checkpoint": {
+      "types": "./dist/spec/checkpoint.d.ts",
+      "import": "./dist/spec/checkpoint.js",
+      "require": "./dist/spec/checkpoint.cjs"
+    },
+    "./spec/run-card": {
+      "types": "./dist/spec/run-card.d.ts",
+      "import": "./dist/spec/run-card.js",
+      "require": "./dist/spec/run-card.cjs"
+    },
     "./codex-exec-agent": {
       "types": "./dist/codex-exec-agent.d.ts",
       "import": "./dist/codex-exec-agent.js",
@@ -108,6 +138,66 @@
       "types": "./dist/riddle-client.d.ts",
       "import": "./dist/riddle-client.js",
       "require": "./dist/riddle-client.cjs"
+    },
+    "./runtime": {
+      "types": "./dist/runtime/index.d.ts",
+      "import": "./dist/runtime/index.js",
+      "require": "./dist/runtime/index.cjs"
+    },
+    "./runtime/riddle-client": {
+      "types": "./dist/runtime/riddle-client.d.ts",
+      "import": "./dist/runtime/riddle-client.js",
+      "require": "./dist/runtime/riddle-client.cjs"
+    },
+    "./advanced": {
+      "types": "./dist/advanced/index.d.ts",
+      "import": "./dist/advanced/index.js",
+      "require": "./dist/advanced/index.cjs"
+    },
+    "./advanced/runner": {
+      "types": "./dist/advanced/runner.d.ts",
+      "import": "./dist/advanced/runner.js",
+      "require": "./dist/advanced/runner.cjs"
+    },
+    "./advanced/engine-harness": {
+      "types": "./dist/advanced/engine-harness.d.ts",
+      "import": "./dist/advanced/engine-harness.js",
+      "require": "./dist/advanced/engine-harness.cjs"
+    },
+    "./advanced/proof-run-core": {
+      "types": "./dist/advanced/proof-run-core.d.ts",
+      "import": "./dist/advanced/proof-run-core.js",
+      "require": "./dist/advanced/proof-run-core.cjs"
+    },
+    "./advanced/proof-run-engine": {
+      "types": "./dist/advanced/proof-run-engine.d.ts",
+      "import": "./dist/advanced/proof-run-engine.js",
+      "require": "./dist/advanced/proof-run-engine.cjs"
+    },
+    "./adapters/openclaw": {
+      "types": "./dist/adapters/openclaw.d.ts",
+      "import": "./dist/adapters/openclaw.js",
+      "require": "./dist/adapters/openclaw.cjs"
+    },
+    "./adapters/codex": {
+      "types": "./dist/adapters/codex.d.ts",
+      "import": "./dist/adapters/codex.js",
+      "require": "./dist/adapters/codex.cjs"
+    },
+    "./adapters/local-agent": {
+      "types": "./dist/adapters/local-agent.d.ts",
+      "import": "./dist/adapters/local-agent.js",
+      "require": "./dist/adapters/local-agent.cjs"
+    },
+    "./adapters/codex-exec-agent": {
+      "types": "./dist/adapters/codex-exec-agent.d.ts",
+      "import": "./dist/adapters/codex-exec-agent.js",
+      "require": "./dist/adapters/codex-exec-agent.cjs"
+    },
+    "./app-contract": {
+      "types": "./dist/app-contract/index.d.ts",
+      "import": "./dist/app-contract/index.js",
+      "require": "./dist/app-contract/index.cjs"
     }
   },
   "bin": {
@@ -125,13 +215,16 @@
   "engines": {
     "node": ">=18"
   },
+  "dependencies": {
+    "@riddledc/riddle-proof-app-contract": "^0.4.0"
+  },
   "devDependencies": {
     "@types/node": "^22.0.0",
     "tsup": "^8.0.1",
     "typescript": "^5.4.5"
   },
   "scripts": {
-    "build": "tsup src/index.ts src/types.ts src/result.ts src/state.ts src/checkpoint.ts src/run-card.ts src/runner.ts src/engine-harness.ts src/codex-exec-agent.ts src/local-agent.ts src/cli.ts src/diagnostics.ts src/proof-session.ts src/playability.ts src/basic-gameplay.ts src/profile.ts src/openclaw.ts src/proof-run-core.ts src/proof-run-engine.ts src/riddle-client.ts --format cjs,esm --dts --out-dir dist --clean",
+    "build": "tsup src/index.ts src/types.ts src/result.ts src/state.ts src/checkpoint.ts src/run-card.ts src/runner.ts src/engine-harness.ts src/codex-exec-agent.ts src/local-agent.ts src/cli.ts src/cli/index.ts src/diagnostics.ts src/proof-session.ts src/playability.ts src/basic-gameplay.ts src/profile.ts src/profile/index.ts src/openclaw.ts src/proof-run-core.ts src/proof-run-engine.ts src/riddle-client.ts src/runtime/riddle-client.ts src/spec/index.ts src/spec/types.ts src/spec/result.ts src/spec/state.ts src/spec/checkpoint.ts src/spec/run-card.ts src/runtime/index.ts src/app-contract/index.ts src/advanced/index.ts src/advanced/runner.ts src/advanced/engine-harness.ts src/advanced/proof-run-core.ts src/advanced/proof-run-engine.ts src/adapters/openclaw.ts src/adapters/local-agent.ts src/adapters/codex-exec-agent.ts src/adapters/codex.ts --format cjs,esm --dts --out-dir dist --clean",
     "clean": "rm -rf dist",
     "lint": "echo 'lint: (not configured)'",
     "test": "npm run build && node test.js && node proof-run.test.js"

package/runtime/lib/verify.py

@@ -557,6 +557,50 @@ def extract_proof_evidence(payload):
     return evidence
 
 
+def proof_evidence_records(value):
+    if isinstance(value, dict):
+        return [value]
+    if isinstance(value, list):
+        records = []
+        for item in value:
+            records.extend(proof_evidence_records(item))
+        return records
+    return []
+
+
+def static_audit_evidence_support(value):
+    for record in proof_evidence_records(value):
+        explicit_static = (
+            record.get('interactionNotRequired') is True
+            or record.get('interactionExpected') is False
+            or record.get('zeroInteractiveElementsExpected') is True
+            or record.get('staticPageExpected') is True
+        )
+        ready = record.get('proofReady') is True or record.get('staticAuditReady') is True
+        failed = any(record.get(key) is False for key in (
+            'proofReady',
+            'staticAuditReady',
+            'routeMatches',
+            'titleMatches',
+            'headingMatches',
+            'markerMatches',
+            'normalizedCopyVisible',
+            'noConsoleErrors',
+            'noPageErrors',
+        ))
+        if explicit_static and ready and not failed:
+            return {
+                'ready': True,
+                'interaction_not_required': True,
+                'source': str(record.get('version') or record.get('mode') or 'proof_evidence'),
+            }
+    return {
+        'ready': False,
+        'interaction_not_required': False,
+        'source': '',
+    }
+
+
 PLAYABILITY_EVIDENCE_VERSION = 'riddle-proof.playability.v1'
 PLAYABILITY_ASSESSMENT_VERSION = 'riddle-proof.playability.assessment.v1'
 PLAYABILITY_CONTAINER_KEYS = (
@@ -2012,6 +2056,8 @@ def evaluate_capture_quality(payload, expected_path, verification_mode='proof'):
     payload = enrich_capture_payload(payload)
     mode = normalized_verification_mode(verification_mode)
     supporting = collect_supporting_artifacts(payload)
+    proof_evidence = extract_proof_evidence(payload)
+    static_audit_support = static_audit_evidence_support(proof_evidence)
     structured_ready = bool(supporting.get('has_structured_payload'))
     playability_ready = mode in PLAYABILITY_MODES and bool(supporting.get('playability_ready'))
     screenshot_required = screenshot_required_for_mode(mode)
@@ -2023,6 +2069,8 @@ def evaluate_capture_quality(payload, expected_path, verification_mode='proof'):
         'structured_evidence_present': structured_ready,
         'proof_evidence_present': bool(supporting.get('proof_evidence_present')),
         'playability_ready': playability_ready,
+        'static_audit_ready': bool(static_audit_support.get('ready')),
+        'static_audit_support_source': static_audit_support.get('source', ''),
         'canvas_capture_ready': False,
         'large_canvas_area': 0,
         'min_canvas_area': MIN_CANVAS_AREA,
@@ -2110,13 +2158,15 @@ def evaluate_capture_quality(payload, expected_path, verification_mode='proof'):
 
     should_enforce_visual_readiness = screenshot_required or (details['has_screenshot'] and not structured_ready)
     canvas_ready = bool(details.get('canvas_capture_ready'))
-    body_text_ready = details['body_text_length'] >= MIN_BODY_TEXT_LENGTH or canvas_ready or playability_ready
-    interactive_ready = details['interactive_elements'] >= MIN_INTERACTIVE_ELEMENTS or canvas_ready or playability_ready
-    semantic_ready = (not has_enriched_page_state(page_state)) or details['semantic_anchor_count'] >= 1 or canvas_ready or playability_ready
+    static_audit_ready = bool(static_audit_support.get('ready'))
+    body_text_ready = details['body_text_length'] >= MIN_BODY_TEXT_LENGTH or canvas_ready or playability_ready or static_audit_ready
+    interactive_ready = details['interactive_elements'] >= MIN_INTERACTIVE_ELEMENTS or canvas_ready or playability_ready or static_audit_ready
+    semantic_ready = (not has_enriched_page_state(page_state)) or details['semantic_anchor_count'] >= 1 or canvas_ready or playability_ready or static_audit_ready
     details['body_text_ready'] = body_text_ready
     details['interactive_ready'] = interactive_ready
     details['semantic_ready'] = semantic_ready
     details['canvas_or_playability_override'] = bool(should_enforce_visual_readiness and (canvas_ready or playability_ready))
+    details['static_audit_readiness_override'] = bool(should_enforce_visual_readiness and static_audit_ready)
 
     if should_enforce_visual_readiness and not body_text_ready:
         reasons.append(f'blank/near-blank page (text length: {details["body_text_length"]})')

package/runtime/pipelines/riddle-proof-setup.lobster

@@ -101,48 +101,52 @@ steps:
     command: |
       python3 << 'PYEOF'
       import json, os
-      raw_server_path = """${server_path}""".strip()
-      args = {
-          'mode': """${mode}""".strip() or 'server',
-          'reference': """${reference}""".strip() or 'both',
-          'repo': """${repo}""".strip(),
-          'branch': """${branch}""".strip(),
-          'change_request': """${change_request}""".strip(),
-          'commit_message': """${commit_message}""".strip(),
-          'prod_url': """${prod_url}""".strip(),
-          'capture_script': """${capture_script}""".strip(),
-          'success_criteria': """${success_criteria}""".strip(),
-          'assertions_json': """${assertions_json}""".strip(),
-          'verification_mode': """${verification_mode}""".strip() or 'proof',
-          'context': """${context}""".strip(),
-          'reviewer': """${reviewer}""".strip() or 'davisdiehl',
-          'base_branch': """${base_branch}""".strip() or 'main',
-          'before_ref': """${before_ref}""".strip(),
-          'allow_static_preview_fallback': """${allow_static_preview_fallback}""".strip(),
-          'implementation_mode': """${implementation_mode}""".strip(),
-          'require_diff': """${require_diff}""".strip(),
-          'allow_code_changes': """${allow_code_changes}""".strip(),
-          'build_command': """${build_command}""".strip() or 'npm run build',
-          'build_output': """${build_output}""".strip() or 'build',
-          'server_image': """${server_image}""".strip() or 'node:20-slim',
-          'server_command': """${server_command}""".strip() or 'npm start',
-          'server_port': """${server_port}""".strip() or '3000',
-          'server_path': raw_server_path,
-          'server_path_source': 'user' if raw_server_path else '',
-          'use_auth': """${use_auth}""".strip(),
-          'auth_localStorage_json': """${auth_localStorage_json}""".strip(),
-          'auth_cookies_json': """${auth_cookies_json}""".strip(),
-          'auth_headers_json': """${auth_headers_json}""".strip(),
-          'color_scheme': """${color_scheme}""".strip(),
-          'wait_for_selector': """${wait_for_selector}""".strip(),
-          'discord_channel': """${discord_channel}""".strip(),
-          'discord_thread_id': """${discord_thread_id}""".strip(),
-          'discord_message_id': """${discord_message_id}""".strip(),
-          'discord_source_url': """${discord_source_url}""".strip(),
-      }
       args_file = os.environ.get('RIDDLE_PROOF_ARGS_FILE', '/tmp/riddle-proof-args.json')
-      with open(args_file, 'w') as f:
-          json.dump(args, f, indent=2)
+      if os.environ.get('RIDDLE_PROOF_ARGS_FILE') and os.path.exists(args_file):
+          with open(args_file) as f:
+              json.load(f)
+      else:
+          raw_server_path = '''${server_path}'''.strip()
+          args = {
+              'mode': '''${mode}'''.strip() or 'server',
+              'reference': '''${reference}'''.strip() or 'both',
+              'repo': '''${repo}'''.strip(),
+              'branch': '''${branch}'''.strip(),
+              'change_request': '''${change_request}'''.strip(),
+              'commit_message': '''${commit_message}'''.strip(),
+              'prod_url': '''${prod_url}'''.strip(),
+              'capture_script': '''${capture_script}'''.strip(),
+              'success_criteria': '''${success_criteria}'''.strip(),
+              'assertions_json': '''${assertions_json}'''.strip(),
+              'verification_mode': '''${verification_mode}'''.strip() or 'proof',
+              'context': '''${context}'''.strip(),
+              'reviewer': '''${reviewer}'''.strip() or 'davisdiehl',
+              'base_branch': '''${base_branch}'''.strip() or 'main',
+              'before_ref': '''${before_ref}'''.strip(),
+              'allow_static_preview_fallback': '''${allow_static_preview_fallback}'''.strip(),
+              'implementation_mode': '''${implementation_mode}'''.strip(),
+              'require_diff': '''${require_diff}'''.strip(),
+              'allow_code_changes': '''${allow_code_changes}'''.strip(),
+              'build_command': '''${build_command}'''.strip() or 'npm run build',
+              'build_output': '''${build_output}'''.strip() or 'build',
+              'server_image': '''${server_image}'''.strip() or 'node:20-slim',
+              'server_command': '''${server_command}'''.strip() or 'npm start',
+              'server_port': '''${server_port}'''.strip() or '3000',
+              'server_path': raw_server_path,
+              'server_path_source': 'user' if raw_server_path else '',
+              'use_auth': '''${use_auth}'''.strip(),
+              'auth_localStorage_json': '''${auth_localStorage_json}'''.strip(),
+              'auth_cookies_json': '''${auth_cookies_json}'''.strip(),
+              'auth_headers_json': '''${auth_headers_json}'''.strip(),
+              'color_scheme': '''${color_scheme}'''.strip(),
+              'wait_for_selector': '''${wait_for_selector}'''.strip(),
+              'discord_channel': '''${discord_channel}'''.strip(),
+              'discord_thread_id': '''${discord_thread_id}'''.strip(),
+              'discord_message_id': '''${discord_message_id}'''.strip(),
+              'discord_source_url': '''${discord_source_url}'''.strip(),
+          }
+          with open(args_file, 'w') as f:
+              json.dump(args, f, indent=2)
       PYEOF
       RP="${RIDDLE_PROOF_DIR:-/root/.openclaw/extensions/openclaw-riddle-proof/node_modules/@riddledc/riddle-proof/runtime}"
       python3 "${RP}/lib/preflight.py"

package/runtime/tests/recon_verify_smoke.py

@@ -562,6 +562,47 @@ def run_verify_quality_ignores_proof_telemetry_console_text():
     assert missing_query_quality['valid'] is False
     assert 'wrong route' in missing_query_quality['reason']
 
+    static_audit_payload = {
+        'bodyTextLength': 61,
+        'visibleTextSample': 'Riddle static preview smoke Static preview marker is visible.',
+        'interactiveElements': 0,
+        'visibleInteractiveElements': 0,
+        'pathname': '/s/ps_b7b5f0dc/',
+        'title': 'Riddle Preview Smoke',
+        'headings': ['Riddle static preview smoke'],
+        'buttons': [],
+        'links': [],
+        'canvasCount': 0,
+        'largeVisibleElements': [{'tag': 'h1', 'text': 'Riddle static preview smoke', 'area': 17208}],
+    }
+    static_audit_evidence = {
+        'version': 'riddle-proof.static-smoke.v4',
+        'proofReady': True,
+        'staticAuditReady': True,
+        'interactionExpected': False,
+        'interactionNotRequired': True,
+        'zeroInteractiveElementsExpected': True,
+        'routeMatches': True,
+        'titleMatches': True,
+        'headingMatches': True,
+        'markerMatches': True,
+        'normalizedCopyVisible': True,
+        'noConsoleErrors': True,
+        'noPageErrors': True,
+    }
+    static_audit_quality = namespace['evaluate_capture_quality']({
+        'ok': True,
+        'screenshots': [{'name': 'after-proof.png', 'url': 'https://cdn.example.com/static-after.png'}],
+        'outputs': [{'name': 'after-proof.png', 'url': 'https://cdn.example.com/static-after.png'}],
+        'console': [
+            'RIDDLE_PROOF_STATE:' + json.dumps(static_audit_payload),
+            'RIDDLE_PROOF_EVIDENCE:' + json.dumps(static_audit_evidence),
+        ],
+    }, '/s/ps_b7b5f0dc/', 'visual')
+    assert static_audit_quality['valid'] is True, static_audit_quality
+    assert static_audit_quality['details']['interactive_ready'] is True
+    assert static_audit_quality['details']['static_audit_readiness_override'] is True
+
     strong_delta = namespace['extract_visual_delta']({
         'ok': True,
         'result': {