@riddledc/riddle-proof 0.8.4 → 0.8.5

package/dist/advanced/engine-harness.cjs

@@ -2465,7 +2465,7 @@ ${implementRes.stderr || ""}`;
           state = readState(config.statePath);
         }
         const checkpointName = "verify_capture_retry";
-        const summary = "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
+        const summary = stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
         recordAttempt("verify", "checkpoint", summary, {
           autoApproved: verifyRes.autoApproved || false,
           checkpoint: checkpointName,

package/dist/advanced/engine-harness.js

@@ -2,7 +2,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "../chunk-IP64JLLR.js";
+} from "../chunk-BDFSMWTI.js";
 import "../chunk-YZUVEJ5B.js";
 import "../chunk-FMOYUYH2.js";
 import "../chunk-RV6LK7HU.js";

package/dist/advanced/index.cjs

@@ -2495,7 +2495,7 @@ ${implementRes.stderr || ""}`;
           state = readState(config.statePath);
         }
         const checkpointName = "verify_capture_retry";
-        const summary = "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
+        const summary = stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
         recordAttempt("verify", "checkpoint", summary, {
           autoApproved: verifyRes.autoApproved || false,
           checkpoint: checkpointName,

package/dist/advanced/index.js

@@ -1,12 +1,12 @@
 import {
   proof_run_engine_exports
-} from "../chunk-P22V26PS.js";
+} from "../chunk-GMZ57RRY.js";
 import {
   runner_exports
 } from "../chunk-UIJ7X63P.js";
 import {
   engine_harness_exports
-} from "../chunk-IP64JLLR.js";
+} from "../chunk-BDFSMWTI.js";
 import "../chunk-YZUVEJ5B.js";
 import "../chunk-FMOYUYH2.js";
 import {

package/dist/advanced/proof-run-engine.cjs

@@ -2465,7 +2465,7 @@ ${implementRes.stderr || ""}`;
           state = readState(config.statePath);
         }
         const checkpointName = "verify_capture_retry";
-        const summary = "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
+        const summary = stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
         recordAttempt("verify", "checkpoint", summary, {
           autoApproved: verifyRes.autoApproved || false,
           checkpoint: checkpointName,

package/dist/advanced/proof-run-engine.js

@@ -1,7 +1,7 @@
 import {
   createRiddleProofEngine,
   executeWorkflow
-} from "../chunk-P22V26PS.js";
+} from "../chunk-GMZ57RRY.js";
 import "../chunk-RV6LK7HU.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/{chunk-P22V26PS.js → chunk-GMZ57RRY.js}

@@ -1447,7 +1447,7 @@ ${implementRes.stderr || ""}`;
           state = readState(config.statePath);
         }
         const checkpointName = "verify_capture_retry";
-        const summary = "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
+        const summary = stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
         recordAttempt("verify", "checkpoint", summary, {
           autoApproved: verifyRes.autoApproved || false,
           checkpoint: checkpointName,

package/dist/{chunk-LZFCIHDT.js → chunk-OD5UNE57.js}

@@ -22,7 +22,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-IP64JLLR.js";
+} from "./chunk-BDFSMWTI.js";
 import {
   createCheckpointResponseTemplate
 } from "./chunk-4FOHZ7JG.js";

package/dist/cli/index.js

@@ -1,7 +1,7 @@
-import "../chunk-LZFCIHDT.js";
+import "../chunk-OD5UNE57.js";
 import "../chunk-PEWAIEER.js";
 import "../chunk-TWTEUS7R.js";
-import "../chunk-IP64JLLR.js";
+import "../chunk-BDFSMWTI.js";
 import "../chunk-YZUVEJ5B.js";
 import "../chunk-FMOYUYH2.js";
 import "../chunk-RV6LK7HU.js";

package/dist/cli.cjs

@@ -2465,7 +2465,7 @@ ${implementRes.stderr || ""}`;
           state = readState(config.statePath);
         }
         const checkpointName = "verify_capture_retry";
-        const summary = "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
+        const summary = stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
         recordAttempt("verify", "checkpoint", summary, {
           autoApproved: verifyRes.autoApproved || false,
           checkpoint: checkpointName,

package/dist/cli.js

@@ -1,8 +1,8 @@
 #!/usr/bin/env node
-import "./chunk-LZFCIHDT.js";
+import "./chunk-OD5UNE57.js";
 import "./chunk-PEWAIEER.js";
 import "./chunk-TWTEUS7R.js";
-import "./chunk-IP64JLLR.js";
+import "./chunk-BDFSMWTI.js";
 import "./chunk-YZUVEJ5B.js";
 import "./chunk-FMOYUYH2.js";
 import "./chunk-RV6LK7HU.js";

package/dist/engine-harness.cjs

@@ -2465,7 +2465,7 @@ ${implementRes.stderr || ""}`;
           state = readState(config.statePath);
         }
         const checkpointName = "verify_capture_retry";
