@wowok/agent-mcp 2.6.0 → 2.6.1

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 衔接验证: 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 衔接验证: 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 衔接验证: 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 衔接验证: 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/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;
     } | {

package/dist/schema/call/base.js

@@ -15,9 +15,30 @@ export function strictParse(schema, input, fieldName = "input") {
     const inputFields = Object.keys(input || {});
     const unknownFields = inputFields.filter(f => !allowedFields.includes(f));
     if (unknownFields.length > 0) {
-        throw new Error(`Unknown ${fieldName} field(s): ${unknownFields.join(', ')}`);
+        throw new Error(`Unknown ${fieldName} field(s): ${unknownFields.join(', ')}. ` +
+            `Allowed fields: ${allowedFields.join(', ')}. ` +
+            `Remove the unknown field(s) or check the schema for the correct field name.`);
     }
-    return schema.parse(input);
+    const result = schema.safeParse(input);
+    if (!result.success) {
+        const errorLines = result.error.issues.map(issue => {
+            const path = issue.path.length > 0
+                ? issue.path.map(p => typeof p === "number" ? `[${p}]` : p).join(".").replace(".[", "[")
+                : "(root)";
+            let extras = "";
+            const issueAny = issue;
+            if (issue.code === "invalid_type") {
+                const expected = issueAny.expected;
+                const received = issueAny.received;
+                if (typeof expected === "string" && typeof received === "string") {
+                    extras = ` (expected: ${expected}; received: ${received})`;
+                }
+            }
+            return `  - ${fieldName}.${path} [${issue.code}]: ${issue.message}${extras}`;
+        });
+        throw new Error(`${fieldName} validation failed with ${result.error.issues.length} error(s):\n${errorLines.join("\n")}`);
+    }
+    return result.data;
 }
 export const NamedObjectSchema = z.object({
     name: NameSchema.optional().describe("The name of the object"),
@@ -227,7 +248,7 @@ export const SemanticSummarySchema = z.object({
 export const CallResponseErrorSchema = z.object({
     type: z.literal("error").describe("Discriminator for this result variant. Constraint: always 'error'. Example: 'error'"),
     error: z.string().describe("Human-readable error message from the chain or SDK. Relation: enriched via enrichMoveError before classification. Example: 'Insufficient balance for gas'"),
-    error_code: z.enum(["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"]).optional().describe("Error classification for programmatic recovery. Constraint: enum of 14 values. Relation: drives Recover Loop strategy selection. Example: 'insufficient_balance'"),
+    error_code: z.enum(["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"]).optional().describe("Error classification for programmatic recovery. Constraint: enum of 15 values (must match ErrorCode in semantic.ts). Relation: drives Recover Loop strategy selection. Example: 'insufficient_balance'"),
     retryable: z.boolean().optional().describe("Whether the same call can be retried as-is. Constraint: true for network_error, rate_limit, gas_exceeded, and insufficient_balance. Example: true"),
     recovery_hint: z.string().optional().describe("Recovery suggestion for AI or user. Relation: paired with error_code to guide Recover Loop. Example: 'Claim faucet tokens then retry'"),
     related_object: z.string().optional().describe("Object ID related to the error, if any. Example: '0x123...'"),
@@ -263,7 +284,7 @@ export const SubmissionCallSchema = z.object({
         object: NameOrAddressSchema.describe("Guard object name or ID to verify against. Example: 'my-delivery-guard' or '0x123...'"),
         impack: z.boolean().describe("Whether this Guard's verification result participates in the final logic. Constraint: if false, the Guard is checked but does not block the operation. Example: true"),
     }).strict()).max(MAX_GUARD_COUNT_PASSPORT).describe(`Array of Guard objects to verify. Constraint: at most ${MAX_GUARD_COUNT_PASSPORT} entries (MAX_GUARD_COUNT_PASSPORT). Relation: each entry corresponds to a Guard bound to the operation.`),
-    submission: z.array(GuardSubmissionToFillSchema).describe("User-submitted data for each Guard. Relation: one entry per Guard in the guard array; fill submission fields and resubmit via call_with_submission."),
+    submission: z.array(GuardSubmissionToFillSchema).describe("User-submitted data for each Guard. Relation: one entry per Guard in the guard array; fill submission fields and resubmit via call_with_submission. PLACEMENT: this `submission` field is at the SAME level as `data` and `env` in the operation input — NOT inside `data.data`. Example structure: {tool:'onchain_operations', data:{operation_type:'order', data:{object:'my_order', progress:{...}}}, submission:{type:'submission', guard:[...], submission:[...]}}"),
 }).strict().describe("Guard verification required. The operation was blocked because one or more Guards require user-submitted data. Fill the submission array and resubmit. Semantic status is 'pending_input'.");
 export const TypedPermissionObjectSchema = z.union([
     NameOrAddressSchema.describe("String format: Reference an EXISTING object by its name (local mark) or on-chain object ID. Use this when the object already exists and you want to reference it."),
@@ -292,7 +313,7 @@ export const CallResultSchema = z.discriminatedUnion("type", [
     }),
     CallPendingConfirmationSchema,
 ]).describe("Discriminated union of 6 result types: 'transaction' (raw Wow response), 'submission' (Guard verification needed), 'error' (failed with error_code), 'data' (query result array), 'null' (no-op completed), 'pending_confirmation' (ConfirmGate blocked — re-call with env.confirmed=true). AI should check result.type first to determine how to process the response.");
-export const ObjectsSchema = z.union([
+export const ObjectsSchema = z.preprocess((val) => (Array.isArray(val) ? { op: 'add', objects: val } : val), z.union([
     z.object({
         op: z.union([z.literal('add'), z.literal('set')]),
         objects: z.array(NameOrAddressSchema).describe('List of object IDs or names to add or set'),
@@ -304,7 +325,7 @@ export const ObjectsSchema = z.union([
     z.object({
         op: z.literal('clear'),
     }).strict(),
-]);
+]));
 export const VerifyMismatchSchema = z.object({
     dimension: z.enum(["created", "modified", "released", "state", "event"]).describe("Verify dimension that mismatched. Example: 'created'"),
     expected: z.string().describe("What the Expect Loop declared. Example: 'Service object created'"),

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

@@ -2707,19 +2707,19 @@ export declare const BridgeCallOutputSchema: 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", "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>;
     }, "strip", z.ZodTypeAny, {
         type: "error";
         error: string;
-        error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_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;
-        error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_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;
     }>]>;
@@ -3393,7 +3393,7 @@ export declare const BridgeCallOutputSchema: z.ZodObject<{
     } | {
         type: "error";
         error: string;
-        error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_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;
     };
@@ -3528,7 +3528,7 @@ export declare const BridgeCallOutputSchema: z.ZodObject<{
     } | {
         type: "error";
         error: string;
-        error_code?: "unknown" | "invalid_parameter" | "guard_rejected" | "state_conflict" | "insufficient_balance" | "object_not_found" | "permission_denied" | "immutable_violation" | "network_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;
     };

package/dist/schema/call/bridge.js

@@ -444,7 +444,9 @@ export const BridgeCallOutputSchema = z.object({
                 .enum([
                 "invalid_parameter", "guard_rejected", "state_conflict",
                 "insufficient_balance", "object_not_found", "permission_denied",
-                "immutable_violation", "network_error", "unknown",
+                "immutable_violation", "network_error", "rate_limit",
+                "gas_exceeded", "bcs_error", "signature_error",
+                "config_error", "wip_verification_failed", "unknown",
             ])
                 .optional()
                 .describe("Error classification for programmatic recovery"),