@wowok/agent-mcp 2.3.16 → 2.3.18

package/dist/knowledge/safety-rules.js

@@ -150,6 +150,67 @@ export const CONFIRMATION_RULES = [
             "用默认账户即可",
         ],
     },
+    {
+        id: "guard_create_immutable",
+        when: (ot, data, _env) => {
+            if (ot === "guard")
+                return true;
+            return false;
+        },
+        level: "irreversible",
+        preview: (ot, data, env) => {
+            const table = data?.table ?? [];
+            const root = data?.root;
+            const rely = data?.rely;
+            const rootType = typeof root === 'object' && root !== null && 'type' in root
+                ? root.type
+                : typeof root === 'object' && root !== null && 'type' in root && root.type === 'file'
+                    ? 'file'
+                    : 'unknown';
+            const immutable_fields = ['table', 'root'];
+            if (rely)
+                immutable_fields.push('rely');
+            return {
+                level: "irreversible",
+                operation: ot,
+                object: data?.namedNew?.name,
+                network: env?.network,
+                account: env?.account ?? "",
+                immutable_after: immutable_fields,
+                irreversible: true,
+                warnings: [
+                    ...collectDefaultWarnings(env, data),
+                    `Guard is CREATE-only and immutable — cannot be edited or deleted after creation`,
+                    `Table entries: ${table.length} (max 256)`,
+                    `Root node type: ${rootType} (must return Bool)`,
+                    ...(rely ? [`Rely dependencies: ${rely.guards?.length ?? 0} (max 4, AND/OR logic)`] : []),
+                    `To modify later: export via guard2file → edit → CREATE new → rebind`,
+                ],
+            };
+        },
+        bypass_on_explicit_intent: [],
+    },
+    {
+        id: "guard_gen_passport_test",
+        when: (ot, _data, _env) => {
+            if (ot === "gen_passport")
+                return true;
+            return false;
+        },
+        level: "standard",
+        preview: (ot, data, env) => ({
+            level: "standard",
+            operation: ot,
+            object: data?.guard,
+            network: env?.network,
+            account: env?.account ?? "",
+            warnings: [
+                ...collectDefaultWarnings(env, data),
+                "gen_passport will consume gas for static testing",
+            ],
+        }),
+        bypass_on_explicit_intent: ["test guard", "测试 guard", "gen passport", "生成 passport"],
+    },
 ];
 function extractAmount(data) {
     if (!data)

package/dist/knowledge/tool-constraints.js

@@ -26,10 +26,16 @@ export const TOOL_CONSTRAINTS = [
         constraints: [
             {
                 field: "node.nodes",
-                description: "Machine must have at least one node",
-                severity: "error",
-                check: (d) => Array.isArray(d?.node?.nodes) && d.node.nodes.length > 0,
-                message: () => "Machine has no nodes. A workflow template requires at least one node.",
+                description: "Machine should have at least one node when published",
+                severity: "warning",
+                check: (d) => {
+                    if (typeof d?.object === "string")
+                        return true;
+                    if (!d?.publish)
+                        return true;
+                    return Array.isArray(d?.node?.nodes) && d.node.nodes.length > 0;
+                },
+                message: () => "Publishing a Machine without nodes — a workflow template requires at least one node. Consider adding nodes before publish, or publish later after adding nodes.",
             },
         ],
     },
@@ -55,15 +61,7 @@ export const TOOL_CONSTRAINTS = [
     },
     {
         operation_type: "order",
-        constraints: [
-            {
-                field: "service",
-                description: "Order must reference a service",
-                severity: "error",
-                check: (d) => !!d?.service,
-                message: () => "Order requires a 'service' field pointing to the service being ordered.",
-            },
-        ],
+        constraints: [],
     },
     {
         operation_type: "reward",
@@ -120,15 +118,7 @@ export const TOOL_CONSTRAINTS = [
     },
     {
         operation_type: "progress",
-        constraints: [
-            {
-                field: "parent",
-                description: "Progress must reference a parent machine",
-                severity: "error",
-                check: (d) => !!d?.parent,
-                message: () => "Progress requires a 'parent' field pointing to the Machine.",
-            },
-        ],
+        constraints: [],
     },
 ];
 const CONSTRAINT_INDEX = new Map(TOOL_CONSTRAINTS.map((c) => [c.operation_type, c]));

package/dist/safety/confirm-gate.d.ts

@@ -1,14 +1,16 @@
 import type { CallEnv } from "../schema/call/base.js";
-import { type ConfirmationRule, type OperationPreview } from "../knowledge/safety-rules.js";
+import { type ConfirmLevel, type OperationPreview } from "../knowledge/safety-rules.js";
 export declare function isConfirmGateEnabled(): boolean;
+export type FailMode = "open" | "closed";
 export type ConfirmResult = {
     pass: true;
 } | {
     pass: false;
-    level: ConfirmationRule["level"];
+    level: ConfirmLevel;
     preview: OperationPreview;
     rule_id: string;
 };
+export declare function getFailMode(level: ConfirmLevel): FailMode;
 export declare function confirmGate(operation_type: string, data: any, env: any, userIntentPhrases?: string[]): ConfirmResult;
 export declare function isExplicitlyConfirmed(env: CallEnv & {
     confirmed?: boolean;

package/dist/safety/confirm-gate.js

@@ -3,24 +3,64 @@ import { isEnabled as isRuntimeEnabled } from "../config/index.js";
 export function isConfirmGateEnabled() {
     return isRuntimeEnabled("confirm_gate");
 }
+const internalErrorCounts = {};
+function logInternalError(context, error) {
+    const key = context;
+    internalErrorCounts[key] = (internalErrorCounts[key] ?? 0) + 1;
+    const count = internalErrorCounts[key];
+    console.warn(`[ConfirmGate] internal_error context="${context}" count=${count} error=${error instanceof Error ? error.message : String(error)}`);
+}
+export function getFailMode(level) {
+    switch (level) {
+        case "irreversible":
+        case "publish":
+        case "amount":
+            return "closed";
+        case "standard":
+        case "none":
+        default:
+            return "open";
+    }
+}
+function buildInternalErrorResult() {
+    return {
+        pass: false,
+        level: "irreversible",
+        preview: {
+            level: "irreversible",
+            operation: "unknown",
+            irreversible: true,
+        },
+        rule_id: "internal_error",
+    };
+}
 export function confirmGate(operation_type, data, env, userIntentPhrases) {
     if (!isConfirmGateEnabled())
         return { pass: true };
     if (env?.confirmed === true)
         return { pass: true };
     let matched;
+    let ruleSearchError = null;
     try {
         matched = CONFIRMATION_RULES.find((r) => {
             try {
                 return r.when(operation_type, data, env);
             }
-            catch {
+            catch (e) {
+                logInternalError(`rule_when:${r.id}`, e);
+                if (getFailMode(r.level) === "closed") {
+                    throw e;
+                }
                 return false;
             }
         });
     }
-    catch {
-        return { pass: true };
+    catch (e) {
+        ruleSearchError = e;
+    }
+    if (ruleSearchError) {
+        logInternalError("rule_search", ruleSearchError);
+        return buildInternalErrorResult();
     }
     if (!matched)
         return { pass: true };
@@ -34,7 +74,11 @@ export function confirmGate(operation_type, data, env, userIntentPhrases) {
     try {
         preview = matched.preview(operation_type, data, env);
     }
-    catch {
+    catch (e) {
+        logInternalError(`rule_preview:${matched.id}`, e);
+        if (getFailMode(matched.level) === "closed") {
+            return buildInternalErrorResult();
+        }
         return { pass: true };
     }
     return { pass: false, level: matched.level, preview, rule_id: matched.id };

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

@@ -130,6 +130,7 @@ export declare const CallAllocation_CreateSchema: z.ZodObject<{
         }>, "many">;
     }, "strip", z.ZodTypeAny, {
         description: string;
+        threshold: string | number;
         allocators: {
             guard: string;
             sharing: {
@@ -149,9 +150,9 @@ export declare const CallAllocation_CreateSchema: z.ZodObject<{
             max?: string | number | null | undefined;
             fix?: string | number | undefined;
         }[];
-        threshold: string | number;
     }, {
         description: string;
+        threshold: string | number;
         allocators: {
             guard: string;
             sharing: {
@@ -171,7 +172,6 @@ export declare const CallAllocation_CreateSchema: z.ZodObject<{
             max?: string | number | null | undefined;
             fix?: string | number | undefined;
         }[];
-        threshold: string | number;
     }>;
     coin: z.ZodUnion<[z.ZodObject<{
         balance: z.ZodUnion<[z.ZodNumber, z.ZodString]>;
@@ -217,6 +217,7 @@ export declare const CallAllocation_CreateSchema: z.ZodObject<{
     };
     allocators: {
         description: string;
+        threshold: string | number;
         allocators: {
             guard: string;
             sharing: {
@@ -236,7 +237,6 @@ export declare const CallAllocation_CreateSchema: z.ZodObject<{
             max?: string | number | null | undefined;
             fix?: string | number | undefined;
         }[];
-        threshold: string | number;
     };
     payment_info: {
         index: string | number;
@@ -259,6 +259,7 @@ export declare const CallAllocation_CreateSchema: z.ZodObject<{
     };
     allocators: {
         description: string;
+        threshold: string | number;
         allocators: {
             guard: string;
             sharing: {
@@ -278,7 +279,6 @@ export declare const CallAllocation_CreateSchema: z.ZodObject<{
             max?: string | number | null | undefined;
             fix?: string | number | undefined;
         }[];
-        threshold: string | number;
     };
     payment_info: {
         index: string | number;
@@ -479,6 +479,7 @@ export declare const CallAllocation_DataSchema: z.ZodUnion<[z.ZodObject<{
         }>, "many">;
     }, "strip", z.ZodTypeAny, {
         description: string;
+        threshold: string | number;
         allocators: {
             guard: string;
             sharing: {
@@ -498,9 +499,9 @@ export declare const CallAllocation_DataSchema: z.ZodUnion<[z.ZodObject<{
             max?: string | number | null | undefined;
             fix?: string | number | undefined;
         }[];
-        threshold: string | number;
     }, {
         description: string;
+        threshold: string | number;
         allocators: {
             guard: string;
             sharing: {
@@ -520,7 +521,6 @@ export declare const CallAllocation_DataSchema: z.ZodUnion<[z.ZodObject<{
             max?: string | number | null | undefined;
             fix?: string | number | undefined;
         }[];
-        threshold: string | number;
     }>;
     coin: z.ZodUnion<[z.ZodObject<{
         balance: z.ZodUnion<[z.ZodNumber, z.ZodString]>;
@@ -566,6 +566,7 @@ export declare const CallAllocation_DataSchema: z.ZodUnion<[z.ZodObject<{
     };
     allocators: {
         description: string;
+        threshold: string | number;
         allocators: {
             guard: string;
             sharing: {
@@ -585,7 +586,6 @@ export declare const CallAllocation_DataSchema: z.ZodUnion<[z.ZodObject<{
             max?: string | number | null | undefined;
             fix?: string | number | undefined;
         }[];
-        threshold: string | number;
     };
     payment_info: {
         index: string | number;
@@ -608,6 +608,7 @@ export declare const CallAllocation_DataSchema: z.ZodUnion<[z.ZodObject<{
     };
     allocators: {
         description: string;
+        threshold: string | number;
         allocators: {
             guard: string;
             sharing: {
@@ -627,7 +628,6 @@ export declare const CallAllocation_DataSchema: z.ZodUnion<[z.ZodObject<{
             max?: string | number | null | undefined;
             fix?: string | number | undefined;
         }[];
-        threshold: string | number;
     };
     payment_info: {
         index: string | number;
@@ -828,6 +828,7 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
             }>, "many">;
         }, "strip", z.ZodTypeAny, {
             description: string;
+            threshold: string | number;
             allocators: {
                 guard: string;
                 sharing: {
@@ -847,9 +848,9 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
                 max?: string | number | null | undefined;
                 fix?: string | number | undefined;
             }[];
-            threshold: string | number;
         }, {
             description: string;
+            threshold: string | number;
             allocators: {
                 guard: string;
                 sharing: {
@@ -869,7 +870,6 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
                 max?: string | number | null | undefined;
                 fix?: string | number | undefined;
             }[];
-            threshold: string | number;
         }>;
         coin: z.ZodUnion<[z.ZodObject<{
             balance: z.ZodUnion<[z.ZodNumber, z.ZodString]>;
@@ -915,6 +915,7 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
         };
         allocators: {
             description: string;
+            threshold: string | number;
             allocators: {
                 guard: string;
                 sharing: {
@@ -934,7 +935,6 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
                 max?: string | number | null | undefined;
                 fix?: string | number | undefined;
             }[];
-            threshold: string | number;
         };
         payment_info: {
             index: string | number;
@@ -957,6 +957,7 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
         };
         allocators: {
             description: string;
+            threshold: string | number;
             allocators: {
                 guard: string;
                 sharing: {
@@ -976,7 +977,6 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
                 max?: string | number | null | undefined;
                 fix?: string | number | undefined;
             }[];
-            threshold: string | number;
         };
         payment_info: {
             index: string | number;
@@ -1054,6 +1054,8 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
         confirmed: z.ZodOptional<z.ZodBoolean>;
         user_intent_phrases: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         project: z.ZodOptional<z.ZodString>;
+        client_schema_version: z.ZodOptional<z.ZodString>;
+        schema_strict_mode: z.ZodOptional<z.ZodBoolean>;
     }, "strict", z.ZodTypeAny, {
         account: string;
         no_cache?: boolean | undefined;
@@ -1063,6 +1065,8 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
         confirmed?: boolean | undefined;
         user_intent_phrases?: string[] | undefined;
         project?: string | undefined;
+        client_schema_version?: string | undefined;
+        schema_strict_mode?: boolean | undefined;
     }, {
         no_cache?: boolean | undefined;
         network?: import("@wowok/wowok").ENTRYPOINT | undefined;
@@ -1072,6 +1076,8 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
         confirmed?: boolean | undefined;
         user_intent_phrases?: string[] | undefined;
         project?: string | undefined;
+        client_schema_version?: string | undefined;
+        schema_strict_mode?: boolean | undefined;
     }>>;
     submission: z.ZodOptional<z.ZodObject<{
         type: z.ZodLiteral<"submission">;
@@ -1269,6 +1275,7 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
         };
         allocators: {
             description: string;
+            threshold: string | number;
             allocators: {
                 guard: string;
                 sharing: {
@@ -1288,7 +1295,6 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
                 max?: string | number | null | undefined;
                 fix?: string | number | undefined;
             }[];
-            threshold: string | number;
         };
         payment_info: {
             index: string | number;
@@ -1345,6 +1351,8 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
         confirmed?: boolean | undefined;
         user_intent_phrases?: string[] | undefined;
         project?: string | undefined;
+        client_schema_version?: string | undefined;
+        schema_strict_mode?: boolean | undefined;
     } | undefined;
 }, {
     data: {
@@ -1362,6 +1370,7 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
         };
         allocators: {
             description: string;
+            threshold: string | number;
             allocators: {
                 guard: string;
                 sharing: {
@@ -1381,7 +1390,6 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
                 max?: string | number | null | undefined;
                 fix?: string | number | undefined;
             }[];
-            threshold: string | number;
         };
         payment_info: {
             index: string | number;
@@ -1438,6 +1446,8 @@ export declare const CallAllocation_InputSchema: z.ZodObject<{
         confirmed?: boolean | undefined;
         user_intent_phrases?: string[] | undefined;
         project?: string | undefined;
+        client_schema_version?: string | undefined;
+        schema_strict_mode?: boolean | undefined;
     } | undefined;
 }>;
 export type CallAllocation_Create = z.infer<typeof CallAllocation_CreateSchema>;