@riddledc/riddle-proof 0.8.5 → 0.8.6

package/dist/adapters/codex-exec-agent.cjs

@@ -649,6 +649,7 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "Use the recon-approved route and baseline context; make the plan name the concrete target, expected before state, expected after state, and stop condition.",
           "Choose the evidence modality from verification_mode and success_criteria: screenshots for visual/UI proof, interactions plus screenshots for interaction proof, structured metrics/logs/JSON/audio analysis for non-visual proof.",
           "For playable/gameplay proof, treat screenshots as supporting artifacts only: start the game, send keyboard or pointer input, measure state before/after, measure non-HUD canvas/playfield pixel deltas across time, and return playability evidence with version riddle-proof.playability.v1.",
+          "For interaction proof, return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text. Catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.",
           "For structured proof, collect meaningful measurements inside page.evaluate, assign them to an evidence variable, and return that object from capture_script. Screenshots are optional supporting context for data/audio/log/metric/custom modes.",
           "Do not assign globalThis.__riddleProofEvidence, window.__riddleProofEvidence, or self.__riddleProofEvidence in the worker context. Avoid global evidence assignment unless it is inside page.evaluate for compatibility with older packets.",
           "Do not call Playwright page.* APIs inside page.evaluate; page.evaluate runs in the browser page, while page.waitForFunction, page.waitForSelector, page.click, and saveScreenshot belong in the outer capture script.",

package/dist/adapters/codex-exec-agent.js

@@ -3,7 +3,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "../chunk-7F5LNUGR.js";
+} from "../chunk-5MILMRQY.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/adapters/codex.cjs

@@ -649,6 +649,7 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "Use the recon-approved route and baseline context; make the plan name the concrete target, expected before state, expected after state, and stop condition.",
           "Choose the evidence modality from verification_mode and success_criteria: screenshots for visual/UI proof, interactions plus screenshots for interaction proof, structured metrics/logs/JSON/audio analysis for non-visual proof.",
           "For playable/gameplay proof, treat screenshots as supporting artifacts only: start the game, send keyboard or pointer input, measure state before/after, measure non-HUD canvas/playfield pixel deltas across time, and return playability evidence with version riddle-proof.playability.v1.",
+          "For interaction proof, return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text. Catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.",
           "For structured proof, collect meaningful measurements inside page.evaluate, assign them to an evidence variable, and return that object from capture_script. Screenshots are optional supporting context for data/audio/log/metric/custom modes.",
           "Do not assign globalThis.__riddleProofEvidence, window.__riddleProofEvidence, or self.__riddleProofEvidence in the worker context. Avoid global evidence assignment unless it is inside page.evaluate for compatibility with older packets.",
           "Do not call Playwright page.* APIs inside page.evaluate; page.evaluate runs in the browser page, while page.waitForFunction, page.waitForSelector, page.click, and saveScreenshot belong in the outer capture script.",

package/dist/adapters/codex.js

@@ -3,7 +3,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "../chunk-7F5LNUGR.js";
+} from "../chunk-5MILMRQY.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/adapters/local-agent.cjs

@@ -649,6 +649,7 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "Use the recon-approved route and baseline context; make the plan name the concrete target, expected before state, expected after state, and stop condition.",
           "Choose the evidence modality from verification_mode and success_criteria: screenshots for visual/UI proof, interactions plus screenshots for interaction proof, structured metrics/logs/JSON/audio analysis for non-visual proof.",
           "For playable/gameplay proof, treat screenshots as supporting artifacts only: start the game, send keyboard or pointer input, measure state before/after, measure non-HUD canvas/playfield pixel deltas across time, and return playability evidence with version riddle-proof.playability.v1.",
+          "For interaction proof, return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text. Catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.",
           "For structured proof, collect meaningful measurements inside page.evaluate, assign them to an evidence variable, and return that object from capture_script. Screenshots are optional supporting context for data/audio/log/metric/custom modes.",
           "Do not assign globalThis.__riddleProofEvidence, window.__riddleProofEvidence, or self.__riddleProofEvidence in the worker context. Avoid global evidence assignment unless it is inside page.evaluate for compatibility with older packets.",
           "Do not call Playwright page.* APIs inside page.evaluate; page.evaluate runs in the browser page, while page.waitForFunction, page.waitForSelector, page.click, and saveScreenshot belong in the outer capture script.",

package/dist/adapters/local-agent.js

@@ -3,7 +3,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "../chunk-7F5LNUGR.js";
+} from "../chunk-5MILMRQY.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/advanced/index.d.cts

