@riddledc/riddle-proof 0.8.57 → 0.8.58

package/dist/index.d.cts

@@ -3,6 +3,7 @@ export { RiddleProofShipControlState, TerminalMetadataInput, applyShipControlSta
 export { CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, RunEventInput, appendRunEvent, appendStageHeartbeat, applyPrLifecycleState, createRunState, createRunStatusSnapshot, normalizeIntegrationContext, normalizePrLifecycleState, normalizeRunParams, setRunStatus } from './state.cjs';
 export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointPacketIdentity, checkpointResponseIdentity, checkpointSummaryFromState, createCheckpointResponseTemplate, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.cjs';
 export { RIDDLE_PROOF_RUN_CARD_VERSION, createRiddleProofRunCard } from './run-card.cjs';
+export { RiddleProofPublicCheckpointSummary, RiddleProofPublicPolicyState, RiddleProofPublicStateSummary, summarizeRiddleProofPublicState } from './public-state.cjs';
 export { R as RiddleProofRunnerAdapters, a as RunRiddleProofInput, r as runRiddleProof } from './runner-4LJ5z0D-.cjs';
 export { R as RiddleProofAgentAdapter, a as RiddleProofAgentPayload, b as RiddleProofCheckpointMode, c as RiddleProofEngine, d as RiddleProofEngineHarnessConfig, e as RiddleProofEngineHarnessContext, f as RiddleProofEngineResult, g as RiddleProofShipMode, h as RiddleProofWorkflowParams, i as RunRiddleProofEngineHarnessInput, j as createDisabledRiddleProofAgentAdapter, r as readRiddleProofRunStatus, k as runRiddleProofEngineHarness } from './engine-harness-LBfqbFSe.cjs';
 export { CodexExecAgentConfig, CodexJsonRequest, CodexJsonResult, CodexJsonRunner, CodexExecAgentConfig as LocalAgentConfig, CodexJsonRequest as LocalAgentJsonRequest, CodexJsonResult as LocalAgentJsonResult, CodexJsonRunner as LocalAgentJsonRunner, createCodexExecAgentAdapter, createCodexExecJsonRunner, createCodexExecAgentAdapter as createLocalAgentAdapter, createCodexExecJsonRunner as createLocalAgentJsonRunner, runCodexExecAgentDoctor, runCodexExecAgentDoctor as runLocalAgentDoctor } from './codex-exec-agent.cjs';

package/dist/index.d.ts

@@ -3,6 +3,7 @@ export { RiddleProofShipControlState, TerminalMetadataInput, applyShipControlSta
 export { CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, RunEventInput, appendRunEvent, appendStageHeartbeat, applyPrLifecycleState, createRunState, createRunStatusSnapshot, normalizeIntegrationContext, normalizePrLifecycleState, normalizeRunParams, setRunStatus } from './state.js';
 export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointPacketIdentity, checkpointResponseIdentity, checkpointSummaryFromState, createCheckpointResponseTemplate, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.js';
 export { RIDDLE_PROOF_RUN_CARD_VERSION, createRiddleProofRunCard } from './run-card.js';
+export { RiddleProofPublicCheckpointSummary, RiddleProofPublicPolicyState, RiddleProofPublicStateSummary, summarizeRiddleProofPublicState } from './public-state.js';
 export { R as RiddleProofRunnerAdapters, a as RunRiddleProofInput, r as runRiddleProof } from './runner-BdQpOkZD.js';
 export { R as RiddleProofAgentAdapter, a as RiddleProofAgentPayload, b as RiddleProofCheckpointMode, c as RiddleProofEngine, d as RiddleProofEngineHarnessConfig, e as RiddleProofEngineHarnessContext, f as RiddleProofEngineResult, g as RiddleProofShipMode, h as RiddleProofWorkflowParams, i as RunRiddleProofEngineHarnessInput, j as createDisabledRiddleProofAgentAdapter, r as readRiddleProofRunStatus, k as runRiddleProofEngineHarness } from './engine-harness-CMACHP6A.js';
 export { CodexExecAgentConfig, CodexJsonRequest, CodexJsonResult, CodexJsonRunner, CodexExecAgentConfig as LocalAgentConfig, CodexJsonRequest as LocalAgentJsonRequest, CodexJsonResult as LocalAgentJsonResult, CodexJsonRunner as LocalAgentJsonRunner, createCodexExecAgentAdapter, createCodexExecJsonRunner, createCodexExecAgentAdapter as createLocalAgentAdapter, createCodexExecJsonRunner as createLocalAgentJsonRunner, runCodexExecAgentDoctor, runCodexExecAgentDoctor as runLocalAgentDoctor } from './codex-exec-agent.js';

package/dist/index.js

@@ -59,7 +59,7 @@ import {
   RIDDLE_PROOF_PR_COMMENT_MARKER,
   buildRiddleProofPrCommentMarkdown,
   summarizeRiddleProofPrComment
-} from "./chunk-JR7GFTLS.js";
+} from "./chunk-62XLYPMS.js";
 import {
   RIDDLE_PROOF_PROFILE_CHECK_TYPES,
   RIDDLE_PROOF_PROFILE_EVIDENCE_VERSION,
@@ -88,6 +88,9 @@ import {
   slugifyRiddleProofProfileName,
   summarizeRiddleProofProfileResult
 } from "./chunk-EX7TO4I5.js";
+import {
+  summarizeRiddleProofPublicState
+} from "./chunk-KG64Y5MC.js";
 import {
   DEFAULT_DIAGNOSTIC_ARRAY_LIMIT,
   DEFAULT_DIAGNOSTIC_HISTORY_LIMIT,
@@ -286,6 +289,7 @@ export {
   summarizeCaptureArtifacts,
   summarizeRiddleProofPrComment,
   summarizeRiddleProofProfileResult,
+  summarizeRiddleProofPublicState,
   visualSessionFingerprint,
   visualSessionFingerprintBasis
 };

package/dist/pr-comment.cjs

@@ -25,22 +25,20 @@ __export(pr_comment_exports, {
   summarizeRiddleProofPrComment: () => summarizeRiddleProofPrComment
 });
 module.exports = __toCommonJS(pr_comment_exports);
-var RIDDLE_PROOF_PR_COMMENT_MARKER = "<!-- riddle-proof:pr-comment:v1 -->";
+
+// src/public-state.ts
 function asRecord(value) {
   return value && typeof value === "object" && !Array.isArray(value) ? value : {};
 }
-function asArray(value) {
-  return Array.isArray(value) ? value : [];
-}
 function stringValue(value) {
   return typeof value === "string" && value.trim() ? value.trim() : void 0;
 }
-function numberValue(value) {
-  return typeof value === "number" && Number.isFinite(value) ? value : void 0;
-}
 function booleanValue(value) {
   return typeof value === "boolean" ? value : void 0;
 }
+function numberValue(value) {
+  return typeof value === "number" && Number.isFinite(value) ? value : void 0;
+}
 function firstStringValue(...values) {
   for (const value of values) {
     const text = stringValue(value);
@@ -55,6 +53,155 @@ function firstBooleanValue(...values) {
   }
   return void 0;
 }
+function firstRecordValue(...values) {
+  for (const value of values) {
+    const record = asRecord(value);
+    if (Object.keys(record).length) return record;
+  }
+  return void 0;
+}
+function countValue(value) {
+  const number = numberValue(value);
+  return typeof number === "number" && number > 0 ? Math.trunc(number) : 0;
+}
+function checkpointSummaryFrom(...values) {
+  const record = firstRecordValue(...values);
+  if (!record) return void 0;
+  const accepted = countValue(record.response_count);
+  const rejected = countValue(record.rejected_response_count);
+  const ignored = countValue(record.ignored_response_count);
+  const duplicate = countValue(record.duplicate_response_count);
+  const summary = {
+    pending: booleanValue(record.pending),
+    accepted_response_count: accepted,
+    rejected_response_count: rejected,
+    ignored_response_count: ignored,
+    duplicate_response_count: duplicate,
+    latest_decision: stringValue(record.latest_decision),
+    audit_disclosure_required: rejected > 0 || ignored > 0 || duplicate > 0
+  };
+  return Object.values(summary).some((value) => typeof value !== "undefined") ? summary : void 0;
+}
+function uniqueStrings(values) {
+  return [...new Set(values.filter(Boolean))];
+}
+function summarizeRiddleProofPublicState(input) {
+  const record = asRecord(input);
+  const runCard = asRecord(record.run_card);
+  const stopCondition = asRecord(runCard.stop_condition);
+  const raw = asRecord(record.raw);
+  const request = asRecord(record.request);
+  const requestMetadata = asRecord(record.request_metadata);
+  const prState = asRecord(record.pr_state);
+  const handoff = asRecord(record.pr_handoff_policy);
+  const handoffState = stringValue(handoff.state);
+  const status = firstStringValue(record.status, stopCondition.status);
+  const ok = booleanValue(record.ok) ?? null;
+  const shipMode = firstStringValue(request.ship_mode, requestMetadata.ship_mode, record.ship_mode, handoff.ship_mode);
+  const explicitShippingDisabled = firstBooleanValue(
+    record.shipping_disabled,
+    stopCondition.shipping_disabled,
+    raw.shipping_disabled,
+    handoff.shipping_disabled
+  );
+  const shippingDisabled = explicitShippingDisabled === true || shipMode === "none" || handoffState === "proof_complete_ship_disabled";
+  const explicitShipAuthorized = firstBooleanValue(
+    record.ship_authorized,
+    stopCondition.ship_authorized,
+    raw.ship_authorized
+  );
+  const authorizationEvidence = Boolean(
+    status === "shipped" || record.marked_ready === true || stringValue(prState.status) === "merged" || record.merge_commit || record.merged_at
+  );
+  const shipAuthorizedBeforeHold = explicitShipAuthorized ?? authorizationEvidence;
+  const explicitShipHeld = firstBooleanValue(record.ship_held, stopCondition.ship_held, raw.ship_held);
+  const inferredHeld = status === "ready_to_ship" && shippingDisabled && !shipAuthorizedBeforeHold;
+  const shipHeld = explicitShipHeld === true || inferredHeld;
+  const shipAuthorized = shipHeld ? false : shipAuthorizedBeforeHold === true;
+  const proofComplete = Boolean(
+    status === "ready_to_ship" || status === "shipped" || status === "completed" || status === "passed" || ok === true || handoff.proof_complete === true
+  );
+  const checkpointSummary = checkpointSummaryFrom(
+    record.checkpoint_summary,
+    stopCondition.checkpoint_summary,
+    asRecord(record.details).checkpoint_summary,
+    asRecord(raw.details).checkpoint_summary
+  );
+  const blockedOrWaiting = status === "blocked" || status === "failed" || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
+  const proofPassed = Boolean(proofComplete && !blockedOrWaiting);
+  const explicitMergeReady = firstBooleanValue(record.merge_ready, stopCondition.merge_ready, raw.merge_ready, handoff.merge_ready);
+  const normalPrAllowed = firstBooleanValue(record.normal_pr_allowed, raw.normal_pr_allowed, handoff.normal_pr_allowed);
+  const baseHandoffAllowed = !blockedOrWaiting && !shipHeld && !shippingDisabled;
+  const mergeReady = baseHandoffAllowed && normalPrAllowed !== false && (explicitMergeReady ?? shipAuthorized);
+  const syncAllowed = mergeReady;
+  let policyState = "unknown";
+  if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") policyState = "awaiting_checkpoint";
+  else if (status === "failed" || handoffState === "proof_failed") policyState = "proof_failed";
+  else if (status === "blocked" || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
+  else if (handoffState === "proof_complete_ship_disabled") policyState = "proof_complete_ship_disabled";
+  else if (proofComplete && shipHeld && !shipAuthorized) policyState = "proof_passed_ship_held";
+  else if (proofComplete && shippingDisabled && !shipAuthorized) policyState = "proof_complete_ship_disabled";
+  else if (shipAuthorized) policyState = "ship_authorized";
+  else if (proofPassed) policyState = "proof_passed";
+  else if (status === "running") policyState = "proof_in_progress";
+  const requiredDisclosures = [];
+  if (shipHeld) requiredDisclosures.push("ship_held");
+  if (shippingDisabled) requiredDisclosures.push("shipping_disabled");
+  if (checkpointSummary?.audit_disclosure_required) requiredDisclosures.push("checkpoint_audit_counters");
+  if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") requiredDisclosures.push("checkpoint_required");
+  const prohibitedClaims = [];
+  if (!shipAuthorized || shipHeld || shippingDisabled) prohibitedClaims.push("ship_authorized", "shipped");
+  if (!mergeReady) prohibitedClaims.push("merge_ready");
+  if (!syncAllowed) prohibitedClaims.push("sync_allowed");
+  if (blockedOrWaiting) {
+    prohibitedClaims.push("proof_passed", "ready_to_ship");
+  }
+  if (checkpointSummary?.audit_disclosure_required) {
+    prohibitedClaims.push("all_checkpoint_responses_accepted");
+  }
+  const resultLabel2 = policyState === "awaiting_checkpoint" ? "checkpoint required" : policyState === "proof_blocked" ? "blocked" : policyState === "proof_failed" ? "failed" : policyState === "proof_complete_ship_disabled" ? "proof complete; shipping disabled" : policyState === "proof_passed_ship_held" ? "proof passed; ship held" : policyState === "ship_authorized" ? status === "shipped" ? "shipped" : "ship authorized" : policyState === "proof_passed" ? "passed" : policyState === "proof_in_progress" ? "running" : status || "recorded";
+  return {
+    status,
+    ok,
+    policy_state: policyState,
+    result_label: resultLabel2,
+    proof_complete: proofComplete,
+    proof_passed: proofPassed,
+    ship_held: shipHeld,
+    shipping_disabled: shippingDisabled,
+    ship_authorized: shipAuthorized,
+    merge_ready: mergeReady,
+    sync_allowed: syncAllowed,
+    checkpoint_summary: checkpointSummary,
+    required_disclosures: uniqueStrings(requiredDisclosures),
+    prohibited_claims: uniqueStrings(prohibitedClaims)
+  };
+}
+
+// src/pr-comment.ts
+var RIDDLE_PROOF_PR_COMMENT_MARKER = "<!-- riddle-proof:pr-comment:v1 -->";
+function asRecord2(value) {
+  return value && typeof value === "object" && !Array.isArray(value) ? value : {};
+}
+function asArray(value) {
+  return Array.isArray(value) ? value : [];
+}
+function stringValue2(value) {
+  return typeof value === "string" && value.trim() ? value.trim() : void 0;
+}
+function numberValue2(value) {
+  return typeof value === "number" && Number.isFinite(value) ? value : void 0;
+}
+function booleanValue2(value) {
+  return typeof value === "boolean" ? value : void 0;
+}
+function firstStringValue2(...values) {
+  for (const value of values) {
+    const text = stringValue2(value);
+    if (text) return text;
+  }
+  return void 0;
+}
 function artifactKind(name, url) {
   const target = `${name} ${url}`.toLowerCase();
   if (/\.(png|jpe?g|gif|webp|avif|svg)(\?|#|$)/.test(target)) return "image";
@@ -62,18 +209,18 @@ function artifactKind(name, url) {
   return "artifact";
 }
 function artifactDisplayName(value, fallback) {
-  const raw = stringValue(value);
+  const raw = stringValue2(value);
   if (raw) return raw;
   return fallback;
 }
 function collectArtifacts(runResponse) {
-  const proofResult = asRecord(runResponse.proofResult);
+  const proofResult = asRecord2(runResponse.proofResult);
   const outputs = asArray(proofResult.outputs);
   const artifacts = [];
   const seen = /* @__PURE__ */ new Set();
   for (const [index, item] of outputs.entries()) {
-    const artifact = asRecord(item);
-    const url = stringValue(artifact.url);
+    const artifact = asRecord2(item);
+    const url = stringValue2(artifact.url);
     if (!url || seen.has(url)) continue;
     seen.add(url);
     const name = artifactDisplayName(artifact.name, `artifact-${index + 1}`);
@@ -81,7 +228,7 @@ function collectArtifacts(runResponse) {
       name,
       url,
       kind: artifactKind(name, url),
-      size_bytes: numberValue(artifact.size)
+      size_bytes: numberValue2(artifact.size)
     });
   }
   return artifacts;
@@ -89,9 +236,9 @@ function collectArtifacts(runResponse) {
 function pageSummaries(result) {
   const pages = [];
   for (const page of asArray(result.pages)) {
-    const record = asRecord(page);
-    const route = stringValue(record.route) || stringValue(record.url) || "page";
-    const checks = asRecord(record.checks);
+    const record = asRecord2(page);
+    const route = stringValue2(record.route) || stringValue2(record.url) || "page";
+    const checks = asRecord2(record.checks);
     let passed = 0;
     let failed = 0;
     for (const value of Object.values(checks)) {
@@ -131,68 +278,74 @@ function selectPrimaryImage(artifacts) {
   const images = artifacts.filter((artifact) => artifact.kind === "image");
   return images.find((artifact) => /after|proof|screenshot/i.test(artifact.name)) || images[0];
 }
-function firstRecordValue(...values) {
+function firstRecordValue2(...values) {
   for (const value of values) {
-    const record = asRecord(value);
+    const record = asRecord2(value);
     if (Object.keys(record).length) return record;
   }
   return void 0;
 }
-function checkpointSummaryFrom(...values) {
-  const record = firstRecordValue(...values);
+function checkpointSummaryFrom2(...values) {
+  const record = firstRecordValue2(...values);
   if (!record) return void 0;
   const summary = {
-    pending: booleanValue(record.pending),
-    response_count: numberValue(record.response_count),
-    rejected_response_count: numberValue(record.rejected_response_count),
-    ignored_response_count: numberValue(record.ignored_response_count),
-    duplicate_response_count: numberValue(record.duplicate_response_count),
-    latest_decision: stringValue(record.latest_decision),
-    latest_packet_id: stringValue(record.latest_packet_id),
-    latest_resume_token: stringValue(record.latest_resume_token)
+    pending: booleanValue2(record.pending),
+    response_count: numberValue2(record.response_count),
+    rejected_response_count: numberValue2(record.rejected_response_count),
+    ignored_response_count: numberValue2(record.ignored_response_count),
+    duplicate_response_count: numberValue2(record.duplicate_response_count),
+    latest_decision: stringValue2(record.latest_decision),
+    latest_packet_id: stringValue2(record.latest_packet_id),
+    latest_resume_token: stringValue2(record.latest_resume_token)
   };
   return Object.values(summary).some((value) => typeof value !== "undefined") ? summary : void 0;
 }
 function summarizeRiddleProofPrComment(input) {
-  const runResponse = asRecord(input.runResponse);
-  const result = asRecord(input.result);
-  const proofResult = asRecord(runResponse.proofResult);
-  const preview = asRecord(runResponse.preview);
-  const resultRunCard = asRecord(result.run_card);
-  const stopCondition = asRecord(resultRunCard.stop_condition);
-  const resultDetails = asRecord(result.details);
-  const resultRaw = asRecord(result.raw);
-  const rawDetails = asRecord(resultRaw.details);
+  const runResponse = asRecord2(input.runResponse);
+  const result = asRecord2(input.result);
+  const proofResult = asRecord2(runResponse.proofResult);
+  const preview = asRecord2(runResponse.preview);
+  const resultRunCard = asRecord2(result.run_card);
+  const stopCondition = asRecord2(resultRunCard.stop_condition);
+  const resultDetails = asRecord2(result.details);
+  const resultRaw = asRecord2(result.raw);
+  const rawDetails = asRecord2(resultRaw.details);
   const artifacts = collectArtifacts(runResponse);
   const pages = pageSummaries(result);
   const checkSource = { ...result };
   delete checkSource.ok;
   const nestedChecks = summarizeExplicitChecks(checkSource);
-  const ok = booleanValue(result.ok) ?? booleanValue(runResponse.ok) ?? null;
-  const checkpointSummary = checkpointSummaryFrom(
+  const ok = booleanValue2(result.ok) ?? booleanValue2(runResponse.ok) ?? null;
+  const checkpointSummary = checkpointSummaryFrom2(
     result.checkpoint_summary,
     stopCondition.checkpoint_summary,
     resultDetails.checkpoint_summary,
     rawDetails.checkpoint_summary,
     proofResult.checkpoint_summary
   );
+  const publicState = summarizeRiddleProofPublicState({
+    ...result,
+    status: firstStringValue2(result.status, stopCondition.status),
+    checkpoint_summary: checkpointSummary || result.checkpoint_summary
+  });
   return {
     ok,
-    status: stringValue(proofResult.status),
-    result_status: firstStringValue(result.status, stopCondition.status),
-    job_id: stringValue(proofResult.job_id),
-    duration_ms: numberValue(proofResult.duration_ms),
-    proof_url: stringValue(runResponse.proofUrl),
-    preview_id: stringValue(preview.id),
-    preview_url: stringValue(preview.preview_url) || stringValue(preview.url),
-    preview_publish_recovered: booleanValue(preview.publish_recovered),
-    preview_publish_error: stringValue(preview.publish_error),
-    ship_held: firstBooleanValue(result.ship_held, stopCondition.ship_held, resultRaw.ship_held),
-    shipping_disabled: firstBooleanValue(result.shipping_disabled, stopCondition.shipping_disabled, resultRaw.shipping_disabled),
-    ship_authorized: firstBooleanValue(result.ship_authorized, stopCondition.ship_authorized, resultRaw.ship_authorized),
-    proof_decision: firstStringValue(result.proof_decision, stopCondition.proof_decision, resultRaw.proof_decision),
-    merge_recommendation: firstStringValue(result.merge_recommendation, stopCondition.merge_recommendation, resultRaw.merge_recommendation),
+    status: stringValue2(proofResult.status),
+    result_status: publicState.status,
+    job_id: stringValue2(proofResult.job_id),
+    duration_ms: numberValue2(proofResult.duration_ms),
+    proof_url: stringValue2(runResponse.proofUrl),
+    preview_id: stringValue2(preview.id),
+    preview_url: stringValue2(preview.preview_url) || stringValue2(preview.url),
+    preview_publish_recovered: booleanValue2(preview.publish_recovered),
+    preview_publish_error: stringValue2(preview.publish_error),
+    ship_held: publicState.ship_held,
+    shipping_disabled: publicState.shipping_disabled,
+    ship_authorized: publicState.ship_authorized,
+    proof_decision: firstStringValue2(result.proof_decision, stopCondition.proof_decision, resultRaw.proof_decision),
+    merge_recommendation: firstStringValue2(result.merge_recommendation, stopCondition.merge_recommendation, resultRaw.merge_recommendation),
     checkpoint_summary: checkpointSummary,
+    public_state: publicState,
     passed_checks: nestedChecks.passed,
     failed_checks: nestedChecks.failed,
     pages,
@@ -211,6 +364,7 @@ function markdownLink(label, url) {
   return `[${label.replace(/\]/g, "\\]")}](${url})`;
 }
 function resultLabel(summary) {
+  if (summary.public_state?.result_label) return summary.public_state.result_label;
   if (summary.ok === true) {
     if (summary.result_status === "shipped") return "shipped";
     if (summary.result_status === "completed") return "completed";

package/dist/pr-comment.d.cts

@@ -1,3 +1,5 @@
+import { RiddleProofPublicStateSummary } from './public-state.cjs';
+
 declare const RIDDLE_PROOF_PR_COMMENT_MARKER = "<!-- riddle-proof:pr-comment:v1 -->";
 type RiddleProofPrCommentArtifactKind = "image" | "data" | "artifact";
 interface RiddleProofPrCommentArtifact {
@@ -38,6 +40,7 @@ interface RiddleProofPrCommentSummary {
     proof_decision?: string;
     merge_recommendation?: string;
     checkpoint_summary?: RiddleProofPrCommentCheckpointSummary;
+    public_state?: RiddleProofPublicStateSummary;
     passed_checks: number;
     failed_checks: number;
     pages: RiddleProofPrCommentPageSummary[];

package/dist/pr-comment.d.ts

@@ -1,3 +1,5 @@
+import { RiddleProofPublicStateSummary } from './public-state.js';
+
 declare const RIDDLE_PROOF_PR_COMMENT_MARKER = "<!-- riddle-proof:pr-comment:v1 -->";
 type RiddleProofPrCommentArtifactKind = "image" | "data" | "artifact";
 interface RiddleProofPrCommentArtifact {
@@ -38,6 +40,7 @@ interface RiddleProofPrCommentSummary {
     proof_decision?: string;
     merge_recommendation?: string;
     checkpoint_summary?: RiddleProofPrCommentCheckpointSummary;
+    public_state?: RiddleProofPublicStateSummary;
     passed_checks: number;
     failed_checks: number;
     pages: RiddleProofPrCommentPageSummary[];

package/dist/pr-comment.js

@@ -2,7 +2,8 @@ import {
   RIDDLE_PROOF_PR_COMMENT_MARKER,
   buildRiddleProofPrCommentMarkdown,
   summarizeRiddleProofPrComment
-} from "./chunk-JR7GFTLS.js";
+} from "./chunk-62XLYPMS.js";
+import "./chunk-KG64Y5MC.js";
 import "./chunk-MLKGABMK.js";
 export {
   RIDDLE_PROOF_PR_COMMENT_MARKER,

package/dist/public-state.cjs

@@ -0,0 +1,179 @@
+"use strict";
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+
+// src/public-state.ts
+var public_state_exports = {};
+__export(public_state_exports, {
+  summarizeRiddleProofPublicState: () => summarizeRiddleProofPublicState
+});
+module.exports = __toCommonJS(public_state_exports);
+function asRecord(value) {
+  return value && typeof value === "object" && !Array.isArray(value) ? value : {};
+}
+function stringValue(value) {
+  return typeof value === "string" && value.trim() ? value.trim() : void 0;
+}
+function booleanValue(value) {
+  return typeof value === "boolean" ? value : void 0;
+}
+function numberValue(value) {
+  return typeof value === "number" && Number.isFinite(value) ? value : void 0;
+}
+function firstStringValue(...values) {
+  for (const value of values) {
+    const text = stringValue(value);
+    if (text) return text;
+  }
+  return void 0;
+}
+function firstBooleanValue(...values) {
+  for (const value of values) {
+    const bool = booleanValue(value);
+    if (typeof bool === "boolean") return bool;
+  }
+  return void 0;
+}
+function firstRecordValue(...values) {
+  for (const value of values) {
+    const record = asRecord(value);
+    if (Object.keys(record).length) return record;
+  }
+  return void 0;
+}
+function countValue(value) {
+  const number = numberValue(value);
+  return typeof number === "number" && number > 0 ? Math.trunc(number) : 0;
+}
+function checkpointSummaryFrom(...values) {
+  const record = firstRecordValue(...values);
+  if (!record) return void 0;
+  const accepted = countValue(record.response_count);
+  const rejected = countValue(record.rejected_response_count);
+  const ignored = countValue(record.ignored_response_count);
+  const duplicate = countValue(record.duplicate_response_count);
+  const summary = {
+    pending: booleanValue(record.pending),
+    accepted_response_count: accepted,
+    rejected_response_count: rejected,
+    ignored_response_count: ignored,
+    duplicate_response_count: duplicate,
+    latest_decision: stringValue(record.latest_decision),
+    audit_disclosure_required: rejected > 0 || ignored > 0 || duplicate > 0
+  };
+  return Object.values(summary).some((value) => typeof value !== "undefined") ? summary : void 0;
+}
+function uniqueStrings(values) {
+  return [...new Set(values.filter(Boolean))];
+}
+function summarizeRiddleProofPublicState(input) {
+  const record = asRecord(input);
+  const runCard = asRecord(record.run_card);
+  const stopCondition = asRecord(runCard.stop_condition);
+  const raw = asRecord(record.raw);
+  const request = asRecord(record.request);
+  const requestMetadata = asRecord(record.request_metadata);
+  const prState = asRecord(record.pr_state);
+  const handoff = asRecord(record.pr_handoff_policy);
+  const handoffState = stringValue(handoff.state);
+  const status = firstStringValue(record.status, stopCondition.status);
+  const ok = booleanValue(record.ok) ?? null;
+  const shipMode = firstStringValue(request.ship_mode, requestMetadata.ship_mode, record.ship_mode, handoff.ship_mode);
+  const explicitShippingDisabled = firstBooleanValue(
+    record.shipping_disabled,
+    stopCondition.shipping_disabled,
+    raw.shipping_disabled,
+    handoff.shipping_disabled
+  );
+  const shippingDisabled = explicitShippingDisabled === true || shipMode === "none" || handoffState === "proof_complete_ship_disabled";
+  const explicitShipAuthorized = firstBooleanValue(
+    record.ship_authorized,
+    stopCondition.ship_authorized,
+    raw.ship_authorized
+  );
+  const authorizationEvidence = Boolean(
+    status === "shipped" || record.marked_ready === true || stringValue(prState.status) === "merged" || record.merge_commit || record.merged_at
+  );
+  const shipAuthorizedBeforeHold = explicitShipAuthorized ?? authorizationEvidence;
+  const explicitShipHeld = firstBooleanValue(record.ship_held, stopCondition.ship_held, raw.ship_held);
+  const inferredHeld = status === "ready_to_ship" && shippingDisabled && !shipAuthorizedBeforeHold;
+  const shipHeld = explicitShipHeld === true || inferredHeld;
+  const shipAuthorized = shipHeld ? false : shipAuthorizedBeforeHold === true;
+  const proofComplete = Boolean(
+    status === "ready_to_ship" || status === "shipped" || status === "completed" || status === "passed" || ok === true || handoff.proof_complete === true
+  );
+  const checkpointSummary = checkpointSummaryFrom(
+    record.checkpoint_summary,
+    stopCondition.checkpoint_summary,
+    asRecord(record.details).checkpoint_summary,
+    asRecord(raw.details).checkpoint_summary
+  );
+  const blockedOrWaiting = status === "blocked" || status === "failed" || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
+  const proofPassed = Boolean(proofComplete && !blockedOrWaiting);
+  const explicitMergeReady = firstBooleanValue(record.merge_ready, stopCondition.merge_ready, raw.merge_ready, handoff.merge_ready);
+  const normalPrAllowed = firstBooleanValue(record.normal_pr_allowed, raw.normal_pr_allowed, handoff.normal_pr_allowed);
+  const baseHandoffAllowed = !blockedOrWaiting && !shipHeld && !shippingDisabled;
+  const mergeReady = baseHandoffAllowed && normalPrAllowed !== false && (explicitMergeReady ?? shipAuthorized);
+  const syncAllowed = mergeReady;
+  let policyState = "unknown";
+  if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") policyState = "awaiting_checkpoint";
+  else if (status === "failed" || handoffState === "proof_failed") policyState = "proof_failed";
+  else if (status === "blocked" || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
+  else if (handoffState === "proof_complete_ship_disabled") policyState = "proof_complete_ship_disabled";
+  else if (proofComplete && shipHeld && !shipAuthorized) policyState = "proof_passed_ship_held";
+  else if (proofComplete && shippingDisabled && !shipAuthorized) policyState = "proof_complete_ship_disabled";
+  else if (shipAuthorized) policyState = "ship_authorized";
+  else if (proofPassed) policyState = "proof_passed";
+  else if (status === "running") policyState = "proof_in_progress";
+  const requiredDisclosures = [];
+  if (shipHeld) requiredDisclosures.push("ship_held");
+  if (shippingDisabled) requiredDisclosures.push("shipping_disabled");
+  if (checkpointSummary?.audit_disclosure_required) requiredDisclosures.push("checkpoint_audit_counters");
+  if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") requiredDisclosures.push("checkpoint_required");
+  const prohibitedClaims = [];
+  if (!shipAuthorized || shipHeld || shippingDisabled) prohibitedClaims.push("ship_authorized", "shipped");
+  if (!mergeReady) prohibitedClaims.push("merge_ready");
+  if (!syncAllowed) prohibitedClaims.push("sync_allowed");
+  if (blockedOrWaiting) {
+    prohibitedClaims.push("proof_passed", "ready_to_ship");
+  }
+  if (checkpointSummary?.audit_disclosure_required) {
+    prohibitedClaims.push("all_checkpoint_responses_accepted");
+  }
+  const resultLabel = policyState === "awaiting_checkpoint" ? "checkpoint required" : policyState === "proof_blocked" ? "blocked" : policyState === "proof_failed" ? "failed" : policyState === "proof_complete_ship_disabled" ? "proof complete; shipping disabled" : policyState === "proof_passed_ship_held" ? "proof passed; ship held" : policyState === "ship_authorized" ? status === "shipped" ? "shipped" : "ship authorized" : policyState === "proof_passed" ? "passed" : policyState === "proof_in_progress" ? "running" : status || "recorded";
+  return {
+    status,
+    ok,
+    policy_state: policyState,
+    result_label: resultLabel,
+    proof_complete: proofComplete,
+    proof_passed: proofPassed,
+    ship_held: shipHeld,
+    shipping_disabled: shippingDisabled,
+    ship_authorized: shipAuthorized,
+    merge_ready: mergeReady,
+    sync_allowed: syncAllowed,
+    checkpoint_summary: checkpointSummary,
+    required_disclosures: uniqueStrings(requiredDisclosures),
+    prohibited_claims: uniqueStrings(prohibitedClaims)
+  };
+}
+// Annotate the CommonJS export names for ESM import in node:
+0 && (module.exports = {
+  summarizeRiddleProofPublicState
+});

package/dist/public-state.d.cts

@@ -0,0 +1,29 @@
+type RiddleProofPublicPolicyState = "awaiting_checkpoint" | "proof_blocked" | "proof_failed" | "proof_complete_ship_disabled" | "proof_passed_ship_held" | "ship_authorized" | "proof_passed" | "proof_in_progress" | "unknown";
+interface RiddleProofPublicCheckpointSummary {
+    pending?: boolean;
+    accepted_response_count: number;
+    rejected_response_count: number;
+    ignored_response_count: number;
+    duplicate_response_count: number;
+    latest_decision?: string;
+    audit_disclosure_required: boolean;
+}
+interface RiddleProofPublicStateSummary {
+    status?: string;
+    ok: boolean | null;
+    policy_state: RiddleProofPublicPolicyState;
+    result_label: string;
+    proof_complete: boolean;
+    proof_passed: boolean;
+    ship_held: boolean;
+    shipping_disabled: boolean;
+    ship_authorized: boolean;
+    merge_ready: boolean;
+    sync_allowed: boolean;
+    checkpoint_summary?: RiddleProofPublicCheckpointSummary;
+    required_disclosures: string[];
+    prohibited_claims: string[];
+}
+declare function summarizeRiddleProofPublicState(input: unknown): RiddleProofPublicStateSummary;
+
+export { type RiddleProofPublicCheckpointSummary, type RiddleProofPublicPolicyState, type RiddleProofPublicStateSummary, summarizeRiddleProofPublicState };