@riddledc/riddle-proof 0.8.25 → 0.8.27

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") || "/"
@@ -289,6 +332,36 @@ function normalizeCaptureScript(value) {
   const script = normalizeOptionalString(value) || "";
   return script ? guardProofEvidenceGlobalAssignments(script) : "";
 }
+function compactCaptureScriptForHeuristics(script) {
+  return script.replace(/\/\*[\s\S]*?\*\//g, " ").replace(/(^|[^:])\/\/.*$/gm, "$1 ").replace(/\s+/g, " ").trim().toLowerCase();
+}
+function interactionCaptureScriptLooksPassive(script) {
+  const text = compactCaptureScriptForHeuristics(script);
+  if (!text) return true;
+  const actionPatterns = [
+    /\bpage\.(click|dblclick|tap|fill|press|type|check|uncheck|selectoption|dispatch(event)?|goto|reload)\s*\(/,
+    /\blocator\s*\([^)]*\)\s*\.\s*(click|dblclick|tap|fill|press|type|check|uncheck|selectoption|dispatch(event)?)\s*\(/,
+    /\b(getby(role|text|label|testid|placeholder|title)|getbyalttext)\s*\([^)]*\)\s*\.\s*(click|dblclick|tap|fill|press|type|check|uncheck|selectoption)\s*\(/,
+    /\bkeyboard\s*\.\s*(press|type|inserttext)\s*\(/,
+    /\bmouse\s*\.\s*(click|dblclick|down|up|move)\s*\(/,
+    /\btouchscreen\s*\.\s*tap\s*\(/
+  ];
+  if (actionPatterns.some((pattern) => pattern.test(text))) return false;
+  const evidencePatterns = [
+    /\breturn\s+[{[]/,
+    /\breturn\s+\w+/,
+    /__riddleproofevidence/,
+    /\bproof_evidence\b/,
+    /\brouteexpectationsource\b/,
+    /\bexpectedurl\b/,
+    /\bassertions?\b/
+  ];
+  return !evidencePatterns.some((pattern) => pattern.test(text));
+}
+function setStructuredInteractionCaptureFailure(state, summary) {
+  const existing = typeof state.structured_interaction_capture_failure_summary === "string" ? state.structured_interaction_capture_failure_summary.trim() : "";
+  if (!existing) state.structured_interaction_capture_failure_summary = summary;
+}
 function appendProofSummaryLine(state, line) {
   const text = String(line || "").trim();
   if (!text) return;
@@ -538,6 +611,9 @@ function proofAssessmentHardBlockersForState(state = {}) {
   }
   add(state?.structured_interaction_capture_failure_summary);
   add(state?.structured_interaction_failure_summary);
+  if (isInteractionVerificationMode(normalizedVerificationMode(state)) && !stateHasProofEvidence(state)) {
+    add("interaction proof evidence is required before ready_to_ship; proof_evidence_present=false");
+  }
   const mergeRecommendation = String(state?.merge_recommendation || "").trim();
   if (mergeRecommendation === "do-not-merge" && blockers.length) {
     add("merge_recommendation=do-not-merge because the proof bundle contains hard blockers.");
@@ -573,7 +649,22 @@ function stateHasAfterEvidence(state = {}) {
   const observation = objectValue(after.observation);
   const supporting = objectValue(after.supporting_artifacts);
   return Boolean(
-    observation.valid === true && (supporting.has_structured_payload === true || supporting.proof_evidence_present === true || observation.telemetry_ready === true || Object.keys(objectValue(bundle.proof_evidence)).length > 0 || Object.keys(objectValue(after.proof_evidence)).length > 0)
+    observation.valid === true && (supporting.has_structured_payload === true || stateHasProofEvidence(state) || observation.telemetry_ready === true)
+  );
+}
+function stateHasProofEvidence(state = {}) {
+  if (state?.proof_evidence_present === true) return true;
+  if (state?.proof_evidence !== void 0 && state?.proof_evidence !== null) {
+    if (typeof state.proof_evidence !== "object") return true;
+    if (Object.keys(objectValue(state.proof_evidence)).length > 0) return true;
+  }
+  const bundle = objectValue(state?.evidence_bundle);
+  const after = objectValue(bundle.after);
+  const supporting = objectValue(after.supporting_artifacts);
+  const request = objectValue(state?.proof_assessment_request);
+  const structuredEvidence = objectValue(request.structured_evidence);
+  return Boolean(
+    supporting.proof_evidence_present === true || structuredEvidence.proof_evidence_present === true || Object.keys(objectValue(bundle.proof_evidence)).length > 0 || Object.keys(objectValue(after.proof_evidence)).length > 0
   );
 }
 function validateShipGate(state = {}) {
@@ -915,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) {
@@ -951,6 +1043,11 @@ function mergeStateFromParams(statePath, params) {
       state.supervisor_author_packet = parsed;
       if (typeof parsed?.proof_plan === "string") state.proof_plan = normalizeOptionalString(parsed.proof_plan) || "";
       if (typeof parsed?.capture_script === "string") state.capture_script = normalizeCaptureScript(parsed.capture_script);
+      if (isInteractionVerificationMode(state.verification_mode) && interactionCaptureScriptLooksPassive(state.capture_script || "")) {
+        const warning = "Interaction proof capture script appears passive: it does not perform a browser interaction or return structured proof evidence.";
+        appendStateWarning(state, "author_warnings", warning);
+        setStructuredInteractionCaptureFailure(state, warning);
+      }
       if (parsed?.baseline_understanding_used && typeof parsed.baseline_understanding_used === "object") {
         state.author_baseline_understanding_used = parsed.baseline_understanding_used;
       }

package/dist/proof-run-core.js

@@ -27,7 +27,7 @@ import {
   visualDeltaShipGateReason,
   workflowFile,
   writeState
-} from "./chunk-FU73I4V3.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") || "/"
@@ -268,6 +311,36 @@ function normalizeCaptureScript(value) {
   const script = normalizeOptionalString(value) || "";
   return script ? guardProofEvidenceGlobalAssignments(script) : "";
 }
+function compactCaptureScriptForHeuristics(script) {
+  return script.replace(/\/\*[\s\S]*?\*\//g, " ").replace(/(^|[^:])\/\/.*$/gm, "$1 ").replace(/\s+/g, " ").trim().toLowerCase();
+}
+function interactionCaptureScriptLooksPassive(script) {
+  const text = compactCaptureScriptForHeuristics(script);
+  if (!text) return true;
+  const actionPatterns = [
+    /\bpage\.(click|dblclick|tap|fill|press|type|check|uncheck|selectoption|dispatch(event)?|goto|reload)\s*\(/,
+    /\blocator\s*\([^)]*\)\s*\.\s*(click|dblclick|tap|fill|press|type|check|uncheck|selectoption|dispatch(event)?)\s*\(/,
+    /\b(getby(role|text|label|testid|placeholder|title)|getbyalttext)\s*\([^)]*\)\s*\.\s*(click|dblclick|tap|fill|press|type|check|uncheck|selectoption)\s*\(/,
+    /\bkeyboard\s*\.\s*(press|type|inserttext)\s*\(/,
+    /\bmouse\s*\.\s*(click|dblclick|down|up|move)\s*\(/,
+    /\btouchscreen\s*\.\s*tap\s*\(/
+  ];
+  if (actionPatterns.some((pattern) => pattern.test(text))) return false;
+  const evidencePatterns = [
+    /\breturn\s+[{[]/,
+    /\breturn\s+\w+/,
+    /__riddleproofevidence/,
+    /\bproof_evidence\b/,
+    /\brouteexpectationsource\b/,
+    /\bexpectedurl\b/,
+    /\bassertions?\b/
+  ];
+  return !evidencePatterns.some((pattern) => pattern.test(text));
+}
+function setStructuredInteractionCaptureFailure(state, summary) {
+  const existing = typeof state.structured_interaction_capture_failure_summary === "string" ? state.structured_interaction_capture_failure_summary.trim() : "";
+  if (!existing) state.structured_interaction_capture_failure_summary = summary;
+}
 function appendProofSummaryLine(state, line) {
   const text = String(line || "").trim();
   if (!text) return;
@@ -517,6 +590,9 @@ function proofAssessmentHardBlockersForState(state = {}) {
   }
   add(state?.structured_interaction_capture_failure_summary);
   add(state?.structured_interaction_failure_summary);
+  if (isInteractionVerificationMode(normalizedVerificationMode(state)) && !stateHasProofEvidence(state)) {
+    add("interaction proof evidence is required before ready_to_ship; proof_evidence_present=false");
+  }
   const mergeRecommendation = String(state?.merge_recommendation || "").trim();
   if (mergeRecommendation === "do-not-merge" && blockers.length) {
     add("merge_recommendation=do-not-merge because the proof bundle contains hard blockers.");
@@ -552,7 +628,22 @@ function stateHasAfterEvidence(state = {}) {
   const observation = objectValue(after.observation);
   const supporting = objectValue(after.supporting_artifacts);
   return Boolean(
-    observation.valid === true && (supporting.has_structured_payload === true || supporting.proof_evidence_present === true || observation.telemetry_ready === true || Object.keys(objectValue(bundle.proof_evidence)).length > 0 || Object.keys(objectValue(after.proof_evidence)).length > 0)
+    observation.valid === true && (supporting.has_structured_payload === true || stateHasProofEvidence(state) || observation.telemetry_ready === true)
+  );
+}
+function stateHasProofEvidence(state = {}) {
+  if (state?.proof_evidence_present === true) return true;
+  if (state?.proof_evidence !== void 0 && state?.proof_evidence !== null) {
+    if (typeof state.proof_evidence !== "object") return true;
+    if (Object.keys(objectValue(state.proof_evidence)).length > 0) return true;
+  }
+  const bundle = objectValue(state?.evidence_bundle);
+  const after = objectValue(bundle.after);
+  const supporting = objectValue(after.supporting_artifacts);
+  const request = objectValue(state?.proof_assessment_request);
+  const structuredEvidence = objectValue(request.structured_evidence);
+  return Boolean(
+    supporting.proof_evidence_present === true || structuredEvidence.proof_evidence_present === true || Object.keys(objectValue(bundle.proof_evidence)).length > 0 || Object.keys(objectValue(after.proof_evidence)).length > 0
   );
 }
 function validateShipGate(state = {}) {
@@ -894,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) {
@@ -930,6 +1022,11 @@ function mergeStateFromParams(statePath, params) {
       state.supervisor_author_packet = parsed;
       if (typeof parsed?.proof_plan === "string") state.proof_plan = normalizeOptionalString(parsed.proof_plan) || "";
       if (typeof parsed?.capture_script === "string") state.capture_script = normalizeCaptureScript(parsed.capture_script);
+      if (isInteractionVerificationMode(state.verification_mode) && interactionCaptureScriptLooksPassive(state.capture_script || "")) {
+        const warning = "Interaction proof capture script appears passive: it does not perform a browser interaction or return structured proof evidence.";
+        appendStateWarning(state, "author_warnings", warning);
+        setStructuredInteractionCaptureFailure(state, warning);
+      }
       if (parsed?.baseline_understanding_used && typeof parsed.baseline_understanding_used === "object") {
         state.author_baseline_understanding_used = parsed.baseline_understanding_used;
       }

package/dist/proof-run-engine.js

@@ -1,8 +1,8 @@
 import {
   createRiddleProofEngine,
   executeWorkflow
-} from "./chunk-KS3N5APP.js";
-import "./chunk-FU73I4V3.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-P2RN2NYR.js";
-import "./chunk-YZUVEJ5B.js";
-import "./chunk-FMOYUYH2.js";
-import "./chunk-FU73I4V3.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 {

package/dist/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 {

package/package.json

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