@wowok/agent-mcp 2.7.1 → 2.7.3

package/dist/knowledge/arbitration-translation.js

@@ -1,487 +1 @@
-import { getPermissionByIndex, findSceneByPermissionIndex, } from "./arbitration-ledger.js";
-export const SEMANTIC_TO_SCHEMA_RULES = [
-    {
-        id: "P-AB-01",
-        pattern_name: "Create new Arbitration",
-        semantic_intent: "Create a new Arbitration service for a given Coin type",
-        match_keywords: ["create", "new"],
-        schema_fields: ["object({name, type_parameter, permission})", "description"],
-        example_json: {
-            object: {
-                name: "ecommerce_arb",
-                type_parameter: "0x2::wow::WOW",
-                permission: { name: "arb_permission" },
-            },
-            description: "E-commerce dispute arbitration",
-        },
-        reverse_explanation: "object={name, type_parameter, permission} creates a new Arbitration; bPaused defaults to true",
-    },
-    {
-        id: "P-AB-02",
-        pattern_name: "Configure Arbitration (description/location/fee/pause)",
-        semantic_intent: "Set description, location, dispute fee, or pause/resume",
-        match_keywords: ["configure", "set", "pause", "resume", "enable"],
-        schema_fields: ["object", "description", "location", "fee", "pause"],
-        example_json: {
-            object: "ecommerce_arb",
-            location: "Shanghai",
-            fee: "1000000000",
-            pause: false,
-        },
-        reverse_explanation: "Each field maps to a separate permission index: location(353), fee(357), pause(356)",
-    },
-    {
-        id: "P-AB-03",
-        pattern_name: "File dispute (create Arb case)",
-        semantic_intent: "File a dispute against an Order — creates a new Arb case",
-        match_keywords: ["dispute", "file", "complaint", "initiate"],
-        schema_fields: ["object", "dispute({order, description, proposition, fee, namedArb?})"],
-        example_json: {
-            object: "ecommerce_arb",
-            dispute: {
-                order: "order_123",
-                description: "Goods not delivered",
-                proposition: ["Seller ships", "Seller refunds"],
-                fee: { type: "0x2::wow::WOW", balance: "1000000000" },
-                namedArb: "arb_case_123",
-            },
-        },
-        reverse_explanation: "dispute creates an independent Arb<T> object; fee must be >= Arbitration.fee (E_FEE_NOT_ENOUGH)",
-    },
-    {
-        id: "P-AB-04",
-        pattern_name: "Confirm materials (start voting)",
-        semantic_intent: "Confirm principal's submitted materials and start the voting phase",
-        match_keywords: ["confirm", "materials", "start voting"],
-        schema_fields: ["object", "confirm({arb, voting_deadline})"],
-        example_json: {
-            object: "ecommerce_arb",
-            confirm: {
-                arb: "arb_case_123",
-                voting_deadline: 1784567890000,
-            },
-        },
-        reverse_explanation: "Transitions Arb: Principal_confirming → Voting; voting_deadline=null means no deadline",
-    },
-    {
-        id: "P-AB-05",
-        pattern_name: "Open vote (no voting_guard)",
-        semantic_intent: "Vote on Arb propositions (1 person 1 vote, no voting_guard configured)",
-        match_keywords: ["vote", "open vote", "decide"],
-        schema_fields: ["object", "vote({arb, votes})"],
-        example_json: {
-            object: "ecommerce_arb",
-            vote: {
-                arb: "arb_case_123",
-                votes: [0],
-            },
-        },
-        reverse_explanation: "vote() requires voting_guard empty (else E_VOTING_GUARD_USED); votes is u8 array (proposition indexes)",
-    },
-    {
-        id: "P-AB-06",
-        pattern_name: "Weighted vote (with voting_guard)",
-        semantic_intent: "Vote using a specific voting_guard for weighted voting",
-        match_keywords: ["weighted vote", "voting_guard vote"],
-        schema_fields: ["object", "vote({arb, votes, voting_guard})"],
-        example_json: {
-            object: "ecommerce_arb",
-            vote: {
-                arb: "arb_case_123",
-                votes: [1],
-                voting_guard: "token_guard",
-            },
-        },
-        reverse_explanation: "voting_guard must be in Arbitration.voting_guard list (else E_VOTING_GUARD_NOT_FOUND)",
-    },
-    {
-        id: "P-AB-07",
-        pattern_name: "Make definitive ruling (arbitration)",
-        semantic_intent: "Make a definitive arbitration ruling with indemnity compensation",
-        match_keywords: ["ruling", "arbitrate", "verdict"],
-        schema_fields: ["object", "arbitration({arb, feedback, indemnity})"],
-        example_json: {
-            object: "ecommerce_arb",
-            arbitration: {
-                arb: "arb_case_123",
-                feedback: "Buyer wins",
-                indemnity: 50000000000,
-            },
-        },
-        reverse_explanation: "Arb transitions to Arbitrated; indemnity paid via order::compensate (public(package) — order-only)",
-    },
-    {
-        id: "P-AB-08",
-        pattern_name: "Reset arbitration",
-        semantic_intent: "Reset arbitration — principal resubmits materials, restart lifecycle",
-        match_keywords: ["reset", "restart", "resubmit"],
-        schema_fields: ["object", "reset({arb, feedback})"],
-        example_json: {
-            object: "ecommerce_arb",
-            reset: {
-                arb: "arb_case_123",
-                feedback: "Principal objects to ruling, resubmitting evidence",
-            },
-        },
-        reverse_explanation: "Arb transitions from Objectionable/Arbitrated → Principal_confirming; restarts full lifecycle",
-    },
-    {
-        id: "P-AB-09",
-        pattern_name: "Configure voting_guard",
-        semantic_intent: "Add / set / remove / clear voting_guard entries (controls vote weight)",
-        match_keywords: ["voting_guard", "voting guard", "weight"],
-        schema_fields: ["object", "voting_guard({op, guards})"],
-        example_json: {
-            object: "ecommerce_arb",
-            voting_guard: {
-                op: "add",
-                guards: [
-                    { guard: "token_guard", vote_weight: { FixedValue: 100 } },
-                ],
-            },
-        },
-        reverse_explanation: "op='set'=clear+add; 'add'=append; 'remove'=by address; 'clear'=empty all. Max 50 guards",
-    },
-    {
-        id: "P-AB-10",
-        pattern_name: "Allocate fees (fees_alloc / fees_transfer)",
-        semantic_intent: "Distribute arbitration fee balance to Allocation or Treasury",
-        match_keywords: ["fees_alloc", "fees_transfer", "allocate", "allocate fees"],
-        schema_fields: ["object", "fees_transfer({to, payment_remark, payment_index, newPayment?})"],
-        example_json: {
-            object: "ecommerce_arb",
-            fees_transfer: {
-                to: { allocation: "arb_alloc" },
-                payment_remark: "arbitration_fee_split",
-                payment_index: 0,
-            },
-        },
-        reverse_explanation: "to.allocation triggers fees_alloc (365); to.treasury triggers fees_transfer (366). Withdraws ALL balance.",
-    },
-];
-export const SCHEMA_TO_SEMANTIC_RULES = [
-    {
-        element_type: "field",
-        type_name: "object",
-        semantic_explanation: "Arbitration object. STRING=operate existing; OBJECT({name,type_parameter,permission})=create new",
-    },
-    {
-        element_type: "field",
-        type_name: "dispute",
-        semantic_explanation: "File a new dispute — creates Arb<T> case. Requires Order op permission; fee must be >= Arbitration.fee",
-    },
-    {
-        element_type: "field",
-        type_name: "confirm",
-        semantic_explanation: "Confirm materials → start voting. Transitions Arb to Voting status. voting_deadline=null for no deadline",
-    },
-    {
-        element_type: "field",
-        type_name: "vote",
-        semantic_explanation: "Vote on propositions. votes=u8[] (proposition indexes). voting_guard optional for weighted voting",
-    },
-    {
-        element_type: "field",
-        type_name: "arbitration",
-        semantic_explanation: "Make definitive ruling with indemnity. Transitions Arb to Arbitrated. indemnity paid via order::compensate",
-    },
-    {
-        element_type: "field",
-        type_name: "feedback",
-        semantic_explanation: "Provide feedback on Arb. Informational only — does NOT change Arb status",
-    },
-    {
-        element_type: "field",
-        type_name: "reset",
-        semantic_explanation: "Reset Arb to Principal_confirming. Requires feedback explaining reset reason. Restarts lifecycle",
-    },
-    {
-        element_type: "field",
-        type_name: "arb_withdraw",
-        semantic_explanation: "Withdraw fees from Arb into Arbitration.balance. Only allowed in terminal status (Finished/Withdrawn)",
-    },
-    {
-        element_type: "field",
-        type_name: "fees_transfer",
-        semantic_explanation: "Distribute ALL Arbitration.balance to Allocation (365) or Treasury (366). Creates Payment record",
-    },
-    {
-        element_type: "field",
-        type_name: "voting_guard",
-        semantic_explanation: "voting_guard list management. op='add'|'set'|'remove'|'clear'. vote_weight: GuardIdentifier(u8) | FixedValue(u32)",
-    },
-    {
-        element_type: "field",
-        type_name: "usage_guard",
-        semantic_explanation: "Set/clear usage_guard (Option<address>). STRING=set guard; null=clear. When set, dispute must use _with_passport",
-    },
-    {
-        element_type: "field",
-        type_name: "pause",
-        semantic_explanation: "Pause/resume. bPaused=true blocks dispute (E_PAUSED). New Arbitration defaults to paused=true",
-    },
-    {
-        element_type: "field",
-        type_name: "fee",
-        semantic_explanation: "Set dispute application fee (u64). dispute requires coin value >= this fee",
-    },
-    {
-        element_type: "field",
-        type_name: "um",
-        semantic_explanation: "User Manager (Contact object address). um=null revokes. UM ≠ admin — for contact management only",
-    },
-    {
-        element_type: "op",
-        type_name: "add",
-        semantic_explanation: "voting_guard: append guards to existing list (dedup by address; updates vote_weight if exists)",
-    },
-    {
-        element_type: "op",
-        type_name: "set",
-        semantic_explanation: "voting_guard: clear then add — replaces entire list",
-    },
-    {
-        element_type: "op",
-        type_name: "remove",
-        semantic_explanation: "voting_guard: remove by address (guards is string[] of addresses)",
-    },
-    {
-        element_type: "op",
-        type_name: "clear",
-        semantic_explanation: "voting_guard: empty the entire list",
-    },
-    {
-        element_type: "status",
-        type_name: "Principal_confirming",
-        semantic_explanation: "Arb state 0: created, principal submitting materials (after dispute or reset)",
-    },
-    {
-        element_type: "status",
-        type_name: "Arbitrator_confirming",
-        semantic_explanation: "Arb state 1: arbitrator reviewing/confirming materials",
-    },
-    {
-        element_type: "status",
-        type_name: "Voting",
-        semantic_explanation: "Arb state 2: voting in progress (after confirm). vote/voting_deadline_change allowed",
-    },
-    {
-        element_type: "status",
-        type_name: "Arbitrated",
-        semantic_explanation: "Arb state 3: ruling made (after arbitration op). Can transition to Objectionable or Finished",
-    },
-    {
-        element_type: "status",
-        type_name: "Objectionable",
-        semantic_explanation: "Arb state 4: objection window — reset allowed to restart lifecycle",
-    },
-    {
-        element_type: "status",
-        type_name: "Finished",
-        semantic_explanation: "Arb state 5: terminal — case closed. arb_withdraw allowed",
-    },
-    {
-        element_type: "status",
-        type_name: "Withdrawn",
-        semantic_explanation: "Arb state 6: terminal — fees withdrawn. No further operations allowed",
-    },
-];
-export const ARBITRATION_CONSTRAINT_RULES = [
-    {
-        id: "MC-AB-01",
-        category: "structural",
-        rule: "voting_guard count <= MAX_VOTING_GUARD_COUNT (50)",
-        applies_to: ["voting_guard.guards"],
-    },
-    {
-        id: "MC-AB-02",
-        category: "structural",
-        rule: "Arbitration is generic <phantom T>; T must be a valid Coin type (e.g. 0x2::wow::WOW)",
-        applies_to: ["object.type_parameter"],
-    },
-    {
-        id: "MC-AB-03",
-        category: "structural",
-        rule: "fee (u64) must be >= 0; dispute requires coin::value(&fee) >= Arbitration.fee",
-        applies_to: ["fee", "dispute.fee"],
-    },
-    {
-        id: "MC-AB-04",
-        category: "structural",
-        rule: "bPaused defaults to true on creation — must call pause(false) to enable dispute",
-        applies_to: ["pause"],
-    },
-    {
-        id: "MC-AB-05",
-        category: "semantic",
-        rule: "VoteValue.GuardIdentifier is u8 (0-255); FixedValue is u32 (0-4294967295)",
-        applies_to: ["voting_guard.guards.vote_weight"],
-    },
-    {
-        id: "MC-AB-06",
-        category: "semantic",
-        rule: "votes array is u8[] — indexes into proposition list (0..N-1)",
-        applies_to: ["vote.votes"],
-    },
-    {
-        id: "MC-AB-07",
-        category: "semantic",
-        rule: "When voting_guard is non-empty, vote MUST use vote_with_voting_guard (else E_VOTING_GUARD_USED)",
-        applies_to: ["vote"],
-    },
-    {
-        id: "MC-AB-08",
-        category: "semantic",
-        rule: "When usage_guard is Some, dispute MUST use _with_passport variant (else E_NEED_PASSPORT)",
-        applies_to: ["dispute"],
-    },
-    {
-        id: "MC-AB-09",
-        category: "authority",
-        rule: "Each operation has dual-path API: xxx() (sender check) and xxx_with_passport() (Passport check)",
-        applies_to: ["all operations"],
-    },
-    {
-        id: "MC-AB-10",
-        category: "authority",
-        rule: "19 permission indexes (350-368); 352 is reserved placeholder (ARBITRATION_ENDPOINT, commented out)",
-        applies_to: ["permission table"],
-    },
-    {
-        id: "MC-AB-11",
-        category: "lifecycle",
-        rule: "Arb 7-state flow: Principal_confirming → Arbitrator_confirming → Voting → Arbitrated → Objectionable → Finished/Withdrawn. reset restarts to Principal_confirming",
-        applies_to: ["confirm", "vote", "arbitration", "reset", "arb_withdraw"],
-    },
-    {
-        id: "MC-AB-12",
-        category: "lifecycle",
-        rule: "Terminal states (Finished, Withdrawn) only allow arb_withdraw; no vote/confirm/arbitration/reset/feedback",
-        applies_to: ["vote", "confirm", "arbitration", "reset", "feedback", "arb_withdraw"],
-    },
-    {
-        id: "MC-AB-13",
-        category: "cross_object",
-        rule: "dispute requires order::assert_op_permission — signer must have Order's dispute operation permission",
-        applies_to: ["dispute"],
-    },
-    {
-        id: "MC-AB-14",
-        category: "cross_object",
-        rule: "compensate is public(package) — only order.move can call it; external code cannot trigger compensation directly",
-        applies_to: ["arbitration (indemnity payment)"],
-    },
-];
-export const ARBITRATION_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 explainArbitrationCallData(data) {
-    const lines = [];
-    if (data.object === null || data.object === undefined) {
-        lines.push("Operation: INVALID — object is required");
-    }
-    else if (typeof data.object === "object") {
-        const obj = data.object;
-        lines.push(`Operation: CREATE new Arbitration '${obj.name ?? "?"}' (T=${obj.type_parameter ?? "?"})`);
-    }
-    else {
-        lines.push(`Operation: OPERATE existing Arbitration at ${data.object}`);
-    }
-    if (data.description)
-        lines.push(`- Set description: "${data.description}"`);
-    if (data.location)
-        lines.push(`- Set location: ${data.location}`);
-    if (data.fee !== undefined)
-        lines.push(`- Set fee: ${data.fee}`);
-    if (data.pause !== undefined)
-        lines.push(`- ${data.pause ? "Pause" : "Resume (enable disputes)"}`);
-    if (data.dispute) {
-        const d = data.dispute;
-        lines.push(`- File DISPUTE against Order ${d.order}`);
-        if (d.description)
-            lines.push(`  Description: "${d.description}"`);
-        lines.push(`  Propositions (${d.proposition.length}): ${d.proposition.join(" | ")}`);
-    }
-    if (data.confirm) {
-        const c = data.confirm;
-        const dl = c.voting_deadline === null ? "no deadline" : `deadline=${c.voting_deadline}`;
-        lines.push(`- CONFIRM materials on Arb ${c.arb} (${dl}) — starts voting`);
-    }
-    if (data.voting_deadline_change) {
-        const v = data.voting_deadline_change;
-        const dl = v.voting_deadline === null ? "no deadline" : `deadline=${v.voting_deadline}`;
-        lines.push(`- Change voting_deadline on Arb ${v.arb}: ${dl}`);
-    }
-    if (data.vote) {
-        const v = data.vote;
-        const mode = v.voting_guard ? `weighted (guard=${v.voting_guard})` : "open (1 person 1 vote)";
-        lines.push(`- VOTE on Arb ${v.arb} — ${mode}`);
-        lines.push(`  Votes: [${v.votes.join(", ")}] (proposition indexes)`);
-    }
-    if (data.feedback) {
-        lines.push(`- FEEDBACK on Arb ${data.feedback.arb}: "${data.feedback.feedback}"`);
-    }
-    if (data.arbitration) {
-        const a = data.arbitration;
-        lines.push(`- ⚖️ RULING on Arb ${a.arb}: "${a.feedback}"`);
-        lines.push(`  Indemnity: ${a.indemnity} (paid via order::compensate)`);
-    }
-    if (data.reset) {
-        lines.push(`- ↻ RESET Arb ${data.reset.arb}: "${data.reset.feedback}" — restart lifecycle`);
-    }
-    if (data.arb_withdraw) {
-        lines.push(`- WITHDRAW fees from Arb ${data.arb_withdraw.arb} → Arbitration.balance`);
-    }
-    if (data.fees_transfer) {
-        const f = data.fees_transfer;
-        const dest = f.to.allocation ? `Allocation ${f.to.allocation}` : `Treasury ${f.to.treasury}`;
-        lines.push(`- 💰 ALLOCATE fees → ${dest}`);
-        lines.push(`  Remark: "${f.payment_remark}", index: ${f.payment_index}`);
-    }
-    if (data.usage_guard !== undefined) {
-        lines.push(data.usage_guard === null
-            ? `- usage_guard: CLEAR (dispute no longer requires passport)`
-            : `- usage_guard: SET to ${data.usage_guard} (dispute requires _with_passport)`);
-    }
-    if (data.voting_guard) {
-        const v = data.voting_guard;
-        const guardCount = Array.isArray(v.guards) ? v.guards.length : 0;
-        lines.push(`- voting_guard ${v.op}${v.op !== "clear" ? ` (${guardCount} guard(s))` : ""}`);
-    }
-    if (data.um !== undefined) {
-        lines.push(data.um === null ? `- UM: revoke` : `- UM: set to ${data.um}`);
-    }
-    if (data.builder) {
-        lines.push(`- ⚠️ TRANSFER ownership to ${data.builder} (IRREVERSIBLE)`);
-    }
-    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 explainStatus(statusName) {
-    return SCHEMA_TO_SEMANTIC_RULES.find(r => r.element_type === "status" && r.type_name === statusName);
-}
-export function getConstraintsByCategory(category) {
-    return ARBITRATION_CONSTRAINT_RULES.filter(r => r.category === category);
-}
-export function explainPermissionIndex(index) {
-    const entry = getPermissionByIndex(index);
-    const scene = findSceneByPermissionIndex(index);
-    if (entry?.is_reserved) {
-        return `${entry.name} (${index}) — RESERVED placeholder, not used on-chain`;
-    }
-    if (entry) {
-        return `${entry.name} (${index}) — ${entry.description} [scene: ${scene?.id ?? "unknown"}]`;
-    }
-    return `Unknown permission index (${index}) — not in ARBITRATION_* range (350-368)`;
-}
-export function explainArbStatus(status) {
-    const rule = explainStatus(status);
-    return rule ? `${status}: ${rule.semantic_explanation}` : `${status}: unknown status`;
-}
+import{getPermissionByIndex,findSceneByPermissionIndex}from'./arbitration-ledger.js';export const SEMANTIC_TO_SCHEMA_RULES=[{'id':'P-AB-01','pattern_name':'Create\x20new\x20Arbitration','semantic_intent':'Create\x20a\x20new\x20Arbitration\x20service\x20for\x20a\x20given\x20Coin\x20type','match_keywords':['create','new'],'schema_fields':['object({name,\x20type_parameter,\x20permission})','description'],'example_json':{'object':{'name':'ecommerce_arb','type_parameter':'0x2::wow::WOW','permission':{'name':'arb_permission'}},'description':'E-commerce\x20dispute\x20arbitration'},'reverse_explanation':'object={name,\x20type_parameter,\x20permission}\x20creates\x20a\x20new\x20Arbitration;\x20bPaused\x20defaults\x20to\x20true'},{'id':'P-AB-02','pattern_name':'Configure\x20Arbitration\x20(description/location/fee/pause)','semantic_intent':'Set\x20description,\x20location,\x20dispute\x20fee,\x20or\x20pause/resume','match_keywords':['configure','set','pause','resume','enable'],'schema_fields':['object','description','location','fee','pause'],'example_json':{'object':'ecommerce_arb','location':'Shanghai','fee':'1000000000','pause':![]},'reverse_explanation':'Each\x20field\x20maps\x20to\x20a\x20separate\x20permission\x20index:\x20location(353),\x20fee(357),\x20pause(356)'},{'id':'P-AB-03','pattern_name':'File\x20dispute\x20(create\x20Arb\x20case)','semantic_intent':'File\x20a\x20dispute\x20against\x20an\x20Order\x20—\x20creates\x20a\x20new\x20Arb\x20case','match_keywords':['dispute','file','complaint','initiate'],'schema_fields':['object','dispute({order,\x20description,\x20proposition,\x20fee,\x20namedArb?})'],'example_json':{'object':'ecommerce_arb','dispute':{'order':'order_123','description':'Goods\x20not\x20delivered','proposition':['Seller\x20ships','Seller\x20refunds'],'fee':{'type':'0x2::wow::WOW','balance':'1000000000'},'namedArb':'arb_case_123'}},'reverse_explanation':'dispute\x20creates\x20an\x20independent\x20Arb<T>\x20object;\x20fee\x20must\x20be\x20>=\x20Arbitration.fee\x20(E_FEE_NOT_ENOUGH)'},{'id':'P-AB-04','pattern_name':'Confirm\x20materials\x20(start\x20voting)','semantic_intent':'Confirm\x20principal\x27s\x20submitted\x20materials\x20and\x20start\x20the\x20voting\x20phase','match_keywords':['confirm','materials','start\x20voting'],'schema_fields':['object','confirm({arb,\x20voting_deadline})'],'example_json':{'object':'ecommerce_arb','confirm':{'arb':'arb_case_123','voting_deadline':0x19f80890050}},'reverse_explanation':'Transitions\x20Arb:\x20Principal_confirming\x20→\x20Voting;\x20voting_deadline=null\x20means\x20no\x20deadline'},{'id':'P-AB-05','pattern_name':'Open\x20vote\x20(no\x20voting_guard)','semantic_intent':'Vote\x20on\x20Arb\x20propositions\x20(1\x20person\x201\x20vote,\x20no\x20voting_guard\x20configured)','match_keywords':['vote','open\x20vote','decide'],'schema_fields':['object','vote({arb,\x20votes})'],'example_json':{'object':'ecommerce_arb','vote':{'arb':'arb_case_123','votes':[0x0]}},'reverse_explanation':'vote()\x20requires\x20voting_guard\x20empty\x20(else\x20E_VOTING_GUARD_USED);\x20votes\x20is\x20u8\x20array\x20(proposition\x20indexes)'},{'id':'P-AB-06','pattern_name':'Weighted\x20vote\x20(with\x20voting_guard)','semantic_intent':'Vote\x20using\x20a\x20specific\x20voting_guard\x20for\x20weighted\x20voting','match_keywords':['weighted\x20vote','voting_guard\x20vote'],'schema_fields':['object','vote({arb,\x20votes,\x20voting_guard})'],'example_json':{'object':'ecommerce_arb','vote':{'arb':'arb_case_123','votes':[0x1],'voting_guard':'token_guard'}},'reverse_explanation':'voting_guard\x20must\x20be\x20in\x20Arbitration.voting_guard\x20list\x20(else\x20E_VOTING_GUARD_NOT_FOUND)'},{'id':'P-AB-07','pattern_name':'Make\x20definitive\x20ruling\x20(arbitration)','semantic_intent':'Make\x20a\x20definitive\x20arbitration\x20ruling\x20with\x20indemnity\x20compensation','match_keywords':['ruling','arbitrate','verdict'],'schema_fields':['object','arbitration({arb,\x20feedback,\x20indemnity})'],'example_json':{'object':'ecommerce_arb','arbitration':{'arb':'arb_case_123','feedback':'Buyer\x20wins','indemnity':0xba43b7400}},'reverse_explanation':'Arb\x20transitions\x20to\x20Arbitrated;\x20indemnity\x20paid\x20via\x20order::compensate\x20(public(package)\x20—\x20order-only)'},{'id':'P-AB-08','pattern_name':'Reset\x20arbitration','semantic_intent':'Reset\x20arbitration\x20—\x20principal\x20resubmits\x20materials,\x20restart\x20lifecycle','match_keywords':['reset','restart','resubmit'],'schema_fields':['object','reset({arb,\x20feedback})'],'example_json':{'object':'ecommerce_arb','reset':{'arb':'arb_case_123','feedback':'Principal\x20objects\x20to\x20ruling,\x20resubmitting\x20evidence'}},'reverse_explanation':'Arb\x20transitions\x20from\x20Objectionable/Arbitrated\x20→\x20Principal_confirming;\x20restarts\x20full\x20lifecycle'},{'id':'P-AB-09','pattern_name':'Configure\x20voting_guard','semantic_intent':'Add\x20/\x20set\x20/\x20remove\x20/\x20clear\x20voting_guard\x20entries\x20(controls\x20vote\x20weight)','match_keywords':['voting_guard','voting\x20guard','weight'],'schema_fields':['object','voting_guard({op,\x20guards})'],'example_json':{'object':'ecommerce_arb','voting_guard':{'op':'add','guards':[{'guard':'token_guard','vote_weight':{'FixedValue':0x64}}]}},'reverse_explanation':'op=\x27set\x27=clear+add;\x20\x27add\x27=append;\x20\x27remove\x27=by\x20address;\x20\x27clear\x27=empty\x20all.\x20Max\x2050\x20guards'},{'id':'P-AB-10','pattern_name':'Allocate\x20fees\x20(fees_alloc\x20/\x20fees_transfer)','semantic_intent':'Distribute\x20arbitration\x20fee\x20balance\x20to\x20Allocation\x20or\x20Treasury','match_keywords':['fees_alloc','fees_transfer','allocate','allocate\x20fees'],'schema_fields':['object','fees_transfer({to,\x20payment_remark,\x20payment_index,\x20newPayment?})'],'example_json':{'object':'ecommerce_arb','fees_transfer':{'to':{'allocation':'arb_alloc'},'payment_remark':'arbitration_fee_split','payment_index':0x0}},'reverse_explanation':'to.allocation\x20triggers\x20fees_alloc\x20(365);\x20to.treasury\x20triggers\x20fees_transfer\x20(366).\x20Withdraws\x20ALL\x20balance.'}];export const SCHEMA_TO_SEMANTIC_RULES=[{'element_type':'field','type_name':'object','semantic_explanation':'Arbitration\x20object.\x20STRING=operate\x20existing;\x20OBJECT({name,type_parameter,permission})=create\x20new'},{'element_type':'field','type_name':'dispute','semantic_explanation':'File\x20a\x20new\x20dispute\x20—\x20creates\x20Arb<T>\x20case.\x20Requires\x20Order\x20op\x20permission;\x20fee\x20must\x20be\x20>=\x20Arbitration.fee'},{'element_type':'field','type_name':'confirm','semantic_explanation':'Confirm\x20materials\x20→\x20start\x20voting.\x20Transitions\x20Arb\x20to\x20Voting\x20status.\x20voting_deadline=null\x20for\x20no\x20deadline'},{'element_type':'field','type_name':'vote','semantic_explanation':'Vote\x20on\x20propositions.\x20votes=u8[]\x20(proposition\x20indexes).\x20voting_guard\x20optional\x20for\x20weighted\x20voting'},{'element_type':'field','type_name':'arbitration','semantic_explanation':'Make\x20definitive\x20ruling\x20with\x20indemnity.\x20Transitions\x20Arb\x20to\x20Arbitrated.\x20indemnity\x20paid\x20via\x20order::compensate'},{'element_type':'field','type_name':'feedback','semantic_explanation':'Provide\x20feedback\x20on\x20Arb.\x20Informational\x20only\x20—\x20does\x20NOT\x20change\x20Arb\x20status'},{'element_type':'field','type_name':'reset','semantic_explanation':'Reset\x20Arb\x20to\x20Principal_confirming.\x20Requires\x20feedback\x20explaining\x20reset\x20reason.\x20Restarts\x20lifecycle'},{'element_type':'field','type_name':'arb_withdraw','semantic_explanation':'Withdraw\x20fees\x20from\x20Arb\x20into\x20Arbitration.balance.\x20Only\x20allowed\x20in\x20terminal\x20status\x20(Finished/Withdrawn)'},{'element_type':'field','type_name':'fees_transfer','semantic_explanation':'Distribute\x20ALL\x20Arbitration.balance\x20to\x20Allocation\x20(365)\x20or\x20Treasury\x20(366).\x20Creates\x20Payment\x20record'},{'element_type':'field','type_name':'voting_guard','semantic_explanation':'voting_guard\x20list\x20management.\x20op=\x27add\x27|\x27set\x27|\x27remove\x27|\x27clear\x27.\x20vote_weight:\x20GuardIdentifier(u8)\x20|\x20FixedValue(u32)'},{'element_type':'field','type_name':'usage_guard','semantic_explanation':'Set/clear\x20usage_guard\x20(Option<address>).\x20STRING=set\x20guard;\x20null=clear.\x20When\x20set,\x20dispute\x20must\x20use\x20_with_passport'},{'element_type':'field','type_name':'pause','semantic_explanation':'Pause/resume.\x20bPaused=true\x20blocks\x20dispute\x20(E_PAUSED).\x20New\x20Arbitration\x20defaults\x20to\x20paused=true'},{'element_type':'field','type_name':'fee','semantic_explanation':'Set\x20dispute\x20application\x20fee\x20(u64).\x20dispute\x20requires\x20coin\x20value\x20>=\x20this\x20fee'},{'element_type':'field','type_name':'um','semantic_explanation':'User\x20Manager\x20(Contact\x20object\x20address).\x20um=null\x20revokes.\x20UM\x20≠\x20admin\x20—\x20for\x20contact\x20management\x20only'},{'element_type':'op','type_name':'add','semantic_explanation':'voting_guard:\x20append\x20guards\x20to\x20existing\x20list\x20(dedup\x20by\x20address;\x20updates\x20vote_weight\x20if\x20exists)'},{'element_type':'op','type_name':'set','semantic_explanation':'voting_guard:\x20clear\x20then\x20add\x20—\x20replaces\x20entire\x20list'},{'element_type':'op','type_name':'remove','semantic_explanation':'voting_guard:\x20remove\x20by\x20address\x20(guards\x20is\x20string[]\x20of\x20addresses)'},{'element_type':'op','type_name':'clear','semantic_explanation':'voting_guard:\x20empty\x20the\x20entire\x20list'},{'element_type':'status','type_name':'Principal_confirming','semantic_explanation':'Arb\x20state\x200:\x20created,\x20principal\x20submitting\x20materials\x20(after\x20dispute\x20or\x20reset)'},{'element_type':'status','type_name':'Arbitrator_confirming','semantic_explanation':'Arb\x20state\x201:\x20arbitrator\x20reviewing/confirming\x20materials'},{'element_type':'status','type_name':'Voting','semantic_explanation':'Arb\x20state\x202:\x20voting\x20in\x20progress\x20(after\x20confirm).\x20vote/voting_deadline_change\x20allowed'},{'element_type':'status','type_name':'Arbitrated','semantic_explanation':'Arb\x20state\x203:\x20ruling\x20made\x20(after\x20arbitration\x20op).\x20Can\x20transition\x20to\x20Objectionable\x20or\x20Finished'},{'element_type':'status','type_name':'Objectionable','semantic_explanation':'Arb\x20state\x204:\x20objection\x20window\x20—\x20reset\x20allowed\x20to\x20restart\x20lifecycle'},{'element_type':'status','type_name':'Finished','semantic_explanation':'Arb\x20state\x205:\x20terminal\x20—\x20case\x20closed.\x20arb_withdraw\x20allowed'},{'element_type':'status','type_name':'Withdrawn','semantic_explanation':'Arb\x20state\x206:\x20terminal\x20—\x20fees\x20withdrawn.\x20No\x20further\x20operations\x20allowed'}];export const ARBITRATION_CONSTRAINT_RULES=[{'id':'MC-AB-01','category':'structural','rule':'voting_guard\x20count\x20<=\x20MAX_VOTING_GUARD_COUNT\x20(50)','applies_to':['voting_guard.guards']},{'id':'MC-AB-02','category':'structural','rule':'Arbitration\x20is\x20generic\x20<phantom\x20T>;\x20T\x20must\x20be\x20a\x20valid\x20Coin\x20type\x20(e.g.\x200x2::wow::WOW)','applies_to':['object.type_parameter']},{'id':'MC-AB-03','category':'structural','rule':'fee\x20(u64)\x20must\x20be\x20>=\x200;\x20dispute\x20requires\x20coin::value(&fee)\x20>=\x20Arbitration.fee','applies_to':['fee','dispute.fee']},{'id':'MC-AB-04','category':'structural','rule':'bPaused\x20defaults\x20to\x20true\x20on\x20creation\x20—\x20must\x20call\x20pause(false)\x20to\x20enable\x20dispute','applies_to':['pause']},{'id':'MC-AB-05','category':'semantic','rule':'VoteValue.GuardIdentifier\x20is\x20u8\x20(0-255);\x20FixedValue\x20is\x20u32\x20(0-4294967295)','applies_to':['voting_guard.guards.vote_weight']},{'id':'MC-AB-06','category':'semantic','rule':'votes\x20array\x20is\x20u8[]\x20—\x20indexes\x20into\x20proposition\x20list\x20(0..N-1)','applies_to':['vote.votes']},{'id':'MC-AB-07','category':'semantic','rule':'When\x20voting_guard\x20is\x20non-empty,\x20vote\x20MUST\x20use\x20vote_with_voting_guard\x20(else\x20E_VOTING_GUARD_USED)','applies_to':['vote']},{'id':'MC-AB-08','category':'semantic','rule':'When\x20usage_guard\x20is\x20Some,\x20dispute\x20MUST\x20use\x20_with_passport\x20variant\x20(else\x20E_NEED_PASSPORT)','applies_to':['dispute']},{'id':'MC-AB-09','category':'authority','rule':'Each\x20operation\x20has\x20dual-path\x20API:\x20xxx()\x20(sender\x20check)\x20and\x20xxx_with_passport()\x20(Passport\x20check)','applies_to':['all\x20operations']},{'id':'MC-AB-10','category':'authority','rule':'19\x20permission\x20indexes\x20(350-368);\x20352\x20is\x20reserved\x20placeholder\x20(ARBITRATION_ENDPOINT,\x20commented\x20out)','applies_to':['permission\x20table']},{'id':'MC-AB-11','category':'lifecycle','rule':'Arb\x207-state\x20flow:\x20Principal_confirming\x20→\x20Arbitrator_confirming\x20→\x20Voting\x20→\x20Arbitrated\x20→\x20Objectionable\x20→\x20Finished/Withdrawn.\x20reset\x20restarts\x20to\x20Principal_confirming','applies_to':['confirm','vote','arbitration','reset','arb_withdraw']},{'id':'MC-AB-12','category':'lifecycle','rule':'Terminal\x20states\x20(Finished,\x20Withdrawn)\x20only\x20allow\x20arb_withdraw;\x20no\x20vote/confirm/arbitration/reset/feedback','applies_to':['vote','confirm','arbitration','reset','feedback','arb_withdraw']},{'id':'MC-AB-13','category':'cross_object','rule':'dispute\x20requires\x20order::assert_op_permission\x20—\x20signer\x20must\x20have\x20Order\x27s\x20dispute\x20operation\x20permission','applies_to':['dispute']},{'id':'MC-AB-14','category':'cross_object','rule':'compensate\x20is\x20public(package)\x20—\x20only\x20order.move\x20can\x20call\x20it;\x20external\x20code\x20cannot\x20trigger\x20compensation\x20directly','applies_to':['arbitration\x20(indemnity\x20payment)']}];export const ARBITRATION_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 explainArbitrationCallData(b){const e=[];if(b['object']===null||b['object']===undefined)e['push']('Operation:\x20INVALID\x20—\x20object\x20is\x20required');else{if(typeof b['object']==='object'){const g=b['object'];e['push']('Operation:\x20CREATE\x20new\x20Arbitration\x20\x27'+(g['name']??'?')+'\x27\x20(T='+(g['type_parameter']??'?')+')');}else e['push']('Operation:\x20OPERATE\x20existing\x20Arbitration\x20at\x20'+b['object']);}if(b['description'])e['push']('-\x20Set\x20description:\x20\x22'+b['description']+'\x22');if(b['location'])e['push']('-\x20Set\x20location:\x20'+b['location']);if(b['fee']!==undefined)e['push']('-\x20Set\x20fee:\x20'+b['fee']);if(b['pause']!==undefined)e['push']('-\x20'+(b['pause']?'Pause':'Resume\x20(enable\x20disputes)'));if(b['dispute']){const h=b['dispute'];e['push']('-\x20File\x20DISPUTE\x20against\x20Order\x20'+h['order']);if(h['description'])e['push']('\x20\x20Description:\x20\x22'+h['description']+'\x22');e['push']('\x20\x20Propositions\x20('+h['proposition']['length']+'):\x20'+h['proposition']['join']('\x20|\x20'));}if(b['confirm']){const i=b['confirm'],j=i['voting_deadline']===null?'no\x20deadline':'deadline='+i['voting_deadline'];e['push']('-\x20CONFIRM\x20materials\x20on\x20Arb\x20'+i['arb']+'\x20('+j+')\x20—\x20starts\x20voting');}if(b['voting_deadline_change']){const k=b['voting_deadline_change'],l=k['voting_deadline']===null?'no\x20deadline':'deadline='+k['voting_deadline'];e['push']('-\x20Change\x20voting_deadline\x20on\x20Arb\x20'+k['arb']+':\x20'+l);}if(b['vote']){const m=b['vote'],n=m['voting_guard']?'weighted\x20(guard='+m['voting_guard']+')':'open\x20(1\x20person\x201\x20vote)';e['push']('-\x20VOTE\x20on\x20Arb\x20'+m['arb']+'\x20—\x20'+n),e['push']('\x20\x20Votes:\x20['+m['votes']['join'](',\x20')+']\x20(proposition\x20indexes)');}b['feedback']&&e['push']('-\x20FEEDBACK\x20on\x20Arb\x20'+b['feedback']['arb']+':\x20\x22'+b['feedback']['feedback']+'\x22');if(b['arbitration']){const o=b['arbitration'];e['push']('-\x20⚖️\x20RULING\x20on\x20Arb\x20'+o['arb']+':\x20\x22'+o['feedback']+'\x22'),e['push']('\x20\x20Indemnity:\x20'+o['indemnity']+'\x20(paid\x20via\x20order::compensate)');}b['reset']&&e['push']('-\x20↻\x20RESET\x20Arb\x20'+b['reset']['arb']+':\x20\x22'+b['reset']['feedback']+'\x22\x20—\x20restart\x20lifecycle');b['arb_withdraw']&&e['push']('-\x20WITHDRAW\x20fees\x20from\x20Arb\x20'+b['arb_withdraw']['arb']+'\x20→\x20Arbitration.balance');if(b['fees_transfer']){const p=b['fees_transfer'],q=p['to']['allocation']?'Allocation\x20'+p['to']['allocation']:'Treasury\x20'+p['to']['treasury'];e['push']('-\x20💰\x20ALLOCATE\x20fees\x20→\x20'+q),e['push']('\x20\x20Remark:\x20\x22'+p['payment_remark']+'\x22,\x20index:\x20'+p['payment_index']);}b['usage_guard']!==undefined&&e['push'](b['usage_guard']===null?'-\x20usage_guard:\x20CLEAR\x20(dispute\x20no\x20longer\x20requires\x20passport)':'-\x20usage_guard:\x20SET\x20to\x20'+b['usage_guard']+'\x20(dispute\x20requires\x20_with_passport)');if(b['voting_guard']){const r=b['voting_guard'],s=Array['isArray'](r['guards'])?r['guards']['length']:0x0;e['push']('-\x20voting_guard\x20'+r['op']+(r['op']!=='clear'?'\x20('+s+'\x20guard(s))':''));}return b['um']!==undefined&&e['push'](b['um']===null?'-\x20UM:\x20revoke':'-\x20UM:\x20set\x20to\x20'+b['um']),b['builder']&&e['push']('-\x20⚠️\x20TRANSFER\x20ownership\x20to\x20'+b['builder']+'\x20(IRREVERSIBLE)'),e['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 explainStatus(a){return SCHEMA_TO_SEMANTIC_RULES['find'](b=>b['element_type']==='status'&&b['type_name']===a);}export function getConstraintsByCategory(a){return ARBITRATION_CONSTRAINT_RULES['filter'](b=>b['category']===a);}export function explainPermissionIndex(a){const b=getPermissionByIndex(a),c=findSceneByPermissionIndex(a);if(b?.['is_reserved'])return b['name']+'\x20('+a+')\x20—\x20RESERVED\x20placeholder,\x20not\x20used\x20on-chain';if(b)return b['name']+'\x20('+a+')\x20—\x20'+b['description']+'\x20[scene:\x20'+(c?.['id']??'unknown')+']';return'Unknown\x20permission\x20index\x20('+a+')\x20—\x20not\x20in\x20ARBITRATION_*\x20range\x20(350-368)';}export function explainArbStatus(a){const b=explainStatus(a);return b?a+':\x20'+b['semantic_explanation']:a+':\x20unknown\x20status';}