@wowok/agent-mcp 3.0.2 → 3.0.3

package/dist/knowledge/order-risk.js

@@ -1 +1 @@
-import{MAX_AGENT_COUNT,MAX_DISPUTE_COUNT}from'@wowok/wowok';import{findSceneById}from'./order-ledger.js';const R_O_1_01={'id':'R-O-1-01','category':'structural','trigger':'Order\x20has\x2014\x20fields\x20but\x20no\x20Permission\x20field\x20(unique\x20among\x2022\x20objects)','check':a=>{if(a['is_buy_operation'])return{'id':'R-O-1-01','level':'LOW','category':'structural','title':'Order\x20uses\x20owner/agent\x20dual-layer\x20(no\x20Permission)','description':'Order\x20is\x20the\x20only\x20business\x20object\x20among\x2022\x20WoWok\x20objects\x20that\x20does\x20NOT\x20use\x20the\x20Permission\x20system.\x20All\x20access\x20control\x20flows\x20through\x20assert_owner\x20and\x20has_op_permission\x20inline\x20functions.','affected_stakeholders':['system','owner','agent'],'scenario':'Developer\x20assumes\x20Order\x20uses\x20Permission\x20and\x20writes\x20permission::check\x20logic','mitigation':'Use\x20owner/agent\x20checks\x20directly.\x20Do\x20NOT\x20attempt\x20to\x20apply\x20a\x20Permission\x20object\x20to\x20Order.','evidence':'no_permission_field'};return null;}},R_O_1_02={'id':'R-O-1-02','category':'structural','trigger':'Item\x20count\x20check\x20(informational;\x20no\x20Move-level\x20limit\x20on\x20items)','check':a=>{if(!a['items']||a['items']['length']===0x0)return null;if(a['items']['length']>0x32)return{'id':'R-O-1-02','level':'LOW','category':'structural','title':'Large\x20items\x20list\x20may\x20exceed\x20tx\x20size\x20limits','description':a['items']['length']+'\x20items\x20in\x20a\x20single\x20Order\x20—\x20no\x20protocol\x20limit,\x20but\x20large\x20lists\x20increase\x20transaction\x20size\x20and\x20may\x20hit\x20gas/size\x20limits','affected_stakeholders':['owner'],'scenario':'Bulk\x20purchase\x20with\x20many\x20line\x20items','mitigation':'Split\x20into\x20multiple\x20Orders\x20if\x20items\x20>\x2050','evidence':'items_count='+a['items']['length']};return null;}},R_O_1_03={'id':'R-O-1-03','category':'structural','trigger':'dispute\x20count\x20>=\x20MAX_DISPUTE_COUNT\x20(10)','check':a=>{const b=a['current_dispute_count']??0x0;if(b>=MAX_DISPUTE_COUNT)return{'id':'R-O-1-03','level':'HIGH','category':'structural','title':'Dispute\x20count\x20at\x20MAX_DISPUTE_COUNT\x20limit','description':'Order\x20already\x20has\x20'+b+'\x20disputes\x20(MAX_DISPUTE_COUNT='+MAX_DISPUTE_COUNT+').\x20Next\x20dispute()\x20call\x20will\x20abort\x20E_DISPUTE_COUNT_EXCEEDED.','affected_stakeholders':['owner','agent','arbitrator'],'scenario':'Filing\x2011th\x20dispute\x20on\x20an\x20Order\x20with\x2010\x20existing\x20disputes','mitigation':'Resolve\x20existing\x20disputes\x20(via\x20arb_claim_compensation)\x20before\x20filing\x20new\x20ones.\x20Note:\x20claimed_by\x20blocks\x20ALL\x20future\x20disputes.','evidence':'dispute_count='+b};return null;}},R_O_1_04={'id':'R-O-1-04','category':'structural','trigger':'agent\x20count\x20>\x20MAX_AGENT_COUNT\x20(doc=10,\x20actual\x20allows\x2011\x20due\x20to\x20<=\x20bug)','check':a=>{if(!a['agent_set'])return null;const b=a['agent_set']['agents']['length'];if(b>MAX_AGENT_COUNT)return{'id':'R-O-1-04','level':'HIGH','category':'structural','title':'Agent\x20count\x20exceeds\x20documented\x20MAX_AGENT_COUNT\x20(boundary\x20bug)','description':'Attempting\x20to\x20set\x20'+b+'\x20agents.\x20Doc\x20says\x20MAX_AGENT_COUNT='+MAX_AGENT_COUNT+',\x20but\x20Move\x20agent_set_imp\x20uses\x20<=\x20instead\x20of\x20<,\x20actually\x20allowing\x2011.\x20SDK\x20constant\x20=\x20'+MAX_AGENT_COUNT+'\x20does\x20not\x20match\x20chain\x20behavior.','affected_stakeholders':['owner','system'],'scenario':'Setting\x2011\x20agents\x20—\x20succeeds\x20on\x20chain\x20but\x20contradicts\x20SDK/docs','mitigation':'Treat\x2010\x20as\x20the\x20soft\x20cap\x20(matching\x20docs).\x20If\x2011\x20is\x20intentional,\x20document\x20the\x20boundary\x20bug\x20explicitly.\x20Long-term:\x20fix\x20Move\x20to\x20use\x20<\x20and\x20sync\x20SDK.','evidence':'agent_count='+b+',\x20max_doc='+MAX_AGENT_COUNT+',\x20max_actual=11'};return null;}},R_O_1_05={'id':'R-O-1-05','category':'structural','trigger':'wip_hash\x20is\x20empty\x20string\x20in\x20any\x20item','check':a=>{if(!a['items'])return null;const b=a['items']['find'](c=>!c['wip_hash']||c['wip_hash']==='');if(b)return{'id':'R-O-1-05','level':'HIGH','category':'structural','title':'Empty\x20wip_hash\x20in\x20item','description':'Item\x20\x22'+b['name']+'\x22\x20has\x20empty\x20wip_hash.\x20Move\x20rejects\x20empty\x20strings\x20(F-O-18).','affected_stakeholders':['owner'],'scenario':'User\x20submits\x20item\x20without\x20computing\x20WIP\x20hash','mitigation':'Compute\x20wip_hash\x20from\x20the\x20work-in-progress\x20file\x20content\x20before\x20service::buy().','evidence':'item_name='+b['name']};return null;}},R_O_2_01={'id':'R-O-2-01','category':'semantic','trigger':'Order.machine\x20snapshot\x20differs\x20from\x20current\x20Service.machine','check':a=>{if(!a['current_service_machine']||!a['order_machine_snapshot'])return null;if(a['current_service_machine']!==a['order_machine_snapshot'])return{'id':'R-O-2-01','level':'HIGH','category':'semantic','title':'Machine\x20snapshot\x20diverges\x20from\x20Service.machine','description':'Order.machine='+a['order_machine_snapshot']+'\x20was\x20snapshotted\x20at\x20buy\x20time.\x20Service.machine\x20is\x20now\x20'+a['current_service_machine']+'.\x20Same\x20Service\x20has\x20Orders\x20running\x20different\x20Machine\x20versions.','affected_stakeholders':['owner','service_provider','arbitrator'],'scenario':'Service\x20provider\x20upgrades\x20Machine\x20after\x20some\x20Orders\x20are\x20created','mitigation':'Audit\x20each\x20Order\x27s\x20machine\x20snapshot\x20separately.\x20Document\x20Machine\x20version\x20per\x20Order.\x20Plan\x20migration\x20paths\x20for\x20legacy\x20Orders.','evidence':'order_machine='+a['order_machine_snapshot']+',\x20service_machine='+a['current_service_machine']};return null;}},R_O_2_02={'id':'R-O-2-02','category':'semantic','trigger':'SDK\x20uses\x20\x27builder\x27\x20field\x20for\x20Move\x27s\x20\x27owner\x27\x20field\x20(naming\x20deviation)','check':a=>{if(a['object'])return{'id':'R-O-2-02','level':'MEDIUM','category':'semantic','title':'SDK\x20builder\x20≠\x20Move\x20owner\x20(only\x20naming\x20deviation\x20in\x2022\x20objects)','description':'SDK\x20ObjectOrder.builder\x20corresponds\x20to\x20Move\x20Order.owner.\x20This\x20is\x20the\x20only\x20field\x20name\x20deviation\x20across\x20all\x2022\x20WoWok\x20objects.\x20All\x20Order\x20knowledge\x20uses\x20Move\x27s\x20\x27owner\x27\x20as\x20canonical.','affected_stakeholders':['system'],'scenario':'Developer\x20reads\x20SDK\x20\x27builder\x27\x20and\x20assumes\x20it\x27s\x20a\x20different\x20concept\x20from\x20owner','mitigation':'Use\x20moveToSdkField()/sdkToMoveField()\x20helpers\x20from\x20order-ledger.ts.\x20Document\x20\x27builder\x20=\x20owner\x27\x20in\x20all\x20SDK\x20consumers.','evidence':'sdk_field=builder,\x20move_field=owner'};return null;}},R_O_2_03={'id':'R-O-2-03','category':'semantic','trigger':'owner_change\x20or\x20agent_set\x20aborted\x20with\x20E_PROGRESS_NOT_SPECIFIED\x20(dual\x20semantics)','check':a=>{if(!a['operation'])return null;if(a['operation']==='agent_set'&&a['progress_bound'])return{'id':'R-O-2-03','level':'MEDIUM','category':'semantic','title':'E_PROGRESS_NOT_SPECIFIED\x20dual\x20semantics\x20(literal\x20vs\x20actual)','description':'agent_set\x20aborted\x20because\x20progress.is_some()\x20—\x20but\x20error\x20code\x20says\x20\x27PROGRESS_NOT_SPECIFIED\x27.\x20The\x20code\x20is\x20used\x20in\x20two\x20OPPOSITE\x20scenarios:\x20(A)\x20progress.is_none()\x20during\x20on_progress\x20(literal),\x20(B)\x20progress.is_some()\x20during\x20owner_change/agent_set\x20(opposite).','affected_stakeholders':['owner','agent'],'scenario':'User\x20sees\x20\x27Progress\x20not\x20specified\x27\x20error\x20when\x20Progress\x20IS\x20specified\x20—\x20confusion','mitigation':'Translate\x20error\x20to:\x20\x27Cannot\x20modify\x20owner/agent:\x20Progress\x20already\x20bound\x20(frozen).\x27\x20Long-term:\x20split\x20into\x20two\x20error\x20codes\x20(E_PROGRESS_ALREADY_BOUND\x20and\x20E_PROGRESS_NOT_SPECIFIED).','evidence':'operation='+a['operation']+',\x20progress_bound='+a['progress_bound']};return null;}},R_O_2_04={'id':'R-O-2-04','category':'semantic','trigger':'SaleItem.item\x20→\x20PurchasedItem.name\x20field\x20name\x20mapping','check':a=>{if(a['is_buy_operation'])return{'id':'R-O-2-04','level':'LOW','category':'semantic','title':'SaleItem.item\x20(Move)\x20maps\x20to\x20PurchasedItem.name\x20(SDK)','description':'Move\x20struct\x20SaleItem\x20uses\x20field\x20\x27item\x27,\x20but\x20SDK\x20ObjectOrder.items\x20uses\x20field\x20\x27name\x27.\x20This\x20is\x20the\x20second\x20naming\x20deviation\x20in\x20Order\x20system\x20(after\x20builder/owner).','affected_stakeholders':['system'],'scenario':'Cross-layer\x20data\x20mapping\x20between\x20Move\x20and\x20SDK','mitigation':'Use\x20consistent\x20SDK\x20field\x20names\x20in\x20user-facing\x20code;\x20document\x20Move\x20↔\x20SDK\x20mapping\x20in\x20audit\x20logs.','evidence':'move_field=SaleItem.item,\x20sdk_field=PurchasedItem.name'};return null;}},R_O_3_01={'id':'R-O-3-01','category':'authority','trigger':'Agent\x20attempts\x20receive\x20or\x20transfer_to\x20(L1\x20owner-only\x20operations)','check':a=>{if(!a['operation'])return null;if((a['operation']==='receive'||a['operation']==='transfer_to')&&a['caller_is_agent']&&!a['caller_is_owner'])return{'id':'R-O-3-01','level':'HIGH','category':'authority','title':'Agent\x20attempting\x20owner-only\x20operation','description':'Agent\x20cannot\x20call\x20'+a['operation']+'\x20—\x20these\x20are\x20L1\x20owner-only\x20operations\x20(assert_owner).\x20Agent\x20can\x20operate\x20progress/arb_*/required_info\x20but\x20CANNOT\x20receive\x20funds\x20or\x20transfer\x20ownership.','affected_stakeholders':['agent','owner'],'scenario':'Logistics\x20agent\x20tries\x20to\x20collect\x20payment\x20on\x20behalf\x20of\x20buyer','mitigation':'Owner\x20must\x20call\x20receive/transfer_to\x20directly.\x20If\x20delegation\x20is\x20needed,\x20owner\x20can\x20transfer_to\x20a\x20multi-sig\x20wallet\x20that\x20includes\x20the\x20agent.','evidence':'operation='+a['operation']+',\x20caller=agent'};return null;}},R_O_3_02={'id':'R-O-3-02','category':'authority','trigger':'Non-owner\x20non-agent\x20attempts\x20operation\x20(no\x20permission)','check':a=>{if(!a['operation'])return null;if(a['caller_is_owner']===![]&&a['caller_is_agent']===![])return{'id':'R-O-3-02','level':'HIGH','category':'authority','title':'Non-owner\x20non-agent\x20attempting\x20operation','description':'Caller\x20is\x20neither\x20owner\x20nor\x20agent.\x20All\x20Order\x20operations\x20require\x20at\x20least\x20has_op_permission\x20(L2\x20layer).\x20Aborts\x20E_PERMISSION.','affected_stakeholders':['system'],'scenario':'Random\x20address\x20attempts\x20to\x20advance\x20someone\x20else\x27s\x20Order','mitigation':'Verify\x20caller\x20is\x20owner\x20or\x20in\x20agent[]\x20before\x20submitting\x20transaction.','evidence':'operation='+a['operation']+',\x20caller=unauthorized'};return null;}},R_O_3_03={'id':'R-O-3-03','category':'authority','trigger':'arb_claim_compensation\x20called\x20(sets\x20claimed_by,\x20irreversible)','check':a=>{if(a['operation']!=='arb_claim_compensation')return null;return{'id':'R-O-3-03','level':'HIGH','category':'authority','title':'arb_claim_compensation\x20is\x20IRREVERSIBLE\x20(claimed_by\x20one-time\x20set)','description':'Setting\x20claimed_by\x20is\x20permanent.\x20After\x20this\x20call:\x20(1)\x20claimed_by\x20cannot\x20be\x20reset,\x20(2)\x20NO\x20new\x20disputes\x20can\x20be\x20filed\x20(E_ORDER_ALREADY_CLAIMED),\x20(3)\x20all\x20unresolved\x20disputes\x20become\x20unactionable.\x20If\x20first\x20compensation\x20is\x20insufficient,\x20buyer\x20has\x20no\x20recourse.','affected_stakeholders':['owner','agent','arbitrator'],'scenario':'Buyer\x20claims\x20partial\x20compensation,\x20then\x20discovers\x20additional\x20damages','mitigation':'BEFORE\x20claiming:\x20(1)\x20enumerate\x20ALL\x20disputes,\x20(2)\x20ensure\x20proposition\x20covers\x20all\x20damages,\x20(3)\x20confirm\x20Arb\x20ruling\x20is\x20final.\x20Add\x20explicit\x20user\x20confirmation\x20(C-O-08).','evidence':'operation=arb_claim_compensation,\x20current_claimed_by='+(a['claimed_by_set']??![])};}},R_O_3_04={'id':'R-O-3-04','category':'authority','trigger':'dispute\x20attempted\x20after\x20claimed_by\x20is\x20set','check':a=>{if(a['claimed_by_set']&&(a['operation']==='arb_confirm'||a['operation']==='arb_objection'))return{'id':'R-O-3-04','level':'HIGH','category':'authority','title':'Cannot\x20file\x20new\x20dispute\x20after\x20claimed_by\x20is\x20set','description':'Order.claimed_by\x20is\x20set\x20—\x20any\x20new\x20dispute()\x20call\x20aborts\x20E_ORDER_ALREADY_CLAIMED.\x20arb_confirm/arb_objection\x20trigger\x20dispute()\x20internally.','affected_stakeholders':['owner','agent'],'scenario':'Buyer\x20claims\x20compensation\x20then\x20tries\x20to\x20file\x20additional\x20dispute','mitigation':'Resolve\x20ALL\x20disputes\x20BEFORE\x20calling\x20arb_claim_compensation.\x20claimed_by\x20is\x20terminal\x20for\x20dispute\x20flow.','evidence':'operation='+a['operation']+',\x20claimed_by_set=true'};return null;}},R_O_4_01={'id':'R-O-4-01','category':'lifecycle','trigger':'Attempt\x20to\x20create\x20Order\x20independently\x20(not\x20via\x20service::buy)','check':a=>{if(a['is_buy_operation']===![]&&a['operation']==='service_buy'&&!a['object'])return{'id':'R-O-4-01','level':'CRITICAL','category':'lifecycle','title':'Order\x20cannot\x20be\x20created\x20independently\x20(compound\x20creation\x20only)','description':'order::new()\x20is\x20package-only\x20—\x20only\x20service::buy()\x20can\x20create\x20Orders.\x20Any\x20attempt\x20to\x20call\x20order::new\x20directly\x20will\x20fail\x20at\x20the\x20Move\x20module\x20boundary.\x20Order\x20+\x20Allocation\x20+\x20Progress\x20are\x20created\x20atomically\x20in\x20one\x20transaction.','affected_stakeholders':['system','owner'],'scenario':'Developer\x20tries\x20to\x20construct\x20Order\x20independently\x20for\x20testing','mitigation':'Always\x20use\x20service::buy()\x20to\x20create\x20Orders.\x20For\x20testing,\x20deploy\x20a\x20minimal\x20Service\x20with\x20machine/allocators\x20configured.','evidence':'independent_creation_attempted'};return null;}},R_O_4_02={'id':'R-O-4-02','category':'lifecycle','trigger':'agent_set\x20or\x20owner_change\x20attempted\x20after\x20Progress\x20binding','check':a=>{if(!a['operation'])return null;if(a['operation']==='agent_set'&&a['progress_bound'])return{'id':'R-O-4-02','level':'HIGH','category':'lifecycle','title':'agent_set\x20blocked\x20—\x20Progress\x20binding\x20frozen\x20owner/agent','description':'Once\x20order.progress\x20is\x20set\x20(during\x20service::buy\x20if\x20Service\x20has\x20machine),\x20agent_set\x20and\x20owner_change\x20abort\x20E_PROGRESS_NOT_SPECIFIED.\x20Owner/agent\x20must\x20be\x20finalized\x20BEFORE\x20buy.','affected_stakeholders':['owner','agent'],'scenario':'Buyer\x20wants\x20to\x20add\x20agent\x20mid-fulfillment\x20after\x20Progress\x20is\x20bound','mitigation':'Set\x20agent\x20list\x20BEFORE\x20service::buy\x20(via\x20pre-buy\x20configuration).\x20If\x20post-buy\x20agent\x20change\x20is\x20needed,\x20use\x20transfer_to\x20a\x20new\x20owner\x20who\x20has\x20the\x20desired\x20agents.','evidence':'operation=agent_set,\x20progress_bound='+a['progress_bound']};return null;}},R_O_4_03={'id':'R-O-4-03','category':'lifecycle','trigger':'Progress\x20advance\x20attempted\x20without\x20progress\x20bound','check':a=>{if(a['operation']==='progress_advance'&&a['progress_bound']===![])return{'id':'R-O-4-03','level':'HIGH','category':'lifecycle','title':'Cannot\x20advance\x20Progress\x20—\x20no\x20Progress\x20bound\x20to\x20Order','description':'Order\x20has\x20no\x20progress\x20field\x20set\x20(Service\x20had\x20no\x20machine\x20configured).\x20Cannot\x20advance\x20a\x20non-existent\x20Progress.\x20SDK\x20CallOrder\x20validates\x20this\x20pre-flight\x20(CallOrder_Data.progress\x20requires\x20order.machine\x20and\x20order.progress).','affected_stakeholders':['owner','agent'],'scenario':'Buyer\x20tries\x20to\x20advance\x20Progress\x20on\x20an\x20Order\x20created\x20from\x20a\x20Service\x20without\x20machine','mitigation':'Use\x20a\x20Service\x20with\x20machine\x20configured.\x20If\x20manual\x20lifecycle\x20is\x20needed,\x20track\x20state\x20off-chain.','evidence':'operation=progress_advance,\x20progress_bound=false'};return null;}},R_O_4_04={'id':'R-O-4-04','category':'lifecycle','trigger':'arb_confirm/arb_objection/arb_claim_compensation\x20(irreversible\x20Arb\x20operations)','check':a=>{if(!a['operation'])return null;if(a['operation']==='arb_confirm'||a['operation']==='arb_objection'||a['operation']==='arb_claim_compensation')return{'id':'R-O-4-04','level':'HIGH','category':'lifecycle','title':a['operation']+'\x20is\x20irreversible\x20(triggers\x20Arb\x20flow)','description':a['operation']+'\x20triggers\x20the\x20Arbitration\x20workflow\x20which\x20cannot\x20be\x20undone.\x20arb_confirm\x20files\x20a\x20new\x20dispute,\x20arb_objection\x20requests\x20re-arbitration,\x20arb_claim_compensation\x20sets\x20claimed_by\x20permanently.','affected_stakeholders':['owner','agent','arbitrator'],'scenario':'User\x20accidentally\x20files\x20arb_confirm\x20without\x20understanding\x20consequences','mitigation':'Add\x20explicit\x20user\x20confirmation\x20(C-O-08,\x20C-O-11,\x20C-O-12)\x20before\x20these\x20operations.\x20Show\x20warning\x20text\x20describing\x20irreversibility.','evidence':'operation='+a['operation']};return null;}},R_O_4_05={'id':'R-O-4-05','category':'lifecycle','trigger':'receive\x20attempted\x20while\x20Progress\x20not\x20at\x20terminal\x20node','check':a=>{if(a['operation']==='receive'&&a['progress_bound']&&!a['progress_at_terminal'])return{'id':'R-O-4-05','level':'HIGH','category':'lifecycle','title':'receive\x20blocked\x20—\x20Order\x20still\x20delivering\x20(E_ORDER_DELIVERING)','description':'owner_receive\x20aborts\x20E_ORDER_DELIVERING\x20when\x20Progress\x20has\x20not\x20reached\x20a\x20terminal\x20node.\x20Funds\x20cannot\x20be\x20collected\x20until\x20fulfillment\x20completes.','affected_stakeholders':['owner'],'scenario':'Buyer\x20tries\x20to\x20collect\x20refund\x20before\x20Progress\x20reaches\x20\x27completed\x27\x20or\x20\x27cancelled\x27','mitigation':'Wait\x20for\x20Progress\x20to\x20reach\x20terminal/cancel\x20node.\x20If\x20urgent,\x20file\x20arb_confirm\x20to\x20dispute.','evidence':'operation=receive,\x20progress_at_terminal='+a['progress_at_terminal']};return null;}},R_O_4_06={'id':'R-O-4-06','category':'lifecycle','trigger':'transfer_to\x20attempted\x20(irreversible\x20ownership\x20transfer)','check':a=>{if(a['operation']!=='transfer_to')return null;return{'id':'R-O-4-06','level':'CRITICAL','category':'lifecycle','title':'transfer_to\x20is\x20IRREVERSIBLE\x20—\x20new\x20owner\x20takes\x20over\x20ALL\x20permissions','description':'Ownership\x20transfer\x20to\x20'+(a['transfer_to_new_owner']??'(unknown)')+'\x20is\x20permanent.\x20New\x20owner\x20becomes\x20the\x20sole\x20receiver\x20of\x20payments\x20and\x20gains\x20full\x20L1\x20control.\x20Original\x20owner\x20loses\x20ALL\x20access.','affected_stakeholders':['owner'],'scenario':'Buyer\x20transfers\x20Order\x20to\x20wrong\x20address\x20by\x20mistake','mitigation':'1)\x20Verify\x20new\x20owner\x20address\x20twice.\x202)\x20Coordinate\x20with\x20new\x20owner\x20before\x20transfer.\x203)\x20Add\x20explicit\x20user\x20confirmation\x20(C-O-09).\x20Note:\x20transfer_to\x20is\x20NOT\x20blocked\x20by\x20progress\x20binding\x20(unlike\x20agent_set).','evidence':'new_owner='+a['transfer_to_new_owner']};}},R_O_5_01={'id':'R-O-5-01','category':'cross_object','trigger':'Service.machine\x20upgraded\x20after\x20Order\x20creation\x20(snapshot\x20divergence)','check':a=>{if(a['is_buy_operation'])return{'id':'R-O-5-01','level':'LOW','category':'cross_object','title':'Service\x20snapshot\x20mechanism\x20—\x20order.machine\x20is\x20a\x20copy,\x20not\x20a\x20reference','description':'When\x20service::buy()\x20creates\x20an\x20Order,\x20order.machine\x20is\x20COPIED\x20from\x20service.machine.\x20Future\x20Service.machine\x20upgrades\x20do\x20NOT\x20affect\x20this\x20Order.\x20Same\x20Service\x20may\x20have\x20Orders\x20running\x20different\x20Machine\x20versions.','affected_stakeholders':['owner','service_provider','arbitrator'],'scenario':'Service\x20provider\x20upgrades\x20Machine\x20workflow\x20—\x20old\x20Orders\x20keep\x20old\x20workflow','mitigation':'Track\x20Machine\x20version\x20per\x20Order\x20(via\x20order.machine\x20address).\x20Plan\x20migration\x20paths\x20for\x20legacy\x20Orders.\x20Document\x20that\x20old\x20Orders\x20are\x20decoupled.','evidence':'snapshot_mechanism'};return null;}},R_O_5_02={'id':'R-O-5-02','category':'cross_object','trigger':'Order\x20references\x20Progress\x20that\x20no\x20longer\x20exists\x20or\x20is\x20corrupted','check':a=>{if(a['progress_bound']&&a['object'])return{'id':'R-O-5-02','level':'MEDIUM','category':'cross_object','title':'Order-Progress\x201:1\x20binding\x20(E_PROGRESS_ALREADY_SPECIFIED)','description':'Order.progress\x20is\x20one-time-set\x20via\x20on_progress\x20(package-only).\x20Cannot\x20be\x20rebound.\x20If\x20Progress\x20object\x20is\x20corrupted,\x20Order\x20becomes\x20stuck\x20—\x20cannot\x20advance,\x20cannot\x20rebind.','affected_stakeholders':['owner','agent'],'scenario':'Progress\x20object\x20becomes\x20unresponsive\x20or\x20corrupted','mitigation':'Ensure\x20Progress\x20integrity\x20via\x20Machine\x20audit\x20before\x20publishing\x20Service.\x20Use\x20arb_claim_compensation\x20as\x20escape\x20hatch\x20if\x20Progress\x20is\x20stuck.','evidence':'progress_bound='+a['progress_bound']};return null;}},R_O_5_03={'id':'R-O-5-03','category':'cross_object','trigger':'Order\x20references\x20Allocation\x20that\x20no\x20longer\x20exists\x20or\x20is\x20corrupted','check':a=>{if(a['object']&&a['progress_bound'])return{'id':'R-O-5-03','level':'MEDIUM','category':'cross_object','title':'Order-Allocation\x201:1\x20binding\x20(E_ALLOCATION_ALREADY_SPECIFIED)','description':'Order.allocation\x20is\x20one-time-set\x20via\x20on_allocation\x20(package-only).\x20Cannot\x20be\x20rebound.\x20If\x20Allocation\x20object\x20is\x20corrupted,\x20fund\x20distribution\x20is\x20blocked.','affected_stakeholders':['owner','service_provider'],'scenario':'Allocation\x20object\x20has\x20wrong\x20allocator\x20configuration','mitigation':'Audit\x20order_allocators\x20configuration\x20on\x20Service\x20BEFORE\x20publishing.\x20Use\x20compensation_fund\x20as\x20fallback\x20fund\x20source.','evidence':'allocation_binding'};return null;}},R_O_5_04={'id':'R-O-5-04','category':'cross_object','trigger':'Arbitration\x20dispute\x20appended\x20to\x20Order.dispute\x20list','check':a=>{if(a['operation']==='arb_confirm')return{'id':'R-O-5-04','level':'LOW','category':'cross_object','title':'Arb\x20object\x20will\x20be\x20appended\x20to\x20order.dispute\x20(package-only\x20dispute())','description':'arb_confirm\x20triggers\x20Arb\x20module\x20to\x20call\x20order::dispute(arb_address),\x20appending\x20the\x20Arb\x20object\x20to\x20order.dispute\x20list.\x20Max\x2010\x20disputes\x20(MAX_DISPUTE_COUNT).\x20Frozen\x20when\x20claimed_by\x20is\x20set.','affected_stakeholders':['arbitrator','owner','agent'],'scenario':'Multiple\x20arb_confirm\x20calls\x20create\x20multiple\x20Arb\x20objects\x20on\x20same\x20Order','mitigation':'Track\x20dispute\x20count.\x20Once\x20at\x2010,\x20no\x20more\x20disputes\x20can\x20be\x20filed.\x20Resolve\x20existing\x20disputes\x20before\x20filing\x20new\x20ones.','evidence':'operation=arb_confirm,\x20current_disputes='+(a['current_dispute_count']??0x0)};return null;}},R_O_5_05={'id':'R-O-5-05','category':'cross_object','trigger':'External\x20system\x20expects\x20OrderCompletedEvent\x20(does\x20not\x20exist)','check':a=>{if(a['is_buy_operation']||a['object'])return{'id':'R-O-5-05','level':'MEDIUM','category':'cross_object','title':'Only\x20NewOrderEvent\x20emitted\x20—\x20no\x20OrderCompletedEvent','description':'Move\x20contract\x20ONLY\x20emits\x20NewOrderEvent\x20at\x20creation.\x20Order\x20completion/cancellation/refund\x20are\x20IMPLICIT\x20—\x20must\x20be\x20inferred\x20by\x20querying\x20Progress.current_node\x20(terminal?\x20cancel?)\x20or\x20Order.claimed_by.\x20External\x20monitoring\x20requires\x20polling,\x20not\x20event-driven.','affected_stakeholders':['system'],'scenario':'Analytics\x20dashboard\x20expects\x20OrderCompletedEvent\x20to\x20track\x20completion\x20rate','mitigation':'Build\x20composite\x20query:\x20NewOrderEvent\x20+\x20Order.progress\x20query\x20→\x20infer\x20completion.\x20Document\x20this\x20limitation\x20in\x20monitoring\x20tools.\x20Long-term:\x20advocate\x20for\x20Move\x20upgrade\x20to\x20add\x20OrderCompletedEvent.','evidence':'no_order_completed_event'};return null;}},R_O_5_06={'id':'R-O-5-06','category':'cross_object','trigger':'service::buy\x20pre-flight:\x20Service\x20not\x20published\x20or\x20paused','check':a=>{if(!a['is_buy_operation'])return null;if(a['service_published']===![])return{'id':'R-O-5-06','level':'CRITICAL','category':'cross_object','title':'Service\x20not\x20published\x20—\x20service::buy\x20will\x20abort\x20E_NOT_PUBLISHED','description':'Cannot\x20create\x20Order\x20from\x20an\x20unpublished\x20Service.\x20Service\x20must\x20be\x20published\x20(bPublished=true)\x20before\x20service::buy()\x20can\x20be\x20called.','affected_stakeholders':['owner'],'scenario':'Buyer\x20attempts\x20to\x20purchase\x20from\x20a\x20draft\x20Service','mitigation':'Verify\x20Service.bPublished=true\x20before\x20service::buy().\x20Service\x20owner\x20must\x20call\x20service::publish()\x20first.','evidence':'service_published='+a['service_published']};if(a['service_paused']===!![])return{'id':'R-O-5-06','level':'CRITICAL','category':'cross_object','title':'Service\x20paused\x20—\x20service::buy\x20will\x20abort\x20E_PAUSED','description':'Cannot\x20create\x20Order\x20from\x20a\x20paused\x20Service.\x20Service\x20must\x20be\x20unpaused\x20before\x20service::buy()\x20can\x20be\x20called.','affected_stakeholders':['owner'],'scenario':'Buyer\x20attempts\x20to\x20purchase\x20from\x20a\x20paused\x20Service\x20(e.g.\x20during\x20maintenance)','mitigation':'Wait\x20for\x20Service\x20owner\x20to\x20call\x20service::pause(false).\x20Check\x20Service.paused\x20before\x20service::buy().','evidence':'service_paused='+a['service_paused']};return null;}},ALL_RULES=[R_O_1_01,R_O_1_02,R_O_1_03,R_O_1_04,R_O_1_05,R_O_2_01,R_O_2_02,R_O_2_03,R_O_2_04,R_O_3_01,R_O_3_02,R_O_3_03,R_O_3_04,R_O_4_01,R_O_4_02,R_O_4_03,R_O_4_04,R_O_4_05,R_O_4_06,R_O_5_01,R_O_5_02,R_O_5_03,R_O_5_04,R_O_5_05,R_O_5_06];export const ORDER_RISK_VERSION='1.0.0';export function getAllOrderRiskRules(){return[...ALL_RULES];}export function getOrderRiskRulesCount(){return ALL_RULES['length'];}export function getOrderRiskRulesByCategory(a){return ALL_RULES['filter'](b=>b['category']===a);}export function getOrderRiskRuleById(a){return ALL_RULES['find'](b=>b['id']===a);}export function assessOrderRisks(a){const b=[];for(const g of ALL_RULES){const h=g['check'](a);if(h)b['push'](h);}const c=b['length']===0x0?'LOW':b['some'](i=>i['level']==='CRITICAL')?'CRITICAL':b['some'](i=>i['level']==='HIGH')?'HIGH':b['some'](i=>i['level']==='MEDIUM')?'MEDIUM':'LOW',d={};for(const i of b){d[i['category']]=(d[i['category']]??0x0)+0x1;}const e={};for(const j of b){for(const k of j['affected_stakeholders']){if(!e[k])e[k]=[];e[k]['push'](j['id']+':\x20'+j['mitigation']);}}let f;if(a['operation']){const l={'agent_set':'order_set_agent','required_info_update':'order_required_info','progress_advance':'order_advance','arb_confirm':'order_arb_confirm','arb_objection':'order_arb_objection','arb_claim_compensation':'order_arb_claim_compensation','receive':'order_receive','transfer_to':'order_transfer','service_buy':'order_create'};f=findSceneById(l[a['operation']]??'');}return{'summary':'Assessed\x20'+b['length']+'\x20risk(s)\x20across\x20'+Object['keys'](d)['length']+'\x20categories','scene':f,'risks':b,'overall_risk':c,'risks_by_category':d,'stakeholder_advice':e,'needs_human_review':b['some'](m=>m['level']==='CRITICAL'||m['level']==='HIGH')};}export function checkPermissionLayer(a,b,c){const d=['receive','transfer_to','owner_change','agent_set'],e=['required_info_update','progress_advance','arb_confirm','arb_objection','arb_claim_compensation'],f=['on_progress','on_allocation','dispute','compensate'];if(f['includes'](a))return{'allowed':![],'layer':'L3_package_only','reason':'Package-only\x20—\x20not\x20callable\x20externally'};if(d['includes'](a)){if(!b)return{'allowed':![],'layer':'L1_owner_only','reason':'Owner-only\x20operation\x20('+a+')\x20—\x20agent\x20or\x20unauthorized\x20caller'};return{'allowed':!![],'layer':'L1_owner_only'};}if(e['includes'](a)){if(!b&&!c)return{'allowed':![],'layer':'L2_owner_or_agent','reason':'Requires\x20owner\x20or\x20agent\x20permission\x20('+a+')'};return{'allowed':!![],'layer':'L2_owner_or_agent'};}return{'allowed':![],'layer':'L3_package_only','reason':'Unknown\x20operation:\x20'+a};}
+import{MAX_AGENT_COUNT,MAX_DISPUTE_COUNT}from'@wowok/wowok';import{findSceneById}from'./order-ledger.js';const R_O_1_01={'id':'R-O-1-01','category':'structural','trigger':'Order\x20has\x2014\x20fields\x20but\x20no\x20Permission\x20field\x20(unique\x20among\x2022\x20objects)','check':a=>{if(a['is_buy_operation'])return{'id':'R-O-1-01','level':'LOW','category':'structural','title':'Order\x20uses\x20owner/agent\x20dual-layer\x20(no\x20Permission)','description':'Order\x20is\x20the\x20only\x20business\x20object\x20among\x2022\x20WoWok\x20objects\x20that\x20does\x20NOT\x20use\x20the\x20Permission\x20system.\x20All\x20access\x20control\x20flows\x20through\x20assert_owner\x20and\x20has_op_permission\x20inline\x20functions.','affected_stakeholders':['system','owner','agent'],'scenario':'Developer\x20assumes\x20Order\x20uses\x20Permission\x20and\x20writes\x20permission::check\x20logic','mitigation':'Use\x20owner/agent\x20checks\x20directly.\x20Do\x20NOT\x20attempt\x20to\x20apply\x20a\x20Permission\x20object\x20to\x20Order.','evidence':'no_permission_field'};return null;}},R_O_1_02={'id':'R-O-1-02','category':'structural','trigger':'Item\x20count\x20check\x20(informational;\x20no\x20Move-level\x20limit\x20on\x20items)','check':a=>{if(!a['items']||a['items']['length']===0x0)return null;if(a['items']['length']>0x32)return{'id':'R-O-1-02','level':'LOW','category':'structural','title':'Large\x20items\x20list\x20may\x20exceed\x20tx\x20size\x20limits','description':a['items']['length']+'\x20items\x20in\x20a\x20single\x20Order\x20—\x20no\x20protocol\x20limit,\x20but\x20large\x20lists\x20increase\x20transaction\x20size\x20and\x20may\x20hit\x20gas/size\x20limits','affected_stakeholders':['owner'],'scenario':'Bulk\x20purchase\x20with\x20many\x20line\x20items','mitigation':'Split\x20into\x20multiple\x20Orders\x20if\x20items\x20>\x2050','evidence':'items_count='+a['items']['length']};return null;}},R_O_1_03={'id':'R-O-1-03','category':'structural','trigger':'dispute\x20count\x20>=\x20MAX_DISPUTE_COUNT\x20(10)','check':a=>{const b=a['current_dispute_count']??0x0;if(b>=MAX_DISPUTE_COUNT)return{'id':'R-O-1-03','level':'HIGH','category':'structural','title':'Dispute\x20count\x20at\x20MAX_DISPUTE_COUNT\x20limit','description':'Order\x20already\x20has\x20'+b+'\x20disputes\x20(MAX_DISPUTE_COUNT='+MAX_DISPUTE_COUNT+').\x20Next\x20dispute()\x20call\x20will\x20abort\x20E_MAX_DISPUTE_COUNT.','affected_stakeholders':['owner','agent','arbitrator'],'scenario':'Filing\x2011th\x20dispute\x20on\x20an\x20Order\x20with\x2010\x20existing\x20disputes','mitigation':'Resolve\x20existing\x20disputes\x20(via\x20arb_claim_compensation)\x20before\x20filing\x20new\x20ones.\x20Note:\x20claimed_by\x20blocks\x20ALL\x20future\x20disputes.','evidence':'dispute_count='+b};return null;}},R_O_1_04={'id':'R-O-1-04','category':'structural','trigger':'agent_set\x20—\x20list\x20REPLACEMENT\x20semantics\x20(omitted\x20agents\x20lose\x20access)\x20and\x20distinct\x20count\x20limit','check':a=>{if(!a['agent_set'])return null;const b=new Set(a['agent_set']['agents'])['size'];if(b>MAX_AGENT_COUNT)return{'id':'R-O-1-04','level':'HIGH','category':'structural','title':'Distinct\x20agent\x20count\x20exceeds\x20MAX_AGENT_COUNT','description':'Attempting\x20to\x20set\x20'+b+'\x20distinct\x20agents\x20(input\x20'+a['agent_set']['agents']['length']+';\x20duplicates\x20are\x20deduped\x20on-chain).\x20Move\x20asserts\x20length\x20<\x20MAX_AGENT_COUNT\x20('+MAX_AGENT_COUNT+')\x20before\x20each\x20push\x20—\x20the\x20call\x20will\x20abort\x20E_MAX_AGENT_COUNT.','affected_stakeholders':['owner','system'],'scenario':'Setting\x2011\x20distinct\x20agents\x20in\x20one\x20call','mitigation':'Reduce\x20to\x20at\x20most\x20'+MAX_AGENT_COUNT+'\x20distinct\x20agents\x20per\x20call,\x20or\x20set\x20in\x20two\x20batches\x20(second\x20call\x20REPLACES\x20the\x20first\x20—\x20union\x20the\x20lists\x20manually).','evidence':'distinct_agents='+b+',\x20input_count='+a['agent_set']['agents']['length']+',\x20max='+MAX_AGENT_COUNT};return null;}},R_O_1_05={'id':'R-O-1-05','category':'structural','trigger':'wip_hash\x20is\x20empty\x20string\x20in\x20any\x20item','check':a=>{if(!a['items'])return null;const b=a['items']['find'](c=>!c['wip_hash']||c['wip_hash']==='');if(b)return{'id':'R-O-1-05','level':'HIGH','category':'structural','title':'Empty\x20wip_hash\x20in\x20item','description':'Item\x20\x22'+b['name']+'\x22\x20has\x20empty\x20wip_hash.\x20Move\x20rejects\x20empty\x20strings\x20(F-O-18).','affected_stakeholders':['owner'],'scenario':'User\x20submits\x20item\x20without\x20computing\x20WIP\x20hash','mitigation':'Compute\x20wip_hash\x20from\x20the\x20work-in-progress\x20file\x20content\x20before\x20service::buy().','evidence':'item_name='+b['name']};return null;}},R_O_2_01={'id':'R-O-2-01','category':'semantic','trigger':'Order.machine\x20snapshot\x20differs\x20from\x20current\x20Service.machine','check':a=>{if(!a['current_service_machine']||!a['order_machine_snapshot'])return null;if(a['current_service_machine']!==a['order_machine_snapshot'])return{'id':'R-O-2-01','level':'HIGH','category':'semantic','title':'Machine\x20snapshot\x20diverges\x20from\x20Service.machine','description':'Order.machine='+a['order_machine_snapshot']+'\x20was\x20snapshotted\x20at\x20buy\x20time.\x20Service.machine\x20is\x20now\x20'+a['current_service_machine']+'.\x20Same\x20Service\x20has\x20Orders\x20running\x20different\x20Machine\x20versions.','affected_stakeholders':['owner','service_provider','arbitrator'],'scenario':'Service\x20provider\x20upgrades\x20Machine\x20after\x20some\x20Orders\x20are\x20created','mitigation':'Audit\x20each\x20Order\x27s\x20machine\x20snapshot\x20separately.\x20Document\x20Machine\x20version\x20per\x20Order.\x20Plan\x20migration\x20paths\x20for\x20legacy\x20Orders.','evidence':'order_machine='+a['order_machine_snapshot']+',\x20service_machine='+a['current_service_machine']};return null;}},R_O_2_02={'id':'R-O-2-02','category':'semantic','trigger':'SDK\x20uses\x20\x27builder\x27\x20field\x20for\x20Move\x27s\x20\x27owner\x27\x20field\x20(naming\x20deviation)','check':a=>{if(a['object'])return{'id':'R-O-2-02','level':'MEDIUM','category':'semantic','title':'SDK\x20builder\x20≠\x20Move\x20owner\x20(only\x20naming\x20deviation\x20in\x2022\x20objects)','description':'SDK\x20ObjectOrder.builder\x20corresponds\x20to\x20Move\x20Order.owner.\x20This\x20is\x20the\x20only\x20field\x20name\x20deviation\x20across\x20all\x2022\x20WoWok\x20objects.\x20All\x20Order\x20knowledge\x20uses\x20Move\x27s\x20\x27owner\x27\x20as\x20canonical.','affected_stakeholders':['system'],'scenario':'Developer\x20reads\x20SDK\x20\x27builder\x27\x20and\x20assumes\x20it\x27s\x20a\x20different\x20concept\x20from\x20owner','mitigation':'Use\x20moveToSdkField()/sdkToMoveField()\x20helpers\x20from\x20order-ledger.ts.\x20Document\x20\x27builder\x20=\x20owner\x27\x20in\x20all\x20SDK\x20consumers.','evidence':'sdk_field=builder,\x20move_field=owner'};return null;}},R_O_2_03={'id':'R-O-2-03','category':'semantic','trigger':'E_PROGRESS_NOT_SPECIFIED\x20—\x20single\x20real\x20semantics\x20(order::create\x20without\x20Progress),\x20commonly\x20misdocumented\x20as\x20an\x20agent_set/owner_change\x20freeze','check':a=>{if(!a['operation'])return null;if(a['operation']==='service_buy'&&a['progress_bound']===![])return{'id':'R-O-2-03','level':'HIGH','category':'semantic','title':'order::create\x20will\x20abort\x20E_PROGRESS_NOT_SPECIFIED\x20—\x20machine\x20bound\x20but\x20Progress\x20missing','description':'order::create\x20asserts\x20progress.is_some()\x20whenever\x20machine.is_some()\x20(order.move:132).\x20A\x20buy\x20against\x20a\x20machine-driven\x20Service\x20MUST\x20bind\x20a\x20Progress\x20object\x20(service::order_progress)\x20before\x20order::create,\x20else\x20E_PROGRESS_NOT_SPECIFIED\x20(code\x203).','affected_stakeholders':['owner'],'scenario':'Machine-driven\x20Service\x20purchased\x20without\x20creating/binding\x20the\x20Progress\x20object\x20first','mitigation':'Bind\x20Progress\x20before\x20order::create:\x20call\x20service::order_progress(service,\x20order,\x20machine,\x20...)\x20which\x20invokes\x20order::on_progress.\x20Note:\x20agent_set/owner_change\x20are\x20NOT\x20affected\x20—\x20they\x20are\x20never\x20frozen\x20by\x20Progress\x20binding.','evidence':'operation='+a['operation']+',\x20progress_bound='+a['progress_bound']};return null;}},R_O_2_04={'id':'R-O-2-04','category':'semantic','trigger':'SaleItem.item\x20→\x20PurchasedItem.name\x20field\x20name\x20mapping','check':a=>{if(a['is_buy_operation'])return{'id':'R-O-2-04','level':'LOW','category':'semantic','title':'SaleItem.item\x20(Move)\x20maps\x20to\x20PurchasedItem.name\x20(SDK)','description':'Move\x20struct\x20SaleItem\x20uses\x20field\x20\x27item\x27,\x20but\x20SDK\x20ObjectOrder.items\x20uses\x20field\x20\x27name\x27.\x20This\x20is\x20the\x20second\x20naming\x20deviation\x20in\x20Order\x20system\x20(after\x20builder/owner).','affected_stakeholders':['system'],'scenario':'Cross-layer\x20data\x20mapping\x20between\x20Move\x20and\x20SDK','mitigation':'Use\x20consistent\x20SDK\x20field\x20names\x20in\x20user-facing\x20code;\x20document\x20Move\x20↔\x20SDK\x20mapping\x20in\x20audit\x20logs.','evidence':'move_field=SaleItem.item,\x20sdk_field=PurchasedItem.name'};return null;}},R_O_3_01={'id':'R-O-3-01','category':'authority','trigger':'Agent\x20attempts\x20receive\x20or\x20transfer_to\x20(L1\x20owner-only\x20operations)','check':a=>{if(!a['operation'])return null;if((a['operation']==='receive'||a['operation']==='transfer_to')&&a['caller_is_agent']&&!a['caller_is_owner'])return{'id':'R-O-3-01','level':'HIGH','category':'authority','title':'Agent\x20attempting\x20owner-only\x20operation','description':'Agent\x20cannot\x20call\x20'+a['operation']+'\x20—\x20these\x20are\x20L1\x20owner-only\x20operations\x20(assert_owner).\x20Agent\x20can\x20operate\x20progress/arb_*/required_info\x20but\x20CANNOT\x20receive\x20funds\x20or\x20transfer\x20ownership.','affected_stakeholders':['agent','owner'],'scenario':'Logistics\x20agent\x20tries\x20to\x20collect\x20payment\x20on\x20behalf\x20of\x20buyer','mitigation':'Owner\x20must\x20call\x20receive/transfer_to\x20directly.\x20If\x20delegation\x20is\x20needed,\x20owner\x20can\x20transfer_to\x20a\x20multi-sig\x20wallet\x20that\x20includes\x20the\x20agent.','evidence':'operation='+a['operation']+',\x20caller=agent'};return null;}},R_O_3_02={'id':'R-O-3-02','category':'authority','trigger':'Non-owner\x20non-agent\x20attempts\x20operation\x20(no\x20permission)','check':a=>{if(!a['operation'])return null;if(a['caller_is_owner']===![]&&a['caller_is_agent']===![])return{'id':'R-O-3-02','level':'HIGH','category':'authority','title':'Non-owner\x20non-agent\x20attempting\x20operation','description':'Caller\x20is\x20neither\x20owner\x20nor\x20agent.\x20L2\x20operations\x20(progress,\x20arb_confirm,\x20arb_objection)\x20require\x20has_op_permission\x20—\x20aborts\x20E_NOT_OP_PERMISSION.\x20L1\x20operations\x20(transfer_to,\x20agent_set,\x20required_info_update)\x20additionally\x20require\x20assert_owner\x20—\x20aborts\x20E_NOT_THE_OWNER.','affected_stakeholders':['system'],'scenario':'Random\x20address\x20attempts\x20to\x20advance\x20someone\x20else\x27s\x20Order','mitigation':'Verify\x20caller\x20is\x20owner\x20or\x20in\x20agent[]\x20before\x20submitting\x20transaction.','evidence':'operation='+a['operation']+',\x20caller=unauthorized'};return null;}},R_O_3_03={'id':'R-O-3-03','category':'authority','trigger':'arb_claim_compensation\x20called\x20(sets\x20claimed_by,\x20irreversible)','check':a=>{if(a['operation']!=='arb_claim_compensation')return null;return{'id':'R-O-3-03','level':'HIGH','category':'authority','title':'arb_claim_compensation\x20is\x20IRREVERSIBLE\x20(claimed_by\x20one-time\x20set)','description':'Setting\x20claimed_by\x20is\x20permanent.\x20After\x20this\x20call:\x20(1)\x20claimed_by\x20cannot\x20be\x20reset,\x20(2)\x20NO\x20new\x20disputes\x20can\x20be\x20filed\x20(E_ORDER_ALREADY_CLAIMED),\x20(3)\x20all\x20unresolved\x20disputes\x20become\x20unactionable.\x20If\x20first\x20compensation\x20is\x20insufficient,\x20buyer\x20has\x20no\x20recourse.','affected_stakeholders':['owner','agent','arbitrator'],'scenario':'Buyer\x20claims\x20partial\x20compensation,\x20then\x20discovers\x20additional\x20damages','mitigation':'BEFORE\x20claiming:\x20(1)\x20enumerate\x20ALL\x20disputes,\x20(2)\x20ensure\x20proposition\x20covers\x20all\x20damages,\x20(3)\x20confirm\x20Arb\x20ruling\x20is\x20final.\x20Add\x20explicit\x20user\x20confirmation\x20(C-O-08).','evidence':'operation=arb_claim_compensation,\x20current_claimed_by='+(a['claimed_by_set']??![])};}},R_O_3_04={'id':'R-O-3-04','category':'authority','trigger':'dispute\x20attempted\x20after\x20claimed_by\x20is\x20set','check':a=>{if(a['claimed_by_set']&&(a['operation']==='arb_confirm'||a['operation']==='arb_objection'))return{'id':'R-O-3-04','level':'HIGH','category':'authority','title':'Cannot\x20file\x20new\x20dispute\x20after\x20claimed_by\x20is\x20set','description':'Order.claimed_by\x20is\x20set\x20—\x20any\x20new\x20dispute()\x20call\x20aborts\x20E_ORDER_ALREADY_CLAIMED.\x20arb_confirm/arb_objection\x20trigger\x20dispute()\x20internally.','affected_stakeholders':['owner','agent'],'scenario':'Buyer\x20claims\x20compensation\x20then\x20tries\x20to\x20file\x20additional\x20dispute','mitigation':'Resolve\x20ALL\x20disputes\x20BEFORE\x20calling\x20arb_claim_compensation.\x20claimed_by\x20is\x20terminal\x20for\x20dispute\x20flow.','evidence':'operation='+a['operation']+',\x20claimed_by_set=true'};return null;}},R_O_4_01={'id':'R-O-4-01','category':'lifecycle','trigger':'Attempt\x20to\x20create\x20Order\x20independently\x20(not\x20via\x20service::buy)','check':a=>{if(a['is_buy_operation']===![]&&a['operation']==='service_buy'&&!a['object'])return{'id':'R-O-4-01','level':'CRITICAL','category':'lifecycle','title':'Order\x20cannot\x20be\x20created\x20independently\x20(compound\x20creation\x20only)','description':'order::new()\x20is\x20package-only\x20—\x20only\x20service::buy()\x20can\x20create\x20Orders.\x20Any\x20attempt\x20to\x20call\x20order::new\x20directly\x20will\x20fail\x20at\x20the\x20Move\x20module\x20boundary.\x20Order\x20+\x20Allocation\x20+\x20Progress\x20are\x20created\x20atomically\x20in\x20one\x20transaction.','affected_stakeholders':['system','owner'],'scenario':'Developer\x20tries\x20to\x20construct\x20Order\x20independently\x20for\x20testing','mitigation':'Always\x20use\x20service::buy()\x20to\x20create\x20Orders.\x20For\x20testing,\x20deploy\x20a\x20minimal\x20Service\x20with\x20machine/allocators\x20configured.','evidence':'independent_creation_attempted'};return null;}},R_O_4_02={'id':'R-O-4-02','category':'lifecycle','trigger':'agent_set\x20attempted\x20mid-fulfillment\x20(Progress\x20bound)\x20—\x20replacement\x20may\x20revoke\x20active\x20agents','check':a=>{if(!a['operation'])return null;if(a['operation']==='agent_set'&&a['progress_bound'])return{'id':'R-O-4-02','level':'MEDIUM','category':'lifecycle','title':'Mid-fulfillment\x20agent_set\x20—\x20replacement\x20may\x20silently\x20revoke\x20active\x20agents','description':'agent_set\x20is\x20allowed\x20at\x20ANY\x20time\x20(no\x20Progress\x20freeze\x20exists\x20on-chain),\x20but\x20it\x20REPLACES\x20the\x20entire\x20list:\x20an\x20active\x20agent\x20omitted\x20from\x20the\x20new\x20list\x20immediately\x20loses\x20L2\x20access\x20(Progress\x20advance,\x20arb\x20operations)\x20and\x20their\x20EntityOrders\x20role\x20record\x20is\x20removed.\x20A\x20workflow\x20waiting\x20on\x20that\x20agent\x20to\x20advance\x20Progress\x20would\x20stall.','affected_stakeholders':['owner','agent'],'scenario':'Owner\x20adjusts\x20the\x20agent\x20list\x20mid-fulfillment\x20and\x20accidentally\x20drops\x20the\x20agent\x20responsible\x20for\x20the\x20next\x20Progress\x20node','mitigation':'When\x20changing\x20agents\x20mid-fulfillment,\x20always\x20include\x20the\x20union\x20of\x20current\x20active\x20agents\x20plus\x20the\x20additions.\x20Query\x20the\x20current\x20agent\x20list\x20first\x20(order\x20query),\x20merge,\x20then\x20submit.','evidence':'operation=agent_set,\x20progress_bound='+a['progress_bound']};return null;}},R_O_4_03={'id':'R-O-4-03','category':'lifecycle','trigger':'Progress\x20advance\x20attempted\x20without\x20progress\x20bound','check':a=>{if(a['operation']==='progress_advance'&&a['progress_bound']===![])return{'id':'R-O-4-03','level':'HIGH','category':'lifecycle','title':'Cannot\x20advance\x20Progress\x20—\x20no\x20Progress\x20bound\x20to\x20Order','description':'Order\x20has\x20no\x20progress\x20field\x20set\x20(Service\x20had\x20no\x20machine\x20configured).\x20Cannot\x20advance\x20a\x20non-existent\x20Progress.\x20SDK\x20CallOrder\x20validates\x20this\x20pre-flight\x20(CallOrder_Data.progress\x20requires\x20order.machine\x20and\x20order.progress).','affected_stakeholders':['owner','agent'],'scenario':'Buyer\x20tries\x20to\x20advance\x20Progress\x20on\x20an\x20Order\x20created\x20from\x20a\x20Service\x20without\x20machine','mitigation':'Use\x20a\x20Service\x20with\x20machine\x20configured.\x20If\x20manual\x20lifecycle\x20is\x20needed,\x20track\x20state\x20off-chain.','evidence':'operation=progress_advance,\x20progress_bound=false'};return null;}},R_O_4_04={'id':'R-O-4-04','category':'lifecycle','trigger':'arb_confirm/arb_objection/arb_claim_compensation\x20(irreversible\x20Arb\x20operations)','check':a=>{if(!a['operation'])return null;if(a['operation']==='arb_confirm'||a['operation']==='arb_objection'||a['operation']==='arb_claim_compensation')return{'id':'R-O-4-04','level':'HIGH','category':'lifecycle','title':a['operation']+'\x20is\x20irreversible\x20(triggers\x20Arb\x20flow)','description':a['operation']+'\x20triggers\x20the\x20Arbitration\x20workflow\x20which\x20cannot\x20be\x20undone.\x20arb_confirm\x20files\x20a\x20new\x20dispute,\x20arb_objection\x20requests\x20re-arbitration,\x20arb_claim_compensation\x20sets\x20claimed_by\x20permanently.','affected_stakeholders':['owner','agent','arbitrator'],'scenario':'User\x20accidentally\x20files\x20arb_confirm\x20without\x20understanding\x20consequences','mitigation':'Add\x20explicit\x20user\x20confirmation\x20(C-O-08,\x20C-O-11,\x20C-O-12)\x20before\x20these\x20operations.\x20Show\x20warning\x20text\x20describing\x20irreversibility.','evidence':'operation='+a['operation']};return null;}},R_O_4_05={'id':'R-O-4-05','category':'lifecycle','trigger':'receive\x20attempted\x20but\x20no\x20Receiving\x20exists\x20at\x20the\x20caller\x27s\x20address\x20(allocation::alloc\x20has\x20not\x20distributed\x20a\x20payment)','check':a=>{if(a['operation']==='receive'&&a['receiving_exists']===![])return{'id':'R-O-4-05','level':'HIGH','category':'lifecycle','title':'receive\x20blocked\x20—\x20no\x20Receiving\x20object\x20(allocation::alloc\x20has\x20not\x20run)','description':'owner_receive\x20is\x20gated\x20by\x20Receiving\x20existence:\x20allocation::alloc\x20must\x20have\x20run\x20on\x20the\x20Order\x27s\x20Allocation\x20object\x20and\x20included\x20the\x20caller\x27s\x20address\x20in\x20the\x20payment\x20recipients.\x20Without\x20a\x20Receiving,\x20the\x20transaction\x20cannot\x20be\x20constructed\x20(no\x20E_ORDER_DELIVERING\x20abort\x20exists\x20on-chain\x20—\x20Progress\x20terminal\x20state\x20is\x20NOT\x20a\x20receive\x20gate).','affected_stakeholders':['owner'],'scenario':'Buyer\x20tries\x20to\x20collect\x20a\x20payment\x20before\x20the\x20allocation\x20flow\x20has\x20distributed\x20it','mitigation':'1)\x20Confirm\x20allocation::alloc\x20has\x20run\x20on\x20the\x20Order\x27s\x20Allocation\x20(query\x20its\x20payment\x20vector)\x202)\x20Confirm\x20the\x20caller\x27s\x20address\x20is\x20in\x20the\x20allocator\x27s\x20sharing\x20recipients\x203)\x20Retry\x20receive\x20with\x20the\x20correct\x20Receiving\x20object\x20ID.\x20If\x20the\x20merchant\x20withholds\x20allocation,\x20file\x20arb_confirm\x20to\x20dispute.','evidence':'operation=receive,\x20receiving_exists='+a['receiving_exists']};return null;}},R_O_4_06={'id':'R-O-4-06','category':'lifecycle','trigger':'transfer_to\x20attempted\x20(irreversible\x20ownership\x20transfer)','check':a=>{if(a['operation']!=='transfer_to')return null;return{'id':'R-O-4-06','level':'CRITICAL','category':'lifecycle','title':'transfer_to\x20is\x20IRREVERSIBLE\x20—\x20new\x20owner\x20takes\x20over\x20ALL\x20permissions','description':'Ownership\x20transfer\x20to\x20'+(a['transfer_to_new_owner']??'(unknown)')+'\x20is\x20permanent.\x20New\x20owner\x20becomes\x20the\x20sole\x20receiver\x20of\x20payments\x20and\x20gains\x20full\x20L1\x20control.\x20Original\x20owner\x20loses\x20ALL\x20access.','affected_stakeholders':['owner'],'scenario':'Buyer\x20transfers\x20Order\x20to\x20wrong\x20address\x20by\x20mistake','mitigation':'1)\x20Verify\x20new\x20owner\x20address\x20twice.\x202)\x20Coordinate\x20with\x20new\x20owner\x20before\x20transfer.\x203)\x20Add\x20explicit\x20user\x20confirmation\x20(C-O-10).\x20Note:\x20transfer_to\x20is\x20allowed\x20at\x20any\x20time\x20(no\x20Progress\x20freeze\x20exists).','evidence':'new_owner='+a['transfer_to_new_owner']};}},R_O_5_01={'id':'R-O-5-01','category':'cross_object','trigger':'Service.machine\x20upgraded\x20after\x20Order\x20creation\x20(snapshot\x20divergence)','check':a=>{if(a['is_buy_operation'])return{'id':'R-O-5-01','level':'LOW','category':'cross_object','title':'Service\x20snapshot\x20mechanism\x20—\x20order.machine\x20is\x20a\x20copy,\x20not\x20a\x20reference','description':'When\x20service::buy()\x20creates\x20an\x20Order,\x20order.machine\x20is\x20COPIED\x20from\x20service.machine.\x20Future\x20Service.machine\x20upgrades\x20do\x20NOT\x20affect\x20this\x20Order.\x20Same\x20Service\x20may\x20have\x20Orders\x20running\x20different\x20Machine\x20versions.','affected_stakeholders':['owner','service_provider','arbitrator'],'scenario':'Service\x20provider\x20upgrades\x20Machine\x20workflow\x20—\x20old\x20Orders\x20keep\x20old\x20workflow','mitigation':'Track\x20Machine\x20version\x20per\x20Order\x20(via\x20order.machine\x20address).\x20Plan\x20migration\x20paths\x20for\x20legacy\x20Orders.\x20Document\x20that\x20old\x20Orders\x20are\x20decoupled.','evidence':'snapshot_mechanism'};return null;}},R_O_5_02={'id':'R-O-5-02','category':'cross_object','trigger':'Order\x20references\x20Progress\x20that\x20no\x20longer\x20exists\x20or\x20is\x20corrupted','check':a=>{if(a['progress_bound']&&a['object'])return{'id':'R-O-5-02','level':'MEDIUM','category':'cross_object','title':'Order-Progress\x201:1\x20binding\x20(E_PROGRESS_ALREADY_SPECIFIED)','description':'Order.progress\x20is\x20one-time-set\x20via\x20on_progress\x20(package-only).\x20Cannot\x20be\x20rebound.\x20If\x20Progress\x20object\x20is\x20corrupted,\x20Order\x20becomes\x20stuck\x20—\x20cannot\x20advance,\x20cannot\x20rebind.','affected_stakeholders':['owner','agent'],'scenario':'Progress\x20object\x20becomes\x20unresponsive\x20or\x20corrupted','mitigation':'Ensure\x20Progress\x20integrity\x20via\x20Machine\x20audit\x20before\x20publishing\x20Service.\x20Use\x20arb_claim_compensation\x20as\x20escape\x20hatch\x20if\x20Progress\x20is\x20stuck.','evidence':'progress_bound='+a['progress_bound']};return null;}},R_O_5_03={'id':'R-O-5-03','category':'cross_object','trigger':'Order\x20references\x20Allocation\x20that\x20no\x20longer\x20exists\x20or\x20is\x20corrupted','check':a=>{if(a['object']&&a['progress_bound'])return{'id':'R-O-5-03','level':'MEDIUM','category':'cross_object','title':'Order-Allocation\x201:1\x20binding\x20(E_ALLOCATION_ALREADY_SPECIFIED)','description':'Order.allocation\x20is\x20one-time-set\x20via\x20on_allocation\x20(package-only).\x20Cannot\x20be\x20rebound.\x20If\x20Allocation\x20object\x20is\x20corrupted,\x20fund\x20distribution\x20is\x20blocked.','affected_stakeholders':['owner','service_provider'],'scenario':'Allocation\x20object\x20has\x20wrong\x20allocator\x20configuration','mitigation':'Audit\x20order_allocators\x20configuration\x20on\x20Service\x20BEFORE\x20publishing.\x20Use\x20compensation_fund\x20as\x20fallback\x20fund\x20source.','evidence':'allocation_binding'};return null;}},R_O_5_04={'id':'R-O-5-04','category':'cross_object','trigger':'Arbitration\x20dispute\x20appended\x20to\x20Order.dispute\x20list','check':a=>{if(a['operation']==='arb_confirm')return{'id':'R-O-5-04','level':'LOW','category':'cross_object','title':'Arb\x20object\x20will\x20be\x20appended\x20to\x20order.dispute\x20(package-only\x20dispute())','description':'arb_confirm\x20triggers\x20Arb\x20module\x20to\x20call\x20order::dispute(arb_address),\x20appending\x20the\x20Arb\x20object\x20to\x20order.dispute\x20list.\x20Max\x2010\x20disputes\x20(MAX_DISPUTE_COUNT).\x20Frozen\x20when\x20claimed_by\x20is\x20set.','affected_stakeholders':['arbitrator','owner','agent'],'scenario':'Multiple\x20arb_confirm\x20calls\x20create\x20multiple\x20Arb\x20objects\x20on\x20same\x20Order','mitigation':'Track\x20dispute\x20count.\x20Once\x20at\x2010,\x20no\x20more\x20disputes\x20can\x20be\x20filed.\x20Resolve\x20existing\x20disputes\x20before\x20filing\x20new\x20ones.','evidence':'operation=arb_confirm,\x20current_disputes='+(a['current_dispute_count']??0x0)};return null;}},R_O_5_05={'id':'R-O-5-05','category':'cross_object','trigger':'External\x20system\x20expects\x20OrderCompletedEvent\x20(does\x20not\x20exist)','check':a=>{if(a['is_buy_operation']||a['object'])return{'id':'R-O-5-05','level':'MEDIUM','category':'cross_object','title':'Only\x20NewOrderEvent\x20emitted\x20—\x20no\x20OrderCompletedEvent','description':'Move\x20contract\x20ONLY\x20emits\x20NewOrderEvent\x20at\x20creation.\x20Order\x20completion/cancellation/refund\x20are\x20IMPLICIT\x20—\x20must\x20be\x20inferred\x20by\x20querying\x20Progress.current_node\x20(terminal?\x20cancel?)\x20or\x20Order.claimed_by.\x20External\x20monitoring\x20requires\x20polling,\x20not\x20event-driven.','affected_stakeholders':['system'],'scenario':'Analytics\x20dashboard\x20expects\x20OrderCompletedEvent\x20to\x20track\x20completion\x20rate','mitigation':'Build\x20composite\x20query:\x20NewOrderEvent\x20+\x20Order.progress\x20query\x20→\x20infer\x20completion.\x20Document\x20this\x20limitation\x20in\x20monitoring\x20tools.\x20Long-term:\x20advocate\x20for\x20Move\x20upgrade\x20to\x20add\x20OrderCompletedEvent.','evidence':'no_order_completed_event'};return null;}},R_O_5_06={'id':'R-O-5-06','category':'cross_object','trigger':'service::buy\x20pre-flight:\x20Service\x20not\x20published\x20or\x20paused','check':a=>{if(!a['is_buy_operation'])return null;if(a['service_published']===![])return{'id':'R-O-5-06','level':'CRITICAL','category':'cross_object','title':'Service\x20not\x20published\x20—\x20service::buy\x20will\x20abort\x20E_NOT_PUBLISHED','description':'Cannot\x20create\x20Order\x20from\x20an\x20unpublished\x20Service.\x20Service\x20must\x20be\x20published\x20(bPublished=true)\x20before\x20service::buy()\x20can\x20be\x20called.','affected_stakeholders':['owner'],'scenario':'Buyer\x20attempts\x20to\x20purchase\x20from\x20a\x20draft\x20Service','mitigation':'Verify\x20Service.bPublished=true\x20before\x20service::buy().\x20Service\x20owner\x20must\x20call\x20service::publish()\x20first.','evidence':'service_published='+a['service_published']};if(a['service_paused']===!![])return{'id':'R-O-5-06','level':'CRITICAL','category':'cross_object','title':'Service\x20paused\x20—\x20service::buy\x20will\x20abort\x20E_PAUSED','description':'Cannot\x20create\x20Order\x20from\x20a\x20paused\x20Service.\x20Service\x20must\x20be\x20unpaused\x20before\x20service::buy()\x20can\x20be\x20called.','affected_stakeholders':['owner'],'scenario':'Buyer\x20attempts\x20to\x20purchase\x20from\x20a\x20paused\x20Service\x20(e.g.\x20during\x20maintenance)','mitigation':'Wait\x20for\x20Service\x20owner\x20to\x20call\x20service::pause(false).\x20Check\x20Service.paused\x20before\x20service::buy().','evidence':'service_paused='+a['service_paused']};return null;}},ALL_RULES=[R_O_1_01,R_O_1_02,R_O_1_03,R_O_1_04,R_O_1_05,R_O_2_01,R_O_2_02,R_O_2_03,R_O_2_04,R_O_3_01,R_O_3_02,R_O_3_03,R_O_3_04,R_O_4_01,R_O_4_02,R_O_4_03,R_O_4_04,R_O_4_05,R_O_4_06,R_O_5_01,R_O_5_02,R_O_5_03,R_O_5_04,R_O_5_05,R_O_5_06];export const ORDER_RISK_VERSION='1.0.0';export function getAllOrderRiskRules(){return[...ALL_RULES];}export function getOrderRiskRulesCount(){return ALL_RULES['length'];}export function getOrderRiskRulesByCategory(a){return ALL_RULES['filter'](b=>b['category']===a);}export function getOrderRiskRuleById(a){return ALL_RULES['find'](b=>b['id']===a);}export function assessOrderRisks(a){const b=[];for(const g of ALL_RULES){const h=g['check'](a);if(h)b['push'](h);}const c=b['length']===0x0?'LOW':b['some'](i=>i['level']==='CRITICAL')?'CRITICAL':b['some'](i=>i['level']==='HIGH')?'HIGH':b['some'](i=>i['level']==='MEDIUM')?'MEDIUM':'LOW',d={};for(const i of b){d[i['category']]=(d[i['category']]??0x0)+0x1;}const e={};for(const j of b){for(const k of j['affected_stakeholders']){if(!e[k])e[k]=[];e[k]['push'](j['id']+':\x20'+j['mitigation']);}}let f;if(a['operation']){const l={'agent_set':'order_set_agent','required_info_update':'order_required_info','progress_advance':'order_advance','arb_confirm':'order_arb_confirm','arb_objection':'order_arb_objection','arb_claim_compensation':'order_arb_claim_compensation','receive':'order_receive','transfer_to':'order_transfer','service_buy':'order_create'};f=findSceneById(l[a['operation']]??'');}return{'summary':'Assessed\x20'+b['length']+'\x20risk(s)\x20across\x20'+Object['keys'](d)['length']+'\x20categories','scene':f,'risks':b,'overall_risk':c,'risks_by_category':d,'stakeholder_advice':e,'needs_human_review':b['some'](m=>m['level']==='CRITICAL'||m['level']==='HIGH')};}export function checkPermissionLayer(a,b,c){const d=['transfer_to','owner_change','agent_set','required_info_update'],e=['progress_advance','arb_confirm','arb_objection'],f=['on_progress','on_allocation','dispute','compensate'],g=['receive','arb_claim_compensation'];if(f['includes'](a))return{'allowed':![],'layer':'L3_package_only','reason':'Package-only\x20—\x20not\x20callable\x20externally'};if(d['includes'](a)){if(!b)return{'allowed':![],'layer':'L1_owner_only','reason':'Owner-only\x20operation\x20('+a+')\x20—\x20agent\x20or\x20unauthorized\x20caller'};return{'allowed':!![],'layer':'L1_owner_only'};}if(e['includes'](a)){if(!b&&!c)return{'allowed':![],'layer':'L2_owner_or_agent','reason':'Requires\x20owner\x20or\x20agent\x20permission\x20('+a+')'};return{'allowed':!![],'layer':'L2_owner_or_agent'};}if(g['includes'](a)){if(a==='receive')return{'allowed':!![],'layer':'L4_object_gated','reason':'No\x20permission\x20assert\x20—\x20caller\x20must\x20hold\x20a\x20Receiving\x20created\x20by\x20allocation::alloc;\x20funds\x20always\x20go\x20to\x20order.owner'};return{'allowed':!![],'layer':'L4_object_gated','reason':'No\x20op-permission\x20assert\x20—\x20gated\x20by\x20Arb\x20status\x20(must\x20be\x20Arbirated);\x20compensation\x20paid\x20to\x20tx\x20sender'};}return{'allowed':![],'layer':'L3_package_only','reason':'Unknown\x20operation:\x20'+a};}

