@wowok/agent-mcp 2.3.12 → 2.3.14

package/dist/schema/call/handler.d.ts

@@ -1,6 +1,7 @@
 import type { CallEnv } from "@wowok/wowok";
 import type { CallOutput } from "./base.js";
-export declare function handleCallResult(result: any): {
+import { type SemanticContext } from "./semantic.js";
+export declare function handleCallResult(result: any, context?: SemanticContext): {
     content: any[];
     structuredContent: CallOutput;
 };

package/dist/schema/call/handler.js

@@ -1,4 +1,5 @@
 import { ResponseData, LocalMark, enrichMoveError } from "@wowok/wowok";
+import { classifyError, buildSemantic } from "./semantic.js";
 function convertBigInts(obj) {
     if (typeof obj === "bigint")
         return obj.toString();
@@ -12,14 +13,67 @@ function convertBigInts(obj) {
     }
     return obj;
 }
-export function handleCallResult(result) {
+function runHarnessLoops(context, output, errorCode) {
+    if (!context?.harness || !context?.expected)
+        return undefined;
+    const harness = context.harness;
+    const expected = context.expected;
+    const actualSemantic = output.semantic;
+    const verifyReport = harness.verify({
+        expected,
+        actual: {
+            result_type: output.result.type,
+            semantic: actualSemantic,
+            error_code: output.result.type === "error" ? output.result.error_code : undefined,
+        },
+    });
+    let recovery;
+    const needRecovery = verifyReport.status !== "pass" || output.result.type === "error" || errorCode;
+    if (needRecovery) {
+        const ec = errorCode
+            || (output.result.type === "error" ? output.result.error_code : undefined)
+            || "unknown";
+        recovery = harness.recover(ec, context.operation_id || expected.operation, {
+            operation_type: context.operation_type,
+            data: context.data,
+        });
+    }
+    return {
+        verify: {
+            status: verifyReport.status,
+            mismatches: verifyReport.mismatches.map(m => convertBigInts(m)),
+            summary: verifyReport.summary,
+            timestamp: verifyReport.timestamp,
+        },
+        recovery: recovery ? {
+            strategy: recovery.strategy,
+            should_retry: recovery.should_retry,
+            adjusted_params: recovery.adjusted_params,
+            user_prompt: recovery.user_prompt,
+            max_attempts: recovery.max_attempts,
+            current_attempt: recovery.current_attempt,
+            detail: recovery.detail,
+        } : undefined,
+    };
+}
+export function handleCallResult(result, context) {
     const safeResult = convertBigInts(result);
     if (safeResult && "error" in safeResult) {
         const enrichedError = enrichMoveError(safeResult.error);
+        const classified = classifyError(enrichedError);
         const output = {
             message: `Error: ${enrichedError}`,
-            result: { type: "error", error: enrichedError },
+            result: {
+                type: "error",
+                error: enrichedError,
+                error_code: classified.error_code,
+                retryable: classified.retryable,
+                recovery_hint: classified.recovery_hint,
+            },
         };
+        const harnessReport = runHarnessLoops(context, output, classified.error_code);
+        if (harnessReport)
+            output.harness_report = harnessReport;
         return {
             content: [{ type: "text", text: output.message }],
             structuredContent: output,
@@ -32,10 +86,20 @@ export function handleCallResult(result) {
         const isSuccess = txStatus === "success";
         if (!isSuccess) {
             const enrichedError = enrichMoveError(txError || txStatus || "unknown error");
+            const classified = classifyError(enrichedError);
             const output = {
                 message: `Transaction failed: ${enrichedError}`,
-                result: { type: "error", error: enrichedError },
+                result: {
+                    type: "error",
+                    error: enrichedError,
+                    error_code: classified.error_code,
+                    retryable: classified.retryable,
+                    recovery_hint: classified.recovery_hint,
+                },
             };
+            const harnessReport = runHarnessLoops(context, output, classified.error_code);
+            if (harnessReport)
+                output.harness_report = harnessReport;
             return {
                 content: [
                     { type: "text", text: output.message },
@@ -47,7 +111,11 @@ export function handleCallResult(result) {
         const output = {
             message: "Transaction completed successfully",
             result: { type: "transaction", ...safeResult },
+            semantic: buildSemantic(safeResult, context),
         };
+        const harnessReport = runHarnessLoops(context, output);
+        if (harnessReport)
+            output.harness_report = harnessReport;
         return {
             content: [
                 { type: "text", text: output.message },
@@ -60,7 +128,21 @@ export function handleCallResult(result) {
         const output = {
             message: "Submission required for Guard verification",
             result: { type: "submission", ...safeResult },
+            semantic: context ? {
+                intent: "guard_submission_required",
+                status: "pending_input",
+                summary: "Guard verification required — fill the submission data and resubmit",
+                next_actions: [{
+                        action: "fill guard submission data and resubmit via call_with_submission",
+                        reason: "Guard rejected the call; submission must satisfy the Guard table requirements",
+                        tool: "onchain_operations (with submission field)",
+                        priority: "required",
+                    }],
+            } : undefined,
         };
+        const harnessReport = runHarnessLoops(context, output);
+        if (harnessReport)
+            output.harness_report = harnessReport;
         return {
             content: [
                 { type: "text", text: output.message },
@@ -74,6 +156,9 @@ export function handleCallResult(result) {
             message: "Operation completed",
             result: { type: "data", data: safeResult },
         };
+        const harnessReport = runHarnessLoops(context, output);
+        if (harnessReport)
+            output.harness_report = harnessReport;
         return {
             content: [
                 { type: "text", text: output.message },
@@ -87,6 +172,9 @@ export function handleCallResult(result) {
             message: "Operation completed",
             result: { type: "null" },
         };
+        const harnessReport = runHarnessLoops(context, output);
+        if (harnessReport)
+            output.harness_report = harnessReport;
         return {
             content: [{ type: "text", text: output.message }],
             structuredContent: output,
@@ -96,6 +184,9 @@ export function handleCallResult(result) {
         message: "Operation completed",
         result: { type: "transaction", ...safeResult },
     };
+    const harnessReport = runHarnessLoops(context, output);
+    if (harnessReport)
+        output.harness_report = harnessReport;
     return {
         content: [{ type: "text", text: output.message }],
         structuredContent: output,

package/dist/schema/call/index.d.ts

@@ -1,5 +1,6 @@
 export * from './base.js';
 export * from './handler.js';
+export * from './semantic.js';
 export * from './contact.js';
 export * from './demand.js';
 export * from './guard.js';

package/dist/schema/call/index.js

@@ -1,5 +1,6 @@
 export * from './base.js';
 export * from './handler.js';
+export * from './semantic.js';
 export * from './contact.js';
 export * from './demand.js';
 export * from './guard.js';