@riddledc/riddle-proof 0.8.55 → 0.8.57

package/dist/pr-comment.cjs

@@ -41,6 +41,20 @@ function numberValue(value) {
 function booleanValue(value) {
   return typeof value === "boolean" ? 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 artifactKind(name, url) {
   const target = `${name} ${url}`.toLowerCase();
   if (/\.(png|jpe?g|gif|webp|avif|svg)(\?|#|$)/.test(target)) return "image";
@@ -117,20 +131,55 @@ 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) {
+  for (const value of values) {
+    const record = asRecord(value);
+    if (Object.keys(record).length) return record;
+  }
+  return void 0;
+}
+function checkpointSummaryFrom(...values) {
+  const record = firstRecordValue(...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)
+  };
+  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 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(
+    result.checkpoint_summary,
+    stopCondition.checkpoint_summary,
+    resultDetails.checkpoint_summary,
+    rawDetails.checkpoint_summary,
+    proofResult.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),
@@ -138,6 +187,12 @@ function summarizeRiddleProofPrComment(input) {
     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),
+    checkpoint_summary: checkpointSummary,
     passed_checks: nestedChecks.passed,
     failed_checks: nestedChecks.failed,
     pages,
@@ -156,9 +211,15 @@ function markdownLink(label, url) {
   return `[${label.replace(/\]/g, "\\]")}](${url})`;
 }
 function resultLabel(summary) {
-  if (summary.ok === true) return "passed";
+  if (summary.ok === true) {
+    if (summary.result_status === "shipped") return "shipped";
+    if (summary.result_status === "completed") return "completed";
+    if (summary.ship_held === true) return "proof passed; ship held";
+    if (summary.ship_authorized === true) return "passed; ship authorized";
+    return "passed";
+  }
   if (summary.ok === false) return "failed";
-  return summary.status || "recorded";
+  return summary.result_status || summary.status || "recorded";
 }
 function artifactRank(artifact) {
   const name = artifact.name.toLowerCase();
@@ -170,6 +231,25 @@ function artifactRank(artifact) {
   if (artifact.kind === "image") return 20;
   return 30;
 }
+function formatBool(value) {
+  return typeof value === "boolean" ? String(value) : "unknown";
+}
+function hasShipControl(summary) {
+  return typeof summary.ship_held === "boolean" || typeof summary.shipping_disabled === "boolean" || typeof summary.ship_authorized === "boolean";
+}
+function checkpointSummaryLine(summary) {
+  const accepted = summary.response_count ?? 0;
+  const rejected = summary.rejected_response_count ?? 0;
+  const ignored = summary.ignored_response_count ?? 0;
+  const parts = [`${accepted} accepted`, `${rejected} rejected`, `${ignored} ignored`];
+  if ((summary.duplicate_response_count ?? 0) > 0) parts.push(`${summary.duplicate_response_count} duplicate`);
+  const state = summary.pending === true ? "pending" : summary.pending === false ? "complete" : "";
+  return [
+    parts.join(" / "),
+    state,
+    summary.latest_decision ? `latest decision \`${summary.latest_decision}\`` : ""
+  ].filter(Boolean).join("; ");
+}
 function buildRiddleProofPrCommentMarkdown(input) {
   const summary = summarizeRiddleProofPrComment(input);
   const title = input.title?.trim() || "Riddle Proof Evidence";
@@ -181,9 +261,16 @@ function buildRiddleProofPrCommentMarkdown(input) {
   ];
   if (input.goal?.trim()) lines.push(`**Goal:** ${input.goal.trim()}`);
   if (input.successCriteria?.trim()) lines.push(`**Success criteria:** ${input.successCriteria.trim()}`);
+  if (summary.result_status) lines.push(`**Evidence status:** ${summary.result_status}`);
   if (summary.status) lines.push(`**Riddle job status:** ${summary.status}`);
   if (summary.job_id) lines.push(`**Riddle job:** \`${summary.job_id}\``);
   if (summary.duration_ms) lines.push(`**Duration:** ${formatDuration(summary.duration_ms)}`);
+  if (hasShipControl(summary)) {
+    lines.push(`**Ship control:** held=${formatBool(summary.ship_held)}, shipping_disabled=${formatBool(summary.shipping_disabled)}, authorized=${formatBool(summary.ship_authorized)}`);
+  }
+  if (summary.proof_decision) lines.push(`**Proof decision:** \`${summary.proof_decision}\``);
+  if (summary.merge_recommendation) lines.push(`**Merge recommendation:** ${summary.merge_recommendation}`);
+  if (summary.checkpoint_summary) lines.push(`**Checkpoints:** ${checkpointSummaryLine(summary.checkpoint_summary)}`);
   if (summary.proof_url) lines.push(`**Proof URL:** ${markdownLink(summary.proof_url, summary.proof_url)}`);
   if (summary.preview_id || summary.preview_url) {
     const previewLabel = summary.preview_id ? `\`${summary.preview_id}\`` : "preview";

package/dist/pr-comment.d.cts

@@ -11,9 +11,20 @@ interface RiddleProofPrCommentPageSummary {
     passed: number;
     failed: number;
 }
+interface RiddleProofPrCommentCheckpointSummary {
+    pending?: boolean;
+    response_count?: number;
+    rejected_response_count?: number;
+    ignored_response_count?: number;
+    duplicate_response_count?: number;
+    latest_decision?: string;
+    latest_packet_id?: string;
+    latest_resume_token?: string;
+}
 interface RiddleProofPrCommentSummary {
     ok: boolean | null;
     status?: string;
+    result_status?: string;
     job_id?: string;
     duration_ms?: number;
     proof_url?: string;
@@ -21,6 +32,12 @@ interface RiddleProofPrCommentSummary {
     preview_url?: string;
     preview_publish_recovered?: boolean;
     preview_publish_error?: string;
+    ship_held?: boolean;
+    shipping_disabled?: boolean;
+    ship_authorized?: boolean;
+    proof_decision?: string;
+    merge_recommendation?: string;
+    checkpoint_summary?: RiddleProofPrCommentCheckpointSummary;
     passed_checks: number;
     failed_checks: number;
     pages: RiddleProofPrCommentPageSummary[];
@@ -38,4 +55,4 @@ interface RiddleProofPrCommentInput {
 declare function summarizeRiddleProofPrComment(input: RiddleProofPrCommentInput): RiddleProofPrCommentSummary;
 declare function buildRiddleProofPrCommentMarkdown(input: RiddleProofPrCommentInput): string;
 
-export { RIDDLE_PROOF_PR_COMMENT_MARKER, type RiddleProofPrCommentArtifact, type RiddleProofPrCommentArtifactKind, type RiddleProofPrCommentInput, type RiddleProofPrCommentPageSummary, type RiddleProofPrCommentSummary, buildRiddleProofPrCommentMarkdown, summarizeRiddleProofPrComment };
+export { RIDDLE_PROOF_PR_COMMENT_MARKER, type RiddleProofPrCommentArtifact, type RiddleProofPrCommentArtifactKind, type RiddleProofPrCommentCheckpointSummary, type RiddleProofPrCommentInput, type RiddleProofPrCommentPageSummary, type RiddleProofPrCommentSummary, buildRiddleProofPrCommentMarkdown, summarizeRiddleProofPrComment };

package/dist/pr-comment.d.ts

@@ -11,9 +11,20 @@ interface RiddleProofPrCommentPageSummary {
     passed: number;
     failed: number;
 }
+interface RiddleProofPrCommentCheckpointSummary {
+    pending?: boolean;
+    response_count?: number;
+    rejected_response_count?: number;
+    ignored_response_count?: number;
+    duplicate_response_count?: number;
+    latest_decision?: string;
+    latest_packet_id?: string;
+    latest_resume_token?: string;
+}
 interface RiddleProofPrCommentSummary {
     ok: boolean | null;
     status?: string;
+    result_status?: string;
     job_id?: string;
     duration_ms?: number;
     proof_url?: string;
@@ -21,6 +32,12 @@ interface RiddleProofPrCommentSummary {
     preview_url?: string;
     preview_publish_recovered?: boolean;
     preview_publish_error?: string;
+    ship_held?: boolean;
+    shipping_disabled?: boolean;
+    ship_authorized?: boolean;
+    proof_decision?: string;
+    merge_recommendation?: string;
+    checkpoint_summary?: RiddleProofPrCommentCheckpointSummary;
     passed_checks: number;
     failed_checks: number;
     pages: RiddleProofPrCommentPageSummary[];
@@ -38,4 +55,4 @@ interface RiddleProofPrCommentInput {
 declare function summarizeRiddleProofPrComment(input: RiddleProofPrCommentInput): RiddleProofPrCommentSummary;
 declare function buildRiddleProofPrCommentMarkdown(input: RiddleProofPrCommentInput): string;
 
-export { RIDDLE_PROOF_PR_COMMENT_MARKER, type RiddleProofPrCommentArtifact, type RiddleProofPrCommentArtifactKind, type RiddleProofPrCommentInput, type RiddleProofPrCommentPageSummary, type RiddleProofPrCommentSummary, buildRiddleProofPrCommentMarkdown, summarizeRiddleProofPrComment };
+export { RIDDLE_PROOF_PR_COMMENT_MARKER, type RiddleProofPrCommentArtifact, type RiddleProofPrCommentArtifactKind, type RiddleProofPrCommentCheckpointSummary, type RiddleProofPrCommentInput, type RiddleProofPrCommentPageSummary, type RiddleProofPrCommentSummary, buildRiddleProofPrCommentMarkdown, summarizeRiddleProofPrComment };

package/dist/pr-comment.js

@@ -2,7 +2,7 @@ import {
   RIDDLE_PROOF_PR_COMMENT_MARKER,
   buildRiddleProofPrCommentMarkdown,
   summarizeRiddleProofPrComment
-} from "./chunk-6KYXX4OE.js";
+} from "./chunk-JR7GFTLS.js";
 import "./chunk-MLKGABMK.js";
 export {
   RIDDLE_PROOF_PR_COMMENT_MARKER,

package/dist/{proof-run-engine-MiKZt9oY.d.ts → proof-run-engine-BqRoA3Do.d.ts}

@@ -292,7 +292,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     blocking?: boolean;
     details?: Record<string, unknown>;
     ok: boolean;
-    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
+    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
     state_path: string;
     stage: any;
     summary: string;
@@ -382,7 +382,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     continueWithStage?: WorkflowStage | null;
     blocking?: boolean;
     details?: Record<string, unknown>;
-    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
+    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
     state_path: string;
     stage: any;
     checkpoint: string;
@@ -659,7 +659,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     error?: undefined;
 } | {
     ok: boolean;
-    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship";
+    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup";
     state_path: string;
     stage: any;
     summary: string;

package/dist/{proof-run-engine-Baiv6l3A.d.cts → proof-run-engine-DpChFR5H.d.cts}

@@ -292,7 +292,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     blocking?: boolean;
     details?: Record<string, unknown>;
     ok: boolean;
-    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
+    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
     state_path: string;
     stage: any;
     summary: string;
@@ -382,7 +382,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     continueWithStage?: WorkflowStage | null;
     blocking?: boolean;
     details?: Record<string, unknown>;
-    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
+    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
     state_path: string;
     stage: any;
     checkpoint: string;
@@ -659,7 +659,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     error?: undefined;
 } | {
     ok: boolean;
-    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship";
+    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup";
     state_path: string;
     stage: any;
     summary: string;

package/dist/proof-run-engine.d.cts

@@ -1,2 +1,2 @@
 import './proof-run-core-7Dqm7RKM.cjs';
-export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-Baiv6l3A.cjs';
+export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-DpChFR5H.cjs';

package/dist/proof-run-engine.d.ts

@@ -1,2 +1,2 @@
 import './proof-run-core-7Dqm7RKM.js';
-export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-MiKZt9oY.js';
+export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-BqRoA3Do.js';

package/dist/result.cjs

@@ -24,6 +24,7 @@ __export(result_exports, {
   applyTerminalMetadata: () => applyTerminalMetadata,
   compactRecord: () => compactRecord,
   createRunResult: () => createRunResult,
+  isProtectedFinalStatus: () => isProtectedFinalStatus,
   isSuccessfulStatus: () => isSuccessfulStatus,
   isTerminalStatus: () => isTerminalStatus,
   nonEmptyString: () => nonEmptyString,
@@ -35,6 +36,9 @@ module.exports = __toCommonJS(result_exports);
 function isTerminalStatus(status) {
   return status === "blocked" || status === "failed" || status === "ready_to_ship" || status === "shipped" || status === "completed";
 }
+function isProtectedFinalStatus(status) {
+  return status === "ready_to_ship" || status === "shipped" || status === "completed";
+}
 function isSuccessfulStatus(status) {
   return status !== "blocked" && status !== "failed";
 }
@@ -248,6 +252,7 @@ function createRunResult(input) {
   const state = input.metadata ? applyTerminalMetadata(input.state, input.metadata) : input.state;
   state.status = status;
   state.ok = ok;
+  if (isProtectedFinalStatus(status)) state.finalized = true;
   applyShipControlState(state, { status, raw: input.raw });
   return compactRecord({
     ok,
@@ -302,6 +307,7 @@ function createRunResult(input) {
   applyTerminalMetadata,
   compactRecord,
   createRunResult,
+  isProtectedFinalStatus,
   isSuccessfulStatus,
   isTerminalStatus,
   nonEmptyString,

package/dist/result.d.cts

@@ -1,6 +1,7 @@
 import { RiddleProofRunState, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofEvidenceBundle, RiddleProofRunResult } from './types.cjs';
 
 declare function isTerminalStatus(status: RiddleProofStatus): boolean;
+declare function isProtectedFinalStatus(status: unknown): boolean;
 declare function isSuccessfulStatus(status: RiddleProofStatus): boolean;
 declare function compactRecord<T extends Record<string, unknown>>(input: T): Partial<T>;
 declare function nonEmptyString(value: unknown): string | undefined;
@@ -36,4 +37,4 @@ declare function createRunResult(input: {
     raw?: Record<string, unknown>;
 }): RiddleProofRunResult;
 
-export { type RiddleProofShipControlState, type TerminalMetadataInput, applyShipControlState, applyTerminalMetadata, compactRecord, createRunResult, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue, shipControlStateFor };
+export { type RiddleProofShipControlState, type TerminalMetadataInput, applyShipControlState, applyTerminalMetadata, compactRecord, createRunResult, isProtectedFinalStatus, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue, shipControlStateFor };

package/dist/result.d.ts

@@ -1,6 +1,7 @@
 import { RiddleProofRunState, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofEvidenceBundle, RiddleProofRunResult } from './types.js';
 
 declare function isTerminalStatus(status: RiddleProofStatus): boolean;
+declare function isProtectedFinalStatus(status: unknown): boolean;
 declare function isSuccessfulStatus(status: RiddleProofStatus): boolean;
 declare function compactRecord<T extends Record<string, unknown>>(input: T): Partial<T>;
 declare function nonEmptyString(value: unknown): string | undefined;
@@ -36,4 +37,4 @@ declare function createRunResult(input: {
     raw?: Record<string, unknown>;
 }): RiddleProofRunResult;
 
-export { type RiddleProofShipControlState, type TerminalMetadataInput, applyShipControlState, applyTerminalMetadata, compactRecord, createRunResult, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue, shipControlStateFor };
+export { type RiddleProofShipControlState, type TerminalMetadataInput, applyShipControlState, applyTerminalMetadata, compactRecord, createRunResult, isProtectedFinalStatus, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue, shipControlStateFor };

package/dist/result.js

@@ -3,19 +3,21 @@ import {
   applyTerminalMetadata,
   compactRecord,
   createRunResult,
+  isProtectedFinalStatus,
   isSuccessfulStatus,
   isTerminalStatus,
   nonEmptyString,
   normalizeTerminalMetadata,
   recordValue,
   shipControlStateFor
-} from "./chunk-W44XEGYW.js";
+} from "./chunk-CUBYSWZT.js";
 import "./chunk-MLKGABMK.js";
 export {
   applyShipControlState,
   applyTerminalMetadata,
   compactRecord,
   createRunResult,
+  isProtectedFinalStatus,
   isSuccessfulStatus,
   isTerminalStatus,
   nonEmptyString,

package/dist/run-card.js

@@ -1,9 +1,9 @@
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "./chunk-NYRMPWJB.js";
-import "./chunk-QUK3SG24.js";
-import "./chunk-W44XEGYW.js";
+} from "./chunk-KNPCWWF3.js";
+import "./chunk-MOTQNIZX.js";
+import "./chunk-CUBYSWZT.js";
 import "./chunk-MLKGABMK.js";
 export {
   RIDDLE_PROOF_RUN_CARD_VERSION,

package/dist/runner.cjs

@@ -35,6 +35,9 @@ __export(runner_exports, {
 module.exports = __toCommonJS(runner_exports);
 
 // src/result.ts
+function isProtectedFinalStatus(status) {
+  return status === "ready_to_ship" || status === "shipped" || status === "completed";
+}
 function isSuccessfulStatus(status) {
   return status !== "blocked" && status !== "failed";
 }
@@ -149,6 +152,7 @@ function createRunResult(input) {
   const state = input.metadata ? applyTerminalMetadata(input.state, input.metadata) : input.state;
   state.status = status;
   state.ok = ok;
+  if (isProtectedFinalStatus(status)) state.finalized = true;
   applyShipControlState(state, { status, raw: input.raw });
   return compactRecord({
     ok,
@@ -348,6 +352,7 @@ function appendStageHeartbeat(state, input) {
 function setRunStatus(state, status, at = timestamp()) {
   state.status = status;
   state.ok = status !== "blocked" && status !== "failed";
+  if (isProtectedFinalStatus(status)) state.finalized = true;
   state.updated_at = at;
   return state;
 }

package/dist/runner.js

@@ -1,11 +1,11 @@
 import {
   runRiddleProof
-} from "./chunk-F65S5LT2.js";
-import "./chunk-Q5GYD5RG.js";
-import "./chunk-NYRMPWJB.js";
+} from "./chunk-JLOZTVXU.js";
+import "./chunk-UZIX7M7D.js";
+import "./chunk-KNPCWWF3.js";
 import "./chunk-EKZXU6MU.js";
-import "./chunk-QUK3SG24.js";
-import "./chunk-W44XEGYW.js";
+import "./chunk-MOTQNIZX.js";
+import "./chunk-CUBYSWZT.js";
 import "./chunk-MLKGABMK.js";
 export {
   runRiddleProof

package/dist/spec/checkpoint.cjs

@@ -759,6 +759,8 @@ function checkpointSummaryFromState(state, engineStatePath) {
   const packets = history.filter((entry) => entry.packet);
   const responses = acceptedCheckpointResponseEntries(state);
   const duplicateResponses = events.filter((event) => event.kind === "checkpoint.response.duplicate");
+  const rejectedResponses = events.filter((event) => event.kind === "checkpoint.response.rejected");
+  const ignoredResponses = events.filter((event) => event.kind === "checkpoint.response.ignored");
   const latestPacketEntry = [...history].reverse().find((entry) => entry.packet);
   const latestResponseEntry = [...responses].reverse().find((entry) => entry.response);
   const latestPacket = state.checkpoint_packet || latestPacketEntry?.packet;
@@ -774,6 +776,8 @@ function checkpointSummaryFromState(state, engineStatePath) {
     packet_count: packets.length,
     response_count: responses.length,
     duplicate_response_count: duplicateResponses.length,
+    rejected_response_count: rejectedResponses.length,
+    ignored_response_count: ignoredResponses.length,
     latest_checkpoint: state.checkpoint_packet?.checkpoint || latestResponse?.checkpoint || state.last_checkpoint || null,
     latest_stage: state.checkpoint_packet?.stage || latestResponse?.continue_with_stage || state.current_stage || null,
     latest_kind: state.checkpoint_packet?.kind || latestPacket?.kind || null,

package/dist/spec/checkpoint.js

@@ -14,8 +14,8 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "../chunk-QUK3SG24.js";
-import "../chunk-W44XEGYW.js";
+} from "../chunk-MOTQNIZX.js";
+import "../chunk-CUBYSWZT.js";
 import "../chunk-MLKGABMK.js";
 export {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,

package/dist/spec/index.cjs

@@ -54,6 +54,7 @@ __export(spec_exports, {
   createRunState: () => createRunState,
   createRunStatusSnapshot: () => createRunStatusSnapshot,
   isDuplicateCheckpointResponse: () => isDuplicateCheckpointResponse,
+  isProtectedFinalStatus: () => isProtectedFinalStatus,
   isSuccessfulStatus: () => isSuccessfulStatus,
   isTerminalStatus: () => isTerminalStatus,
   nonEmptyString: () => nonEmptyString,
@@ -74,6 +75,9 @@ module.exports = __toCommonJS(spec_exports);
 function isTerminalStatus(status) {
   return status === "blocked" || status === "failed" || status === "ready_to_ship" || status === "shipped" || status === "completed";
 }
+function isProtectedFinalStatus(status) {
+  return status === "ready_to_ship" || status === "shipped" || status === "completed";
+}
 function isSuccessfulStatus(status) {
   return status !== "blocked" && status !== "failed";
 }
@@ -287,6 +291,7 @@ function createRunResult(input) {
   const state = input.metadata ? applyTerminalMetadata(input.state, input.metadata) : input.state;
   state.status = status;
   state.ok = ok;
+  if (isProtectedFinalStatus(status)) state.finalized = true;
   applyShipControlState(state, { status, raw: input.raw });
   return compactRecord({
     ok,
@@ -1034,6 +1039,8 @@ function checkpointSummaryFromState(state, engineStatePath) {
   const packets = history.filter((entry) => entry.packet);
   const responses = acceptedCheckpointResponseEntries(state);
   const duplicateResponses = events.filter((event) => event.kind === "checkpoint.response.duplicate");
+  const rejectedResponses = events.filter((event) => event.kind === "checkpoint.response.rejected");
+  const ignoredResponses = events.filter((event) => event.kind === "checkpoint.response.ignored");
   const latestPacketEntry = [...history].reverse().find((entry) => entry.packet);
   const latestResponseEntry = [...responses].reverse().find((entry) => entry.response);
   const latestPacket = state.checkpoint_packet || latestPacketEntry?.packet;
@@ -1049,6 +1056,8 @@ function checkpointSummaryFromState(state, engineStatePath) {
     packet_count: packets.length,
     response_count: responses.length,
     duplicate_response_count: duplicateResponses.length,
+    rejected_response_count: rejectedResponses.length,
+    ignored_response_count: ignoredResponses.length,
     latest_checkpoint: state.checkpoint_packet?.checkpoint || latestResponse?.checkpoint || state.last_checkpoint || null,
     latest_stage: state.checkpoint_packet?.stage || latestResponse?.continue_with_stage || state.current_stage || null,
     latest_kind: state.checkpoint_packet?.kind || latestPacket?.kind || null,
@@ -1577,6 +1586,7 @@ function createRunStatusSnapshot(state, at = timestamp2()) {
 function setRunStatus(state, status, at = timestamp2()) {
   state.status = status;
   state.ok = status !== "blocked" && status !== "failed";
+  if (isProtectedFinalStatus(status)) state.finalized = true;
   state.updated_at = at;
   return state;
 }
@@ -1623,6 +1633,7 @@ function applyPrLifecycleState(state, input, at = timestamp2()) {
   createRunState,
   createRunStatusSnapshot,
   isDuplicateCheckpointResponse,
+  isProtectedFinalStatus,
   isSuccessfulStatus,
   isTerminalStatus,
   nonEmptyString,

package/dist/spec/index.d.cts

@@ -1,5 +1,5 @@
 export { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofCheckpointArtifact, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, RiddleProofCheckpointRole, RiddleProofCheckpointRoutingHint, RiddleProofCheckpointSummary, RiddleProofCheckpointVisibility, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofProofContract, RiddleProofRunCard, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatePaths, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofViewportCapture, RiddleProofViewportMatrixStatus, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter } from '../types.cjs';
-export { RiddleProofShipControlState, TerminalMetadataInput, applyShipControlState, applyTerminalMetadata, compactRecord, createRunResult, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue, shipControlStateFor } from '../result.cjs';
+export { RiddleProofShipControlState, TerminalMetadataInput, applyShipControlState, applyTerminalMetadata, compactRecord, createRunResult, isProtectedFinalStatus, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue, shipControlStateFor } from '../result.cjs';
 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';

package/dist/spec/index.d.ts

@@ -1,5 +1,5 @@
 export { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofCheckpointArtifact, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, RiddleProofCheckpointRole, RiddleProofCheckpointRoutingHint, RiddleProofCheckpointSummary, RiddleProofCheckpointVisibility, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofProofContract, RiddleProofRunCard, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatePaths, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofViewportCapture, RiddleProofViewportMatrixStatus, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter } from '../types.js';
-export { RiddleProofShipControlState, TerminalMetadataInput, applyShipControlState, applyTerminalMetadata, compactRecord, createRunResult, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue, shipControlStateFor } from '../result.js';
+export { RiddleProofShipControlState, TerminalMetadataInput, applyShipControlState, applyTerminalMetadata, compactRecord, createRunResult, isProtectedFinalStatus, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue, shipControlStateFor } from '../result.js';
 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';

package/dist/spec/index.js

@@ -10,11 +10,11 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "../chunk-Q5GYD5RG.js";
+} from "../chunk-UZIX7M7D.js";
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "../chunk-NYRMPWJB.js";
+} from "../chunk-KNPCWWF3.js";
 import {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
@@ -31,19 +31,20 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "../chunk-QUK3SG24.js";
+} from "../chunk-MOTQNIZX.js";
 import {
   applyShipControlState,
   applyTerminalMetadata,
   compactRecord,
   createRunResult,
+  isProtectedFinalStatus,
   isSuccessfulStatus,
   isTerminalStatus,
   nonEmptyString,
   normalizeTerminalMetadata,
   recordValue,
   shipControlStateFor
-} from "../chunk-W44XEGYW.js";
+} from "../chunk-CUBYSWZT.js";
 import "../chunk-MLKGABMK.js";
 export {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
@@ -70,6 +71,7 @@ export {
   createRunState,
   createRunStatusSnapshot,
   isDuplicateCheckpointResponse,
+  isProtectedFinalStatus,
   isSuccessfulStatus,
   isTerminalStatus,
   nonEmptyString,

package/dist/spec/result.cjs

@@ -24,6 +24,7 @@ __export(result_exports, {
   applyTerminalMetadata: () => applyTerminalMetadata,
   compactRecord: () => compactRecord,
   createRunResult: () => createRunResult,
+  isProtectedFinalStatus: () => isProtectedFinalStatus,
   isSuccessfulStatus: () => isSuccessfulStatus,
   isTerminalStatus: () => isTerminalStatus,
   nonEmptyString: () => nonEmptyString,
@@ -37,6 +38,9 @@ module.exports = __toCommonJS(result_exports);
 function isTerminalStatus(status) {
   return status === "blocked" || status === "failed" || status === "ready_to_ship" || status === "shipped" || status === "completed";
 }
+function isProtectedFinalStatus(status) {
+  return status === "ready_to_ship" || status === "shipped" || status === "completed";
+}
 function isSuccessfulStatus(status) {
   return status !== "blocked" && status !== "failed";
 }
@@ -250,6 +254,7 @@ function createRunResult(input) {
   const state = input.metadata ? applyTerminalMetadata(input.state, input.metadata) : input.state;
   state.status = status;
   state.ok = ok;
+  if (isProtectedFinalStatus(status)) state.finalized = true;
   applyShipControlState(state, { status, raw: input.raw });
   return compactRecord({
     ok,
@@ -304,6 +309,7 @@ function createRunResult(input) {
   applyTerminalMetadata,
   compactRecord,
   createRunResult,
+  isProtectedFinalStatus,
   isSuccessfulStatus,
   isTerminalStatus,
   nonEmptyString,

package/dist/spec/result.d.cts

@@ -1,2 +1,2 @@
-export { RiddleProofShipControlState, TerminalMetadataInput, applyShipControlState, applyTerminalMetadata, compactRecord, createRunResult, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue, shipControlStateFor } from '../result.cjs';
+export { RiddleProofShipControlState, TerminalMetadataInput, applyShipControlState, applyTerminalMetadata, compactRecord, createRunResult, isProtectedFinalStatus, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue, shipControlStateFor } from '../result.cjs';
 import '../types.cjs';