@riddledc/riddle-proof 0.7.185 → 0.7.187

package/dist/cli.cjs

@@ -16384,6 +16384,28 @@ function profileFailedCleanupInventoryReason(setupViewports) {
   }
   return void 0;
 }
+function profileHasRouteExitAffordanceReceipt(receipts) {
+  const affordanceFields = [
+    "navVisibleBeforeExit",
+    "navVisible",
+    "navigationVisible",
+    "exitVisible",
+    "exitControlVisible",
+    "routeExitVisible",
+    "homeLinkVisible"
+  ];
+  const routeFields = ["route", "afterRoute", "nextRoute", "browserPath", "path"];
+  return receipts.some((receipt) => {
+    if (affordanceFields.some((name) => setupReturnSummaryValue(receipt, [name]) !== void 0)) return true;
+    const storedTo = cliString(receipt.return_stored_to) || "";
+    const summary = cliReturnSummaryLabel(receipt.return_summary) || "";
+    const reason = cliString(receipt.reason) || "";
+    const haystack = `${storedTo} ${summary} ${reason}`.toLowerCase();
+    const mentionsRouteExit = haystack.includes("routeexit") || haystack.includes("route-exit") || haystack.includes("route exit") || haystack.includes("afterrouteexit") || haystack.includes("after route exit");
+    if (!mentionsRouteExit) return false;
+    return routeFields.some((name) => setupReturnSummaryValue(receipt, [name]) !== void 0) || haystack.includes("route=") || haystack.includes("browserpath=");
+  });
+}
 function profilePackReceiptStatus(result, metadata, receipt) {
   const text = receipt.toLowerCase();
   const setupSummary = profileSetupSummaryRecord(result);
@@ -16398,6 +16420,7 @@ function profilePackReceiptStatus(result, metadata, receipt) {
     ...setupViewports.flatMap((viewport) => setupReceiptArray(viewport, "window_call"))
   ].filter((item) => item.ok !== false);
   const clickCount = setupViewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.clicked_total) || 0), 0) + profileSetupReceiptTotal(setupViewports, "click") + profileSetupReceiptTotal(setupViewports, "click_count");
+  const visibleUiActionCount = clickCount + profileSetupReceiptTotal(setupViewports, "tap");
   const setupFailureCount = profileSetupFailureCount(setupViewports);
   const setupObstructionCount = profileSetupObstructionCount(setupViewports);
   const inputDispatchCount = profileSetupReceiptTotal(setupViewports, "drag") + profileSetupReceiptTotal(setupViewports, "tap") + profileSetupReceiptTotal(setupViewports, "press") + profileSetupReceiptTotal(setupViewports, "keyboard_sequence");
