@wowok/agent-mcp 2.7.7 → 2.7.10

package/dist/knowledge/dynamic-pricing.js

@@ -1 +1 @@
-export const DYNAMIC_PRICING_VERSION=0x1;export const MUTABLE_FIELDS=[{'field':'sales','purpose':'Adjust\x20product/price','mutableAfterPublish':!![],'adjustmentMechanism':'Service.sales\x20mutable','metricToWatch':'Order\x20rate'},{'field':'discount','purpose':'Marketing\x20promotion','mutableAfterPublish':!![],'adjustmentMechanism':'add/set/destroy','metricToWatch':'Conversion\x20rate'},{'field':'description','purpose':'Trust\x20description','mutableAfterPublish':!![],'adjustmentMechanism':'mutable','metricToWatch':'Browse\x20duration'},{'field':'rewards','purpose':'Reward\x20marketing\x20campaigns','mutableAfterPublish':!![],'adjustmentMechanism':'add/remove','metricToWatch':'Repeat\x20rate'},{'field':'arbitrations','purpose':'Arbitration\x20upgrade','mutableAfterPublish':!![],'adjustmentMechanism':'mutable','metricToWatch':'Arbitration\x20rate'},{'field':'compensation_fund','purpose':'Trust\x20enhancement','mutableAfterPublish':!![],'adjustmentMechanism':'add','metricToWatch':'Trust\x20score'},{'field':'buy_guard','purpose':'Purchase\x20threshold','mutableAfterPublish':!![],'adjustmentMechanism':'mutable','metricToWatch':'Order\x20rate'},{'field':'pause','purpose':'Pause/resume','mutableAfterPublish':!![],'adjustmentMechanism':'mutable','metricToWatch':'Inventory\x20status'},{'field':'machine','purpose':'Workflow\x20template','mutableAfterPublish':![],'adjustmentMechanism':'Locked\x20after\x20publish,\x20new\x20Service\x20required','metricToWatch':'Process\x20speed'},{'field':'order_allocators','purpose':'Fund\x20allocation','mutableAfterPublish':![],'adjustmentMechanism':'Locked\x20after\x20publish,\x20new\x20Service\x20required','metricToWatch':'Allocation\x20fairness'},{'field':'type_parameter','purpose':'Payment\x20token','mutableAfterPublish':![],'adjustmentMechanism':'Immutable,\x20can\x20create\x20new\x20Service\x20+\x20Reward\x20to\x20guide\x20migration','metricToWatch':'Token\x20preference'}];export function suggestPricing(a){const {supplyCount:b,demandCount:c,avgPrice:d,myPrice:e,competitorPrices:f,recentOrderCount:g,repeatCustomerRate:h}=a,i=c/Math['max'](0x1,b);if(i>0x2){const j=Math['min'](0x1e,Math['round']((i-0x1)*0xa));return{'action':'increase','adjustmentPercent':j,'reason':'Demand/supply\x20ratio\x20'+i['toFixed'](0x1)+',\x20market\x20demand\x20exceeds\x20supply,\x20suggest\x20price\x20increase\x20of\x20'+j+'%','confidence':Math['min'](0.9,0.5+i*0.1)};}if(i<0.5){const k=Math['min'](0x14,Math['round']((0x1-i)*0xf));return{'action':'decrease','adjustmentPercent':k,'reason':'Demand/supply\x20ratio\x20'+i['toFixed'](0x1)+',\x20market\x20supply\x20exceeds\x20demand,\x20suggest\x20price\x20decrease\x20of\x20'+k+'%\x20to\x20improve\x20competitiveness','confidence':Math['min'](0.85,0.5+(0x1-i)*0.15)};}if(e&&f&&f['length']>0x0)try{const l=BigInt(e),m=f['map'](o=>BigInt(o)),n=m['reduce']((o,p)=>o+p,0x0n)/BigInt(m['length']);if(l>n*0x78n/0x64n)return{'action':'decrease','adjustmentPercent':0xa,'reason':'Current\x20price\x20is\x2020%+\x20above\x20market\x20average,\x20suggest\x20price\x20decrease\x20to\x20improve\x20competitiveness','confidence':0.7};if(l<n*0x50n/0x64n)return{'action':'increase','adjustmentPercent':0xa,'reason':'Current\x20price\x20is\x2020%+\x20below\x20market\x20average,\x20room\x20for\x20price\x20increase','confidence':0.65};}catch{}if(h!==undefined&&h>0.4)return{'action':'maintain','reason':'Repeat\x20customer\x20rate\x20'+Math['round'](h*0x64)+'%,\x20pricing\x20strategy\x20effective,\x20suggest\x20maintaining','confidence':0.8};if(h!==undefined&&h<0.1&&(g??0x0)>0xa)return{'action':'decrease','adjustmentPercent':0x5,'reason':'Repeat\x20customer\x20rate\x20only\x20'+Math['round'](h*0x64)+'%,\x20suggest\x20slight\x20price\x20decrease\x20or\x20add\x20Reward\x20to\x20attract\x20repeat\x20purchases','confidence':0.6};return{'action':'maintain','reason':'Market\x20supply\x20and\x20demand\x20balanced,\x20suggest\x20maintaining\x20current\x20pricing','confidence':0.5};}export function getMutableFields(a=!![]){return MUTABLE_FIELDS['filter'](b=>a?b['mutableAfterPublish']:!![]);}export function getMutableField(a){return MUTABLE_FIELDS['find'](b=>b['field']===a);}
+export const DYNAMIC_PRICING_VERSION=0x1;export const MUTABLE_FIELDS=[{'field':'sales','purpose':'Adjust\x20product/price','mutableAfterPublish':!![],'adjustmentMechanism':'Service.sales\x20mutable','metricToWatch':'Order\x20rate'},{'field':'discount','purpose':'Marketing\x20promotion','mutableAfterPublish':!![],'adjustmentMechanism':'add/set/destroy','metricToWatch':'Conversion\x20rate'},{'field':'description','purpose':'Trust\x20description','mutableAfterPublish':!![],'adjustmentMechanism':'mutable','metricToWatch':'Browse\x20duration'},{'field':'rewards','purpose':'Reward\x20marketing\x20campaigns','mutableAfterPublish':!![],'adjustmentMechanism':'add/remove','metricToWatch':'Repeat\x20rate'},{'field':'arbitrations','purpose':'Arbitration\x20upgrade','mutableAfterPublish':!![],'adjustmentMechanism':'mutable','metricToWatch':'Arbitration\x20rate'},{'field':'compensation_fund','purpose':'Trust\x20enhancement','mutableAfterPublish':!![],'adjustmentMechanism':'add','metricToWatch':'Trust\x20score'},{'field':'buy_guard','purpose':'Purchase\x20threshold','mutableAfterPublish':!![],'adjustmentMechanism':'mutable','metricToWatch':'Order\x20rate'},{'field':'pause','purpose':'Pause/resume','mutableAfterPublish':!![],'adjustmentMechanism':'mutable','metricToWatch':'Inventory\x20status'},{'field':'machine','purpose':'Workflow\x20template','mutableAfterPublish':![],'adjustmentMechanism':'Locked\x20after\x20publish,\x20new\x20Service\x20required','metricToWatch':'Process\x20speed'},{'field':'order_allocators','purpose':'Fund\x20allocation','mutableAfterPublish':![],'adjustmentMechanism':'Locked\x20after\x20publish,\x20new\x20Service\x20required','metricToWatch':'Allocation\x20fairness'},{'field':'type_parameter','purpose':'Payment\x20token','mutableAfterPublish':![],'adjustmentMechanism':'Immutable,\x20can\x20create\x20new\x20Service\x20+\x20Reward\x20to\x20guide\x20migration','metricToWatch':'Token\x20preference'}];export function suggestPricing(a){const {supplyCount:b,demandCount:c,avgPrice:d,myPrice:e,competitorPrices:f,recentOrderCount:g,repeatCustomerRate:h}=a,i=c/Math['max'](0x1,b);if(i>0x2){const j=Math['min'](0x1e,Math['round']((i-0x1)*0xa));return{'action':'increase','adjustmentPercent':j,'reason':'Demand/supply\x20ratio\x20'+i['toFixed'](0x1)+',\x20market\x20demand\x20exceeds\x20supply,\x20suggest\x20price\x20increase\x20of\x20'+j+'%','confidence':Math['min'](0.9,0.5+i*0.1)};}if(i<0.5){const k=Math['min'](0x14,Math['round']((0x1-i)*0xf));return{'action':'decrease','adjustmentPercent':k,'reason':'Demand/supply\x20ratio\x20'+i['toFixed'](0x1)+',\x20market\x20supply\x20exceeds\x20demand,\x20suggest\x20price\x20decrease\x20of\x20'+k+'%\x20to\x20improve\x20competitiveness','confidence':Math['min'](0.85,0.5+(0x1-i)*0.15)};}if(e&&f&&f['length']>0x0)try{const l=BigInt(e),m=f['map'](o=>BigInt(o)),n=m['reduce']((o,p)=>o+p,0x0n)/BigInt(m['length']);if(l>n*0x78n/0x64n)return{'action':'decrease','adjustmentPercent':0xa,'reason':'Current\x20price\x20is\x2020%+\x20above\x20market\x20average,\x20suggest\x20price\x20decrease\x20to\x20improve\x20competitiveness','confidence':0.7};if(l<n*0x50n/0x64n)return{'action':'increase','adjustmentPercent':0xa,'reason':'Current\x20price\x20is\x2020%+\x20below\x20market\x20average,\x20room\x20for\x20price\x20increase','confidence':0.65};}catch{}if(h!==undefined&&h>0.4)return{'action':'maintain','reason':'Repeat\x20customer\x20rate\x20'+Math['round'](h*0x64)+'%,\x20pricing\x20strategy\x20effective,\x20suggest\x20maintaining','confidence':0.8};if(h!==undefined&&h<0.1&&(g??0x0)>0xa)return{'action':'decrease','adjustmentPercent':0x5,'reason':'Repeat\x20customer\x20rate\x20only\x20'+Math['round'](h*0x64)+'%,\x20suggest\x20slight\x20price\x20decrease\x20or\x20add\x20Reward\x20to\x20attract\x20repeat\x20purchases','confidence':0.6};return{'action':'maintain','reason':'Market\x20supply\x20and\x20demand\x20balanced,\x20suggest\x20maintaining\x20current\x20pricing','confidence':0.5};}

package/dist/knowledge/event-semantics.d.ts

@@ -0,0 +1,20 @@
+export type EventCategory = "lifecycle" | "state_change" | "fund_flow" | "market_opportunity" | "reputation" | "other";
+export interface EventParamDoc {
+    name: string;
+    shape: string;
+    meaning: string;
+}
+export interface EventSemanticEntry {
+    name: string;
+    move_type: string;
+    module: string;
+    category: EventCategory;
+    business_meaning: string;
+    trigger: string;
+    side_effect?: string;
+    params: EventParamDoc[];
+}
+export declare const EVENT_SEMANTIC_REGISTRY: EventSemanticEntry[];
+export declare const EVENT_BY_NAME: Map<string, EventSemanticEntry>;
+export declare const EVENT_BY_MOVE_TYPE: Map<string, EventSemanticEntry>;
+export declare function lookupEventMeaning(event: Record<string, unknown>): string | undefined;

package/dist/knowledge/event-semantics.js

