@riddledc/riddle-proof 0.7.218 → 0.7.220

package/dist/cli.cjs

@@ -16332,6 +16332,92 @@ function extractRiddleProofProfileResult(input) {
 
 // src/cli.ts
 var RIDDLE_PROFILE_BALANCE_PREFLIGHT_MIN_SECONDS_PER_JOB = 30;
+var KNOWN_CLI_OPTIONS = /* @__PURE__ */ new Set([
+  "agent",
+  "apiBaseUrl",
+  "apiKey",
+  "apiKeyFile",
+  "artifact",
+  "attempts",
+  "balancePreflight",
+  "baseUrl",
+  "candidateJson",
+  "candidatesJson",
+  "checkpointMode",
+  "checkpointVisibility",
+  "codexCommand",
+  "codexFullAuto",
+  "codexHome",
+  "codexModel",
+  "codexSandbox",
+  "codexTimeoutMs",
+  "command",
+  "continueWithStage",
+  "createdAt",
+  "decision",
+  "defaultReviewer",
+  "defaultShipMode",
+  "exclude",
+  "format",
+  "framework",
+  "help",
+  "image",
+  "input",
+  "inputDir",
+  "inputFile",
+  "inputFiles",
+  "inputs",
+  "intervalMs",
+  "job",
+  "jobId",
+  "maxIterations",
+  "navigationTimeout",
+  "output",
+  "outputDir",
+  "path",
+  "payloadJson",
+  "pollAttempts",
+  "pollIntervalMs",
+  "port",
+  "profile",
+  "progressEveryMs",
+  "quiet",
+  "readinessPath",
+  "readinessTimeout",
+  "reasonsJson",
+  "requestJson",
+  "requiredJson",
+  "responseJson",
+  "resultFormat",
+  "resultsDir",
+  "riddleEngineModuleUrl",
+  "riddleProofDir",
+  "route",
+  "runDir",
+  "runner",
+  "scriptFile",
+  "sourceKind",
+  "splitViewports",
+  "stateDir",
+  "statePath",
+  "strict",
+  "submitRetries",
+  "submitTimeoutMs",
+  "summary",
+  "sync",
+  "timeout",
+  "url",
+  "unsubmittedJobRetries",
+  "unsubmittedJobTimeoutMs",
+  "unsubmittedRetries",
+  "unsubmittedTimeoutMs",
+  "viewport",
+  "viewportName",
+  "viewportNames",
+  "viewports",
+  "wait",
+  "waitForSelector"
+]);
 function usage() {
   return [
     "Usage:",
@@ -16340,9 +16426,9 @@ function usage() {
     "  riddle-proof-loop respond --state-path <path> --response-json <file|json|->",
     "  riddle-proof-loop respond --state-path <path> --decision <decision> --summary <text> [--payload-json <file|json|->]",
     "  riddle-proof-loop status --state-path <path>",
-    "  riddle-proof-loop run-profile --profile <file|json|-> --url <base-url> [--runner riddle] [--viewport-name <name[,name...]>] [--strict true|false; default false] [--split-viewports true|false; default false] [--balance-preflight true|false; default true] [--poll-attempts n] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json] [--quiet]",
-    "  riddle-proof-loop run-profile aggregate --profile <file|json|-> --url <base-url> --input-dir <dir>|--inputs <path[,path...]> [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json]",
-    "  riddle-proof-loop run-profile recover --profile <file|json|-> --url <base-url> --job <job-id> [--viewport-name <name[,name...]>] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json]",
+    "  riddle-proof-loop run-profile --profile <file|json|-> --url <base-url> [--base-url <base-url>] [--runner riddle] [--viewport-name <name[,name...]>] [--strict true|false; default false] [--split-viewports true|false; default false] [--balance-preflight true|false; default true] [--poll-attempts n] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json] [--quiet]",
+    "  riddle-proof-loop run-profile aggregate --profile <file|json|-> --url <base-url> [--base-url <base-url>] --input-dir <dir>|--inputs <path[,path...]> [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json]",
+    "  riddle-proof-loop run-profile recover --profile <file|json|-> --url <base-url> [--base-url <base-url>] --job <job-id> [--viewport-name <name[,name...]>] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json]",
     "  riddle-proof-loop profile-body-assertions --artifact <file|url|-> --candidates-json <file|json|-> [--required-json <file|json|->] [--format json|body-contains]",
     "  riddle-proof-loop profile-http-status-preflight --profile <file|json|-> --url <base-url> [--format json|summary]",
     "  riddle-proof-loop riddle-preview-deploy <build-dir> <label> [--framework spa|static]",
@@ -16382,6 +16468,15 @@ function parseArgs(argv) {
   }
   return { positional, options };
 }
+function optionKeyToFlagName(key) {
+  return key.replace(/[A-Z]/g, (letter) => `-${letter.toLowerCase()}`);
+}
+function validateCliOptions(options) {
+  const unknown = Object.keys(options).filter((key) => !KNOWN_CLI_OPTIONS.has(key));
+  if (!unknown.length) return;
+  const flags = unknown.map((key) => `--${optionKeyToFlagName(key)}`).join(", ");
+  throw new Error(`Unknown option${unknown.length === 1 ? "" : "s"}: ${flags}. Run riddle-proof-loop help for usage.`);
+}
 function optionString(options, key) {
   const value = options[key];
   return typeof value === "string" && value.trim() ? value.trim() : void 0;
@@ -16703,7 +16798,7 @@ function parseProfileViewports(value) {
 function normalizeProfileForCli(options) {
   const rawProfile = readJsonValue(optionString(options, "profile"), "--profile");
   return normalizeRiddleProofProfile(rawProfile, {
-    url: optionString(options, "url"),
+    url: optionString(options, "url") ?? optionString(options, "baseUrl"),
     route: optionString(options, "route"),
     viewports: parseProfileViewports(optionString(options, "viewports") || optionString(options, "viewport"))
   });
@@ -17380,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);
@@ -17838,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) {
@@ -19955,6 +20185,7 @@ async function main() {
 `);
     return;
   }
+  validateCliOptions(options);
   if (command === "doctor") {
     const subject = positional[1];
     if (!isLocalAgentMode(subject)) throw new Error("Only `doctor local` is supported.");

package/dist/cli.js

@@ -41,6 +41,92 @@ import "./chunk-VY4Y5U57.js";
 import { existsSync, mkdirSync, readdirSync, readFileSync, statSync, writeFileSync } from "fs";
 import path from "path";
 var RIDDLE_PROFILE_BALANCE_PREFLIGHT_MIN_SECONDS_PER_JOB = 30;
+var KNOWN_CLI_OPTIONS = /* @__PURE__ */ new Set([
+  "agent",
+  "apiBaseUrl",
+  "apiKey",
+  "apiKeyFile",
+  "artifact",
+  "attempts",
+  "balancePreflight",
+  "baseUrl",
+  "candidateJson",
+  "candidatesJson",
+  "checkpointMode",
+  "checkpointVisibility",
+  "codexCommand",
+  "codexFullAuto",
+  "codexHome",
+  "codexModel",
+  "codexSandbox",
+  "codexTimeoutMs",
+  "command",
+  "continueWithStage",
+  "createdAt",
+  "decision",
+  "defaultReviewer",
+  "defaultShipMode",
+  "exclude",
+  "format",
+  "framework",
+  "help",
+  "image",
+  "input",
+  "inputDir",
+  "inputFile",
+  "inputFiles",
+  "inputs",
+  "intervalMs",
+  "job",
+  "jobId",
+  "maxIterations",
+  "navigationTimeout",
+  "output",
+  "outputDir",
+  "path",
+  "payloadJson",
+  "pollAttempts",
+  "pollIntervalMs",
+  "port",
+  "profile",
+  "progressEveryMs",
+  "quiet",
+  "readinessPath",
+  "readinessTimeout",
+  "reasonsJson",
+  "requestJson",
+  "requiredJson",
+  "responseJson",
+  "resultFormat",
+  "resultsDir",
+  "riddleEngineModuleUrl",
+  "riddleProofDir",
+  "route",
+  "runDir",
+  "runner",
+  "scriptFile",
+  "sourceKind",
+  "splitViewports",
+  "stateDir",
+  "statePath",
+  "strict",
+  "submitRetries",
+  "submitTimeoutMs",
+  "summary",
+  "sync",
+  "timeout",
+  "url",
+  "unsubmittedJobRetries",
+  "unsubmittedJobTimeoutMs",
+  "unsubmittedRetries",
+  "unsubmittedTimeoutMs",
+  "viewport",
+  "viewportName",
+  "viewportNames",
+  "viewports",
+  "wait",
+  "waitForSelector"
+]);
 function usage() {
   return [
     "Usage:",
@@ -49,9 +135,9 @@ function usage() {
     "  riddle-proof-loop respond --state-path <path> --response-json <file|json|->",
     "  riddle-proof-loop respond --state-path <path> --decision <decision> --summary <text> [--payload-json <file|json|->]",
     "  riddle-proof-loop status --state-path <path>",
-    "  riddle-proof-loop run-profile --profile <file|json|-> --url <base-url> [--runner riddle] [--viewport-name <name[,name...]>] [--strict true|false; default false] [--split-viewports true|false; default false] [--balance-preflight true|false; default true] [--poll-attempts n] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json] [--quiet]",
-    "  riddle-proof-loop run-profile aggregate --profile <file|json|-> --url <base-url> --input-dir <dir>|--inputs <path[,path...]> [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json]",
-    "  riddle-proof-loop run-profile recover --profile <file|json|-> --url <base-url> --job <job-id> [--viewport-name <name[,name...]>] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json]",
+    "  riddle-proof-loop run-profile --profile <file|json|-> --url <base-url> [--base-url <base-url>] [--runner riddle] [--viewport-name <name[,name...]>] [--strict true|false; default false] [--split-viewports true|false; default false] [--balance-preflight true|false; default true] [--poll-attempts n] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json] [--quiet]",
+    "  riddle-proof-loop run-profile aggregate --profile <file|json|-> --url <base-url> [--base-url <base-url>] --input-dir <dir>|--inputs <path[,path...]> [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json]",
+    "  riddle-proof-loop run-profile recover --profile <file|json|-> --url <base-url> [--base-url <base-url>] --job <job-id> [--viewport-name <name[,name...]>] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json]",
     "  riddle-proof-loop profile-body-assertions --artifact <file|url|-> --candidates-json <file|json|-> [--required-json <file|json|->] [--format json|body-contains]",
     "  riddle-proof-loop profile-http-status-preflight --profile <file|json|-> --url <base-url> [--format json|summary]",
     "  riddle-proof-loop riddle-preview-deploy <build-dir> <label> [--framework spa|static]",
@@ -91,6 +177,15 @@ function parseArgs(argv) {
   }
   return { positional, options };
 }
+function optionKeyToFlagName(key) {
+  return key.replace(/[A-Z]/g, (letter) => `-${letter.toLowerCase()}`);
+}
+function validateCliOptions(options) {
+  const unknown = Object.keys(options).filter((key) => !KNOWN_CLI_OPTIONS.has(key));
+  if (!unknown.length) return;
+  const flags = unknown.map((key) => `--${optionKeyToFlagName(key)}`).join(", ");
+  throw new Error(`Unknown option${unknown.length === 1 ? "" : "s"}: ${flags}. Run riddle-proof-loop help for usage.`);
+}
 function optionString(options, key) {
   const value = options[key];
   return typeof value === "string" && value.trim() ? value.trim() : void 0;
@@ -412,7 +507,7 @@ function parseProfileViewports(value) {
 function normalizeProfileForCli(options) {
   const rawProfile = readJsonValue(optionString(options, "profile"), "--profile");
   return normalizeRiddleProofProfile(rawProfile, {
-    url: optionString(options, "url"),
+    url: optionString(options, "url") ?? optionString(options, "baseUrl"),
     route: optionString(options, "route"),
     viewports: parseProfileViewports(optionString(options, "viewports") || optionString(options, "viewport"))
   });
@@ -1089,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);
@@ -1547,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) {
@@ -3664,6 +3894,7 @@ async function main() {
 `);
     return;
   }
+  validateCliOptions(options);
   if (command === "doctor") {
     const subject = positional[1];
     if (!isLocalAgentMode(subject)) throw new Error("Only `doctor local` is supported.");

package/package.json

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