@@ -1,5 +1,5 @@
 export { b as runner } from '../runner-4LJ5z0D-.cjs';
 export { l as engineHarness } from '../engine-harness-LBfqbFSe.cjs';
 export { p as proofRunCore } from '../proof-run-core-CE0jx7wL.cjs';
-export { p as proofRunEngine } from '../proof-run-engine-B7DCPzpK.cjs';
+export { p as proofRunEngine } from '../proof-run-engine-BO1h0Bmy.cjs';
 import '../types.cjs';

package/dist/advanced/index.d.ts

@@ -1,5 +1,5 @@
 export { b as runner } from '../runner-BdQpOkZD.js';
 export { l as engineHarness } from '../engine-harness-CMACHP6A.js';
 export { p as proofRunCore } from '../proof-run-core-CE0jx7wL.js';
-export { p as proofRunEngine } from '../proof-run-engine-BomAcXhA.js';
+export { p as proofRunEngine } from '../proof-run-engine-CIdpWNh6.js';
 import '../types.js';

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

@@ -1,2 +1,2 @@
-export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from '../proof-run-engine-B7DCPzpK.cjs';
+export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from '../proof-run-engine-BO1h0Bmy.cjs';
 import '../proof-run-core-CE0jx7wL.cjs';

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

@@ -1,2 +1,2 @@
-export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from '../proof-run-engine-BomAcXhA.js';
+export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from '../proof-run-engine-CIdpWNh6.js';
 import '../proof-run-core-CE0jx7wL.js';

package/dist/{chunk-7F5LNUGR.js → chunk-5MILMRQY.js}

@@ -608,6 +608,7 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "Use the recon-approved route and baseline context; make the plan name the concrete target, expected before state, expected after state, and stop condition.",
           "Choose the evidence modality from verification_mode and success_criteria: screenshots for visual/UI proof, interactions plus screenshots for interaction proof, structured metrics/logs/JSON/audio analysis for non-visual proof.",
           "For playable/gameplay proof, treat screenshots as supporting artifacts only: start the game, send keyboard or pointer input, measure state before/after, measure non-HUD canvas/playfield pixel deltas across time, and return playability evidence with version riddle-proof.playability.v1.",
+          "For interaction proof, return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text. Catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.",
           "For structured proof, collect meaningful measurements inside page.evaluate, assign them to an evidence variable, and return that object from capture_script. Screenshots are optional supporting context for data/audio/log/metric/custom modes.",
           "Do not assign globalThis.__riddleProofEvidence, window.__riddleProofEvidence, or self.__riddleProofEvidence in the worker context. Avoid global evidence assignment unless it is inside page.evaluate for compatibility with older packets.",
           "Do not call Playwright page.* APIs inside page.evaluate; page.evaluate runs in the browser page, while page.waitForFunction, page.waitForSelector, page.click, and saveScreenshot belong in the outer capture script.",

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

@@ -29,7 +29,7 @@ import {
 import {
   createCodexExecAgentAdapter,
   runCodexExecAgentDoctor
-} from "./chunk-7F5LNUGR.js";
+} from "./chunk-5MILMRQY.js";
 
 // src/cli.ts
 import { existsSync, mkdirSync, readdirSync, readFileSync, statSync, writeFileSync } from "fs";

package/dist/cli/index.js

@@ -1,4 +1,4 @@
-import "../chunk-OD5UNE57.js";
+import "../chunk-NAFJ4KSF.js";
 import "../chunk-PEWAIEER.js";
 import "../chunk-TWTEUS7R.js";
 import "../chunk-BDFSMWTI.js";
@@ -7,6 +7,6 @@ import "../chunk-FMOYUYH2.js";
 import "../chunk-RV6LK7HU.js";
 import "../chunk-4FOHZ7JG.js";
 import "../chunk-JFQXAJH2.js";
-import "../chunk-7F5LNUGR.js";
+import "../chunk-5MILMRQY.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";

package/dist/cli.cjs

@@ -6412,6 +6412,7 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "Use the recon-approved route and baseline context; make the plan name the concrete target, expected before state, expected after state, and stop condition.",
           "Choose the evidence modality from verification_mode and success_criteria: screenshots for visual/UI proof, interactions plus screenshots for interaction proof, structured metrics/logs/JSON/audio analysis for non-visual proof.",
           "For playable/gameplay proof, treat screenshots as supporting artifacts only: start the game, send keyboard or pointer input, measure state before/after, measure non-HUD canvas/playfield pixel deltas across time, and return playability evidence with version riddle-proof.playability.v1.",