@@ -0,0 +1 @@
+export const EVENT_SEMANTIC_REGISTRY=[{'name':'NewOrderEvent','move_type':'::order::NewOrderEvent','module':'order','category':'lifecycle','business_meaning':'A\x20new\x20Order\x20was\x20placed\x20on\x20a\x20Service\x20(shared,\x20escrow-funded)','trigger':'order.move\x20`create`\x20—\x20the\x20ONLY\x20emission\x20point.\x20Fires\x20when\x20the\x20order\x20becomes\x20a\x20shared\x20object;\x20'+'validates:\x20machine\x20⇒\x20progress\x20bound;\x20amount\x20>\x200\x20⇒\x20allocation\x20bound.','side_effect':'Order\x20is\x20live:\x20buyer\x20funds\x20were\x20split\x20into\x20CoinWrappers\x20via\x20the\x20Service\x20Allocation;\x20'+'machine-governed\x20orders\x20can\x20now\x20be\x20advanced\x20by\x20operators.','params':[{'name':'object','shape':'address','meaning':'The\x20new\x20Order\x20object\x20id'},{'name':'service','shape':'address','meaning':'The\x20Service\x20the\x20order\x20was\x20placed\x20on'},{'name':'progress','shape':'Option<address>','meaning':'Bound\x20Progress\x20(machine\x20orders)\x20—\x20null\x20for\x20non-machine\x20orders'},{'name':'discount','shape':'Option<address>','meaning':'Discount\x20object\x20consumed\x20at\x20quote\x20time,\x20if\x20any'},{'name':'allocation','shape':'Option<address>','meaning':'Allocation\x20that\x20escrowed\x20the\x20payment\x20(required\x20when\x20amount\x20>\x200)'},{'name':'amount','shape':'u64','meaning':'Total\x20order\x20amount\x20in\x20the\x20Service\x27s\x20payment\x20token\x20(raw\x20on-chain\x20units)'}]},{'name':'ArbEvent','move_type':'::arb::ArbEvent','module':'arb','category':'state_change','business_meaning':'Arbitration\x20case\x20status\x20transition\x20(7\x20statuses,\x20incl.\x20creation)','trigger':'arb.move\x20—\x20emitted\x20on\x20EVERY\x20status\x20transition:\x20create\x20(Arbitrator_confirming),\x20'+'proposition_change\x20/\x20principal\x20confirm\x20(Voting),\x20votes\x20closed\x20(Arbitrated),\x20objection\x20'+'(Objectionable),\x20finish\x20with\x20indemnity\x20(Finished\x20+\x20compensation),\x20withdraw\x20(Withdrawn).\x20'+'Helper\x20`emit_arb_event`\x20reads\x20the\x20POST-transition\x20state.','side_effect':'Parties\x20should\x20re-read\x20the\x20Arb\x20object\x20on\x20every\x20event;\x20status\x20decides\x20who\x20acts\x20next.\x20'+'When\x20indemnity_amount\x20is\x20set,\x20the\x20compensation\x20recipient\x20can\x20claim\x20after\x20compensation_time.','params':[{'name':'object','shape':'address','meaning':'The\x20Arb\x20(dispute\x20case)\x20object\x20id'},{'name':'arbitration','shape':'address','meaning':'The\x20governing\x20Arbitration\x20object\x20(voting\x20rules,\x20arbitrator\x20set)'},{'name':'order','shape':'address','meaning':'The\x20disputed\x20Order'},{'name':'status','shape':'u8','meaning':'0\x20Principal_confirming\x20·\x201\x20Arbitrator_confirming\x20·\x202\x20Voting\x20·\x203\x20Arbitrated\x20·\x204\x20Objectionable\x20·\x205\x20Finished\x20·\x206\x20Withdrawn'},{'name':'indemnity_amount','shape':'Option<u64>','meaning':'Awarded\x20compensation\x20(set\x20on\x20Arbitrated/Finished);\x20null\x20otherwise'},{'name':'compensation_time','shape':'Option<u64>','meaning':'Timestamp-ms\x20after\x20which\x20the\x20compensation\x20can\x20be\x20withdrawn\x20(locks\x20expire)'}]},{'name':'VoteEvent','move_type':'::arb::VoteEvent','module':'arb','category':'state_change','business_meaning':'One\x20arbitration\x20vote\x20cast\x20(real-time\x20tally)','trigger':'arb.move\x20—\x20on\x20each\x20`vote`/`vote_with_passport`\x20call\x20(one\x20per\x20voter\x20per\x20round);\x20'+'lets\x20parties\x20track\x20the\x20tally\x20without\x20polling\x20the\x20Arb\x20object.','params':[{'name':'object','shape':'address','meaning':'The\x20Arb\x20object\x20being\x20voted\x20on'},{'name':'voter','shape':'address','meaning':'The\x20voting\x20arbitrator\x20(or\x20passport-proven\x20delegate)'},{'name':'agrees','shape':'vector<u8>','meaning':'Proposition\x20indexes\x20the\x20voter\x20agreed\x20to'},{'name':'weight','shape':'u32','meaning':'Vote\x20weight\x20applied\x20(guard-weighted\x20voting)'}]},{'name':'FeedbackEvent','move_type':'::arb::FeedbackEvent','module':'arb','category':'state_change','business_meaning':'New\x20feedback\x20message\x20on\x20an\x20arbitration\x20case','trigger':'arb.move\x20—\x20on\x20`feedback`\x20(any\x20party\x20posts\x20a\x20message\x20into\x20the\x20case).','params':[{'name':'object','shape':'address','meaning':'The\x20Arb\x20object'},{'name':'feedback','shape':'String','meaning':'The\x20feedback\x20text'}]},{'name':'DemandPresentEvent','move_type':'::demand::PresentEvent','module':'demand','category':'market_opportunity','business_meaning':'A\x20presenter\x20submitted/updated\x20a\x20solution\x20pitch\x20on\x20a\x20Demand','trigger':'demand.move\x20`present_imp`\x20—\x20first\x20present\x20inserts\x20a\x20presenter\x20row;\x20re-present\x20updates\x20it\x20'+'(recommend\x20text\x20+\x20optional\x20bound\x20Service).\x20Passport-gated\x20variants\x20resolve\x20the\x20Service\x20from\x20'+'the\x20passport\x20submission\x20when\x20the\x20demand\x27s\x20guard\x20sets\x20a\x20service_identifier.','side_effect':'Demand\x20owner\x20now\x20has\x20a\x20candidate;\x20track\x20update_time\x20to\x20rank\x20freshest\x20pitches.\x20'+'This\x20is\x20the\x20supply\x20side\x20of\x20the\x20demand\x20marketplace\x20(K3\x2013\x20§6.7).','params':[{'name':'object','shape':'address','meaning':'The\x20Demand\x20object'},{'name':'service','shape':'Option<address>','meaning':'The\x20presented\x20Service\x20(null\x20=\x20raw\x20recommendation\x20without\x20a\x20bound\x20service)'},{'name':'recommend','shape':'String','meaning':'The\x20presenter\x27s\x20pitch/recommendation\x20text'}]},{'name':'DemandFeedbackEvent','move_type':'::demand::DemandEvent','module':'demand','category':'reputation','business_meaning':'Demand\x20owner\x20scored/feedbacked\x20a\x20presenter\x20(acceptance\x20score)','trigger':'demand.move\x20`feedback_imp`\x20—\x20only\x20for\x20addresses\x20already\x20in\x20the\x20presenters\x20table;\x20'+'records\x20feedback\x20text\x20+\x20optional\x20acceptance\x20score\x20onto\x20the\x20presenter\x20row.','side_effect':'Acceptance\x20score\x20is\x20the\x20demand-side\x20quality\x20signal\x20for\x20the\x20presenter;\x20high\x20scores\x20build\x20'+'presenter\x20reputation\x20for\x20future\x20matching.','params':[{'name':'object','shape':'address','meaning':'The\x20Demand\x20object'},{'name':'service','shape':'Option<address>','meaning':'The\x20Service\x20that\x20was\x20presented\x20by\x20the\x20scored\x20presenter'},{'name':'feedback','shape':'String','meaning':'Feedback\x20text'},{'name':'acceptance_score','shape':'Option<u8>','meaning':'0-100\x20acceptance\x20score,\x20null\x20when\x20feedback\x20carries\x20no\x20score'}]},{'name':'DemandChangedEvent','move_type':'::demand::DemandChangedEvent','module':'demand','category':'market_opportunity','business_meaning':'Demand\x20became/updated\x20a\x20profitable\x20opportunity\x20for\x20merchants\x20(market-opportunity\x20event)','trigger':'demand.move\x20`demand_changed_event_emit`\x20—\x20fires\x20when\x20rewards\x20are\x20bound/changed,\x20or\x20'+'description/location\x20changes\x20while\x20reward-bearing.\x20A\x20reward-less\x20demand\x20NEVER\x20emits\x20'+'(not\x20a\x20profitable\x20opportunity\x20—\x20K3\x2013\x20§6.7\x20principle).','side_effect':'PRIMARY\x20merchant-side\x20discovery\x20signal:\x20Intent\x20Radar\x20/\x20match\x20engines\x20should\x20treat\x20every\x20'+'emission\x20as\x20a\x20fresh\x20matchmaking\x20opportunity.\x20Reward\x20amounts/claim\x20rules\x20are\x20NOT\x20carried\x20—\x20'+'read\x20the\x20Reward\x20objects\x20by\x20id\x20(authoritative,\x20never\x20stale).','params':[{'name':'object','shape':'address','meaning':'The\x20Demand\x20object'},{'name':'location','shape':'String','meaning':'Demand\x20location\x20(industry/geography\x20routing\x20signal)'},{'name':'description','shape':'String','meaning':'Bounded\x20description\x20preview\x20(truncated\x20on-chain;\x20full\x20text\x20on\x20the\x20object)'},{'name':'rewards','shape':'vector<address>','meaning':'Bound\x20Reward\x20object\x20ids\x20—\x20resolve\x20amounts/conditions\x20by\x20query_objects'}]},{'name':'ProgressEvent','move_type':'::progress::ProgressEvent','module':'progress','category':'state_change','business_meaning':'Order/task\x20workflow\x20advanced,\x20held,\x20or\x20initialized\x20on\x20a\x20Machine\x20graph','trigger':'progress.move\x20—\x204\x20emission\x20points:\x20`new_imp`\x20(progress\x20created\x20at\x20init\x20node,\x20no\x20forward),\x20'+'`session_accomplish`\x20(threshold\x20reached\x20→\x20node\x20migrated),\x20`hold_imp`/`hold_imp_with_passport`\x20'+'(hold\x20or\x20un-hold\x20of\x20a\x20forward,\x20hold\x20field\x20carries\x20the\x20new\x20state).','side_effect':'Operators\x20should\x20check\x20the\x20new\x20node\x20name\x20against\x20their\x20Machine\x20duties;\x20hold=true\x20pauses\x20that\x20'+'forward\x27s\x20contribution,\x20hold=false\x20resumes\x20it.','params':[{'name':'object','shape':'address','meaning':'The\x20Progress\x20object'},{'name':'machine','shape':'address','meaning':'The\x20Machine\x20(workflow\x20template)\x20governing\x20this\x20progress'},{'name':'task','shape':'Option<address>','meaning':'The\x20bound\x20task\x20(usually\x20the\x20Order)\x20—\x20null\x20for\x20standalone\x20progress'},{'name':'node','shape':'String','meaning':'Node\x20reached\x20(init\x20node\x20on\x20creation;\x20next_node\x20on\x20migration/hold)'},{'name':'forward','shape':'Option<String>','meaning':'The\x20forward\x20name\x20that\x20triggered\x20the\x20transition\x20(null\x20on\x20creation)'},{'name':'hold','shape':'Option<bool>','meaning':'Present\x20only\x20on\x20hold/un-hold:\x20true\x20=\x20forward\x20held,\x20false\x20=\x20released'}]},{'name':'NewEntityEvent','move_type':'::registrar::NewEntityEvent','module':'registrar','category':'lifecycle','business_meaning':'Entity\x20registered\x20or\x20re-announced\x20(new\x20counterparty\x20/\x20profile\x20update)','trigger':'registrar.move\x20—\x204\x20sites:\x20entity_register\x20/\x20entity_register_with_resource_forced\x20(new\x20Resource\x20'+'created),\x20entity_resource_use\x20(first\x20on-chain\x20use\x20of\x20a\x20resource),\x20entity_description_set,\x20'+'entity_info_add\x20(profile\x20updates\x20re-announce\x20the\x20entity).','side_effect':'A\x20new\x20potential\x20counterparty\x20entered\x20the\x20ecosystem,\x20or\x20an\x20existing\x20one\x20updated\x20its\x20public\x20'+'profile\x20—\x20refresh\x20cached\x20entity\x20profiles/records.','params':[{'name':'resource','shape':'address','meaning':'The\x20entity\x27s\x20Resource\x20object\x20(per-chain\x20identity\x20resource)'},{'name':'referrer','shape':'Option<address>','meaning':'Referring\x20entity\x20address,\x20when\x20registered\x20via\x20referral'}]},{'name':'ServiceEvent','move_type':'::service::ServiceEvent','module':'service','category':'market_opportunity','business_meaning':'Service\x20became/updated\x20a\x20purchasable\x20supply\x20(active-supply\x20event)','trigger':'service.move\x20`service_event_emit`\x20—\x20ONLY\x20when\x20bPublished\x20&&\x20!bPaused\x20at\x20the\x20mutation\x20point:\x20'+'publish,\x20unpause,\x20and\x20pre-publish\x20description\x20changes\x20re-notify.\x20Pausing\x20/\x20unpublishing\x20/\x20'+'draft-only\x20mutations\x20NEVER\x20emit\x20(not\x20a\x20participatable\x20opportunity\x20—\x20K3\x2013\x20§6.7).','side_effect':'PRIMARY\x20customer-side\x20discovery\x20signal:\x20every\x20emission\x20is\x20a\x20buyable\x20service\x20with\x20its\x20routing\x20'+'text.\x20The\x20authoritative\x20description/sales/stock\x20live\x20on\x20the\x20Service\x20object\x20by\x20id.','params':[{'name':'object','shape':'address','meaning':'The\x20Service\x20object'},{'name':'location','shape':'String','meaning':'Service\x20location\x20(industry/geography\x20routing\x20signal)'},{'name':'description','shape':'String','meaning':'Bounded\x20description\x20preview\x20(truncated\x20on-chain)'}]},{'name':'AllocationEvent','move_type':'::allocation::AllocationEvent','module':'allocation','category':'fund_flow','business_meaning':'Allocation\x20run\x20completed\x20—\x20funds\x20left\x20the\x20Allocation\x20pool\x20as\x20a\x20Payment','trigger':'allocation.move\x20alloc\x20loop\x20—\x20when\x20a\x20matching\x20Allocator\x27s\x20guard\x20passes:\x20splits\x20the\x20balance\x20per\x20'+'sharing\x20mode\x20(Amount\x20/\x20Rate\x20‰\x20/\x20Surplus),\x20creates\x20a\x20Payment\x20(from_object\x20=\x20Allocation),\x20'+'then\x20emits\x20with\x20the\x20actually-distributed\x20amount.','side_effect':'Recipients\x20receive\x20CoinWrappers\x20referencing\x20the\x20new\x20Payment\x20—\x20they\x20must\x20unwrap\x20to\x20obtain\x20coins.\x20'+'The\x20Payment\x20is\x20also\x20pushed\x20onto\x20the\x20Allocation\x27s\x20payment\x20list.','params':[{'name':'object','shape':'address','meaning':'The\x20Allocation\x20object\x20that\x20distributed\x20the\x20funds'},{'name':'payment','shape':'address','meaning':'The\x20Payment\x20object\x20created\x20by\x20this\x20run\x20(the\x20on-chain\x20receipt)'},{'name':'guard','shape':'address','meaning':'The\x20guard\x20of\x20the\x20Allocator\x20that\x20authorized\x20this\x20distribution'},{'name':'amount','shape':'u64','meaning':'Amount\x20actually\x20distributed\x20(balance\x20before\x20−\x20balance\x20after)'}]},{'name':'TreasuryEvent','move_type':'::treasury::TreasuryEvent','module':'treasury','category':'fund_flow','business_meaning':'Treasury\x20fund-flow\x20record\x20(withdraw\x20/\x20deposit\x20/\x20receive)\x20—\x20mirrors\x20on-chain\x20history','trigger':'treasury.move\x20—\x203\x20sites:\x20withdraw_imp\x20(balance\x20split\x20out\x20as\x20Payment,\x20from_object\x20=\x20Treasury),\x20'+'deposit_imp_\x20(coins\x20joined\x20in,\x20a\x20Payment\x20receipt\x20is\x20minted\x20for\x20the\x20depositor),\x20receive_imp\x20'+'(a\x20CoinWrapper\x20from\x20a\x20Payment\x20is\x20received\x20into\x20the\x20treasury).\x20Each\x20emission\x20appends\x20a\x20Record\x20'+'to\x20the\x20treasury\x27s\x20on-chain\x20history\x20parent\x20table.','params':[{'name':'object','shape':'address','meaning':'The\x20Treasury\x20object'},{'name':'op','shape':'u8','meaning':'0\x20Withdraw\x20·\x201\x20Deposit\x20·\x202\x20Receive'},{'name':'payment','shape':'address','meaning':'The\x20Payment\x20receipt\x20minted\x20for\x20this\x20flow'},{'name':'amount','shape':'u64','meaning':'Flow\x20amount\x20(raw\x20on-chain\x20units\x20of\x20the\x20Treasury\x27s\x20token)'},{'name':'external_guard','shape':'Option<address>','meaning':'External\x20withdraw\x20guard\x20that\x20authorized\x20a\x20withdraw,\x20if\x20any'},{'name':'store_from_id','shape':'Option<address>','meaning':'Passport-derived\x20store/branch\x20id\x20(multi-branch\x20treasury\x20bookkeeping)'}]},{'name':'RewardClaimEvent','move_type':'::reward::RewardClaimEvent','module':'reward','category':'fund_flow','business_meaning':'Reward\x20claimed\x20—\x20funds\x20paid\x20out\x20of\x20a\x20Reward\x20pool','trigger':'reward.move\x20claim\x20path\x20—\x20after\x20guard+passport\x20validation:\x20appends\x20a\x20Record\x20to\x20the\x20recipient\x27s\x20'+'on-chain\x20record,\x20splits\x20the\x20balance,\x20emits,\x20then\x20transfers\x20the\x20coin\x20to\x20the\x20recipient.\x20'+'The\x20ONLY\x20realtime\x20trace\x20of\x20the\x20claim\x20outflow.','params':[{'name':'object','shape':'address','meaning':'The\x20Reward\x20pool\x20object'},{'name':'guard','shape':'address','meaning':'The\x20reward\x20guard\x20that\x20authorized\x20this\x20claim'},{'name':'recipient','shape':'address','meaning':'Claim\x20recipient\x20(resolved\x20via\x20passport\x20when\x20required)'},{'name':'amount','shape':'u64','meaning':'This\x20claim\x27s\x20amount'},{'name':'total','shape':'u64','meaning':'Recipient\x27s\x20cumulative\x20claimed\x20total\x20on\x20this\x20pool'},{'name':'balance_left','shape':'u64','meaning':'Pool\x20balance\x20remaining\x20after\x20the\x20claim'},{'name':'store_from_id','shape':'Option<address>','meaning':'Passport-derived\x20store/branch\x20id,\x20when\x20the\x20guard\x20requires\x20it'}]},{'name':'RewardFundEvent','move_type':'::reward::RewardFundEvent','module':'reward','category':'fund_flow','business_meaning':'Reward\x20pool\x20inflow\x20—\x20funds\x20added\x20to\x20the\x20pool','trigger':'reward.move\x20—\x202\x20sites:\x20coin_add_imp\x20(direct\x20coin\x20deposit,\x20from_payment\x20=\x20null)\x20and\x20receive_imp\x20'+'(a\x20Payment\x27s\x20CoinWrapper\x20received\x20into\x20the\x20pool,\x20from_payment\x20=\x20that\x20Payment).','side_effect':'Claim\x20guards\x20whose\x20pool\x20ran\x20dry\x20become\x20satisfiable\x20again;\x20watchers\x20should\x20re-check\x20claim\x20'+'opportunities\x20against\x20the\x20new\x20balance.','params':[{'name':'object','shape':'address','meaning':'The\x20Reward\x20pool\x20object'},{'name':'amount','shape':'u64','meaning':'Inflow\x20amount'},{'name':'balance','shape':'u64','meaning':'Pool\x20balance\x20after\x20the\x20inflow'},{'name':'from_payment','shape':'Option<address>','meaning':'The\x20Payment\x20that\x20funded\x20this\x20inflow\x20(null\x20for\x20direct\x20coin\x20adds)'}]},{'name':'NewPaymentEvent','move_type':'::payment::NewPaymentEvent','module':'payment','category':'fund_flow','business_meaning':'A\x20Payment\x20was\x20created\x20—\x20the\x20universal\x20on-chain\x20receipt\x20of\x20WoWok\x20fund\x20flows','trigger':'payment.move\x20`create`\x20—\x20the\x20ONLY\x20emission\x20point,\x20reached\x20by\x20treasury\x20withdraw/deposit,\x20'+'allocation\x20runs,\x20service\x20compensation\x20payouts,\x20and\x20direct\x20user\x20payments\x20alike.\x20'+'Emission\x20is\x20the\x20last\x20step\x20before\x20the\x20Payment\x20object\x20is\x20frozen\x20(immutable\x20receipt).','side_effect':'Every\x20recipient\x20in\x20`record`\x20received\x20a\x20frozen\x20CoinWrapper\x20that\x20references\x20this\x20Payment\x20—\x20'+'unwrap\x20converts\x20it\x20to\x20a\x20transferable\x20Coin.\x20info.for_object\x20/\x20info.for_guard\x20/\x20from_object\x20'+'are\x20registered\x20as\x20object-linker\x20affiliations,\x20so\x20the\x20payment\x20is\x20discoverable\x20via\x20global\x20'+'affiliation\x20tables\x20(onchain_affiliations_of_object).','params':[{'name':'object','shape':'address','meaning':'The\x20Payment\x20object\x20id\x20(the\x20receipt)'},{'name':'info.for_object','shape':'Option<address>','meaning':'The\x20business\x20object\x20this\x20payment\x20is\x20FOR\x20(order/demand/reward/…)\x20—\x20user-settable\x20routing\x20hint'},{'name':'info.for_guard','shape':'Option<address>','meaning':'The\x20Guard\x20governing\x20this\x20payment\x20—\x20user-settable,\x20links\x20the\x20payment\x20to\x20a\x20trust\x20rule'},{'name':'info.remark','shape':'String','meaning':'Free-form\x20on-chain\x20remark\x20(e.g.\x20invoice\x20number,\x20purpose)'},{'name':'info.index','shape':'u64','meaning':'Creator-local\x20index\x20(installment\x20sequence,\x20table\x20row,\x20…)'},{'name':'record','shape':'vector<{recipient,\x20amount}>','meaning':'Revenue\x20legs:\x20one\x20{recipient,\x20amount}\x20per\x20CoinWrapper\x20transferred'},{'name':'amount','shape':'u64','meaning':'Total\x20paid\x20across\x20all\x20legs\x20(sum\x20of\x20record\x20amounts)'},{'name':'from_object','shape':'Option<address>','meaning':'FUNDING-SOURCE\x20object\x20the\x20funds\x20LEFT\x20from\x20—\x20INTERNAL-ONLY\x20field\x20(public(package)\x20'+'from_object_set;\x20user\x20code\x20can\x20never\x20set\x20it).\x20Treasury\x20withdraw\x20⇒\x20the\x20Treasury;\x20'+'Allocation\x20run\x20⇒\x20the\x20Allocation;\x20Service\x20compensation\x20withdraw\x20⇒\x20the\x20Service.\x20'+'create()\x20registers\x20an\x20object_linker\x20affiliation\x20(from_object\x20→\x20payment)\x20so\x20the\x20'+'outflow\x20is\x20traceable\x20back\x20to\x20its\x20pool.\x20Null\x20for\x20direct\x20user-initiated\x20payments\x20'+'(no\x20on-chain\x20source\x20object).'}]}];export const EVENT_BY_NAME=new Map(EVENT_SEMANTIC_REGISTRY['map'](a=>[a['name'],a]));export const EVENT_BY_MOVE_TYPE=new Map(EVENT_SEMANTIC_REGISTRY['map'](a=>[a['move_type'],a]));export function lookupEventMeaning(a){const b=String(a?.['type']??''),c=EVENT_BY_NAME['get'](b);if(c)return c['business_meaning'];const d=String(a?.['type_raw']??'');if(d)for(const f of EVENT_SEMANTIC_REGISTRY){if(d['includes'](f['move_type']))return f['business_meaning'];}return undefined;}

package/dist/knowledge/examples-scanner-cli.js

