@riddledc/riddle-proof 0.8.28 → 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.28",
+  "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
@@ -223,6 +223,76 @@ def interaction_verification_mode():
     )
 
 
+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
@@ -550,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'] = {

package/runtime/tests/recon_verify_smoke.py

@@ -1700,13 +1700,33 @@ def run_remote_interaction_audit_setup_requires_authoring():
         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': state['author_status'],
-            'capture_script_source': state.get('capture_script_source', ''),
+            '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)
@@ -2062,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 {
@@ -2400,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 {