+          "For interaction proof, return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text. Catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.",
           "For structured proof, collect meaningful measurements inside page.evaluate, assign them to an evidence variable, and return that object from capture_script. Screenshots are optional supporting context for data/audio/log/metric/custom modes.",
           "Do not assign globalThis.__riddleProofEvidence, window.__riddleProofEvidence, or self.__riddleProofEvidence in the worker context. Avoid global evidence assignment unless it is inside page.evaluate for compatibility with older packets.",
           "Do not call Playwright page.* APIs inside page.evaluate; page.evaluate runs in the browser page, while page.waitForFunction, page.waitForSelector, page.click, and saveScreenshot belong in the outer capture script.",

package/dist/cli.js

@@ -1,5 +1,5 @@
 #!/usr/bin/env node
-import "./chunk-OD5UNE57.js";
+import "./chunk-NAFJ4KSF.js";
 import "./chunk-PEWAIEER.js";
 import "./chunk-TWTEUS7R.js";
 import "./chunk-BDFSMWTI.js";
@@ -8,6 +8,6 @@ import "./chunk-FMOYUYH2.js";
 import "./chunk-RV6LK7HU.js";
 import "./chunk-4FOHZ7JG.js";
 import "./chunk-JFQXAJH2.js";
-import "./chunk-7F5LNUGR.js";
+import "./chunk-5MILMRQY.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";

package/dist/codex-exec-agent.cjs

@@ -647,6 +647,7 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "Use the recon-approved route and baseline context; make the plan name the concrete target, expected before state, expected after state, and stop condition.",
           "Choose the evidence modality from verification_mode and success_criteria: screenshots for visual/UI proof, interactions plus screenshots for interaction proof, structured metrics/logs/JSON/audio analysis for non-visual proof.",
           "For playable/gameplay proof, treat screenshots as supporting artifacts only: start the game, send keyboard or pointer input, measure state before/after, measure non-HUD canvas/playfield pixel deltas across time, and return playability evidence with version riddle-proof.playability.v1.",
+          "For interaction proof, return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text. Catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.",
           "For structured proof, collect meaningful measurements inside page.evaluate, assign them to an evidence variable, and return that object from capture_script. Screenshots are optional supporting context for data/audio/log/metric/custom modes.",
           "Do not assign globalThis.__riddleProofEvidence, window.__riddleProofEvidence, or self.__riddleProofEvidence in the worker context. Avoid global evidence assignment unless it is inside page.evaluate for compatibility with older packets.",
           "Do not call Playwright page.* APIs inside page.evaluate; page.evaluate runs in the browser page, while page.waitForFunction, page.waitForSelector, page.click, and saveScreenshot belong in the outer capture script.",

package/dist/codex-exec-agent.js

@@ -2,7 +2,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "./chunk-7F5LNUGR.js";
+} from "./chunk-5MILMRQY.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/index.cjs

@@ -7075,6 +7075,7 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "Use the recon-approved route and baseline context; make the plan name the concrete target, expected before state, expected after state, and stop condition.",
           "Choose the evidence modality from verification_mode and success_criteria: screenshots for visual/UI proof, interactions plus screenshots for interaction proof, structured metrics/logs/JSON/audio analysis for non-visual proof.",
           "For playable/gameplay proof, treat screenshots as supporting artifacts only: start the game, send keyboard or pointer input, measure state before/after, measure non-HUD canvas/playfield pixel deltas across time, and return playability evidence with version riddle-proof.playability.v1.",
+          "For interaction proof, return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text. Catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.",
           "For structured proof, collect meaningful measurements inside page.evaluate, assign them to an evidence variable, and return that object from capture_script. Screenshots are optional supporting context for data/audio/log/metric/custom modes.",
           "Do not assign globalThis.__riddleProofEvidence, window.__riddleProofEvidence, or self.__riddleProofEvidence in the worker context. Avoid global evidence assignment unless it is inside page.evaluate for compatibility with older packets.",
           "Do not call Playwright page.* APIs inside page.evaluate; page.evaluate runs in the browser page, while page.waitForFunction, page.waitForSelector, page.click, and saveScreenshot belong in the outer capture script.",

package/dist/index.js

