xoonya 1.12.0 → 1.14.0

package/README.md

@@ -134,10 +134,19 @@ Primary proof-model routes:
 - `POST /v1/proof-center/result-package-handoff/review/summary`
 - `POST /v1/proof-center/result-package-handoff/review/extension-readiness`
 - `POST /v1/proof-center/result-package-handoff/review/extension-boundary`
+- `POST /v1/proof-center/result-package-handoff/review/default-continuation`
+- `POST /v1/proof-center/result-package-handoff/review/default-boundary`
+- `POST /v1/proof-center/result-package-handoff/review/contract-summary`
+- `POST /v1/proof-center/result-package-handoff/review/contract-boundary`
+- `POST /v1/proof-center/result-package-handoff/review/contract-carry`
 - `POST /v1/proof-center/result-package-handoff/run`
 
 The result-package review surface now also returns a durability summary so the preserved execution, economic, and proof-facing context is easier to inspect before proof-native execution.
 It also now exposes an extension-readiness summary so the stable post-review proof boundary is easier to treat as a reusable seam.
+It now also exposes a reusable-default continuation summary so that same stable post-review boundary is easier to reuse as a standard proof-side default path.
+It now also exposes a compact reusable-default boundary summary so the proof-side default seam can be treated as a stable public boundary, not just a recommended path.
+It now also exposes composition-contract summaries so the proof-side default seam can be treated more clearly as a stable public contract across review and run.
+It now also exposes compact contract-carry summaries so the stable proof-side contract context is easier to inspect directly without expanding proof scope.
 - `POST /v1/events/canonicalize`
 - `POST /v1/events/hash`
 - `POST /v1/receipts/emit`

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "xoonya",
-  "version": "1.12.0",
+  "version": "1.14.0",
   "description": "Deterministic proof SDK for canonical events, receipts, proof bundles, and verification.",
   "main": "index.js",
   "type": "commonjs",

package/proof_sdk.js

@@ -1406,6 +1406,114 @@ function summarizeReviewExtensionBoundary(input) {
   };
 }
 
