@wowok/agent-mcp 2.7.1 → 2.7.2

package/dist/knowledge/order-translation.js

@@ -1,550 +1 @@
-import { MAX_AGENT_COUNT, MAX_DISPUTE_COUNT, } from "@wowok/wowok";
-import { ORDER_SCENES, inferSceneFromIntent, } from "./order-ledger.js";
-export const SEMANTIC_TO_SCHEMA_RULES = [
-    {
-        id: "P-O-01",
-        pattern_name: "Create Order via service::buy (compound creation)",
-        semantic_intent: "Buy items from a Service — atomically creates Order + Allocation + Progress, snapshots service.machine, emits NewOrderEvent",
-        match_keywords: ["buy", "purchase", "order"],
-        schema_fields: ["(via service::buy, not direct order::create)"],
-        example_json: {
-            _note: "Order is NOT created via CallOrder_Data. It is created via service::buy() which internally calls order::new + order::create.",
-            _call_target: "service",
-            object: "0xSERVICE_ADDRESS",
-            buy: {
-                items: [{ name: "Product A", price: "1000000000", quantity: 1, wip_hash: "0xABC..." }],
-                discount: null,
-                named_order: "my_order_alias",
-                machine_forward: null,
-            },
-        },
-        reverse_explanation: "Order creation is composite — service::buy atomically builds Order + Allocation + Progress + emits NewOrderEvent. order::create is package-only.",
-        operation_field: "object",
-        permission_layer: "L3_package_only",
-    },
-    {
-        id: "P-O-02",
-        pattern_name: "Advance Progress (forward/hold)",
-        semantic_intent: "Advance Order's Progress to next node via forward or hold",
-        match_keywords: ["advance", "forward", "progress", "next"],
-        schema_fields: ["object", "progress"],
-        example_json: {
-            object: "0xORDER_ADDRESS",
-            progress: {
-                next_node_name: "shipped",
-                forward: { name: "deliver", operator: null, guard: null },
-                op: "next",
-                message: "Order dispatched",
-            },
-        },
-        reverse_explanation: "progress.forward triggers Progress::operate → order.progress node transition. Both owner and agent can advance (L2).",
-        operation_field: "progress",
-        permission_layer: "L2_owner_or_agent",
-    },
-    {
-        id: "P-O-03",
-        pattern_name: "Set agent list (owner-only, pre-progress)",
-        semantic_intent: "Replace the entire agent list. Frozen after Progress binding.",
-        match_keywords: ["set agent", "agent", "delegate"],
-        schema_fields: ["object", "agent"],
-        example_json: {
-            object: "0xORDER_ADDRESS",
-            agent: ["0xAGENT1", "0xAGENT2"],
-        },
-        reverse_explanation: "agent field overwrites entire agent list. Owner-only (L1). Aborts E_PROGRESS_NOT_SPECIFIED if Progress already bound. ⚠️ Boundary bug: actual max 11 (not 10).",
-        operation_field: "agent",
-        permission_layer: "L1_owner_only",
-    },
-    {
-        id: "P-O-04",
-        pattern_name: "Set required_info (Contact or WTS Proof)",
-        semantic_intent: "Update recipient contact or delivery proof. Both owner and agent can update.",
-        match_keywords: ["required_info", "recipient", "contact", "wts proof"],
-        schema_fields: ["object", "required_info"],
-        example_json: {
-            object: "0xORDER_ADDRESS",
-            required_info: "0xCONTACT_ADDRESS",
-        },
-        reverse_explanation: "required_info accepts Contact object (recipient) or WTS Proof object (delivery proof). null clears. L2 (owner or agent).",
-        operation_field: "required_info",
-        permission_layer: "L2_owner_or_agent",
-    },
-    {
-        id: "P-O-05",
-        pattern_name: "Apply for arbitration (arb_confirm)",
-        semantic_intent: "File arbitration with confirm/deny + description + proposition. Triggers dispute() appending Arb to order.dispute.",
-        match_keywords: ["arb_confirm", "apply arbitration", "file dispute", "compensation"],
-        schema_fields: ["object", "arb_confirm"],
-        example_json: {
-            object: "0xORDER_ADDRESS",
-            arb_confirm: {
-                arb: "0xARB_ADDRESS",
-                confirm: true,
-                description: "Item never arrived",
-                proposition: ["Refund full amount", "Compensation for delay"],
-            },
-        },
-        reverse_explanation: "arb_confirm triggers arb::principal_confirm + arb::description_change + arb::proposition_change, and Arb module calls order::dispute(arb) to append. L2.",
-        operation_field: "arb_confirm",
-        permission_layer: "L2_owner_or_agent",
-    },
-    {
-        id: "P-O-06",
-        pattern_name: "Object to arbitration (arb_objection)",
-        semantic_intent: "Object to Arb ruling and request re-arbitration",
-        match_keywords: ["arb_objection", "object", "appeal"],
-        schema_fields: ["object", "arb_objection"],
-        example_json: {
-            object: "0xORDER_ADDRESS",
-            arb_objection: {
-                arb: "0xARB_ADDRESS",
-                objection: "Evidence was not properly reviewed",
-            },
-        },
-        reverse_explanation: "arb_objection triggers arb::objection. Requires Arb status = Arbitrated. L2 (owner or agent). Irreversible.",
-        operation_field: "arb_objection",
-        permission_layer: "L2_owner_or_agent",
-    },
-    {
-        id: "P-O-07",
-        pattern_name: "Claim compensation (arb_claim_compensation)",
-        semantic_intent: "Claim compensation from a ruled Arb. Sets claimed_by — ONE-TIME, IRREVERSIBLE, blocks future disputes.",
-        match_keywords: ["arb_claim_compensation", "claim", "compensation"],
-        schema_fields: ["object", "arb_claim_compensation"],
-        example_json: {
-            object: "0xORDER_ADDRESS",
-            arb_claim_compensation: {
-                arb: "0xRULED_ARB_ADDRESS",
-            },
-        },
-        reverse_explanation: "arb_claim_compensation triggers service::compensation_claim → order::compensate(arb) → sets claimed_by=arb. IRREVERSIBLE. L2.",
-        operation_field: "arb_claim_compensation",
-        permission_layer: "L2_owner_or_agent",
-    },
-    {
-        id: "P-O-08",
-        pattern_name: "Receive payment/objects (owner-only)",
-        semantic_intent: "Receive CoinWrapper or arbitrary Receiving<K> from Progress. Funds forwarded to owner.",
-        match_keywords: ["receive", "collect", "extract"],
-        schema_fields: ["object", "receive"],
-        example_json: {
-            object: "0xORDER_ADDRESS",
-            receive: {
-                received: "0xRECEIVING_OBJECT_ID",
-            },
-        },
-        reverse_explanation: "receive calls order::owner_receive or owner_receive_object. Owner-only (L1) — agent CANNOT receive. Aborts E_ORDER_DELIVERING if Progress not at terminal.",
-        operation_field: "receive",
-        permission_layer: "L1_owner_only",
-    },
-    {
-        id: "P-O-09",
-        pattern_name: "Transfer ownership (transfer_to)",
-        semantic_intent: "Transfer Order ownership to new address. IRREVERSIBLE. New owner takes over ALL permissions.",
-        match_keywords: ["transfer", "transfer_to", "handover"],
-        schema_fields: ["object", "transfer_to"],
-        example_json: {
-            object: "0xORDER_ADDRESS",
-            transfer_to: "0xNEW_OWNER_ADDRESS",
-        },
-        reverse_explanation: "transfer_to calls order::owner_change(new_owner). Owner-only (L1). IRREVERSIBLE. Unlike agent_set, can be called after Progress binding.",
-        operation_field: "transfer_to",
-        permission_layer: "L1_owner_only",
-    },
-    {
-        id: "P-O-10",
-        pattern_name: "Query Order state (read-only)",
-        semantic_intent: "Read Order fields: items, amount, owner/builder, agent, dispute, claimed_by, progress, machine, time",
-        match_keywords: ["query", "read", "check", "status"],
-        schema_fields: ["(read-only via query layer, not CallOrder_Data)"],
-        example_json: {
-            _note: "Query uses the query/object endpoint, not CallOrder_Data",
-            _call_target: "query",
-            object: "0xORDER_ADDRESS",
-            fields: ["items", "amount", "owner", "agent", "dispute", "claimed_by", "progress", "machine"],
-        },
-        reverse_explanation: "Query is read-only — does not modify state. Use to verify state before any L1/L2 operation. SDK ObjectOrder returns all 14 fields.",
-        operation_field: "object",
-    },
-    {
-        id: "P-O-11",
-        pattern_name: "Query Order history (event log)",
-        semantic_intent: "Query Order lifecycle events. ⚠️ Only NewOrderEvent is actually emitted — other events must be INFERRED from field changes.",
-        match_keywords: ["history", "events", "lifecycle", "audit"],
-        schema_fields: ["(read-only via query layer, event filter)"],
-        example_json: {
-            _note: "Only NewOrderEvent is emitted on-chain. Other lifecycle events must be inferred by querying Order field diffs over time.",
-            _call_target: "query",
-            object: "0xORDER_ADDRESS",
-            event_filter: { type: "order::NewOrderEvent" },
-        },
-        reverse_explanation: "Audit weakness: only 1 of 11 lifecycle events is actually emitted. Use status_inference formula from ORDER_AUDIT_FORMULAS to derive state.",
-        operation_field: "object",
-    },
-    {
-        id: "P-O-12",
-        pattern_name: "Monitor Order status changes (polling)",
-        semantic_intent: "Poll Order status to detect: Progress advance, dispute append, claimed_by set, ownership transfer",
-        match_keywords: ["monitor", "poll", "watch", "track"],
-        schema_fields: ["(read-only via query layer, polling)"],
-        example_json: {
-            _note: "Monitor by querying Order at intervals and diffing fields",
-            _call_target: "query",
-            object: "0xORDER_ADDRESS",
-            poll_interval_ms: 5000,
-            watch_fields: ["progress", "dispute", "claimed_by", "owner"],
-        },
-        reverse_explanation: "No push notifications — must poll. Track 4 critical fields: progress (advance), dispute (new arb), claimed_by (terminal), owner (transfer).",
-        operation_field: "object",
-    },
-];
-export const SCHEMA_TO_SEMANTIC_RULES = [
-    {
-        element_type: "field",
-        type_name: "object",
-        semantic_explanation: "Order object address. STRING=operate existing Order. null/omitted is invalid (Order creation goes through service::buy).",
-        constraints: ["Must be valid Order object ID", "Order must exist on-chain"],
-    },
-    {
-        element_type: "field",
-        type_name: "agent",
-        semantic_explanation: "Agent address list (overwrites entire list). Owner-only (L1). Frozen after Progress binding. ⚠️ Boundary bug: actual max 11 (not 10).",
-        constraints: [`<= ${MAX_AGENT_COUNT} agents (doc) / 11 (actual bug)`, "Owner-only", "Frozen after Progress binding"],
-    },
-    {
-        element_type: "field",
-        type_name: "required_info",
-        semantic_explanation: "Contact object (recipient info) or WTS Proof object (delivery proof). null clears. L2 (owner or agent).",
-        constraints: ["Must be Contact or WTS Proof object", "null clears the field"],
-    },
-    {
-        element_type: "field",
-        type_name: "progress",
-        semantic_explanation: "Progress operation object — advance via forward/hold. Both owner and agent can advance. Node transition is irreversible.",
-        constraints: ["Requires Progress binding (order.progress.is_some())", "L2 (owner or agent)", "Node transition irreversible"],
-    },
-    {
-        element_type: "field",
-        type_name: "arb_confirm",
-        semantic_explanation: "Apply for arbitration compensation. Triggers dispute() appending Arb to order.dispute. L2. Irreversible.",
-        constraints: ["Arb must exist", "L2 (owner or agent)", "claimed_by must be None"],
-    },
-    {
-        element_type: "field",
-        type_name: "arb_objection",
-        semantic_explanation: "Object to Arb ruling and request re-arbitration. Requires Arb status = Arbitrated. L2. Irreversible.",
-        constraints: ["Arb must be in Arbitrated state", "L2 (owner or agent)"],
-    },
-    {
-        element_type: "field",
-        type_name: "arb_claim_compensation",
-        semantic_explanation: "Claim compensation from ruled Arb. Sets claimed_by. ONE-TIME, IRREVERSIBLE, blocks future disputes. L2.",
-        constraints: ["Arb must be Arbitrated", "claimed_by must be None", "L2 (owner or agent)", "IRREVERSIBLE"],
-    },
-    {
-        element_type: "field",
-        type_name: "receive",
-        semantic_explanation: "Receive CoinWrapper or arbitrary Receiving<K> from Progress. Funds forwarded to owner. Owner-only (L1) — agent CANNOT.",
-        constraints: ["Owner-only (L1)", "Progress must be at terminal node (not delivering)", "Can be called multiple times"],
-    },
-    {
-        element_type: "field",
-        type_name: "transfer_to",
-        semantic_explanation: "New owner address for ownership transfer. IRREVERSIBLE. New owner takes over ALL permissions. Owner-only (L1).",
-        constraints: ["Owner-only (L1)", "IRREVERSIBLE", "Valid Wow address"],
-    },
-    {
-        element_type: "op",
-        type_name: "forward",
-        semantic_explanation: "Advance Progress to next node via named forward. Triggers Progress::operate.",
-        constraints: ["Forward name must exist on current node", "Guard (if any) must pass"],
-    },
-    {
-        element_type: "op",
-        type_name: "hold",
-        semantic_explanation: "Hold at current Progress node (optional pause).",
-        constraints: ["Node must support hold"],
-    },
-    {
-        element_type: "op",
-        type_name: "confirm",
-        semantic_explanation: "In arb_confirm: true=confirm materials valid, false=deny materials.",
-        constraints: ["Boolean — no other values"],
-    },
-    {
-        element_type: "index",
-        type_name: "dispute_index",
-        semantic_explanation: "Position in order.dispute vector. 0-based. Max 10 disputes total.",
-        constraints: [`<= ${MAX_DISPUTE_COUNT} disputes`, "Frozen when claimed_by.is_some()"],
-    },
-    {
-        element_type: "error",
-        type_name: "E_OWNER (code 1)",
-        semantic_explanation: "Sender != order.owner. L1 operation attempted by non-owner (agent or third party).",
-        constraints: ["Aborts assert_owner"],
-    },
-    {
-        element_type: "error",
-        type_name: "E_PERMISSION (code 5)",
-        semantic_explanation: "Sender is neither owner nor in agent[]. L2 operation attempted by unauthorized caller.",
-        constraints: ["Aborts assert_op_permission (via has_op_permission returning false)"],
-    },
-    {
-        element_type: "error",
-        type_name: "E_PROGRESS_NOT_SPECIFIED (code 3)",
-        semantic_explanation: "⚠️ DUAL SEMANTICS: (a) order::create — machine is Some but progress is None; (b) agent_set/owner_change — progress is already bound (frozen).",
-        constraints: ["Check context to disambiguate", "Same code, opposite meanings"],
-    },
-    {
-        element_type: "error",
-        type_name: "E_ORDER_ALREADY_CLAIMED (code 7)",
-        semantic_explanation: "claimed_by is already Some. Cannot file new disputes, claim again, or call compensate.",
-        constraints: ["IRREVERSIBLE — no way to reset claimed_by"],
-    },
-    {
-        element_type: "error",
-        type_name: "E_MAX_AGENT_COUNT (code 2)",
-        semantic_explanation: "agent list exceeds MAX_AGENT_COUNT (10). ⚠️ Actual boundary uses <= so allows 11 (bug).",
-        constraints: [`Doc limit: ${MAX_AGENT_COUNT}`, "Actual limit: 11 (boundary bug)"],
-    },
-    {
-        element_type: "error",
-        type_name: "E_MAX_DISPUTE_COUNT (code 6)",
-        semantic_explanation: "dispute vector at MAX_DISPUTE_COUNT (10). Next dispute() call aborts.",
-        constraints: [`Max: ${MAX_DISPUTE_COUNT}`],
-    },
-    {
-        element_type: "error",
-        type_name: "E_ALLOCATION_NOT_SPECIFIED (code 8)",
-        semantic_explanation: "order::create with amount > 0 but allocation is None.",
-        constraints: ["If amount > 0, allocation must be set"],
-    },
-    {
-        element_type: "error",
-        type_name: "E_ALLOCATION_ALREADY_SPECIFIED (code 9)",
-        semantic_explanation: "on_allocation called twice. Allocation is one-time set.",
-        constraints: ["One-time only"],
-    },
-    {
-        element_type: "error",
-        type_name: "E_PROGRESS_ALREADY_SPECIFIED (code 10)",
-        semantic_explanation: "on_progress called twice. Progress is one-time set.",
-        constraints: ["One-time only"],
-    },
-];
-export const ORDER_CONSTRAINT_RULES = [
-    {
-        id: "MC-O-01",
-        category: "structural",
-        rule: "Order has 14 fields; SDK uses 'builder' for Move's 'owner' (only naming deviation in 22 objects)",
-        applies_to: ["object.owner", "object.builder"],
-    },
-    {
-        id: "MC-O-02",
-        category: "structural",
-        rule: `agent count <= MAX_AGENT_COUNT (${MAX_AGENT_COUNT}) per docs; ⚠️ actual allows 11 due to <= bug`,
-        applies_to: ["agent"],
-    },
-    {
-        id: "MC-O-03",
-        category: "structural",
-        rule: `dispute count <= MAX_DISPUTE_COUNT (${MAX_DISPUTE_COUNT}); frozen when claimed_by.is_some()`,
-        applies_to: ["dispute"],
-    },
-    {
-        id: "MC-O-04",
-        category: "structural",
-        rule: "Order creation is COMPOSITE via service::buy — order::create is package-only",
-        applies_to: ["(creation flow)"],
-    },
-    {
-        id: "MC-O-05",
-        category: "semantic",
-        rule: "order.machine is a SNAPSHOT copied from service.machine at buy time (not a reference)",
-        applies_to: ["machine"],
-    },
-    {
-        id: "MC-O-06",
-        category: "semantic",
-        rule: "E_PROGRESS_NOT_SPECIFIED has DUAL semantics: (a) create: machine Some + progress None; (b) agent_set/owner_change: progress already bound",
-        applies_to: ["error code 3"],
-    },
-    {
-        id: "MC-O-07",
-        category: "semantic",
-        rule: "Only NewOrderEvent is actually emitted; 10 other lifecycle events must be inferred from field changes",
-        applies_to: ["events"],
-    },
-    {
-        id: "MC-O-08",
-        category: "semantic",
-        rule: "SaleItem.item ↔ PurchasedItem.name (different field names for same concept)",
-        applies_to: ["items.item", "purchased_items.name"],
-    },
-    {
-        id: "MC-O-09",
-        category: "authority",
-        rule: "L1 owner-only operations: receive, transfer_to, owner_change, agent_set (assert_owner)",
-        applies_to: ["receive", "transfer_to", "agent"],
-    },
-    {
-        id: "MC-O-10",
-        category: "authority",
-        rule: "L2 owner-or-agent operations: required_info, progress, arb_confirm, arb_objection, arb_claim_compensation (has_op_permission)",
-        applies_to: ["required_info", "progress", "arb_confirm", "arb_objection", "arb_claim_compensation"],
-    },
-    {
-        id: "MC-O-11",
-        category: "authority",
-        rule: "L3 package-only operations: on_progress, on_allocation, dispute, compensate (no external access)",
-        applies_to: ["(package-only functions)"],
-    },
-    {
-        id: "MC-O-12",
-        category: "authority",
-        rule: "Agent CANNOT receive payments — only owner can call owner_receive / owner_receive_object",
-        applies_to: ["receive"],
-    },
-    {
-        id: "MC-O-13",
-        category: "lifecycle",
-        rule: "Progress binding FREEZES owner and agent — agent_set/owner_change abort E_PROGRESS_NOT_SPECIFIED after binding",
-        applies_to: ["agent", "transfer_to (pre-progress)", "owner_change"],
-    },
-    {
-        id: "MC-O-14",
-        category: "lifecycle",
-        rule: "claimed_by is ONE-TIME, IRREVERSIBLE — blocks future dispute(), compensate(), and arb_claim_compensation",
-        applies_to: ["claimed_by", "arb_claim_compensation", "dispute"],
-    },
-    {
-        id: "MC-O-15",
-        category: "cross_object",
-        rule: "Order + Allocation + Progress are 1:1:1 bound at creation; cannot rebind or detach",
-        applies_to: ["progress", "allocation"],
-    },
-];
-export const ORDER_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 explainOrderCallData(data) {
-    const lines = [];
-    if (!data.object) {
-        lines.push("Operation: ⚠️ INVALID — Order object address required (Order creation goes through service::buy, not CallOrder_Data)");
-        return lines.join("\n");
-    }
-    lines.push(`Operation: MODIFY existing Order at ${data.object}`);
-    if (data.agent) {
-        lines.push(`- ⚠️ Set agent list (${data.agent.length} agent(s)): [${data.agent.join(", ")}]`);
-        lines.push(`  Owner-only (L1). Frozen after Progress binding. Boundary bug allows max 11 (not 10).`);
-    }
-    if (data.required_info !== undefined) {
-        if (data.required_info === null) {
-            lines.push(`- Clear required_info (L2 — owner or agent)`);
-        }
-        else {
-            lines.push(`- Set required_info: ${data.required_info} (Contact or WTS Proof; L2 — owner or agent)`);
-        }
-    }
-    if (data.progress) {
-        const p = data.progress;
-        lines.push(`- Advance Progress (L2 — owner or agent)`);
-        if (p.next_node_name)
-            lines.push(`  Next node: ${p.next_node_name}`);
-        if (p.forward)
-            lines.push(`  Forward: ${p.forward.name}${p.forward.operator ? ` (operator: ${p.forward.operator})` : ""}`);
-        if (p.op)
-            lines.push(`  Op: ${p.op}`);
-        if (p.message)
-            lines.push(`  Message: "${p.message}"`);
-    }
-    if (data.arb_confirm) {
-        const a = data.arb_confirm;
-        lines.push(`- ⚠️ Apply for arbitration (L2 — owner or agent, IRREVERSIBLE)`);
-        lines.push(`  Arb: ${a.arb}`);
-        lines.push(`  Confirm: ${a.confirm ? "valid materials" : "deny materials"}`);
-        if (a.description)
-            lines.push(`  Description: "${a.description}"`);
-        if (a.proposition && a.proposition.length > 0) {
-            lines.push(`  Propositions: ${a.proposition.length} claim(s)`);
-        }
-    }
-    if (data.arb_objection) {
-        const a = data.arb_objection;
-        lines.push(`- ⚠️ Object to Arb ruling (L2 — owner or agent, IRREVERSIBLE)`);
-        lines.push(`  Arb: ${a.arb}`);
-        lines.push(`  Objection: "${a.objection}"`);
-    }
-    if (data.arb_claim_compensation) {
-        const a = data.arb_claim_compensation;
-        lines.push(`- ⚠️⚠️ CLAIM COMPENSATION (L2 — owner or agent, ONE-TIME, IRREVERSIBLE)`);
-        lines.push(`  Arb: ${a.arb}`);
-        lines.push(`  After claim: NO new disputes can be filed (E_ORDER_ALREADY_CLAIMED)`);
-    }
-    if (data.receive) {
-        lines.push(`- Receive (L1 — OWNER-ONLY, agent CANNOT)`);
-        lines.push(`  Received object: ${data.receive.received}`);
-        lines.push(`  Funds/objects forwarded to owner address`);
-    }
-    if (data.transfer_to) {
-        lines.push(`- ⚠️⚠️ TRANSFER OWNERSHIP to ${data.transfer_to} (L1 — OWNER-ONLY, IRREVERSIBLE)`);
-        lines.push(`  New owner takes over ALL permissions`);
-        lines.push(`  Can be called even after Progress binding (unlike agent_set)`);
-    }
-    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 explainOrderError(errorNameOrCode) {
-    const str = String(errorNameOrCode);
-    return SCHEMA_TO_SEMANTIC_RULES.find(r => r.element_type === "error" && (r.type_name === str ||
-        r.type_name.startsWith(str + " ") ||
-        r.type_name.includes(str)));
-}
-export function getConstraintsByCategory(category) {
-    return ORDER_CONSTRAINT_RULES.filter(r => r.category === category);
-}
-export function explainPermissionLayer(layer) {
-    const descriptions = {
-        L1_owner_only: "L1 — Owner-only (assert_owner). Aborts E_OWNER (code 1) if sender != owner. Agent CANNOT perform L1 ops.",
-        L2_owner_or_agent: "L2 — Owner or agent (has_op_permission). Aborts E_PERMISSION (code 5) if sender is neither owner nor in agent[].",
-        L3_package_only: "L3 — Package-only (no external access). Called by other wow-framework modules (progress, allocation, arbitration).",
-    };
-    return descriptions[layer];
-}
-export function resolveFieldName(sdkOrMoveName) {
-    if (sdkOrMoveName === "builder" || sdkOrMoveName === "owner") {
-        return { sdk_name: "builder", move_name: "owner", is_deviation: true };
-    }
-    return { sdk_name: sdkOrMoveName, move_name: sdkOrMoveName, is_deviation: false };
-}
-export function matchSceneFromOperation(operationField) {
-    const scenes = ORDER_SCENES.filter(s => s.operation_field === operationField);
-    return scenes.length > 0 ? scenes[0] : undefined;
-}
-export function explainOrderIntent(intent) {
-    const matchedScene = inferSceneFromIntent(intent);
-    const matchedPatterns = matchSemanticPattern(intent);
-    const relevantConstraints = matchedScene
-        ? ORDER_CONSTRAINT_RULES.filter(c => {
-            if (matchedScene.permission_layer === "L1_owner_only") {
-                return c.category === "authority" || c.category === "lifecycle";
-            }
-            if (matchedScene.permission_layer === "L2_owner_or_agent") {
-                return c.category === "authority" || c.category === "semantic";
-            }
-            return c.category === "structural" || c.category === "cross_object";
-        })
-        : ORDER_CONSTRAINT_RULES;
-    return {
-        matched_scene: matchedScene,
-        matched_patterns: matchedPatterns,
-        relevant_constraints: relevantConstraints,
-    };
-}
+import{MAX_AGENT_COUNT,MAX_DISPUTE_COUNT}from'@wowok/wowok';import{ORDER_SCENES,inferSceneFromIntent}from'./order-ledger.js';export const SEMANTIC_TO_SCHEMA_RULES=[{'id':'P-O-01','pattern_name':'Create\x20Order\x20via\x20service::buy\x20(compound\x20creation)','semantic_intent':'Buy\x20items\x20from\x20a\x20Service\x20—\x20atomically\x20creates\x20Order\x20+\x20Allocation\x20+\x20Progress,\x20snapshots\x20service.machine,\x20emits\x20NewOrderEvent','match_keywords':['buy','purchase','order'],'schema_fields':['(via\x20service::buy,\x20not\x20direct\x20order::create)'],'example_json':{'_note':'Order\x20is\x20NOT\x20created\x20via\x20CallOrder_Data.\x20It\x20is\x20created\x20via\x20service::buy()\x20which\x20internally\x20calls\x20order::new\x20+\x20order::create.','_call_target':'service','object':'0xSERVICE_ADDRESS','buy':{'items':[{'name':'Product\x20A','price':'1000000000','quantity':0x1,'wip_hash':'0xABC...'}],'discount':null,'named_order':'my_order_alias','machine_forward':null}},'reverse_explanation':'Order\x20creation\x20is\x20composite\x20—\x20service::buy\x20atomically\x20builds\x20Order\x20+\x20Allocation\x20+\x20Progress\x20+\x20emits\x20NewOrderEvent.\x20order::create\x20is\x20package-only.','operation_field':'object','permission_layer':'L3_package_only'},{'id':'P-O-02','pattern_name':'Advance\x20Progress\x20(forward/hold)','semantic_intent':'Advance\x20Order\x27s\x20Progress\x20to\x20next\x20node\x20via\x20forward\x20or\x20hold','match_keywords':['advance','forward','progress','next'],'schema_fields':['object','progress'],'example_json':{'object':'0xORDER_ADDRESS','progress':{'next_node_name':'shipped','forward':{'name':'deliver','operator':null,'guard':null},'op':'next','message':'Order\x20dispatched'}},'reverse_explanation':'progress.forward\x20triggers\x20Progress::operate\x20→\x20order.progress\x20node\x20transition.\x20Both\x20owner\x20and\x20agent\x20can\x20advance\x20(L2).','operation_field':'progress','permission_layer':'L2_owner_or_agent'},{'id':'P-O-03','pattern_name':'Set\x20agent\x20list\x20(owner-only,\x20pre-progress)','semantic_intent':'Replace\x20the\x20entire\x20agent\x20list.\x20Frozen\x20after\x20Progress\x20binding.','match_keywords':['set\x20agent','agent','delegate'],'schema_fields':['object','agent'],'example_json':{'object':'0xORDER_ADDRESS','agent':['0xAGENT1','0xAGENT2']},'reverse_explanation':'agent\x20field\x20overwrites\x20entire\x20agent\x20list.\x20Owner-only\x20(L1).\x20Aborts\x20E_PROGRESS_NOT_SPECIFIED\x20if\x20Progress\x20already\x20bound.\x20⚠️\x20Boundary\x20bug:\x20actual\x20max\x2011\x20(not\x2010).','operation_field':'agent','permission_layer':'L1_owner_only'},{'id':'P-O-04','pattern_name':'Set\x20required_info\x20(Contact\x20or\x20WTS\x20Proof)','semantic_intent':'Update\x20recipient\x20contact\x20or\x20delivery\x20proof.\x20Both\x20owner\x20and\x20agent\x20can\x20update.','match_keywords':['required_info','recipient','contact','wts\x20proof'],'schema_fields':['object','required_info'],'example_json':{'object':'0xORDER_ADDRESS','required_info':'0xCONTACT_ADDRESS'},'reverse_explanation':'required_info\x20accepts\x20Contact\x20object\x20(recipient)\x20or\x20WTS\x20Proof\x20object\x20(delivery\x20proof).\x20null\x20clears.\x20L2\x20(owner\x20or\x20agent).','operation_field':'required_info','permission_layer':'L2_owner_or_agent'},{'id':'P-O-05','pattern_name':'Apply\x20for\x20arbitration\x20(arb_confirm)','semantic_intent':'File\x20arbitration\x20with\x20confirm/deny\x20+\x20description\x20+\x20proposition.\x20Triggers\x20dispute()\x20appending\x20Arb\x20to\x20order.dispute.','match_keywords':['arb_confirm','apply\x20arbitration','file\x20dispute','compensation'],'schema_fields':['object','arb_confirm'],'example_json':{'object':'0xORDER_ADDRESS','arb_confirm':{'arb':'0xARB_ADDRESS','confirm':!![],'description':'Item\x20never\x20arrived','proposition':['Refund\x20full\x20amount','Compensation\x20for\x20delay']}},'reverse_explanation':'arb_confirm\x20triggers\x20arb::principal_confirm\x20+\x20arb::description_change\x20+\x20arb::proposition_change,\x20and\x20Arb\x20module\x20calls\x20order::dispute(arb)\x20to\x20append.\x20L2.','operation_field':'arb_confirm','permission_layer':'L2_owner_or_agent'},{'id':'P-O-06','pattern_name':'Object\x20to\x20arbitration\x20(arb_objection)','semantic_intent':'Object\x20to\x20Arb\x20ruling\x20and\x20request\x20re-arbitration','match_keywords':['arb_objection','object','appeal'],'schema_fields':['object','arb_objection'],'example_json':{'object':'0xORDER_ADDRESS','arb_objection':{'arb':'0xARB_ADDRESS','objection':'Evidence\x20was\x20not\x20properly\x20reviewed'}},'reverse_explanation':'arb_objection\x20triggers\x20arb::objection.\x20Requires\x20Arb\x20status\x20=\x20Arbitrated.\x20L2\x20(owner\x20or\x20agent).\x20Irreversible.','operation_field':'arb_objection','permission_layer':'L2_owner_or_agent'},{'id':'P-O-07','pattern_name':'Claim\x20compensation\x20(arb_claim_compensation)','semantic_intent':'Claim\x20compensation\x20from\x20a\x20ruled\x20Arb.\x20Sets\x20claimed_by\x20—\x20ONE-TIME,\x20IRREVERSIBLE,\x20blocks\x20future\x20disputes.','match_keywords':['arb_claim_compensation','claim','compensation'],'schema_fields':['object','arb_claim_compensation'],'example_json':{'object':'0xORDER_ADDRESS','arb_claim_compensation':{'arb':'0xRULED_ARB_ADDRESS'}},'reverse_explanation':'arb_claim_compensation\x20triggers\x20service::compensation_claim\x20→\x20order::compensate(arb)\x20→\x20sets\x20claimed_by=arb.\x20IRREVERSIBLE.\x20L2.','operation_field':'arb_claim_compensation','permission_layer':'L2_owner_or_agent'},{'id':'P-O-08','pattern_name':'Receive\x20payment/objects\x20(owner-only)','semantic_intent':'Receive\x20CoinWrapper\x20or\x20arbitrary\x20Receiving<K>\x20from\x20Progress.\x20Funds\x20forwarded\x20to\x20owner.','match_keywords':['receive','collect','extract'],'schema_fields':['object','receive'],'example_json':{'object':'0xORDER_ADDRESS','receive':{'received':'0xRECEIVING_OBJECT_ID'}},'reverse_explanation':'receive\x20calls\x20order::owner_receive\x20or\x20owner_receive_object.\x20Owner-only\x20(L1)\x20—\x20agent\x20CANNOT\x20receive.\x20Aborts\x20E_ORDER_DELIVERING\x20if\x20Progress\x20not\x20at\x20terminal.','operation_field':'receive','permission_layer':'L1_owner_only'},{'id':'P-O-09','pattern_name':'Transfer\x20ownership\x20(transfer_to)','semantic_intent':'Transfer\x20Order\x20ownership\x20to\x20new\x20address.\x20IRREVERSIBLE.\x20New\x20owner\x20takes\x20over\x20ALL\x20permissions.','match_keywords':['transfer','transfer_to','handover'],'schema_fields':['object','transfer_to'],'example_json':{'object':'0xORDER_ADDRESS','transfer_to':'0xNEW_OWNER_ADDRESS'},'reverse_explanation':'transfer_to\x20calls\x20order::owner_change(new_owner).\x20Owner-only\x20(L1).\x20IRREVERSIBLE.\x20Unlike\x20agent_set,\x20can\x20be\x20called\x20after\x20Progress\x20binding.','operation_field':'transfer_to','permission_layer':'L1_owner_only'},{'id':'P-O-10','pattern_name':'Query\x20Order\x20state\x20(read-only)','semantic_intent':'Read\x20Order\x20fields:\x20items,\x20amount,\x20owner/builder,\x20agent,\x20dispute,\x20claimed_by,\x20progress,\x20machine,\x20time','match_keywords':['query','read','check','status'],'schema_fields':['(read-only\x20via\x20query\x20layer,\x20not\x20CallOrder_Data)'],'example_json':{'_note':'Query\x20uses\x20the\x20query/object\x20endpoint,\x20not\x20CallOrder_Data','_call_target':'query','object':'0xORDER_ADDRESS','fields':['items','amount','owner','agent','dispute','claimed_by','progress','machine']},'reverse_explanation':'Query\x20is\x20read-only\x20—\x20does\x20not\x20modify\x20state.\x20Use\x20to\x20verify\x20state\x20before\x20any\x20L1/L2\x20operation.\x20SDK\x20ObjectOrder\x20returns\x20all\x2014\x20fields.','operation_field':'object'},{'id':'P-O-11','pattern_name':'Query\x20Order\x20history\x20(event\x20log)','semantic_intent':'Query\x20Order\x20lifecycle\x20events.\x20⚠️\x20Only\x20NewOrderEvent\x20is\x20actually\x20emitted\x20—\x20other\x20events\x20must\x20be\x20INFERRED\x20from\x20field\x20changes.','match_keywords':['history','events','lifecycle','audit'],'schema_fields':['(read-only\x20via\x20query\x20layer,\x20event\x20filter)'],'example_json':{'_note':'Only\x20NewOrderEvent\x20is\x20emitted\x20on-chain.\x20Other\x20lifecycle\x20events\x20must\x20be\x20inferred\x20by\x20querying\x20Order\x20field\x20diffs\x20over\x20time.','_call_target':'query','object':'0xORDER_ADDRESS','event_filter':{'type':'order::NewOrderEvent'}},'reverse_explanation':'Audit\x20weakness:\x20only\x201\x20of\x2011\x20lifecycle\x20events\x20is\x20actually\x20emitted.\x20Use\x20status_inference\x20formula\x20from\x20ORDER_AUDIT_FORMULAS\x20to\x20derive\x20state.','operation_field':'object'},{'id':'P-O-12','pattern_name':'Monitor\x20Order\x20status\x20changes\x20(polling)','semantic_intent':'Poll\x20Order\x20status\x20to\x20detect:\x20Progress\x20advance,\x20dispute\x20append,\x20claimed_by\x20set,\x20ownership\x20transfer','match_keywords':['monitor','poll','watch','track'],'schema_fields':['(read-only\x20via\x20query\x20layer,\x20polling)'],'example_json':{'_note':'Monitor\x20by\x20querying\x20Order\x20at\x20intervals\x20and\x20diffing\x20fields','_call_target':'query','object':'0xORDER_ADDRESS','poll_interval_ms':0x1388,'watch_fields':['progress','dispute','claimed_by','owner']},'reverse_explanation':'No\x20push\x20notifications\x20—\x20must\x20poll.\x20Track\x204\x20critical\x20fields:\x20progress\x20(advance),\x20dispute\x20(new\x20arb),\x20claimed_by\x20(terminal),\x20owner\x20(transfer).','operation_field':'object'}];export const SCHEMA_TO_SEMANTIC_RULES=[{'element_type':'field','type_name':'object','semantic_explanation':'Order\x20object\x20address.\x20STRING=operate\x20existing\x20Order.\x20null/omitted\x20is\x20invalid\x20(Order\x20creation\x20goes\x20through\x20service::buy).','constraints':['Must\x20be\x20valid\x20Order\x20object\x20ID','Order\x20must\x20exist\x20on-chain']},{'element_type':'field','type_name':'agent','semantic_explanation':'Agent\x20address\x20list\x20(overwrites\x20entire\x20list).\x20Owner-only\x20(L1).\x20Frozen\x20after\x20Progress\x20binding.\x20⚠️\x20Boundary\x20bug:\x20actual\x20max\x2011\x20(not\x2010).','constraints':['<=\x20'+MAX_AGENT_COUNT+'\x20agents\x20(doc)\x20/\x2011\x20(actual\x20bug)','Owner-only','Frozen\x20after\x20Progress\x20binding']},{'element_type':'field','type_name':'required_info','semantic_explanation':'Contact\x20object\x20(recipient\x20info)\x20or\x20WTS\x20Proof\x20object\x20(delivery\x20proof).\x20null\x20clears.\x20L2\x20(owner\x20or\x20agent).','constraints':['Must\x20be\x20Contact\x20or\x20WTS\x20Proof\x20object','null\x20clears\x20the\x20field']},{'element_type':'field','type_name':'progress','semantic_explanation':'Progress\x20operation\x20object\x20—\x20advance\x20via\x20forward/hold.\x20Both\x20owner\x20and\x20agent\x20can\x20advance.\x20Node\x20transition\x20is\x20irreversible.','constraints':['Requires\x20Progress\x20binding\x20(order.progress.is_some())','L2\x20(owner\x20or\x20agent)','Node\x20transition\x20irreversible']},{'element_type':'field','type_name':'arb_confirm','semantic_explanation':'Apply\x20for\x20arbitration\x20compensation.\x20Triggers\x20dispute()\x20appending\x20Arb\x20to\x20order.dispute.\x20L2.\x20Irreversible.','constraints':['Arb\x20must\x20exist','L2\x20(owner\x20or\x20agent)','claimed_by\x20must\x20be\x20None']},{'element_type':'field','type_name':'arb_objection','semantic_explanation':'Object\x20to\x20Arb\x20ruling\x20and\x20request\x20re-arbitration.\x20Requires\x20Arb\x20status\x20=\x20Arbitrated.\x20L2.\x20Irreversible.','constraints':['Arb\x20must\x20be\x20in\x20Arbitrated\x20state','L2\x20(owner\x20or\x20agent)']},{'element_type':'field','type_name':'arb_claim_compensation','semantic_explanation':'Claim\x20compensation\x20from\x20ruled\x20Arb.\x20Sets\x20claimed_by.\x20ONE-TIME,\x20IRREVERSIBLE,\x20blocks\x20future\x20disputes.\x20L2.','constraints':['Arb\x20must\x20be\x20Arbitrated','claimed_by\x20must\x20be\x20None','L2\x20(owner\x20or\x20agent)','IRREVERSIBLE']},{'element_type':'field','type_name':'receive','semantic_explanation':'Receive\x20CoinWrapper\x20or\x20arbitrary\x20Receiving<K>\x20from\x20Progress.\x20Funds\x20forwarded\x20to\x20owner.\x20Owner-only\x20(L1)\x20—\x20agent\x20CANNOT.','constraints':['Owner-only\x20(L1)','Progress\x20must\x20be\x20at\x20terminal\x20node\x20(not\x20delivering)','Can\x20be\x20called\x20multiple\x20times']},{'element_type':'field','type_name':'transfer_to','semantic_explanation':'New\x20owner\x20address\x20for\x20ownership\x20transfer.\x20IRREVERSIBLE.\x20New\x20owner\x20takes\x20over\x20ALL\x20permissions.\x20Owner-only\x20(L1).','constraints':['Owner-only\x20(L1)','IRREVERSIBLE','Valid\x20Wow\x20address']},{'element_type':'op','type_name':'forward','semantic_explanation':'Advance\x20Progress\x20to\x20next\x20node\x20via\x20named\x20forward.\x20Triggers\x20Progress::operate.','constraints':['Forward\x20name\x20must\x20exist\x20on\x20current\x20node','Guard\x20(if\x20any)\x20must\x20pass']},{'element_type':'op','type_name':'hold','semantic_explanation':'Hold\x20at\x20current\x20Progress\x20node\x20(optional\x20pause).','constraints':['Node\x20must\x20support\x20hold']},{'element_type':'op','type_name':'confirm','semantic_explanation':'In\x20arb_confirm:\x20true=confirm\x20materials\x20valid,\x20false=deny\x20materials.','constraints':['Boolean\x20—\x20no\x20other\x20values']},{'element_type':'index','type_name':'dispute_index','semantic_explanation':'Position\x20in\x20order.dispute\x20vector.\x200-based.\x20Max\x2010\x20disputes\x20total.','constraints':['<=\x20'+MAX_DISPUTE_COUNT+'\x20disputes','Frozen\x20when\x20claimed_by.is_some()']},{'element_type':'error','type_name':'E_OWNER\x20(code\x201)','semantic_explanation':'Sender\x20!=\x20order.owner.\x20L1\x20operation\x20attempted\x20by\x20non-owner\x20(agent\x20or\x20third\x20party).','constraints':['Aborts\x20assert_owner']},{'element_type':'error','type_name':'E_PERMISSION\x20(code\x205)','semantic_explanation':'Sender\x20is\x20neither\x20owner\x20nor\x20in\x20agent[].\x20L2\x20operation\x20attempted\x20by\x20unauthorized\x20caller.','constraints':['Aborts\x20assert_op_permission\x20(via\x20has_op_permission\x20returning\x20false)']},{'element_type':'error','type_name':'E_PROGRESS_NOT_SPECIFIED\x20(code\x203)','semantic_explanation':'⚠️\x20DUAL\x20SEMANTICS:\x20(a)\x20order::create\x20—\x20machine\x20is\x20Some\x20but\x20progress\x20is\x20None;\x20(b)\x20agent_set/owner_change\x20—\x20progress\x20is\x20already\x20bound\x20(frozen).','constraints':['Check\x20context\x20to\x20disambiguate','Same\x20code,\x20opposite\x20meanings']},{'element_type':'error','type_name':'E_ORDER_ALREADY_CLAIMED\x20(code\x207)','semantic_explanation':'claimed_by\x20is\x20already\x20Some.\x20Cannot\x20file\x20new\x20disputes,\x20claim\x20again,\x20or\x20call\x20compensate.','constraints':['IRREVERSIBLE\x20—\x20no\x20way\x20to\x20reset\x20claimed_by']},{'element_type':'error','type_name':'E_MAX_AGENT_COUNT\x20(code\x202)','semantic_explanation':'agent\x20list\x20exceeds\x20MAX_AGENT_COUNT\x20(10).\x20⚠️\x20Actual\x20boundary\x20uses\x20<=\x20so\x20allows\x2011\x20(bug).','constraints':['Doc\x20limit:\x20'+MAX_AGENT_COUNT,'Actual\x20limit:\x2011\x20(boundary\x20bug)']},{'element_type':'error','type_name':'E_MAX_DISPUTE_COUNT\x20(code\x206)','semantic_explanation':'dispute\x20vector\x20at\x20MAX_DISPUTE_COUNT\x20(10).\x20Next\x20dispute()\x20call\x20aborts.','constraints':['Max:\x20'+MAX_DISPUTE_COUNT]},{'element_type':'error','type_name':'E_ALLOCATION_NOT_SPECIFIED\x20(code\x208)','semantic_explanation':'order::create\x20with\x20amount\x20>\x200\x20but\x20allocation\x20is\x20None.','constraints':['If\x20amount\x20>\x200,\x20allocation\x20must\x20be\x20set']},{'element_type':'error','type_name':'E_ALLOCATION_ALREADY_SPECIFIED\x20(code\x209)','semantic_explanation':'on_allocation\x20called\x20twice.\x20Allocation\x20is\x20one-time\x20set.','constraints':['One-time\x20only']},{'element_type':'error','type_name':'E_PROGRESS_ALREADY_SPECIFIED\x20(code\x2010)','semantic_explanation':'on_progress\x20called\x20twice.\x20Progress\x20is\x20one-time\x20set.','constraints':['One-time\x20only']}];export const ORDER_CONSTRAINT_RULES=[{'id':'MC-O-01','category':'structural','rule':'Order\x20has\x2014\x20fields;\x20SDK\x20uses\x20\x27builder\x27\x20for\x20Move\x27s\x20\x27owner\x27\x20(only\x20naming\x20deviation\x20in\x2022\x20objects)','applies_to':['object.owner','object.builder']},{'id':'MC-O-02','category':'structural','rule':'agent\x20count\x20<=\x20MAX_AGENT_COUNT\x20('+MAX_AGENT_COUNT+')\x20per\x20docs;\x20⚠️\x20actual\x20allows\x2011\x20due\x20to\x20<=\x20bug','applies_to':['agent']},{'id':'MC-O-03','category':'structural','rule':'dispute\x20count\x20<=\x20MAX_DISPUTE_COUNT\x20('+MAX_DISPUTE_COUNT+');\x20frozen\x20when\x20claimed_by.is_some()','applies_to':['dispute']},{'id':'MC-O-04','category':'structural','rule':'Order\x20creation\x20is\x20COMPOSITE\x20via\x20service::buy\x20—\x20order::create\x20is\x20package-only','applies_to':['(creation\x20flow)']},{'id':'MC-O-05','category':'semantic','rule':'order.machine\x20is\x20a\x20SNAPSHOT\x20copied\x20from\x20service.machine\x20at\x20buy\x20time\x20(not\x20a\x20reference)','applies_to':['machine']},{'id':'MC-O-06','category':'semantic','rule':'E_PROGRESS_NOT_SPECIFIED\x20has\x20DUAL\x20semantics:\x20(a)\x20create:\x20machine\x20Some\x20+\x20progress\x20None;\x20(b)\x20agent_set/owner_change:\x20progress\x20already\x20bound','applies_to':['error\x20code\x203']},{'id':'MC-O-07','category':'semantic','rule':'Only\x20NewOrderEvent\x20is\x20actually\x20emitted;\x2010\x20other\x20lifecycle\x20events\x20must\x20be\x20inferred\x20from\x20field\x20changes','applies_to':['events']},{'id':'MC-O-08','category':'semantic','rule':'SaleItem.item\x20↔\x20PurchasedItem.name\x20(different\x20field\x20names\x20for\x20same\x20concept)','applies_to':['items.item','purchased_items.name']},{'id':'MC-O-09','category':'authority','rule':'L1\x20owner-only\x20operations:\x20receive,\x20transfer_to,\x20owner_change,\x20agent_set\x20(assert_owner)','applies_to':['receive','transfer_to','agent']},{'id':'MC-O-10','category':'authority','rule':'L2\x20owner-or-agent\x20operations:\x20required_info,\x20progress,\x20arb_confirm,\x20arb_objection,\x20arb_claim_compensation\x20(has_op_permission)','applies_to':['required_info','progress','arb_confirm','arb_objection','arb_claim_compensation']},{'id':'MC-O-11','category':'authority','rule':'L3\x20package-only\x20operations:\x20on_progress,\x20on_allocation,\x20dispute,\x20compensate\x20(no\x20external\x20access)','applies_to':['(package-only\x20functions)']},{'id':'MC-O-12','category':'authority','rule':'Agent\x20CANNOT\x20receive\x20payments\x20—\x20only\x20owner\x20can\x20call\x20owner_receive\x20/\x20owner_receive_object','applies_to':['receive']},{'id':'MC-O-13','category':'lifecycle','rule':'Progress\x20binding\x20FREEZES\x20owner\x20and\x20agent\x20—\x20agent_set/owner_change\x20abort\x20E_PROGRESS_NOT_SPECIFIED\x20after\x20binding','applies_to':['agent','transfer_to\x20(pre-progress)','owner_change']},{'id':'MC-O-14','category':'lifecycle','rule':'claimed_by\x20is\x20ONE-TIME,\x20IRREVERSIBLE\x20—\x20blocks\x20future\x20dispute(),\x20compensate(),\x20and\x20arb_claim_compensation','applies_to':['claimed_by','arb_claim_compensation','dispute']},{'id':'MC-O-15','category':'cross_object','rule':'Order\x20+\x20Allocation\x20+\x20Progress\x20are\x201:1:1\x20bound\x20at\x20creation;\x20cannot\x20rebind\x20or\x20detach','applies_to':['progress','allocation']}];export const ORDER_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 explainOrderCallData(b){const c=[];if(!b['object'])return c['push']('Operation:\x20⚠️\x20INVALID\x20—\x20Order\x20object\x20address\x20required\x20(Order\x20creation\x20goes\x20through\x20service::buy,\x20not\x20CallOrder_Data)'),c['join']('\x0a');c['push']('Operation:\x20MODIFY\x20existing\x20Order\x20at\x20'+b['object']);b['agent']&&(c['push']('-\x20⚠️\x20Set\x20agent\x20list\x20('+b['agent']['length']+'\x20agent(s)):\x20['+b['agent']['join'](',\x20')+']'),c['push']('\x20\x20Owner-only\x20(L1).\x20Frozen\x20after\x20Progress\x20binding.\x20Boundary\x20bug\x20allows\x20max\x2011\x20(not\x2010).'));b['required_info']!==undefined&&(b['required_info']===null?c['push']('-\x20Clear\x20required_info\x20(L2\x20—\x20owner\x20or\x20agent)'):c['push']('-\x20Set\x20required_info:\x20'+b['required_info']+'\x20(Contact\x20or\x20WTS\x20Proof;\x20L2\x20—\x20owner\x20or\x20agent)'));if(b['progress']){const d=b['progress'];c['push']('-\x20Advance\x20Progress\x20(L2\x20—\x20owner\x20or\x20agent)');if(d['next_node_name'])c['push']('\x20\x20Next\x20node:\x20'+d['next_node_name']);if(d['forward'])c['push']('\x20\x20Forward:\x20'+d['forward']['name']+(d['forward']['operator']?'\x20(operator:\x20'+d['forward']['operator']+')':''));if(d['op'])c['push']('\x20\x20Op:\x20'+d['op']);if(d['message'])c['push']('\x20\x20Message:\x20\x22'+d['message']+'\x22');}if(b['arb_confirm']){const e=b['arb_confirm'];c['push']('-\x20⚠️\x20Apply\x20for\x20arbitration\x20(L2\x20—\x20owner\x20or\x20agent,\x20IRREVERSIBLE)'),c['push']('\x20\x20Arb:\x20'+e['arb']),c['push']('\x20\x20Confirm:\x20'+(e['confirm']?'valid\x20materials':'deny\x20materials'));if(e['description'])c['push']('\x20\x20Description:\x20\x22'+e['description']+'\x22');e['proposition']&&e['proposition']['length']>0x0&&c['push']('\x20\x20Propositions:\x20'+e['proposition']['length']+'\x20claim(s)');}if(b['arb_objection']){const f=b['arb_objection'];c['push']('-\x20⚠️\x20Object\x20to\x20Arb\x20ruling\x20(L2\x20—\x20owner\x20or\x20agent,\x20IRREVERSIBLE)'),c['push']('\x20\x20Arb:\x20'+f['arb']),c['push']('\x20\x20Objection:\x20\x22'+f['objection']+'\x22');}if(b['arb_claim_compensation']){const g=b['arb_claim_compensation'];c['push']('-\x20⚠️⚠️\x20CLAIM\x20COMPENSATION\x20(L2\x20—\x20owner\x20or\x20agent,\x20ONE-TIME,\x20IRREVERSIBLE)'),c['push']('\x20\x20Arb:\x20'+g['arb']),c['push']('\x20\x20After\x20claim:\x20NO\x20new\x20disputes\x20can\x20be\x20filed\x20(E_ORDER_ALREADY_CLAIMED)');}return b['receive']&&(c['push']('-\x20Receive\x20(L1\x20—\x20OWNER-ONLY,\x20agent\x20CANNOT)'),c['push']('\x20\x20Received\x20object:\x20'+b['receive']['received']),c['push']('\x20\x20Funds/objects\x20forwarded\x20to\x20owner\x20address')),b['transfer_to']&&(c['push']('-\x20⚠️⚠️\x20TRANSFER\x20OWNERSHIP\x20to\x20'+b['transfer_to']+'\x20(L1\x20—\x20OWNER-ONLY,\x20IRREVERSIBLE)'),c['push']('\x20\x20New\x20owner\x20takes\x20over\x20ALL\x20permissions'),c['push']('\x20\x20Can\x20be\x20called\x20even\x20after\x20Progress\x20binding\x20(unlike\x20agent_set)')),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 explainOrderError(a){const b=String(a);return SCHEMA_TO_SEMANTIC_RULES['find'](c=>c['element_type']==='error'&&(c['type_name']===b||c['type_name']['startsWith'](b+'\x20')||c['type_name']['includes'](b)));}export function getConstraintsByCategory(a){return ORDER_CONSTRAINT_RULES['filter'](b=>b['category']===a);}export function explainPermissionLayer(a){const b={'L1_owner_only':'L1\x20—\x20Owner-only\x20(assert_owner).\x20Aborts\x20E_OWNER\x20(code\x201)\x20if\x20sender\x20!=\x20owner.\x20Agent\x20CANNOT\x20perform\x20L1\x20ops.','L2_owner_or_agent':'L2\x20—\x20Owner\x20or\x20agent\x20(has_op_permission).\x20Aborts\x20E_PERMISSION\x20(code\x205)\x20if\x20sender\x20is\x20neither\x20owner\x20nor\x20in\x20agent[].','L3_package_only':'L3\x20—\x20Package-only\x20(no\x20external\x20access).\x20Called\x20by\x20other\x20wow-framework\x20modules\x20(progress,\x20allocation,\x20arbitration).'};return b[a];}export function resolveFieldName(a){if(a==='builder'||a==='owner')return{'sdk_name':'builder','move_name':'owner','is_deviation':!![]};return{'sdk_name':a,'move_name':a,'is_deviation':![]};}export function matchSceneFromOperation(a){const b=ORDER_SCENES['filter'](c=>c['operation_field']===a);return b['length']>0x0?b[0x0]:undefined;}export function explainOrderIntent(a){const b=inferSceneFromIntent(a),c=matchSemanticPattern(a),d=b?ORDER_CONSTRAINT_RULES['filter'](e=>{if(b['permission_layer']==='L1_owner_only')return e['category']==='authority'||e['category']==='lifecycle';if(b['permission_layer']==='L2_owner_or_agent')return e['category']==='authority'||e['category']==='semantic';return e['category']==='structural'||e['category']==='cross_object';}):ORDER_CONSTRAINT_RULES;return{'matched_scene':b,'matched_patterns':c,'relevant_constraints':d};}