@@ -134,7 +134,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "./chunk-7F5LNUGR.js";
+} from "./chunk-5MILMRQY.js";
 import {
   applyTerminalMetadata,
   compactRecord,

package/dist/local-agent.cjs

@@ -649,6 +649,7 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "Use the recon-approved route and baseline context; make the plan name the concrete target, expected before state, expected after state, and stop condition.",
           "Choose the evidence modality from verification_mode and success_criteria: screenshots for visual/UI proof, interactions plus screenshots for interaction proof, structured metrics/logs/JSON/audio analysis for non-visual proof.",
           "For playable/gameplay proof, treat screenshots as supporting artifacts only: start the game, send keyboard or pointer input, measure state before/after, measure non-HUD canvas/playfield pixel deltas across time, and return playability evidence with version riddle-proof.playability.v1.",
+          "For interaction proof, return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text. Catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.",
           "For structured proof, collect meaningful measurements inside page.evaluate, assign them to an evidence variable, and return that object from capture_script. Screenshots are optional supporting context for data/audio/log/metric/custom modes.",
           "Do not assign globalThis.__riddleProofEvidence, window.__riddleProofEvidence, or self.__riddleProofEvidence in the worker context. Avoid global evidence assignment unless it is inside page.evaluate for compatibility with older packets.",
           "Do not call Playwright page.* APIs inside page.evaluate; page.evaluate runs in the browser page, while page.waitForFunction, page.waitForSelector, page.click, and saveScreenshot belong in the outer capture script.",

package/dist/local-agent.js

@@ -3,7 +3,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "./chunk-7F5LNUGR.js";
+} from "./chunk-5MILMRQY.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/{proof-run-engine-B7DCPzpK.d.cts → proof-run-engine-BO1h0Bmy.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";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship";
     state_path: string;
     stage: any;
     summary: string;

