xoonya 1.13.0 → 1.14.0

package/README.md

@@ -136,12 +136,17 @@ Primary proof-model routes:
 - `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.13.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

@@ -1455,6 +1455,65 @@ function summarizeReviewReusableDefaultBoundary(input) {
   };
 }
 
+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) {
@@ -1515,6 +1574,9 @@ module.exports = {
   summarizeReviewExtensionBoundary,
   summarizeReviewReusableDefaultContinuation,
   summarizeReviewReusableDefaultBoundary,
+  summarizeReviewCompositionContract,
+  summarizeReviewCompositionContractBoundary,
+  summarizeReviewCompositionContractCarry,
   runInteractionResultPackageHandoff,
   runInteractionSpineProofHandoff,
   runTransactionProofHandoff,

package/server.js

@@ -248,6 +248,39 @@ async function routeRequest(req, res) {
     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);