@wowok/agent-mcp 2.7.1 → 2.7.2

package/dist/knowledge/allocation-translation.js

@@ -1,585 +1 @@
-import { ALLOCATION_ERROR_CODES, MAX_ALLOCATOR_COUNT, RATE_TOTAL_FULL, allocationModeToNumber, getRecipientType, isSignerRecipient, isEntityRecipient, isGuardIdentifierRecipient, } from "./allocation-ledger.js";
-export const SEMANTIC_TO_SCHEMA_RULES = [
-    {
-        id: "P-A-01",
-        pattern_name: "Create standard three-way split",
-        semantic_intent: "Create an Allocation that splits payment 3 ways via pure Rate (e.g. merchant 80% / platform 10% / logistics 10%)",
-        match_keywords: ["split", "three-way", "rate", "distribution"],
-        schema_fields: ["object(TypeNamedObject)", "allocators", "coin", "payment_info"],
-        example_json: {
-            object: { name: "myshop_allocation", type_parameter: "0x2::wow::WOW" },
-            allocators: {
-                description: "Standard 3-way split: merchant 80% / platform 10% / logistics 10%",
-                threshold: "0",
-                allocators: [
-                    {
-                        guard: "0xGUARD_ORDER_COMPLETE",
-                        sharing: [
-                            { who: { Entity: "0xMERCHANT_TREASURY" }, sharing: "8000", mode: "Rate" },
-                            { who: { Entity: "0xPLATFORM_TREASURY" }, sharing: "1000", mode: "Rate" },
-                            { who: { Entity: "0xLOGISTICS_TREASURY" }, sharing: "1000", mode: "Rate" },
-                        ],
-                        max: null,
-                    },
-                ],
-            },
-            coin: { name: "payment_coin" },
-            payment_info: {},
-        },
-        reverse_explanation: "Single Allocator with 3 Rate sharing items; sum(rates) MUST equal 10000 (RATE_TOTAL_FULL)",
-    },
-    {
-        id: "P-A-02",
-        pattern_name: "Create Treasury + Personal alternative (caller-specified guard)",
-        semantic_intent: "Create an Allocation with 2 Allocators as alternative strategies: caller selects Treasury or Personal wallet via alloc_by_guard (hard verification per call)",
-        match_keywords: ["alternative", "fallback", "priority", "substitute", "multi-strategy"],
-        schema_fields: ["object(TypeNamedObject)", "allocators", "coin", "payment_info"],
-        example_json: {
-            object: { name: "myshop_allocation", type_parameter: "0x2::wow::WOW" },
-            allocators: {
-                description: "Treasury / Personal alternative (caller-specified guard)",
-                threshold: "0",
-                allocators: [
-                    {
-                        guard: "0xGUARD_TRESTRY_OK",
-                        sharing: [
-                            { who: { Entity: "0xTREASURY_ADDR" }, sharing: "10000", mode: "Rate" },
-                        ],
-                        max: null,
-                    },
-                    {
-                        guard: "0xGUARD_PERSONAL_OK",
-                        sharing: [
-                            { who: { Entity: "0xPERSONAL_ADDR" }, sharing: "10000", mode: "Rate" },
-                        ],
-                        max: null,
-                    },
-                ],
-            },
-            coin: { name: "payment_coin" },
-            payment_info: {},
-        },
-        reverse_explanation: "2 Allocators each with 1 Rate=10000; Guards MUST be different addresses (F-A-14); caller selects one via alloc_by_guard, passport::result_for_guard hard verify (failure abort E_VERIFY_FAILED, no auto-fallback)",
-    },
-    {
-        id: "P-A-03",
-        pattern_name: "Create refund-first + surplus-to-merchant (Amount + Surplus hybrid)",
-        semantic_intent: "Create an Allocation that pays a fixed refund Amount to customer, then sends remaining Surplus to merchant",
-        match_keywords: ["refund", "surplus", "hybrid", "remainder"],
-        schema_fields: ["object(TypeNamedObject)", "allocators", "coin", "payment_info"],
-        example_json: {
-            object: { name: "refund_allocation", type_parameter: "0x2::wow::WOW" },
-            allocators: {
-                description: "Refund 100 WOW to customer, surplus to merchant",
-                threshold: "100000000000",
-                allocators: [
-                    {
-                        guard: "0xGUARD_REFUND_APPROVED",
-                        sharing: [
-                            { who: { Entity: "0xCUSTOMER_ADDR" }, sharing: "100000000000", mode: "Amount" },
-                            { who: { Entity: "0xMERCHANT_TREASURY" }, sharing: "0", mode: "Surplus" },
-                        ],
-                        max: null,
-                    },
-                ],
-            },
-            coin: { name: "refund_coin" },
-            payment_info: {},
-        },
-        reverse_explanation: "Single Allocator with Amount+Surplus hybrid; fix (Amount sum) cached at allocator_add time; threshold MUST be <= fix; Surplus sharing value is ignored (set to 0)",
-    },
-    {
-        id: "P-A-04",
-        pattern_name: "Create dynamic recipient via GuardIdentifier",
-        semantic_intent: "Create an Allocation where one recipient is resolved dynamically from the customer's Passport submission",
-        match_keywords: ["dynamic", "guardidentifier", "passport", "referrer"],
-        schema_fields: ["object(TypeNamedObject)", "allocators", "coin", "payment_info"],
-        example_json: {
-            object: { name: "dynamic_alloc", type_parameter: "0x2::wow::WOW" },
-            allocators: {
-                description: "Merchant 80% / platform 10% / referrer 10% (referrer from Passport)",
-                threshold: "0",
-                allocators: [
-                    {
-                        guard: "0xGUARD_ORDER_COMPLETE",
-                        sharing: [
-                            { who: { Entity: "0xMERCHANT_TREASURY" }, sharing: "8000", mode: "Rate" },
-                            { who: { Entity: "0xPLATFORM_TREASURY" }, sharing: "1000", mode: "Rate" },
-                            { who: { GuardIdentifier: 0 }, sharing: "1000", mode: "Rate" },
-                        ],
-                        max: null,
-                    },
-                ],
-            },
-            coin: { name: "payment_coin" },
-            payment_info: {},
-        },
-        reverse_explanation: "GuardIdentifier references Passport table[identifier] at alloc() time; identifier MUST be u8 (0-255); Guard.is_identifier_address(guard, identifier) MUST hold at allocator_add time",
-    },
-    {
-        id: "P-A-05",
-        pattern_name: "⚠️ Create Signer-recipient Allocation (DANGEROUS)",
-        semantic_intent: "Create an Allocation where the recipient is the tx sender (Signer). Requires strong Guard binding to prevent theft.",
-        match_keywords: ["signer", "self", "tx sender", "dangerous", "high-risk"],
-        schema_fields: ["object(TypeNamedObject)", "allocators", "coin", "payment_info"],
-        example_json: {
-            object: { name: "signer_alloc", type_parameter: "0x2::wow::WOW" },
-            allocators: {
-                description: "⚠️ Signer-recipient — Guard MUST verify authorized caller",
-                threshold: "0",
-                allocators: [
-                    {
-                        guard: "0xGUARD_STRICT_AUTHORIZATION",
-                        sharing: [
-                            { who: { Signer: "signer" }, sharing: "10000", mode: "Rate" },
-                        ],
-                        max: null,
-                    },
-                ],
-            },
-            coin: { name: "payment_coin" },
-            payment_info: {},
-        },
-        reverse_explanation: "⚠️ CRITICAL: sharing.who=Signer sends funds to tx_context::sender(ctx). Guard MUST verify the caller is an authorized recipient, otherwise anyone can claim funds by triggering alloc().",
-    },
-    {
-        id: "P-A-06",
-        pattern_name: "Operate: receive CoinWrapper deposits",
-        semantic_intent: "Receive pending CoinWrapper<T> deposits into an existing Allocation's balance",
-        match_keywords: ["receive", "deposit"],
-        schema_fields: ["object(string)", "received_coins"],
-        example_json: {
-            object: "0xALLOCATION_ADDRESS",
-            received_coins: {
-                token_type: "0x2::wow::WOW",
-                received: [
-                    { id: "0xCOINWRAPPER_1", payment: "0xPAYMENT_1" },
-                    { id: "0xCOINWRAPPER_2", payment: "0xPAYMENT_2" },
-                ],
-            },
-        },
-        reverse_explanation: "received_coins.token_type MUST match Allocation's type_parameter; receive() joins balance into Allocation",
-    },
-    {
-        id: "P-A-07",
-        pattern_name: "Operate: alloc_by_guard (trigger distribution)",
-        semantic_intent: "Trigger fund distribution by verifying a Guard against the customer's Passport submission",
-        match_keywords: ["alloc", "distribute", "trigger", "split"],
-        schema_fields: ["object(string)", "alloc_by_guard"],
-        example_json: {
-            object: "0xALLOCATION_ADDRESS",
-            alloc_by_guard: "0xGUARD_ADDRESS",
-        },
-        reverse_explanation: "alloc_by_guard MUST be one of allocators[].guard addresses; SDK triggers 2-phase call (submission request → Passport verify → on-chain alloc())",
-    },
-    {
-        id: "P-A-08",
-        pattern_name: "Create max-capped allocation (retain residual balance)",
-        semantic_intent: "Create an Allocation with max field to cap total distribution; residual balance remains in Allocation for subsequent alloc() calls",
-        match_keywords: ["max", "cap", "retain", "capped"],
-        schema_fields: ["object(TypeNamedObject)", "allocators", "coin", "payment_info"],
-        example_json: {
-            object: { name: "capped_alloc", type_parameter: "0x2::wow::WOW" },
-            allocators: {
-                description: "Max-capped: 50 WOW fix + 30% rate of remainder, surplus to merchant",
-                threshold: "50000000000",
-                allocators: [
-                    {
-                        guard: "0xGUARD_ORDER_COMPLETE",
-                        sharing: [
-                            { who: { Entity: "0xPARTNER_ADDR" }, sharing: "50000000000", mode: "Amount" },
-                            { who: { Entity: "0xMERCHANT_TREASURY" }, sharing: "3000", mode: "Rate" },
-                            { who: { Entity: "0xMERCHANT_TREASURY" }, sharing: "0", mode: "Surplus" },
-                        ],
-                        max: "200000000000",
-                    },
-                ],
-            },
-            coin: { name: "payment_coin" },
-            payment_info: {},
-        },
-        reverse_explanation: "max triple role: (1) Amount sum <= max (EAMOUNT_EXCEEDS_MAX), (2) Rate base = max - fix (NOT balance - fix), (3) Surplus amount = max - alloced_amount",
-    },
-    {
-        id: "P-A-09",
-        pattern_name: "Create multi-node trigger allocation (3 mutually exclusive Allocators)",
-        semantic_intent: "Create an Allocation with 3 Allocators mapped to Machine terminal nodes (Complete/Refund/Lost); each Guard verifies progress.current_node",
-        match_keywords: ["multi-node", "machine", "terminal", "complete/refund/lost"],
-        schema_fields: ["object(TypeNamedObject)", "allocators", "coin", "payment_info"],
-        example_json: {
-            object: { name: "multinode_alloc", type_parameter: "0x2::wow::WOW" },
-            allocators: {
-                description: "Multi-node: Complete→3-way split, Refund→100% customer, Lost→100% platform",
-                threshold: "0",
-                allocators: [
-                    {
-                        guard: "0xGUARD_NODE_COMPLETE",
-                        sharing: [
-                            { who: { Entity: "0xMERCHANT_TREASURY" }, sharing: "8000", mode: "Rate" },
-                            { who: { Entity: "0xPLATFORM_TREASURY" }, sharing: "2000", mode: "Rate" },
-                        ],
-                        max: null,
-                    },
-                    {
-                        guard: "0xGUARD_NODE_REFUND",
-                        sharing: [
-                            { who: { Entity: "0xCUSTOMER_ADDR" }, sharing: "10000", mode: "Rate" },
-                        ],
-                        max: null,
-                    },
-                    {
-                        guard: "0xGUARD_NODE_LOST",
-                        sharing: [
-                            { who: { Entity: "0xPLATFORM_TREASURY" }, sharing: "10000", mode: "Rate" },
-                        ],
-                        max: null,
-                    },
-                ],
-            },
-            coin: { name: "payment_coin" },
-            payment_info: {},
-        },
-        reverse_explanation: "3 Allocators with mutually exclusive Guard conditions (only one terminal node active at a time); sequence is business-flow order; Machine.required_allocators[] maps trigger_node to Allocator indices",
-    },
-];
-export const SCHEMA_TO_SEMANTIC_RULES = [
-    {
-        element_type: "field",
-        type_name: "object",
-        semantic_explanation: "Allocation object reference. TypeNamedObject={name,type_parameter}=CREATE new; string=OPERATE existing",
-    },
-    {
-        element_type: "field",
-        type_name: "allocators",
-        semantic_explanation: "Allocators config (description + threshold + allocators[]). Immutable after create() — Allocation is a passive object",
-    },
-    {
-        element_type: "field",
-        type_name: "allocators.threshold",
-        semantic_explanation: "Minimum balance required to trigger alloc(). Pure Rate mode threshold=0; Amount+Surplus hybrid threshold <= fix",
-    },
-    {
-        element_type: "field",
-        type_name: "allocators.allocators",
-        semantic_explanation: "Allocator array. Count <= MAX_ALLOCATOR_COUNT (100). Each Allocator is selected by caller via alloc_by_guard (guard address lookup), no auto-fallback",
-    },
-    {
-        element_type: "field",
-        type_name: "allocators.allocators[].guard",
-        semantic_explanation: "Guard object address. MUST be unique within the Allocators (F-A-14). Determines which Allocator fires on alloc()",
-    },
-    {
-        element_type: "field",
-        type_name: "allocators.allocators[].sharing",
-        semantic_explanation: "Sharing array. Count <= MAX_SHARING_COUNT (100). At most 1 Surplus per Allocator (F-A-04)",
-    },
-    {
-        element_type: "field",
-        type_name: "allocators.allocators[].sharing[].who",
-        semantic_explanation: "Recipient: {Entity: address} | {GuardIdentifier: u8} | {Signer: 'signer'}. Signer is DANGEROUS without Guard binding",
-    },
-    {
-        element_type: "field",
-        type_name: "allocators.allocators[].sharing[].sharing",
-        semantic_explanation: "Numeric value. Amount=fixed coin amount; Rate=basis points (10000=100%); Surplus=ignored (set to 0)",
-    },
-    {
-        element_type: "field",
-        type_name: "allocators.allocators[].sharing[].mode",
-        semantic_explanation: "Distribution mode: 'Amount'=fixed, 'Rate'=basis points, 'Surplus'=remainder-all",
-    },
-    {
-        element_type: "field",
-        type_name: "allocators.allocators[].fix",
-        semantic_explanation: "INTERNAL ONLY — cached Amount sum, computed at allocator_add() time. SDK hides this; do NOT set explicitly",
-    },
-    {
-        element_type: "field",
-        type_name: "allocators.allocators[].max",
-        semantic_explanation: "Optional cap. Triple role: Amount sum cap + Rate base + Surplus cap. null=no cap",
-    },
-    {
-        element_type: "field",
-        type_name: "coin",
-        semantic_explanation: "Initial Coin<T> to seed the Allocation balance. Type MUST match type_parameter",
-    },
-    {
-        element_type: "field",
-        type_name: "payment_info",
-        semantic_explanation: "Required PaymentInfo for creating Payment objects during alloc(). Cannot be None at alloc() time (ENO_PAYMENT_INFO)",
-    },
-    {
-        element_type: "field",
-        type_name: "received_coins",
-        semantic_explanation: "Operate-only: CoinWrapper<T> deposits to receive. token_type MUST match Allocation type_parameter",
-    },
-    {
-        element_type: "field",
-        type_name: "alloc_by_guard",
-        semantic_explanation: "Operate-only: Guard address to verify against customer's Passport. MUST be one of allocators[].guard",
-    },
-    {
-        element_type: "op",
-        type_name: "create",
-        semantic_explanation: "new_with_balance + create + share_object. Binds Allocation to Order 1:1 (F-A-12). Cannot be reconfigured",
-    },
-    {
-        element_type: "op",
-        type_name: "receive",
-        semantic_explanation: "Deposit CoinWrapper<T> into Allocation.balance. Pre-condition for alloc() when initial coin is insufficient",
-    },
-    {
-        element_type: "op",
-        type_name: "alloc_by_guard",
-        semantic_explanation: "2-phase: (1) request Passport submission, (2) on-chain alloc() — caller-specified guard: traverse to locate alloc.guard==alloc_by_guard Allocator → passport::result_for_guard hard verify (failure abort E_VERIFY_FAILED)",
-    },
-    {
-        element_type: "mode",
-        type_name: "Amount",
-        semantic_explanation: "Mode 0 — fixed coin amount distribution. sharing.sharing is the absolute amount in smallest unit. Sum cached in fix",
-    },
-    {
-        element_type: "mode",
-        type_name: "Rate",
-        semantic_explanation: "Mode 1 — basis-point distribution. sharing.sharing is in basis points (10000=100%). Pure Rate sum must equal 10000",
-    },
-    {
-        element_type: "mode",
-        type_name: "Surplus",
-        semantic_explanation: "Mode 2 — remainder-all distribution. sharing.sharing is IGNORED (set to 0). At most 1 Surplus per Allocator (EMULTIPLE_SURPLUS)",
-    },
-    {
-        element_type: "recipient",
-        type_name: "Entity",
-        semantic_explanation: "Static address — Treasury / personal wallet / Order object address. Safest recipient type",
-    },
-    {
-        element_type: "recipient",
-        type_name: "GuardIdentifier",
-        semantic_explanation: "u8 identifier resolved from Passport table at alloc() time. Resolved value MUST be address type (ERECIPIENT_IDENTIFIER_NOT_ADDRESS)",
-    },
-    {
-        element_type: "recipient",
-        type_name: "Signer",
-        semantic_explanation: "⚠️ CRITICAL — tx_context::sender(ctx). DANGEROUS without strict Guard binding (theft risk R-A-2-01)",
-    },
-];
-export const ALLOCATION_CONSTRAINT_RULES = [
-    {
-        id: "MC-A-01",
-        category: "structural",
-        rule: "Allocator count <= MAX_ALLOCATOR_COUNT (100) — Move EALLOCATOR_COUNT_EXCEEDED=2",
-        applies_to: ["allocators.allocators"],
-    },
-    {
-        id: "MC-A-02",
-        category: "structural",
-        rule: "Sharing count per Allocator <= MAX_SHARING_COUNT (100) — Move ESHARING_COUNT_EXCEEDED=10",
-        applies_to: ["allocators.allocators[].sharing"],
-    },
-    {
-        id: "MC-A-03",
-        category: "structural",
-        rule: "At most 1 Surplus sharing per Allocator — Move EMULTIPLE_SURPLUS=5",
-        applies_to: ["allocators.allocators[].sharing (mode=Surplus)"],
-    },
-    {
-        id: "MC-A-04",
-        category: "structural",
-        rule: "Pure Rate mode (no Surplus): sum(rates) MUST equal 10000 (RATE_TOTAL_FULL) — Move ERATE_NOT_10000=4",
-        applies_to: ["allocators.allocators[].sharing (mode=Rate, no Surplus in same Allocator)"],
-    },
-    {
-        id: "MC-A-05",
-        category: "structural",
-        rule: "Rate + Surplus hybrid: sum(rates) MUST be <= 10000 — Move ERATE_EXCEEDS_10000=6",
-        applies_to: ["allocators.allocators[].sharing (mode=Rate with Surplus)"],
-    },
-    {
-        id: "MC-A-06",
-        category: "structural",
-        rule: "Amount sum (fix) MUST be >= threshold — Move EAMOUNT_BELOW_THRESHOLD=12",
-        applies_to: ["allocators.allocators[].sharing (mode=Amount)", "allocators.threshold"],
-    },
-    {
-        id: "MC-A-07",
-        category: "structural",
-        rule: "If max is set: Amount sum (fix) MUST be <= max — Move EAMOUNT_EXCEEDS_MAX=13",
-        applies_to: ["allocators.allocators[].sharing (mode=Amount)", "allocators.allocators[].max"],
-    },
-    {
-        id: "MC-A-08",
-        category: "structural",
-        rule: "Balance MUST be >= threshold at alloc() time — Move EINSUFFICIENT_BALANCE=7",
-        applies_to: ["allocators.threshold", "alloc_by_guard operation"],
-    },
-    {
-        id: "MC-A-09",
-        category: "semantic",
-        rule: "allocators.allocators[].guard MUST be unique within the same Allocators (alloc_by_guard address matching locates a unique Allocator; duplicate guards make subsequent Allocators permanently unreachable)",
-        applies_to: ["allocators.allocators[].guard"],
-    },
-    {
-        id: "MC-A-10",
-        category: "semantic",
-        rule: "sharing.who=Signer requires strict Guard binding (R-A-2-01 CRITICAL theft risk). Guard MUST verify caller identity",
-        applies_to: ["allocators.allocators[].sharing[].who (Signer)"],
-    },
-    {
-        id: "MC-A-11",
-        category: "semantic",
-        rule: "sharing.who=GuardIdentifier requires Guard.is_identifier_address(guard, identifier)=true at allocator_add time",
-        applies_to: ["allocators.allocators[].sharing[].who (GuardIdentifier)"],
-    },
-    {
-        id: "MC-A-12",
-        category: "lifecycle",
-        rule: "Allocation is a \"passive object\" — no Permission field, no Owner field, structurally immutable after create()",
-        applies_to: ["create operation", "operate operation (limited to receive/alloc_by_guard)"],
-    },
-    {
-        id: "MC-A-13",
-        category: "cross_object",
-        rule: "Each Order may bind at most 1 Allocation — Move order.move E_ALLOCATION_ALREADY_SPECIFIED",
-        applies_to: ["allocators (when bound via Service.order_allocators)"],
-    },
-    {
-        id: "MC-A-14",
-        category: "cross_object",
-        rule: "allocators cannot be modified after Service publish — Service.order_allocators is frozen (R-A-3-01)",
-        applies_to: ["Service.order_allocators", "Service publish operation"],
-    },
-    {
-        id: "MC-A-15",
-        category: "cross_object",
-        rule: "Arbitration.fees_alloc requires ARBITRATION_FEES_ALLOC=365 permission (independent from Service-order Allocation)",
-        applies_to: ["Arbitration fees_alloc operation"],
-    },
-];
-export const ALLOCATION_TRANSLATION_VERSION = "1.0.0";
-export function matchSemanticPattern(userIntent) {
-    const lower = userIntent.toLowerCase();
-    return SEMANTIC_TO_SCHEMA_RULES.filter(rule => rule.match_keywords.some(kw => lower.includes(kw.toLowerCase())));
-}
-export function explainAllocationCallData(data) {
-    const lines = [];
-    const isCreate = data.object !== null &&
-        data.object !== undefined &&
-        typeof data.object === "object" &&
-        !Array.isArray(data.object);
-    if (isCreate) {
-        const obj = data.object;
-        lines.push(`Operation: CREATE new Allocation '${obj.name}' (${obj.type_parameter ?? "<missing type_parameter>"})`);
-        if (!data.allocators) {
-            lines.push("⚠️ Missing required field: allocators");
-            return lines.join("\n");
-        }
-        const allocatorsData = data.allocators;
-        lines.push(`- Description: "${allocatorsData.description}"`);
-        lines.push(`- Threshold: ${allocatorsData.threshold}`);
-        lines.push(`- Allocators: ${allocatorsData.allocators.length} (max ${MAX_ALLOCATOR_COUNT})`);
-        allocatorsData.allocators.forEach((alloc, idx) => {
-            lines.push(`  [Allocator ${idx}] guard=${alloc.guard}, fix=${alloc.fix ?? "<computed>"}, max=${alloc.max ?? "null"}`);
-            const surplusCount = alloc.sharing.filter(s => s.mode === "Surplus").length;
-            const rateSum = alloc.sharing
-                .filter(s => s.mode === "Rate")
-                .reduce((acc, s) => acc + Number(s.sharing), 0);
-            const amountSum = alloc.sharing
-                .filter(s => s.mode === "Amount")
-                .reduce((acc, s) => acc + Number(s.sharing), 0);
-            const hasSurplus = surplusCount > 0;
-            const hasRate = alloc.sharing.some(s => s.mode === "Rate");
-            if (surplusCount > 1) {
-                lines.push(`    ⚠️ EMULTIPLE_SURPLUS: ${surplusCount} Surplus entries (max 1 allowed)`);
-            }
-            if (hasRate && !hasSurplus && rateSum !== RATE_TOTAL_FULL) {
-                lines.push(`    ⚠️ ERATE_NOT_10000: pure Rate sum=${rateSum} (must equal ${RATE_TOTAL_FULL})`);
-            }
-            if (hasRate && hasSurplus && rateSum > RATE_TOTAL_FULL) {
-                lines.push(`    ⚠️ ERATE_EXCEEDS_10000: Rate+Surplus sum=${rateSum} (must be <= ${RATE_TOTAL_FULL})`);
-            }
-            if (!hasRate && !hasSurplus && amountSum < Number(allocatorsData.threshold)) {
-                lines.push(`    ⚠️ EAMOUNT_BELOW_THRESHOLD: Amount sum=${amountSum} < threshold=${allocatorsData.threshold}`);
-            }
-            if (alloc.max != null && amountSum > Number(alloc.max)) {
-                lines.push(`    ⚠️ EAMOUNT_EXCEEDS_MAX: Amount sum=${amountSum} > max=${alloc.max}`);
-            }
-            alloc.sharing.forEach((s, j) => {
-                const whoType = getRecipientType(s.who);
-                const modeNum = allocationModeToNumber(s.mode);
-                let line = `    [Sharing ${j}] mode=${s.mode}(${modeNum}), sharing=${s.sharing}, who=${whoType}`;
-                if (isEntityRecipient(s.who)) {
-                    line += ` (${s.who.Entity})`;
-                }
-                else if (isGuardIdentifierRecipient(s.who)) {
-                    line += ` (identifier=${s.who.GuardIdentifier})`;
-                }
-                else if (isSignerRecipient(s.who)) {
-                    line += ` ⚠️ CRITICAL: Signer recipient — requires strict Guard binding (R-A-2-01 theft risk)`;
-                }
-                lines.push(line);
-            });
-        });
-        if (!data.coin) {
-            lines.push("⚠️ Missing required field: coin (initial balance seed)");
-        }
-        if (!data.payment_info) {
-            lines.push("⚠️ Missing required field: payment_info (required at alloc() time — ENO_PAYMENT_INFO)");
-        }
-    }
-    else if (data.object && typeof data.object === "string") {
-        lines.push(`Operation: OPERATE existing Allocation at ${data.object}`);
-        if (data.received_coins) {
-            const rc = data.received_coins;
-            lines.push(`- Receive: ${rc.received.length} CoinWrapper deposit(s) of type ${rc.token_type}`);
-            rc.received.forEach((r, i) => {
-                lines.push(`  [${i}] id=${r.id}, payment=${r.payment}`);
-            });
-        }
-        if (data.alloc_by_guard) {
-            lines.push(`- Alloc by Guard: ${data.alloc_by_guard}`);
-            lines.push(`  → Triggers 2-phase call: Passport submission request → on-chain alloc()`);
-            lines.push(`  → caller-specified guard: this Guard MUST be one of allocators[].guard; on verification failure, caller must actively switch guard and retry`);
-        }
-        if (!data.received_coins && !data.alloc_by_guard) {
-            lines.push("⚠️ Operate form requires at least one of: received_coins, alloc_by_guard");
-        }
-    }
-    else {
-        lines.push("⚠️ Cannot determine operation: object must be TypeNamedObject (create) or string (operate)");
-    }
-    return lines.join("\n");
-}
-export function explainField(fieldName) {
-    return SCHEMA_TO_SEMANTIC_RULES.find(r => r.element_type === "field" && r.type_name === fieldName);
-}
-export function explainOp(opName) {
-    return SCHEMA_TO_SEMANTIC_RULES.find(r => r.element_type === "op" && r.type_name === opName);
-}
-export function explainMode(modeName) {
-    return SCHEMA_TO_SEMANTIC_RULES.find(r => r.element_type === "mode" && r.type_name === modeName);
-}
-export function explainRecipient(recipientName) {
-    return SCHEMA_TO_SEMANTIC_RULES.find(r => r.element_type === "recipient" && r.type_name === recipientName);
-}
-export function getConstraintsByCategory(category) {
-    return ALLOCATION_CONSTRAINT_RULES.filter(r => r.category === category);
-}
-export function explainError(code) {
-    const descriptions = {
-        [ALLOCATION_ERROR_CODES.ERECIPIENT_IDENTIFIER_NOT_ADDRESS]: "GuardIdentifier resolved value is not an address type — Passport table[identifier] must be address",
-        [ALLOCATION_ERROR_CODES.EALLOCATOR_COUNT_EXCEEDED]: "Allocator count exceeds MAX_ALLOCATOR_COUNT (100)",
-        [ALLOCATION_ERROR_CODES.ENO_ALLOCATOR]: "No Allocator in the allocators vector — sharing array is empty",
-        [ALLOCATION_ERROR_CODES.ERATE_NOT_10000]: "Pure Rate mode sum(rates) != 10000 — add Surplus or adjust rates to total 10000",
-        [ALLOCATION_ERROR_CODES.EMULTIPLE_SURPLUS]: "Multiple Surplus sharing in a single Allocator — at most 1 Surplus allowed",
-        [ALLOCATION_ERROR_CODES.ERATE_EXCEEDS_10000]: "Rate + Surplus sum(rates) > 10000 — reduce rates so total is <= 10000",
-        [ALLOCATION_ERROR_CODES.EINSUFFICIENT_BALANCE]: "balance < threshold (insufficient balance to trigger alloc) — deposit more via receive()",
-        [ALLOCATION_ERROR_CODES.EALLOCATORS_EMPTY]: "allocators.allocators is empty — at least 1 Allocator required",
-        [ALLOCATION_ERROR_CODES.ENO_PAYMENT_INFO]: "payment_info is None when alloc() is called — set payment_info at create time",
-        [ALLOCATION_ERROR_CODES.ESHARING_COUNT_EXCEEDED]: "sharing count exceeds MAX_SHARING_COUNT (100) — split into multiple Allocators",
-        [ALLOCATION_ERROR_CODES.ESHARING_MODE_INVALID]: "sharing mode is not 0 (Amount) / 1 (Rate) / 2 (Surplus) — check mode value",
-        [ALLOCATION_ERROR_CODES.EAMOUNT_BELOW_THRESHOLD]: "Amount sum (fix) < threshold — increase Amount or lower threshold",
-        [ALLOCATION_ERROR_CODES.EAMOUNT_EXCEEDS_MAX]: "Amount sum (fix) > max — decrease Amount or raise max",
-    };
-    return descriptions[code] ?? `Unknown Allocation error code: ${code}`;
-}
+import{ALLOCATION_ERROR_CODES,MAX_ALLOCATOR_COUNT,RATE_TOTAL_FULL,allocationModeToNumber,getRecipientType,isSignerRecipient,isEntityRecipient,isGuardIdentifierRecipient}from'./allocation-ledger.js';export const SEMANTIC_TO_SCHEMA_RULES=[{'id':'P-A-01','pattern_name':'Create\x20standard\x20three-way\x20split','semantic_intent':'Create\x20an\x20Allocation\x20that\x20splits\x20payment\x203\x20ways\x20via\x20pure\x20Rate\x20(e.g.\x20merchant\x2080%\x20/\x20platform\x2010%\x20/\x20logistics\x2010%)','match_keywords':['split','three-way','rate','distribution'],'schema_fields':['object(TypeNamedObject)','allocators','coin','payment_info'],'example_json':{'object':{'name':'myshop_allocation','type_parameter':'0x2::wow::WOW'},'allocators':{'description':'Standard\x203-way\x20split:\x20merchant\x2080%\x20/\x20platform\x2010%\x20/\x20logistics\x2010%','threshold':'0','allocators':[{'guard':'0xGUARD_ORDER_COMPLETE','sharing':[{'who':{'Entity':'0xMERCHANT_TREASURY'},'sharing':'8000','mode':'Rate'},{'who':{'Entity':'0xPLATFORM_TREASURY'},'sharing':'1000','mode':'Rate'},{'who':{'Entity':'0xLOGISTICS_TREASURY'},'sharing':'1000','mode':'Rate'}],'max':null}]},'coin':{'name':'payment_coin'},'payment_info':{}},'reverse_explanation':'Single\x20Allocator\x20with\x203\x20Rate\x20sharing\x20items;\x20sum(rates)\x20MUST\x20equal\x2010000\x20(RATE_TOTAL_FULL)'},{'id':'P-A-02','pattern_name':'Create\x20Treasury\x20+\x20Personal\x20alternative\x20(caller-specified\x20guard)','semantic_intent':'Create\x20an\x20Allocation\x20with\x202\x20Allocators\x20as\x20alternative\x20strategies:\x20caller\x20selects\x20Treasury\x20or\x20Personal\x20wallet\x20via\x20alloc_by_guard\x20(hard\x20verification\x20per\x20call)','match_keywords':['alternative','fallback','priority','substitute','multi-strategy'],'schema_fields':['object(TypeNamedObject)','allocators','coin','payment_info'],'example_json':{'object':{'name':'myshop_allocation','type_parameter':'0x2::wow::WOW'},'allocators':{'description':'Treasury\x20/\x20Personal\x20alternative\x20(caller-specified\x20guard)','threshold':'0','allocators':[{'guard':'0xGUARD_TRESTRY_OK','sharing':[{'who':{'Entity':'0xTREASURY_ADDR'},'sharing':'10000','mode':'Rate'}],'max':null},{'guard':'0xGUARD_PERSONAL_OK','sharing':[{'who':{'Entity':'0xPERSONAL_ADDR'},'sharing':'10000','mode':'Rate'}],'max':null}]},'coin':{'name':'payment_coin'},'payment_info':{}},'reverse_explanation':'2\x20Allocators\x20each\x20with\x201\x20Rate=10000;\x20Guards\x20MUST\x20be\x20different\x20addresses\x20(F-A-14);\x20caller\x20selects\x20one\x20via\x20alloc_by_guard,\x20passport::result_for_guard\x20hard\x20verify\x20(failure\x20abort\x20E_VERIFY_FAILED,\x20no\x20auto-fallback)'},{'id':'P-A-03','pattern_name':'Create\x20refund-first\x20+\x20surplus-to-merchant\x20(Amount\x20+\x20Surplus\x20hybrid)','semantic_intent':'Create\x20an\x20Allocation\x20that\x20pays\x20a\x20fixed\x20refund\x20Amount\x20to\x20customer,\x20then\x20sends\x20remaining\x20Surplus\x20to\x20merchant','match_keywords':['refund','surplus','hybrid','remainder'],'schema_fields':['object(TypeNamedObject)','allocators','coin','payment_info'],'example_json':{'object':{'name':'refund_allocation','type_parameter':'0x2::wow::WOW'},'allocators':{'description':'Refund\x20100\x20WOW\x20to\x20customer,\x20surplus\x20to\x20merchant','threshold':'100000000000','allocators':[{'guard':'0xGUARD_REFUND_APPROVED','sharing':[{'who':{'Entity':'0xCUSTOMER_ADDR'},'sharing':'100000000000','mode':'Amount'},{'who':{'Entity':'0xMERCHANT_TREASURY'},'sharing':'0','mode':'Surplus'}],'max':null}]},'coin':{'name':'refund_coin'},'payment_info':{}},'reverse_explanation':'Single\x20Allocator\x20with\x20Amount+Surplus\x20hybrid;\x20fix\x20(Amount\x20sum)\x20cached\x20at\x20allocator_add\x20time;\x20threshold\x20MUST\x20be\x20<=\x20fix;\x20Surplus\x20sharing\x20value\x20is\x20ignored\x20(set\x20to\x200)'},{'id':'P-A-04','pattern_name':'Create\x20dynamic\x20recipient\x20via\x20GuardIdentifier','semantic_intent':'Create\x20an\x20Allocation\x20where\x20one\x20recipient\x20is\x20resolved\x20dynamically\x20from\x20the\x20customer\x27s\x20Passport\x20submission','match_keywords':['dynamic','guardidentifier','passport','referrer'],'schema_fields':['object(TypeNamedObject)','allocators','coin','payment_info'],'example_json':{'object':{'name':'dynamic_alloc','type_parameter':'0x2::wow::WOW'},'allocators':{'description':'Merchant\x2080%\x20/\x20platform\x2010%\x20/\x20referrer\x2010%\x20(referrer\x20from\x20Passport)','threshold':'0','allocators':[{'guard':'0xGUARD_ORDER_COMPLETE','sharing':[{'who':{'Entity':'0xMERCHANT_TREASURY'},'sharing':'8000','mode':'Rate'},{'who':{'Entity':'0xPLATFORM_TREASURY'},'sharing':'1000','mode':'Rate'},{'who':{'GuardIdentifier':0x0},'sharing':'1000','mode':'Rate'}],'max':null}]},'coin':{'name':'payment_coin'},'payment_info':{}},'reverse_explanation':'GuardIdentifier\x20references\x20Passport\x20table[identifier]\x20at\x20alloc()\x20time;\x20identifier\x20MUST\x20be\x20u8\x20(0-255);\x20Guard.is_identifier_address(guard,\x20identifier)\x20MUST\x20hold\x20at\x20allocator_add\x20time'},{'id':'P-A-05','pattern_name':'⚠️\x20Create\x20Signer-recipient\x20Allocation\x20(DANGEROUS)','semantic_intent':'Create\x20an\x20Allocation\x20where\x20the\x20recipient\x20is\x20the\x20tx\x20sender\x20(Signer).\x20Requires\x20strong\x20Guard\x20binding\x20to\x20prevent\x20theft.','match_keywords':['signer','self','tx\x20sender','dangerous','high-risk'],'schema_fields':['object(TypeNamedObject)','allocators','coin','payment_info'],'example_json':{'object':{'name':'signer_alloc','type_parameter':'0x2::wow::WOW'},'allocators':{'description':'⚠️\x20Signer-recipient\x20—\x20Guard\x20MUST\x20verify\x20authorized\x20caller','threshold':'0','allocators':[{'guard':'0xGUARD_STRICT_AUTHORIZATION','sharing':[{'who':{'Signer':'signer'},'sharing':'10000','mode':'Rate'}],'max':null}]},'coin':{'name':'payment_coin'},'payment_info':{}},'reverse_explanation':'⚠️\x20CRITICAL:\x20sharing.who=Signer\x20sends\x20funds\x20to\x20tx_context::sender(ctx).\x20Guard\x20MUST\x20verify\x20the\x20caller\x20is\x20an\x20authorized\x20recipient,\x20otherwise\x20anyone\x20can\x20claim\x20funds\x20by\x20triggering\x20alloc().'},{'id':'P-A-06','pattern_name':'Operate:\x20receive\x20CoinWrapper\x20deposits','semantic_intent':'Receive\x20pending\x20CoinWrapper<T>\x20deposits\x20into\x20an\x20existing\x20Allocation\x27s\x20balance','match_keywords':['receive','deposit'],'schema_fields':['object(string)','received_coins'],'example_json':{'object':'0xALLOCATION_ADDRESS','received_coins':{'token_type':'0x2::wow::WOW','received':[{'id':'0xCOINWRAPPER_1','payment':'0xPAYMENT_1'},{'id':'0xCOINWRAPPER_2','payment':'0xPAYMENT_2'}]}},'reverse_explanation':'received_coins.token_type\x20MUST\x20match\x20Allocation\x27s\x20type_parameter;\x20receive()\x20joins\x20balance\x20into\x20Allocation'},{'id':'P-A-07','pattern_name':'Operate:\x20alloc_by_guard\x20(trigger\x20distribution)','semantic_intent':'Trigger\x20fund\x20distribution\x20by\x20verifying\x20a\x20Guard\x20against\x20the\x20customer\x27s\x20Passport\x20submission','match_keywords':['alloc','distribute','trigger','split'],'schema_fields':['object(string)','alloc_by_guard'],'example_json':{'object':'0xALLOCATION_ADDRESS','alloc_by_guard':'0xGUARD_ADDRESS'},'reverse_explanation':'alloc_by_guard\x20MUST\x20be\x20one\x20of\x20allocators[].guard\x20addresses;\x20SDK\x20triggers\x202-phase\x20call\x20(submission\x20request\x20→\x20Passport\x20verify\x20→\x20on-chain\x20alloc())'},{'id':'P-A-08','pattern_name':'Create\x20max-capped\x20allocation\x20(retain\x20residual\x20balance)','semantic_intent':'Create\x20an\x20Allocation\x20with\x20max\x20field\x20to\x20cap\x20total\x20distribution;\x20residual\x20balance\x20remains\x20in\x20Allocation\x20for\x20subsequent\x20alloc()\x20calls','match_keywords':['max','cap','retain','capped'],'schema_fields':['object(TypeNamedObject)','allocators','coin','payment_info'],'example_json':{'object':{'name':'capped_alloc','type_parameter':'0x2::wow::WOW'},'allocators':{'description':'Max-capped:\x2050\x20WOW\x20fix\x20+\x2030%\x20rate\x20of\x20remainder,\x20surplus\x20to\x20merchant','threshold':'50000000000','allocators':[{'guard':'0xGUARD_ORDER_COMPLETE','sharing':[{'who':{'Entity':'0xPARTNER_ADDR'},'sharing':'50000000000','mode':'Amount'},{'who':{'Entity':'0xMERCHANT_TREASURY'},'sharing':'3000','mode':'Rate'},{'who':{'Entity':'0xMERCHANT_TREASURY'},'sharing':'0','mode':'Surplus'}],'max':'200000000000'}]},'coin':{'name':'payment_coin'},'payment_info':{}},'reverse_explanation':'max\x20triple\x20role:\x20(1)\x20Amount\x20sum\x20<=\x20max\x20(EAMOUNT_EXCEEDS_MAX),\x20(2)\x20Rate\x20base\x20=\x20max\x20-\x20fix\x20(NOT\x20balance\x20-\x20fix),\x20(3)\x20Surplus\x20amount\x20=\x20max\x20-\x20alloced_amount'},{'id':'P-A-09','pattern_name':'Create\x20multi-node\x20trigger\x20allocation\x20(3\x20mutually\x20exclusive\x20Allocators)','semantic_intent':'Create\x20an\x20Allocation\x20with\x203\x20Allocators\x20mapped\x20to\x20Machine\x20terminal\x20nodes\x20(Complete/Refund/Lost);\x20each\x20Guard\x20verifies\x20progress.current_node','match_keywords':['multi-node','machine','terminal','complete/refund/lost'],'schema_fields':['object(TypeNamedObject)','allocators','coin','payment_info'],'example_json':{'object':{'name':'multinode_alloc','type_parameter':'0x2::wow::WOW'},'allocators':{'description':'Multi-node:\x20Complete→3-way\x20split,\x20Refund→100%\x20customer,\x20Lost→100%\x20platform','threshold':'0','allocators':[{'guard':'0xGUARD_NODE_COMPLETE','sharing':[{'who':{'Entity':'0xMERCHANT_TREASURY'},'sharing':'8000','mode':'Rate'},{'who':{'Entity':'0xPLATFORM_TREASURY'},'sharing':'2000','mode':'Rate'}],'max':null},{'guard':'0xGUARD_NODE_REFUND','sharing':[{'who':{'Entity':'0xCUSTOMER_ADDR'},'sharing':'10000','mode':'Rate'}],'max':null},{'guard':'0xGUARD_NODE_LOST','sharing':[{'who':{'Entity':'0xPLATFORM_TREASURY'},'sharing':'10000','mode':'Rate'}],'max':null}]},'coin':{'name':'payment_coin'},'payment_info':{}},'reverse_explanation':'3\x20Allocators\x20with\x20mutually\x20exclusive\x20Guard\x20conditions\x20(only\x20one\x20terminal\x20node\x20active\x20at\x20a\x20time);\x20sequence\x20is\x20business-flow\x20order;\x20Machine.required_allocators[]\x20maps\x20trigger_node\x20to\x20Allocator\x20indices'}];export const SCHEMA_TO_SEMANTIC_RULES=[{'element_type':'field','type_name':'object','semantic_explanation':'Allocation\x20object\x20reference.\x20TypeNamedObject={name,type_parameter}=CREATE\x20new;\x20string=OPERATE\x20existing'},{'element_type':'field','type_name':'allocators','semantic_explanation':'Allocators\x20config\x20(description\x20+\x20threshold\x20+\x20allocators[]).\x20Immutable\x20after\x20create()\x20—\x20Allocation\x20is\x20a\x20passive\x20object'},{'element_type':'field','type_name':'allocators.threshold','semantic_explanation':'Minimum\x20balance\x20required\x20to\x20trigger\x20alloc().\x20Pure\x20Rate\x20mode\x20threshold=0;\x20Amount+Surplus\x20hybrid\x20threshold\x20<=\x20fix'},{'element_type':'field','type_name':'allocators.allocators','semantic_explanation':'Allocator\x20array.\x20Count\x20<=\x20MAX_ALLOCATOR_COUNT\x20(100).\x20Each\x20Allocator\x20is\x20selected\x20by\x20caller\x20via\x20alloc_by_guard\x20(guard\x20address\x20lookup),\x20no\x20auto-fallback'},{'element_type':'field','type_name':'allocators.allocators[].guard','semantic_explanation':'Guard\x20object\x20address.\x20MUST\x20be\x20unique\x20within\x20the\x20Allocators\x20(F-A-14).\x20Determines\x20which\x20Allocator\x20fires\x20on\x20alloc()'},{'element_type':'field','type_name':'allocators.allocators[].sharing','semantic_explanation':'Sharing\x20array.\x20Count\x20<=\x20MAX_SHARING_COUNT\x20(100).\x20At\x20most\x201\x20Surplus\x20per\x20Allocator\x20(F-A-04)'},{'element_type':'field','type_name':'allocators.allocators[].sharing[].who','semantic_explanation':'Recipient:\x20{Entity:\x20address}\x20|\x20{GuardIdentifier:\x20u8}\x20|\x20{Signer:\x20\x27signer\x27}.\x20Signer\x20is\x20DANGEROUS\x20without\x20Guard\x20binding'},{'element_type':'field','type_name':'allocators.allocators[].sharing[].sharing','semantic_explanation':'Numeric\x20value.\x20Amount=fixed\x20coin\x20amount;\x20Rate=basis\x20points\x20(10000=100%);\x20Surplus=ignored\x20(set\x20to\x200)'},{'element_type':'field','type_name':'allocators.allocators[].sharing[].mode','semantic_explanation':'Distribution\x20mode:\x20\x27Amount\x27=fixed,\x20\x27Rate\x27=basis\x20points,\x20\x27Surplus\x27=remainder-all'},{'element_type':'field','type_name':'allocators.allocators[].fix','semantic_explanation':'INTERNAL\x20ONLY\x20—\x20cached\x20Amount\x20sum,\x20computed\x20at\x20allocator_add()\x20time.\x20SDK\x20hides\x20this;\x20do\x20NOT\x20set\x20explicitly'},{'element_type':'field','type_name':'allocators.allocators[].max','semantic_explanation':'Optional\x20cap.\x20Triple\x20role:\x20Amount\x20sum\x20cap\x20+\x20Rate\x20base\x20+\x20Surplus\x20cap.\x20null=no\x20cap'},{'element_type':'field','type_name':'coin','semantic_explanation':'Initial\x20Coin<T>\x20to\x20seed\x20the\x20Allocation\x20balance.\x20Type\x20MUST\x20match\x20type_parameter'},{'element_type':'field','type_name':'payment_info','semantic_explanation':'Required\x20PaymentInfo\x20for\x20creating\x20Payment\x20objects\x20during\x20alloc().\x20Cannot\x20be\x20None\x20at\x20alloc()\x20time\x20(ENO_PAYMENT_INFO)'},{'element_type':'field','type_name':'received_coins','semantic_explanation':'Operate-only:\x20CoinWrapper<T>\x20deposits\x20to\x20receive.\x20token_type\x20MUST\x20match\x20Allocation\x20type_parameter'},{'element_type':'field','type_name':'alloc_by_guard','semantic_explanation':'Operate-only:\x20Guard\x20address\x20to\x20verify\x20against\x20customer\x27s\x20Passport.\x20MUST\x20be\x20one\x20of\x20allocators[].guard'},{'element_type':'op','type_name':'create','semantic_explanation':'new_with_balance\x20+\x20create\x20+\x20share_object.\x20Binds\x20Allocation\x20to\x20Order\x201:1\x20(F-A-12).\x20Cannot\x20be\x20reconfigured'},{'element_type':'op','type_name':'receive','semantic_explanation':'Deposit\x20CoinWrapper<T>\x20into\x20Allocation.balance.\x20Pre-condition\x20for\x20alloc()\x20when\x20initial\x20coin\x20is\x20insufficient'},{'element_type':'op','type_name':'alloc_by_guard','semantic_explanation':'2-phase:\x20(1)\x20request\x20Passport\x20submission,\x20(2)\x20on-chain\x20alloc()\x20—\x20caller-specified\x20guard:\x20traverse\x20to\x20locate\x20alloc.guard==alloc_by_guard\x20Allocator\x20→\x20passport::result_for_guard\x20hard\x20verify\x20(failure\x20abort\x20E_VERIFY_FAILED)'},{'element_type':'mode','type_name':'Amount','semantic_explanation':'Mode\x200\x20—\x20fixed\x20coin\x20amount\x20distribution.\x20sharing.sharing\x20is\x20the\x20absolute\x20amount\x20in\x20smallest\x20unit.\x20Sum\x20cached\x20in\x20fix'},{'element_type':'mode','type_name':'Rate','semantic_explanation':'Mode\x201\x20—\x20basis-point\x20distribution.\x20sharing.sharing\x20is\x20in\x20basis\x20points\x20(10000=100%).\x20Pure\x20Rate\x20sum\x20must\x20equal\x2010000'},{'element_type':'mode','type_name':'Surplus','semantic_explanation':'Mode\x202\x20—\x20remainder-all\x20distribution.\x20sharing.sharing\x20is\x20IGNORED\x20(set\x20to\x200).\x20At\x20most\x201\x20Surplus\x20per\x20Allocator\x20(EMULTIPLE_SURPLUS)'},{'element_type':'recipient','type_name':'Entity','semantic_explanation':'Static\x20address\x20—\x20Treasury\x20/\x20personal\x20wallet\x20/\x20Order\x20object\x20address.\x20Safest\x20recipient\x20type'},{'element_type':'recipient','type_name':'GuardIdentifier','semantic_explanation':'u8\x20identifier\x20resolved\x20from\x20Passport\x20table\x20at\x20alloc()\x20time.\x20Resolved\x20value\x20MUST\x20be\x20address\x20type\x20(ERECIPIENT_IDENTIFIER_NOT_ADDRESS)'},{'element_type':'recipient','type_name':'Signer','semantic_explanation':'⚠️\x20CRITICAL\x20—\x20tx_context::sender(ctx).\x20DANGEROUS\x20without\x20strict\x20Guard\x20binding\x20(theft\x20risk\x20R-A-2-01)'}];export const ALLOCATION_CONSTRAINT_RULES=[{'id':'MC-A-01','category':'structural','rule':'Allocator\x20count\x20<=\x20MAX_ALLOCATOR_COUNT\x20(100)\x20—\x20Move\x20EALLOCATOR_COUNT_EXCEEDED=2','applies_to':['allocators.allocators']},{'id':'MC-A-02','category':'structural','rule':'Sharing\x20count\x20per\x20Allocator\x20<=\x20MAX_SHARING_COUNT\x20(100)\x20—\x20Move\x20ESHARING_COUNT_EXCEEDED=10','applies_to':['allocators.allocators[].sharing']},{'id':'MC-A-03','category':'structural','rule':'At\x20most\x201\x20Surplus\x20sharing\x20per\x20Allocator\x20—\x20Move\x20EMULTIPLE_SURPLUS=5','applies_to':['allocators.allocators[].sharing\x20(mode=Surplus)']},{'id':'MC-A-04','category':'structural','rule':'Pure\x20Rate\x20mode\x20(no\x20Surplus):\x20sum(rates)\x20MUST\x20equal\x2010000\x20(RATE_TOTAL_FULL)\x20—\x20Move\x20ERATE_NOT_10000=4','applies_to':['allocators.allocators[].sharing\x20(mode=Rate,\x20no\x20Surplus\x20in\x20same\x20Allocator)']},{'id':'MC-A-05','category':'structural','rule':'Rate\x20+\x20Surplus\x20hybrid:\x20sum(rates)\x20MUST\x20be\x20<=\x2010000\x20—\x20Move\x20ERATE_EXCEEDS_10000=6','applies_to':['allocators.allocators[].sharing\x20(mode=Rate\x20with\x20Surplus)']},{'id':'MC-A-06','category':'structural','rule':'Amount\x20sum\x20(fix)\x20MUST\x20be\x20>=\x20threshold\x20—\x20Move\x20EAMOUNT_BELOW_THRESHOLD=12','applies_to':['allocators.allocators[].sharing\x20(mode=Amount)','allocators.threshold']},{'id':'MC-A-07','category':'structural','rule':'If\x20max\x20is\x20set:\x20Amount\x20sum\x20(fix)\x20MUST\x20be\x20<=\x20max\x20—\x20Move\x20EAMOUNT_EXCEEDS_MAX=13','applies_to':['allocators.allocators[].sharing\x20(mode=Amount)','allocators.allocators[].max']},{'id':'MC-A-08','category':'structural','rule':'Balance\x20MUST\x20be\x20>=\x20threshold\x20at\x20alloc()\x20time\x20—\x20Move\x20EINSUFFICIENT_BALANCE=7','applies_to':['allocators.threshold','alloc_by_guard\x20operation']},{'id':'MC-A-09','category':'semantic','rule':'allocators.allocators[].guard\x20MUST\x20be\x20unique\x20within\x20the\x20same\x20Allocators\x20(alloc_by_guard\x20address\x20matching\x20locates\x20a\x20unique\x20Allocator;\x20duplicate\x20guards\x20make\x20subsequent\x20Allocators\x20permanently\x20unreachable)','applies_to':['allocators.allocators[].guard']},{'id':'MC-A-10','category':'semantic','rule':'sharing.who=Signer\x20requires\x20strict\x20Guard\x20binding\x20(R-A-2-01\x20CRITICAL\x20theft\x20risk).\x20Guard\x20MUST\x20verify\x20caller\x20identity','applies_to':['allocators.allocators[].sharing[].who\x20(Signer)']},{'id':'MC-A-11','category':'semantic','rule':'sharing.who=GuardIdentifier\x20requires\x20Guard.is_identifier_address(guard,\x20identifier)=true\x20at\x20allocator_add\x20time','applies_to':['allocators.allocators[].sharing[].who\x20(GuardIdentifier)']},{'id':'MC-A-12','category':'lifecycle','rule':'Allocation\x20is\x20a\x20\x22passive\x20object\x22\x20—\x20no\x20Permission\x20field,\x20no\x20Owner\x20field,\x20structurally\x20immutable\x20after\x20create()','applies_to':['create\x20operation','operate\x20operation\x20(limited\x20to\x20receive/alloc_by_guard)']},{'id':'MC-A-13','category':'cross_object','rule':'Each\x20Order\x20may\x20bind\x20at\x20most\x201\x20Allocation\x20—\x20Move\x20order.move\x20E_ALLOCATION_ALREADY_SPECIFIED','applies_to':['allocators\x20(when\x20bound\x20via\x20Service.order_allocators)']},{'id':'MC-A-14','category':'cross_object','rule':'allocators\x20cannot\x20be\x20modified\x20after\x20Service\x20publish\x20—\x20Service.order_allocators\x20is\x20frozen\x20(R-A-3-01)','applies_to':['Service.order_allocators','Service\x20publish\x20operation']},{'id':'MC-A-15','category':'cross_object','rule':'Arbitration.fees_alloc\x20requires\x20ARBITRATION_FEES_ALLOC=365\x20permission\x20(independent\x20from\x20Service-order\x20Allocation)','applies_to':['Arbitration\x20fees_alloc\x20operation']}];export const ALLOCATION_TRANSLATION_VERSION='1.0.0';export function matchSemanticPattern(a){const b=a['toLowerCase']();return SEMANTIC_TO_SCHEMA_RULES['filter'](c=>c['match_keywords']['some'](d=>b['includes'](d['toLowerCase']())));}export function explainAllocationCallData(a){const b=[],c=a['object']!==null&&a['object']!==undefined&&typeof a['object']==='object'&&!Array['isArray'](a['object']);if(c){const d=a['object'];b['push']('Operation:\x20CREATE\x20new\x20Allocation\x20\x27'+d['name']+'\x27\x20('+(d['type_parameter']??'<missing\x20type_parameter>')+')');if(!a['allocators'])return b['push']('⚠️\x20Missing\x20required\x20field:\x20allocators'),b['join']('\x0a');const e=a['allocators'];b['push']('-\x20Description:\x20\x22'+e['description']+'\x22'),b['push']('-\x20Threshold:\x20'+e['threshold']),b['push']('-\x20Allocators:\x20'+e['allocators']['length']+'\x20(max\x20'+MAX_ALLOCATOR_COUNT+')'),e['allocators']['forEach']((f,g)=>{b['push']('\x20\x20[Allocator\x20'+g+']\x20guard='+f['guard']+',\x20fix='+(f['fix']??'<computed>')+',\x20max='+(f['max']??'null'));const h=f['sharing']['filter'](m=>m['mode']==='Surplus')['length'],i=f['sharing']['filter'](m=>m['mode']==='Rate')['reduce']((m,n)=>m+Number(n['sharing']),0x0),j=f['sharing']['filter'](m=>m['mode']==='Amount')['reduce']((m,n)=>m+Number(n['sharing']),0x0),k=h>0x0,l=f['sharing']['some'](m=>m['mode']==='Rate');h>0x1&&b['push']('\x20\x20\x20\x20⚠️\x20EMULTIPLE_SURPLUS:\x20'+h+'\x20Surplus\x20entries\x20(max\x201\x20allowed)'),l&&!k&&i!==RATE_TOTAL_FULL&&b['push']('\x20\x20\x20\x20⚠️\x20ERATE_NOT_10000:\x20pure\x20Rate\x20sum='+i+'\x20(must\x20equal\x20'+RATE_TOTAL_FULL+')'),l&&k&&i>RATE_TOTAL_FULL&&b['push']('\x20\x20\x20\x20⚠️\x20ERATE_EXCEEDS_10000:\x20Rate+Surplus\x20sum='+i+'\x20(must\x20be\x20<=\x20'+RATE_TOTAL_FULL+')'),!l&&!k&&j<Number(e['threshold'])&&b['push']('\x20\x20\x20\x20⚠️\x20EAMOUNT_BELOW_THRESHOLD:\x20Amount\x20sum='+j+'\x20<\x20threshold='+e['threshold']),f['max']!=null&&j>Number(f['max'])&&b['push']('\x20\x20\x20\x20⚠️\x20EAMOUNT_EXCEEDS_MAX:\x20Amount\x20sum='+j+'\x20>\x20max='+f['max']),f['sharing']['forEach']((m,n)=>{const o=getRecipientType(m['who']),p=allocationModeToNumber(m['mode']);let q='\x20\x20\x20\x20[Sharing\x20'+n+']\x20mode='+m['mode']+'('+p+'),\x20sharing='+m['sharing']+',\x20who='+o;if(isEntityRecipient(m['who']))q+='\x20('+m['who']['Entity']+')';else{if(isGuardIdentifierRecipient(m['who']))q+='\x20(identifier='+m['who']['GuardIdentifier']+')';else isSignerRecipient(m['who'])&&(q+='\x20⚠️\x20CRITICAL:\x20Signer\x20recipient\x20—\x20requires\x20strict\x20Guard\x20binding\x20(R-A-2-01\x20theft\x20risk)');}b['push'](q);});}),!a['coin']&&b['push']('⚠️\x20Missing\x20required\x20field:\x20coin\x20(initial\x20balance\x20seed)'),!a['payment_info']&&b['push']('⚠️\x20Missing\x20required\x20field:\x20payment_info\x20(required\x20at\x20alloc()\x20time\x20—\x20ENO_PAYMENT_INFO)');}else{if(a['object']&&typeof a['object']==='string'){b['push']('Operation:\x20OPERATE\x20existing\x20Allocation\x20at\x20'+a['object']);if(a['received_coins']){const f=a['received_coins'];b['push']('-\x20Receive:\x20'+f['received']['length']+'\x20CoinWrapper\x20deposit(s)\x20of\x20type\x20'+f['token_type']),f['received']['forEach']((g,h)=>{b['push']('\x20\x20['+h+']\x20id='+g['id']+',\x20payment='+g['payment']);});}a['alloc_by_guard']&&(b['push']('-\x20Alloc\x20by\x20Guard:\x20'+a['alloc_by_guard']),b['push']('\x20\x20→\x20Triggers\x202-phase\x20call:\x20Passport\x20submission\x20request\x20→\x20on-chain\x20alloc()'),b['push']('\x20\x20→\x20caller-specified\x20guard:\x20this\x20Guard\x20MUST\x20be\x20one\x20of\x20allocators[].guard;\x20on\x20verification\x20failure,\x20caller\x20must\x20actively\x20switch\x20guard\x20and\x20retry')),!a['received_coins']&&!a['alloc_by_guard']&&b['push']('⚠️\x20Operate\x20form\x20requires\x20at\x20least\x20one\x20of:\x20received_coins,\x20alloc_by_guard');}else b['push']('⚠️\x20Cannot\x20determine\x20operation:\x20object\x20must\x20be\x20TypeNamedObject\x20(create)\x20or\x20string\x20(operate)');}return b['join']('\x0a');}export function explainField(a){return SCHEMA_TO_SEMANTIC_RULES['find'](b=>b['element_type']==='field'&&b['type_name']===a);}export function explainOp(a){return SCHEMA_TO_SEMANTIC_RULES['find'](b=>b['element_type']==='op'&&b['type_name']===a);}export function explainMode(a){return SCHEMA_TO_SEMANTIC_RULES['find'](b=>b['element_type']==='mode'&&b['type_name']===a);}export function explainRecipient(a){return SCHEMA_TO_SEMANTIC_RULES['find'](b=>b['element_type']==='recipient'&&b['type_name']===a);}export function getConstraintsByCategory(a){return ALLOCATION_CONSTRAINT_RULES['filter'](b=>b['category']===a);}export function explainError(a){const b={[ALLOCATION_ERROR_CODES['ERECIPIENT_IDENTIFIER_NOT_ADDRESS']]:'GuardIdentifier\x20resolved\x20value\x20is\x20not\x20an\x20address\x20type\x20—\x20Passport\x20table[identifier]\x20must\x20be\x20address',[ALLOCATION_ERROR_CODES['EALLOCATOR_COUNT_EXCEEDED']]:'Allocator\x20count\x20exceeds\x20MAX_ALLOCATOR_COUNT\x20(100)',[ALLOCATION_ERROR_CODES['ENO_ALLOCATOR']]:'No\x20Allocator\x20in\x20the\x20allocators\x20vector\x20—\x20sharing\x20array\x20is\x20empty',[ALLOCATION_ERROR_CODES['ERATE_NOT_10000']]:'Pure\x20Rate\x20mode\x20sum(rates)\x20!=\x2010000\x20—\x20add\x20Surplus\x20or\x20adjust\x20rates\x20to\x20total\x2010000',[ALLOCATION_ERROR_CODES['EMULTIPLE_SURPLUS']]:'Multiple\x20Surplus\x20sharing\x20in\x20a\x20single\x20Allocator\x20—\x20at\x20most\x201\x20Surplus\x20allowed',[ALLOCATION_ERROR_CODES['ERATE_EXCEEDS_10000']]:'Rate\x20+\x20Surplus\x20sum(rates)\x20>\x2010000\x20—\x20reduce\x20rates\x20so\x20total\x20is\x20<=\x2010000',[ALLOCATION_ERROR_CODES['EINSUFFICIENT_BALANCE']]:'balance\x20<\x20threshold\x20(insufficient\x20balance\x20to\x20trigger\x20alloc)\x20—\x20deposit\x20more\x20via\x20receive()',[ALLOCATION_ERROR_CODES['EALLOCATORS_EMPTY']]:'allocators.allocators\x20is\x20empty\x20—\x20at\x20least\x201\x20Allocator\x20required',[ALLOCATION_ERROR_CODES['ENO_PAYMENT_INFO']]:'payment_info\x20is\x20None\x20when\x20alloc()\x20is\x20called\x20—\x20set\x20payment_info\x20at\x20create\x20time',[ALLOCATION_ERROR_CODES['ESHARING_COUNT_EXCEEDED']]:'sharing\x20count\x20exceeds\x20MAX_SHARING_COUNT\x20(100)\x20—\x20split\x20into\x20multiple\x20Allocators',[ALLOCATION_ERROR_CODES['ESHARING_MODE_INVALID']]:'sharing\x20mode\x20is\x20not\x200\x20(Amount)\x20/\x201\x20(Rate)\x20/\x202\x20(Surplus)\x20—\x20check\x20mode\x20value',[ALLOCATION_ERROR_CODES['EAMOUNT_BELOW_THRESHOLD']]:'Amount\x20sum\x20(fix)\x20<\x20threshold\x20—\x20increase\x20Amount\x20or\x20lower\x20threshold',[ALLOCATION_ERROR_CODES['EAMOUNT_EXCEEDS_MAX']]:'Amount\x20sum\x20(fix)\x20>\x20max\x20—\x20decrease\x20Amount\x20or\x20raise\x20max'};return b[a]??'Unknown\x20Allocation\x20error\x20code:\x20'+a;}