@wowok/agent-mcp 3.2.7 → 3.3.0

package/dist/knowledge/guard-render.js

@@ -1 +1 @@
-export function walkGuardTree(a,b){const c=[a];while(c['length']>0x0){const d=c['pop']();if(!d||typeof d!=='object')continue;b(d);if(Array['isArray'](d['nodes']))c['push'](...d['nodes']);if(d['node'])c['push'](d['node']);if(d['nodeLeft'])c['push'](d['nodeLeft']);if(d['nodeRight'])c['push'](d['nodeRight']);if(Array['isArray'](d['parameters']))c['push'](...d['parameters']);if(d['historyIdx'])c['push'](d['historyIdx']);if(d['sessionIdx'])c['push'](d['sessionIdx']);if(d['forwardIdx'])c['push'](d['forwardIdx']);if(d['where'])c['push'](d['where']);if(d['find'])c['push'](d['find']);if(d['objectLeft'])c['push'](d['objectLeft']);if(d['objectRight'])c['push'](d['objectRight']);if(d['recipient'])c['push'](d['recipient']);}}export const GUARD_UNARY_CHILD_TYPES=new Set(['logic_not','value_type','vec_length','calc_string_length','convert_number_address','convert_address_number','convert_number_string','convert_string_number','convert_safe_u8','convert_safe_u16','convert_safe_u32','convert_safe_u64','convert_safe_u128','convert_safe_u256']);export function validateGuardTreeShape(a,b='/root'){const c=[],d=f=>[['node',f['node']],['nodeLeft',f['nodeLeft']],['nodeRight',f['nodeRight']],['historyIdx',f['historyIdx']],['sessionIdx',f['sessionIdx']],['forwardIdx',f['forwardIdx']]],e=(f,g)=>{if(f===undefined||f===null)return;if(Array['isArray'](f)){f['forEach']((j,k)=>e(j,g+'/'+k));return;}if(typeof f!=='object'){c['push']({'path':g,'message':'expected\x20a\x20Guard\x20node\x20object,\x20found\x20'+typeof f});return;}const h=f;if(typeof h['type']!=='string'||h['type']['length']===0x0){c['push']({'path':g,'message':'Guard\x20node\x20is\x20missing\x20its\x20string\x20\x27type\x27\x20(keys:\x20'+(Object['keys'](h)['join'](',\x20')||'none')+')'});return;}if(GUARD_UNARY_CHILD_TYPES['has'](h['type'])){if(h['node']===undefined||h['node']===null){const i=Array['isArray'](h['nodes'])?'\x20—\x20\x27nodes\x27\x20was\x20used,\x20but\x20this\x20operator\x20takes\x20a\x20single\x20\x27node\x27\x20child':'';c['push']({'path':g+'/node','message':'\x27'+h['type']+'\x27\x20requires\x20its\x20\x27node\x27\x20child'+i});}}for(const [j,k]of d(h))e(k,g+'/'+j);if(Array['isArray'](h['nodes']))e(h['nodes'],g+'/nodes');if(Array['isArray'](h['parameters']))e(h['parameters'],g+'/parameters');};return e(a,b),c;}function categorizeNodeType(a){if(a['startsWith']('logic_'))return'decision';if(a==='context')return'context';if(a==='identifier')return'leaf';if(a==='query')return'query';if(a['startsWith']('calc_')||a['startsWith']('convert_'))return'computation';if(a['startsWith']('vec_'))return'computation';if(a['startsWith']('query_reward_')||a['startsWith']('query_progress_'))return'query';return'computation';}function shortNodeLabel(a){const b=a['type'];switch(b){case'logic_and':return'AND';case'logic_or':return'OR';case'logic_not':return'NOT';case'logic_equal':return'==';case'logic_as_u256_equal':return'==#';case'logic_as_u256_greater':return'>';case'logic_as_u256_greater_or_equal':return'>=';case'logic_as_u256_lesser':return'<';case'logic_as_u256_lesser_or_equal':return'<=';case'logic_string_contains':return'contains';case'logic_string_nocase_contains':return'contains~';case'logic_string_nocase_equal':return'==~';case'calc_number_add':return'+';case'calc_number_subtract':return'-';case'calc_number_multiply':return'*';case'calc_number_divide':return'/';case'calc_number_mod':return'%';case'calc_string_length':return'len';case'calc_string_contains':return'contains';case'calc_string_nocase_contains':return'contains~';case'calc_string_nocase_equal':return'==~';case'calc_string_indexof':return'indexOf';case'calc_string_nocase_indexof':return'indexOf~';case'convert_number_address':return'→Addr';case'convert_address_number':return'→Num';case'convert_number_string':return'→Str';case'convert_string_number':return'→Num';case'convert_safe_u8':return'→U8';case'convert_safe_u16':return'→U16';case'convert_safe_u32':return'→U32';case'convert_safe_u64':return'→U64';case'convert_safe_u128':return'→U128';case'convert_safe_u256':return'→U256';case'value_type':return'typeOf';case'vec_length':return'len';case'vec_contains_bool':return'∈?';case'vec_contains_address':return'∈?';case'vec_contains_string':return'∈?';case'vec_contains_string_nocase':return'∈?~';case'vec_contains_number':return'∈?';case'vec_indexof_bool':return'idx';case'vec_indexof_address':return'idx';case'vec_indexof_string':return'idx';case'vec_indexof_string_nocase':return'idx~';case'vec_indexof_number':return'idx';case'query':return'Q:'+(typeof a['query']==='number'?'#'+a['query']:a['query']);case'query_reward_record_count':return'reward.count';case'query_reward_record_exists':return'reward.exists';case'query_reward_record_find':return'reward.find';case'query_progress_history_find':return'history.find';case'query_progress_history_session_find':return'session.find';case'query_progress_history_session_forward_find':return'forward.find';case'query_progress_history_session_count':return'session.count';case'query_progress_history_session_forward_count':return'forward.count';case'query_progress_history_session_forward_retained_submission_count':return'retained.count';case'query_repository_data_count_where':return'repo.count';case'query_repository_data_sum_where':return'repo.sum';case'query_repository_data_find_where':return'repo.find';case'query_repository_data_keys_where':return'repo.keys.where';case'query_repository_policies_keys':return'repo.keys';case'identifier':return'id['+(a['identifier']??'?')+']';case'context':return a['context']??'ctx';default:return b;}}let nodeIdCounter=0x0;function makeNodeId(a){return nodeIdCounter++,a+'_'+nodeIdCounter;}function sanitizeMermaidLabel(a){if(/[<>"\[\]{}()|&]/['test'](a))return'\x22'+a['replace'](/"/g,'\x27')+'\x22';return a;}const GUARD_NODE_COLORS={'control':{'fill':'#3b82f6','stroke':'#1e40af'},'decision':{'fill':'#f59e0b','stroke':'#92400e'},'computation':{'fill':'#8b5cf6','stroke':'#6d28d9'},'query':{'fill':'#06b6d4','stroke':'#0e7490'},'leaf':{'fill':'#6b7280','stroke':'#374151'},'context':{'fill':'#10b981','stroke':'#065f46'}};function colorCategoryForNodeType(a){if(a==='logic_and'||a==='logic_or')return'control';if(a==='logic_not'||a['startsWith']('logic_'))return'decision';if(a['startsWith']('calc_')||a['startsWith']('convert_')||a['startsWith']('vec_'))return'computation';if(a==='query'||a['startsWith']('query_'))return'query';if(a==='identifier')return'leaf';if(a==='context')return'context';return'computation';}export function renderGuardMermaid(a,b){const c=b?.['colored']!==![];nodeIdCounter=0x0;const d=['flowchart\x20TD'];c&&(d['push']('\x20\x20%%\x20Color\x20Legend\x20(BehaviorTree.CPP-inspired\x20semantic\x20roles):'),d['push']('\x20\x20%%\x20\x20\x20blue\x20\x20\x20#3b82f6\x20-\x20control\x20\x20\x20\x20\x20(logic_and,\x20logic_or)'),d['push']('\x20\x20%%\x20\x20\x20amber\x20\x20#f59e0b\x20-\x20decision\x20\x20\x20\x20(logic_not,\x20comparisons)'),d['push']('\x20\x20%%\x20\x20\x20purple\x20#8b5cf6\x20-\x20computation\x20(calc_*,\x20convert_*,\x20vec_*)'),d['push']('\x20\x20%%\x20\x20\x20cyan\x20\x20\x20#06b6d4\x20-\x20query\x20\x20\x20\x20\x20\x20\x20(query,\x20query_*)'),d['push']('\x20\x20%%\x20\x20\x20gray\x20\x20\x20#6b7280\x20-\x20leaf\x20\x20\x20\x20\x20\x20\x20\x20(identifier)'),d['push']('\x20\x20%%\x20\x20\x20green\x20\x20#10b981\x20-\x20context\x20\x20\x20\x20\x20(Signer,\x20Clock,\x20Guard)'),d['push']('\x20\x20%%\x20Node\x20shapes:\x20{}=decision,\x20[]=computation/query,\x20([])=leaf,\x20{{}}=context'));const e=[],f=[],g=[];function h(i,j,k){const l=makeNodeId('n'),m=categorizeNodeType(i['type']),n=shortNodeLabel(i);let o='[',p=']';switch(m){case'decision':o='{',p='}';break;case'context':o='{{',p='}}';break;case'leaf':o='([',p='])';break;case'query':case'computation':default:o='[',p=']';break;}e['push'](''+l+o+sanitizeMermaidLabel(n)+p),g['push']({'id':l,'type':i['type']});j&&(k?f['push']('\x20\x20'+j+'\x20-->\x20'+l+':\x20'+sanitizeMermaidLabel(k)):f['push']('\x20\x20'+j+'\x20-->\x20'+l));i['nodes']&&Array['isArray'](i['nodes'])&&i['nodes']['forEach']((q,r)=>{h(q,l,'['+r+']');});i['node']&&h(i['node'],l,'child');i['nodeLeft']&&h(i['nodeLeft'],l,'left');i['nodeRight']&&h(i['nodeRight'],l,'right');i['parameters']&&Array['isArray'](i['parameters'])&&i['parameters']['forEach']((q,r)=>{h(q,l,'param['+r+']');});if(i['historyIdx'])h(i['historyIdx'],l,'historyIdx');if(i['sessionIdx'])h(i['sessionIdx'],l,'sessionIdx');if(i['forwardIdx'])h(i['forwardIdx'],l,'forwardIdx');if(i['where'])h(i['where'],l,'where');if(i['find'])h(i['find'],l,'find');if(i['objectLeft'])h(i['objectLeft'],l,'objLeft');if(i['objectRight'])h(i['objectRight'],l,'objRight');if(i['recipient'])h(i['recipient'],l,'recipient');return l;}h(a),d['push'](...e['map'](i=>'\x20\x20'+i)),d['push'](...f);if(c){d['push'](''),d['push']('\x20\x20%%\x20Node\x20colors\x20(BehaviorTree.CPP-inspired\x20semantic\x20roles)');for(const {id:i,type:j}of g){const k=colorCategoryForNodeType(j),l=GUARD_NODE_COLORS[k];d['push']('\x20\x20style\x20'+i+'\x20fill:'+l['fill']+',stroke:'+l['stroke']+',color:#fff');}}return d['join']('\x0a');}export function renderGuardTreeIndented(a){const {root:b,table:c,guardName:d,guardAddress:e,rely:f}=a,h=[];function i(k){const l=k['type'];if(l==='identifier'){const m=c?.['find'](o=>o['identifier']===k['identifier']),n=m?.['name']?'\x20\x22'+m['name']+'\x22':'';return'identifier['+(k['identifier']??'?')+']'+n;}if(l==='context')return'context('+(k['context']??'?')+')';if(l==='query'){const o=k['object']?.['convert_witness'],p=k['object']?.['identifier'],q=o!==undefined?',\x20witness='+o:'',r=p!==undefined?',\x20id['+p+']':'',s=k['parameters']&&k['parameters']['length']>0x0?',\x20params=['+k['parameters']['map'](u=>shortNodeLabel(u))['join'](',\x20')+']':'';return'query('+(typeof k['query']==='number'?'#'+k['query']:k['query'])+r+q+s+')';}return shortNodeLabel(k);}function j(k,l,m){const n='\x20\x20'['repeat'](l),o=l===0x0?'-\x20':'-\x20',p=m?m+':\x20':'',q=!k['nodes']&&!k['node']&&!k['nodeLeft']&&!k['nodeRight']&&!k['parameters']?.['length']&&!k['historyIdx']&&!k['sessionIdx']&&!k['forwardIdx']&&!k['where']&&!k['find']&&!k['objectLeft']&&!k['objectRight']&&!k['recipient'];q?h['push'](''+n+o+p+i(k)):h['push'](''+n+o+p+k['type']);k['nodes']&&Array['isArray'](k['nodes'])&&k['nodes']['forEach']((r,s)=>j(r,l+0x1,'child['+s+']'));k['node']&&j(k['node'],l+0x1,'child');k['nodeLeft']&&j(k['nodeLeft'],l+0x1,'left');k['nodeRight']&&j(k['nodeRight'],l+0x1,'right');k['parameters']&&Array['isArray'](k['parameters'])&&k['parameters']['forEach']((r,s)=>j(r,l+0x1,'param['+s+']'));if(k['historyIdx'])j(k['historyIdx'],l+0x1,'historyIdx');if(k['sessionIdx'])j(k['sessionIdx'],l+0x1,'sessionIdx');if(k['forwardIdx'])j(k['forwardIdx'],l+0x1,'forwardIdx');if(k['where'])j(k['where'],l+0x1,'where');if(k['find'])j(k['find'],l+0x1,'find');if(k['objectLeft'])j(k['objectLeft'],l+0x1,'objLeft');if(k['objectRight'])j(k['objectRight'],l+0x1,'objRight');if(k['recipient'])j(k['recipient'],l+0x1,'recipient');}h['push']('#\x20Guard\x20Tree\x20Definition'),h['push']('');d&&h['push']('**Guard:**\x20'+d);e&&h['push']('**Address:**\x20'+e);c&&h['push']('**Table\x20Entries:**\x20'+c['length']);f&&f['guards']['length']>0x0&&h['push']('**Rely:**\x20'+f['guards']['length']+'\x20guard(s)'+(f['logic_or']?'\x20(logic_or)':'\x20(logic_and)'));h['push'](''),h['push']('##\x20Root'),j(b,0x0);if(c&&c['length']>0x0){h['push'](''),h['push']('##\x20Table'),h['push'](''),h['push']('|\x20identifier\x20|\x20b_submission\x20|\x20value_type\x20|\x20value\x20|\x20name\x20|'),h['push']('|------------|-------------|------------|-------|------|');for(const k of c){const l=k['value']===undefined?'-':String(k['value']),m=l['replace'](/\|/g,'\x5c|')['replace'](/\n/g,'\x20'),n=k['name']??'-';h['push']('|\x20'+k['identifier']+'\x20|\x20'+k['b_submission']+'\x20|\x20'+k['value_type']+'\x20|\x20'+m+'\x20|\x20'+n+'\x20|');}h['push'](''),h['push']('##\x20Table\x20JSON'),h['push'](''),h['push']('```json'),h['push'](JSON['stringify'](c,null,0x2)),h['push']('```');}if(f&&f['guards']['length']>0x0){h['push'](''),h['push']('##\x20Rely'),h['push'](''),h['push']('Logic:\x20'+(f['logic_or']?'OR':'AND'));for(const o of f['guards']){h['push']('-\x20'+o);}}return h['push'](''),h['push']('##\x20JSON\x20Definition'),h['push'](''),h['push']('```json'),h['push'](JSON['stringify']({'root':b,'table':c,'guardName':d,'guardAddress':e,'rely':f},null,0x2)),h['push']('```'),h['join']('\x0a');}export function parseGuardTreeIndented(a){const b=[],c=a['matchAll'](/```json\s*\n([\s\S]*?)```/g);let d=null;for(const k of c){d=k[0x1];}if(d)try{const l=JSON['parse'](d['trim']());if(l&&typeof l==='object'){if('root'in l&&l['root']&&typeof l['root']==='object'&&'type'in l['root'])return{'success':!![],'data':l['root'],'errors':[]};if('type'in l)return{'success':!![],'data':l,'errors':[]};}}catch(m){b['push']('JSON\x20code\x20block\x20parse\x20error:\x20'+m['message']);}const f=a['split']('\x0a')['filter'](n=>n['trim']()['startsWith']('-\x20'));if(f['length']===0x0)return{'success':![],'errors':['No\x20outline\x20entries\x20found.\x20Use\x20\x27-\x20\x27\x20prefixed\x20lines\x20or\x20a\x20JSON\x20code\x20block.']};const g=[];let h=null;function i(n){const o=n['match'](/^(\s*)- /);return o?o[0x1]['length']/0x2:0x0;}function j(n){const o=n['replace'](/^\s*- /,'')['trim'](),p=o['match'](/^([^:]+):\s*(.*)$/),q=p?p[0x1]['trim']():undefined,r=p?p[0x2]['trim']():o,s=r['match'](/^identifier\[(\d+)\](?:\s+"(.+)")?$/);if(s)return{'label':q,'node':{'type':'identifier','identifier':parseInt(s[0x1],0xa)}};const t=r['match'](/^context\((\w+)\)$/);if(t)return{'label':q,'node':{'type':'context','context':t[0x1]}};const u=r['match'](/^query\((.+?)\)$/);if(u){const v=u[0x1],w=v['split'](',')['map'](A=>A['trim']()),x=w[0x0]['replace'](/^#/,''),y=/^\d+$/['test'](x),z={'type':'query','query':y?parseInt(x,0xa):x};for(const A of w['slice'](0x1)){const B=A['match'](/^id\[(\d+)\]$/);B&&(z['object']={'identifier':parseInt(B[0x1],0xa)});const C=A['match'](/^witness=(\d+)$/);C&&(z['object']={...z['object']||{},'convert_witness':parseInt(C[0x1],0xa)});}return{'label':q,'node':z};}return{'label':q,'node':{'type':r}};}for(const n of f){const o=i(n),{label:p,node:q}=j(n);if(o===0x0)h=q,g['length']=0x0,g['push']({'node':q,'depth':o});else{while(g['length']>0x0&&g[g['length']-0x1]['depth']>=o){g['pop']();}const r=g[g['length']-0x1];if(!r){b['push']('Orphaned\x20node\x20at\x20depth\x20'+o+':\x20'+n);continue;}if(p){const s=p['match'](/^child\[(\d+)\]$/),t=p['match'](/^param\[(\d+)\]$/);if(s){if(!r['node']['nodes'])r['node']['nodes']=[];r['node']['nodes']['push'](q);}else{if(t){if(!r['node']['parameters'])r['node']['parameters']=[];r['node']['parameters']['push'](q);}else{if(p==='child')r['node']['node']=q;else{if(p==='left')r['node']['nodeLeft']=q;else{if(p==='right')r['node']['nodeRight']=q;else{if(p==='historyIdx')r['node']['historyIdx']=q;else{if(p==='sessionIdx')r['node']['sessionIdx']=q;else{if(p==='forwardIdx')r['node']['forwardIdx']=q;else{if(p==='where')r['node']['where']=q;else{if(p==='find')r['node']['find']=q;else{if(p==='objLeft')r['node']['objectLeft']=q;else{if(p==='objRight')r['node']['objectRight']=q;else p==='recipient'&&(r['node']['recipient']=q);}}}}}}}}}}}}g['push']({'node':q,'depth':o});}}if(!h)return{'success':![],'errors':['No\x20root\x20node\x20found\x20in\x20outline.']};return{'success':!![],'data':h,'errors':b};}export function renderGuardAscii(a){const {root:b,table:c,guardName:d,guardAddress:e,rely:f}=a,h=[];if(d)h['push']('Guard:\x20'+d);if(e)h['push']('Address:\x20'+e);if(d||e)h['push']('');function i(m){const n=m['type'],o=shortNodeLabel(m);if(n==='identifier'){const p=c?.['find'](u=>u['identifier']===m['identifier']),q=p?'\x20['+(typeof p['value_type']==='string'?p['value_type']:'type='+p['value_type'])+']':'',r=p&&p['value']!==undefined&&!p['b_submission']?',\x20value='+String(p['value']):'',s=p?.['b_submission']?'\x20(submission)':'';return''+o+q+r+s;}if(n==='context')return o+'\x20['+(m['context']??'?')+']';if(n==='query'){const u=m['object']?.['convert_witness'],v=u!==undefined?',\x20witness='+u:'';return''+o+v;}return o;}function j(m){const n=[];m['nodes']&&Array['isArray'](m['nodes'])&&m['nodes']['forEach']((o,p)=>n['push']({'node':o,'label':'child['+p+']'}));if(m['node'])n['push']({'node':m['node'],'label':'child'});if(m['nodeLeft'])n['push']({'node':m['nodeLeft'],'label':'left'});if(m['nodeRight'])n['push']({'node':m['nodeRight'],'label':'right'});m['parameters']&&Array['isArray'](m['parameters'])&&m['parameters']['forEach']((o,p)=>n['push']({'node':o,'label':'param['+p+']'}));if(m['historyIdx'])n['push']({'node':m['historyIdx'],'label':'historyIdx'});if(m['sessionIdx'])n['push']({'node':m['sessionIdx'],'label':'sessionIdx'});if(m['forwardIdx'])n['push']({'node':m['forwardIdx'],'label':'forwardIdx'});if(m['where'])n['push']({'node':m['where'],'label':'where'});if(m['find'])n['push']({'node':m['find'],'label':'find'});if(m['objectLeft'])n['push']({'node':m['objectLeft'],'label':'objLeft'});if(m['objectRight'])n['push']({'node':m['objectRight'],'label':'objRight'});if(m['recipient'])n['push']({'node':m['recipient'],'label':'recipient'});return n;}function k(m,n,o,p){const q=o?'└─\x20':'├─\x20',r=p?p+':\x20':'';h['push'](''+n+q+r+i(m));const s=j(m),t=n+(o?'\x20\x20\x20':'│\x20\x20');s['forEach']((u,v)=>{k(u['node'],t,v===s['length']-0x1,u['label']);});}h['push'](i(b));const l=j(b);l['forEach']((m,n)=>{k(m['node'],'',n===l['length']-0x1,m['label']);});if(c&&c['length']>0x0){h['push'](''),h['push']('Table:');for(const m of c){const n=typeof m['value_type']==='string'?m['value_type']:'type='+m['value_type'],o=m['value']!==undefined&&!m['b_submission']?',\x20value='+String(m['value']):'',p=m['b_submission']?'\x20(submission)':'',q=m['name']?'\x20\x22'+m['name']+'\x22':'';h['push']('\x20\x20id['+m['identifier']+']'+q+':\x20'+n+o+p);}}if(f&&f['guards']['length']>0x0){h['push'](''),h['push']('Rely\x20('+(f['logic_or']?'OR':'AND')+'):');for(const r of f['guards']){h['push']('\x20\x20-\x20'+r);}}return h['join']('\x0a');}export function renderGuardMarkmap(a){const {root:b,table:c,guardName:d,guardAddress:e,rely:f}=a,h=[],i=d?'Guard:\x20'+d:'Guard';h['push']('#\x20'+i);if(e)h['push']('');if(e)h['push']('**Address:**\x20'+e);h['push']('');function j(m,n){return'#'['repeat'](Math['min'](m+0x1,0x6))+'\x20'+n;}function k(m){const n=m['type'],o=shortNodeLabel(m);if(n==='identifier'){const p=c?.['find'](u=>u['identifier']===m['identifier']),q=p?'\x20['+(typeof p['value_type']==='string'?p['value_type']:'type='+p['value_type'])+']':'',r=p&&p['value']!==undefined&&!p['b_submission']?',\x20value='+String(p['value']):'',s=p?.['b_submission']?'\x20(submission)':'';return''+o+q+r+s;}if(n==='context')return o+'\x20['+(m['context']??'?')+']';if(n==='query'){const u=m['object']?.['convert_witness'],v=u!==undefined?',\x20witness='+u:'';return''+o+v;}return o;}function l(m,n,o){const p=o?o+':\x20':'';h['push'](j(n,''+p+k(m)));m['nodes']&&Array['isArray'](m['nodes'])&&m['nodes']['forEach']((q,r)=>l(q,n+0x1,'child['+r+']'));if(m['node'])l(m['node'],n+0x1,'child');if(m['nodeLeft'])l(m['nodeLeft'],n+0x1,'left');if(m['nodeRight'])l(m['nodeRight'],n+0x1,'right');m['parameters']&&Array['isArray'](m['parameters'])&&m['parameters']['forEach']((q,r)=>l(q,n+0x1,'param['+r+']'));if(m['historyIdx'])l(m['historyIdx'],n+0x1,'historyIdx');if(m['sessionIdx'])l(m['sessionIdx'],n+0x1,'sessionIdx');if(m['forwardIdx'])l(m['forwardIdx'],n+0x1,'forwardIdx');if(m['where'])l(m['where'],n+0x1,'where');if(m['find'])l(m['find'],n+0x1,'find');if(m['objectLeft'])l(m['objectLeft'],n+0x1,'objLeft');if(m['objectRight'])l(m['objectRight'],n+0x1,'objRight');if(m['recipient'])l(m['recipient'],n+0x1,'recipient');}h['push'](j(0x1,'Root')),l(b,0x2);if(c&&c['length']>0x0){h['push'](''),h['push']('##\x20Table');for(const m of c){const n=typeof m['value_type']==='string'?m['value_type']:'type='+m['value_type'],o=m['value']!==undefined&&!m['b_submission']?',\x20value='+String(m['value']):'',p=m['b_submission']?'\x20(submission)':'',q=m['name']?'\x20\x22'+m['name']+'\x22':'';h['push']('-\x20id['+m['identifier']+']'+q+':\x20'+n+o+p);}}if(f&&f['guards']['length']>0x0){h['push'](''),h['push']('##\x20Rely\x20('+(f['logic_or']?'OR':'AND')+')');for(const r of f['guards']){h['push']('-\x20'+r);}}return h['join']('\x0a');}export function parseGuardTableJSON(a){const b=a['match'](/##\s*Table JSON[^\n]*\n\s*```json\s*\n([\s\S]*?)```/i);if(!b)return null;try{const c=JSON['parse'](b[0x1]['trim']());if(!Array['isArray'](c))return null;return c['filter'](d=>{return d&&typeof d==='object'&&typeof d['identifier']==='number'&&typeof d['b_submission']==='boolean';})['map'](d=>({'identifier':d['identifier'],'name':d['name'],'value_type':d['value_type'],'b_submission':d['b_submission'],'value':d['value']}));}catch{return null;}}
+export function walkGuardTree(a,b){const c=[a];while(c['length']>0x0){const d=c['pop']();if(!d||typeof d!=='object')continue;b(d);if(Array['isArray'](d['nodes']))c['push'](...d['nodes']);if(d['node'])c['push'](d['node']);if(d['nodeLeft'])c['push'](d['nodeLeft']);if(d['nodeRight'])c['push'](d['nodeRight']);if(Array['isArray'](d['parameters']))c['push'](...d['parameters']);if(d['historyIdx'])c['push'](d['historyIdx']);if(d['sessionIdx'])c['push'](d['sessionIdx']);if(d['forwardIdx'])c['push'](d['forwardIdx']);if(d['where'])c['push'](d['where']);if(d['find'])c['push'](d['find']);if(d['objectLeft'])c['push'](d['objectLeft']);if(d['objectRight'])c['push'](d['objectRight']);if(d['recipient'])c['push'](d['recipient']);}}export const GUARD_UNARY_CHILD_TYPES=new Set(['logic_not','value_type','vec_length','calc_string_length','convert_number_address','convert_address_number','convert_number_string','convert_string_number','convert_safe_u8','convert_safe_u16','convert_safe_u32','convert_safe_u64','convert_safe_u128','convert_safe_u256']);export function validateGuardTreeShape(a,b='/root'){const c=[],d=f=>[['node',f['node']],['nodeLeft',f['nodeLeft']],['nodeRight',f['nodeRight']],['historyIdx',f['historyIdx']],['sessionIdx',f['sessionIdx']],['forwardIdx',f['forwardIdx']]],e=(f,g)=>{if(f===undefined||f===null)return;if(Array['isArray'](f)){f['forEach']((j,k)=>e(j,g+'/'+k));return;}if(typeof f!=='object'){c['push']({'path':g,'message':'expected\x20a\x20Guard\x20node\x20object,\x20found\x20'+typeof f});return;}const h=f;if(typeof h['type']!=='string'||h['type']['length']===0x0){c['push']({'path':g,'message':'Guard\x20node\x20is\x20missing\x20its\x20string\x20\x27type\x27\x20(keys:\x20'+(Object['keys'](h)['join'](',\x20')||'none')+')'});return;}if(GUARD_UNARY_CHILD_TYPES['has'](h['type'])){if(h['node']===undefined||h['node']===null){const i=Array['isArray'](h['nodes'])?'\x20—\x20\x27nodes\x27\x20was\x20used,\x20but\x20this\x20operator\x20takes\x20a\x20single\x20\x27node\x27\x20child':'';c['push']({'path':g+'/node','message':'\x27'+h['type']+'\x27\x20requires\x20its\x20\x27node\x27\x20child'+i});}}for(const [j,k]of d(h))e(k,g+'/'+j);if(Array['isArray'](h['nodes']))e(h['nodes'],g+'/nodes');if(Array['isArray'](h['parameters']))e(h['parameters'],g+'/parameters');};return e(a,b),c;}function categorizeNodeType(a){if(a['startsWith']('logic_'))return'decision';if(a==='context')return'context';if(a==='identifier')return'leaf';if(a==='query')return'query';if(a['startsWith']('calc_')||a['startsWith']('convert_'))return'computation';if(a['startsWith']('vec_'))return'computation';if(a['startsWith']('query_reward_')||a['startsWith']('query_progress_'))return'query';return'computation';}function shortNodeLabel(a){const b=a['type'];switch(b){case'logic_and':return'AND';case'logic_or':return'OR';case'logic_not':return'NOT';case'logic_equal':return'==';case'logic_as_u256_equal':return'==#';case'logic_as_u256_greater':return'>';case'logic_as_u256_greater_or_equal':return'>=';case'logic_as_u256_lesser':return'<';case'logic_as_u256_lesser_or_equal':return'<=';case'logic_string_contains':return'contains';case'logic_string_nocase_contains':return'contains~';case'logic_string_nocase_equal':return'==~';case'calc_number_add':return'+';case'calc_number_subtract':return'-';case'calc_number_multiply':return'*';case'calc_number_divide':return'/';case'calc_number_mod':return'%';case'calc_string_length':return'len';case'calc_string_contains':return'contains';case'calc_string_nocase_contains':return'contains~';case'calc_string_nocase_equal':return'==~';case'calc_string_indexof':return'indexOf';case'calc_string_nocase_indexof':return'indexOf~';case'convert_number_address':return'→Addr';case'convert_address_number':return'→Num';case'convert_number_string':return'→Str';case'convert_string_number':return'→Num';case'convert_safe_u8':return'→U8';case'convert_safe_u16':return'→U16';case'convert_safe_u32':return'→U32';case'convert_safe_u64':return'→U64';case'convert_safe_u128':return'→U128';case'convert_safe_u256':return'→U256';case'value_type':return'typeOf';case'vec_length':return'len';case'vec_contains_bool':return'∈?';case'vec_contains_address':return'∈?';case'vec_contains_string':return'∈?';case'vec_contains_string_nocase':return'∈?~';case'vec_contains_number':return'∈?';case'vec_indexof_bool':return'idx';case'vec_indexof_address':return'idx';case'vec_indexof_string':return'idx';case'vec_indexof_string_nocase':return'idx~';case'vec_indexof_number':return'idx';case'query':return'Q:'+(typeof a['query']==='number'?'#'+a['query']:a['query']);case'query_reward_record_count':return'reward.count';case'query_reward_record_exists':return'reward.exists';case'query_reward_record_find':return'reward.find';case'query_progress_history_find':return'history.find';case'query_progress_history_time':return'history.time';case'query_progress_history_session_find':return'session.find';case'query_progress_history_session_forward_find':return'forward.find';case'query_progress_history_session_count':return'session.count';case'query_progress_history_session_forward_count':return'forward.count';case'query_progress_history_session_forward_retained_submission_count':return'retained.count';case'query_repository_data_count_where':return'repo.count';case'query_repository_data_sum_where':return'repo.sum';case'query_repository_data_find_where':return'repo.find';case'query_repository_data_keys_where':return'repo.keys.where';case'query_repository_policies_keys':return'repo.keys';case'identifier':return'id['+(a['identifier']??'?')+']';case'context':return a['context']??'ctx';default:return b;}}let nodeIdCounter=0x0;function makeNodeId(a){return nodeIdCounter++,a+'_'+nodeIdCounter;}function sanitizeMermaidLabel(a){if(/[<>"\[\]{}()|&]/['test'](a))return'\x22'+a['replace'](/"/g,'\x27')+'\x22';return a;}const GUARD_NODE_COLORS={'control':{'fill':'#3b82f6','stroke':'#1e40af'},'decision':{'fill':'#f59e0b','stroke':'#92400e'},'computation':{'fill':'#8b5cf6','stroke':'#6d28d9'},'query':{'fill':'#06b6d4','stroke':'#0e7490'},'leaf':{'fill':'#6b7280','stroke':'#374151'},'context':{'fill':'#10b981','stroke':'#065f46'}};function colorCategoryForNodeType(a){if(a==='logic_and'||a==='logic_or')return'control';if(a==='logic_not'||a['startsWith']('logic_'))return'decision';if(a['startsWith']('calc_')||a['startsWith']('convert_')||a['startsWith']('vec_'))return'computation';if(a==='query'||a['startsWith']('query_'))return'query';if(a==='identifier')return'leaf';if(a==='context')return'context';return'computation';}export function renderGuardMermaid(a,b){const c=b?.['colored']!==![];nodeIdCounter=0x0;const d=['flowchart\x20TD'];c&&(d['push']('\x20\x20%%\x20Color\x20Legend\x20(BehaviorTree.CPP-inspired\x20semantic\x20roles):'),d['push']('\x20\x20%%\x20\x20\x20blue\x20\x20\x20#3b82f6\x20-\x20control\x20\x20\x20\x20\x20(logic_and,\x20logic_or)'),d['push']('\x20\x20%%\x20\x20\x20amber\x20\x20#f59e0b\x20-\x20decision\x20\x20\x20\x20(logic_not,\x20comparisons)'),d['push']('\x20\x20%%\x20\x20\x20purple\x20#8b5cf6\x20-\x20computation\x20(calc_*,\x20convert_*,\x20vec_*)'),d['push']('\x20\x20%%\x20\x20\x20cyan\x20\x20\x20#06b6d4\x20-\x20query\x20\x20\x20\x20\x20\x20\x20(query,\x20query_*)'),d['push']('\x20\x20%%\x20\x20\x20gray\x20\x20\x20#6b7280\x20-\x20leaf\x20\x20\x20\x20\x20\x20\x20\x20(identifier)'),d['push']('\x20\x20%%\x20\x20\x20green\x20\x20#10b981\x20-\x20context\x20\x20\x20\x20\x20(Signer,\x20Clock,\x20Guard)'),d['push']('\x20\x20%%\x20Node\x20shapes:\x20{}=decision,\x20[]=computation/query,\x20([])=leaf,\x20{{}}=context'));const e=[],f=[],g=[];function h(i,j,k){const l=makeNodeId('n');if(!i||typeof i!=='object'||typeof i['type']!=='string')return e['push'](l+'([where\x20filter])'),j&&f['push'](k?'\x20\x20'+j+'\x20-->\x20'+l+':\x20'+sanitizeMermaidLabel(k):'\x20\x20'+j+'\x20-->\x20'+l),l;const m=categorizeNodeType(i['type']),n=shortNodeLabel(i);let o='[',p=']';switch(m){case'decision':o='{',p='}';break;case'context':o='{{',p='}}';break;case'leaf':o='([',p='])';break;case'query':case'computation':default:o='[',p=']';break;}e['push'](''+l+o+sanitizeMermaidLabel(n)+p),g['push']({'id':l,'type':i['type']});j&&(k?f['push']('\x20\x20'+j+'\x20-->\x20'+l+':\x20'+sanitizeMermaidLabel(k)):f['push']('\x20\x20'+j+'\x20-->\x20'+l));i['nodes']&&Array['isArray'](i['nodes'])&&i['nodes']['forEach']((q,r)=>{h(q,l,'['+r+']');});i['node']&&h(i['node'],l,'child');i['nodeLeft']&&h(i['nodeLeft'],l,'left');i['nodeRight']&&h(i['nodeRight'],l,'right');i['parameters']&&Array['isArray'](i['parameters'])&&i['parameters']['forEach']((q,r)=>{h(q,l,'param['+r+']');});if(i['historyIdx'])h(i['historyIdx'],l,'historyIdx');if(i['sessionIdx'])h(i['sessionIdx'],l,'sessionIdx');if(i['forwardIdx'])h(i['forwardIdx'],l,'forwardIdx');if(i['where'])h(i['where'],l,'where');if(i['find'])h(i['find'],l,'find');if(i['objectLeft'])h(i['objectLeft'],l,'objLeft');if(i['objectRight'])h(i['objectRight'],l,'objRight');if(i['recipient'])h(i['recipient'],l,'recipient');return l;}h(a),d['push'](...e['map'](i=>'\x20\x20'+i)),d['push'](...f);if(c){d['push'](''),d['push']('\x20\x20%%\x20Node\x20colors\x20(BehaviorTree.CPP-inspired\x20semantic\x20roles)');for(const {id:i,type:j}of g){const k=colorCategoryForNodeType(j),l=GUARD_NODE_COLORS[k];d['push']('\x20\x20style\x20'+i+'\x20fill:'+l['fill']+',stroke:'+l['stroke']+',color:#fff');}}return d['join']('\x0a');}export function renderGuardTreeIndented(a){const {root:b,table:c,guardName:d,guardAddress:e,rely:f}=a,h=[];function i(k){const l=k['type'];if(l==='identifier'){const m=c?.['find'](o=>o['identifier']===k['identifier']),n=m?.['name']?'\x20\x22'+m['name']+'\x22':'';return'identifier['+(k['identifier']??'?')+']'+n;}if(l==='context')return'context('+(k['context']??'?')+')';if(l==='query'){const o=k['object']?.['convert_witness'],p=k['object']?.['identifier'],q=o!==undefined?',\x20witness='+o:'',r=p!==undefined?',\x20id['+p+']':'',s=k['parameters']&&k['parameters']['length']>0x0?',\x20params=['+k['parameters']['map'](u=>shortNodeLabel(u))['join'](',\x20')+']':'';return'query('+(typeof k['query']==='number'?'#'+k['query']:k['query'])+r+q+s+')';}return shortNodeLabel(k);}function j(k,l,m){const n='\x20\x20'['repeat'](l),o=l===0x0?'-\x20':'-\x20',p=m?m+':\x20':'',q=!k['nodes']&&!k['node']&&!k['nodeLeft']&&!k['nodeRight']&&!k['parameters']?.['length']&&!k['historyIdx']&&!k['sessionIdx']&&!k['forwardIdx']&&!k['where']&&!k['find']&&!k['objectLeft']&&!k['objectRight']&&!k['recipient'];q?h['push'](''+n+o+p+i(k)):h['push'](''+n+o+p+k['type']);k['nodes']&&Array['isArray'](k['nodes'])&&k['nodes']['forEach']((r,s)=>j(r,l+0x1,'child['+s+']'));k['node']&&j(k['node'],l+0x1,'child');k['nodeLeft']&&j(k['nodeLeft'],l+0x1,'left');k['nodeRight']&&j(k['nodeRight'],l+0x1,'right');k['parameters']&&Array['isArray'](k['parameters'])&&k['parameters']['forEach']((r,s)=>j(r,l+0x1,'param['+s+']'));if(k['historyIdx'])j(k['historyIdx'],l+0x1,'historyIdx');if(k['sessionIdx'])j(k['sessionIdx'],l+0x1,'sessionIdx');if(k['forwardIdx'])j(k['forwardIdx'],l+0x1,'forwardIdx');if(k['where'])j(k['where'],l+0x1,'where');if(k['find'])j(k['find'],l+0x1,'find');if(k['objectLeft'])j(k['objectLeft'],l+0x1,'objLeft');if(k['objectRight'])j(k['objectRight'],l+0x1,'objRight');if(k['recipient'])j(k['recipient'],l+0x1,'recipient');}h['push']('#\x20Guard\x20Tree\x20Definition'),h['push']('');d&&h['push']('**Guard:**\x20'+d);e&&h['push']('**Address:**\x20'+e);c&&h['push']('**Table\x20Entries:**\x20'+c['length']);f&&f['guards']['length']>0x0&&h['push']('**Rely:**\x20'+f['guards']['length']+'\x20guard(s)'+(f['logic_or']?'\x20(logic_or)':'\x20(logic_and)'));h['push'](''),h['push']('##\x20Root'),j(b,0x0);if(c&&c['length']>0x0){h['push'](''),h['push']('##\x20Table'),h['push'](''),h['push']('|\x20identifier\x20|\x20b_submission\x20|\x20value_type\x20|\x20value\x20|\x20name\x20|'),h['push']('|------------|-------------|------------|-------|------|');for(const k of c){const l=k['value']===undefined?'-':String(k['value']),m=l['replace'](/\|/g,'\x5c|')['replace'](/\n/g,'\x20'),n=k['name']??'-';h['push']('|\x20'+k['identifier']+'\x20|\x20'+k['b_submission']+'\x20|\x20'+k['value_type']+'\x20|\x20'+m+'\x20|\x20'+n+'\x20|');}h['push'](''),h['push']('##\x20Table\x20JSON'),h['push'](''),h['push']('```json'),h['push'](JSON['stringify'](c,null,0x2)),h['push']('```');}if(f&&f['guards']['length']>0x0){h['push'](''),h['push']('##\x20Rely'),h['push'](''),h['push']('Logic:\x20'+(f['logic_or']?'OR':'AND'));for(const o of f['guards']){h['push']('-\x20'+o);}}return h['push'](''),h['push']('##\x20JSON\x20Definition'),h['push'](''),h['push']('```json'),h['push'](JSON['stringify']({'root':b,'table':c,'guardName':d,'guardAddress':e,'rely':f},null,0x2)),h['push']('```'),h['join']('\x0a');}export function parseGuardTreeIndented(a){const b=[],c=a['matchAll'](/```json\s*\n([\s\S]*?)```/g);let d=null;for(const k of c){d=k[0x1];}if(d)try{const l=JSON['parse'](d['trim']());if(l&&typeof l==='object'){if('root'in l&&l['root']&&typeof l['root']==='object'&&'type'in l['root'])return{'success':!![],'data':l['root'],'errors':[]};if('type'in l)return{'success':!![],'data':l,'errors':[]};}}catch(m){b['push']('JSON\x20code\x20block\x20parse\x20error:\x20'+m['message']);}const f=a['split']('\x0a')['filter'](n=>n['trim']()['startsWith']('-\x20'));if(f['length']===0x0)return{'success':![],'errors':['No\x20outline\x20entries\x20found.\x20Use\x20\x27-\x20\x27\x20prefixed\x20lines\x20or\x20a\x20JSON\x20code\x20block.']};const g=[];let h=null;function i(n){const o=n['match'](/^(\s*)- /);return o?o[0x1]['length']/0x2:0x0;}function j(n){const o=n['replace'](/^\s*- /,'')['trim'](),p=o['match'](/^([^:]+):\s*(.*)$/),q=p?p[0x1]['trim']():undefined,r=p?p[0x2]['trim']():o,s=r['match'](/^identifier\[(\d+)\](?:\s+"(.+)")?$/);if(s)return{'label':q,'node':{'type':'identifier','identifier':parseInt(s[0x1],0xa)}};const t=r['match'](/^context\((\w+)\)$/);if(t)return{'label':q,'node':{'type':'context','context':t[0x1]}};const u=r['match'](/^query\((.+?)\)$/);if(u){const v=u[0x1],w=v['split'](',')['map'](A=>A['trim']()),x=w[0x0]['replace'](/^#/,''),y=/^\d+$/['test'](x),z={'type':'query','query':y?parseInt(x,0xa):x};for(const A of w['slice'](0x1)){const B=A['match'](/^id\[(\d+)\]$/);B&&(z['object']={'identifier':parseInt(B[0x1],0xa)});const C=A['match'](/^witness=(\d+)$/);C&&(z['object']={...z['object']||{},'convert_witness':parseInt(C[0x1],0xa)});}return{'label':q,'node':z};}return{'label':q,'node':{'type':r}};}for(const n of f){const o=i(n),{label:p,node:q}=j(n);if(o===0x0)h=q,g['length']=0x0,g['push']({'node':q,'depth':o});else{while(g['length']>0x0&&g[g['length']-0x1]['depth']>=o){g['pop']();}const r=g[g['length']-0x1];if(!r){b['push']('Orphaned\x20node\x20at\x20depth\x20'+o+':\x20'+n);continue;}if(p){const s=p['match'](/^child\[(\d+)\]$/),t=p['match'](/^param\[(\d+)\]$/);if(s){if(!r['node']['nodes'])r['node']['nodes']=[];r['node']['nodes']['push'](q);}else{if(t){if(!r['node']['parameters'])r['node']['parameters']=[];r['node']['parameters']['push'](q);}else{if(p==='child')r['node']['node']=q;else{if(p==='left')r['node']['nodeLeft']=q;else{if(p==='right')r['node']['nodeRight']=q;else{if(p==='historyIdx')r['node']['historyIdx']=q;else{if(p==='sessionIdx')r['node']['sessionIdx']=q;else{if(p==='forwardIdx')r['node']['forwardIdx']=q;else{if(p==='where')r['node']['where']=q;else{if(p==='find')r['node']['find']=q;else{if(p==='objLeft')r['node']['objectLeft']=q;else{if(p==='objRight')r['node']['objectRight']=q;else p==='recipient'&&(r['node']['recipient']=q);}}}}}}}}}}}}g['push']({'node':q,'depth':o});}}if(!h)return{'success':![],'errors':['No\x20root\x20node\x20found\x20in\x20outline.']};return{'success':!![],'data':h,'errors':b};}export function renderGuardAscii(a){const {root:b,table:c,guardName:d,guardAddress:e,rely:f}=a,h=[];if(d)h['push']('Guard:\x20'+d);if(e)h['push']('Address:\x20'+e);if(d||e)h['push']('');function i(m){const n=m['type'],o=shortNodeLabel(m);if(n==='identifier'){const p=c?.['find'](u=>u['identifier']===m['identifier']),q=p?'\x20['+(typeof p['value_type']==='string'?p['value_type']:'type='+p['value_type'])+']':'',r=p&&p['value']!==undefined&&!p['b_submission']?',\x20value='+String(p['value']):'',s=p?.['b_submission']?'\x20(submission)':'';return''+o+q+r+s;}if(n==='context')return o+'\x20['+(m['context']??'?')+']';if(n==='query'){const u=m['object']?.['convert_witness'],v=u!==undefined?',\x20witness='+u:'';return''+o+v;}return o;}function j(m){const n=[];m['nodes']&&Array['isArray'](m['nodes'])&&m['nodes']['forEach']((o,p)=>n['push']({'node':o,'label':'child['+p+']'}));if(m['node'])n['push']({'node':m['node'],'label':'child'});if(m['nodeLeft'])n['push']({'node':m['nodeLeft'],'label':'left'});if(m['nodeRight'])n['push']({'node':m['nodeRight'],'label':'right'});m['parameters']&&Array['isArray'](m['parameters'])&&m['parameters']['forEach']((o,p)=>n['push']({'node':o,'label':'param['+p+']'}));if(m['historyIdx'])n['push']({'node':m['historyIdx'],'label':'historyIdx'});if(m['sessionIdx'])n['push']({'node':m['sessionIdx'],'label':'sessionIdx'});if(m['forwardIdx'])n['push']({'node':m['forwardIdx'],'label':'forwardIdx'});if(m['where'])n['push']({'node':m['where'],'label':'where'});if(m['find'])n['push']({'node':m['find'],'label':'find'});if(m['objectLeft'])n['push']({'node':m['objectLeft'],'label':'objLeft'});if(m['objectRight'])n['push']({'node':m['objectRight'],'label':'objRight'});if(m['recipient'])n['push']({'node':m['recipient'],'label':'recipient'});return n;}function k(m,n,o,p){const q=o?'└─\x20':'├─\x20',r=p?p+':\x20':'';h['push'](''+n+q+r+i(m));const s=j(m),t=n+(o?'\x20\x20\x20':'│\x20\x20');s['forEach']((u,v)=>{k(u['node'],t,v===s['length']-0x1,u['label']);});}h['push'](i(b));const l=j(b);l['forEach']((m,n)=>{k(m['node'],'',n===l['length']-0x1,m['label']);});if(c&&c['length']>0x0){h['push'](''),h['push']('Table:');for(const m of c){const n=typeof m['value_type']==='string'?m['value_type']:'type='+m['value_type'],o=m['value']!==undefined&&!m['b_submission']?',\x20value='+String(m['value']):'',p=m['b_submission']?'\x20(submission)':'',q=m['name']?'\x20\x22'+m['name']+'\x22':'';h['push']('\x20\x20id['+m['identifier']+']'+q+':\x20'+n+o+p);}}if(f&&f['guards']['length']>0x0){h['push'](''),h['push']('Rely\x20('+(f['logic_or']?'OR':'AND')+'):');for(const r of f['guards']){h['push']('\x20\x20-\x20'+r);}}return h['join']('\x0a');}export function renderGuardMarkmap(a){const {root:b,table:c,guardName:d,guardAddress:e,rely:f}=a,h=[],i=d?'Guard:\x20'+d:'Guard';h['push']('#\x20'+i);if(e)h['push']('');if(e)h['push']('**Address:**\x20'+e);h['push']('');function j(m,n){return'#'['repeat'](Math['min'](m+0x1,0x6))+'\x20'+n;}function k(m){const n=m['type'],o=shortNodeLabel(m);if(n==='identifier'){const p=c?.['find'](u=>u['identifier']===m['identifier']),q=p?'\x20['+(typeof p['value_type']==='string'?p['value_type']:'type='+p['value_type'])+']':'',r=p&&p['value']!==undefined&&!p['b_submission']?',\x20value='+String(p['value']):'',s=p?.['b_submission']?'\x20(submission)':'';return''+o+q+r+s;}if(n==='context')return o+'\x20['+(m['context']??'?')+']';if(n==='query'){const u=m['object']?.['convert_witness'],v=u!==undefined?',\x20witness='+u:'';return''+o+v;}return o;}function l(m,n,o){const p=o?o+':\x20':'';h['push'](j(n,''+p+k(m)));m['nodes']&&Array['isArray'](m['nodes'])&&m['nodes']['forEach']((q,r)=>l(q,n+0x1,'child['+r+']'));if(m['node'])l(m['node'],n+0x1,'child');if(m['nodeLeft'])l(m['nodeLeft'],n+0x1,'left');if(m['nodeRight'])l(m['nodeRight'],n+0x1,'right');m['parameters']&&Array['isArray'](m['parameters'])&&m['parameters']['forEach']((q,r)=>l(q,n+0x1,'param['+r+']'));if(m['historyIdx'])l(m['historyIdx'],n+0x1,'historyIdx');if(m['sessionIdx'])l(m['sessionIdx'],n+0x1,'sessionIdx');if(m['forwardIdx'])l(m['forwardIdx'],n+0x1,'forwardIdx');if(m['where'])l(m['where'],n+0x1,'where');if(m['find'])l(m['find'],n+0x1,'find');if(m['objectLeft'])l(m['objectLeft'],n+0x1,'objLeft');if(m['objectRight'])l(m['objectRight'],n+0x1,'objRight');if(m['recipient'])l(m['recipient'],n+0x1,'recipient');}h['push'](j(0x1,'Root')),l(b,0x2);if(c&&c['length']>0x0){h['push'](''),h['push']('##\x20Table');for(const m of c){const n=typeof m['value_type']==='string'?m['value_type']:'type='+m['value_type'],o=m['value']!==undefined&&!m['b_submission']?',\x20value='+String(m['value']):'',p=m['b_submission']?'\x20(submission)':'',q=m['name']?'\x20\x22'+m['name']+'\x22':'';h['push']('-\x20id['+m['identifier']+']'+q+':\x20'+n+o+p);}}if(f&&f['guards']['length']>0x0){h['push'](''),h['push']('##\x20Rely\x20('+(f['logic_or']?'OR':'AND')+')');for(const r of f['guards']){h['push']('-\x20'+r);}}return h['join']('\x0a');}export function parseGuardTableJSON(a){const b=a['match'](/##\s*Table JSON[^\n]*\n\s*```json\s*\n([\s\S]*?)```/i);if(!b)return null;try{const c=JSON['parse'](b[0x1]['trim']());if(!Array['isArray'](c))return null;return c['filter'](d=>{return d&&typeof d==='object'&&typeof d['identifier']==='number'&&typeof d['b_submission']==='boolean';})['map'](d=>({'identifier':d['identifier'],'name':d['name'],'value_type':d['value_type'],'b_submission':d['b_submission'],'value':d['value']}));}catch{return null;}}

package/dist/knowledge/guard-risk.d.ts

@@ -50,6 +50,7 @@ export interface RiskCheckContext {
     operation_type?: string;
     sharing_recipients?: ("Signer" | "Entity" | "GuardIdentifier")[];
 }
+export declare function rootReferencedIdentifiers(root: any): Set<number>;
 export declare function guardRiskFacts(ctx: RiskCheckContext): Facts;
 export declare function runGuardRulePack(ctx: RiskCheckContext): GuardRisk[];
 export declare function assembleGuardAssessment(params: {

package/dist/knowledge/guard-risk.js

@@ -1 +1 @@
-import{GUARDQUERY}from'@wowok/wowok';import{isUnboundSignerTheft}from'./recipient-constraint.js';import{factoryRulePack,getJudgmentDoc}from'../config/judgment.js';import{evaluateRuleBook}from'../config/rule-engine.js';function rootRaw(a){try{return JSON['stringify'](a)??'';}catch{return'';}}function hasSignerCheck(a){return a['includes']('\x22Signer\x22');}function hasClockCheck(a){return a['includes']('\x22Clock\x22');}function hasGuardSelfRef(a){return a['includes']('\x22Guard\x22');}function hasWitness(a){return a['includes']('\x22convert_witness\x22');}function extractWitnessCodes(a){const b=[],c=rootRaw(a),d=c['matchAll'](/"convert_witness"\s*:\s*(\d+)/g);for(const e of d){const f=parseInt(e[0x1],0xa);if(f>=0x64&&f<=0x6d)b['push'](f);}return b;}const WITNESS_CHAIN={0x64:['Order','Progress'],0x65:['Order','Machine'],0x66:['Order','Service'],0x67:['Progress','Machine'],0x68:['Arb','Order'],0x69:['Arb','Arbitration'],0x6a:['Arb','Order','Progress'],0x6b:['Arb','Order','Service'],0x6c:['Arb','Order','Machine'],0x6d:['Order','Allocation']};function extractWitnessIdentifierPairs(a){const b=[],c=new WeakSet();function d(e){if(e===null||typeof e!=='object')return;if(c['has'](e))return;c['add'](e);typeof e['convert_witness']==='number'&&typeof e['identifier']==='number'&&b['push']({'code':e['convert_witness'],'identifier':e['identifier']});for(const f of Object['keys'](e)){const g=e[f];if(Array['isArray'](g)){for(const h of g)d(h);}else g!==null&&typeof g==='object'&&d(g);}}return d(a),b;}function getChildNodes(a){if(!a||typeof a!=='object')return[];const b=[];if(Array['isArray'](a['nodes']))b['push'](...a['nodes']);if(a['left'])b['push'](a['left']);if(a['right'])b['push'](a['right']);if(a['vec'])b['push'](a['vec']);if(a['target'])b['push'](a['target']);if(a['object']&&typeof a['object']==='object')b['push'](a['object']);if(Array['isArray'](a['parameters']))b['push'](...a['parameters']);return b['filter'](d=>d&&typeof d==='object');}function findSignerLogicEqualNodes(a){const b=[];function c(d,e){if(!d||typeof d!=='object')return;if(d['type']==='logic_equal'){const f=Array['isArray'](d['nodes'])?d['nodes']:d['left']&&d['right']?[d['left'],d['right']]:[];if(f['length']===0x2){const g=f['findIndex'](h=>h?.['type']==='context'&&h?.['context']==='Signer');g>=0x0&&b['push']({'node':d,'parentType':e,'otherOperand':f[0x1-g]});}}for(const h of getChildNodes(d)){c(h,d['type']);}}return c(a,null),b;}function detectLevel1StrictBinding(a,b){const c=findSignerLogicEqualNodes(a);for(const d of c){const e=d['otherOperand'];if(e?.['type']==='identifier'){const f=b['find'](g=>g['identifier']===e['identifier']);if(f&&!f['b_submission']&&f['value_type']==='Address'&&typeof f['value']==='string'&&f['value']['length']>0x0)return{'detected':!![],'entry':{'identifier':f['identifier'],'value':f['value'],'name':f['name']}};}}return{'detected':![]};}function isSignerCheckInLogicOr(a){const b=findSignerLogicEqualNodes(a);return b['some'](c=>c['parentType']==='logic_or');}const QUERY_INVARIANT_MAP=((()=>{const a=new Map();for(const b of GUARDQUERY){b['invariant']!==undefined&&a['set'](b['id'],b['invariant']);}return a;})());function extractQueryIds(a){const b=[],c=rootRaw(a),d=c['matchAll'](/"query"\s*:\s*(\d+)/g);for(const f of d){const g=parseInt(f[0x1],0xa);if(!b['includes'](g))b['push'](g);}const e=c['matchAll'](/"query"\s*:\s*"([^"]+)"/g);for(const h of e){const i=h[0x1],j=GUARDQUERY['find'](k=>k['name']===i);if(j&&!b['includes'](j['id']))b['push'](j['id']);}return b;}function bareBoolQueryClauses(a){const b=[],c=(d,e)=>{if(e>0x40||!d||typeof d!=='object'||typeof d['type']!=='string')return;if((d['type']==='logic_and'||d['type']==='logic_or')&&Array['isArray'](d['nodes']))for(const f of d['nodes']){if(f&&typeof f==='object'&&f['type']==='query'){const g=f['query'],h=typeof g==='number'?'#'+g:typeof g==='string'?g:'(unknown\x20query)';if(!b['includes'](h))b['push'](h);}}if(Array['isArray'](d['nodes'])){for(const i of d['nodes'])c(i,e+0x1);}if(d['node'])c(d['node'],e+0x1);};return c(a,0x0),b;}function rootAllQueriesNonZero(a){const b=extractQueryIds(a);if(b['length']===0x0)return![];return b['every'](c=>QUERY_INVARIANT_MAP['has'](c));}const REENTRANCY_SPECS=[{'sceneId':'reward_claim','level':'critical','existsPrimitives':[0x64d],'countPrimitives':[0x64c],'addressPrimitives':[0x65a],'rationale':'Guard\x20pass\x20distributes\x20reward\x20funds\x20to\x20the\x20Claimant\x20AND\x20creates\x20a\x20reward_record,\x20but\x20the\x20Guard\x20conditions\x20(identity,\x20time,\x20node\x20state)\x20do\x20NOT\x20naturally\x20invalidate\x20after\x20a\x20claim.\x20'+'Without\x20an\x20explicit\x20anti-reentrancy\x20primitive,\x20the\x20same\x20Claimant\x20can\x20repeatedly\x20pass\x20the\x20Guard\x20and\x20DRAIN\x20THE\x20ENTIRE\x20POOL.\x20'+'This\x20is\x20the\x20most\x20severe\x20reentrancy\x20scene\x20—\x20direct\x20fund\x20loss.','mitigation':'Add\x20ONE\x20of\x20the\x20following\x20to\x20the\x20root\x20(wrapped\x20in\x20logic_and\x20with\x20existing\x20conditions):\x0a'+'\x20\x20-\x20logic_not(query(\x27reward.record\x20has\x27,\x20object=reward,\x20parameters=[claimant_address]))\x20—\x20RECOMMENDED\x20(per-user\x20Bool\x20check)\x0a'+'\x20\x20-\x20logic_equal([query(\x27reward.record\x20count\x27,\x20object=reward),\x20identifier(N)])\x20where\x20table[N].value=0\x20—\x20total-claim\x20count\x20is\x200\x0a'+'\x20\x20-\x20logic_not(query(\x27reward.record.find_first\x27,\x20object=reward,\x20where={...}))\x20—\x20no\x20matching\x20record\x20found\x0a'+'Reference\x20template:\x20MyShop_Advanced\x20Guard\x207\x20condition\x204\x20(logic_not(query_reward_record_exists(where.storeFromId=order_id)))'},{'sceneId':'arbitration_voting_guard','level':'critical','existsPrimitives':[0x57c,0x57e],'countPrimitives':[0x57d],'addressPrimitives':[],'rationale':'Guard\x20pass\x20counts\x20the\x20vote\x20with\x20the\x20extracted\x20weight.\x20Without\x20anti-reentrancy,\x20the\x20same\x20voter\x20can\x20vote\x20MULTIPLE\x20times,\x20'+'multiplying\x20their\x20weight\x20and\x20skewing\x20the\x20arbitration\x20result\x20—\x20which\x20directly\x20determines\x20fund\x20ownership\x20via\x20compensation.\x20'+'The\x20voter\x27s\x20eligibility\x20(identity,\x20reputation)\x20does\x20NOT\x20naturally\x20invalidate\x20after\x20voting.\x20'+'Note:\x20arb.voted_count\x20(1403)\x20is\x20total\x20voter\x20count\x20(NOT\x20per-voter)\x20and\x20does\x20NOT\x20serve\x20as\x20an\x20anti-reentrancy\x20primitive\x20for\x20an\x20individual\x20voter.','mitigation':'Add\x20ONE\x20of\x20the\x20following\x20to\x20the\x20root\x20(wrapped\x20in\x20logic_and):\x0a'+'\x20\x20-\x20logic_not(query(\x27arb.voted\x20has\x27,\x20object=arb,\x20parameters=[voter_address]))\x20—\x20RECOMMENDED\x20(per-voter\x20Bool)\x0a'+'\x20\x20-\x20logic_not(query(\x27arb.voted.agree\x20has\x27,\x20object=arb,\x20parameters=[voter_address,\x20proposition_index]))\x20—\x20per-voter-per-proposition\x0a'+'\x20\x20-\x20logic_equal([query(\x27arb.voted.agree\x20count\x27,\x20object=arb,\x20parameters=[voter_address]),\x20identifier(N)])\x20where\x20table[N].value=0'},{'sceneId':'arbitration_usage_guard','level':'high','existsPrimitives':[0x61d],'countPrimitives':[0x61c],'addressPrimitives':[],'rationale':'Guard\x20pass\x20creates\x20a\x20new\x20Arb\x20case.\x20Without\x20anti-reentrancy,\x20a\x20customer\x20can\x20create\x20multiple\x20Arb\x20cases\x20for\x20the\x20SAME\x20Order\x20'+'(up\x20to\x20MAX_DISPUTE_COUNT=10),\x20harassing\x20the\x20counterparty\x20and\x20inflating\x20arbitration\x20system\x20load.\x20'+'Not\x20direct\x20fund\x20loss,\x20but\x20severe\x20system\x20abuse.\x20Filing\x20a\x20dispute\x20deduplicates\x20by\x20Arb\x20address\x20but\x20does\x20NOT\x20prevent\x20multiple\x20distinct\x20Arbs.','mitigation':'Add\x20ONE\x20of\x20the\x20following\x20to\x20the\x20root\x20(wrapped\x20in\x20logic_and):\x0a'+'\x20\x20-\x20logic_not(query(\x27order.dispute\x20has\x27,\x20object=order,\x20parameters=[existing_arb_address]))\x20—\x20per-Arb\x20check\x0a'+'\x20\x20-\x20logic_equal([query(\x27order.dispute\x20count\x27,\x20object=order),\x20identifier(N)])\x20where\x20table[N].value=0\x20—\x20STRICT:\x20block\x20any\x20prior\x20dispute\x0a'+'\x20\x20-\x20logic_as_u256_lesser_or_equal([query(\x27order.dispute\x20count\x27,\x20object=order),\x20identifier(N)])\x20where\x20table[N].value=K\x20—\x20LENIENT:\x20allow\x20up\x20to\x20K\x20disputes'},{'sceneId':'service_order_allocators_guard','level':'low','existsPrimitives':[0x620],'countPrimitives':[],'addressPrimitives':[0x621],'rationale':'Protocol-level\x20protection:\x20attaching\x20an\x20Allocation\x20to\x20an\x20Order\x20asserts\x20ONE\x20Allocation\x20per\x20Order\x20(E_ALLOCATION_ALREADY_SPECIFIED).\x20'+'After\x20alloc()\x20executes,\x20typical\x20Surplus-mode\x20and\x20Rate-mode\x20allocators\x20drain\x20the\x20pool,\x20making\x20reentrancy\x20unprofitable.\x20'+'EXACTNESS\x20CAVEAT:\x20Rate\x20legs\x20floor\x20independently\x20(balance*rate/10000)\x20—\x20a\x20multi-leg\x20Rate\x20set\x20drains\x20to\x20exactly\x200\x20only\x20when\x20'+'the\x20balance\x20divides\x20evenly;\x20truncation\x20dust\x20otherwise\x20survives\x20and\x20a\x20second\x20alloc()\x20can\x20extract\x20it.\x20Single-leg\x20Rate\x2010000\x20'+'and\x20Surplus\x20mode\x20always\x20drain\x20exactly.\x20For\x20a\x20guaranteed\x20one-shot\x20rail,\x20arm\x20the\x20255\x20once-slot\x20instead\x20of\x20relying\x20on\x20the\x20arithmetic.\x20'+'EDGE\x20CASE:\x20Amount-mode-only\x20allocators\x20(no\x20Surplus,\x20total\x20<\x20full\x20balance)\x20leave\x20remainder;\x20a\x20second\x20alloc()\x20could\x20extract\x20more\x20—\x20mitigated\x20by\x20preferring\x20Rate/RateGross/Surplus\x20modes.\x20'+'External\x20deposit\x20via\x20receive()\x20is\x20possible\x20but\x20irrational\x20(attacker\x20funds\x20the\x20Allocation\x20they\x20attack).','mitigation':'Default:\x20no\x20action\x20needed\x20for\x20Surplus\x20or\x20single-leg\x20Rate-10000\x20rails.\x20IF\x20using\x20multi-leg\x20Rate\x20sets\x20with\x20untrusted\x20balances\x20or\x20'+'Amount-mode-only\x20allocators:\x20arm\x20a\x20255\x20once-slot\x20(one-shot\x20rail)\x20OR\x20add\x20logic_not(query(\x27order.allocation\x20some\x27,\x20object=order))\x20'+'OR\x20prefer\x20Rate/RateGross/Surplus\x20modes\x20to\x20drain\x20the\x20balance\x20completely.'},{'sceneId':'service_buy_guard','level':'low','existsPrimitives':[],'countPrimitives':[],'addressPrimitives':[],'rationale':'Each\x20purchase\x20creates\x20a\x20fresh\x20Order;\x20no\x20existing\x20Order\x20state\x20is\x20modified.\x20Default:\x20no\x20reentrancy\x20risk.\x20'+'IF\x20business\x20intent\x20is\x20\x27limit\x20one\x20purchase\x20per\x20user\x27\x20(limited-edition\x20goods,\x20whitelist\x20single-buy),\x20an\x20anti-reentrancy\x20check\x20is\x20REQUIRED\x20'+'but\x20no\x20direct\x20GUARDQUERY\x20primitive\x20exists\x20for\x20per-user\x20purchase\x20history.','mitigation':'IF\x20limit-purchase\x20intent:\x20record\x20purchases\x20in\x20a\x20Repository\x20and\x20add\x20logic_not(query(\x27repository.data\x20has\x27,\x20...))\x20to\x20root;\x20'+'OR\x20revoke\x20EntityRegistrar\x20membership\x20after\x20first\x20buy;\x20OR\x20use\x20an\x20off-chain\x20allowlist\x20with\x20on-chain\x20Merkle\x20proof.'},{'sceneId':'repository_write_guard','level':'low','existsPrimitives':[0x48e],'countPrimitives':[],'addressPrimitives':[],'rationale':'Default\x20writes\x20are\x20idempotent\x20(same\x20ID\x20overwrites,\x20different\x20ID\x20appends);\x20no\x20fund\x20flow.\x20'+'IF\x20business\x20intent\x20is\x20\x27one\x20write\x20per\x20ID\x27\x20(voting,\x20immutable\x20credential,\x20single-attestation),\x20an\x20anti-reentrancy\x20check\x20is\x20needed.','mitigation':'IF\x20one-write-per-ID\x20intent:\x20add\x20logic_not(query(\x27repository.data\x20has\x27,\x20object=repository,\x20parameters=[policy_name,\x20user_or_object_id]))\x20to\x20root.'},{'sceneId':'gen_passport_guard','level':'low','existsPrimitives':[],'countPrimitives':[],'addressPrimitives':[],'rationale':'Each\x20gen_passport\x20call\x20generates\x20an\x20independent\x20Passport\x20(one\x20Passport\x20per\x20operation).\x20'+'Multiple\x20Passports\x20for\x20the\x20same\x20user\x20are\x20usually\x20valid\x20(each\x20serves\x20a\x20different\x20subsequent\x20operation).\x20'+'IF\x20business\x20intent\x20is\x20\x27one\x20active\x20Passport\x20per\x20user\x27,\x20an\x20anti-reentrancy\x20check\x20is\x20needed\x20but\x20no\x20direct\x20GUARDQUERY\x20primitive\x20exists.','mitigation':'IF\x20one-passport-per-user\x20intent:\x20use\x20off-chain\x20tracking\x20or\x20a\x20Repository\x20to\x20record\x20issued\x20Passport\x20IDs.'}],QUERY_TYPE_ALIASES=new Map([['query_reward_record_exists',0x64d],['query_reward_record_count',0x64c],['query_reward_record_find',0x65a],['query_progress_history_find',0x4fa],['query_progress_history_session_find',0x4fb],['query_progress_history_session_forward_find',0x4fc],['query_progress_history_session_count',0x4f9],['query_progress_history_session_forward_count',0x4ee],['query_repository_data_count_where',0x495],['query_repository_data_sum_where',0x496],['query_repository_policies_keys',0x497],['query_repository_data_find_where',0x498],['query_repository_data_keys_where',0x499]]);function detectReentrancyProtection(a,b,c){const d=new Set([...c['existsPrimitives'],...c['countPrimitives'],...c['addressPrimitives']]);if(d['size']===0x0)return{'state':'absent','evidence':'No\x20anti-reentrancy\x20primitive\x20available\x20in\x20GUARDQUERY\x20for\x20this\x20scene'};const e=new Map(),f=new Map();for(const p of d){const q=GUARDQUERY['find'](r=>r['id']===p);q&&(e['set'](p,q['name']),f['set'](q['name'],p));}const g=Array['from'](f['keys']());function h(r){if(!r||typeof r!=='object')return-0x1;if(typeof r['query']==='number'&&d['has'](r['query']))return r['query'];if(typeof r['query']==='string'&&f['has'](r['query']))return f['get'](r['query']);if(typeof r['type']==='string'&&QUERY_TYPE_ALIASES['has'](r['type'])){const s=QUERY_TYPE_ALIASES['get'](r['type']);if(d['has'](s))return s;}if(typeof r['type']==='string'&&f['has'](r['type']))return f['get'](r['type']);return-0x1;}function i(r){if(!r||typeof r!=='object')return![];if(typeof r['type']==='string'&&['number','u8','u16','u32','u64','u128','u256']['includes'](r['type']))return r['value']===0x0||r['value']==='0'||r['value']===0x0n;if(r['type']==='identifier'&&typeof r['identifier']==='number'){const s=b['find'](t=>t['identifier']===r['identifier']);if(s&&!s['b_submission'])return s['value']===0x0||s['value']==='0'||s['value']===0x0n;}return![];}function j(r,s){if(!r||typeof r!=='object')return[];const t=[];if(Array['isArray'](r['nodes']))for(const u of r['nodes']){if(u!==s)t['push'](u);}if(r['left']&&r['left']!==s)t['push'](r['left']);if(r['right']&&r['right']!==s)t['push'](r['right']);return t['filter'](v=>v&&typeof v==='object');}let k=![],l=![],m='',n='';function o(r,s){if(!r||typeof r!=='object')return;const t=h(r);if(t>=0x0){k=!![];const v=e['get'](t)??'query_'+t;n=v;const w=s?.['type']??null;let x=![];const y=c['existsPrimitives']['includes'](t),z=c['addressPrimitives']['includes'](t),A=c['countPrimitives']['includes'](t);(y||z)&&w==='logic_not'&&(x=!![]);if(A&&w==='logic_equal'){const B=j(s,r);B['some'](C=>i(C))&&(x=!![]);}if(x)l=!![];else{if(!m){const C=A?'logic_equal\x20with\x20a\x20zero\x20operand':'logic_not';m='Primitive\x20\x22'+v+'\x22\x20found\x20but\x20its\x20immediate\x20parent\x20is\x20'+(w??'root')+'\x20(expected\x20'+C+').\x20The\x20primitive\x20is\x20present\x20but\x20does\x20NOT\x20actually\x20prevent\x20reentrancy\x20—\x20this\x20is\x20a\x20false\x20sense\x20of\x20security.';}}}const u=[];if(Array['isArray'](r['nodes']))u['push'](...r['nodes']);if(r['left'])u['push'](r['left']);if(r['right'])u['push'](r['right']);if(r['node'])u['push'](r['node']);if(r['vec'])u['push'](r['vec']);if(r['target'])u['push'](r['target']);if(r['object']&&typeof r['object']==='object')u['push'](r['object']);if(Array['isArray'](r['parameters']))u['push'](...r['parameters']);for(const D of u){D&&typeof D==='object'&&o(D,r);}}o(a,null);if(l)return{'state':'protected','evidence':'Anti-reentrancy\x20primitive\x20\x22'+n+'\x22\x20is\x20properly\x20wrapped','foundPrimitiveName':n};if(k)return{'state':'pseudo','evidence':m,'foundPrimitiveName':n};return{'state':'absent','evidence':'No\x20anti-reentrancy\x20primitive\x20found\x20in\x20root.\x20Expected\x20one\x20of:\x20'+g['join'](',\x20')};}function stableKey(a){if(a===null||typeof a!=='object')return JSON['stringify'](a)??'null';if(Array['isArray'](a))return'['+a['map'](stableKey)['join'](',')+']';const b=a;return'{'+Object['keys'](b)['sort']()['map'](c=>JSON['stringify'](c)+':'+stableKey(b[c]))['join'](',')+'}';}function readsContext(a){return rootRaw(a)['includes']('\x22context\x22');}const NUMERIC_VALUE_TYPE=/^u(?:8|16|32|64|128|256)$/i,NUMERIC_NODE_TYPES=new Set(['calc_number_add','calc_number_multiply','calc_number_subtract','calc_number_divide','calc_number_mod','convert_address_number','convert_string_number','convert_safe_u8','convert_safe_u16','convert_safe_u32','convert_safe_u64','convert_safe_u128','convert_safe_u256','vec_length','calc_string_length']),REFLEXIVE_TRUE_OPS=new Set(['logic_equal','logic_as_u256_equal','logic_string_nocase_equal','calc_string_nocase_equal','logic_string_contains','calc_string_contains','logic_string_nocase_contains','calc_string_nocase_contains']),REFLEXIVE_FALSE_OPS=new Set(['logic_not_equal','logic_as_u256_greater','logic_as_u256_lesser']);function tableEntryOf(a,b){if(!a||a['type']!=='identifier')return undefined;return b['find'](c=>c['identifier']===a['identifier']);}function staticValueType(a,b){if(!a||typeof a!=='object'||typeof a['type']!=='string')return undefined;if(a['type']==='identifier')return tableEntryOf(a,b)?.['value_type'];const c=QUERY_TYPE_ALIASES['get'](a['type']),d=a['type']==='query'?a['query']:c;if(d!==undefined){const e=GUARDQUERY['find'](f=>f['id']===d||typeof d==='string'&&f['name']===d);if(e)return String(e['return']);}return NUMERIC_NODE_TYPES['has'](a['type'])?'U64':undefined;}function constantNumber(a,b){const c=tableEntryOf(a,b);if(!c||c['b_submission'])return undefined;if(!NUMERIC_VALUE_TYPE['test'](String(c['value_type'])))return undefined;const d=String(c['value']??'')['trim']();if(!/^\d+$/['test'](d))return undefined;try{return BigInt(d);}catch{return undefined;}}function foldCertainOutcome(c,d,e=0x0){if(e>0x40||!c||typeof c!=='object'||typeof c['type']!=='string')return undefined;const f=Array['isArray'](c['nodes'])?c['nodes']:[],g=i=>foldCertainOutcome(i,d,e+0x1),h=()=>f['length']>0x0?f['map'](g):undefined;switch(c['type']){case'identifier':{const i=tableEntryOf(c,d);if(!i||i['b_submission'])return undefined;if(/^bool$/i['test'](String(i['value_type']))){const j=String(i['value']??'')['trim']()['toLowerCase']();if(j==='true'||j==='false')return{'outcome':j,'reason':'table\x20entry\x20#'+i['identifier']+'\x20is\x20the\x20constant\x20Bool\x20'+j};}return undefined;}case'logic_and':{const k=h();if(!k)return undefined;const l=k['find'](m=>m?.['outcome']==='false');if(l)return{'outcome':'false','reason':'a\x20logic_and\x20branch\x20is\x20always\x20false:\x20'+l['reason']};if(k['every'](m=>m?.['outcome']==='true'))return{'outcome':'true','reason':'every\x20logic_and\x20branch\x20is\x20always\x20true:\x20'+(k[0x0]?.['reason']??'')};return undefined;}case'logic_or':{const m=h();if(!m)return undefined;const n=m['find'](o=>o?.['outcome']==='true');if(n)return{'outcome':'true','reason':'a\x20logic_or\x20branch\x20is\x20always\x20true:\x20'+n['reason']};if(m['every'](o=>o?.['outcome']==='false'))return{'outcome':'false','reason':'every\x20logic_or\x20branch\x20is\x20always\x20false'};return undefined;}case'logic_not':{const o=g(c['node']);if(!o)return undefined;return{'outcome':o['outcome']==='true'?'false':'true','reason':'logic_not\x20of\x20'+(o['outcome']==='true'?'an\x20always-true':'an\x20always-false')+'\x20expression:\x20'+o['reason']};}default:{if(f['length']<0x2)return undefined;const p=new Set(f['map'](stableKey));if(p['size']===0x1&&!readsContext(f[0x0])&&!rootRaw(f[0x0])['includes']('\x22query\x22')){if(REFLEXIVE_TRUE_OPS['has'](c['type']))return{'outcome':'true','reason':c['type']+'\x20compares\x20the\x20same\x20operand\x20to\x20itself\x20(identifier/constant\x20subtree\x20'+stableKey(f[0x0])['slice'](0x0,0x50)+')\x20—\x20it\x20can\x20never\x20reject'};if(REFLEXIVE_FALSE_OPS['has'](c['type']))return{'outcome':'false','reason':c['type']+'\x20compares\x20the\x20same\x20operand\x20to\x20itself\x20—\x20it\x20can\x20never\x20pass'};}const q=f['map'](s=>constantNumber(s,d)),r=c['type']==='logic_as_u256_greater_or_equal'?0x1:c['type']==='logic_as_u256_lesser_or_equal'?0x0:-0x1;if(r>=0x0&&f['length']===0x2){const s=0x1-r,t=f[s],u=staticValueType(t,d);if(q[r]===0x0n&&q[s]===undefined&&u!==undefined&&NUMERIC_VALUE_TYPE['test'](String(u))&&!readsContext(t))return{'outcome':'true','reason':c['type']+'\x20against\x20the\x20constant\x200\x20on\x20an\x20unsigned\x20('+u+')\x20operand\x20—\x20every\x20U-value\x20satisfies\x20it'};}if(q['length']===0x2&&q[0x0]!==undefined&&q[0x1]!==undefined){const v=q[0x0],w=q[0x1],x={'logic_equal':v===w,'logic_as_u256_equal':v===w,'logic_not_equal':v!==w,'logic_as_u256_greater':v>w,'logic_as_u256_greater_or_equal':v>=w,'logic_as_u256_lesser':v<w,'logic_as_u256_lesser_or_equal':v<=w};if(c['type']in x)return{'outcome':x[c['type']]?'true':'false','reason':c['type']+'\x20folds\x20on\x20two\x20constant\x20operands\x20('+v['toString']()+'\x20vs\x20'+w['toString']()+')'};}return undefined;}}}export function guardRiskFacts(a){const b={},c=rootRaw(a?.['root']),d=c['toLowerCase'](),f=Array['isArray'](a?.['table'])?a['table']:[],g=a?.['scene'],h=a?.['rely'];b['has_signer_check']=hasSignerCheck(c),b['has_clock_check']=hasClockCheck(c),b['has_guard_self_ref']=hasGuardSelfRef(c),b['has_witness']=hasWitness(c),b['queries_repository']=d['includes']('repository'),b['queries_progress']=d['includes']('progress'),b['root_has_query']=d['includes']('\x22query\x22'),b['root_has_clock_token']=d['includes']('clock'),b['root_has_calc_number_add']=d['includes']('calc_number_add'),b['root_has_logic_string_contains']=d['includes']('logic_string_contains'),b['root_has_logic_string_nocase']=d['includes']('logic_string_nocase'),b['root_has_logic_as_u256_greater_or_equal']=d['includes']('logic_as_u256_greater_or_equal'),b['root_has_logic_as_u256_greater']=d['includes']('logic_as_u256_greater'),b['root_has_logic_equal']=c['includes']('\x22logic_equal\x22'),b['root_has_logic_not_equal']=c['includes']('\x22logic_not_equal\x22'),b['logic_and_count']=(d['match'](/"logic_and"/g)||[])['length'],b['root_is_identifier']=a?.['root']?.['type']==='identifier';const i=b['root_is_identifier']?f['find'](D=>D['identifier']===a['root']['identifier']):undefined;b['root_identifier_is_submission']=i?.['b_submission']??![];const j=extractQueryIds(a?.['root']);b['root_query_ids_csv']=j['join'](',\x20'),b['root_has_progress_current_query']=j['includes'](0x4e5);const k=bareBoolQueryClauses(a?.['root']);k['length']>0x0&&(b['bare_bool_query_count']=k['length'],b['bare_bool_query_csv_sp']=k['join'](',\x20'));b['queries_arb_status']=d['includes']('arb.status'),b['arb_status_transient_gate']=b['queries_arb_status']&&f['some'](D=>!D['b_submission']&&/^u(8|16|32|64|128|256)$/i['test'](String(D['value_type']))&&Number(D['value'])===0x5);const l=f['some'](D=>D['b_submission']);b['has_submission']=l;const m=f['filter'](D=>!D['b_submission']&&D['value_type']==='Address'&&D['value']);m['length']>0x0&&(b['const_addr_count']=m['length'],b['const_addr_list']=m['map'](D=>'#'+D['identifier']+'='+D['value'])['join'](',\x20'));const n=f['filter'](D=>!D['b_submission']&&D['value_type']==='Address'&&typeof D['value']==='string'&&(D['value']['toLowerCase']()==='0xaab'||D['value']['toLowerCase']()==='0xaaa'));if(n['length']>0x0){b['sys_addr_list']=n['map'](E=>'#'+E['identifier']+'='+E['value']+'('+E['name']+')')['join'](',\x20');const D=n['find'](E=>E['value']==='0xaab'&&E['name']&&!E['name']['toLowerCase']()['includes']('registrar')||E['value']==='0xaaa'&&E['name']&&!E['name']['toLowerCase']()['includes']('linker'));b['sys_addr_wrong']=D!==undefined;}const o=extractWitnessCodes(a?.['root']),p=o['filter'](E=>[0x6a,0x6b,0x6c]['includes'](E));if(p['length']>0x0){const E={0x6a:'Arb→Progress\x20(two\x20hops:\x20arb.order\x20→\x20order.progress)',0x6b:'Arb→Machine\x20(two\x20hops:\x20arb.order\x20→\x20order.machine)',0x6c:'Arb→Service\x20(two\x20hops:\x20arb.order\x20→\x20order.service)'};b['witness_multihop_codes']=p,b['witness_multihop_csv']=p['join'](',\x20'),b['witness_multihop_names_block']=p['map'](F=>'\x20\x20-\x20'+F+':\x20'+E[F])['join']('\x0a');}const q=extractWitnessIdentifierPairs(a?.['root']),r=q['filter'](F=>F['code']>=0x64&&F['code']<=0x6d);if(r['length']>0x0){const F=[],G=[];for(const {code:I,identifier:J}of r){const K=WITNESS_CHAIN[I];if(!K)continue;const L=K[0x0],M=f['find'](O=>O['identifier']===J);if(!M)continue;const N=I+'\x20('+K['join']('→')+')';M['object_type']?M['object_type']!==L&&F['push']('witness\x20'+N+'\x20references\x20#'+J+'\x20'+('but\x20object_type='+M['object_type']+'\x20(expected\x20'+L+')')):G['push']('witness\x20'+N+'\x20references\x20#'+J+'\x20'+('but\x20object_type\x20is\x20not\x20set\x20(expected\x20'+L+')'));if(K['length']===0x3){const O=K[0x1],P=f['some'](Q=>Q['object_type']===O);!P&&G['push']('witness\x20'+N+'\x20multi-hop\x20chain\x20expects\x20intermediate\x20'+(O+'\x20in\x20table,\x20but\x20no\x20entry\x20with\x20object_type='+O+'\x20found'));}}const H=[...F,...G];H['length']>0x0&&(b['rc2_02_issue_count']=H['length'],b['rc2_02_has_hard_mismatch']=F['length']>0x0,b['rc2_02_evidence_lines']=H['map'](Q=>'\x20\x20-\x20'+Q)['join']('\x0a'),b['rc2_02_evidence_csv']=H['join'](';\x20'));}if(b['has_witness']){const Q=d['includes']('repository')&&d['includes']('\x22query\x22'),R=d['includes']('progress_history')&&d['includes']('\x22query\x22');if(Q||R){const S=d['includes']('convert_number_address')||d['includes']('convert_address_number')||d['includes']('convert_u256')||d['includes']('convert_string');b['rc2_04_queries_repo']=Q,b['rc2_04_queries_progress_history']=R,b['rc2_04_has_conversion']=S,b['rc2_04_conversion_note']=S?'\x0aThe\x20current\x20Guard\x20already\x20uses\x20type\x20conversion\x20nodes,\x20but\x20ensure\x20the\x20conversion\x20direction\x20is\x20correct.':'\x0aWarning:\x20no\x20type\x20conversion\x20node\x20detected\x20in\x20the\x20current\x20Guard;\x20parameter\x20type\x20mismatch\x20risk\x20may\x20exist.',b['rc2_04_conversion_evidence']=S?'Type\x20conversion\x20node\x20in\x20use':'No\x20type\x20conversion\x20node\x20detected';}}b['scene_present']=g!==undefined;g&&(b['scene_id']=g['id'],b['scene_host_object']=g['host_object'],b['scene_binding_field']=g['binding_field'],b['scene_mutable_after_publish']=g['mutable_after_publish']);b['rc3_01_sharing_exempt']=g?.['id']==='service_order_allocators_guard'&&Array['isArray'](a?.['sharing_recipients'])&&a['sharing_recipients']['length']>0x0&&!a['sharing_recipients']['includes']('Signer');if(g?.['binding_field']==='voting_guard'){const T=f['filter'](U=>U['b_submission']&&['U8','U16','U32','U64','U128','U256']['includes'](U['value_type']));T['length']>0x0&&(b['rc3_02_numeric_count']=T['length'],b['rc3_02_numeric_list']=T['map'](U=>'#'+U['identifier']+'('+U['value_type']+')')['join'](',\x20'));}const s=f['filter'](U=>U['b_submission']&&U['value_type']==='Address');if(s['length']>0x0){b['rc3_03_submitted_addr_count']=s['length'];const U=s['filter'](V=>!V['object_type']);b['rc3_03_no_type_count']=U['length'],b['rc3_03_evidence']=U['length']>0x0?'Missing\x20object_type:\x20'+U['map'](V=>'#'+V['identifier'])['join'](',\x20'):'Annotated:\x20'+s['map'](V=>'#'+V['identifier']+'='+V['object_type'])['join'](',\x20');}if(s['length']>0x0){const V=o['some'](a2=>[0x64,0x65,0x66]['includes'](a2)),W=o['some'](a2=>[0x67]['includes'](a2)),X=o['some'](a2=>[0x68,0x69,0x6a,0x6b,0x6c]['includes'](a2)),Y=s['filter'](a2=>a2['object_type']==='Order'||V&&!a2['object_type']),Z=s['filter'](a2=>a2['object_type']==='Progress'||W&&!a2['object_type']),a0=s['filter'](a2=>a2['object_type']==='Arb'||X&&!a2['object_type']),a1=Y['length']>0x0||Z['length']>0x0||a0['length']>0x0;if(a1){const a2=['machine_forward_guard','service_order_allocators_guard','arbitration_usage_guard','arbitration_voting_guard','reward_claim','progress_submission_guard'],a3=g?.['id'],a4=!a3||a2['includes'](a3);if(a4){const a5=new Set([0x61b,0x618,0x4e2,0x57a,0x579]),a6=j['some'](a7=>a5['has'](a7));if(!a6){const a7=[];for(const a8 of Y){a7['push']('#'+a8['identifier']+(a8['object_type']?'(Order)':'(inferred\x20Order\x20via\x20witness\x20100-102)'));}for(const a9 of Z){a7['push']('#'+a9['identifier']+(a9['object_type']?'(Progress)':'(inferred\x20Progress\x20via\x20witness\x20103)'));}for(const aa of a0){a7['push']('#'+aa['identifier']+(aa['object_type']?'(Arb)':'(inferred\x20Arb\x20via\x20witness\x20104-108)'));}b['rc3_05_applies']=!![],b['rc3_05_critical']=a3!==undefined&&a3==='machine_forward_guard',b['rc3_05_unbound_csv']=a7['join'](',\x20'),b['rc3_05_scene_label']=a3??'unknown\x20scene\x20(conservative\x20flag)';}}}}if(g?.['id']==='service_order_allocators_guard'&&!b['has_signer_check']){const ab=a?.['sharing_recipients'],ac=ab!==undefined&&ab['length']>0x0,ad=ac&&ab['includes']('Signer');if(!(ac&&!ad)){const ae=isUnboundSignerTheft({'recipient_is_signer':ad,'caller_identity_constrained':![]});b['rc3_06_applies']=!![],b['rc3_06_signer_sharing']=ae,b['rc3_06_recipients_label']=ac?'['+ab['join'](',\x20')+']':'(not\x20provided\x20—\x20conservative\x20flag)',b['rc3_06_title_suffix']=ad?'sharing.who=Signer\x20confirmed\x20—\x20anyone\x20can\x20steal\x20100%\x20of\x20funds':'if\x20sharing.who=Signer,\x20anyone\x20can\x20steal\x20100%\x20of\x20funds',b['rc3_06_level_rationale']=ae?'Signer\x20sharing\x20confirmed\x20→\x20critical':'sharing\x20hint\x20absent\x20→\x20conservative\x20medium';}}if(b['has_signer_check']){const af=c['includes']('\x22logic_equal\x22'),ag=c['includes']('\x22logic_not_equal\x22');b['rc4_01_comparison_detail']=(af?'logic_equal(==)':'')+'\x20'+(ag?'logic_not_equal(!=)':''),b['rc4_01_comparison_ops']=(af?'==':'')+'\x20'+(ag?'!=':'');}if(b['has_clock_check']){const ah=d['includes']('logic_as_u256_greater_or_equal'),ai=d['includes']('logic_as_u256_greater');(ah||ai)&&(b['rc4_02_has_greater_or_equal']=ah,b['rc4_02_has_greater']=ai,b['rc4_02_comparison_ops']=(ah?'>=':'')+'\x20'+(ai?'>':''));}if(b['has_signer_check']&&!isSignerCheckInLogicOr(a?.['root'])){const aj=detectLevel1StrictBinding(a?.['root'],f);if(aj['detected']&&aj['entry']){const ak=aj['entry'];b['rc4_04_detected']=!![],b['rc4_04_entry_identifier']=ak['identifier'],b['rc4_04_entry_value']=ak['value'],b['rc4_04_entry_detail']='b_submission=false,\x20value=\x22'+ak['value']+'\x22'+(ak['name']?',\x20name=\x22'+ak['name']+'\x22':'');}}const t=rootAllQueriesNonZero(a?.['root']),u=()=>{const al=j['filter'](am=>!QUERY_INVARIANT_MAP['has'](am));if(al['length']===0x0)return'';return'Queries\x20without\x20non-zero\x20invariant:\x20'+al['map'](am=>{const an=GUARDQUERY['find'](ao=>ao['id']===am);return an?an['id']+'\x20('+an['name']+')':''+am;})['join'](',\x20');};b['root_has_logic_as_u256_greater_or_equal']&&d['includes']('\x22clock\x22')&&b['root_has_calc_number_add']&&b['root_has_query']&&!t&&(b['rx1_01_trigger']=!![],b['rx1_01_evidence']=u()||'Baseline\x20query\x20may\x20return\x200');b['root_has_logic_as_u256_greater']&&b['root_has_query']&&!t&&(b['rx1_02_trigger']=!![],b['rx1_02_evidence']=u()||'Query\x20may\x20return\x200');const v=Array['isArray'](h?.['guards'])?h['guards']:[];b['rely_guards_count']=v['length'],b['rely_is_or']=h?.['logic_or']===!![],b['rely_logic']=h?.['logic_or']?'OR':'AND';const w=d['includes']('repository')&&d['includes']('\x22query\x22'),x=f['some'](al=>al['b_submission']&&al['value_type']==='Address'&&al['object_type']==='Repository'),y=w&&x;b['rx1_11_self_rep_false']=y,b['rx1_11_warning_tail']=y?'\x0aWarning:\x20the\x20current\x20Guard\x20itself\x20queries\x20repository.data\x20and\x20the\x20Repository\x20address\x20comes\x20from\x20submission,\x20'+'so\x20its\x20own\x20rep=false\x20and\x20cannot\x20be\x20depended\x20on\x20by\x20other\x20Guards.':'',b['rx1_11_evidence']=y?'Self\x20rep=false\x20(repository.data\x20query\x20depends\x20on\x20submission)':'Self\x20rep\x20status\x20to\x20be\x20confirmed';if(l){const al=f['filter'](an=>an['b_submission']),am=al['filter'](an=>(an['name']??'')==='');am['length']>0x0&&(b['rx1_12_vague_count']=am['length'],b['rx1_12_vague_csv']=am['map'](an=>'identifier='+an['identifier']+',\x20name=\x22'+(an['name']??'')+'\x22')['join'](';\x20'));}if(g){const an=f['find'](ao=>!ao['b_submission']&&ao['value_type']==='Address'&&ao['object_type']===g['host_object']);an&&(b['rx1_13_detected']=!![],b['rx1_13_identifier']=an['identifier']);}const z=REENTRANCY_SPECS['find'](ao=>ao['sceneId']===g?.['id']);if(z){const ao=detectReentrancyProtection(a?.['root'],f,z);ao['state']!=='protected'&&(b['reentry_applicable']=!![],b['reentry_state']=ao['state'],b['reentry_scene_id']=z['sceneId'],b['reentry_rationale']=z['rationale'],b['reentry_mitigation']=z['mitigation'],ao['state']==='pseudo'&&(b['reentry_found_primitive']=ao['foundPrimitiveName']??''),b['reentry_evidence']=ao['evidence']);}const A=foldCertainOutcome(a?.['root'],f),B=A?.['outcome']==='true';b['tree_folds_always_true']=B;A&&A['outcome']==='false'&&(b['tree_folds_always_false']=!![],b['tree_folds_always_false_reason']=A['reason']);if(B)b['tree_folds_always_true_reason']=A['reason'];const C=g?.['binding_field']==='write_guard'||g?.['id']==='repository_write_guard';return b['write_guard_scene']=C,C&&(b['write_guard_no_identity_check']=!b['has_signer_check'],b['write_guard_open']=B||!b['has_signer_check']),b;}function guardRuleBook(){const a=getJudgmentDoc()['rules']['domains']['guard'];if(!a)throw new Error('factory\x20rule\x20pack\x20\x27guard\x27\x20missing\x20—\x20broken\x20installation');return a['rules'];}function dataSourceClassFor(a){if(a['startsWith']('R-C1-'))return'type1_onchain_constant';if(a['startsWith']('R-C2-'))return'type2_witness_derived';if(a['startsWith']('R-C3-'))return'type3_submitted_object';if(a['startsWith']('R-C4-'))return'type4_system_context';return'cross_type';}function findingToGuardRisk(a){return{'id':a['rule_id'],'data_source_class':dataSourceClassFor(a['rule_id']),'level':a['level'],'category':a['dimension']??'data_source_trust','title':a['title'],'description':a['description'],'affected_stakeholders':a['stakeholders']??[],'scenario':a['scenario']??'','mitigation':a['mitigation']??'',...a['evidence']!==undefined?{'evidence':a['evidence']}:{},...a['exposure']!=null?{'exposure':a['exposure']}:{}};}export function runGuardRulePack(a){const b=guardRuleBook();let c;try{c=guardRiskFacts(a);}catch{return[];}return evaluateRuleBook(b,c)['findings']['map'](findingToGuardRisk);}export function assembleGuardAssessment(a,b){const c=getOverallRiskLevel(b),d={};for(const h of b){d[h['data_source_class']]=(d[h['data_source_class']]??0x0)+0x1;}const e=generateStakeholderAdvice(b,a['scene']),f=b['some'](i=>i['level']==='critical')||b['filter'](i=>i['level']==='high')['length']>=0x2,g=generateGuardSummary(a);return{'guard_summary':g,'scene':a['scene'],'risks':b,'overall_risk':c,'risks_by_data_source':d,'stakeholder_advice':e,'needs_human_review':f};}function getOverallRiskLevel(a){if(a['some'](b=>b['level']==='critical'))return'critical';if(a['some'](b=>b['level']==='high'))return'high';if(a['some'](b=>b['level']==='medium'))return'medium';return'low';}function generateStakeholderAdvice(a,b){const c={};for(const d of a){for(const e of d['affected_stakeholders']){if(!c[e])c[e]=[];c[e]['push']('['+d['level']['toUpperCase']()+']\x20'+d['title']+':\x20'+d['mitigation']);}}if(b)switch(b['binding_field']){case'buy_guard':if(!c['customer'])c['customer']=[];c['customer']['push']('Before\x20purchase,\x20verify\x20the\x20buy_guard\x20logic\x20to\x20ensure\x20your\x20identity/credentials\x20can\x20pass\x20validation');break;case'order_allocators':if(!c['provider'])c['provider']=[];c['provider']['push']('Verify\x20the\x20order_allocators\x20ordering\x20to\x20ensure\x20your\x20Allocator\x20will\x20not\x20be\x20skipped\x20by\x20preceding\x20conditions');break;case'voting_guard':if(!c['arbitrator'])c['arbitrator']=[];c['arbitrator']['push']('Confirm\x20the\x20voting\x20weight\x20source\x20is\x20trustworthy;\x20prefer\x20querying\x20EntityRegistrar\x20rather\x20than\x20user-submitted\x20data');break;case'Forward.guard':if(!c['customer'])c['customer']=[];c['customer']['push']('Verify\x20the\x20Forward.guard\x20conditions\x20to\x20ensure\x20you\x20can\x20satisfy\x20the\x20advancement\x20criteria\x20and\x20avoid\x20locked\x20funds');break;}return c;}function generateGuardSummary(a){const b=[];b['push']('table\x20entries:\x20'+a['table']['length']);const c=a['table']['filter'](d=>d['b_submission'])['length'];return b['push']('submitted\x20data:\x20'+c+'\x20entries'),b['push']('root\x20type:\x20'+(a['root']?.['type']??'unknown')),a['rely']&&b['push']('rely:\x20'+a['rely']['guards']['length']+'\x20dependencies\x20('+(a['rely']['logic_or']?'OR':'AND')+')'),b['join'](',\x20');}export function getRiskSummary(a){return{'risk_count':a['risks']['length'],'critical_count':a['risks']['filter'](b=>b['level']==='critical')['length'],'high_count':a['risks']['filter'](b=>b['level']==='high')['length'],'needs_human_review':a['needs_human_review'],'top_risks':a['risks']['filter'](b=>b['level']==='critical'||b['level']==='high')['slice'](0x0,0x3)['map'](b=>b['title'])};}export function getRiskRulesCount(){return factoryRulePack('guard')?.['rules']['length']??0x0;}export const RISK_RULES=((()=>{const a=factoryRulePack('guard');if(!a)return[];return a['rules']['map'](b=>({'id':b['rule_id'],'data_source_class':dataSourceClassFor(b['rule_id']),'trigger':b['trigger']??'','check':c=>{const d=guardRuleBook()['find'](f=>f['rule_id']===b['rule_id']);if(!d)return null;const {findings:e}=evaluateRuleBook([d],guardRiskFacts(c));return e['length']>0x0?findingToGuardRisk(e[0x0]):null;}}));})());
+import{GUARDQUERY}from'@wowok/wowok';import{isUnboundSignerTheft}from'./recipient-constraint.js';import{factoryRulePack,getJudgmentDoc}from'../config/judgment.js';import{evaluateRuleBook}from'../config/rule-engine.js';function rootRaw(a){try{return JSON['stringify'](a)??'';}catch{return'';}}function hasSignerCheck(a){return a['includes']('\x22Signer\x22');}function hasClockCheck(a){return a['includes']('\x22Clock\x22');}function hasGuardSelfRef(a){return a['includes']('\x22Guard\x22');}function hasWitness(a){return a['includes']('\x22convert_witness\x22');}function extractWitnessCodes(a){const b=[],c=rootRaw(a),d=c['matchAll'](/"convert_witness"\s*:\s*(\d+)/g);for(const e of d){const f=parseInt(e[0x1],0xa);if(f>=0x64&&f<=0x6d)b['push'](f);}return b;}const WITNESS_CHAIN={0x64:['Order','Progress'],0x65:['Order','Machine'],0x66:['Order','Service'],0x67:['Progress','Machine'],0x68:['Arb','Order'],0x69:['Arb','Arbitration'],0x6a:['Arb','Order','Progress'],0x6b:['Arb','Order','Service'],0x6c:['Arb','Order','Machine'],0x6d:['Order','Allocation']};function extractWitnessIdentifierPairs(a){const b=[],c=new WeakSet();function d(e){if(e===null||typeof e!=='object')return;if(c['has'](e))return;c['add'](e);typeof e['convert_witness']==='number'&&typeof e['identifier']==='number'&&b['push']({'code':e['convert_witness'],'identifier':e['identifier']});for(const f of Object['keys'](e)){const g=e[f];if(Array['isArray'](g)){for(const h of g)d(h);}else g!==null&&typeof g==='object'&&d(g);}}return d(a),b;}const WITNESS_TARGET_PREFIX={0x64:'progress',0x65:'machine',0x66:'service',0x67:'machine',0x68:'order',0x69:'arb',0x6a:'progress',0x6b:'service',0x6c:'machine',0x6d:'allocation'},WITNESS_NAME_TO_CODE={'orderprogress':0x64,'ordermachine':0x65,'orderservice':0x66,'progressmachine':0x67,'arborder':0x68,'arbarbitration':0x69,'arbprogress':0x6a,'arbmachine':0x6b,'arbservice':0x6c,'orderallocation':0x6d};function witnessCodeOf(a){if(typeof a==='number')return a>=0x64&&a<=0x6d?a:undefined;if(typeof a==='string'){const b=a['toLowerCase']()['replace'](/^type/,'');return WITNESS_NAME_TO_CODE[b];}return undefined;}function extractQuerySourceTriples(a){const b=[],c=new WeakSet();function d(e){if(e===null||typeof e!=='object')return;if(c['has'](e))return;c['add'](e);if(typeof e['query']==='string'&&e['object']&&typeof e['object']==='object'){const f=witnessCodeOf(e['object']['convert_witness']);b['push']({'query':e['query'],'code':f,'identifier':typeof e['object']['identifier']==='number'?e['object']['identifier']:undefined});}for(const g of Object['keys'](e)){const h=e[g];if(Array['isArray'](h)){for(const i of h)d(i);}else h!==null&&typeof h==='object'&&d(h);}}return d(a),b;}function getChildNodes(a){if(!a||typeof a!=='object')return[];const b=[];if(Array['isArray'](a['nodes']))b['push'](...a['nodes']);if(a['left'])b['push'](a['left']);if(a['right'])b['push'](a['right']);if(a['vec'])b['push'](a['vec']);if(a['target'])b['push'](a['target']);if(a['object']&&typeof a['object']==='object')b['push'](a['object']);if(Array['isArray'](a['parameters']))b['push'](...a['parameters']);return b['filter'](d=>d&&typeof d==='object');}function findSignerLogicEqualNodes(a){const b=[];function c(d,e){if(!d||typeof d!=='object')return;if(d['type']==='logic_equal'){const f=Array['isArray'](d['nodes'])?d['nodes']:d['left']&&d['right']?[d['left'],d['right']]:[];if(f['length']===0x2){const g=f['findIndex'](h=>h?.['type']==='context'&&h?.['context']==='Signer');g>=0x0&&b['push']({'node':d,'parentType':e,'otherOperand':f[0x1-g]});}}for(const h of getChildNodes(d)){c(h,d['type']);}}return c(a,null),b;}function detectLevel1StrictBinding(a,b){const c=findSignerLogicEqualNodes(a);for(const d of c){const e=d['otherOperand'];if(e?.['type']==='identifier'){const f=b['find'](g=>g['identifier']===e['identifier']);if(f&&!f['b_submission']&&f['value_type']==='Address'&&typeof f['value']==='string'&&f['value']['length']>0x0)return{'detected':!![],'entry':{'identifier':f['identifier'],'value':f['value'],'name':f['name']}};}}return{'detected':![]};}function isSignerCheckInLogicOr(a){const b=findSignerLogicEqualNodes(a);return b['some'](c=>c['parentType']==='logic_or');}const QUERY_INVARIANT_MAP=((()=>{const a=new Map();for(const b of GUARDQUERY){b['invariant']!==undefined&&a['set'](b['id'],b['invariant']);}return a;})());function extractQueryIds(a){const b=[],c=rootRaw(a),d=c['matchAll'](/"query"\s*:\s*(\d+)/g);for(const f of d){const g=parseInt(f[0x1],0xa);if(!b['includes'](g))b['push'](g);}const e=c['matchAll'](/"query"\s*:\s*"([^"]+)"/g);for(const h of e){const i=h[0x1],j=GUARDQUERY['find'](k=>k['name']===i);if(j&&!b['includes'](j['id']))b['push'](j['id']);}return b;}function bareBoolQueryClauses(a){const b=[],c=(d,e)=>{if(e>0x40||!d||typeof d!=='object'||typeof d['type']!=='string')return;if((d['type']==='logic_and'||d['type']==='logic_or')&&Array['isArray'](d['nodes']))for(const f of d['nodes']){if(f&&typeof f==='object'&&f['type']==='query'){const g=f['query'],h=typeof g==='number'?'#'+g:typeof g==='string'?g:'(unknown\x20query)';if(!b['includes'](h))b['push'](h);}}if(Array['isArray'](d['nodes'])){for(const i of d['nodes'])c(i,e+0x1);}if(d['node'])c(d['node'],e+0x1);};return c(a,0x0),b;}export function rootReferencedIdentifiers(a){const b=new Set(),c=(d,e)=>{if(e>0x40||!d||typeof d!=='object')return;d['type']==='identifier'&&Number['isFinite'](Number(d['identifier']))&&b['add'](Number(d['identifier']));if(Array['isArray'](d['nodes'])){for(const f of d['nodes'])c(f,e+0x1);}if(d['node'])c(d['node'],e+0x1);};return c(a,0x0),b;}function rootAllQueriesNonZero(a){const b=extractQueryIds(a);if(b['length']===0x0)return![];return b['every'](c=>QUERY_INVARIANT_MAP['has'](c));}const REENTRANCY_SPECS=[{'sceneId':'reward_claim','level':'critical','existsPrimitives':[0x64d],'countPrimitives':[0x64c],'addressPrimitives':[0x65a],'rationale':'Guard\x20pass\x20distributes\x20reward\x20funds\x20to\x20the\x20Claimant\x20AND\x20creates\x20a\x20reward_record,\x20but\x20the\x20Guard\x20conditions\x20(identity,\x20time,\x20node\x20state)\x20do\x20NOT\x20naturally\x20invalidate\x20after\x20a\x20claim.\x20'+'Without\x20an\x20explicit\x20anti-reentrancy\x20primitive,\x20the\x20same\x20Claimant\x20can\x20repeatedly\x20pass\x20the\x20Guard\x20and\x20DRAIN\x20THE\x20ENTIRE\x20POOL.\x20'+'This\x20is\x20the\x20most\x20severe\x20reentrancy\x20scene\x20—\x20direct\x20fund\x20loss.','mitigation':'Add\x20ONE\x20of\x20the\x20following\x20to\x20the\x20root\x20(wrapped\x20in\x20logic_and\x20with\x20existing\x20conditions):\x0a'+'\x20\x20-\x20logic_not(query(\x27reward.record\x20has\x27,\x20object=reward,\x20parameters=[claimant_address]))\x20—\x20RECOMMENDED\x20(per-user\x20Bool\x20check)\x0a'+'\x20\x20-\x20logic_equal([query(\x27reward.record\x20count\x27,\x20object=reward),\x20identifier(N)])\x20where\x20table[N].value=0\x20—\x20total-claim\x20count\x20is\x200\x0a'+'\x20\x20-\x20logic_not(query(\x27reward.record.find_first\x27,\x20object=reward,\x20where={...}))\x20—\x20no\x20matching\x20record\x20found\x0a'+'RECORD-GATE\x20FORM\x20(SV-2,\x20azx7-mn-261014\x20live\x20T8\x20—\x20knowledge/protocol-facts\x20is\x20the\x20source\x20of\x20truth):\x20entry-stamp\x20the\x20guard\x20(guard_add\x20store_from_id\x20=\x20the\x20slot\x20whose\x20submitted\x20value\x20is\x20the\x20per-order\x20stamp\x20—\x20slot\x200,\x20the\x20submitted\x20Order)\x20and\x20scope\x20the\x20record\x20query\x20BY\x20THE\x20ORDER:\x20logic_not(query(\x27reward.record.exists_where\x27,\x20object=reward,\x20where:{storeFromId:{identifier:0}}))\x20=\x20once\x20per\x20buyer\x20per\x20ORDER\x20(the\x20native\x20claim\x20key\x20is\x20recipient+guard+stamp,\x20so\x20the\x20same\x20buyer\x20on\x20a\x20different\x20order\x20claims\x20again);\x20entry-stamped\x20+\x20EMPTY\x20where:{}\x20=\x20once\x20per\x20buyer\x20for\x20life\x20(a\x20deliberate\x20one-bounty-per-buyer\x20choice,\x20never\x20a\x20default\x20—\x20it\x20silently\x20kills\x20the\x20buyer\x27s\x20second\x20order,\x20upw-mn-261014\x20F-48).\x20An\x20UNSTAMPED\x20entry\x20never\x20keys\x20its\x20claim\x20records\x20(store_from\x20=\x20none\x20matches\x20no\x20predicate)\x20—\x20the\x20old\x20\x27storeFromId\x20filter\x20no-ops\x27\x20verdict\x20described\x20unstamped\x20rewards\x20only.\x20Never\x20hand-write\x20the\x20RAW\x20query\x20form\x20with\x20an\x20empty\x20VecU8\x20parameter\x20(uncoded\x20VM\x20abort,\x20klk-mn-261013\x20F-05).\x20DEPLOYED-BINARY\x20CAUTION\x20(DEPLOY-K1):\x20confirm\x20the\x20chain\x20generation\x20via\x20wowok_buildin_info\x20info=\x27upgrade_check\x27\x20(build_stamp.chain_stamp)\x20and\x20re-probe\x20one\x20gate\x20on\x20the\x20live\x20network\x20before\x20wiring\x20a\x20funded\x20pool.'},{'sceneId':'arbitration_voting_guard','level':'critical','existsPrimitives':[0x57c,0x57e],'countPrimitives':[0x57d],'addressPrimitives':[],'rationale':'Guard\x20pass\x20counts\x20the\x20vote\x20with\x20the\x20extracted\x20weight.\x20Without\x20anti-reentrancy,\x20the\x20same\x20voter\x20can\x20vote\x20MULTIPLE\x20times,\x20'+'multiplying\x20their\x20weight\x20and\x20skewing\x20the\x20arbitration\x20result\x20—\x20which\x20directly\x20determines\x20fund\x20ownership\x20via\x20compensation.\x20'+'The\x20voter\x27s\x20eligibility\x20(identity,\x20reputation)\x20does\x20NOT\x20naturally\x20invalidate\x20after\x20voting.\x20'+'Note:\x20arb.voted_count\x20(1403)\x20is\x20total\x20voter\x20count\x20(NOT\x20per-voter)\x20and\x20does\x20NOT\x20serve\x20as\x20an\x20anti-reentrancy\x20primitive\x20for\x20an\x20individual\x20voter.','mitigation':'Add\x20ONE\x20of\x20the\x20following\x20to\x20the\x20root\x20(wrapped\x20in\x20logic_and):\x0a'+'\x20\x20-\x20logic_not(query(\x27arb.voted\x20has\x27,\x20object=arb,\x20parameters=[voter_address]))\x20—\x20RECOMMENDED\x20(per-voter\x20Bool)\x0a'+'\x20\x20-\x20logic_not(query(\x27arb.voted.agree\x20has\x27,\x20object=arb,\x20parameters=[voter_address,\x20proposition_index]))\x20—\x20per-voter-per-proposition\x0a'+'\x20\x20-\x20logic_equal([query(\x27arb.voted.agree\x20count\x27,\x20object=arb,\x20parameters=[voter_address]),\x20identifier(N)])\x20where\x20table[N].value=0'},{'sceneId':'arbitration_usage_guard','level':'high','existsPrimitives':[0x61d],'countPrimitives':[0x61c],'addressPrimitives':[],'rationale':'Guard\x20pass\x20creates\x20a\x20new\x20Arb\x20case.\x20Without\x20anti-reentrancy,\x20a\x20customer\x20can\x20create\x20multiple\x20Arb\x20cases\x20for\x20the\x20SAME\x20Order\x20'+'(up\x20to\x20MAX_DISPUTE_COUNT=10),\x20harassing\x20the\x20counterparty\x20and\x20inflating\x20arbitration\x20system\x20load.\x20'+'Not\x20direct\x20fund\x20loss,\x20but\x20severe\x20system\x20abuse.\x20Filing\x20a\x20dispute\x20deduplicates\x20by\x20Arb\x20address\x20but\x20does\x20NOT\x20prevent\x20multiple\x20distinct\x20Arbs.','mitigation':'Add\x20ONE\x20of\x20the\x20following\x20to\x20the\x20root\x20(wrapped\x20in\x20logic_and):\x0a'+'\x20\x20-\x20logic_not(query(\x27order.dispute\x20has\x27,\x20object=order,\x20parameters=[existing_arb_address]))\x20—\x20per-Arb\x20check\x0a'+'\x20\x20-\x20logic_equal([query(\x27order.dispute\x20count\x27,\x20object=order),\x20identifier(N)])\x20where\x20table[N].value=0\x20—\x20STRICT:\x20block\x20any\x20prior\x20dispute\x0a'+'\x20\x20-\x20logic_as_u256_lesser_or_equal([query(\x27order.dispute\x20count\x27,\x20object=order),\x20identifier(N)])\x20where\x20table[N].value=K\x20—\x20LENIENT:\x20allow\x20up\x20to\x20K\x20disputes'},{'sceneId':'service_order_allocators_guard','level':'low','existsPrimitives':[0x620],'countPrimitives':[],'addressPrimitives':[0x621],'rationale':'Protocol-level\x20protection:\x20attaching\x20an\x20Allocation\x20to\x20an\x20Order\x20asserts\x20ONE\x20Allocation\x20per\x20Order\x20(E_ALLOCATION_ALREADY_SPECIFIED).\x20'+'After\x20alloc()\x20executes,\x20typical\x20Surplus-mode\x20and\x20Rate-mode\x20allocators\x20drain\x20the\x20pool,\x20making\x20reentrancy\x20unprofitable.\x20'+'EXACTNESS\x20CAVEAT:\x20Rate\x20legs\x20floor\x20independently\x20(balance*rate/10000)\x20—\x20a\x20multi-leg\x20Rate\x20set\x20drains\x20to\x20exactly\x200\x20only\x20when\x20'+'the\x20balance\x20divides\x20evenly;\x20truncation\x20dust\x20otherwise\x20survives\x20and\x20a\x20second\x20alloc()\x20can\x20extract\x20it.\x20Single-leg\x20Rate\x2010000\x20'+'and\x20Surplus\x20mode\x20always\x20drain\x20exactly.\x20For\x20a\x20guaranteed\x20one-shot\x20rail,\x20arm\x20the\x20255\x20once-slot\x20instead\x20of\x20relying\x20on\x20the\x20arithmetic.\x20'+'EDGE\x20CASE:\x20Amount-mode-only\x20allocators\x20(no\x20Surplus,\x20total\x20<\x20full\x20balance)\x20leave\x20remainder;\x20a\x20second\x20alloc()\x20could\x20extract\x20more\x20—\x20mitigated\x20by\x20preferring\x20Rate/RateGross/Surplus\x20modes.\x20'+'External\x20deposit\x20via\x20receive()\x20is\x20possible\x20but\x20irrational\x20(attacker\x20funds\x20the\x20Allocation\x20they\x20attack).','mitigation':'Default:\x20no\x20action\x20needed\x20for\x20Surplus\x20or\x20single-leg\x20Rate-10000\x20rails.\x20IF\x20using\x20multi-leg\x20Rate\x20sets\x20with\x20untrusted\x20balances\x20or\x20'+'Amount-mode-only\x20allocators:\x20arm\x20a\x20255\x20once-slot\x20(one-shot\x20rail)\x20OR\x20add\x20logic_not(query(\x27order.allocation\x20some\x27,\x20object=order))\x20'+'OR\x20prefer\x20Rate/RateGross/Surplus\x20modes\x20to\x20drain\x20the\x20balance\x20completely.'},{'sceneId':'service_buy_guard','level':'low','existsPrimitives':[],'countPrimitives':[],'addressPrimitives':[],'rationale':'Each\x20purchase\x20creates\x20a\x20fresh\x20Order;\x20no\x20existing\x20Order\x20state\x20is\x20modified.\x20Default:\x20no\x20reentrancy\x20risk.\x20'+'IF\x20business\x20intent\x20is\x20\x27limit\x20one\x20purchase\x20per\x20user\x27\x20(limited-edition\x20goods,\x20whitelist\x20single-buy),\x20an\x20anti-reentrancy\x20check\x20is\x20REQUIRED\x20'+'but\x20no\x20direct\x20GUARDQUERY\x20primitive\x20exists\x20for\x20per-user\x20purchase\x20history.','mitigation':'IF\x20limit-purchase\x20intent:\x20record\x20purchases\x20in\x20a\x20Repository\x20and\x20add\x20logic_not(query(\x27repository.data\x20has\x27,\x20...))\x20to\x20the\x20BUY\x20guard\x20root\x20(valid\x20on\x20the\x20READ\x20side\x20only\x20—\x20buy_guard\x20runs\x20in\x20a\x20separate\x20transaction,\x20so\x20the\x20pre-state\x20is\x20visible);\x20'+'NEVER\x20move\x20this\x20check\x20into\x20a\x20Repository\x20write_guard\x20verified\x20in\x20the\x20write\x20PTB\x20—\x20there\x20the\x20idiom\x20aborts\x20at\x20the\x20write\x20site\x20(ofn-mn-261012\x20F-02);\x20OR\x20revoke\x20EntityRegistrar\x20membership\x20after\x20first\x20buy;\x20OR\x20use\x20an\x20off-chain\x20allowlist\x20with\x20on-chain\x20Merkle\x20proof.'},{'sceneId':'repository_write_guard','level':'low','existsPrimitives':[0x48e],'countPrimitives':[],'addressPrimitives':[],'rationale':'Default\x20writes\x20are\x20idempotent\x20(same\x20ID\x20overwrites,\x20different\x20ID\x20appends);\x20no\x20fund\x20flow.\x20'+'IF\x20business\x20intent\x20is\x20\x27one\x20write\x20per\x20ID\x27\x20(voting,\x20immutable\x20credential,\x20single-attestation),\x20an\x20anti-reentrancy\x20check\x20is\x20needed.','mitigation':'one-write-per-ID\x20is\x20NOT\x20enforceable\x20on\x20the\x20write\x20side\x20TODAY\x20(ofn-mn-261012\x20F-02,\x20mainnet\x20A/B\x20verified):\x20the\x20write\x20guard\x20is\x20verified\x20inside\x20the\x20write\x20PTB\x20and\x20repository.data\x20is\x20an\x20UPSERT\x20—\x20a\x20logic_not(query(\x27repository.data\x20has\x27,\x20...))\x20leg\x20always\x20aborts\x20at\x20the\x20write\x20site.\x20Usable\x20TODAY:\x20the\x20protocol-255\x20ONCE\x20slot\x20(limits\x20the\x20guard\x20pool\x20to\x20one\x20pass)\x20plus\x20the\x20254\x20task-binding\x20slot\x20(per-order\x20scoping);\x20per-row\x20value\x20ranges\x20(e.g.\x20rating\x201-5)\x20go\x20through\x20a\x20Repository\x20write\x20policy.\x20A\x20chain-side\x20write-guard\x20post-state\x20read\x20is\x20on\x20the\x20protocol\x20decision\x20list.'},{'sceneId':'gen_passport_guard','level':'low','existsPrimitives':[],'countPrimitives':[],'addressPrimitives':[],'rationale':'Each\x20gen_passport\x20call\x20generates\x20an\x20independent\x20Passport\x20(one\x20Passport\x20per\x20operation).\x20'+'Multiple\x20Passports\x20for\x20the\x20same\x20user\x20are\x20usually\x20valid\x20(each\x20serves\x20a\x20different\x20subsequent\x20operation).\x20'+'IF\x20business\x20intent\x20is\x20\x27one\x20active\x20Passport\x20per\x20user\x27,\x20an\x20anti-reentrancy\x20check\x20is\x20needed\x20but\x20no\x20direct\x20GUARDQUERY\x20primitive\x20exists.','mitigation':'IF\x20one-passport-per-user\x20intent:\x20use\x20off-chain\x20tracking\x20or\x20a\x20Repository\x20to\x20record\x20issued\x20Passport\x20IDs.'}],QUERY_TYPE_ALIASES=new Map([['query_reward_record_exists',0x64d],['query_reward_record_count',0x64c],['query_reward_record_find',0x65a],['query_progress_history_find',0x4fa],['query_progress_history_time',0x500],['query_progress_history_session_find',0x4fb],['query_progress_history_session_forward_find',0x4fc],['query_progress_history_session_count',0x4f9],['query_progress_history_session_forward_count',0x4ee],['query_repository_data_count_where',0x495],['query_repository_data_sum_where',0x496],['query_repository_policies_keys',0x497],['query_repository_data_find_where',0x498],['query_repository_data_keys_where',0x499]]);function detectReentrancyProtection(a,b,c){const d=new Set([...c['existsPrimitives'],...c['countPrimitives'],...c['addressPrimitives']]);if(d['size']===0x0)return{'state':'absent','evidence':'No\x20anti-reentrancy\x20primitive\x20available\x20in\x20GUARDQUERY\x20for\x20this\x20scene'};const e=new Map(),f=new Map();for(const p of d){const q=GUARDQUERY['find'](r=>r['id']===p);q&&(e['set'](p,q['name']),f['set'](q['name'],p));}const g=Array['from'](f['keys']());function h(r){if(!r||typeof r!=='object')return-0x1;if(typeof r['query']==='number'&&d['has'](r['query']))return r['query'];if(typeof r['query']==='string'&&f['has'](r['query']))return f['get'](r['query']);if(typeof r['type']==='string'&&QUERY_TYPE_ALIASES['has'](r['type'])){const s=QUERY_TYPE_ALIASES['get'](r['type']);if(d['has'](s))return s;}if(typeof r['type']==='string'&&f['has'](r['type']))return f['get'](r['type']);return-0x1;}function i(r){if(!r||typeof r!=='object')return![];if(typeof r['type']==='string'&&['number','u8','u16','u32','u64','u128','u256']['includes'](r['type']))return r['value']===0x0||r['value']==='0'||r['value']===0x0n;if(r['type']==='identifier'&&typeof r['identifier']==='number'){const s=b['find'](t=>t['identifier']===r['identifier']);if(s&&!s['b_submission'])return s['value']===0x0||s['value']==='0'||s['value']===0x0n;}return![];}function j(r,s){if(!r||typeof r!=='object')return[];const t=[];if(Array['isArray'](r['nodes']))for(const u of r['nodes']){if(u!==s)t['push'](u);}if(r['left']&&r['left']!==s)t['push'](r['left']);if(r['right']&&r['right']!==s)t['push'](r['right']);return t['filter'](v=>v&&typeof v==='object');}let k=![],l=![],m='',n='';function o(r,s,t){if(!r||typeof r!=='object')return;const u=h(r);if(u>=0x0){k=!![];const x=e['get'](u)??'query_'+u;n=x;const y=s?.['type']??null;let z=![];const A=c['existsPrimitives']['includes'](u),B=c['addressPrimitives']['includes'](u),C=c['countPrimitives']['includes'](u);(A||B)&&y==='logic_not'&&(z=!![]);if(C&&y==='logic_equal'){const D=j(s,r);D['some'](E=>i(E))&&(z=!![]);}if(z&&t&&!m)m='Primitive\x20\x22'+x+'\x22\x20is\x20properly\x20wrapped\x20but\x20sits\x20inside\x20an\x20OR\x20disjunction\x20—\x20any\x20sibling\x20branch\x20satisfies\x20the\x20tree\x20without\x20it,\x20so\x20the\x20gate\x20is\x20NOT\x20enforced\x20(false\x20sense\x20of\x20security).';else{if(z&&!t)l=!![];else{if(!z&&!m){const E=C?'logic_equal\x20with\x20a\x20zero\x20operand':'logic_not';m='Primitive\x20\x22'+x+'\x22\x20found\x20but\x20its\x20immediate\x20parent\x20is\x20'+(y??'root')+'\x20(expected\x20'+E+').\x20The\x20primitive\x20is\x20present\x20but\x20does\x20NOT\x20actually\x20prevent\x20reentrancy\x20—\x20this\x20is\x20a\x20false\x20sense\x20of\x20security.';}}}}const v=t||r['type']==='logic_or',w=[];if(Array['isArray'](r['nodes'])){for(const F of r['nodes'])w['push']({'node':F,'disjunctive':v});}if(Array['isArray'](r['and'])){for(const G of r['and'])w['push']({'node':G,'disjunctive':t});}if(Array['isArray'](r['or'])){for(const H of r['or'])w['push']({'node':H,'disjunctive':!![]});}if(r['left'])w['push']({'node':r['left'],'disjunctive':v});if(r['right'])w['push']({'node':r['right'],'disjunctive':v});w['push']({'node':r['node'],'disjunctive':t}),w['push']({'node':r['vec'],'disjunctive':t}),w['push']({'node':r['target'],'disjunctive':t});if(r['object']&&typeof r['object']==='object')w['push']({'node':r['object'],'disjunctive':t});if(Array['isArray'](r['parameters'])){for(const I of r['parameters'])w['push']({'node':I,'disjunctive':t});}for(const J of w){J['node']&&typeof J['node']==='object'&&o(J['node'],r,J['disjunctive']);}}o(a,null,![]);if(l)return{'state':'protected','evidence':'Anti-reentrancy\x20primitive\x20\x22'+n+'\x22\x20is\x20properly\x20wrapped','foundPrimitiveName':n};if(k)return{'state':'pseudo','evidence':m,'foundPrimitiveName':n};return{'state':'absent','evidence':'No\x20anti-reentrancy\x20primitive\x20found\x20in\x20root.\x20Expected\x20one\x20of:\x20'+g['join'](',\x20')};}function stableKey(a){if(a===null||typeof a!=='object')return JSON['stringify'](a)??'null';if(Array['isArray'](a))return'['+a['map'](stableKey)['join'](',')+']';const b=a;return'{'+Object['keys'](b)['sort']()['map'](c=>JSON['stringify'](c)+':'+stableKey(b[c]))['join'](',')+'}';}function readsContext(a){return rootRaw(a)['includes']('\x22context\x22');}const NUMERIC_VALUE_TYPE=/^u(?:8|16|32|64|128|256)$/i,NUMERIC_NODE_TYPES=new Set(['calc_number_add','calc_number_multiply','calc_number_subtract','calc_number_divide','calc_number_mod','convert_address_number','convert_string_number','convert_safe_u8','convert_safe_u16','convert_safe_u32','convert_safe_u64','convert_safe_u128','convert_safe_u256','vec_length','calc_string_length']),REFLEXIVE_TRUE_OPS=new Set(['logic_equal','logic_as_u256_equal','logic_string_nocase_equal','calc_string_nocase_equal','logic_string_contains','calc_string_contains','logic_string_nocase_contains','calc_string_nocase_contains']),REFLEXIVE_FALSE_OPS=new Set(['logic_not_equal','logic_as_u256_greater','logic_as_u256_lesser']);function tableEntryOf(a,b){if(!a||a['type']!=='identifier')return undefined;return b['find'](c=>c['identifier']===a['identifier']);}function staticValueType(a,b){if(!a||typeof a!=='object'||typeof a['type']!=='string')return undefined;if(a['type']==='identifier')return tableEntryOf(a,b)?.['value_type'];const c=QUERY_TYPE_ALIASES['get'](a['type']),d=a['type']==='query'?a['query']:c;if(d!==undefined){const e=GUARDQUERY['find'](f=>f['id']===d||typeof d==='string'&&f['name']===d);if(e)return String(e['return']);}return NUMERIC_NODE_TYPES['has'](a['type'])?'U64':undefined;}function constantNumber(a,b){const c=tableEntryOf(a,b);if(!c||c['b_submission'])return undefined;if(!NUMERIC_VALUE_TYPE['test'](String(c['value_type'])))return undefined;const d=String(c['value']??'')['trim']();if(!/^\d+$/['test'](d))return undefined;try{return BigInt(d);}catch{return undefined;}}function foldCertainOutcome(c,d,e=0x0){if(e>0x40||!c||typeof c!=='object'||typeof c['type']!=='string')return undefined;const f=Array['isArray'](c['nodes'])?c['nodes']:[],g=i=>foldCertainOutcome(i,d,e+0x1),h=()=>f['length']>0x0?f['map'](g):undefined;switch(c['type']){case'identifier':{const i=tableEntryOf(c,d);if(!i||i['b_submission'])return undefined;if(/^bool$/i['test'](String(i['value_type']))){const j=String(i['value']??'')['trim']()['toLowerCase']();if(j==='true'||j==='false')return{'outcome':j,'reason':'table\x20entry\x20#'+i['identifier']+'\x20is\x20the\x20constant\x20Bool\x20'+j};}return undefined;}case'logic_and':{const k=h();if(!k)return undefined;const l=k['find'](m=>m?.['outcome']==='false');if(l)return{'outcome':'false','reason':'a\x20logic_and\x20branch\x20is\x20always\x20false:\x20'+l['reason']};if(k['every'](m=>m?.['outcome']==='true'))return{'outcome':'true','reason':'every\x20logic_and\x20branch\x20is\x20always\x20true:\x20'+(k[0x0]?.['reason']??'')};return undefined;}case'logic_or':{const m=h();if(!m)return undefined;const n=m['find'](o=>o?.['outcome']==='true');if(n)return{'outcome':'true','reason':'a\x20logic_or\x20branch\x20is\x20always\x20true:\x20'+n['reason']};if(m['every'](o=>o?.['outcome']==='false'))return{'outcome':'false','reason':'every\x20logic_or\x20branch\x20is\x20always\x20false'};return undefined;}case'logic_not':{const o=g(c['node']);if(!o)return undefined;return{'outcome':o['outcome']==='true'?'false':'true','reason':'logic_not\x20of\x20'+(o['outcome']==='true'?'an\x20always-true':'an\x20always-false')+'\x20expression:\x20'+o['reason']};}default:{if(f['length']<0x2)return undefined;const p=new Set(f['map'](stableKey));if(p['size']===0x1&&!readsContext(f[0x0])&&!rootRaw(f[0x0])['includes']('\x22query\x22')){if(REFLEXIVE_TRUE_OPS['has'](c['type']))return{'outcome':'true','reason':c['type']+'\x20compares\x20the\x20same\x20operand\x20to\x20itself\x20(identifier/constant\x20subtree\x20'+stableKey(f[0x0])['slice'](0x0,0x50)+')\x20—\x20it\x20can\x20never\x20reject'};if(REFLEXIVE_FALSE_OPS['has'](c['type']))return{'outcome':'false','reason':c['type']+'\x20compares\x20the\x20same\x20operand\x20to\x20itself\x20—\x20it\x20can\x20never\x20pass'};}const q=f['map'](s=>constantNumber(s,d)),r=c['type']==='logic_as_u256_greater_or_equal'?0x1:c['type']==='logic_as_u256_lesser_or_equal'?0x0:-0x1;if(r>=0x0&&f['length']===0x2){const s=0x1-r,t=f[s],u=staticValueType(t,d);if(q[r]===0x0n&&q[s]===undefined&&u!==undefined&&NUMERIC_VALUE_TYPE['test'](String(u))&&!readsContext(t))return{'outcome':'true','reason':c['type']+'\x20against\x20the\x20constant\x200\x20on\x20an\x20unsigned\x20('+u+')\x20operand\x20—\x20every\x20U-value\x20satisfies\x20it'};}if(q['length']===0x2&&q[0x0]!==undefined&&q[0x1]!==undefined){const v=q[0x0],w=q[0x1],x={'logic_equal':v===w,'logic_as_u256_equal':v===w,'logic_not_equal':v!==w,'logic_as_u256_greater':v>w,'logic_as_u256_greater_or_equal':v>=w,'logic_as_u256_lesser':v<w,'logic_as_u256_lesser_or_equal':v<=w};if(c['type']in x)return{'outcome':x[c['type']]?'true':'false','reason':c['type']+'\x20folds\x20on\x20two\x20constant\x20operands\x20('+v['toString']()+'\x20vs\x20'+w['toString']()+')'};}return undefined;}}}export function guardRiskFacts(a){const b={},c=rootRaw(a?.['root']),d=c['toLowerCase'](),f=Array['isArray'](a?.['table'])?a['table']:[],g=a?.['scene'],h=a?.['rely'];b['has_signer_check']=hasSignerCheck(c),b['has_clock_check']=hasClockCheck(c),b['has_guard_self_ref']=hasGuardSelfRef(c),b['has_witness']=hasWitness(c),b['queries_repository']=d['includes']('repository'),b['queries_progress']=d['includes']('progress'),b['root_has_query']=d['includes']('\x22query\x22'),b['root_has_clock_token']=d['includes']('clock'),b['root_has_calc_number_add']=d['includes']('calc_number_add'),b['root_has_logic_string_contains']=d['includes']('logic_string_contains'),b['root_has_logic_string_nocase']=d['includes']('logic_string_nocase'),b['root_has_logic_as_u256_greater_or_equal']=d['includes']('logic_as_u256_greater_or_equal'),b['root_has_logic_as_u256_greater']=d['includes']('logic_as_u256_greater'),b['root_has_logic_equal']=c['includes']('\x22logic_equal\x22'),b['root_has_logic_not_equal']=c['includes']('\x22logic_not_equal\x22'),b['logic_and_count']=(d['match'](/"logic_and"/g)||[])['length'],b['root_is_identifier']=a?.['root']?.['type']==='identifier';const i=b['root_is_identifier']?f['find'](G=>G['identifier']===a['root']['identifier']):undefined;b['root_identifier_is_submission']=i?.['b_submission']??![];const j=extractQueryIds(a?.['root']);b['root_query_ids_csv']=j['join'](',\x20'),b['root_has_progress_current_query']=j['includes'](0x4e5);const k=bareBoolQueryClauses(a?.['root']);k['length']>0x0&&(b['bare_bool_query_count']=k['length'],b['bare_bool_query_csv_sp']=k['join'](',\x20'));b['queries_arb_status']=d['includes']('arb.status'),b['arb_status_transient_gate']=b['queries_arb_status']&&f['some'](G=>!G['b_submission']&&/^u(8|16|32|64|128|256)$/i['test'](String(G['value_type']))&&Number(G['value'])===0x5);const l=f['some'](G=>G['b_submission']);b['has_submission']=l;const m=f['filter'](G=>!G['b_submission']&&G['value_type']==='Address'&&G['value']);m['length']>0x0&&(b['const_addr_count']=m['length'],b['const_addr_list']=m['map'](G=>'#'+G['identifier']+'='+G['value'])['join'](',\x20'));const n=f['filter'](G=>!G['b_submission']&&G['value_type']==='Address'&&typeof G['value']==='string'&&(G['value']['toLowerCase']()==='0xaab'||G['value']['toLowerCase']()==='0xaaa'));if(n['length']>0x0){b['sys_addr_list']=n['map'](H=>'#'+H['identifier']+'='+H['value']+'('+H['name']+')')['join'](',\x20');const G=n['find'](H=>H['value']==='0xaab'&&H['name']&&!H['name']['toLowerCase']()['includes']('registrar')||H['value']==='0xaaa'&&H['name']&&!H['name']['toLowerCase']()['includes']('linker'));b['sys_addr_wrong']=G!==undefined;}const o=extractWitnessCodes(a?.['root']),p=o['filter'](H=>[0x6a,0x6b,0x6c]['includes'](H));if(p['length']>0x0){const H={0x6a:'Arb→Progress\x20(two\x20hops:\x20arb.order\x20→\x20order.progress)',0x6b:'Arb→Machine\x20(two\x20hops:\x20arb.order\x20→\x20order.machine)',0x6c:'Arb→Service\x20(two\x20hops:\x20arb.order\x20→\x20order.service)'};b['witness_multihop_codes']=p,b['witness_multihop_csv']=p['join'](',\x20'),b['witness_multihop_names_block']=p['map'](I=>'\x20\x20-\x20'+I+':\x20'+H[I])['join']('\x0a');}const q=extractWitnessIdentifierPairs(a?.['root']),r=q['filter'](I=>I['code']>=0x64&&I['code']<=0x6d);if(r['length']>0x0){const I=[],J=[];for(const {code:L,identifier:M}of r){const N=WITNESS_CHAIN[L];if(!N)continue;const O=N[0x0],P=f['find'](R=>R['identifier']===M);if(!P)continue;const Q=L+'\x20('+N['join']('→')+')';P['object_type']?P['object_type']!==O&&I['push']('witness\x20'+Q+'\x20references\x20#'+M+'\x20'+('but\x20object_type='+P['object_type']+'\x20(expected\x20'+O+')')):J['push']('witness\x20'+Q+'\x20references\x20#'+M+'\x20'+('but\x20object_type\x20is\x20not\x20set\x20(expected\x20'+O+')'));if(N['length']===0x3){const R=N[0x1],S=f['some'](T=>T['object_type']===R);!S&&J['push']('witness\x20'+Q+'\x20multi-hop\x20chain\x20expects\x20intermediate\x20'+(R+'\x20in\x20table,\x20but\x20no\x20entry\x20with\x20object_type='+R+'\x20found'));}}const K=[...I,...J];K['length']>0x0&&(b['rc2_02_issue_count']=K['length'],b['rc2_02_has_hard_mismatch']=I['length']>0x0,b['rc2_02_evidence_lines']=K['map'](T=>'\x20\x20-\x20'+T)['join']('\x0a'),b['rc2_02_evidence_csv']=K['join'](';\x20'));}const s=extractQuerySourceTriples(a?.['root']);if(s['length']>0x0){const T=[],U=[],V=[];for(const W of s){const X=W['query']['split'](/[.\s]/)[0x0]?.['toLowerCase']()??'';if(W['code']!==undefined){const Y=WITNESS_TARGET_PREFIX[W['code']];Y&&X!==Y&&T['push']('query\x20\x22'+W['query']+'\x22\x20follows\x20convert_witness\x20'+W['code']+'\x20(target\x20'+Y+'.*)\x20—\x20'+('prefix\x20\x22'+X+'.*\x22\x20does\x20not\x20exist\x20on\x20the\x20converted\x20type'));}else{if(X==='progress'&&W['identifier']!==undefined){const Z=f['find'](a0=>a0['identifier']===W['identifier']);if(Z?.['object_type']&&Z['object_type']!=='Progress')U['push']('query\x20\x22'+W['query']+'\x22\x20reads\x20#'+W['identifier']+'\x20(object_type='+Z['object_type']+')\x20'+'without\x20convert_witness\x20—\x20no\x20PROGRESS→ORDER\x20reverse\x20edge\x20exists;\x20'+'derive\x20Progress\x20via\x20convert_witness\x20100\x20(OrderProgress)');else Z&&!Z['object_type']&&Z['b_submission']===!![]&&V['push']('query\x20\x22'+W['query']+'\x22\x20reads\x20submission\x20#'+W['identifier']+'\x20without\x20convert_witness\x20'+'and\x20without\x20an\x20object_type\x20annotation\x20—\x20if\x20this\x20submits\x20the\x20ORDER,\x20'+'progress.*\x20is\x20unresolvable\x20(no\x20PROGRESS→ORDER\x20edge);\x20derive\x20via\x20convert_witness\x20100');}}}T['length']>0x0&&(b['rc2_05_mismatch_count']=T['length'],b['rc2_05_evidence_lines']=T['map'](a0=>'\x20\x20-\x20'+a0)['join']('\x0a'));if(U['length']>0x0||V['length']>0x0){const a0=[...U,...V];b['rc2_06_issue_count']=a0['length'],b['rc2_06_has_hard_mismatch']=U['length']>0x0,b['rc2_06_evidence_lines']=a0['map'](a1=>'\x20\x20-\x20'+a1)['join']('\x0a');}}const u=c['match'](/keys\s+where/gi);u&&u['length']>0x0&&(b['rc2_07_keys_where_count']=u['length']);if(g?.['binding_field']==='buy_guard'){const a1=c['match'](/"query"\s*:\s*"order\.[^"]*"/g)??[];a1['length']>0x0&&(b['rx1_19_order_query_count']=a1['length'],b['rx1_19_evidence_csv']=a1['join'](',\x20'));}if(b['has_witness']){const a2=d['includes']('repository')&&d['includes']('\x22query\x22'),a3=d['includes']('progress_history')&&d['includes']('\x22query\x22');if(a2||a3){const a4=d['includes']('convert_number_address')||d['includes']('convert_address_number')||d['includes']('convert_u256')||d['includes']('convert_string');b['rc2_04_queries_repo']=a2,b['rc2_04_queries_progress_history']=a3,b['rc2_04_has_conversion']=a4,b['rc2_04_conversion_note']=a4?'\x0aThe\x20current\x20Guard\x20already\x20uses\x20type\x20conversion\x20nodes,\x20but\x20ensure\x20the\x20conversion\x20direction\x20is\x20correct.':'\x0aWarning:\x20no\x20type\x20conversion\x20node\x20detected\x20in\x20the\x20current\x20Guard;\x20parameter\x20type\x20mismatch\x20risk\x20may\x20exist.',b['rc2_04_conversion_evidence']=a4?'Type\x20conversion\x20node\x20in\x20use':'No\x20type\x20conversion\x20node\x20detected';}}b['scene_present']=g!==undefined;g&&(b['scene_id']=g['id'],b['scene_host_object']=g['host_object'],b['scene_binding_field']=g['binding_field'],b['scene_mutable_after_publish']=g['mutable_after_publish']);b['rc3_01_sharing_exempt']=g?.['id']==='service_order_allocators_guard'&&Array['isArray'](a?.['sharing_recipients'])&&a['sharing_recipients']['length']>0x0&&!a['sharing_recipients']['includes']('Signer');if(g?.['binding_field']==='voting_guard'){const a5=f['filter'](a6=>a6['b_submission']&&['U8','U16','U32','U64','U128','U256']['includes'](a6['value_type']));a5['length']>0x0&&(b['rc3_02_numeric_count']=a5['length'],b['rc3_02_numeric_list']=a5['map'](a6=>'#'+a6['identifier']+'('+a6['value_type']+')')['join'](',\x20'));}const v=f['filter'](a6=>a6['b_submission']&&a6['value_type']==='Address');if(v['length']>0x0){b['rc3_03_submitted_addr_count']=v['length'];const a6=v['filter'](a7=>!a7['object_type']);b['rc3_03_no_type_count']=a6['length'],b['rc3_03_evidence']=a6['length']>0x0?'Missing\x20object_type:\x20'+a6['map'](a7=>'#'+a7['identifier'])['join'](',\x20'):'Annotated:\x20'+v['map'](a7=>'#'+a7['identifier']+'='+a7['object_type'])['join'](',\x20');}b['rc3_01_order_anchored']=g?.['id']==='service_order_allocators_guard'&&f['some'](a7=>a7['b_submission'])&&((()=>{const a7=rootReferencedIdentifiers(a?.['root']);return f['filter'](a8=>a8['b_submission'])['every'](a8=>!a7['has'](a8['identifier']));})());if(v['length']>0x0){const a7=o['some'](ae=>[0x64,0x65,0x66]['includes'](ae)),a8=o['some'](ae=>[0x67]['includes'](ae)),a9=o['some'](ae=>[0x68,0x69,0x6a,0x6b,0x6c]['includes'](ae)),aa=v['filter'](ae=>ae['object_type']==='Order'||a7&&!ae['object_type']),ab=v['filter'](ae=>ae['object_type']==='Progress'||a8&&!ae['object_type']),ac=v['filter'](ae=>ae['object_type']==='Arb'||a9&&!ae['object_type']),ad=aa['length']>0x0||ab['length']>0x0||ac['length']>0x0;if(ad){const ae=['machine_forward_guard','service_order_allocators_guard','arbitration_usage_guard','arbitration_voting_guard','reward_claim','progress_submission_guard'],af=g?.['id'],ag=!af||ae['includes'](af);if(ag){const ah=new Set([0x61b,0x618,0x4e2,0x57a,0x579]),ai=j['some'](aj=>ah['has'](aj));if(!ai){const aj=[];for(const ak of aa){aj['push']('#'+ak['identifier']+(ak['object_type']?'(Order)':'(inferred\x20Order\x20via\x20witness\x20100-102)'));}for(const al of ab){aj['push']('#'+al['identifier']+(al['object_type']?'(Progress)':'(inferred\x20Progress\x20via\x20witness\x20103)'));}for(const am of ac){aj['push']('#'+am['identifier']+(am['object_type']?'(Arb)':'(inferred\x20Arb\x20via\x20witness\x20104-108)'));}b['rc3_05_applies']=!![],b['rc3_05_critical']=af!==undefined&&af==='machine_forward_guard',b['rc3_05_unbound_csv']=aj['join'](',\x20'),b['rc3_05_scene_label']=af??'unknown\x20scene\x20(conservative\x20flag)';}}}}if(g?.['id']==='service_order_allocators_guard'&&!b['has_signer_check']){const an=a?.['sharing_recipients'],ao=an!==undefined&&an['length']>0x0,ap=ao&&an['includes']('Signer');if(!(ao&&!ap)){const aq=isUnboundSignerTheft({'recipient_is_signer':ap,'caller_identity_constrained':![]});b['rc3_06_applies']=!![],b['rc3_06_signer_sharing']=aq,b['rc3_06_recipients_label']=ao?'['+an['join'](',\x20')+']':'(not\x20provided\x20—\x20conservative\x20flag)',b['rc3_06_title_suffix']=ap?'sharing.who=Signer\x20confirmed\x20—\x20anyone\x20can\x20steal\x20100%\x20of\x20funds':'if\x20sharing.who=Signer,\x20anyone\x20can\x20steal\x20100%\x20of\x20funds',b['rc3_06_level_rationale']=aq?'Signer\x20sharing\x20confirmed\x20→\x20critical':'sharing\x20hint\x20absent\x20→\x20conservative\x20medium';}}if(b['has_signer_check']){const ar=c['includes']('\x22logic_equal\x22'),as=c['includes']('\x22logic_not_equal\x22');b['rc4_01_comparison_detail']=(ar?'logic_equal(==)':'')+'\x20'+(as?'logic_not_equal(!=)':''),b['rc4_01_comparison_ops']=(ar?'==':'')+'\x20'+(as?'!=':'');}if(b['has_clock_check']){const at=d['includes']('logic_as_u256_greater_or_equal'),au=d['includes']('logic_as_u256_greater');(at||au)&&(b['rc4_02_has_greater_or_equal']=at,b['rc4_02_has_greater']=au,b['rc4_02_comparison_ops']=(at?'>=':'')+'\x20'+(au?'>':''));}if(b['has_signer_check']&&!isSignerCheckInLogicOr(a?.['root'])){const av=detectLevel1StrictBinding(a?.['root'],f);if(av['detected']&&av['entry']){const aw=av['entry'];b['rc4_04_detected']=!![],b['rc4_04_entry_identifier']=aw['identifier'],b['rc4_04_entry_value']=aw['value'],b['rc4_04_entry_detail']='b_submission=false,\x20value=\x22'+aw['value']+'\x22'+(aw['name']?',\x20name=\x22'+aw['name']+'\x22':'');}}const w=rootAllQueriesNonZero(a?.['root']),x=()=>{const ax=j['filter'](ay=>!QUERY_INVARIANT_MAP['has'](ay));if(ax['length']===0x0)return'';return'Queries\x20without\x20non-zero\x20invariant:\x20'+ax['map'](ay=>{const az=GUARDQUERY['find'](aA=>aA['id']===ay);return az?az['id']+'\x20('+az['name']+')':''+ay;})['join'](',\x20');};b['root_has_logic_as_u256_greater_or_equal']&&d['includes']('\x22clock\x22')&&b['root_has_calc_number_add']&&b['root_has_query']&&!w&&(b['rx1_01_trigger']=!![],b['rx1_01_evidence']=x()||'Baseline\x20query\x20may\x20return\x200');b['root_has_logic_as_u256_greater']&&b['root_has_query']&&!w&&(b['rx1_02_trigger']=!![],b['rx1_02_evidence']=x()||'Query\x20may\x20return\x200');const y=Array['isArray'](h?.['guards'])?h['guards']:[];b['rely_guards_count']=y['length'],b['rely_is_or']=h?.['logic_or']===!![],b['rely_logic']=h?.['logic_or']?'OR':'AND';const z=d['includes']('repository')&&d['includes']('\x22query\x22'),A=f['some'](ax=>ax['b_submission']&&ax['value_type']==='Address'&&ax['object_type']==='Repository'),B=z&&A;b['rx1_11_self_rep_false']=B,b['rx1_11_warning_tail']=B?'\x0aWarning:\x20the\x20current\x20Guard\x20itself\x20queries\x20repository.data\x20and\x20the\x20Repository\x20address\x20comes\x20from\x20submission,\x20'+'so\x20its\x20own\x20rep=false\x20and\x20cannot\x20be\x20depended\x20on\x20by\x20other\x20Guards.':'',b['rx1_11_evidence']=B?'Self\x20rep=false\x20(repository.data\x20query\x20depends\x20on\x20submission)':'Self\x20rep\x20status\x20to\x20be\x20confirmed';if(l){const ax=f['filter'](az=>az['b_submission']),ay=ax['filter'](az=>(az['name']??'')==='');ay['length']>0x0&&(b['rx1_12_vague_count']=ay['length'],b['rx1_12_vague_csv']=ay['map'](az=>'identifier='+az['identifier']+',\x20name=\x22'+(az['name']??'')+'\x22')['join'](';\x20'));}if(g){const az=f['find'](aA=>!aA['b_submission']&&aA['value_type']==='Address'&&aA['object_type']===g['host_object']);az&&(b['rx1_13_detected']=!![],b['rx1_13_identifier']=az['identifier']);}const C=REENTRANCY_SPECS['find'](aA=>aA['sceneId']===g?.['id']);if(C){const aA=detectReentrancyProtection(a?.['root'],f,C);aA['state']!=='protected'&&(b['reentry_applicable']=!![],b['reentry_state']=aA['state'],b['reentry_scene_id']=C['sceneId'],b['reentry_rationale']=C['rationale'],b['reentry_mitigation']=C['mitigation'],aA['state']==='pseudo'&&(b['reentry_found_primitive']=aA['foundPrimitiveName']??''),b['reentry_evidence']=aA['evidence']);}const D=foldCertainOutcome(a?.['root'],f),E=D?.['outcome']==='true';b['tree_folds_always_true']=E;D&&D['outcome']==='false'&&(b['tree_folds_always_false']=!![],b['tree_folds_always_false_reason']=D['reason']);if(E)b['tree_folds_always_true_reason']=D['reason'];const F=g?.['binding_field']==='write_guard'||g?.['id']==='repository_write_guard';return b['write_guard_scene']=F,F&&(b['write_guard_no_identity_check']=!b['has_signer_check'],b['write_guard_open']=E||!b['has_signer_check']),b;}function guardRuleBook(){const a=getJudgmentDoc()['rules']['domains']['guard'];if(!a)throw new Error('factory\x20rule\x20pack\x20\x27guard\x27\x20missing\x20—\x20broken\x20installation');return a['rules'];}function dataSourceClassFor(a){if(a['startsWith']('R-C1-'))return'type1_onchain_constant';if(a['startsWith']('R-C2-'))return'type2_witness_derived';if(a['startsWith']('R-C3-'))return'type3_submitted_object';if(a['startsWith']('R-C4-'))return'type4_system_context';return'cross_type';}function findingToGuardRisk(a){return{'id':a['rule_id'],'data_source_class':dataSourceClassFor(a['rule_id']),'level':a['level'],'category':a['dimension']??'data_source_trust','title':a['title'],'description':a['description'],'affected_stakeholders':a['stakeholders']??[],'scenario':a['scenario']??'','mitigation':a['mitigation']??'',...a['evidence']!==undefined?{'evidence':a['evidence']}:{},...a['exposure']!=null?{'exposure':a['exposure']}:{}};}export function runGuardRulePack(a){const b=guardRuleBook();let c;try{c=guardRiskFacts(a);}catch{return[];}return evaluateRuleBook(b,c)['findings']['map'](findingToGuardRisk);}export function assembleGuardAssessment(a,b){const c=getOverallRiskLevel(b),d={};for(const h of b){d[h['data_source_class']]=(d[h['data_source_class']]??0x0)+0x1;}const e=generateStakeholderAdvice(b,a['scene']),f=b['some'](i=>i['level']==='critical')||b['filter'](i=>i['level']==='high')['length']>=0x2,g=generateGuardSummary(a);return{'guard_summary':g,'scene':a['scene'],'risks':b,'overall_risk':c,'risks_by_data_source':d,'stakeholder_advice':e,'needs_human_review':f};}function getOverallRiskLevel(a){if(a['some'](b=>b['level']==='critical'))return'critical';if(a['some'](b=>b['level']==='high'))return'high';if(a['some'](b=>b['level']==='medium'))return'medium';return'low';}function generateStakeholderAdvice(a,b){const c={};for(const d of a){for(const e of d['affected_stakeholders']){if(!c[e])c[e]=[];c[e]['push']('['+d['level']['toUpperCase']()+']\x20'+d['title']+':\x20'+d['mitigation']);}}if(b)switch(b['binding_field']){case'buy_guard':if(!c['customer'])c['customer']=[];c['customer']['push']('Before\x20purchase,\x20verify\x20the\x20buy_guard\x20logic\x20to\x20ensure\x20your\x20identity/credentials\x20can\x20pass\x20validation');break;case'order_allocators':if(!c['provider'])c['provider']=[];c['provider']['push']('Verify\x20the\x20order_allocators\x20ordering\x20to\x20ensure\x20your\x20Allocator\x20will\x20not\x20be\x20skipped\x20by\x20preceding\x20conditions');break;case'voting_guard':if(!c['arbitrator'])c['arbitrator']=[];c['arbitrator']['push']('Confirm\x20the\x20voting\x20weight\x20source\x20is\x20trustworthy;\x20prefer\x20querying\x20EntityRegistrar\x20rather\x20than\x20user-submitted\x20data');break;case'Forward.guard':if(!c['customer'])c['customer']=[];c['customer']['push']('Verify\x20the\x20Forward.guard\x20conditions\x20to\x20ensure\x20you\x20can\x20satisfy\x20the\x20advancement\x20criteria\x20and\x20avoid\x20locked\x20funds');break;}return c;}function generateGuardSummary(a){const b=[];b['push']('table\x20entries:\x20'+a['table']['length']);const c=a['table']['filter'](d=>d['b_submission'])['length'];return b['push']('submitted\x20data:\x20'+c+'\x20entries'),b['push']('root\x20type:\x20'+(a['root']?.['type']??'unknown')),a['rely']&&b['push']('rely:\x20'+a['rely']['guards']['length']+'\x20dependencies\x20('+(a['rely']['logic_or']?'OR':'AND')+')'),b['join'](',\x20');}export function getRiskSummary(a){return{'risk_count':a['risks']['length'],'critical_count':a['risks']['filter'](b=>b['level']==='critical')['length'],'high_count':a['risks']['filter'](b=>b['level']==='high')['length'],'needs_human_review':a['needs_human_review'],'top_risks':a['risks']['filter'](b=>b['level']==='critical'||b['level']==='high')['slice'](0x0,0x3)['map'](b=>b['title'])};}export function getRiskRulesCount(){return factoryRulePack('guard')?.['rules']['length']??0x0;}export const RISK_RULES=((()=>{const a=factoryRulePack('guard');if(!a)return[];return a['rules']['map'](b=>({'id':b['rule_id'],'data_source_class':dataSourceClassFor(b['rule_id']),'trigger':b['trigger']??'','check':c=>{const d=guardRuleBook()['find'](f=>f['rule_id']===b['rule_id']);if(!d)return null;const {findings:e}=evaluateRuleBook([d],guardRiskFacts(c));return e['length']>0x0?findingToGuardRisk(e[0x0]):null;}}));})());

package/dist/knowledge/guard-submission-brief.d.ts

@@ -17,6 +17,12 @@ export declare function loadGuardJsonFromChain(guardRef: string, network?: strin
     name?: string;
     json: GuardJsonInput;
 } | undefined>;
+export interface GuardEchoDiff {
+    match: boolean;
+    diffs: string[];
+    summary: string;
+}
+export declare function diffGuardSpecVsChain(submitted: GuardJsonInput, chain: GuardJsonInput): GuardEchoDiff;
 export declare const OPERATION_GUARD_ACTION: Record<string, GuardAction>;
 export interface GuardSubmissionBrief {
     guard: string;

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

@@ -1 +1 @@
-import{query_objects,LocalMark}from'@wowok/wowok';import{walkGuardTree}from'./guard-render.js';import{analyzeGuardSemantics}from'../schema-query-impl/index.js';export const GUARD_BINDING_SEMANTICS={'buy':{'host':'Service','binding_field':'buy_guard','role':'Purchase\x20gate\x20—\x20decides\x20WHO\x20may\x20place\x20an\x20order\x20on\x20this\x20Service','submission_meaning':'Evidence\x20that\x20you\x20qualify\x20as\x20a\x20buyer\x20(e.g.\x20a\x20Passport,\x20a\x20Proof,\x20an\x20allowlist\x20membership)','on_pass':'Your\x20order\x20is\x20accepted\x20and\x20the\x20payment\x20moves\x20into\x20the\x20Service\x20escrow\x20flow','on_fail':'The\x20order\x20transaction\x20aborts\x20—\x20you\x20cannot\x20buy\x20from\x20this\x20Service','stakes':'Money\x20is\x20committed\x20on\x20pass\x20—\x20wrong\x20evidence\x20may\x20either\x20block\x20you\x20or,\x20worse,\x20pass\x20a\x20check\x20you\x20did\x20not\x20intend'},'forward':{'host':'Machine','binding_field':'Forward.guard','role':'Workflow\x20advance\x20condition\x20—\x20what\x20must\x20be\x20TRUE\x20before\x20an\x20order\x20may\x20move\x20to\x20the\x20next\x20node','submission_meaning':'Evidence\x20for\x20the\x20node\x27s\x20condition\x20(delivery\x20proof,\x20inspection\x20result,\x20approval\x20object)','on_pass':'The\x20order\x20advances\x20to\x20the\x20next\x20node;\x20fund\x20allocation\x20for\x20that\x20transition\x20may\x20execute','on_fail':'The\x20transition\x20aborts\x20—\x20the\x20order\x20stays\x20at\x20the\x20current\x20node','stakes':'Advancing\x20may\x20release\x20funds\x20to\x20the\x20counterparty\x20—\x20verify\x20the\x20node\x20semantics\x20before\x20confirming'},'allocate':{'host':'Service\x20(order_allocators)','binding_field':'order_allocators[].guard','role':'Payment-recipient\x20qualification\x20—\x20the\x20Guard\x27s\x20submission\x20identifies\x20WHO\x20receives\x20the\x20allocation\x20share','submission_meaning':'The\x20recipient\x20identity/address\x20the\x20Guard\x20derives\x20from\x20your\x20submitted\x20data','on_pass':'Funds\x20are\x20allocated\x20to\x20the\x20recipient\x20the\x20Guard\x20resolved\x20from\x20your\x20submission','on_fail':'The\x20allocation\x20aborts\x20—\x20payment\x20cannot\x20settle','stakes':'HIGHEST\x20—\x20a\x20wrong\x20submitted\x20address\x20sends\x20funds\x20to\x20the\x20wrong\x20recipient\x20(irreversible)'},'claim_reward':{'host':'Reward','binding_field':'guard','role':'Reward\x20claim\x20eligibility\x20—\x20who\x20may\x20claim\x20this\x20Reward','submission_meaning':'Proof\x20of\x20eligibility\x20for\x20the\x20reward','on_pass':'The\x20reward\x20is\x20paid\x20out\x20to\x20you','on_fail':'The\x20claim\x20aborts','stakes':'A\x20wrong\x20claim\x20may\x20consume\x20a\x20one-time\x20eligibility'},'vote':{'host':'Arbitration','binding_field':'voting_guard','role':'Voting\x20right\x20—\x20who\x20may\x20vote\x20in\x20this\x20arbitration\x20(empty\x20guard\x20=\x20everyone)','submission_meaning':'Proof\x20of\x20voting\x20membership/weight','on_pass':'Your\x20vote\x20is\x20counted\x20with\x20your\x20weight','on_fail':'The\x20vote\x20aborts','stakes':'Votes\x20may\x20be\x20irrevocable\x20until\x20re-voted;\x20vote\x20count\x20caps\x20apply\x20(ring\x20buffer\x20≤\x205200)'},'dispute':{'host':'Arbitration','binding_field':'usage_guard','role':'Dispute\x20admission\x20—\x20who\x20may\x20open\x20a\x20dispute\x20on\x20an\x20order\x20under\x20this\x20Arbitration','submission_meaning':'Standing\x20to\x20dispute\x20(usually\x20order\x20involvement)','on_pass':'A\x20dispute\x20case\x20is\x20opened\x20and\x20the\x20order\x20flow\x20enters\x20arbitration','on_fail':'The\x20dispute\x20aborts','stakes':'Dispute\x20slots\x20are\x20capped\x20(≤\x2010\x20per\x20order);\x20a\x20failed\x20attempt\x20wastes\x20nothing,\x20a\x20wrong\x20one\x20locks\x20the\x20flow'},'write_repository':{'host':'Repository','binding_field':'write_guard','role':'Data\x20write\x20permission\x20—\x20who\x20may\x20write\x20entries\x20to\x20this\x20Repository','submission_meaning':'Write\x20authorization\x20evidence','on_pass':'Your\x20data\x20entry\x20is\x20written\x20to\x20the\x20Repository\x20(mutable\x20data\x20other\x20Guards\x20may\x20read!)','on_fail':'The\x20write\x20aborts','stakes':'Repository\x20data\x20feeds\x20OTHER\x20Guards\x27\x20decisions\x20—\x20wrong\x20writes\x20corrupt\x20downstream\x20checks'},'submit_progress':{'host':'Progress','binding_field':'submission\x20guard','role':'Progress\x20submission\x20permission\x20—\x20who\x20may\x20submit\x20task\x20progress/evidence','submission_meaning':'The\x20progress\x20evidence/attachment\x20itself','on_pass':'The\x20progress\x20record\x20is\x20attached\x20to\x20the\x20task','on_fail':'The\x20submission\x20aborts','stakes':'Progress\x20evidence\x20may\x20be\x20one-shot\x20per\x20task;\x20wrong\x20content\x20misrepresents\x20the\x20work'},'gen_passport':{'host':'Standalone','binding_field':'none','role':'Static\x20verification\x20—\x20test/credential\x20generation\x20outside\x20any\x20business\x20operation','submission_meaning':'The\x20data\x20the\x20Guard\x20needs\x20to\x20evaluate\x20(same\x20shape\x20as\x20in\x20business\x20use)','on_pass':'A\x20Passport\x20credential\x20object\x20is\x20generated\x20for\x20you','on_fail':'No\x20Passport\x20is\x20generated\x20(gas\x20is\x20still\x20consumed)','stakes':'Low\x20—\x20gen_passport\x20is\x20a\x20test\x20surface,\x20but\x20it\x20consumes\x20gas\x20per\x20call'},'custom':{'host':'Standalone','binding_field':'none','role':'Standalone\x20Guard\x20(rely\x20dependency\x20or\x20custom\x20scenario)','submission_meaning':'Whatever\x20the\x20Guard\x27s\x20table\x20declares\x20(b_submission\x20items)','on_pass':'Verification\x20succeeds\x20for\x20the\x20consuming\x20operation','on_fail':'The\x20consuming\x20operation\x20aborts','stakes':'Depends\x20on\x20the\x20consumer\x20—\x20inspect\x20the\x20tree\x20before\x20submitting'}};const VALUE_TYPE_NAMES={0x0:'Bool',0x1:'Address',0x2:'String',0x3:'U8',0x4:'U16',0x5:'U32',0x6:'U64',0x7:'U128',0x8:'U256',0x9:'VecBool',0xa:'VecAddress',0xb:'VecString',0xc:'VecU8',0xd:'VecU16',0xe:'VecU32',0xf:'VecU64',0x10:'VecU128',0x11:'VecU256',0x12:'VecVecU8',0x13:'Value'};export function valueTypeName(a){if(typeof a==='number')return VALUE_TYPE_NAMES[a]??String(a);return String(a??'Address');}export async function loadGuardJsonFromChain(a,b){let c=a,d;if(!a['startsWith']('0x'))try{const e=await LocalMark['Instance']()['get'](a);if(!e?.['address'])return undefined;c=e['address'],d=a;}catch{return undefined;}try{const f=await query_objects({'objects':[c],'network':b}),g=f?.['objects']?.[0x0];if(!g||g['type']!=='Guard')return undefined;const h=Array['isArray'](g['table'])?g['table']:[],i=Array['isArray'](g['relies'])?g['relies']:[],j={'description':typeof g['description']==='string'?g['description']:undefined,'table':h['map'](k=>{const l=k;return{'identifier':Number(l['identifier']??0x0),'b_submission':l['b_submission']===!![],'value_type':valueTypeName(l['value_type']),'value':l['value'],'name':typeof l['name']==='string'?l['name']:undefined,'object_type':typeof l['object_type']==='string'?l['object_type']:undefined};}),'root':g['root'],...i['length']>0x0?{'rely':{'guards':i,'logic_or':g['relies_logic_and']!==!![]}}:{}};return{'guard':c,'name':d,'json':j};}catch{return undefined;}}export const OPERATION_GUARD_ACTION={'machine':'forward','progress':'forward','allocation':'allocate','reward':'claim_reward','repository':'write_repository','arbitration':'vote','gen_passport':'gen_passport'};function identifierUsedByQueries(a,b){const c=new Set();return walkGuardTree(a,d=>{const e=d;if(e['type']==='query'&&typeof e['query']==='number'){const f=JSON['stringify'](e['parameters']??e['where']??e['find']??'');(f['includes']('\x22identifier\x22:'+b)||f['includes']('\x22identifier\x22:\x20'+b))&&c['add'](e['query']);}}),[...c]['sort']((d,e)=>d-e);}function identifierFeedsRecipient(a,b){let c=![];return walkGuardTree(a,d=>{const e=d;if(e['type']==='query'&&typeof e['query']==='number'&&e['query']===b){if(e['where']||e['find']||e['recipient'])c=!![];}}),c;}export async function buildGuardSubmissionBrief(a){let b=a['guard_json'],c=a['guard_ref']??'',d,e;if(!b){if(!a['guard_ref'])return undefined;const n=await loadGuardJsonFromChain(a['guard_ref'],a['network']);if(!n)return undefined;b=n['json'],c=n['guard'],d=n['name'];}else a['guard_ref']&&(c=a['guard_ref']);e=b['description'];const f=await analyzeGuardSemantics(b),g=a['action'],h=g?GUARD_BINDING_SEMANTICS[g]:undefined,i=(b['table']??[])['filter'](o=>o['b_submission']===!![]),j=b['root'],k=i['map'](o=>({'identifier':o['identifier'],'name':o['name'],'value_type':o['value_type'],'object_type':o['object_type'],'consumed_by_queries':identifierUsedByQueries(j,o['identifier']),'feeds_recipient':identifierFeedsRecipient(j,o['identifier'])})),l=[];for(const o of f['party_evaluation']['data_sources']){o['is_mutable_onchain']&&l['push']('Table\x20['+o['identifier']+']'+(o['name']?'\x20\x22'+o['name']+'\x22':'')+'\x20reads\x20a\x20Repository\x20—\x20its\x20value\x20is\x20MUTABLE\x20on-chain\x20and\x20may\x20have\x20changed\x20since\x20the\x20Guard\x20was\x20created;\x20verify\x20the\x20current\x20entry\x20before\x20relying\x20on\x20the\x20check');}f['party_evaluation']['has_time_conditions']&&l['push']('The\x20tree\x20contains\x20Clock\x20(time)\x20conditions\x20—\x20the\x20check\x20result\x20may\x20differ\x20from\x20an\x20earlier\x20static\x20test');f['party_evaluation']['has_rely_composition']&&l['push']('This\x20Guard\x20composes\x20other\x20Guards\x20via\x20rely\x20—\x20each\x20relied\x20Guard\x27s\x20semantics\x20apply\x20too\x20(max\x204,\x20one\x20layer)');const m=(f['lint']?.['summary']?.['errors']??0x0)>0x0;return{'guard':c,'guard_name':d,'description':e,...g&&h?{'binding':{'action':g,'semantics':h}}:{},'analysis':f,'submission_checklist':k,'data_source_warnings':l,'consequences':{'on_pass':h?.['on_pass']??'Verification\x20succeeds\x20for\x20the\x20consuming\x20operation','on_fail':h?.['on_fail']??'The\x20consuming\x20operation\x20aborts\x20(gas\x20consumed)'},'has_errors':m};}export function renderSubmissionBrief(a){const b=[],c=a['guard_name']??a['guard'];b['push']('GUARD\x20SUBMISSION\x20BRIEF\x20—\x20'+c);if(a['description'])b['push']('Description:\x20'+a['description']);a['binding']?b['push']('Business\x20slot:\x20'+a['binding']['semantics']['role']+'\x20('+a['binding']['semantics']['host']+'.'+a['binding']['semantics']['binding_field']+')'):b['push']('Business\x20slot:\x20unknown\x20—\x20pass\x20the\x20binding\x20action\x20(buy/forward/allocate/...)\x20for\x20slot-specific\x20semantics');b['push'](''),b['push']('What\x20you\x20must\x20submit\x20(b_submission\x20table\x20entries):');for(const d of a['submission_checklist']){const e=d['name']?'\x20\x22'+d['name']+'\x22':'';b['push']('\x20\x20['+d['identifier']+']'+e+'\x20type='+(d['value_type']??'?')+(d['object_type']?'\x20object='+d['object_type']:'')),d['consumed_by_queries']['length']>0x0&&b['push']('\x20\x20\x20\x20\x20\x20feeds\x20guard\x20query\x20id(s):\x20'+d['consumed_by_queries']['join'](',\x20')),d['feeds_recipient']&&b['push']('\x20\x20\x20\x20\x20\x20⚠\x20this\x20submission\x20can\x20determine\x20a\x20PAYMENT\x20RECIPIENT\x20—\x20wrong\x20value\x20=\x20funds\x20to\x20the\x20wrong\x20address');}a['submission_checklist']['length']===0x0&&b['push']('\x20\x20(no\x20b_submission\x20entries\x20—\x20this\x20Guard\x20verifies\x20without\x20user-submitted\x20data)');b['push'](''),b['push']('What\x20the\x20Guard\x20checks\x20(logic\x20tree):');for(const f of a['analysis']['render']['tree_indented']['split']('\x0a')['slice'](0x0,0x28))b['push']('\x20\x20'+f);b['push'](''),b['push']('Consequences\x20—\x20PASS:\x20'+a['consequences']['on_pass']),b['push']('\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20FAIL:\x20'+a['consequences']['on_fail']);if(a['binding'])b['push']('Stakes:\x20'+a['binding']['semantics']['stakes']);if(a['data_source_warnings']['length']>0x0){b['push'](''),b['push']('Data-source\x20warnings:');for(const g of a['data_source_warnings'])b['push']('\x20\x20-\x20'+g);}return a['has_errors']&&(b['push'](''),b['push']('⚠\x20Guard\x20lint\x20reports\x20ERROR-level\x20diagnostics\x20—\x20review\x20before\x20submitting.')),b['join']('\x0a');}function previewValue(a){if(a===undefined||a===null)return'(empty)';if(typeof a==='string')return a['length']>0x40?a['slice'](0x0,0x3d)+'...':a;try{const b=JSON['stringify'](a);return b['length']>0x40?b['slice'](0x0,0x3d)+'...':b;}catch{return String(a);}}export async function buildSubmissionConfirmation(a){const b=await buildGuardSubmissionBrief(a);if(!b)return undefined;const c=new Set(b['analysis']['party_evaluation']['submission_requirements']['map'](m=>m['identifier'])),d=new Map(b['analysis']['party_evaluation']['submission_requirements']['map'](m=>[m['identifier'],m])),e=new Map(b['submission_checklist']['map'](m=>[m['identifier'],m])),f=[],g=new Set(),h=[];for(const m of a['submission']??[]){const n=typeof m['identifier']==='number'?m['identifier']:null;if(n!==null){if(c['has'](n))g['add'](n);else{if(!c['has'](n)&&!e['has'](n))h['push'](n);}}const o=n!==null?d['get'](n):undefined,p=n!==null?e['get'](n):undefined,q=[];if(n===null)q['push']('missing\x20identifier\x20—\x20the\x20Guard\x20cannot\x20match\x20this\x20entry\x20to\x20a\x20table\x20slot');o&&m['value_type']!==undefined&&valueTypeName(m['value_type'])!==o['value_type']&&String(m['value_type'])!==o['value_type']&&q['push']('value_type\x20mismatch:\x20submitted\x20'+valueTypeName(m['value_type'])+',\x20Guard\x20expects\x20'+o['value_type']),o&&(m['value']===undefined||m['value']===null||m['value']==='')&&q['push']('value\x20is\x20empty\x20—\x20verification\x20will\x20consume\x20an\x20empty\x20slot\x20(usually\x20fails)'),f['push']({'identifier':n,'name':m['name']??o?.['name'],'submitted_value_preview':previewValue(m['value']),'expected_value_type':o?.['value_type'],'submitted_value_type':m['value_type']!==undefined?valueTypeName(m['value_type']):undefined,'issues':q,'feeds_recipient':p?.['feeds_recipient']??![]});}const i=[...c]['filter'](r=>!g['has'](r))['sort']((r,s)=>r-s),j=b['guard_name']??b['guard'],k=[];k['push']('GUARD\x20SUBMISSION\x20CONFIRMATION\x20—\x20'+j);if(b['description'])k['push']('Guard:\x20'+b['description']);b['binding']&&(k['push']('Slot:\x20'+b['binding']['semantics']['role']),k['push']('Your\x20submission\x20means:\x20'+b['binding']['semantics']['submission_meaning']));k['push'](''),k['push']('You\x20are\x20about\x20to\x20submit:');for(const r of f){const s=r['name']?'\x20\x22'+r['name']+'\x22':'';k['push']('\x20\x20['+(r['identifier']??'?')+']'+s+'\x20=\x20'+r['submitted_value_preview']+(r['expected_value_type']?'\x20(type\x20'+r['expected_value_type']+')':''));if(r['feeds_recipient'])k['push']('\x20\x20\x20\x20\x20\x20⚠\x20this\x20value\x20can\x20determine\x20a\x20PAYMENT\x20RECIPIENT');for(const t of r['issues'])k['push']('\x20\x20\x20\x20\x20\x20!\x20'+t);}if(f['length']===0x0)k['push']('\x20\x20(nothing)');i['length']>0x0&&(k['push'](''),k['push']('Missing\x20required\x20identifier(s):\x20'+i['join'](',\x20')+'\x20—\x20the\x20Guard\x20will\x20treat\x20them\x20as\x20empty'));h['length']>0x0&&k['push']('Unknown\x20identifier(s)\x20not\x20in\x20this\x20Guard\x27s\x20table:\x20'+h['join'](',\x20'));k['push'](''),k['push']('If\x20verification\x20PASSES:\x20'+b['consequences']['on_pass']),k['push']('If\x20verification\x20FAILS:\x20'+b['consequences']['on_fail']);if(b['binding'])k['push']('Stakes:\x20'+b['binding']['semantics']['stakes']);k['push'](''),k['push']('Confirm\x20by\x20re-calling\x20with\x20env.confirmed=true,\x20or\x20modify/cancel.');const l=i['length']===0x0&&f['every'](u=>u['issues']['length']===0x0);return{'guard':b['guard'],...b['guard_name']?{'guard_name':b['guard_name']}:{},...b['binding']?{'binding':b['binding']}:{},'items':f,'missing_identifiers':i,'unknown_identifiers':h,'confirmation_text':k['join']('\x0a'),'ok':l};}
+import{query_objects,LocalMark}from'@wowok/wowok';import{walkGuardTree}from'./guard-render.js';import{analyzeGuardSemantics}from'../schema-query-impl/index.js';export const GUARD_BINDING_SEMANTICS={'buy':{'host':'Service','binding_field':'buy_guard','role':'Purchase\x20gate\x20—\x20decides\x20WHO\x20may\x20place\x20an\x20order\x20on\x20this\x20Service','submission_meaning':'Evidence\x20that\x20you\x20qualify\x20as\x20a\x20buyer\x20(e.g.\x20a\x20Passport,\x20a\x20Proof,\x20an\x20allowlist\x20membership)','on_pass':'Your\x20order\x20is\x20accepted\x20and\x20the\x20payment\x20moves\x20into\x20the\x20Service\x20escrow\x20flow','on_fail':'The\x20order\x20transaction\x20aborts\x20—\x20you\x20cannot\x20buy\x20from\x20this\x20Service','stakes':'Money\x20is\x20committed\x20on\x20pass\x20—\x20wrong\x20evidence\x20may\x20either\x20block\x20you\x20or,\x20worse,\x20pass\x20a\x20check\x20you\x20did\x20not\x20intend'},'forward':{'host':'Machine','binding_field':'Forward.guard','role':'Workflow\x20advance\x20condition\x20—\x20what\x20must\x20be\x20TRUE\x20before\x20an\x20order\x20may\x20move\x20to\x20the\x20next\x20node','submission_meaning':'Evidence\x20for\x20the\x20node\x27s\x20condition\x20(delivery\x20proof,\x20inspection\x20result,\x20approval\x20object)','on_pass':'The\x20order\x20advances\x20to\x20the\x20next\x20node;\x20fund\x20allocation\x20for\x20that\x20transition\x20may\x20execute','on_fail':'The\x20transition\x20aborts\x20—\x20the\x20order\x20stays\x20at\x20the\x20current\x20node','stakes':'Advancing\x20may\x20release\x20funds\x20to\x20the\x20counterparty\x20—\x20verify\x20the\x20node\x20semantics\x20before\x20confirming'},'allocate':{'host':'Service\x20(order_allocators)','binding_field':'order_allocators[].guard','role':'Payment-recipient\x20qualification\x20—\x20the\x20Guard\x27s\x20submission\x20identifies\x20WHO\x20receives\x20the\x20allocation\x20share','submission_meaning':'The\x20recipient\x20identity/address\x20the\x20Guard\x20derives\x20from\x20your\x20submitted\x20data','on_pass':'Funds\x20are\x20allocated\x20to\x20the\x20recipient\x20the\x20Guard\x20resolved\x20from\x20your\x20submission','on_fail':'The\x20allocation\x20aborts\x20—\x20payment\x20cannot\x20settle','stakes':'HIGHEST\x20—\x20a\x20wrong\x20submitted\x20address\x20sends\x20funds\x20to\x20the\x20wrong\x20recipient\x20(irreversible)'},'claim_reward':{'host':'Reward','binding_field':'guard','role':'Reward\x20claim\x20eligibility\x20—\x20who\x20may\x20claim\x20this\x20Reward','submission_meaning':'Proof\x20of\x20eligibility\x20for\x20the\x20reward','on_pass':'The\x20reward\x20is\x20paid\x20out\x20to\x20you','on_fail':'The\x20claim\x20aborts','stakes':'A\x20wrong\x20claim\x20may\x20consume\x20a\x20one-time\x20eligibility'},'vote':{'host':'Arbitration','binding_field':'voting_guard','role':'Voting\x20right\x20—\x20who\x20may\x20vote\x20in\x20this\x20arbitration\x20(empty\x20guard\x20=\x20everyone)','submission_meaning':'Proof\x20of\x20voting\x20membership/weight','on_pass':'Your\x20vote\x20is\x20counted\x20with\x20your\x20weight','on_fail':'The\x20vote\x20aborts','stakes':'Votes\x20may\x20be\x20irrevocable\x20until\x20re-voted;\x20vote\x20count\x20caps\x20apply\x20(ring\x20buffer\x20≤\x205200)'},'dispute':{'host':'Arbitration','binding_field':'usage_guard','role':'Dispute\x20admission\x20—\x20who\x20may\x20open\x20a\x20dispute\x20on\x20an\x20order\x20under\x20this\x20Arbitration','submission_meaning':'Standing\x20to\x20dispute\x20(usually\x20order\x20involvement)','on_pass':'A\x20dispute\x20case\x20is\x20opened\x20and\x20the\x20order\x20flow\x20enters\x20arbitration','on_fail':'The\x20dispute\x20aborts','stakes':'Dispute\x20slots\x20are\x20capped\x20(≤\x2010\x20per\x20order);\x20a\x20failed\x20attempt\x20wastes\x20nothing,\x20a\x20wrong\x20one\x20locks\x20the\x20flow'},'write_repository':{'host':'Repository','binding_field':'write_guard','role':'Data\x20write\x20permission\x20—\x20who\x20may\x20write\x20entries\x20to\x20this\x20Repository','submission_meaning':'Write\x20authorization\x20evidence','on_pass':'Your\x20data\x20entry\x20is\x20written\x20to\x20the\x20Repository\x20(mutable\x20data\x20other\x20Guards\x20may\x20read!)','on_fail':'The\x20write\x20aborts','stakes':'Repository\x20data\x20feeds\x20OTHER\x20Guards\x27\x20decisions\x20—\x20wrong\x20writes\x20corrupt\x20downstream\x20checks'},'submit_progress':{'host':'Progress','binding_field':'submission\x20guard','role':'Progress\x20submission\x20permission\x20—\x20who\x20may\x20submit\x20task\x20progress/evidence','submission_meaning':'The\x20progress\x20evidence/attachment\x20itself','on_pass':'The\x20progress\x20record\x20is\x20attached\x20to\x20the\x20task','on_fail':'The\x20submission\x20aborts','stakes':'Progress\x20evidence\x20may\x20be\x20one-shot\x20per\x20task;\x20wrong\x20content\x20misrepresents\x20the\x20work'},'gen_passport':{'host':'Standalone','binding_field':'none','role':'Static\x20verification\x20—\x20test/credential\x20generation\x20outside\x20any\x20business\x20operation','submission_meaning':'The\x20data\x20the\x20Guard\x20needs\x20to\x20evaluate\x20(same\x20shape\x20as\x20in\x20business\x20use)','on_pass':'A\x20Passport\x20credential\x20object\x20is\x20generated\x20for\x20you','on_fail':'No\x20Passport\x20is\x20generated\x20(gas\x20is\x20still\x20consumed)','stakes':'Low\x20—\x20gen_passport\x20is\x20a\x20test\x20surface,\x20but\x20it\x20consumes\x20gas\x20per\x20call'},'custom':{'host':'Standalone','binding_field':'none','role':'Standalone\x20Guard\x20(rely\x20dependency\x20or\x20custom\x20scenario)','submission_meaning':'Whatever\x20the\x20Guard\x27s\x20table\x20declares\x20(b_submission\x20items)','on_pass':'Verification\x20succeeds\x20for\x20the\x20consuming\x20operation','on_fail':'The\x20consuming\x20operation\x20aborts','stakes':'Depends\x20on\x20the\x20consumer\x20—\x20inspect\x20the\x20tree\x20before\x20submitting'}};const VALUE_TYPE_NAMES={0x0:'Bool',0x1:'Address',0x2:'String',0x3:'U8',0x4:'U16',0x5:'U32',0x6:'U64',0x7:'U128',0x8:'U256',0x9:'VecBool',0xa:'VecAddress',0xb:'VecString',0xc:'VecU8',0xd:'VecU16',0xe:'VecU32',0xf:'VecU64',0x10:'VecU128',0x11:'VecU256',0x12:'VecVecU8',0x13:'Value'};export function valueTypeName(a){if(typeof a==='number')return VALUE_TYPE_NAMES[a]??String(a);return String(a??'Address');}export async function loadGuardJsonFromChain(a,b){let c=a,d;if(!a['startsWith']('0x'))try{const e=await LocalMark['Instance']()['get'](a);if(!e?.['address'])return undefined;c=e['address'],d=a;}catch{return undefined;}try{const f=await query_objects({'objects':[c],'network':b}),g=f?.['objects']?.[0x0];if(!g||g['type']!=='Guard')return undefined;const h=Array['isArray'](g['table'])?g['table']:[],i=Array['isArray'](g['relies'])?g['relies']:[],j={'description':typeof g['description']==='string'?g['description']:undefined,'table':h['map'](k=>{const l=k;return{'identifier':Number(l['identifier']??0x0),'b_submission':l['b_submission']===!![],'value_type':valueTypeName(l['value_type']),'value':l['value'],'name':typeof l['name']==='string'?l['name']:undefined,'object_type':typeof l['object_type']==='string'?l['object_type']:undefined};}),'root':g['root'],...i['length']>0x0?{'rely':{'guards':i,'logic_or':g['relies_logic_and']!==!![]}}:{}};return{'guard':c,'name':d,'json':j};}catch{return undefined;}}function countNodeTypes(a){const b=new Map();try{walkGuardTree(a,c=>{const d=typeof c?.['type']==='string'?c['type']:'<none>';b['set'](d,(b['get'](d)??0x0)+0x1);});}catch{}return b;}export function diffGuardSpecVsChain(a,b){const d=[],e=countNodeTypes(a?.['root']),f=countNodeTypes(b?.['root']);for(const [o,p]of e){const q=f['get'](o)??0x0;if(q!==p)d['push']('root\x20node\x20\x27'+o+'\x27:\x20submitted\x20'+p+',\x20on-chain\x20'+q);}for(const [s,u]of f){if(!e['has'](s))d['push']('root\x20node\x20\x27'+s+'\x27:\x20submitted\x200,\x20on-chain\x20'+u);}const g=Array['isArray'](a?.['table'])?a['table']:[],h=Array['isArray'](b?.['table'])?b['table']:[];g['length']!==h['length']&&d['push']('table\x20rows:\x20submitted\x20'+g['length']+',\x20on-chain\x20'+h['length']);const i=new Map(h['map'](v=>[Number(v['identifier']),v]));for(const v of g){const w=i['get'](Number(v['identifier']));if(!w){d['push']('table\x20slot\x20'+v['identifier']+':\x20present\x20in\x20submitted\x20spec,\x20MISSING\x20on-chain');continue;}v['b_submission']===!![]!==(w['b_submission']===!![])&&d['push']('table\x20slot\x20'+v['identifier']+'\x20b_submission:\x20submitted\x20'+(v['b_submission']===!![])+',\x20on-chain\x20'+(w['b_submission']===!![]));const x=valueTypeName(v['value_type']),y=valueTypeName(w['value_type']);x!==y&&d['push']('table\x20slot\x20'+v['identifier']+'\x20value_type:\x20submitted\x20'+x+',\x20on-chain\x20'+y);}const j=a?.['rely']?.['guards']??[],k=b?.['rely']?.['guards']??[];j['length']!==k['length']&&d['push']('relied\x20guards:\x20submitted\x20'+j['length']+',\x20on-chain\x20'+k['length']);(j['length']>0x0||k['length']>0x0)&&a?.['rely']?.['logic_or']===!![]!==(b?.['rely']?.['logic_or']===!![])&&d['push']('rely\x20polarity\x20(logic_or):\x20submitted\x20'+(a?.['rely']?.['logic_or']===!![])+',\x20on-chain\x20'+(b?.['rely']?.['logic_or']===!![]));const l=[...f['values']()]['reduce']((z,A)=>z+A,0x0);if(d['length']===0x0)return{'match':!![],'diffs':d,'summary':'PUBLISH-ECHO\x20DIFF\x20(BKN-P5/F-M08):\x20on-chain\x20Guard\x20verified\x20—\x20tree\x20('+l+'\x20nodes)\x20and\x20table\x20('+h['length']+'\x20rows)\x20match\x20the\x20submitted\x20spec.'};return{'match':![],'diffs':d,'summary':'PUBLISH-ECHO\x20DIFF\x20(BKN-P5/F-M08):\x20the\x20on-chain\x20Guard\x20DIFFERS\x20from\x20the\x20submitted\x20spec:\x0a'+d['map'](z=>'\x20\x20•\x20'+z)['join']('\x0a')+'\x0aGuards\x20are\x20create-frozen\x20—\x20if\x20this\x20was\x20not\x20intended,\x20export\x20(guard2file),\x20inspect,\x20create\x20a\x20NEW\x20Guard\x20and\x20rebind.\x20The\x20create-time\x20GUARD\x20LOGIC\x20SUMMARY\x20renders\x20the\x20LOCAL\x20spec\x20and\x20cannot\x20catch\x20truncation.'};}export const OPERATION_GUARD_ACTION={'machine':'forward','progress':'forward','allocation':'allocate','reward':'claim_reward','repository':'write_repository','arbitration':'vote','gen_passport':'gen_passport'};function identifierUsedByQueries(a,b){const c=new Set();return walkGuardTree(a,d=>{const e=d;if(e['type']==='query'&&typeof e['query']==='number'){const f=JSON['stringify'](e['parameters']??e['where']??e['find']??'');(f['includes']('\x22identifier\x22:'+b)||f['includes']('\x22identifier\x22:\x20'+b))&&c['add'](e['query']);}}),[...c]['sort']((d,e)=>d-e);}function identifierFeedsRecipient(a,b){let c=![];return walkGuardTree(a,d=>{const e=d;if(e['type']==='query'&&typeof e['query']==='number'&&e['query']===b){if(e['where']||e['find']||e['recipient'])c=!![];}}),c;}export async function buildGuardSubmissionBrief(a){let b=a['guard_json'],c=a['guard_ref']??'',d,e;if(!b){if(!a['guard_ref'])return undefined;const n=await loadGuardJsonFromChain(a['guard_ref'],a['network']);if(!n)return undefined;b=n['json'],c=n['guard'],d=n['name'];}else a['guard_ref']&&(c=a['guard_ref']);e=b['description'];const f=await analyzeGuardSemantics(b),g=a['action'],h=g?GUARD_BINDING_SEMANTICS[g]:undefined,i=(b['table']??[])['filter'](o=>o['b_submission']===!![]),j=b['root'],k=i['map'](o=>({'identifier':o['identifier'],'name':o['name'],'value_type':o['value_type'],'object_type':o['object_type'],'consumed_by_queries':identifierUsedByQueries(j,o['identifier']),'feeds_recipient':identifierFeedsRecipient(j,o['identifier'])})),l=[];for(const o of f['party_evaluation']['data_sources']){o['is_mutable_onchain']&&l['push']('Table\x20['+o['identifier']+']'+(o['name']?'\x20\x22'+o['name']+'\x22':'')+'\x20reads\x20a\x20Repository\x20—\x20its\x20value\x20is\x20MUTABLE\x20on-chain\x20and\x20may\x20have\x20changed\x20since\x20the\x20Guard\x20was\x20created;\x20verify\x20the\x20current\x20entry\x20before\x20relying\x20on\x20the\x20check');}f['party_evaluation']['has_time_conditions']&&l['push']('The\x20tree\x20contains\x20Clock\x20(time)\x20conditions\x20—\x20the\x20check\x20result\x20may\x20differ\x20from\x20an\x20earlier\x20static\x20test');f['party_evaluation']['has_rely_composition']&&l['push']('This\x20Guard\x20composes\x20other\x20Guards\x20via\x20rely\x20—\x20each\x20relied\x20Guard\x27s\x20semantics\x20apply\x20too\x20(max\x204,\x20one\x20layer)');const m=(f['lint']?.['summary']?.['errors']??0x0)>0x0;return{'guard':c,'guard_name':d,'description':e,...g&&h?{'binding':{'action':g,'semantics':h}}:{},'analysis':f,'submission_checklist':k,'data_source_warnings':l,'consequences':{'on_pass':h?.['on_pass']??'Verification\x20succeeds\x20for\x20the\x20consuming\x20operation','on_fail':h?.['on_fail']??'The\x20consuming\x20operation\x20aborts\x20(gas\x20consumed)'},'has_errors':m};}export function renderSubmissionBrief(a){const b=[],c=a['guard_name']??a['guard'];b['push']('GUARD\x20SUBMISSION\x20BRIEF\x20—\x20'+c);if(a['description'])b['push']('Description:\x20'+a['description']);a['binding']?b['push']('Business\x20slot:\x20'+a['binding']['semantics']['role']+'\x20('+a['binding']['semantics']['host']+'.'+a['binding']['semantics']['binding_field']+')'):b['push']('Business\x20slot:\x20unknown\x20—\x20pass\x20the\x20binding\x20action\x20(buy/forward/allocate/...)\x20for\x20slot-specific\x20semantics');b['push'](''),b['push']('What\x20you\x20must\x20submit\x20(b_submission\x20table\x20entries):');for(const d of a['submission_checklist']){const e=d['name']?'\x20\x22'+d['name']+'\x22':'';b['push']('\x20\x20['+d['identifier']+']'+e+'\x20type='+(d['value_type']??'?')+(d['object_type']?'\x20object='+d['object_type']:'')),d['consumed_by_queries']['length']>0x0&&b['push']('\x20\x20\x20\x20\x20\x20feeds\x20guard\x20query\x20id(s):\x20'+d['consumed_by_queries']['join'](',\x20')),d['feeds_recipient']&&b['push']('\x20\x20\x20\x20\x20\x20⚠\x20this\x20submission\x20can\x20determine\x20a\x20PAYMENT\x20RECIPIENT\x20—\x20wrong\x20value\x20=\x20funds\x20to\x20the\x20wrong\x20address');}a['submission_checklist']['length']===0x0&&b['push']('\x20\x20(no\x20b_submission\x20entries\x20—\x20this\x20Guard\x20verifies\x20without\x20user-submitted\x20data)');b['push'](''),b['push']('What\x20the\x20Guard\x20checks\x20(logic\x20tree):');for(const f of a['analysis']['render']['tree_indented']['split']('\x0a')['slice'](0x0,0x28))b['push']('\x20\x20'+f);b['push'](''),b['push']('Consequences\x20—\x20PASS:\x20'+a['consequences']['on_pass']),b['push']('\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20FAIL:\x20'+a['consequences']['on_fail']);if(a['binding'])b['push']('Stakes:\x20'+a['binding']['semantics']['stakes']);if(a['data_source_warnings']['length']>0x0){b['push'](''),b['push']('Data-source\x20warnings:');for(const g of a['data_source_warnings'])b['push']('\x20\x20-\x20'+g);}return a['has_errors']&&(b['push'](''),b['push']('⚠\x20Guard\x20lint\x20reports\x20ERROR-level\x20diagnostics\x20—\x20review\x20before\x20submitting.')),b['join']('\x0a');}function previewValue(a){if(a===undefined||a===null)return'(empty)';if(typeof a==='string')return a['length']>0x40?a['slice'](0x0,0x3d)+'...':a;try{const b=JSON['stringify'](a);return b['length']>0x40?b['slice'](0x0,0x3d)+'...':b;}catch{return String(a);}}export async function buildSubmissionConfirmation(a){const b=await buildGuardSubmissionBrief(a);if(!b)return undefined;const c=new Set(b['analysis']['party_evaluation']['submission_requirements']['map'](m=>m['identifier'])),d=new Map(b['analysis']['party_evaluation']['submission_requirements']['map'](m=>[m['identifier'],m])),e=new Map(b['submission_checklist']['map'](m=>[m['identifier'],m])),f=[],g=new Set(),h=[];for(const m of a['submission']??[]){const n=typeof m['identifier']==='number'?m['identifier']:null;if(n!==null){if(c['has'](n))g['add'](n);else{if(!c['has'](n)&&!e['has'](n))h['push'](n);}}const o=n!==null?d['get'](n):undefined,p=n!==null?e['get'](n):undefined,q=[];if(n===null)q['push']('missing\x20identifier\x20—\x20the\x20Guard\x20cannot\x20match\x20this\x20entry\x20to\x20a\x20table\x20slot');o&&m['value_type']!==undefined&&valueTypeName(m['value_type'])!==o['value_type']&&String(m['value_type'])!==o['value_type']&&q['push']('value_type\x20mismatch:\x20submitted\x20'+valueTypeName(m['value_type'])+',\x20Guard\x20expects\x20'+o['value_type']),o&&(m['value']===undefined||m['value']===null||m['value']==='')&&q['push']('value\x20is\x20empty\x20—\x20verification\x20will\x20consume\x20an\x20empty\x20slot\x20(usually\x20fails)'),f['push']({'identifier':n,'name':m['name']??o?.['name'],'submitted_value_preview':previewValue(m['value']),'expected_value_type':o?.['value_type'],'submitted_value_type':m['value_type']!==undefined?valueTypeName(m['value_type']):undefined,'issues':q,'feeds_recipient':p?.['feeds_recipient']??![]});}const i=[...c]['filter'](r=>!g['has'](r))['sort']((r,s)=>r-s),j=b['guard_name']??b['guard'],k=[];k['push']('GUARD\x20SUBMISSION\x20CONFIRMATION\x20—\x20'+j);if(b['description'])k['push']('Guard:\x20'+b['description']);b['binding']&&(k['push']('Slot:\x20'+b['binding']['semantics']['role']),k['push']('Your\x20submission\x20means:\x20'+b['binding']['semantics']['submission_meaning']));k['push'](''),k['push']('You\x20are\x20about\x20to\x20submit:');for(const r of f){const s=r['name']?'\x20\x22'+r['name']+'\x22':'';k['push']('\x20\x20['+(r['identifier']??'?')+']'+s+'\x20=\x20'+r['submitted_value_preview']+(r['expected_value_type']?'\x20(type\x20'+r['expected_value_type']+')':''));if(r['feeds_recipient'])k['push']('\x20\x20\x20\x20\x20\x20⚠\x20this\x20value\x20can\x20determine\x20a\x20PAYMENT\x20RECIPIENT');for(const t of r['issues'])k['push']('\x20\x20\x20\x20\x20\x20!\x20'+t);}if(f['length']===0x0)k['push']('\x20\x20(nothing)');i['length']>0x0&&(k['push'](''),k['push']('Missing\x20required\x20identifier(s):\x20'+i['join'](',\x20')+'\x20—\x20the\x20Guard\x20will\x20treat\x20them\x20as\x20empty'));h['length']>0x0&&k['push']('Unknown\x20identifier(s)\x20not\x20in\x20this\x20Guard\x27s\x20table:\x20'+h['join'](',\x20'));k['push'](''),k['push']('If\x20verification\x20PASSES:\x20'+b['consequences']['on_pass']),k['push']('If\x20verification\x20FAILS:\x20'+b['consequences']['on_fail']);if(b['binding'])k['push']('Stakes:\x20'+b['binding']['semantics']['stakes']);k['push'](''),k['push']('Confirm\x20by\x20re-calling\x20with\x20env.confirmed=true,\x20or\x20modify/cancel.');const l=i['length']===0x0&&f['every'](u=>u['issues']['length']===0x0);return{'guard':b['guard'],...b['guard_name']?{'guard_name':b['guard_name']}:{},...b['binding']?{'binding':b['binding']}:{},'items':f,'missing_identifiers':i,'unknown_identifiers':h,'confirmation_text':k['join']('\x0a'),'ok':l};}

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

@@ -1,4 +1,4 @@
-export declare const PROTOCOL_SLOT_254_NOTE = "PROTOCOL SLOT 254: the task-binding row is mandatory on every forward-bound guard \u2014 progress::assert_task_binding aborts (code 11) without it; the value is written by order creation, never submitted by hand";
+export declare const PROTOCOL_SLOT_254_NOTE = "PROTOCOL SLOT 254: the task-binding row is mandatory on every forward-bound guard \u2014 the chain-side task-binding check aborts (code 11) without it; the value is written by order creation, never submitted by hand";
 export type TemplateParamType = "address" | "string" | "number" | "boolean" | "vec_address";
 export interface GuardTemplateParam {
     name: string;
@@ -45,5 +45,5 @@ export type FillGuardTemplateResult = {
     missing?: string[];
 };
 export declare function fillGuardTemplate(templateId: string, params: Record<string, unknown>): FillGuardTemplateResult;
-export declare const GUARD_TEMPLATES_VERSION = "1.4.0";
+export declare const GUARD_TEMPLATES_VERSION = "1.13.0";
 export declare const GUARD_TEMPLATES_COUNT: number;