@wowok/agent-mcp 2.7.1 → 2.7.2

package/dist/knowledge/reward-translation.js

@@ -1,501 +1 @@
-import { isRewardBuiltinPermission, getBuiltinPermissionByIndex, resolveGuardConstructor, } from "./reward-ledger.js";
-export const REWARD_SEMANTIC_TO_SCHEMA_RULES = [
-    {
-        id: "P-RW-01",
-        pattern_name: "Create new Reward",
-        semantic_intent: "Initialize a new Reward<T> object with description, Permission, and coin type T",
-        match_keywords: ["create reward", "new reward"],
-        schema_fields: ["object (typed, with permission + type_parameter)", "description"],
-        example_json: {
-            object: {
-                permission: "0xPERMISSION_ADDRESS",
-                type_parameter: "0x2::wow::WOW",
-            },
-            description: "First-order cashback reward",
-        },
-        reverse_explanation: "object with type_parameter triggers reward::new (150). SDK creates Permission if not provided, " +
-            "then constructs Reward<T> via new_imp. After create, share_object is called automatically.",
-    },
-    {
-        id: "P-RW-02",
-        pattern_name: "Add RewardGuard (eligible recipient + amount rule)",
-        semantic_intent: "Register a Guard that defines who can claim and how much they receive",
-        match_keywords: ["guard_add", "add guard", "eligibility"],
-        schema_fields: ["object", "guard_add[]"],
-        example_json: {
-            object: "0xREWARD_ADDRESS",
-            guard_add: [
-                {
-                    guard: "0xGUARD_ADDRESS",
-                    recipient: { Signer: "signer" },
-                    amount: { type: "Fixed", value: 1000000000 },
-                    expiration_time: 1735689600000,
-                    store_from_id: null,
-                },
-            ],
-        },
-        reverse_explanation: "guard_add with one entry triggers reward::guard_add (152). SDK reward_guard() picks one of 6 Move constructors " +
-            "based on recipient variant (GuardIdentifier/Entity/Signer) × amount.type (GuardU64Identifier/Fixed). " +
-            "Move: if guard already in self.guards, UPDATE in place; else push_back (E_GUARD_COUNT_EXCEEDED if > 200).",
-    },
-    {
-        id: "P-RW-03",
-        pattern_name: "Claim reward (passport-driven)",
-        semantic_intent: "Claim rewards as an eligible recipient, verified via Guard + Passport",
-        match_keywords: ["claim", "receive reward"],
-        schema_fields: ["object", "claim (guard address)"],
-        example_json: {
-            object: "0xREWARD_ADDRESS",
-            claim: "0xGUARD_ADDRESS",
-        },
-        reverse_explanation: "claim field set to a guard address triggers reward::claim (NO permission check). " +
-            "Move: iterates self.guards looking for matching guard.id_address; passport::result_for_guard verifies submission; " +
-            "recipient/amount resolved from Passport submissions OR fixed values; " +
-            "balance::split transfers coin to recipient; record appended to RecipientRecord.amount vector.",
-    },
-    {
-        id: "P-RW-04",
-        pattern_name: "Deposit funds (coin_add)",
-        semantic_intent: "Deposit Coin<T> into the Reward balance to fund claims",
-        match_keywords: ["coin_add", "deposit", "deposit funds"],
-        schema_fields: ["object", "coin_add"],
-        example_json: {
-            object: "0xREWARD_ADDRESS",
-            coin_add: {
-                amount: "10000000000",
-                coin_type: "0x2::wow::WOW",
-            },
-        },
-        reverse_explanation: "coin_add triggers reward::coin_add (153). Move: coin::into_balance(coin) → balance::join(self.balance). " +
-            "Coin<T> type must match Reward<T> exactly (phantom T). No upper limit on balance.",
-    },
-    {
-        id: "P-RW-05",
-        pattern_name: "Receive CoinWrapper via Payment",
-        semantic_intent: "Receive a CoinWrapper<T> envelope via Payment.unwrap_with_check",
-        match_keywords: ["receive", "payment", "unwrap"],
-        schema_fields: ["object", "receive (payment + received)"],
-        example_json: {
-            object: "0xREWARD_ADDRESS",
-            receive: {
-                received: [{ id: "0xRECEIVED_OBJ", payment: "0xPAYMENT_OBJ" }],
-                token_type: "0x2::wow::WOW",
-            },
-        },
-        reverse_explanation: "receive with Receiving<CoinWrapper<T>> + Payment<T> triggers reward::receive (154). " +
-            "Move: payment::unwrap_with_check extracts Coin<T> from CoinWrapper<T>, then balance::join. " +
-            "token_type must match Reward<T>.",
-    },
-    {
-        id: "P-RW-06",
-        pattern_name: "Owner receive (terminal disbursement)",
-        semantic_intent: "Owner unwraps Receiving<K> / CoinWrapper<K> envelopes sent to the Reward",
-        match_keywords: ["owner_receive", "unwrap to owner"],
-        schema_fields: ["object", "owner_receive"],
-        example_json: {
-            object: "0xREWARD_ADDRESS",
-            owner_receive: {
-                received: [{ id: "0xRECEIVED_OBJ", payment: "0xPAYMENT_OBJ" }],
-                token_type: "0x2::wow::WOW",
-            },
-        },
-        reverse_explanation: "owner_receive triggers reward::owner_receive (156). Move: payment::unwrap_with_check extracts Coin<K>, " +
-            "then permission::owner_receive_inner forwards to Permission owner (NOT Reward creator). " +
-            "Does NOT drain self.balance — only unwraps Receiving<K> envelopes.",
-    },
-    {
-        id: "P-RW-07",
-        pattern_name: "Set UM (Contact binding)",
-        semantic_intent: "Bind or unbind a Contact (UM) object for off-chain coordination",
-        match_keywords: ["um_set", "um_none", "contact", "UM"],
-        schema_fields: ["object", "um (string | null)"],
-        example_json: {
-            object: "0xREWARD_ADDRESS",
-            um: "0xCONTACT_ADDRESS",
-        },
-        reverse_explanation: "um=<address> triggers reward::um_set (157) — creates Registrar affiliation. " +
-            "um=null triggers reward::um_none (157) — disaffiliates and clears self.um.",
-    },
-    {
-        id: "P-RW-08",
-        pattern_name: "Set permission (owner-only)",
-        semantic_intent: "Replace the Permission object (owner-only operation)",
-        match_keywords: ["permission_set", "change permission"],
-        schema_fields: ["(SDK does not expose this in CallReward_Data — direct Move call required)"],
-        example_json: {
-            _note: "Not exposed in CallReward_Data; direct Move call:",
-            target: "reward::permission_set<T>",
-            arguments: ["reward", "old_permission", "new_permission", "registrar", "clock"],
-        },
-        reverse_explanation: "Calls reward::permission_set. Move asserts old.owner == sender (tx_context::sender). " +
-            "Updates self.permission = new.id_address; creates Registrar affiliation_change.",
-    },
-];
-export const REWARD_SCHEMA_TO_SEMANTIC_RULES = [
-    {
-        element_type: "field",
-        type_name: "object",
-        semantic_explanation: "Reward object address. For create: typed object with permission + type_parameter. For operate: existing Reward address.",
-    },
-    {
-        element_type: "field",
-        type_name: "claim",
-        semantic_explanation: "Guard address to claim against. NO permission check — eligibility determined by Guard + Passport alone.",
-    },
-    {
-        element_type: "field",
-        type_name: "description",
-        semantic_explanation: "Reward description (must satisfy common::DESCRIPTION). Updated via description_set (151).",
-    },
-    {
-        element_type: "field",
-        type_name: "coin_add",
-        semantic_explanation: "Deposit Coin<T> into balance. coin_type must match Reward<T> (153 permission).",
-    },
-    {
-        element_type: "field",
-        type_name: "receive",
-        semantic_explanation: "Receive CoinWrapper<T> via Payment.unwrap_with_check. token_type must match Reward<T> (154 permission).",
-    },
-    {
-        element_type: "field",
-        type_name: "guard_add",
-        semantic_explanation: "Array of RewardGuard configs. Each entry has guard, recipient (GuardIdentifier/Entity/Signer), amount (Fixed/GuardU64Identifier), expiration_time, store_from_id. (152 permission)",
-    },
-    {
-        element_type: "field",
-        type_name: "guard_remove_expired",
-        semantic_explanation: "Boolean. If true, removes all guards with expiration_time < now. (152 permission)",
-    },
-    {
-        element_type: "field",
-        type_name: "guard_expiration_time",
-        semantic_explanation: "Set/cancel guard_not_added_expiration_time. number = set lock; null = cancel. (155 permission)",
-    },
-    {
-        element_type: "field",
-        type_name: "owner_receive",
-        semantic_explanation: "Receive Receiving<K> / CoinWrapper<K> envelopes and forward to Permission owner. (156 permission)",
-    },
-    {
-        element_type: "field",
-        type_name: "um",
-        semantic_explanation: "Bind/unbind Contact (UM). string = um_set; null = um_none. (157 permission)",
-    },
-    {
-        element_type: "op",
-        type_name: "new",
-        semantic_explanation: "Create Reward<T> (150 permission). Indirect via SDK newReward() → reward::new or new_with_passport.",
-    },
-    {
-        element_type: "op",
-        type_name: "create",
-        semantic_explanation: "Share Reward object and return its address. Called automatically after new.",
-    },
-    {
-        element_type: "op",
-        type_name: "claim",
-        semantic_explanation: "Claim rewards (NO permission). Passport-driven: Guard verification + recipient/amount resolution from submissions.",
-    },
-    {
-        element_type: "op",
-        type_name: "guard_add",
-        semantic_explanation: "Add or update a RewardGuard (152). Existing guard (same address) is updated in place; new guard pushes (E_GUARD_COUNT_EXCEEDED if > 200).",
-    },
-    {
-        element_type: "op",
-        type_name: "guard_remove_expired",
-        semantic_explanation: "Remove all guards with expiration_time < now (152). Also disaffiliates from Registrar.",
-    },
-    {
-        element_type: "op",
-        type_name: "coin_add",
-        semantic_explanation: "Deposit Coin<T> into balance (153). balance::join(self.balance, coin::into_balance(coin)).",
-    },
-    {
-        element_type: "op",
-        type_name: "receive",
-        semantic_explanation: "Receive CoinWrapper<T> via Payment (154). unwrap_with_check → balance::join.",
-    },
-    {
-        element_type: "op",
-        type_name: "guard_expiration_time_add",
-        semantic_explanation: "Set/cancel guard_not_added_expiration_time (155). New time must be > now (E_GUARD_LOCKED_TIME_INVALID).",
-    },
-    {
-        element_type: "op",
-        type_name: "owner_receive",
-        semantic_explanation: "Owner unwrap Receiving<K>/CoinWrapper<K> (156). Forwards to Permission owner via owner_receive_inner.",
-    },
-    {
-        element_type: "op",
-        type_name: "um_set",
-        semantic_explanation: "Bind Contact as UM (157). Creates Registrar affiliation.",
-    },
-    {
-        element_type: "op",
-        type_name: "um_none",
-        semantic_explanation: "Unbind UM (157). Disaffiliates from Registrar and sets self.um = none.",
-    },
-    {
-        element_type: "op",
-        type_name: "description_set",
-        semantic_explanation: "Update description (151). Must satisfy common::DESCRIPTION.",
-    },
-    {
-        element_type: "op",
-        type_name: "permission_set",
-        semantic_explanation: "Replace Permission (owner-only). Asserts old.owner == sender; creates Registrar affiliation_change.",
-    },
-    {
-        element_type: "phase",
-        type_name: "creation",
-        semantic_explanation: "new (150) → create → share. Permission object may be created in same tx if not provided.",
-    },
-    {
-        element_type: "phase",
-        type_name: "guard_addition",
-        semantic_explanation: "guard_add (152) + guard_remove_expired (152). Guards are added/updated/removed based on expiration.",
-    },
-    {
-        element_type: "phase",
-        type_name: "claim",
-        semantic_explanation: "claim() — passport-driven, no permission. Iterates guards, verifies Passport, splits balance to recipient.",
-    },
-    {
-        element_type: "phase",
-        type_name: "funds_replenish",
-        semantic_explanation: "coin_add (153) OR receive (154). Both join into self.balance.",
-    },
-    {
-        element_type: "phase",
-        type_name: "owner_receive",
-        semantic_explanation: "owner_receive / owner_receive_object (156). Unwrap Receiving envelopes → Permission owner.",
-    },
-    {
-        element_type: "constructor",
-        type_name: "guard_u8_u8",
-        semantic_explanation: "RewardGuard constructor: GuardIdentifier recipient + GuardU64Identifier amount. Both resolved from Passport at claim time. Asserts is_identifier_address + value_type=u64.",
-    },
-    {
-        element_type: "constructor",
-        type_name: "guard_u8_u64",
-        semantic_explanation: "RewardGuard constructor: GuardIdentifier recipient + Fixed amount. Recipient from Passport; amount fixed. Asserts is_identifier_address.",
-    },
-    {
-        element_type: "constructor",
-        type_name: "guard_entity_u8",
-        semantic_explanation: "RewardGuard constructor: Entity recipient + GuardU64Identifier amount. Recipient fixed; amount from Passport. Asserts value_type=u64.",
-    },
-    {
-        element_type: "constructor",
-        type_name: "guard_entity_u64",
-        semantic_explanation: "RewardGuard constructor: Entity recipient + Fixed amount. Both fixed. Simplest configuration.",
-    },
-    {
-        element_type: "constructor",
-        type_name: "guard_signer_u8",
-        semantic_explanation: "RewardGuard constructor: Signer recipient + GuardU64Identifier amount. Caller is recipient; amount from Passport. Asserts value_type=u64.",
-    },
-    {
-        element_type: "constructor",
-        type_name: "guard_signer_u64",
-        semantic_explanation: "RewardGuard constructor: Signer recipient + Fixed amount. Caller is recipient; amount fixed. Common for first-order/flash sale.",
-    },
-];
-export const REWARD_CONSTRAINT_RULES = [
-    {
-        id: "MC-RW-01",
-        category: "structural",
-        rule: "guard count < MAX_GUARD_COUNT_REWARD (200); E_GUARD_COUNT_EXCEEDED on overflow (only on NEW guard, not update)",
-        applies_to: ["guard_add"],
-    },
-    {
-        id: "MC-RW-02",
-        category: "structural",
-        rule: "per-recipient record count < MAX_RECORD_COUNT_REWARD (5200); E_RECORD_COUNT_EXCEEDED on claim",
-        applies_to: ["claim"],
-    },
-    {
-        id: "MC-RW-03",
-        category: "structural",
-        rule: "guard_add batch size ≤ MAX_GUARD_COUNT_REWARD (200); SDK rejects larger batches in operate()",
-        applies_to: ["guard_add (batch)"],
-    },
-    {
-        id: "MC-RW-04",
-        category: "semantic",
-        rule: "guard_add: Recipient × Amount must match one of 6 valid constructors (guard_u8_u8 / u8_u64 / entity_u8 / entity_u64 / signer_u8 / signer_u64)",
-        applies_to: ["guard_add"],
-    },
-    {
-        id: "MC-RW-05",
-        category: "semantic",
-        rule: "RewardGuard constructor: GuardIdentifier recipient requires is_identifier_address(guard, id) — E_RECIPIENT_IDENTIFIER_NOT_ADDRESS",
-        applies_to: ["reward_guard (constructor)"],
-    },
-    {
-        id: "MC-RW-06",
-        category: "semantic",
-        rule: "RewardGuard constructor: GuardU64Identifier amount requires get_submission_value_type(guard, id) == TYPE_U64 — E_AMOUNT_NOT_U64",
-        applies_to: ["reward_guard (constructor)"],
-    },
-    {
-        id: "MC-RW-07",
-        category: "semantic",
-        rule: "RewardGuard constructor: store_from_id (if Some) requires is_identifier_address_compatible — E_STORE_FROM_ID_NOT_COMPATIBLE",
-        applies_to: ["reward_guard (constructor)"],
-    },
-    {
-        id: "MC-RW-08",
-        category: "permission",
-        rule: "claim is PERMISSION-FREE — anyone with valid Passport + Guard can claim (no 150-157 assertion)",
-        applies_to: ["claim"],
-    },
-    {
-        id: "MC-RW-09",
-        category: "permission",
-        rule: "150-157 builtin indexes are MANAGEMENT-ONLY (new/description/guard/coin_add/receive/guard_exp/owner_receive/um)",
-        applies_to: ["all management ops"],
-    },
-    {
-        id: "MC-RW-10",
-        category: "permission",
-        rule: "owner_receive (156) forwards to Permission owner (NOT Reward creator) — grant 156 only to dedicated addresses",
-        applies_to: ["owner_receive"],
-    },
-    {
-        id: "MC-RW-11",
-        category: "lifecycle",
-        rule: "guard_add: clock > guard_not_added_expiration_time (if Some) — E_GUARD_LOCKED_TIME",
-        applies_to: ["guard_add"],
-    },
-    {
-        id: "MC-RW-12",
-        category: "lifecycle",
-        rule: "guard_add / claim: clock ≤ guard.expiration_time (if Some) — E_GUARD_EXPIRED",
-        applies_to: ["guard_add", "claim"],
-    },
-    {
-        id: "MC-RW-13",
-        category: "lifecycle",
-        rule: "guard_expiration_time_add: new Some(t) requires t > now — E_GUARD_LOCKED_TIME_INVALID",
-        applies_to: ["guard_expiration_time_add"],
-    },
-    {
-        id: "MC-RW-14",
-        category: "lifecycle",
-        rule: "claim: balance ≥ amount — E_INSUFFICIENT_BALANCE (balance::split aborts)",
-        applies_to: ["claim"],
-    },
-    {
-        id: "MC-RW-15",
-        category: "cross_object",
-        rule: "claim: supplied guard must be in self.guards — E_GUARD_NOT_FOUND (iterates by id_address match)",
-        applies_to: ["claim"],
-    },
-    {
-        id: "MC-RW-16",
-        category: "cross_object",
-        rule: "coin_add: Coin<T> type must match Reward<T> phantom T (SDK W_ERROR in operate if mismatch)",
-        applies_to: ["coin_add"],
-    },
-];
-export const REWARD_TRANSLATION_VERSION = "1.0.0";
-export function matchSemanticPattern(userIntent) {
-    const lower = userIntent.toLowerCase();
-    return REWARD_SEMANTIC_TO_SCHEMA_RULES.filter(rule => rule.match_keywords.some(kw => lower.includes(kw.toLowerCase())));
-}
-export function explainRewardCallData(data) {
-    const lines = [];
-    if (!data.object) {
-        lines.push("Operation: CREATE Reward (new + create + share)");
-    }
-    else {
-        lines.push(`Operation: OPERATE Reward at ${data.object}`);
-    }
-    if (data.claim) {
-        lines.push(`- claim: guard=${data.claim} (passport-driven, NO permission check)`);
-    }
-    if (data.description != null) {
-        lines.push(`- description_set: "${data.description}" (151 permission)`);
-    }
-    if (data.coin_add) {
-        lines.push(`- coin_add: ${data.coin_add.amount} of ${data.coin_add.coin_type} (153 permission)`);
-    }
-    if (data.receive) {
-        lines.push(`- receive: token_type=${data.receive.token_type} (154 permission, requires Payment)`);
-    }
-    if (data.guard_add) {
-        lines.push(`- guard_add: ${data.guard_add.length} guard(s) (152 permission)`);
-        for (let i = 0; i < data.guard_add.length; i++) {
-            const g = data.guard_add[i];
-            const rKey = Object.keys(g.recipient)[0] ?? "(unknown)";
-            const constructorName = inferConstructorName(rKey, g.amount.type);
-            lines.push(`  [${i}] constructor=${constructorName}, guard=${g.guard}`);
-            lines.push(`      recipient=${rKey}, amount=${g.amount.type}(${g.amount.value})`);
-            if (g.expiration_time != null) {
-                lines.push(`      expiration_time=${g.expiration_time}`);
-            }
-            if (g.store_from_id != null) {
-                lines.push(`      store_from_id=${g.store_from_id}`);
-            }
-        }
-    }
-    if (data.guard_remove_expired) {
-        lines.push(`- guard_remove_expired: true (152 permission)`);
-    }
-    if (data.guard_expiration_time !== undefined) {
-        const t = data.guard_expiration_time;
-        if (t === null) {
-            lines.push(`- guard_expiration_time_add: null (cancel lock, 155 permission)`);
-        }
-        else {
-            lines.push(`- guard_expiration_time_add: ${t} (155 permission, must be > now)`);
-        }
-    }
-    if (data.owner_receive != null) {
-        lines.push(`- ⚠️ owner_receive (156 permission): unwrap to Permission owner`);
-    }
-    if (data.um !== undefined) {
-        if (data.um) {
-            lines.push(`- um_set: ${data.um} (157 permission, creates Registrar affiliation)`);
-        }
-        else {
-            lines.push(`- um_none: (157 permission, disaffiliates and clears um)`);
-        }
-    }
-    return lines.join("\n");
-}
-function inferConstructorName(recipientKey, amountType) {
-    const recipientMap = {
-        GuardIdentifier: "GuardIdentifier",
-        Entity: "Entity",
-        Signer: "Signer",
-    };
-    const recipientType = recipientMap[recipientKey];
-    if (!recipientType)
-        return "(invalid)";
-    const amountTypeStr = String(amountType).toUpperCase();
-    const amountTypeNorm = amountTypeStr === "FIXED" ? "Fixed" : "GuardU64Identifier";
-    return resolveGuardConstructor(recipientType, amountTypeNorm) ?? "(invalid)";
-}
-export function explainField(fieldName) {
-    return REWARD_SCHEMA_TO_SEMANTIC_RULES.find(r => r.element_type === "field" && r.type_name === fieldName);
-}
-export function explainOp(opName) {
-    return REWARD_SCHEMA_TO_SEMANTIC_RULES.find(r => r.element_type === "op" && r.type_name === opName);
-}
-export function explainConstructor(constructorName) {
-    return REWARD_SCHEMA_TO_SEMANTIC_RULES.find(r => r.element_type === "constructor" && r.type_name === constructorName);
-}
-export function getConstraintsByCategory(category) {
-    return REWARD_CONSTRAINT_RULES.filter(r => r.category === category);
-}
-export function explainPermissionIndex(index) {
-    if (isRewardBuiltinPermission(index)) {
-        const entry = getBuiltinPermissionByIndex(index);
-        return `${entry.name} (${index}) — ${entry.description}`;
-    }
-    return `Custom permission index (${index}) — not a Reward builtin (150-157)`;
-}
+import{isRewardBuiltinPermission,getBuiltinPermissionByIndex,resolveGuardConstructor}from'./reward-ledger.js';export const REWARD_SEMANTIC_TO_SCHEMA_RULES=[{'id':'P-RW-01','pattern_name':'Create\x20new\x20Reward','semantic_intent':'Initialize\x20a\x20new\x20Reward<T>\x20object\x20with\x20description,\x20Permission,\x20and\x20coin\x20type\x20T','match_keywords':['create\x20reward','new\x20reward'],'schema_fields':['object\x20(typed,\x20with\x20permission\x20+\x20type_parameter)','description'],'example_json':{'object':{'permission':'0xPERMISSION_ADDRESS','type_parameter':'0x2::wow::WOW'},'description':'First-order\x20cashback\x20reward'},'reverse_explanation':'object\x20with\x20type_parameter\x20triggers\x20reward::new\x20(150).\x20SDK\x20creates\x20Permission\x20if\x20not\x20provided,\x20'+'then\x20constructs\x20Reward<T>\x20via\x20new_imp.\x20After\x20create,\x20share_object\x20is\x20called\x20automatically.'},{'id':'P-RW-02','pattern_name':'Add\x20RewardGuard\x20(eligible\x20recipient\x20+\x20amount\x20rule)','semantic_intent':'Register\x20a\x20Guard\x20that\x20defines\x20who\x20can\x20claim\x20and\x20how\x20much\x20they\x20receive','match_keywords':['guard_add','add\x20guard','eligibility'],'schema_fields':['object','guard_add[]'],'example_json':{'object':'0xREWARD_ADDRESS','guard_add':[{'guard':'0xGUARD_ADDRESS','recipient':{'Signer':'signer'},'amount':{'type':'Fixed','value':0x3b9aca00},'expiration_time':0x1941f297c00,'store_from_id':null}]},'reverse_explanation':'guard_add\x20with\x20one\x20entry\x20triggers\x20reward::guard_add\x20(152).\x20SDK\x20reward_guard()\x20picks\x20one\x20of\x206\x20Move\x20constructors\x20'+'based\x20on\x20recipient\x20variant\x20(GuardIdentifier/Entity/Signer)\x20×\x20amount.type\x20(GuardU64Identifier/Fixed).\x20'+'Move:\x20if\x20guard\x20already\x20in\x20self.guards,\x20UPDATE\x20in\x20place;\x20else\x20push_back\x20(E_GUARD_COUNT_EXCEEDED\x20if\x20>\x20200).'},{'id':'P-RW-03','pattern_name':'Claim\x20reward\x20(passport-driven)','semantic_intent':'Claim\x20rewards\x20as\x20an\x20eligible\x20recipient,\x20verified\x20via\x20Guard\x20+\x20Passport','match_keywords':['claim','receive\x20reward'],'schema_fields':['object','claim\x20(guard\x20address)'],'example_json':{'object':'0xREWARD_ADDRESS','claim':'0xGUARD_ADDRESS'},'reverse_explanation':'claim\x20field\x20set\x20to\x20a\x20guard\x20address\x20triggers\x20reward::claim\x20(NO\x20permission\x20check).\x20'+'Move:\x20iterates\x20self.guards\x20looking\x20for\x20matching\x20guard.id_address;\x20passport::result_for_guard\x20verifies\x20submission;\x20'+'recipient/amount\x20resolved\x20from\x20Passport\x20submissions\x20OR\x20fixed\x20values;\x20'+'balance::split\x20transfers\x20coin\x20to\x20recipient;\x20record\x20appended\x20to\x20RecipientRecord.amount\x20vector.'},{'id':'P-RW-04','pattern_name':'Deposit\x20funds\x20(coin_add)','semantic_intent':'Deposit\x20Coin<T>\x20into\x20the\x20Reward\x20balance\x20to\x20fund\x20claims','match_keywords':['coin_add','deposit','deposit\x20funds'],'schema_fields':['object','coin_add'],'example_json':{'object':'0xREWARD_ADDRESS','coin_add':{'amount':'10000000000','coin_type':'0x2::wow::WOW'}},'reverse_explanation':'coin_add\x20triggers\x20reward::coin_add\x20(153).\x20Move:\x20coin::into_balance(coin)\x20→\x20balance::join(self.balance).\x20'+'Coin<T>\x20type\x20must\x20match\x20Reward<T>\x20exactly\x20(phantom\x20T).\x20No\x20upper\x20limit\x20on\x20balance.'},{'id':'P-RW-05','pattern_name':'Receive\x20CoinWrapper\x20via\x20Payment','semantic_intent':'Receive\x20a\x20CoinWrapper<T>\x20envelope\x20via\x20Payment.unwrap_with_check','match_keywords':['receive','payment','unwrap'],'schema_fields':['object','receive\x20(payment\x20+\x20received)'],'example_json':{'object':'0xREWARD_ADDRESS','receive':{'received':[{'id':'0xRECEIVED_OBJ','payment':'0xPAYMENT_OBJ'}],'token_type':'0x2::wow::WOW'}},'reverse_explanation':'receive\x20with\x20Receiving<CoinWrapper<T>>\x20+\x20Payment<T>\x20triggers\x20reward::receive\x20(154).\x20'+'Move:\x20payment::unwrap_with_check\x20extracts\x20Coin<T>\x20from\x20CoinWrapper<T>,\x20then\x20balance::join.\x20'+'token_type\x20must\x20match\x20Reward<T>.'},{'id':'P-RW-06','pattern_name':'Owner\x20receive\x20(terminal\x20disbursement)','semantic_intent':'Owner\x20unwraps\x20Receiving<K>\x20/\x20CoinWrapper<K>\x20envelopes\x20sent\x20to\x20the\x20Reward','match_keywords':['owner_receive','unwrap\x20to\x20owner'],'schema_fields':['object','owner_receive'],'example_json':{'object':'0xREWARD_ADDRESS','owner_receive':{'received':[{'id':'0xRECEIVED_OBJ','payment':'0xPAYMENT_OBJ'}],'token_type':'0x2::wow::WOW'}},'reverse_explanation':'owner_receive\x20triggers\x20reward::owner_receive\x20(156).\x20Move:\x20payment::unwrap_with_check\x20extracts\x20Coin<K>,\x20'+'then\x20permission::owner_receive_inner\x20forwards\x20to\x20Permission\x20owner\x20(NOT\x20Reward\x20creator).\x20'+'Does\x20NOT\x20drain\x20self.balance\x20—\x20only\x20unwraps\x20Receiving<K>\x20envelopes.'},{'id':'P-RW-07','pattern_name':'Set\x20UM\x20(Contact\x20binding)','semantic_intent':'Bind\x20or\x20unbind\x20a\x20Contact\x20(UM)\x20object\x20for\x20off-chain\x20coordination','match_keywords':['um_set','um_none','contact','UM'],'schema_fields':['object','um\x20(string\x20|\x20null)'],'example_json':{'object':'0xREWARD_ADDRESS','um':'0xCONTACT_ADDRESS'},'reverse_explanation':'um=<address>\x20triggers\x20reward::um_set\x20(157)\x20—\x20creates\x20Registrar\x20affiliation.\x20'+'um=null\x20triggers\x20reward::um_none\x20(157)\x20—\x20disaffiliates\x20and\x20clears\x20self.um.'},{'id':'P-RW-08','pattern_name':'Set\x20permission\x20(owner-only)','semantic_intent':'Replace\x20the\x20Permission\x20object\x20(owner-only\x20operation)','match_keywords':['permission_set','change\x20permission'],'schema_fields':['(SDK\x20does\x20not\x20expose\x20this\x20in\x20CallReward_Data\x20—\x20direct\x20Move\x20call\x20required)'],'example_json':{'_note':'Not\x20exposed\x20in\x20CallReward_Data;\x20direct\x20Move\x20call:','target':'reward::permission_set<T>','arguments':['reward','old_permission','new_permission','registrar','clock']},'reverse_explanation':'Calls\x20reward::permission_set.\x20Move\x20asserts\x20old.owner\x20==\x20sender\x20(tx_context::sender).\x20'+'Updates\x20self.permission\x20=\x20new.id_address;\x20creates\x20Registrar\x20affiliation_change.'}];export const REWARD_SCHEMA_TO_SEMANTIC_RULES=[{'element_type':'field','type_name':'object','semantic_explanation':'Reward\x20object\x20address.\x20For\x20create:\x20typed\x20object\x20with\x20permission\x20+\x20type_parameter.\x20For\x20operate:\x20existing\x20Reward\x20address.'},{'element_type':'field','type_name':'claim','semantic_explanation':'Guard\x20address\x20to\x20claim\x20against.\x20NO\x20permission\x20check\x20—\x20eligibility\x20determined\x20by\x20Guard\x20+\x20Passport\x20alone.'},{'element_type':'field','type_name':'description','semantic_explanation':'Reward\x20description\x20(must\x20satisfy\x20common::DESCRIPTION).\x20Updated\x20via\x20description_set\x20(151).'},{'element_type':'field','type_name':'coin_add','semantic_explanation':'Deposit\x20Coin<T>\x20into\x20balance.\x20coin_type\x20must\x20match\x20Reward<T>\x20(153\x20permission).'},{'element_type':'field','type_name':'receive','semantic_explanation':'Receive\x20CoinWrapper<T>\x20via\x20Payment.unwrap_with_check.\x20token_type\x20must\x20match\x20Reward<T>\x20(154\x20permission).'},{'element_type':'field','type_name':'guard_add','semantic_explanation':'Array\x20of\x20RewardGuard\x20configs.\x20Each\x20entry\x20has\x20guard,\x20recipient\x20(GuardIdentifier/Entity/Signer),\x20amount\x20(Fixed/GuardU64Identifier),\x20expiration_time,\x20store_from_id.\x20(152\x20permission)'},{'element_type':'field','type_name':'guard_remove_expired','semantic_explanation':'Boolean.\x20If\x20true,\x20removes\x20all\x20guards\x20with\x20expiration_time\x20<\x20now.\x20(152\x20permission)'},{'element_type':'field','type_name':'guard_expiration_time','semantic_explanation':'Set/cancel\x20guard_not_added_expiration_time.\x20number\x20=\x20set\x20lock;\x20null\x20=\x20cancel.\x20(155\x20permission)'},{'element_type':'field','type_name':'owner_receive','semantic_explanation':'Receive\x20Receiving<K>\x20/\x20CoinWrapper<K>\x20envelopes\x20and\x20forward\x20to\x20Permission\x20owner.\x20(156\x20permission)'},{'element_type':'field','type_name':'um','semantic_explanation':'Bind/unbind\x20Contact\x20(UM).\x20string\x20=\x20um_set;\x20null\x20=\x20um_none.\x20(157\x20permission)'},{'element_type':'op','type_name':'new','semantic_explanation':'Create\x20Reward<T>\x20(150\x20permission).\x20Indirect\x20via\x20SDK\x20newReward()\x20→\x20reward::new\x20or\x20new_with_passport.'},{'element_type':'op','type_name':'create','semantic_explanation':'Share\x20Reward\x20object\x20and\x20return\x20its\x20address.\x20Called\x20automatically\x20after\x20new.'},{'element_type':'op','type_name':'claim','semantic_explanation':'Claim\x20rewards\x20(NO\x20permission).\x20Passport-driven:\x20Guard\x20verification\x20+\x20recipient/amount\x20resolution\x20from\x20submissions.'},{'element_type':'op','type_name':'guard_add','semantic_explanation':'Add\x20or\x20update\x20a\x20RewardGuard\x20(152).\x20Existing\x20guard\x20(same\x20address)\x20is\x20updated\x20in\x20place;\x20new\x20guard\x20pushes\x20(E_GUARD_COUNT_EXCEEDED\x20if\x20>\x20200).'},{'element_type':'op','type_name':'guard_remove_expired','semantic_explanation':'Remove\x20all\x20guards\x20with\x20expiration_time\x20<\x20now\x20(152).\x20Also\x20disaffiliates\x20from\x20Registrar.'},{'element_type':'op','type_name':'coin_add','semantic_explanation':'Deposit\x20Coin<T>\x20into\x20balance\x20(153).\x20balance::join(self.balance,\x20coin::into_balance(coin)).'},{'element_type':'op','type_name':'receive','semantic_explanation':'Receive\x20CoinWrapper<T>\x20via\x20Payment\x20(154).\x20unwrap_with_check\x20→\x20balance::join.'},{'element_type':'op','type_name':'guard_expiration_time_add','semantic_explanation':'Set/cancel\x20guard_not_added_expiration_time\x20(155).\x20New\x20time\x20must\x20be\x20>\x20now\x20(E_GUARD_LOCKED_TIME_INVALID).'},{'element_type':'op','type_name':'owner_receive','semantic_explanation':'Owner\x20unwrap\x20Receiving<K>/CoinWrapper<K>\x20(156).\x20Forwards\x20to\x20Permission\x20owner\x20via\x20owner_receive_inner.'},{'element_type':'op','type_name':'um_set','semantic_explanation':'Bind\x20Contact\x20as\x20UM\x20(157).\x20Creates\x20Registrar\x20affiliation.'},{'element_type':'op','type_name':'um_none','semantic_explanation':'Unbind\x20UM\x20(157).\x20Disaffiliates\x20from\x20Registrar\x20and\x20sets\x20self.um\x20=\x20none.'},{'element_type':'op','type_name':'description_set','semantic_explanation':'Update\x20description\x20(151).\x20Must\x20satisfy\x20common::DESCRIPTION.'},{'element_type':'op','type_name':'permission_set','semantic_explanation':'Replace\x20Permission\x20(owner-only).\x20Asserts\x20old.owner\x20==\x20sender;\x20creates\x20Registrar\x20affiliation_change.'},{'element_type':'phase','type_name':'creation','semantic_explanation':'new\x20(150)\x20→\x20create\x20→\x20share.\x20Permission\x20object\x20may\x20be\x20created\x20in\x20same\x20tx\x20if\x20not\x20provided.'},{'element_type':'phase','type_name':'guard_addition','semantic_explanation':'guard_add\x20(152)\x20+\x20guard_remove_expired\x20(152).\x20Guards\x20are\x20added/updated/removed\x20based\x20on\x20expiration.'},{'element_type':'phase','type_name':'claim','semantic_explanation':'claim()\x20—\x20passport-driven,\x20no\x20permission.\x20Iterates\x20guards,\x20verifies\x20Passport,\x20splits\x20balance\x20to\x20recipient.'},{'element_type':'phase','type_name':'funds_replenish','semantic_explanation':'coin_add\x20(153)\x20OR\x20receive\x20(154).\x20Both\x20join\x20into\x20self.balance.'},{'element_type':'phase','type_name':'owner_receive','semantic_explanation':'owner_receive\x20/\x20owner_receive_object\x20(156).\x20Unwrap\x20Receiving\x20envelopes\x20→\x20Permission\x20owner.'},{'element_type':'constructor','type_name':'guard_u8_u8','semantic_explanation':'RewardGuard\x20constructor:\x20GuardIdentifier\x20recipient\x20+\x20GuardU64Identifier\x20amount.\x20Both\x20resolved\x20from\x20Passport\x20at\x20claim\x20time.\x20Asserts\x20is_identifier_address\x20+\x20value_type=u64.'},{'element_type':'constructor','type_name':'guard_u8_u64','semantic_explanation':'RewardGuard\x20constructor:\x20GuardIdentifier\x20recipient\x20+\x20Fixed\x20amount.\x20Recipient\x20from\x20Passport;\x20amount\x20fixed.\x20Asserts\x20is_identifier_address.'},{'element_type':'constructor','type_name':'guard_entity_u8','semantic_explanation':'RewardGuard\x20constructor:\x20Entity\x20recipient\x20+\x20GuardU64Identifier\x20amount.\x20Recipient\x20fixed;\x20amount\x20from\x20Passport.\x20Asserts\x20value_type=u64.'},{'element_type':'constructor','type_name':'guard_entity_u64','semantic_explanation':'RewardGuard\x20constructor:\x20Entity\x20recipient\x20+\x20Fixed\x20amount.\x20Both\x20fixed.\x20Simplest\x20configuration.'},{'element_type':'constructor','type_name':'guard_signer_u8','semantic_explanation':'RewardGuard\x20constructor:\x20Signer\x20recipient\x20+\x20GuardU64Identifier\x20amount.\x20Caller\x20is\x20recipient;\x20amount\x20from\x20Passport.\x20Asserts\x20value_type=u64.'},{'element_type':'constructor','type_name':'guard_signer_u64','semantic_explanation':'RewardGuard\x20constructor:\x20Signer\x20recipient\x20+\x20Fixed\x20amount.\x20Caller\x20is\x20recipient;\x20amount\x20fixed.\x20Common\x20for\x20first-order/flash\x20sale.'}];export const REWARD_CONSTRAINT_RULES=[{'id':'MC-RW-01','category':'structural','rule':'guard\x20count\x20<\x20MAX_GUARD_COUNT_REWARD\x20(200);\x20E_GUARD_COUNT_EXCEEDED\x20on\x20overflow\x20(only\x20on\x20NEW\x20guard,\x20not\x20update)','applies_to':['guard_add']},{'id':'MC-RW-02','category':'structural','rule':'per-recipient\x20record\x20count\x20<\x20MAX_RECORD_COUNT_REWARD\x20(5200);\x20E_RECORD_COUNT_EXCEEDED\x20on\x20claim','applies_to':['claim']},{'id':'MC-RW-03','category':'structural','rule':'guard_add\x20batch\x20size\x20≤\x20MAX_GUARD_COUNT_REWARD\x20(200);\x20SDK\x20rejects\x20larger\x20batches\x20in\x20operate()','applies_to':['guard_add\x20(batch)']},{'id':'MC-RW-04','category':'semantic','rule':'guard_add:\x20Recipient\x20×\x20Amount\x20must\x20match\x20one\x20of\x206\x20valid\x20constructors\x20(guard_u8_u8\x20/\x20u8_u64\x20/\x20entity_u8\x20/\x20entity_u64\x20/\x20signer_u8\x20/\x20signer_u64)','applies_to':['guard_add']},{'id':'MC-RW-05','category':'semantic','rule':'RewardGuard\x20constructor:\x20GuardIdentifier\x20recipient\x20requires\x20is_identifier_address(guard,\x20id)\x20—\x20E_RECIPIENT_IDENTIFIER_NOT_ADDRESS','applies_to':['reward_guard\x20(constructor)']},{'id':'MC-RW-06','category':'semantic','rule':'RewardGuard\x20constructor:\x20GuardU64Identifier\x20amount\x20requires\x20get_submission_value_type(guard,\x20id)\x20==\x20TYPE_U64\x20—\x20E_AMOUNT_NOT_U64','applies_to':['reward_guard\x20(constructor)']},{'id':'MC-RW-07','category':'semantic','rule':'RewardGuard\x20constructor:\x20store_from_id\x20(if\x20Some)\x20requires\x20is_identifier_address_compatible\x20—\x20E_STORE_FROM_ID_NOT_COMPATIBLE','applies_to':['reward_guard\x20(constructor)']},{'id':'MC-RW-08','category':'permission','rule':'claim\x20is\x20PERMISSION-FREE\x20—\x20anyone\x20with\x20valid\x20Passport\x20+\x20Guard\x20can\x20claim\x20(no\x20150-157\x20assertion)','applies_to':['claim']},{'id':'MC-RW-09','category':'permission','rule':'150-157\x20builtin\x20indexes\x20are\x20MANAGEMENT-ONLY\x20(new/description/guard/coin_add/receive/guard_exp/owner_receive/um)','applies_to':['all\x20management\x20ops']},{'id':'MC-RW-10','category':'permission','rule':'owner_receive\x20(156)\x20forwards\x20to\x20Permission\x20owner\x20(NOT\x20Reward\x20creator)\x20—\x20grant\x20156\x20only\x20to\x20dedicated\x20addresses','applies_to':['owner_receive']},{'id':'MC-RW-11','category':'lifecycle','rule':'guard_add:\x20clock\x20>\x20guard_not_added_expiration_time\x20(if\x20Some)\x20—\x20E_GUARD_LOCKED_TIME','applies_to':['guard_add']},{'id':'MC-RW-12','category':'lifecycle','rule':'guard_add\x20/\x20claim:\x20clock\x20≤\x20guard.expiration_time\x20(if\x20Some)\x20—\x20E_GUARD_EXPIRED','applies_to':['guard_add','claim']},{'id':'MC-RW-13','category':'lifecycle','rule':'guard_expiration_time_add:\x20new\x20Some(t)\x20requires\x20t\x20>\x20now\x20—\x20E_GUARD_LOCKED_TIME_INVALID','applies_to':['guard_expiration_time_add']},{'id':'MC-RW-14','category':'lifecycle','rule':'claim:\x20balance\x20≥\x20amount\x20—\x20E_INSUFFICIENT_BALANCE\x20(balance::split\x20aborts)','applies_to':['claim']},{'id':'MC-RW-15','category':'cross_object','rule':'claim:\x20supplied\x20guard\x20must\x20be\x20in\x20self.guards\x20—\x20E_GUARD_NOT_FOUND\x20(iterates\x20by\x20id_address\x20match)','applies_to':['claim']},{'id':'MC-RW-16','category':'cross_object','rule':'coin_add:\x20Coin<T>\x20type\x20must\x20match\x20Reward<T>\x20phantom\x20T\x20(SDK\x20W_ERROR\x20in\x20operate\x20if\x20mismatch)','applies_to':['coin_add']}];export const REWARD_TRANSLATION_VERSION='1.0.0';export function matchSemanticPattern(a){const b=a['toLowerCase']();return REWARD_SEMANTIC_TO_SCHEMA_RULES['filter'](c=>c['match_keywords']['some'](d=>b['includes'](d['toLowerCase']())));}export function explainRewardCallData(a){const b=[];!a['object']?b['push']('Operation:\x20CREATE\x20Reward\x20(new\x20+\x20create\x20+\x20share)'):b['push']('Operation:\x20OPERATE\x20Reward\x20at\x20'+a['object']);a['claim']&&b['push']('-\x20claim:\x20guard='+a['claim']+'\x20(passport-driven,\x20NO\x20permission\x20check)');a['description']!=null&&b['push']('-\x20description_set:\x20\x22'+a['description']+'\x22\x20(151\x20permission)');a['coin_add']&&b['push']('-\x20coin_add:\x20'+a['coin_add']['amount']+'\x20of\x20'+a['coin_add']['coin_type']+'\x20(153\x20permission)');a['receive']&&b['push']('-\x20receive:\x20token_type='+a['receive']['token_type']+'\x20(154\x20permission,\x20requires\x20Payment)');if(a['guard_add']){b['push']('-\x20guard_add:\x20'+a['guard_add']['length']+'\x20guard(s)\x20(152\x20permission)');for(let c=0x0;c<a['guard_add']['length'];c++){const d=a['guard_add'][c],e=Object['keys'](d['recipient'])[0x0]??'(unknown)',f=inferConstructorName(e,d['amount']['type']);b['push']('\x20\x20['+c+']\x20constructor='+f+',\x20guard='+d['guard']),b['push']('\x20\x20\x20\x20\x20\x20recipient='+e+',\x20amount='+d['amount']['type']+'('+d['amount']['value']+')'),d['expiration_time']!=null&&b['push']('\x20\x20\x20\x20\x20\x20expiration_time='+d['expiration_time']),d['store_from_id']!=null&&b['push']('\x20\x20\x20\x20\x20\x20store_from_id='+d['store_from_id']);}}a['guard_remove_expired']&&b['push']('-\x20guard_remove_expired:\x20true\x20(152\x20permission)');if(a['guard_expiration_time']!==undefined){const h=a['guard_expiration_time'];h===null?b['push']('-\x20guard_expiration_time_add:\x20null\x20(cancel\x20lock,\x20155\x20permission)'):b['push']('-\x20guard_expiration_time_add:\x20'+h+'\x20(155\x20permission,\x20must\x20be\x20>\x20now)');}return a['owner_receive']!=null&&b['push']('-\x20⚠️\x20owner_receive\x20(156\x20permission):\x20unwrap\x20to\x20Permission\x20owner'),a['um']!==undefined&&(a['um']?b['push']('-\x20um_set:\x20'+a['um']+'\x20(157\x20permission,\x20creates\x20Registrar\x20affiliation)'):b['push']('-\x20um_none:\x20(157\x20permission,\x20disaffiliates\x20and\x20clears\x20um)')),b['join']('\x0a');}function inferConstructorName(a,b){const c={'GuardIdentifier':'GuardIdentifier','Entity':'Entity','Signer':'Signer'},d=c[a];if(!d)return'(invalid)';const e=String(b)['toUpperCase'](),f=e==='FIXED'?'Fixed':'GuardU64Identifier';return resolveGuardConstructor(d,f)??'(invalid)';}export function explainField(a){return REWARD_SCHEMA_TO_SEMANTIC_RULES['find'](b=>b['element_type']==='field'&&b['type_name']===a);}export function explainOp(a){return REWARD_SCHEMA_TO_SEMANTIC_RULES['find'](b=>b['element_type']==='op'&&b['type_name']===a);}export function explainConstructor(a){return REWARD_SCHEMA_TO_SEMANTIC_RULES['find'](b=>b['element_type']==='constructor'&&b['type_name']===a);}export function getConstraintsByCategory(a){return REWARD_CONSTRAINT_RULES['filter'](b=>b['category']===a);}export function explainPermissionIndex(a){if(isRewardBuiltinPermission(a)){const b=getBuiltinPermissionByIndex(a);return b['name']+'\x20('+a+')\x20—\x20'+b['description'];}return'Custom\x20permission\x20index\x20('+a+')\x20—\x20not\x20a\x20Reward\x20builtin\x20(150-157)';}