package/dist/knowledge/order-templates.d.ts

@@ -15,7 +15,7 @@ export interface OrderTemplate {
     params: OrderTemplateParam[];
     body: (params: Record<string, string | number | string[] | object>) => object;
     notes?: string[];
-    permission_layer: "L1_owner_only" | "L2_owner_or_agent" | "L3_package_only" | "via_service_buy";
+    permission_layer: "L1_owner_only" | "L2_owner_or_agent" | "L3_package_only" | "L4_object_gated" | "via_service_buy";
     irreversible: boolean;
 }
 export declare const ORDER_TEMPLATES: OrderTemplate[];

package/dist/knowledge/order-templates.js

@@ -1 +1 @@
-export const ORDER_TEMPLATES=[{'id':'T-O-01','name':'Standard\x20retail\x20order\x20(single\x20item,\x20no\x20machine)','description':'Template\x20for\x20buying\x20a\x20single\x20retail\x20item\x20from\x20a\x20Service\x20without\x20a\x20Machine\x20workflow.\x20Order\x20created\x20via\x20service::buy.','applicable_scenes':['order_create','order_required_info'],'industry_tags':['retail','universal'],'params':[{'name':'service_address','type':'address','description':'Service\x20object\x20address\x20(target\x20of\x20service::buy)','required':!![]},{'name':'item_name','type':'string','description':'Item\x20name\x20(must\x20match\x20Service\x27s\x20sale\x20item\x20name)','required':!![]},{'name':'item_price','type':'string','description':'Item\x20price\x20in\x20MIST\x20(string\x20for\x20u64\x20precision)','required':!![]},{'name':'item_quantity','type':'number','description':'Quantity\x20to\x20purchase','required':!![],'default':0x1},{'name':'wip_hash','type':'string','description':'WIP\x20hash\x20(NOT\x20empty\x20string\x20—\x20use\x20\x270x\x27\x20+\x20actual\x20hash)','required':!![]},{'name':'discount_address','type':'address','description':'Discount\x20object\x20address\x20(optional)','required':![]},{'name':'named_order','type':'string','description':'Order\x20alias\x20name\x20(optional,\x20for\x20SDK\x20lookup)','required':![]},{'name':'contact_address','type':'address','description':'Contact\x20object\x20address\x20for\x20required_info\x20(recipient)','required':![]}],'body':a=>{const b={'_note':'Order\x20creation\x20goes\x20via\x20service::buy,\x20not\x20CallOrder_Data.\x20Use\x20this\x20template\x20to\x20populate\x20CallService_Data.buy.','_call_target':'service','object':a['service_address'],'buy':{'items':[{'name':a['item_name'],'price':a['item_price'],'quantity':a['item_quantity'],'wip_hash':a['wip_hash']}],'discount':a['discount_address']??null,'named_order':a['named_order']??null,'machine_forward':null}};return a['contact_address']&&(b['_post_buy_required_info']=a['contact_address']),b;},'notes':['Order\x20is\x20NOT\x20created\x20directly\x20—\x20service::buy\x20atomically\x20builds\x20Order\x20+\x20Allocation\x20+\x20Progress','wip_hash\x20must\x20NOT\x20be\x20empty\x20string\x20—\x20use\x20actual\x20hash\x20to\x20avoid\x20\x27WIP\x20hash\x20not\x20match\x27\x20error','Item\x20name\x20+\x20price\x20must\x20match\x20a\x20sale\x20item\x20configured\x20on\x20the\x20Service'],'permission_layer':'via_service_buy','irreversible':!![]},{'id':'T-O-02','name':'Workflow\x20order\x20advance\x20(machine\x20+\x20progress\x20forward)','description':'Template\x20for\x20advancing\x20an\x20Order\x27s\x20Progress\x20via\x20named\x20forward.\x20Both\x20owner\x20and\x20agent\x20can\x20advance.','applicable_scenes':['order_advance'],'industry_tags':['workflow','logistics','service'],'params':[{'name':'order_address','type':'address','description':'Order\x20object\x20address','required':!![]},{'name':'next_node_name','type':'string','description':'Target\x20node\x20name\x20to\x20advance\x20to','required':!![]},{'name':'forward_name','type':'string','description':'Forward\x20name\x20(must\x20exist\x20on\x20current\x20node)','required':!![]},{'name':'operator','type':'address','description':'Named\x20operator\x20address\x20(optional,\x20null\x20for\x20anyone)','required':![]},{'name':'guard_submission','type':'object','description':'Guard\x20submission\x20object\x20(optional,\x20required\x20if\x20forward\x20has\x20guard)','required':![]},{'name':'message','type':'string','description':'Optional\x20message\x20attached\x20to\x20this\x20advance','required':![]}],'body':a=>{const b={'object':a['order_address'],'progress':{'next_node_name':a['next_node_name'],'forward':{'name':a['forward_name'],'operator':a['operator']??null,'guard':a['guard_submission']??null},'op':'next'}};if(a['message'])b['progress']['message']=a['message'];return b;},'notes':['L2\x20operation\x20—\x20both\x20owner\x20and\x20agent\x20can\x20advance','Node\x20transition\x20is\x20IRREVERSIBLE\x20(no\x20backward\x20movement)','If\x20forward\x20has\x20a\x20Guard,\x20guard_submission\x20is\x20required','Service.machine\x20is\x20snapshotted\x20at\x20buy\x20time\x20—\x20Order.machine\x20will\x20NOT\x20update\x20if\x20Service.machine\x20changes\x20later'],'permission_layer':'L2_owner_or_agent','irreversible':!![]},{'id':'T-O-03','name':'Set\x20agent\x20list\x20(multi-agent\x20logistics\x20delegation)','description':'Template\x20for\x20setting\x20up\x20multiple\x20agents\x20to\x20operate\x20the\x20Order\x20(advance\x20Progress,\x20update\x20required_info).\x20Agents\x20CANNOT\x20receive\x20payments.','applicable_scenes':['order_set_agent'],'industry_tags':['logistics','team','service'],'params':[{'name':'order_address','type':'address','description':'Order\x20object\x20address','required':!![]},{'name':'agent_addresses','type':'string[]','description':'Agent\x20addresses\x20(overwrites\x20entire\x20list)','required':!![]}],'body':a=>({'object':a['order_address'],'agent':a['agent_addresses']}),'notes':['L1\x20operation\x20—\x20OWNER-ONLY\x20(assert_owner)','⚠️\x20Boundary\x20bug:\x20actual\x20max\x2011\x20agents\x20(not\x2010)\x20due\x20to\x20<=\x20in\x20agent_set_imp','FROZEN\x20after\x20Progress\x20binding\x20—\x20call\x20BEFORE\x20service::buy\x20if\x20machine\x20is\x20configured','Agents\x20can\x20advance\x20Progress,\x20update\x20required_info,\x20file\x20arbitration\x20—\x20but\x20CANNOT\x20receive\x20payments','Overwrites\x20entire\x20agent\x20list\x20(not\x20additive)'],'permission_layer':'L1_owner_only','irreversible':![]},{'id':'T-O-04','name':'File\x20arbitration\x20(arb_confirm\x20with\x20proposition)','description':'Template\x20for\x20filing\x20an\x20arbitration\x20case\x20with\x20description\x20+\x20proposition\x20list.\x20Triggers\x20order::dispute(arb)\x20appending\x20Arb\x20to\x20dispute\x20vector.','applicable_scenes':['order_arb_confirm'],'industry_tags':['dispute','arbitration','universal'],'params':[{'name':'order_address','type':'address','description':'Order\x20object\x20address','required':!![]},{'name':'arb_address','type':'address','description':'Arbitration\x20object\x20address\x20(must\x20exist)','required':!![]},{'name':'confirm','type':'string','description':'Confirm\x20materials\x20valid?\x20\x27true\x27\x20or\x20\x27false\x27','required':!![],'default':'true'},{'name':'description','type':'string','description':'Compensation\x20application\x20description\x20(required\x20for\x20arb::description_change)','required':!![]},{'name':'propositions','type':'string[]','description':'Compensation\x20claims\x20list\x20(e.g.\x20[\x27Refund\x20full\x20amount\x27,\x20\x27Compensation\x20for\x20delay\x27])','required':!![]}],'body':a=>({'object':a['order_address'],'arb_confirm':{'arb':a['arb_address'],'confirm':a['confirm']==='true','description':a['description'],'proposition':a['propositions']}}),'notes':['L2\x20operation\x20—\x20both\x20owner\x20and\x20agent\x20can\x20file','IRREVERSIBLE\x20—\x20once\x20filed,\x20Arb\x20process\x20cannot\x20be\x20cancelled','Triggers\x20order::dispute(arb)\x20—\x20appends\x20Arb\x20to\x20order.dispute\x20vector\x20(max\x2010)','If\x20claimed_by\x20is\x20already\x20set,\x20aborts\x20E_ORDER_ALREADY_CLAIMED','Use\x20T-O-08\x20(arb_objection)\x20to\x20object\x20to\x20Arb\x20ruling\x20after\x20this\x20step'],'permission_layer':'L2_owner_or_agent','irreversible':!![]},{'id':'T-O-05','name':'Receive\x20payment\x20(owner-only\x20collect)','description':'Template\x20for\x20collecting\x20CoinWrapper\x20or\x20arbitrary\x20Receiving<K>\x20from\x20Progress.\x20Funds\x20forwarded\x20to\x20owner.\x20Owner-only.','applicable_scenes':['order_receive'],'industry_tags':['finance','universal'],'params':[{'name':'order_address','type':'address','description':'Order\x20object\x20address','required':!![]},{'name':'received_object_id','type':'string','description':'Receiving\x20object\x20ID\x20(CoinWrapper\x20or\x20Receiving<K>)','required':!![]}],'body':a=>({'object':a['order_address'],'receive':{'received':a['received_object_id']}}),'notes':['L1\x20operation\x20—\x20OWNER-ONLY\x20(assert_owner).\x20Agent\x20CANNOT\x20receive.','Aborts\x20E_ORDER_DELIVERING\x20if\x20Progress\x20not\x20at\x20terminal\x20node','Can\x20be\x20called\x20multiple\x20times\x20(e.g.\x20partial\x20refunds)','Funds\x20are\x20unwrapped\x20(CoinWrapper\x20→\x20Coin)\x20and\x20transferred\x20to\x20owner\x20address','For\x20ownership\x20transfer,\x20use\x20T-O-06\x20variant\x20(transfer_to)\x20instead'],'permission_layer':'L1_owner_only','irreversible':![]},{'id':'T-O-06','name':'Claim\x20compensation\x20(arb_claim_compensation\x20—\x20IRREVERSIBLE)','description':'Template\x20for\x20claiming\x20compensation\x20from\x20a\x20ruled\x20Arb.\x20Sets\x20claimed_by\x20—\x20ONE-TIME,\x20IRREVERSIBLE,\x20blocks\x20all\x20future\x20disputes.','applicable_scenes':['order_arb_claim_compensation'],'industry_tags':['dispute','arbitration'],'params':[{'name':'order_address','type':'address','description':'Order\x20object\x20address','required':!![]},{'name':'arb_address','type':'address','description':'RULED\x20Arb\x20object\x20address\x20(must\x20be\x20in\x20Arbitrated\x20state)','required':!![]}],'body':a=>({'object':a['order_address'],'arb_claim_compensation':{'arb':a['arb_address']}}),'notes':['⚠️⚠️\x20IRREVERSIBLE\x20—\x20claimed_by\x20cannot\x20be\x20reset','After\x20claim:\x20NO\x20new\x20disputes\x20can\x20be\x20filed\x20(E_ORDER_ALREADY_CLAIMED)','Arb\x20must\x20be\x20in\x20Arbitrated\x20state\x20(ruled,\x20not\x20pending)','L2\x20operation\x20—\x20both\x20owner\x20and\x20agent\x20can\x20claim','Triggers\x20service::compensation_claim\x20→\x20order::compensate(arb)','Verify\x20arb_address\x20TWICE\x20before\x20submitting\x20—\x20there\x20is\x20no\x20undo'],'permission_layer':'L2_owner_or_agent','irreversible':!![]},{'id':'T-O-07','name':'Update\x20required_info\x20(Contact\x20recipient\x20or\x20WTS\x20Proof)','description':'Template\x20for\x20setting\x20required_info\x20—\x20either\x20a\x20Contact\x20object\x20(recipient\x20info)\x20or\x20WTS\x20Proof\x20object\x20(delivery\x20proof).\x20Both\x20owner\x20and\x20agent\x20can\x20update.','applicable_scenes':['order_required_info'],'industry_tags':['logistics','universal'],'params':[{'name':'order_address','type':'address','description':'Order\x20object\x20address','required':!![]},{'name':'info_type','type':'string','description':'\x27contact\x27\x20(recipient)\x20or\x20\x27wts_proof\x27\x20(delivery\x20proof)\x20or\x20\x27clear\x27\x20(set\x20to\x20null)','required':!![]},{'name':'info_address','type':'address','description':'Contact\x20or\x20WTS\x20Proof\x20object\x20address\x20(not\x20needed\x20if\x20info_type=\x27clear\x27)','required':![]}],'body':a=>{if(a['info_type']==='clear')return{'object':a['order_address'],'required_info':null};if(!a['info_address'])throw new Error('info_address\x20required\x20when\x20info_type=\x27'+a['info_type']+'\x27');return{'object':a['order_address'],'required_info':a['info_address']};},'notes':['L2\x20operation\x20—\x20both\x20owner\x20and\x20agent\x20can\x20update','REVERSIBLE\x20—\x20can\x20be\x20called\x20multiple\x20times','Contact\x20object\x20=\x20recipient\x20info\x20(shipping\x20address,\x20contact\x20details)','WTS\x20Proof\x20object\x20=\x20delivery\x20proof\x20(generated\x20via\x20Wowok\x20Messenger)','null\x20clears\x20the\x20field'],'permission_layer':'L2_owner_or_agent','irreversible':![]},{'id':'T-O-08','name':'Object\x20to\x20Arb\x20ruling\x20(arb_objection\x20—\x20request\x20re-arbitration)','description':'Template\x20for\x20objecting\x20to\x20an\x20Arb\x20ruling\x20and\x20requesting\x20re-arbitration.\x20Requires\x20Arb\x20status\x20=\x20Arbitrated.','applicable_scenes':['order_arb_objection'],'industry_tags':['dispute','arbitration'],'params':[{'name':'order_address','type':'address','description':'Order\x20object\x20address','required':!![]},{'name':'arb_address','type':'address','description':'RULED\x20Arb\x20object\x20address\x20(must\x20be\x20in\x20Arbitrated\x20state)','required':!![]},{'name':'objection_reason','type':'string','description':'Reason\x20for\x20objection\x20(required\x20by\x20arb::objection)','required':!![]}],'body':a=>({'object':a['order_address'],'arb_objection':{'arb':a['arb_address'],'objection':a['objection_reason']}}),'notes':['L2\x20operation\x20—\x20both\x20owner\x20and\x20agent\x20can\x20object','IRREVERSIBLE\x20—\x20triggers\x20re-arbitration\x20flow','Arb\x20must\x20be\x20in\x20Arbitrated\x20state\x20(after\x20initial\x20ruling)','Cannot\x20object\x20if\x20claimed_by\x20is\x20already\x20set\x20(E_ORDER_ALREADY_CLAIMED)'],'permission_layer':'L2_owner_or_agent','irreversible':!![]}];export const ORDER_TEMPLATES_VERSION='1.0.0';export const ORDER_TEMPLATES_COUNT=ORDER_TEMPLATES['length'];export function getAllOrderTemplates(){return[...ORDER_TEMPLATES];}export function getTemplateById(a){return ORDER_TEMPLATES['find'](b=>b['id']===a);}export function getTemplatesByScene(a){return ORDER_TEMPLATES['filter'](b=>b['applicable_scenes']['includes'](a));}export function getTemplatesByIndustry(a){return ORDER_TEMPLATES['filter'](b=>b['industry_tags']['includes'](a)||b['industry_tags']['includes']('universal'));}export function getTemplatesByPermissionLayer(a){return ORDER_TEMPLATES['filter'](b=>b['permission_layer']===a);}export function getIrreversibleTemplates(){return ORDER_TEMPLATES['filter'](a=>a['irreversible']);}export function suggestTemplateForScene(a){const b=getTemplatesByScene(a);return b['length']>0x0?b[0x0]:undefined;}export function listOrderTemplates(){return ORDER_TEMPLATES['map'](a=>({'id':a['id'],'name':a['name'],'description':a['description'],'scenes':a['applicable_scenes'],'irreversible':a['irreversible']}));}export function fillTemplate(a,b){const c=getTemplateById(a);if(!c)return{'ok':![],'error':'Template\x20'+a+'\x20not\x20found'};for(const d of c['params']){if(d['required']&&!(d['name']in b))return{'ok':![],'error':'Missing\x20required\x20param:\x20'+d['name'],'template':c};}try{const f=c['body'](b);return{'ok':!![],'body':f,'template':c};}catch(g){return{'ok':![],'error':'Template\x20body\x20generation\x20failed:\x20'+g['message'],'template':c};}}export function suggestTemplateFromIntent(a){const b=a['toLowerCase'](),c=[['buy','T-O-01'],['purchase','T-O-01'],['advance','T-O-02'],['forward','T-O-02'],['set\x20agent','T-O-03'],['agent','T-O-03'],['arb_confirm','T-O-04'],['file\x20dispute','T-O-04'],['apply\x20arbitration','T-O-04'],['receive','T-O-05'],['collect','T-O-05'],['claim\x20compensation','T-O-06'],['required_info','T-O-07'],['contact','T-O-07'],['recipient','T-O-07'],['arb_objection','T-O-08'],['objection','T-O-08']];for(const [d,e]of c){if(b['includes'](d['toLowerCase']()))return getTemplateById(e);}return undefined;}export function getTemplateParameters(a){return getTemplateById(a)?.['params'];}export function validateTemplateParams(a,b){const c=getTemplateById(a);if(!c)return['Template\x20'+a+'\x20not\x20found'];const d=[];for(const e of c['params']){if(e['required']&&!(e['name']in b)){d['push']('Missing\x20required\x20param:\x20'+e['name']);continue;}if(!(e['name']in b))continue;const f=b[e['name']];if(e['type']==='address')(typeof f!=='string'||!f['startsWith']('0x')||f['length']<0x28)&&d['push']('Param\x20'+e['name']+'\x20must\x20be\x20a\x20valid\x20Wow\x20address\x20(got:\x20'+f+')');else{if(e['type']==='string'){if(typeof f!=='string')d['push']('Param\x20'+e['name']+'\x20must\x20be\x20a\x20string');}else{if(e['type']==='number'){if(typeof f!=='number'||!Number['isFinite'](f))d['push']('Param\x20'+e['name']+'\x20must\x20be\x20a\x20number');}else e['type']==='string[]'&&((!Array['isArray'](f)||!f['every'](g=>typeof g==='string'))&&d['push']('Param\x20'+e['name']+'\x20must\x20be\x20a\x20string[]'));}}}return d;}
+export const ORDER_TEMPLATES=[{'id':'T-O-01','name':'Standard\x20retail\x20order\x20(single\x20item,\x20no\x20machine)','description':'Template\x20for\x20buying\x20a\x20single\x20retail\x20item\x20from\x20a\x20Service\x20without\x20a\x20Machine\x20workflow.\x20Order\x20created\x20via\x20service::buy.','applicable_scenes':['order_create','order_required_info'],'industry_tags':['retail','universal'],'params':[{'name':'service_address','type':'address','description':'Service\x20object\x20address\x20(target\x20of\x20service::buy)','required':!![]},{'name':'item_name','type':'string','description':'Item\x20name\x20(must\x20match\x20Service\x27s\x20sale\x20item\x20name)','required':!![]},{'name':'item_price','type':'string','description':'Item\x20price\x20in\x20MIST\x20(string\x20for\x20u64\x20precision)','required':!![]},{'name':'item_quantity','type':'number','description':'Quantity\x20to\x20purchase','required':!![],'default':0x1},{'name':'wip_hash','type':'string','description':'WIP\x20hash\x20(NOT\x20empty\x20string\x20—\x20use\x20\x270x\x27\x20+\x20actual\x20hash)','required':!![]},{'name':'discount_address','type':'address','description':'Discount\x20object\x20address\x20(optional)','required':![]},{'name':'named_order','type':'string','description':'Order\x20alias\x20name\x20(optional,\x20for\x20SDK\x20lookup)','required':![]},{'name':'contact_address','type':'address','description':'Contact\x20object\x20address\x20for\x20required_info\x20(recipient)','required':![]}],'body':a=>{const b={'_note':'Order\x20creation\x20goes\x20via\x20service::buy,\x20not\x20CallOrder_Data.\x20Use\x20this\x20template\x20to\x20populate\x20CallService_Data.buy.','_call_target':'service','object':a['service_address'],'buy':{'items':[{'name':a['item_name'],'price':a['item_price'],'quantity':a['item_quantity'],'wip_hash':a['wip_hash']}],'discount':a['discount_address']??null,'named_order':a['named_order']??null,'machine_forward':null}};return a['contact_address']&&(b['_post_buy_required_info']=a['contact_address']),b;},'notes':['Order\x20is\x20NOT\x20created\x20directly\x20—\x20service::buy\x20atomically\x20builds\x20Order\x20+\x20Allocation\x20+\x20Progress','wip_hash\x20must\x20NOT\x20be\x20empty\x20string\x20—\x20use\x20actual\x20hash\x20to\x20avoid\x20\x27WIP\x20hash\x20not\x20match\x27\x20error','Item\x20name\x20+\x20price\x20must\x20match\x20a\x20sale\x20item\x20configured\x20on\x20the\x20Service'],'permission_layer':'via_service_buy','irreversible':!![]},{'id':'T-O-02','name':'Workflow\x20order\x20advance\x20(machine\x20+\x20progress\x20forward)','description':'Template\x20for\x20advancing\x20an\x20Order\x27s\x20Progress\x20via\x20named\x20forward.\x20Both\x20owner\x20and\x20agent\x20can\x20advance.','applicable_scenes':['order_advance'],'industry_tags':['workflow','logistics','service'],'params':[{'name':'order_address','type':'address','description':'Order\x20object\x20address','required':!![]},{'name':'next_node_name','type':'string','description':'Target\x20node\x20name\x20to\x20advance\x20to','required':!![]},{'name':'forward_name','type':'string','description':'Forward\x20name\x20(must\x20exist\x20on\x20current\x20node)','required':!![]},{'name':'operator','type':'address','description':'Named\x20operator\x20address\x20(optional,\x20null\x20for\x20anyone)','required':![]},{'name':'guard_submission','type':'object','description':'Guard\x20submission\x20object\x20(optional,\x20required\x20if\x20forward\x20has\x20guard)','required':![]},{'name':'message','type':'string','description':'Optional\x20message\x20attached\x20to\x20this\x20advance','required':![]}],'body':a=>{const b={'object':a['order_address'],'progress':{'next_node_name':a['next_node_name'],'forward':{'name':a['forward_name'],'operator':a['operator']??null,'guard':a['guard_submission']??null},'op':'next'}};if(a['message'])b['progress']['message']=a['message'];return b;},'notes':['L2\x20operation\x20—\x20both\x20owner\x20and\x20agent\x20can\x20advance','Node\x20transition\x20is\x20IRREVERSIBLE\x20(no\x20backward\x20movement)','If\x20forward\x20has\x20a\x20Guard,\x20guard_submission\x20is\x20required','Service.machine\x20is\x20snapshotted\x20at\x20buy\x20time\x20—\x20Order.machine\x20will\x20NOT\x20update\x20if\x20Service.machine\x20changes\x20later'],'permission_layer':'L2_owner_or_agent','irreversible':!![]},{'id':'T-O-03','name':'Set\x20agent\x20list\x20(multi-agent\x20logistics\x20delegation)','description':'Template\x20for\x20setting\x20up\x20multiple\x20agents\x20to\x20operate\x20the\x20Order\x20(advance\x20Progress,\x20file\x20arbitration).\x20agent_set\x20REPLACES\x20the\x20entire\x20list.','applicable_scenes':['order_set_agent'],'industry_tags':['logistics','team','service'],'params':[{'name':'order_address','type':'address','description':'Order\x20object\x20address','required':!![]},{'name':'agent_addresses','type':'string[]','description':'Agent\x20addresses\x20(overwrites\x20entire\x20list)','required':!![]}],'body':a=>({'object':a['order_address'],'agent':a['agent_addresses']}),'notes':['L1\x20operation\x20—\x20OWNER-ONLY\x20(assert_owner)','Max\x2010\x20DISTINCT\x20agents\x20(input\x20is\x20deduped\x20on-chain;\x20assert\x20length\x20<\x20MAX_AGENT_COUNT\x20before\x20each\x20push)','Can\x20be\x20called\x20at\x20ANY\x20time\x20—\x20NOT\x20frozen\x20after\x20Progress\x20binding','Agents\x20can\x20advance\x20Progress\x20and\x20file\x20arbitration\x20—\x20but\x20CANNOT\x20change\x20owner\x20or\x20required_info\x20(L1\x20ops)','Overwrites\x20entire\x20agent\x20list\x20(not\x20additive)\x20—\x20omitted\x20agents\x20silently\x20lose\x20access'],'permission_layer':'L1_owner_only','irreversible':![]},{'id':'T-O-04','name':'File\x20arbitration\x20(arb_confirm\x20with\x20proposition)','description':'Template\x20for\x20filing\x20an\x20arbitration\x20case\x20with\x20description\x20+\x20proposition\x20list.\x20Triggers\x20order::dispute(arb)\x20appending\x20Arb\x20to\x20dispute\x20vector.','applicable_scenes':['order_arb_confirm'],'industry_tags':['dispute','arbitration','universal'],'params':[{'name':'order_address','type':'address','description':'Order\x20object\x20address','required':!![]},{'name':'arb_address','type':'address','description':'Arbitration\x20object\x20address\x20(must\x20exist)','required':!![]},{'name':'confirm','type':'string','description':'Confirm\x20materials\x20valid?\x20\x27true\x27\x20or\x20\x27false\x27','required':!![],'default':'true'},{'name':'description','type':'string','description':'Compensation\x20application\x20description\x20(required\x20for\x20arb::description_change)','required':!![]},{'name':'propositions','type':'string[]','description':'Compensation\x20claims\x20list\x20(e.g.\x20[\x27Refund\x20full\x20amount\x27,\x20\x27Compensation\x20for\x20delay\x27])','required':!![]}],'body':a=>({'object':a['order_address'],'arb_confirm':{'arb':a['arb_address'],'confirm':a['confirm']==='true','description':a['description'],'proposition':a['propositions']}}),'notes':['L2\x20operation\x20—\x20both\x20owner\x20and\x20agent\x20can\x20file','IRREVERSIBLE\x20—\x20once\x20filed,\x20Arb\x20process\x20cannot\x20be\x20cancelled','Triggers\x20order::dispute(arb)\x20—\x20appends\x20Arb\x20to\x20order.dispute\x20vector\x20(max\x2010)','If\x20claimed_by\x20is\x20already\x20set,\x20aborts\x20E_ORDER_ALREADY_CLAIMED','Use\x20T-O-08\x20(arb_objection)\x20to\x20object\x20to\x20Arb\x20ruling\x20after\x20this\x20step'],'permission_layer':'L2_owner_or_agent','irreversible':!![]},{'id':'T-O-05','name':'Receive\x20payment\x20(Receiving-gated\x20collect)','description':'Template\x20for\x20collecting\x20CoinWrapper\x20or\x20arbitrary\x20Receiving<K>\x20distributed\x20by\x20allocation::alloc.\x20Funds\x20forwarded\x20to\x20order.owner.\x20No\x20owner\x20assert\x20—\x20caller\x20must\x20hold\x20the\x20Receiving\x20object.','applicable_scenes':['order_receive'],'industry_tags':['finance','universal'],'params':[{'name':'order_address','type':'address','description':'Order\x20object\x20address','required':!![]},{'name':'received_object_id','type':'string','description':'Receiving\x20object\x20ID\x20(CoinWrapper\x20or\x20Receiving<K>)','required':!![]}],'body':a=>({'object':a['order_address'],'receive':{'received':a['received_object_id']}}),'notes':['Gated\x20by\x20Receiving\x20existence\x20—\x20allocation::alloc\x20must\x20have\x20run\x20and\x20created\x20a\x20Receiving\x20at\x20the\x20caller\x27s\x20address\x20(verify\x20the\x20object\x20ID\x20via\x20explorer)','Receiving\x20must\x20match\x20the\x20Payment\x20object\x20(EPAYMENT_NOT_MATCH\x20on\x20mismatch)','No\x20owner\x20assert\x20—\x20ANY\x20caller\x20holding\x20the\x20Receiving\x20can\x20complete\x20the\x20receive;\x20funds\x20ALWAYS\x20go\x20to\x20order.owner','Can\x20be\x20called\x20multiple\x20times\x20(e.g.\x20partial\x20refunds)','Funds\x20are\x20unwrapped\x20(CoinWrapper\x20→\x20Coin)\x20and\x20transferred\x20to\x20owner\x20address','For\x20ownership\x20transfer,\x20use\x20T-O-06\x20variant\x20(transfer_to)\x20instead'],'permission_layer':'L4_object_gated','irreversible':![]},{'id':'T-O-06','name':'Claim\x20compensation\x20(arb_claim_compensation\x20—\x20IRREVERSIBLE)','description':'Template\x20for\x20claiming\x20compensation\x20from\x20a\x20ruled\x20Arb.\x20Sets\x20claimed_by\x20—\x20ONE-TIME,\x20IRREVERSIBLE,\x20blocks\x20all\x20future\x20disputes.','applicable_scenes':['order_arb_claim_compensation'],'industry_tags':['dispute','arbitration'],'params':[{'name':'order_address','type':'address','description':'Order\x20object\x20address','required':!![]},{'name':'arb_address','type':'address','description':'RULED\x20Arb\x20object\x20address\x20(must\x20be\x20in\x20Arbitrated\x20state)','required':!![]}],'body':a=>({'object':a['order_address'],'arb_claim_compensation':{'arb':a['arb_address']}}),'notes':['⚠️⚠️\x20IRREVERSIBLE\x20—\x20claimed_by\x20cannot\x20be\x20reset','After\x20claim:\x20NO\x20new\x20disputes\x20can\x20be\x20filed\x20(E_ORDER_ALREADY_CLAIMED)','Arb\x20must\x20be\x20in\x20Arbitrated\x20state\x20(ruled,\x20not\x20pending)\x20—\x20arb::finish\x20gating','No\x20op-permission\x20assert\x20on\x20the\x20Order\x20—\x20gated\x20by\x20the\x20ruled\x20Arb\x20status;\x20compensation\x20is\x20paid\x20to\x20the\x20tx\x20sender','Triggers\x20service::compensation_claim\x20→\x20order::compensate(arb)','Verify\x20arb_address\x20TWICE\x20before\x20submitting\x20—\x20there\x20is\x20no\x20undo'],'permission_layer':'L4_object_gated','irreversible':!![]},{'id':'T-O-07','name':'Update\x20required_info\x20(Contact\x20recipient\x20or\x20WTS\x20Proof)','description':'Template\x20for\x20setting\x20required_info\x20—\x20either\x20a\x20Contact\x20object\x20(recipient\x20info)\x20or\x20WTS\x20Proof\x20object\x20(delivery\x20proof).\x20Owner-only.','applicable_scenes':['order_required_info'],'industry_tags':['logistics','universal'],'params':[{'name':'order_address','type':'address','description':'Order\x20object\x20address','required':!![]},{'name':'info_type','type':'string','description':'\x27contact\x27\x20(recipient)\x20or\x20\x27wts_proof\x27\x20(delivery\x20proof)\x20or\x20\x27clear\x27\x20(set\x20to\x20null)','required':!![]},{'name':'info_address','type':'address','description':'Contact\x20or\x20WTS\x20Proof\x20object\x20address\x20(not\x20needed\x20if\x20info_type=\x27clear\x27)','required':![]}],'body':a=>{if(a['info_type']==='clear')return{'object':a['order_address'],'required_info':null};if(!a['info_address'])throw new Error('info_address\x20required\x20when\x20info_type=\x27'+a['info_type']+'\x27');return{'object':a['order_address'],'required_info':a['info_address']};},'notes':['L1\x20operation\x20—\x20OWNER-ONLY\x20(assert_owner);\x20agent\x20CANNOT\x20update\x20required_info','REVERSIBLE\x20—\x20can\x20be\x20called\x20multiple\x20times','Contact\x20object\x20=\x20recipient\x20info\x20(shipping\x20address,\x20contact\x20details)','WTS\x20Proof\x20object\x20=\x20delivery\x20proof\x20(generated\x20via\x20Wowok\x20Messenger)','null\x20clears\x20the\x20field'],'permission_layer':'L1_owner_only','irreversible':![]},{'id':'T-O-08','name':'Object\x20to\x20Arb\x20ruling\x20(arb_objection\x20—\x20request\x20re-arbitration)','description':'Template\x20for\x20objecting\x20to\x20an\x20Arb\x20ruling\x20and\x20requesting\x20re-arbitration.\x20Requires\x20Arb\x20status\x20=\x20Arbitrated.','applicable_scenes':['order_arb_objection'],'industry_tags':['dispute','arbitration'],'params':[{'name':'order_address','type':'address','description':'Order\x20object\x20address','required':!![]},{'name':'arb_address','type':'address','description':'RULED\x20Arb\x20object\x20address\x20(must\x20be\x20in\x20Arbitrated\x20state)','required':!![]},{'name':'objection_reason','type':'string','description':'Reason\x20for\x20objection\x20(required\x20by\x20arb::objection)','required':!![]}],'body':a=>({'object':a['order_address'],'arb_objection':{'arb':a['arb_address'],'objection':a['objection_reason']}}),'notes':['L2\x20operation\x20—\x20both\x20owner\x20and\x20agent\x20can\x20object','IRREVERSIBLE\x20—\x20triggers\x20re-arbitration\x20flow','Arb\x20must\x20be\x20in\x20Arbitrated\x20state\x20(after\x20initial\x20ruling)','Cannot\x20object\x20if\x20claimed_by\x20is\x20already\x20set\x20(E_ORDER_ALREADY_CLAIMED)'],'permission_layer':'L2_owner_or_agent','irreversible':!![]}];export const ORDER_TEMPLATES_VERSION='1.0.0';export const ORDER_TEMPLATES_COUNT=ORDER_TEMPLATES['length'];export function getAllOrderTemplates(){return[...ORDER_TEMPLATES];}export function getTemplateById(a){return ORDER_TEMPLATES['find'](b=>b['id']===a);}export function getTemplatesByScene(a){return ORDER_TEMPLATES['filter'](b=>b['applicable_scenes']['includes'](a));}export function getTemplatesByIndustry(a){return ORDER_TEMPLATES['filter'](b=>b['industry_tags']['includes'](a)||b['industry_tags']['includes']('universal'));}export function getTemplatesByPermissionLayer(a){return ORDER_TEMPLATES['filter'](b=>b['permission_layer']===a);}export function getIrreversibleTemplates(){return ORDER_TEMPLATES['filter'](a=>a['irreversible']);}export function suggestTemplateForScene(a){const b=getTemplatesByScene(a);return b['length']>0x0?b[0x0]:undefined;}export function listOrderTemplates(){return ORDER_TEMPLATES['map'](a=>({'id':a['id'],'name':a['name'],'description':a['description'],'scenes':a['applicable_scenes'],'irreversible':a['irreversible']}));}export function fillTemplate(a,b){const c=getTemplateById(a);if(!c)return{'ok':![],'error':'Template\x20'+a+'\x20not\x20found'};for(const d of c['params']){if(d['required']&&!(d['name']in b))return{'ok':![],'error':'Missing\x20required\x20param:\x20'+d['name'],'template':c};}try{const f=c['body'](b);return{'ok':!![],'body':f,'template':c};}catch(g){return{'ok':![],'error':'Template\x20body\x20generation\x20failed:\x20'+g['message'],'template':c};}}export function suggestTemplateFromIntent(a){const b=a['toLowerCase'](),c=[['buy','T-O-01'],['purchase','T-O-01'],['advance','T-O-02'],['forward','T-O-02'],['set\x20agent','T-O-03'],['agent','T-O-03'],['arb_confirm','T-O-04'],['file\x20dispute','T-O-04'],['apply\x20arbitration','T-O-04'],['receive','T-O-05'],['collect','T-O-05'],['claim\x20compensation','T-O-06'],['required_info','T-O-07'],['contact','T-O-07'],['recipient','T-O-07'],['arb_objection','T-O-08'],['objection','T-O-08']];for(const [d,e]of c){if(b['includes'](d['toLowerCase']()))return getTemplateById(e);}return undefined;}export function getTemplateParameters(a){return getTemplateById(a)?.['params'];}export function validateTemplateParams(a,b){const c=getTemplateById(a);if(!c)return['Template\x20'+a+'\x20not\x20found'];const d=[];for(const e of c['params']){if(e['required']&&!(e['name']in b)){d['push']('Missing\x20required\x20param:\x20'+e['name']);continue;}if(!(e['name']in b))continue;const f=b[e['name']];if(e['type']==='address')(typeof f!=='string'||!f['startsWith']('0x')||f['length']<0x28)&&d['push']('Param\x20'+e['name']+'\x20must\x20be\x20a\x20valid\x20Wow\x20address\x20(got:\x20'+f+')');else{if(e['type']==='string'){if(typeof f!=='string')d['push']('Param\x20'+e['name']+'\x20must\x20be\x20a\x20string');}else{if(e['type']==='number'){if(typeof f!=='number'||!Number['isFinite'](f))d['push']('Param\x20'+e['name']+'\x20must\x20be\x20a\x20number');}else e['type']==='string[]'&&((!Array['isArray'](f)||!f['every'](g=>typeof g==='string'))&&d['push']('Param\x20'+e['name']+'\x20must\x20be\x20a\x20string[]'));}}}return d;}

