@wowok/agent-mcp 3.0.0 → 3.0.2

package/dist/knowledge/evidence-review.d.ts

@@ -10,3 +10,26 @@ export interface EvidenceReviewResult {
     reason: string;
 }
 export declare function assessEvidenceReview(input: EvidenceReviewInput): EvidenceReviewResult;
+export interface EvidenceItem extends EvidenceReviewInput {
+    id: string;
+    proof_ref?: string;
+}
+export interface ReviewedEvidence {
+    item: EvidenceItem;
+    review: EvidenceReviewResult;
+}
+export interface ProofCandidate {
+    id: string;
+    kind: EvidenceKind;
+    proof_ref?: string;
+    reason: string;
+}
+export interface EvidenceListResult {
+    items: ReviewedEvidence[];
+    usable: ReviewedEvidence[];
+    manual: ReviewedEvidence[];
+    rejected: ReviewedEvidence[];
+    proof_candidates: ProofCandidate[];
+    dispute_hint: string;
+}
+export declare function reviewEvidenceList(items: EvidenceItem[]): EvidenceListResult;

package/dist/knowledge/evidence-review.js

@@ -1 +1 @@
-export function assessEvidenceReview(a){if(a['contradiction'])return{'status':'auto_reject','reason':'Contradicting\x20signal\x20detected\x20—\x20evidence\x20fails\x20trust.'};if(!a['hash_committed'])return{'status':'auto_reject','reason':'Evidence\x20hash\x20is\x20not\x20committed\x20on-chain\x20—\x20no\x20authenticity\x20anchor.'};if(a['digital_check_passed']===!![])return{'status':'auto_pass','reason':'Hash\x20anchored\x20+\x20digital\x20check\x20passed\x20—\x20evidence\x20auto-accepted.'};return{'status':'manual_review','reason':'Hash\x20anchored\x20but\x20digital\x20check\x20inconclusive\x20—\x20route\x20to\x20manual\x20review.'};}
+export function assessEvidenceReview(a){if(a['contradiction'])return{'status':'auto_reject','reason':'Contradicting\x20signal\x20detected\x20—\x20evidence\x20fails\x20trust.'};if(!a['hash_committed'])return{'status':'auto_reject','reason':'Evidence\x20hash\x20is\x20not\x20committed\x20on-chain\x20—\x20no\x20authenticity\x20anchor.'};if(a['digital_check_passed']===!![])return{'status':'auto_pass','reason':'Hash\x20anchored\x20+\x20digital\x20check\x20passed\x20—\x20evidence\x20auto-accepted.'};return{'status':'manual_review','reason':'Hash\x20anchored\x20but\x20digital\x20check\x20inconclusive\x20—\x20route\x20to\x20manual\x20review.'};}export function reviewEvidenceList(a){const b=a['map'](h=>({'item':h,'review':assessEvidenceReview(h)})),c=b['filter'](h=>h['review']['status']==='auto_pass'),d=b['filter'](h=>h['review']['status']==='manual_review'),e=b['filter'](h=>h['review']['status']==='auto_reject'),f=c['map'](h=>({'id':h['item']['id'],'kind':h['item']['kind'],'proof_ref':h['item']['proof_ref'],'reason':h['review']['reason']})),g=f['length']===0x0?'No\x20evidence\x20passed\x20automatic\x20review\x20—\x20collect/anchor\x20evidence\x20before\x20filing\x20the\x20dispute.':f['length']+'\x20Proof\x20reference\x20candidate(s)\x20ready\x20—\x20confirm\x20with\x20the\x20user\x20which\x20to\x20reference\x20in\x20the\x20dispute\x20description\x20before\x20submitting.'+(d['length']>0x0?'\x20'+d['length']+'\x20item(s)\x20await\x20manual\x20review.':'')+(e['length']>0x0?'\x20'+e['length']+'\x20item(s)\x20rejected\x20(see\x20reasons).':'');return{'items':b,'usable':c,'manual':d,'rejected':e,'proof_candidates':f,'dispute_hint':g};}

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