+function summarizeReviewReusableDefaultContinuation(input) {
+  const review = reviewInteractionResultPackageHandoff(input);
+  const durability = review.durability_summary && typeof review.durability_summary === "object"
+    ? review.durability_summary
+    : {};
+  const preserved = durability.preserved_context && typeof durability.preserved_context === "object"
+    ? durability.preserved_context
+    : {};
+  return {
+    ok: review.ok === true,
+    handoff_kind: review.handoff_kind || null,
+    result_package_ref: review.handoff && review.handoff.result_package_ref ? review.handoff.result_package_ref : null,
+    review_ref: durability.review_ref || null,
+    reusable_default_ref: durability.review_ref ? `default.${durability.review_ref}` : null,
+    stable_default_context: {
+      execution_context_ready: Boolean(preserved.execution_result && preserved.execution_result.committed_ref),
+      economic_context_ready: Boolean(
+        preserved.economic_state &&
+        (preserved.economic_state.payment_protocol || preserved.economic_state.settlement_mode || preserved.economic_state.treasury_destination_id)
+      ),
+      proof_context_ready: Boolean(preserved.proof_handoff && preserved.proof_handoff.source_ref)
+    },
+    default_followthrough: {
+      review_summary_surface: "/v1/proof-center/result-package-handoff/review/summary",
+      run_surface: durability.next_surface || review.next_surface || null,
+      reusable_by_default: durability.run_ready === true
+    }
+  };
+}
+
+function summarizeReviewReusableDefaultBoundary(input) {
+  const reusableDefault = summarizeReviewReusableDefaultContinuation(input);
+  return {
+    ok: reusableDefault.ok === true,
+    handoff_kind: reusableDefault.handoff_kind || null,
+    result_package_ref: reusableDefault.result_package_ref || null,
+    reusable_default_ref: reusableDefault.reusable_default_ref || null,
+    stable_boundary_ids: [
+      "review_default_continuation",
+      "review_summary",
+      "proof_run"
+    ],
+    reusable_by_default: reusableDefault.default_followthrough && reusableDefault.default_followthrough.reusable_by_default === true,
+    next_surface: reusableDefault.default_followthrough && reusableDefault.default_followthrough.run_surface
+      ? reusableDefault.default_followthrough.run_surface
+      : null
+  };
+}
+
+function summarizeReviewCompositionContract(input) {
+  const reusableDefault = summarizeReviewReusableDefaultContinuation(input);
+  return {
+    ok: reusableDefault.ok === true,
+    handoff_kind: reusableDefault.handoff_kind || null,
+    result_package_ref: reusableDefault.result_package_ref || null,
+    reusable_default_ref: reusableDefault.reusable_default_ref || null,
+    composition_contract_ref: reusableDefault.reusable_default_ref
+      ? `contract.${reusableDefault.reusable_default_ref}`
+      : null,
+    public_contract_ids: [
+      "review_default_continuation",
+      "review_summary",
+      "proof_run"
+    ],
+    stable_contract_context: {
+      execution_context_ready: reusableDefault.stable_default_context && reusableDefault.stable_default_context.execution_context_ready === true,
+      economic_context_ready: reusableDefault.stable_default_context && reusableDefault.stable_default_context.economic_context_ready === true,
+      proof_context_ready: reusableDefault.stable_default_context && reusableDefault.stable_default_context.proof_context_ready === true
+    },
+    helper_only_summary_ids: [
+      "review_extension_readiness",
+      "review_extension_boundary"
+    ],
+    contract_ready: reusableDefault.default_followthrough && reusableDefault.default_followthrough.reusable_by_default === true,
+    next_surface: reusableDefault.default_followthrough && reusableDefault.default_followthrough.run_surface
+      ? reusableDefault.default_followthrough.run_surface
+      : null
+  };
+}
+
+function summarizeReviewCompositionContractBoundary(input) {
+  const contract = summarizeReviewCompositionContract(input);
+  return {
+    ok: contract.ok === true,
+    handoff_kind: contract.handoff_kind || null,
+    result_package_ref: contract.result_package_ref || null,
+    composition_contract_ref: contract.composition_contract_ref || null,
+    stable_boundary_ids: [
+      "review_contract_summary",
+      "proof_run"
+    ],
+    contract_ready: contract.contract_ready === true,
+    next_surface: contract.next_surface || null
+  };
+}
+
+function summarizeReviewCompositionContractCarry(input) {
+  const contract = summarizeReviewCompositionContract(input);
+  return {
+    ok: contract.ok === true,
+    composition_contract_ref: contract.composition_contract_ref || null,
+    stable_contract_carry: contract.stable_contract_context || {},
+    public_contract_ids: Array.isArray(contract.public_contract_ids) ? contract.public_contract_ids : [],
+    contract_ready: contract.contract_ready === true,
+    next_surface: contract.next_surface || null
+  };
+}
+
 function runDefaultProofLoop(loopRef, input) {
   const loop = getDefaultProofLoop(loopRef);
   if (!loop) {
@@ -1464,6 +1572,11 @@ module.exports = {
   summarizeReviewedInteractionResultPackageHandoff,
   summarizeReviewExtensionReadiness,
   summarizeReviewExtensionBoundary,
+  summarizeReviewReusableDefaultContinuation,
+  summarizeReviewReusableDefaultBoundary,
+  summarizeReviewCompositionContract,
+  summarizeReviewCompositionContractBoundary,
+  summarizeReviewCompositionContractCarry,
   runInteractionResultPackageHandoff,
   runInteractionSpineProofHandoff,
   runTransactionProofHandoff,

package/server.js

@@ -226,6 +226,61 @@ async function routeRequest(req, res) {
     return;
   }
 
+  if (req.method === 'POST' && url.pathname === '/v1/proof-center/result-package-handoff/review/default-continuation') {
+    try {
+      const body = await readJsonBody(req);
+      const result = proofSdk.summarizeReviewReusableDefaultContinuation(body);
+      sendJson(res, 200, result);
+    } catch (error) {
+      sendJson(res, 400, { ok: false, reason: error.message });
+    }
+    return;
+  }
+
+  if (req.method === 'POST' && url.pathname === '/v1/proof-center/result-package-handoff/review/default-boundary') {
+    try {
+      const body = await readJsonBody(req);
+      const result = proofSdk.summarizeReviewReusableDefaultBoundary(body);
+      sendJson(res, 200, result);
+    } catch (error) {
+      sendJson(res, 400, { ok: false, reason: error.message });
+    }
+    return;
+  }
+
+  if (req.method === 'POST' && url.pathname === '/v1/proof-center/result-package-handoff/review/contract-summary') {
+    try {
+      const body = await readJsonBody(req);
+      const result = proofSdk.summarizeReviewCompositionContract(body);
+      sendJson(res, 200, result);
+    } catch (error) {
+      sendJson(res, 400, { ok: false, reason: error.message });
+    }
+    return;
+  }
+
+  if (req.method === 'POST' && url.pathname === '/v1/proof-center/result-package-handoff/review/contract-boundary') {
+    try {
+      const body = await readJsonBody(req);
+      const result = proofSdk.summarizeReviewCompositionContractBoundary(body);
+      sendJson(res, 200, result);
+    } catch (error) {
+      sendJson(res, 400, { ok: false, reason: error.message });
+    }
+    return;
+  }
+
+  if (req.method === 'POST' && url.pathname === '/v1/proof-center/result-package-handoff/review/contract-carry') {
+    try {
+      const body = await readJsonBody(req);
+      const result = proofSdk.summarizeReviewCompositionContractCarry(body);
+      sendJson(res, 200, result);
+    } catch (error) {
+      sendJson(res, 400, { ok: false, reason: error.message });
+    }
+    return;
+  }
+
   if (req.method === 'POST' && url.pathname === '/v1/receipts/verify') {
     try {
       const body = await readJsonBody(req);