@@ -1 +1 @@
-import{scanAllExamples,formatScanReport,EXAMPLES_SCANNER_VERSION}from'./examples-scanner.js';import*as a103a from'fs';import*as a103b from'path';console['log']('Examples\x20Scanner\x20v'+EXAMPLES_SCANNER_VERSION),console['log']('Scanning\x20d:/wowok/docs/examples\x20...');const result=scanAllExamples();console['log']('Loaded\x20'+result['examples']['length']+'\x20examples,\x20found\x20'+result['total_findings']+'\x20findings.');const report=formatScanReport(result),outputPath=a103b['resolve']('d:/wowok/wiki/market/GLM3/examples-scan-report.md');a103a['writeFileSync'](outputPath,report,'utf-8'),console['log']('Report\x20written\x20to\x20'+outputPath),console['log']('\x0a===\x20Per-Example\x20Summary\x20===');for(const example of result['examples']){const findings=result['findings_by_example']['get'](example['relative_path'])??[],critical=findings['filter'](a=>a['severity']==='critical')['length'],high=findings['filter'](a=>a['severity']==='high')['length'],medium=findings['filter'](a=>a['severity']==='medium')['length'];console['log'](example['relative_path']['padEnd'](0x32)+'\x20machines='+example['machine_ops']['length']+'\x20'+('progress='+example['progress_ops']['length']+'\x20guards='+example['defined_guard_names']['size']+'\x20')+('findings='+findings['length']+'\x20(C:'+critical+'\x20H:'+high+'\x20M:'+medium+')'));}console['log']('\x0a===\x20Risk\x20Rule\x20Coverage\x20===');const sortedRules=[...result['risk_rule_coverage']['entries']()]['sort']((c,d)=>c[0x0]['localeCompare'](d[0x0]));for(const [ruleId,count]of sortedRules){console['log']('\x20\x20'+ruleId['padEnd'](0xf)+'\x20'+count);}
+import{scanAllExamples,formatScanReport,EXAMPLES_SCANNER_VERSION}from'./examples-scanner.js';import*as a111a from'fs';import*as a111b from'path';console['log']('Examples\x20Scanner\x20v'+EXAMPLES_SCANNER_VERSION),console['log']('Scanning\x20d:/wowok/docs/examples\x20...');const result=scanAllExamples();console['log']('Loaded\x20'+result['examples']['length']+'\x20examples,\x20found\x20'+result['total_findings']+'\x20findings.');const report=formatScanReport(result),outputPath=a111b['resolve']('d:/wowok/wiki/market/GLM3/examples-scan-report.md');a111a['writeFileSync'](outputPath,report,'utf-8'),console['log']('Report\x20written\x20to\x20'+outputPath),console['log']('\x0a===\x20Per-Example\x20Summary\x20===');for(const example of result['examples']){const findings=result['findings_by_example']['get'](example['relative_path'])??[],critical=findings['filter'](a=>a['severity']==='critical')['length'],high=findings['filter'](a=>a['severity']==='high')['length'],medium=findings['filter'](a=>a['severity']==='medium')['length'];console['log'](example['relative_path']['padEnd'](0x32)+'\x20machines='+example['machine_ops']['length']+'\x20'+('progress='+example['progress_ops']['length']+'\x20guards='+example['defined_guard_names']['size']+'\x20')+('findings='+findings['length']+'\x20(C:'+critical+'\x20H:'+high+'\x20M:'+medium+')'));}console['log']('\x0a===\x20Risk\x20Rule\x20Coverage\x20===');const sortedRules=[...result['risk_rule_coverage']['entries']()]['sort']((c,d)=>c[0x0]['localeCompare'](d[0x0]));for(const [ruleId,count]of sortedRules){console['log']('\x20\x20'+ruleId['padEnd'](0xf)+'\x20'+count);}

package/dist/knowledge/examples-scanner.js

