@riddledc/riddle-proof 0.7.219 → 0.7.220

package/dist/cli.cjs

@@ -17475,6 +17475,137 @@ function profileHasGeneratedOutputReceipt(receipts) {
   }
   return outputReady && outputChanged;
 }
+function profileSemanticReceiptPassed(receipt) {
+  if (receipt.ok === false) return false;
+  return setupReturnSummaryValue(receipt, ["ok", "success", "passed", "completed", "valid"]) === true;
+}
+function profileSemanticArrayEvidence(value) {
+  if (Array.isArray(value)) return value.length > 0;
+  const text = cliString(value);
+  return Boolean(text && text.trim());
+}
+function profileSemanticTruthyField(receipt, names) {
+  return names.some((name) => setupReturnSummaryValue(receipt, [name]) === true);
+}
+function profileHasBoardEvidence(receipt) {
+  return [
+    "board",
+    "beforeBoard",
+    "afterBoard",
+    "cells",
+    "grid",
+    "state"
+  ].some((name) => setupReturnSummaryValue(receipt, [name]) !== void 0);
+}
+function profileHasTurnEvidence(receipt) {
+  return [
+    "activeX",
+    "activeO",
+    "turn",
+    "currentTurn",
+    "nextTurn",
+    "currentPlayer",
+    "nextPlayer",
+    "isXNext"
+  ].some((name) => setupReturnSummaryValue(receipt, [name]) !== void 0);
+}
+function profileSemanticInvalidStateReason(receipts, text) {
+  const asksInvalidOrBlocked = text.includes("invalid") || text.includes("blocked") || text.includes("occupied") || text.includes("replay") || text.includes("ignored") || text.includes("reject") || text.includes("same board") || text.includes("unchanged");
+  if (!asksInvalidOrBlocked) return void 0;
+  const asksTurn = text.includes("turn") || text.includes("player");
+  for (const receipt of receipts) {
+    if (!profileSemanticReceiptPassed(receipt)) continue;
+    const unchanged = profileSemanticTruthyField(receipt, [
+      "sameBoard",
+      "same_board",
+      "boardUnchanged",
+      "stateUnchanged",
+      "unchanged",
+      "noMutation",
+      "no_mutation"
+    ]);
+    const blocked = profileSemanticTruthyField(receipt, [
+      "blocked",
+      "invalid",
+      "rejected",
+      "ignored",
+      "prevented"
+    ]);
+    if (!(unchanged || blocked)) continue;
+    if (!profileHasBoardEvidence(receipt)) continue;
+    if (asksTurn && !profileHasTurnEvidence(receipt)) continue;
+    const parts = [
+      unchanged ? "unchanged=true" : "",
+      blocked ? "blocked=true" : "",
+      profileHasTurnEvidence(receipt) ? "turn evidence present" : ""
+    ].filter(Boolean);
+    return `semantic invalid-state receipt present${parts.length ? `: ${parts.join(", ")}` : ""}`;
+  }
+  return void 0;
+}
+function profileSemanticTerminalLockReason(receipts, text) {
+  const asksLock = text.includes("lock") || text.includes("cannot mutate") || text.includes("can not mutate") || text.includes("can't mutate") || text.includes("cannot change") || text.includes("unchanged after") || text.includes("post-winner") && text.includes("click") || text.includes("post winner") && text.includes("click");
+  if (!asksLock) return void 0;
+  for (const receipt of receipts) {
+    if (!profileSemanticReceiptPassed(receipt)) continue;
+    const unchanged = profileSemanticTruthyField(receipt, [
+      "sameBoard",
+      "same_board",
+      "boardUnchanged",
+      "stateUnchanged",
+      "unchanged",
+      "noMutation",
+      "no_mutation",
+      "locked"
+    ]);
+    if (!unchanged) continue;
+    const hasTerminal = profileSemanticTruthyField(receipt, ["hasWinner", "winner", "won", "gameWon", "terminal", "locked"]) || profileSemanticArrayEvidence(setupReturnSummaryValue(receipt, ["winCells", "winningCells", "winningLine"])) || Boolean(cliString(setupReturnSummaryValue(receipt, ["winCellsCsv", "winnerText", "terminalText", "statusText"])));
+    if (!hasTerminal) continue;
+    return "semantic terminal-lock receipt present: unchanged=true";
+  }
+  return void 0;
+}
+function profileSemanticWinnerReason(receipts, text) {
+  const asksWinner = text.includes("winner") || text.includes("win-cell") || text.includes("winning") || /\bwin\b/.test(text);
+  if (!asksWinner) return void 0;
+  const asksCounts = text.includes("count");
+  const asksWinCells = text.includes("win-cell") || text.includes("winning") || text.includes("inventory") || text.includes("top-row");
+  const asksPlayAgain = text.includes("play again") || text.includes("play-again") || text.includes("playagain");
+  for (const receipt of receipts) {
+    if (!profileSemanticReceiptPassed(receipt)) continue;
+    const winnerText = (cliString(setupReturnSummaryValue(receipt, ["winnerText", "terminalText", "statusText"])) || "").toLowerCase();
+    const hasWinner = profileSemanticTruthyField(receipt, ["hasWinner", "winner", "won", "gameWon"]) || winnerText.includes("win") || profileSemanticArrayEvidence(setupReturnSummaryValue(receipt, ["winCells", "winningCells", "winningLine"])) || Boolean(cliString(setupReturnSummaryValue(receipt, ["winCellsCsv"])));
+    if (!hasWinner) continue;
+    const hasCounts = [
+      "xCount",
+      "oCount",
+      "count",
+      "filledCount",
+      "winnerCount",
+      "score"
+    ].some((name) => setupReturnSummaryValue(receipt, [name]) !== void 0);
+    const hasWinCells = profileSemanticArrayEvidence(setupReturnSummaryValue(receipt, ["winCells", "winningCells", "winningLine"])) || Boolean(cliString(setupReturnSummaryValue(receipt, ["winCellsCsv"])));
+    const hasPlayAgain = profileSemanticTruthyField(receipt, [
+      "playAgainVisible",
+      "play_again_visible",
+      "restartVisible",
+      "resetVisible"
+    ]);
+    if (asksCounts && !hasCounts) continue;
+    if (asksWinCells && !hasWinCells) continue;
+    if (asksPlayAgain && !hasPlayAgain) continue;
+    const parts = [
+      hasCounts ? "counts present" : "",
+      hasWinCells ? "win cells present" : "",
+      hasPlayAgain ? "play-again visible" : ""
+    ].filter(Boolean);
+    return `semantic winner receipt present${parts.length ? `: ${parts.join(", ")}` : ""}`;
+  }
+  return void 0;
+}
+function profileSemanticStateReceiptReason(receipts, text) {
+  return profileSemanticTerminalLockReason(receipts, text) || profileSemanticInvalidStateReason(receipts, text) || profileSemanticWinnerReason(receipts, text);
+}
 function profilePackReceiptStatus(result, metadata, receipt) {
   const text = receipt.toLowerCase();
   const setupSummary = profileSetupSummaryRecord(result);
@@ -17933,6 +18064,10 @@ function profilePackReceiptStatus(result, metadata, receipt) {
   if (text.includes("measured") || text.includes("state-change") || text.includes("pixel delta") || text.includes("movement receipt") || text.includes("canvas hash")) {
     return profileReceiptSignalStatus(hasMeasuredStateChange, "measured-change evidence present", "measured-change evidence missing");
   }
+  const semanticStateReason = profileSemanticStateReceiptReason(valueReceipts, text);
+  if (semanticStateReason) {
+    return { status: "present", reason: semanticStateReason };
+  }
   return { status: "manual", reason: "semantic receipt requires audit review" };
 }
 function profilePackMetadataMarkdown(result) {

package/dist/cli.js

@@ -1184,6 +1184,137 @@ function profileHasGeneratedOutputReceipt(receipts) {
   }
   return outputReady && outputChanged;
 }
+function profileSemanticReceiptPassed(receipt) {
+  if (receipt.ok === false) return false;
+  return setupReturnSummaryValue(receipt, ["ok", "success", "passed", "completed", "valid"]) === true;
+}
+function profileSemanticArrayEvidence(value) {
+  if (Array.isArray(value)) return value.length > 0;
+  const text = cliString(value);
+  return Boolean(text && text.trim());
+}
+function profileSemanticTruthyField(receipt, names) {
+  return names.some((name) => setupReturnSummaryValue(receipt, [name]) === true);
+}
+function profileHasBoardEvidence(receipt) {
+  return [
+    "board",
+    "beforeBoard",
+    "afterBoard",
+    "cells",
+    "grid",
+    "state"
+  ].some((name) => setupReturnSummaryValue(receipt, [name]) !== void 0);
+}
+function profileHasTurnEvidence(receipt) {
+  return [
+    "activeX",
+    "activeO",
+    "turn",
+    "currentTurn",
+    "nextTurn",
+    "currentPlayer",
+    "nextPlayer",
+    "isXNext"
+  ].some((name) => setupReturnSummaryValue(receipt, [name]) !== void 0);
+}
+function profileSemanticInvalidStateReason(receipts, text) {
+  const asksInvalidOrBlocked = text.includes("invalid") || text.includes("blocked") || text.includes("occupied") || text.includes("replay") || text.includes("ignored") || text.includes("reject") || text.includes("same board") || text.includes("unchanged");
+  if (!asksInvalidOrBlocked) return void 0;
+  const asksTurn = text.includes("turn") || text.includes("player");
+  for (const receipt of receipts) {
+    if (!profileSemanticReceiptPassed(receipt)) continue;
+    const unchanged = profileSemanticTruthyField(receipt, [
+      "sameBoard",
+      "same_board",
+      "boardUnchanged",
+      "stateUnchanged",
+      "unchanged",
+      "noMutation",
+      "no_mutation"
+    ]);
+    const blocked = profileSemanticTruthyField(receipt, [
+      "blocked",
+      "invalid",
+      "rejected",
+      "ignored",
+      "prevented"
+    ]);
+    if (!(unchanged || blocked)) continue;
+    if (!profileHasBoardEvidence(receipt)) continue;
+    if (asksTurn && !profileHasTurnEvidence(receipt)) continue;
+    const parts = [
+      unchanged ? "unchanged=true" : "",
+      blocked ? "blocked=true" : "",
+      profileHasTurnEvidence(receipt) ? "turn evidence present" : ""
+    ].filter(Boolean);
+    return `semantic invalid-state receipt present${parts.length ? `: ${parts.join(", ")}` : ""}`;
+  }
+  return void 0;
+}
+function profileSemanticTerminalLockReason(receipts, text) {
+  const asksLock = text.includes("lock") || text.includes("cannot mutate") || text.includes("can not mutate") || text.includes("can't mutate") || text.includes("cannot change") || text.includes("unchanged after") || text.includes("post-winner") && text.includes("click") || text.includes("post winner") && text.includes("click");
+  if (!asksLock) return void 0;
+  for (const receipt of receipts) {
+    if (!profileSemanticReceiptPassed(receipt)) continue;
+    const unchanged = profileSemanticTruthyField(receipt, [
+      "sameBoard",
+      "same_board",
+      "boardUnchanged",
+      "stateUnchanged",
+      "unchanged",
+      "noMutation",
+      "no_mutation",
+      "locked"
+    ]);
+    if (!unchanged) continue;
+    const hasTerminal = profileSemanticTruthyField(receipt, ["hasWinner", "winner", "won", "gameWon", "terminal", "locked"]) || profileSemanticArrayEvidence(setupReturnSummaryValue(receipt, ["winCells", "winningCells", "winningLine"])) || Boolean(cliString(setupReturnSummaryValue(receipt, ["winCellsCsv", "winnerText", "terminalText", "statusText"])));
+    if (!hasTerminal) continue;
+    return "semantic terminal-lock receipt present: unchanged=true";
+  }
+  return void 0;
+}
+function profileSemanticWinnerReason(receipts, text) {
+  const asksWinner = text.includes("winner") || text.includes("win-cell") || text.includes("winning") || /\bwin\b/.test(text);
+  if (!asksWinner) return void 0;
+  const asksCounts = text.includes("count");
+  const asksWinCells = text.includes("win-cell") || text.includes("winning") || text.includes("inventory") || text.includes("top-row");
+  const asksPlayAgain = text.includes("play again") || text.includes("play-again") || text.includes("playagain");
+  for (const receipt of receipts) {
+    if (!profileSemanticReceiptPassed(receipt)) continue;
+    const winnerText = (cliString(setupReturnSummaryValue(receipt, ["winnerText", "terminalText", "statusText"])) || "").toLowerCase();
+    const hasWinner = profileSemanticTruthyField(receipt, ["hasWinner", "winner", "won", "gameWon"]) || winnerText.includes("win") || profileSemanticArrayEvidence(setupReturnSummaryValue(receipt, ["winCells", "winningCells", "winningLine"])) || Boolean(cliString(setupReturnSummaryValue(receipt, ["winCellsCsv"])));
+    if (!hasWinner) continue;
+    const hasCounts = [
+      "xCount",
+      "oCount",
+      "count",
+      "filledCount",
+      "winnerCount",
+      "score"
+    ].some((name) => setupReturnSummaryValue(receipt, [name]) !== void 0);
+    const hasWinCells = profileSemanticArrayEvidence(setupReturnSummaryValue(receipt, ["winCells", "winningCells", "winningLine"])) || Boolean(cliString(setupReturnSummaryValue(receipt, ["winCellsCsv"])));
+    const hasPlayAgain = profileSemanticTruthyField(receipt, [
+      "playAgainVisible",
+      "play_again_visible",
+      "restartVisible",
+      "resetVisible"
+    ]);
+    if (asksCounts && !hasCounts) continue;
+    if (asksWinCells && !hasWinCells) continue;
+    if (asksPlayAgain && !hasPlayAgain) continue;
+    const parts = [
+      hasCounts ? "counts present" : "",
+      hasWinCells ? "win cells present" : "",
+      hasPlayAgain ? "play-again visible" : ""
+    ].filter(Boolean);
+    return `semantic winner receipt present${parts.length ? `: ${parts.join(", ")}` : ""}`;
+  }
+  return void 0;
+}
+function profileSemanticStateReceiptReason(receipts, text) {
+  return profileSemanticTerminalLockReason(receipts, text) || profileSemanticInvalidStateReason(receipts, text) || profileSemanticWinnerReason(receipts, text);
+}
 function profilePackReceiptStatus(result, metadata, receipt) {
   const text = receipt.toLowerCase();
   const setupSummary = profileSetupSummaryRecord(result);
@@ -1642,6 +1773,10 @@ function profilePackReceiptStatus(result, metadata, receipt) {
   if (text.includes("measured") || text.includes("state-change") || text.includes("pixel delta") || text.includes("movement receipt") || text.includes("canvas hash")) {
     return profileReceiptSignalStatus(hasMeasuredStateChange, "measured-change evidence present", "measured-change evidence missing");
   }
+  const semanticStateReason = profileSemanticStateReceiptReason(valueReceipts, text);
+  if (semanticStateReason) {
+    return { status: "present", reason: semanticStateReason };
+  }
   return { status: "manual", reason: "semantic receipt requires audit review" };
 }
 function profilePackMetadataMarkdown(result) {

package/package.json

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