@wowok/agent-mcp 2.7.1 → 2.7.2

package/dist/knowledge/order-ledger.js

@@ -1,341 +1 @@
-export const ORDER_FIELDS = [
-    { move_name: "id", sdk_name: "id", move_type: "UID", mutability_layer: 1, description: "Order unique ID" },
-    { move_name: "items", sdk_name: "items", move_type: "vector<SaleItem>", mutability_layer: 1, description: "Purchased items (created-immutable)" },
-    { move_name: "discount", sdk_name: "discount", move_type: "Option<address>", mutability_layer: 1, description: "Discount object address (created-immutable)" },
-    { move_name: "progress", sdk_name: "progress", move_type: "Option<address>", mutability_layer: 2, description: "Progress object address (one-time-set via on_progress)" },
-    { move_name: "machine", sdk_name: "machine", move_type: "Option<address>", mutability_layer: 1, description: "Machine snapshot copied from service.machine at buy time" },
-    { move_name: "amount", sdk_name: "amount", move_type: "u64", mutability_layer: 1, description: "Order amount in MIST (created-immutable)" },
-    { move_name: "owner", sdk_name: "builder", move_type: "address", mutability_layer: 3, description: "Order owner / buyer. ⚠️ SDK field name is 'builder' (only naming deviation in 22 objects)" },
-    { move_name: "service", sdk_name: "service", move_type: "address", mutability_layer: 1, description: "Service object address (created-immutable, reference only)" },
-    { move_name: "dispute", sdk_name: "dispute", move_type: "vector<address>", mutability_layer: 4, description: "Arb object addresses (append-only, max 10, frozen when claimed_by set)" },
-    { move_name: "agent", sdk_name: "agent", move_type: "vector<address>", mutability_layer: 3, description: "Agent addresses (max 10 per docs, ⚠️ actual allows 11 due to <= bug; frozen after progress binding)" },
-    { move_name: "allocation", sdk_name: "allocation", move_type: "Option<address>", mutability_layer: 2, description: "Allocation object address (one-time-set via on_allocation)" },
-    { move_name: "claimed_by", sdk_name: "claimed_by", move_type: "Option<address>", mutability_layer: 2, description: "Claimed Arb object address (one-time, irreversible; blocks new disputes)" },
-    { move_name: "required_info", sdk_name: "required_info", move_type: "Option<address>", mutability_layer: 4, description: "Contact (recipient) or WTS Proof (delivery proof); mutable by owner or agent" },
-    { move_name: "time", sdk_name: "time", move_type: "u64", mutability_layer: 1, description: "Creation timestamp (clock::timestamp_ms)" },
-];
-export const ORDER_STATES = [
-    "CREATED", "IN_PROGRESS", "DISPUTED", "CLAIMED", "COMPLETED", "CANCELLED",
-];
-export const ORDER_STATE_TRANSITIONS = [
-    { from: "CREATED", to: "IN_PROGRESS", trigger: "service::buy() with machine → on_progress sets progress" },
-    { from: "CREATED", to: "DISPUTED", trigger: "arb_confirm → dispute() appends Arb address" },
-    { from: "CREATED", to: "COMPLETED", trigger: "Progress reaches terminal (no machine path) or manual" },
-    { from: "IN_PROGRESS", to: "DISPUTED", trigger: "arb_confirm → dispute() appends Arb address" },
-    { from: "IN_PROGRESS", to: "COMPLETED", trigger: "Progress reaches terminal node" },
-    { from: "IN_PROGRESS", to: "CANCELLED", trigger: "Progress reaches cancel node" },
-    { from: "DISPUTED", to: "CLAIMED", trigger: "arb_claim_compensation → compensate() sets claimed_by" },
-    { from: "DISPUTED", to: "COMPLETED", trigger: "Arb resolution + Progress terminal" },
-    { from: "DISPUTED", to: "CANCELLED", trigger: "Arb resolution = cancel" },
-];
-export const ORDER_LIFECYCLE_EVENTS = [
-    {
-        name: "NewOrderEvent",
-        trigger: "service::buy() phase 5 (order::create)",
-        emit_source: "order::create()",
-        actually_emitted: true,
-        fields: ["object", "service", "progress", "discount", "allocation", "amount"],
-    },
-    { name: "OrderCompletedEvent", trigger: "Progress reaches terminal", emit_source: "(not implemented)", actually_emitted: false, fields: ["order", "completion_time"] },
-    { name: "OrderCancelledEvent", trigger: "Progress reaches cancel", emit_source: "(not implemented)", actually_emitted: false, fields: ["order", "cancel_reason"] },
-    { name: "OrderAdvancedEvent", trigger: "order.progress forward", emit_source: "(not implemented)", actually_emitted: false, fields: ["order", "from_node", "to_node"] },
-    { name: "OrderDisputeAppendedEvent", trigger: "arb_confirm → dispute()", emit_source: "(not implemented)", actually_emitted: false, fields: ["order", "arb"] },
-    { name: "OrderClaimedEvent", trigger: "arb_claim_compensation → compensate()", emit_source: "(not implemented)", actually_emitted: false, fields: ["order", "arb", "claimed_by"] },
-    { name: "OwnerChangedEvent", trigger: "owner_change / transfer_to", emit_source: "(not implemented)", actually_emitted: false, fields: ["order", "old_owner", "new_owner"] },
-    { name: "AgentSetEvent", trigger: "agent_set", emit_source: "(not implemented)", actually_emitted: false, fields: ["order", "agent_list"] },
-    { name: "RequiredInfoUpdatedEvent", trigger: "required_info_update", emit_source: "(not implemented)", actually_emitted: false, fields: ["order", "required_info"] },
-    { name: "AllocationBoundEvent", trigger: "on_allocation", emit_source: "(not implemented)", actually_emitted: false, fields: ["order", "allocation"] },
-    { name: "ProgressBoundEvent", trigger: "on_progress", emit_source: "(not implemented)", actually_emitted: false, fields: ["order", "progress"] },
-];
-export const ORDER_PERMISSION_MATRIX = [
-    { operation: "owner_receive / receive", move_function: "owner_receive / owner_receive_object", layer: "L1_owner_only", aborts_with: "E_OWNER", notes: "Only owner can collect payments. Agent CANNOT receive." },
-    { operation: "transfer_to (ownership transfer)", move_function: "owner_change", layer: "L1_owner_only", aborts_with: "E_OWNER", notes: "Irreversible. New owner takes over ALL permissions." },
-    { operation: "owner_change (pre-progress)", move_function: "owner_change", layer: "L1_owner_only", aborts_with: "E_OWNER, E_PROGRESS_NOT_SPECIFIED", notes: "Frozen after progress binding." },
-    { operation: "agent_set", move_function: "agent_set", layer: "L1_owner_only", aborts_with: "E_OWNER, E_PROGRESS_NOT_SPECIFIED, E_AGENT_COUNT_EXCEEDED", notes: "Frozen after progress binding. ⚠️ Boundary bug: actual max 11 (not 10)." },
-    { operation: "required_info_update", move_function: "required_info_update", layer: "L2_owner_or_agent", aborts_with: "E_PERMISSION", notes: "Both owner and agent can update." },
-    { operation: "progress (advance)", move_function: "(progress::operate)", layer: "L2_owner_or_agent", aborts_with: "E_PERMISSION", notes: "Both owner and agent can advance Progress." },
-    { operation: "arb_confirm", move_function: "(arb::principal_confirm)", layer: "L2_owner_or_agent", aborts_with: "E_PERMISSION", notes: "Both can file arbitration. Irreversible." },
-    { operation: "arb_objection", move_function: "(arb::objection)", layer: "L2_owner_or_agent", aborts_with: "E_PERMISSION", notes: "Both can object to Arb ruling. Irreversible." },
-    { operation: "arb_claim_compensation", move_function: "(service::compensation_claim)", layer: "L2_owner_or_agent", aborts_with: "E_PERMISSION, E_ORDER_ALREADY_CLAIMED", notes: "Sets claimed_by — one-time, irreversible." },
-    { operation: "on_progress (package-only)", move_function: "on_progress", layer: "L3_package_only", aborts_with: "E_PROGRESS_ALREADY_SPECIFIED", notes: "Progress module writes back. No external access." },
-    { operation: "on_allocation (package-only)", move_function: "on_allocation", layer: "L3_package_only", aborts_with: "E_ALLOCATION_ALREADY_SPECIFIED", notes: "Allocation module writes back. No external access." },
-    { operation: "dispute (package-only)", move_function: "dispute", layer: "L3_package_only", aborts_with: "E_ORDER_ALREADY_CLAIMED, E_DISPUTE_COUNT_EXCEEDED", notes: "Arbitration module appends Arb address." },
-    { operation: "compensate (package-only)", move_function: "compensate", layer: "L3_package_only", aborts_with: "E_ORDER_ALREADY_CLAIMED", notes: "Arbitration module sets claimed_by. Irreversible." },
-];
-export const ORDER_SCENES = [
-    {
-        id: "order_create",
-        name: "Create order via service::buy (composite creation)",
-        operation_field: "object",
-        move_entry: "service::buy → order::new → order::create",
-        permission_layer: "L3_package_only",
-        reversibility: "irreversible",
-        governed_operations: [
-            "service::buy(items, discount, machine_forward?, named_order?)",
-            "order::new (package-only)",
-            "allocation::new + order::on_allocation (if order_allocators configured)",
-            "progress::new + order::on_progress (if machine configured)",
-            "order::create + emit NewOrderEvent",
-        ],
-        common_patterns: [
-            "Composite creation: Order + Allocation + Progress in one transaction",
-            "Service.machine is SNAPSHOTTED to order.machine (not a reference)",
-            "owner = tx_context::sender (buyer); agent = [] initially",
-            "Allotment 6 phases are atomic — any failure rolls back fully",
-        ],
-        related_risks: ["R-O-1-05", "R-O-2-01", "R-O-4-01", "R-O-5-01"],
-        recommended_templates: ["T-O-01", "T-O-02", "T-O-03"],
-    },
-    {
-        id: "order_advance",
-        name: "Advance Progress (forward/hold)",
-        operation_field: "progress",
-        move_entry: "progress::operate (via order.progress delegation)",
-        permission_layer: "L2_owner_or_agent",
-        reversibility: "irreversible",
-        governed_operations: [
-            "progress.operation.next_node_name + forward",
-            "progress.op (next/hold/unhold/adminUnhold)",
-            "progress.message (optional)",
-        ],
-        common_patterns: [
-            "Both owner and agent can advance — agent enables third-party logistics",
-            "Node transition is irreversible (no backward movement)",
-            "Forward.guard may require Guard submission",
-        ],
-        related_risks: ["R-O-3-02", "R-O-4-03", "R-O-5-03"],
-        recommended_templates: ["T-O-02"],
-    },
-    {
-        id: "order_set_agent",
-        name: "Set agent list (owner-only, frozen after progress)",
-        operation_field: "agent",
-        move_entry: "order::agent_set",
-        permission_layer: "L1_owner_only",
-        reversibility: "frozen_after_progress",
-        governed_operations: [
-            "agent_set (overwrites entire agent list)",
-        ],
-        common_patterns: [
-            "Set agents BEFORE service::buy triggers Progress binding",
-            "⚠️ Boundary bug: actual max 11 (Move uses <=, doc says 10)",
-            "Agents can operate order but CANNOT receive funds",
-            "After progress.is_some(), agent_set aborts E_PROGRESS_NOT_SPECIFIED",
-        ],
-        related_risks: ["R-O-1-04", "R-O-3-01", "R-O-4-02"],
-        recommended_templates: ["T-O-03"],
-    },
-    {
-        id: "order_required_info",
-        name: "Update required_info (Contact or WTS Proof)",
-        operation_field: "required_info",
-        move_entry: "order::required_info_update",
-        permission_layer: "L2_owner_or_agent",
-        reversibility: "reversible",
-        governed_operations: [
-            "required_info_update (set Contact or WTS Proof address)",
-            "required_info = null (clear)",
-        ],
-        common_patterns: [
-            "Contact object = recipient info (shipping address)",
-            "WTS Proof object = delivery proof (via Wowok Messenger)",
-            "Both owner and agent can update — useful for logistics agent",
-        ],
-        related_risks: ["R-O-3-02"],
-        recommended_templates: ["T-O-01"],
-    },
-    {
-        id: "order_arb_confirm",
-        name: "Apply for arbitration compensation",
-        operation_field: "arb_confirm",
-        move_entry: "arb::principal_confirm / arb::description_change / arb::proposition_change",
-        permission_layer: "L2_owner_or_agent",
-        reversibility: "irreversible",
-        governed_operations: [
-            "arb_confirm.confirm (true=confirm materials, false=deny)",
-            "arb_confirm.description (compensation application description)",
-            "arb_confirm.proposition (compensation claims list)",
-        ],
-        common_patterns: [
-            "Triggers Arb → dispute() appends Arb to order.dispute",
-            "Both owner and agent can file — agent useful for representative cases",
-            "Once filed, the Arb process is irreversible",
-        ],
-        related_risks: ["R-O-3-03", "R-O-4-04", "R-O-5-04"],
-        recommended_templates: ["T-O-04"],
-    },
-    {
-        id: "order_arb_objection",
-        name: "Object to arbitration result",
-        operation_field: "arb_objection",
-        move_entry: "arb::objection",
-        permission_layer: "L2_owner_or_agent",
-        reversibility: "irreversible",
-        governed_operations: [
-            "arb_objection.objection (reason for re-arbitration)",
-        ],
-        common_patterns: [
-            "Requires Arb status = Arbitrated (after ruling)",
-            "Triggers re-arbitration flow",
-            "Both owner and agent can object",
-        ],
-        related_risks: ["R-O-3-03", "R-O-4-04"],
-        recommended_templates: ["T-O-04"],
-    },
-    {
-        id: "order_arb_claim_compensation",
-        name: "Claim compensation (sets claimed_by, irreversible)",
-        operation_field: "arb_claim_compensation",
-        move_entry: "service::compensation_claim → order::compensate",
-        permission_layer: "L2_owner_or_agent",
-        reversibility: "irreversible",
-        governed_operations: [
-            "arb_claim_compensation.arb (the ruled Arb object)",
-            "compensate() sets order.claimed_by = arb",
-        ],
-        common_patterns: [
-            "⚠️ ONE-TIME, IRREVERSIBLE — claimed_by cannot be reset",
-            "After claim, NO new disputes can be filed (E_ORDER_ALREADY_CLAIMED)",
-            "Requires Arb status = Arbitrated",
-            "Both owner and agent can claim",
-        ],
-        related_risks: ["R-O-3-03", "R-O-4-04", "R-O-5-04"],
-        recommended_templates: ["T-O-06"],
-    },
-    {
-        id: "order_receive",
-        name: "Receive payment (owner-only)",
-        operation_field: "receive",
-        move_entry: "order::owner_receive / order::owner_receive_object",
-        permission_layer: "L1_owner_only",
-        reversibility: "reversible",
-        governed_operations: [
-            "receive CoinWrapper (unwrap and forward to owner)",
-            "receive arbitrary Receiving<K> object",
-        ],
-        common_patterns: [
-            "⚠️ Only owner can receive — agent CANNOT",
-            "Aborts E_ORDER_DELIVERING if Progress not at terminal node",
-            "Can be called multiple times (e.g. partial refunds)",
-            "Receives are unwrapped and transferred to owner address",
-        ],
-        related_risks: ["R-O-3-01", "R-O-4-05"],
-        recommended_templates: ["T-O-05"],
-    },
-    {
-        id: "order_transfer",
-        name: "Transfer order ownership (irreversible)",
-        operation_field: "transfer_to",
-        move_entry: "order::owner_change",
-        permission_layer: "L1_owner_only",
-        reversibility: "irreversible",
-        governed_operations: [
-            "transfer_to (new owner address)",
-        ],
-        common_patterns: [
-            "⚠️ IRREVERSIBLE — new owner takes over ALL permissions",
-            "Only owner can transfer (assert_owner)",
-            "Can be called even after Progress binding (unlike agent_set)",
-            "New owner becomes the sole receiver of future payments",
-        ],
-        related_risks: ["R-O-3-01", "R-O-4-06"],
-        recommended_templates: ["T-O-05"],
-    },
-    {
-        id: "order_dispute_append",
-        name: "Append Arb to dispute list (package-only)",
-        operation_field: "lifecycle",
-        move_entry: "order::dispute (package-only)",
-        permission_layer: "L3_package_only",
-        reversibility: "append_only",
-        governed_operations: [
-            "dispute(arb) — append Arb address to order.dispute",
-        ],
-        common_patterns: [
-            "Called by Arbitration module (arb::create), NOT by external users",
-            "Max 10 Arb addresses (MAX_DISPUTE_COUNT)",
-            "Frozen when claimed_by is set (E_ORDER_ALREADY_CLAIMED)",
-            "Duplicate Arb addresses are silently skipped",
-        ],
-        related_risks: ["R-O-1-03", "R-O-3-03", "R-O-5-04"],
-        recommended_templates: ["T-O-04"],
-    },
-];
-export const ORDER_AUDIT_FORMULAS = {
-    status_inference: "if claimed_by != null: CLAIMED; " +
-        "elif progress != null: query Progress → terminal? COMPLETED : cancel? CANCELLED : IN_PROGRESS; " +
-        "elif dispute.length > 0: DISPUTED; " +
-        "else: CREATED",
-    amount_check: "order.amount = sum(items[].price * items[].quantity) - discount_value",
-    fund_balance: "order.amount = allocation_distributed + compensation_paid + refund_amount",
-    dispute_constraint: "dispute.length <= MAX_DISPUTE_COUNT (10); frozen when claimed_by.is_some()",
-    agent_constraint: "agent.length <= MAX_AGENT_COUNT (doc=10, ⚠️ actual=11 due to <= bug in agent_set_imp)",
-};
-export const ORDER_LEDGER_VERSION = "1.0.0";
-export function getScenesByOperationField(field) {
-    return ORDER_SCENES.filter(s => s.operation_field === field);
-}
-export function findSceneById(id) {
-    return ORDER_SCENES.find(s => s.id === id);
-}
-export function findSceneByMoveEntry(moveEntry) {
-    return ORDER_SCENES.find(s => s.move_entry.includes(moveEntry));
-}
-export function getScenesByPermissionLayer(layer) {
-    return ORDER_SCENES.filter(s => s.permission_layer === layer);
-}
-export function getScenesByReversibility(rev) {
-    return ORDER_SCENES.filter(s => s.reversibility === rev);
-}
-export function getFieldDef(moveName) {
-    return ORDER_FIELDS.find(f => f.move_name === moveName);
-}
-export function getMutableFields() {
-    return ORDER_FIELDS.filter(f => f.mutability_layer === 4);
-}
-export function getImmutableFields() {
-    return ORDER_FIELDS.filter(f => f.mutability_layer === 1);
-}
-export function getFrozenAfterProgressFields() {
-    return ORDER_FIELDS.filter(f => f.mutability_layer === 3);
-}
-export function getOneTimeSetFields() {
-    return ORDER_FIELDS.filter(f => f.mutability_layer === 2);
-}
-export function inferSceneFromIntent(intent) {
-    const lower = intent.toLowerCase();
-    const keywordMap = [
-        ["buy", "order_create"], ["purchase", "order_create"],
-        ["advance", "order_advance"], ["forward", "order_advance"], ["progress", "order_advance"],
-        ["set agent", "order_set_agent"], ["agent", "order_set_agent"],
-        ["required_info", "order_required_info"], ["recipient", "order_required_info"],
-        ["arb confirm", "order_arb_confirm"], ["apply arbitration", "order_arb_confirm"], ["apply compensation", "order_arb_confirm"],
-        ["objection", "order_arb_objection"], ["object", "order_arb_objection"],
-        ["claim compensation", "order_arb_claim_compensation"], ["claim", "order_arb_claim_compensation"],
-        ["receive", "order_receive"], ["collect", "order_receive"], ["withdraw", "order_receive"],
-        ["transfer", "order_transfer"], ["transfer ownership", "order_transfer"], ["handover", "order_transfer"],
-    ];
-    for (const [kw, sceneId] of keywordMap) {
-        if (lower.includes(kw.toLowerCase())) {
-            return findSceneById(sceneId);
-        }
-    }
-    return undefined;
-}
-export function getEmittedEvents() {
-    return ORDER_LIFECYCLE_EVENTS.filter(e => e.actually_emitted);
-}
-export function getInferredEvents() {
-    return ORDER_LIFECYCLE_EVENTS.filter(e => !e.actually_emitted);
-}
-export function getOrderScenesCount() {
-    return ORDER_SCENES.length;
-}
-export function sdkToMoveField(sdkName) {
-    const field = ORDER_FIELDS.find(f => f.sdk_name === sdkName);
-    return field?.move_name;
-}
-export function moveToSdkField(moveName) {
-    const field = ORDER_FIELDS.find(f => f.move_name === moveName);
-    return field?.sdk_name;
-}
+export const ORDER_FIELDS=[{'move_name':'id','sdk_name':'id','move_type':'UID','mutability_layer':0x1,'description':'Order\x20unique\x20ID'},{'move_name':'items','sdk_name':'items','move_type':'vector<SaleItem>','mutability_layer':0x1,'description':'Purchased\x20items\x20(created-immutable)'},{'move_name':'discount','sdk_name':'discount','move_type':'Option<address>','mutability_layer':0x1,'description':'Discount\x20object\x20address\x20(created-immutable)'},{'move_name':'progress','sdk_name':'progress','move_type':'Option<address>','mutability_layer':0x2,'description':'Progress\x20object\x20address\x20(one-time-set\x20via\x20on_progress)'},{'move_name':'machine','sdk_name':'machine','move_type':'Option<address>','mutability_layer':0x1,'description':'Machine\x20snapshot\x20copied\x20from\x20service.machine\x20at\x20buy\x20time'},{'move_name':'amount','sdk_name':'amount','move_type':'u64','mutability_layer':0x1,'description':'Order\x20amount\x20in\x20MIST\x20(created-immutable)'},{'move_name':'owner','sdk_name':'builder','move_type':'address','mutability_layer':0x3,'description':'Order\x20owner\x20/\x20buyer.\x20⚠️\x20SDK\x20field\x20name\x20is\x20\x27builder\x27\x20(only\x20naming\x20deviation\x20in\x2022\x20objects)'},{'move_name':'service','sdk_name':'service','move_type':'address','mutability_layer':0x1,'description':'Service\x20object\x20address\x20(created-immutable,\x20reference\x20only)'},{'move_name':'dispute','sdk_name':'dispute','move_type':'vector<address>','mutability_layer':0x4,'description':'Arb\x20object\x20addresses\x20(append-only,\x20max\x2010,\x20frozen\x20when\x20claimed_by\x20set)'},{'move_name':'agent','sdk_name':'agent','move_type':'vector<address>','mutability_layer':0x3,'description':'Agent\x20addresses\x20(max\x2010\x20per\x20docs,\x20⚠️\x20actual\x20allows\x2011\x20due\x20to\x20<=\x20bug;\x20frozen\x20after\x20progress\x20binding)'},{'move_name':'allocation','sdk_name':'allocation','move_type':'Option<address>','mutability_layer':0x2,'description':'Allocation\x20object\x20address\x20(one-time-set\x20via\x20on_allocation)'},{'move_name':'claimed_by','sdk_name':'claimed_by','move_type':'Option<address>','mutability_layer':0x2,'description':'Claimed\x20Arb\x20object\x20address\x20(one-time,\x20irreversible;\x20blocks\x20new\x20disputes)'},{'move_name':'required_info','sdk_name':'required_info','move_type':'Option<address>','mutability_layer':0x4,'description':'Contact\x20(recipient)\x20or\x20WTS\x20Proof\x20(delivery\x20proof);\x20mutable\x20by\x20owner\x20or\x20agent'},{'move_name':'time','sdk_name':'time','move_type':'u64','mutability_layer':0x1,'description':'Creation\x20timestamp\x20(clock::timestamp_ms)'}];export const ORDER_STATES=['CREATED','IN_PROGRESS','DISPUTED','CLAIMED','COMPLETED','CANCELLED'];export const ORDER_STATE_TRANSITIONS=[{'from':'CREATED','to':'IN_PROGRESS','trigger':'service::buy()\x20with\x20machine\x20→\x20on_progress\x20sets\x20progress'},{'from':'CREATED','to':'DISPUTED','trigger':'arb_confirm\x20→\x20dispute()\x20appends\x20Arb\x20address'},{'from':'CREATED','to':'COMPLETED','trigger':'Progress\x20reaches\x20terminal\x20(no\x20machine\x20path)\x20or\x20manual'},{'from':'IN_PROGRESS','to':'DISPUTED','trigger':'arb_confirm\x20→\x20dispute()\x20appends\x20Arb\x20address'},{'from':'IN_PROGRESS','to':'COMPLETED','trigger':'Progress\x20reaches\x20terminal\x20node'},{'from':'IN_PROGRESS','to':'CANCELLED','trigger':'Progress\x20reaches\x20cancel\x20node'},{'from':'DISPUTED','to':'CLAIMED','trigger':'arb_claim_compensation\x20→\x20compensate()\x20sets\x20claimed_by'},{'from':'DISPUTED','to':'COMPLETED','trigger':'Arb\x20resolution\x20+\x20Progress\x20terminal'},{'from':'DISPUTED','to':'CANCELLED','trigger':'Arb\x20resolution\x20=\x20cancel'}];export const ORDER_LIFECYCLE_EVENTS=[{'name':'NewOrderEvent','trigger':'service::buy()\x20phase\x205\x20(order::create)','emit_source':'order::create()','actually_emitted':!![],'fields':['object','service','progress','discount','allocation','amount']},{'name':'OrderCompletedEvent','trigger':'Progress\x20reaches\x20terminal','emit_source':'(not\x20implemented)','actually_emitted':![],'fields':['order','completion_time']},{'name':'OrderCancelledEvent','trigger':'Progress\x20reaches\x20cancel','emit_source':'(not\x20implemented)','actually_emitted':![],'fields':['order','cancel_reason']},{'name':'OrderAdvancedEvent','trigger':'order.progress\x20forward','emit_source':'(not\x20implemented)','actually_emitted':![],'fields':['order','from_node','to_node']},{'name':'OrderDisputeAppendedEvent','trigger':'arb_confirm\x20→\x20dispute()','emit_source':'(not\x20implemented)','actually_emitted':![],'fields':['order','arb']},{'name':'OrderClaimedEvent','trigger':'arb_claim_compensation\x20→\x20compensate()','emit_source':'(not\x20implemented)','actually_emitted':![],'fields':['order','arb','claimed_by']},{'name':'OwnerChangedEvent','trigger':'owner_change\x20/\x20transfer_to','emit_source':'(not\x20implemented)','actually_emitted':![],'fields':['order','old_owner','new_owner']},{'name':'AgentSetEvent','trigger':'agent_set','emit_source':'(not\x20implemented)','actually_emitted':![],'fields':['order','agent_list']},{'name':'RequiredInfoUpdatedEvent','trigger':'required_info_update','emit_source':'(not\x20implemented)','actually_emitted':![],'fields':['order','required_info']},{'name':'AllocationBoundEvent','trigger':'on_allocation','emit_source':'(not\x20implemented)','actually_emitted':![],'fields':['order','allocation']},{'name':'ProgressBoundEvent','trigger':'on_progress','emit_source':'(not\x20implemented)','actually_emitted':![],'fields':['order','progress']}];export const ORDER_PERMISSION_MATRIX=[{'operation':'owner_receive\x20/\x20receive','move_function':'owner_receive\x20/\x20owner_receive_object','layer':'L1_owner_only','aborts_with':'E_OWNER','notes':'Only\x20owner\x20can\x20collect\x20payments.\x20Agent\x20CANNOT\x20receive.'},{'operation':'transfer_to\x20(ownership\x20transfer)','move_function':'owner_change','layer':'L1_owner_only','aborts_with':'E_OWNER','notes':'Irreversible.\x20New\x20owner\x20takes\x20over\x20ALL\x20permissions.'},{'operation':'owner_change\x20(pre-progress)','move_function':'owner_change','layer':'L1_owner_only','aborts_with':'E_OWNER,\x20E_PROGRESS_NOT_SPECIFIED','notes':'Frozen\x20after\x20progress\x20binding.'},{'operation':'agent_set','move_function':'agent_set','layer':'L1_owner_only','aborts_with':'E_OWNER,\x20E_PROGRESS_NOT_SPECIFIED,\x20E_AGENT_COUNT_EXCEEDED','notes':'Frozen\x20after\x20progress\x20binding.\x20⚠️\x20Boundary\x20bug:\x20actual\x20max\x2011\x20(not\x2010).'},{'operation':'required_info_update','move_function':'required_info_update','layer':'L2_owner_or_agent','aborts_with':'E_PERMISSION','notes':'Both\x20owner\x20and\x20agent\x20can\x20update.'},{'operation':'progress\x20(advance)','move_function':'(progress::operate)','layer':'L2_owner_or_agent','aborts_with':'E_PERMISSION','notes':'Both\x20owner\x20and\x20agent\x20can\x20advance\x20Progress.'},{'operation':'arb_confirm','move_function':'(arb::principal_confirm)','layer':'L2_owner_or_agent','aborts_with':'E_PERMISSION','notes':'Both\x20can\x20file\x20arbitration.\x20Irreversible.'},{'operation':'arb_objection','move_function':'(arb::objection)','layer':'L2_owner_or_agent','aborts_with':'E_PERMISSION','notes':'Both\x20can\x20object\x20to\x20Arb\x20ruling.\x20Irreversible.'},{'operation':'arb_claim_compensation','move_function':'(service::compensation_claim)','layer':'L2_owner_or_agent','aborts_with':'E_PERMISSION,\x20E_ORDER_ALREADY_CLAIMED','notes':'Sets\x20claimed_by\x20—\x20one-time,\x20irreversible.'},{'operation':'on_progress\x20(package-only)','move_function':'on_progress','layer':'L3_package_only','aborts_with':'E_PROGRESS_ALREADY_SPECIFIED','notes':'Progress\x20module\x20writes\x20back.\x20No\x20external\x20access.'},{'operation':'on_allocation\x20(package-only)','move_function':'on_allocation','layer':'L3_package_only','aborts_with':'E_ALLOCATION_ALREADY_SPECIFIED','notes':'Allocation\x20module\x20writes\x20back.\x20No\x20external\x20access.'},{'operation':'dispute\x20(package-only)','move_function':'dispute','layer':'L3_package_only','aborts_with':'E_ORDER_ALREADY_CLAIMED,\x20E_DISPUTE_COUNT_EXCEEDED','notes':'Arbitration\x20module\x20appends\x20Arb\x20address.'},{'operation':'compensate\x20(package-only)','move_function':'compensate','layer':'L3_package_only','aborts_with':'E_ORDER_ALREADY_CLAIMED','notes':'Arbitration\x20module\x20sets\x20claimed_by.\x20Irreversible.'}];export const ORDER_SCENES=[{'id':'order_create','name':'Create\x20order\x20via\x20service::buy\x20(composite\x20creation)','operation_field':'object','move_entry':'service::buy\x20→\x20order::new\x20→\x20order::create','permission_layer':'L3_package_only','reversibility':'irreversible','governed_operations':['service::buy(items,\x20discount,\x20machine_forward?,\x20named_order?)','order::new\x20(package-only)','allocation::new\x20+\x20order::on_allocation\x20(if\x20order_allocators\x20configured)','progress::new\x20+\x20order::on_progress\x20(if\x20machine\x20configured)','order::create\x20+\x20emit\x20NewOrderEvent'],'common_patterns':['Composite\x20creation:\x20Order\x20+\x20Allocation\x20+\x20Progress\x20in\x20one\x20transaction','Service.machine\x20is\x20SNAPSHOTTED\x20to\x20order.machine\x20(not\x20a\x20reference)','owner\x20=\x20tx_context::sender\x20(buyer);\x20agent\x20=\x20[]\x20initially','Allotment\x206\x20phases\x20are\x20atomic\x20—\x20any\x20failure\x20rolls\x20back\x20fully'],'related_risks':['R-O-1-05','R-O-2-01','R-O-4-01','R-O-5-01'],'recommended_templates':['T-O-01','T-O-02','T-O-03']},{'id':'order_advance','name':'Advance\x20Progress\x20(forward/hold)','operation_field':'progress','move_entry':'progress::operate\x20(via\x20order.progress\x20delegation)','permission_layer':'L2_owner_or_agent','reversibility':'irreversible','governed_operations':['progress.operation.next_node_name\x20+\x20forward','progress.op\x20(next/hold/unhold/adminUnhold)','progress.message\x20(optional)'],'common_patterns':['Both\x20owner\x20and\x20agent\x20can\x20advance\x20—\x20agent\x20enables\x20third-party\x20logistics','Node\x20transition\x20is\x20irreversible\x20(no\x20backward\x20movement)','Forward.guard\x20may\x20require\x20Guard\x20submission'],'related_risks':['R-O-3-02','R-O-4-03','R-O-5-03'],'recommended_templates':['T-O-02']},{'id':'order_set_agent','name':'Set\x20agent\x20list\x20(owner-only,\x20frozen\x20after\x20progress)','operation_field':'agent','move_entry':'order::agent_set','permission_layer':'L1_owner_only','reversibility':'frozen_after_progress','governed_operations':['agent_set\x20(overwrites\x20entire\x20agent\x20list)'],'common_patterns':['Set\x20agents\x20BEFORE\x20service::buy\x20triggers\x20Progress\x20binding','⚠️\x20Boundary\x20bug:\x20actual\x20max\x2011\x20(Move\x20uses\x20<=,\x20doc\x20says\x2010)','Agents\x20can\x20operate\x20order\x20but\x20CANNOT\x20receive\x20funds','After\x20progress.is_some(),\x20agent_set\x20aborts\x20E_PROGRESS_NOT_SPECIFIED'],'related_risks':['R-O-1-04','R-O-3-01','R-O-4-02'],'recommended_templates':['T-O-03']},{'id':'order_required_info','name':'Update\x20required_info\x20(Contact\x20or\x20WTS\x20Proof)','operation_field':'required_info','move_entry':'order::required_info_update','permission_layer':'L2_owner_or_agent','reversibility':'reversible','governed_operations':['required_info_update\x20(set\x20Contact\x20or\x20WTS\x20Proof\x20address)','required_info\x20=\x20null\x20(clear)'],'common_patterns':['Contact\x20object\x20=\x20recipient\x20info\x20(shipping\x20address)','WTS\x20Proof\x20object\x20=\x20delivery\x20proof\x20(via\x20Wowok\x20Messenger)','Both\x20owner\x20and\x20agent\x20can\x20update\x20—\x20useful\x20for\x20logistics\x20agent'],'related_risks':['R-O-3-02'],'recommended_templates':['T-O-01']},{'id':'order_arb_confirm','name':'Apply\x20for\x20arbitration\x20compensation','operation_field':'arb_confirm','move_entry':'arb::principal_confirm\x20/\x20arb::description_change\x20/\x20arb::proposition_change','permission_layer':'L2_owner_or_agent','reversibility':'irreversible','governed_operations':['arb_confirm.confirm\x20(true=confirm\x20materials,\x20false=deny)','arb_confirm.description\x20(compensation\x20application\x20description)','arb_confirm.proposition\x20(compensation\x20claims\x20list)'],'common_patterns':['Triggers\x20Arb\x20→\x20dispute()\x20appends\x20Arb\x20to\x20order.dispute','Both\x20owner\x20and\x20agent\x20can\x20file\x20—\x20agent\x20useful\x20for\x20representative\x20cases','Once\x20filed,\x20the\x20Arb\x20process\x20is\x20irreversible'],'related_risks':['R-O-3-03','R-O-4-04','R-O-5-04'],'recommended_templates':['T-O-04']},{'id':'order_arb_objection','name':'Object\x20to\x20arbitration\x20result','operation_field':'arb_objection','move_entry':'arb::objection','permission_layer':'L2_owner_or_agent','reversibility':'irreversible','governed_operations':['arb_objection.objection\x20(reason\x20for\x20re-arbitration)'],'common_patterns':['Requires\x20Arb\x20status\x20=\x20Arbitrated\x20(after\x20ruling)','Triggers\x20re-arbitration\x20flow','Both\x20owner\x20and\x20agent\x20can\x20object'],'related_risks':['R-O-3-03','R-O-4-04'],'recommended_templates':['T-O-04']},{'id':'order_arb_claim_compensation','name':'Claim\x20compensation\x20(sets\x20claimed_by,\x20irreversible)','operation_field':'arb_claim_compensation','move_entry':'service::compensation_claim\x20→\x20order::compensate','permission_layer':'L2_owner_or_agent','reversibility':'irreversible','governed_operations':['arb_claim_compensation.arb\x20(the\x20ruled\x20Arb\x20object)','compensate()\x20sets\x20order.claimed_by\x20=\x20arb'],'common_patterns':['⚠️\x20ONE-TIME,\x20IRREVERSIBLE\x20—\x20claimed_by\x20cannot\x20be\x20reset','After\x20claim,\x20NO\x20new\x20disputes\x20can\x20be\x20filed\x20(E_ORDER_ALREADY_CLAIMED)','Requires\x20Arb\x20status\x20=\x20Arbitrated','Both\x20owner\x20and\x20agent\x20can\x20claim'],'related_risks':['R-O-3-03','R-O-4-04','R-O-5-04'],'recommended_templates':['T-O-06']},{'id':'order_receive','name':'Receive\x20payment\x20(owner-only)','operation_field':'receive','move_entry':'order::owner_receive\x20/\x20order::owner_receive_object','permission_layer':'L1_owner_only','reversibility':'reversible','governed_operations':['receive\x20CoinWrapper\x20(unwrap\x20and\x20forward\x20to\x20owner)','receive\x20arbitrary\x20Receiving<K>\x20object'],'common_patterns':['⚠️\x20Only\x20owner\x20can\x20receive\x20—\x20agent\x20CANNOT','Aborts\x20E_ORDER_DELIVERING\x20if\x20Progress\x20not\x20at\x20terminal\x20node','Can\x20be\x20called\x20multiple\x20times\x20(e.g.\x20partial\x20refunds)','Receives\x20are\x20unwrapped\x20and\x20transferred\x20to\x20owner\x20address'],'related_risks':['R-O-3-01','R-O-4-05'],'recommended_templates':['T-O-05']},{'id':'order_transfer','name':'Transfer\x20order\x20ownership\x20(irreversible)','operation_field':'transfer_to','move_entry':'order::owner_change','permission_layer':'L1_owner_only','reversibility':'irreversible','governed_operations':['transfer_to\x20(new\x20owner\x20address)'],'common_patterns':['⚠️\x20IRREVERSIBLE\x20—\x20new\x20owner\x20takes\x20over\x20ALL\x20permissions','Only\x20owner\x20can\x20transfer\x20(assert_owner)','Can\x20be\x20called\x20even\x20after\x20Progress\x20binding\x20(unlike\x20agent_set)','New\x20owner\x20becomes\x20the\x20sole\x20receiver\x20of\x20future\x20payments'],'related_risks':['R-O-3-01','R-O-4-06'],'recommended_templates':['T-O-05']},{'id':'order_dispute_append','name':'Append\x20Arb\x20to\x20dispute\x20list\x20(package-only)','operation_field':'lifecycle','move_entry':'order::dispute\x20(package-only)','permission_layer':'L3_package_only','reversibility':'append_only','governed_operations':['dispute(arb)\x20—\x20append\x20Arb\x20address\x20to\x20order.dispute'],'common_patterns':['Called\x20by\x20Arbitration\x20module\x20(arb::create),\x20NOT\x20by\x20external\x20users','Max\x2010\x20Arb\x20addresses\x20(MAX_DISPUTE_COUNT)','Frozen\x20when\x20claimed_by\x20is\x20set\x20(E_ORDER_ALREADY_CLAIMED)','Duplicate\x20Arb\x20addresses\x20are\x20silently\x20skipped'],'related_risks':['R-O-1-03','R-O-3-03','R-O-5-04'],'recommended_templates':['T-O-04']}];export const ORDER_AUDIT_FORMULAS={'status_inference':'if\x20claimed_by\x20!=\x20null:\x20CLAIMED;\x20'+'elif\x20progress\x20!=\x20null:\x20query\x20Progress\x20→\x20terminal?\x20COMPLETED\x20:\x20cancel?\x20CANCELLED\x20:\x20IN_PROGRESS;\x20'+'elif\x20dispute.length\x20>\x200:\x20DISPUTED;\x20'+'else:\x20CREATED','amount_check':'order.amount\x20=\x20sum(items[].price\x20*\x20items[].quantity)\x20-\x20discount_value','fund_balance':'order.amount\x20=\x20allocation_distributed\x20+\x20compensation_paid\x20+\x20refund_amount','dispute_constraint':'dispute.length\x20<=\x20MAX_DISPUTE_COUNT\x20(10);\x20frozen\x20when\x20claimed_by.is_some()','agent_constraint':'agent.length\x20<=\x20MAX_AGENT_COUNT\x20(doc=10,\x20⚠️\x20actual=11\x20due\x20to\x20<=\x20bug\x20in\x20agent_set_imp)'};export const ORDER_LEDGER_VERSION='1.0.0';export function getScenesByOperationField(a){return ORDER_SCENES['filter'](b=>b['operation_field']===a);}export function findSceneById(a){return ORDER_SCENES['find'](b=>b['id']===a);}export function findSceneByMoveEntry(a){return ORDER_SCENES['find'](b=>b['move_entry']['includes'](a));}export function getScenesByPermissionLayer(a){return ORDER_SCENES['filter'](b=>b['permission_layer']===a);}export function getScenesByReversibility(a){return ORDER_SCENES['filter'](b=>b['reversibility']===a);}export function getFieldDef(a){return ORDER_FIELDS['find'](b=>b['move_name']===a);}export function getMutableFields(){return ORDER_FIELDS['filter'](a=>a['mutability_layer']===0x4);}export function getImmutableFields(){return ORDER_FIELDS['filter'](a=>a['mutability_layer']===0x1);}export function getFrozenAfterProgressFields(){return ORDER_FIELDS['filter'](a=>a['mutability_layer']===0x3);}export function getOneTimeSetFields(){return ORDER_FIELDS['filter'](a=>a['mutability_layer']===0x2);}export function inferSceneFromIntent(a){const b=a['toLowerCase'](),c=[['buy','order_create'],['purchase','order_create'],['advance','order_advance'],['forward','order_advance'],['progress','order_advance'],['set\x20agent','order_set_agent'],['agent','order_set_agent'],['required_info','order_required_info'],['recipient','order_required_info'],['arb\x20confirm','order_arb_confirm'],['apply\x20arbitration','order_arb_confirm'],['apply\x20compensation','order_arb_confirm'],['objection','order_arb_objection'],['object','order_arb_objection'],['claim\x20compensation','order_arb_claim_compensation'],['claim','order_arb_claim_compensation'],['receive','order_receive'],['collect','order_receive'],['withdraw','order_receive'],['transfer','order_transfer'],['transfer\x20ownership','order_transfer'],['handover','order_transfer']];for(const [d,e]of c){if(b['includes'](d['toLowerCase']()))return findSceneById(e);}return undefined;}export function getEmittedEvents(){return ORDER_LIFECYCLE_EVENTS['filter'](a=>a['actually_emitted']);}export function getInferredEvents(){return ORDER_LIFECYCLE_EVENTS['filter'](a=>!a['actually_emitted']);}export function getOrderScenesCount(){return ORDER_SCENES['length'];}export function sdkToMoveField(a){const b=ORDER_FIELDS['find'](c=>c['sdk_name']===a);return b?.['move_name'];}export function moveToSdkField(a){const b=ORDER_FIELDS['find'](c=>c['move_name']===a);return b?.['sdk_name'];}