-        const summary = "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
+        const summary = stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
         recordAttempt("verify", "checkpoint", summary, {
           autoApproved: verifyRes.autoApproved || false,
           checkpoint: checkpointName,

package/dist/engine-harness.js

@@ -2,7 +2,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-IP64JLLR.js";
+} from "./chunk-BDFSMWTI.js";
 import "./chunk-YZUVEJ5B.js";
 import "./chunk-FMOYUYH2.js";
 import "./chunk-RV6LK7HU.js";

package/dist/index.cjs

@@ -2465,7 +2465,7 @@ ${implementRes.stderr || ""}`;
           state = readState(config.statePath);
         }
         const checkpointName = "verify_capture_retry";
-        const summary = "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
+        const summary = stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
         recordAttempt("verify", "checkpoint", summary, {
           autoApproved: verifyRes.autoApproved || false,
           checkpoint: checkpointName,

package/dist/index.js

@@ -95,7 +95,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-IP64JLLR.js";
+} from "./chunk-BDFSMWTI.js";
 import {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,

package/dist/proof-run-engine.cjs

@@ -2463,7 +2463,7 @@ ${implementRes.stderr || ""}`;
           state = readState(config.statePath);
         }
         const checkpointName = "verify_capture_retry";
-        const summary = "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
+        const summary = stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
         recordAttempt("verify", "checkpoint", summary, {
           autoApproved: verifyRes.autoApproved || false,
           checkpoint: checkpointName,

package/dist/proof-run-engine.js

@@ -1,7 +1,7 @@
 import {
   createRiddleProofEngine,
   executeWorkflow
-} from "./chunk-P22V26PS.js";
+} from "./chunk-GMZ57RRY.js";
 import "./chunk-RV6LK7HU.js";
 import "./chunk-MLKGABMK.js";
 export {

package/package.json

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

package/runtime/lib/verify.py

@@ -2442,7 +2442,7 @@ def evaluate_capture_quality(payload, expected_path, verification_mode='proof'):
     }
 
 
-def build_capture_retry_decision(after_observation, required_baseline_present, proof_evidence_blocker=''):
+def build_capture_retry_decision(after_observation, required_baseline_present, proof_evidence_blocker='', route_expectation=None):
     reasons = []
     if not required_baseline_present:
         reasons.append('Recon baseline is missing, so verify should return to recon instead of guessing a new reference context.')
@@ -2455,6 +2455,7 @@ def build_capture_retry_decision(after_observation, required_baseline_present, p
         }
 
     details = after_observation.get('details') if isinstance(after_observation.get('details'), dict) else {}
+    route_expectation = route_expectation if isinstance(route_expectation, dict) else {}
     route_mismatch = None
     reason_text = str(after_observation.get('reason') or '')
     if 'wrong route' in reason_text:
@@ -2466,6 +2467,11 @@ def build_capture_retry_decision(after_observation, required_baseline_present, p
                 'expected_path': expected,
                 'observed_after_path': observed,
             }
+    error_messages = [
+        str(item).strip()
+        for item in (details.get('capture_error_messages') or [])
+        if str(item).strip()
+    ]
 
     if proof_evidence_blocker:
         reasons.append(proof_evidence_blocker)
@@ -2493,6 +2499,9 @@ def build_capture_retry_decision(after_observation, required_baseline_present, p
                 (route_mismatch.get('observed_after_path') or '(unknown)') +
                 '.'
             )
+        if error_messages:
+            reasons.append('Capture script error: ' + error_messages[0][:500])
+            summary += ' Capture script error: ' + error_messages[0][:300]
         return {
             'decision': decision,
             'summary': summary,
@@ -2504,12 +2513,14 @@ def build_capture_retry_decision(after_observation, required_baseline_present, p
 
     reason = after_observation.get('reason') or 'after capture is not usable yet'
     reasons.append('The after evidence is not usable yet: ' + reason)
-    recommended_stage = 'recon' if 'wrong route' in reason else 'author'
-    error_messages = [
-        str(item).strip()
-        for item in (details.get('capture_error_messages') or [])
-        if str(item).strip()
-    ]
+    route_expectation_source = str(route_expectation.get('source') or '')
+    authored_terminal_route = bool(
+        route_mismatch
+        and route_expectation.get('mode') in INTERACTION_MODES
+        and route_expectation.get('terminal_path')
+        and route_expectation_source != 'recon_start_path'
+    )
+    recommended_stage = 'recon' if 'wrong route' in reason and not authored_terminal_route else 'author'
     mismatch = None
     if recommended_stage == 'recon':
         expected = details.get('expected_path') or ''
@@ -2526,7 +2537,17 @@ def build_capture_retry_decision(after_observation, required_baseline_present, p
             summary = 'Verify capture route mismatch needs recon to refresh the reference path.'
         reasons.append('The capture appears to be on the wrong route or baseline context, so recon should refresh the reference path.')
     else:
-        if error_messages:
+        if route_mismatch:
+            expected = route_mismatch.get('expected_path') or ''
+            observed = route_mismatch.get('observed_after_path') or ''
+            mismatch = route_mismatch
+            reasons.append('Route mismatch: expected after capture path ' + (expected or '(unknown)') + ', observed ' + (observed or '(unknown)') + '.')
+            reasons.append('The terminal route came from the authored interaction proof packet, so the capture plan should be revised instead of refreshing recon.')
+            summary = 'Verify capture route mismatch after authored interaction: expected ' + (expected or '(unknown)') + ', got ' + (observed or '(unknown)') + '.'
+            if error_messages:
+                reasons.append('Capture script error: ' + error_messages[0][:500])
+                summary += ' Capture script error: ' + error_messages[0][:300]
+        elif error_messages:
             reasons.append('Capture script error: ' + error_messages[0][:500])
             summary = 'Verify capture script failed: ' + error_messages[0][:300]
         else:
@@ -3298,7 +3319,7 @@ if has_good_evidence:
     summary_lines.append('Proof assessment: awaiting supervising agent judgment')
     summary_lines.append('Proof next stage: supervising agent decides after reviewing the evidence packet')
 else:
-    capture_retry = visual_delta_recovery or build_capture_retry_decision(after_observation, required_baseline_present, proof_evidence_blocker)
+    capture_retry = visual_delta_recovery or build_capture_retry_decision(after_observation, required_baseline_present, proof_evidence_blocker, s.get('route_expectation') or {})
     next_stage_options = ['author', 'verify', 'recon'] if no_implementation_mode else ['author', 'verify', 'implement', 'recon']
     s['verify_status'] = 'capture_incomplete'
     s['merge_recommendation'] = 'do-not-merge'

package/runtime/tests/recon_verify_smoke.py

@@ -290,6 +290,41 @@ class FakeRiddle:
                         'totalPixels': 972000,
                     },
                 }
+            if 'pricingQueryHashDropsTerminal' in script:
+                message = (
+                    'page.waitForURL: Timeout 15000ms exceeded.\n'
+                    '=========================== logs ===========================\n'
+                    'waiting for navigation until "load"\n'
+                    '  navigated to "https://riddledc.com/pricing/"'
+                )
+                page_state = {
+                    'bodyTextLength': 260,
+                    'visibleTextSample': 'Pricing One rate Browser Compute Example Costs',
+                    'interactiveElements': 8,
+                    'visibleInteractiveElements': 8,
+                    'pathname': '/pricing/',
+                    'search': '',
+                    'hash': '',
+                    'title': 'Pricing',
+                    'buttons': [],
+                    'headings': ['Pricing', 'Browser Compute'],
+                    'links': [{'text': 'Pricing', 'href': '/pricing/?rp_probe=1#pricing-probe'}],
+                    'canvasCount': 0,
+                    'largeVisibleElements': [{'tag': 'main', 'text': 'Pricing'}],
+                }
+                return {
+                    'ok': True,
+                    'screenshots': [{'url': 'https://cdn.example.com/pricing-no-query-hash.png'}],
+                    'outputs': [{'name': 'after-pricing-query-hash.png', 'url': 'https://cdn.example.com/pricing-no-query-hash.png'}],
+                    'result': {'pageState': page_state},
+                    'console': [
+                        'RIDDLE_PROOF_STATE:' + json.dumps(page_state),
+                        'Uncaught exception: ' + message,
+                    ],
+                    '_artifact_json': {
+                        'proof.json': {'script_error': message},
+                    },
+                }
             if 'clickedProofNavigation' in script:
                 page_state = {
                     'bodyTextLength': 180,
@@ -2495,6 +2530,65 @@ def run_verify_interaction_hash_terminal_route_from_proof_evidence():
         shutil.rmtree(tempdir, ignore_errors=True)
 
 
+def run_verify_interaction_authored_query_hash_mismatch_returns_author():
+    tempdir = Path(tempfile.mkdtemp(prefix='riddle-proof-interaction-query-hash-mismatch-'))
+    state_path = tempdir / 'state.json'
+    try:
+        state = base_state(tempdir, reference='before')
+        state.update({
+            'recon_status': 'ready_for_proof_plan',
+            'author_status': 'ready',
+            'proof_plan_status': 'ready',
+            'implementation_status': 'changes_detected',
+            'implementation_mode': 'none',
+            'require_diff': False,
+            'allow_code_changes': False,
+            'verification_mode': 'interaction',
+            'server_path': '/',
+            'before_cdn': 'https://cdn.example.com/before-home.png',
+            'proof_plan': 'Start at /, click Pricing, and verify /pricing/?rp_probe=1#pricing-probe.',
+            'capture_script': "pricingQueryHashDropsTerminal(); await page.waitForURL('/pricing/?rp_probe=1#pricing-probe');",
+            'supervisor_author_packet': {
+                'proof_plan': 'Click Pricing and prove the terminal query/hash route.',
+                'capture_script': "pricingQueryHashDropsTerminal(); await page.waitForURL('/pricing/?rp_probe=1#pricing-probe');",
+                'refined_inputs': {
+                    'server_path': '/',
+                    'expected_terminal_path': '/pricing/?rp_probe=1#pricing-probe',
+                },
+            },
+            'recon_results': {
+                'baselines': {'before': {'path': '/', 'url': 'https://cdn.example.com/before-home.png'}},
+            },
+        })
+        write_state(state_path, state)
+        os.environ['RIDDLE_PROOF_STATE_FILE'] = str(state_path)
+
+        fake = FakeRiddle()
+        load_util_with_fake(fake)
+        load_module('verify_interaction_authored_query_hash_mismatch', VERIFY_PATH)
+        after_verify = json.loads(state_path.read_text())
+
+        request = after_verify['verify_decision_request']
+        capture_quality = request['capture_quality']
+        assert after_verify['verify_status'] == 'capture_incomplete'
+        assert after_verify['route_expectation']['expected_query'] == 'rp_probe=1'
+        assert after_verify['route_expectation']['expected_hash'] == '#pricing-probe'
+        assert request['recommended_stage'] == 'author'
+        assert request['continue_with_stage'] == 'author'
+        assert capture_quality['recommended_stage'] == 'author'
+        assert capture_quality['mismatch']['expected_path'] == '/pricing?rp_probe=1#pricing-probe'
+        assert capture_quality['mismatch']['observed_after_path'] == '/pricing/'
+        assert 'page.waitForURL: Timeout 15000ms exceeded' in capture_quality['summary']
+        assert any('capture plan should be revised' in reason for reason in capture_quality['reasons'])
+        return {
+            'ok': True,
+            'summary': capture_quality['summary'],
+            'recommended_stage': request['recommended_stage'],
+        }
+    finally:
+        shutil.rmtree(tempdir, ignore_errors=True)
+
+
 def run_verify_capture_retry_surfaces_script_timeout():
     tempdir = Path(tempfile.mkdtemp(prefix='riddle-proof-capture-timeout-'))
     state_path = tempdir / 'state.json'
@@ -2914,6 +3008,7 @@ if __name__ == '__main__':
         'verify_interaction_terminal_route_from_proof_evidence': run_verify_interaction_terminal_route_from_proof_evidence(),
         'verify_interaction_reverse_terminal_route_from_proof_evidence': run_verify_interaction_reverse_terminal_route_from_proof_evidence(),
         'verify_interaction_hash_terminal_route_from_proof_evidence': run_verify_interaction_hash_terminal_route_from_proof_evidence(),
+        'verify_interaction_authored_query_hash_mismatch_returns_author': run_verify_interaction_authored_query_hash_mismatch_returns_author(),
         'verify_capture_retry_surfaces_script_timeout': run_verify_capture_retry_surfaces_script_timeout(),
         'missing_baseline_guard': run_verify_missing_baseline(),
         'ship_supervisor_gate': run_ship_missing_supervisor_gate(),