@@ -1 +1 @@
-import*as a104a from'fs';import*as a104b from'path';import{analyzeTopology}from'./machine-topology.js';import{assessMachineRisks}from'./machine-risk.js';import{runStaticChecklist}from'./machine-confirm.js';import{explainNode}from'./machine-translation.js';import{identifyCrossMachineDependency,detectCrossMachineCycle}from'./machine-context.js';export function getMachineName(a){if(typeof a['data']['object']==='string')return a['data']['object'];return a['data']['object']['name'];}const EXAMPLES_DIR=a104b['resolve']('d:/wowok/docs/examples');export function nodeDefsToMachine(a){const b=[],c=[],d=new Set();for(const e of a){!d['has'](e['name'])&&(b['push']({'name':e['name']}),d['add'](e['name']));for(const f of e['pairs']){c['push']({'prev_node':f['prev_node'],'next_node':e['name'],'threshold':f['threshold'],'forwards':f['forwards']['map'](g=>normalizeForward(g))});}}return{'nodes':b,'pairs':c};}function normalizeForward(a){const b=a['named_operator']??a['namedOperator'],c=a['permission_index']??a['permissionIndex'];let d;if(typeof a['guard']==='string')d=a['guard'];else{if(a['guard']&&typeof a['guard']==='object'){const h=a['guard'];if(typeof h['guard']==='string')d=h['guard'];}}let e;if(a['retained_submission']!==undefined&&a['retained_submission']!==null){if(typeof a['retained_submission']==='string')e=a['retained_submission'];else{if(Array['isArray'](a['retained_submission']))e=a['retained_submission'];else{if(typeof a['retained_submission']==='object'){const i=a['retained_submission'];i['retained_submission']!==undefined&&(e=i['retained_submission']);}}}}else{if(a['guard']&&typeof a['guard']==='object'){const j=a['guard'];if(j['retained_submission']!==undefined&&j['retained_submission']!==null){if(Array['isArray'](j['retained_submission']))e=j['retained_submission'];else typeof j['retained_submission']==='string'&&(e=j['retained_submission']);}}}return{'name':a['name'],'weight':a['weight'],'named_operator':b,'permission_index':c,'guard':d,'retained_submission':e};}function extractJsonBlocks(a){const b=a104a['readFileSync'](a,'utf-8'),c=b['split']('\x0a'),d=[];let e=0x0;while(e<c['length']){const f=c[e];if(f['trim']()['startsWith']('```json')){const g=[];let h=e+0x1;while(h<c['length']&&!c[h]['trim']()['startsWith']('```')){g['push'](c[h]),h++;}const k=g['join']('\x0a');try{const l=JSON['parse'](k);let m=null;if(l&&typeof l==='object'&&!Array['isArray'](l)){const n=l;if(n['tool']==='onchain_operations'&&n['data']&&typeof n['data']==='object'&&!Array['isArray'](n['data'])){const o=n['data'];typeof o['operation_type']==='string'&&(m={'operation_type':o['operation_type'],'data':o['data'],...o['env']!==undefined?{'env':o['env']}:{}});}else typeof n['operation_type']==='string'&&(m=n);}m&&typeof m['operation_type']==='string'&&d['push']({'lineStart':e+0x1,'raw':k,'json':m});}catch{}e=h+0x1;}else e++;}return d;}function extractDefinedGuardNames(a){const c=extractJsonBlocks(a),d=new Set();for(const e of c){if(e['json']['operation_type']!=='guard')continue;const f=e['json']['data'];if(!f)continue;const g=f['namedNew'],h=g?.['name'];if(h)d['add'](h);}return d;}export function loadAllExamples(a=EXAMPLES_DIR){const b=[];if(!a104a['existsSync'](a))return b;const c=a104a['readdirSync'](a,{'withFileTypes':!![]});for(const d of c){if(!d['isDirectory']())continue;const e=a104b['join'](a,d['name']),f=a104a['readdirSync'](e,{'withFileTypes':!![]});for(const g of f){if(!g['isFile']())continue;const h=a104b['join'](e,g['name']),i=d['name']+'/'+g['name'];if(g['name']['endsWith']('.md')){const j=extractMachineOpsFromMarkdown(h),k=extractProgressOpsFromMarkdown(h),l=extractDefinedGuardNames(h);if(j['length']===0x0&&k['length']===0x0&&l['size']===0x0)continue;const m=j[0x0]?.['op']['data']['description'];b['push']({'example_name':d['name'],'relative_path':i,'absolute_path':h,'machine_ops':j,'progress_ops':k,'defined_guard_names':l,'business_description':m});}else{if(g['name']['endsWith']('.json')&&g['name']['includes']('machine')){const n=a104a['readFileSync'](h,'utf-8');try{const o=JSON['parse'](n);if(!Array['isArray'](o)||o['length']===0x0)continue;const p=a104b['basename'](g['name'],'.json');b['push']({'example_name':d['name'],'relative_path':i,'absolute_path':h,'machine_ops':[{'op':{'operation_type':'machine','data':{'object':{'name':p,'replaceExistName':![]},'node':{'op':'add','nodes':o},'publish':![]},'env':{'network':'testnet'}},'line_start':0x0}],'progress_ops':[],'defined_guard_names':new Set(),'business_description':'(standalone\x20JSON:\x20'+p+')'});}catch{}}}}}return b;}function extractMachineOpsFromMarkdown(a){const c=extractJsonBlocks(a),d=[];for(const e of c){if(e['json']['operation_type']!=='machine')continue;try{const f=e['json'];if(!f['data'])continue;const g=f['data']['node']?.['nodes']&&Array['isArray'](f['data']['node']['nodes']),h=f['data']['publish']===!![];if(!g&&!h)continue;d['push']({'op':f,'line_start':e['lineStart']});}catch{}}return d;}function extractProgressOpsFromMarkdown(a){const c=extractJsonBlocks(a),d=[];for(const e of c){const f=e['json'],g=f['data'];if(!g)continue;const h=g['progress'];if(!h)continue;const i=h['operation'];if(!i||!i['next_node_name']||!i['forward'])continue;try{d['push']({'operation_type':f['operation_type'],'data':{'object':g['object'],'progress':{'operation':{'next_node_name':i['next_node_name'],'forward':i['forward']}},'submission':g['submission']},'env':{'account':f['env']?.['account'],'network':f['env']?.['network']},'_source_line':e['lineStart']});}catch{}}return d;}export function analyzeSchemaConsistency(a){return[];}export function analyzeThresholdIssues(a){const b=[];for(const {op:c,line_start:d}of a['machine_ops']){if(!c['data']['node']?.['nodes'])continue;const {nodes:e,pairs:f}=nodeDefsToMachine(c['data']['node']['nodes']),g=getMachineName(c),h=f['filter'](j=>j['prev_node']===''),i=h['length']>0x1;for(const j of f){if(j['prev_node']===''&&j['threshold']===0x0){const k=j['forwards']['length'],l=k===0x1||i;if(l)continue;b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':d,'machine_name':g,'category':'design','severity':'medium','title':'Entry\x20pair\x20with\x20threshold=0\x20and\x20multiple\x20Forwards\x20(potential\x20permission\x20bypass)','detail':'Pair\x20(prev=\x22\x22,\x20next=\x22'+j['next_node']+'\x22)\x20has\x20threshold=0\x20with\x20'+k+'\x20Forwards.\x20'+'With\x20threshold=0,\x20ANY\x20single\x20Forward\x20fires\x20→\x20migration,\x20potentially\x20bypassing\x20other\x20Forwards\x27\x20'+'permission\x20checks.\x20Set\x20threshold\x20≥\x201\x20so\x20ALL\x20intended\x20Forwards\x20must\x20agree.\x20'+'(Note:\x20single-Forward\x20Pairs\x20and\x20competing-OR\x20Pairs\x20with\x20threshold=0\x20are\x20NOT\x20flagged\x20—\x20they\x20are\x20legitimate.)','rule_id':'R-M3-09','fix':'Set\x20threshold=1\x20(or\x20higher)\x20on\x20entry\x20pair\x20targeting\x20\x22'+j['next_node']+'\x22\x20if\x20Forwards\x20represent\x20AND\x20semantics;\x20keep\x20threshold=0\x20if\x20OR\x20semantics\x20is\x20intended\x20(then\x20consider\x20splitting\x20into\x20competing\x20Pairs).'});}}for(const m of f){const n=m['forwards']['reduce']((o,p)=>o+p['weight'],0x0);m['threshold']>n&&b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':d,'machine_name':g,'category':'design','severity':'critical','title':'Threshold\x20exceeds\x20total\x20forward\x20weight\x20(unreachable)','detail':'Pair\x20(prev=\x22'+m['prev_node']+'\x22,\x20next=\x22'+m['next_node']+'\x22)\x20has\x20threshold='+m['threshold']+'\x20but\x20total\x20forward\x20weight='+n+'.\x20This\x20pair\x20can\x20NEVER\x20be\x20satisfied\x20—\x20workflow\x20dead-ends\x20here.','rule_id':'R-M2-06','fix':'Reduce\x20threshold\x20to\x20≤\x20'+n+'\x20or\x20add\x20more\x20forwards\x20with\x20weight.'});}}return b;}export function analyzeNetworkSafety(a){const b=[];for(const {op:c,line_start:d}of a['machine_ops']){const e=getMachineName(c),f=c['data']['publish']===!![],g=c['env']['network'];f&&g==='mainnet'&&b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':d,'machine_name':e,'category':'runtime','severity':'critical','title':'Direct\x20mainnet\x20publish\x20without\x20testnet\x20test','detail':'Machine\x20\x22'+e+'\x22\x20is\x20published\x20directly\x20to\x20mainnet.\x20Per\x20R-M4-02,\x20must\x20test\x20on\x20testnet\x20first.','rule_id':'R-M4-02','fix':'Set\x20env.network\x20to\x20\x22testnet\x22\x20for\x20first\x20publish,\x20run\x20end-to-end\x20test,\x20then\x20re-publish\x20on\x20mainnet.'});}return b;}export function analyzeConfirmationBypass(a){const b=[];for(const {op:c,line_start:d}of a['machine_ops']){const e=getMachineName(c),f=c['data']['publish']===!![],g=c['env']['confirmed']===!![];f&&g&&b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':d,'machine_name':e,'category':'runtime','severity':'medium','title':'confirmed=true\x20bypasses\x20user\x20confirmation\x20prompt','detail':'Machine\x20\x22'+e+'\x22\x20is\x20published\x20with\x20env.confirmed=true.\x20This\x20bypasses\x20the\x20ConfirmGate\x20user-confirmation\x20step.\x20Examples\x20should\x20demonstrate\x20the\x20two-step\x20confirmation\x20flow\x20(Phase\x201\x20prompt\x20→\x20Phase\x202\x20confirmed=true).','rule_id':'R-M4-04','fix':'Show\x20Phase\x201\x20(without\x20confirmed=true)\x20and\x20Phase\x202\x20(with\x20confirmed=true)\x20as\x20separate\x20steps\x20in\x20the\x20example.'});}return b;}export function analyzeGuardReferences(a){const b=[],c=a['defined_guard_names'];for(const {op:d,line_start:e}of a['machine_ops']){if(!d['data']['node']?.['nodes'])continue;const f=getMachineName(d),h=d['data']['publish']===!![];for(const i of d['data']['node']['nodes']){for(const j of i['pairs']){for(const k of j['forwards']){let l;if(typeof k['guard']==='string')l=k['guard'];else{if(k['guard']&&typeof k['guard']==='object'){const m=k['guard'];if(typeof m['guard']==='string')l=m['guard'];}}if(!l)continue;!c['has'](l)&&b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':e,'machine_name':f,'category':'runtime','severity':h?'critical':'high','title':'Guard\x20\x22'+l+'\x22\x20referenced\x20but\x20not\x20defined\x20in\x20example','detail':'Forward\x20\x22'+k['name']+'\x22\x20references\x20Guard\x20\x22'+l+'\x22\x20but\x20no\x20operation_type=\x22guard\x22\x20with\x20name=\x22'+l+'\x22\x20appears\x20earlier\x20in\x20'+a['relative_path']+'.\x20'+(h?'Publishing\x20will\x20fail\x20at\x20runtime.':'Will\x20fail\x20at\x20machine\x20creation.'),'rule_id':h?'R-M4-03':'R-M2-01','fix':'Add\x20a\x20guard\x20creation\x20step\x20(operation_type=\x22guard\x22)\x20with\x20name=\x22'+l+'\x22\x20BEFORE\x20the\x20machine\x20creation\x20step.'});}}}}return b;}export function analyzeCrossMachineDeps(a,b=new Map()){const c=[],d=[];for(const {op:f,line_start:g}of a['machine_ops']){if(!f['data']['node']?.['nodes'])continue;const {nodes:h,pairs:i}=nodeDefsToMachine(f['data']['node']['nodes']),j=getMachineName(f),k=identifyCrossMachineDependency(j,{'nodes':h,'pairs':i},b);d['push'](...k),k['length']>0x0&&c['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':g,'machine_name':j,'category':'cross_machine','severity':'info','title':'Machine\x20declares\x20'+k['length']+'\x20cross-Machine\x20dependencies','detail':k['map'](l=>'Forward\x20\x22'+l['dependency']['machine_a_forward']+'\x22\x20depends\x20on\x20Machine\x20\x22'+l['machine_b_id']+'\x22\x20reaching\x20node\x20\x22'+l['dependency']['machine_b_node']+'\x22')['join'](';\x20'),'rule_id':'P-M3'});}const e=detectCrossMachineCycle(d);for(const l of e){c['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':0x0,'machine_name':'(project-level)','category':'cross_machine','severity':'critical','title':'Cross-Machine\x20dependency\x20cycle\x20detected','detail':'Cycle:\x20'+l['join']('\x20→\x20'),'rule_id':'R-M2-07','fix':'Break\x20the\x20cycle\x20by\x20removing\x20one\x20of\x20the\x20dependencies\x20in\x20the\x20cycle.'});}return{'deps':d,'cycles':e,'findings':c};}export function analyzeRoundTrip(a){const b=[];for(const {op:c,line_start:d}of a['machine_ops']){if(!c['data']['node']?.['nodes'])continue;const {nodes:e,pairs:f}=nodeDefsToMachine(c['data']['node']['nodes']),g=getMachineName(c),h=analyzeTopology(e,f);h['has_cycles']&&b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':d,'machine_name':g,'category':'round_trip','severity':'critical','title':'Topology\x20analysis:\x20cycle\x20detected\x20(DAG\x20violation)','detail':'Machine\x20\x22'+g+'\x22\x20has\x20cycles:\x20'+JSON['stringify'](h['cycle_nodes']),'rule_id':'R-M1-03','fix':'Remove\x20cycles\x20—\x20Machine\x20must\x20be\x20a\x20DAG.'});const i={'network':c['env']['network']==='mainnet'?'mainnet':'testnet','testnet_test_passed':c['env']['network']!=='mainnet','published_services':new Set(),'published_guards':new Set(),'published_permissions':new Set(),'published_machines':new Set(),'published_arbitrations':new Set(),'published_rewards':new Set(),'published_allocators':new Set(),'published_repositories':new Set()};for(const p of f){for(const q of p['forwards']){if(q['guard'])i['published_guards']['add'](q['guard']);}}const j={'nodes':e,'pairs':f,'b_published':c['data']['publish']===!![]},k=assessMachineRisks(j,i),l=k['detected_risks']['filter'](s=>s['severity']==='critical');if(l['length']>0x0)for(const s of l){b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':d,'machine_name':g,'category':'round_trip','severity':'critical','title':'Risk\x20assessment:\x20'+s['rule_id']+'\x20('+s['severity']+')','detail':s['detail'],'rule_id':s['rule_id']});}const m={'nodes':e,'pairs':f,'name':g},n=runStaticChecklist(m),o=n['failed_items']['filter'](t=>['C-01','C-03','C-06','C-10']['includes'](t['id']));for(const t of o){b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':d,'machine_name':g,'category':'round_trip','severity':'high','title':'Checklist\x20'+t['id']+'\x20failed:\x20'+t['description'],'detail':t['detail']??'(no\x20detail)','rule_id':t['id']});}for(const u of e){const v=f['filter'](y=>y['prev_node']===u['name']),w={'name':u['name'],'pairs':v,'all_pairs':f},x=explainNode(w);(!x['name']||x['pairs']['length']!==v['length'])&&b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':d,'machine_name':g,'category':'round_trip','severity':'medium','title':'Round-trip\x20mismatch\x20for\x20node\x20\x22'+u['name']+'\x22','detail':'explainNode\x20produced\x20inconsistent\x20output:\x20name=\x22'+x['name']+'\x22,\x20pairs_count='+x['pairs']['length']+'\x20(expected\x20'+v['length']+')','rule_id':'RT-001'});}}return b;}export function analyzeProgressOps(a){const b=[],c=new Set();let d='(none)';for(const {op:e}of a['machine_ops']){if(!e['data']['node']?.['nodes'])continue;d=getMachineName(e);const {pairs:f}=nodeDefsToMachine(e['data']['node']['nodes']);for(const g of f){c['add'](g['next_node']+'::'+g['forwards']['map'](h=>h['name'])['join']('|'));for(const h of g['forwards']){c['add'](g['next_node']+'::'+h['name']);}}}for(const i of a['progress_ops']){const j=i['data']['progress']?.['operation'];if(!j)continue;const k=j['next_node_name']+'::'+j['forward'],l=c['has'](k);if(!l){const m=[...c]['some'](n=>n['endsWith']('::'+j['forward']));!m?b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':i['_source_line']??0x0,'machine_name':d,'category':'progress','severity':'high','title':'Progress\x20references\x20unknown\x20forward\x20\x22'+j['forward']+'\x22','detail':'Progress\x20op\x20references\x20forward\x20\x22'+j['forward']+'\x22\x20but\x20no\x20such\x20forward\x20exists\x20in\x20machine\x20\x22'+d+'\x22.','rule_id':'R-M3-04','fix':'Verify\x20forward\x20name\x20matches\x20one\x20defined\x20in\x20the\x20Machine.'}):b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':i['_source_line']??0x0,'machine_name':d,'category':'progress','severity':'medium','title':'Progress\x20forward\x20\x22'+j['forward']+'\x22\x20doesn\x27t\x20lead\x20to\x20\x22'+j['next_node_name']+'\x22','detail':'Forward\x20\x22'+j['forward']+'\x22\x20exists\x20but\x20doesn\x27t\x20target\x20node\x20\x22'+j['next_node_name']+'\x22.','rule_id':'R-M3-05','fix':'Correct\x20next_node_name\x20to\x20match\x20the\x20forward\x27s\x20target.'});}}return b;}export function analyzePublishStep(a){const b=[],c=a['machine_ops']['some'](({op:e})=>e['data']['publish']===!![]),d=a['progress_ops']['length']>0x0;return d&&!c&&b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':0x0,'machine_name':'(file-level)','category':'runtime','severity':'high','title':'Progress\x20operations\x20present\x20but\x20no\x20`publish:\x20true`\x20step','detail':'Example\x20has\x20'+a['progress_ops']['length']+'\x20progress\x20operations\x20but\x20no\x20machine\x20operation\x20with\x20publish=true.\x20Progress::new\x20will\x20fail\x20at\x20runtime\x20(machine\x20not\x20published).','rule_id':'R-M4-01','fix':'Add\x20a\x20publish\x20step\x20(or\x20set\x20data.publish=true\x20on\x20the\x20machine\x20creation\x20operation).'}),b;}export function analyzeRiskRuleCoverage(a){const b=new Map();let c=0x0;const d=[...analyzeSchemaConsistency(a),...analyzeThresholdIssues(a),...analyzeNetworkSafety(a),...analyzeConfirmationBypass(a),...analyzeGuardReferences(a),...analyzeRoundTrip(a),...analyzeProgressOps(a),...analyzePublishStep(a)];for(const e of d){e['rule_id']&&(b['set'](e['rule_id'],(b['get'](e['rule_id'])??0x0)+0x1),c++);}return{'ruleCounts':b,'totalFindings':c};}export function scanAllExamples(a=EXAMPLES_DIR){const b=loadAllExamples(a),c=new Map(),d=new Map(),e=new Map(),g=new Map();let h=0x0;for(const i of b){const j=[];j['push'](...analyzeSchemaConsistency(i)),j['push'](...analyzeThresholdIssues(i)),j['push'](...analyzeNetworkSafety(i)),j['push'](...analyzeConfirmationBypass(i)),j['push'](...analyzeGuardReferences(i));const k=analyzeCrossMachineDeps(i);j['push'](...k['findings']),j['push'](...analyzeRoundTrip(i)),j['push'](...analyzeProgressOps(i)),j['push'](...analyzePublishStep(i)),c['set'](i['relative_path'],j);for(const l of j){const m=d['get'](l['category'])??[];m['push'](l),d['set'](l['category'],m);const n=e['get'](l['severity'])??[];n['push'](l),e['set'](l['severity'],n),l['rule_id']&&g['set'](l['rule_id'],(g['get'](l['rule_id'])??0x0)+0x1),h++;}}return{'examples':b,'findings_by_example':c,'findings_by_category':d,'findings_by_severity':e,'total_findings':h,'risk_rule_coverage':g};}export function formatScanReport(a){const b=[];b['push']('#\x20Examples\x20Scan\x20Report\x20—\x20d:\x5cwowok\x5cdocs\x5cexamples'),b['push'](''),b['push']('>\x20Auto-generated\x20by\x20`examples-scanner.ts`\x20—\x20comprehensive\x20scan\x20of\x20all'),b['push']('>\x20machine/progress\x20JSON\x20in\x205\x20example\x20directories\x20for\x20design\x20and\x20runtime\x20problems.'),b['push'](''),b['push']('##\x20Summary'),b['push'](''),b['push']('-\x20**Examples\x20scanned**:\x20'+a['examples']['length']),b['push']('-\x20**Total\x20findings**:\x20'+a['total_findings']),b['push'](''),b['push']('###\x20Findings\x20by\x20Severity'),b['push'](''),b['push']('|\x20Severity\x20|\x20Count\x20|'),b['push']('|----------|-------|');const c=['critical','high','medium','low','info'];for(const j of c){const k=a['findings_by_severity']['get'](j)?.['length']??0x0;b['push']('|\x20'+j+'\x20|\x20'+k+'\x20|');}b['push'](''),b['push']('###\x20Findings\x20by\x20Category'),b['push'](''),b['push']('|\x20Category\x20|\x20Count\x20|'),b['push']('|----------|-------|');const d=['schema_consistency','design','runtime','cross_machine','round_trip','progress','risk_rule'];for(const l of d){const m=a['findings_by_category']['get'](l)?.['length']??0x0;b['push']('|\x20'+l+'\x20|\x20'+m+'\x20|');}b['push'](''),b['push']('###\x20Risk\x20Rule\x20Coverage\x20(which\x20rules\x20fired\x20across\x20examples)'),b['push'](''),b['push']('|\x20Rule\x20ID\x20|\x20Total\x20Hits\x20|'),b['push']('|---------|-----------|');const e=[...a['risk_rule_coverage']['entries']()]['sort']((n,o)=>n[0x0]['localeCompare'](o[0x0]));for(const [n,o]of e){b['push']('|\x20'+n+'\x20|\x20'+o+'\x20|');}b['push'](''),b['push']('##\x20Per-Example\x20Findings'),b['push']('');for(const p of a['examples']){const q=a['findings_by_example']['get'](p['relative_path'])??[];b['push']('###\x20'+p['example_name']+'\x20—\x20`'+p['relative_path']+'`'),b['push'](''),b['push']('-\x20**Source**:\x20`'+p['relative_path']+'`'),b['push']('-\x20**Machine\x20operations**:\x20'+p['machine_ops']['length']),b['push']('-\x20**Progress\x20operations**:\x20'+p['progress_ops']['length']),b['push']('-\x20**Defined\x20guards**:\x20'+p['defined_guard_names']['size']);p['business_description']&&b['push']('-\x20**Business\x20description**:\x20'+p['business_description']);b['push']('-\x20**Findings**:\x20'+q['length']),b['push']('');if(q['length']===0x0){b['push']('✅\x20No\x20issues\x20detected.'),b['push']('');continue;}const r=new Map();for(const s of q){const t=r['get'](s['severity'])??[];t['push'](s),r['set'](s['severity'],t);}for(const u of c){const v=r['get'](u)??[];if(v['length']===0x0)continue;b['push']('####\x20'+u['toUpperCase']()+'\x20('+v['length']+')'),b['push']('');for(const w of v){b['push']('-\x20**['+(w['rule_id']??'—')+']\x20'+w['title']+'**\x20(line\x20'+w['line']+')'),b['push']('\x20\x20-\x20'+w['detail']),w['fix']&&b['push']('\x20\x20-\x20**Fix**:\x20'+w['fix']),b['push']('');}}}b['push']('##\x20Cross-Cutting\x20Patterns'),b['push']('');const g=a['findings_by_category']['get']('schema_consistency')??[];g['length']===0x0&&(b['push']('###\x20Schema\x20Consistency\x20—\x20No\x20Issues\x20(camelCase\x20is\x20canonical)'),b['push'](''),b['push']('The\x20previous\x20SCHEMA-001/002/003/004\x20rules\x20have\x20been\x20REMOVED\x20(2026-07-19).'),b['push'](''),b['push']('**Reason**:\x20Verification\x20against\x20MCP\x20schema\x20(`d:\x5cwowok\x5cagent\x5cmcp\x5csrc`)\x20confirmed\x20that:'),b['push']('-\x20`MachineForwardSchema`\x20accepts\x20`namedOperator`,\x20`permissionIndex`\x20(camelCase)'),b['push']('-\x20`MachineForwardGuardSchema`\x20is\x20an\x20OBJECT\x20`{\x20guard:\x20string,\x20retained_submission?:\x20number[]\x20}`\x20(NOT\x20a\x20flat\x20string)'),b['push']('-\x20`NamedObjectSchema`\x20accepts\x20`replaceExistName`,\x20`onChain`\x20(camelCase)'),b['push'](''),b['push']('Source\x20examples\x20using\x20camelCase\x20are\x20therefore\x20CORRECT\x20per\x20MCP\x20schema\x20—\x20the\x20previous\x20rules\x20were\x20false\x20positives.'),b['push'](''));const h=(a['findings_by_category']['get']('design')??[])['filter'](x=>x['rule_id']==='R-M3-09');if(h['length']>0x0){b['push']('###\x20Threshold=0\x20on\x20Multi-Forward\x20Entry\x20Pairs\x20(R-M3-09)'),b['push'](''),b['push']('Found\x20'+h['length']+'\x20multi-Forward\x20entry\x20pairs\x20with\x20threshold=0\x20across\x20examples.'),b['push'](''),b['push']('**Detection\x20logic**\x20(refined\x202026-07-19):'),b['push']('-\x20Single-Forward\x20Pair\x20with\x20threshold=0\x20→\x20**NOT\x20flagged**\x20(legitimate:\x20single\x20execution\x20triggers\x20migration\x20regardless\x20of\x20threshold)'),b['push']('-\x20Competing-OR\x20Pairs\x20(multiple\x20Pairs\x20share\x20prev_node=\x22\x22)\x20with\x20threshold=0\x20→\x20**NOT\x20flagged**\x20(legitimate\x20OR\x20semantics)'),b['push']('-\x20Multi-Forward\x20Pair\x20with\x20threshold=0\x20AND\x20no\x20competing\x20siblings\x20→\x20**FLAGGED**\x20(potential\x20permission\x20bypass:\x20any\x20single\x20Forward\x20fires\x20→\x20migration)'),b['push']('');const x=[...new Set(h['map'](y=>y['source_file']))];b['push']('**Affected\x20source\x20files**:\x20'+x['map'](y=>'`'+y+'`')['join'](',\x20')+'.'),b['push'](''),b['push']('**Fix**:\x20Set\x20threshold=1\x20(or\x20higher)\x20if\x20Forwards\x20represent\x20AND\x20semantics;\x20keep\x20threshold=0\x20only\x20if\x20OR\x20semantics\x20is\x20intended\x20(then\x20consider\x20splitting\x20into\x20competing\x20Pairs).'),b['push']('');}else b['push']('###\x20Threshold=0\x20on\x20Entry\x20Pairs\x20—\x20No\x20Issues'),b['push'](''),b['push']('All\x20entry\x20pairs\x20with\x20threshold=0\x20fall\x20into\x20legitimate\x20categories\x20(single-Forward\x20or\x20competing-OR).'),b['push']('');const i=(a['findings_by_category']['get']('runtime')??[])['filter'](y=>y['rule_id']==='R-M4-02');return i['length']>0x0&&(b['push']('###\x20Direct\x20Mainnet\x20Publish\x20(R-M4-02)'),b['push'](''),b['push']('Found\x20'+i['length']+'\x20examples\x20publishing\x20directly\x20to\x20mainnet\x20without\x20testnet\x20test.'),b['push'](''),b['push']('**Affected\x20examples**:\x20MyShop,\x20MyShop_Advanced.'),b['push'](''),b['push']('**Fix**:\x20Add\x20a\x20testnet\x20publish\x20step\x20before\x20mainnet,\x20or\x20change\x20the\x20network\x20to\x20testnet\x20for\x20examples.'),b['push']('')),b['push']('##\x20Recommendations\x20for\x20Linter\x20&\x20Cognition\x20Closure'),b['push'](''),b['push']('Based\x20on\x20the\x20findings,\x20the\x20following\x20linter\x20rules\x20and\x20cognition\x20improvements\x20are\x20recommended:'),b['push'](''),b['push']('1.\x20**REMOVED\x20SCHEMA-001/002/003/004**\x20(2026-07-19):\x20These\x20rules\x20incorrectly\x20assumed\x20SDK\x20snake_case\x20as\x20the\x20standard.\x20MCP\x20schema\x20actually\x20accepts\x20camelCase\x20(`namedOperator`,\x20`permissionIndex`,\x20`replaceExistName`)\x20and\x20nested\x20Guard\x20object\x20form.\x20Examples\x20are\x20correct\x20as-is.'),b['push']('2.\x20**REFACTORED\x20R-M3-02\x20→\x20R-M3-09**\x20(2026-07-19,\x20then\x202026-07-20):\x20Original\x20R-M3-02\x20(threshold=0)\x20conflicted\x20with\x20machine-risk.ts\x27s\x20R-M3-02\x20(permissionIndex\x20out\x20of\x20bounds).\x20Initially\x20renamed\x20to\x20R-M3-06,\x20but\x20that\x20also\x20collided\x20with\x20machine-risk.ts\x27s\x20R-M3-06\x20(Permission\x20game\x20imbalance).\x20Final\x20rename:\x20R-M3-09.\x20Logic\x20also\x20refined:\x20single-Forward\x20and\x20competing-OR\x20threshold=0\x20cases\x20are\x20now\x20exempt.'),b['push']('3.\x20**Reinforce\x20R-M4-03**:\x20Guard\x20must\x20be\x20created\x20before\x20Machine\x20publish.\x20Examples\x20should\x20include\x20guard\x20creation\x20step\x20(operation_type=\x22guard\x22)\x20with\x20matching\x20name\x20before\x20machine\x20creation.'),b['push']('4.\x20**Add\x20lint\x20rule**\x20for\x20`confirmed:\x20true`\x20+\x20`publish:\x20true`\x20combination\x20without\x20showing\x20the\x20Phase\x201\x20confirmation\x20prompt\x20first.'),b['push']('5.\x20**IMPLEMENTED**:\x20R-M3-08\x20(permissionIndex\x20<\x201000)\x20rule\x20added\x20to\x20machine-risk.ts,\x20and\x20C-11\x20checklist\x20item\x20added\x20to\x20machine-confirm.ts\x20(2026-07-20).\x20Both\x20enforce\x20the\x20on-chain\x20USER_DEFINED_PERM_INDEX_START\x20=\x201000\x20hard\x20constraint\x20(see\x20doc\x2006\x20§4.4).'),b['push'](''),b['push']('---'),b['push'](''),b['push']('*End\x20of\x20report.*'),b['join']('\x0a');}export const EXAMPLES_SCANNER_VERSION='1.0.0';
+import*as a112a from'fs';import*as a112b from'path';import{analyzeTopology}from'./machine-topology.js';import{assessMachineRisks}from'./machine-risk.js';import{runStaticChecklist}from'./machine-confirm.js';import{explainNode}from'./machine-translation.js';import{identifyCrossMachineDependency,detectCrossMachineCycle}from'./machine-context.js';export function getMachineName(a){if(typeof a['data']['object']==='string')return a['data']['object'];return a['data']['object']['name'];}const EXAMPLES_DIR=a112b['resolve']('d:/wowok/docs/examples');export function nodeDefsToMachine(a){const b=[],c=[],d=new Set();for(const e of a){!d['has'](e['name'])&&(b['push']({'name':e['name']}),d['add'](e['name']));for(const f of e['pairs']){c['push']({'prev_node':f['prev_node'],'next_node':e['name'],'threshold':f['threshold'],'forwards':f['forwards']['map'](g=>normalizeForward(g))});}}return{'nodes':b,'pairs':c};}function normalizeForward(a){const b=a['named_operator']??a['namedOperator'],c=a['permission_index']??a['permissionIndex'];let d;if(typeof a['guard']==='string')d=a['guard'];else{if(a['guard']&&typeof a['guard']==='object'){const h=a['guard'];if(typeof h['guard']==='string')d=h['guard'];}}let e;if(a['retained_submission']!==undefined&&a['retained_submission']!==null){if(typeof a['retained_submission']==='string')e=a['retained_submission'];else{if(Array['isArray'](a['retained_submission']))e=a['retained_submission'];else{if(typeof a['retained_submission']==='object'){const i=a['retained_submission'];i['retained_submission']!==undefined&&(e=i['retained_submission']);}}}}else{if(a['guard']&&typeof a['guard']==='object'){const j=a['guard'];if(j['retained_submission']!==undefined&&j['retained_submission']!==null){if(Array['isArray'](j['retained_submission']))e=j['retained_submission'];else typeof j['retained_submission']==='string'&&(e=j['retained_submission']);}}}return{'name':a['name'],'weight':a['weight'],'named_operator':b,'permission_index':c,'guard':d,'retained_submission':e};}function extractJsonBlocks(a){const b=a112a['readFileSync'](a,'utf-8'),c=b['split']('\x0a'),d=[];let e=0x0;while(e<c['length']){const f=c[e];if(f['trim']()['startsWith']('```json')){const g=[];let h=e+0x1;while(h<c['length']&&!c[h]['trim']()['startsWith']('```')){g['push'](c[h]),h++;}const k=g['join']('\x0a');try{const l=JSON['parse'](k);let m=null;if(l&&typeof l==='object'&&!Array['isArray'](l)){const n=l;if(n['tool']==='onchain_operations'&&n['data']&&typeof n['data']==='object'&&!Array['isArray'](n['data'])){const o=n['data'];typeof o['operation_type']==='string'&&(m={'operation_type':o['operation_type'],'data':o['data'],...o['env']!==undefined?{'env':o['env']}:{}});}else typeof n['operation_type']==='string'&&(m=n);}m&&typeof m['operation_type']==='string'&&d['push']({'lineStart':e+0x1,'raw':k,'json':m});}catch{}e=h+0x1;}else e++;}return d;}function extractDefinedGuardNames(a){const c=extractJsonBlocks(a),d=new Set();for(const e of c){if(e['json']['operation_type']!=='guard')continue;const f=e['json']['data'];if(!f)continue;const g=f['namedNew'],h=g?.['name'];if(h)d['add'](h);}return d;}export function loadAllExamples(a=EXAMPLES_DIR){const b=[];if(!a112a['existsSync'](a))return b;const c=a112a['readdirSync'](a,{'withFileTypes':!![]});for(const d of c){if(!d['isDirectory']())continue;const e=a112b['join'](a,d['name']),f=a112a['readdirSync'](e,{'withFileTypes':!![]});for(const g of f){if(!g['isFile']())continue;const h=a112b['join'](e,g['name']),i=d['name']+'/'+g['name'];if(g['name']['endsWith']('.md')){const j=extractMachineOpsFromMarkdown(h),k=extractProgressOpsFromMarkdown(h),l=extractDefinedGuardNames(h);if(j['length']===0x0&&k['length']===0x0&&l['size']===0x0)continue;const m=j[0x0]?.['op']['data']['description'];b['push']({'example_name':d['name'],'relative_path':i,'absolute_path':h,'machine_ops':j,'progress_ops':k,'defined_guard_names':l,'business_description':m});}else{if(g['name']['endsWith']('.json')&&g['name']['includes']('machine')){const n=a112a['readFileSync'](h,'utf-8');try{const o=JSON['parse'](n);if(!Array['isArray'](o)||o['length']===0x0)continue;const p=a112b['basename'](g['name'],'.json');b['push']({'example_name':d['name'],'relative_path':i,'absolute_path':h,'machine_ops':[{'op':{'operation_type':'machine','data':{'object':{'name':p,'replaceExistName':![]},'node':{'op':'add','nodes':o},'publish':![]},'env':{'network':'testnet'}},'line_start':0x0}],'progress_ops':[],'defined_guard_names':new Set(),'business_description':'(standalone\x20JSON:\x20'+p+')'});}catch{}}}}}return b;}function extractMachineOpsFromMarkdown(a){const c=extractJsonBlocks(a),d=[];for(const e of c){if(e['json']['operation_type']!=='machine')continue;try{const f=e['json'];if(!f['data'])continue;const g=f['data']['node']?.['nodes']&&Array['isArray'](f['data']['node']['nodes']),h=f['data']['publish']===!![];if(!g&&!h)continue;d['push']({'op':f,'line_start':e['lineStart']});}catch{}}return d;}function extractProgressOpsFromMarkdown(a){const c=extractJsonBlocks(a),d=[];for(const e of c){const f=e['json'],g=f['data'];if(!g)continue;const h=g['progress'];if(!h)continue;const i=h['operation'];if(!i||!i['next_node_name']||!i['forward'])continue;try{d['push']({'operation_type':f['operation_type'],'data':{'object':g['object'],'progress':{'operation':{'next_node_name':i['next_node_name'],'forward':i['forward']}},'submission':g['submission']},'env':{'account':f['env']?.['account'],'network':f['env']?.['network']},'_source_line':e['lineStart']});}catch{}}return d;}export function analyzeSchemaConsistency(a){return[];}export function analyzeThresholdIssues(a){const b=[];for(const {op:c,line_start:d}of a['machine_ops']){if(!c['data']['node']?.['nodes'])continue;const {nodes:e,pairs:f}=nodeDefsToMachine(c['data']['node']['nodes']),g=getMachineName(c),h=f['filter'](j=>j['prev_node']===''),i=h['length']>0x1;for(const j of f){if(j['prev_node']===''&&j['threshold']===0x0){const k=j['forwards']['length'],l=k===0x1||i;if(l)continue;b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':d,'machine_name':g,'category':'design','severity':'medium','title':'Entry\x20pair\x20with\x20threshold=0\x20and\x20multiple\x20Forwards\x20(potential\x20permission\x20bypass)','detail':'Pair\x20(prev=\x22\x22,\x20next=\x22'+j['next_node']+'\x22)\x20has\x20threshold=0\x20with\x20'+k+'\x20Forwards.\x20'+'With\x20threshold=0,\x20ANY\x20single\x20Forward\x20fires\x20→\x20migration,\x20potentially\x20bypassing\x20other\x20Forwards\x27\x20'+'permission\x20checks.\x20Set\x20threshold\x20≥\x201\x20so\x20ALL\x20intended\x20Forwards\x20must\x20agree.\x20'+'(Note:\x20single-Forward\x20Pairs\x20and\x20competing-OR\x20Pairs\x20with\x20threshold=0\x20are\x20NOT\x20flagged\x20—\x20they\x20are\x20legitimate.)','rule_id':'R-M3-09','fix':'Set\x20threshold=1\x20(or\x20higher)\x20on\x20entry\x20pair\x20targeting\x20\x22'+j['next_node']+'\x22\x20if\x20Forwards\x20represent\x20AND\x20semantics;\x20keep\x20threshold=0\x20if\x20OR\x20semantics\x20is\x20intended\x20(then\x20consider\x20splitting\x20into\x20competing\x20Pairs).'});}}for(const m of f){const n=m['forwards']['reduce']((o,p)=>o+p['weight'],0x0);m['threshold']>n&&b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':d,'machine_name':g,'category':'design','severity':'critical','title':'Threshold\x20exceeds\x20total\x20forward\x20weight\x20(unreachable)','detail':'Pair\x20(prev=\x22'+m['prev_node']+'\x22,\x20next=\x22'+m['next_node']+'\x22)\x20has\x20threshold='+m['threshold']+'\x20but\x20total\x20forward\x20weight='+n+'.\x20This\x20pair\x20can\x20NEVER\x20be\x20satisfied\x20—\x20workflow\x20dead-ends\x20here.','rule_id':'R-M2-06','fix':'Reduce\x20threshold\x20to\x20≤\x20'+n+'\x20or\x20add\x20more\x20forwards\x20with\x20weight.'});}}return b;}export function analyzeNetworkSafety(a){const b=[];for(const {op:c,line_start:d}of a['machine_ops']){const e=getMachineName(c),f=c['data']['publish']===!![],g=c['env']['network'];f&&g==='mainnet'&&b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':d,'machine_name':e,'category':'runtime','severity':'critical','title':'Direct\x20mainnet\x20publish\x20without\x20testnet\x20test','detail':'Machine\x20\x22'+e+'\x22\x20is\x20published\x20directly\x20to\x20mainnet.\x20Per\x20R-M4-02,\x20must\x20test\x20on\x20testnet\x20first.','rule_id':'R-M4-02','fix':'Set\x20env.network\x20to\x20\x22testnet\x22\x20for\x20first\x20publish,\x20run\x20end-to-end\x20test,\x20then\x20re-publish\x20on\x20mainnet.'});}return b;}export function analyzeConfirmationBypass(a){const b=[];for(const {op:c,line_start:d}of a['machine_ops']){const e=getMachineName(c),f=c['data']['publish']===!![],g=c['env']['confirmed']===!![];f&&g&&b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':d,'machine_name':e,'category':'runtime','severity':'medium','title':'confirmed=true\x20bypasses\x20user\x20confirmation\x20prompt','detail':'Machine\x20\x22'+e+'\x22\x20is\x20published\x20with\x20env.confirmed=true.\x20This\x20bypasses\x20the\x20ConfirmGate\x20user-confirmation\x20step.\x20Examples\x20should\x20demonstrate\x20the\x20two-step\x20confirmation\x20flow\x20(Phase\x201\x20prompt\x20→\x20Phase\x202\x20confirmed=true).','rule_id':'R-M4-04','fix':'Show\x20Phase\x201\x20(without\x20confirmed=true)\x20and\x20Phase\x202\x20(with\x20confirmed=true)\x20as\x20separate\x20steps\x20in\x20the\x20example.'});}return b;}export function analyzeGuardReferences(a){const b=[],c=a['defined_guard_names'];for(const {op:d,line_start:e}of a['machine_ops']){if(!d['data']['node']?.['nodes'])continue;const f=getMachineName(d),h=d['data']['publish']===!![];for(const i of d['data']['node']['nodes']){for(const j of i['pairs']){for(const k of j['forwards']){let l;if(typeof k['guard']==='string')l=k['guard'];else{if(k['guard']&&typeof k['guard']==='object'){const m=k['guard'];if(typeof m['guard']==='string')l=m['guard'];}}if(!l)continue;!c['has'](l)&&b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':e,'machine_name':f,'category':'runtime','severity':h?'critical':'high','title':'Guard\x20\x22'+l+'\x22\x20referenced\x20but\x20not\x20defined\x20in\x20example','detail':'Forward\x20\x22'+k['name']+'\x22\x20references\x20Guard\x20\x22'+l+'\x22\x20but\x20no\x20operation_type=\x22guard\x22\x20with\x20name=\x22'+l+'\x22\x20appears\x20earlier\x20in\x20'+a['relative_path']+'.\x20'+(h?'Publishing\x20will\x20fail\x20at\x20runtime.':'Will\x20fail\x20at\x20machine\x20creation.'),'rule_id':h?'R-M4-03':'R-M2-01','fix':'Add\x20a\x20guard\x20creation\x20step\x20(operation_type=\x22guard\x22)\x20with\x20name=\x22'+l+'\x22\x20BEFORE\x20the\x20machine\x20creation\x20step.'});}}}}return b;}export function analyzeCrossMachineDeps(a,b=new Map()){const c=[],d=[];for(const {op:f,line_start:g}of a['machine_ops']){if(!f['data']['node']?.['nodes'])continue;const {nodes:h,pairs:i}=nodeDefsToMachine(f['data']['node']['nodes']),j=getMachineName(f),k=identifyCrossMachineDependency(j,{'nodes':h,'pairs':i},b);d['push'](...k),k['length']>0x0&&c['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':g,'machine_name':j,'category':'cross_machine','severity':'info','title':'Machine\x20declares\x20'+k['length']+'\x20cross-Machine\x20dependencies','detail':k['map'](l=>'Forward\x20\x22'+l['dependency']['machine_a_forward']+'\x22\x20depends\x20on\x20Machine\x20\x22'+l['machine_b_id']+'\x22\x20reaching\x20node\x20\x22'+l['dependency']['machine_b_node']+'\x22')['join'](';\x20'),'rule_id':'P-M3'});}const e=detectCrossMachineCycle(d);for(const l of e){c['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':0x0,'machine_name':'(project-level)','category':'cross_machine','severity':'critical','title':'Cross-Machine\x20dependency\x20cycle\x20detected','detail':'Cycle:\x20'+l['join']('\x20→\x20'),'rule_id':'R-M2-07','fix':'Break\x20the\x20cycle\x20by\x20removing\x20one\x20of\x20the\x20dependencies\x20in\x20the\x20cycle.'});}return{'deps':d,'cycles':e,'findings':c};}export function analyzeRoundTrip(a){const b=[];for(const {op:c,line_start:d}of a['machine_ops']){if(!c['data']['node']?.['nodes'])continue;const {nodes:e,pairs:f}=nodeDefsToMachine(c['data']['node']['nodes']),g=getMachineName(c),h=analyzeTopology(e,f);h['has_cycles']&&b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':d,'machine_name':g,'category':'round_trip','severity':'critical','title':'Topology\x20analysis:\x20cycle\x20detected\x20(DAG\x20violation)','detail':'Machine\x20\x22'+g+'\x22\x20has\x20cycles:\x20'+JSON['stringify'](h['cycle_nodes']),'rule_id':'R-M1-03','fix':'Remove\x20cycles\x20—\x20Machine\x20must\x20be\x20a\x20DAG.'});const i={'network':c['env']['network']==='mainnet'?'mainnet':'testnet','testnet_test_passed':c['env']['network']!=='mainnet','published_services':new Set(),'published_guards':new Set(),'published_permissions':new Set(),'published_machines':new Set(),'published_arbitrations':new Set(),'published_rewards':new Set(),'published_allocators':new Set(),'published_repositories':new Set()};for(const p of f){for(const q of p['forwards']){if(q['guard'])i['published_guards']['add'](q['guard']);}}const j={'nodes':e,'pairs':f,'b_published':c['data']['publish']===!![]},k=assessMachineRisks(j,i),l=k['detected_risks']['filter'](s=>s['severity']==='critical');if(l['length']>0x0)for(const s of l){b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':d,'machine_name':g,'category':'round_trip','severity':'critical','title':'Risk\x20assessment:\x20'+s['rule_id']+'\x20('+s['severity']+')','detail':s['detail'],'rule_id':s['rule_id']});}const m={'nodes':e,'pairs':f,'name':g},n=runStaticChecklist(m),o=n['failed_items']['filter'](t=>['C-01','C-03','C-06','C-10']['includes'](t['id']));for(const t of o){b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':d,'machine_name':g,'category':'round_trip','severity':'high','title':'Checklist\x20'+t['id']+'\x20failed:\x20'+t['description'],'detail':t['detail']??'(no\x20detail)','rule_id':t['id']});}for(const u of e){const v=f['filter'](y=>y['prev_node']===u['name']),w={'name':u['name'],'pairs':v,'all_pairs':f},x=explainNode(w);(!x['name']||x['pairs']['length']!==v['length'])&&b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':d,'machine_name':g,'category':'round_trip','severity':'medium','title':'Round-trip\x20mismatch\x20for\x20node\x20\x22'+u['name']+'\x22','detail':'explainNode\x20produced\x20inconsistent\x20output:\x20name=\x22'+x['name']+'\x22,\x20pairs_count='+x['pairs']['length']+'\x20(expected\x20'+v['length']+')','rule_id':'RT-001'});}}return b;}export function analyzeProgressOps(a){const b=[],c=new Set();let d='(none)';for(const {op:e}of a['machine_ops']){if(!e['data']['node']?.['nodes'])continue;d=getMachineName(e);const {pairs:f}=nodeDefsToMachine(e['data']['node']['nodes']);for(const g of f){c['add'](g['next_node']+'::'+g['forwards']['map'](h=>h['name'])['join']('|'));for(const h of g['forwards']){c['add'](g['next_node']+'::'+h['name']);}}}for(const i of a['progress_ops']){const j=i['data']['progress']?.['operation'];if(!j)continue;const k=j['next_node_name']+'::'+j['forward'],l=c['has'](k);if(!l){const m=[...c]['some'](n=>n['endsWith']('::'+j['forward']));!m?b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':i['_source_line']??0x0,'machine_name':d,'category':'progress','severity':'high','title':'Progress\x20references\x20unknown\x20forward\x20\x22'+j['forward']+'\x22','detail':'Progress\x20op\x20references\x20forward\x20\x22'+j['forward']+'\x22\x20but\x20no\x20such\x20forward\x20exists\x20in\x20machine\x20\x22'+d+'\x22.','rule_id':'R-M3-04','fix':'Verify\x20forward\x20name\x20matches\x20one\x20defined\x20in\x20the\x20Machine.'}):b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':i['_source_line']??0x0,'machine_name':d,'category':'progress','severity':'medium','title':'Progress\x20forward\x20\x22'+j['forward']+'\x22\x20doesn\x27t\x20lead\x20to\x20\x22'+j['next_node_name']+'\x22','detail':'Forward\x20\x22'+j['forward']+'\x22\x20exists\x20but\x20doesn\x27t\x20target\x20node\x20\x22'+j['next_node_name']+'\x22.','rule_id':'R-M3-05','fix':'Correct\x20next_node_name\x20to\x20match\x20the\x20forward\x27s\x20target.'});}}return b;}export function analyzePublishStep(a){const b=[],c=a['machine_ops']['some'](({op:e})=>e['data']['publish']===!![]),d=a['progress_ops']['length']>0x0;return d&&!c&&b['push']({'example':a['example_name'],'source_file':a['relative_path'],'line':0x0,'machine_name':'(file-level)','category':'runtime','severity':'high','title':'Progress\x20operations\x20present\x20but\x20no\x20`publish:\x20true`\x20step','detail':'Example\x20has\x20'+a['progress_ops']['length']+'\x20progress\x20operations\x20but\x20no\x20machine\x20operation\x20with\x20publish=true.\x20Progress::new\x20will\x20fail\x20at\x20runtime\x20(machine\x20not\x20published).','rule_id':'R-M4-01','fix':'Add\x20a\x20publish\x20step\x20(or\x20set\x20data.publish=true\x20on\x20the\x20machine\x20creation\x20operation).'}),b;}export function analyzeRiskRuleCoverage(a){const b=new Map();let c=0x0;const d=[...analyzeSchemaConsistency(a),...analyzeThresholdIssues(a),...analyzeNetworkSafety(a),...analyzeConfirmationBypass(a),...analyzeGuardReferences(a),...analyzeRoundTrip(a),...analyzeProgressOps(a),...analyzePublishStep(a)];for(const e of d){e['rule_id']&&(b['set'](e['rule_id'],(b['get'](e['rule_id'])??0x0)+0x1),c++);}return{'ruleCounts':b,'totalFindings':c};}export function scanAllExamples(a=EXAMPLES_DIR){const b=loadAllExamples(a),c=new Map(),d=new Map(),e=new Map(),g=new Map();let h=0x0;for(const i of b){const j=[];j['push'](...analyzeSchemaConsistency(i)),j['push'](...analyzeThresholdIssues(i)),j['push'](...analyzeNetworkSafety(i)),j['push'](...analyzeConfirmationBypass(i)),j['push'](...analyzeGuardReferences(i));const k=analyzeCrossMachineDeps(i);j['push'](...k['findings']),j['push'](...analyzeRoundTrip(i)),j['push'](...analyzeProgressOps(i)),j['push'](...analyzePublishStep(i)),c['set'](i['relative_path'],j);for(const l of j){const m=d['get'](l['category'])??[];m['push'](l),d['set'](l['category'],m);const n=e['get'](l['severity'])??[];n['push'](l),e['set'](l['severity'],n),l['rule_id']&&g['set'](l['rule_id'],(g['get'](l['rule_id'])??0x0)+0x1),h++;}}return{'examples':b,'findings_by_example':c,'findings_by_category':d,'findings_by_severity':e,'total_findings':h,'risk_rule_coverage':g};}export function formatScanReport(a){const b=[];b['push']('#\x20Examples\x20Scan\x20Report\x20—\x20d:\x5cwowok\x5cdocs\x5cexamples'),b['push'](''),b['push']('>\x20Auto-generated\x20by\x20`examples-scanner.ts`\x20—\x20comprehensive\x20scan\x20of\x20all'),b['push']('>\x20machine/progress\x20JSON\x20in\x205\x20example\x20directories\x20for\x20design\x20and\x20runtime\x20problems.'),b['push'](''),b['push']('##\x20Summary'),b['push'](''),b['push']('-\x20**Examples\x20scanned**:\x20'+a['examples']['length']),b['push']('-\x20**Total\x20findings**:\x20'+a['total_findings']),b['push'](''),b['push']('###\x20Findings\x20by\x20Severity'),b['push'](''),b['push']('|\x20Severity\x20|\x20Count\x20|'),b['push']('|----------|-------|');const c=['critical','high','medium','low','info'];for(const j of c){const k=a['findings_by_severity']['get'](j)?.['length']??0x0;b['push']('|\x20'+j+'\x20|\x20'+k+'\x20|');}b['push'](''),b['push']('###\x20Findings\x20by\x20Category'),b['push'](''),b['push']('|\x20Category\x20|\x20Count\x20|'),b['push']('|----------|-------|');const d=['schema_consistency','design','runtime','cross_machine','round_trip','progress','risk_rule'];for(const l of d){const m=a['findings_by_category']['get'](l)?.['length']??0x0;b['push']('|\x20'+l+'\x20|\x20'+m+'\x20|');}b['push'](''),b['push']('###\x20Risk\x20Rule\x20Coverage\x20(which\x20rules\x20fired\x20across\x20examples)'),b['push'](''),b['push']('|\x20Rule\x20ID\x20|\x20Total\x20Hits\x20|'),b['push']('|---------|-----------|');const e=[...a['risk_rule_coverage']['entries']()]['sort']((n,o)=>n[0x0]['localeCompare'](o[0x0]));for(const [n,o]of e){b['push']('|\x20'+n+'\x20|\x20'+o+'\x20|');}b['push'](''),b['push']('##\x20Per-Example\x20Findings'),b['push']('');for(const p of a['examples']){const q=a['findings_by_example']['get'](p['relative_path'])??[];b['push']('###\x20'+p['example_name']+'\x20—\x20`'+p['relative_path']+'`'),b['push'](''),b['push']('-\x20**Source**:\x20`'+p['relative_path']+'`'),b['push']('-\x20**Machine\x20operations**:\x20'+p['machine_ops']['length']),b['push']('-\x20**Progress\x20operations**:\x20'+p['progress_ops']['length']),b['push']('-\x20**Defined\x20guards**:\x20'+p['defined_guard_names']['size']);p['business_description']&&b['push']('-\x20**Business\x20description**:\x20'+p['business_description']);b['push']('-\x20**Findings**:\x20'+q['length']),b['push']('');if(q['length']===0x0){b['push']('✅\x20No\x20issues\x20detected.'),b['push']('');continue;}const r=new Map();for(const s of q){const t=r['get'](s['severity'])??[];t['push'](s),r['set'](s['severity'],t);}for(const u of c){const v=r['get'](u)??[];if(v['length']===0x0)continue;b['push']('####\x20'+u['toUpperCase']()+'\x20('+v['length']+')'),b['push']('');for(const w of v){b['push']('-\x20**['+(w['rule_id']??'--')+']\x20'+w['title']+'**\x20(line\x20'+w['line']+')'),b['push']('\x20\x20-\x20'+w['detail']),w['fix']&&b['push']('\x20\x20-\x20**Fix**:\x20'+w['fix']),b['push']('');}}}b['push']('##\x20Cross-Cutting\x20Patterns'),b['push']('');const g=a['findings_by_category']['get']('schema_consistency')??[];g['length']===0x0&&(b['push']('###\x20Schema\x20Consistency\x20—\x20No\x20Issues\x20(camelCase\x20is\x20canonical)'),b['push'](''),b['push']('The\x20previous\x20SCHEMA-001/002/003/004\x20rules\x20have\x20been\x20REMOVED\x20(2026-07-19).'),b['push'](''),b['push']('**Reason**:\x20Verification\x20against\x20MCP\x20schema\x20(`d:\x5cwowok\x5cagent\x5cmcp\x5csrc`)\x20confirmed\x20that:'),b['push']('-\x20`MachineForwardSchema`\x20accepts\x20`namedOperator`,\x20`permissionIndex`\x20(camelCase)'),b['push']('-\x20`MachineForwardGuardSchema`\x20is\x20an\x20OBJECT\x20`{\x20guard:\x20string,\x20retained_submission?:\x20number[]\x20}`\x20(NOT\x20a\x20flat\x20string)'),b['push']('-\x20`NamedObjectSchema`\x20accepts\x20`replaceExistName`,\x20`onChain`\x20(camelCase)'),b['push'](''),b['push']('Source\x20examples\x20using\x20camelCase\x20are\x20therefore\x20CORRECT\x20per\x20MCP\x20schema\x20—\x20the\x20previous\x20rules\x20were\x20false\x20positives.'),b['push'](''));const h=(a['findings_by_category']['get']('design')??[])['filter'](x=>x['rule_id']==='R-M3-09');if(h['length']>0x0){b['push']('###\x20Threshold=0\x20on\x20Multi-Forward\x20Entry\x20Pairs\x20(R-M3-09)'),b['push'](''),b['push']('Found\x20'+h['length']+'\x20multi-Forward\x20entry\x20pairs\x20with\x20threshold=0\x20across\x20examples.'),b['push'](''),b['push']('**Detection\x20logic**\x20(refined\x202026-07-19):'),b['push']('-\x20Single-Forward\x20Pair\x20with\x20threshold=0\x20→\x20**NOT\x20flagged**\x20(legitimate:\x20single\x20execution\x20triggers\x20migration\x20regardless\x20of\x20threshold)'),b['push']('-\x20Competing-OR\x20Pairs\x20(multiple\x20Pairs\x20share\x20prev_node=\x22\x22)\x20with\x20threshold=0\x20→\x20**NOT\x20flagged**\x20(legitimate\x20OR\x20semantics)'),b['push']('-\x20Multi-Forward\x20Pair\x20with\x20threshold=0\x20AND\x20no\x20competing\x20siblings\x20→\x20**FLAGGED**\x20(potential\x20permission\x20bypass:\x20any\x20single\x20Forward\x20fires\x20→\x20migration)'),b['push']('');const x=[...new Set(h['map'](y=>y['source_file']))];b['push']('**Affected\x20source\x20files**:\x20'+x['map'](y=>'`'+y+'`')['join'](',\x20')+'.'),b['push'](''),b['push']('**Fix**:\x20Set\x20threshold=1\x20(or\x20higher)\x20if\x20Forwards\x20represent\x20AND\x20semantics;\x20keep\x20threshold=0\x20only\x20if\x20OR\x20semantics\x20is\x20intended\x20(then\x20consider\x20splitting\x20into\x20competing\x20Pairs).'),b['push']('');}else b['push']('###\x20Threshold=0\x20on\x20Entry\x20Pairs\x20—\x20No\x20Issues'),b['push'](''),b['push']('All\x20entry\x20pairs\x20with\x20threshold=0\x20fall\x20into\x20legitimate\x20categories\x20(single-Forward\x20or\x20competing-OR).'),b['push']('');const i=(a['findings_by_category']['get']('runtime')??[])['filter'](y=>y['rule_id']==='R-M4-02');return i['length']>0x0&&(b['push']('###\x20Direct\x20Mainnet\x20Publish\x20(R-M4-02)'),b['push'](''),b['push']('Found\x20'+i['length']+'\x20examples\x20publishing\x20directly\x20to\x20mainnet\x20without\x20testnet\x20test.'),b['push'](''),b['push']('**Affected\x20examples**:\x20MyShop,\x20MyShop_Advanced.'),b['push'](''),b['push']('**Fix**:\x20Add\x20a\x20testnet\x20publish\x20step\x20before\x20mainnet,\x20or\x20change\x20the\x20network\x20to\x20testnet\x20for\x20examples.'),b['push']('')),b['push']('##\x20Recommendations\x20for\x20Linter\x20&\x20Cognition\x20Closure'),b['push'](''),b['push']('Based\x20on\x20the\x20findings,\x20the\x20following\x20linter\x20rules\x20and\x20cognition\x20improvements\x20are\x20recommended:'),b['push'](''),b['push']('1.\x20**REMOVED\x20SCHEMA-001/002/003/004**\x20(2026-07-19):\x20These\x20rules\x20incorrectly\x20assumed\x20SDK\x20snake_case\x20as\x20the\x20standard.\x20MCP\x20schema\x20actually\x20accepts\x20camelCase\x20(`namedOperator`,\x20`permissionIndex`,\x20`replaceExistName`)\x20and\x20nested\x20Guard\x20object\x20form.\x20Examples\x20are\x20correct\x20as-is.'),b['push']('2.\x20**REFACTORED\x20R-M3-02\x20→\x20R-M3-09**\x20(2026-07-19,\x20then\x202026-07-20):\x20Original\x20R-M3-02\x20(threshold=0)\x20conflicted\x20with\x20machine-risk.ts\x27s\x20R-M3-02\x20(permissionIndex\x20out\x20of\x20bounds).\x20Initially\x20renamed\x20to\x20R-M3-06,\x20but\x20that\x20also\x20collided\x20with\x20machine-risk.ts\x27s\x20R-M3-06\x20(Permission\x20game\x20imbalance).\x20Final\x20rename:\x20R-M3-09.\x20Logic\x20also\x20refined:\x20single-Forward\x20and\x20competing-OR\x20threshold=0\x20cases\x20are\x20now\x20exempt.'),b['push']('3.\x20**Reinforce\x20R-M4-03**:\x20Guard\x20must\x20be\x20created\x20before\x20Machine\x20publish.\x20Examples\x20should\x20include\x20guard\x20creation\x20step\x20(operation_type=\x22guard\x22)\x20with\x20matching\x20name\x20before\x20machine\x20creation.'),b['push']('4.\x20**Add\x20lint\x20rule**\x20for\x20`confirmed:\x20true`\x20+\x20`publish:\x20true`\x20combination\x20without\x20showing\x20the\x20Phase\x201\x20confirmation\x20prompt\x20first.'),b['push']('5.\x20**IMPLEMENTED**:\x20R-M3-08\x20(permissionIndex\x20<\x201000)\x20rule\x20added\x20to\x20machine-risk.ts,\x20and\x20C-11\x20checklist\x20item\x20added\x20to\x20machine-confirm.ts\x20(2026-07-20).\x20Both\x20enforce\x20the\x20on-chain\x20USER_DEFINED_PERM_INDEX_START\x20=\x201000\x20hard\x20constraint\x20(see\x20doc\x2006\x20§4.4).'),b['push'](''),b['push']('---'),b['push'](''),b['push']('*End\x20of\x20report.*'),b['join']('\x0a');}export const EXAMPLES_SCANNER_VERSION='1.0.0';

