@wowok/agent-mcp 2.7.0 → 2.7.2

package/dist/knowledge/service-translation.js

@@ -1,622 +1 @@
-import { MAX_SALE_COUNT, MAX_REPOSITORY_COUNT, MAX_ARBITRATION_COUNT, MAX_DISCOUNT_COUNT_ONCE, MAX_DISCOUNT_TOTAL_COUNT, MAX_WIP_LENGTH, MAX_WIP_HASH_LENGTH, } from "@wowok/wowok";
-import { isServicePermission, getServicePermissionByIndex, } from "./service-ledger.js";
-export const SEMANTIC_TO_SCHEMA_RULES = [
-    {
-        id: "P-S-01",
-        pattern_name: "Create new Service",
-        semantic_intent: "Create a new Service<T> with owner, permission, description, coin type",
-        match_keywords: ["create", "new", "open"],
-        schema_fields: ["object(null)", "description", "permission", "owner", "coin_type"],
-        example_json: {
-            object: null,
-            description: "My retail shop",
-            permission: "0xPERMISSION_ADDRESS",
-        },
-        reverse_explanation: "object=null indicates creation; permission must be a valid Permission object owned by signer",
-    },
-    {
-        id: "P-S-02",
-        pattern_name: "Modify description / location / customer_required",
-        semantic_intent: "Update Service metadata fields (mutable pre and post publish)",
-        match_keywords: ["describe", "locate", "customer_required", "update", "modify"],
-        schema_fields: ["object", "description", "location", "customer_required"],
-        example_json: {
-            object: "0xSERVICE_ADDRESS",
-            description: "Updated description",
-            location: "https://shop.example.com",
-            customer_required: ["name", "phone"],
-        },
-        reverse_explanation: "These fields are always mutable. customer_required is a string[] of field names buyers must provide at order time.",
-    },
-    {
-        id: "P-S-03",
-        pattern_name: "Manage sales items (add/set/remove/clear)",
-        semantic_intent: "Add product SKUs, update prices/stock, remove deprecated items, or clear all",
-        match_keywords: ["sales", "product", "sku", "inventory", "price"],
-        schema_fields: ["object", "sales"],
-        example_json: {
-            object: "0xSERVICE_ADDRESS",
-            sales: {
-                op: "add",
-                sales: [
-                    { name: "standard", price: "1000000000", stock: 100, wip: "https://ipfs/wip", wip_hash: "abcd...64" },
-                ],
-            },
-        },
-        reverse_explanation: "sales.op=add appends; set replaces matching name; remove deletes by name; clear empties all. wip_hash is REQUIRED for tamper protection.",
-    },
-    {
-        id: "P-S-04",
-        pattern_name: "Bind/unbind Machine workflow",
-        semantic_intent: "Bind a Machine workflow template to Service (post-publish immutable)",
-        match_keywords: ["machine", "workflow", "bind machine"],
-        schema_fields: ["object", "machine"],
-        example_json: {
-            object: "0xSERVICE_ADDRESS",
-            machine: "0xMACHINE_ADDRESS",
-        },
-        reverse_explanation: "machine=<address> binds; machine=null unbinds (pre-publish only). Once published, machine is immutable (F-S-20). Progress inherits this binding.",
-    },
-    {
-        id: "P-S-05",
-        pattern_name: "Set/clear buy Guard",
-        semantic_intent: "Set buyer eligibility Guard (KYC/whitelist) or clear it",
-        match_keywords: ["buy_guard", "kyc", "whitelist"],
-        schema_fields: ["object", "buy_guard"],
-        example_json: {
-            object: "0xSERVICE_ADDRESS",
-            buy_guard: "0xGUARD_ADDRESS",
-        },
-        reverse_explanation: "buy_guard is the ONLY field still mutable post-publish (F-S-26 exception). Pre-sale: set to whitelist; public sale: set to null.",
-    },
-    {
-        id: "P-S-06",
-        pattern_name: "Manage arbitrations (add/remove/clear)",
-        semantic_intent: "Bind Arbitration objects for dispute handling (post-publish immutable)",
-        match_keywords: ["arbitration", "arbitrator", "dispute"],
-        schema_fields: ["object", "arbitrations"],
-        example_json: {
-            object: "0xSERVICE_ADDRESS",
-            arbitrations: { op: "add", objects: ["0xARB_ADDRESS"] },
-        },
-        reverse_explanation: "Required when compensation_fund > 0 (F-S-19). Post-publish immutable (F-S-21). Use 1-3 Arbitration objects covering different scopes.",
-    },
-    {
-        id: "P-S-07",
-        pattern_name: "Manage repositories (add/remove/clear)",
-        semantic_intent: "Bind Repository objects (data stores) — mutable post-publish",
-        match_keywords: ["repository", "data store", "storage", "data source"],
-        schema_fields: ["object", "repositories"],
-        example_json: {
-            object: "0xSERVICE_ADDRESS",
-            repositories: { op: "add", objects: ["0xREPO_ADDRESS"] },
-        },
-        reverse_explanation: "Mutable post-publish. SDK validates ObjectType.Repository via queryObjectsWithType. Max 100 (MAX_REPOSITORY_COUNT).",
-    },
-    {
-        id: "P-S-08",
-        pattern_name: "Manage rewards (add/remove/clear)",
-        semantic_intent: "Bind Reward objects for marketing incentives (locked by setting_lock_duration)",
-        match_keywords: ["reward", "incentive", "marketing"],
-        schema_fields: ["object", "rewards"],
-        example_json: {
-            object: "0xSERVICE_ADDRESS",
-            rewards: { op: "add", objects: ["0xREWARD_ADDRESS"] },
-        },
-        reverse_explanation: "Mutable but locked by setting_lock_duration (F-S-24). Cannot be removed until lock expires. Max 20 (MAX_REWARD_COUNT).",
-    },
-    {
-        id: "P-S-09",
-        pattern_name: "Set order_allocators",
-        semantic_intent: "Configure fund distribution strategy (publish prerequisite, post-publish immutable)",
-        match_keywords: ["allocator", "order_allocators"],
-        schema_fields: ["object", "order_allocators"],
-        example_json: {
-            object: "0xSERVICE_ADDRESS",
-            order_allocators: [
-                {
-                    threshold: "0",
-                    sharing: [
-                        { who: { Object: "0xOWNER" }, weight: 80 },
-                        { who: { Object: "0xPLATFORM" }, weight: 20 },
-                    ],
-                },
-            ],
-        },
-        reverse_explanation: "MANDATORY before publish (F-S-18, E_NO_ALLOCATOR). First-match-wins: first allocator whose threshold <= order value handles distribution. Post-publish immutable (F-S-22).",
-    },
-    {
-        id: "P-S-10",
-        pattern_name: "Pause/resume Service",
-        semantic_intent: "Block new orders (pause) or resume accepting orders",
-        match_keywords: ["pause", "resume"],
-        schema_fields: ["object", "pause"],
-        example_json: {
-            object: "0xSERVICE_ADDRESS",
-            pause: true,
-        },
-        reverse_explanation: "pause=true blocks new orders (E_SERVICE_PAUSED); pause=false resumes. Existing Progress continues normally. compensation_fund_withdraw requires paused=true.",
-    },
-    {
-        id: "P-S-11",
-        pattern_name: "Publish Service (IRREVERSIBLE)",
-        semantic_intent: "Publish Service — makes it buyable. One-shot, cannot revert.",
-        match_keywords: ["publish", "go live", "release"],
-        schema_fields: ["object", "publish"],
-        example_json: {
-            object: "0xSERVICE_ADDRESS",
-            publish: true,
-        },
-        reverse_explanation: "⚠️ IRREVERSIBLE. Requires SERVICE_PUBLISH (311) permission. Prerequisites: order_allocators set; if compensation_fund > 0, arbitrations non-empty. Locks machine/arbitrations/order_allocators forever.",
-    },
-    {
-        id: "P-S-12",
-        pattern_name: "Issue/destroy discount coupons",
-        semantic_intent: "Issue promotional discount coupons or destroy (redeem) them",
-        match_keywords: ["discount", "coupon"],
-        schema_fields: ["object", "discount"],
-        example_json: {
-            object: "0xSERVICE_ADDRESS",
-            discount: {
-                name: "SUMMER10",
-                discount_type: 0,
-                data: 1000,
-                count: 100,
-                receivers: ["0xUSER1", "0xUSER2"],
-                expire_at: 1735689600000,
-            },
-        },
-        reverse_explanation: "discount_type=0 rates (basis points, per 10000), 1=minus (direct deduction). Max 1000 per call (MAX_DISCOUNT_COUNT_ONCE), 20000 total (MAX_DISCOUNT_TOTAL_COUNT). discount_destroy is holder-only.",
-    },
-    {
-        id: "P-S-13",
-        pattern_name: "Compensation fund operations (add/withdraw/receive)",
-        semantic_intent: "Deposit to compensation_fund, withdraw (locked), or receive (locked)",
-        match_keywords: ["compensation_fund", "compensation", "deposit", "withdraw"],
-        schema_fields: ["object", "compensation_fund_add", "compensation_fund_withdraw", "compensation_fund_receive"],
-        example_json: {
-            object: "0xSERVICE_ADDRESS",
-            compensation_fund_add: { balance: "1000000000" },
-        },
-        reverse_explanation: "add=always mutable; withdraw/receive locked by setting_lock_duration AND requires bPaused=true. Internal Balance<T>, distinct from Treasury.",
-    },
-    {
-        id: "P-S-14",
-        pattern_name: "Extend setting_lock_duration",
-        semantic_intent: "Add milliseconds to setting_lock_duration (only-increase mechanism)",
-        match_keywords: ["setting_lock_duration", "lock_duration", "lock period", "extend lock"],
-        schema_fields: ["object", "setting_lock_duration_add"],
-        example_json: {
-            object: "0xSERVICE_ADDRESS",
-            setting_lock_duration_add: 2592000000,
-        },
-        reverse_explanation: "Only-increase (safe_add). Default 2592000000ms (30 days). Affects rewards/compensation_fund_withdraw/compensation_fund_receive mutability windows.",
-    },
-    {
-        id: "P-S-15",
-        pattern_name: "Buy (8-stage composite order flow)",
-        semantic_intent: "Customer places order — atomic creation of Order + Allocation + Progress",
-        match_keywords: ["buy", "order", "purchase"],
-        schema_fields: ["object", "order_new"],
-        example_json: {
-            object: "0xSERVICE_ADDRESS",
-            order_new: {
-                buy: {
-                    items: [{ name: "standard", wip_hash: "abcd...64", count: 1 }],
-                    discount: "0xDISCOUNT_ADDRESS",
-                    total_pay: "1000000000",
-                    passport: null,
-                },
-                order_required_info: { name: "Alice", phone: "+86..." },
-                agents: ["0xAGENT1"],
-                transfer: null,
-            },
-        },
-        reverse_explanation: "8 stages: pre_check → wip_verify → quote (deducts stock!) → create_order → create_allocation → create_progress → post_actions → return_result. Stock deduction is NOT rolled back on later failure.",
-    },
-    {
-        id: "P-S-16",
-        pattern_name: "Transfer ownership (IRREVERSIBLE)",
-        semantic_intent: "Transfer Service ownership to a new address",
-        match_keywords: ["transfer", "handover"],
-        schema_fields: ["object", "builder"],
-        example_json: {
-            object: "0xSERVICE_ADDRESS",
-            builder: "0xNEW_OWNER",
-        },
-        reverse_explanation: "⚠️ IRREVERSIBLE. Original owner loses ALL control. New owner inherits permission, compensation_fund, all bindings. Export JSON before transfer.",
-    },
-];
-export const SCHEMA_TO_SEMANTIC_RULES = [
-    {
-        element_type: "field",
-        type_name: "object",
-        semantic_explanation: "Service object address. STRING=operate existing; null/omitted=create new",
-    },
-    {
-        element_type: "field",
-        type_name: "description",
-        semantic_explanation: "Human-readable Service description. Mutable pre/post publish. Max 4000 chars.",
-    },
-    {
-        element_type: "field",
-        type_name: "location",
-        semantic_explanation: "Service URL/location (e.g. shop URL). Mutable. Index 303 (SERVICE_LOCATION).",
-    },
-    {
-        element_type: "field",
-        type_name: "customer_required",
-        semantic_explanation: "String[] of field names buyers must provide at order time (e.g. ['name','phone']). Mutable. Index 309.",
-    },
-    {
-        element_type: "field",
-        type_name: "sales",
-        semantic_explanation: "Product SKU list. op=add/set/remove/clear. Each sale has name/price/stock/wip/wip_hash. Index 305 (SERVICE_SALES).",
-    },
-    {
-        element_type: "field",
-        type_name: "machine",
-        semantic_explanation: "Machine workflow template binding. ⚠️ IMMUTABLE post-publish (F-S-20). Index 306 (SERVICE_MACHINE).",
-    },
-    {
-        element_type: "field",
-        type_name: "buy_guard",
-        semantic_explanation: "Buyer eligibility Guard. ⚠️ UNUSUAL: still mutable post-publish (F-S-26 exception). Index 307 (SERVICE_BUY_GUARD).",
-    },
-    {
-        element_type: "field",
-        type_name: "arbitrations",
-        semantic_explanation: "Arbitration object list. Required if compensation_fund > 0. ⚠️ IMMUTABLE post-publish (F-S-21). Index 308.",
-    },
-    {
-        element_type: "field",
-        type_name: "repositories",
-        semantic_explanation: "Repository object list. Mutable. Max 100 (MAX_REPOSITORY_COUNT). Index 304 (SERVICE_REPOSITORY).",
-    },
-    {
-        element_type: "field",
-        type_name: "rewards",
-        semantic_explanation: "Reward object list. Mutable but locked by setting_lock_duration (F-S-24). Max 20 (MAX_REWARD_COUNT). Index 318.",
-    },
-    {
-        element_type: "field",
-        type_name: "order_allocators",
-        semantic_explanation: "Fund distribution strategy. ⚠️ MANDATORY for publish (F-S-18). IMMUTABLE post-publish (F-S-22). Index 313.",
-    },
-    {
-        element_type: "field",
-        type_name: "discount",
-        semantic_explanation: "Discount coupon issuance. discount_type=0 rates, 1=minus. Index 312 (SERVICE_DISCOUNT).",
-    },
-    {
-        element_type: "field",
-        type_name: "pause",
-        semantic_explanation: "true=pause (block new orders); false=resume. Existing Progress unaffected. Index 310 (SERVICE_PAUSE).",
-    },
-    {
-        element_type: "field",
-        type_name: "publish",
-        semantic_explanation: "⚠️ IRREVERSIBLE one-shot. Requires prerequisites. Locks 3 fields forever. Index 311 (SERVICE_PUBLISH).",
-    },
-    {
-        element_type: "field",
-        type_name: "compensation_fund_add",
-        semantic_explanation: "Deposit to internal Balance<T>. Always mutable. Index 315. Distinct from Treasury.",
-    },
-    {
-        element_type: "field",
-        type_name: "compensation_fund_withdraw",
-        semantic_explanation: "Withdraw from internal Balance<T>. Requires bPaused=true + lock_duration expired. Index 314. Locked by duration (F-S-25).",
-    },
-    {
-        element_type: "field",
-        type_name: "compensation_fund_receive",
-        semantic_explanation: "Receive compensation_fund (for arbitration payouts). Locked by setting_lock_duration. Index 316.",
-    },
-    {
-        element_type: "field",
-        type_name: "setting_lock_duration_add",
-        semantic_explanation: "Extend setting_lock_duration (only-increase, safe_add). Index 317 (SERVICE_COMPENSATION_LOCK_DURATION_ADD).",
-    },
-    {
-        element_type: "field",
-        type_name: "order_new",
-        semantic_explanation: "Composite buy operation. Triggers 8-stage flow: pre_check → wip_verify → quote → create_order/allocation/progress → post_actions → return_result.",
-    },
-    {
-        element_type: "field",
-        type_name: "builder",
-        semantic_explanation: "Transfer ownership. ⚠️ IRREVERSIBLE. Original owner loses ALL control.",
-    },
-    {
-        element_type: "field",
-        type_name: "um",
-        semantic_explanation: "User Manager (Contact object). Mutable. Index 320 (SERVICE_UM).",
-    },
-    {
-        element_type: "field",
-        type_name: "owner_receive",
-        semantic_explanation: "Receive Payment/objects to owner. Index 319 (SERVICE_OWNER_RECEIVE).",
-    },
-    {
-        element_type: "op",
-        type_name: "add",
-        semantic_explanation: "Append new items (sales/arbitrations/repositories/rewards). Additive, does not replace.",
-    },
-    {
-        element_type: "op",
-        type_name: "set",
-        semantic_explanation: "Replace existing item by name (sales) or replace entire list (repositories/rewards/arbitrations).",
-    },
-    {
-        element_type: "op",
-        type_name: "remove",
-        semantic_explanation: "Remove specific items by name (sales) or address (repositories/rewards/arbitrations).",
-    },
-    {
-        element_type: "op",
-        type_name: "clear",
-        semantic_explanation: "Remove all items from the list.",
-    },
-];
-export const SERVICE_CONSTRAINT_RULES = [
-    {
-        id: "MC-S-01",
-        category: "structural",
-        rule: `Service builtin permission indexes must be in range 300-320 (302 reserved/commented)`,
-        applies_to: ["permission table.index (when applied to Service)"],
-    },
-    {
-        id: "MC-S-02",
-        category: "structural",
-        rule: `sales count <= MAX_SALE_COUNT (${MAX_SALE_COUNT})`,
-        applies_to: ["sales.sales"],
-    },
-    {
-        id: "MC-S-03",
-        category: "structural",
-        rule: `repositories count <= MAX_REPOSITORY_COUNT (${MAX_REPOSITORY_COUNT})`,
-        applies_to: ["repositories.objects"],
-    },
-    {
-        id: "MC-S-04",
-        category: "structural",
-        rule: `arbitrations count <= MAX_ARBITRATION_COUNT (${MAX_ARBITRATION_COUNT})`,
-        applies_to: ["arbitrations.objects"],
-    },
-    {
-        id: "MC-S-05",
-        category: "structural",
-        rule: `rewards count <= MAX_REWARD_COUNT (20)`,
-        applies_to: ["rewards.objects"],
-    },
-    {
-        id: "MC-S-06",
-        category: "structural",
-        rule: `customer_required count <= 10, each item length <= 20`,
-        applies_to: ["customer_required"],
-    },
-    {
-        id: "MC-S-07",
-        category: "structural",
-        rule: `wip URL length <= MAX_WIP_LENGTH (${MAX_WIP_LENGTH})`,
-        applies_to: ["sales.sales[].wip"],
-    },
-    {
-        id: "MC-S-08",
-        category: "structural",
-        rule: `wip_hash length <= MAX_WIP_HASH_LENGTH (${MAX_WIP_HASH_LENGTH}) — sha256 hex (64 chars, no prefix)`,
-        applies_to: ["sales.sales[].wip_hash", "order_new.buy.items[].wip_hash"],
-    },
-    {
-        id: "MC-S-09",
-        category: "semantic",
-        rule: `wip_hash must NOT be empty when wip URL is set (tamper protection)`,
-        applies_to: ["sales.sales[]"],
-    },
-    {
-        id: "MC-S-10",
-        category: "authority",
-        rule: `publish requires order_allocators set (F-S-18, E_NO_ALLOCATOR)`,
-        applies_to: ["publish", "order_allocators"],
-    },
-    {
-        id: "MC-S-11",
-        category: "authority",
-        rule: `publish with compensation_fund > 0 requires arbitrations non-empty (F-S-19, E_ARBITRATION_NOT_SET_WITH_COMPENSATION_FUND)`,
-        applies_to: ["publish", "arbitrations", "compensation_fund_add"],
-    },
-    {
-        id: "MC-S-12",
-        category: "lifecycle",
-        rule: `machine IMMUTABLE post-publish (F-S-20) — SDK checkNotPublished() blocks`,
-        applies_to: ["machine"],
-    },
-    {
-        id: "MC-S-13",
-        category: "lifecycle",
-        rule: `arbitrations IMMUTABLE post-publish (F-S-21) — SDK checkNotPublished() blocks`,
-        applies_to: ["arbitrations"],
-    },
-    {
-        id: "MC-S-14",
-        category: "lifecycle",
-        rule: `order_allocators IMMUTABLE post-publish (F-S-22) — SDK checkNotPublished() blocks`,
-        applies_to: ["order_allocators"],
-    },
-    {
-        id: "MC-S-15",
-        category: "lifecycle",
-        rule: `bPublished is IRREVERSIBLE (one-shot, cannot revert to false) — to 'reset', create new Service`,
-        applies_to: ["publish"],
-    },
-    {
-        id: "MC-S-16",
-        category: "lifecycle",
-        rule: `setting_lock_duration only-increase (safe_add) — cannot be decreased; protects customers`,
-        applies_to: ["setting_lock_duration_add"],
-    },
-    {
-        id: "MC-S-17",
-        category: "lifecycle",
-        rule: `compensation_fund_withdraw requires bPaused=true AND setting_lock_duration expired (F-S-25, F-S-26)`,
-        applies_to: ["compensation_fund_withdraw", "pause"],
-    },
-    {
-        id: "MC-S-18",
-        category: "semantic",
-        rule: `discount count <= MAX_DISCOUNT_TOTAL_COUNT (${MAX_DISCOUNT_TOTAL_COUNT}); per-call <= MAX_DISCOUNT_COUNT_ONCE (${MAX_DISCOUNT_COUNT_ONCE})`,
-        applies_to: ["discount.count"],
-    },
-    {
-        id: "MC-S-19",
-        category: "semantic",
-        rule: `buy_guard is the ONLY field still mutable post-publish (F-S-26 exception) — all other guarded fields are immutable`,
-        applies_to: ["buy_guard"],
-    },
-    {
-        id: "MC-S-20",
-        category: "authority",
-        rule: `Ownership transfer (builder) is IRREVERSIBLE — new owner inherits permission + compensation_fund + all bindings`,
-        applies_to: ["builder"],
-    },
-];
-export const SERVICE_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 explainServiceCallData(data) {
-    const lines = [];
-    if (data.object === null || data.object === undefined) {
-        lines.push("Operation: CREATE new Service");
-    }
-    else {
-        lines.push(`Operation: MODIFY existing Service at ${data.object}`);
-    }
-    if (data.description)
-        lines.push(`- Set description: "${data.description}"`);
-    if (data.location)
-        lines.push(`- Set location: ${data.location}`);
-    if (data.customer_required)
-        lines.push(`- Customer required fields: [${data.customer_required.join(", ")}]`);
-    if (data.sales) {
-        const s = data.sales;
-        if (s.op === "clear") {
-            lines.push(`- Sales: CLEAR all items`);
-        }
-        else if (s.op === "remove") {
-            lines.push(`- Sales REMOVE: [${s.sales_name.join(", ")}]`);
-        }
-        else {
-            lines.push(`- Sales ${s.op.toUpperCase()}: ${s.sales.length} item(s)`);
-            for (const item of s.sales) {
-                const hashInfo = item.wip_hash ? ` hash=${item.wip_hash.slice(0, 8)}...` : " ⚠️NO_HASH";
-                lines.push(`    • ${item.name} price=${item.price ?? "?"} stock=${item.stock ?? "?"}${hashInfo}`);
-            }
-        }
-    }
-    if (data.machine !== undefined) {
-        lines.push(data.machine === null ? `- Machine: unbind (pre-publish only)` : `- Machine: bind ${data.machine}`);
-    }
-    if (data.buy_guard !== undefined) {
-        lines.push(data.buy_guard === null ? `- Buy Guard: clear` : `- Buy Guard: set ${data.buy_guard} [mutable post-publish]`);
-    }
-    if (data.arbitrations) {
-        const a = data.arbitrations;
-        if (a.op === "clear") {
-            lines.push(`- Arbitrations: CLEAR (pre-publish only)`);
-        }
-        else {
-            lines.push(`- Arbitrations ${a.op.toUpperCase()}: ${a.objects.length} object(s)`);
-        }
-    }
-    if (data.repositories) {
-        const r = data.repositories;
-        if (r.op === "clear") {
-            lines.push(`- Repositories: CLEAR`);
-        }
-        else {
-            lines.push(`- Repositories ${r.op.toUpperCase()}: ${r.objects.length} object(s)`);
-        }
-    }
-    if (data.rewards) {
-        const r = data.rewards;
-        if (r.op === "clear") {
-            lines.push(`- Rewards: CLEAR (locked by duration)`);
-        }
-        else {
-            lines.push(`- Rewards ${r.op.toUpperCase()}: ${r.objects.length} object(s) [locked by duration]`);
-        }
-    }
-    if (data.order_allocators !== undefined) {
-        lines.push(`- Order Allocators: ${data.order_allocators ? "configured" : "(clear)"} [immutable post-publish]`);
-    }
-    if (data.discount) {
-        const d = data.discount;
-        const typeName = d.discount_type === 0 ? "rates (basis points, per 10000)" : "minus (direct deduction)";
-        lines.push(`- Discount: ${d.name} type=${typeName} data=${d.data} count=${d.count}`);
-    }
-    if (data.pause !== undefined) {
-        lines.push(`- Pause: ${data.pause ? "PAUSE (block new orders)" : "RESUME"}`);
-    }
-    if (data.publish) {
-        lines.push(`- ⚠️ PUBLISH (IRREVERSIBLE — locks machine/arbitrations/order_allocators forever)`);
-    }
-    if (data.compensation_fund_add) {
-        lines.push(`- Compensation fund deposit: ${data.compensation_fund_add.balance} (internal Balance<T>)`);
-    }
-    if (data.compensation_fund_withdraw) {
-        lines.push(`- ⚠️ Compensation fund withdraw (requires bPaused=true + lock_duration expired)`);
-    }
-    if (data.compensation_fund_receive) {
-        lines.push(`- Compensation fund receive (locked by duration)`);
-    }
-    if (data.setting_lock_duration_add !== undefined) {
-        lines.push(`- Setting lock duration +${data.setting_lock_duration_add}ms (only-increase)`);
-    }
-    if (data.order_new) {
-        const o = data.order_new;
-        lines.push(`- ⚠️ ORDER NEW (8-stage composite flow):`);
-        lines.push(`    Items: ${o.buy.items.length}`);
-        lines.push(`    Total pay: ${o.buy.total_pay}`);
-        if (o.buy.discount)
-            lines.push(`    Discount: ${o.buy.discount}`);
-        lines.push(`    Stages: pre_check → wip_verify → quote (deducts stock!) → create_order/allocation/progress → return`);
-    }
-    if (data.builder) {
-        lines.push(`- ⚠️ TRANSFER ownership to ${data.builder} (IRREVERSIBLE)`);
-    }
-    if (data.um !== undefined) {
-        lines.push(data.um === null ? `- UM: revoke` : `- UM: set to ${data.um}`);
-    }
-    if (data.owner_receive) {
-        lines.push(`- Owner receive: receive Payment/objects to owner`);
-    }
-    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 getConstraintsByCategory(category) {
-    return SERVICE_CONSTRAINT_RULES.filter(r => r.category === category);
-}
-export function explainServicePermissionIndex(index) {
-    if (isServicePermission(index)) {
-        const entry = getServicePermissionByIndex(index);
-        if (!entry)
-            return `Unknown Service permission (${index})`;
-        const mutabilityNote = entry.post_publish_mutability === "immutable"
-            ? " [IMMUTABLE post-publish]"
-            : entry.post_publish_mutability === "one_shot"
-                ? " [ONE-SHOT, irreversible]"
-                : entry.post_publish_mutability === "locked_by_duration"
-                    ? " [locked by setting_lock_duration]"
-                    : "";
-        return `${entry.name} (${index}) — ${entry.description}${mutabilityNote}`;
-    }
-    return `Non-Service permission (${index}) — verify against host object's index range`;
-}
+import{MAX_SALE_COUNT,MAX_REPOSITORY_COUNT,MAX_ARBITRATION_COUNT,MAX_DISCOUNT_COUNT_ONCE,MAX_DISCOUNT_TOTAL_COUNT,MAX_WIP_LENGTH,MAX_WIP_HASH_LENGTH}from'@wowok/wowok';import{isServicePermission,getServicePermissionByIndex}from'./service-ledger.js';export const SEMANTIC_TO_SCHEMA_RULES=[{'id':'P-S-01','pattern_name':'Create\x20new\x20Service','semantic_intent':'Create\x20a\x20new\x20Service<T>\x20with\x20owner,\x20permission,\x20description,\x20coin\x20type','match_keywords':['create','new','open'],'schema_fields':['object(null)','description','permission','owner','coin_type'],'example_json':{'object':null,'description':'My\x20retail\x20shop','permission':'0xPERMISSION_ADDRESS'},'reverse_explanation':'object=null\x20indicates\x20creation;\x20permission\x20must\x20be\x20a\x20valid\x20Permission\x20object\x20owned\x20by\x20signer'},{'id':'P-S-02','pattern_name':'Modify\x20description\x20/\x20location\x20/\x20customer_required','semantic_intent':'Update\x20Service\x20metadata\x20fields\x20(mutable\x20pre\x20and\x20post\x20publish)','match_keywords':['describe','locate','customer_required','update','modify'],'schema_fields':['object','description','location','customer_required'],'example_json':{'object':'0xSERVICE_ADDRESS','description':'Updated\x20description','location':'Shanghai','customer_required':['name','phone']},'reverse_explanation':'These\x20fields\x20are\x20always\x20mutable.\x20customer_required\x20is\x20a\x20string[]\x20of\x20field\x20names\x20buyers\x20must\x20provide\x20at\x20order\x20time.'},{'id':'P-S-03','pattern_name':'Manage\x20sales\x20items\x20(add/set/remove/clear)','semantic_intent':'Add\x20product\x20SKUs,\x20update\x20prices/stock,\x20remove\x20deprecated\x20items,\x20or\x20clear\x20all','match_keywords':['sales','product','sku','inventory','price'],'schema_fields':['object','sales'],'example_json':{'object':'0xSERVICE_ADDRESS','sales':{'op':'add','sales':[{'name':'standard','price':'1000000000','stock':0x64,'wip':'https://ipfs/wip','wip_hash':'abcd...64'}]}},'reverse_explanation':'sales.op=add\x20appends;\x20set\x20replaces\x20matching\x20name;\x20remove\x20deletes\x20by\x20name;\x20clear\x20empties\x20all.\x20wip_hash\x20is\x20REQUIRED\x20for\x20tamper\x20protection.'},{'id':'P-S-04','pattern_name':'Bind/unbind\x20Machine\x20workflow','semantic_intent':'Bind\x20a\x20Machine\x20workflow\x20template\x20to\x20Service\x20(post-publish\x20immutable)','match_keywords':['machine','workflow','bind\x20machine'],'schema_fields':['object','machine'],'example_json':{'object':'0xSERVICE_ADDRESS','machine':'0xMACHINE_ADDRESS'},'reverse_explanation':'machine=<address>\x20binds;\x20machine=null\x20unbinds\x20(pre-publish\x20only).\x20Once\x20published,\x20machine\x20is\x20immutable\x20(F-S-20).\x20Progress\x20inherits\x20this\x20binding.'},{'id':'P-S-05','pattern_name':'Set/clear\x20buy\x20Guard','semantic_intent':'Set\x20buyer\x20eligibility\x20Guard\x20(KYC/whitelist)\x20or\x20clear\x20it','match_keywords':['buy_guard','kyc','whitelist'],'schema_fields':['object','buy_guard'],'example_json':{'object':'0xSERVICE_ADDRESS','buy_guard':'0xGUARD_ADDRESS'},'reverse_explanation':'buy_guard\x20is\x20the\x20ONLY\x20field\x20still\x20mutable\x20post-publish\x20(F-S-26\x20exception).\x20Pre-sale:\x20set\x20to\x20whitelist;\x20public\x20sale:\x20set\x20to\x20null.'},{'id':'P-S-06','pattern_name':'Manage\x20arbitrations\x20(add/remove/clear)','semantic_intent':'Bind\x20Arbitration\x20objects\x20for\x20dispute\x20handling\x20(post-publish\x20immutable)','match_keywords':['arbitration','arbitrator','dispute'],'schema_fields':['object','arbitrations'],'example_json':{'object':'0xSERVICE_ADDRESS','arbitrations':{'op':'add','objects':['0xARB_ADDRESS']}},'reverse_explanation':'Required\x20when\x20compensation_fund\x20>\x200\x20(F-S-19).\x20Post-publish\x20immutable\x20(F-S-21).\x20Use\x201-3\x20Arbitration\x20objects\x20covering\x20different\x20scopes.'},{'id':'P-S-07','pattern_name':'Manage\x20repositories\x20(add/remove/clear)','semantic_intent':'Bind\x20Repository\x20objects\x20(data\x20stores)\x20—\x20mutable\x20post-publish','match_keywords':['repository','data\x20store','storage','data\x20source'],'schema_fields':['object','repositories'],'example_json':{'object':'0xSERVICE_ADDRESS','repositories':{'op':'add','objects':['0xREPO_ADDRESS']}},'reverse_explanation':'Mutable\x20post-publish.\x20SDK\x20validates\x20ObjectType.Repository\x20via\x20queryObjectsWithType.\x20Max\x20100\x20(MAX_REPOSITORY_COUNT).'},{'id':'P-S-08','pattern_name':'Manage\x20rewards\x20(add/remove/clear)','semantic_intent':'Bind\x20Reward\x20objects\x20for\x20marketing\x20incentives\x20(locked\x20by\x20setting_lock_duration)','match_keywords':['reward','incentive','marketing'],'schema_fields':['object','rewards'],'example_json':{'object':'0xSERVICE_ADDRESS','rewards':{'op':'add','objects':['0xREWARD_ADDRESS']}},'reverse_explanation':'Mutable\x20but\x20locked\x20by\x20setting_lock_duration\x20(F-S-24).\x20Cannot\x20be\x20removed\x20until\x20lock\x20expires.\x20Max\x2020\x20(MAX_REWARD_COUNT).'},{'id':'P-S-09','pattern_name':'Set\x20order_allocators','semantic_intent':'Configure\x20fund\x20distribution\x20strategy\x20(publish\x20prerequisite,\x20post-publish\x20immutable)','match_keywords':['allocator','order_allocators'],'schema_fields':['object','order_allocators'],'example_json':{'object':'0xSERVICE_ADDRESS','order_allocators':[{'threshold':'0','sharing':[{'who':{'Object':'0xOWNER'},'weight':0x50},{'who':{'Object':'0xPLATFORM'},'weight':0x14}]}]},'reverse_explanation':'MANDATORY\x20before\x20publish\x20(F-S-18,\x20E_NO_ALLOCATOR).\x20First-match-wins:\x20first\x20allocator\x20whose\x20threshold\x20<=\x20order\x20value\x20handles\x20distribution.\x20Post-publish\x20immutable\x20(F-S-22).'},{'id':'P-S-10','pattern_name':'Pause/resume\x20Service','semantic_intent':'Block\x20new\x20orders\x20(pause)\x20or\x20resume\x20accepting\x20orders','match_keywords':['pause','resume'],'schema_fields':['object','pause'],'example_json':{'object':'0xSERVICE_ADDRESS','pause':!![]},'reverse_explanation':'pause=true\x20blocks\x20new\x20orders\x20(E_SERVICE_PAUSED);\x20pause=false\x20resumes.\x20Existing\x20Progress\x20continues\x20normally.\x20compensation_fund_withdraw\x20requires\x20paused=true.'},{'id':'P-S-11','pattern_name':'Publish\x20Service\x20(IRREVERSIBLE)','semantic_intent':'Publish\x20Service\x20—\x20makes\x20it\x20buyable.\x20One-shot,\x20cannot\x20revert.','match_keywords':['publish','go\x20live','release'],'schema_fields':['object','publish'],'example_json':{'object':'0xSERVICE_ADDRESS','publish':!![]},'reverse_explanation':'⚠️\x20IRREVERSIBLE.\x20Requires\x20SERVICE_PUBLISH\x20(311)\x20permission.\x20Prerequisites:\x20order_allocators\x20set;\x20if\x20compensation_fund\x20>\x200,\x20arbitrations\x20non-empty.\x20Locks\x20machine/arbitrations/order_allocators\x20forever.'},{'id':'P-S-12','pattern_name':'Issue/destroy\x20discount\x20coupons','semantic_intent':'Issue\x20promotional\x20discount\x20coupons\x20or\x20destroy\x20(redeem)\x20them','match_keywords':['discount','coupon'],'schema_fields':['object','discount'],'example_json':{'object':'0xSERVICE_ADDRESS','discount':{'name':'SUMMER10','discount_type':0x0,'data':0x3e8,'count':0x64,'receivers':['0xUSER1','0xUSER2'],'expire_at':0x1941f297c00}},'reverse_explanation':'discount_type=0\x20rates\x20(basis\x20points,\x20per\x2010000),\x201=minus\x20(direct\x20deduction).\x20Max\x201000\x20per\x20call\x20(MAX_DISCOUNT_COUNT_ONCE),\x2020000\x20total\x20(MAX_DISCOUNT_TOTAL_COUNT).\x20discount_destroy\x20is\x20holder-only.'},{'id':'P-S-13','pattern_name':'Compensation\x20fund\x20operations\x20(add/withdraw/receive)','semantic_intent':'Deposit\x20to\x20compensation_fund,\x20withdraw\x20(locked),\x20or\x20receive\x20(locked)','match_keywords':['compensation_fund','compensation','deposit','withdraw'],'schema_fields':['object','compensation_fund_add','compensation_fund_withdraw','compensation_fund_receive'],'example_json':{'object':'0xSERVICE_ADDRESS','compensation_fund_add':{'balance':'1000000000'}},'reverse_explanation':'add=always\x20mutable;\x20withdraw/receive\x20locked\x20by\x20setting_lock_duration\x20AND\x20requires\x20bPaused=true.\x20Internal\x20Balance<T>,\x20distinct\x20from\x20Treasury.'},{'id':'P-S-14','pattern_name':'Extend\x20setting_lock_duration','semantic_intent':'Add\x20milliseconds\x20to\x20setting_lock_duration\x20(only-increase\x20mechanism)','match_keywords':['setting_lock_duration','lock_duration','lock\x20period','extend\x20lock'],'schema_fields':['object','setting_lock_duration_add'],'example_json':{'object':'0xSERVICE_ADDRESS','setting_lock_duration_add':0x9a7ec800},'reverse_explanation':'Only-increase\x20(safe_add).\x20Default\x202592000000ms\x20(30\x20days).\x20Affects\x20rewards/compensation_fund_withdraw/compensation_fund_receive\x20mutability\x20windows.'},{'id':'P-S-15','pattern_name':'Buy\x20(8-stage\x20composite\x20order\x20flow)','semantic_intent':'Customer\x20places\x20order\x20—\x20atomic\x20creation\x20of\x20Order\x20+\x20Allocation\x20+\x20Progress','match_keywords':['buy','order','purchase'],'schema_fields':['object','order_new'],'example_json':{'object':'0xSERVICE_ADDRESS','order_new':{'buy':{'items':[{'name':'standard','wip_hash':'abcd...64','count':0x1}],'discount':'0xDISCOUNT_ADDRESS','total_pay':'1000000000','passport':null},'order_required_info':{'name':'Alice','phone':'+86...'},'agents':['0xAGENT1'],'transfer':null}},'reverse_explanation':'8\x20stages:\x20pre_check\x20→\x20wip_verify\x20→\x20quote\x20(deducts\x20stock!)\x20→\x20create_order\x20→\x20create_allocation\x20→\x20create_progress\x20→\x20post_actions\x20→\x20return_result.\x20Stock\x20deduction\x20is\x20NOT\x20rolled\x20back\x20on\x20later\x20failure.'},{'id':'P-S-16','pattern_name':'Transfer\x20ownership\x20(IRREVERSIBLE)','semantic_intent':'Transfer\x20Service\x20ownership\x20to\x20a\x20new\x20address','match_keywords':['transfer','handover'],'schema_fields':['object','builder'],'example_json':{'object':'0xSERVICE_ADDRESS','builder':'0xNEW_OWNER'},'reverse_explanation':'⚠️\x20IRREVERSIBLE.\x20Original\x20owner\x20loses\x20ALL\x20control.\x20New\x20owner\x20inherits\x20permission,\x20compensation_fund,\x20all\x20bindings.\x20Export\x20JSON\x20before\x20transfer.'}];export const SCHEMA_TO_SEMANTIC_RULES=[{'element_type':'field','type_name':'object','semantic_explanation':'Service\x20object\x20address.\x20STRING=operate\x20existing;\x20null/omitted=create\x20new'},{'element_type':'field','type_name':'description','semantic_explanation':'Human-readable\x20Service\x20description.\x20Mutable\x20pre/post\x20publish.\x20Max\x204000\x20chars.'},{'element_type':'field','type_name':'location','semantic_explanation':'Geographic\x20location\x20of\x20the\x20service\x20(city/region).\x20Mutable.\x20Index\x20303\x20(SERVICE_LOCATION).'},{'element_type':'field','type_name':'customer_required','semantic_explanation':'String[]\x20of\x20field\x20names\x20buyers\x20must\x20provide\x20at\x20order\x20time\x20(e.g.\x20[\x27name\x27,\x27phone\x27]).\x20Mutable.\x20Index\x20309.'},{'element_type':'field','type_name':'sales','semantic_explanation':'Product\x20SKU\x20list.\x20op=add/set/remove/clear.\x20Each\x20sale\x20has\x20name/price/stock/wip/wip_hash.\x20Index\x20305\x20(SERVICE_SALES).'},{'element_type':'field','type_name':'machine','semantic_explanation':'Machine\x20workflow\x20template\x20binding.\x20⚠️\x20IMMUTABLE\x20post-publish\x20(F-S-20).\x20Index\x20306\x20(SERVICE_MACHINE).'},{'element_type':'field','type_name':'buy_guard','semantic_explanation':'Buyer\x20eligibility\x20Guard.\x20⚠️\x20UNUSUAL:\x20still\x20mutable\x20post-publish\x20(F-S-26\x20exception).\x20Index\x20307\x20(SERVICE_BUY_GUARD).'},{'element_type':'field','type_name':'arbitrations','semantic_explanation':'Arbitration\x20object\x20list.\x20Required\x20if\x20compensation_fund\x20>\x200.\x20⚠️\x20IMMUTABLE\x20post-publish\x20(F-S-21).\x20Index\x20308.'},{'element_type':'field','type_name':'repositories','semantic_explanation':'Repository\x20object\x20list.\x20Mutable.\x20Max\x20100\x20(MAX_REPOSITORY_COUNT).\x20Index\x20304\x20(SERVICE_REPOSITORY).'},{'element_type':'field','type_name':'rewards','semantic_explanation':'Reward\x20object\x20list.\x20Mutable\x20but\x20locked\x20by\x20setting_lock_duration\x20(F-S-24).\x20Max\x2020\x20(MAX_REWARD_COUNT).\x20Index\x20318.'},{'element_type':'field','type_name':'order_allocators','semantic_explanation':'Fund\x20distribution\x20strategy.\x20⚠️\x20MANDATORY\x20for\x20publish\x20(F-S-18).\x20IMMUTABLE\x20post-publish\x20(F-S-22).\x20Index\x20313.'},{'element_type':'field','type_name':'discount','semantic_explanation':'Discount\x20coupon\x20issuance.\x20discount_type=0\x20rates,\x201=minus.\x20Index\x20312\x20(SERVICE_DISCOUNT).'},{'element_type':'field','type_name':'pause','semantic_explanation':'true=pause\x20(block\x20new\x20orders);\x20false=resume.\x20Existing\x20Progress\x20unaffected.\x20Index\x20310\x20(SERVICE_PAUSE).'},{'element_type':'field','type_name':'publish','semantic_explanation':'⚠️\x20IRREVERSIBLE\x20one-shot.\x20Requires\x20prerequisites.\x20Locks\x203\x20fields\x20forever.\x20Index\x20311\x20(SERVICE_PUBLISH).'},{'element_type':'field','type_name':'compensation_fund_add','semantic_explanation':'Deposit\x20to\x20internal\x20Balance<T>.\x20Always\x20mutable.\x20Index\x20315.\x20Distinct\x20from\x20Treasury.'},{'element_type':'field','type_name':'compensation_fund_withdraw','semantic_explanation':'Withdraw\x20from\x20internal\x20Balance<T>.\x20Requires\x20bPaused=true\x20+\x20lock_duration\x20expired.\x20Index\x20314.\x20Locked\x20by\x20duration\x20(F-S-25).'},{'element_type':'field','type_name':'compensation_fund_receive','semantic_explanation':'Receive\x20compensation_fund\x20(for\x20arbitration\x20payouts).\x20Locked\x20by\x20setting_lock_duration.\x20Index\x20316.'},{'element_type':'field','type_name':'setting_lock_duration_add','semantic_explanation':'Extend\x20setting_lock_duration\x20(only-increase,\x20safe_add).\x20Index\x20317\x20(SERVICE_COMPENSATION_LOCK_DURATION_ADD).'},{'element_type':'field','type_name':'order_new','semantic_explanation':'Composite\x20buy\x20operation.\x20Triggers\x208-stage\x20flow:\x20pre_check\x20→\x20wip_verify\x20→\x20quote\x20→\x20create_order/allocation/progress\x20→\x20post_actions\x20→\x20return_result.'},{'element_type':'field','type_name':'builder','semantic_explanation':'Transfer\x20ownership.\x20⚠️\x20IRREVERSIBLE.\x20Original\x20owner\x20loses\x20ALL\x20control.'},{'element_type':'field','type_name':'um','semantic_explanation':'User\x20Manager\x20(Contact\x20object).\x20Mutable.\x20Index\x20320\x20(SERVICE_UM).'},{'element_type':'field','type_name':'owner_receive','semantic_explanation':'Receive\x20Payment/objects\x20to\x20owner.\x20Index\x20319\x20(SERVICE_OWNER_RECEIVE).'},{'element_type':'op','type_name':'add','semantic_explanation':'Append\x20new\x20items\x20(sales/arbitrations/repositories/rewards).\x20Additive,\x20does\x20not\x20replace.'},{'element_type':'op','type_name':'set','semantic_explanation':'Replace\x20existing\x20item\x20by\x20name\x20(sales)\x20or\x20replace\x20entire\x20list\x20(repositories/rewards/arbitrations).'},{'element_type':'op','type_name':'remove','semantic_explanation':'Remove\x20specific\x20items\x20by\x20name\x20(sales)\x20or\x20address\x20(repositories/rewards/arbitrations).'},{'element_type':'op','type_name':'clear','semantic_explanation':'Remove\x20all\x20items\x20from\x20the\x20list.'}];export const SERVICE_CONSTRAINT_RULES=[{'id':'MC-S-01','category':'structural','rule':'Service\x20builtin\x20permission\x20indexes\x20must\x20be\x20in\x20range\x20300-320\x20(302\x20reserved/commented)','applies_to':['permission\x20table.index\x20(when\x20applied\x20to\x20Service)']},{'id':'MC-S-02','category':'structural','rule':'sales\x20count\x20<=\x20MAX_SALE_COUNT\x20('+MAX_SALE_COUNT+')','applies_to':['sales.sales']},{'id':'MC-S-03','category':'structural','rule':'repositories\x20count\x20<=\x20MAX_REPOSITORY_COUNT\x20('+MAX_REPOSITORY_COUNT+')','applies_to':['repositories.objects']},{'id':'MC-S-04','category':'structural','rule':'arbitrations\x20count\x20<=\x20MAX_ARBITRATION_COUNT\x20('+MAX_ARBITRATION_COUNT+')','applies_to':['arbitrations.objects']},{'id':'MC-S-05','category':'structural','rule':'rewards\x20count\x20<=\x20MAX_REWARD_COUNT\x20(20)','applies_to':['rewards.objects']},{'id':'MC-S-06','category':'structural','rule':'customer_required\x20count\x20<=\x2010,\x20each\x20item\x20length\x20<=\x2020','applies_to':['customer_required']},{'id':'MC-S-07','category':'structural','rule':'wip\x20URL\x20length\x20<=\x20MAX_WIP_LENGTH\x20('+MAX_WIP_LENGTH+')','applies_to':['sales.sales[].wip']},{'id':'MC-S-08','category':'structural','rule':'wip_hash\x20length\x20<=\x20MAX_WIP_HASH_LENGTH\x20('+MAX_WIP_HASH_LENGTH+')\x20—\x20sha256\x20hex\x20(64\x20chars,\x20no\x20prefix)','applies_to':['sales.sales[].wip_hash','order_new.buy.items[].wip_hash']},{'id':'MC-S-09','category':'semantic','rule':'wip_hash\x20must\x20NOT\x20be\x20empty\x20when\x20wip\x20URL\x20is\x20set\x20(tamper\x20protection)','applies_to':['sales.sales[]']},{'id':'MC-S-10','category':'authority','rule':'publish\x20requires\x20order_allocators\x20set\x20(F-S-18,\x20E_NO_ALLOCATOR)','applies_to':['publish','order_allocators']},{'id':'MC-S-11','category':'authority','rule':'publish\x20with\x20compensation_fund\x20>\x200\x20requires\x20arbitrations\x20non-empty\x20(F-S-19,\x20E_ARBITRATION_NOT_SET_WITH_COMPENSATION_FUND)','applies_to':['publish','arbitrations','compensation_fund_add']},{'id':'MC-S-12','category':'lifecycle','rule':'machine\x20IMMUTABLE\x20post-publish\x20(F-S-20)\x20—\x20SDK\x20checkNotPublished()\x20blocks','applies_to':['machine']},{'id':'MC-S-13','category':'lifecycle','rule':'arbitrations\x20IMMUTABLE\x20post-publish\x20(F-S-21)\x20—\x20SDK\x20checkNotPublished()\x20blocks','applies_to':['arbitrations']},{'id':'MC-S-14','category':'lifecycle','rule':'order_allocators\x20IMMUTABLE\x20post-publish\x20(F-S-22)\x20—\x20SDK\x20checkNotPublished()\x20blocks','applies_to':['order_allocators']},{'id':'MC-S-15','category':'lifecycle','rule':'bPublished\x20is\x20IRREVERSIBLE\x20(one-shot,\x20cannot\x20revert\x20to\x20false)\x20—\x20to\x20\x27reset\x27,\x20create\x20new\x20Service','applies_to':['publish']},{'id':'MC-S-16','category':'lifecycle','rule':'setting_lock_duration\x20only-increase\x20(safe_add)\x20—\x20cannot\x20be\x20decreased;\x20protects\x20customers','applies_to':['setting_lock_duration_add']},{'id':'MC-S-17','category':'lifecycle','rule':'compensation_fund_withdraw\x20requires\x20bPaused=true\x20AND\x20setting_lock_duration\x20expired\x20(F-S-25,\x20F-S-26)','applies_to':['compensation_fund_withdraw','pause']},{'id':'MC-S-18','category':'semantic','rule':'discount\x20count\x20<=\x20MAX_DISCOUNT_TOTAL_COUNT\x20('+MAX_DISCOUNT_TOTAL_COUNT+');\x20per-call\x20<=\x20MAX_DISCOUNT_COUNT_ONCE\x20('+MAX_DISCOUNT_COUNT_ONCE+')','applies_to':['discount.count']},{'id':'MC-S-19','category':'semantic','rule':'buy_guard\x20is\x20the\x20ONLY\x20field\x20still\x20mutable\x20post-publish\x20(F-S-26\x20exception)\x20—\x20all\x20other\x20guarded\x20fields\x20are\x20immutable','applies_to':['buy_guard']},{'id':'MC-S-20','category':'authority','rule':'Ownership\x20transfer\x20(builder)\x20is\x20IRREVERSIBLE\x20—\x20new\x20owner\x20inherits\x20permission\x20+\x20compensation_fund\x20+\x20all\x20bindings','applies_to':['builder']}];export const SERVICE_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 explainServiceCallData(b){const c=[];b['object']===null||b['object']===undefined?c['push']('Operation:\x20CREATE\x20new\x20Service'):c['push']('Operation:\x20MODIFY\x20existing\x20Service\x20at\x20'+b['object']);if(b['description'])c['push']('-\x20Set\x20description:\x20\x22'+b['description']+'\x22');if(b['location'])c['push']('-\x20Set\x20location:\x20'+b['location']);if(b['customer_required'])c['push']('-\x20Customer\x20required\x20fields:\x20['+b['customer_required']['join'](',\x20')+']');if(b['sales']){const e=b['sales'];if(e['op']==='clear')c['push']('-\x20Sales:\x20CLEAR\x20all\x20items');else{if(e['op']==='remove')c['push']('-\x20Sales\x20REMOVE:\x20['+e['sales_name']['join'](',\x20')+']');else{c['push']('-\x20Sales\x20'+e['op']['toUpperCase']()+':\x20'+e['sales']['length']+'\x20item(s)');for(const f of e['sales']){const g=f['wip_hash']?'\x20hash='+f['wip_hash']['slice'](0x0,0x8)+'...':'\x20⚠️NO_HASH';c['push']('\x20\x20\x20\x20•\x20'+f['name']+'\x20price='+(f['price']??'?')+'\x20stock='+(f['stock']??'?')+g);}}}}b['machine']!==undefined&&c['push'](b['machine']===null?'-\x20Machine:\x20unbind\x20(pre-publish\x20only)':'-\x20Machine:\x20bind\x20'+b['machine']);b['buy_guard']!==undefined&&c['push'](b['buy_guard']===null?'-\x20Buy\x20Guard:\x20clear':'-\x20Buy\x20Guard:\x20set\x20'+b['buy_guard']+'\x20[mutable\x20post-publish]');if(b['arbitrations']){const h=b['arbitrations'];h['op']==='clear'?c['push']('-\x20Arbitrations:\x20CLEAR\x20(pre-publish\x20only)'):c['push']('-\x20Arbitrations\x20'+h['op']['toUpperCase']()+':\x20'+h['objects']['length']+'\x20object(s)');}if(b['repositories']){const i=b['repositories'];i['op']==='clear'?c['push']('-\x20Repositories:\x20CLEAR'):c['push']('-\x20Repositories\x20'+i['op']['toUpperCase']()+':\x20'+i['objects']['length']+'\x20object(s)');}if(b['rewards']){const j=b['rewards'];j['op']==='clear'?c['push']('-\x20Rewards:\x20CLEAR\x20(locked\x20by\x20duration)'):c['push']('-\x20Rewards\x20'+j['op']['toUpperCase']()+':\x20'+j['objects']['length']+'\x20object(s)\x20[locked\x20by\x20duration]');}b['order_allocators']!==undefined&&c['push']('-\x20Order\x20Allocators:\x20'+(b['order_allocators']?'configured':'(clear)')+'\x20[immutable\x20post-publish]');if(b['discount']){const k=b['discount'],l=k['discount_type']===0x0?'rates\x20(basis\x20points,\x20per\x2010000)':'minus\x20(direct\x20deduction)';c['push']('-\x20Discount:\x20'+k['name']+'\x20type='+l+'\x20data='+k['data']+'\x20count='+k['count']);}b['pause']!==undefined&&c['push']('-\x20Pause:\x20'+(b['pause']?'PAUSE\x20(block\x20new\x20orders)':'RESUME'));b['publish']&&c['push']('-\x20⚠️\x20PUBLISH\x20(IRREVERSIBLE\x20—\x20locks\x20machine/arbitrations/order_allocators\x20forever)');b['compensation_fund_add']&&c['push']('-\x20Compensation\x20fund\x20deposit:\x20'+b['compensation_fund_add']['balance']+'\x20(internal\x20Balance<T>)');b['compensation_fund_withdraw']&&c['push']('-\x20⚠️\x20Compensation\x20fund\x20withdraw\x20(requires\x20bPaused=true\x20+\x20lock_duration\x20expired)');b['compensation_fund_receive']&&c['push']('-\x20Compensation\x20fund\x20receive\x20(locked\x20by\x20duration)');b['setting_lock_duration_add']!==undefined&&c['push']('-\x20Setting\x20lock\x20duration\x20+'+b['setting_lock_duration_add']+'ms\x20(only-increase)');if(b['order_new']){const m=b['order_new'];c['push']('-\x20⚠️\x20ORDER\x20NEW\x20(8-stage\x20composite\x20flow):'),c['push']('\x20\x20\x20\x20Items:\x20'+m['buy']['items']['length']),c['push']('\x20\x20\x20\x20Total\x20pay:\x20'+m['buy']['total_pay']);if(m['buy']['discount'])c['push']('\x20\x20\x20\x20Discount:\x20'+m['buy']['discount']);c['push']('\x20\x20\x20\x20Stages:\x20pre_check\x20→\x20wip_verify\x20→\x20quote\x20(deducts\x20stock!)\x20→\x20create_order/allocation/progress\x20→\x20return');}return b['builder']&&c['push']('-\x20⚠️\x20TRANSFER\x20ownership\x20to\x20'+b['builder']+'\x20(IRREVERSIBLE)'),b['um']!==undefined&&c['push'](b['um']===null?'-\x20UM:\x20revoke':'-\x20UM:\x20set\x20to\x20'+b['um']),b['owner_receive']&&c['push']('-\x20Owner\x20receive:\x20receive\x20Payment/objects\x20to\x20owner'),c['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 getConstraintsByCategory(a){return SERVICE_CONSTRAINT_RULES['filter'](b=>b['category']===a);}export function explainServicePermissionIndex(a){if(isServicePermission(a)){const b=getServicePermissionByIndex(a);if(!b)return'Unknown\x20Service\x20permission\x20('+a+')';const c=b['post_publish_mutability']==='immutable'?'\x20[IMMUTABLE\x20post-publish]':b['post_publish_mutability']==='one_shot'?'\x20[ONE-SHOT,\x20irreversible]':b['post_publish_mutability']==='locked_by_duration'?'\x20[locked\x20by\x20setting_lock_duration]':'';return b['name']+'\x20('+a+')\x20—\x20'+b['description']+c;}return'Non-Service\x20permission\x20('+a+')\x20—\x20verify\x20against\x20host\x20object\x27s\x20index\x20range';}