@riddledc/riddle-proof 0.8.75 → 0.8.77

package/dist/index.js

@@ -61,7 +61,7 @@ import {
   RIDDLE_PROOF_PR_COMMENT_MARKER,
   buildRiddleProofPrCommentMarkdown,
   summarizeRiddleProofPrComment
-} from "./chunk-CWRIXP5H.js";
+} from "./chunk-IY4W6STC.js";
 import {
   RIDDLE_PROOF_PROFILE_SUGGESTIONS_VERSION,
   suggestRiddleProofProfileChecks
@@ -98,9 +98,13 @@ import {
 } from "./chunk-GG2D3MFZ.js";
 import {
   RIDDLE_PROOF_CHANGE_CONTRACT_VERSION,
+  RIDDLE_PROOF_CHANGE_RECEIPT_VERSION,
   RIDDLE_PROOF_CHANGE_RESULT_VERSION,
-  assessRiddleProofChange
-} from "./chunk-6S7DZWVC.js";
+  assessRiddleProofChange,
+  createRiddleProofChangeReceipt,
+  riddleProofChangeReceiptHtml,
+  riddleProofChangeReceiptMarkdown
+} from "./chunk-BILL3UC2.js";
 import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
@@ -193,6 +197,7 @@ export {
   RIDDLE_PROOF_BASIC_GAMEPLAY_VERSION,
   RIDDLE_PROOF_CAPTURE_DIAGNOSTIC_VERSION,
   RIDDLE_PROOF_CHANGE_CONTRACT_VERSION,
+  RIDDLE_PROOF_CHANGE_RECEIPT_VERSION,
   RIDDLE_PROOF_CHANGE_RESULT_VERSION,
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
@@ -258,6 +263,7 @@ export {
   createCodexExecAgentAdapter as createLocalAgentAdapter,
   createCodexExecJsonRunner as createLocalAgentJsonRunner,
   createRiddleApiClient,
+  createRiddleProofChangeReceipt,
   createRiddleProofProfileConfigurationError,
   createRiddleProofProfileEnvironmentBlockedResult,
   createRiddleProofProfileInsufficientResult,
@@ -303,6 +309,8 @@ export {
   resolveRiddleProofProfileRouteUrl,
   resolveRiddleProofProfileTargetUrl,
   resolveRiddleProofProfileTimeoutSec,
+  riddleProofChangeReceiptHtml,
+  riddleProofChangeReceiptMarkdown,
   riddleProofPublicStateAllowsClaim,
   riddleProofPublicStateAllowsMergeRecommendation,
   riddleProofPublicStateMergeRecommendation,

package/dist/pr-comment.cjs

@@ -277,6 +277,33 @@ function collectProfileArtifacts(result) {
   }
   return artifacts;
 }
+function collectChangeReceiptArtifacts(result) {
+  const artifacts = [];
+  const seen = /* @__PURE__ */ new Set();
+  const collectSide = (sideName, side) => {
+    const candidates = [
+      ...asArray(side.screenshots),
+      ...asArray(side.artifacts)
+    ];
+    for (const [index, item] of candidates.entries()) {
+      const artifact = asRecord2(item);
+      const url = stringValue2(artifact.url) || stringValue2(artifact.path);
+      if (!url || seen.has(url)) continue;
+      seen.add(url);
+      const fallbackName = `${sideName}-artifact-${index + 1}`;
+      const name = `${sideName}/${artifactDisplayName(artifact.name, fallbackName)}`;
+      artifacts.push({
+        name,
+        url,
+        kind: artifactKind(name, url),
+        size_bytes: numberValue2(artifact.size_bytes) ?? numberValue2(artifact.size)
+      });
+    }
+  };
+  collectSide("before", asRecord2(result.before));
+  collectSide("after", asRecord2(result.after));
+  return artifacts;
+}
 function mergeArtifacts(...artifactLists) {
   const artifacts = [];
   const seen = /* @__PURE__ */ new Set();
@@ -332,6 +359,32 @@ function profilePageSummaries(result, counts) {
     failed: counts.failed
   }];
 }
+function changeReceiptCheckCounts(result) {
+  const deltas = asArray(result.deltas);
+  if (!deltas.length) return void 0;
+  let passed = 0;
+  let failed = 0;
+  for (const item of deltas) {
+    const status = stringValue2(asRecord2(item).status);
+    if (status === "passed") passed += 1;
+    if (status === "failed" || status === "proof_insufficient" || status === "configuration_error") failed += 1;
+  }
+  return { passed, failed };
+}
+function changeReceiptPageSummaries(result) {
+  const pages = [];
+  for (const sideName of ["before", "after"]) {
+    const side = asRecord2(result[sideName]);
+    if (!Object.keys(side).length) continue;
+    const checks = asRecord2(side.checks);
+    pages.push({
+      route: firstStringValue2(side.source, side.profile_name) || sideName,
+      passed: numberValue2(checks.passed) ?? 0,
+      failed: numberValue2(checks.failed) ?? 0
+    });
+  }
+  return pages;
+}
 function summarizeExplicitChecks(value) {
   let passed = 0;
   let failed = 0;
@@ -387,11 +440,20 @@ function isProfileResult(result) {
   const version = stringValue2(result.version);
   return version === "riddle-proof.profile-result.v1" || version === "riddle-proof.profile-compact-result.v1";
 }
+function isChangeReceiptResult(result) {
+  return stringValue2(result.version) === "riddle-proof.change-receipt.v1";
+}
+function isChangeResult(result) {
+  const version = stringValue2(result.version);
+  return version === "riddle-proof.change-result.v1" || version === "riddle-proof.change-compact-result.v1";
+}
 function summarizeRiddleProofPrComment(input) {
   const runResponse = asRecord2(input.runResponse);
   const result = asRecord2(input.result);
   const proofResult = asRecord2(runResponse.proofResult);
   const profileResult = isProfileResult(result);
+  const changeReceiptResult = isChangeReceiptResult(result);
+  const changeResult = changeReceiptResult || isChangeResult(result);
   const profileRiddle = asRecord2(result.riddle);
   const preview = asRecord2(runResponse.preview);
   const resultRunCard = asRecord2(result.run_card);
@@ -400,15 +462,18 @@ function summarizeRiddleProofPrComment(input) {
   const resultRaw = asRecord2(result.raw);
   const rawDetails = asRecord2(resultRaw.details);
   const profileChecks = profileResult ? profileCheckCounts(result) : void 0;
+  const changeChecks = changeResult ? changeReceiptCheckCounts(result) : void 0;
   const artifacts = mergeArtifacts(
     collectArtifacts(runResponse),
-    profileResult ? collectProfileArtifacts(result) : []
+    profileResult ? collectProfileArtifacts(result) : [],
+    changeReceiptResult ? collectChangeReceiptArtifacts(result) : []
   );
-  const pages = profileResult ? profilePageSummaries(result, profileChecks) : pageSummaries(result);
+  const pages = changeReceiptResult ? changeReceiptPageSummaries(result) : profileResult ? profilePageSummaries(result, profileChecks) : pageSummaries(result);
   const checkSource = { ...result };
   delete checkSource.ok;
   const nestedChecks = summarizeExplicitChecks(checkSource);
-  const ok = booleanValue2(result.ok) ?? booleanValue2(runResponse.ok) ?? null;
+  const resultStatus = firstStringValue2(result.status, stopCondition.status);
+  const ok = changeResult ? resultStatus === "passed" : booleanValue2(result.ok) ?? booleanValue2(runResponse.ok) ?? null;
   const checkpointSummary = checkpointSummaryFrom2(
     result.checkpoint_summary,
     stopCondition.checkpoint_summary,
@@ -418,7 +483,7 @@ function summarizeRiddleProofPrComment(input) {
   );
   const publicState = summarizeRiddleProofPublicState({
     ...result,
-    status: firstStringValue2(result.status, stopCondition.status),
+    status: resultStatus,
     checkpoint_summary: checkpointSummary || result.checkpoint_summary
   });
   const mergeRecommendation = riddleProofPublicStateMergeRecommendation(
@@ -428,7 +493,7 @@ function summarizeRiddleProofPrComment(input) {
   return {
     ok,
     status: firstStringValue2(proofResult.status, profileRiddle.status),
-    result_status: publicState.status,
+    result_status: changeResult ? resultStatus : publicState.status,
     job_id: firstStringValue2(proofResult.job_id, profileRiddle.job_id),
     duration_ms: numberValue2(proofResult.duration_ms) ?? numberValue2(profileRiddle.elapsed_ms),
     proof_url: stringValue2(runResponse.proofUrl),
@@ -442,11 +507,11 @@ function summarizeRiddleProofPrComment(input) {
     merge_ready: publicState.merge_ready,
     sync_allowed: publicState.sync_allowed,
     proof_decision: firstStringValue2(result.proof_decision, stopCondition.proof_decision, resultRaw.proof_decision),
-    merge_recommendation: mergeRecommendation,
+    merge_recommendation: changeReceiptResult && resultStatus ? stringValue2(result.verdict) : mergeRecommendation,
     checkpoint_summary: checkpointSummary,
     public_state: publicState,
-    passed_checks: profileChecks?.passed ?? nestedChecks.passed,
-    failed_checks: profileChecks?.failed ?? nestedChecks.failed,
+    passed_checks: changeChecks?.passed ?? profileChecks?.passed ?? nestedChecks.passed,
+    failed_checks: changeChecks?.failed ?? profileChecks?.failed ?? nestedChecks.failed,
     pages,
     artifacts,
     primary_image: selectPrimaryImage(artifacts)

package/dist/pr-comment.js

@@ -2,7 +2,7 @@ import {
   RIDDLE_PROOF_PR_COMMENT_MARKER,
   buildRiddleProofPrCommentMarkdown,
   summarizeRiddleProofPrComment
-} from "./chunk-CWRIXP5H.js";
+} from "./chunk-IY4W6STC.js";
 import "./chunk-ZAR7BWMN.js";
 import "./chunk-MLKGABMK.js";
 export {

package/examples/change-contracts/hosted-change-proof-preview.json

@@ -0,0 +1,16 @@
+{
+  "version": "riddle-proof.change-contract.v1",
+  "name": "Hosted preview marker appears after change",
+  "deltas": [
+    {
+      "type": "check_status_transition",
+      "label": "hosted preview marker becomes visible",
+      "check_label": "hosted-preview-marker-visible",
+      "before_status": "failed",
+      "after_status": "passed"
+    }
+  ],
+  "metadata": {
+    "example": "hosted preview before/after proof"
+  }
+}

package/examples/neutral-fixture-site/pass.html

@@ -28,6 +28,10 @@
             <dt>Fixture</dt>
             <dd>neutral-fixture-pass</dd>
           </div>
+          <div>
+            <dt>Hosted proof</dt>
+            <dd data-rp-change-proof="hosted-preview">hosted preview change proof</dd>
+          </div>
         </dl>
       </section>
     </main>

package/examples/neutral-fixture-site/styles.css

@@ -70,7 +70,7 @@ p {
 
 dl {
   display: grid;
-  grid-template-columns: repeat(3, minmax(0, 1fr));
+  grid-template-columns: repeat(4, minmax(0, 1fr));
   margin: 0;
 }
 

package/examples/profiles/hosted-change-proof-preview.json

@@ -0,0 +1,36 @@
+{
+  "version": "riddle-proof.profile.v1",
+  "name": "hosted-change-proof-preview",
+  "target": {
+    "route": "/pass.html",
+    "viewports": [
+      { "name": "phone", "width": 390, "height": 844 },
+      { "name": "desktop", "width": 1440, "height": 1000 }
+    ],
+    "auth": "none",
+    "wait_for_selector": "[data-rp-fixture=\"pass\"]",
+    "setup_actions": [
+      { "type": "screenshot", "label": "initial-fixture-state", "full_page": false },
+      { "type": "wait", "ms": 100 }
+    ],
+    "screenshot_full_page": false
+  },
+  "checks": [
+    { "type": "route_loaded", "expected_path": "/pass.html" },
+    { "type": "selector_visible", "selector": "[data-rp-fixture=\"pass\"]" },
+    {
+      "type": "selector_text_visible",
+      "label": "hosted-preview-marker-visible",
+      "selector": "[data-rp-change-proof=\"hosted-preview\"]",
+      "text": "hosted preview change proof"
+    },
+    { "type": "no_mobile_horizontal_overflow" },
+    { "type": "no_fatal_console_errors" }
+  ],
+  "artifacts": ["screenshot", "console", "dom_summary", "proof_json"],
+  "failure_policy": {
+    "environment_blocked": "neutral",
+    "proof_insufficient": "fail",
+    "product_regression": "fail"
+  }
+}

package/package.json

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

package/dist/chunk-6S7DZWVC.js

@@ -1,167 +0,0 @@
-// src/change-proof.ts
-var RIDDLE_PROOF_CHANGE_CONTRACT_VERSION = "riddle-proof.change-contract.v1";
-var RIDDLE_PROOF_CHANGE_RESULT_VERSION = "riddle-proof.change-result.v1";
-var DEFAULT_BEFORE_STATUSES = ["passed", "product_regression"];
-var DEFAULT_AFTER_STATUSES = ["passed"];
-var DEFAULT_PROFILE_STATUS_TRANSITION_BEFORE = ["product_regression"];
-var DEFAULT_PROFILE_STATUS_TRANSITION_AFTER = ["passed"];
-var DEFAULT_CHECK_STATUS_TRANSITION_BEFORE = ["failed"];
-var DEFAULT_CHECK_STATUS_TRANSITION_AFTER = ["passed"];
-function listValue(value, fallback) {
-  if (Array.isArray(value)) return value;
-  if (value === void 0) return fallback;
-  return [value];
-}
-function includesValue(allowed, observed) {
-  return observed !== void 0 && allowed.includes(observed);
-}
-function groupResult(side, contract, result) {
-  const fallback = side === "before" ? DEFAULT_BEFORE_STATUSES : DEFAULT_AFTER_STATUSES;
-  const requiredStatus = listValue(contract?.required_status, fallback);
-  const label = contract?.label || side;
-  if (!result) {
-    return {
-      side,
-      label,
-      ok: false,
-      status: "missing",
-      required_status: requiredStatus,
-      message: `${label} profile result is missing.`
-    };
-  }
-  const ok = includesValue(requiredStatus, result.status);
-  return {
-    side,
-    label,
-    ok,
-    profile_name: result.profile_name,
-    status: result.status,
-    required_status: requiredStatus,
-    summary: result.summary,
-    message: ok ? void 0 : `${label} profile status ${result.status} did not match required status ${requiredStatus.join(", ")}.`
-  };
-}
-function findCheck(result, delta) {
-  return result.checks.find((check) => {
-    if (delta.check_label && check.label !== delta.check_label) return false;
-    if (delta.check_type && check.type !== delta.check_type) return false;
-    return Boolean(delta.check_label || delta.check_type);
-  });
-}
-function profileStatusTransitionResult(delta, before, after) {
-  const label = delta.label || "profile-status-transition";
-  if (!before || !after) {
-    return {
-      type: delta.type,
-      label,
-      status: "proof_insufficient",
-      before_observed: before?.status,
-      after_observed: after?.status,
-      message: `${label} needs both before and after profile results.`
-    };
-  }
-  const beforeAllowed = listValue(delta.before_status, DEFAULT_PROFILE_STATUS_TRANSITION_BEFORE);
-  const afterAllowed = listValue(delta.after_status, DEFAULT_PROFILE_STATUS_TRANSITION_AFTER);
-  const passed = includesValue(beforeAllowed, before.status) && includesValue(afterAllowed, after.status);
-  return {
-    type: delta.type,
-    label,
-    status: passed ? "passed" : "failed",
-    before_observed: before.status,
-    after_observed: after.status,
-    message: passed ? void 0 : `${label} expected before ${beforeAllowed.join(", ")} and after ${afterAllowed.join(", ")}, got ${before.status} -> ${after.status}.`
-  };
-}
-function checkStatusTransitionResult(delta, before, after) {
-  const label = delta.label || delta.check_label || delta.check_type || "check-status-transition";
-  if (!delta.check_label && !delta.check_type) {
-    return {
-      type: delta.type,
-      label,
-      status: "configuration_error",
-      message: `${label} needs check_label or check_type.`
-    };
-  }
-  if (!before || !after) {
-    return {
-      type: delta.type,
-      label,
-      status: "proof_insufficient",
-      before_observed: before?.status,
-      after_observed: after?.status,
-      message: `${label} needs both before and after profile results.`
-    };
-  }
-  const beforeCheck = findCheck(before, delta);
-  const afterCheck = findCheck(after, delta);
-  if (!beforeCheck || !afterCheck) {
-    return {
-      type: delta.type,
-      label,
-      status: "proof_insufficient",
-      before_observed: beforeCheck?.status,
-      after_observed: afterCheck?.status,
-      message: `${label} was not present in ${!beforeCheck && !afterCheck ? "before or after" : !beforeCheck ? "before" : "after"} profile checks.`
-    };
-  }
-  const beforeAllowed = listValue(delta.before_status, DEFAULT_CHECK_STATUS_TRANSITION_BEFORE);
-  const afterAllowed = listValue(delta.after_status, DEFAULT_CHECK_STATUS_TRANSITION_AFTER);
-  const passed = includesValue(beforeAllowed, beforeCheck.status) && includesValue(afterAllowed, afterCheck.status);
-  return {
-    type: delta.type,
-    label,
-    status: passed ? "passed" : "failed",
-    before_observed: beforeCheck.status,
-    after_observed: afterCheck.status,
-    message: passed ? void 0 : `${label} expected before ${beforeAllowed.join(", ")} and after ${afterAllowed.join(", ")}, got ${beforeCheck.status} -> ${afterCheck.status}.`
-  };
-}
-function assessDelta(delta, before, after) {
-  if (delta.type === "profile_status_transition") {
-    return profileStatusTransitionResult(delta, before, after);
-  }
-  return checkStatusTransitionResult(delta, before, after);
-}
-function collapsedChangeStatus(groups, deltas) {
-  const groupResults = [groups.before, groups.after];
-  if (groupResults.some((group) => group.status === "environment_blocked")) return "environment_blocked";
-  if (groupResults.some((group) => group.status === "configuration_error")) return "configuration_error";
-  if (deltas.some((delta) => delta.status === "configuration_error")) return "configuration_error";
-  if (groupResults.some((group) => group.status === "needs_human_review")) return "needs_human_review";
-  if (groupResults.some((group) => group.status === "missing" || group.status === "proof_insufficient")) return "proof_insufficient";
-  if (!deltas.length || deltas.some((delta) => delta.status === "proof_insufficient")) return "proof_insufficient";
-  if (groupResults.some((group) => !group.ok)) return "product_regression";
-  if (deltas.some((delta) => delta.status === "failed")) return "product_regression";
-  return "passed";
-}
-function changeSummary(name, status, deltas) {
-  if (status === "passed") return `${name} passed ${deltas.length} change delta(s).`;
-  if (status === "environment_blocked") return `${name} could not compare reliable evidence because an environment was blocked.`;
-  if (status === "configuration_error") return `${name} has an invalid change proof contract.`;
-  if (status === "needs_human_review") return `${name} needs human review before the change proof can pass.`;
-  if (status === "proof_insufficient") return `${name} did not produce enough before/after evidence for a change proof.`;
-  return `${name} failed ${deltas.filter((delta) => delta.status === "failed").length} change delta(s).`;
-}
-function assessRiddleProofChange(contract, input) {
-  const groups = {
-    before: groupResult("before", contract.before, input.before_result),
-    after: groupResult("after", contract.after, input.after_result)
-  };
-  const deltas = (contract.deltas || []).map((delta) => assessDelta(delta, input.before_result, input.after_result));
-  const status = collapsedChangeStatus(groups, deltas);
-  return {
-    version: RIDDLE_PROOF_CHANGE_RESULT_VERSION,
-    contract_name: contract.name,
-    status,
-    groups,
-    deltas,
-    summary: changeSummary(contract.name, status, deltas),
-    metadata: contract.metadata
-  };
-}
-
-export {
-  RIDDLE_PROOF_CHANGE_CONTRACT_VERSION,
-  RIDDLE_PROOF_CHANGE_RESULT_VERSION,
-  assessRiddleProofChange
-};