@riddledc/riddle-proof 0.8.26 → 0.8.27

package/dist/engine-harness.js

@@ -2,11 +2,11 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-EMVMXVJV.js";
-import "./chunk-YZUVEJ5B.js";
-import "./chunk-FMOYUYH2.js";
-import "./chunk-RF72NWHM.js";
-import "./chunk-4FOHZ7JG.js";
+} from "./chunk-AM3K5FPW.js";
+import "./chunk-ZQWVXQKJ.js";
+import "./chunk-RDPG554T.js";
+import "./chunk-K6HZUSHH.js";
+import "./chunk-OILKSY5J.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/index.cjs

@@ -190,6 +190,30 @@ function normalizeRoutePath(value) {
     return `${pathname}${query}${hash}`;
   }
 }
+function trimRouteCandidate(value) {
+  return value.trim().replace(/[),.;\]}]+$/g, "");
+}
+function expectedTerminalRouteFromText(value) {
+  const text = typeof value === "string" ? value.trim() : "";
+  if (!text) return "";
+  const routePattern = "(https?:\\/\\/[^\\s\"'<>`]+|\\/[^\\s\"'<>`]+)";
+  const patterns = [
+    new RegExp(`\\bexpected\\s+(?:terminal\\s+|final\\s+|after\\s+)?(?:url|route|path)\\s*(?:is|=|:)\\s*${routePattern}`, "i"),
+    new RegExp(`\\b(?:terminal|final|after)\\s+(?:url|route|path)\\s*(?:is|=|:)\\s*${routePattern}`, "i"),
+    new RegExp(`\\b(?:ends|end|ending|lands|land|landing)\\s+(?:at|on)\\s*${routePattern}`, "i")
+  ];
+  for (const pattern of patterns) {
+    const match = text.match(pattern);
+    if (!match) continue;
+    const candidate = trimRouteCandidate(match[1] || "");
+    const normalized = normalizeRoutePath(candidate);
+    if (normalized) return normalized;
+  }
+  return "";
+}
+function requestedExpectedTerminalRouteForState(state) {
+  return expectedTerminalRouteFromText(state.success_criteria) || expectedTerminalRouteFromText(state.change_request) || expectedTerminalRouteFromText(state.context) || expectedTerminalRouteFromText(state.assertions_json);
+}
 function isInteractionVerificationMode(value) {
   return INTERACTION_VERIFICATION_MODES.has(typeof value === "string" ? value.trim().toLowerCase() : "");
 }
@@ -202,6 +226,25 @@ function appendStateWarning(state, key, warning) {
   const existing = Array.isArray(state[key]) ? state[key].filter((item) => typeof item === "string") : [];
   if (!existing.includes(warning)) state[key] = [...existing, warning];
 }
