@wowok/agent-mcp 2.3.12 → 2.3.14

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

@@ -461,15 +461,341 @@ export declare const ResponseDataSchema: z.ZodObject<{
 } & {
     change: z.ZodUnion<[z.ZodLiteral<"created">, z.ZodLiteral<"mutated">, z.ZodString]>;
 }, z.ZodTypeAny, "passthrough">>;
+export declare const ObjectRoleSchema: z.ZodObject<{
+    id: z.ZodString;
+    name: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNull]>>;
+    role: z.ZodEnum<["Permission", "Guard", "Machine", "Progress", "Service", "Order", "Allocation", "Arbitration", "ArbCase", "Messenger", "Contact", "Demand", "Reward", "Personal", "Repository", "Treasury", "Discount", "Other"]>;
+    relation: z.ZodOptional<z.ZodObject<{
+        parent: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNull]>>;
+        relation_type: z.ZodOptional<z.ZodEnum<["machine_of", "guard_of", "allocator_of", "permission_of", "progress_of", "allocation_of", "arb_of", "other"]>>;
+    }, "strip", z.ZodTypeAny, {
+        parent?: string | null | undefined;
+        relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+    }, {
+        parent?: string | null | undefined;
+        relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+    }>>;
+    immutable: z.ZodOptional<z.ZodBoolean>;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+    name?: string | null | undefined;
+    relation?: {
+        parent?: string | null | undefined;
+        relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+    } | undefined;
+    immutable?: boolean | undefined;
+}, {
+    id: string;
+    role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+    name?: string | null | undefined;
+    relation?: {
+        parent?: string | null | undefined;
+        relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+    } | undefined;
+    immutable?: boolean | undefined;
+}>;
+export declare const FundRoleSchema: z.ZodObject<{
+    amount: z.ZodString;
+    coinType: z.ZodString;
+    role: z.ZodEnum<["payment", "refund", "change", "compensation", "reward", "gas", "deposit", "release", "other"]>;
+    from: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    to: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+}, "strict", z.ZodTypeAny, {
+    coinType: string;
+    amount: string;
+    role: "payment" | "change" | "other" | "refund" | "compensation" | "reward" | "gas" | "deposit" | "release";
+    from?: string | null | undefined;
+    to?: string | null | undefined;
+}, {
+    coinType: string;
+    amount: string;
+    role: "payment" | "change" | "other" | "refund" | "compensation" | "reward" | "gas" | "deposit" | "release";
+    from?: string | null | undefined;
+    to?: string | null | undefined;
+}>;
+export declare const NextActionSchema: z.ZodObject<{
+    action: z.ZodString;
+    reason: z.ZodString;
+    tool: z.ZodOptional<z.ZodString>;
+    prerequisite: z.ZodOptional<z.ZodString>;
+    priority: z.ZodEnum<["required", "recommended", "optional"]>;
+}, "strict", z.ZodTypeAny, {
+    action: string;
+    reason: string;
+    priority: "required" | "recommended" | "optional";
+    tool?: string | undefined;
+    prerequisite?: string | undefined;
+}, {
+    action: string;
+    reason: string;
+    priority: "required" | "recommended" | "optional";
+    tool?: string | undefined;
+    prerequisite?: string | undefined;
+}>;
+export declare const EventSemanticSchema: z.ZodObject<{
+    event_type: z.ZodString;
+    business_meaning: z.ZodString;
+    category: z.ZodEnum<["lifecycle", "state_change", "fund_flow", "permission", "guard", "other"]>;
+    related_object: z.ZodOptional<z.ZodString>;
+    side_effect: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    event_type: string;
+    business_meaning: string;
+    category: "permission" | "other" | "lifecycle" | "state_change" | "fund_flow" | "guard";
+    related_object?: string | undefined;
+    side_effect?: string | undefined;
+}, {
+    event_type: string;
+    business_meaning: string;
+    category: "permission" | "other" | "lifecycle" | "state_change" | "fund_flow" | "guard";
+    related_object?: string | undefined;
+    side_effect?: string | undefined;
+}>;
+export declare const SemanticSummarySchema: z.ZodObject<{
+    intent: z.ZodString;
+    status: z.ZodEnum<["success", "partial", "failed", "pending_input"]>;
+    summary: z.ZodString;
+    created: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNull]>>;
+        role: z.ZodEnum<["Permission", "Guard", "Machine", "Progress", "Service", "Order", "Allocation", "Arbitration", "ArbCase", "Messenger", "Contact", "Demand", "Reward", "Personal", "Repository", "Treasury", "Discount", "Other"]>;
+        relation: z.ZodOptional<z.ZodObject<{
+            parent: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNull]>>;
+            relation_type: z.ZodOptional<z.ZodEnum<["machine_of", "guard_of", "allocator_of", "permission_of", "progress_of", "allocation_of", "arb_of", "other"]>>;
+        }, "strip", z.ZodTypeAny, {
+            parent?: string | null | undefined;
+            relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+        }, {
+            parent?: string | null | undefined;
+            relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+        }>>;
+        immutable: z.ZodOptional<z.ZodBoolean>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+        name?: string | null | undefined;
+        relation?: {
+            parent?: string | null | undefined;
+            relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+        } | undefined;
+        immutable?: boolean | undefined;
+    }, {
+        id: string;
+        role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+        name?: string | null | undefined;
+        relation?: {
+            parent?: string | null | undefined;
+            relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+        } | undefined;
+        immutable?: boolean | undefined;
+    }>, "many">>;
+    modified: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNull]>>;
+        role: z.ZodEnum<["Permission", "Guard", "Machine", "Progress", "Service", "Order", "Allocation", "Arbitration", "ArbCase", "Messenger", "Contact", "Demand", "Reward", "Personal", "Repository", "Treasury", "Discount", "Other"]>;
+        relation: z.ZodOptional<z.ZodObject<{
+            parent: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNull]>>;
+            relation_type: z.ZodOptional<z.ZodEnum<["machine_of", "guard_of", "allocator_of", "permission_of", "progress_of", "allocation_of", "arb_of", "other"]>>;
+        }, "strip", z.ZodTypeAny, {
+            parent?: string | null | undefined;
+            relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+        }, {
+            parent?: string | null | undefined;
+            relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+        }>>;
+        immutable: z.ZodOptional<z.ZodBoolean>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+        name?: string | null | undefined;
+        relation?: {
+            parent?: string | null | undefined;
+            relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+        } | undefined;
+        immutable?: boolean | undefined;
+    }, {
+        id: string;
+        role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+        name?: string | null | undefined;
+        relation?: {
+            parent?: string | null | undefined;
+            relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+        } | undefined;
+        immutable?: boolean | undefined;
+    }>, "many">>;
+    released: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        amount: z.ZodString;
+        coinType: z.ZodString;
+        role: z.ZodEnum<["payment", "refund", "change", "compensation", "reward", "gas", "deposit", "release", "other"]>;
+        from: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        to: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, "strict", z.ZodTypeAny, {
+        coinType: string;
+        amount: string;
+        role: "payment" | "change" | "other" | "refund" | "compensation" | "reward" | "gas" | "deposit" | "release";
+        from?: string | null | undefined;
+        to?: string | null | undefined;
+    }, {
+        coinType: string;
+        amount: string;
+        role: "payment" | "change" | "other" | "refund" | "compensation" | "reward" | "gas" | "deposit" | "release";
+        from?: string | null | undefined;
+        to?: string | null | undefined;
+    }>, "many">>;
+    events: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        event_type: z.ZodString;
+        business_meaning: z.ZodString;
+        category: z.ZodEnum<["lifecycle", "state_change", "fund_flow", "permission", "guard", "other"]>;
+        related_object: z.ZodOptional<z.ZodString>;
+        side_effect: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        event_type: string;
+        business_meaning: string;
+        category: "permission" | "other" | "lifecycle" | "state_change" | "fund_flow" | "guard";
+        related_object?: string | undefined;
+        side_effect?: string | undefined;
+    }, {
+        event_type: string;
+        business_meaning: string;
+        category: "permission" | "other" | "lifecycle" | "state_change" | "fund_flow" | "guard";
+        related_object?: string | undefined;
+        side_effect?: string | undefined;
+    }>, "many">>;
+    next_actions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        action: z.ZodString;
+        reason: z.ZodString;
+        tool: z.ZodOptional<z.ZodString>;
+        prerequisite: z.ZodOptional<z.ZodString>;
+        priority: z.ZodEnum<["required", "recommended", "optional"]>;
+    }, "strict", z.ZodTypeAny, {
+        action: string;
+        reason: string;
+        priority: "required" | "recommended" | "optional";
+        tool?: string | undefined;
+        prerequisite?: string | undefined;
+    }, {
+        action: string;
+        reason: string;
+        priority: "required" | "recommended" | "optional";
+        tool?: string | undefined;
+        prerequisite?: string | undefined;
+    }>, "many">>;
+    warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strict", z.ZodTypeAny, {
+    status: "success" | "partial" | "failed" | "pending_input";
+    intent: string;
+    summary: string;
+    created?: {
+        id: string;
+        role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+        name?: string | null | undefined;
+        relation?: {
+            parent?: string | null | undefined;
+            relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+        } | undefined;
+        immutable?: boolean | undefined;
+    }[] | undefined;
+    events?: {
+        event_type: string;
+        business_meaning: string;
+        category: "permission" | "other" | "lifecycle" | "state_change" | "fund_flow" | "guard";
+        related_object?: string | undefined;
+        side_effect?: string | undefined;
+    }[] | undefined;
+    modified?: {
+        id: string;
+        role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+        name?: string | null | undefined;
+        relation?: {
+            parent?: string | null | undefined;
+            relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+        } | undefined;
+        immutable?: boolean | undefined;
+    }[] | undefined;
+    released?: {
+        coinType: string;
+        amount: string;
+        role: "payment" | "change" | "other" | "refund" | "compensation" | "reward" | "gas" | "deposit" | "release";
+        from?: string | null | undefined;
+        to?: string | null | undefined;
+    }[] | undefined;
+    next_actions?: {
+        action: string;
+        reason: string;
+        priority: "required" | "recommended" | "optional";
+        tool?: string | undefined;
+        prerequisite?: string | undefined;
+    }[] | undefined;
+    warnings?: string[] | undefined;
+}, {
+    status: "success" | "partial" | "failed" | "pending_input";
+    intent: string;
+    summary: string;
+    created?: {
+        id: string;
+        role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+        name?: string | null | undefined;
+        relation?: {
+            parent?: string | null | undefined;
+            relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+        } | undefined;
+        immutable?: boolean | undefined;
+    }[] | undefined;
+    events?: {
+        event_type: string;
+        business_meaning: string;
+        category: "permission" | "other" | "lifecycle" | "state_change" | "fund_flow" | "guard";
+        related_object?: string | undefined;
+        side_effect?: string | undefined;
+    }[] | undefined;
+    modified?: {
+        id: string;
+        role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+        name?: string | null | undefined;
+        relation?: {
+            parent?: string | null | undefined;
+            relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+        } | undefined;
+        immutable?: boolean | undefined;
+    }[] | undefined;
+    released?: {
+        coinType: string;
+        amount: string;
+        role: "payment" | "change" | "other" | "refund" | "compensation" | "reward" | "gas" | "deposit" | "release";
+        from?: string | null | undefined;
+        to?: string | null | undefined;
+    }[] | undefined;
+    next_actions?: {
+        action: string;
+        reason: string;
+        priority: "required" | "recommended" | "optional";
+        tool?: string | undefined;
+        prerequisite?: string | undefined;
+    }[] | undefined;
+    warnings?: string[] | undefined;
+}>;
 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", "unknown"]>>;
