@riddledc/riddle-proof 0.8.73 → 0.8.75

package/dist/{chunk-ICIJTEHD.js → chunk-AK2EPEVO.js}

@@ -30,6 +30,13 @@ import {
   resolveRiddleProofProfileTargetUrl,
   resolveRiddleProofProfileTimeoutSec
 } from "./chunk-GG2D3MFZ.js";
+import {
+  assessRiddleProofChange
+} from "./chunk-6S7DZWVC.js";
+import {
+  createCodexExecAgentAdapter,
+  runCodexExecAgentDoctor
+} from "./chunk-KXLEN4SA.js";
 import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
@@ -38,10 +45,6 @@ import {
 import {
   createCheckpointResponseTemplate
 } from "./chunk-DYE3URAQ.js";
-import {
-  createCodexExecAgentAdapter,
-  runCodexExecAgentDoctor
-} from "./chunk-KXLEN4SA.js";
 
 // src/cli.ts
 import { spawnSync } from "child_process";
@@ -57,8 +60,13 @@ var KNOWN_CLI_OPTIONS = /* @__PURE__ */ new Set([
   "attempts",
   "balancePreflight",
   "baseUrl",
+  "afterResult",
+  "afterUrl",
+  "beforeResult",
+  "beforeUrl",
   "candidateJson",
   "candidatesJson",
+  "changeContract",
   "checkpointMode",
   "checkpointVisibility",
   "changedFiles",
@@ -165,6 +173,7 @@ function usage() {
     "  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 run-change-proof --profile <file|json|-> --change-contract <file|json|-> (--before-url <url> --after-url <url> | --before-result <file> --after-result <file>) [--viewport-name <name[,name...]>] [--output <dir>|--output-dir <dir>] [--result-format json|compact-json|summary|none; default json]",
     "  riddle-proof-loop profile-suggest --route /path|--url <url> [--changed-files a,b] [--selectors .a,.b] [--changed-text-json <file|json|->] [--format json|profile]",
     "  riddle-proof-loop regression-pack run [--pack oc-flow-regression|--pack-file <file>] [--local-core true|false; default true] [--hosted-riddle true|false; default false] [--format json|markdown|compact-json; default json] [--output <dir>|--output-dir <dir>]",
     "  riddle-proof-loop pr-comment --proof-dir <dir>|--run-response <file> [--result-json <file>] --pr <number|url> [--repo owner/name] [--dry-run] [--body-file <file>] [--comment-mode update|append]",
@@ -1230,14 +1239,19 @@ function parseProfileViewports(value) {
     };
   });
 }
-function normalizeProfileForCli(options) {
-  const rawProfile = readJsonValue(optionString(options, "profile"), "--profile");
+function readProfileRecordForCli(options) {
+  return readJsonValue(optionString(options, "profile"), "--profile");
+}
+function normalizeProfileRecordForCli(rawProfile, options) {
   return normalizeRiddleProofProfile(rawProfile, {
     url: optionString(options, "url") ?? optionString(options, "baseUrl"),
     route: optionString(options, "route"),
     viewports: parseProfileViewports(optionString(options, "viewports") || optionString(options, "viewport"))
   });
 }
+function normalizeProfileForCli(options) {
+  return normalizeProfileRecordForCli(readProfileRecordForCli(options), options);
+}
 function profileHttpStatusPreflightSummary(result) {
   const lines = [
     result.summary,
@@ -3909,6 +3923,136 @@ function writeProfileOutput(outputDir, result) {
   if (result.evidence?.dom_summary) writeFileSync(path.join(outputDir, "dom-summary.json"), `${JSON.stringify(result.evidence.dom_summary, null, 2)}
 `);
 }
+function readChangeContractForCli(options) {
+  const parsed = readJsonValue(optionString(options, "changeContract"), "--change-contract");
+  if (parsed.version !== void 0 && parsed.version !== "riddle-proof.change-contract.v1") {
+    throw new Error(`Unsupported change contract version ${parsed.version}. Expected riddle-proof.change-contract.v1.`);
+  }
+  if (typeof parsed.name !== "string" || !parsed.name.trim()) {
+    throw new Error("--change-contract must include a non-empty name.");
+  }
+  if (!Array.isArray(parsed.deltas) || !parsed.deltas.length) {
+    throw new Error("--change-contract must include at least one delta.");
+  }
+  return parsed;
+}
+function changeProofSideOutputDir(outputDir, side) {
+  return outputDir ? path.join(outputDir, side) : void 0;
+}
+function profileOptionsForChangeProofSide(options, url, outputDir) {
+  const next = {
+    ...options,
+    url,
+    baseUrl: url
+  };
+  if (outputDir) {
+    next.output = outputDir;
+    next.outputDir = outputDir;
+  } else {
+    delete next.output;
+    delete next.outputDir;
+  }
+  return next;
+}
+function compactChangeProofResult(run, options) {
+  const outputDir = profileOutputDirOption(options);
+  return {
+    version: "riddle-proof.change-compact-result.v1",
+    contract_name: run.result.contract_name,
+    profile_name: run.profile.name,
+    status: run.result.status,
+    summary: run.result.summary,
+    before: {
+      source: run.beforeSource,
+      profile_name: run.beforeResult.profile_name,
+      status: run.beforeResult.status,
+      summary: run.beforeResult.summary
+    },
+    after: {
+      source: run.afterSource,
+      profile_name: run.afterResult.profile_name,
+      status: run.afterResult.status,
+      summary: run.afterResult.summary
+    },
+    deltas: run.result.deltas.map((delta) => ({
+      type: delta.type,
+      label: delta.label,
+      status: delta.status,
+      before_observed: delta.before_observed,
+      after_observed: delta.after_observed,
+      message: delta.message
+    })),
+    metadata: run.result.metadata,
+    output_dir: outputDir,
+    output_files: outputDir ? {
+      change_proof_result: "change-proof-result.json",
+      summary: "summary.md",
+      before_profile_result: "before/profile-result.json",
+      after_profile_result: "after/profile-result.json"
+    } : void 0
+  };
+}
+function changeProofResultMarkdown(run) {
+  const lines = [
+    "# Riddle Proof Change Proof",
+    "",
+    `Contract: ${run.result.contract_name}`,
+    `Profile: ${run.profile.name}`,
+    `Status: ${run.result.status}`,
+    "",
+    run.result.summary,
+    "",
+    "## Before",
+    "",
+    `- source: ${markdownInlineCode(run.beforeSource, 160)}`,
+    `- profile: ${run.beforeResult.profile_name}`,
+    `- status: ${run.beforeResult.status}`,
+    `- summary: ${run.beforeResult.summary}`,
+    "",
+    "## After",
+    "",
+    `- source: ${markdownInlineCode(run.afterSource, 160)}`,
+    `- profile: ${run.afterResult.profile_name}`,
+    `- status: ${run.afterResult.status}`,
+    `- summary: ${run.afterResult.summary}`,
+    "",
+    "## Deltas",
+    ""
+  ];
+  for (const delta of run.result.deltas) {
+    const observed = [
+      delta.before_observed !== void 0 ? `before ${markdownInlineCode(String(delta.before_observed))}` : "",
+      delta.after_observed !== void 0 ? `after ${markdownInlineCode(String(delta.after_observed))}` : ""
+    ].filter(Boolean).join(" -> ");
+    lines.push(`- ${delta.status}: ${delta.label}${observed ? ` (${observed})` : ""}${delta.message ? ` - ${delta.message}` : ""}`);
+  }
+  return `${lines.join("\n")}
+`;
+}
+function writeChangeProofOutput(outputDir, run) {
+  if (!outputDir) return;
+  mkdirSync(outputDir, { recursive: true });
+  writeFileSync(path.join(outputDir, "change-proof-result.json"), `${JSON.stringify(run.result, null, 2)}
+`);
+  writeFileSync(path.join(outputDir, "summary.md"), changeProofResultMarkdown(run));
+  writeProfileOutput(changeProofSideOutputDir(outputDir, "before"), run.beforeResult);
+  writeProfileOutput(changeProofSideOutputDir(outputDir, "after"), run.afterResult);
+}
+function writeRunChangeProofResult(run, options) {
+  const format = runProfileResultFormatOption(options);
+  if (format === "none") return;
+  if (format === "summary") {
+    process.stdout.write(changeProofResultMarkdown(run));
+    return;
+  }
+  if (format === "compact-json") {
+    process.stdout.write(`${JSON.stringify(compactChangeProofResult(run, options), null, 2)}
+`);
+    return;
+  }
+  process.stdout.write(`${JSON.stringify(run.result, null, 2)}
+`);
+}
 function writeRiddleJobReceipt(outputDir, input) {
   if (!outputDir) return;
   mkdirSync(outputDir, { recursive: true });
@@ -4214,13 +4358,16 @@ function runProfileAggregateInputPathsOption(options) {
   }
   return uniquePaths;
 }
-function readProfileResultForAggregate(resultPath) {
-  const parsed = readJsonValue(resultPath, resultPath);
+function readProfileResultForCli(resultPath, label = resultPath) {
+  const parsed = readJsonValue(resultPath, label);
   if (parsed.version !== "riddle-proof.profile-result.v1" || !Array.isArray(parsed.checks)) {
-    throw new Error(`Profile aggregate input is not a riddle-proof.profile-result.v1 result: ${resultPath}`);
+    throw new Error(`${label} is not a riddle-proof.profile-result.v1 result: ${resultPath}`);
   }
   return parsed;
 }
+function readProfileResultForAggregate(resultPath) {
+  return readProfileResultForCli(resultPath, resultPath);
+}
 function profileResultIsAggregateParent(result) {
   const mode = cliString(cliRecord(result.riddle)?.mode);
   return (mode === "split-viewports" || mode === "named-viewport-aggregate") && (result.evidence?.viewports?.length || 0) > 1;
@@ -4751,6 +4898,58 @@ async function runProfileForCli(profile, options) {
   }
   return runSingleRiddleProfileForCli(profile, options, { client, runner, outputDir: profileOutputDirOption(options) });
 }
+async function runChangeProofForCli(rawProfile, options) {
+  const contract = readChangeContractForCli(options);
+  const beforeResultPath = optionString(options, "beforeResult");
+  const afterResultPath = optionString(options, "afterResult");
+  const beforeUrl = optionString(options, "beforeUrl");
+  const afterUrl = optionString(options, "afterUrl");
+  const hasResultInputs = Boolean(beforeResultPath || afterResultPath);
+  const hasUrlInputs = Boolean(beforeUrl || afterUrl);
+  if (hasResultInputs && hasUrlInputs) {
+    throw new Error("run-change-proof accepts either --before-result/--after-result or --before-url/--after-url, not both.");
+  }
+  if (hasResultInputs && (!beforeResultPath || !afterResultPath)) {
+    throw new Error("run-change-proof requires both --before-result and --after-result.");
+  }
+  if (!hasResultInputs && (!beforeUrl || !afterUrl)) {
+    throw new Error("run-change-proof requires both --before-url and --after-url unless saved results are provided.");
+  }
+  const outputDir = profileOutputDirOption(options);
+  let profile;
+  let beforeResult;
+  let afterResult;
+  let beforeSource;
+  let afterSource;
+  if (hasResultInputs) {
+    if (!beforeResultPath || !afterResultPath) {
+      throw new Error("run-change-proof requires both --before-result and --after-result.");
+    }
+    profile = profileWithSelectedViewportNamesForCli(normalizeProfileRecordForCli(rawProfile, options), options);
+    beforeResult = readProfileResultForCli(beforeResultPath, "--before-result");
+    afterResult = readProfileResultForCli(afterResultPath, "--after-result");
+    beforeSource = beforeResultPath;
+    afterSource = afterResultPath;
+  } else {
+    if (!beforeUrl || !afterUrl) {
+      throw new Error("run-change-proof requires both --before-url and --after-url unless saved results are provided.");
+    }
+    const beforeOptions = profileOptionsForChangeProofSide(options, beforeUrl, changeProofSideOutputDir(outputDir, "before"));
+    const afterOptions = profileOptionsForChangeProofSide(options, afterUrl, changeProofSideOutputDir(outputDir, "after"));
+    const beforeProfile = profileWithSelectedViewportNamesForCli(normalizeProfileRecordForCli(rawProfile, beforeOptions), beforeOptions);
+    const afterProfile = profileWithSelectedViewportNamesForCli(normalizeProfileRecordForCli(rawProfile, afterOptions), afterOptions);
+    profile = beforeProfile;
+    beforeResult = await runProfileForCli(beforeProfile, beforeOptions);
+    afterResult = await runProfileForCli(afterProfile, afterOptions);
+    beforeSource = beforeUrl;
+    afterSource = afterUrl;
+  }
+  const result = assessRiddleProofChange(contract, {
+    before_result: beforeResult,
+    after_result: afterResult
+  });
+  return { profile, contract, beforeResult, afterResult, result, beforeSource, afterSource };
+}
 function requestForRun(options) {
   const statePath = optionString(options, "statePath");
   const withEngineModuleUrl = (request) => {
@@ -4811,6 +5010,13 @@ async function main() {
     process.exitCode = profileStatusExitCode(profile, result.status);
     return;
   }
+  if (command === "run-change-proof") {
+    const run = await runChangeProofForCli(readProfileRecordForCli(options), options);
+    writeChangeProofOutput(profileOutputDirOption(options), run);
+    writeRunChangeProofResult(run, options);
+    process.exitCode = run.result.status === "passed" ? 0 : 1;
+    return;
+  }
   if (command === "regression-pack") {
     const action = positional[1] || "run";
     if (action !== "run") throw new Error("Only `regression-pack run` is supported.");

package/dist/cli/index.js

@@ -1,15 +1,16 @@
-import "../chunk-ICIJTEHD.js";
+import "../chunk-AK2EPEVO.js";
 import "../chunk-B2DP2LET.js";
+import "../chunk-JFQXAJH2.js";
 import "../chunk-CWRIXP5H.js";
 import "../chunk-UE4I7RTI.js";
 import "../chunk-GG2D3MFZ.js";
+import "../chunk-6S7DZWVC.js";
+import "../chunk-KXLEN4SA.js";
 import "../chunk-WLUMLHII.js";
 import "../chunk-CGJX7LJO.js";
 import "../chunk-UTCL7FEZ.js";
 import "../chunk-EKZXU6MU.js";
 import "../chunk-DYE3URAQ.js";
-import "../chunk-JFQXAJH2.js";
-import "../chunk-KXLEN4SA.js";
 import "../chunk-NKHZASNQ.js";
 import "../chunk-ZAR7BWMN.js";
 import "../chunk-MLKGABMK.js";