package/dist/knowledge/glossary.js

@@ -1 +1 @@
-import{USER_DEFINED_PERM_INDEX_START}from'./onchain-constants.js';export const CONCEPT_GLOSSARY=[{'term':'Permission','definition':'Organization-wide\x20permission\x20object.\x20indices\x200-'+(USER_DEFINED_PERM_INDEX_START-0x1)+'\x20builtin,\x20'+(USER_DEFINED_PERM_INDEX_START+'-65535\x20custom.\x20')+'Shared\x20across\x20all\x20Progress\x20instances\x20of\x20a\x20Service.\x20Use\x20for\x20internal\x20staff\x20roles.','aliases':['permission\x20object'],'category':'permission'},{'term':'NamedOperator','definition':'Per-order\x20role\x20assignment\x20inside\x20a\x20Progress.\x20Each\x20Progress\x20node\x20can\x20map\x20a\x20role\x20'+'string\x20to\x20an\x20address.\x20Use\x20for\x20external\x20collaborators\x20whose\x20identity\x20varies\x20per\x20order.','aliases':['named\x20operator','namedoperator'],'category':'permission'},{'term':'OrderHolder','definition':'The\x20order\x20holder\x20and\x20their\x20agents.\x20Represented\x20by\x20namedOperator=\x22\x22\x20(empty\x20string)\x20'+'on\x20a\x20Forward.\x20Lets\x20the\x20customer\x20operate\x20their\x20own\x20order.','aliases':['order\x20owner','orderholder','order\x20holder'],'category':'permission'},{'term':'Forward','definition':'A\x20state-transition\x20edge\x20in\x20a\x20Machine.\x20Carries\x20weight,\x20a\x20permission\x20'+'(Permission\x20index\x20/\x20NamedOperator\x20/\x20OrderHolder),\x20and\x20an\x20optional\x20Guard.\x20'+'Every\x20Forward\x20MUST\x20define\x20at\x20least\x20one\x20permission.','aliases':['transition'],'category':'operation'},{'term':'Pair','definition':'A\x20prev_node\x20→\x20next_node\x20transition\x20group\x20in\x20a\x20Machine\x20with\x20a\x20threshold.\x20'+'When\x20the\x20cumulative\x20weight\x20of\x20executed\x20Forwards\x20meets\x20the\x20threshold,\x20the\x20Pair\x20fires.','aliases':['transition\x20pair'],'category':'operation'},{'term':'Machine','definition':'Workflow\x20blueprint\x20(directed\x20graph).\x20Becomes\x20immutable\x20after\x20publish.\x20'+'A\x20Progress\x20instance\x20is\x20created\x20per\x20order\x20from\x20the\x20Machine.','aliases':['machine\x20template'],'category':'object'},{'term':'Progress','definition':'A\x20workflow\x20instance\x20bound\x20to\x20one\x20order.\x20Advances\x20via\x20Forwards;\x20'+'carries\x20retained_submission\x20values\x20for\x20Guard\x20verification.','aliases':['progress\x20instance'],'category':'object'},{'term':'Guard','definition':'Immutable\x20static\x20validation\x20rule.\x20Verifies\x20submissions\x20and\x20on-chain\x20object\x20data.\x20'+'Returns\x20boolean.\x20Cannot\x20be\x20mutated\x20after\x20creation.','aliases':['guard\x20object'],'category':'acceptance'},{'term':'Repository','definition':'Mutable\x20dynamic\x20acceptance\x20store.\x20Keyed\x20by\x20(name,\x20entity).\x20'+'Used\x20for\x20data\x20that\x20can\x20change\x20over\x20time\x20(e.g.\x20SLA\x20config,\x20review\x20records).','aliases':['repository\x20object'],'category':'acceptance'},{'term':'Acceptance','definition':'The\x20verification\x20standard\x20for\x20a\x20process\x20step.\x20Composed\x20of\x20static\x20Guard\x20+\x20'+'dynamic\x20Repository.\x20Drives\x20whether\x20a\x20Forward\x20can\x20execute.','aliases':['acceptance\x20standard'],'category':'acceptance'},{'term':'Service','definition':'A\x20merchant\x27s\x20service\x20listing.\x20References\x20Machine,\x20order_allocators,\x20arbitrations,\x20'+'compensation_fund,\x20rewards,\x20buy_guard.\x20machine\x20&\x20order_allocators\x20lock\x20after\x20publish.','aliases':['service\x20object'],'category':'object'},{'term':'Order','definition':'An\x20order\x20against\x20a\x20Service.\x20Funds\x20are\x20escrowed;\x20released\x20via\x20Progress\x20+\x20Allocation.\x20'+'Arb\x20cases\x20attach\x20to\x20orders\x20for\x20dispute\x20resolution.','aliases':['order\x20instance'],'category':'object'},{'term':'Allocator','definition':'Fund\x20distribution\x20rules.\x20Priority:\x20Amount\x20→\x20Rate\x20→\x20Surplus.\x20first-Guard-wins.\x20'+'Locked\x20on\x20Service\x20publish\x20(order_allocators).','aliases':['allocation'],'category':'fund'},{'term':'Allocation','definition':'The\x20act\x20of\x20distributing\x20escrowed\x20funds\x20to\x20recipients\x20per\x20an\x20Allocator.\x20'+'Executed\x20by\x20the\x20order\x20holder\x20or\x20Permission\x20holder.','aliases':['allocation\x20act'],'category':'fund'},{'term':'Arbitration','definition':'Independent\x20arbitration\x20service\x20object.\x20Configured\x20with\x20voting_guard,\x20usage_guard,\x20'+'fee.\x20Generates\x20Arb\x20cases\x20per\x20dispute.\x20Third-party\x20preferred\x20over\x20self-built.','aliases':['arb\x20service'],'category':'object'},{'term':'Arb','definition':'A\x20single\x20dispute\x20case\x20instance\x20of\x20an\x20Arbitration.\x20Has\x20a\x20state\x20machine\x20'+'(dispute\x20→\x20confirm\x20→\x20vote\x20→\x20verdict\x20→\x20settle).','aliases':['arb\x20case'],'category':'object'},{'term':'compensation_fund','definition':'A\x20fund\x20attached\x20to\x20a\x20Service.\x20Arbitration\x20indemnity\x20is\x20drawn\x20from\x20it.\x20'+'Adequacy\x20is\x20a\x20key\x20trust\x20signal\x20for\x20customers.','aliases':['compensation\x20fund'],'category':'fund'},{'term':'buy_guard','definition':'A\x20Guard\x20attached\x20to\x20a\x20Service\x20that\x20gates\x20purchasing.\x20Validates\x20customer\x20eligibility.','aliases':['buy\x20guard'],'category':'acceptance'},{'term':'Sub-Order','definition':'A\x20child\x20order\x20in\x20a\x20cross-Machine\x20supply\x20chain.\x20Introduced\x20at\x20a\x20node\x20with\x20transparent\x20'+'suppliers;\x20verified\x20by\x20Guard\x20to\x20originate\x20from\x20one\x20of\x20the\x20declared\x20suppliers.','aliases':['suborder','sub\x20order'],'category':'object'},{'term':'Reward','definition':'Incentive\x20pool.\x20claim\x20is\x20Guard-gated.\x20guard_add\x20supports\x20Fixed\x20or\x20GuardU64Identifier\x20'+'(dynamic).\x20Used\x20for\x20marketing\x20(first-order,\x20cumulative,\x20referral).','aliases':['reward\x20pool'],'category':'fund'},{'term':'Demand','definition':'A\x20user\x27s\x20posted\x20service\x20request\x20with\x20optional\x20reward.\x20presenters\x20submit\x20proposals;\x20'+'Guard\x20filters\x20them.\x20Matches\x20Services\x20for\x20personalized\x20acquisition.','aliases':['demand\x20request'],'category':'object'},{'term':'Personal','definition':'Permanently\x20public\x20on-chain\x20identity\x20profile.\x20Social\x20links,\x20reputation\x20(likes/dislikes),\x20'+'personal\x20info\x20records.\x20CRITICAL:\x20everything\x20here\x20is\x20PUBLIC\x20forever.','aliases':['personal\x20profile'],'category':'object'},{'term':'Contact','definition':'Bridges\x20a\x20Service\x27s\x20um\x20(contact)\x20and\x20the\x20Messenger\x20ims\x20(messaging).\x20Enables\x20'+'off-chain\x20encrypted\x20communication\x20for\x20pre-order\x20negotiation\x20&\x20evidence.','aliases':['contact\x20bridge'],'category':'object'}];const ALIAS_INDEX=((()=>{const b=new Map();for(const c of CONCEPT_GLOSSARY){b['set'](c['term']['toLowerCase'](),c['term']);for(const d of c['aliases'])b['set'](d['toLowerCase'](),c['term']);}return b;})());export function resolveTerm(a){if(!a)return a;return ALIAS_INDEX['get'](a['toLowerCase']())??a;}export function lookupEntry(a){const b=a['toLowerCase']();return CONCEPT_GLOSSARY['find'](c=>c['term']['toLowerCase']()===b||c['aliases']['some'](d=>d['toLowerCase']()===b));}export function validateText(b){const c=[];if(!b)return c;const d=b['toLowerCase']();for(const e of CONCEPT_GLOSSARY){for(const f of e['aliases']){const g=f['toLowerCase']();if(e['term']['toLowerCase']()===g)continue;d['includes'](g)&&c['push']({'alias':f,'canonical':e['term']});}}return c;}export function auditSchemaFields(a){const b=[];for(const c of Object['keys'](a)){const d=ALIAS_INDEX['get'](c['toLowerCase']());d&&d!==c&&b['push']({'alias':c,'canonical':d});}return b;}export const CONCEPT_GLOSSARY_VERSION=0x1;
+import{USER_DEFINED_PERM_INDEX_START}from'./onchain-constants.js';export const CONCEPT_GLOSSARY=[{'term':'Permission','definition':'Organization-wide\x20permission\x20object.\x20indices\x200-'+(USER_DEFINED_PERM_INDEX_START-0x1)+'\x20builtin,\x20'+(USER_DEFINED_PERM_INDEX_START+'-65535\x20custom.\x20')+'Shared\x20across\x20all\x20Progress\x20instances\x20of\x20a\x20Service.\x20Use\x20for\x20internal\x20staff\x20roles.','aliases':['permission\x20object'],'category':'permission'},{'term':'NamedOperator','definition':'Per-order\x20role\x20assignment\x20inside\x20a\x20Progress.\x20Each\x20Progress\x20node\x20can\x20map\x20a\x20role\x20'+'string\x20to\x20an\x20address.\x20Use\x20for\x20external\x20collaborators\x20whose\x20identity\x20varies\x20per\x20order.','aliases':['named\x20operator','namedoperator'],'category':'permission'},{'term':'OrderHolder','definition':'The\x20order\x20holder\x20and\x20their\x20agents.\x20Represented\x20by\x20namedOperator=\x22\x22\x20(empty\x20string)\x20'+'on\x20a\x20Forward.\x20Lets\x20the\x20customer\x20operate\x20their\x20own\x20order.','aliases':['order\x20owner','orderholder','order\x20holder'],'category':'permission'},{'term':'Forward','definition':'A\x20state-transition\x20edge\x20in\x20a\x20Machine.\x20Carries\x20weight,\x20a\x20permission\x20'+'(Permission\x20index\x20/\x20NamedOperator\x20/\x20OrderHolder),\x20and\x20an\x20optional\x20Guard.\x20'+'Every\x20Forward\x20MUST\x20define\x20at\x20least\x20one\x20permission.','aliases':['transition'],'category':'operation'},{'term':'Forward\x20lock\x20(single-operator)','definition':'A\x20forward\x20can\x20only\x20be\x20accomplished\x20by\x20ONE\x20operator\x20—\x20the\x20first\x20account\x20that\x20'+'executes\x20it.\x20progress.move\x20session_accomplish_imp\x20locks\x20the\x20forward\x20to\x20that\x20'+'operator:\x20a\x20different\x20account\x20re-executing\x20the\x20same\x20accomplished\x20forward\x20aborts\x20'+'E_NOT_THE_HOLDER,\x20and\x20the\x20forward\x27s\x20weight\x20is\x20counted\x20only\x20ONCE\x20per\x20session.\x20'+'Consequence:\x20multi-operator\x20cooperation\x20(Pair\x20threshold\x20>\x201)\x20requires\x20that\x20many\x20'+'DISTINCT\x20forwards\x20in\x20the\x20same\x20Pair\x20—\x20one\x20per\x20contributing\x20operator\x20(e.g.\x20'+'threshold\x202\x20→\x20begin_a\x20+\x20begin_b,\x20each\x20weight\x201)\x20—\x20never\x20a\x20single\x20forward\x20reused\x20'+'by\x20several\x20people.','aliases':['forward\x20lock','single\x20operator\x20forward','single-operator-locked\x20forward'],'category':'operation'},{'term':'Pair','definition':'A\x20prev_node\x20→\x20next_node\x20transition\x20group\x20in\x20a\x20Machine\x20with\x20a\x20threshold.\x20'+'When\x20the\x20cumulative\x20weight\x20of\x20executed\x20Forwards\x20meets\x20the\x20threshold,\x20the\x20Pair\x20fires.','aliases':['transition\x20pair'],'category':'operation'},{'term':'Machine','definition':'Workflow\x20blueprint\x20(directed\x20graph).\x20Becomes\x20immutable\x20after\x20publish.\x20'+'A\x20Progress\x20instance\x20is\x20created\x20per\x20order\x20from\x20the\x20Machine.','aliases':['machine\x20template'],'category':'object'},{'term':'Progress','definition':'A\x20workflow\x20instance\x20bound\x20to\x20one\x20order.\x20Advances\x20via\x20Forwards;\x20'+'carries\x20retained_submission\x20values\x20for\x20Guard\x20verification.','aliases':['progress\x20instance'],'category':'object'},{'term':'Guard','definition':'Immutable\x20static\x20validation\x20rule.\x20Verifies\x20submissions\x20and\x20on-chain\x20object\x20data.\x20'+'Returns\x20boolean.\x20Cannot\x20be\x20mutated\x20after\x20creation.','aliases':['guard\x20object'],'category':'acceptance'},{'term':'Repository','definition':'Mutable\x20dynamic\x20acceptance\x20store.\x20Keyed\x20by\x20(name,\x20entity).\x20'+'Used\x20for\x20data\x20that\x20can\x20change\x20over\x20time\x20(e.g.\x20SLA\x20config,\x20review\x20records).','aliases':['repository\x20object'],'category':'acceptance'},{'term':'Acceptance','definition':'The\x20verification\x20standard\x20for\x20a\x20process\x20step.\x20Composed\x20of\x20static\x20Guard\x20+\x20'+'dynamic\x20Repository.\x20Drives\x20whether\x20a\x20Forward\x20can\x20execute.','aliases':['acceptance\x20standard'],'category':'acceptance'},{'term':'Service','definition':'A\x20merchant\x27s\x20service\x20listing.\x20References\x20Machine,\x20order_allocators,\x20arbitrations,\x20'+'compensation_fund,\x20rewards,\x20buy_guard.\x20machine\x20&\x20order_allocators\x20lock\x20after\x20publish.','aliases':['service\x20object'],'category':'object'},{'term':'Order','definition':'An\x20order\x20against\x20a\x20Service.\x20Funds\x20are\x20escrowed;\x20released\x20via\x20Progress\x20+\x20Allocation.\x20'+'Arb\x20cases\x20attach\x20to\x20orders\x20for\x20dispute\x20resolution.','aliases':['order\x20instance'],'category':'object'},{'term':'EntityOrder','definition':'Global\x20reverse\x20index\x20(system\x20object\x200xaa8,\x20wow::entity_order)\x20mapping\x20an\x20entity\x20address\x20'+'to\x20every\x20order\x20it\x20participates\x20in,\x20with\x20a\x20u8\x20role\x20bitmask\x20(0x01=owner,\x200x02=agent)\x20and\x20'+'the\x20last\x20role-update\x20time.\x20Maintained\x20synchronously\x20by\x20order.move\x20(new\x20/\x20owner_change\x20/\x20'+'agent_set).\x20Query\x20it\x20via\x20onchain_orders_of_user\x20(resolved\x20full\x20orders)\x20or\x20'+'onchain_table_item_entity_order\x20(raw\x20index).','aliases':['entity\x20order','entity->orders\x20index','orders\x20of\x20user'],'category':'object'},{'term':'Allocator','definition':'Fund\x20distribution\x20rules.\x20Priority:\x20Amount\x20→\x20Rate\x20→\x20Surplus.\x20first-Guard-wins.\x20'+'Locked\x20on\x20Service\x20publish\x20(order_allocators).','aliases':['allocation'],'category':'fund'},{'term':'Allocation','definition':'The\x20act\x20of\x20distributing\x20escrowed\x20funds\x20to\x20recipients\x20per\x20an\x20Allocator.\x20'+'Executed\x20by\x20the\x20order\x20holder\x20or\x20Permission\x20holder.','aliases':['allocation\x20act'],'category':'fund'},{'term':'Arbitration','definition':'Independent\x20arbitration\x20service\x20object.\x20Configured\x20with\x20voting_guard,\x20usage_guard,\x20'+'fee.\x20Generates\x20Arb\x20cases\x20per\x20dispute.\x20Third-party\x20preferred\x20over\x20self-built.','aliases':['arb\x20service'],'category':'object'},{'term':'Arb','definition':'A\x20single\x20dispute\x20case\x20instance\x20of\x20an\x20Arbitration.\x20Has\x20a\x20state\x20machine\x20'+'(dispute\x20→\x20confirm\x20→\x20vote\x20→\x20verdict\x20→\x20settle).','aliases':['arb\x20case'],'category':'object'},{'term':'compensation_fund','definition':'A\x20fund\x20attached\x20to\x20a\x20Service.\x20Arbitration\x20indemnity\x20is\x20drawn\x20from\x20it.\x20'+'Adequacy\x20is\x20a\x20key\x20trust\x20signal\x20for\x20customers.','aliases':['compensation\x20fund'],'category':'fund'},{'term':'buy_guard','definition':'A\x20Guard\x20attached\x20to\x20a\x20Service\x20that\x20gates\x20purchasing.\x20Validates\x20customer\x20eligibility.','aliases':['buy\x20guard'],'category':'acceptance'},{'term':'Sub-Order','definition':'A\x20child\x20order\x20in\x20a\x20cross-Machine\x20supply\x20chain.\x20Introduced\x20at\x20a\x20node\x20with\x20transparent\x20'+'suppliers;\x20verified\x20by\x20Guard\x20to\x20originate\x20from\x20one\x20of\x20the\x20declared\x20suppliers.','aliases':['suborder','sub\x20order'],'category':'object'},{'term':'Reward','definition':'Incentive\x20pool.\x20claim\x20is\x20Guard-gated.\x20guard_add\x20supports\x20Fixed\x20or\x20GuardU64Identifier\x20'+'(dynamic).\x20Used\x20for\x20marketing\x20(first-order,\x20cumulative,\x20referral).','aliases':['reward\x20pool'],'category':'fund'},{'term':'Demand','definition':'A\x20user\x27s\x20posted\x20service\x20request\x20with\x20optional\x20reward.\x20presenters\x20submit\x20proposals;\x20'+'Guard\x20filters\x20them.\x20Matches\x20Services\x20for\x20personalized\x20acquisition.','aliases':['demand\x20request'],'category':'object'},{'term':'Personal','definition':'Permanently\x20public\x20on-chain\x20identity\x20profile.\x20Social\x20links,\x20reputation\x20(likes/dislikes),\x20'+'personal\x20info\x20records.\x20CRITICAL:\x20everything\x20here\x20is\x20PUBLIC\x20forever.','aliases':['personal\x20profile'],'category':'object'},{'term':'Contact','definition':'Bridges\x20a\x20Service\x27s\x20um\x20(contact)\x20and\x20the\x20Messenger\x20ims\x20(messaging).\x20Enables\x20'+'off-chain\x20encrypted\x20communication\x20for\x20pre-order\x20negotiation\x20&\x20evidence.','aliases':['contact\x20bridge'],'category':'object'}];const ALIAS_INDEX=((()=>{const b=new Map();for(const c of CONCEPT_GLOSSARY){b['set'](c['term']['toLowerCase'](),c['term']);for(const d of c['aliases'])b['set'](d['toLowerCase'](),c['term']);}return b;})());export function resolveTerm(a){if(!a)return a;return ALIAS_INDEX['get'](a['toLowerCase']())??a;}export function lookupEntry(a){const b=a['toLowerCase']();return CONCEPT_GLOSSARY['find'](c=>c['term']['toLowerCase']()===b||c['aliases']['some'](d=>d['toLowerCase']()===b));}export function validateText(b){const c=[];if(!b)return c;const d=b['toLowerCase']();for(const e of CONCEPT_GLOSSARY){for(const f of e['aliases']){const g=f['toLowerCase']();if(e['term']['toLowerCase']()===g)continue;d['includes'](g)&&c['push']({'alias':f,'canonical':e['term']});}}return c;}export function auditSchemaFields(a){const b=[];for(const c of Object['keys'](a)){const d=ALIAS_INDEX['get'](c['toLowerCase']());d&&d!==c&&b['push']({'alias':c,'canonical':d});}return b;}export const CONCEPT_GLOSSARY_VERSION=0x1;

