@wowok/agent-mcp 2.6.1 → 2.6.3

package/dist/schema/call/machine.js

@@ -1,7 +1,23 @@
 import { z } from 'zod';
 import { WithPermissionObjectSchema, NamedObjectSchema, ObjectsSchema, CallEnvSchema, SubmissionCallSchema, } from './base.js';
 import { MachineNodeSchema, MachineForwardSchema } from '../query/index.js';
-import { ManyAccountOrMark_AddressSchema, NameOrAddressSchema, NameSchema, NotEmptyNameSchema, ReceivedObjectsOrRecentlySchema } from '../common/index.js';
+import { ManyAccountOrMark_AddressSchema, NameOrAddressSchema, NameSchema, NotEmptyNameSchema, ReceivedObjectsOrRecentlySchema, RECEIVE_FORMAT_BLOCK_OBJECTS } from '../common/index.js';
+function validateEntryForward(nodes) {
+    for (const node of nodes) {
+        if (!node.pairs)
+            continue;
+        for (const pair of node.pairs) {
+            if (pair.prev_node === "") {
+                return true;
+            }
+        }
+    }
+    return false;
+}
+const ENTRY_FORWARD_ERROR_MESSAGE = "Machine has no entry forward. At least one node must have a pair with prev_node=\"\" (empty string), " +
+    "which defines how Progress advances from the initial state (current=\"\") to the first node. " +
+    "Without an entry forward, the workflow will be permanently stuck. " +
+    "Example: {name: 'Subscribed', pairs: [{prev_node: '', forwards: [{name: 'Subscribe', weight: 1}]}]}";
 export const ProgressNamedOperatorSchema = z.object({
     op: z.union([z.literal('add'), z.literal('set'), z.literal('remove')]),
     name: NotEmptyNameSchema,
@@ -68,7 +84,17 @@ export const NodeSchema = z.discriminatedUnion('op', [
         op: z.literal('remove forward'),
         data: z.array(NodeRemoveForwardDataSchema).describe('List of operations to delete.'),
     }).strict().describe('Delete operations.'),
-]);
+])
+    .superRefine((data, ctx) => {
+    if ((data.op === 'add' || data.op === 'set') && data.bReplace === true) {
+        if (!validateEntryForward(data.nodes)) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: ENTRY_FORWARD_ERROR_MESSAGE,
+            });
+        }
+    }
+});
 export const NodeJsonOrMarkdownFileSchema = z.object({
     json_or_markdown_file: z.string().describe(`Path to a JSON or Markdown file containing node array for COMPLETE REPLACEMENT of all nodes.
 
@@ -113,9 +139,29 @@ Supported formats: JSON array or Markdown with code blocks.
 If parsing fails, error includes line number and column information.`),
     pause: z.boolean().optional().describe('Whether to pause generating new Progress objects.'),
     publish: z.boolean().optional().describe('Whether to publish the object. After the object is published, new Progress objects can be generated; and node settings will no longer be changeable.'),
-    owner_receive: ReceivedObjectsOrRecentlySchema.optional().describe('Unwrap CoinWrapper objects and other objects received by this object and send them to the owner of its Permission object.'),
+    owner_receive: ReceivedObjectsOrRecentlySchema.optional().describe('Unwrap CoinWrapper objects and other objects received by this Machine object and send them to the owner of its Permission object.' + RECEIVE_FORMAT_BLOCK_OBJECTS),
     um: z.union([NameOrAddressSchema, z.null()]).optional().describe('Contact object ID or name.'),
-}).strict().describe("On-chain Machine operations. USAGE: (1) CREATE NEW: Set 'object' field with OBJECT format {name, permission, ...} to create a Machine. NOTE: 'name' goes INSIDE 'object', NOT at the data root level. 'permission' can be a new Permission object or reference an existing one - check 'object' field description for details. (2) OPERATE EXISTING: Set 'object' field with STRING format (object ID or name). The 'object' field is CRITICAL and REQUIRED in both cases. STRING for existing, OBJECT for new creation.");
+}).strict()
+    .refine((data) => {
+    if (data.publish !== true)
+        return true;
+    if (!data.node)
+        return true;
+    if ('json_or_markdown_file' in data.node)
+        return true;
+    if ('nodes' in data.node && Array.isArray(data.node.nodes)) {
+        const isCreatingNew = typeof data.object === 'object' && data.object !== null;
+        const isReplace = data.node.bReplace === true;
+        if (isCreatingNew || isReplace) {
+            const nodes = data.node.nodes;
+            if (Array.isArray(nodes) && nodes.length > 0 && typeof nodes[0] === 'object') {
+                return validateEntryForward(nodes);
+            }
+        }
+    }
+    return true;
+}, { message: ENTRY_FORWARD_ERROR_MESSAGE })
+    .describe("On-chain Machine operations. USAGE: (1) CREATE NEW: Set 'object' field with OBJECT format {name, permission, ...} to create a Machine. NOTE: 'name' goes INSIDE 'object', NOT at the data root level. 'permission' can be a new Permission object or reference an existing one - check 'object' field description for details. (2) OPERATE EXISTING: Set 'object' field with STRING format (object ID or name). The 'object' field is CRITICAL and REQUIRED in both cases. STRING for existing, OBJECT for new creation.");
 export const CallMachine_InputSchema = z.object({
     data: CallMachine_DataSchema,
     env: CallEnvSchema.optional(),

package/dist/schema/call/order.js

@@ -1,7 +1,7 @@
 import { z } from "zod";
 import { CallEnvSchema, SubmissionCallSchema } from "./base.js";
 import { OperateSchema } from "./progress.js";
-import { AccountOrMark_AddressSchema, DescriptionSchema, LongNameSchema, ManyAccountOrMark_AddressSchema, NameOrAddressSchema, ReceivedObjectsOrRecentlySchema } from "../common/index.js";
+import { AccountOrMark_AddressSchema, DescriptionSchema, LongNameSchema, ManyAccountOrMark_AddressSchema, NameOrAddressSchema, ReceivedObjectsOrRecentlySchema, RECEIVE_FORMAT_BLOCK_OBJECTS } from "../common/index.js";
 export const ArbConfirmSchema = z.object({
     arb: NameOrAddressSchema.describe("Arb object ID or name."),
     confirm: z.boolean().describe("Whether to confirm that the submitted arbitration materials are valid for arbitration."),
@@ -24,11 +24,8 @@ export const CallOrder_DataSchema = z.object({
     arb_objection: ArbObjectionSchema.optional().describe("Oppose and appeal the arbitration result, request re-arbitration."),
     arb_claim_compensation: ArbClaimCompensationSchema.optional().describe("Specify the adjudicated Arb object to obtain order compensation."),
     receive: ReceivedObjectsOrRecentlySchema.optional().describe("Unwrap CoinWrapper objects or other objects received by the order and transfer them to the order owner. " +
-        "ACCEPTED FORMATS (consistent with `owner_receive` on other objects — see arbitration/contact/demand/machine/permission/repository/reward/service/treasury):\n" +
-        "• 'recently' (string) — auto-query and receive all recently received objects\n" +
-        "• ReceivedNormal[] (array) — explicit list of received objects: [{id, type, content_raw?}]\n" +
-        "• ReceivedBalance ({token_type, balance, received: [{id, balance, payment}]}) — received balance record\n" +
-        "DO NOT wrap in {result: ...} — pass directly (NOT {result: [...]})"),
+        "Consistent with `owner_receive` on other objects (arbitration/contact/demand/machine/permission/repository/reward/service/treasury)." +
+        RECEIVE_FORMAT_BLOCK_OBJECTS),
     transfer_to: AccountOrMark_AddressSchema.optional().describe("Set new owner of the order. Requires order owner permission to set."),
 }).strict().describe("On-chain, operate on an Order object.");
 export const CallOrder_InputSchema = z.object({

package/dist/schema/call/permission.js

@@ -1,7 +1,7 @@
 import { z } from "zod";
 import { PermissionIndexTypeSchema } from "../query/index.js";
 import { CallEnvSchema, SubmissionCallSchema, NormalObjectSchema } from "./base.js";
-import { AccountOrMark_AddressSchema, DescriptionSchema, LongNameSchema, ManyAccountOrMark_AddressSchema, NameOrAddressSchema, ReceivedObjectsOrRecentlySchema } from "../common/index.js";
+import { AccountOrMark_AddressSchema, DescriptionSchema, LongNameSchema, ManyAccountOrMark_AddressSchema, NameOrAddressSchema, ReceivedObjectsOrRecentlySchema, RECEIVE_FORMAT_BLOCK_OBJECTS } from "../common/index.js";
 export const RemarkSetSchema = z.object({
     op: z.literal("set"),
     index: PermissionIndexTypeSchema,
@@ -95,7 +95,7 @@ export const CallPermission_DataSchema = z.object({
     admin: AdminSchema.optional().describe("Manage Permission object admins: add new admins, remove existing admins, or set the complete admin list. Only the Permission object owner (builder) can perform this operation. The creator automatically becomes an admin with full permissions."),
     apply: z.array(NameOrAddressSchema).optional().describe("Array of object IDs or names to operate on, apply the Permission object to these objects' permission control. Note: The signer must be the owner of the existing Permission objects for these objects"),
     builder: AccountOrMark_AddressSchema.optional().describe("Set or transfer ownership of the Permission object to the specified user ID. The creator automatically becomes the builder; only the builder can transfer ownership to other users."),
-    owner_receive: ReceivedObjectsOrRecentlySchema.optional().describe('Unwrap CoinWrapper objects and other objects received by this object and send them to the builder(owner).'),
+    owner_receive: ReceivedObjectsOrRecentlySchema.optional().describe('Unwrap CoinWrapper objects and other objects received by this Permission object and send them to the builder(owner).' + RECEIVE_FORMAT_BLOCK_OBJECTS),
     um: z.union([NameOrAddressSchema, z.null()]).optional().describe("Contact object ID or name."),
 }).strict().describe("On-chain Permission operations. USAGE: (1) CREATE NEW: Set 'object' field with OBJECT format {name, tags?, ...} to create a Permission. NOTE: 'name' goes INSIDE 'object', NOT at the data root level. (2) OPERATE EXISTING: Set 'object' field with STRING format (object ID or name). The 'object' field is CRITICAL and REQUIRED in both cases. STRING for existing, OBJECT for new creation.");
 export const CallPermission_InputSchema = z.object({

package/dist/schema/call/repository.js

@@ -1,6 +1,6 @@
 import { z } from "zod";
 import { WithPermissionObjectSchema, ObjectsSchema, CallEnvSchema, SubmissionCallSchema, } from "./base.js";
-import { AccountOrMark_AddressSchema, DescriptionSchema, NameOrAddressSchema, NameSchema, ReceivedObjectsOrRecentlySchema } from "../common/index.js";
+import { AccountOrMark_AddressSchema, DescriptionSchema, NameOrAddressSchema, NameSchema, ReceivedObjectsOrRecentlySchema, RECEIVE_FORMAT_BLOCK_OBJECTS } from "../common/index.js";
 import { PolicyRuleSchema } from "../query/index.js";
 import { SupportedValueSchema } from "../common/index.js";
 export const RepositoryIdSchema = z.union([
@@ -67,7 +67,7 @@ export const CallRepository_DataSchema = z.object({
     data_add: DataAddSchema.optional().describe("Add data items"),
     data_remove: DataRemoveSchema.optional().describe("Delete data items"),
     rewards: ObjectsSchema.optional().describe("Reward object list. Used for data contribution incentives."),
-    owner_receive: ReceivedObjectsOrRecentlySchema.optional().describe("Unwrap CoinWrapper objects and other objects received by this object and send them to the owner of its Permission object."),
+    owner_receive: ReceivedObjectsOrRecentlySchema.optional().describe("Unwrap CoinWrapper objects and other objects received by this Repository object and send them to the owner of its Permission object." + RECEIVE_FORMAT_BLOCK_OBJECTS),
     um: z.union([NameOrAddressSchema, z.null()]).optional().describe("Contact object ID or name."),
 }).strict().describe("On-chain Repository operations. USAGE: (1) CREATE NEW: Set 'object' field with OBJECT format {name, permission, ...} to create a Repository. NOTE: 'name' goes INSIDE 'object', NOT at the data root level. 'permission' can be a new Permission object or reference an existing one - check 'object' field description for details. (2) OPERATE EXISTING: Set 'object' field with STRING format (object ID or name). The 'object' field is CRITICAL and REQUIRED in both cases. STRING for existing, OBJECT for new creation.");
 export const CallRepository_InputSchema = z.object({

package/dist/schema/call/reward.js

@@ -1,7 +1,7 @@
 import { z } from "zod";
 import { TypedPermissionObjectSchema, CoinParamSchema, CallEnvSchema, SubmissionCallSchema, } from "./base.js";
 import { RewardGuardSchema } from "../query/index.js";
-import { BalanceTypeSchema, ReceivedObjectsOrRecentlySchema, ReceivedBalanceOrRecentlySchema, NameOrAddressSchema, DescriptionSchema } from "../common/index.js";
+import { BalanceTypeSchema, ReceivedObjectsOrRecentlySchema, ReceivedBalanceOrRecentlySchema, NameOrAddressSchema, DescriptionSchema, RECEIVE_FORMAT_BLOCK_OBJECTS, RECEIVE_FORMAT_BLOCK_BALANCE } from "../common/index.js";
 export const RewardRecordSchema = z.object({
     amount: BalanceTypeSchema,
     time: z.number().int(),
@@ -16,11 +16,11 @@ export const CallReward_DataSchema = z.object({
     claim: NameOrAddressSchema.optional().describe("Guard object ID. Used to verify Guard and start the reward distribution process corresponding to this Guard."),
     description: DescriptionSchema.optional(),
     coin_add: CoinParamSchema.optional().describe("Add amount to Reward object."),
-    receive: ReceivedBalanceOrRecentlySchema.optional().describe("Unwrap CoinWrapper objects received by Reward object and store them in pending balance."),
+    receive: ReceivedBalanceOrRecentlySchema.optional().describe("Unwrap CoinWrapper objects received by Reward object and store them in pending balance." + RECEIVE_FORMAT_BLOCK_BALANCE),
     guard_add: z.array(RewardGuardSchema).optional().describe("Add Guard to Reward object."),
     guard_remove_expired: z.boolean().optional().describe("Whether to remove expired Guard."),
     guard_expiration_time: z.union([z.number().int().min(1), z.null()]).optional().describe("Add expiration time(ms). Before this time expires, new Guard and fund allocation rules cannot be added."),
-    owner_receive: ReceivedObjectsOrRecentlySchema.optional().describe("Unwrap CoinWrapper objects and other objects received by this object and send them to the owner of its Permission object."),
+    owner_receive: ReceivedObjectsOrRecentlySchema.optional().describe("Unwrap CoinWrapper objects and other objects received by this Reward object and send them to the owner of its Permission object." + RECEIVE_FORMAT_BLOCK_OBJECTS),
     um: z.union([NameOrAddressSchema, z.null()]).optional().describe("Contact object ID or name."),
 }).strict().describe("On-chain Reward operations. USAGE: (1) CREATE NEW: Set 'object' field with OBJECT format {name, type_parameter, permission, ...} to create a Reward. NOTE: 'name' goes INSIDE 'object', NOT at the data root level.'permission' can be a new Permission object or reference an existing one - check 'object' field description for details. (2) OPERATE EXISTING: Set 'object' field with STRING format (object ID or name). The 'object' field is CRITICAL and REQUIRED in both cases. STRING for existing, OBJECT for new creation.");
 export const CallReward_InputSchema = z.object({

package/dist/schema/call/semantic.js

@@ -453,7 +453,8 @@ const INTENT_RULES = [
     { operation_type: "progress", intent: "update_progress", confidence: 0.9 },
     { operation_type: "order", signals: (d) => !!d?.arb, intent: "apply_arbitration", confidence: 0.9 },
     { operation_type: "order", intent: "manage_order", confidence: 0.85 },
-    { operation_type: "payment", intent: "send_payment", confidence: 0.95 },
+    { operation_type: "payment", signals: (d) => d?.receive === true, intent: "claim_escrow_payment", confidence: 0.95 },
+    { operation_type: "payment", intent: "send_payment", confidence: 0.9 },
     { operation_type: "reward", intent: "manage_reward", confidence: 0.9 },
     { operation_type: "demand", intent: "post_demand", confidence: 0.9 },
     { operation_type: "treasury", intent: "manage_treasury", confidence: 0.9 },
@@ -599,6 +600,11 @@ const FUND_ROLE_RULES = [
         role: "release",
         confidence: 0.9,
     },
+    {
+        when: (ctx) => ctx.operation_type === "payment" && ctx.data?.receive === true,
+        role: "release",
+        confidence: 0.95,
+    },
     {
         when: (ctx) => ctx.operation_type === "payment" && isNegative(ctx.amount),
         role: "payment",

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

@@ -1214,7 +1214,57 @@ export declare const CallService_DataSchema: z.ZodObject<{
     }, {
         coin: string;
     }>]>>;
-    setting_locked_time_add: z.ZodOptional<z.ZodNumber>;
+    compensation_fund_withdraw: z.ZodOptional<z.ZodObject<{
+        receipt: z.ZodObject<{
+            name_or_address: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+            local_mark_first: z.ZodOptional<z.ZodBoolean>;
+        }, "strict", z.ZodTypeAny, {
+            name_or_address?: string | undefined;
+            local_mark_first?: boolean | undefined;
+        }, {
+            name_or_address?: string | undefined;
+            local_mark_first?: boolean | undefined;
+        }>;
+        payment_info: z.ZodObject<{
+            for_object: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNull]>>;
+            for_guard: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNull]>>;
+            remark: z.ZodString;
+            index: z.ZodUnion<[z.ZodNumber, z.ZodString]>;
+        }, "strip", z.ZodTypeAny, {
+            index: string | number;
+            remark: string;
+            for_object?: string | null | undefined;
+            for_guard?: string | null | undefined;
+        }, {
+            index: string | number;
+            remark: string;
+            for_object?: string | null | undefined;
+            for_guard?: string | null | undefined;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        payment_info: {
+            index: string | number;
+            remark: string;
+            for_object?: string | null | undefined;
+            for_guard?: string | null | undefined;
+        };
+        receipt: {
+            name_or_address?: string | undefined;
+            local_mark_first?: boolean | undefined;
+        };
+    }, {
+        payment_info: {
+            index: string | number;
+            remark: string;
+            for_object?: string | null | undefined;
+            for_guard?: string | null | undefined;
+        };
+        receipt: {
+            name_or_address?: string | undefined;
+            local_mark_first?: boolean | undefined;
+        };
+    }>>;
+    setting_lock_duration_add: z.ZodOptional<z.ZodNumber>;
     compensation_fund_receive: z.ZodOptional<z.ZodUnion<[z.ZodObject<{
         balance: z.ZodUnion<[z.ZodNumber, z.ZodString]>;
         token_type: z.ZodEffects<z.ZodString, string, string>;
@@ -1430,6 +1480,18 @@ export declare const CallService_DataSchema: z.ZodObject<{
     } | {
         coin: string;
     } | undefined;
+    compensation_fund_withdraw?: {
+        payment_info: {
+            index: string | number;
+            remark: string;
+            for_object?: string | null | undefined;
+            for_guard?: string | null | undefined;
+        };
+        receipt: {
+            name_or_address?: string | undefined;
+            local_mark_first?: boolean | undefined;
+        };
+    } | undefined;
     compensation_fund_receive?: {
         received: {
             id: string;
@@ -1439,7 +1501,7 @@ export declare const CallService_DataSchema: z.ZodObject<{
         balance: string | number;
         token_type: string;
     } | "recently" | undefined;
-    setting_locked_time_add?: number | undefined;
+    setting_lock_duration_add?: number | undefined;
     order_new?: {
         buy: {
             items: {
@@ -1598,6 +1660,18 @@ export declare const CallService_DataSchema: z.ZodObject<{
     } | {
         coin: string;
     } | undefined;
+    compensation_fund_withdraw?: {
+        payment_info: {
+            index: string | number;
+            remark: string;
+            for_object?: string | null | undefined;
+            for_guard?: string | null | undefined;
+        };
+        receipt: {
+            name_or_address?: string | undefined;
+            local_mark_first?: boolean | undefined;
+        };
+    } | undefined;
     compensation_fund_receive?: {
         received: {
             id: string;
@@ -1607,7 +1681,7 @@ export declare const CallService_DataSchema: z.ZodObject<{
         balance: string | number;
         token_type: string;
     } | "recently" | undefined;
-    setting_locked_time_add?: number | undefined;
+    setting_lock_duration_add?: number | undefined;
     order_new?: {
         buy: {
             items: {
@@ -2393,7 +2467,57 @@ export declare const CallService_InputSchema: z.ZodObject<{
         }, {
             coin: string;
         }>]>>;
-        setting_locked_time_add: z.ZodOptional<z.ZodNumber>;
+        compensation_fund_withdraw: z.ZodOptional<z.ZodObject<{
+            receipt: z.ZodObject<{
+                name_or_address: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+                local_mark_first: z.ZodOptional<z.ZodBoolean>;
+            }, "strict", z.ZodTypeAny, {
+                name_or_address?: string | undefined;
+                local_mark_first?: boolean | undefined;
+            }, {
+                name_or_address?: string | undefined;
+                local_mark_first?: boolean | undefined;
+            }>;
+            payment_info: z.ZodObject<{
+                for_object: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNull]>>;
+                for_guard: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNull]>>;
+                remark: z.ZodString;
+                index: z.ZodUnion<[z.ZodNumber, z.ZodString]>;
+            }, "strip", z.ZodTypeAny, {
+                index: string | number;
+                remark: string;
+                for_object?: string | null | undefined;
+                for_guard?: string | null | undefined;
+            }, {
+                index: string | number;
+                remark: string;
+                for_object?: string | null | undefined;
+                for_guard?: string | null | undefined;
+            }>;
+        }, "strict", z.ZodTypeAny, {
+            payment_info: {
+                index: string | number;
+                remark: string;
+                for_object?: string | null | undefined;
+                for_guard?: string | null | undefined;
+            };
+            receipt: {
+                name_or_address?: string | undefined;
+                local_mark_first?: boolean | undefined;
+            };
+        }, {
+            payment_info: {
+                index: string | number;
+                remark: string;
+                for_object?: string | null | undefined;
+                for_guard?: string | null | undefined;
+            };
+            receipt: {
+                name_or_address?: string | undefined;
+                local_mark_first?: boolean | undefined;
+            };
+        }>>;
+        setting_lock_duration_add: z.ZodOptional<z.ZodNumber>;
         compensation_fund_receive: z.ZodOptional<z.ZodUnion<[z.ZodObject<{
             balance: z.ZodUnion<[z.ZodNumber, z.ZodString]>;
             token_type: z.ZodEffects<z.ZodString, string, string>;
@@ -2609,6 +2733,18 @@ export declare const CallService_InputSchema: z.ZodObject<{
         } | {
             coin: string;
         } | undefined;
+        compensation_fund_withdraw?: {
+            payment_info: {
+                index: string | number;
+                remark: string;
+                for_object?: string | null | undefined;
+                for_guard?: string | null | undefined;
+            };
+            receipt: {
+                name_or_address?: string | undefined;
+                local_mark_first?: boolean | undefined;
+            };
+        } | undefined;
         compensation_fund_receive?: {
             received: {
                 id: string;
@@ -2618,7 +2754,7 @@ export declare const CallService_InputSchema: z.ZodObject<{
             balance: string | number;
             token_type: string;
         } | "recently" | undefined;
-        setting_locked_time_add?: number | undefined;
+        setting_lock_duration_add?: number | undefined;
         order_new?: {
             buy: {
                 items: {
@@ -2777,6 +2913,18 @@ export declare const CallService_InputSchema: z.ZodObject<{
         } | {
             coin: string;
         } | undefined;
+        compensation_fund_withdraw?: {
+            payment_info: {
+                index: string | number;
+                remark: string;
+                for_object?: string | null | undefined;
+                for_guard?: string | null | undefined;
+            };
+            receipt: {
+                name_or_address?: string | undefined;
+                local_mark_first?: boolean | undefined;
+            };
+        } | undefined;
         compensation_fund_receive?: {
             received: {
                 id: string;
@@ -2786,7 +2934,7 @@ export declare const CallService_InputSchema: z.ZodObject<{
             balance: string | number;
             token_type: string;
         } | "recently" | undefined;
-        setting_locked_time_add?: number | undefined;
+        setting_lock_duration_add?: number | undefined;
         order_new?: {
             buy: {
                 items: {
@@ -3188,6 +3336,18 @@ export declare const CallService_InputSchema: z.ZodObject<{
         } | {
             coin: string;
         } | undefined;
+        compensation_fund_withdraw?: {
+            payment_info: {
+                index: string | number;
+                remark: string;
+                for_object?: string | null | undefined;
+                for_guard?: string | null | undefined;
+            };
+            receipt: {
+                name_or_address?: string | undefined;
+                local_mark_first?: boolean | undefined;
+            };
+        } | undefined;
         compensation_fund_receive?: {
             received: {
                 id: string;
@@ -3197,7 +3357,7 @@ export declare const CallService_InputSchema: z.ZodObject<{
             balance: string | number;
             token_type: string;
         } | "recently" | undefined;
-        setting_locked_time_add?: number | undefined;
+        setting_lock_duration_add?: number | undefined;
         order_new?: {
             buy: {
                 items: {
@@ -3398,6 +3558,18 @@ export declare const CallService_InputSchema: z.ZodObject<{
         } | {
             coin: string;
         } | undefined;
+        compensation_fund_withdraw?: {
+            payment_info: {
+                index: string | number;
+                remark: string;
+                for_object?: string | null | undefined;
+                for_guard?: string | null | undefined;
+            };
+            receipt: {
+                name_or_address?: string | undefined;
+                local_mark_first?: boolean | undefined;
+            };
+        } | undefined;
         compensation_fund_receive?: {
             received: {
                 id: string;
@@ -3407,7 +3579,7 @@ export declare const CallService_InputSchema: z.ZodObject<{
             balance: string | number;
             token_type: string;
         } | "recently" | undefined;
-        setting_locked_time_add?: number | undefined;
+        setting_lock_duration_add?: number | undefined;
         order_new?: {
             buy: {
                 items: {

package/dist/schema/call/service.js

@@ -1,7 +1,7 @@
 import { z } from "zod";
 import { TypedPermissionObjectSchema, CoinParamSchema, NamedObjectSchema, ObjectsSchema, CallEnvSchema, SubmissionCallSchema } from "./base.js";
-import { AllocatorsSchema, DiscountTypeSchema, ServiceSaleSchema } from "../query/index.js";
-import { AccountOrMark_AddressSchema, DescriptionSchema, LongNameSchema, ManyAccountOrMark_AddressSchema, NameOrAddressSchema, NotEmptyNameSchema, ReceivedBalanceOrRecentlySchema, ReceivedObjectsOrRecentlySchema } from "../common/index.js";
+import { AllocatorsSchema, DiscountTypeSchema, ServiceSaleSchema, PaymentInfoSchema } from "../query/index.js";
+import { AccountOrMark_AddressSchema, DescriptionSchema, LongNameSchema, ManyAccountOrMark_AddressSchema, NameOrAddressSchema, NotEmptyNameSchema, ReceivedBalanceOrRecentlySchema, ReceivedObjectsOrRecentlySchema, RECEIVE_FORMAT_BLOCK_OBJECTS, RECEIVE_FORMAT_BLOCK_BALANCE } from "../common/index.js";
 import { BalanceTypeSchema } from "../common/index.js";
 export const ServiceBuyItemSchema = z.object({
     name: LongNameSchema.describe("Name of the product or service to purchase"),
@@ -10,7 +10,9 @@ export const ServiceBuyItemSchema = z.object({
 }).strict();
 export const BuySchema = z.object({
     items: z.array(ServiceBuyItemSchema).describe("List of products or services to purchase"),
-    total_pay: CoinParamSchema.describe("Actual payment amount"),
+    total_pay: CoinParamSchema.describe("Actual payment amount. FORMAT: {balance: <amount_in_smallest_unit>} or {coin: <coin_object_id>}. " +
+        "The token type and precision are determined by the Service object's type_parameter (the generic type set when the Service was created). " +
+        "For WOW (9 decimals): {balance: 1000000000} = 1 WOW. For SUI (9 decimals): {balance: 1000000000} = 1 SUI."),
     discount: z.string().optional().describe("Discount object ID or name"),
     payment_remark: z.string().optional().describe("Payment remark"),
     payment_index: z.number().optional().describe("Payment index"),
@@ -31,9 +33,15 @@ export const OrderNewSchema = z.object({
     agents: ManyAccountOrMark_AddressSchema.optional().describe("Order agents. Agents can operate the order, such as canceling the order, modifying the order status, etc.; but cannot receive the funds received by the order."),
     order_required_info: z.string().optional().describe("Contact object ID or WTS Proof object"),
     transfer: AccountOrMark_AddressSchema.optional().describe("Set the new owner of the order. Requires order owner permission to set."),
-    namedNewOrder: NamedObjectSchema.optional().describe("Set the local name of the order object."),
-    namedNewAllocation: NamedObjectSchema.optional().describe("Set the local name of the order's Allocation object."),
-    namedNewProgress: NamedObjectSchema.optional().describe("Set the local name of the order's Progress object."),
+    namedNewOrder: NamedObjectSchema.optional().describe("RECOMMENDED: Set a local name for the newly created Order object. " +
+        "Without this, the Order is only referenceable by its on-chain address. " +
+        "Example: {name: 'my_order_v1'} allows subsequent operations to use 'my_order_v1' instead of the address."),
+    namedNewAllocation: NamedObjectSchema.optional().describe("RECOMMENDED: Set a local name for the order's Allocation object. " +
+        "Without this, the Allocation is only referenceable by its address. " +
+        "Example: {name: 'my_allocation_v1'} allows alloc_by_guard to reference 'my_allocation_v1'."),
+    namedNewProgress: NamedObjectSchema.optional().describe("RECOMMENDED: Set a local name for the order's Progress object. " +
+        "Without this, the Progress is only referenceable by its address. " +
+        "Example: {name: 'my_progress_v1'} allows progress operations to use 'my_progress_v1'."),
 }).strict();
 export const SalesSchema = z.discriminatedUnion("op", [
     z.object({
@@ -60,41 +68,88 @@ export const CallService_DataSchema = z.object({
     sales: SalesSchema.optional().describe("Service sales products or services list."),
     repositories: ObjectsSchema.optional().describe("Service Repository object list."),
     rewards: ObjectsSchema.optional().describe("Service Reward object list."),
-    arbitrations: ObjectsSchema.optional().describe("Service Arbitration object list."),
+    arbitrations: ObjectsSchema.optional().describe("Service Arbitration object list. " +
+        "FORMAT: same as repositories — use the `objects` field name inside the operation data. " +
+        "Example: {arbitrations: [{name: 'my_arb_1'}, {name: 'my_arb_2'}]}. " +
+        "Each item is a NameOrAddress (object ID or local mark name)."),
     machine: z.union([NameOrAddressSchema, z.null()]).optional().describe("Service Machine object ID or name. The Machine object must be in published state."),
     discount: DiscountSchema.optional().describe("Issue discount."),
     discount_destroy: z.array(NameOrAddressSchema).optional().describe("Destroy existing discount object ID list."),
     customer_required: z.array(NotEmptyNameSchema).optional().describe("Customer required information. Such as phone, email, etc."),
-    order_allocators: z.union([AllocatorsSchema, z.null()]).optional().describe("Order fund allocator."),
+    order_allocators: z.union([AllocatorsSchema, z.null()]).optional().describe("Order fund allocator. Max 100 allocators (MAX_ALLOCATOR_COUNT). " +
+        "Each allocator has a guard (first matching guard wins) and a sharing list. " +
+        "Set to null to clear. " +
+        "⚠️ PERMANENTLY IMMUTABLE after publish: order_allocators can ONLY be set BEFORE publish=true " +
+        "(Move service.move:503: assert!(!self.bPublished, E_ALREADY_PUBLISHED)). " +
+        "After publish, the ONLY way to change allocation rules is to create a NEW Service object. " +
+        "There is NO pause+lock exception for order_allocators (unlike arbitrations/rewards which have time-lock removal). " +
+        "PRE-PUBLISH CHECKLIST: verify all guard names resolve, all sharing amounts are correct, " +
+        "threshold is set, and recipient types (Entity/Signer/GuardIdentifier) are intended before calling publish=true. " +
+        "GuardIdentifier sharing mode: {who: {GuardIdentifier: <u8>}, sharing: <rate>, mode: 'Rate'} — " +
+        "resolves recipient from Guard table submission at allocation time (e.g., refund to customer). " +
+        "MULTI-CALL ALLOCATION: Allocation.alloc() can be called MULTIPLE times (no consumed flag in contract). " +
+        "Use Amount mode (not Surplus) for recurring allocations — Surplus calls balance::withdraw_all which drains the balance. " +
+        "For monthly payment scenarios, create multiple Allocators with time-based Guards + Amount mode sharing items."),
     buy_guard: z.union([NameOrAddressSchema, z.null()]).optional().describe("Buy guard object ID or name."),
-    compensation_fund_add: CoinParamSchema.optional().describe("Compensation fund. Used to claim compensation based on the arbitration result of the Arb object when resolving order disputes."),
-    setting_locked_time_add: z.number().optional().describe("Additional lock duration (milliseconds) to extend the 'setting_lock_duration'. Initial value is 30 days, can only be increased, not decreased. Affects: rewards, arbitrations, and compensation_fund_receive."),
-    compensation_fund_receive: ReceivedBalanceOrRecentlySchema.optional().describe("Receive order compensation funds."),
-    owner_receive: ReceivedObjectsOrRecentlySchema.optional().describe("Unwrap CoinWrapper objects and other objects received by this object and send them to the owner of its Permission object."),
+    compensation_fund_add: CoinParamSchema.optional().describe("Deposit funds into the Service compensation_fund. Used to pay indemnity when arbitration resolves in customer's favor. " +
+        "FORMAT: {balance: <amount_in_smallest_unit>} — the field name is 'balance' (NOT 'amount'). " +
+        "The token type and precision are determined by the Service object's type_parameter (the generic type set when the Service was created). " +
+        "For WOW (9 decimals): {balance: 1000000000} = 1 WOW. For SUI (9 decimals): {balance: 1000000000} = 1 SUI. " +
+        "For tokens with different decimals, adjust accordingly (e.g. USDC has 6 decimals, so {balance: 1000000} = 1 USDC). " +
+        "REQUIRES: Permission index 315 (SERVICE_COMPENSATION_FUND_DEPOSIT) must be granted to the calling account first. " +
+        "COMMON MISTAKE: using {amount: ...} or {amount: ..., type: 'WOW'} — these will fail. The correct field is 'balance'."),
+    compensation_fund_withdraw: z.object({
+        receipt: AccountOrMark_AddressSchema.describe("Receipt address that will receive the withdrawn funds (as a new Payment object)"),
+        payment_info: PaymentInfoSchema.describe("Payment info for the new Payment object created to hold the withdrawn funds"),
+    }).strict().optional().describe("Withdraw ALL funds from the compensation_fund to a new Payment object owned by `receipt`. " +
+        "Move layer: service::compensation_fund_withdraw (service.move L383-390). " +
+        "REQUIRES: Service must be paused AND setting_lock_duration must have elapsed since pause (assert_not_published at L384-385). " +
+        "Withdraws the ENTIRE compensation_fund balance via balance::withdraw_all. " +
+        "DIFFERENT from compensation_claim (order-side, for arbitration-winning users, no pause+lock required)."),
+    setting_lock_duration_add: z.number().optional().describe("Additional lock duration to ADD to 'setting_lock_duration' (Move field name). " +
+        "UNIT: milliseconds (ms). Example: 2592000000 = 30 days, 7776000000 = 90 days, 86400000 = 1 day. " +
+        "DEFAULT: 2592000000 (30 days, DEFAULT_LOCK_DURATION). This is the initial value when a Service is created. " +
+        "Behavior: additive (safe_add) — only increases, never decreases. " +
+        "Move entry: service::setting_lock_duration_add / setting_lock_duration_add_with_passport. " +
+        "Can be called BEFORE or AFTER publish (no publish check). " +
+        "Affects the waiting time required by: compensation_fund_withdraw, arbitrations remove/clear, rewards remove/clear " +
+        "(all require pause + setting_lock_duration elapsed since pause)."),
+    compensation_fund_receive: ReceivedBalanceOrRecentlySchema.optional().describe("Receive order compensation funds from this Service object." + RECEIVE_FORMAT_BLOCK_BALANCE),
+    owner_receive: ReceivedObjectsOrRecentlySchema.optional().describe("Unwrap CoinWrapper objects and other objects received by this Service object and send them to the owner of its Permission object." + RECEIVE_FORMAT_BLOCK_OBJECTS),
     um: z.union([NameOrAddressSchema, z.null()]).optional().describe("Contact object ID or name."),
     pause: z.boolean().optional().describe("Whether to pause accepting new orders."),
     publish: z.boolean().optional().describe("Whether to publish the Service. After publishing, customers can place orders. " +
-        "BUG-04 fix (v2.2 — verified against Move source service.move + SDK service.ts):\n" +
-        "  SDK-LOCKED after publish (checkNotPublished — cannot modify, must clone new Service):\n" +
-        "    • machine          (permanently locked — workflow template)\n" +
-        "    • order_allocators (permanently locked — fund distribution rules)\n" +
-        "    • arbitrations     (permanently locked at SDK level — dispute resolution objects)\n" +
-        "  TIME-LOCKED after publish (modifiable only after pause + setting_lock_duration elapsed):\n" +
-        "    • rewards remove/clear  (assert_not_published — time-based lock)\n" +
-        "  REMAIN MUTABLE after publish (no SDK check, no Move check):\n" +
-        "    • buy_guard            (CAN be modified after publish — purchase eligibility guard)\n" +
-        "    • setting_locked_time_add (CAN be extended — only increases, never decreases)\n" +
-        "    • sales, discount, description, location, pause, repositories,\n" +
-        "    • compensation_fund_add, customer_required, um (Contact), rewards add\n" +
-        "These 3 SDK-LOCKED fields (machine/order_allocators/arbitrations) MUST be set BEFORE publish=true.\n" +
+        "VERIFIED against Move source service.move + SDK service.ts (4-level immutability matrix):\n" +
+        "  L1 — PERMANENTLY LOCKED after publish (assert!(!bPublished), no pause+lock exception):\n" +
+        "    • machine          (service.move L633/L653 — workflow template)\n" +
+        "    • order_allocators (service.move L503 — fund distribution rules)\n" +
+        "  L2 — TIME-LOCKED after publish (assert_not_published — requires pause + setting_lock_duration elapsed):\n" +
+        "    • arbitrations remove/clear (service.move L433/L445 — dispute resolution objects)\n" +
+        "    • rewards remove/clear       (service.move L402/L414 — reward objects)\n" +
+        "    • compensation_fund_withdraw (service.move L384-385 — withdraw ALL funds)\n" +
+        "  L3 — REMAIN MUTABLE after publish (no SDK check, no Move check):\n" +
+        "    • arbitrations add, rewards add (no assert — can add after publish)\n" +
+        "    • buy_guard, sales, discount, description, location, pause, repositories,\n" +
+        "    • compensation_fund_add, setting_lock_duration_add, customer_required, um (Contact)\n" +
+        "These 2 L1-LOCKED fields (machine/order_allocators) MUST be set BEFORE publish=true.\n" +
+        "arbitrations/rewards can be ADDED after publish but remove/clear requires pause+lock.\n" +
+        "\n" +
+        "⚠️ COMPENSATION_FUND + ARBITRATION LINKAGE (service.move:494-499):\n" +
+        "  At publish time, if compensation_fund > 0, Arbitration MUST be bound:\n" +
+        "    if (balance::value(&self.compensation_fund) > 0) {\n" +
+        "        assert!(arbitration_count > 0, E_ARBITRATION_NOT_SET_WITH_COMPENSATION_FUND);\n" +
+        "    }\n" +
+        "  The MCP handler enforces this as a HARD PRE-CHECK: if publish=true AND compensation_fund_add " +
+        "  is set in the same call AND arbitrations is empty, the call is REJECTED before submission. " +
+        "  If compensation_fund was deposited in a prior call, a SOFT WARNING is issued.\n" +
         "\n" +
         "SCHEMA-03 / P0-01 fix — DEPLOYMENT WORKFLOW (two-phase, avoids circular dependency):\n" +
         "  Phase 1 — CREATE (no publish): object={name:'my-service', type_parameter, permission} + machine + order_allocators + arbitrations.\n" +
         "    NOTE: buy_guard can use a LocalMark NAME (not address) to break the Guard→Service circular dependency.\n" +
         "    The name is resolved to an address at transaction build time.\n" +
         "  Phase 2 — PUBLISH: object='my-service' (string ref) + publish=true.\n" +
-        "    All SDK-LOCKED fields must be set in Phase 1; Phase 2 only flips the publish flag.\n" +
-        "  Post-publish updates: buy_guard, sales, description, repositories (add), rewards (add), etc."),
+        "    All L1-LOCKED fields must be set in Phase 1; Phase 2 only flips the publish flag.\n" +
+        "  Post-publish updates: buy_guard, sales, description, repositories (add), rewards (add), arbitrations (add), etc."),
 }).strict().describe("On-chain Service operations. USAGE: (1) CREATE NEW: Set 'object' field with OBJECT format {name, type_parameter, permission, ...} to create a Service. NOTE: 'name' goes INSIDE 'object', NOT at the data root level. 'permission' can be a new Permission object or reference an existing one - check 'object' field description for details. (2) OPERATE EXISTING: Set 'object' field with STRING format (object ID or name). The 'object' field is CRITICAL and REQUIRED in both cases. STRING for existing, OBJECT for new creation.");
 export const CallService_InputSchema = z.object({
     data: CallService_DataSchema,