+    retryable: z.ZodOptional<z.ZodBoolean>;
+    recovery_hint: z.ZodOptional<z.ZodString>;
+    related_object: 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;
+    related_object?: string | 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;
+    related_object?: string | undefined;
+    retryable?: boolean | undefined;
+    recovery_hint?: string | undefined;
 }>;
 export declare const GuardSubmissionToFillSchema: z.ZodObject<{
     guard: z.ZodEffects<z.ZodString, string, string>;
@@ -3117,12 +3443,24 @@ 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", "unknown"]>>;
+    retryable: z.ZodOptional<z.ZodBoolean>;
+    recovery_hint: z.ZodOptional<z.ZodString>;
+    related_object: 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;
+    related_object?: string | 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;
+    related_object?: string | undefined;
+    retryable?: boolean | undefined;
+    recovery_hint?: string | undefined;
 }>, z.ZodObject<{
     type: z.ZodLiteral<"data">;
     data: z.ZodArray<z.ZodObject<{
@@ -3519,6 +3857,213 @@ export declare const ObjectsSchema: z.ZodUnion<[z.ZodObject<{
 }, {
     op: "clear";
 }>]>;
+export declare const VerifyMismatchSchema: z.ZodObject<{
+    dimension: z.ZodEnum<["created", "modified", "released", "state", "event"]>;
+    expected: z.ZodString;
+    actual: z.ZodString;
+    severity: z.ZodEnum<["pass", "warn", "fail"]>;
+    detail: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    expected: string;
+    dimension: "created" | "modified" | "released" | "state" | "event";
+    actual: string;
+    severity: "pass" | "warn" | "fail";
+    detail: string;
+}, {
+    expected: string;
+    dimension: "created" | "modified" | "released" | "state" | "event";
+    actual: string;
+    severity: "pass" | "warn" | "fail";
+    detail: string;
+}>;
+export declare const VerifyReportSchema: z.ZodObject<{
+    status: z.ZodEnum<["pass", "warn", "fail"]>;
+    mismatches: z.ZodArray<z.ZodObject<{
+        dimension: z.ZodEnum<["created", "modified", "released", "state", "event"]>;
+        expected: z.ZodString;
+        actual: z.ZodString;
+        severity: z.ZodEnum<["pass", "warn", "fail"]>;
+        detail: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        expected: string;
+        dimension: "created" | "modified" | "released" | "state" | "event";
+        actual: string;
+        severity: "pass" | "warn" | "fail";
+        detail: string;
+    }, {
+        expected: string;
+        dimension: "created" | "modified" | "released" | "state" | "event";
+        actual: string;
+        severity: "pass" | "warn" | "fail";
+        detail: string;
+    }>, "many">;
+    summary: z.ZodString;
+    timestamp: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    status: "pass" | "warn" | "fail";
+    summary: string;
+    mismatches: {
+        expected: string;
+        dimension: "created" | "modified" | "released" | "state" | "event";
+        actual: string;
+        severity: "pass" | "warn" | "fail";
+        detail: string;
+    }[];
+    timestamp: string;
+}, {
+    status: "pass" | "warn" | "fail";
+    summary: string;
+    mismatches: {
+        expected: string;
+        dimension: "created" | "modified" | "released" | "state" | "event";
+        actual: string;
+        severity: "pass" | "warn" | "fail";
+        detail: string;
+    }[];
+    timestamp: string;
+}>;
+export declare const RecoveryActionSchema: z.ZodObject<{
+    strategy: z.ZodEnum<["retry", "claim_faucet", "fill_submission", "recreate", "switch_account", "query_and_retry", "adjust_params", "escalate_human", "stop"]>;
+    should_retry: z.ZodBoolean;
+    adjusted_params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    user_prompt: z.ZodOptional<z.ZodString>;
+    max_attempts: z.ZodNumber;
+    current_attempt: z.ZodNumber;
+    detail: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    detail: string;
+    strategy: "retry" | "claim_faucet" | "fill_submission" | "recreate" | "switch_account" | "query_and_retry" | "adjust_params" | "escalate_human" | "stop";
+    should_retry: boolean;
+    max_attempts: number;
+    current_attempt: number;
+    adjusted_params?: Record<string, unknown> | undefined;
+    user_prompt?: string | undefined;
+}, {
+    detail: string;
+    strategy: "retry" | "claim_faucet" | "fill_submission" | "recreate" | "switch_account" | "query_and_retry" | "adjust_params" | "escalate_human" | "stop";
+    should_retry: boolean;
+    max_attempts: number;
+    current_attempt: number;
+    adjusted_params?: Record<string, unknown> | undefined;
+    user_prompt?: string | undefined;
+}>;
+export declare const HarnessReportSchema: z.ZodObject<{
+    verify: z.ZodObject<{
+        status: z.ZodEnum<["pass", "warn", "fail"]>;
+        mismatches: z.ZodArray<z.ZodObject<{
+            dimension: z.ZodEnum<["created", "modified", "released", "state", "event"]>;
+            expected: z.ZodString;
+            actual: z.ZodString;
+            severity: z.ZodEnum<["pass", "warn", "fail"]>;
+            detail: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            expected: string;
+            dimension: "created" | "modified" | "released" | "state" | "event";
+            actual: string;
+            severity: "pass" | "warn" | "fail";
+            detail: string;
+        }, {
+            expected: string;
+            dimension: "created" | "modified" | "released" | "state" | "event";
+            actual: string;
+            severity: "pass" | "warn" | "fail";
+            detail: string;
+        }>, "many">;
+        summary: z.ZodString;
+        timestamp: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        status: "pass" | "warn" | "fail";
+        summary: string;
+        mismatches: {
+            expected: string;
+            dimension: "created" | "modified" | "released" | "state" | "event";
+            actual: string;
+            severity: "pass" | "warn" | "fail";
+            detail: string;
+        }[];
+        timestamp: string;
+    }, {
+        status: "pass" | "warn" | "fail";
+        summary: string;
+        mismatches: {
+            expected: string;
+            dimension: "created" | "modified" | "released" | "state" | "event";
+            actual: string;
+            severity: "pass" | "warn" | "fail";
+            detail: string;
+        }[];
+        timestamp: string;
+    }>;
+    recovery: z.ZodOptional<z.ZodObject<{
+        strategy: z.ZodEnum<["retry", "claim_faucet", "fill_submission", "recreate", "switch_account", "query_and_retry", "adjust_params", "escalate_human", "stop"]>;
+        should_retry: z.ZodBoolean;
+        adjusted_params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        user_prompt: z.ZodOptional<z.ZodString>;
+        max_attempts: z.ZodNumber;
+        current_attempt: z.ZodNumber;
+        detail: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        detail: string;
+        strategy: "retry" | "claim_faucet" | "fill_submission" | "recreate" | "switch_account" | "query_and_retry" | "adjust_params" | "escalate_human" | "stop";
+        should_retry: boolean;
+        max_attempts: number;
+        current_attempt: number;
+        adjusted_params?: Record<string, unknown> | undefined;
+        user_prompt?: string | undefined;
+    }, {
+        detail: string;
+        strategy: "retry" | "claim_faucet" | "fill_submission" | "recreate" | "switch_account" | "query_and_retry" | "adjust_params" | "escalate_human" | "stop";
+        should_retry: boolean;
+        max_attempts: number;
+        current_attempt: number;
+        adjusted_params?: Record<string, unknown> | undefined;
+        user_prompt?: string | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    verify: {
+        status: "pass" | "warn" | "fail";
+        summary: string;
+        mismatches: {
+            expected: string;
+            dimension: "created" | "modified" | "released" | "state" | "event";
+            actual: string;
+            severity: "pass" | "warn" | "fail";
+            detail: string;
+        }[];
+        timestamp: string;
+    };
+    recovery?: {
+        detail: string;
+        strategy: "retry" | "claim_faucet" | "fill_submission" | "recreate" | "switch_account" | "query_and_retry" | "adjust_params" | "escalate_human" | "stop";
+        should_retry: boolean;
+        max_attempts: number;
+        current_attempt: number;
+        adjusted_params?: Record<string, unknown> | undefined;
+        user_prompt?: string | undefined;
+    } | undefined;
+}, {
+    verify: {
+        status: "pass" | "warn" | "fail";
+        summary: string;
+        mismatches: {
+            expected: string;
+            dimension: "created" | "modified" | "released" | "state" | "event";
+            actual: string;
+            severity: "pass" | "warn" | "fail";
+            detail: string;
+        }[];
+        timestamp: string;
+    };
+    recovery?: {
+        detail: string;
+        strategy: "retry" | "claim_faucet" | "fill_submission" | "recreate" | "switch_account" | "query_and_retry" | "adjust_params" | "escalate_human" | "stop";
+        should_retry: boolean;
+        max_attempts: number;
+        current_attempt: number;
+        adjusted_params?: Record<string, unknown> | undefined;
+        user_prompt?: string | undefined;
+    } | undefined;
+}>;
 export declare const CallOutputSchema: z.ZodObject<{
     result: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
         type: z.ZodLiteral<"submission">;
@@ -5745,12 +6290,24 @@ 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", "unknown"]>>;
+        retryable: z.ZodOptional<z.ZodBoolean>;
+        recovery_hint: z.ZodOptional<z.ZodString>;
+        related_object: 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;
+        related_object?: string | 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;
+        related_object?: string | undefined;
+        retryable?: boolean | undefined;
+        recovery_hint?: string | undefined;
     }>, z.ZodObject<{
         type: z.ZodLiteral<"data">;
         data: z.ZodArray<z.ZodObject<{
@@ -6123,10 +6680,354 @@ export declare const CallOutputSchema: z.ZodObject<{
         type: "null";
     }>]>;
     message: z.ZodOptional<z.ZodString>;
+    semantic: z.ZodOptional<z.ZodObject<{
+        intent: z.ZodString;
+        status: z.ZodEnum<["success", "partial", "failed", "pending_input"]>;
+        summary: z.ZodString;
+        created: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            name: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNull]>>;
+            role: z.ZodEnum<["Permission", "Guard", "Machine", "Progress", "Service", "Order", "Allocation", "Arbitration", "ArbCase", "Messenger", "Contact", "Demand", "Reward", "Personal", "Repository", "Treasury", "Discount", "Other"]>;
+            relation: z.ZodOptional<z.ZodObject<{
+                parent: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNull]>>;
+                relation_type: z.ZodOptional<z.ZodEnum<["machine_of", "guard_of", "allocator_of", "permission_of", "progress_of", "allocation_of", "arb_of", "other"]>>;
+            }, "strip", z.ZodTypeAny, {
+                parent?: string | null | undefined;
+                relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+            }, {
+                parent?: string | null | undefined;
+                relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+            }>>;
+            immutable: z.ZodOptional<z.ZodBoolean>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+            name?: string | null | undefined;
+            relation?: {
+                parent?: string | null | undefined;
+                relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+            } | undefined;
+            immutable?: boolean | undefined;
+        }, {
+            id: string;
+            role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+            name?: string | null | undefined;
+            relation?: {
+                parent?: string | null | undefined;
+                relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+            } | undefined;
+            immutable?: boolean | undefined;
+        }>, "many">>;
+        modified: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            name: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNull]>>;
+            role: z.ZodEnum<["Permission", "Guard", "Machine", "Progress", "Service", "Order", "Allocation", "Arbitration", "ArbCase", "Messenger", "Contact", "Demand", "Reward", "Personal", "Repository", "Treasury", "Discount", "Other"]>;
+            relation: z.ZodOptional<z.ZodObject<{
+                parent: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNull]>>;
+                relation_type: z.ZodOptional<z.ZodEnum<["machine_of", "guard_of", "allocator_of", "permission_of", "progress_of", "allocation_of", "arb_of", "other"]>>;
+            }, "strip", z.ZodTypeAny, {
+                parent?: string | null | undefined;
+                relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+            }, {
+                parent?: string | null | undefined;
+                relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+            }>>;
+            immutable: z.ZodOptional<z.ZodBoolean>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+            name?: string | null | undefined;
+            relation?: {
+                parent?: string | null | undefined;
+                relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+            } | undefined;
+            immutable?: boolean | undefined;
+        }, {
+            id: string;
+            role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+            name?: string | null | undefined;
+            relation?: {
+                parent?: string | null | undefined;
+                relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+            } | undefined;
+            immutable?: boolean | undefined;
+        }>, "many">>;
+        released: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            amount: z.ZodString;
+            coinType: z.ZodString;
+            role: z.ZodEnum<["payment", "refund", "change", "compensation", "reward", "gas", "deposit", "release", "other"]>;
+            from: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            to: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        }, "strict", z.ZodTypeAny, {
+            coinType: string;
+            amount: string;
+            role: "payment" | "change" | "other" | "refund" | "compensation" | "reward" | "gas" | "deposit" | "release";
+            from?: string | null | undefined;
+            to?: string | null | undefined;
+        }, {
+            coinType: string;
+            amount: string;
+            role: "payment" | "change" | "other" | "refund" | "compensation" | "reward" | "gas" | "deposit" | "release";
+            from?: string | null | undefined;
+            to?: string | null | undefined;
+        }>, "many">>;
+        events: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            event_type: z.ZodString;
+            business_meaning: z.ZodString;
+            category: z.ZodEnum<["lifecycle", "state_change", "fund_flow", "permission", "guard", "other"]>;
+            related_object: z.ZodOptional<z.ZodString>;
+            side_effect: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            event_type: string;
+            business_meaning: string;
+            category: "permission" | "other" | "lifecycle" | "state_change" | "fund_flow" | "guard";
+            related_object?: string | undefined;
+            side_effect?: string | undefined;
+        }, {
+            event_type: string;
+            business_meaning: string;
+            category: "permission" | "other" | "lifecycle" | "state_change" | "fund_flow" | "guard";
+            related_object?: string | undefined;
+            side_effect?: string | undefined;
+        }>, "many">>;
+        next_actions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            action: z.ZodString;
+            reason: z.ZodString;
+            tool: z.ZodOptional<z.ZodString>;
+            prerequisite: z.ZodOptional<z.ZodString>;
+            priority: z.ZodEnum<["required", "recommended", "optional"]>;
+        }, "strict", z.ZodTypeAny, {
+            action: string;
+            reason: string;
+            priority: "required" | "recommended" | "optional";
+            tool?: string | undefined;
+            prerequisite?: string | undefined;
+        }, {
+            action: string;
+            reason: string;
+            priority: "required" | "recommended" | "optional";
+            tool?: string | undefined;
+            prerequisite?: string | undefined;
+        }>, "many">>;
+        warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        status: "success" | "partial" | "failed" | "pending_input";
+        intent: string;
+        summary: string;
+        created?: {
+            id: string;
+            role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+            name?: string | null | undefined;
+            relation?: {
+                parent?: string | null | undefined;
+                relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+            } | undefined;
+            immutable?: boolean | undefined;
+        }[] | undefined;
+        events?: {
+            event_type: string;
+            business_meaning: string;
+            category: "permission" | "other" | "lifecycle" | "state_change" | "fund_flow" | "guard";
+            related_object?: string | undefined;
+            side_effect?: string | undefined;
+        }[] | undefined;
+        modified?: {
+            id: string;
+            role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+            name?: string | null | undefined;
+            relation?: {
+                parent?: string | null | undefined;
+                relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+            } | undefined;
+            immutable?: boolean | undefined;
+        }[] | undefined;
+        released?: {
+            coinType: string;
+            amount: string;
+            role: "payment" | "change" | "other" | "refund" | "compensation" | "reward" | "gas" | "deposit" | "release";
+            from?: string | null | undefined;
+            to?: string | null | undefined;
+        }[] | undefined;
+        next_actions?: {
+            action: string;
+            reason: string;
+            priority: "required" | "recommended" | "optional";
+            tool?: string | undefined;
+            prerequisite?: string | undefined;
+        }[] | undefined;
+        warnings?: string[] | undefined;
+    }, {
+        status: "success" | "partial" | "failed" | "pending_input";
+        intent: string;
+        summary: string;
+        created?: {
+            id: string;
+            role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+            name?: string | null | undefined;
+            relation?: {
+                parent?: string | null | undefined;
+                relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+            } | undefined;
+            immutable?: boolean | undefined;
+        }[] | undefined;
+        events?: {
+            event_type: string;
+            business_meaning: string;
+            category: "permission" | "other" | "lifecycle" | "state_change" | "fund_flow" | "guard";
+            related_object?: string | undefined;
+            side_effect?: string | undefined;
+        }[] | undefined;
+        modified?: {
+            id: string;
+            role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+            name?: string | null | undefined;
+            relation?: {
+                parent?: string | null | undefined;
+                relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+            } | undefined;
+            immutable?: boolean | undefined;
+        }[] | undefined;
+        released?: {
+            coinType: string;
+            amount: string;
+            role: "payment" | "change" | "other" | "refund" | "compensation" | "reward" | "gas" | "deposit" | "release";
+            from?: string | null | undefined;
+            to?: string | null | undefined;
+        }[] | undefined;
+        next_actions?: {
+            action: string;
+            reason: string;
+            priority: "required" | "recommended" | "optional";
+            tool?: string | undefined;
+            prerequisite?: string | undefined;
+        }[] | undefined;
+        warnings?: string[] | undefined;
+    }>>;
+    harness_report: z.ZodOptional<z.ZodObject<{
+        verify: z.ZodObject<{
+            status: z.ZodEnum<["pass", "warn", "fail"]>;
+            mismatches: z.ZodArray<z.ZodObject<{
+                dimension: z.ZodEnum<["created", "modified", "released", "state", "event"]>;
+                expected: z.ZodString;
+                actual: z.ZodString;
+                severity: z.ZodEnum<["pass", "warn", "fail"]>;
+                detail: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                expected: string;
+                dimension: "created" | "modified" | "released" | "state" | "event";
+                actual: string;
+                severity: "pass" | "warn" | "fail";
+                detail: string;
+            }, {
+                expected: string;
+                dimension: "created" | "modified" | "released" | "state" | "event";
+                actual: string;
+                severity: "pass" | "warn" | "fail";
+                detail: string;
+            }>, "many">;
+            summary: z.ZodString;
+            timestamp: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            status: "pass" | "warn" | "fail";
+            summary: string;
+            mismatches: {
+                expected: string;
+                dimension: "created" | "modified" | "released" | "state" | "event";
+                actual: string;
+                severity: "pass" | "warn" | "fail";
+                detail: string;
+            }[];
+            timestamp: string;
+        }, {
+            status: "pass" | "warn" | "fail";
+            summary: string;
+            mismatches: {
+                expected: string;
+                dimension: "created" | "modified" | "released" | "state" | "event";
+                actual: string;
+                severity: "pass" | "warn" | "fail";
+                detail: string;
+            }[];
+            timestamp: string;
+        }>;
+        recovery: z.ZodOptional<z.ZodObject<{
+            strategy: z.ZodEnum<["retry", "claim_faucet", "fill_submission", "recreate", "switch_account", "query_and_retry", "adjust_params", "escalate_human", "stop"]>;
+            should_retry: z.ZodBoolean;
+            adjusted_params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            user_prompt: z.ZodOptional<z.ZodString>;
+            max_attempts: z.ZodNumber;
+            current_attempt: z.ZodNumber;
+            detail: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            detail: string;
+            strategy: "retry" | "claim_faucet" | "fill_submission" | "recreate" | "switch_account" | "query_and_retry" | "adjust_params" | "escalate_human" | "stop";
+            should_retry: boolean;
+            max_attempts: number;
+            current_attempt: number;
+            adjusted_params?: Record<string, unknown> | undefined;
+            user_prompt?: string | undefined;
+        }, {
+            detail: string;
+            strategy: "retry" | "claim_faucet" | "fill_submission" | "recreate" | "switch_account" | "query_and_retry" | "adjust_params" | "escalate_human" | "stop";
+            should_retry: boolean;
+            max_attempts: number;
+            current_attempt: number;
+            adjusted_params?: Record<string, unknown> | undefined;
+            user_prompt?: string | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        verify: {
+            status: "pass" | "warn" | "fail";
+            summary: string;
+            mismatches: {
+                expected: string;
+                dimension: "created" | "modified" | "released" | "state" | "event";
+                actual: string;
+                severity: "pass" | "warn" | "fail";
+                detail: string;
+            }[];
+            timestamp: string;
+        };
+        recovery?: {
+            detail: string;
+            strategy: "retry" | "claim_faucet" | "fill_submission" | "recreate" | "switch_account" | "query_and_retry" | "adjust_params" | "escalate_human" | "stop";
+            should_retry: boolean;
+            max_attempts: number;
+            current_attempt: number;
+            adjusted_params?: Record<string, unknown> | undefined;
+            user_prompt?: string | undefined;
+        } | undefined;
+    }, {
+        verify: {
+            status: "pass" | "warn" | "fail";
+            summary: string;
+            mismatches: {
+                expected: string;
+                dimension: "created" | "modified" | "released" | "state" | "event";
+                actual: string;
+                severity: "pass" | "warn" | "fail";
+                detail: string;
+            }[];
+            timestamp: string;
+        };
+        recovery?: {
+            detail: string;
+            strategy: "retry" | "claim_faucet" | "fill_submission" | "recreate" | "switch_account" | "query_and_retry" | "adjust_params" | "escalate_human" | "stop";
+            should_retry: boolean;
+            max_attempts: number;
+            current_attempt: number;
+            adjusted_params?: Record<string, unknown> | undefined;
+            user_prompt?: string | undefined;
+        } | undefined;
+    }>>;
 }, "strict", z.ZodTypeAny, {
     result: {
         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;
+        related_object?: string | undefined;
+        retryable?: boolean | undefined;
+        recovery_hint?: string | undefined;
     } | {
         type: "submission";
         guard: {
@@ -6521,10 +7422,84 @@ export declare const CallOutputSchema: z.ZodObject<{
         type: "null";
     };
     message?: string | undefined;
+    semantic?: {
+        status: "success" | "partial" | "failed" | "pending_input";
+        intent: string;
+        summary: string;
+        created?: {
+            id: string;
+            role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+            name?: string | null | undefined;
+            relation?: {
+                parent?: string | null | undefined;
+                relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+            } | undefined;
+            immutable?: boolean | undefined;
+        }[] | undefined;
+        events?: {
+            event_type: string;
+            business_meaning: string;
+            category: "permission" | "other" | "lifecycle" | "state_change" | "fund_flow" | "guard";
+            related_object?: string | undefined;
+            side_effect?: string | undefined;
+        }[] | undefined;
+        modified?: {
+            id: string;
+            role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+            name?: string | null | undefined;
+            relation?: {
+                parent?: string | null | undefined;
+                relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+            } | undefined;
+            immutable?: boolean | undefined;
+        }[] | undefined;
+        released?: {
+            coinType: string;
+            amount: string;
+            role: "payment" | "change" | "other" | "refund" | "compensation" | "reward" | "gas" | "deposit" | "release";
+            from?: string | null | undefined;
+            to?: string | null | undefined;
+        }[] | undefined;
+        next_actions?: {
+            action: string;
+            reason: string;
+            priority: "required" | "recommended" | "optional";
+            tool?: string | undefined;
+            prerequisite?: string | undefined;
+        }[] | undefined;
+        warnings?: string[] | undefined;
+    } | undefined;
+    harness_report?: {
+        verify: {
+            status: "pass" | "warn" | "fail";
+            summary: string;
+            mismatches: {
+                expected: string;
+                dimension: "created" | "modified" | "released" | "state" | "event";
+                actual: string;
+                severity: "pass" | "warn" | "fail";
+                detail: string;
+            }[];
+            timestamp: string;
+        };
+        recovery?: {
+            detail: string;
+            strategy: "retry" | "claim_faucet" | "fill_submission" | "recreate" | "switch_account" | "query_and_retry" | "adjust_params" | "escalate_human" | "stop";
+            should_retry: boolean;
+            max_attempts: number;
+            current_attempt: number;
+            adjusted_params?: Record<string, unknown> | undefined;
+            user_prompt?: string | undefined;
+        } | undefined;
+    } | undefined;
 }, {
     result: {
         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;
+        related_object?: string | undefined;
+        retryable?: boolean | undefined;
+        recovery_hint?: string | undefined;
     } | {
         type: "submission";
         guard: {
@@ -6919,6 +7894,76 @@ export declare const CallOutputSchema: z.ZodObject<{
         type: "null";
     };
     message?: string | undefined;
+    semantic?: {
+        status: "success" | "partial" | "failed" | "pending_input";
+        intent: string;
+        summary: string;
+        created?: {
+            id: string;
+            role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+            name?: string | null | undefined;
+            relation?: {
+                parent?: string | null | undefined;
+                relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+            } | undefined;
+            immutable?: boolean | undefined;
+        }[] | undefined;
+        events?: {
+            event_type: string;
+            business_meaning: string;
+            category: "permission" | "other" | "lifecycle" | "state_change" | "fund_flow" | "guard";
+            related_object?: string | undefined;
+            side_effect?: string | undefined;
+        }[] | undefined;
+        modified?: {
+            id: string;
+            role: "Permission" | "Guard" | "Machine" | "Progress" | "Service" | "Order" | "Allocation" | "Arbitration" | "ArbCase" | "Messenger" | "Contact" | "Demand" | "Reward" | "Personal" | "Repository" | "Treasury" | "Discount" | "Other";
+            name?: string | null | undefined;
+            relation?: {
+                parent?: string | null | undefined;
+                relation_type?: "machine_of" | "guard_of" | "allocator_of" | "permission_of" | "progress_of" | "allocation_of" | "arb_of" | "other" | undefined;
+            } | undefined;
+            immutable?: boolean | undefined;
+        }[] | undefined;
+        released?: {
+            coinType: string;
+            amount: string;
+            role: "payment" | "change" | "other" | "refund" | "compensation" | "reward" | "gas" | "deposit" | "release";
+            from?: string | null | undefined;
+            to?: string | null | undefined;
+        }[] | undefined;
+        next_actions?: {
+            action: string;
+            reason: string;
+            priority: "required" | "recommended" | "optional";
+            tool?: string | undefined;
+            prerequisite?: string | undefined;
+        }[] | undefined;
+        warnings?: string[] | undefined;
+    } | undefined;
+    harness_report?: {
+        verify: {
+            status: "pass" | "warn" | "fail";
+            summary: string;
+            mismatches: {
+                expected: string;
+                dimension: "created" | "modified" | "released" | "state" | "event";
+                actual: string;
+                severity: "pass" | "warn" | "fail";
+                detail: string;
+            }[];
+            timestamp: string;
+        };
+        recovery?: {
+            detail: string;
+            strategy: "retry" | "claim_faucet" | "fill_submission" | "recreate" | "switch_account" | "query_and_retry" | "adjust_params" | "escalate_human" | "stop";
+            should_retry: boolean;
+            max_attempts: number;
+            current_attempt: number;
+            adjusted_params?: Record<string, unknown> | undefined;
+            user_prompt?: string | undefined;
+        } | undefined;
+    } | undefined;
 }>;
 export type NormalObject = z.infer<typeof NormalObjectSchema>;
 export type NamedObject = z.infer<typeof NamedObjectSchema>;
@@ -6939,3 +7984,12 @@ export type TypedDescriptionObject = z.infer<typeof TypedDescriptionObjectSchema
 export type WithPermissionObject = z.infer<typeof WithPermissionObjectSchema>;
 export type CallResult = z.infer<typeof CallResultSchema>;
 export type CallOutput = z.infer<typeof CallOutputSchema>;
+export type ObjectRole = z.infer<typeof ObjectRoleSchema>;
+export type FundRole = z.infer<typeof FundRoleSchema>;
+export type NextAction = z.infer<typeof NextActionSchema>;
+export type EventSemantic = z.infer<typeof EventSemanticSchema>;
+export type SemanticSummary = z.infer<typeof SemanticSummarySchema>;
+export type VerifyMismatch = z.infer<typeof VerifyMismatchSchema>;
+export type VerifyReport = z.infer<typeof VerifyReportSchema>;
+export type RecoveryAction = z.infer<typeof RecoveryActionSchema>;
+export type HarnessReport = z.infer<typeof HarnessReportSchema>;