@@ -1 +1 @@
-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);}
+import{scanAllExamples,formatScanReport,EXAMPLES_SCANNER_VERSION}from'./examples-scanner.js';import*as a118a from'fs';import*as a118b 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=a118b['resolve']('d:/wowok/wiki/market/GLM3/examples-scan-report.md');a118a['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 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';
+import*as a119a from'fs';import*as a119b 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=a119b['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=a119a['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(!a119a['existsSync'](a))return b;const c=a119a['readdirSync'](a,{'withFileTypes':!![]});for(const d of c){if(!d['isDirectory']())continue;const e=a119b['join'](a,d['name']),f=a119a['readdirSync'](e,{'withFileTypes':!![]});for(const g of f){if(!g['isFile']())continue;const h=a119b['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=a119a['readFileSync'](h,'utf-8');try{const o=JSON['parse'](n);if(!Array['isArray'](o)||o['length']===0x0)continue;const p=a119b['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/guard-bytecode-spec.d.ts

@@ -0,0 +1,82 @@
+export declare const GUARD_BYTECODE_SPEC_VERSION = "1.0.0";
+export declare const VALUE_TYPE_BYTES: {
+    readonly TYPE_BOOL: 0;
+    readonly TYPE_ADDRESS: 1;
+    readonly TYPE_STRING: 2;
+    readonly TYPE_U8: 3;
+    readonly TYPE_U16: 4;
+    readonly TYPE_U32: 5;
+    readonly TYPE_U64: 6;
+    readonly TYPE_U128: 7;
+    readonly TYPE_U256: 8;
+    readonly TYPE_VEC_BOOL: 9;
+    readonly TYPE_VEC_ADDRESS: 10;
+    readonly TYPE_VEC_STRING: 11;
+    readonly TYPE_VEC_U8: 12;
+    readonly TYPE_VEC_U16: 13;
+    readonly TYPE_VEC_U32: 14;
+    readonly TYPE_VEC_U64: 15;
+    readonly TYPE_VEC_U128: 16;
+    readonly TYPE_VEC_U256: 17;
+    readonly TYPE_VEC_VEC_U8: 18;
+    readonly TYPE_VALUE: 19;
+};
+export type ValueTypeName = keyof typeof VALUE_TYPE_BYTES;
+export declare function isValueTypeByte(t: number): boolean;
+export declare function isNumberTypeByte(t: number): boolean;
+export interface OpcodeSpec {
+    byte: number;
+    name: string;
+    operands: string;
+    stack: string;
+    note?: string;
+}
+export declare const OPCODE_SPECS: readonly OpcodeSpec[];
+export declare function opcodeByByte(byte: number): OpcodeSpec | undefined;
+export declare function opcodeByName(name: string): OpcodeSpec | undefined;
+export declare const COMMON_MOVE_MISALIGNED: ReadonlyArray<{
+    series: string;
+    common_move: string;
+    native_truth: string;
+}>;
+export interface QuerySpec {
+    id: number;
+    name: string;
+    object: string;
+    return_type: string;
+    params: string[];
+    unreachable?: boolean;
+    defect?: "declared_type_mismatch" | "name_typo";
+    note?: string;
+}
+export declare const QUERY_REGISTRY: readonly QuerySpec[];
+export declare function getQueryById(id: number): QuerySpec | undefined;
+export declare function queriesByObject(object: string): QuerySpec[];
+export declare function queryByName(name: string): QuerySpec | undefined;
+export interface QueryBand {
+    from: number;
+    to: number;
+    object: string;
+    count: number;
+}
+export declare const QUERY_BANDS: readonly QueryBand[];
+export declare const SERIALIZATION: {
+    readonly operand_order: "reverse-logical";
+    readonly op_code_position: "after-operands";
+    readonly count_byte: "after-op_code (multi-operand ops)";
+    readonly query_param_position: "after-op_byte (subcode/identifier/query_id)";
+    readonly u16_endian: "little (BCS)";
+    readonly final_stack: "exactly one Bool (or TYPE_VALUE)";
+};
+export declare const GUARD_LIMITS: {
+    readonly MAX_INPUT_SIZE: 1024;
+    readonly MAX_TABLE_SIZE: 40000;
+    readonly MAX_DEPENDED_COUNT: 4;
+    readonly MAX_TABLE_ENTRIES: 255;
+    readonly MAX_NUMBER_OPERANDS: 8;
+    readonly MAX_LOGIC_OPERANDS: 8;
+    readonly MAX_STRING_OPERANDS: 6;
+    readonly MAX_NESTING_DEPTH: 8;
+    readonly PASSPORT_MAX_GUARD_COUNT: 20;
+    readonly PASSPORT_MAX_SUBMISSION_SIZE: 256;
+};

package/dist/knowledge/guard-bytecode-spec.js

@@ -0,0 +1 @@
+export const GUARD_BYTECODE_SPEC_VERSION='1.0.0';export const VALUE_TYPE_BYTES={'TYPE_BOOL':0x0,'TYPE_ADDRESS':0x1,'TYPE_STRING':0x2,'TYPE_U8':0x3,'TYPE_U16':0x4,'TYPE_U32':0x5,'TYPE_U64':0x6,'TYPE_U128':0x7,'TYPE_U256':0x8,'TYPE_VEC_BOOL':0x9,'TYPE_VEC_ADDRESS':0xa,'TYPE_VEC_STRING':0xb,'TYPE_VEC_U8':0xc,'TYPE_VEC_U16':0xd,'TYPE_VEC_U32':0xe,'TYPE_VEC_U64':0xf,'TYPE_VEC_U128':0x10,'TYPE_VEC_U256':0x11,'TYPE_VEC_VEC_U8':0x12,'TYPE_VALUE':0x13};export function isValueTypeByte(a){return a>=0x0&&a<VALUE_TYPE_BYTES['TYPE_VALUE'];}export function isNumberTypeByte(a){return a>=VALUE_TYPE_BYTES['TYPE_U8']&&a<=VALUE_TYPE_BYTES['TYPE_U256']||a===VALUE_TYPE_BYTES['TYPE_VALUE'];}export const OPCODE_SPECS=[{'byte':0x28,'name':'TYPE_QUERY','operands':'[subcode:u8][identifier:u8][query_id:u16\x20LE]','stack':'pop\x20required_params\x20→\x20push\x20return_type;\x20run\x20registry\x20query','note':'subcode:\x2048\x20(TYPE_CONSTANT)\x20or\x20100-108\x20(witness);\x20u16\x20is\x20BCS\x20little-endian'},{'byte':0x2d,'name':'TYPE_SIGNER','operands':'none','stack':'push\x20Address\x20(tx\x20sender)'},{'byte':0x2e,'name':'TYPE_CLOCK','operands':'none','stack':'push\x20U64\x20(Clock\x20timestamp_ms)'},{'byte':0x2f,'name':'TYPE_GUARD','operands':'none','stack':'push\x20Address\x20(current\x20Guard)'},{'byte':0x30,'name':'TYPE_CONSTANT','operands':'[identifier:u8]','stack':'push\x20table\x20constant\x20(verify:\x20deserialized\x20value)'},{'byte':0x3d,'name':'TYPE_STRING_LENGTH','operands':'none','stack':'pop\x20String\x20→\x20push\x20U64'},{'byte':0x3e,'name':'TYPE_STRING_INDEXOF','operands':'[order:u8]\x20(0=forward/1=reverse)','stack':'pop\x202\x20String\x20→\x20push\x20U64'},{'byte':0x3f,'name':'TYPE_STRING_NOCASE_INDEXOF','operands':'[order:u8]','stack':'pop\x202\x20String\x20→\x20push\x20U64\x20(case-insensitive)'},{'byte':0x40,'name':'TYPE_STRING_CONTAINS','operands':'[count:u8]\x20(2..=8)','stack':'pop\x20count\x20String\x20→\x20push\x20Bool'},{'byte':0x41,'name':'TYPE_STRING_NOCASE_CONTAINS','operands':'[count:u8]','stack':'pop\x20count\x20String\x20→\x20push\x20Bool'},{'byte':0x42,'name':'TYPE_STRING_NOCASE_EQUAL','operands':'[count:u8]','stack':'pop\x20count\x20String\x20→\x20push\x20Bool'},{'byte':0x46,'name':'TYPED_VALUE_TYPE','operands':'none','stack':'pop\x20any\x20→\x20push\x20U8\x20(value\x27s\x20type\x20byte)'},{'byte':0x47,'name':'TYPED_VALUE_VEC_LENGTH','operands':'none','stack':'pop\x20Vec\x20→\x20push\x20U64'},{'byte':0x48,'name':'TYPED_VALUE_VEC_CONTAINS_BOOL','operands':'[count:u8]','stack':'first\x20operand\x20Vec<bool>,\x20rest\x20bool\x20→\x20push\x20Bool'},{'byte':0x49,'name':'TYPED_VALUE_VEC_CONTAINS_ADDRESS','operands':'[count:u8]','stack':'Vec<address>\x20+\x20addresses\x20→\x20Bool'},{'byte':0x4a,'name':'TYPED_VALUE_VEC_CONTAINS_STRING','operands':'[count:u8]','stack':'Vec<String>\x20+\x20Strings\x20→\x20Bool'},{'byte':0x4b,'name':'TYPED_VALUE_VEC_CONTAINS_STRING_NOCASE','operands':'[count:u8]','stack':'same,\x20case-insensitive'},{'byte':0x4c,'name':'TYPED_VALUE_VEC_CONTAINS_NUMBER','operands':'[count:u8]','stack':'first\x20operand\x20numeric\x20Vec\x20(VEC_U8..VEC_U256),\x20rest\x20numbers\x20→\x20Bool'},{'byte':0x4d,'name':'TYPED_VALUE_VEC_INDEXOF_BOOL','operands':'[order:u8]','stack':'pop\x20Vec<bool>+bool\x20→\x20push\x20U64'},{'byte':0x4e,'name':'TYPED_VALUE_VEC_INDEXOF_ADDRESS','operands':'[order:u8]','stack':'pop\x20Vec<address>+address\x20→\x20push\x20U64'},{'byte':0x4f,'name':'TYPED_VALUE_VEC_INDEXOF_STRING','operands':'[order:u8]','stack':'pop\x20Vec<String>+String\x20→\x20push\x20U64'},{'byte':0x50,'name':'TYPED_VALUE_VEC_INDEXOF_STRING_NOCASE','operands':'[order:u8]','stack':'same,\x20case-insensitive'},{'byte':0x51,'name':'TYPED_VALUE_VEC_INDEXOF_NUMBER','operands':'[order:u8]','stack':'numeric\x20Vec\x20+\x20number\x20→\x20U64'},{'byte':0x5a,'name':'TYPE_LOGIC_EQUAL','operands':'[count:u8]\x20(2..=8)','stack':'N\x20same-type\x20operands\x20→\x20Bool'},{'byte':0x5b,'name':'TYPE_LOGIC_AS_U256_GREATER','operands':'[count:u8]','stack':'N\x20numbers\x20strictly\x20decreasing\x20(as\x20u256)\x20→\x20Bool'},{'byte':0x5c,'name':'TYPE_LOGIC_AS_U256_GREATER_EQUAL','operands':'[count:u8]','stack':'N\x20numbers\x20non-increasing\x20→\x20Bool'},{'byte':0x5d,'name':'TYPE_LOGIC_AS_U256_LESSER','operands':'[count:u8]','stack':'N\x20numbers\x20strictly\x20increasing\x20→\x20Bool'},{'byte':0x5e,'name':'TYPE_LOGIC_AS_U256_LESSER_EQUAL','operands':'[count:u8]','stack':'N\x20numbers\x20non-decreasing\x20→\x20Bool'},{'byte':0x5f,'name':'TYPE_LOGIC_AS_U256_EQUAL','operands':'[count:u8]','stack':'numeric\x20equality\x20→\x20Bool'},{'byte':0x60,'name':'TYPE_LOGIC_AND','operands':'[count:u8]','stack':'N\x20Bool\x20→\x20Bool'},{'byte':0x61,'name':'TYPE_LOGIC_OR','operands':'[count:u8]','stack':'N\x20Bool\x20→\x20Bool'},{'byte':0x62,'name':'TYPE_LOGIC_NOT','operands':'none','stack':'unary\x20Bool\x20→\x20Bool'},{'byte':0x64,'name':'TYPE_ORDER_PROGRESS','operands':'none','stack':'witness:\x20top-of-stack\x20Order\x20→\x20Progress\x20(type\x20assertion)'},{'byte':0x65,'name':'TYPE_ORDER_MACHINE','operands':'none','stack':'witness:\x20Order\x20→\x20Machine'},{'byte':0x66,'name':'TYPE_ORDER_SERVICE','operands':'none','stack':'witness:\x20Order\x20→\x20Service'},{'byte':0x67,'name':'TYPE_PROGRESS_MACHINE','operands':'none','stack':'witness:\x20Progress\x20→\x20Machine'},{'byte':0x68,'name':'TYPE_ARB_ORDER','operands':'none','stack':'witness:\x20Arb\x20→\x20Order'},{'byte':0x69,'name':'TYPE_ARB_ARBITRATION','operands':'none','stack':'witness:\x20Arb\x20→\x20Arbitration'},{'byte':0x6a,'name':'TYPE_ARB_PROGRESS','operands':'none','stack':'witness:\x20Arb\x20→\x20Progress'},{'byte':0x6b,'name':'TYPE_ARB_MACHINE','operands':'none','stack':'witness:\x20Arb\x20→\x20Machine'},{'byte':0x6c,'name':'TYPE_ARB_SERVICE','operands':'none','stack':'witness:\x20Arb\x20→\x20Service'},{'byte':0xc8,'name':'TYPE_NUMBER_ADD','operands':'[count:u8]\x20(2..=8)','stack':'N\x20numbers\x20→\x20push\x20U256'},{'byte':0xc9,'name':'TYPE_NUMBER_SUBTRACT','operands':'[count:u8]','stack':'N\x20numbers\x20→\x20U256'},{'byte':0xca,'name':'TYPE_NUMBER_MULTIPLY','operands':'[count:u8]','stack':'N\x20numbers\x20→\x20U256'},{'byte':0xcb,'name':'TYPE_NUMBER_DIVIDE','operands':'[count:u8]','stack':'N\x20numbers\x20→\x20U256'},{'byte':0xcc,'name':'TYPE_NUMBER_MOD','operands':'[count:u8]','stack':'N\x20numbers\x20→\x20U256'},{'byte':0xcd,'name':'TYPE_NUMBER_ADDRESS','operands':'none','stack':'pop\x20number\x20→\x20push\x20Address'},{'byte':0xce,'name':'TYPE_NUMBER_STRING','operands':'none','stack':'pop\x20number\x20→\x20push\x20String'},{'byte':0xcf,'name':'TYPE_ADDRESS_NUMBER','operands':'none','stack':'pop\x20Address\x20→\x20push\x20U256'},{'byte':0xd0,'name':'TYPE_STRING_NUMBER','operands':'none','stack':'pop\x20String\x20→\x20push\x20U256'},{'byte':0xdc,'name':'TYPE_SAFE_U8','operands':'none','stack':'pop\x20number\x20→\x20push\x20U8\x20(abort\x20on\x20overflow)'},{'byte':0xdd,'name':'TYPE_SAFE_U16','operands':'none','stack':'→\x20U16'},{'byte':0xde,'name':'TYPE_SAFE_U32','operands':'none','stack':'→\x20U32'},{'byte':0xdf,'name':'TYPE_SAFE_U64','operands':'none','stack':'→\x20U64'},{'byte':0xe0,'name':'TYPE_SAFE_U128','operands':'none','stack':'→\x20U128'},{'byte':0xe1,'name':'TYPE_SAFE_U256','operands':'none','stack':'→\x20U256'}];const OPCODE_BY_BYTE=new Map(OPCODE_SPECS['map'](a=>[a['byte'],a])),OPCODE_BY_NAME=new Map(OPCODE_SPECS['map'](a=>[a['name'],a]));export function opcodeByByte(a){return OPCODE_BY_BYTE['get'](a);}export function opcodeByName(a){return OPCODE_BY_NAME['get'](a);}export const COMMON_MOVE_MISALIGNED=[];export const QUERY_REGISTRY=[{'id':0x3e9,'name':'permission.description','object':'Permission','return_type':'String','params':[]},{'id':0x3ea,'name':'permission.owner','object':'Permission','return_type':'Address','params':[]},{'id':0x3eb,'name':'permission.admin\x20count','object':'Permission','return_type':'U64','params':[]},{'id':0x3ec,'name':'permission.admin\x20has','object':'Permission','return_type':'Bool','params':['Address']},{'id':0x3ed,'name':'permission.entity\x20count','object':'Permission','return_type':'U64','params':[]},{'id':0x3ee,'name':'permission.entity\x20has','object':'Permission','return_type':'Bool','params':['Address']},{'id':0x3ef,'name':'permission.entity.perm\x20count','object':'Permission','return_type':'U64','params':['Address']},{'id':0x3f0,'name':'permission.entity.perm\x20has','object':'Permission','return_type':'Bool','params':['Address','U16']},{'id':0x3f1,'name':'permission.perm.remark\x20count','object':'Permission','return_type':'U64','params':[]},{'id':0x3f2,'name':'permission.perm.remark\x20has','object':'Permission','return_type':'Bool','params':['U16']},{'id':0x3f3,'name':'permission.perm.remark','object':'Permission','return_type':'String','params':['U16']},{'id':0x3f4,'name':'permission.um\x20some','object':'Permission','return_type':'Bool','params':[]},{'id':0x3f5,'name':'permission.um','object':'Permission','return_type':'Address','params':[]},{'id':0x41a,'name':'allocation.description','object':'Allocation','return_type':'String','params':[]},{'id':0x41b,'name':'allocation.balance','object':'Allocation','return_type':'U64','params':[]},{'id':0x41c,'name':'allocation.threshold','object':'Allocation','return_type':'U64','params':[]},{'id':0x41d,'name':'allocation.payment\x20count','object':'Allocation','return_type':'U64','params':[]},{'id':0x41e,'name':'allocation.payment\x20has','object':'Allocation','return_type':'Bool','params':['Address']},{'id':0x41f,'name':'allocation.payment_info.for\x20some','object':'Allocation','return_type':'Bool','params':[],'note':'original\x20registration,\x20id\x20unchanged\x20(08\x20§六\x20F-1);\x20reachable'},{'id':0x420,'name':'allocation.payment_info.for','object':'Allocation','return_type':'Address','params':[]},{'id':0x421,'name':'allocation.payment_info.guard\x20some','object':'Allocation','return_type':'Bool','params':[]},{'id':0x422,'name':'allocation.payment_info.guard','object':'Allocation','return_type':'Address','params':[]},{'id':0x423,'name':'allocation.payment_info.remark','object':'Allocation','return_type':'String','params':[]},{'id':0x424,'name':'allocation.payment_info.index','object':'Allocation','return_type':'U64','params':[]},{'id':0x425,'name':'allocation.allocator\x20count','object':'Allocation','return_type':'U64','params':[]},{'id':0x426,'name':'allocation.allocator\x20has','object':'Allocation','return_type':'Bool','params':['Address']},{'id':0x427,'name':'allocation.allocator.sharing\x20count','object':'Allocation','return_type':'U64','params':['Address']},{'id':0x428,'name':'allocation.allocator.fix','object':'Allocation','return_type':'U64','params':['Address']},{'id':0x429,'name':'allocation.allocator.max\x20some','object':'Allocation','return_type':'Bool','params':['Address']},{'id':0x42a,'name':'allocation.allocator.max','object':'Allocation','return_type':'U64','params':['Address']},{'id':0x42b,'name':'allocation.token_type','object':'Allocation','return_type':'String','params':[]},{'id':0x42c,'name':'allocation.payment_info\x20has','object':'Allocation','return_type':'Bool','params':[],'note':'added\x202026-09-08\x20under\x20a\x20NEW\x20id\x20(08\x20§六\x20F-1):\x20payment_info\x20None\x20before\x20first\x20allocation\x20run'},{'id':0x44c,'name':'payment.amount','object':'Payment','return_type':'U64','params':[]},{'id':0x44d,'name':'payment.time','object':'Payment','return_type':'U64','params':[]},{'id':0x44e,'name':'payment.signer','object':'Payment','return_type':'Address','params':[]},{'id':0x44f,'name':'payment.from_object\x20some','object':'Payment','return_type':'Bool','params':[]},{'id':0x450,'name':'payment.from_object','object':'Payment','return_type':'Address','params':[]},{'id':0x451,'name':'payment.record\x20count','object':'Payment','return_type':'U64','params':[]},{'id':0x452,'name':'payment.info.for\x20some','object':'Payment','return_type':'Bool','params':[]},{'id':0x453,'name':'payment.info.for','object':'Payment','return_type':'Address','params':[]},{'id':0x454,'name':'payment.info.guard\x20some','object':'Payment','return_type':'Bool','params':[]},{'id':0x455,'name':'payment.info.guard','object':'Payment','return_type':'Address','params':[]},{'id':0x456,'name':'payment.info.remark','object':'Payment','return_type':'String','params':[]},{'id':0x457,'name':'payment.info.index','object':'Payment','return_type':'U64','params':[]},{'id':0x458,'name':'payment.recipient\x20has','object':'Payment','return_type':'Bool','params':['Address']},{'id':0x459,'name':'payment.recipient.amount','object':'Payment','return_type':'U64','params':['Address']},{'id':0x45a,'name':'payment.token_type','object':'Payment','return_type':'String','params':[]},{'id':0x47e,'name':'repository.description','object':'Repository','return_type':'String','params':[]},{'id':0x47f,'name':'repository.policy\x20count','object':'Repository','return_type':'U64','params':[]},{'id':0x480,'name':'repository.data\x20count','object':'Repository','return_type':'U64','params':[]},{'id':0x481,'name':'repository.permission','object':'Repository','return_type':'Address','params':[]},{'id':0x482,'name':'repository.policy\x20has','object':'Repository','return_type':'Bool','params':['String']},{'id':0x483,'name':'repository.policy.description','object':'Repository','return_type':'String','params':['String']},{'id':0x484,'name':'repository.policy.write_guard\x20count','object':'Repository','return_type':'U64','params':['String']},{'id':0x485,'name':'repository.policy.write_guard\x20has','object':'Repository','return_type':'Bool','params':['String','Address']},{'id':0x486,'name':'repository.policy.write_guard.id_from_submission\x20some','object':'Repository','return_type':'Bool','params':['String','Address']},{'id':0x487,'name':'repository.policy.write_guard.id_from_submission','object':'Repository','return_type':'U8','params':['String','Address']},{'id':0x488,'name':'repository.policy.write_guard.data_from_submission\x20some','object':'Repository','return_type':'Bool','params':['String','Address']},{'id':0x489,'name':'repository.policy.write_guard.data_from_submission','object':'Repository','return_type':'U8','params':['String','Address']},{'id':0x48a,'name':'repository.policy.quote_guard\x20some','object':'Repository','return_type':'Bool','params':['String']},{'id':0x48b,'name':'repository.policy.quote_guard','object':'Repository','return_type':'Address','params':['String']},{'id':0x48c,'name':'repository.policy.id_from','object':'Repository','return_type':'U8','params':['String']},{'id':0x48d,'name':'repository.policy.value_type','object':'Repository','return_type':'U8','params':['String']},{'id':0x48e,'name':'repository.data\x20has','object':'Repository','return_type':'Bool','params':['String','Address']},{'id':0x48f,'name':'repository.data','object':'Repository','return_type':'Value','params':['String','Address'],'note':'the\x20ONLY\x20query\x20with\x20a\x20quote_guard\x20read-gate\x20(guard\x20must\x20appear\x20in\x20Passport\x20impack_list)'},{'id':0x490,'name':'repository.data_type','object':'Repository','return_type':'U8','params':['String','Address']},{'id':0x491,'name':'repository.reward\x20count','object':'Repository','return_type':'U64','params':[]},{'id':0x492,'name':'repository.reward\x20has','object':'Repository','return_type':'Bool','params':['Address']},{'id':0x493,'name':'repository.um\x20some','object':'Repository','return_type':'Bool','params':[]},{'id':0x494,'name':'repository.um','object':'Repository','return_type':'Address','params':[]},{'id':0x4b0,'name':'machine.description','object':'Machine','return_type':'String','params':[]},{'id':0x4b1,'name':'machine.node_count','object':'Machine','return_type':'U64','params':[]},{'id':0x4b2,'name':'machine.node\x20has','object':'Machine','return_type':'Bool','params':['String']},{'id':0x4b3,'name':'machine.node.pair\x20count','object':'Machine','return_type':'U64','params':['String']},{'id':0x4b4,'name':'machine.node.pair\x20has','object':'Machine','return_type':'Bool','params':['String','String']},{'id':0x4b5,'name':'machine.node.pair.threshold','object':'Machine','return_type':'U32','params':['String','String']},{'id':0x4b6,'name':'machine.node.pair.forward\x20count','object':'Machine','return_type':'U64','params':['String','String']},{'id':0x4b7,'name':'machine.node.pair.forward\x20has','object':'Machine','return_type':'Bool','params':['String','String','String']},{'id':0x4b8,'name':'machine.node.pair.forward.namedOperator\x20some','object':'Machine','return_type':'Bool','params':['String','String','String']},{'id':0x4b9,'name':'machine.node.pair.forward.namedOperator','object':'Machine','return_type':'String','params':['String','String','String']},{'id':0x4ba,'name':'machine.node.pair.forward.permissionIndex\x20some','object':'Machine','return_type':'Bool','params':['String','String','String']},{'id':0x4bb,'name':'machine.node.pair.forward.permissionIndex','object':'Machine','return_type':'U64','params':['String','String','String']},{'id':0x4bc,'name':'machine.node.pair.forward.weight','object':'Machine','return_type':'U16','params':['String','String','String']},{'id':0x4bd,'name':'machine.node.pair.forward.guard\x20some','object':'Machine','return_type':'Bool','params':['String','String','String']},{'id':0x4be,'name':'machine.node.pair.forward.guard','object':'Machine','return_type':'Address','params':['String','String','String']},{'id':0x4bf,'name':'machine.node.pair.forward.guard.retained_submission','object':'Machine','return_type':'VectorU8','params':['String','String','String']},{'id':0x4c0,'name':'machine.node.pair.forward.guard.retained_submission\x20count','object':'Machine','return_type':'U64','params':['String','String','String']},{'id':0x4c1,'name':'machine.node.pair.forward.guard.retained_submission\x20has','object':'Machine','return_type':'Bool','params':['String','String','String','U8']},{'id':0x4c2,'name':'machine.consensus_repository\x20count','object':'Machine','return_type':'U64','params':[]},{'id':0x4c3,'name':'machine.consensus_repository\x20has','object':'Machine','return_type':'Bool','params':['Address']},{'id':0x4c4,'name':'machine.paused','object':'Machine','return_type':'Bool','params':[]},{'id':0x4c5,'name':'machine.published','object':'Machine','return_type':'Bool','params':[]},{'id':0x4c6,'name':'machine.um\x20some','object':'Machine','return_type':'Bool','params':[]},{'id':0x4c7,'name':'machine.um','object':'Machine','return_type':'Address','params':[]},{'id':0x4c8,'name':'machine.permission','object':'Machine','return_type':'Address','params':[]},{'id':0x4e2,'name':'progress.machine','object':'Progress','return_type':'Address','params':[]},{'id':0x4e3,'name':'progress.context_repository\x20count','object':'Progress','return_type':'U64','params':[]},{'id':0x4e4,'name':'progress.context_repository\x20has','object':'Progress','return_type':'Bool','params':['Address']},{'id':0x4e5,'name':'progress.current','object':'Progress','return_type':'String','params':[]},{'id':0x4e6,'name':'progress.task\x20some','object':'Progress','return_type':'Bool','params':[]},{'id':0x4e7,'name':'progress.task','object':'Progress','return_type':'Address','params':[]},{'id':0x4e8,'name':'progress.namedOperator\x20count','object':'Progress','return_type':'U64','params':[]},{'id':0x4e9,'name':'progress.namedOperator\x20has','object':'Progress','return_type':'Bool','params':['String']},{'id':0x4ea,'name':'progress.namedOperator.operator\x20count','object':'Progress','return_type':'U64','params':['String']},{'id':0x4eb,'name':'progress.namedOperator.operator\x20has','object':'Progress','return_type':'Bool','params':['String','Address']},{'id':0x4ec,'name':'progress.session\x20count','object':'Progress','return_type':'U64','params':[]},{'id':0x4ed,'name':'progress.session\x20has','object':'Progress','return_type':'Bool','params':['String']},{'id':0x4ee,'name':'progress.session.forward\x20count','object':'Progress','return_type':'U64','params':['String']},{'id':0x4ef,'name':'progress.session.forward\x20has','object':'Progress','return_type':'Bool','params':['String','String']},{'id':0x4f0,'name':'progress.session.forward.who\x20some','object':'Progress','return_type':'Bool','params':['String','String']},{'id':0x4f1,'name':'progress.session.forward.who','object':'Progress','return_type':'Address','params':['String','String']},{'id':0x4f2,'name':'progress.session.forward.retained_submission\x20count','object':'Progress','return_type':'U64','params':['String','String']},{'id':0x4f3,'name':'progress.session.forward.retained_submission\x20has','object':'Progress','return_type':'Bool','params':['String','String','U8']},{'id':0x4f4,'name':'progress.session.forward.retained_submission.value','object':'Progress','return_type':'VectorU8','params':['String','String','U8']},{'id':0x4f5,'name':'progress.session.forward.msg','object':'Progress','return_type':'String','params':['String','String']},{'id':0x4f6,'name':'progress.session.forward.accomplished','object':'Progress','return_type':'Bool','params':['String','String']},{'id':0x4f7,'name':'progress.session.forward.time','object':'Progress','return_type':'U64','params':['String','String']},{'id':0x4f8,'name':'progress.current_time','object':'Progress','return_type':'U64','params':[]},{'id':0x4f9,'name':'progress.history\x20count','object':'Progress','return_type':'U64','params':[]},{'id':0x4fa,'name':'progress.history.find','object':'Progress','return_type':'U64','params':['VectorU8']},{'id':0x4fb,'name':'progress.history.session.find','object':'Progress','return_type':'U64','params':['U64','VectorU8']},{'id':0x4fc,'name':'progress.history.session.forward.find','object':'Progress','return_type':'U64','params':['U64','U64','VectorU8']},{'id':0x4fd,'name':'progress.history.session.count','object':'Progress','return_type':'U64','params':['U64']},{'id':0x4fe,'name':'progress.history.session.forward.count','object':'Progress','return_type':'U64','params':['U64','U64']},{'id':0x4ff,'name':'progress.history.session.forward.retained_submission.count','object':'Progress','return_type':'U64','params':['U64','U64','U64']},{'id':0x546,'name':'arbitration.description','object':'Arbitration','return_type':'String','params':[]},{'id':0x547,'name':'arbitration.location','object':'Arbitration','return_type':'String','params':[]},{'id':0x548,'name':'arbitration.voting_guard\x20count','object':'Arbitration','return_type':'U64','params':[]},{'id':0x549,'name':'arbitration.voting_guard\x20has','object':'Arbitration','return_type':'Bool','params':['Address']},{'id':0x54a,'name':'arbitration.usage_guard\x20some','object':'Arbitration','return_type':'Bool','params':[],'note':'reachable\x202026-09-08\x20(08\x20§六\x20F-2):\x20the\x20competing\x20vote_weight\x20registration\x20is\x20commented\x20out\x20in\x20natives\x20—\x20no\x20shadow'},{'id':0x54b,'name':'arbitration.usage_guard','object':'Arbitration','return_type':'Address','params':[]},{'id':0x54c,'name':'arbitration.fee','object':'Arbitration','return_type':'U64','params':[]},{'id':0x54d,'name':'arbitration.balance','object':'Arbitration','return_type':'U64','params':[]},{'id':0x54e,'name':'arbitration.paused','object':'Arbitration','return_type':'Bool','params':[]},{'id':0x54f,'name':'arbitration.um\x20some','object':'Arbitration','return_type':'Bool','params':[]},{'id':0x550,'name':'arbitration.um','object':'Arbitration','return_type':'Address','params':[]},{'id':0x551,'name':'arbitration.permission','object':'Arbitration','return_type':'Address','params':[]},{'id':0x552,'name':'arbitration.token_type','object':'Arbitration','return_type':'String','params':[]},{'id':0x578,'name':'arb.description','object':'Arb','return_type':'String','params':[]},{'id':0x579,'name':'arb.order','object':'Arb','return_type':'Address','params':[]},{'id':0x57a,'name':'arb.arbitration','object':'Arb','return_type':'Address','params':[]},{'id':0x57b,'name':'arb.voted_count','object':'Arb','return_type':'U64','params':[]},{'id':0x57c,'name':'arb.voted\x20has','object':'Arb','return_type':'Bool','params':['Address']},{'id':0x57d,'name':'arb.voted.agree\x20count','object':'Arb','return_type':'U64','params':['Address']},{'id':0x57e,'name':'arb.voted.agree\x20has','object':'Arb','return_type':'Bool','params':['Address','U8']},{'id':0x57f,'name':'arb.voted.weight','object':'Arb','return_type':'U32','params':['Address']},{'id':0x580,'name':'arb.voted.time','object':'Arb','return_type':'U64','params':['Address']},{'id':0x581,'name':'arb.proposition\x20count','object':'Arb','return_type':'U64','params':[]},{'id':0x582,'name':'arb.proposition\x20has','object':'Arb','return_type':'Bool','params':['String']},{'id':0x583,'name':'arb.proposition.votes','object':'Arb','return_type':'U64','params':['String']},{'id':0x584,'name':'arb.fee','object':'Arb','return_type':'U64','params':[]},{'id':0x585,'name':'arb.feedback','object':'Arb','return_type':'String','params':[]},{'id':0x586,'name':'arb.indemnity\x20some','object':'Arb','return_type':'Bool','params':[]},{'id':0x587,'name':'arb.indemnity.amount','object':'Arb','return_type':'U64','params':[]},{'id':0x588,'name':'arb.indemnity.time','object':'Arb','return_type':'U64','params':[]},{'id':0x589,'name':'arb.voting_deadline\x20some','object':'Arb','return_type':'Bool','params':[]},{'id':0x58a,'name':'arb.voting_deadline','object':'Arb','return_type':'U64','params':[]},{'id':0x58b,'name':'arb.objection','object':'Arb','return_type':'String','params':[]},{'id':0x58c,'name':'arb.status','object':'Arb','return_type':'U8','params':[]},{'id':0x58d,'name':'arb.compensation_time\x20some','object':'Arb','return_type':'Bool','params':[]},{'id':0x58e,'name':'arb.compensation_time','object':'Arb','return_type':'U64','params':[]},{'id':0x58f,'name':'arb.time','object':'Arb','return_type':'U64','params':[]},{'id':0x590,'name':'arb.token_type','object':'Arb','return_type':'String','params':[]},{'id':0x5aa,'name':'service.description','object':'Service','return_type':'String','params':[]},{'id':0x5ab,'name':'service.location','object':'Service','return_type':'String','params':[]},{'id':0x5ac,'name':'service.sale\x20count','object':'Service','return_type':'U64','params':[]},{'id':0x5ad,'name':'service.sale\x20has','object':'Service','return_type':'Bool','params':['String']},{'id':0x5ae,'name':'service.sale.price','object':'Service','return_type':'U64','params':['String']},{'id':0x5af,'name':'service.sale.stock','object':'Service','return_type':'U64','params':['String']},{'id':0x5b0,'name':'service.sale.suspension','object':'Service','return_type':'Bool','params':['String']},{'id':0x5b1,'name':'service.sale.wip','object':'Service','return_type':'String','params':['String']},{'id':0x5b2,'name':'service.sale.wip_hash','object':'Service','return_type':'String','params':['String']},{'id':0x5b3,'name':'service.repository\x20count','object':'Service','return_type':'U64','params':[]},{'id':0x5b4,'name':'service.repository\x20has','object':'Service','return_type':'Bool','params':['Address']},{'id':0x5b5,'name':'service.buy_guard\x20some','object':'Service','return_type':'Bool','params':[]},{'id':0x5b6,'name':'service.buy_guard','object':'Service','return_type':'Address','params':[]},{'id':0x5b7,'name':'service.machine\x20some','object':'Service','return_type':'Bool','params':[]},{'id':0x5b8,'name':'service.machine','object':'Service','return_type':'Address','params':[]},{'id':0x5b9,'name':'service.published','object':'Service','return_type':'Bool','params':[]},{'id':0x5ba,'name':'service.paused','object':'Service','return_type':'Bool','params':[]},{'id':0x5bb,'name':'service.customer_required\x20count','object':'Service','return_type':'U64','params':[]},{'id':0x5bc,'name':'service.customer_required\x20has','object':'Service','return_type':'Bool','params':['String']},{'id':0x5bd,'name':'service.arbitration\x20count','object':'Service','return_type':'U64','params':[]},{'id':0x5be,'name':'service.arbitration\x20has','object':'Service','return_type':'Bool','params':['Address']},{'id':0x5bf,'name':'service.compensation_fund','object':'Service','return_type':'U64','params':[]},{'id':0x5c0,'name':'service.paused_time\x20some','object':'Service','return_type':'Bool','params':[]},{'id':0x5c1,'name':'service.paused_time','object':'Service','return_type':'U64','params':[]},{'id':0x5c2,'name':'service.setting_lock_duration','object':'Service','return_type':'U64','params':[]},{'id':0x5c3,'name':'service.order_allocators\x20some','object':'Service','return_type':'Bool','params':[]},{'id':0x5c4,'name':'service.order_allocators.description','object':'Service','return_type':'String','params':[]},{'id':0x5c5,'name':'service.order_allocators.threshold','object':'Service','return_type':'U64','params':[]},{'id':0x5c6,'name':'service.order_allocators.allocator\x20count','object':'Service','return_type':'U64','params':[]},{'id':0x5c7,'name':'service.order_allocators.allocator\x20has','object':'Service','return_type':'Bool','params':['Address'],'note':'name\x20fixed\x202026-09-08\x20(08\x20§六\x20F-5):\x20registry\x20typo\x20\x27allocatcor\x27\x20corrected\x20in\x20natives\x20+\x20SDK'},{'id':0x5c8,'name':'service.order_allocators.allocator.sharing\x20count','object':'Service','return_type':'U64','params':['Address']},{'id':0x5c9,'name':'service.order_allocators.allocator.fix','object':'Service','return_type':'U64','params':['Address']},{'id':0x5ca,'name':'service.order_allocators.allocator.max\x20some','object':'Service','return_type':'Bool','params':['Address']},{'id':0x5cb,'name':'service.order_allocators.allocator.max','object':'Service','return_type':'U64','params':['Address']},{'id':0x5cc,'name':'service.reward\x20count','object':'Service','return_type':'U64','params':[]},{'id':0x5cd,'name':'service.reward\x20has','object':'Service','return_type':'Bool','params':['Address']},{'id':0x5ce,'name':'service.um\x20some','object':'Service','return_type':'Bool','params':[]},{'id':0x5cf,'name':'service.um','object':'Service','return_type':'Address','params':[]},{'id':0x5d0,'name':'service.permission','object':'Service','return_type':'Address','params':[]},{'id':0x5d1,'name':'service.token_type','object':'Service','return_type':'String','params':[]},{'id':0x60e,'name':'order.item\x20count','object':'Order','return_type':'U64','params':[]},{'id':0x60f,'name':'order.item\x20has','object':'Order','return_type':'Bool','params':['String']},{'id':0x610,'name':'order.item.price','object':'Order','return_type':'U64','params':['String']},{'id':0x611,'name':'order.item.quantity','object':'Order','return_type':'U64','params':['String']},{'id':0x612,'name':'order.item.wip_hash','object':'Order','return_type':'String','params':['String']},{'id':0x613,'name':'order.discount\x20some','object':'Order','return_type':'Bool','params':[]},{'id':0x614,'name':'order.discount','object':'Order','return_type':'Address','params':[]},{'id':0x615,'name':'order.progress\x20some','object':'Order','return_type':'Bool','params':[]},{'id':0x616,'name':'order.progress','object':'Order','return_type':'Address','params':[]},{'id':0x617,'name':'order.machine\x20some','object':'Order','return_type':'Bool','params':[]},{'id':0x618,'name':'order.machine','object':'Order','return_type':'Address','params':[]},{'id':0x619,'name':'order.amount','object':'Order','return_type':'U64','params':[]},{'id':0x61a,'name':'order.owner','object':'Order','return_type':'Address','params':[]},{'id':0x61b,'name':'order.service','object':'Order','return_type':'Address','params':[]},{'id':0x61c,'name':'order.dispute\x20count','object':'Order','return_type':'U64','params':[]},{'id':0x61d,'name':'order.dispute\x20has','object':'Order','return_type':'Bool','params':['Address']},{'id':0x61e,'name':'order.agent\x20count','object':'Order','return_type':'U64','params':[]},{'id':0x61f,'name':'order.agent\x20has','object':'Order','return_type':'Bool','params':['Address']},{'id':0x620,'name':'order.allocation\x20some','object':'Order','return_type':'Bool','params':[]},{'id':0x621,'name':'order.allocation','object':'Order','return_type':'Address','params':[]},{'id':0x622,'name':'order.claimed_by\x20some','object':'Order','return_type':'Bool','params':[]},{'id':0x623,'name':'order.claimed_by','object':'Order','return_type':'Address','params':[]},{'id':0x624,'name':'order.required_info\x20some','object':'Order','return_type':'Bool','params':[]},{'id':0x625,'name':'order.required_info','object':'Order','return_type':'Address','params':[]},{'id':0x626,'name':'order.time','object':'Order','return_type':'U64','params':[]},{'id':0x640,'name':'reward.description','object':'Reward','return_type':'String','params':[]},{'id':0x641,'name':'reward.guard\x20count','object':'Reward','return_type':'U64','params':[]},{'id':0x642,'name':'reward.guard\x20has','object':'Reward','return_type':'Bool','params':['Address']},{'id':0x643,'name':'reward.guard.recipient.variant','object':'Reward','return_type':'U8','params':['Address']},{'id':0x644,'name':'reward.guard.amount','object':'Reward','return_type':'U64','params':['Address']},{'id':0x645,'name':'reward.guard.expiration_time\x20some','object':'Reward','return_type':'Bool','params':['Address']},{'id':0x646,'name':'reward.guard.expiration_time','object':'Reward','return_type':'U64','params':['Address']},{'id':0x647,'name':'reward.guard.store_from_id\x20some','object':'Reward','return_type':'Bool','params':['Address']},{'id':0x648,'name':'reward.guard.store_from_id','object':'Reward','return_type':'U8','params':['Address']},{'id':0x649,'name':'reward.balance','object':'Reward','return_type':'U64','params':[]},{'id':0x64a,'name':'reward.guard_not_added_expiration_time\x20some','object':'Reward','return_type':'Bool','params':[]},{'id':0x64b,'name':'reward.guard_not_added_expiration_time','object':'Reward','return_type':'U64','params':[]},{'id':0x64c,'name':'reward.record\x20count','object':'Reward','return_type':'U64','params':[]},{'id':0x64d,'name':'reward.record\x20has','object':'Reward','return_type':'Bool','params':['Address']},{'id':0x64e,'name':'reward.record.total','object':'Reward','return_type':'U64','params':['Address']},{'id':0x64f,'name':'reward.record.amount\x20count','object':'Reward','return_type':'U64','params':['Address']},{'id':0x650,'name':'reward.record.amount\x20has','object':'Reward','return_type':'Bool','params':['Address','U64']},{'id':0x651,'name':'reward.record.amount.guard','object':'Reward','return_type':'Address','params':['Address','U64']},{'id':0x652,'name':'reward.record.amount.amount','object':'Reward','return_type':'U64','params':['Address','U64']},{'id':0x653,'name':'reward.record.amount.time','object':'Reward','return_type':'U64','params':['Address','U64']},{'id':0x654,'name':'reward.record.amount.store_from_id\x20some','object':'Reward','return_type':'Bool','params':['Address','U64']},{'id':0x655,'name':'reward.record.amount.store_from_id','object':'Reward','return_type':'Address','params':['Address','U64']},{'id':0x656,'name':'reward.permission','object':'Reward','return_type':'Address','params':[],'note':'verified\x202026-09-08\x20(08\x20§六\x20F-3):\x20registration\x20+\x20handler\x20+\x20SDK\x20all\x20return\x20Address\x20—\x20usable'},{'id':0x657,'name':'reward.um\x20some','object':'Reward','return_type':'Bool','params':[]},{'id':0x658,'name':'reward.um','object':'Reward','return_type':'Address','params':[]},{'id':0x659,'name':'reward.token_type','object':'Reward','return_type':'String','params':[]},{'id':0x65a,'name':'reward.record.find_first','object':'Reward','return_type':'U64','params':['VectorU8']},{'id':0x65b,'name':'reward.record.find_last','object':'Reward','return_type':'U64','params':['VectorU8']},{'id':0x65c,'name':'reward.record.count_where','object':'Reward','return_type':'U64','params':['VectorU8']},{'id':0x65d,'name':'reward.record.exists_where','object':'Reward','return_type':'Bool','params':['VectorU8']},{'id':0x672,'name':'demand.description','object':'Demand','return_type':'String','params':[]},{'id':0x673,'name':'demand.location','object':'Demand','return_type':'String','params':[]},{'id':0x674,'name':'demand.reward\x20count','object':'Demand','return_type':'U64','params':[]},{'id':0x675,'name':'demand.reward\x20has','object':'Demand','return_type':'Bool','params':['Address']},{'id':0x676,'name':'demand.guard\x20count','object':'Demand','return_type':'U64','params':[]},{'id':0x677,'name':'demand.guard\x20has','object':'Demand','return_type':'Bool','params':['Address']},{'id':0x678,'name':'demand.guard.service_identifier\x20some','object':'Demand','return_type':'Bool','params':['Address']},{'id':0x679,'name':'demand.guard.service_identifier','object':'Demand','return_type':'U8','params':['Address']},{'id':0x67a,'name':'demand.presenter\x20count','object':'Demand','return_type':'U64','params':[]},{'id':0x67b,'name':'demand.presenter\x20has','object':'Demand','return_type':'Bool','params':['Address']},{'id':0x67c,'name':'demand.presenter.recommend','object':'Demand','return_type':'String','params':['Address']},{'id':0x67d,'name':'demand.presenter.service\x20some','object':'Demand','return_type':'Bool','params':['Address']},{'id':0x67e,'name':'demand.presenter.service','object':'Demand','return_type':'Address','params':['Address']},{'id':0x67f,'name':'demand.presenter.update_time','object':'Demand','return_type':'U64','params':['Address']},{'id':0x680,'name':'demand.presenter.acceptance_score\x20some','object':'Demand','return_type':'Bool','params':['Address']},{'id':0x681,'name':'demand.presenter.acceptance_score','object':'Demand','return_type':'U8','params':['Address']},{'id':0x682,'name':'demand.presenter.feedback','object':'Demand','return_type':'String','params':['Address']},{'id':0x683,'name':'demand.presenter.feedback_time','object':'Demand','return_type':'U64','params':['Address']},{'id':0x684,'name':'demand.um\x20some','object':'Demand','return_type':'Bool','params':[]},{'id':0x685,'name':'demand.um','object':'Demand','return_type':'Address','params':[]},{'id':0x686,'name':'demand.permission','object':'Demand','return_type':'Address','params':[]},{'id':0x6a4,'name':'discount.name','object':'Discount','return_type':'String','params':[]},{'id':0x6a5,'name':'discount.discount_type','object':'Discount','return_type':'U8','params':[]},{'id':0x6a6,'name':'discount.benchmark\x20some','object':'Discount','return_type':'Bool','params':[]},{'id':0x6a7,'name':'discount.benchmark','object':'Discount','return_type':'U64','params':[]},{'id':0x6a8,'name':'discount.off','object':'Discount','return_type':'U64','params':[]},{'id':0x6a9,'name':'discount.time_start','object':'Discount','return_type':'U64','params':[]},{'id':0x6aa,'name':'discount.time_end','object':'Discount','return_type':'U64','params':[]},{'id':0x6ab,'name':'discount.service','object':'Discount','return_type':'Address','params':[]},{'id':0x6ac,'name':'discount.transferable','object':'Discount','return_type':'Bool','params':[]},{'id':0x6d6,'name':'entityRegistrar.entity\x20count','object':'EntityRegistrar','return_type':'U64','params':[]},{'id':0x6d7,'name':'entityRegistrar.entity\x20has','object':'EntityRegistrar','return_type':'Bool','params':['Address']},{'id':0x6d8,'name':'entityRegistrar.entity_description','object':'EntityRegistrar','return_type':'String','params':['Address']},{'id':0x6d9,'name':'entityRegistrar.entity_time','object':'EntityRegistrar','return_type':'U64','params':['Address']},{'id':0x6da,'name':'entityRegistrar.entity_referrer\x20some','object':'EntityRegistrar','return_type':'Bool','params':['Address']},{'id':0x6db,'name':'entityRegistrar.entity_referrer','object':'EntityRegistrar','return_type':'Address','params':['Address']},{'id':0x6dc,'name':'entityRegistrar.entity_resource\x20some','object':'EntityRegistrar','return_type':'Bool','params':['Address']},{'id':0x6dd,'name':'entityRegistrar.entity_resource','object':'EntityRegistrar','return_type':'Address','params':['Address']},{'id':0x6de,'name':'entityRegistrar.entity_records\x20count','object':'EntityRegistrar','return_type':'U64','params':['Address']},{'id':0x6df,'name':'entityRegistrar.entity_records\x20has','object':'EntityRegistrar','return_type':'Bool','params':['Address','String']},{'id':0x6e0,'name':'entityRegistrar.entity_records','object':'EntityRegistrar','return_type':'Value','params':['Address','String']},{'id':0x708,'name':'EntityLinker.entity\x20count','object':'EntityLinker','return_type':'U64','params':[]},{'id':0x709,'name':'EntityLinker.entity\x20has','object':'EntityLinker','return_type':'Bool','params':['Address']},{'id':0x70a,'name':'EntityLinker.entity_voted\x20count','object':'EntityLinker','return_type':'U32','params':['Address']},{'id':0x70b,'name':'EntityLinker.entity_voted_record\x20has','object':'EntityLinker','return_type':'Bool','params':['Address','Address']},{'id':0x70c,'name':'EntityLinker.entity_voted_record','object':'EntityLinker','return_type':'U8','params':['Address','Address']},{'id':0x70d,'name':'EntityLinker.entity_voted_record.like','object':'EntityLinker','return_type':'Bool','params':['Address','Address']},{'id':0x70e,'name':'EntityLinker.entity_voted_record.dislike','object':'EntityLinker','return_type':'Bool','params':['Address','Address']},{'id':0x70f,'name':'EntityLinker.entity_voted_record.favor','object':'EntityLinker','return_type':'Bool','params':['Address','Address']},{'id':0x710,'name':'EntityLinker.entity_voted_record.time','object':'EntityLinker','return_type':'U64','params':['Address','Address']},{'id':0x73a,'name':'resource.object\x20count','object':'Resource','return_type':'U64','params':[]},{'id':0x73b,'name':'resource.object\x20has','object':'Resource','return_type':'Bool','params':['Address']},{'id':0x73c,'name':'resource.object.name','object':'Resource','return_type':'String','params':['Address']},{'id':0x73d,'name':'resource.object.tag\x20count','object':'Resource','return_type':'U64','params':['Address']},{'id':0x73e,'name':'resource.object.tag\x20has','object':'Resource','return_type':'Bool','params':['Address','String']},{'id':0x76c,'name':'treasury.description','object':'Treasury','return_type':'String','params':[]},{'id':0x76d,'name':'treasury.balance','object':'Treasury','return_type':'U64','params':[]},{'id':0x76e,'name':'treasury.history\x20count','object':'Treasury','return_type':'U64','params':[]},{'id':0x76f,'name':'treasury.history\x20has','object':'Treasury','return_type':'Bool','params':['Address']},{'id':0x770,'name':'treasury.history.op','object':'Treasury','return_type':'U8','params':['Address']},{'id':0x771,'name':'treasury.history.signer','object':'Treasury','return_type':'Address','params':['Address']},{'id':0x772,'name':'treasury.history.external_guard\x20some','object':'Treasury','return_type':'Bool','params':['Address']},{'id':0x773,'name':'treasury.history.external_guard','object':'Treasury','return_type':'Address','params':['Address']},{'id':0x774,'name':'treasury.history.amount','object':'Treasury','return_type':'U64','params':['Address']},{'id':0x775,'name':'treasury.history.time','object':'Treasury','return_type':'U64','params':['Address']},{'id':0x776,'name':'treasury.history.store_from_id\x20some','object':'Treasury','return_type':'Bool','params':['Address']},{'id':0x777,'name':'treasury.history.store_from_id','object':'Treasury','return_type':'Address','params':['Address']},{'id':0x778,'name':'treasury.external_deposit_guard\x20count','object':'Treasury','return_type':'U64','params':[]},{'id':0x779,'name':'treasury.external_deposit_guard\x20has','object':'Treasury','return_type':'Bool','params':['Address']},{'id':0x77a,'name':'treasury.external_deposit_guard.identifier\x20some','object':'Treasury','return_type':'Bool','params':['Address']},{'id':0x77b,'name':'treasury.external_deposit_guard.identifier','object':'Treasury','return_type':'U8','params':['Address']},{'id':0x77c,'name':'treasury.external_deposit_guard.store_from_id\x20some','object':'Treasury','return_type':'Bool','params':['Address']},{'id':0x77d,'name':'treasury.external_deposit_guard.store_from_id','object':'Treasury','return_type':'U8','params':['Address']},{'id':0x77e,'name':'treasury.external_withdraw_guard\x20count','object':'Treasury','return_type':'U64','params':[]},{'id':0x77f,'name':'treasury.external_withdraw_guard\x20has','object':'Treasury','return_type':'Bool','params':['Address']},{'id':0x780,'name':'treasury.external_withdraw_guard.identifier','object':'Treasury','return_type':'U8','params':['Address']},{'id':0x781,'name':'treasury.external_withdraw_guard.store_from_id\x20some','object':'Treasury','return_type':'Bool','params':['Address']},{'id':0x782,'name':'treasury.external_withdraw_guard.store_from_id','object':'Treasury','return_type':'U8','params':['Address']},{'id':0x783,'name':'treasury.inflow','object':'Treasury','return_type':'U128','params':[]},{'id':0x784,'name':'treasury.outflow','object':'Treasury','return_type':'U128','params':[]},{'id':0x785,'name':'treasury.permission','object':'Treasury','return_type':'Address','params':[]},{'id':0x786,'name':'treasury.um\x20some','object':'Treasury','return_type':'Bool','params':[]},{'id':0x787,'name':'treasury.um','object':'Treasury','return_type':'Address','params':[]},{'id':0x788,'name':'treasury.token_type','object':'Treasury','return_type':'String','params':[]},{'id':0x79e,'name':'proof.proof','object':'Proof','return_type':'VectorU8','params':[]},{'id':0x79f,'name':'proof.item_count\x20some','object':'Proof','return_type':'Bool','params':[]},{'id':0x7a0,'name':'proof.item_count','object':'Proof','return_type':'U64','params':[]},{'id':0x7a1,'name':'proof.description','object':'Proof','return_type':'String','params':[]},{'id':0x7a2,'name':'proof.server_pubkey','object':'Proof','return_type':'VectorU8','params':[]},{'id':0x7a3,'name':'proof.server_signature','object':'Proof','return_type':'VectorU8','params':[]},{'id':0x7a4,'name':'proof.about\x20some','object':'Proof','return_type':'Bool','params':[]},{'id':0x7a5,'name':'proof.about','object':'Proof','return_type':'Address','params':[]},{'id':0x7a6,'name':'proof.signer','object':'Proof','return_type':'Address','params':[]},{'id':0x7a7,'name':'proof.proof_type','object':'Proof','return_type':'U64','params':[]},{'id':0x7a8,'name':'proof.time','object':'Proof','return_type':'U64','params':[]},{'id':0x7d0,'name':'contact.description','object':'Contact','return_type':'String','params':[]},{'id':0x7d1,'name':'contact.location','object':'Contact','return_type':'String','params':[]},{'id':0x7d2,'name':'contact.ims\x20count','object':'Contact','return_type':'U64','params':[]},{'id':0x7d3,'name':'contact.ims\x20has','object':'Contact','return_type':'Bool','params':['Address']},{'id':0x7d4,'name':'contact.ims.status','object':'Contact','return_type':'String','params':['Address']},{'id':0x7d5,'name':'contact.ims.join_time','object':'Contact','return_type':'U64','params':['Address']},{'id':0x7d6,'name':'contact.ims.description','object':'Contact','return_type':'String','params':['Address']},{'id':0x7d7,'name':'contact.permission','object':'Contact','return_type':'Address','params':[]},{'id':0x802,'name':'passport.guard\x20count','object':'Passport','return_type':'U64','params':[]},{'id':0x803,'name':'passport.result','object':'Passport','return_type':'Bool','params':[]},{'id':0x804,'name':'passport.tx_hash','object':'Passport','return_type':'VectorU8','params':[]},{'id':0x805,'name':'passport.impack\x20count','object':'Passport','return_type':'U64','params':[]},{'id':0x806,'name':'passport.impack\x20has','object':'Passport','return_type':'Bool','params':['Address']},{'id':0x807,'name':'passport.time','object':'Passport','return_type':'U64','params':[]},{'id':0x808,'name':'passport.signer','object':'Passport','return_type':'Address','params':[]},{'id':0x809,'name':'passport.has_verified','object':'Passport','return_type':'Bool','params':[]},{'id':0x80a,'name':'passport.guard.result','object':'Passport','return_type':'Bool','params':['Address']},{'id':0x80b,'name':'passport.guard.impack','object':'Passport','return_type':'Bool','params':['Address']},{'id':0x80c,'name':'passport.guard.relies_logic_and','object':'Passport','return_type':'Bool','params':['Address']},{'id':0x80d,'name':'passport.guard.relies_count','object':'Passport','return_type':'U64','params':['Address']},{'id':0x80e,'name':'passport.guard.relies\x20has','object':'Passport','return_type':'Bool','params':['Address','Address']},{'id':0x80f,'name':'passport.guard.submission\x20count','object':'Passport','return_type':'U64','params':['Address']},{'id':0x810,'name':'passport.guard.submission\x20has','object':'Passport','return_type':'Bool','params':['Address','U8']},{'id':0x811,'name':'passport.guard.submission.value','object':'Passport','return_type':'Value','params':['Address','U8']},{'id':0x834,'name':'entity_permission.entity\x20has','object':'EntityPermission','return_type':'Bool','params':['Address']},{'id':0x835,'name':'entity_permission.entity\x20count','object':'EntityPermission','return_type':'U64','params':['Address']},{'id':0x836,'name':'entity_permission.entity.perm','object':'EntityPermission','return_type':'U8','params':['Address','Address']},{'id':0x837,'name':'entity_permission.entity.is_owner','object':'EntityPermission','return_type':'Bool','params':['Address','Address']},{'id':0x838,'name':'entity_permission.entity.is_admin','object':'EntityPermission','return_type':'Bool','params':['Address','Address']},{'id':0x839,'name':'entity_permission.entity.is_entity','object':'EntityPermission','return_type':'Bool','params':['Address','Address']},{'id':0x83a,'name':'entity_permission.entity.permission.time','object':'EntityPermission','return_type':'U64','params':['Address','Address']},{'id':0x866,'name':'entity_contact.entity\x20has','object':'EntityContact','return_type':'Bool','params':['Address']},{'id':0x867,'name':'entity_contact.entity\x20count','object':'EntityContact','return_type':'U64','params':['Address']},{'id':0x868,'name':'entity_contact.entity.contact.time','object':'EntityContact','return_type':'U64','params':['Address','Address']},{'id':0x898,'name':'object_linker.core\x20has','object':'ObjectLinkerCore','return_type':'Bool','params':['Address']},{'id':0x899,'name':'object_linker.core\x20count','object':'ObjectLinkerCore','return_type':'U64','params':['Address']},{'id':0x89a,'name':'object_linker.core.who.time','object':'ObjectLinkerCore','return_type':'U64','params':['Address','Address']},{'id':0x89b,'name':'object_linker.tx\x20has','object':'ObjectLinkerTx','return_type':'Bool','params':['Address']},{'id':0x89c,'name':'object_linker.tx\x20count','object':'ObjectLinkerTx','return_type':'U64','params':['Address']},{'id':0x89d,'name':'object_linker.tx.who.time','object':'ObjectLinkerTx','return_type':'U64','params':['Address','Address']},{'id':0x89e,'name':'object_linker.core.who\x20has','object':'ObjectLinkerCore','return_type':'Bool','params':['Address','Address']},{'id':0x89f,'name':'object_linker.tx.who\x20has','object':'ObjectLinkerTx','return_type':'Bool','params':['Address','Address']},{'id':0x8ca,'name':'entity_order.entity\x20has','object':'EntityOrder','return_type':'Bool','params':['Address']},{'id':0x8cb,'name':'entity_order.entity\x20count','object':'EntityOrder','return_type':'U64','params':['Address']},{'id':0x8cc,'name':'entity_order.entity.order','object':'EntityOrder','return_type':'U8','params':['Address','Address']},{'id':0x8cd,'name':'entity_order.entity.order.is_owner','object':'EntityOrder','return_type':'Bool','params':['Address','Address']},{'id':0x8ce,'name':'entity_order.entity.order.is_agent','object':'EntityOrder','return_type':'Bool','params':['Address','Address']},{'id':0x8cf,'name':'entity_order.entity.order.time','object':'EntityOrder','return_type':'U64','params':['Address','Address']}];export function getQueryById(a){return QUERY_REGISTRY['find'](b=>b['id']===a);}export function queriesByObject(a){return QUERY_REGISTRY['filter'](b=>b['object']===a&&!b['unreachable']);}export function queryByName(a){return QUERY_REGISTRY['find'](b=>b['name']===a&&!b['unreachable']);}export const QUERY_BANDS=[{'from':0x3e9,'to':0x3f5,'object':'Permission','count':0xd},{'from':0x41a,'to':0x42c,'object':'Allocation','count':0x13},{'from':0x44c,'to':0x45a,'object':'Payment','count':0xf},{'from':0x47e,'to':0x494,'object':'Repository','count':0x17},{'from':0x4b0,'to':0x4c8,'object':'Machine','count':0x19},{'from':0x4e2,'to':0x4ff,'object':'Progress','count':0x1e},{'from':0x546,'to':0x552,'object':'Arbitration','count':0xd},{'from':0x578,'to':0x590,'object':'Arb','count':0x19},{'from':0x5aa,'to':0x5d1,'object':'Service','count':0x28},{'from':0x60e,'to':0x626,'object':'Order','count':0x19},{'from':0x640,'to':0x65d,'object':'Reward','count':0x1e},{'from':0x672,'to':0x686,'object':'Demand','count':0x15},{'from':0x6a4,'to':0x6ac,'object':'Discount','count':0x9},{'from':0x6d6,'to':0x6e0,'object':'EntityRegistrar','count':0xb},{'from':0x708,'to':0x710,'object':'EntityLinker','count':0x9},{'from':0x73a,'to':0x73e,'object':'Resource','count':0x5},{'from':0x76c,'to':0x788,'object':'Treasury','count':0x1d},{'from':0x79e,'to':0x7a8,'object':'Proof','count':0xb},{'from':0x7d0,'to':0x7d7,'object':'Contact','count':0x8},{'from':0x802,'to':0x811,'object':'Passport','count':0x10},{'from':0x834,'to':0x83a,'object':'EntityPermission','count':0x7},{'from':0x866,'to':0x868,'object':'EntityContact','count':0x3},{'from':0x898,'to':0x89a,'object':'ObjectLinkerCore','count':0x3},{'from':0x89b,'to':0x89d,'object':'ObjectLinkerTx','count':0x3},{'from':0x89e,'to':0x89e,'object':'ObjectLinkerCore','count':0x1},{'from':0x89f,'to':0x89f,'object':'ObjectLinkerTx','count':0x1},{'from':0x8ca,'to':0x8cf,'object':'EntityOrder','count':0x6}];export const SERIALIZATION={'operand_order':'reverse-logical','op_code_position':'after-operands','count_byte':'after-op_code\x20(multi-operand\x20ops)','query_param_position':'after-op_byte\x20(subcode/identifier/query_id)','u16_endian':'little\x20(BCS)','final_stack':'exactly\x20one\x20Bool\x20(or\x20TYPE_VALUE)'};export const GUARD_LIMITS={'MAX_INPUT_SIZE':0x400,'MAX_TABLE_SIZE':0x9c40,'MAX_DEPENDED_COUNT':0x4,'MAX_TABLE_ENTRIES':0xff,'MAX_NUMBER_OPERANDS':0x8,'MAX_LOGIC_OPERANDS':0x8,'MAX_STRING_OPERANDS':0x6,'MAX_NESTING_DEPTH':0x8,'PASSPORT_MAX_GUARD_COUNT':0x14,'PASSPORT_MAX_SUBMISSION_SIZE':0x100};

package/dist/knowledge/guard-design-patterns.d.ts

@@ -34,4 +34,4 @@ export declare function suggestPatternForRequirement(requirement: string): {
     best: GuardDesignPattern;
     alternatives: GuardDesignPattern[];
 };
-export declare const GUARD_DESIGN_PATTERNS_VERSION = 1;
+export declare const GUARD_DESIGN_PATTERNS_VERSION = 2;