package/dist/knowledge/goal-completion.d.ts

@@ -0,0 +1,19 @@
+import type { GoalRecord, GoalType } from "../goal/types.js";
+export interface GoalCompletionVerdict {
+    complete: boolean;
+    evidence: string[];
+    missing: string[];
+}
+export interface GoalCompletionDeps {
+    queryObjects(objects: string[], network?: string): Promise<any[]>;
+    fetchMachineNodes?(machine: string, network?: string): Promise<{
+        name: string;
+        pairs: {
+            prev_node: string;
+        }[];
+    }[]>;
+}
+type RuleFn = (goal: GoalRecord, network: string | undefined, deps: GoalCompletionDeps) => Promise<GoalCompletionVerdict>;
+export declare const GOAL_COMPLETION_RULES: Record<GoalType, RuleFn>;
+export declare function evaluateGoalCompletion(goal: GoalRecord, network?: string, deps?: Partial<GoalCompletionDeps>): Promise<GoalCompletionVerdict>;
+export {};

package/dist/knowledge/goal-completion.js

@@ -0,0 +1 @@
+function normAddr(a){if(!a)return'';const b=a['startsWith']('0x')?a['slice'](0x2):a;return b['toLowerCase']();}function isEmptyAddr(a){return a===null||a===undefined||String(a)['trim']()==='';}function balanceIsZero(a){if(a===null||a===undefined)return![];try{return BigInt(String(a))===0x0n;}catch{return![];}}async function fetchRefs(a,b,c){if(a['length']===0x0)return{'objects':[]};try{const d=await c['queryObjects'](a['map'](g=>g['object']),b),f=new Map();for(const g of d??[]){if(!g)continue;const h=normAddr(g?.['object']);if(h)f['set'](h,g);if(typeof g?.['query_name']==='string')f['set'](normAddr(g['query_name']),g);}return{'objects':a['map'](i=>f['get'](normAddr(i['object'])))};}catch(i){return{'objects':a['map'](()=>undefined),'queryError':'chain\x20query\x20failed:\x20'+(i instanceof Error?i['message']:String(i))};}}function typeMatches(a,b){const c=b?.['type'];if(!c)return!![];return String(c)['toLowerCase']()===a['type']['toLowerCase']();}function refsOfType(a,b){return a['objects']['filter'](c=>c['type']['toLowerCase']()===b['toLowerCase']());}async function checkPublishService(a,b,c){const d=refsOfType(a,'Service'),e=[],f=[];if(d['length']===0x0)return{'complete':![],'evidence':e,'missing':['no\x20Service\x20object\x20registered\x20on\x20the\x20goal']};const {objects:g,queryError:h}=await fetchRefs(d,b,c);if(h)f['push'](h);let i=![];return g['forEach']((j,k)=>{const l=d[k];if(!j){if(!h)f['push']('Service\x20'+l['object']+'\x20not\x20found\x20on\x20chain');return;}if(!typeMatches(l,j)){f['push']('Service\x20'+l['object']+'\x20type\x20mismatch\x20(fetched:\x20'+(j?.['type']??'unknown')+')');return;}if(j['bPaused']!==![]){f['push']('Service\x20'+l['object']+'\x20is\x20paused\x20(bPaused='+String(j['bPaused'])+')');return;}e['push']('Service\x20'+l['object']+'\x20exists\x20and\x20is\x20not\x20paused');const m=Array['isArray'](j['sales'])?j['sales']:[];if(m['length']<0x1){f['push']('Service\x20'+l['object']+'\x20has\x20no\x20purchasable\x20items\x20(sales\x20is\x20empty)');return;}e['push']('Service\x20'+l['object']+'\x20has\x20'+m['length']+'\x20purchasable\x20item(s)');if(isEmptyAddr(j['machine'])){f['push']('Service\x20'+l['object']+'\x20has\x20no\x20Machine\x20bound');return;}e['push']('Service\x20'+l['object']+'\x20has\x20a\x20Machine\x20bound\x20('+j['machine']+')');if(isEmptyAddr(j['permission'])){f['push']('Service\x20'+l['object']+'\x20has\x20no\x20Permission\x20bound');return;}e['push']('Service\x20'+l['object']+'\x20has\x20a\x20Permission\x20bound\x20('+j['permission']+')'),i=!![];}),{'complete':i,'evidence':e,'missing':f};}async function checkPurchaseService(a,b,c){const d=refsOfType(a,'Order'),f=[],g=[];if(d['length']===0x0)return{'complete':![],'evidence':f,'missing':['no\x20Order\x20object\x20registered\x20on\x20the\x20goal']};const {objects:h,queryError:j}=await fetchRefs(d,b,c);if(j)g['push'](j);for(let k=0x0;k<h['length'];k++){const l=h[k],m=d[k];if(!l){if(!j)g['push']('Order\x20'+m['object']+'\x20not\x20found\x20on\x20chain');continue;}f['push']('Order\x20'+m['object']+'\x20exists');if(isEmptyAddr(l['progress'])){g['push']('Order\x20'+m['object']+'\x20has\x20no\x20Progress\x20object');continue;}const o=await fetchRefs([{'type':'Progress','object':String(l['progress'])}],b,c),q=o['objects'][0x0];if(o['queryError']){g['push'](o['queryError']);continue;}if(!q){g['push']('Progress\x20'+l['progress']+'\x20not\x20found\x20on\x20chain');continue;}const r=typeof q['current']==='string'?q['current']:'';let s=![];if(c['fetchMachineNodes']&&!isEmptyAddr(q['machine']))try{const v=await c['fetchMachineNodes'](String(q['machine']),b);if(v['length']===0x0)f['push']('Progress\x20'+l['progress']+'\x20exists\x20(node\x20\x27'+r+'\x27);\x20machine\x20topology\x20empty\x20—\x20terminal\x20check\x20skipped'),s=!![];else{const w=new Set();for(const y of v){for(const z of y['pairs']??[]){if(z['prev_node'])w['add'](z['prev_node']);}}const x=v['some'](A=>A['name']===r);if(x&&!w['has'](r))f['push']('Progress\x20is\x20at\x20terminal\x20node\x20\x27'+r+'\x27'),s=!![];else!x?g['push']('Progress\x20node\x20\x27'+r+'\x27\x20not\x20found\x20in\x20machine\x20topology'):g['push']('Progress\x20node\x20\x27'+r+'\x27\x20is\x20not\x20terminal\x20(has\x20outgoing\x20forwards)');}}catch(A){f['push']('Progress\x20'+l['progress']+'\x20exists\x20(node\x20\x27'+r+'\x27);\x20terminal\x20check\x20skipped:\x20'+(A instanceof Error?A['message']:String(A))),s=!![];}else f['push']('Progress\x20'+l['progress']+'\x20exists\x20(node\x20\x27'+r+'\x27)'),s=!![];if(!s)continue;if(isEmptyAddr(l['allocation']))return f['push']('Order\x20'+m['object']+'\x20has\x20no\x20allocation\x20(nothing\x20to\x20settle)'),{'complete':!![],'evidence':f,'missing':g};if(!isEmptyAddr(l['claimed_by']))return f['push']('Order\x20'+m['object']+'\x20allocation\x20claimed\x20by\x20'+l['claimed_by']),{'complete':!![],'evidence':f,'missing':g};const t=await fetchRefs([{'type':'Allocation','object':String(l['allocation'])}],b,c);if(t['queryError']){g['push'](t['queryError']);continue;}const u=t['objects'][0x0];if(!u){g['push']('Allocation\x20'+l['allocation']+'\x20not\x20found\x20on\x20chain');continue;}if(balanceIsZero(u['balance']))return f['push']('Allocation\x20'+l['allocation']+'\x20balance\x20is\x20zero\x20(settled)'),{'complete':!![],'evidence':f,'missing':g};g['push']('Allocation\x20'+l['allocation']+'\x20still\x20holds\x20balance\x20'+String(u['balance']));}return{'complete':![],'evidence':f,'missing':g};}async function checkPublishDemand(a,b,c){const d=refsOfType(a,'Demand'),e=[],f=[];if(d['length']===0x0)return{'complete':![],'evidence':e,'missing':['no\x20Demand\x20object\x20registered\x20on\x20the\x20goal']};const {objects:g,queryError:h}=await fetchRefs(d,b,c);if(h)f['push'](h);let i=![];return g['forEach']((j,k)=>{const l=d[k];if(!j){if(!h)f['push']('Demand\x20'+l['object']+'\x20not\x20found\x20on\x20chain');return;}e['push']('Demand\x20'+l['object']+'\x20exists');const m=Array['isArray'](j['rewards'])?j['rewards']:[];if(m['length']<0x1){f['push']('Demand\x20'+l['object']+'\x20has\x20no\x20rewards\x20bound');return;}e['push']('Demand\x20'+l['object']+'\x20has\x20'+m['length']+'\x20reward(s)\x20bound'),i=!![];}),{'complete':i,'evidence':e,'missing':f};}async function checkRunArbitration(a,b,c){const d=refsOfType(a,'Arbitration'),e=[],f=[];if(d['length']===0x0)return{'complete':![],'evidence':e,'missing':['no\x20Arbitration\x20object\x20registered\x20on\x20the\x20goal']};const {objects:g,queryError:h}=await fetchRefs(d,b,c);if(h)f['push'](h);let i=![];return g['forEach']((j,k)=>{const l=d[k];if(!j){if(!h)f['push']('Arbitration\x20'+l['object']+'\x20not\x20found\x20on\x20chain');return;}e['push']('Arbitration\x20'+l['object']+'\x20exists');if(j['bPaused']===!![]){f['push']('Arbitration\x20'+l['object']+'\x20is\x20paused');return;}e['push']('Arbitration\x20'+l['object']+'\x20is\x20not\x20paused');if(j['fee']===null||j['fee']===undefined){f['push']('Arbitration\x20'+l['object']+'\x20fee\x20not\x20configured');return;}if(j['balance']===null||j['balance']===undefined){f['push']('Arbitration\x20'+l['object']+'\x20balance\x20not\x20configured');return;}e['push']('Arbitration\x20'+l['object']+'\x20fee='+String(j['fee'])+'\x20balance='+String(j['balance'])),i=!![];}),{'complete':i,'evidence':e,'missing':f};}async function checkExistence(a,b,c){const d=[],e=[];if(a['objects']['length']===0x0)return{'complete':![],'evidence':d,'missing':['no\x20objects\x20registered\x20on\x20the\x20goal']};const {objects:f,queryError:g}=await fetchRefs(a['objects'],b,c);if(g)e['push'](g);return f['forEach']((h,j)=>{const k=a['objects'][j];if(!h){if(!g)e['push'](k['type']+'\x20'+k['object']+'\x20not\x20found\x20on\x20chain');return;}if(!typeMatches(k,h)){e['push'](k['type']+'\x20'+k['object']+'\x20type\x20mismatch\x20(fetched:\x20'+(h?.['type']??'unknown')+')');return;}d['push'](k['type']+'\x20'+k['object']+'\x20exists');}),{'complete':e['length']===0x0,'evidence':d,'missing':e};}export const GOAL_COMPLETION_RULES={'publish_service':checkPublishService,'purchase_service':checkPurchaseService,'publish_demand':checkPublishDemand,'run_arbitration':checkRunArbitration,'fulfill_order':checkExistence,'capture_demand':checkExistence,'collaborate_flow':checkExistence,'supply_suborder':checkExistence,'dispute_resolution':checkExistence,'manage_assets':checkExistence};function defaultDeps(){return{'queryObjects':async(a,b)=>{const {query_objects:c}=await import('@wowok/wowok'),d=await c({'objects':a,'network':b});return d?.['objects']??[];},'fetchMachineNodes':async(a,b)=>{const {fetchMachineNodes:c}=await import('./workflow-guidance.js');return c(a,b,![]);}};}export async function evaluateGoalCompletion(a,b,c){const d={...defaultDeps(),...c??{}},f=GOAL_COMPLETION_RULES[a['goal_type']]??checkExistence;try{return await f(a,b,d);}catch(g){return{'complete':![],'evidence':[],'missing':['completion\x20check\x20failed:\x20'+(g instanceof Error?g['message']:String(g))]};}}

