@riddledc/riddle-proof 0.8.27 → 0.8.29

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

@@ -53,7 +53,7 @@ var DEFAULT_PROOF_PACKET_AUTHOR_TIMEOUT_MS = 18e4;
 var REFINED_INPUTS_SCHEMA = {
   type: "object",
   additionalProperties: false,
-  required: ["server_path", "wait_for_selector", "reference"],
+  required: ["server_path", "wait_for_selector", "reference", "expected_start_path", "expected_terminal_path"],
   properties: {
     server_path: { type: ["string", "null"] },
     wait_for_selector: { type: ["string", "null"] },
@@ -63,8 +63,9 @@ var REFINED_INPUTS_SCHEMA = {
   }
 };
 var INTERACTION_CONTRACT_SCHEMA = {
-  type: "object",
-  additionalProperties: true,
+  type: ["object", "null"],
+  additionalProperties: false,
+  required: ["start_path", "expected_terminal_path", "expected_url", "action", "assertions"],
   properties: {
     start_path: { type: ["string", "null"] },
     expected_terminal_path: { type: ["string", "null"] },
@@ -131,6 +132,8 @@ var AUTHOR_SCHEMA = {
     "capture_script",
     "baseline_understanding_used",
     "refined_inputs",
+    "expected_terminal_path",
+    "interaction_contract",
     "rationale",
     "confidence",
     "summary"
@@ -750,8 +753,8 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "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, author the browser action explicitly in capture_script; a wait-only script is invalid. Return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text.",
-          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
-          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash.",
+          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, expected_url when known, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
+          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash. For non-interaction proof, set expected_terminal_path and interaction_contract to null.",
           "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.",

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

@@ -3,7 +3,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "../chunk-4PPJKW3Z.js";
+} from "../chunk-73EBR3YL.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/adapters/codex.cjs

@@ -53,7 +53,7 @@ var DEFAULT_PROOF_PACKET_AUTHOR_TIMEOUT_MS = 18e4;
 var REFINED_INPUTS_SCHEMA = {
   type: "object",
   additionalProperties: false,
-  required: ["server_path", "wait_for_selector", "reference"],
+  required: ["server_path", "wait_for_selector", "reference", "expected_start_path", "expected_terminal_path"],
   properties: {
     server_path: { type: ["string", "null"] },
     wait_for_selector: { type: ["string", "null"] },
@@ -63,8 +63,9 @@ var REFINED_INPUTS_SCHEMA = {
   }
 };
 var INTERACTION_CONTRACT_SCHEMA = {
-  type: "object",
-  additionalProperties: true,
+  type: ["object", "null"],
+  additionalProperties: false,
+  required: ["start_path", "expected_terminal_path", "expected_url", "action", "assertions"],
   properties: {
     start_path: { type: ["string", "null"] },
     expected_terminal_path: { type: ["string", "null"] },
@@ -131,6 +132,8 @@ var AUTHOR_SCHEMA = {
     "capture_script",
     "baseline_understanding_used",
     "refined_inputs",
+    "expected_terminal_path",
+    "interaction_contract",
     "rationale",
     "confidence",
     "summary"
@@ -750,8 +753,8 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "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, author the browser action explicitly in capture_script; a wait-only script is invalid. Return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text.",
-          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
-          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash.",
+          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, expected_url when known, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
+          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash. For non-interaction proof, set expected_terminal_path and interaction_contract to null.",
           "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.",

package/dist/adapters/codex.js

@@ -3,7 +3,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "../chunk-4PPJKW3Z.js";
+} from "../chunk-73EBR3YL.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/adapters/local-agent.cjs

@@ -53,7 +53,7 @@ var DEFAULT_PROOF_PACKET_AUTHOR_TIMEOUT_MS = 18e4;
 var REFINED_INPUTS_SCHEMA = {
   type: "object",
   additionalProperties: false,
-  required: ["server_path", "wait_for_selector", "reference"],
+  required: ["server_path", "wait_for_selector", "reference", "expected_start_path", "expected_terminal_path"],
   properties: {
     server_path: { type: ["string", "null"] },
     wait_for_selector: { type: ["string", "null"] },
@@ -63,8 +63,9 @@ var REFINED_INPUTS_SCHEMA = {
   }
 };
 var INTERACTION_CONTRACT_SCHEMA = {
-  type: "object",
-  additionalProperties: true,
+  type: ["object", "null"],
+  additionalProperties: false,
+  required: ["start_path", "expected_terminal_path", "expected_url", "action", "assertions"],
   properties: {
     start_path: { type: ["string", "null"] },
     expected_terminal_path: { type: ["string", "null"] },
@@ -131,6 +132,8 @@ var AUTHOR_SCHEMA = {
     "capture_script",
     "baseline_understanding_used",
     "refined_inputs",
+    "expected_terminal_path",
+    "interaction_contract",
     "rationale",
     "confidence",
     "summary"
@@ -750,8 +753,8 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "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, author the browser action explicitly in capture_script; a wait-only script is invalid. Return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text.",
-          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
-          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash.",
+          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, expected_url when known, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
+          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash. For non-interaction proof, set expected_terminal_path and interaction_contract to null.",
           "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.",

package/dist/adapters/local-agent.js

@@ -3,7 +3,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "../chunk-4PPJKW3Z.js";
+} from "../chunk-73EBR3YL.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/{chunk-4PPJKW3Z.js → chunk-73EBR3YL.js}

@@ -12,7 +12,7 @@ var DEFAULT_PROOF_PACKET_AUTHOR_TIMEOUT_MS = 18e4;
 var REFINED_INPUTS_SCHEMA = {
   type: "object",
   additionalProperties: false,
-  required: ["server_path", "wait_for_selector", "reference"],
+  required: ["server_path", "wait_for_selector", "reference", "expected_start_path", "expected_terminal_path"],
   properties: {
     server_path: { type: ["string", "null"] },
     wait_for_selector: { type: ["string", "null"] },
@@ -22,8 +22,9 @@ var REFINED_INPUTS_SCHEMA = {
   }
 };
 var INTERACTION_CONTRACT_SCHEMA = {
-  type: "object",
-  additionalProperties: true,
+  type: ["object", "null"],
+  additionalProperties: false,
+  required: ["start_path", "expected_terminal_path", "expected_url", "action", "assertions"],
   properties: {
     start_path: { type: ["string", "null"] },
     expected_terminal_path: { type: ["string", "null"] },
@@ -90,6 +91,8 @@ var AUTHOR_SCHEMA = {
     "capture_script",
     "baseline_understanding_used",
     "refined_inputs",
+    "expected_terminal_path",
+    "interaction_contract",
     "rationale",
     "confidence",
     "summary"
@@ -709,8 +712,8 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "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, author the browser action explicitly in capture_script; a wait-only script is invalid. Return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text.",
-          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
-          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash.",
+          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, expected_url when known, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
+          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash. For non-interaction proof, set expected_terminal_path and interaction_contract to null.",
           "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.",

package/dist/{chunk-27BG64ZG.js → chunk-FJPZZ4JO.js}

@@ -29,7 +29,7 @@ import {
 import {
   createCodexExecAgentAdapter,
   runCodexExecAgentDoctor
-} from "./chunk-4PPJKW3Z.js";
+} from "./chunk-73EBR3YL.js";
 
 // src/cli.ts
 import { spawnSync } from "child_process";

package/dist/cli/index.js

@@ -1,4 +1,4 @@
-import "../chunk-27BG64ZG.js";
+import "../chunk-FJPZZ4JO.js";
 import "../chunk-PEWAIEER.js";
 import "../chunk-TWTEUS7R.js";
 import "../chunk-AM3K5FPW.js";
@@ -7,6 +7,6 @@ import "../chunk-RDPG554T.js";
 import "../chunk-K6HZUSHH.js";
 import "../chunk-OILKSY5J.js";
 import "../chunk-JFQXAJH2.js";
-import "../chunk-4PPJKW3Z.js";
+import "../chunk-73EBR3YL.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";

package/dist/cli.cjs

@@ -6238,7 +6238,7 @@ var DEFAULT_PROOF_PACKET_AUTHOR_TIMEOUT_MS = 18e4;
 var REFINED_INPUTS_SCHEMA = {
   type: "object",
   additionalProperties: false,
-  required: ["server_path", "wait_for_selector", "reference"],
+  required: ["server_path", "wait_for_selector", "reference", "expected_start_path", "expected_terminal_path"],
   properties: {
     server_path: { type: ["string", "null"] },
     wait_for_selector: { type: ["string", "null"] },
@@ -6248,8 +6248,9 @@ var REFINED_INPUTS_SCHEMA = {
   }
 };
 var INTERACTION_CONTRACT_SCHEMA = {
-  type: "object",
-  additionalProperties: true,
+  type: ["object", "null"],
+  additionalProperties: false,
+  required: ["start_path", "expected_terminal_path", "expected_url", "action", "assertions"],
   properties: {
     start_path: { type: ["string", "null"] },
     expected_terminal_path: { type: ["string", "null"] },
@@ -6316,6 +6317,8 @@ var AUTHOR_SCHEMA = {
     "capture_script",
     "baseline_understanding_used",
     "refined_inputs",
+    "expected_terminal_path",
+    "interaction_contract",
     "rationale",
     "confidence",
     "summary"
@@ -6935,8 +6938,8 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "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, author the browser action explicitly in capture_script; a wait-only script is invalid. Return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text.",
-          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
-          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash.",
+          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, expected_url when known, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
+          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash. For non-interaction proof, set expected_terminal_path and interaction_contract to null.",
           "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.",

package/dist/cli.js

@@ -1,5 +1,5 @@
 #!/usr/bin/env node
-import "./chunk-27BG64ZG.js";
+import "./chunk-FJPZZ4JO.js";
 import "./chunk-PEWAIEER.js";
 import "./chunk-TWTEUS7R.js";
 import "./chunk-AM3K5FPW.js";
@@ -8,6 +8,6 @@ import "./chunk-RDPG554T.js";
 import "./chunk-K6HZUSHH.js";
 import "./chunk-OILKSY5J.js";
 import "./chunk-JFQXAJH2.js";
-import "./chunk-4PPJKW3Z.js";
+import "./chunk-73EBR3YL.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";

package/dist/codex-exec-agent.cjs

@@ -51,7 +51,7 @@ var DEFAULT_PROOF_PACKET_AUTHOR_TIMEOUT_MS = 18e4;
 var REFINED_INPUTS_SCHEMA = {
   type: "object",
   additionalProperties: false,
-  required: ["server_path", "wait_for_selector", "reference"],
+  required: ["server_path", "wait_for_selector", "reference", "expected_start_path", "expected_terminal_path"],
   properties: {
     server_path: { type: ["string", "null"] },
     wait_for_selector: { type: ["string", "null"] },
@@ -61,8 +61,9 @@ var REFINED_INPUTS_SCHEMA = {
   }
 };
 var INTERACTION_CONTRACT_SCHEMA = {
-  type: "object",
-  additionalProperties: true,
+  type: ["object", "null"],
+  additionalProperties: false,
+  required: ["start_path", "expected_terminal_path", "expected_url", "action", "assertions"],
   properties: {
     start_path: { type: ["string", "null"] },
     expected_terminal_path: { type: ["string", "null"] },
@@ -129,6 +130,8 @@ var AUTHOR_SCHEMA = {
     "capture_script",
     "baseline_understanding_used",
     "refined_inputs",
+    "expected_terminal_path",
+    "interaction_contract",
     "rationale",
     "confidence",
     "summary"
@@ -748,8 +751,8 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "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, author the browser action explicitly in capture_script; a wait-only script is invalid. Return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text.",
-          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
-          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash.",
+          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, expected_url when known, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
+          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash. For non-interaction proof, set expected_terminal_path and interaction_contract to null.",
           "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.",

package/dist/codex-exec-agent.js

@@ -2,7 +2,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "./chunk-4PPJKW3Z.js";
+} from "./chunk-73EBR3YL.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/index.cjs

@@ -6900,7 +6900,7 @@ var DEFAULT_PROOF_PACKET_AUTHOR_TIMEOUT_MS = 18e4;
 var REFINED_INPUTS_SCHEMA = {
   type: "object",
   additionalProperties: false,
-  required: ["server_path", "wait_for_selector", "reference"],
+  required: ["server_path", "wait_for_selector", "reference", "expected_start_path", "expected_terminal_path"],
   properties: {
     server_path: { type: ["string", "null"] },
     wait_for_selector: { type: ["string", "null"] },
@@ -6910,8 +6910,9 @@ var REFINED_INPUTS_SCHEMA = {
   }
 };
 var INTERACTION_CONTRACT_SCHEMA = {
-  type: "object",
-  additionalProperties: true,
+  type: ["object", "null"],
+  additionalProperties: false,
+  required: ["start_path", "expected_terminal_path", "expected_url", "action", "assertions"],
   properties: {
     start_path: { type: ["string", "null"] },
     expected_terminal_path: { type: ["string", "null"] },
@@ -6978,6 +6979,8 @@ var AUTHOR_SCHEMA = {
     "capture_script",
     "baseline_understanding_used",
     "refined_inputs",
+    "expected_terminal_path",
+    "interaction_contract",
     "rationale",
     "confidence",
     "summary"
@@ -7597,8 +7600,8 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "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, author the browser action explicitly in capture_script; a wait-only script is invalid. Return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text.",
-          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
-          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash.",
+          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, expected_url when known, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
+          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash. For non-interaction proof, set expected_terminal_path and interaction_contract to null.",
           "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.",

package/dist/index.js

@@ -134,7 +134,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "./chunk-4PPJKW3Z.js";
+} from "./chunk-73EBR3YL.js";
 import {
   applyTerminalMetadata,
   compactRecord,

package/dist/local-agent.cjs

@@ -53,7 +53,7 @@ var DEFAULT_PROOF_PACKET_AUTHOR_TIMEOUT_MS = 18e4;
 var REFINED_INPUTS_SCHEMA = {
   type: "object",
   additionalProperties: false,
-  required: ["server_path", "wait_for_selector", "reference"],
+  required: ["server_path", "wait_for_selector", "reference", "expected_start_path", "expected_terminal_path"],
   properties: {
     server_path: { type: ["string", "null"] },
     wait_for_selector: { type: ["string", "null"] },
@@ -63,8 +63,9 @@ var REFINED_INPUTS_SCHEMA = {
   }
 };
 var INTERACTION_CONTRACT_SCHEMA = {
-  type: "object",
-  additionalProperties: true,
+  type: ["object", "null"],
+  additionalProperties: false,
+  required: ["start_path", "expected_terminal_path", "expected_url", "action", "assertions"],
   properties: {
     start_path: { type: ["string", "null"] },
     expected_terminal_path: { type: ["string", "null"] },
@@ -131,6 +132,8 @@ var AUTHOR_SCHEMA = {
     "capture_script",
     "baseline_understanding_used",
     "refined_inputs",
+    "expected_terminal_path",
+    "interaction_contract",
     "rationale",
     "confidence",
     "summary"
@@ -750,8 +753,8 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "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, author the browser action explicitly in capture_script; a wait-only script is invalid. Return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text.",
-          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
-          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash.",
+          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, expected_url when known, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
+          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash. For non-interaction proof, set expected_terminal_path and interaction_contract to null.",
           "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.",

package/dist/local-agent.js

@@ -3,7 +3,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "./chunk-4PPJKW3Z.js";
+} from "./chunk-73EBR3YL.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/package.json

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

package/runtime/lib/author.py

@@ -89,10 +89,12 @@ def recon_baseline_understanding(state):
     return understanding if isinstance(understanding, dict) else {}
 
 
-def authored_capture_script(existing_script, wait_for_selector=''):
+def authored_capture_script(state, existing_script, wait_for_selector=''):
     script = (existing_script or '').strip()
     if script:
         return script
+    if is_interaction_mode(state):
+        return ''
     steps = ['await page.waitForTimeout(1500);']
     selector = (wait_for_selector or '').strip()
     if selector:
@@ -152,8 +154,10 @@ def author_request_payload(state, reference, baselines, current_plan, hypothesis
             'observations': item.get('observations'),
         })
 
-    fallback_capture_script = authored_capture_script(state.get('capture_script'), fallback_selector)
+    fallback_capture_script = authored_capture_script(state, state.get('capture_script'), fallback_selector)
     fallback_proof_plan = authored_proof_plan(state, reference, fallback_path, baselines, fallback_selector)
+    expected_start_path = state.get('expected_start_path') or fallback_path or '/'
+    expected_terminal_path = state.get('expected_terminal_path') or state.get('requested_expected_terminal_path') or ''
 
     return {
         'status': 'needs_supervisor_judgment',
@@ -174,6 +178,8 @@ def author_request_payload(state, reference, baselines, current_plan, hypothesis
             'wait_for_selector': fallback_selector,
             'capture_script': fallback_capture_script,
             'proof_plan': fallback_proof_plan,
+            'expected_start_path': expected_start_path,
+            'expected_terminal_path': expected_terminal_path,
         },
         'interaction_contract': optional_record(state.get('interaction_contract')),
         'proof_contract': optional_record(state.get('proof_contract')),
@@ -210,6 +216,7 @@ def author_request_payload(state, reference, baselines, current_plan, hypothesis
                 'server_path': 'string',
                 'wait_for_selector': 'string',
                 'reference': 'string',
+                'expected_start_path': 'string',
                 'expected_terminal_path': 'string',
             },
             'interaction_contract': {
@@ -245,7 +252,7 @@ default_path = normalize_path(first_non_empty(before_path, prod_path, current_pa
 
 default_selector = first_non_empty((s.get('wait_for_selector') or '').strip(), (current_plan.get('wait_for_selector') or '').strip())
 default_proof_plan = authored_proof_plan(s, reference, default_path, baselines, default_selector)
-default_capture_script = authored_capture_script(s.get('capture_script'), default_selector)
+default_capture_script = authored_capture_script(s, s.get('capture_script'), default_selector)
 
 supervisor_packet = s.get('supervisor_author_packet') or {}
 if not isinstance(supervisor_packet, dict):
@@ -333,6 +340,7 @@ authored_packet = {
         'server_path': refined_path,
         'wait_for_selector': refined_selector,
         'reference': refined_reference,
+        'expected_start_path': s.get('expected_start_path') or '',
         'expected_terminal_path': expected_terminal_path,
     },
     'interaction_contract': provided_payload['interaction_contract'],

package/runtime/lib/setup.py

@@ -6,7 +6,7 @@ scratch storage by default:
   /var/tmp/riddle-proof/.riddle-proof-worktrees/riddle-proof-<run_id>-after
 """
 
-import json, subprocess as sp, os, sys, shutil, time, tempfile
+import json, subprocess as sp, os, sys, shutil, time, tempfile, re
 from urllib.parse import urlparse
 sys.path.insert(0, os.path.dirname(os.path.abspath(__file__)))
 from util import load_state, save_state, git, shell_quote
@@ -213,6 +213,86 @@ def audit_no_diff_mode():
     )
 
 
+def interaction_verification_mode():
+    return str(s.get('verification_mode') or '').strip().lower() in (
+        'interaction',
+        'interactive',
+        'user_flow',
+        'user-flow',
+        'workflow',
+    )
+
+
+def normalize_route_path(value):
+    raw = str(value or '').strip()
+    if not raw:
+        return ''
+    try:
+        parsed = urlparse(raw if raw.startswith(('http://', 'https://')) else raw)
+        path = parsed.path or '/'
+        if not path.startswith('/'):
+            path = '/' + path
+        if len(path) > 1:
+            path = path.rstrip('/')
+        query = ('?' + parsed.query) if parsed.query else ''
+        fragment = ('#' + parsed.fragment) if parsed.fragment else ''
+        return path + query + fragment
+    except Exception:
+        path = raw.split('#', 1)[0].split('?', 1)[0]
+        if not path.startswith('/'):
+            path = '/' + path
+        return path.rstrip('/') or '/'
+
+
+def trim_route_candidate(value):
+    return str(value or '').strip().rstrip('),.;]}')
+
+
+def expected_terminal_route_from_text(value):
+    text = str(value or '').strip()
+    if not text:
+        return ''
+    route_pattern = r'(https?://[^\s"\'<>`]+|/[^\s"\'<>`]+)'
+    patterns = [
+        r'\bexpected\s+(?:terminal\s+|final\s+|after\s+)?(?:url|route|path)\s*(?:is|=|:)\s*' + route_pattern,
+        r'\b(?:terminal|final|after)\s+(?:url|route|path)\s*(?:is|=|:)\s*' + route_pattern,
+        r'\b(?:ends|end|ending|lands|land|landing)\s+(?:at|on)\s*' + route_pattern,
+    ]
+    for pattern in patterns:
+        match = re.search(pattern, text, re.IGNORECASE)
+        if match:
+            route = normalize_route_path(trim_route_candidate(match.group(1)))
+            if route:
+                return route
+    return ''
+
+
+def requested_expected_terminal_route():
+    return (
+        expected_terminal_route_from_text(s.get('success_criteria')) or
+        expected_terminal_route_from_text(s.get('change_request')) or
+        expected_terminal_route_from_text(s.get('context')) or
+        expected_terminal_route_from_text(s.get('assertions_json'))
+    )
+
+
+def apply_interaction_route_contract(start_path):
+    if not interaction_verification_mode():
+        return
+    terminal_path = requested_expected_terminal_route()
+    if not terminal_path:
+        return
+    normalized_start = normalize_route_path(start_path) or '/'
+    s['requested_expected_terminal_path'] = terminal_path
+    s['expected_terminal_path'] = s.get('expected_terminal_path') or terminal_path
+    s['expected_start_path'] = s.get('expected_start_path') or normalized_start
+    contract = s.get('interaction_contract') if isinstance(s.get('interaction_contract'), dict) else {}
+    contract = dict(contract)
+    contract['start_path'] = contract.get('start_path') or normalized_start
+    contract['expected_terminal_path'] = contract.get('expected_terminal_path') or terminal_path
+    s['interaction_contract'] = contract
+
+
 def remote_audit_mode():
     return bool(s.get('remote_audit')) or (
         not repo
@@ -540,6 +620,7 @@ if remote_audit_mode():
     s['allow_code_changes'] = False
     s['server_path'] = s.get('server_path') or target_path
     s['server_path_source'] = s.get('server_path_source') or 'prod_url'
+    apply_interaction_route_contract(s['server_path'])
     s['recon_status'] = 'ready_for_proof_plan'
     s['recon_summary'] = 'Remote audit/no-diff run uses prod_url as the current target and skips repo worktrees.'
     s['recon_hypothesis'] = {
@@ -560,10 +641,19 @@ if remote_audit_mode():
         'keyword_hits': [],
         'max_attempts': 0,
     }
-    s['author_status'] = 'ready'
-    s['proof_plan_status'] = 'ready'
-    s['proof_plan'] = (s.get('proof_plan') or 'Audit the current prod_url target and capture current evidence without requiring a repo diff.').strip()
-    if not (s.get('capture_script') or '').strip():
+    has_capture_script = bool((s.get('capture_script') or '').strip())
+    needs_authored_interaction_capture = interaction_verification_mode() and not has_capture_script
+    if needs_authored_interaction_capture:
+        s['author_status'] = 'needs_authoring'
+        s['proof_plan_status'] = 'needs_authoring'
+        s['proof_plan'] = (s.get('proof_plan') or '').strip()
+        s['author_summary'] = 'Remote interaction audit requires an authored browser interaction capture before verify.'
+        s['capture_script_source'] = ''
+    else:
+        s['author_status'] = 'ready'
+        s['proof_plan_status'] = 'ready'
+        s['proof_plan'] = (s.get('proof_plan') or 'Audit the current prod_url target and capture current evidence without requiring a repo diff.').strip()
+    if not has_capture_script and not needs_authored_interaction_capture:
         s['capture_script'] = 'await page.waitForTimeout(1500);'
         s['capture_script_source'] = 'default_remote_audit_current_target'
     s['dependency_install'] = {

package/runtime/lib/verify.py

@@ -3711,7 +3711,47 @@ def build_supervisor_assessment_request(state, payload, after_observation, requi
 s = load_state()
 capture_script = (s.get('capture_script') or '').strip()
 no_implementation_mode = audit_no_diff_mode(s)
-if not capture_script and no_implementation_mode:
+initial_verification_mode = normalized_verification_mode(s.get('verification_mode'))
+if not capture_script and no_implementation_mode and initial_verification_mode in INTERACTION_MODES:
+    s['stage'] = 'verify'
+    s['verify_status'] = 'capture_incomplete'
+    s['merge_recommendation'] = 'do-not-merge'
+    s['structured_interaction_capture_failure_summary'] = (
+        'Interaction verification requires an authored browser interaction capture script; '
+        'the default remote audit current-target capture is passive and cannot prove an interaction.'
+    )
+    s['verify_summary'] = s['structured_interaction_capture_failure_summary']
+    s['proof_summary'] = s['structured_interaction_capture_failure_summary']
+    s['proof_assessment'] = {}
+    s['proof_assessment_source'] = None
+    s['proof_assessment_request'] = {}
+    s['verify_decision_request'] = {
+        'status': s['verify_status'],
+        'summary': s['structured_interaction_capture_failure_summary'],
+        'expected_path': s.get('expected_terminal_path') or s.get('requested_expected_terminal_path') or s.get('server_path') or '/',
+        'expected_start_path': s.get('expected_start_path') or s.get('server_path') or '/',
+        'route_expectation': s.get('route_expectation') or {},
+        'capture_quality': {
+            'decision': 'failed_interaction_capture',
+            'summary': s['structured_interaction_capture_failure_summary'],
+            'recommended_stage': None,
+            'continue_with_stage': None,
+            'blocking': True,
+            'terminal_blocker': True,
+            'reasons': [s['structured_interaction_capture_failure_summary']],
+        },
+        'next_stage_options': ['author', 'verify', 'recon'],
+        'recommended_stage': None,
+        'continue_with_stage': None,
+        'fields_agent_may_update': ['proof_plan', 'capture_script', 'server_path', 'wait_for_selector'],
+        'instructions': [
+            'Author a real Playwright browser interaction capture script before retrying verify.',
+            'Do not use the default remote audit current-target capture for interaction verification.',
+        ],
+    }
+    save_state(s)
+    raise SystemExit(s['structured_interaction_capture_failure_summary'])
+elif not capture_script and no_implementation_mode:
     capture_script = 'await page.waitForTimeout(1500);'
     s['capture_script'] = capture_script
     s['capture_script_source'] = s.get('capture_script_source') or 'default_remote_audit_current_target'

package/runtime/tests/recon_verify_smoke.py

@@ -1658,6 +1658,81 @@ def run_remote_audit_setup_without_repo():
         shutil.rmtree(tempdir, ignore_errors=True)
 
 
+def run_remote_interaction_audit_setup_requires_authoring():
+    tempdir = Path(tempfile.mkdtemp(prefix='riddle-proof-remote-interaction-audit-'))
+    args_path = tempdir / 'args.json'
+    state_path = tempdir / 'state.json'
+    try:
+        args_path.write_text(json.dumps({
+            'repo': '',
+            'mode': 'server',
+            'reference': 'both',
+            'prod_url': 'https://riddledc.com/',
+            'change_request': 'Verify Home -> Proof navigation. Start at https://riddledc.com/. Click the visible Proof nav link. Expected terminal URL is https://riddledc.com/proof/.',
+            'commit_message': '',
+            'success_criteria': 'Terminal URL is https://riddledc.com/proof/ and structured proof evidence is present.',
+            'verification_mode': 'interaction',
+            'implementation_mode': 'none',
+            'require_diff': False,
+            'allow_code_changes': False,
+            'server_image': 'node:20-slim',
+            'server_command': 'npm start',
+            'server_port': '3000',
+        }, indent=2))
+        with temporary_env(
+            RIDDLE_PROOF_ARGS_FILE=str(args_path),
+            RIDDLE_PROOF_STATE_FILE=str(state_path),
+        ):
+            sys.modules.pop('util', None)
+            load_module('util_remote_interaction_audit_preflight', UTIL_PATH)
+            load_module('preflight_remote_interaction_audit', PREFLIGHT_PATH)
+            sys.modules.pop('util', None)
+            try:
+                load_module('setup_remote_interaction_audit', SETUP_PATH)
+            except SystemExit as exc:
+                assert exc.code in (0, None), exc
+        state = json.loads(state_path.read_text())
+        assert state['remote_audit'] is True
+        assert state['workspace_ready'] is True
+        assert state['reference'] == 'prod'
+        assert state['implementation_status'] == 'not_required'
+        assert state['server_path'] == '/'
+        assert state['recon_status'] == 'ready_for_proof_plan'
+        assert state['author_status'] == 'needs_authoring'
+        assert state['proof_plan_status'] == 'needs_authoring'
+        assert state['requested_expected_terminal_path'] == '/proof'
+        assert state['expected_terminal_path'] == '/proof'
+        assert state['expected_start_path'] == '/'
+        assert state['interaction_contract']['start_path'] == '/'
+        assert state['interaction_contract']['expected_terminal_path'] == '/proof'
+        assert state.get('capture_script', '') == ''
+        assert state.get('capture_script_source', '') == ''
+        assert 'requires an authored browser interaction capture' in state['author_summary']
+
+        with temporary_env(RIDDLE_PROOF_STATE_FILE=str(state_path)):
+            sys.modules.pop('util', None)
+            try:
+                load_module('author_remote_interaction_audit_request', AUTHOR_PATH)
+            except SystemExit as exc:
+                assert exc.code in (0, None), exc
+        after_author = json.loads(state_path.read_text())
+        assert after_author['author_status'] == 'needs_supervisor_judgment'
+        assert after_author['author_request']['fallback_defaults']['server_path'] == '/'
+        assert after_author['author_request']['fallback_defaults']['expected_start_path'] == '/'
+        assert after_author['author_request']['fallback_defaults']['expected_terminal_path'] == '/proof'
+        assert after_author['author_request']['fallback_defaults']['capture_script'] == ''
+        assert after_author['author_request']['interaction_contract']['expected_terminal_path'] == '/proof'
+        return {
+            'ok': True,
+            'author_status': after_author['author_status'],
+            'expected_terminal_path': after_author['expected_terminal_path'],
+            'capture_script_source': after_author.get('capture_script_source', ''),
+        }
+    finally:
+        sys.modules.pop('util', None)
+        shutil.rmtree(tempdir, ignore_errors=True)
+
+
 def run_preflight_resumes_visual_proof_session():
     tempdir = Path(tempfile.mkdtemp(prefix='riddle-proof-preflight-session-'))
     args_path = tempdir / 'args.json'
@@ -2007,6 +2082,8 @@ def run_recon_then_author_request():
         assert after_author['author_runtime_model_hint'] == 'openai-codex/gpt-5.4'
         assert after_author['author_request']['status'] == 'needs_supervisor_judgment'
         assert after_author['author_request']['fallback_defaults']['server_path'] == '/pricing'
+        assert after_author['author_request']['fallback_defaults']['expected_start_path'] == '/pricing'
+        assert after_author['author_request']['fallback_defaults']['expected_terminal_path'] == ''
         assert 'supervising agent owns proof authoring' in after_author['author_request']['instructions'][0].lower()
 
         return {
@@ -2345,6 +2422,8 @@ def run_author_keeps_interaction_start_route():
         assert after_author['expected_start_path'] == '/'
         assert after_author['expected_terminal_path'] == '/proof/'
         assert after_author['author_packet']['refined_inputs']['server_path'] == '/'
+        assert after_author['author_packet']['refined_inputs']['expected_start_path'] == '/'
+        assert after_author['author_packet']['refined_inputs']['expected_terminal_path'] == '/proof/'
         assert after_author['author_warnings']
         assert 'terminal interaction route' in after_author['author_warnings'][0]
         return {
@@ -2833,6 +2912,59 @@ def run_remote_audit_verify_uses_default_capture_script():
         shutil.rmtree(tempdir, ignore_errors=True)
 
 
+def run_remote_interaction_audit_verify_rejects_default_capture():
+    tempdir = Path(tempfile.mkdtemp(prefix='riddle-proof-remote-interaction-audit-verify-'))
+    state_path = tempdir / 'state.json'
+    try:
+        state = base_state(tempdir, reference='prod', prod_url='https://riddledc.com/')
+        state.update({
+            'remote_audit': True,
+            'workspace_kind': 'remote_audit',
+            'mode': 'server',
+            'recon_status': 'ready_for_proof_plan',
+            'author_status': 'ready',
+            'proof_plan_status': 'ready',
+            'implementation_status': 'not_required',
+            'implementation_mode': 'none',
+            'require_diff': False,
+            'allow_code_changes': False,
+            'verification_mode': 'interaction',
+            'server_path': '/',
+            'expected_start_path': '/',
+            'expected_terminal_path': '/proof',
+            'requested_expected_terminal_path': '/proof',
+            'proof_plan': 'Verify Home -> Proof navigation.',
+            'capture_script': '',
+            'recon_results': {'baselines': {}, 'mode': 'remote_audit'},
+        })
+        write_state(state_path, state)
+        os.environ['RIDDLE_PROOF_STATE_FILE'] = str(state_path)
+
+        fake = FakeRiddle()
+        load_util_with_fake(fake)
+        try:
+            load_module('verify_remote_interaction_audit_rejects_default_capture', VERIFY_PATH)
+        except SystemExit as exc:
+            assert 'requires an authored browser interaction capture script' in str(exc), exc
+        else:
+            raise AssertionError('interaction remote audit verify should reject missing capture_script')
+        after_verify = json.loads(state_path.read_text())
+
+        assert after_verify['verify_status'] == 'capture_incomplete'
+        assert after_verify.get('capture_script', '') == ''
+        assert after_verify.get('capture_script_source', '') == ''
+        assert after_verify['verify_decision_request']['capture_quality']['decision'] == 'failed_interaction_capture'
+        assert after_verify['verify_decision_request']['capture_quality']['blocking'] is True
+        assert 'default remote audit current-target capture is passive' in after_verify['structured_interaction_capture_failure_summary']
+        return {
+            'ok': True,
+            'verify_status': after_verify['verify_status'],
+            'capture_quality': after_verify['verify_decision_request']['capture_quality']['decision'],
+        }
+    finally:
+        shutil.rmtree(tempdir, ignore_errors=True)
+
+
 def run_verify_interaction_terminal_route_from_proof_evidence():
     tempdir = Path(tempfile.mkdtemp(prefix='riddle-proof-interaction-forward-'))
     state_path = tempdir / 'state.json'
@@ -3941,6 +4073,7 @@ if __name__ == '__main__':
     payload = {
         'preflight_reference_skip_reason': run_preflight_records_prod_reference_skip_reason(),
         'remote_audit_setup_without_repo': run_remote_audit_setup_without_repo(),
+        'remote_interaction_audit_setup_requires_authoring': run_remote_interaction_audit_setup_requires_authoring(),
         'preflight_resume_visual_proof_session': run_preflight_resumes_visual_proof_session(),
         'capture_artifact_enrichment': run_capture_artifact_enrichment(),
         'capture_diagnostics_redaction': run_capture_diagnostics_redact_sensitive_values(),
@@ -3966,6 +4099,7 @@ if __name__ == '__main__':
         'verify_preserves_proof_evidence_on_capture_script_error': run_verify_preserves_proof_evidence_on_capture_script_error(),
         'verify_capture_retry': run_verify_capture_retry(),
         'remote_audit_verify_uses_default_capture_script': run_remote_audit_verify_uses_default_capture_script(),
+        'remote_interaction_audit_verify_rejects_default_capture': run_remote_interaction_audit_verify_rejects_default_capture(),
         'verify_interaction_terminal_route_from_proof_evidence': run_verify_interaction_terminal_route_from_proof_evidence(),
         'verify_interaction_iife_structured_evidence_without_screenshot': run_verify_interaction_iife_structured_evidence_without_screenshot(),
         'verify_interaction_proof_evidence_overrides_stale_expected_path': run_verify_interaction_proof_evidence_overrides_stale_expected_path(),