xoonya 1.19.0 → 1.20.0

package/README.md

@@ -153,6 +153,9 @@ Primary proof-model routes:
 - `POST /v1/proof-center/result-package-handoff/review/execution-package`
 - `POST /v1/proof-center/result-package-handoff/review/execution-package-carry`
 - `POST /v1/proof-center/result-package-handoff/review/execution-package-run`
+- `POST /v1/proof-center/result-package-handoff/review/execution-contract`
+- `POST /v1/proof-center/result-package-handoff/review/execution-contract-carry`
+- `POST /v1/proof-center/result-package-handoff/review/execution-contract-run`
 - `POST /v1/proof-center/result-package-handoff/review/handoff-run`
 - `POST /v1/proof-center/result-package-handoff/run`
 
@@ -186,6 +189,15 @@ The current `1.19.0` line starts turning that adapter-usable handoff package int
 - clearer execution-package ids across package review, carry, and proof-native run posture
 
 This is intended to make the proof-side continuation path easier to execute against directly as a stable public package instead of only a package posture.
+
+The current `1.20.0` line starts turning that adapter-ready execution package into a clearer adapter-operable execution contract:
+
+- proof-side execution-contract posture on top of the execution-package path
+- compact execution-contract carry for direct operable proof-side carry
+- proof-side execution-contract run posture for direct default proof-native operation carry
+- clearer execution-contract ids across review, carry, and proof-native run posture
+
+This is intended to make the proof-side continuation path easier to operate against repeatedly as a stable public contract instead of only a package that is execution-ready by posture.
 - `POST /v1/events/canonicalize`
 - `POST /v1/events/hash`
 - `POST /v1/receipts/emit`

package/package.json

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

package/proof_sdk.js

@@ -1714,6 +1714,45 @@ function summarizeReviewExecutionPackageRun(input) {
   };
 }
 
+function summarizeReviewExecutionContract(input) {
+  const executionPackage = summarizeReviewExecutionPackageRun(input);
+  return {
+    ok: executionPackage.ok === true,
+    execution_package_ref: executionPackage.execution_package_ref || null,
+    execution_contract_ref: executionPackage.execution_package_ref ? `contract.${executionPackage.execution_package_ref}` : null,
+    accepted_execution_contract_ids: Array.isArray(executionPackage.accepted_execution_package_ids) ? executionPackage.accepted_execution_package_ids : [],
+    adapter_operable: executionPackage.execution_ready_by_default === true,
+    run_surface: executionPackage.run_surface || null,
+    run_path_ids: Array.isArray(executionPackage.default_run_path_ids) ? executionPackage.default_run_path_ids : []
+  };
+}
+
+function summarizeReviewExecutionContractCarry(input) {
+  const executionContract = summarizeReviewExecutionContract(input);
+  return {
+    ok: executionContract.ok === true,
+    execution_contract_ref: executionContract.execution_contract_ref || null,
+    accepted_execution_contract_ids: Array.isArray(executionContract.accepted_execution_contract_ids) ? executionContract.accepted_execution_contract_ids : [],
+    execution_contract_carry: {
+      run_surface: executionContract.run_surface || null,
+      run_path_ids: Array.isArray(executionContract.run_path_ids) ? executionContract.run_path_ids : []
+    },
+    adapter_operable: executionContract.adapter_operable === true
+  };
+}
+
+function summarizeReviewExecutionContractRun(input) {
+  const executionContract = summarizeReviewExecutionContract(input);
+  return {
+    ok: executionContract.ok === true,
+    execution_contract_ref: executionContract.execution_contract_ref || null,
+    accepted_execution_contract_ids: Array.isArray(executionContract.accepted_execution_contract_ids) ? executionContract.accepted_execution_contract_ids : [],
+    execution_operable_by_default: executionContract.adapter_operable === true,
+    run_surface: executionContract.run_surface || null,
+    default_run_path_ids: Array.isArray(executionContract.run_path_ids) ? executionContract.run_path_ids : []
+  };
+}
+
 function runDefaultProofLoop(loopRef, input) {
   const loop = getDefaultProofLoop(loopRef);
   if (!loop) {
@@ -1791,6 +1830,9 @@ module.exports = {
   summarizeReviewExecutionPackage,
   summarizeReviewExecutionPackageCarry,
   summarizeReviewExecutionPackageRun,
+  summarizeReviewExecutionContract,
+  summarizeReviewExecutionContractCarry,
+  summarizeReviewExecutionContractRun,
   summarizeReviewHandoffRun,
   runInteractionResultPackageHandoff,
   runInteractionSpineProofHandoff,

package/server.js

@@ -435,6 +435,39 @@ async function routeRequest(req, res) {
     return;
   }
 
+  if (req.method === 'POST' && url.pathname === '/v1/proof-center/result-package-handoff/review/execution-contract') {
+    try {
+      const body = await readJsonBody(req);
+      const result = proofSdk.summarizeReviewExecutionContract(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/execution-contract-carry') {
+    try {
+      const body = await readJsonBody(req);
+      const result = proofSdk.summarizeReviewExecutionContractCarry(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/execution-contract-run') {
+    try {
+      const body = await readJsonBody(req);
+      const result = proofSdk.summarizeReviewExecutionContractRun(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/handoff-run') {
     try {
       const body = await readJsonBody(req);