package/dist/knowledge/guard-submission-prompt.js

@@ -1 +1 @@
-import{query_objects,LocalMark}from'@wowok/wowok';function inferValue(a,b,c){const d=a['toLowerCase']();if(d['includes']('order')||d['includes']('task')){if(c['order_address'])return{'value':c['order_address'],'reason':'Inferred\x20from\x20operation\x27s\x20order_address\x20context'};if(c['progress_address'])return{'value':c['progress_address'],'reason':'Progress.task\x20is\x20typically\x20the\x20order\x20—\x20query\x20Progress\x20to\x20get\x20the\x20actual\x20task\x20address'};}if(d['includes']('signer')||d['includes']('sender')||d['includes']('caller')){if(c['signer'])return{'value':c['signer'],'reason':'Inferred\x20from\x20env.account\x20(the\x20signing\x20account)'};}if(d['includes']('service')){if(c['service_address'])return{'value':c['service_address'],'reason':'Inferred\x20from\x20operation\x27s\x20service_address\x20context'};}if(d['includes']('machine')){if(c['machine_address'])return{'value':c['machine_address'],'reason':'Inferred\x20from\x20operation\x27s\x20machine_address\x20context'};}if(d['includes']('progress')||d['includes']('node')||d['includes']('current')){if(c['progress_current'])return{'value':c['progress_current'],'reason':'Inferred\x20from\x20Progress.current\x20node\x20name'};}if(d['includes']('allocation')||d['includes']('allocator')){if(c['allocation_address'])return{'value':c['allocation_address'],'reason':'Inferred\x20from\x20operation\x27s\x20allocation_address\x20context'};}if(c['extra'])for(const [e,f]of Object['entries'](c['extra'])){if(d['includes'](e['toLowerCase']()))return{'value':f,'reason':'Inferred\x20from\x20extra\x20context:\x20'+e};}return undefined;}function describeField(a,b){const c=a['toLowerCase']();if(c['includes']('order'))return'Order\x20object\x20address\x20(type:\x20'+b+')';if(c['includes']('signer')||c['includes']('sender'))return'Transaction\x20signer\x20address\x20(type:\x20'+b+')';if(c['includes']('service'))return'Service\x20object\x20address\x20(type:\x20'+b+')';if(c['includes']('machine'))return'Machine\x20object\x20address\x20(type:\x20'+b+')';if(c['includes']('progress'))return'Progress\x20object\x20address\x20(type:\x20'+b+')';if(c['includes']('node')||c['includes']('current'))return'Current\x20node\x20name\x20(type:\x20'+b+')';if(c['includes']('amount')||c['includes']('price')||c['includes']('balance'))return'Amount\x20in\x20smallest\x20unit\x20(type:\x20'+b+')';if(c['includes']('allocation'))return'Allocation\x20object\x20address\x20(type:\x20'+b+')';return'Field\x20\x22'+a+'\x22\x20(type:\x20'+b+')';}export async function generateGuardSubmissionPrompt(a,b){let c=a,d;if(!a['startsWith']('0x'))try{const k=await LocalMark['Instance']()['get'](a);if(k?.['address'])c=k['address'],d=a;else return undefined;}catch{return undefined;}let e;try{const l=await query_objects({'objects':[c],'network':b['network']});e=l?.['objects']?.[0x0];}catch{return undefined;}if(!e)return undefined;const f=e['table']??e['b_table']??[];if(!Array['isArray'](f)||f['length']===0x0)return undefined;const g=f['filter'](m=>m['b_submission']===!![]);if(g['length']===0x0)return undefined;const h=g['map'](m=>{const n=m['name']??'identifier_'+m['identifier'],o=typeof m['value_type']==='number'?ValueTypeNames[m['value_type']]??String(m['value_type']):String(m['value_type']),p=inferValue(n,o,b);return{'identifier':m['identifier'],'name':n,'value_type':o,'required':!![],'suggested_value':p?.['value'],'suggestion_reason':p?.['reason'],'description':describeField(n,o)};}),i=h['map'](m=>{const n=m['suggested_value']??'<'+m['value_type']+'_value>';return'\x20\x20\x20\x20\x20\x20{\x20identifier:\x20'+m['identifier']+',\x20name:\x20\x22'+m['name']+'\x22,\x20value_type:\x20\x22'+m['value_type']+'\x22,\x20value:\x20'+n+'\x20}';}),j='submission:\x20{\x0a\x20\x20\x20\x20guard:\x20\x22'+(d??c)+'\x22,\x0a\x20\x20\x20\x20submission:\x20[\x0a'+i['join'](',\x0a')+'\x0a\x20\x20\x20\x20]\x0a\x20\x20}';return{'guard_address':c,'guard_name':d,'operation':b['operation'],'required_fields':h,'context':'Operation\x20\x22'+b['operation']+'\x22\x20requires\x20Guard\x20\x22'+(d??c)+'\x22\x20verification.\x20'+('The\x20Guard\x20has\x20'+h['length']+'\x20field(s)\x20that\x20need\x20submission\x20data\x20(b_submission=true).\x20')+'Fill\x20the\x20submission\x20with\x20the\x20required\x20values\x20and\x20retry\x20the\x20operation\x20using\x20call_with_submission.\x20'+'Each\x20field\x20has\x20an\x20identifier\x20(number),\x20name,\x20and\x20expected\x20value_type.\x20'+'The\x20suggested_value\x20(if\x20provided)\x20is\x20inferred\x20from\x20the\x20operation\x20context\x20—\x20verify\x20before\x20using.','fill_example':j};}export function formatSubmissionPrompt(a){const b=[];b['push']('GUARD\x20SUBMISSION\x20REQUIRED\x20—\x20operation\x20cannot\x20proceed\x20without\x20submission\x20data.'),b['push']('Guard:\x20'+(a['guard_name']??a['guard_address'])+'\x20('+a['guard_address']+')'),b['push']('Operation:\x20'+a['operation']),b['push'](''),b['push']('Required\x20fields\x20(fill\x20these\x20in\x20the\x20submission):');for(const c of a['required_fields']){b['push']('\x20\x20['+c['identifier']+']\x20'+c['name']+'\x20('+c['value_type']+')\x20—\x20'+c['description']),c['suggested_value']?b['push']('\x20\x20\x20\x20\x20\x20Suggested:\x20'+c['suggested_value']+'\x20('+c['suggestion_reason']+')'):b['push']('\x20\x20\x20\x20\x20\x20No\x20suggestion\x20—\x20derive\x20value\x20from\x20context\x20or\x20ask\x20user.');}return b['push'](''),b['push']('Fill\x20example\x20(use\x20in\x20the\x20next\x20call\x20with\x20submission):'),b['push'](a['fill_example']),b['join']('\x0a');}const ValueTypeNames={0x0:'Bool',0x1:'Address',0x2:'U64',0x3:'String',0x4:'Vec',0x5:'U256',0x6:'Object'};
+import{query_objects,LocalMark}from'@wowok/wowok';function inferValue(a,b,c){const d=a['toLowerCase']();if(d['includes']('order')||d['includes']('task')){if(c['order_address'])return{'value':c['order_address'],'reason':'Inferred\x20from\x20operation\x27s\x20order_address\x20context'};if(c['progress_address'])return{'value':c['progress_address'],'reason':'Progress.task\x20is\x20typically\x20the\x20order\x20—\x20query\x20Progress\x20to\x20get\x20the\x20actual\x20task\x20address'};}if(d['includes']('signer')||d['includes']('sender')||d['includes']('caller')){if(c['signer'])return{'value':c['signer'],'reason':'Inferred\x20from\x20env.account\x20(the\x20signing\x20account)'};}if(d['includes']('service')){if(c['service_address'])return{'value':c['service_address'],'reason':'Inferred\x20from\x20operation\x27s\x20service_address\x20context'};}if(d['includes']('machine')){if(c['machine_address'])return{'value':c['machine_address'],'reason':'Inferred\x20from\x20operation\x27s\x20machine_address\x20context'};}if(d['includes']('progress')||d['includes']('node')||d['includes']('current')){if(c['progress_current'])return{'value':c['progress_current'],'reason':'Inferred\x20from\x20Progress.current\x20node\x20name'};}if(d['includes']('allocation')||d['includes']('allocator')){if(c['allocation_address'])return{'value':c['allocation_address'],'reason':'Inferred\x20from\x20operation\x27s\x20allocation_address\x20context'};}if(c['extra'])for(const [e,f]of Object['entries'](c['extra'])){if(d['includes'](e['toLowerCase']()))return{'value':f,'reason':'Inferred\x20from\x20extra\x20context:\x20'+e};}return undefined;}function describeField(a,b){const c=a['toLowerCase']();if(c['includes']('order'))return'Order\x20object\x20address\x20(type:\x20'+b+')';if(c['includes']('signer')||c['includes']('sender'))return'Transaction\x20signer\x20address\x20(type:\x20'+b+')';if(c['includes']('service'))return'Service\x20object\x20address\x20(type:\x20'+b+')';if(c['includes']('machine'))return'Machine\x20object\x20address\x20(type:\x20'+b+')';if(c['includes']('progress'))return'Progress\x20object\x20address\x20(type:\x20'+b+')';if(c['includes']('node')||c['includes']('current'))return'Current\x20node\x20name\x20(type:\x20'+b+')';if(c['includes']('amount')||c['includes']('price')||c['includes']('balance'))return'Amount\x20in\x20smallest\x20unit\x20(type:\x20'+b+')';if(c['includes']('allocation'))return'Allocation\x20object\x20address\x20(type:\x20'+b+')';return'Field\x20\x22'+a+'\x22\x20(type:\x20'+b+')';}export async function generateGuardSubmissionPrompt(a,b){let c=a,d;if(!a['startsWith']('0x'))try{const k=await LocalMark['Instance']()['get'](a);if(k?.['address'])c=k['address'],d=a;else return undefined;}catch{return undefined;}let e;try{const l=await query_objects({'objects':[c],'network':b['network']});e=l?.['objects']?.[0x0];}catch{return undefined;}if(!e)return undefined;const f=e['table']??e['b_table']??[];if(!Array['isArray'](f)||f['length']===0x0)return undefined;const g=f['filter'](m=>m['b_submission']===!![]);if(g['length']===0x0)return undefined;const h=g['map'](m=>{const n=m['name']??'identifier_'+m['identifier'],o=typeof m['value_type']==='number'?ValueTypeNames[m['value_type']]??String(m['value_type']):String(m['value_type']),p=inferValue(n,o,b);return{'identifier':m['identifier'],'name':n,'value_type':o,'required':!![],'suggested_value':p?.['value'],'suggestion_reason':p?.['reason'],'description':describeField(n,o)};}),i=h['map'](m=>{const n=m['suggested_value']??'<'+m['value_type']+'_value>';return'\x20\x20\x20\x20\x20\x20{\x20identifier:\x20'+m['identifier']+',\x20name:\x20\x22'+m['name']+'\x22,\x20value_type:\x20\x22'+m['value_type']+'\x22,\x20value:\x20'+n+'\x20}';}),j='submission:\x20{\x0a\x20\x20\x20\x20guard:\x20\x22'+(d??c)+'\x22,\x0a\x20\x20\x20\x20submission:\x20[\x0a'+i['join'](',\x0a')+'\x0a\x20\x20\x20\x20]\x0a\x20\x20}';return{'guard_address':c,'guard_name':d,'operation':b['operation'],'required_fields':h,'context':'Operation\x20\x22'+b['operation']+'\x22\x20requires\x20Guard\x20\x22'+(d??c)+'\x22\x20verification.\x20'+('The\x20Guard\x20has\x20'+h['length']+'\x20field(s)\x20that\x20need\x20submission\x20data\x20(b_submission=true).\x20')+'Fill\x20the\x20submission\x20with\x20the\x20required\x20values\x20and\x20retry\x20the\x20operation\x20using\x20call_with_submission.\x20'+'Each\x20field\x20has\x20an\x20identifier\x20(number),\x20name,\x20and\x20expected\x20value_type.\x20'+'The\x20suggested_value\x20(if\x20provided)\x20is\x20inferred\x20from\x20the\x20operation\x20context\x20—\x20verify\x20before\x20using.','fill_example':j};}export function formatSubmissionPrompt(a){const b=[];b['push']('GUARD\x20SUBMISSION\x20REQUIRED\x20—\x20operation\x20cannot\x20proceed\x20without\x20submission\x20data.'),b['push']('Guard:\x20'+(a['guard_name']??a['guard_address'])+'\x20('+a['guard_address']+')'),b['push']('Operation:\x20'+a['operation']),b['push'](''),b['push']('Required\x20fields\x20(fill\x20these\x20in\x20the\x20submission):');for(const c of a['required_fields']){b['push']('\x20\x20['+c['identifier']+']\x20'+c['name']+'\x20('+c['value_type']+')\x20—\x20'+c['description']),c['suggested_value']?b['push']('\x20\x20\x20\x20\x20\x20Suggested:\x20'+c['suggested_value']+'\x20('+c['suggestion_reason']+')'):b['push']('\x20\x20\x20\x20\x20\x20No\x20suggestion\x20—\x20derive\x20value\x20from\x20context\x20or\x20ask\x20user.');}return b['push'](''),b['push']('Fill\x20example\x20(use\x20in\x20the\x20next\x20call\x20with\x20submission):'),b['push'](a['fill_example']),b['join']('\x0a');}const ValueTypeNames={0x0:'Bool',0x1:'Address',0x2:'String',0x3:'U8',0x4:'U16',0x5:'U32',0x6:'U64',0x7:'U128',0x8:'U256',0x9:'VecBool',0xa:'VecAddress',0xb:'VecString',0xc:'VecU8',0xd:'VecU16',0xe:'VecU32',0xf:'VecU64',0x10:'VecU128',0x11:'VecU256',0x12:'VecVecU8',0x13:'Value'};