package/dist/{proof-run-engine-BomAcXhA.d.ts → proof-run-engine-CIdpWNh6.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";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship";
     state_path: string;
     stage: any;
     summary: string;

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

@@ -1,2 +1,2 @@
 import './proof-run-core-CE0jx7wL.cjs';
-export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-B7DCPzpK.cjs';
+export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-BO1h0Bmy.cjs';

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

@@ -1,2 +1,2 @@
 import './proof-run-core-CE0jx7wL.js';
-export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-BomAcXhA.js';
+export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-CIdpWNh6.js';

package/package.json

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

package/runtime/lib/author.py

@@ -158,6 +158,7 @@ def author_request_payload(state, reference, baselines, current_plan, hypothesis
             'Keep capture_script concise Playwright statements.',
             'For visual/UI proof, include saveScreenshot(\'after-proof\') exactly once.',
             'For interaction proof, preserve the interaction contract and name the expected terminal route/state separately from the initial route.',
+            'For interaction proof, return a JSON-serializable evidence object with start route/state, terminal route/state, action, assertions, and matched UI text; catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.',
             'For playable/gameplay proof, start the experience, send keyboard or pointer input, sample state before/after, measure non-HUD playfield/canvas pixel deltas across time, and return a JSON-serializable evidence object with playability or playability_evidence version riddle-proof.playability.v1.',
             'For data/audio/log/metric/custom proof, screenshots are optional; collect measurements inside page.evaluate, assign the result to an evidence variable, and return that evidence object from capture_script.',
             'Do not assign globalThis.__riddleProofEvidence, window.__riddleProofEvidence, or self.__riddleProofEvidence in the worker context. Avoid global evidence assignment unless it is inside page.evaluate for compatibility with older packets.',

package/runtime/lib/verify.py

@@ -558,6 +558,83 @@ def extract_proof_evidence(payload):
     return evidence
 
 
+def attach_interaction_capture_failure_evidence(state, payload, expected_path, after_observation):
+    if not isinstance(payload, dict):
+        return payload, None
+    mode = normalized_verification_mode(state.get('verification_mode'))
+    if mode not in INTERACTION_MODES:
+        return payload, None
+    if extract_proof_evidence(payload) is not None:
+        return payload, None
+
+    details = after_observation.get('details') if isinstance(after_observation, dict) else {}
+    if not isinstance(details, dict):
+        details = {}
+    expected = normalize_observed_path(expected_path)
+    observed_raw = str(details.get('observed_path_raw') or details.get('observed_path') or '').strip()
+    observed = normalize_observed_path(observed_raw)
+    route_matches = route_matches_expected(expected, observed_raw or observed) if expected and (observed_raw or observed) else None
+    error_messages = [
+        str(item).strip()
+        for item in (details.get('capture_error_messages') or [])
+        if str(item).strip()
+    ]
+    if route_matches is not False and not error_messages:
+        return payload, None
+
+    route_expectation = state.get('route_expectation') if isinstance(state.get('route_expectation'), dict) else {}
+    expected_parts = route_parts(expected)
+    observed_parts = route_parts(observed_raw or observed)
+    evidence = {
+        'version': 'riddle-proof.interaction.capture-failure.v1',
+        'synthetic': True,
+        'source': 'verify_capture_failure',
+        'mode': mode,
+        'passed': False,
+        'proofReady': False,
+        'authored_proof_evidence_present': False,
+        'evidence_summary': 'Interaction capture failed before the authored script emitted structured proof evidence.',
+        'expected': {
+            'path': expected,
+            'pathname': expected_parts.get('pathname') or '',
+            'query': expected_parts.get('query') or '',
+            'hash': expected_parts.get('hash') or '',
+        },
+        'observed': {
+            'path': observed,
+            'raw_path': observed_raw,
+            'pathname': observed_parts.get('pathname') or '',
+            'query': observed_parts.get('query') or '',
+            'hash': observed_parts.get('hash') or '',
+        },
+        'checks': {
+            'scriptCompleted': len(error_messages) == 0,
+            'routeMatches': bool(route_matches),
+            'authoredEvidenceReturned': False,
+        },
+        'route_expectation_source': route_expectation.get('source') or '',
+    }
+    if error_messages:
+        evidence['capture_error'] = error_messages[0][:1000]
+    if route_matches is False:
+        evidence['evidence_summary'] = (
+            'Interaction capture reached a different terminal route than expected before authored proof evidence was emitted.'
+        )
+
+    enriched = enrich_capture_payload(payload)
+    patched = dict(enriched)
+    result = dict(patched.get('result') or {})
+    result['proofEvidence'] = evidence
+    patched['result'] = result
+    console = list(patched.get('console') or [])
+    try:
+        console.append(PROOF_EVIDENCE_PREFIX + json.dumps(evidence, sort_keys=True))
+    except Exception:
+        pass
+    patched['console'] = console
+    return patched, evidence
+
+
 def proof_evidence_records(value):
     if isinstance(value, dict):
         return [value]
@@ -3113,6 +3190,15 @@ after_observation = evaluate_capture_quality(after_payload, expected_path, verif
 details = after_observation.get('details') if isinstance(after_observation.get('details'), dict) else {}
 details['viewport_matrix'] = after_viewport_matrix
 after_observation['details'] = details
+after_payload, synthetic_interaction_failure_evidence = attach_interaction_capture_failure_evidence(s, after_payload, expected_path, after_observation)
+if synthetic_interaction_failure_evidence is not None:
+    s['synthetic_interaction_failure_evidence'] = synthetic_interaction_failure_evidence
+    if isinstance(results.get('after'), dict):
+        results['after']['raw'] = after_payload
+    after_observation = evaluate_capture_quality(after_payload, expected_path, verification_mode)
+    details = after_observation.get('details') if isinstance(after_observation.get('details'), dict) else {}
+    details['viewport_matrix'] = after_viewport_matrix
+    after_observation['details'] = details
 if after_viewport_matrix.get('status') == 'incomplete':
     missing_names = [
         str(item.get('name') or item.get('slug') or '').strip()

package/runtime/tests/recon_verify_smoke.py

@@ -2580,6 +2580,18 @@ def run_verify_interaction_authored_query_hash_mismatch_returns_author():
         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'])
+        supporting = after_verify['verify_results']['after']['supporting_artifacts']
+        assert supporting['proof_evidence_present'] is True
+        assert supporting['has_structured_payload'] is True
+        synthetic_evidence = after_verify['evidence_bundle']['proof_evidence']
+        assert synthetic_evidence['version'] == 'riddle-proof.interaction.capture-failure.v1'
+        assert synthetic_evidence['passed'] is False
+        assert synthetic_evidence['authored_proof_evidence_present'] is False
+        assert synthetic_evidence['checks']['routeMatches'] is False
+        assert synthetic_evidence['expected']['query'] == 'rp_probe=1'
+        assert synthetic_evidence['expected']['hash'] == '#pricing-probe'
+        assert synthetic_evidence['observed']['path'] == '/pricing'
+        assert 'page.waitForURL: Timeout 15000ms exceeded' in synthetic_evidence['capture_error']
         return {
             'ok': True,
             'summary': capture_quality['summary'],