@wowok/agent-mcp 2.3.13 → 2.3.16

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

@@ -126,6 +126,13 @@ export declare const CallGuard_DataSchema: z.ZodEffects<z.ZodObject<{
     }>>;
 }, "strict", z.ZodTypeAny, {
     description?: string | undefined;
+    namedNew?: {
+        name?: string | undefined;
+        replaceExistName?: boolean | undefined;
+        tags?: string[] | undefined;
+        onChain?: boolean | undefined;
+    } | undefined;
+    root?: any;
     table?: {
         identifier: number;
         b_submission: boolean;
@@ -142,19 +149,19 @@ export declare const CallGuard_DataSchema: z.ZodEffects<z.ZodObject<{
             check_all_founded?: boolean | undefined;
         } | string[] | boolean[] | number[] | number[][] | undefined;
     }[] | undefined;
-    root?: any;
-    namedNew?: {
-        name?: string | undefined;
-        replaceExistName?: boolean | undefined;
-        tags?: string[] | undefined;
-        onChain?: boolean | undefined;
-    } | undefined;
     rely?: {
         guards: string[];
         logic_or?: boolean | undefined;
     } | undefined;
 }, {
     description?: string | undefined;
+    namedNew?: {
+        name?: string | undefined;
+        replaceExistName?: boolean | undefined;
+        tags?: string[] | undefined;
+        onChain?: boolean | undefined;
+    } | undefined;
+    root?: any;
     table?: {
         identifier: number;
         b_submission: boolean;
@@ -171,19 +178,19 @@ export declare const CallGuard_DataSchema: z.ZodEffects<z.ZodObject<{
         } | string[] | boolean[] | number[] | number[][] | undefined;
         name?: string | undefined;
     }[] | undefined;
-    root?: any;
-    namedNew?: {
-        name?: string | undefined;
-        replaceExistName?: boolean | undefined;
-        tags?: string[] | undefined;
-        onChain?: boolean | undefined;
-    } | undefined;
     rely?: {
         guards: string[];
         logic_or?: boolean | undefined;
     } | undefined;
 }>, {
     description?: string | undefined;
+    namedNew?: {
+        name?: string | undefined;
+        replaceExistName?: boolean | undefined;
+        tags?: string[] | undefined;
+        onChain?: boolean | undefined;
+    } | undefined;
+    root?: any;
     table?: {
         identifier: number;
         b_submission: boolean;
@@ -200,19 +207,19 @@ export declare const CallGuard_DataSchema: z.ZodEffects<z.ZodObject<{
             check_all_founded?: boolean | undefined;
         } | string[] | boolean[] | number[] | number[][] | undefined;
     }[] | undefined;
-    root?: any;
-    namedNew?: {
-        name?: string | undefined;
-        replaceExistName?: boolean | undefined;
-        tags?: string[] | undefined;
-        onChain?: boolean | undefined;
-    } | undefined;
     rely?: {
         guards: string[];
         logic_or?: boolean | undefined;
     } | undefined;
 }, {
     description?: string | undefined;
+    namedNew?: {
+        name?: string | undefined;
+        replaceExistName?: boolean | undefined;
+        tags?: string[] | undefined;
+        onChain?: boolean | undefined;
+    } | undefined;
+    root?: any;
     table?: {
         identifier: number;
         b_submission: boolean;
@@ -229,13 +236,6 @@ export declare const CallGuard_DataSchema: z.ZodEffects<z.ZodObject<{
         } | string[] | boolean[] | number[] | number[][] | undefined;
         name?: string | undefined;
     }[] | undefined;
-    root?: any;
-    namedNew?: {
-        name?: string | undefined;
-        replaceExistName?: boolean | undefined;
-        tags?: string[] | undefined;
-        onChain?: boolean | undefined;
-    } | undefined;
     rely?: {
         guards: string[];
         logic_or?: boolean | undefined;
@@ -355,6 +355,13 @@ export declare const CallGuard_InputSchema: z.ZodObject<{
         }>>;
     }, "strict", z.ZodTypeAny, {
         description?: string | undefined;
+        namedNew?: {
+            name?: string | undefined;
+            replaceExistName?: boolean | undefined;
+            tags?: string[] | undefined;
+            onChain?: boolean | undefined;
+        } | undefined;
+        root?: any;
         table?: {
             identifier: number;
             b_submission: boolean;
@@ -371,19 +378,19 @@ export declare const CallGuard_InputSchema: z.ZodObject<{
                 check_all_founded?: boolean | undefined;
             } | string[] | boolean[] | number[] | number[][] | undefined;
         }[] | undefined;
-        root?: any;
-        namedNew?: {
-            name?: string | undefined;
-            replaceExistName?: boolean | undefined;
-            tags?: string[] | undefined;
-            onChain?: boolean | undefined;
-        } | undefined;
         rely?: {
             guards: string[];
             logic_or?: boolean | undefined;
         } | undefined;
     }, {
         description?: string | undefined;
+        namedNew?: {
+            name?: string | undefined;
+            replaceExistName?: boolean | undefined;
+            tags?: string[] | undefined;
+            onChain?: boolean | undefined;
+        } | undefined;
+        root?: any;
         table?: {
             identifier: number;
             b_submission: boolean;
@@ -400,19 +407,19 @@ export declare const CallGuard_InputSchema: z.ZodObject<{
             } | string[] | boolean[] | number[] | number[][] | undefined;
             name?: string | undefined;
         }[] | undefined;
-        root?: any;
-        namedNew?: {
-            name?: string | undefined;
-            replaceExistName?: boolean | undefined;
-            tags?: string[] | undefined;
-            onChain?: boolean | undefined;
-        } | undefined;
         rely?: {
             guards: string[];
             logic_or?: boolean | undefined;
         } | undefined;
     }>, {
         description?: string | undefined;
+        namedNew?: {
+            name?: string | undefined;
+            replaceExistName?: boolean | undefined;
+            tags?: string[] | undefined;
+            onChain?: boolean | undefined;
+        } | undefined;
+        root?: any;
         table?: {
             identifier: number;
             b_submission: boolean;
@@ -429,19 +436,19 @@ export declare const CallGuard_InputSchema: z.ZodObject<{
                 check_all_founded?: boolean | undefined;
             } | string[] | boolean[] | number[] | number[][] | undefined;
         }[] | undefined;
-        root?: any;
-        namedNew?: {
-            name?: string | undefined;
-            replaceExistName?: boolean | undefined;
-            tags?: string[] | undefined;
-            onChain?: boolean | undefined;
-        } | undefined;
         rely?: {
             guards: string[];
             logic_or?: boolean | undefined;
         } | undefined;
     }, {
         description?: string | undefined;
+        namedNew?: {
+            name?: string | undefined;
+            replaceExistName?: boolean | undefined;
+            tags?: string[] | undefined;
+            onChain?: boolean | undefined;
+        } | undefined;
+        root?: any;
         table?: {
             identifier: number;
             b_submission: boolean;
@@ -458,13 +465,6 @@ export declare const CallGuard_InputSchema: z.ZodObject<{
             } | string[] | boolean[] | number[] | number[][] | undefined;
             name?: string | undefined;
         }[] | undefined;
-        root?: any;
-        namedNew?: {
-            name?: string | undefined;
-            replaceExistName?: boolean | undefined;
-            tags?: string[] | undefined;
-            onChain?: boolean | undefined;
-        } | undefined;
         rely?: {
             guards: string[];
             logic_or?: boolean | undefined;
@@ -476,22 +476,38 @@ export declare const CallGuard_InputSchema: z.ZodObject<{
         no_cache: z.ZodOptional<z.ZodBoolean>;
         network: z.ZodOptional<z.ZodEnum<[import("@wowok/wowok").ENTRYPOINT.Localnet, import("@wowok/wowok").ENTRYPOINT.Testnet, import("@wowok/wowok").ENTRYPOINT.Mainnet]>>;
         referrer: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+        confirmed: z.ZodOptional<z.ZodBoolean>;
+        user_intent_phrases: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        project: z.ZodOptional<z.ZodString>;
     }, "strict", z.ZodTypeAny, {
         account: string;
         no_cache?: boolean | undefined;
         network?: import("@wowok/wowok").ENTRYPOINT | undefined;
         permission_guard?: string[] | undefined;
         referrer?: string | undefined;
+        confirmed?: boolean | undefined;
+        user_intent_phrases?: string[] | undefined;
+        project?: string | undefined;
     }, {
         no_cache?: boolean | undefined;
         network?: import("@wowok/wowok").ENTRYPOINT | undefined;
         account?: string | undefined;
         permission_guard?: string[] | undefined;
         referrer?: string | undefined;
+        confirmed?: boolean | undefined;
+        user_intent_phrases?: string[] | undefined;
+        project?: string | undefined;
     }>>;
 }, "strict", z.ZodTypeAny, {
     data: {
         description?: string | undefined;
+        namedNew?: {
+            name?: string | undefined;
+            replaceExistName?: boolean | undefined;
+            tags?: string[] | undefined;
+            onChain?: boolean | undefined;
+        } | undefined;
+        root?: any;
         table?: {
             identifier: number;
             b_submission: boolean;
@@ -508,13 +524,6 @@ export declare const CallGuard_InputSchema: z.ZodObject<{
                 check_all_founded?: boolean | undefined;
             } | string[] | boolean[] | number[] | number[][] | undefined;
         }[] | undefined;
-        root?: any;
-        namedNew?: {
-            name?: string | undefined;
-            replaceExistName?: boolean | undefined;
-            tags?: string[] | undefined;
-            onChain?: boolean | undefined;
-        } | undefined;
         rely?: {
             guards: string[];
             logic_or?: boolean | undefined;
@@ -526,10 +535,20 @@ export declare const CallGuard_InputSchema: z.ZodObject<{
         network?: import("@wowok/wowok").ENTRYPOINT | undefined;
         permission_guard?: string[] | undefined;
         referrer?: string | undefined;
+        confirmed?: boolean | undefined;
+        user_intent_phrases?: string[] | undefined;
+        project?: string | undefined;
     } | undefined;
 }, {
     data: {
         description?: string | undefined;
+        namedNew?: {
+            name?: string | undefined;
+            replaceExistName?: boolean | undefined;
+            tags?: string[] | undefined;
+            onChain?: boolean | undefined;
+        } | undefined;
+        root?: any;
         table?: {
             identifier: number;
             b_submission: boolean;
@@ -546,13 +565,6 @@ export declare const CallGuard_InputSchema: z.ZodObject<{
             } | string[] | boolean[] | number[] | number[][] | undefined;
             name?: string | undefined;
         }[] | undefined;
-        root?: any;
-        namedNew?: {
-            name?: string | undefined;
-            replaceExistName?: boolean | undefined;
-            tags?: string[] | undefined;
-            onChain?: boolean | undefined;
-        } | undefined;
         rely?: {
             guards: string[];
             logic_or?: boolean | undefined;
@@ -564,6 +576,9 @@ export declare const CallGuard_InputSchema: z.ZodObject<{
         account?: string | undefined;
         permission_guard?: string[] | undefined;
         referrer?: string | undefined;
+        confirmed?: boolean | undefined;
+        user_intent_phrases?: string[] | undefined;
+        project?: string | undefined;
     } | undefined;
 }>;
 export declare const CallGenPassport_InputSchema: z.ZodObject<{
@@ -754,28 +769,30 @@ export declare const CallGenPassport_InputSchema: z.ZodObject<{
         no_cache: z.ZodOptional<z.ZodBoolean>;
         network: z.ZodOptional<z.ZodEnum<[import("@wowok/wowok").ENTRYPOINT.Localnet, import("@wowok/wowok").ENTRYPOINT.Testnet, import("@wowok/wowok").ENTRYPOINT.Mainnet]>>;
         referrer: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+        confirmed: z.ZodOptional<z.ZodBoolean>;
+        user_intent_phrases: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        project: z.ZodOptional<z.ZodString>;
     }, "strict", z.ZodTypeAny, {
         account: string;
         no_cache?: boolean | undefined;
         network?: import("@wowok/wowok").ENTRYPOINT | undefined;
         permission_guard?: string[] | undefined;
         referrer?: string | undefined;
+        confirmed?: boolean | undefined;
+        user_intent_phrases?: string[] | undefined;
+        project?: string | undefined;
     }, {
         no_cache?: boolean | undefined;
         network?: import("@wowok/wowok").ENTRYPOINT | undefined;
         account?: string | undefined;
         permission_guard?: string[] | undefined;
         referrer?: string | undefined;
+        confirmed?: boolean | undefined;
+        user_intent_phrases?: string[] | undefined;
+        project?: string | undefined;
     }>>;
 }, "strict", z.ZodTypeAny, {
     guard: string | string[];
-    env?: {
-        account: string;
-        no_cache?: boolean | undefined;
-        network?: import("@wowok/wowok").ENTRYPOINT | undefined;
-        permission_guard?: string[] | undefined;
-        referrer?: string | undefined;
-    } | undefined;
     info?: {
         type: "submission";
         guard: {
@@ -803,15 +820,18 @@ export declare const CallGenPassport_InputSchema: z.ZodObject<{
             }[];
         }[];
     } | undefined;
-}, {
-    guard: string | string[];
     env?: {
+        account: string;
         no_cache?: boolean | undefined;
         network?: import("@wowok/wowok").ENTRYPOINT | undefined;
-        account?: string | undefined;
         permission_guard?: string[] | undefined;
         referrer?: string | undefined;
+        confirmed?: boolean | undefined;
+        user_intent_phrases?: string[] | undefined;
+        project?: string | undefined;
     } | undefined;
+}, {
+    guard: string | string[];
     info?: {
         type: "submission";
         guard: {
@@ -839,6 +859,16 @@ export declare const CallGenPassport_InputSchema: z.ZodObject<{
             }[];
         }[];
     } | undefined;
+    env?: {
+        no_cache?: boolean | undefined;
+        network?: import("@wowok/wowok").ENTRYPOINT | undefined;
+        account?: string | undefined;
+        permission_guard?: string[] | undefined;
+        referrer?: string | undefined;
+        confirmed?: boolean | undefined;
+        user_intent_phrases?: string[] | undefined;
+        project?: string | undefined;
+    } | undefined;
 }>;
 export declare const Guard2File_InputSchema: z.ZodObject<{
     guard: z.ZodEffects<z.ZodString, string, string>;
@@ -850,18 +880,27 @@ export declare const Guard2File_InputSchema: z.ZodObject<{
         no_cache: z.ZodOptional<z.ZodBoolean>;
         network: z.ZodOptional<z.ZodEnum<[import("@wowok/wowok").ENTRYPOINT.Localnet, import("@wowok/wowok").ENTRYPOINT.Testnet, import("@wowok/wowok").ENTRYPOINT.Mainnet]>>;
         referrer: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+        confirmed: z.ZodOptional<z.ZodBoolean>;
+        user_intent_phrases: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        project: z.ZodOptional<z.ZodString>;
     }, "strict", z.ZodTypeAny, {
         account: string;
         no_cache?: boolean | undefined;
         network?: import("@wowok/wowok").ENTRYPOINT | undefined;
         permission_guard?: string[] | undefined;
         referrer?: string | undefined;
+        confirmed?: boolean | undefined;
+        user_intent_phrases?: string[] | undefined;
+        project?: string | undefined;
     }, {
         no_cache?: boolean | undefined;
         network?: import("@wowok/wowok").ENTRYPOINT | undefined;
         account?: string | undefined;
         permission_guard?: string[] | undefined;
         referrer?: string | undefined;
+        confirmed?: boolean | undefined;
+        user_intent_phrases?: string[] | undefined;
+        project?: string | undefined;
     }>>;
 }, "strict", z.ZodTypeAny, {
     guard: string;
@@ -873,6 +912,9 @@ export declare const Guard2File_InputSchema: z.ZodObject<{
         network?: import("@wowok/wowok").ENTRYPOINT | undefined;
         permission_guard?: string[] | undefined;
         referrer?: string | undefined;
+        confirmed?: boolean | undefined;
+        user_intent_phrases?: string[] | undefined;
+        project?: string | undefined;
     } | undefined;
 }, {
     guard: string;
@@ -884,6 +926,9 @@ export declare const Guard2File_InputSchema: z.ZodObject<{
         account?: string | undefined;
         permission_guard?: string[] | undefined;
         referrer?: string | undefined;
+        confirmed?: boolean | undefined;
+        user_intent_phrases?: string[] | undefined;
+        project?: string | undefined;
     } | undefined;
 }>;
 export declare const Guard2File_OutputSchema: z.ZodDiscriminatedUnion<"status", [z.ZodObject<{

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

@@ -1,6 +1,9 @@
 import type { CallEnv } from "@wowok/wowok";
 import type { CallOutput } from "./base.js";
-export declare function handleCallResult(result: any): {
+import { type SemanticContext } from "./semantic.js";
+type SuccessHook = (result: any, context: SemanticContext | undefined) => void;
+export declare function registerSuccessHook(hook: SuccessHook | null): void;
+export declare function handleCallResult(result: any, context?: SemanticContext): {
     content: any[];
     structuredContent: CallOutput;
 };
@@ -36,3 +39,4 @@ export declare function createToolAnnotations(readOnlyHint?: boolean, destructiv
 export declare function transformSubmission(submission: any): Promise<any>;
 export declare function validateInput<T>(data: any, schema: any): T;
 export declare function getEnvConfig(env?: any): CallEnv;
+export {};

package/dist/schema/call/handler.js

@@ -1,4 +1,17 @@
 import { ResponseData, LocalMark, enrichMoveError } from "@wowok/wowok";
+import { classifyError, buildSemantic } from "./semantic.js";
+let successHook = null;
+export function registerSuccessHook(hook) {
+    successHook = hook;
+}
+function fireSuccessHook(result, context) {
+    if (successHook) {
+        try {
+            successHook(result, context);
+        }
+        catch { }
+    }
+}
 function convertBigInts(obj) {
     if (typeof obj === "bigint")
         return obj.toString();
@@ -12,14 +25,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 +98,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 +123,12 @@ 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;
+        fireSuccessHook(result, context);
         return {
             content: [
                 { type: "text", text: output.message },
@@ -60,7 +141,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 +169,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 +185,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,
@@ -95,7 +196,11 @@ export function handleCallResult(result) {
     const output = {
         message: "Operation completed",
         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 }],
         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';