@wowok/agent-mcp 2.6.0 → 2.6.3

package/dist/project/stage-gate.d.ts

@@ -35,6 +35,8 @@ export interface StageGateInput {
     }>;
     trace_coherent?: boolean;
     has_published_object?: boolean;
+    evaluation_score?: number;
+    deployment_doc_generated?: boolean;
     gas_budget?: GasBudgetCheck;
 }
 export interface StageGateResult {
@@ -45,5 +47,7 @@ export interface StageGateResult {
     warnings: string[];
     can_proceed: boolean;
 }
+export declare const STAGE5_RISK_SCORE_BLOCK = 50;
+export declare const STAGE5_RISK_SCORE_WARN = 80;
 export declare function validateStageGate(input: StageGateInput): StageGateResult;
 export declare function validateStageGateFromDisk(prefix: string, version: string, stage?: ProjectStage, extra?: Partial<StageGateInput>): StageGateResult;

package/dist/project/stage-gate.js

@@ -1,4 +1,66 @@
 import { loadStageState, projectExists } from "./project-store.js";
+export const STAGE5_RISK_SCORE_BLOCK = 50;
+export const STAGE5_RISK_SCORE_WARN = 80;
+function buildStage5ScoreCheck(input) {
+    if (input.evaluation_score !== undefined && input.evaluation_score !== null) {
+        const score = input.evaluation_score;
+        if (score < STAGE5_RISK_SCORE_BLOCK) {
+            return {
+                dimension: "risk",
+                status: "FAIL",
+                message: `Stage 3 evaluation score ${score} < ${STAGE5_RISK_SCORE_BLOCK} (block threshold). ` +
+                    `GLM6 handoff validation: deployment blocked — too many CRITICAL risks unresolved. ` +
+                    `Fix risks in Stage 3 (aggregate_risks) before deploying.`,
+            };
+        }
+        if (score < STAGE5_RISK_SCORE_WARN) {
+            return {
+                dimension: "risk",
+                status: "WARN",
+                message: `Stage 3 evaluation score ${score} < ${STAGE5_RISK_SCORE_WARN} (warn threshold). ` +
+                    `GLM6 handoff validation: non-blocking — proceed at your own risk. ` +
+                    `Recommend improving risk posture before deploying to mainnet.`,
+            };
+        }
+        return {
+            dimension: "risk",
+            status: "PASS",
+            message: `Stage 3 evaluation score ${score} >= ${STAGE5_RISK_SCORE_WARN} — safe to deploy`,
+        };
+    }
+    const riskPassed = input.risk_status === "RISK_PASSED";
+    return {
+        dimension: "risk",
+        status: riskPassed ? "PASS" : "WARN",
+        message: riskPassed
+            ? "Risk status is RISK_PASSED"
+            : `Risk status is ${input.risk_status ?? "unknown"} — recommend resolving before deployment`,
+    };
+}
+function buildStage5DocCheck(input) {
+    if (input.deployment_doc_generated !== true) {
+        return {
+            dimension: "semantic",
+            status: "FAIL",
+            message: "GLM6 handoff validation: Stage 4 deployment doc not generated. " +
+                "Call generate_deployment_doc (Stage 4) before executing deployment (Stage 5).",
+        };
+    }
+    const errorCount = input.doc_error_count ?? 0;
+    if (errorCount > 0) {
+        return {
+            dimension: "semantic",
+            status: "FAIL",
+            message: `GLM6 handoff validation: Stage 4 deployment doc has ${errorCount} D-error(s). ` +
+                `Fix all D-errors before executing deployment.`,
+        };
+    }
+    return {
+        dimension: "semantic",
+        status: "PASS",
+        message: "Stage 4 deployment doc generated with 0 D-errors",
+    };
+}
 function buildGasBudgetCheck(input) {
     const gb = input.gas_budget;
     if (!gb) {
@@ -220,6 +282,7 @@ function validateStage4Gate(input) {
 }
 function validateStage5Gate(input) {
     const checks = [];
+    checks.push(buildStage5DocCheck(input));
     const coherent = input.trace_coherent === true;
     checks.push({
         dimension: "semantic",
@@ -244,11 +307,7 @@ function validateStage5Gate(input) {
                 "Ensure all substeps are correct before executing on mainnet."
             : "No objects published yet — stage 5 is still reversible",
     });
-    checks.push({
-        dimension: "risk",
-        status: "PASS",
-        message: "Risks verified in stage 3",
-    });
+    checks.push(buildStage5ScoreCheck(input));
     checks.push({
         dimension: "isolation",
         status: "PASS",

package/dist/project/task-tracker.d.ts

@@ -0,0 +1,26 @@
+export type TaskStatus = "pending" | "running" | "completed" | "failed" | "cancelled";
+export interface TaskState {
+    task_id: string;
+    operation: string;
+    status: TaskStatus;
+    progress: number;
+    message: string;
+    result: unknown;
+    error: string | null;
+    started_at: number;
+    completed_at: number | null;
+    project_id: string | null;
+}
+declare class TaskTrackerImpl {
+    private tasks;
+    private counter;
+    create(operation: string, projectId?: string): string;
+    update(task_id: string, progress: number, message?: string): void;
+    complete(task_id: string, result: unknown): void;
+    fail(task_id: string, error: string): void;
+    get(task_id: string): TaskState | undefined;
+    list(projectId?: string): TaskState[];
+    private evictExpired;
+}
+export declare const TaskTracker: TaskTrackerImpl;
+export {};

package/dist/project/task-tracker.js

@@ -0,0 +1,78 @@
+const RETENTION_MS = 5 * 60 * 1000;
+const MAX_TASKS = 200;
+class TaskTrackerImpl {
+    tasks = new Map();
+    counter = 0;
+    create(operation, projectId) {
+        this.evictExpired();
+        this.counter++;
+        const task_id = `task_${Date.now()}_${this.counter}`;
+        const state = {
+            task_id,
+            operation,
+            status: "pending",
+            progress: 0,
+            message: "Task created",
+            result: null,
+            error: null,
+            started_at: Date.now(),
+            completed_at: null,
+            project_id: projectId ?? null,
+        };
+        this.tasks.set(task_id, state);
+        return task_id;
+    }
+    update(task_id, progress, message) {
+        const t = this.tasks.get(task_id);
+        if (!t)
+            return;
+        t.progress = Math.max(0, Math.min(100, progress));
+        if (message)
+            t.message = message;
+        if (t.status === "pending")
+            t.status = "running";
+    }
+    complete(task_id, result) {
+        const t = this.tasks.get(task_id);
+        if (!t)
+            return;
+        t.status = "completed";
+        t.progress = 100;
+        t.result = result;
+        t.completed_at = Date.now();
+    }
+    fail(task_id, error) {
+        const t = this.tasks.get(task_id);
+        if (!t)
+            return;
+        t.status = "failed";
+        t.error = error;
+        t.completed_at = Date.now();
+    }
+    get(task_id) {
+        return this.tasks.get(task_id);
+    }
+    list(projectId) {
+        const all = Array.from(this.tasks.values());
+        if (projectId)
+            return all.filter(t => t.project_id === projectId);
+        return all;
+    }
+    evictExpired() {
+        const now = Date.now();
+        for (const [id, t] of this.tasks) {
+            if (t.completed_at && now - t.completed_at > RETENTION_MS) {
+                this.tasks.delete(id);
+            }
+        }
+        if (this.tasks.size > MAX_TASKS) {
+            const completed = Array.from(this.tasks.values())
+                .filter(t => t.status === "completed" || t.status === "failed")
+                .sort((a, b) => (a.completed_at ?? 0) - (b.completed_at ?? 0));
+            const toEvict = completed.slice(0, this.tasks.size - MAX_TASKS);
+            for (const t of toEvict)
+                this.tasks.delete(t.task_id);
+        }
+    }
+}
+export const TaskTracker = new TaskTrackerImpl();

package/dist/safety/preview.js

@@ -5,6 +5,16 @@ const LEVEL_LABEL = {
     publish: "Publish confirmation (irreversible lock)",
     irreversible: "Irreversible operation confirmation",
 };
+const CONFIRMATION_REQUIRED_OPERATIONS = [
+    "guard (CREATE — immutable, cannot be edited or deleted)",
+    "service (publish=true — locks machine/order_allocators)",
+    "machine (publish=true — locks nodes/pairs/forwards)",
+    "arbitration (verdict — irreversible)",
+    "payment (send — irreversible)",
+    "treasury (withdraw/external_withdraw/external_deposit — irreversible)",
+    "reward / treasury / service.compensation_fund_add (amount-sensitive)",
+    "gen_passport (gas-consuming test)",
+];
 export function renderPreview(p) {
     const lines = [];
     lines.push(`⚠️  Confirmation required — ${LEVEL_LABEL[p.level]}`);
@@ -32,5 +42,11 @@ export function renderPreview(p) {
     }
     lines.push("");
     lines.push("Confirm by re-calling with env.confirmed=true, or modify/cancel.");
+    lines.push("");
+    lines.push("Operations that require env.confirmed=true:");
+    for (const op of CONFIRMATION_REQUIRED_OPERATIONS) {
+        lines.push(`  - ${op}`);
+    }
+    lines.push('Example: {"env": {"account": "...", "network": "testnet", "confirmed": true}}');
     return lines.join("\n");
 }

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

@@ -61,7 +61,7 @@ export declare const CallAllocation_CreateSchema: z.ZodObject<{
                     Signer: "signer";
                 }>]>;
                 sharing: z.ZodUnion<[z.ZodNumber, z.ZodString]>;
-                mode: z.ZodEnum<["Amount", "Rate", "Surplus"]>;
+                mode: z.ZodUnion<[z.ZodEnum<["Amount", "Rate", "Surplus"]>, z.ZodEffects<z.ZodNumber, "Amount" | "Rate" | "Surplus", number>]>;
             }, "strip", z.ZodTypeAny, {
                 mode: "Amount" | "Rate" | "Surplus";
                 sharing: string | number;
@@ -76,7 +76,7 @@ export declare const CallAllocation_CreateSchema: z.ZodObject<{
                     Signer: "signer";
                 };
             }, {
-                mode: "Amount" | "Rate" | "Surplus";
+                mode: number | "Amount" | "Rate" | "Surplus";
                 sharing: string | number;
                 who: {
                     GuardIdentifier: number;
@@ -112,7 +112,7 @@ export declare const CallAllocation_CreateSchema: z.ZodObject<{
         }, {
             guard: string;
             sharing: {
-                mode: "Amount" | "Rate" | "Surplus";
+                mode: number | "Amount" | "Rate" | "Surplus";
                 sharing: string | number;
                 who: {
                     GuardIdentifier: number;
@@ -155,7 +155,7 @@ export declare const CallAllocation_CreateSchema: z.ZodObject<{
         allocators: {
             guard: string;
             sharing: {
-                mode: "Amount" | "Rate" | "Surplus";
+                mode: number | "Amount" | "Rate" | "Surplus";
                 sharing: string | number;
                 who: {
                     GuardIdentifier: number;
@@ -262,7 +262,7 @@ export declare const CallAllocation_CreateSchema: z.ZodObject<{
         allocators: {
             guard: string;
             sharing: {
-                mode: "Amount" | "Rate" | "Surplus";
+                mode: number | "Amount" | "Rate" | "Surplus";
                 sharing: string | number;
                 who: {
                     GuardIdentifier: number;
@@ -410,7 +410,7 @@ export declare const CallAllocation_DataSchema: z.ZodUnion<[z.ZodObject<{
                     Signer: "signer";
                 }>]>;
                 sharing: z.ZodUnion<[z.ZodNumber, z.ZodString]>;
-                mode: z.ZodEnum<["Amount", "Rate", "Surplus"]>;
+                mode: z.ZodUnion<[z.ZodEnum<["Amount", "Rate", "Surplus"]>, z.ZodEffects<z.ZodNumber, "Amount" | "Rate" | "Surplus", number>]>;
             }, "strip", z.ZodTypeAny, {
                 mode: "Amount" | "Rate" | "Surplus";
                 sharing: string | number;
@@ -425,7 +425,7 @@ export declare const CallAllocation_DataSchema: z.ZodUnion<[z.ZodObject<{
                     Signer: "signer";
                 };
             }, {
-                mode: "Amount" | "Rate" | "Surplus";
+                mode: number | "Amount" | "Rate" | "Surplus";
                 sharing: string | number;
                 who: {
                     GuardIdentifier: number;
@@ -461,7 +461,7 @@ export declare const CallAllocation_DataSchema: z.ZodUnion<[z.ZodObject<{
         }, {
             guard: string;
             sharing: {
-                mode: "Amount" | "Rate" | "Surplus";
+                mode: number | "Amount" | "Rate" | "Surplus";
                 sharing: string | number;
                 who: {
                     GuardIdentifier: number;
@@ -504,7 +504,7 @@ export declare const CallAllocation_DataSchema: z.ZodUnion<[z.ZodObject<{
         allocators: {
             guard: string;
             sharing: {
-                mode: "Amount" | "Rate" | "Surplus";
+                mode: number | "Amount" | "Rate" | "Surplus";
                 sharing: string | number;
                 who: {
                     GuardIdentifier: number;
@@ -611,7 +611,7 @@ export declare const CallAllocation_DataSchema: z.ZodUnion<[z.ZodObject<{
         allocators: {
             guard: string;
             sharing: {
-                mode: "Amount" | "Rate" | "Surplus";
+                mode: number | "Amount" | "Rate" | "Surplus";
                 sharing: string | number;
                 who: {
                     GuardIdentifier: number;
@@ -759,7 +759,7 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
                         Signer: "signer";
                     }>]>;
                     sharing: z.ZodUnion<[z.ZodNumber, z.ZodString]>;
-                    mode: z.ZodEnum<["Amount", "Rate", "Surplus"]>;
+                    mode: z.ZodUnion<[z.ZodEnum<["Amount", "Rate", "Surplus"]>, z.ZodEffects<z.ZodNumber, "Amount" | "Rate" | "Surplus", number>]>;
                 }, "strip", z.ZodTypeAny, {
                     mode: "Amount" | "Rate" | "Surplus";
                     sharing: string | number;
@@ -774,7 +774,7 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
                         Signer: "signer";
                     };
                 }, {
-                    mode: "Amount" | "Rate" | "Surplus";
+                    mode: number | "Amount" | "Rate" | "Surplus";
                     sharing: string | number;
                     who: {
                         GuardIdentifier: number;
@@ -810,7 +810,7 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
             }, {
                 guard: string;
                 sharing: {
-                    mode: "Amount" | "Rate" | "Surplus";
+                    mode: number | "Amount" | "Rate" | "Surplus";
                     sharing: string | number;
                     who: {
                         GuardIdentifier: number;
@@ -853,7 +853,7 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
             allocators: {
                 guard: string;
                 sharing: {
-                    mode: "Amount" | "Rate" | "Surplus";
+                    mode: number | "Amount" | "Rate" | "Surplus";
                     sharing: string | number;
                     who: {
                         GuardIdentifier: number;
@@ -960,7 +960,7 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
             allocators: {
                 guard: string;
                 sharing: {
-                    mode: "Amount" | "Rate" | "Surplus";
+                    mode: number | "Amount" | "Rate" | "Surplus";
                     sharing: string | number;
                     who: {
                         GuardIdentifier: number;
@@ -1377,7 +1377,7 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
             allocators: {
                 guard: string;
                 sharing: {
-                    mode: "Amount" | "Rate" | "Surplus";
+                    mode: number | "Amount" | "Rate" | "Surplus";
                     sharing: string | number;
                     who: {
                         GuardIdentifier: number;

package/dist/schema/call/allocation.js

@@ -1,7 +1,7 @@
 import { z } from "zod";
 import { CoinParamSchema, CallEnvSchema, SubmissionCallSchema, TypeNamedObjectSchema } from "./base.js";
 import { AllocatorsSchema, PaymentInfoSchema } from "../query/index.js";
-import { NameOrAddressSchema, ReceivedBalanceOrRecentlySchema } from "../common/index.js";
+import { NameOrAddressSchema, ReceivedBalanceOrRecentlySchema, RECEIVE_FORMAT_BLOCK_BALANCE } from "../common/index.js";
 export const CallAllocation_CreateSchema = z.object({
     object: TypeNamedObjectSchema.describe("REQUIRED for creating new object. Provide {name: 'yourName', type: 'Allocation'} to create and name the new Allocation object."),
     allocators: AllocatorsSchema,
@@ -10,7 +10,7 @@ export const CallAllocation_CreateSchema = z.object({
 }).strict().describe("Create a new Allocation object. Set 'object' field with {name: 'yourName', type: 'Allocation'} to name the new object. Notice:'name' goes INSIDE 'object', NOT at the data root level.");
 export const CallAllocation_OperateSchema = z.object({
     object: NameOrAddressSchema.describe("REQUIRED for operating existing object. Provide the Allocation object ID or existing name to reference the target object."),
-    received_coins: ReceivedBalanceOrRecentlySchema.optional().describe("Unwrap the CoinWrapper objects received by the Allocation object and deposit them into the pending allocation balance"),
+    received_coins: ReceivedBalanceOrRecentlySchema.optional().describe("Unwrap the CoinWrapper objects received by the Allocation object and deposit them into the pending allocation balance." + RECEIVE_FORMAT_BLOCK_BALANCE),
     alloc_by_guard: NameOrAddressSchema.optional().describe("Verify the specified Guard and execute the corresponding fund allocation")
 }).strict().describe("Operate on an existing Allocation object. Set 'object' field with the object ID or existing name to specify the target.");
 export const CallAllocation_DataSchema = z.union([

package/dist/schema/call/arbitration.js

@@ -1,21 +1,34 @@
 import { z } from "zod";
 import { TypedPermissionObjectSchema, CoinParamSchema, NamedObjectSchema, CallEnvSchema, SubmissionCallSchema } from "./base.js";
 import { VotingGuardSchema } from "../query/index.js";
-import { BalanceTypeSchema, DescriptionSchema, LongNameSchema, NameOrAddressSchema, NameSchema, ReceivedObjectsOrRecentlySchema } from "../common/index.js";
+import { BalanceTypeSchema, DescriptionSchema, LongNameSchema, NameOrAddressSchema, NameSchema, ReceivedObjectsOrRecentlySchema, RECEIVE_FORMAT_BLOCK_OBJECTS } from "../common/index.js";
 export const DisputeSchema = z.object({
     order: NameOrAddressSchema.describe("Order ID or name."),
     description: DescriptionSchema.optional().describe("Dispute description."),
     proposition: z.array(LongNameSchema).describe("List of dispute propositions."),
-    fee: CoinParamSchema.describe("Dispute processing fee."),
-    namedArb: NamedObjectSchema.optional().describe("Name for the newly created arbitration object.")
+    fee: CoinParamSchema.describe("Dispute processing fee. FORMAT: {balance: <amount_in_smallest_unit>} — field name is 'balance' (NOT 'amount'). " +
+        "The token type and precision are determined by the Arbitration object's type_parameter (the generic type set when the Arbitration was created). " +
+        "For WOW (9 decimals): {balance: 50000000} = 0.05 WOW. For SUI (9 decimals): {balance: 50000000} = 0.05 SUI. " +
+        "For tokens with different decimals, adjust accordingly (e.g. USDC has 6 decimals, so {balance: 50000} = 0.05 USDC)."),
+    namedArb: NamedObjectSchema.optional().describe("RECOMMENDED: Set a local name for the newly created Arb (arbitration case) object. " +
+        "Without this, the Arb is only referenceable by its on-chain address. " +
+        "Example: {name: 'my_dispute_v1'} allows subsequent vote/feedback operations to use 'my_dispute_v1'.")
 }).strict();
 export const ConfirmSchema = z.object({
     arb: NameOrAddressSchema,
-    voting_deadline: z.union([z.number().int().min(0), z.null()])
+    voting_deadline: z.union([z.number().int().min(0), z.null()]).describe("Voting deadline as Unix timestamp in MILLISECONDS (ms). " +
+        "MUST be in the future (recommended: now + at least 86400000 ms = 24 hours). " +
+        "Set to null to remove the deadline. " +
+        "COMMON MISTAKE: using seconds instead of milliseconds (multiply by 1000). " +
+        "Example: Date.now() + 259200000 for 3 days from now.")
 }).strict();
 export const VotingDeadlineChangeSchema = z.object({
     arb: NameOrAddressSchema,
-    voting_deadline: z.union([z.number(), z.null()])
+    voting_deadline: z.union([z.number(), z.null()]).describe("New voting deadline as Unix timestamp in MILLISECONDS (ms). " +
+        "MUST be in the future (recommended: now + at least 86400000 ms = 24 hours). " +
+        "Set to null to remove the deadline. " +
+        "COMMON MISTAKE: using seconds instead of milliseconds (multiply by 1000). " +
+        "Example: Date.now() + 259200000 for 3 days from now.")
 }).strict();
 export const VoteSchema = z.object({
     arb: NameOrAddressSchema,
@@ -82,7 +95,7 @@ export const CallArbitration_DataSchema = z.object({
     fees_transfer: FeesTransferSchema.optional().describe("Distribute the withdrawn arbitration fees."),
     usage_guard: z.union([NameOrAddressSchema, z.null()]).optional().describe("Set Guard for verification when users apply for arbitration; if Guard verification fails, users will not be able to apply for arbitration."),
     voting_guard: VotingGuardActionSchema.optional().describe("Set Guard for verification during arbitration voting; if Guard verification fails, arbitration voting will fail."),
-    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 Arbitration 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 Arbitration operations. USAGE: (1) CREATE NEW: Set 'object' field with OBJECT format {name, type_parameter, permission, ...} to create an Arbitration. 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 CallArbitration_InputSchema = z.object({

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

@@ -1597,7 +1597,7 @@ export declare const SemanticSummarySchema: z.ZodObject<{
 export declare const CallResponseErrorSchema: z.ZodObject<{
     type: z.ZodLiteral<"error">;
     error: z.ZodString;
-    error_code: z.ZodOptional<z.ZodEnum<["invalid_parameter", "guard_rejected", "state_conflict", "insufficient_balance", "object_not_found", "permission_denied", "immutable_violation", "network_error", "rate_limit", "gas_exceeded", "bcs_error", "signature_error", "config_error", "unknown"]>>;
+    error_code: z.ZodOptional<z.ZodEnum<["invalid_parameter", "guard_rejected", "state_conflict", "insufficient_balance", "object_not_found", "permission_denied", "immutable_violation", "network_error", "rate_limit", "gas_exceeded", "bcs_error", "signature_error", "config_error", "wip_verification_failed", "unknown"]>>;
     retryable: z.ZodOptional<z.ZodBoolean>;
     recovery_hint: z.ZodOptional<z.ZodString>;
     related_object: z.ZodOptional<z.ZodString>;
@@ -1605,14 +1605,14 @@ export declare const CallResponseErrorSchema: z.ZodObject<{
     type: "error";
     error: string;
     related_object?: string | undefined;
-    error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_error" | "rate_limit" | "gas_exceeded" | "bcs_error" | "signature_error" | "config_error" | undefined;
+    error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_error" | "rate_limit" | "gas_exceeded" | "bcs_error" | "signature_error" | "config_error" | "wip_verification_failed" | undefined;
     retryable?: boolean | undefined;
     recovery_hint?: string | undefined;
 }, {
     type: "error";
     error: string;
     related_object?: string | undefined;
-    error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_error" | "rate_limit" | "gas_exceeded" | "bcs_error" | "signature_error" | "config_error" | undefined;
+    error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_error" | "rate_limit" | "gas_exceeded" | "bcs_error" | "signature_error" | "config_error" | "wip_verification_failed" | undefined;
     retryable?: boolean | undefined;
     recovery_hint?: string | undefined;
 }>;
@@ -4416,7 +4416,7 @@ export declare const CallResultSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObj
 }>, z.ZodObject<{
     type: z.ZodLiteral<"error">;
     error: z.ZodString;
-    error_code: z.ZodOptional<z.ZodEnum<["invalid_parameter", "guard_rejected", "state_conflict", "insufficient_balance", "object_not_found", "permission_denied", "immutable_violation", "network_error", "rate_limit", "gas_exceeded", "bcs_error", "signature_error", "config_error", "unknown"]>>;
+    error_code: z.ZodOptional<z.ZodEnum<["invalid_parameter", "guard_rejected", "state_conflict", "insufficient_balance", "object_not_found", "permission_denied", "immutable_violation", "network_error", "rate_limit", "gas_exceeded", "bcs_error", "signature_error", "config_error", "wip_verification_failed", "unknown"]>>;
     retryable: z.ZodOptional<z.ZodBoolean>;
     recovery_hint: z.ZodOptional<z.ZodString>;
     related_object: z.ZodOptional<z.ZodString>;
@@ -4424,14 +4424,14 @@ export declare const CallResultSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObj
     type: "error";
     error: string;
     related_object?: string | undefined;
-    error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_error" | "rate_limit" | "gas_exceeded" | "bcs_error" | "signature_error" | "config_error" | undefined;
+    error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_error" | "rate_limit" | "gas_exceeded" | "bcs_error" | "signature_error" | "config_error" | "wip_verification_failed" | undefined;
     retryable?: boolean | undefined;
     recovery_hint?: string | undefined;
 }, {
     type: "error";
     error: string;
     related_object?: string | undefined;
-    error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_error" | "rate_limit" | "gas_exceeded" | "bcs_error" | "signature_error" | "config_error" | undefined;
+    error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_error" | "rate_limit" | "gas_exceeded" | "bcs_error" | "signature_error" | "config_error" | "wip_verification_failed" | undefined;
     retryable?: boolean | undefined;
     recovery_hint?: string | undefined;
 }>, z.ZodObject<{
@@ -4902,7 +4902,7 @@ export declare const CallResultSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObj
     };
     rule_id?: string | undefined;
 }>]>;
-export declare const ObjectsSchema: z.ZodUnion<[z.ZodObject<{
+export declare const ObjectsSchema: z.ZodEffects<z.ZodUnion<[z.ZodObject<{
     op: z.ZodUnion<[z.ZodLiteral<"add">, z.ZodLiteral<"set">]>;
     objects: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
 }, "strict", z.ZodTypeAny, {
@@ -4926,7 +4926,15 @@ export declare const ObjectsSchema: z.ZodUnion<[z.ZodObject<{
     op: "clear";
 }, {
     op: "clear";
-}>]>;
+}>]>, {
+    op: "set" | "add";
+    objects: string[];
+} | {
+    op: "remove";
+    objects: string[];
+} | {
+    op: "clear";
+}, unknown>;
 export declare const VerifyMismatchSchema: z.ZodObject<{
     dimension: z.ZodEnum<["created", "modified", "released", "state", "event"]>;
     expected: z.ZodString;
@@ -7391,7 +7399,7 @@ export declare const CallOutputSchema: z.ZodObject<{
     }>, z.ZodObject<{
         type: z.ZodLiteral<"error">;
         error: z.ZodString;
-        error_code: z.ZodOptional<z.ZodEnum<["invalid_parameter", "guard_rejected", "state_conflict", "insufficient_balance", "object_not_found", "permission_denied", "immutable_violation", "network_error", "rate_limit", "gas_exceeded", "bcs_error", "signature_error", "config_error", "unknown"]>>;
+        error_code: z.ZodOptional<z.ZodEnum<["invalid_parameter", "guard_rejected", "state_conflict", "insufficient_balance", "object_not_found", "permission_denied", "immutable_violation", "network_error", "rate_limit", "gas_exceeded", "bcs_error", "signature_error", "config_error", "wip_verification_failed", "unknown"]>>;
         retryable: z.ZodOptional<z.ZodBoolean>;
         recovery_hint: z.ZodOptional<z.ZodString>;
         related_object: z.ZodOptional<z.ZodString>;
@@ -7399,14 +7407,14 @@ export declare const CallOutputSchema: z.ZodObject<{
         type: "error";
         error: string;
         related_object?: string | undefined;
-        error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_error" | "rate_limit" | "gas_exceeded" | "bcs_error" | "signature_error" | "config_error" | undefined;
+        error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_error" | "rate_limit" | "gas_exceeded" | "bcs_error" | "signature_error" | "config_error" | "wip_verification_failed" | undefined;
         retryable?: boolean | undefined;
         recovery_hint?: string | undefined;
     }, {
         type: "error";
         error: string;
         related_object?: string | undefined;
-        error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_error" | "rate_limit" | "gas_exceeded" | "bcs_error" | "signature_error" | "config_error" | undefined;
+        error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_error" | "rate_limit" | "gas_exceeded" | "bcs_error" | "signature_error" | "config_error" | "wip_verification_failed" | undefined;
         retryable?: boolean | undefined;
         recovery_hint?: string | undefined;
     }>, z.ZodObject<{
@@ -8694,7 +8702,7 @@ export declare const CallOutputSchema: z.ZodObject<{
         type: "error";
         error: string;
         related_object?: string | undefined;
-        error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_error" | "rate_limit" | "gas_exceeded" | "bcs_error" | "signature_error" | "config_error" | undefined;
+        error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_error" | "rate_limit" | "gas_exceeded" | "bcs_error" | "signature_error" | "config_error" | "wip_verification_failed" | undefined;
         retryable?: boolean | undefined;
         recovery_hint?: string | undefined;
     } | {
@@ -9270,7 +9278,7 @@ export declare const CallOutputSchema: z.ZodObject<{
         type: "error";
         error: string;
         related_object?: string | undefined;
-        error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_error" | "rate_limit" | "gas_exceeded" | "bcs_error" | "signature_error" | "config_error" | undefined;
+        error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_error" | "rate_limit" | "gas_exceeded" | "bcs_error" | "signature_error" | "config_error" | "wip_verification_failed" | undefined;
         retryable?: boolean | undefined;
         recovery_hint?: string | undefined;
     } | {