+function applyRequestedInteractionRouteContract(state) {
+  if (!isInteractionVerificationMode(state.verification_mode)) return;
+  const requestedTerminal = requestedExpectedTerminalRouteForState(state);
+  if (!requestedTerminal) return;
+  state.requested_expected_terminal_path = requestedTerminal;
+  if (!stringRecordValue(state, "expected_terminal_path")) {
+    state.expected_terminal_path = requestedTerminal;
+  }
+  const startPath = normalizeRoutePath(state.server_path) || normalizeRoutePath(state.expected_start_path) || "/";
+  if (!stringRecordValue(state, "expected_start_path")) {
+    state.expected_start_path = startPath;
+  }
+  const existingContract = state.interaction_contract && typeof state.interaction_contract === "object" ? state.interaction_contract : {};
+  state.interaction_contract = {
+    ...existingContract,
+    start_path: stringRecordValue(existingContract, "start_path") || startPath,
+    expected_terminal_path: stringRecordValue(existingContract, "expected_terminal_path") || requestedTerminal
+  };
+}
 function interactionStartPathForAuthorPacket(state, parsed, refined) {
   return normalizeRoutePath(
     stringRecordValue(state, "expected_start_path") || stringRecordValue(refined, "expected_start_path") || stringRecordValue(parsed.interaction_contract, "start_path") || stringRecordValue(parsed.proof_contract, "start_path") || stringRecordValue(state, "server_path") || "/"
@@ -737,6 +780,7 @@ function mergeStateFromParams(statePath, params) {
   if (params.use_auth !== void 0) state.use_auth = params.use_auth ? "true" : "";
   if (params.leave_draft !== void 0) state.leave_draft = params.leave_draft ? "true" : "";
   if (params.advance_stage !== void 0) state.last_requested_advance_stage = params.advance_stage;
+  applyRequestedInteractionRouteContract(state);
   if (params.recon_assessment_json !== void 0) {
     const raw = normalizeOptionalString(params.recon_assessment_json) || "";
     if (!raw) {
@@ -3612,7 +3656,7 @@ function responseSchemaForAuthorPacket() {
       summary: { type: "string" },
       payload: {
         type: "object",
-        description: "For decision=author_packet, provide the proof packet itself or {author_packet:{...}} with proof_plan, capture_script, and refined_inputs.expected_terminal_path when the proof changes route, query, or hash."
+        description: "For decision=author_packet, provide the proof packet itself or {author_packet:{...}} with proof_plan, capture_script, refined_inputs.expected_terminal_path, and interaction_contract when the proof changes route, query, or hash."
       },
       reasons: { type: "array", items: { type: "string" } },
       continue_with_stage: { type: "string", enum: ["author", "recon"] },
@@ -3923,6 +3967,10 @@ function buildAuthorCheckpointPacket(input) {
       reference: input.request.reference || fullState.reference,
       server_path: fullState.server_path,
       wait_for_selector: fullState.wait_for_selector,
+      expected_start_path: fullState.expected_start_path,
+      expected_terminal_path: fullState.expected_terminal_path,
+      requested_expected_terminal_path: fullState.requested_expected_terminal_path,
+      interaction_contract: jsonCloneRecord(fullState.interaction_contract),
       route_expectation: jsonCloneRecord(fullState.route_expectation),
       author_summary: fullState.author_summary,
       author_request: jsonCloneRecord(authorRequest),
@@ -4130,9 +4178,24 @@ function defaultContinueStage(packet, decision) {
 }
 function templatePayloadFor(packet, decision) {
   if (decision === "author_packet") {
+    const expectedTerminalPath = packet.state_excerpt?.expected_terminal_path || packet.state_excerpt?.requested_expected_terminal_path || null;
+    const expectedStartPath = packet.state_excerpt?.expected_start_path || packet.state_excerpt?.server_path || null;
     return {
       proof_plan: "TODO: describe the exact proof plan and stop condition.",
       capture_script: "TODO: provide the capture script that collects required artifacts/evidence.",
+      refined_inputs: {
+        server_path: packet.state_excerpt?.server_path || null,
+        wait_for_selector: packet.state_excerpt?.wait_for_selector || null,
+        reference: packet.state_excerpt?.reference || null,
+        expected_start_path: expectedStartPath,
+        expected_terminal_path: expectedTerminalPath
+      },
+      interaction_contract: {
+        start_path: expectedStartPath,
+        expected_terminal_path: expectedTerminalPath,
+        action: "TODO: describe the browser interaction, for example click the visible Proof nav link.",
+        assertions: []
+      },
       summary: "TODO: summarize why this proof packet targets the requested change."
     };
   }
@@ -6841,7 +6904,20 @@ var REFINED_INPUTS_SCHEMA = {
   properties: {
     server_path: { type: ["string", "null"] },
     wait_for_selector: { type: ["string", "null"] },
-    reference: { enum: ["before", "prod", "both", null] }
+    reference: { enum: ["before", "prod", "both", null] },
+    expected_start_path: { type: ["string", "null"] },
+    expected_terminal_path: { type: ["string", "null"] }
+  }
+};
+var INTERACTION_CONTRACT_SCHEMA = {
+  type: "object",
+  additionalProperties: true,
+  properties: {
+    start_path: { type: ["string", "null"] },
+    expected_terminal_path: { type: ["string", "null"] },
+    expected_url: { type: ["string", "null"] },
+    action: { type: ["string", "null"] },
+    assertions: { type: "array", items: { type: "string" } }
   }
 };
 var BASELINE_UNDERSTANDING_SCHEMA = {
@@ -6911,6 +6987,8 @@ var AUTHOR_SCHEMA = {
     capture_script: { type: "string" },
     baseline_understanding_used: BASELINE_UNDERSTANDING_SCHEMA,
     refined_inputs: REFINED_INPUTS_SCHEMA,
+    expected_terminal_path: { type: ["string", "null"] },
+    interaction_contract: INTERACTION_CONTRACT_SCHEMA,
     rationale: { type: "array", items: { type: "string" } },
     confidence: { type: "string", enum: ["low", "medium", "high"] },
     summary: { type: "string" }
@@ -7518,7 +7596,10 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "Do not leave this authoring stage pending for external investigation. Keep any repo inspection brief, do not modify files, and return the JSON proof packet from the available state.",
           "Choose the evidence modality from verification_mode and success_criteria: screenshots for visual/UI proof, interactions plus screenshots for interaction proof, structured metrics/logs/JSON/audio analysis for non-visual proof.",
           "For playable/gameplay proof, treat screenshots as supporting artifacts only: start the game, send keyboard or pointer input, measure state before/after, measure non-HUD canvas/playfield pixel deltas across time, and return playability evidence with version riddle-proof.playability.v1.",
-          "For interaction proof, return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text. Catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.",
+          "For 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.",
+          "Catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.",
           "For structured proof, collect meaningful measurements inside page.evaluate, assign them to an evidence variable, and return that object from capture_script. Screenshots are optional supporting context for data/audio/log/metric/custom modes.",
           "Do not assign globalThis.__riddleProofEvidence, window.__riddleProofEvidence, or self.__riddleProofEvidence in the worker context. Avoid global evidence assignment unless it is inside page.evaluate for compatibility with older packets.",
           "Do not call Playwright page.* APIs inside page.evaluate; page.evaluate runs in the browser page, while page.waitForFunction, page.waitForSelector, page.click, and saveScreenshot belong in the outer capture script.",
@@ -7532,7 +7613,7 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "For visual/UI proof, include saveScreenshot('after-proof') exactly once.",
           "Avoid generic proof language. The packet should be specific enough that verify can tell whether the requested change actually happened.",
           "Echo the baseline understanding you used in baseline_understanding_used so later stages can detect drift.",
-          "Use refined_inputs for server_path, wait_for_selector, or reference when useful; use null values when no refinement is needed."
+          "Use refined_inputs for server_path, wait_for_selector, reference, expected_start_path, and expected_terminal_path when useful; use null values when no refinement is needed."
         ].join("\n")
       });
       return payloadOrBlocker(raw, context.checkpoint);

package/dist/index.js

@@ -1,6 +1,6 @@
 import {
   runRiddleProof
-} from "./chunk-DZYH67J2.js";
+} from "./chunk-3OTO7IDH.js";
 import "./chunk-6F4PWJZI.js";
 import {
   RIDDLE_PROOF_PLAYABILITY_ASSESSMENT_VERSION,
@@ -95,7 +95,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-EMVMXVJV.js";
+} from "./chunk-AM3K5FPW.js";
 import {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
@@ -107,12 +107,12 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-YZUVEJ5B.js";
+} from "./chunk-ZQWVXQKJ.js";
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "./chunk-FMOYUYH2.js";
-import "./chunk-RF72NWHM.js";
+} from "./chunk-RDPG554T.js";
+import "./chunk-K6HZUSHH.js";
 import {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
@@ -128,13 +128,13 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "./chunk-4FOHZ7JG.js";
+} from "./chunk-OILKSY5J.js";
 import "./chunk-JFQXAJH2.js";
 import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "./chunk-EEIYUZXE.js";
+} from "./chunk-4PPJKW3Z.js";
 import {
   applyTerminalMetadata,
   compactRecord,

package/dist/local-agent.cjs

@@ -57,7 +57,20 @@ var REFINED_INPUTS_SCHEMA = {
   properties: {
     server_path: { type: ["string", "null"] },
     wait_for_selector: { type: ["string", "null"] },
-    reference: { enum: ["before", "prod", "both", null] }
+    reference: { enum: ["before", "prod", "both", null] },
+    expected_start_path: { type: ["string", "null"] },
+    expected_terminal_path: { type: ["string", "null"] }
+  }
+};
+var INTERACTION_CONTRACT_SCHEMA = {
+  type: "object",
+  additionalProperties: true,
+  properties: {
+    start_path: { type: ["string", "null"] },
+    expected_terminal_path: { type: ["string", "null"] },
+    expected_url: { type: ["string", "null"] },
+    action: { type: ["string", "null"] },
+    assertions: { type: "array", items: { type: "string" } }
   }
 };
 var BASELINE_UNDERSTANDING_SCHEMA = {
@@ -127,6 +140,8 @@ var AUTHOR_SCHEMA = {
     capture_script: { type: "string" },
     baseline_understanding_used: BASELINE_UNDERSTANDING_SCHEMA,
     refined_inputs: REFINED_INPUTS_SCHEMA,
+    expected_terminal_path: { type: ["string", "null"] },
+    interaction_contract: INTERACTION_CONTRACT_SCHEMA,
     rationale: { type: "array", items: { type: "string" } },
     confidence: { type: "string", enum: ["low", "medium", "high"] },
     summary: { type: "string" }
@@ -734,7 +749,10 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "Do not leave this authoring stage pending for external investigation. Keep any repo inspection brief, do not modify files, and return the JSON proof packet from the available state.",
           "Choose the evidence modality from verification_mode and success_criteria: screenshots for visual/UI proof, interactions plus screenshots for interaction proof, structured metrics/logs/JSON/audio analysis for non-visual proof.",
           "For playable/gameplay proof, treat screenshots as supporting artifacts only: start the game, send keyboard or pointer input, measure state before/after, measure non-HUD canvas/playfield pixel deltas across time, and return playability evidence with version riddle-proof.playability.v1.",
-          "For interaction proof, return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text. Catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.",
+          "For 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.",
+          "Catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.",
           "For structured proof, collect meaningful measurements inside page.evaluate, assign them to an evidence variable, and return that object from capture_script. Screenshots are optional supporting context for data/audio/log/metric/custom modes.",
           "Do not assign globalThis.__riddleProofEvidence, window.__riddleProofEvidence, or self.__riddleProofEvidence in the worker context. Avoid global evidence assignment unless it is inside page.evaluate for compatibility with older packets.",
           "Do not call Playwright page.* APIs inside page.evaluate; page.evaluate runs in the browser page, while page.waitForFunction, page.waitForSelector, page.click, and saveScreenshot belong in the outer capture script.",
@@ -748,7 +766,7 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "For visual/UI proof, include saveScreenshot('after-proof') exactly once.",
           "Avoid generic proof language. The packet should be specific enough that verify can tell whether the requested change actually happened.",
           "Echo the baseline understanding you used in baseline_understanding_used so later stages can detect drift.",
-          "Use refined_inputs for server_path, wait_for_selector, or reference when useful; use null values when no refinement is needed."
+          "Use refined_inputs for server_path, wait_for_selector, reference, expected_start_path, and expected_terminal_path when useful; use null values when no refinement is needed."
         ].join("\n")
       });
       return payloadOrBlocker(raw, context.checkpoint);

package/dist/local-agent.js

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

package/dist/openclaw.js

@@ -3,10 +3,10 @@ import {
   parseOpenClawAssertions,
   parseOpenClawJsonObjectOrArray,
   toRiddleProofRunParams
-} from "./chunk-RBWSCU6V.js";
-import "./chunk-YZUVEJ5B.js";
-import "./chunk-FMOYUYH2.js";
-import "./chunk-4FOHZ7JG.js";
+} from "./chunk-AYMHHRJZ.js";
+import "./chunk-ZQWVXQKJ.js";
+import "./chunk-RDPG554T.js";
+import "./chunk-OILKSY5J.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/proof-run-core.cjs

@@ -235,6 +235,30 @@ function normalizeRoutePath(value) {
     return `${pathname}${query}${hash}`;
   }
 }
+function trimRouteCandidate(value) {
+  return value.trim().replace(/[),.;\]}]+$/g, "");
+}
+function expectedTerminalRouteFromText(value) {
+  const text = typeof value === "string" ? value.trim() : "";
+  if (!text) return "";
+  const routePattern = "(https?:\\/\\/[^\\s\"'<>`]+|\\/[^\\s\"'<>`]+)";
+  const patterns = [
+    new RegExp(`\\bexpected\\s+(?:terminal\\s+|final\\s+|after\\s+)?(?:url|route|path)\\s*(?:is|=|:)\\s*${routePattern}`, "i"),
+    new RegExp(`\\b(?:terminal|final|after)\\s+(?:url|route|path)\\s*(?:is|=|:)\\s*${routePattern}`, "i"),
+    new RegExp(`\\b(?:ends|end|ending|lands|land|landing)\\s+(?:at|on)\\s*${routePattern}`, "i")
+  ];
+  for (const pattern of patterns) {
+    const match = text.match(pattern);
+    if (!match) continue;
+    const candidate = trimRouteCandidate(match[1] || "");
+    const normalized = normalizeRoutePath(candidate);
+    if (normalized) return normalized;
+  }
+  return "";
+}
+function requestedExpectedTerminalRouteForState(state) {
+  return expectedTerminalRouteFromText(state.success_criteria) || expectedTerminalRouteFromText(state.change_request) || expectedTerminalRouteFromText(state.context) || expectedTerminalRouteFromText(state.assertions_json);
+}
 function isInteractionVerificationMode(value) {
   return INTERACTION_VERIFICATION_MODES.has(typeof value === "string" ? value.trim().toLowerCase() : "");
 }