@@ -16432,6 +16455,7 @@ function profilePackReceiptStatus(result, metadata, receipt) {
   const hasTextVisibility = profileHasPassedCheck(result, ["text_visible", "selector_text_visible", "selector_visible"]);
   const hasTextAbsence = profileHasPassedCheck(result, ["text_absent", "selector_text_absent"]);
   const hasMeasuredStateChange = hasNaturalInput || hasCanvasChange || valueReceipts.some((item) => setupReturnSummaryValue(item, ["changed"]) === true || setupReturnSummaryValue(item, ["nonWhiteDelta", "darkDelta", "pixelDelta", "movementDelta"]) !== void 0);
+  const hasRouteExitAffordanceReceipt = profileHasRouteExitAffordanceReceipt(valueReceipts);
   const failedCleanupInventoryReason = profileFailedCleanupInventoryReason(setupViewports);
   if (text.includes("artifact link") || text.includes("artifact path")) {
     return profileReceiptSignalStatus(profileResultHasArtifact(result), "artifact references listed", "no artifact references found");
@@ -16470,6 +16494,20 @@ function profilePackReceiptStatus(result, metadata, receipt) {
   if (text.includes("invalid state")) {
     return profileReceiptSignalStatus(hasStateContract || hasInvalidStateReceipt, "invalid-state receipt present", "invalid-state receipt missing");
   }
+  if (text.includes("through visible ui") || text.includes("visible ui action") || text.includes("ui-routed") || text.includes("ui routed") || text.includes("visible") && text.includes("route") && text.includes("exit") && text.includes("action") || text.includes("visible") && text.includes("mode") && text.includes("exit") && text.includes("action")) {
+    return profileReceiptSignalStatus(
+      visibleUiActionCount > 0,
+      "visible UI action receipt present",
+      "visible UI action receipt missing"
+    );
+  }
+  if (text.includes("route-exit affordance") || text.includes("route exit affordance") || text.includes("navigation before cleanup") || text.includes("exit control")) {
+    return profileReceiptSignalStatus(
+      hasRouteExitAffordanceReceipt || hasStateContract || clickCount > 0,
+      "route-exit affordance receipt present",
+      "affordance receipt missing"
+    );
+  }
   if (text.includes("retry") || text.includes("repair") || text.includes("reset") || text.includes("affordance")) {
     return profileReceiptSignalStatus(hasStateContract || clickCount > 0, "affordance or transition receipt present", "affordance receipt missing");
   }
@@ -16548,9 +16586,31 @@ function profilePackMetadataMarkdown(result) {
   ].filter(Boolean);
   if (packParts.length) lines.push(`- pack: ${packParts.join(" - ")}`);
   if (requiredReceipts.length) {
+    const receiptStatuses = requiredReceipts.map((receipt) => ({
+      receipt,
+      item: profilePackReceiptStatus(result, metadata, receipt)
+    }));
+    const missingReceipts = receiptStatuses.filter(({ item }) => item.status === "missing").map(({ receipt }) => receipt);
+    const failedReceipts = receiptStatuses.filter(({ item }) => item.status === "failed").map(({ receipt }) => receipt);
+    const manualCount = receiptStatuses.filter(({ item }) => item.status === "manual").length;
+    const presentCount = receiptStatuses.filter(({ item }) => item.status === "present").length;
+    const completenessParts = [
+      `${presentCount} present`,
+      manualCount ? `${manualCount} manual` : "",
+      missingReceipts.length ? `${missingReceipts.length} missing` : "",
+      failedReceipts.length ? `${failedReceipts.length} failed` : ""
+    ].filter(Boolean);
+    lines.push(`- pack completeness: ${missingReceipts.length || failedReceipts.length ? "incomplete" : "complete"} (${completenessParts.join(", ")})`);
+    if (missingReceipts.length) {
+      const listed = missingReceipts.slice(0, 5).map((receipt) => markdownInlineCode(receipt, 120)).join(", ");
+      lines.push(`- missing required receipts: ${listed}${missingReceipts.length > 5 ? `, ${missingReceipts.length - 5} more` : ""}`);
+    }
+    if (failedReceipts.length) {
+      const listed = failedReceipts.slice(0, 5).map((receipt) => markdownInlineCode(receipt, 120)).join(", ");
+      lines.push(`- failed required receipts: ${listed}${failedReceipts.length > 5 ? `, ${failedReceipts.length - 5} more` : ""}`);
+    }
     lines.push(`- required receipts: ${requiredReceipts.length}`);
-    for (const receipt of requiredReceipts.slice(0, 20)) {
-      const item = profilePackReceiptStatus(result, metadata, receipt);
+    for (const { receipt, item } of receiptStatuses.slice(0, 20)) {
       lines.push(`  - ${item.status}: ${receipt} (${item.reason})`);
     }
     if (requiredReceipts.length > 20) lines.push(`  - ${requiredReceipts.length - 20} additional required receipt(s) omitted.`);

package/dist/cli.js

@@ -589,6 +589,28 @@ function profileFailedCleanupInventoryReason(setupViewports) {
   }
   return void 0;
 }
+function profileHasRouteExitAffordanceReceipt(receipts) {
+  const affordanceFields = [
+    "navVisibleBeforeExit",
+    "navVisible",
+    "navigationVisible",
+    "exitVisible",
+    "exitControlVisible",
+    "routeExitVisible",
+    "homeLinkVisible"
+  ];
+  const routeFields = ["route", "afterRoute", "nextRoute", "browserPath", "path"];
+  return receipts.some((receipt) => {
+    if (affordanceFields.some((name) => setupReturnSummaryValue(receipt, [name]) !== void 0)) return true;
+    const storedTo = cliString(receipt.return_stored_to) || "";
+    const summary = cliReturnSummaryLabel(receipt.return_summary) || "";
+    const reason = cliString(receipt.reason) || "";
+    const haystack = `${storedTo} ${summary} ${reason}`.toLowerCase();
+    const mentionsRouteExit = haystack.includes("routeexit") || haystack.includes("route-exit") || haystack.includes("route exit") || haystack.includes("afterrouteexit") || haystack.includes("after route exit");
+    if (!mentionsRouteExit) return false;
+    return routeFields.some((name) => setupReturnSummaryValue(receipt, [name]) !== void 0) || haystack.includes("route=") || haystack.includes("browserpath=");
+  });
+}
 function profilePackReceiptStatus(result, metadata, receipt) {
   const text = receipt.toLowerCase();
   const setupSummary = profileSetupSummaryRecord(result);
@@ -603,6 +625,7 @@ function profilePackReceiptStatus(result, metadata, receipt) {
     ...setupViewports.flatMap((viewport) => setupReceiptArray(viewport, "window_call"))
   ].filter((item) => item.ok !== false);
   const clickCount = setupViewports.reduce((sum, viewport) => sum + (cliFiniteNumber(viewport.clicked_total) || 0), 0) + profileSetupReceiptTotal(setupViewports, "click") + profileSetupReceiptTotal(setupViewports, "click_count");
+  const visibleUiActionCount = clickCount + profileSetupReceiptTotal(setupViewports, "tap");
   const setupFailureCount = profileSetupFailureCount(setupViewports);
   const setupObstructionCount = profileSetupObstructionCount(setupViewports);
   const inputDispatchCount = profileSetupReceiptTotal(setupViewports, "drag") + profileSetupReceiptTotal(setupViewports, "tap") + profileSetupReceiptTotal(setupViewports, "press") + profileSetupReceiptTotal(setupViewports, "keyboard_sequence");
@@ -637,6 +660,7 @@ function profilePackReceiptStatus(result, metadata, receipt) {
   const hasTextVisibility = profileHasPassedCheck(result, ["text_visible", "selector_text_visible", "selector_visible"]);
   const hasTextAbsence = profileHasPassedCheck(result, ["text_absent", "selector_text_absent"]);
   const hasMeasuredStateChange = hasNaturalInput || hasCanvasChange || valueReceipts.some((item) => setupReturnSummaryValue(item, ["changed"]) === true || setupReturnSummaryValue(item, ["nonWhiteDelta", "darkDelta", "pixelDelta", "movementDelta"]) !== void 0);
+  const hasRouteExitAffordanceReceipt = profileHasRouteExitAffordanceReceipt(valueReceipts);
   const failedCleanupInventoryReason = profileFailedCleanupInventoryReason(setupViewports);
   if (text.includes("artifact link") || text.includes("artifact path")) {
     return profileReceiptSignalStatus(profileResultHasArtifact(result), "artifact references listed", "no artifact references found");
@@ -675,6 +699,20 @@ function profilePackReceiptStatus(result, metadata, receipt) {
   if (text.includes("invalid state")) {
     return profileReceiptSignalStatus(hasStateContract || hasInvalidStateReceipt, "invalid-state receipt present", "invalid-state receipt missing");
   }
+  if (text.includes("through visible ui") || text.includes("visible ui action") || text.includes("ui-routed") || text.includes("ui routed") || text.includes("visible") && text.includes("route") && text.includes("exit") && text.includes("action") || text.includes("visible") && text.includes("mode") && text.includes("exit") && text.includes("action")) {
+    return profileReceiptSignalStatus(
+      visibleUiActionCount > 0,
+      "visible UI action receipt present",
+      "visible UI action receipt missing"
+    );
+  }
+  if (text.includes("route-exit affordance") || text.includes("route exit affordance") || text.includes("navigation before cleanup") || text.includes("exit control")) {
+    return profileReceiptSignalStatus(
+      hasRouteExitAffordanceReceipt || hasStateContract || clickCount > 0,
+      "route-exit affordance receipt present",
+      "affordance receipt missing"
+    );
+  }
   if (text.includes("retry") || text.includes("repair") || text.includes("reset") || text.includes("affordance")) {
     return profileReceiptSignalStatus(hasStateContract || clickCount > 0, "affordance or transition receipt present", "affordance receipt missing");
   }
@@ -753,9 +791,31 @@ function profilePackMetadataMarkdown(result) {
   ].filter(Boolean);
   if (packParts.length) lines.push(`- pack: ${packParts.join(" - ")}`);
   if (requiredReceipts.length) {
+    const receiptStatuses = requiredReceipts.map((receipt) => ({
+      receipt,
+      item: profilePackReceiptStatus(result, metadata, receipt)
+    }));
+    const missingReceipts = receiptStatuses.filter(({ item }) => item.status === "missing").map(({ receipt }) => receipt);
+    const failedReceipts = receiptStatuses.filter(({ item }) => item.status === "failed").map(({ receipt }) => receipt);
+    const manualCount = receiptStatuses.filter(({ item }) => item.status === "manual").length;
+    const presentCount = receiptStatuses.filter(({ item }) => item.status === "present").length;
+    const completenessParts = [
+      `${presentCount} present`,
+      manualCount ? `${manualCount} manual` : "",
+      missingReceipts.length ? `${missingReceipts.length} missing` : "",
+      failedReceipts.length ? `${failedReceipts.length} failed` : ""
+    ].filter(Boolean);
+    lines.push(`- pack completeness: ${missingReceipts.length || failedReceipts.length ? "incomplete" : "complete"} (${completenessParts.join(", ")})`);
+    if (missingReceipts.length) {
+      const listed = missingReceipts.slice(0, 5).map((receipt) => markdownInlineCode(receipt, 120)).join(", ");
+      lines.push(`- missing required receipts: ${listed}${missingReceipts.length > 5 ? `, ${missingReceipts.length - 5} more` : ""}`);
+    }
+    if (failedReceipts.length) {
+      const listed = failedReceipts.slice(0, 5).map((receipt) => markdownInlineCode(receipt, 120)).join(", ");
+      lines.push(`- failed required receipts: ${listed}${failedReceipts.length > 5 ? `, ${failedReceipts.length - 5} more` : ""}`);
+    }
     lines.push(`- required receipts: ${requiredReceipts.length}`);
-    for (const receipt of requiredReceipts.slice(0, 20)) {
-      const item = profilePackReceiptStatus(result, metadata, receipt);
+    for (const { receipt, item } of receiptStatuses.slice(0, 20)) {
       lines.push(`  - ${item.status}: ${receipt} (${item.reason})`);
     }
     if (requiredReceipts.length > 20) lines.push(`  - ${requiredReceipts.length - 20} additional required receipt(s) omitted.`);

package/examples/profiles/spa-route-exit-state-hygiene.json

@@ -21,7 +21,7 @@
         "label": "capture-route-active-state",
         "timeout_ms": 10000,
         "store_return_to": "__rpRouteExit.active",
-        "script": "const proof=window.__exampleRouteProof?.read?.()||{};const watched=['__exampleRouteProof','__exampleProofLastReceipt','exampleTouchState'];const activeGlobals=watched.filter((name)=>Object.prototype.hasOwnProperty.call(window,name)&&window[name]!==undefined);const out={ready:proof.ready===true,route:location.pathname,activeGlobals,activeGlobalCount:activeGlobals.length,receiptId:String(proof.receiptId||''),mode:String(proof.mode||'')};out.ok=out.ready===true&&out.activeGlobalCount>0;window.__rpRouteExit={...(window.__rpRouteExit||{}),active:out};return out;",
+        "script": "const proof=window.__exampleRouteProof?.read?.()||{};const watched=['__exampleRouteProof','__exampleProofLastReceipt','exampleTouchState'];const activeGlobals=watched.filter((name)=>window[name]!==undefined);const out={ready:proof.ready===true,route:location.pathname,activeGlobals,activeGlobalCount:activeGlobals.length,receiptId:String(proof.receiptId||''),mode:String(proof.mode||'')};out.ok=out.ready===true&&out.activeGlobalCount>0;window.__rpRouteExit={...(window.__rpRouteExit||{}),active:out};return out;",
         "return_summary_fields": [
           { "path": "ok" },
           { "path": "ready" },
@@ -39,7 +39,7 @@
         "label": "capture-route-exit-cleanup",
         "timeout_ms": 10000,
         "store_return_to": "__rpRouteExit.cleanup",
-        "script": "const watched=['__exampleRouteProof','__exampleProofLastReceipt','exampleTouchState'];const staleNames=watched.filter((name)=>Object.prototype.hasOwnProperty.call(window,name)&&window[name]!==undefined);const out={ok:location.pathname==='/'&&staleNames.length===0,route:location.pathname,staleNames,staleCount:staleNames.length};window.__rpRouteExit={...(window.__rpRouteExit||{}),cleanup:out};return out;",
+        "script": "const watched=['__exampleRouteProof','__exampleProofLastReceipt','exampleTouchState'];const staleNames=watched.filter((name)=>window[name]!==undefined);const out={ok:location.pathname==='/'&&staleNames.length===0,route:location.pathname,staleNames,staleCount:staleNames.length};window.__rpRouteExit={...(window.__rpRouteExit||{}),cleanup:out};return out;",
         "return_summary_fields": [
           { "path": "ok" },
           { "path": "route" },
@@ -71,6 +71,17 @@
     "product_regression": "fail"
   },
   "metadata": {
+    "pack_id": "state_hygiene",
+    "pack_public_name": "State Hygiene Pack",
+    "required_receipts": [
+      "active route-local proof helpers and route state receipt",
+      "route-exit affordance inventory before cleanup",
+      "route or mode exit action receipt through visible UI",
+      "post-cleanup stale-state inventory after route cleanup",
+      "screenshots at active and post-cleanup boundaries",
+      "console and warning accounting",
+      "proof JSON and artifact links"
+    ],
     "purpose": "Template for SPA route-exit hygiene profiles. Replace the example route, selectors, and watched globals with route-local proof helpers, receipts, timers, input state, or touch state that must exist while the feature route is active and must be removed after visible UI navigation returns home."
   }
 }

package/package.json

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