package/dist/knowledge/safety-rules.js

@@ -1 +1 @@
-import{formatMist,GasTokenType,MAINNET_BRIDGE_CONFIG,formatUnits}from'@wowok/wowok';export const DEFAULT_VALUE_WARNINGS={'defaultAccount':'Using\x20default\x20account\x20(env.account=\x22\x22)','mainnet':'Operating\x20on\x20mainnet\x20—\x20irreversible','replaceExistName':'replaceExistName=true\x20will\x20unbind\x20the\x20existing\x20name\x20(breaking\x20refs)','defaultToken':'Using\x20default\x20token\x200x2::wow::WOW'};export const DEFAULT_AMOUNT_THRESHOLD=BigInt(0x174876e800);export function getAmountThreshold(){const a=process['env']['WOWOK_AMOUNT_THRESHOLD'];if(!a)return DEFAULT_AMOUNT_THRESHOLD;try{return BigInt(a);}catch{return DEFAULT_AMOUNT_THRESHOLD;}}export function formatAmount(a){return formatMist(a);}function bestEffortTokenType(a){return a?.['object']?.['type_parameter']??a?.['type_parameter'];}function describeAmount(a,b){if(!b||b===GasTokenType)return formatMist(a);return a+'\x20raw\x20smallest\x20units\x20of\x20'+b;}export function collectDefaultWarnings(a,b){const c=[],d=a?.['account'];(d===undefined||d==='')&&c['push'](DEFAULT_VALUE_WARNINGS['defaultAccount']);const e=a?.['network'];e&&/mainnet/i['test'](String(e))&&c['push'](DEFAULT_VALUE_WARNINGS['mainnet']);const f=b?.['namedNew']??b?.['object'];return f&&typeof f==='object'&&f['replaceExistName']===!![]&&c['push'](DEFAULT_VALUE_WARNINGS['replaceExistName']),c;}export const BRIDGE_FUND_OPERATION_TYPES=['cross_chain_wow_to_evm','cross_chain_evm_to_wow','claim_wow_to_evm','resume_transfer','withdraw'];function describeBridgeAmount(a,b,c){if(b==='WOW'||!b&&c==='wow_to_evm')return formatMist(a);const d=MAINNET_BRIDGE_CONFIG?.['tokens']?.['find'](f=>f['symbol']?.['toUpperCase']()===b?.['toUpperCase']()),e=d?c==='wow_to_evm'?d['wowDecimals']:d['evmDecimals']:undefined;if(e===undefined)return a+'\x20raw\x20smallest\x20units\x20of\x20'+(b??'the\x20bridge\x20token');try{return formatUnits(BigInt(a),e)+'\x20'+b;}catch{return a+'\x20raw\x20smallest\x20units\x20of\x20'+b;}}export const CONFIRMATION_RULES=[{'id':'bridge_fund_movement','when':(a,b,c)=>BRIDGE_FUND_OPERATION_TYPES['includes'](a),'level':'irreversible','preview':(a,b,c)=>{const d=typeof b?.['amount']==='string'?b['amount']:undefined,e=typeof b?.['token']==='string'?b['token']:undefined,f=b?.['withdrawTo']??b?.['recipientWowAddress']??b?.['to']??(a==='claim_wow_to_evm'||a==='resume_transfer'?b?.['transferId']:undefined),g=a==='cross_chain_wow_to_evm'?'wow_to_evm':'evm_side';return{'level':'irreversible','operation':a,'irreversible':!![],'network':c?.['network']??'mainnet','account':c?.['account']??'','amount':d!==undefined?{'value':d,'token':e??(g==='wow_to_evm'?GasTokenType:'ETH'),'human_readable':describeBridgeAmount(d,e,g),'recipient':f}:undefined,'warnings':[...collectDefaultWarnings(c,b),a==='withdraw'?'EVM\x20withdrawal\x20from\x20activeEvmAccount\x20—\x20funds\x20move\x20to\x20an\x20external\x20EVM\x20address;\x20irreversible.':'Cross-chain\x20bridge\x20transfer\x20—\x20funds\x20leave\x20the\x20source\x20chain;\x20recovery\x20(if\x20any)\x20requires\x20the\x20opposite-side\x20claim\x20or\x20resume_transfer,\x20never\x20a\x20rollback.']};},'bypass_on_explicit_intent':[]},{'id':'irreversible_fund_or_verdict','when':(a,b,c)=>{if(a==='payment')return!![];if(a==='arbitration'&&b?.['arbitration']!==undefined)return!![];if(b?.['receive']!==undefined||b?.['owner_receive']!==undefined||b?.['received_coins']!==undefined||b?.['compensation_fund_receive']!==undefined)return!![];if(b?.['alloc_by_guard']!==undefined)return!![];if(a==='reward'&&b?.['claim']!==undefined)return!![];if(a==='service'&&b?.['compensation_fund_withdraw']!==undefined)return!![];if(a==='order'&&b?.['arb_claim_compensation']!==undefined)return!![];if(a==='arbitration'&&(b?.['arb_withdraw']!==undefined||b?.['fees_transfer']!==undefined))return!![];if(a==='treasury'){if(b?.['withdraw'])return!![];return![];}return![];},'level':'irreversible','preview':(a,b,c)=>{let d;if(a==='payment'&&Array['isArray'](b?.['revenue'])&&b['revenue']['length']>0x0){const f=b['revenue']['find'](g=>typeof g?.['amount']?.['balance']==='string'||typeof g?.['amount']?.['balance']==='number');if(f){const g=String(f['amount']['balance']);d={'value':g,'human_readable':describeAmount(g,bestEffortTokenType(b))};}else d={'value':'','human_readable':'entire\x20Coin\x20object(s)\x20(amount\x20resolved\x20by\x20the\x20fund\x20layer)'};}const e=[];return a==='reward'&&b?.['claim']!==undefined&&e['push']('Reward\x20claim\x20—\x20Guard-verified\x20payout\x20splits\x20the\x20pool\x20balance\x20and\x20transfers\x20coins\x20to\x20the\x20claimer;\x20the\x20exact\x20amount\x20is\x20determined\x20by\x20the\x20Reward\x27s\x20guard\x20config.'),a==='service'&&b?.['compensation_fund_withdraw']!==undefined&&e['push']('Compensation\x20fund\x20withdraw\x20—\x20withdraws\x20the\x20ENTIRE\x20compensation_fund\x20into\x20a\x20new\x20Payment\x20owned\x20by\x20\x27'+(b['compensation_fund_withdraw']?.['receipt']??'(recipient)')+'\x27.'),a==='order'&&b?.['arb_claim_compensation']!==undefined&&e['push']('Order\x20compensation\x20claim\x20—\x20splits\x20the\x20Service\x27s\x20compensation_fund\x20and\x20transfers\x20the\x20awarded\x20coins\x20to\x20the\x20caller;\x20irreversible.'),a==='arbitration'&&b?.['arb_withdraw']!==undefined&&e['push']('Arb\x20fee\x20withdraw\x20—\x20sweeps\x20the\x20Arb\x27s\x20fee\x20balance\x20into\x20the\x20Arbitration\x20object\x27s\x20balance.'),a==='arbitration'&&b?.['fees_transfer']!==undefined&&e['push']('Arbitration\x20fees\x20transfer\x20—\x20withdraws\x20the\x20ENTIRE\x20Arbitration\x20balance\x20into\x20a\x20new\x20Payment\x20for\x20the\x20target\x20Allocation/Treasury;\x20irreversible.'),{'level':'irreversible','operation':a,'irreversible':!![],'network':c?.['network'],'account':c?.['account']??'','warnings':[...collectDefaultWarnings(c,b),...e],'amount':a==='payment'&&d?{...d,'token':bestEffortTokenType(b)??GasTokenType,'recipient':b?.['revenue']?.[0x0]?.['recipient']}:undefined};},'bypass_on_explicit_intent':[]},{'id':'publish_immutable','when':(a,b,c)=>{if(a==='service'&&(b?.['publish']===!![]||b?.['bPublished']===!![]))return!![];if(a==='machine'&&b?.['publish']===!![])return!![];return![];},'level':'publish','preview':(a,b,c)=>({'level':'publish','operation':a,'object':b?.['object']??b?.['namedNew']?.['name'],'network':c?.['network'],'account':c?.['account']??'','immutable_after':a==='service'?['machine','order_allocators']:['nodes','pairs','forwards'],'warnings':collectDefaultWarnings(c,b)}),'bypass_on_explicit_intent':['force\x20publish','publish\x20now']},{'id':'amount_sensitive','when':(a,b,c)=>{if(extractAmount(b)!==null)return!![];if(a==='service'&&b?.['order_new'])return!![];if(a==='treasury'&&b?.['deposit']?.['coin']?.['coin'])return!![];if(a==='reward'&&b?.['coin_add']?.['coin'])return!![];if(a==='allocation'&&b?.['coin']?.['coin'])return!![];return![];},'level':'amount','preview':(a,b,c)=>{const d=extractAmount(b),e=bestEffortTokenType(b);return{'level':'amount','operation':a,'object':b?.['object']??b?.['namedNew']?.['name'],'network':c?.['network'],'account':c?.['account']??'','amount':d?{'value':d,'token':e??GasTokenType,'human_readable':describeAmount(d,e)}:{'value':'','token':e??GasTokenType,'human_readable':'entire\x20Coin\x20object\x20(amount\x20resolved\x20on-chain)'},'warnings':collectDefaultWarnings(c,b)};},'bypass_on_explicit_intent':[]},{'id':'default_values','when':(a,b,c)=>{return collectDefaultWarnings(c,b)['length']>0x0;},'level':'standard','preview':(a,b,c)=>({'level':'standard','operation':a,'object':b?.['object']??b?.['namedNew']?.['name'],'network':c?.['network'],'account':c?.['account']??'','warnings':collectDefaultWarnings(c,b)}),'bypass_on_explicit_intent':['use\x20default\x20account','default\x20account\x20is\x20fine','use\x20the\x20default\x20account','default\x20account\x20works\x20fine']},{'id':'guard_create_immutable','when':(a,b,c)=>{if(a==='guard')return!![];return![];},'level':'irreversible','preview':(a,b,c)=>{const d=b?.['table']??[],e=b?.['root'],f=b?.['rely'],g=typeof e==='object'&&e!==null&&'type'in e?e['type']:typeof e==='object'&&e!==null&&'type'in e&&e['type']==='file'?'file':'unknown',h=['table','root'];if(f)h['push']('rely');return{'level':'irreversible','operation':a,'object':b?.['namedNew']?.['name'],'network':c?.['network'],'account':c?.['account']??'','immutable_after':h,'irreversible':!![],'warnings':[...collectDefaultWarnings(c,b),'Guard\x20is\x20CREATE-only\x20and\x20immutable\x20—\x20cannot\x20be\x20edited\x20or\x20deleted\x20after\x20creation','Table\x20entries:\x20'+d['length']+'\x20(max\x20256)','Root\x20node\x20type:\x20'+g+'\x20(must\x20return\x20Bool)',...f?['Rely\x20dependencies:\x20'+(f['guards']?.['length']??0x0)+'\x20(max\x204,\x20AND/OR\x20logic)']:[],'To\x20modify\x20later:\x20export\x20via\x20guard2file\x20→\x20edit\x20→\x20CREATE\x20new\x20→\x20rebind']};},'bypass_on_explicit_intent':[]},{'id':'guard_gen_passport_test','when':(a,b,c)=>{if(a==='gen_passport')return!![];return![];},'level':'standard','preview':(a,b,c)=>({'level':'standard','operation':a,'object':b?.['guard'],'network':c?.['network'],'account':c?.['account']??'','warnings':[...collectDefaultWarnings(c,b),'gen_passport\x20will\x20consume\x20gas\x20for\x20static\x20testing']}),'bypass_on_explicit_intent':['test\x20guard','testing\x20guard','gen\x20passport','generate\x20passport']},{'id':'progress_advance','when':(a,b,c)=>{if(a!=='progress')return![];return b?.['operate']?.['op']==='next'||b?.['owner_receive']!==undefined;},'level':'standard','preview':(a,b,c)=>({'level':'standard','operation':a,'object':b?.['object'],'network':c?.['network'],'account':c?.['account']??'','warnings':[...collectDefaultWarnings(c,b),'Advancing\x20the\x20progress\x20node\x20may\x20release\x20funds\x20per\x20the\x20machine\x20allocation']}),'bypass_on_explicit_intent':[]}];export function resolveOverrideId(a,b){if(a==='publish_immutable'){if(b==='service')return'service.publish';if(b==='machine')return'machine.publish';return undefined;}if(a==='progress_advance')return'node.advance';return undefined;}export function extractAmount(a){if(!a)return null;const b=e=>{if(typeof e==='number')return String(e);if(typeof e==='string'&&e!=='')return e;return null;},d=[a?.['balance'],a?.['amount'],a?.['compensation_fund_add']?.['balance'],a?.['coin_add']?.['balance'],a?.['coin']?.['balance'],a?.['order_new']?.['buy']?.['total_pay']?.['balance'],a?.['dispute']?.['fee']?.['balance'],a?.['fee'],a?.['arbitration']?.['indemnity'],a?.['revenue']?.[0x0]?.['amount']?.['balance'],a?.['deposit']?.['coin']?.['balance'],a?.['withdraw']?.['amount']?.['fixed']];for(const e of d){const f=b(e);if(f!==null)return f;}if(Array['isArray'](a?.['guard_add']))for(const h of a['guard_add']){if(h?.['amount']?.['type']==='Fixed'){const i=b(h['amount']['value']);if(i!==null)return i;}}for(const j of[a?.['allocators'],a?.['order_allocators']]){if(!j||typeof j!=='object')continue;const k=b(j['threshold']);if(k!==null)return k;for(const l of Array['isArray'](j['allocators'])?j['allocators']:[]){if(Array['isArray'](l?.['sharing']))for(const n of l['sharing']){if(n?.['mode']==='Amount'){const o=b(n['sharing']);if(o!==null)return o;}}const m=b(l?.['max']);if(m!==null)return m;}}return null;}export const OBJECT_REUSE_RULES=[{'rule_id':'REUSE-001','object_type':'permission','recommendation':'strongly_recommended','reason':'Centralized\x20permission\x20control\x20across\x20all\x20services','ask_user':'Do\x20you\x20have\x20an\x20existing\x20Permission\x20to\x20reuse?\x20Provide\x20the\x20name\x20or\x20ID.'},{'rule_id':'REUSE-002','object_type':'machine','recommendation':'recommended','reason':'Save\x20design\x20time\x20for\x20similar\x20processes','ask_user':'Do\x20you\x20have\x20an\x20existing\x20Machine\x20whose\x20workflow\x20fits?\x20Provide\x20the\x20name\x20or\x20ID.'},{'rule_id':'REUSE-003','object_type':'guard','recommendation':'recommended','reason':'Avoid\x20redundant\x20validation\x20rules','ask_user':'Do\x20you\x20have\x20an\x20existing\x20Guard\x20with\x20matching\x20validation\x20logic?\x20Provide\x20the\x20name\x20or\x20ID.'},{'rule_id':'REUSE-004','object_type':'contact','recommendation':'recommended','reason':'Single\x20point\x20of\x20customer-service\x20management','ask_user':'Do\x20you\x20have\x20an\x20existing\x20Contact\x20for\x20customer\x20service?\x20Provide\x20the\x20name\x20or\x20ID.'},{'rule_id':'REUSE-005','object_type':'arbitration','recommendation':'always_reuse','reason':'Customers\x20choose\x20from\x20established\x20arbiters;\x20creating\x20a\x20new\x20Arbitration\x20is\x20an\x20operator-level\x20decision','ask_user':'Which\x20existing\x20Arbitration\x20service\x20should\x20disputes\x20route\x20to?\x20Provide\x20the\x20name\x20or\x20ID.'}];export const CREATE_VS_MODIFY_PATTERN={'reuse_form':'string','create_form':'object','resolution_api':'GetObjectExisted','note':'String\x20reference\x20=\x20REUSE\x20(name\x20resolution\x20failure\x20is\x20a\x20hard\x20error);\x20object\x20shape\x20=\x20CREATE\x20(always).'};export const IMMUTABILITY_RULES=[{'rule_id':'IMMUT-001','object_type':'machine','trigger':'publish','immutable_fields':['nodes','pairs','forwards'],'message':'Machine\x20topology\x20is\x20immutable\x20after\x20publish\x20—\x20verify\x20all\x20nodes/forwards\x20via\x20machineNode2file\x20BEFORE\x20publishing'},{'rule_id':'IMMUT-002','object_type':'service','trigger':'publish','immutable_fields':['machine','order_allocators','arbitrations'],'mutable_after':['sales'],'message':'Service.machine,\x20order_allocators\x20and\x20arbitrations\x20are\x20frozen\x20after\x20publish;\x20sales\x20remains\x20fully\x20modifiable\x20(L3)\x20without\x20pause'},{'rule_id':'IMMUT-003','object_type':'guard','trigger':'create','immutable_fields':['table','root','rely'],'message':'Guard\x20is\x20CREATE-only\x20and\x20immutable\x20—\x20cannot\x20be\x20edited\x20or\x20deleted\x20after\x20creation.\x20To\x20change:\x20export\x20via\x20guard2file\x20→\x20edit\x20→\x20CREATE\x20new\x20→\x20rebind'}];export const OPERATION_TYPE_CLASSIFICATION={'LOCAL_ONLY':['account_operation','local_mark_operation','local_info_operation','config_operation'],'ONCHAIN':['onchain_operations','wip_file','bridge_operation','messenger_operation'],'QUERY':['query_toolkit','onchain_table_data','onchain_events','guard2file','machineNode2file','schema_query','wowok_buildin_info','trust_score'],'ENCRYPTED':['messenger_operation']};export const OPERATION_CLASS_META={'LOCAL_ONLY':{'gas':![],'confirmation_required':![],'note':'Local\x20state\x20only\x20—\x20no\x20gas,\x20no\x20confirmation\x20needed'},'ONCHAIN':{'gas':!![],'confirmation_required':!![],'note':'On-chain\x20write\x20—\x20gas\x20consumed,\x20explicit\x20user\x20confirmation\x20REQUIRED\x20before\x20execution'},'QUERY':{'gas':![],'confirmation_required':![],'note':'Read-only\x20—\x20no\x20gas,\x20no\x20confirmation\x20needed'},'ENCRYPTED':{'gas':![],'confirmation_required':![],'note':'Local\x20encryption\x20—\x20no\x20gas,\x20no\x20confirmation\x20needed'}};export function classifyTool(a){if(OPERATION_TYPE_CLASSIFICATION['ENCRYPTED']['includes'](a))return'ENCRYPTED';for(const b of['LOCAL_ONLY','ONCHAIN','QUERY']){if(OPERATION_TYPE_CLASSIFICATION[b]['includes'](a))return b;}return undefined;}export const NAMING_CONVENTIONS={'scheme':'<projectPrefix>_<type>_<purpose>_<version>','parts':{'project_prefix':{'example':'shopFunny_','purpose':'Prevents\x20cross-project\x20collisions'},'type_prefix':{'example':'machine_\x20/\x20guard_\x20/\x20service_','purpose':'Clarifies\x20object\x20type'},'purpose_suffix':{'example':'serviceWithdraw','purpose':'Describes\x20function'},'version_suffix':{'example':'_v2','purpose':'Enables\x20iteration\x20without\x20replaceExistName'}},'entry_id':{'pattern':'^<object_type>:<name>$','example':'service:myshop_service'},'replace_exist_name':{'default':![],'false_effect':'Throws\x20error\x20if\x20name\x20is\x20in\x20use\x20—\x20safe\x20default','true_effect':'Existing\x20object/account\x20with\x20the\x20same\x20name\x20is\x20suspended/unbound\x20to\x20free\x20the\x20name','account_default_forbidden':'replaceExistName:true\x20on\x20the\x20default\x20account\x20(name=\x27\x27)\x20is\x20FORBIDDEN\x20—\x20use\x20suspend()\x20explicitly','recommendation':'DISCOURAGED\x20—\x20prefer\x20versioned\x20names\x20(_v1,\x20_v2)\x20for\x20production'},'recommendations':['Always\x20provide\x20tags\x20on\x20object\x20creation\x20for\x20filtering\x20and\x20management','Use\x20names\x20as\x20primary\x20identifiers;\x20use\x20short\x20address\x20form\x20(0x1234...def)\x20only\x20for\x20display','All\x20cross-object\x20references\x20(Guard\x20tables,\x20Service\x20bindings,\x20Machine\x20forwards)\x20use\x20NAMES\x20—\x20resolved\x20per-network\x20at\x20build\x20time']};export function checkObjectReuseRules(a){const b=[];for(const c of a){if(!c['is_new'])continue;const d=OBJECT_REUSE_RULES['find'](e=>e['object_type']===c['object_type']);if(!d)continue;(d['recommendation']==='always_reuse'||d['recommendation']==='strongly_recommended')&&b['push']({'rule_id':d['rule_id'],'severity':d['recommendation']==='always_reuse'?'warn':'info','message':'Creating\x20NEW\x20'+c['object_type']+(c['name']?'\x20\x22'+c['name']+'\x22':'')+'\x20—\x20reuse\x20is\x20'+d['recommendation']+':\x20'+d['reason']+'.\x20'+d['ask_user']});}return b;}export function checkImmutabilityRules(a){const b=[];for(const c of a){const d=IMMUTABILITY_RULES['find'](e=>e['object_type']===c['object_type']&&e['trigger']===c['trigger']);if(!d)continue;b['push']({'rule_id':d['rule_id'],'severity':'warn','message':''+c['object_type']+(c['name']?'\x20\x22'+c['name']+'\x22':'')+'\x20'+c['trigger']+':\x20'+d['message']+'.\x20Immutable:\x20['+d['immutable_fields']['join'](',\x20')+']'+(d['mutable_after']?'.\x20Still\x20mutable:\x20['+d['mutable_after']['join'](',\x20')+']':'')});}return b;}export const SAFETY_RULES_VERSION=0x2;
+import{formatMist,GasTokenType,MAINNET_BRIDGE_CONFIG,formatUnits,isFundApprovalExempt}from'@wowok/wowok';export const DEFAULT_VALUE_WARNINGS={'defaultAccount':'Using\x20default\x20account\x20(env.account=\x22\x22)','mainnet':'Operating\x20on\x20mainnet\x20—\x20irreversible','replaceExistName':'replaceExistName=true\x20will\x20unbind\x20the\x20existing\x20name\x20(breaking\x20refs)','defaultToken':'Using\x20default\x20token\x200x2::wow::WOW'};export const DEFAULT_AMOUNT_THRESHOLD=BigInt(0x174876e800);export function getAmountThreshold(){const a=process['env']['WOWOK_AMOUNT_THRESHOLD'];if(!a)return DEFAULT_AMOUNT_THRESHOLD;try{return BigInt(a);}catch{return DEFAULT_AMOUNT_THRESHOLD;}}export function formatAmount(a){return formatMist(a);}function bestEffortTokenType(a){return a?.['object']?.['type_parameter']??a?.['type_parameter'];}function describeAmount(a,b){if(!b||b===GasTokenType)return formatMist(a);return a+'\x20raw\x20smallest\x20units\x20of\x20'+b;}export function collectDefaultWarnings(a,b){const c=[],d=a?.['account'];(d===undefined||d==='')&&c['push'](DEFAULT_VALUE_WARNINGS['defaultAccount']);const e=a?.['network'];e&&/mainnet/i['test'](String(e))&&c['push'](DEFAULT_VALUE_WARNINGS['mainnet']);const f=b?.['namedNew']??b?.['object'];return f&&typeof f==='object'&&f['replaceExistName']===!![]&&c['push'](DEFAULT_VALUE_WARNINGS['replaceExistName']),c;}export const BRIDGE_FUND_OPERATION_TYPES=['cross_chain_wow_to_evm','cross_chain_evm_to_wow','claim_wow_to_evm','resume_transfer','withdraw'];function describeBridgeAmount(a,b,c){if(b==='WOW'||!b&&c==='wow_to_evm')return formatMist(a);const d=MAINNET_BRIDGE_CONFIG?.['tokens']?.['find'](f=>f['symbol']?.['toUpperCase']()===b?.['toUpperCase']()),e=d?c==='wow_to_evm'?d['wowDecimals']:d['evmDecimals']:undefined;if(e===undefined)return a+'\x20raw\x20smallest\x20units\x20of\x20'+(b??'the\x20bridge\x20token');try{return formatUnits(BigInt(a),e)+'\x20'+b;}catch{return a+'\x20raw\x20smallest\x20units\x20of\x20'+b;}}export const CONFIRMATION_RULES=[{'id':'bridge_fund_movement','when':(a,b,c)=>BRIDGE_FUND_OPERATION_TYPES['includes'](a),'level':'irreversible','preview':(a,b,c)=>{const d=typeof b?.['amount']==='string'?b['amount']:undefined,e=typeof b?.['token']==='string'?b['token']:undefined,f=b?.['withdrawTo']??b?.['recipientWowAddress']??b?.['to']??(a==='claim_wow_to_evm'||a==='resume_transfer'?b?.['transferId']:undefined),g=a==='cross_chain_wow_to_evm'?'wow_to_evm':'evm_side';return{'level':'irreversible','operation':a,'irreversible':!![],'network':c?.['network']??'mainnet','account':c?.['account']??'','amount':d!==undefined?{'value':d,'token':e??(g==='wow_to_evm'?GasTokenType:'ETH'),'human_readable':describeBridgeAmount(d,e,g),'recipient':f}:undefined,'warnings':[...collectDefaultWarnings(c,b),a==='withdraw'?'EVM\x20withdrawal\x20from\x20activeEvmAccount\x20—\x20funds\x20move\x20to\x20an\x20external\x20EVM\x20address;\x20irreversible.':'Cross-chain\x20bridge\x20transfer\x20—\x20funds\x20leave\x20the\x20source\x20chain;\x20recovery\x20(if\x20any)\x20requires\x20the\x20opposite-side\x20claim\x20or\x20resume_transfer,\x20never\x20a\x20rollback.']};},'bypass_on_explicit_intent':[]},{'id':'irreversible_fund_or_verdict','when':(a,b,c)=>{const d=c?.['network'],e=bestEffortTokenType(b)??GasTokenType;if(a==='payment'&&Array['isArray'](b?.['revenue'])&&b['revenue']['length']>0x0){const f=b['revenue']['map'](g=>g?.['amount']?.['balance'])['filter'](g=>typeof g==='string'||typeof g==='number');if(f['length']===b['revenue']['length']&&f['every'](g=>isFundApprovalExempt(d,e,String(g))))return![];return!![];}if(a==='treasury'&&b?.['withdraw']){const g=extractAmount(b);if(g!==null&&isFundApprovalExempt(d,e,g))return![];return!![];}if(a==='payment')return!![];if(a==='arbitration'&&b?.['arbitration']!==undefined)return!![];if(b?.['receive']!==undefined||b?.['owner_receive']!==undefined||b?.['received_coins']!==undefined||b?.['compensation_fund_receive']!==undefined)return!![];if(b?.['alloc_by_guard']!==undefined)return!![];if(a==='reward'&&b?.['claim']!==undefined)return!![];if(a==='service'&&b?.['compensation_fund_withdraw']!==undefined)return!![];if(a==='order'&&b?.['arb_claim_compensation']!==undefined)return!![];if(a==='arbitration'&&(b?.['arb_withdraw']!==undefined||b?.['fees_transfer']!==undefined))return!![];if(a==='treasury'){if(b?.['withdraw'])return!![];return![];}return![];},'level':'irreversible','preview':(a,b,c)=>{let d;if(a==='payment'&&Array['isArray'](b?.['revenue'])&&b['revenue']['length']>0x0){const f=b['revenue']['find'](g=>typeof g?.['amount']?.['balance']==='string'||typeof g?.['amount']?.['balance']==='number');if(f){const g=String(f['amount']['balance']);d={'value':g,'human_readable':describeAmount(g,bestEffortTokenType(b))};}else d={'value':'','human_readable':'entire\x20Coin\x20object(s)\x20(amount\x20resolved\x20by\x20the\x20fund\x20layer)'};}const e=[];return a==='reward'&&b?.['claim']!==undefined&&e['push']('Reward\x20claim\x20—\x20Guard-verified\x20payout\x20splits\x20the\x20pool\x20balance\x20and\x20transfers\x20coins\x20to\x20the\x20claimer;\x20the\x20exact\x20amount\x20is\x20determined\x20by\x20the\x20Reward\x27s\x20guard\x20config.'),a==='service'&&b?.['compensation_fund_withdraw']!==undefined&&e['push']('Compensation\x20fund\x20withdraw\x20—\x20withdraws\x20the\x20ENTIRE\x20compensation_fund\x20into\x20a\x20new\x20Payment\x20owned\x20by\x20\x27'+(b['compensation_fund_withdraw']?.['receipt']??'(recipient)')+'\x27.'),a==='order'&&b?.['arb_claim_compensation']!==undefined&&e['push']('Order\x20compensation\x20claim\x20—\x20splits\x20the\x20Service\x27s\x20compensation_fund\x20and\x20transfers\x20the\x20awarded\x20coins\x20to\x20the\x20caller;\x20irreversible.'),a==='arbitration'&&b?.['arb_withdraw']!==undefined&&e['push']('Arb\x20fee\x20withdraw\x20—\x20sweeps\x20the\x20Arb\x27s\x20fee\x20balance\x20into\x20the\x20Arbitration\x20object\x27s\x20balance.'),a==='arbitration'&&b?.['fees_transfer']!==undefined&&e['push']('Arbitration\x20fees\x20transfer\x20—\x20withdraws\x20the\x20ENTIRE\x20Arbitration\x20balance\x20into\x20a\x20new\x20Payment\x20for\x20the\x20target\x20Allocation/Treasury;\x20irreversible.'),{'level':'irreversible','operation':a,'irreversible':!![],'network':c?.['network'],'account':c?.['account']??'','warnings':[...collectDefaultWarnings(c,b),...e],'amount':a==='payment'&&d?{...d,'token':bestEffortTokenType(b)??GasTokenType,'recipient':b?.['revenue']?.[0x0]?.['recipient']}:undefined};},'bypass_on_explicit_intent':[]},{'id':'publish_immutable','when':(a,b,c)=>{if(a==='service'&&(b?.['publish']===!![]||b?.['bPublished']===!![]))return!![];if(a==='machine'&&b?.['publish']===!![])return!![];return![];},'level':'publish','preview':(a,b,c)=>({'level':'publish','operation':a,'object':b?.['object']??b?.['namedNew']?.['name'],'network':c?.['network'],'account':c?.['account']??'','immutable_after':a==='service'?['machine','order_allocators']:['nodes','pairs','forwards'],'warnings':collectDefaultWarnings(c,b)}),'bypass_on_explicit_intent':['force\x20publish','publish\x20now']},{'id':'amount_sensitive','when':(a,b,c)=>{const d=extractAmount(b);if(d!==null){if(isFundApprovalExempt(c?.['network'],bestEffortTokenType(b)??GasTokenType,d))return![];return!![];}if(a==='service'&&b?.['order_new'])return!![];if(a==='treasury'&&b?.['deposit']?.['coin']?.['coin'])return!![];if(a==='reward'&&b?.['coin_add']?.['coin'])return!![];if(a==='allocation'&&b?.['coin']?.['coin'])return!![];return![];},'level':'amount','preview':(a,b,c)=>{const d=extractAmount(b),e=bestEffortTokenType(b);return{'level':'amount','operation':a,'object':b?.['object']??b?.['namedNew']?.['name'],'network':c?.['network'],'account':c?.['account']??'','amount':d?{'value':d,'token':e??GasTokenType,'human_readable':describeAmount(d,e)}:{'value':'','token':e??GasTokenType,'human_readable':'entire\x20Coin\x20object\x20(amount\x20resolved\x20on-chain)'},'warnings':collectDefaultWarnings(c,b)};},'bypass_on_explicit_intent':[]},{'id':'default_values','when':(a,b,c)=>{return collectDefaultWarnings(c,b)['length']>0x0;},'level':'standard','preview':(a,b,c)=>({'level':'standard','operation':a,'object':b?.['object']??b?.['namedNew']?.['name'],'network':c?.['network'],'account':c?.['account']??'','warnings':collectDefaultWarnings(c,b)}),'bypass_on_explicit_intent':['use\x20default\x20account','default\x20account\x20is\x20fine','use\x20the\x20default\x20account','default\x20account\x20works\x20fine']},{'id':'guard_create_immutable','when':(a,b,c)=>{if(a==='guard')return!![];return![];},'level':'irreversible','preview':(a,b,c)=>{const d=b?.['table']??[],e=b?.['root'],f=b?.['rely'],g=typeof e==='object'&&e!==null&&'type'in e?e['type']:typeof e==='object'&&e!==null&&'type'in e&&e['type']==='file'?'file':'unknown',h=['table','root'];if(f)h['push']('rely');return{'level':'irreversible','operation':a,'object':b?.['namedNew']?.['name'],'network':c?.['network'],'account':c?.['account']??'','immutable_after':h,'irreversible':!![],'warnings':[...collectDefaultWarnings(c,b),'Guard\x20is\x20CREATE-only\x20and\x20immutable\x20—\x20cannot\x20be\x20edited\x20or\x20deleted\x20after\x20creation','Table\x20entries:\x20'+d['length']+'\x20(max\x20256)','Root\x20node\x20type:\x20'+g+'\x20(must\x20return\x20Bool)',...f?['Rely\x20dependencies:\x20'+(f['guards']?.['length']??0x0)+'\x20(max\x204,\x20AND/OR\x20logic)']:[],'To\x20modify\x20later:\x20export\x20via\x20guard2file\x20→\x20edit\x20→\x20CREATE\x20new\x20→\x20rebind']};},'bypass_on_explicit_intent':[]},{'id':'guard_gen_passport_test','when':(a,b,c)=>{if(a==='gen_passport')return!![];return![];},'level':'standard','preview':(a,b,c)=>({'level':'standard','operation':a,'object':b?.['guard'],'network':c?.['network'],'account':c?.['account']??'','warnings':[...collectDefaultWarnings(c,b),'gen_passport\x20will\x20consume\x20gas\x20for\x20static\x20testing']}),'bypass_on_explicit_intent':['test\x20guard','testing\x20guard','gen\x20passport','generate\x20passport']},{'id':'progress_advance','when':(a,b,c)=>{if(a!=='progress')return![];return b?.['operate']?.['op']==='next'||b?.['owner_receive']!==undefined;},'level':'standard','preview':(a,b,c)=>({'level':'standard','operation':a,'object':b?.['object'],'network':c?.['network'],'account':c?.['account']??'','warnings':[...collectDefaultWarnings(c,b),'Advancing\x20the\x20progress\x20node\x20may\x20release\x20funds\x20per\x20the\x20machine\x20allocation']}),'bypass_on_explicit_intent':[]}];export function resolveOverrideId(a,b){if(a==='publish_immutable'){if(b==='service')return'service.publish';if(b==='machine')return'machine.publish';return undefined;}if(a==='progress_advance')return'node.advance';return undefined;}export function extractAmount(a){if(!a)return null;const b=e=>{if(typeof e==='number')return String(e);if(typeof e==='string'&&e!=='')return e;return null;},d=[a?.['balance'],a?.['amount'],a?.['compensation_fund_add']?.['balance'],a?.['coin_add']?.['balance'],a?.['coin']?.['balance'],a?.['order_new']?.['buy']?.['total_pay']?.['balance'],a?.['dispute']?.['fee']?.['balance'],a?.['fee'],a?.['arbitration']?.['indemnity'],a?.['revenue']?.[0x0]?.['amount']?.['balance'],a?.['deposit']?.['coin']?.['balance'],a?.['withdraw']?.['amount']?.['fixed']];for(const e of d){const f=b(e);if(f!==null)return f;}if(Array['isArray'](a?.['guard_add']))for(const h of a['guard_add']){if(h?.['amount']?.['type']==='Fixed'){const i=b(h['amount']['value']);if(i!==null)return i;}}for(const j of[a?.['allocators'],a?.['order_allocators']]){if(!j||typeof j!=='object')continue;const k=b(j['threshold']);if(k!==null)return k;for(const l of Array['isArray'](j['allocators'])?j['allocators']:[]){if(Array['isArray'](l?.['sharing']))for(const n of l['sharing']){if(n?.['mode']==='Amount'){const o=b(n['sharing']);if(o!==null)return o;}}const m=b(l?.['max']);if(m!==null)return m;}}return null;}export const OBJECT_REUSE_RULES=[{'rule_id':'REUSE-001','object_type':'permission','recommendation':'strongly_recommended','reason':'Centralized\x20permission\x20control\x20across\x20all\x20services','ask_user':'Do\x20you\x20have\x20an\x20existing\x20Permission\x20to\x20reuse?\x20Provide\x20the\x20name\x20or\x20ID.'},{'rule_id':'REUSE-002','object_type':'machine','recommendation':'recommended','reason':'Save\x20design\x20time\x20for\x20similar\x20processes','ask_user':'Do\x20you\x20have\x20an\x20existing\x20Machine\x20whose\x20workflow\x20fits?\x20Provide\x20the\x20name\x20or\x20ID.'},{'rule_id':'REUSE-003','object_type':'guard','recommendation':'recommended','reason':'Avoid\x20redundant\x20validation\x20rules','ask_user':'Do\x20you\x20have\x20an\x20existing\x20Guard\x20with\x20matching\x20validation\x20logic?\x20Provide\x20the\x20name\x20or\x20ID.'},{'rule_id':'REUSE-004','object_type':'contact','recommendation':'recommended','reason':'Single\x20point\x20of\x20customer-service\x20management','ask_user':'Do\x20you\x20have\x20an\x20existing\x20Contact\x20for\x20customer\x20service?\x20Provide\x20the\x20name\x20or\x20ID.'},{'rule_id':'REUSE-005','object_type':'arbitration','recommendation':'always_reuse','reason':'Customers\x20choose\x20from\x20established\x20arbiters;\x20creating\x20a\x20new\x20Arbitration\x20is\x20an\x20operator-level\x20decision','ask_user':'Which\x20existing\x20Arbitration\x20service\x20should\x20disputes\x20route\x20to?\x20Provide\x20the\x20name\x20or\x20ID.'}];export const CREATE_VS_MODIFY_PATTERN={'reuse_form':'string','create_form':'object','resolution_api':'GetObjectExisted','note':'String\x20reference\x20=\x20REUSE\x20(name\x20resolution\x20failure\x20is\x20a\x20hard\x20error);\x20object\x20shape\x20=\x20CREATE\x20(always).'};export const IMMUTABILITY_RULES=[{'rule_id':'IMMUT-001','object_type':'machine','trigger':'publish','immutable_fields':['nodes','pairs','forwards'],'message':'Machine\x20topology\x20is\x20immutable\x20after\x20publish\x20—\x20verify\x20all\x20nodes/forwards\x20via\x20machineNode2file\x20BEFORE\x20publishing'},{'rule_id':'IMMUT-002','object_type':'service','trigger':'publish','immutable_fields':['machine','order_allocators','arbitrations'],'mutable_after':['sales'],'message':'Service.machine,\x20order_allocators\x20and\x20arbitrations\x20are\x20frozen\x20after\x20publish;\x20sales\x20remains\x20fully\x20modifiable\x20(L3)\x20without\x20pause'},{'rule_id':'IMMUT-003','object_type':'guard','trigger':'create','immutable_fields':['table','root','rely'],'message':'Guard\x20is\x20CREATE-only\x20and\x20immutable\x20—\x20cannot\x20be\x20edited\x20or\x20deleted\x20after\x20creation.\x20To\x20change:\x20export\x20via\x20guard2file\x20→\x20edit\x20→\x20CREATE\x20new\x20→\x20rebind'}];export const OPERATION_TYPE_CLASSIFICATION={'LOCAL_ONLY':['account_operation','local_mark_operation','local_info_operation','config_operation'],'ONCHAIN':['onchain_operations','wip_file','bridge_operation','messenger_operation'],'QUERY':['query_toolkit','onchain_table_data','onchain_events','guard2file','machineNode2file','schema_query','wowok_buildin_info','trust_score'],'ENCRYPTED':['messenger_operation']};export const OPERATION_CLASS_META={'LOCAL_ONLY':{'gas':![],'confirmation_required':![],'note':'Local\x20state\x20only\x20—\x20no\x20gas,\x20no\x20confirmation\x20needed'},'ONCHAIN':{'gas':!![],'confirmation_required':!![],'note':'On-chain\x20write\x20—\x20gas\x20consumed,\x20explicit\x20user\x20confirmation\x20REQUIRED\x20before\x20execution'},'QUERY':{'gas':![],'confirmation_required':![],'note':'Read-only\x20—\x20no\x20gas,\x20no\x20confirmation\x20needed'},'ENCRYPTED':{'gas':![],'confirmation_required':![],'note':'Local\x20encryption\x20—\x20no\x20gas,\x20no\x20confirmation\x20needed'}};export function classifyTool(a){if(OPERATION_TYPE_CLASSIFICATION['ENCRYPTED']['includes'](a))return'ENCRYPTED';for(const b of['LOCAL_ONLY','ONCHAIN','QUERY']){if(OPERATION_TYPE_CLASSIFICATION[b]['includes'](a))return b;}return undefined;}export const NAMING_CONVENTIONS={'scheme':'<projectPrefix>_<type>_<purpose>_<version>','parts':{'project_prefix':{'example':'shopFunny_','purpose':'Prevents\x20cross-project\x20collisions'},'type_prefix':{'example':'machine_\x20/\x20guard_\x20/\x20service_','purpose':'Clarifies\x20object\x20type'},'purpose_suffix':{'example':'serviceWithdraw','purpose':'Describes\x20function'},'version_suffix':{'example':'_v2','purpose':'Enables\x20iteration\x20without\x20replaceExistName'}},'entry_id':{'pattern':'^<object_type>:<name>$','example':'service:myshop_service'},'replace_exist_name':{'default':![],'false_effect':'Throws\x20error\x20if\x20name\x20is\x20in\x20use\x20—\x20safe\x20default','true_effect':'Existing\x20object/account\x20with\x20the\x20same\x20name\x20is\x20suspended/unbound\x20to\x20free\x20the\x20name','account_default_forbidden':'replaceExistName:true\x20on\x20the\x20default\x20account\x20(name=\x27\x27)\x20is\x20FORBIDDEN\x20—\x20use\x20suspend()\x20explicitly','recommendation':'DISCOURAGED\x20—\x20prefer\x20versioned\x20names\x20(_v1,\x20_v2)\x20for\x20production'},'recommendations':['Always\x20provide\x20tags\x20on\x20object\x20creation\x20for\x20filtering\x20and\x20management','Use\x20names\x20as\x20primary\x20identifiers;\x20use\x20short\x20address\x20form\x20(0x1234...def)\x20only\x20for\x20display','All\x20cross-object\x20references\x20(Guard\x20tables,\x20Service\x20bindings,\x20Machine\x20forwards)\x20use\x20NAMES\x20—\x20resolved\x20per-network\x20at\x20build\x20time']};export function checkObjectReuseRules(a){const b=[];for(const c of a){if(!c['is_new'])continue;const d=OBJECT_REUSE_RULES['find'](e=>e['object_type']===c['object_type']);if(!d)continue;(d['recommendation']==='always_reuse'||d['recommendation']==='strongly_recommended')&&b['push']({'rule_id':d['rule_id'],'severity':d['recommendation']==='always_reuse'?'warn':'info','message':'Creating\x20NEW\x20'+c['object_type']+(c['name']?'\x20\x22'+c['name']+'\x22':'')+'\x20—\x20reuse\x20is\x20'+d['recommendation']+':\x20'+d['reason']+'.\x20'+d['ask_user']});}return b;}export function checkImmutabilityRules(a){const b=[];for(const c of a){const d=IMMUTABILITY_RULES['find'](e=>e['object_type']===c['object_type']&&e['trigger']===c['trigger']);if(!d)continue;b['push']({'rule_id':d['rule_id'],'severity':'warn','message':''+c['object_type']+(c['name']?'\x20\x22'+c['name']+'\x22':'')+'\x20'+c['trigger']+':\x20'+d['message']+'.\x20Immutable:\x20['+d['immutable_fields']['join'](',\x20')+']'+(d['mutable_after']?'.\x20Still\x20mutable:\x20['+d['mutable_after']['join'](',\x20')+']':'')});}return b;}export const SAFETY_RULES_VERSION=0x2;