@riddledc/riddle-proof 0.8.76 → 0.8.78

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
-};