@riddledc/riddle-proof 0.8.57 → 0.8.58

package/dist/public-state.d.ts

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

package/dist/public-state.js

@@ -0,0 +1,7 @@
+import {
+  summarizeRiddleProofPublicState
+} from "./chunk-KG64Y5MC.js";
+import "./chunk-MLKGABMK.js";
+export {
+  summarizeRiddleProofPublicState
+};

package/dist/spec/index.cjs

@@ -67,7 +67,8 @@ __export(spec_exports, {
   recordValue: () => recordValue,
   setRunStatus: () => setRunStatus,
   shipControlStateFor: () => shipControlStateFor,
-  statePathsForRunState: () => statePathsForRunState
+  statePathsForRunState: () => statePathsForRunState,
+  summarizeRiddleProofPublicState: () => summarizeRiddleProofPublicState
 });
 module.exports = __toCommonJS(spec_exports);
 
@@ -1607,6 +1608,158 @@ function applyPrLifecycleState(state, input, at = timestamp2()) {
   state.updated_at = at;
   return state;
 }
+
+// src/public-state.ts
+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 = {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
@@ -1646,5 +1799,6 @@ function applyPrLifecycleState(state, input, at = timestamp2()) {
   recordValue,
   setRunStatus,
   shipControlStateFor,
-  statePathsForRunState
+  statePathsForRunState,
+  summarizeRiddleProofPublicState
 });

package/dist/spec/index.d.cts

@@ -3,3 +3,4 @@ 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';

package/dist/spec/index.d.ts

@@ -3,3 +3,4 @@ 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';

package/dist/spec/index.js

@@ -1,4 +1,7 @@
 import "../chunk-6F4PWJZI.js";
+import {
+  summarizeRiddleProofPublicState
+} from "../chunk-KG64Y5MC.js";
 import {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
@@ -84,5 +87,6 @@ export {
   recordValue,
   setRunStatus,
   shipControlStateFor,
-  statePathsForRunState
+  statePathsForRunState,
+  summarizeRiddleProofPublicState
 };

package/dist/spec/public-state.cjs

@@ -0,0 +1,181 @@
+"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/spec/public-state.ts
+var public_state_exports = {};
+__export(public_state_exports, {
+  summarizeRiddleProofPublicState: () => summarizeRiddleProofPublicState
+});
+module.exports = __toCommonJS(public_state_exports);
+
+// src/public-state.ts
+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/spec/public-state.d.cts

@@ -0,0 +1 @@
+export { RiddleProofPublicCheckpointSummary, RiddleProofPublicPolicyState, RiddleProofPublicStateSummary, summarizeRiddleProofPublicState } from '../public-state.cjs';

package/dist/spec/public-state.d.ts

@@ -0,0 +1 @@
+export { RiddleProofPublicCheckpointSummary, RiddleProofPublicPolicyState, RiddleProofPublicStateSummary, summarizeRiddleProofPublicState } from '../public-state.js';

package/dist/spec/public-state.js

@@ -0,0 +1,7 @@
+import {
+  summarizeRiddleProofPublicState
+} from "../chunk-KG64Y5MC.js";
+import "../chunk-MLKGABMK.js";
+export {
+  summarizeRiddleProofPublicState
+};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@riddledc/riddle-proof",
-  "version": "0.8.57",
+  "version": "0.8.58",
   "description": "Reusable Riddle Proof contracts and helpers for evidence-backed agent changes.",
   "license": "MIT",
   "author": "RiddleDC",
@@ -44,6 +44,11 @@
       "import": "./dist/run-card.js",
       "require": "./dist/run-card.cjs"
     },
+    "./public-state": {
+      "types": "./dist/public-state.d.ts",
+      "import": "./dist/public-state.js",
+      "require": "./dist/public-state.cjs"
+    },
     "./runner": {
       "types": "./dist/runner.d.ts",
       "import": "./dist/runner.js",
@@ -84,6 +89,11 @@
       "import": "./dist/spec/run-card.js",
       "require": "./dist/spec/run-card.cjs"
     },
+    "./spec/public-state": {
+      "types": "./dist/spec/public-state.d.ts",
+      "import": "./dist/spec/public-state.js",
+      "require": "./dist/spec/public-state.cjs"
+    },
     "./codex-exec-agent": {
       "types": "./dist/codex-exec-agent.d.ts",
       "import": "./dist/codex-exec-agent.js",
@@ -229,7 +239,7 @@
     "typescript": "^5.4.5"
   },
   "scripts": {
-    "build": "npm --workspace @riddledc/riddle-proof-app-contract run build --if-present && tsup src/index.ts src/types.ts src/result.ts src/state.ts src/checkpoint.ts src/run-card.ts src/runner.ts src/engine-harness.ts src/codex-exec-agent.ts src/local-agent.ts src/cli.ts src/cli/index.ts src/diagnostics.ts src/proof-session.ts src/playability.ts src/basic-gameplay.ts src/profile.ts src/profile/index.ts src/pr-comment.ts src/openclaw.ts src/proof-run-core.ts src/proof-run-engine.ts src/riddle-client.ts src/runtime/riddle-client.ts src/spec/index.ts src/spec/types.ts src/spec/result.ts src/spec/state.ts src/spec/checkpoint.ts src/spec/run-card.ts src/runtime/index.ts src/app-contract/index.ts src/advanced/index.ts src/advanced/runner.ts src/advanced/engine-harness.ts src/advanced/proof-run-core.ts src/advanced/proof-run-engine.ts src/adapters/openclaw.ts src/adapters/local-agent.ts src/adapters/codex-exec-agent.ts src/adapters/codex.ts --format cjs,esm --dts --out-dir dist --clean",
+    "build": "npm --workspace @riddledc/riddle-proof-app-contract run build --if-present && tsup src/index.ts src/types.ts src/result.ts src/state.ts src/checkpoint.ts src/run-card.ts src/public-state.ts src/runner.ts src/engine-harness.ts src/codex-exec-agent.ts src/local-agent.ts src/cli.ts src/cli/index.ts src/diagnostics.ts src/proof-session.ts src/playability.ts src/basic-gameplay.ts src/profile.ts src/profile/index.ts src/pr-comment.ts src/openclaw.ts src/proof-run-core.ts src/proof-run-engine.ts src/riddle-client.ts src/runtime/riddle-client.ts src/spec/index.ts src/spec/types.ts src/spec/result.ts src/spec/state.ts src/spec/checkpoint.ts src/spec/run-card.ts src/spec/public-state.ts src/runtime/index.ts src/app-contract/index.ts src/advanced/index.ts src/advanced/runner.ts src/advanced/engine-harness.ts src/advanced/proof-run-core.ts src/advanced/proof-run-engine.ts src/adapters/openclaw.ts src/adapters/local-agent.ts src/adapters/codex-exec-agent.ts src/adapters/codex.ts --format cjs,esm --dts --out-dir dist --clean",
     "clean": "rm -rf dist",
     "lint": "echo 'lint: (not configured)'",
     "test": "npm run build && node test.js && node proof-run.test.js && node formal-conformance.test.js && node trust-boundary.test.js && node regression-packs.test.js && python3 runtime/tests/trust_boundary_regression.py && python3 runtime/tests/ship_artifact_publication.py && (python3 runtime/tests/recon_verify_smoke.py >/tmp/riddle-proof-recon-verify-smoke.json || (tail -120 /tmp/riddle-proof-recon-verify-smoke.json; exit 1))"