@@ -247,6 +271,25 @@ function appendStateWarning(state, key, warning) {
   const existing = Array.isArray(state[key]) ? state[key].filter((item) => typeof item === "string") : [];
   if (!existing.includes(warning)) state[key] = [...existing, warning];
 }
+function applyRequestedInteractionRouteContract(state) {
+  if (!isInteractionVerificationMode(state.verification_mode)) return;
+  const requestedTerminal = requestedExpectedTerminalRouteForState(state);
+  if (!requestedTerminal) return;
+  state.requested_expected_terminal_path = requestedTerminal;
+  if (!stringRecordValue(state, "expected_terminal_path")) {
+    state.expected_terminal_path = requestedTerminal;
+  }
+  const startPath = normalizeRoutePath(state.server_path) || normalizeRoutePath(state.expected_start_path) || "/";
+  if (!stringRecordValue(state, "expected_start_path")) {
+    state.expected_start_path = startPath;
+  }
+  const existingContract = state.interaction_contract && typeof state.interaction_contract === "object" ? state.interaction_contract : {};
+  state.interaction_contract = {
+    ...existingContract,
+    start_path: stringRecordValue(existingContract, "start_path") || startPath,
+    expected_terminal_path: stringRecordValue(existingContract, "expected_terminal_path") || requestedTerminal
+  };
+}
 function interactionStartPathForAuthorPacket(state, parsed, refined) {
   return normalizeRoutePath(
     stringRecordValue(state, "expected_start_path") || stringRecordValue(refined, "expected_start_path") || stringRecordValue(parsed.interaction_contract, "start_path") || stringRecordValue(parsed.proof_contract, "start_path") || stringRecordValue(state, "server_path") || "/"
@@ -963,6 +1006,7 @@ function mergeStateFromParams(statePath, params) {
   if (params.use_auth !== void 0) state.use_auth = params.use_auth ? "true" : "";
   if (params.leave_draft !== void 0) state.leave_draft = params.leave_draft ? "true" : "";
   if (params.advance_stage !== void 0) state.last_requested_advance_stage = params.advance_stage;
+  applyRequestedInteractionRouteContract(state);
   if (params.recon_assessment_json !== void 0) {
     const raw = normalizeOptionalString(params.recon_assessment_json) || "";
     if (!raw) {

package/dist/proof-run-core.js

@@ -27,7 +27,7 @@ import {
   visualDeltaShipGateReason,
   workflowFile,
   writeState
-} from "./chunk-RF72NWHM.js";
+} from "./chunk-K6HZUSHH.js";
 import "./chunk-MLKGABMK.js";
 export {
   BUNDLED_RIDDLE_PROOF_DIR,

package/dist/proof-run-engine.cjs

@@ -214,6 +214,30 @@ function normalizeRoutePath(value) {
     return `${pathname}${query}${hash}`;
   }
 }
+function trimRouteCandidate(value) {
+  return value.trim().replace(/[),.;\]}]+$/g, "");
+}
+function expectedTerminalRouteFromText(value) {
+  const text = typeof value === "string" ? value.trim() : "";
+  if (!text) return "";
+  const routePattern = "(https?:\\/\\/[^\\s\"'<>`]+|\\/[^\\s\"'<>`]+)";
+  const patterns = [
+    new RegExp(`\\bexpected\\s+(?:terminal\\s+|final\\s+|after\\s+)?(?:url|route|path)\\s*(?:is|=|:)\\s*${routePattern}`, "i"),
+    new RegExp(`\\b(?:terminal|final|after)\\s+(?:url|route|path)\\s*(?:is|=|:)\\s*${routePattern}`, "i"),
+    new RegExp(`\\b(?:ends|end|ending|lands|land|landing)\\s+(?:at|on)\\s*${routePattern}`, "i")
+  ];
+  for (const pattern of patterns) {
+    const match = text.match(pattern);
+    if (!match) continue;
+    const candidate = trimRouteCandidate(match[1] || "");
+    const normalized = normalizeRoutePath(candidate);
+    if (normalized) return normalized;
+  }
+  return "";
+}
+function requestedExpectedTerminalRouteForState(state) {
+  return expectedTerminalRouteFromText(state.success_criteria) || expectedTerminalRouteFromText(state.change_request) || expectedTerminalRouteFromText(state.context) || expectedTerminalRouteFromText(state.assertions_json);
+}
 function isInteractionVerificationMode(value) {
   return INTERACTION_VERIFICATION_MODES.has(typeof value === "string" ? value.trim().toLowerCase() : "");
 }
@@ -226,6 +250,25 @@ function appendStateWarning(state, key, warning) {
   const existing = Array.isArray(state[key]) ? state[key].filter((item) => typeof item === "string") : [];
   if (!existing.includes(warning)) state[key] = [...existing, warning];
 }
+function applyRequestedInteractionRouteContract(state) {
+  if (!isInteractionVerificationMode(state.verification_mode)) return;
+  const requestedTerminal = requestedExpectedTerminalRouteForState(state);
+  if (!requestedTerminal) return;
+  state.requested_expected_terminal_path = requestedTerminal;
+  if (!stringRecordValue(state, "expected_terminal_path")) {
+    state.expected_terminal_path = requestedTerminal;
+  }
+  const startPath = normalizeRoutePath(state.server_path) || normalizeRoutePath(state.expected_start_path) || "/";
+  if (!stringRecordValue(state, "expected_start_path")) {
+    state.expected_start_path = startPath;
+  }
+  const existingContract = state.interaction_contract && typeof state.interaction_contract === "object" ? state.interaction_contract : {};
+  state.interaction_contract = {
+    ...existingContract,
+    start_path: stringRecordValue(existingContract, "start_path") || startPath,
+    expected_terminal_path: stringRecordValue(existingContract, "expected_terminal_path") || requestedTerminal
+  };
+}
 function interactionStartPathForAuthorPacket(state, parsed, refined) {
   return normalizeRoutePath(
     stringRecordValue(state, "expected_start_path") || stringRecordValue(refined, "expected_start_path") || stringRecordValue(parsed.interaction_contract, "start_path") || stringRecordValue(parsed.proof_contract, "start_path") || stringRecordValue(state, "server_path") || "/"
@@ -942,6 +985,7 @@ function mergeStateFromParams(statePath, params) {
   if (params.use_auth !== void 0) state.use_auth = params.use_auth ? "true" : "";
   if (params.leave_draft !== void 0) state.leave_draft = params.leave_draft ? "true" : "";
   if (params.advance_stage !== void 0) state.last_requested_advance_stage = params.advance_stage;
+  applyRequestedInteractionRouteContract(state);
   if (params.recon_assessment_json !== void 0) {
     const raw = normalizeOptionalString(params.recon_assessment_json) || "";
     if (!raw) {

package/dist/proof-run-engine.js

@@ -1,8 +1,8 @@
 import {
   createRiddleProofEngine,
   executeWorkflow
-} from "./chunk-EGOVHMBQ.js";
-import "./chunk-RF72NWHM.js";
+} from "./chunk-YC77HZVF.js";
+import "./chunk-K6HZUSHH.js";
 import "./chunk-MLKGABMK.js";
 export {
   createRiddleProofEngine,

package/dist/run-card.js

@@ -1,8 +1,8 @@
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "./chunk-FMOYUYH2.js";
-import "./chunk-4FOHZ7JG.js";
+} from "./chunk-RDPG554T.js";
+import "./chunk-OILKSY5J.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/runner.js

@@ -1,10 +1,10 @@
 import {
   runRiddleProof
-} from "./chunk-DZYH67J2.js";
-import "./chunk-YZUVEJ5B.js";
-import "./chunk-FMOYUYH2.js";
-import "./chunk-RF72NWHM.js";
-import "./chunk-4FOHZ7JG.js";
+} from "./chunk-3OTO7IDH.js";
+import "./chunk-ZQWVXQKJ.js";
+import "./chunk-RDPG554T.js";
+import "./chunk-K6HZUSHH.js";
+import "./chunk-OILKSY5J.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/spec/checkpoint.cjs

@@ -121,7 +121,7 @@ function responseSchemaForAuthorPacket() {
       summary: { type: "string" },
       payload: {
         type: "object",
-        description: "For decision=author_packet, provide the proof packet itself or {author_packet:{...}} with proof_plan, capture_script, and refined_inputs.expected_terminal_path when the proof changes route, query, or hash."
+        description: "For decision=author_packet, provide the proof packet itself or {author_packet:{...}} with proof_plan, capture_script, refined_inputs.expected_terminal_path, and interaction_contract when the proof changes route, query, or hash."
       },
       reasons: { type: "array", items: { type: "string" } },
       continue_with_stage: { type: "string", enum: ["author", "recon"] },
@@ -432,6 +432,10 @@ function buildAuthorCheckpointPacket(input) {
       reference: input.request.reference || fullState.reference,
       server_path: fullState.server_path,
       wait_for_selector: fullState.wait_for_selector,
+      expected_start_path: fullState.expected_start_path,
+      expected_terminal_path: fullState.expected_terminal_path,
+      requested_expected_terminal_path: fullState.requested_expected_terminal_path,
+      interaction_contract: jsonCloneRecord(fullState.interaction_contract),
       route_expectation: jsonCloneRecord(fullState.route_expectation),
       author_summary: fullState.author_summary,
       author_request: jsonCloneRecord(authorRequest),
@@ -639,9 +643,24 @@ function defaultContinueStage(packet, decision) {
 }
 function templatePayloadFor(packet, decision) {
   if (decision === "author_packet") {
+    const expectedTerminalPath = packet.state_excerpt?.expected_terminal_path || packet.state_excerpt?.requested_expected_terminal_path || null;
+    const expectedStartPath = packet.state_excerpt?.expected_start_path || packet.state_excerpt?.server_path || null;
     return {
       proof_plan: "TODO: describe the exact proof plan and stop condition.",
       capture_script: "TODO: provide the capture script that collects required artifacts/evidence.",
+      refined_inputs: {
+        server_path: packet.state_excerpt?.server_path || null,
+        wait_for_selector: packet.state_excerpt?.wait_for_selector || null,
+        reference: packet.state_excerpt?.reference || null,
+        expected_start_path: expectedStartPath,
+        expected_terminal_path: expectedTerminalPath
+      },
+      interaction_contract: {
+        start_path: expectedStartPath,
+        expected_terminal_path: expectedTerminalPath,
+        action: "TODO: describe the browser interaction, for example click the visible Proof nav link.",
+        assertions: []
+      },
       summary: "TODO: summarize why this proof packet targets the requested change."
     };
   }

package/dist/spec/checkpoint.js

@@ -13,7 +13,7 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "../chunk-4FOHZ7JG.js";
+} from "../chunk-OILKSY5J.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/spec/index.cjs

@@ -344,7 +344,7 @@ function responseSchemaForAuthorPacket() {
       summary: { type: "string" },
       payload: {
         type: "object",
-        description: "For decision=author_packet, provide the proof packet itself or {author_packet:{...}} with proof_plan, capture_script, and refined_inputs.expected_terminal_path when the proof changes route, query, or hash."
+        description: "For decision=author_packet, provide the proof packet itself or {author_packet:{...}} with proof_plan, capture_script, refined_inputs.expected_terminal_path, and interaction_contract when the proof changes route, query, or hash."
       },
       reasons: { type: "array", items: { type: "string" } },
       continue_with_stage: { type: "string", enum: ["author", "recon"] },
@@ -655,6 +655,10 @@ function buildAuthorCheckpointPacket(input) {
       reference: input.request.reference || fullState.reference,
       server_path: fullState.server_path,
       wait_for_selector: fullState.wait_for_selector,
+      expected_start_path: fullState.expected_start_path,
+      expected_terminal_path: fullState.expected_terminal_path,
+      requested_expected_terminal_path: fullState.requested_expected_terminal_path,
+      interaction_contract: jsonCloneRecord(fullState.interaction_contract),
       route_expectation: jsonCloneRecord(fullState.route_expectation),
       author_summary: fullState.author_summary,
       author_request: jsonCloneRecord(authorRequest),
@@ -862,9 +866,24 @@ function defaultContinueStage(packet, decision) {
 }
 function templatePayloadFor(packet, decision) {
   if (decision === "author_packet") {
+    const expectedTerminalPath = packet.state_excerpt?.expected_terminal_path || packet.state_excerpt?.requested_expected_terminal_path || null;
+    const expectedStartPath = packet.state_excerpt?.expected_start_path || packet.state_excerpt?.server_path || null;
     return {
       proof_plan: "TODO: describe the exact proof plan and stop condition.",
       capture_script: "TODO: provide the capture script that collects required artifacts/evidence.",
+      refined_inputs: {
+        server_path: packet.state_excerpt?.server_path || null,
+        wait_for_selector: packet.state_excerpt?.wait_for_selector || null,
+        reference: packet.state_excerpt?.reference || null,
+        expected_start_path: expectedStartPath,
+        expected_terminal_path: expectedTerminalPath
+      },
+      interaction_contract: {
+        start_path: expectedStartPath,
+        expected_terminal_path: expectedTerminalPath,
+        action: "TODO: describe the browser interaction, for example click the visible Proof nav link.",
+        assertions: []
+      },
       summary: "TODO: summarize why this proof packet targets the requested change."
     };
   }

package/dist/spec/index.js

@@ -10,11 +10,11 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "../chunk-YZUVEJ5B.js";
+} from "../chunk-ZQWVXQKJ.js";
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "../chunk-FMOYUYH2.js";
+} from "../chunk-RDPG554T.js";
 import {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
@@ -30,7 +30,7 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "../chunk-4FOHZ7JG.js";
+} from "../chunk-OILKSY5J.js";
 import {
   applyTerminalMetadata,
   compactRecord,

package/dist/spec/run-card.js

@@ -1,8 +1,8 @@
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "../chunk-FMOYUYH2.js";
-import "../chunk-4FOHZ7JG.js";
+} from "../chunk-RDPG554T.js";
+import "../chunk-OILKSY5J.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/spec/state.js

@@ -9,9 +9,9 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "../chunk-YZUVEJ5B.js";
-import "../chunk-FMOYUYH2.js";
-import "../chunk-4FOHZ7JG.js";
+} from "../chunk-ZQWVXQKJ.js";
+import "../chunk-RDPG554T.js";
+import "../chunk-OILKSY5J.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {