@wowok/agent-mcp 3.4.3 → 3.4.4

package/dist/knowledge/arbitration-rail-verifier.js

@@ -1 +1 @@
-import{resolveValue}from'./allocator-rail-verifier.js';const Q_AMOUNT='arb.indemnity.amount',Q_PRESENCE='arb.indemnity\x20some',Q_STATUS='arb.status',Q_VENUE='arb.arbitration',Q_ORDER='arb.order',NO_RULING={'ruling':![],'won':![],'dismissed':![],'amountUnresolved':![],'presence':![],'presenceNegated':![],'statusGate':![],'venueBound':![],'orderBound':![]};function isZero(a){if(typeof a==='number')return a===0x0;if(typeof a==='bigint')return a===0x0n;if(typeof a==='string'){const b=a['trim']();return b==='0'||b==='0x0'||b==='0n';}return![];}function literalOf(a,b){if(!b||typeof b!=='object')return undefined;if(b['type']==='constant')return b['value'];const c=resolveValue(a,b);return c['known']?c['value']:undefined;}function queryName(a){if(!a||typeof a!=='object')return undefined;return typeof a['query']==='string'?a['query']:undefined;}export function readArbRulingGuard(a,b){const c=Array['isArray'](b)?b:[],d={...NO_RULING},e=(g,h,i,j,k)=>{d['ruling']=!![];switch(g){case Q_STATUS:d['statusGate']=!![];return;case Q_VENUE:d['venueBound']=!![];return;case Q_ORDER:d['orderBound']=!![];return;case Q_PRESENCE:d['presence']=!![];if(i===![]||i===!![]&&h)d['presenceNegated']=!![];return;case Q_AMOUNT:{const l=j==='logic_equal'||j==='logic_as_u256_equal';if(l){if(i===undefined){d['amountUnresolved']=!![];return;}if(isZero(i)){if(h)d['won']=!![];else d['dismissed']=!![];return;}if(!h)d['won']=!![];else d['amountUnresolved']=!![];return;}if(j==='logic_as_u256_greater'){if(k&&!h)d['won']=!![];else d['amountUnresolved']=!![];return;}d['amountUnresolved']=!![];return;}default:return;}},f=(g,h,i)=>{if(g===null||typeof g!=='object')return;if(Array['isArray'](g)){for(const o of g)f(o,h,i);return;}const j=g,l=typeof j['type']==='string'?j['type']:'';l==='logic_not'&&f(j['node'],!h,![]);const m=Array['isArray'](j['nodes'])?j['nodes']:[],n=l==='logic_equal'||l==='logic_as_u256_equal'||l==='logic_as_u256_greater'||l==='logic_as_u256_less';if(n){const p=m[0x0]??j['left'],r=m[0x1]??j['right'],s=queryName(p),u=queryName(r);if(s!==undefined&&/^arb\./['test'](s)){e(s,h,literalOf(c,r),l,!![]);return;}if(u!==undefined&&/^arb\./['test'](u)){e(u,h,literalOf(c,p),l,![]);return;}for(const w of m)f(w,h,!![]);return;}if(!i&&l==='query'&&typeof j['query']==='string'&&/^arb\./['test'](j['query'])){const x=j['query'];d['ruling']=!![];if(x===Q_STATUS)d['statusGate']=!![];else{if(x===Q_VENUE)d['venueBound']=!![];else{if(x===Q_ORDER)d['orderBound']=!![];else{if(x===Q_PRESENCE)d['presence']=!![];else{if(x===Q_AMOUNT)d['amountUnresolved']=!![];}}}}return;}for(const [y,z]of Object['entries'](j)){if(y==='node'&&l==='logic_not')continue;f(z,h,![]);}};return f(a,![],![]),d;}function forwardGuardRef(a){const b=a?.['guard'],c=typeof b==='string'&&b['trim']()!==''?b:b!==null&&typeof b==='object'?b['guard']??b['$ref']:undefined;return typeof c==='string'&&c['trim']()!==''?c['trim']():undefined;}export function projectMachineEdges(a){const b=[];if(!Array['isArray'](a))return b;for(const c of a){const d=c,e=typeof d?.['name']==='string'?d['name']:'';if(!e)continue;const g=Array['isArray'](d?.['pairs'])?d['pairs']:Array['isArray'](d?.['value'])?d['value']:[];for(const h of g){const i=h,j=typeof i?.['prev_node']==='string'?i['prev_node']:'',k=Array['isArray'](i?.['forwards'])?i['forwards']:[];for(const l of k){const m=l,n=typeof m?.['name']==='string'&&m['name']!==''?m['name']:j+'_to_'+e,o=forwardGuardRef(m),q=m?.['permissionIndex']??m?.['permission_index'],r=m?.['namedOperator']??m?.['named_operator'],s=typeof q==='number'&&Number['isFinite'](q)||typeof q==='string'&&q['trim']()!==''||typeof r==='string'&&r['trim']()!=='';b['push']({'prev':j,'next':e,'forward':n,'guardRef':o?.['toLowerCase'](),'unguarded':o===undefined,'openOperator':!s});}}}return b;}function readingOf(a,b){return a['guardRef']===undefined?undefined:b['get'](a['guardRef']);}export function verifyArbitrationRulingRails(a){const b=[],{edges:c,readings:d}=a,f=[];for(const i of c){const j=readingOf(i,d);if(j===undefined||!j['ruling'])continue;f['push']({'edge':i,'r':j});j['presence']&&!j['won']&&!j['dismissed']&&!j['amountUnresolved']&&b['push']({'code':'ARB_RULING_PRESENCE_ONLY','level':'critical','guardRef':i['guardRef'],'detail':'ruling\x20exit\x20\x27'+i['forward']+'\x27\x20('+i['prev']+'\x20→\x20'+i['next']+',\x20guard\x20'+i['guardRef']+')\x20reads\x20arb.indemnity\x20'+'PRESENCE\x20but\x20never\x20compares\x20arb.indemnity.amount.\x20Presence\x20is\x20not\x20direction:\x20a\x20merchant-favor\x20'+'ruling\x20that\x20awarded\x20the\x20buyer\x20NOTHING\x20still\x20sets\x20Some(0),\x20so\x20this\x20edge\x20opens\x20a\x20buyer-ward\x20'+'transition\x20on\x20a\x20ruling\x20the\x20buyer\x20LOST\x20(rex-mn-261021\x20T5,\x20mainnet:\x20a\x20defeated\x20buyer\x20pulled\x20the\x20'+'refund\x20and\x20the\x20ruling\x20was\x20unenforceable).\x20Guards\x20freeze\x20at\x20publish\x20(IMMUT-001).\x20Add\x20the\x20amount\x20'+'leg\x20exactly\x20as\x20tpl_forward_arb_ruling_won\x20ships\x20it\x20—\x20logic_not\x20over\x20'+'logic_as_u256_equal[arb.indemnity.amount,\x200],\x20optionally\x20plus\x20the\x20F-54\x20floor\x20leg\x20'+'logic_as_u256_greater[arb.indemnity.amount,\x20refund\x20×\x20arb_indemnity_floor_bps\x20/\x2010000].\x20The\x20'+'amount\x20query\x20errors\x20on\x20a\x20None\x20field,\x20so\x20both\x20polarities\x20fail\x20closed\x20against\x20never-ruled\x20and\x20'+'reset\x20states.'});j['statusGate']&&b['push']({'code':'ARB_RULING_STATUS_GATE','level':'critical','guardRef':i['guardRef'],'detail':'ruling\x20exit\x20\x27'+i['forward']+'\x27\x20('+i['prev']+'\x20→\x20'+i['next']+',\x20guard\x20'+i['guardRef']+')\x20gates\x20on\x20arb.status.\x20'+'The\x20status\x20vocabulary\x20(0/1\x20confirming,\x202\x20voting,\x203\x20arbitrated,\x204\x20objectionable,\x205\x20finished,\x20'+'6\x20withdrawn)\x20carries\x20NO\x20direction\x20—\x20a\x20merchant-favor\x20and\x20a\x20buyer-favor\x20final\x20are\x20'+'status-identical\x20—\x20and\x20it\x20is\x20TRANSIENT:\x20a\x20legitimate\x20arb_withdraw\x20by\x20the\x20arbitrator\x20advances\x20'+'5\x20→\x206\x20AFTER\x20the\x20award\x20settles,\x20so\x20the\x20gate\x20flips\x20false\x20under\x20a\x20settled\x20order\x20and\x20never\x20'+'returns\x20(booking\x20o10:\x201.5\x20WOW\x20locked\x20with\x20no\x20on-chain\x20exit).\x20Guard\x20AND\x20Machine\x20are\x20immutable\x20'+'after\x20publish\x20(IMMUT-001),\x20so\x20this\x20is\x20unrepairable.\x20Gate\x20on\x20the\x20indemnity\x20legs\x20instead\x20—\x20the\x20'+'only\x20direction-bearing,\x20transient-proof\x20signal:\x20buyer-won\x20=\x20arb.indemnity.amount\x20!=\x200\x20'+'(tpl_forward_arb_ruling_won),\x20merchant-favor\x20=\x20arb.indemnity.amount\x20==\x200\x20'+'(tpl_forward_arb_ruling_dismissed).\x20arb_withdraw\x20sweeps\x20only\x20the\x20fee\x20balance\x20and\x20never\x20'+'touches\x20the\x20indemnity,\x20so\x20both\x20survive\x20a\x20fee\x20withdrawal;\x20a\x20reset\x20clears\x20it,\x20which\x20correctly\x20'+'re-gates\x20the\x20edge.'});if(!j['venueBound']){const k=i['openOperator']?'\x20WORSE\x20HERE:\x20the\x20forward\x20also\x20declares\x20NEITHER\x20a\x20permission\x20index\x20NOR\x20a\x20named\x20operator,\x20so\x20'+'ANY\x20address\x20can\x20drive\x20it\x20—\x20an\x20open\x20operator\x20plus\x20a\x20missing\x20venue\x20leg\x20is\x20the\x20unilateral\x20'+'force-refund\x20(tbs7\x20F-02:\x20forge\x20a\x20self-arbitrated\x20case,\x20rule\x20your\x20own\x20indemnity,\x20drive\x20the\x20edge).':'';b['push']({'code':'ARB_RULING_VENUE_UNBOUND','level':'warning','guardRef':i['guardRef'],'detail':'ruling\x20exit\x20\x27'+i['forward']+'\x27\x20('+i['prev']+'\x20→\x20'+i['next']+',\x20guard\x20'+i['guardRef']+')\x20carries\x20NO\x20venue\x20'+'binding\x20leg\x20(arb.arbitration\x20==\x20the\x20Arbitration\x20address\x20the\x20Service\x20publishes\x20with).\x20'+'arb.order\x20is\x20a\x20CASE-CREATOR-FILLED\x20field\x20and\x20nothing\x20on\x20chain\x20ties\x20an\x20Arb\x20case\x20to\x20the\x20'+'store\x27s\x20designated\x20venue,\x20so\x20anyone\x20can\x20mint\x20an\x20Arbitration\x20against\x20this\x20order\x20with\x20'+'themselves\x20as\x20sole\x20arbiter,\x20rule\x20a\x20self-serving\x20indemnity,\x20and\x20satisfy\x20every\x20other\x20leg\x20'+('here.'+k+'\x20Add\x20the\x20venue\x20leg\x20(identifier\x20filled\x20with\x20the\x20SAME\x20Arbitration\x20address\x20the\x20')+'Service\x20is\x20published\x20with)\x20and\x20route\x20cases\x20from\x20any\x20other\x20venue\x20to\x20keeper\x20review\x20instead\x20of\x20'+'the\x20machine\x20edge;\x20pair\x20it\x20with\x20KEEPER\x20execution\x20—\x20merchant-only\x20execution\x20means\x20an\x20adverse\x20'+'ruling\x20simply\x20never\x20advances\x20(bs29:\x20judgments\x20without\x20enforcement).'});}}if(f['length']===0x0)return b;const g=f['some'](l=>l['r']['won']),h=f['some'](l=>l['r']['dismissed']);if(g!==h){const l=g?'dismissed':'won',m=g?'won':'dismissed',n=[...new Set(f['map'](q=>q['edge']['prev'])['filter'](q=>q!==''))],o=n['map'](q=>{const s=c['filter'](u=>u['prev']===q&&readingOf(u,d)?.['ruling']!==!![]);if(s['length']===0x0)return'\x20\x20-\x20\x27'+q+'\x27:\x20NO\x20non-ruling\x20exit';const t=s['map'](u=>u['forward']+(u['unguarded']?'\x20(UNGUARDED)':''));return'\x20\x20-\x20\x27'+q+'\x27:\x20'+t['join'](',\x20');}),p=g?'A\x20MERCHANT-FAVOR\x20ruling\x20(indemnity\x20Some(0))\x20has\x20no\x20machine\x20edge\x20here:\x20the\x20winner\x20cannot\x20close\x20the\x20'+'claim\x20or\x20resume\x20settlement\x20through\x20the\x20ruling,\x20so\x20the\x20case\x20concludes\x20and\x20the\x20order\x20sits\x20where\x20it\x20'+'was\x20(bs29\x20—\x20judgments\x20without\x20enforcement).\x20The\x20buyer\x20also\x20pays\x20nothing\x20for\x20losing,\x20which\x20removes\x20'+'the\x20cost\x20of\x20filing\x20a\x20speculative\x20dispute.':'A\x20BUYER-FAVOR\x20ruling\x20(indemnity\x20>\x200)\x20has\x20no\x20machine\x20edge\x20here:\x20the\x20buyer\x20wins\x20the\x20case\x20and\x20still\x20'+'cannot\x20reach\x20a\x20refund,\x20because\x20the\x20only\x20ruling\x20exits\x20open\x20on\x20amount\x20==\x200.\x20The\x20award\x20then\x20depends\x20'+'entirely\x20on\x20claiming\x20it\x20out\x20of\x20the\x20service\x27s\x20compensation\x20pool\x20—\x20which\x20aborts\x20code\x2027\x20'+'(E_COMPENSATION_NOT_MATCH)\x20when\x20the\x20pool\x20does\x20not\x20cover\x20the\x20indemnity.';b['push']({'code':'ARB_RULING_ONE_SIDED','level':'info','detail':'this\x20machine\x20carries\x20'+m['toUpperCase']()+'\x20ruling\x20exit(s)\x20only\x20—\x20no\x20'+l['toUpperCase']()+'\x20'+'polarity\x20anywhere\x20in\x20the\x20graph,\x20so\x20one\x20of\x20the\x20four\x20arbitration\x20outcomes\x20cannot\x20move\x20the\x20order.\x0a'+(p+'\x0a')+'Non-ruling\x20exits\x20from\x20the\x20same\x20waypoint(s)\x20—\x20the\x20paths\x20an\x20unruled\x20or\x20opposite-polarity\x20case\x20must\x20'+('travel\x20instead:\x0a'+o['join']('\x0a')+'\x0a')+('NOT\x20a\x20violation\x20by\x20itself:\x20'+(l==='dismissed'?'8\x20of\x20the\x2016\x20builtin\x20arbitration\x20archetypes\x20ship\x20won-only,\x20all\x20three\x20licensing\x20ones\x20by\x20design\x20(the\x20dismissed\x20twin\x20omits\x20\x27licensing\x27\x20from\x20applicable_industries)':'no\x20builtin\x20archetype\x20ships\x20dismissed-only,\x20so\x20verify\x20this\x20is\x20deliberate')+'.\x20')+('It\x20IS\x20a\x20disclosure\x20the\x20operator\x20must\x20accept\x20consciously:\x20if\x20a\x20'+l+'\x20outcome\x20is\x20reachable\x20in\x20')+('this\x20business,\x20add\x20the\x20twin\x20exit\x20—\x20'+(l==='dismissed'?'tpl_forward_arb_ruling_dismissed\x20(arb.indemnity.amount\x20==\x200,\x20positive\x20equality:\x20the\x20single\x20decisive\x20merchant-favor\x20form;\x20NEVER\x20arb.indemnity\x20some\x20==\x20false,\x20which\x20conflates\x20never-ruled,\x20reset\x20and\x20ruled-zero)':'tpl_forward_arb_ruling_won\x20(arb.indemnity.amount\x20!=\x200\x20plus\x20the\x20F-54\x20floor)')+'\x20—\x20declared\x20on\x20the\x20')+'TARGET\x20node\x20with\x20prev\x20set\x20to\x20the\x20waypoint,\x20one\x20guard\x20instance\x20per\x20exit\x20edge.'});}{const q=[...new Set(f['map'](s=>s['edge']['prev'])['filter'](s=>s!==''))];for(const s of q){const t=c['filter'](x=>x['prev']===s);if(t['length']===0x0)continue;const u=t['filter'](x=>readingOf(x,d)?.['ruling']!==!![]);if(u['length']>0x0)continue;const v=t['map'](x=>x['guardRef']??x['forward']);b['push']({'code':'ARB_RULING_ZERO_EXIT','level':'warning','node':s,'detail':'dispute\x20waypoint\x20\x27'+s+'\x27\x20has\x20ONLY\x20ruling-keyed\x20exits\x20('+v['join'](',\x20')+')\x20—\x20a\x20case\x20that\x20NEVER\x20'+'rules\x20fires\x20NOTHING.\x20Both\x20ruling\x20roots\x20fail\x20closed\x20on\x20the\x20None\x20indemnity\x20field,\x20so\x20a\x20'+'withdrawn\x20case\x20(arb_withdraw),\x20a\x20reset\x20(the\x20objection\x20cycle\x20clears\x20the\x20indemnity)\x20or\x20an\x20'+('abandoned\x20one\x20leaves\x20the\x20order\x20resting\x20at\x20\x27'+s+'\x27\x20permanently,\x20with\x20no\x20edge\x20to\x20drive\x20and\x20no\x20')+'later\x20repair\x20(Machine\x20+\x20Allocator\x20freeze\x20at\x20publish,\x20IMMUT-001/IMMUT-002).\x0a'+'TWO\x20READINGS,\x20and\x20this\x20gate\x20cannot\x20decide\x20between\x20them\x20at\x20publish\x20time\x20—\x20the\x20chain\x20stores\x20no\x20'+('semantic\x20role\x20and\x20the\x20escrow\x20state\x20behind\x20\x27'+s+'\x27\x20is\x20not\x20statically\x20readable:\x0a')+('\x20\x20•\x20SANCTIONED\x20(ignore):\x20\x27'+s+'\x27\x20is\x20a\x20fund\x20endpoint\x20the\x20escrow\x20already\x20drained\x20at,\x20and\x20these\x20')+'ruling\x20edges\x20are\x20a\x20POST-SETTLEMENT\x20re-router.\x20This\x20is\x20the\x20shipped\x20licensing\x20shape\x20(\x27granted\x27)\x20'+'and\x20the\x20reason\x20the\x20scan-face\x20twin\x20R-ARB-ZERO-EXIT\x20exempts\x20declared\x20final/cancelled\x20nodes.\x0a'+('\x20\x20•\x20STRANDING\x20(fix\x20before\x20publish):\x20escrow\x20is\x20still\x20held\x20at\x20\x27'+s+'\x27.\x20Then\x20add\x20the\x20buyer\x27s\x20')+'single-hop\x20void\x20escape\x20—\x20WithdrawClaim\x20(operator\x20order_payer,\x20'+'pattern.identity_check_order_holder:\x20signer\x20==\x20order\x20owner)\x20into\x20a\x20cancelled\x20terminal.\x20No\x20'+'ruling\x20means\x20arb.claimed_by\x20is\x20none,\x20so\x20the\x20order\x20is\x20untouched\x20and\x20the\x20node-gated\x20refund\x20rail\x20'+'stays\x20open\x20for\x20full\x20escrow\x20back\x20(decision\x2011\x20KEEP\x20face:\x20never\x20add\x20a\x20claimed_by\x20leg\x20to\x20the\x20'+'fund\x20rail\x20itself\x20—\x20R-FUND-RAIL-CLAIMED-BY).\x20A\x20ForceSettleExpired\x20clock\x20edge\x20substitutes\x20ONLY\x20'+'if\x20it\x20routes\x20buyer-ward.\x0a'+('Decide\x20by\x20reading\x20this\x20store\x27s\x20allocator\x20rails:\x20if\x20no\x20rail\x20can\x20drain\x20at\x20\x27'+s+'\x27\x20or\x20before\x20it,\x20')+'this\x20is\x20the\x20stranding\x20reading.'});}}return b;}
+import{resolveValue}from'./allocator-rail-verifier.js';const Q_AMOUNT='arb.indemnity.amount',Q_PRESENCE='arb.indemnity\x20some',Q_STATUS='arb.status',Q_VENUE='arb.arbitration',Q_ORDER='arb.order',NO_RULING={'ruling':![],'won':![],'dismissed':![],'amountUnresolved':![],'presence':![],'presenceNegated':![],'statusGate':![],'venueBound':![],'venueValues':[],'orderBound':![]};function isZero(a){if(typeof a==='number')return a===0x0;if(typeof a==='bigint')return a===0x0n;if(typeof a==='string'){const b=a['trim']();return b==='0'||b==='0x0'||b==='0n';}return![];}function literalOf(a,b){if(!b||typeof b!=='object')return undefined;if(b['type']==='constant')return b['value'];const c=resolveValue(a,b);return c['known']?c['value']:undefined;}function queryName(a){if(!a||typeof a!=='object')return undefined;return typeof a['query']==='string'?a['query']:undefined;}export function readArbRulingGuard(a,b){const c=Array['isArray'](b)?b:[],d={...NO_RULING},e=(g,h,i,j,k)=>{d['ruling']=!![];switch(g){case Q_STATUS:d['statusGate']=!![];return;case Q_VENUE:d['venueBound']=!![];if(typeof i==='string'&&i['trim']()!=='')d['venueValues']['push'](i['trim']());return;case Q_ORDER:d['orderBound']=!![];return;case Q_PRESENCE:d['presence']=!![];if(i===![]||i===!![]&&h)d['presenceNegated']=!![];return;case Q_AMOUNT:{const l=j==='logic_equal'||j==='logic_as_u256_equal';if(l){if(i===undefined){d['amountUnresolved']=!![];return;}if(isZero(i)){if(h)d['won']=!![];else d['dismissed']=!![];return;}if(!h)d['won']=!![];else d['amountUnresolved']=!![];return;}if(j==='logic_as_u256_greater'){if(k&&!h)d['won']=!![];else d['amountUnresolved']=!![];return;}d['amountUnresolved']=!![];return;}default:return;}},f=(g,h,i)=>{if(g===null||typeof g!=='object')return;if(Array['isArray'](g)){for(const o of g)f(o,h,i);return;}const j=g,l=typeof j['type']==='string'?j['type']:'';l==='logic_not'&&f(j['node'],!h,![]);const m=Array['isArray'](j['nodes'])?j['nodes']:[],n=l==='logic_equal'||l==='logic_as_u256_equal'||l==='logic_as_u256_greater'||l==='logic_as_u256_less';if(n){const p=m[0x0]??j['left'],r=m[0x1]??j['right'],s=queryName(p),u=queryName(r);if(s!==undefined&&/^arb\./['test'](s)){e(s,h,literalOf(c,r),l,!![]);return;}if(u!==undefined&&/^arb\./['test'](u)){e(u,h,literalOf(c,p),l,![]);return;}for(const w of m)f(w,h,!![]);return;}if(!i&&l==='query'&&typeof j['query']==='string'&&/^arb\./['test'](j['query'])){const x=j['query'];d['ruling']=!![];if(x===Q_STATUS)d['statusGate']=!![];else{if(x===Q_VENUE)d['venueBound']=!![];else{if(x===Q_ORDER)d['orderBound']=!![];else{if(x===Q_PRESENCE)d['presence']=!![];else{if(x===Q_AMOUNT)d['amountUnresolved']=!![];}}}}return;}for(const [y,z]of Object['entries'](j)){if(y==='node'&&l==='logic_not')continue;f(z,h,![]);}};return f(a,![],![]),d;}function forwardGuardRef(a){const b=a?.['guard'],c=typeof b==='string'&&b['trim']()!==''?b:b!==null&&typeof b==='object'?b['guard']??b['$ref']:undefined;return typeof c==='string'&&c['trim']()!==''?c['trim']():undefined;}export function projectMachineEdges(a){const b=[];if(!Array['isArray'](a))return b;for(const c of a){const d=c,e=typeof d?.['name']==='string'?d['name']:'';if(!e)continue;const g=Array['isArray'](d?.['pairs'])?d['pairs']:Array['isArray'](d?.['value'])?d['value']:[];for(const h of g){const i=h,j=typeof i?.['prev_node']==='string'?i['prev_node']:'',k=Array['isArray'](i?.['forwards'])?i['forwards']:[];for(const l of k){const m=l,n=typeof m?.['name']==='string'&&m['name']!==''?m['name']:j+'_to_'+e,o=forwardGuardRef(m),q=m?.['permissionIndex']??m?.['permission_index'],r=m?.['namedOperator']??m?.['named_operator'],s=typeof q==='number'&&Number['isFinite'](q)||typeof q==='string'&&q['trim']()!==''||typeof r==='string'&&r['trim']()!=='';b['push']({'prev':j,'next':e,'forward':n,'guardRef':o?.['toLowerCase'](),'unguarded':o===undefined,'openOperator':!s});}}}return b;}function readingOf(a,b){return a['guardRef']===undefined?undefined:b['get'](a['guardRef']);}export function verifyArbitrationRulingRails(a){const b=[],{edges:c,readings:d}=a,f=[];for(const i of c){const j=readingOf(i,d);if(j===undefined||!j['ruling'])continue;f['push']({'edge':i,'r':j});j['presence']&&!j['won']&&!j['dismissed']&&!j['amountUnresolved']&&b['push']({'code':'ARB_RULING_PRESENCE_ONLY','level':'critical','guardRef':i['guardRef'],'detail':'ruling\x20exit\x20\x27'+i['forward']+'\x27\x20('+i['prev']+'\x20→\x20'+i['next']+',\x20guard\x20'+i['guardRef']+')\x20reads\x20arb.indemnity\x20'+'PRESENCE\x20but\x20never\x20compares\x20arb.indemnity.amount.\x20Presence\x20is\x20not\x20direction:\x20a\x20merchant-favor\x20'+'ruling\x20that\x20awarded\x20the\x20buyer\x20NOTHING\x20still\x20sets\x20Some(0),\x20so\x20this\x20edge\x20opens\x20a\x20buyer-ward\x20'+'transition\x20on\x20a\x20ruling\x20the\x20buyer\x20LOST\x20(rex-mn-261021\x20T5,\x20mainnet:\x20a\x20defeated\x20buyer\x20pulled\x20the\x20'+'refund\x20and\x20the\x20ruling\x20was\x20unenforceable).\x20Guards\x20freeze\x20at\x20publish\x20(IMMUT-001).\x20Add\x20the\x20amount\x20'+'leg\x20exactly\x20as\x20tpl_forward_arb_ruling_won\x20ships\x20it\x20—\x20logic_not\x20over\x20'+'logic_as_u256_equal[arb.indemnity.amount,\x200],\x20optionally\x20plus\x20the\x20F-54\x20floor\x20leg\x20'+'logic_as_u256_greater[arb.indemnity.amount,\x20refund\x20×\x20arb_indemnity_floor_bps\x20/\x2010000].\x20The\x20'+'amount\x20query\x20errors\x20on\x20a\x20None\x20field,\x20so\x20both\x20polarities\x20fail\x20closed\x20against\x20never-ruled\x20and\x20'+'reset\x20states.'});j['statusGate']&&b['push']({'code':'ARB_RULING_STATUS_GATE','level':'critical','guardRef':i['guardRef'],'detail':'ruling\x20exit\x20\x27'+i['forward']+'\x27\x20('+i['prev']+'\x20→\x20'+i['next']+',\x20guard\x20'+i['guardRef']+')\x20gates\x20on\x20arb.status.\x20'+'The\x20status\x20vocabulary\x20(0/1\x20confirming,\x202\x20voting,\x203\x20arbitrated,\x204\x20objectionable,\x205\x20finished,\x20'+'6\x20withdrawn)\x20carries\x20NO\x20direction\x20—\x20a\x20merchant-favor\x20and\x20a\x20buyer-favor\x20final\x20are\x20'+'status-identical\x20—\x20and\x20it\x20is\x20TRANSIENT:\x20a\x20legitimate\x20arb_withdraw\x20by\x20the\x20arbitrator\x20advances\x20'+'5\x20→\x206\x20AFTER\x20the\x20award\x20settles,\x20so\x20the\x20gate\x20flips\x20false\x20under\x20a\x20settled\x20order\x20and\x20never\x20'+'returns\x20(booking\x20o10:\x201.5\x20WOW\x20locked\x20with\x20no\x20on-chain\x20exit).\x20Guard\x20AND\x20Machine\x20are\x20immutable\x20'+'after\x20publish\x20(IMMUT-001),\x20so\x20this\x20is\x20unrepairable.\x20Gate\x20on\x20the\x20indemnity\x20legs\x20instead\x20—\x20the\x20'+'only\x20direction-bearing,\x20transient-proof\x20signal:\x20buyer-won\x20=\x20arb.indemnity.amount\x20!=\x200\x20'+'(tpl_forward_arb_ruling_won),\x20merchant-favor\x20=\x20arb.indemnity.amount\x20==\x200\x20'+'(tpl_forward_arb_ruling_dismissed).\x20arb_withdraw\x20sweeps\x20only\x20the\x20fee\x20balance\x20and\x20never\x20'+'touches\x20the\x20indemnity,\x20so\x20both\x20survive\x20a\x20fee\x20withdrawal;\x20a\x20reset\x20clears\x20it,\x20which\x20correctly\x20'+'re-gates\x20the\x20edge.'});if(!j['venueBound']){const k=i['openOperator']?'\x20WORSE\x20HERE:\x20the\x20forward\x20also\x20declares\x20NEITHER\x20a\x20permission\x20index\x20NOR\x20a\x20named\x20operator,\x20so\x20'+'ANY\x20address\x20can\x20drive\x20it\x20—\x20an\x20open\x20operator\x20plus\x20a\x20missing\x20venue\x20leg\x20is\x20the\x20unilateral\x20'+'force-refund\x20(tbs7\x20F-02:\x20forge\x20a\x20self-arbitrated\x20case,\x20rule\x20your\x20own\x20indemnity,\x20drive\x20the\x20edge).':'';b['push']({'code':'ARB_RULING_VENUE_UNBOUND','level':'warning','guardRef':i['guardRef'],'detail':'ruling\x20exit\x20\x27'+i['forward']+'\x27\x20('+i['prev']+'\x20→\x20'+i['next']+',\x20guard\x20'+i['guardRef']+')\x20carries\x20NO\x20venue\x20'+'binding\x20leg\x20(arb.arbitration\x20==\x20the\x20Arbitration\x20address\x20the\x20Service\x20publishes\x20with).\x20'+'arb.order\x20is\x20a\x20CASE-CREATOR-FILLED\x20field\x20and\x20nothing\x20on\x20chain\x20ties\x20an\x20Arb\x20case\x20to\x20the\x20'+'store\x27s\x20designated\x20venue,\x20so\x20anyone\x20can\x20mint\x20an\x20Arbitration\x20against\x20this\x20order\x20with\x20'+'themselves\x20as\x20sole\x20arbiter,\x20rule\x20a\x20self-serving\x20indemnity,\x20and\x20satisfy\x20every\x20other\x20leg\x20'+('here.'+k+'\x20Add\x20the\x20venue\x20leg\x20(identifier\x20filled\x20with\x20the\x20SAME\x20Arbitration\x20address\x20the\x20')+'Service\x20is\x20published\x20with)\x20and\x20route\x20cases\x20from\x20any\x20other\x20venue\x20to\x20keeper\x20review\x20instead\x20of\x20'+'the\x20machine\x20edge;\x20pair\x20it\x20with\x20KEEPER\x20execution\x20—\x20merchant-only\x20execution\x20means\x20an\x20adverse\x20'+'ruling\x20simply\x20never\x20advances\x20(bs29:\x20judgments\x20without\x20enforcement).'});}}if(f['length']===0x0)return b;const g=f['some'](l=>l['r']['won']),h=f['some'](l=>l['r']['dismissed']);if(g!==h){const l=g?'dismissed':'won',m=g?'won':'dismissed',n=[...new Set(f['map'](q=>q['edge']['prev'])['filter'](q=>q!==''))],o=n['map'](q=>{const s=c['filter'](u=>u['prev']===q&&readingOf(u,d)?.['ruling']!==!![]);if(s['length']===0x0)return'\x20\x20-\x20\x27'+q+'\x27:\x20NO\x20non-ruling\x20exit';const t=s['map'](u=>u['forward']+(u['unguarded']?'\x20(UNGUARDED)':''));return'\x20\x20-\x20\x27'+q+'\x27:\x20'+t['join'](',\x20');}),p=g?'A\x20MERCHANT-FAVOR\x20ruling\x20(indemnity\x20Some(0))\x20has\x20no\x20machine\x20edge\x20here:\x20the\x20winner\x20cannot\x20close\x20the\x20'+'claim\x20or\x20resume\x20settlement\x20through\x20the\x20ruling,\x20so\x20the\x20case\x20concludes\x20and\x20the\x20order\x20sits\x20where\x20it\x20'+'was\x20(bs29\x20—\x20judgments\x20without\x20enforcement).\x20The\x20buyer\x20also\x20pays\x20nothing\x20for\x20losing,\x20which\x20removes\x20'+'the\x20cost\x20of\x20filing\x20a\x20speculative\x20dispute.':'A\x20BUYER-FAVOR\x20ruling\x20(indemnity\x20>\x200)\x20has\x20no\x20machine\x20edge\x20here:\x20the\x20buyer\x20wins\x20the\x20case\x20and\x20still\x20'+'cannot\x20reach\x20a\x20refund,\x20because\x20the\x20only\x20ruling\x20exits\x20open\x20on\x20amount\x20==\x200.\x20The\x20award\x20then\x20depends\x20'+'entirely\x20on\x20claiming\x20it\x20out\x20of\x20the\x20service\x27s\x20compensation\x20pool\x20—\x20which\x20aborts\x20code\x2027\x20'+'(E_COMPENSATION_NOT_MATCH)\x20when\x20the\x20pool\x20does\x20not\x20cover\x20the\x20indemnity.';b['push']({'code':'ARB_RULING_ONE_SIDED','level':'info','detail':'this\x20machine\x20carries\x20'+m['toUpperCase']()+'\x20ruling\x20exit(s)\x20only\x20—\x20no\x20'+l['toUpperCase']()+'\x20'+'polarity\x20anywhere\x20in\x20the\x20graph,\x20so\x20one\x20of\x20the\x20four\x20arbitration\x20outcomes\x20cannot\x20move\x20the\x20order.\x0a'+(p+'\x0a')+'Non-ruling\x20exits\x20from\x20the\x20same\x20waypoint(s)\x20—\x20the\x20paths\x20an\x20unruled\x20or\x20opposite-polarity\x20case\x20must\x20'+('travel\x20instead:\x0a'+o['join']('\x0a')+'\x0a')+('NOT\x20a\x20violation\x20by\x20itself:\x20'+(l==='dismissed'?'most\x20builtin\x20arbitration\x20archetypes\x20ship\x20won-only\x20—\x20the\x20catalog\x20norm,\x20licensing\x20ones\x20by\x20design\x20(the\x20dismissed\x20twin\x20omits\x20\x27licensing\x27\x20from\x20applicable_industries)':'no\x20builtin\x20archetype\x20ships\x20dismissed-only,\x20so\x20verify\x20this\x20is\x20deliberate')+'.\x20')+('It\x20IS\x20a\x20disclosure\x20the\x20operator\x20must\x20accept\x20consciously:\x20if\x20a\x20'+l+'\x20outcome\x20is\x20reachable\x20in\x20')+('this\x20business,\x20add\x20the\x20twin\x20exit\x20—\x20'+(l==='dismissed'?'tpl_forward_arb_ruling_dismissed\x20(arb.indemnity.amount\x20==\x200,\x20positive\x20equality:\x20the\x20single\x20decisive\x20merchant-favor\x20form;\x20NEVER\x20arb.indemnity\x20some\x20==\x20false,\x20which\x20conflates\x20never-ruled,\x20reset\x20and\x20ruled-zero)':'tpl_forward_arb_ruling_won\x20(arb.indemnity.amount\x20!=\x200\x20plus\x20the\x20F-54\x20floor)')+'\x20—\x20declared\x20on\x20the\x20')+'TARGET\x20node\x20with\x20prev\x20set\x20to\x20the\x20waypoint,\x20one\x20guard\x20instance\x20per\x20exit\x20edge.'});}{const q=[...new Set(f['map'](s=>s['edge']['prev'])['filter'](s=>s!==''))];for(const s of q){const t=c['filter'](x=>x['prev']===s);if(t['length']===0x0)continue;const u=t['filter'](x=>readingOf(x,d)?.['ruling']!==!![]);if(u['length']>0x0)continue;const v=t['map'](x=>x['guardRef']??x['forward']);b['push']({'code':'ARB_RULING_ZERO_EXIT','level':'warning','node':s,'detail':'dispute\x20waypoint\x20\x27'+s+'\x27\x20has\x20ONLY\x20ruling-keyed\x20exits\x20('+v['join'](',\x20')+')\x20—\x20a\x20case\x20that\x20NEVER\x20'+'rules\x20fires\x20NOTHING.\x20Both\x20ruling\x20roots\x20fail\x20closed\x20on\x20the\x20None\x20indemnity\x20field,\x20so\x20a\x20'+'withdrawn\x20case\x20(arb_withdraw),\x20a\x20reset\x20(the\x20objection\x20cycle\x20clears\x20the\x20indemnity)\x20or\x20an\x20'+('abandoned\x20one\x20leaves\x20the\x20order\x20resting\x20at\x20\x27'+s+'\x27\x20permanently,\x20with\x20no\x20edge\x20to\x20drive\x20and\x20no\x20')+'later\x20repair\x20(Machine\x20+\x20Allocator\x20freeze\x20at\x20publish,\x20IMMUT-001/IMMUT-002).\x0a'+'TWO\x20READINGS,\x20and\x20this\x20gate\x20cannot\x20decide\x20between\x20them\x20at\x20publish\x20time\x20—\x20the\x20chain\x20stores\x20no\x20'+('semantic\x20role\x20and\x20the\x20escrow\x20state\x20behind\x20\x27'+s+'\x27\x20is\x20not\x20statically\x20readable:\x0a')+('\x20\x20•\x20SANCTIONED\x20(ignore):\x20\x27'+s+'\x27\x20is\x20a\x20fund\x20endpoint\x20the\x20escrow\x20already\x20drained\x20at,\x20and\x20these\x20')+'ruling\x20edges\x20are\x20a\x20POST-SETTLEMENT\x20re-router.\x20This\x20is\x20the\x20shipped\x20licensing\x20shape\x20(\x27granted\x27)\x20'+'and\x20the\x20reason\x20the\x20scan-face\x20twin\x20R-ARB-ZERO-EXIT\x20exempts\x20declared\x20final/cancelled\x20nodes.\x0a'+('\x20\x20•\x20STRANDING\x20(fix\x20before\x20publish):\x20escrow\x20is\x20still\x20held\x20at\x20\x27'+s+'\x27.\x20Then\x20add\x20the\x20buyer\x27s\x20')+'single-hop\x20void\x20escape\x20—\x20WithdrawClaim\x20(operator\x20order_payer,\x20'+'pattern.identity_check_order_holder:\x20signer\x20==\x20order\x20owner)\x20into\x20a\x20cancelled\x20terminal.\x20No\x20'+'ruling\x20means\x20arb.claimed_by\x20is\x20none,\x20so\x20the\x20order\x20is\x20untouched\x20and\x20the\x20node-gated\x20refund\x20rail\x20'+'stays\x20open\x20for\x20full\x20escrow\x20back\x20(decision\x2011\x20KEEP\x20face:\x20never\x20add\x20a\x20claimed_by\x20leg\x20to\x20the\x20'+'fund\x20rail\x20itself\x20—\x20R-FUND-RAIL-CLAIMED-BY).\x20A\x20ForceSettleExpired\x20clock\x20edge\x20substitutes\x20ONLY\x20'+'if\x20it\x20routes\x20buyer-ward.\x0a'+('Decide\x20by\x20reading\x20this\x20store\x27s\x20allocator\x20rails:\x20if\x20no\x20rail\x20can\x20drain\x20at\x20\x27'+s+'\x27\x20or\x20before\x20it,\x20')+'this\x20is\x20the\x20stranding\x20reading.'});}}return b;}

package/dist/knowledge/arbitration-templates.js

@@ -1 +1 @@
-export const ARBITRATION_ACTIVATION_NOTES=['ACTIVATION:\x20a\x20newly\x20created\x20Arbitration\x20is\x20born\x20PAUSED\x20(bPaused=true).\x20This\x20template\x20passes\x20pause:false\x20in\x20the\x20create\x20payload\x20to\x20unpause\x20in\x20the\x20SAME\x20transaction\x20(the\x20creator\x20is\x20an\x20admin\x20of\x20the\x20new\x20Permission,\x20so\x20the\x20356\x20check\x20passes).\x20If\x20the\x20unpause\x20is\x20skipped,\x20no\x20dispute\x20can\x20be\x20filed\x20(E_PAUSED)\x20until\x20a\x20separate\x20{operation_type:\x27arbitration\x27,\x20data:{object:\x27<arb>\x27,\x20pause:false}}\x20is\x20issued.','PERMISSIONS:\x20a\x20freshly\x20created\x20Arbitration\x27s\x20Permission\x20table\x20starts\x20EMPTY\x20—\x20its\x20CREATOR\x20is\x20seeded\x20as\x20the\x20sole\x20admin\x20and\x20always\x20passes\x20every\x20assert,\x20so\x20only\x20NON-admin\x20callers\x20abort\x20with\x20\x27Missing\x20permission\x27\x20(code\x205)\x20until\x20grants\x20are\x20issued\x20via\x20its\x20Permission\x20object:\x20356\x20(pause/unpause),\x20358\x20(vote),\x20359\x20(issue\x20ruling),\x20361\x20(arbitrator\x20material\x20confirm),\x20plus\x20357/362/363/364-368\x20(fee\x20/\x20deadline\x20/\x20reset\x20/\x20withdraw\x20/\x20receive).','OPEN\x20VOTE\x20IS\x20NOT\x20PERMISSIONLESS:\x20an\x20empty\x20voting_guard\x20means\x20EQUAL\x20WEIGHT\x20(1\x20person\x201\x20vote),\x20but\x20vote()\x20still\x20asserts\x20ARBITRATION_VOTE=358\x20—\x20\x27anyone\x20can\x20vote\x27\x20requires\x20granting\x20358\x20to\x20the\x20intended\x20voters\x20first.','VOTER\x20UNIVERSE\x20IS\x20DECLARED\x20BY\x20THE\x20voting_guard:\x20always-true\x20root\x20=\x20public\x20venue\x20(tpl_voting_guard_open_vote);\x20party-restricted\x20root\x20=\x20closed\x20venue\x20(tpl_voting_guard_party_only:\x20panel\x20vec_contains_address\x20∨\x20order.owner\x20with\x20the\x20arb.order==order\x20anti-spoof\x20leg).\x20Upw2-mn\x20pddk-b4:\x20a\x20closed\x20venue\x20shipping\x20a\x20constant-true\x20guard\x20let\x20an\x20outsider\x20vote\x20—\x20pick\x20the\x20twin\x20deliberately.'];export const ARBITRATION_TEMPLATES=[{'id':'T-AB-01','name':'Single-arbiter\x20quick\x20ruling','description':'Simplest\x20Arbitration:\x20one\x20arbiter\x20makes\x20all\x20rulings.\x20voting_guard\x20empty\x20(open\x20vote,\x20but\x20only\x20arbiter\x20has\x20358\x20perm).\x20Suitable\x20for\x20small-scale\x20/\x20fast\x20dispute\x20resolution.','applicable_scenes':['arbitration_create','arbitration_ruling','arbitration_confirm'],'industry_tags':['retail','freelance','small_business'],'params':[{'name':'owner_address','type':'address','description':'Arbitration\x20owner\x20(also\x20admin)','required':!![]},{'name':'arbiter_address','type':'address','description':'Single\x20arbiter\x20address\x20(gets\x20ARBITRATION_VOTE=358\x20+\x20ARBITRATION_ARBITRATION=359)','required':!![]},{'name':'coin_type','type':'string','description':'Coin\x20type\x20for\x20arbitration\x20fee\x20(e.g.\x200x2::wow::WOW)','required':!![]},{'name':'description','type':'string','description':'Arbitration\x20description','required':!![]},{'name':'fee_amount','type':'number','description':'Dispute\x20application\x20fee\x20(u64,\x20in\x20Coin\x20base\x20units)','required':![],'default':0x0},{'name':'arbitration_name','type':'string','description':'Local\x20name\x20for\x20the\x20Arbitration\x20object','required':![]}],'body':a=>({'object':{'name':a['arbitration_name']??'single_arb_arbitration','type_parameter':a['coin_type'],'permission':{'name':(a['arbitration_name']??'single_arb')+'_permission'}},'description':a['description'],'fee':String(a['fee_amount']??0x0),'pause':![]}),'notes':['voting_guard\x20remains\x20empty\x20→\x20plain\x20votes\x20hard-require\x20the\x20vote\x20permission\x20(358):\x20by\x20default\x20ONLY\x20the\x20creator-admin\x20can\x20vote\x20(here\x20the\x20arbiter).\x20This\x20is\x20NOT\x20open\x20voting\x20—\x20a\x20dispute\x20dead-locks\x20when\x20that\x20admin\x20is\x20unresponsive\x20(crs9-F-36;\x20R-ARB-VOTE-LOCK\x20blocks\x20the\x20service\x20publish).\x20Weight\x20semantics\x20stay\x20one-voter-one-vote;\x20for\x20real\x20open\x20voting\x20bind\x20the\x20always-true\x20guard\x20(T-AB-03\x20/\x20tpl_voting_guard_open_vote);\x20for\x20a\x20closed\x20venue\x20where\x20only\x20the\x20dispute\x20parties\x20+\x20venue\x20staff\x20may\x20vote,\x20bind\x20tpl_voting_guard_party_only\x20instead','Only\x20arbiter_address\x20should\x20be\x20granted\x20ARBITRATION_VOTE\x20(358)\x20+\x20ARBITRATION_ARBITRATION\x20(359)','Fast\x20ruling:\x20arbiter\x20confirms\x20materials\x20→\x20votes\x20→\x20makes\x20ruling\x20in\x20one\x20session','Not\x20suitable\x20for\x20high-value\x20disputes\x20(no\x20consensus\x20check)',...ARBITRATION_ACTIVATION_NOTES]},{'id':'T-AB-02','name':'Multi-arbiter\x20voting\x20(weighted)','description':'Multiple\x20arbiters\x20vote\x20with\x20weighted\x20voting_guard.\x20Each\x20arbiter\x27s\x20Guard\x20has\x20FixedValue\x20weight.\x20Ruling\x20requires\x20majority\x20weight.','applicable_scenes':['arbitration_create','arbitration_vote','arbitration_voting_guard_config'],'industry_tags':['governance','dao','committee'],'params':[{'name':'owner_address','type':'address','description':'Arbitration\x20owner','required':!![]},{'name':'arbiter_guards','type':'string[]','description':'Guard\x20addresses\x20for\x20each\x20arbiter\x20(will\x20be\x20added\x20to\x20voting_guard)','required':!![]},{'name':'vote_weights','type':'string[]','description':'FixedValue\x20weights\x20for\x20each\x20arbiter\x20(parallel\x20to\x20arbiter_guards)','required':!![]},{'name':'coin_type','type':'string','description':'Coin\x20type','required':!![]},{'name':'description','type':'string','description':'Arbitration\x20description','required':!![]},{'name':'fee_amount','type':'number','description':'Dispute\x20fee','required':![],'default':0x0}],'body':a=>{const b=a['arbiter_guards']['map']((c,d)=>({'guard':c,'vote_weight':{'FixedValue':Number(a['vote_weights'][d]??0x1)}}));return{'object':{'name':'weighted_arbitration','type_parameter':a['coin_type'],'permission':{'name':'weighted_arb_permission'}},'description':a['description'],'fee':String(a['fee_amount']??0x0),'pause':![],'voting_guard':{'op':'set','guards':b}};},'notes':['voting_guard\x20non-empty\x20→\x20votes\x20MUST\x20be\x20submitted\x20via\x20the\x20Passport-verified\x20voting\x20path','Each\x20arbiter\x27s\x20Guard\x20must\x20be\x20a\x20valid\x20Guard\x20object\x20they\x20can\x20submit\x20Passport\x20for','Consider:\x20max(arbiter_weights)\x20/\x20total_weights\x20<\x200.5\x20to\x20avoid\x20collusion\x20(see\x20R-AB-3-01)','Max\x2050\x20voting_guards\x20(MAX_VOTING_GUARD_COUNT)',...ARBITRATION_ACTIVATION_NOTES]},{'id':'T-AB-03','name':'Public\x20voting\x20arbitration','description':'voting_guard\x20allows\x20public\x20to\x20vote\x20(anyone\x20with\x20a\x20Guard\x20can\x20vote).\x20Suitable\x20for\x20community-driven\x20dispute\x20resolution.','applicable_scenes':['arbitration_create','arbitration_vote','arbitration_voting_guard_config'],'industry_tags':['community','public_goods','social'],'params':[{'name':'owner_address','type':'address','description':'Arbitration\x20owner','required':!![]},{'name':'public_guard','type':'address','description':'Guard\x20address\x20anyone\x20can\x20submit\x20Passport\x20for\x20(e.g.\x20based\x20on\x20account\x20existence)','required':!![]},{'name':'vote_weight','type':'number','description':'FixedValue\x20weight\x20per\x20public\x20voter\x20(e.g.\x201)','required':![],'default':0x1},{'name':'coin_type','type':'string','description':'Coin\x20type','required':!![]},{'name':'description','type':'string','description':'Arbitration\x20description','required':!![]}],'body':a=>({'object':{'name':'public_arbitration','type_parameter':a['coin_type'],'permission':{'name':'public_arb_permission'}},'description':a['description'],'fee':'0','pause':![],'voting_guard':{'op':'set','guards':[{'guard':a['public_guard'],'vote_weight':{'FixedValue':Number(a['vote_weight']??0x1)}}]}}),'notes':['Public\x20voting:\x20anyone\x20holding\x20the\x20public_guard\x20can\x20vote','This\x20shape\x20also\x20clears\x20R-ARB-VOTE-LOCK:\x20an\x20EMPTY\x20voting_guard\x20is\x20NOT\x20open\x20voting\x20(plain\x20votes\x20would\x20hard-require\x20the\x20vote\x20permission\x20358,\x20admin-only\x20by\x20default,\x20crs9-F-36)\x20—\x20the\x20always-true\x20guard\x20is\x20the\x20declared\x20voter\x20universe\x20(tpl_voting_guard_open_vote\x20is\x20the\x20guard-side\x20template).\x20Use\x20this\x20shape\x20ONLY\x20for\x20deliberately\x20public\x20venues:\x20a\x20closed\x20commercial\x20venue\x20must\x20restrict\x20its\x20voter\x20universe\x20(tpl_voting_guard_party_only\x20—\x20the\x20parties\x20+\x20venue\x20panel),\x20or\x20every\x20Passport\x20holder\x20can\x20vote\x20(upw2-mn\x20pddk-b4)','Once\x20voting_guard\x20is\x20set,\x20every\x20vote\x20call\x20MUST\x20carry\x20voting_guard\x20in\x20the\x20payload\x20(a\x20plain\x20vote\x20aborts\x20on-chain\x20with\x20E_VOTING_GUARD_USED,\x20abort\x202)','Consider\x20using\x20GuardIdentifier\x20(dynamic\x20weight)\x20for\x20token-weighted\x20voting','Low/zero\x20fee\x20to\x20encourage\x20participation\x20—\x20but\x20watch\x20for\x20spam\x20disputes','Suitable\x20for\x20community\x20moderation,\x20content\x20disputes,\x20public\x20goods\x20arbitration',...ARBITRATION_ACTIVATION_NOTES]},{'id':'T-AB-04','name':'Scope-restricted\x20arbitration','description':'usage_guard\x20filters\x20which\x20disputes\x20can\x20be\x20filed.\x20Only\x20users\x20passing\x20the\x20Guard\x20can\x20file\x20disputes.\x20Suitable\x20for\x20verified-merchant\x20/\x20KYC\x20arbitration.','applicable_scenes':['arbitration_create','arbitration_usage_guard_config','arbitration_dispute'],'industry_tags':['kyc','verified_merchant','enterprise'],'params':[{'name':'owner_address','type':'address','description':'Arbitration\x20owner','required':!![]},{'name':'usage_guard_address','type':'address','description':'Guard\x20address\x20that\x20filters\x20who\x20can\x20file\x20disputes\x20(KYC/verification)','required':!![]},{'name':'coin_type','type':'string','description':'Coin\x20type','required':!![]},{'name':'description','type':'string','description':'Arbitration\x20description','required':!![]},{'name':'arbiter_address','type':'address','description':'Arbiter\x20address\x20(single\x20arbiter\x20for\x20simplicity)','required':!![]},{'name':'fee_amount','type':'number','description':'Dispute\x20fee\x20(higher\x20to\x20deter\x20spam)','required':![],'default':0x3b9aca00}],'body':a=>({'object':{'name':'restricted_arbitration','type_parameter':a['coin_type'],'permission':{'name':'restricted_arb_permission'}},'description':a['description'],'fee':String(a['fee_amount']??0x3b9aca00),'pause':![],'usage_guard':a['usage_guard_address']}),'notes':['usage_guard\x20set\x20→\x20disputes\x20MUST\x20be\x20filed\x20via\x20the\x20Passport-verified\x20dispute\x20variant','Guard\x20verifies:\x20KYC\x20/\x20membership\x20/\x20token-balance\x20/\x20etc.','Higher\x20fee\x20(default\x201\x20WOW)\x20to\x20deter\x20spam\x20from\x20verified\x20users','Arbiter\x20should\x20also\x20be\x20Guard-verified\x20for\x20consistency',...ARBITRATION_ACTIVATION_NOTES]},{'id':'T-AB-05','name':'Arbitration\x20committee','description':'Multi-arbiter\x20committee\x20with\x20weighted\x20voting\x20+\x20usage_guard.\x20Most\x20controlled\x20configuration\x20—\x20restricted\x20dispute\x20filing\x20+\x20weighted\x20voting\x20+\x20multi-arbiter\x20ruling.','applicable_scenes':['arbitration_create','arbitration_voting_guard_config','arbitration_usage_guard_config','arbitration_ruling'],'industry_tags':['enterprise','legal','high_value'],'params':[{'name':'owner_address','type':'address','description':'Committee\x20owner','required':!![]},{'name':'committee_guards','type':'string[]','description':'Guard\x20addresses\x20for\x20each\x20committee\x20member','required':!![]},{'name':'member_weights','type':'string[]','description':'Vote\x20weights\x20for\x20each\x20member\x20(parallel\x20to\x20committee_guards)','required':!![]},{'name':'membership_guard','type':'address','description':'usage_guard\x20for\x20dispute\x20filing\x20(membership\x20verification)','required':!![]},{'name':'coin_type','type':'string','description':'Coin\x20type','required':!![]},{'name':'description','type':'string','description':'Arbitration\x20description','required':!![]},{'name':'fee_amount','type':'number','description':'Dispute\x20fee\x20(high\x20for\x20high-value\x20disputes)','required':![],'default':0x2540be400}],'body':a=>{const b=a['committee_guards']['map']((c,d)=>({'guard':c,'vote_weight':{'FixedValue':Number(a['member_weights'][d]??0x1)}}));return{'object':{'name':'committee_arbitration','type_parameter':a['coin_type'],'permission':{'name':'committee_arb_permission'}},'description':a['description'],'fee':String(a['fee_amount']??0x2540be400),'pause':![],'voting_guard':{'op':'set','guards':b},'usage_guard':a['membership_guard']};},'notes':['Most\x20restrictive\x20config:\x20weighted\x20voting\x20+\x20restricted\x20filing','Suitable\x20for\x20high-value\x20B2B\x20disputes,\x20legal\x20arbitration,\x20enterprise\x20SLA\x20enforcement','Committee\x20members\x20should\x20have\x20clear\x20escalation\x20/\x20tiebreaker\x20rules','All\x20disputes\x20require\x20Passport\x20(both\x20filing\x20and\x20voting)',...ARBITRATION_ACTIVATION_NOTES]},{'id':'T-AB-06','name':'Fee-split\x20arbitration','description':'Pre-configured\x20fee-distribution\x20destination.\x20After\x20the\x20fee\x20withdrawal\x20(364),\x20fees\x20are\x20automatically\x20distributed\x20to\x20the\x20Allocation\x20(for\x20arbiter\x20compensation).','applicable_scenes':['arbitration_create','arbitration_arb_withdraw','arbitration_fees_alloc'],'industry_tags':['marketplace','service','platform'],'params':[{'name':'owner_address','type':'address','description':'Arbitration\x20owner','required':!![]},{'name':'allocation_address','type':'address','description':'Allocation\x20object\x20address\x20for\x20fee\x20distribution\x20to\x20arbiters','required':!![]},{'name':'coin_type','type':'string','description':'Coin\x20type','required':!![]},{'name':'description','type':'string','description':'Arbitration\x20description','required':!![]},{'name':'arbiter_address','type':'address','description':'Arbiter\x20(single\x20for\x20simplicity)','required':!![]},{'name':'fee_amount','type':'number','description':'Dispute\x20fee\x20(will\x20be\x20split\x20to\x20arbiters\x20via\x20Allocation)','required':![],'default':0x12a05f200}],'body':a=>({'object':{'name':'feesplit_arbitration','type_parameter':a['coin_type'],'permission':{'name':'feesplit_arb_permission'}},'description':a['description'],'fee':String(a['fee_amount']??0x12a05f200),'pause':![]}),'notes':['Fee-split\x20is\x20a\x202-step\x20process:\x20withdraw\x20fees\x20from\x20the\x20Arb\x20object\x20(364)\x20→\x20transfer\x20them\x20out\x20of\x20the\x20Arbitration\x20balance\x20(365/366)','Fee\x20withdrawal\x20(364)\x20moves\x20fees\x20from\x20the\x20Arb\x20object\x20into\x20the\x20Arbitration\x20balance','Fee\x20distribution\x20(365)\x20or\x20the\x20balance\x20transfer\x20(366)\x20moves\x20fees\x20to\x20the\x20Allocation/Treasury','Allocation\x20policy\x20determines\x20how\x20fees\x20are\x20split\x20among\x20arbiters','Payment\x20object\x20is\x20created\x20for\x20bookkeeping\x20(payment_remark\x20+\x20payment_index)',...ARBITRATION_ACTIVATION_NOTES]},{'id':'T-AB-07','name':'Appeal\x20arbitration\x20(reset\x20flow)','description':'Template\x20for\x20reset\x20operation\x20—\x20disputant\x20objects\x20to\x20ruling\x20and\x20resubmits\x20materials.\x20Restarts\x20Arb\x20lifecycle\x20from\x20Principal_confirming.','applicable_scenes':['arbitration_reset','arbitration_ruling'],'industry_tags':['legal','appeal','high_value'],'params':[{'name':'arbitration_object','type':'address','description':'Existing\x20Arbitration\x20object\x20address','required':!![]},{'name':'arb_address','type':'address','description':'Arb\x20object\x20address\x20to\x20reset\x20(must\x20be\x20in\x20Objectionable/Arbitrated\x20status)','required':!![]},{'name':'reset_feedback','type':'string','description':'Feedback\x20explaining\x20why\x20disputant\x20objects\x20to\x20the\x20ruling','required':!![]}],'body':a=>({'object':a['arbitration_object'],'reset':{'arb':a['arb_address'],'feedback':a['reset_feedback']}}),'notes':['Precondition:\x20Arb\x20must\x20be\x20in\x20Objectionable\x20(4)\x20or\x20Arbitrated\x20(3)\x20status','Post-condition:\x20Arb\x20status\x20→\x20Principal_confirming\x20(0),\x20lifecycle\x20restarts','Original\x20ruling\x20is\x20invalidated\x20—\x20new\x20voting\x20+\x20ruling\x20required','Consider\x20capping\x20reset\x20count\x20to\x20prevent\x20infinite\x20appeals','reset\x20feedback\x20is\x20permanent\x20—\x20recorded\x20on-chain\x20for\x20audit\x20trail']}];export const ARBITRATION_TEMPLATES_VERSION='1.0.0';export function getAllTemplates(){return[...ARBITRATION_TEMPLATES];}export function getTemplateById(a){return ARBITRATION_TEMPLATES['find'](b=>b['id']===a);}export function getTemplatesByScene(a){return ARBITRATION_TEMPLATES['filter'](b=>b['applicable_scenes']['includes'](a));}export function getTemplatesByIndustry(a){return ARBITRATION_TEMPLATES['filter'](b=>b['industry_tags']['includes'](a)||b['industry_tags']['includes']('universal'));}export function suggestTemplateForScene(a){const b=getTemplatesByScene(a);return b['length']>0x0?b[0x0]:undefined;}export function listTemplates(){return ARBITRATION_TEMPLATES['map'](a=>({'id':a['id'],'name':a['name'],'description':a['description'],'scenes':a['applicable_scenes']}));}export function fillTemplate(a,b){const c=getTemplateById(a);if(!c)return{'ok':![],'error':'Template\x20'+a+'\x20not\x20found'};for(const d of c['params']){if(d['required']&&!(d['name']in b))return{'ok':![],'error':'Missing\x20required\x20param:\x20'+d['name']};}return{'ok':!![],'body':c['body'](b)};}
+export const ARBITRATION_ACTIVATION_NOTES=['ACTIVATION:\x20a\x20newly\x20created\x20Arbitration\x20is\x20born\x20PAUSED\x20(bPaused=true).\x20This\x20template\x20passes\x20pause:false\x20in\x20the\x20create\x20payload\x20to\x20unpause\x20in\x20the\x20SAME\x20transaction\x20(the\x20creator\x20is\x20an\x20admin\x20of\x20the\x20new\x20Permission,\x20so\x20the\x20356\x20check\x20passes).\x20If\x20the\x20unpause\x20is\x20skipped,\x20no\x20dispute\x20can\x20be\x20filed\x20(E_PAUSED)\x20until\x20a\x20separate\x20{operation_type:\x27arbitration\x27,\x20data:{object:\x27<arb>\x27,\x20pause:false}}\x20is\x20issued.','PERMISSIONS:\x20a\x20freshly\x20created\x20Arbitration\x27s\x20Permission\x20table\x20starts\x20EMPTY\x20—\x20its\x20CREATOR\x20is\x20seeded\x20as\x20the\x20sole\x20admin\x20and\x20always\x20passes\x20every\x20assert,\x20so\x20only\x20NON-admin\x20callers\x20abort\x20with\x20\x27Missing\x20permission\x27\x20(code\x205)\x20until\x20grants\x20are\x20issued\x20via\x20its\x20Permission\x20object:\x20356\x20(pause/unpause),\x20358\x20(vote),\x20359\x20(issue\x20ruling),\x20361\x20(arbitrator\x20material\x20confirm),\x20plus\x20357/362/363/364-368\x20(fee\x20/\x20deadline\x20/\x20reset\x20/\x20withdraw\x20/\x20receive).','OPEN\x20VOTE\x20IS\x20NOT\x20PERMISSIONLESS:\x20an\x20empty\x20voting_guard\x20means\x20EQUAL\x20WEIGHT\x20(1\x20person\x201\x20vote),\x20but\x20vote()\x20still\x20asserts\x20ARBITRATION_VOTE=358\x20—\x20\x27anyone\x20can\x20vote\x27\x20requires\x20granting\x20358\x20to\x20the\x20intended\x20voters\x20first.','VOTER\x20UNIVERSE\x20IS\x20DECLARED\x20BY\x20THE\x20voting_guard:\x20always-true\x20root\x20=\x20public\x20venue\x20(tpl_voting_guard_open_vote);\x20party-restricted\x20root\x20=\x20closed\x20venue\x20(tpl_voting_guard_party_only:\x20panel\x20vec_contains_address\x20∨\x20order.owner\x20with\x20the\x20arb.order==order\x20anti-spoof\x20leg).\x20Upw2-mn\x20pddk-b4:\x20a\x20closed\x20venue\x20shipping\x20a\x20constant-true\x20guard\x20let\x20an\x20outsider\x20vote\x20—\x20pick\x20the\x20twin\x20deliberately.'];export const ARBITRATION_TEMPLATES=[{'id':'T-AB-01','name':'Single-arbiter\x20quick\x20ruling','description':'Simplest\x20Arbitration:\x20one\x20arbiter\x20makes\x20all\x20rulings.\x20voting_guard\x20empty\x20(open\x20vote,\x20but\x20only\x20arbiter\x20has\x20358\x20perm).\x20Suitable\x20for\x20small-scale\x20/\x20fast\x20dispute\x20resolution.','applicable_scenes':['arbitration_create','arbitration_ruling','arbitration_confirm'],'industry_tags':['retail','freelance','small_business'],'params':[{'name':'owner_address','type':'address','description':'Arbitration\x20owner\x20(also\x20admin)','required':!![]},{'name':'arbiter_address','type':'address','description':'Single\x20arbiter\x20address\x20(gets\x20ARBITRATION_VOTE=358\x20+\x20ARBITRATION_ARBITRATION=359)','required':!![]},{'name':'coin_type','type':'string','description':'Coin\x20type\x20for\x20arbitration\x20fee\x20(e.g.\x200x2::wow::WOW)','required':!![]},{'name':'description','type':'string','description':'Arbitration\x20description','required':!![]},{'name':'fee_amount','type':'number','description':'Dispute\x20application\x20fee\x20(u64,\x20in\x20Coin\x20base\x20units)','required':![],'default':0x0},{'name':'arbitration_name','type':'string','description':'Local\x20name\x20for\x20the\x20Arbitration\x20object','required':![]}],'body':a=>({'object':{'name':a['arbitration_name']??'single_arb_arbitration','type_parameter':a['coin_type'],'permission':{'name':(a['arbitration_name']??'single_arb')+'_permission'}},'description':a['description'],'fee':String(a['fee_amount']??0x0),'pause':![]}),'notes':['voting_guard\x20remains\x20empty\x20→\x20plain\x20votes\x20hard-require\x20the\x20vote\x20permission\x20(358):\x20by\x20default\x20ONLY\x20the\x20creator-admin\x20can\x20vote\x20(here\x20the\x20arbiter).\x20This\x20is\x20NOT\x20open\x20voting\x20—\x20a\x20dispute\x20dead-locks\x20when\x20that\x20admin\x20is\x20unresponsive\x20(crs9-F-36;\x20R-ARB-VOTE-LOCK\x20blocks\x20the\x20service\x20publish).\x20Weight\x20semantics\x20stay\x20one-voter-one-vote;\x20for\x20real\x20open\x20voting\x20bind\x20the\x20always-true\x20guard\x20(T-AB-03\x20/\x20tpl_voting_guard_open_vote);\x20for\x20a\x20closed\x20venue\x20where\x20only\x20the\x20dispute\x20parties\x20+\x20venue\x20staff\x20may\x20vote,\x20bind\x20tpl_voting_guard_party_only\x20instead','Only\x20arbiter_address\x20should\x20be\x20granted\x20ARBITRATION_VOTE\x20(358)\x20+\x20ARBITRATION_ARBITRATION\x20(359)','Fast\x20ruling:\x20arbiter\x20confirms\x20materials\x20→\x20votes\x20→\x20makes\x20ruling\x20in\x20one\x20session','Not\x20suitable\x20for\x20high-value\x20disputes\x20(no\x20consensus\x20check)',...ARBITRATION_ACTIVATION_NOTES]},{'id':'T-AB-02','name':'Multi-arbiter\x20voting\x20(weighted)','description':'Multiple\x20arbiters\x20vote\x20with\x20weighted\x20voting_guard.\x20Each\x20arbiter\x27s\x20Guard\x20has\x20FixedValue\x20weight.\x20Ruling\x20requires\x20majority\x20weight.','applicable_scenes':['arbitration_create','arbitration_vote','arbitration_voting_guard_config'],'industry_tags':['governance','dao','committee'],'params':[{'name':'owner_address','type':'address','description':'Arbitration\x20owner','required':!![]},{'name':'arbiter_guards','type':'string[]','description':'Guard\x20addresses\x20for\x20each\x20arbiter\x20(will\x20be\x20added\x20to\x20voting_guard)','required':!![]},{'name':'vote_weights','type':'string[]','description':'FixedValue\x20weights\x20for\x20each\x20arbiter\x20(parallel\x20to\x20arbiter_guards)','required':!![]},{'name':'coin_type','type':'string','description':'Coin\x20type','required':!![]},{'name':'description','type':'string','description':'Arbitration\x20description','required':!![]},{'name':'fee_amount','type':'number','description':'Dispute\x20fee','required':![],'default':0x0}],'body':a=>{const b=a['arbiter_guards']['map']((c,d)=>({'guard':c,'vote_weight':{'FixedValue':Number(a['vote_weights'][d]??0x1)}}));return{'object':{'name':'weighted_arbitration','type_parameter':a['coin_type'],'permission':{'name':'weighted_arb_permission'}},'description':a['description'],'fee':String(a['fee_amount']??0x0),'pause':![],'voting_guard':{'op':'set','guards':b}};},'notes':['voting_guard\x20non-empty\x20→\x20votes\x20MUST\x20be\x20submitted\x20via\x20the\x20Passport-verified\x20voting\x20path','Each\x20arbiter\x27s\x20Guard\x20must\x20be\x20a\x20valid\x20Guard\x20object\x20they\x20can\x20submit\x20Passport\x20for','Consider:\x20max(arbiter_weights)\x20/\x20total_weights\x20<\x200.5\x20to\x20avoid\x20collusion\x20(see\x20R-AB-3-01)','Max\x2050\x20voting_guards\x20(MAX_VOTING_GUARD_COUNT)',...ARBITRATION_ACTIVATION_NOTES]},{'id':'T-AB-03','name':'Public\x20voting\x20arbitration','description':'voting_guard\x20allows\x20public\x20to\x20vote\x20(anyone\x20with\x20a\x20Guard\x20can\x20vote).\x20Suitable\x20for\x20community-driven\x20dispute\x20resolution.','applicable_scenes':['arbitration_create','arbitration_vote','arbitration_voting_guard_config'],'industry_tags':['community','public_goods','social'],'params':[{'name':'owner_address','type':'address','description':'Arbitration\x20owner','required':!![]},{'name':'public_guard','type':'address','description':'Guard\x20address\x20anyone\x20can\x20submit\x20Passport\x20for\x20—\x20SHOULD\x20be\x20a\x20guard\x20of\x20the\x20CURRENT\x20tpl_voting_guard_open_vote\x20canonical\x20shape\x20(three-leg:\x20always-true\x20core\x20+\x20buyer-exclusion\x20+\x20case\x20pin),\x20not\x20a\x20bare\x20always-true\x20root','required':!![]},{'name':'vote_weight','type':'number','description':'FixedValue\x20weight\x20per\x20public\x20voter\x20(e.g.\x201)','required':![],'default':0x1},{'name':'coin_type','type':'string','description':'Coin\x20type','required':!![]},{'name':'description','type':'string','description':'Arbitration\x20description','required':!![]}],'body':a=>({'object':{'name':'public_arbitration','type_parameter':a['coin_type'],'permission':{'name':'public_arb_permission'}},'description':a['description'],'fee':'0','pause':![],'voting_guard':{'op':'set','guards':[{'guard':a['public_guard'],'vote_weight':{'FixedValue':Number(a['vote_weight']??0x1)}}]}}),'notes':['Public\x20voting:\x20anyone\x20holding\x20the\x20public_guard\x20can\x20vote','HIS-50\x20(hiswkp\x20F-50,\x20mainnet\x2031uLR2nh):\x20public_guard\x20SHOULD\x20be\x20bound\x20to\x20the\x20CURRENT\x20tpl_voting_guard_open_vote\x20canonical\x20shape\x20—\x20a\x20three-leg\x20logic_and\x20[always-true\x20core\x20∧\x20NOT(order.owner\x20==\x20Signer)\x20buyer-exclusion\x20∧\x20arb.order\x20==\x20order\x20case\x20pin].\x20The\x20legacy\x20bare\x20always-true\x20root\x20let\x20the\x20disputed\x20order\x27s\x20buyer\x20self-vote\x20their\x20own\x20case\x20and\x20swing\x20the\x20refund;\x20and\x20the\x20merchant\x20side\x20is\x20NOT\x20excludable\x20inside\x20a\x20guard\x20(order.service\x20is\x20an\x20object\x20address,\x20no\x20service.owner\x20query)\x20—\x20a\x20closed\x20commercial\x20venue\x20must\x20use\x20tpl_voting_guard_party_only\x20instead.\x20Pre-HIS-50\x20venues\x20can\x20rebind\x20in\x20place\x20(voting_guard\x20op=\x27set\x27\x20stays\x20mutable\x20after\x20publish)','This\x20shape\x20also\x20clears\x20R-ARB-VOTE-LOCK:\x20an\x20EMPTY\x20voting_guard\x20is\x20NOT\x20open\x20voting\x20(plain\x20votes\x20would\x20hard-require\x20the\x20vote\x20permission\x20358,\x20admin-only\x20by\x20default,\x20crs9-F-36)\x20—\x20the\x20always-true\x20guard\x20is\x20the\x20declared\x20voter\x20universe\x20(tpl_voting_guard_open_vote\x20is\x20the\x20guard-side\x20template).\x20Use\x20this\x20shape\x20ONLY\x20for\x20deliberately\x20public\x20venues:\x20a\x20closed\x20commercial\x20venue\x20must\x20restrict\x20its\x20voter\x20universe\x20(tpl_voting_guard_party_only\x20—\x20the\x20parties\x20+\x20venue\x20panel),\x20or\x20every\x20Passport\x20holder\x20can\x20vote\x20(upw2-mn\x20pddk-b4)','Once\x20voting_guard\x20is\x20set,\x20every\x20vote\x20call\x20MUST\x20carry\x20voting_guard\x20in\x20the\x20payload\x20(a\x20plain\x20vote\x20aborts\x20on-chain\x20with\x20E_VOTING_GUARD_USED,\x20abort\x202)','Consider\x20using\x20GuardIdentifier\x20(dynamic\x20weight)\x20for\x20token-weighted\x20voting','Low/zero\x20fee\x20to\x20encourage\x20participation\x20—\x20but\x20watch\x20for\x20spam\x20disputes','Suitable\x20for\x20community\x20moderation,\x20content\x20disputes,\x20public\x20goods\x20arbitration',...ARBITRATION_ACTIVATION_NOTES]},{'id':'T-AB-04','name':'Scope-restricted\x20arbitration','description':'usage_guard\x20filters\x20which\x20disputes\x20can\x20be\x20filed.\x20Only\x20users\x20passing\x20the\x20Guard\x20can\x20file\x20disputes.\x20Suitable\x20for\x20verified-merchant\x20/\x20KYC\x20arbitration.','applicable_scenes':['arbitration_create','arbitration_usage_guard_config','arbitration_dispute'],'industry_tags':['kyc','verified_merchant','enterprise'],'params':[{'name':'owner_address','type':'address','description':'Arbitration\x20owner','required':!![]},{'name':'usage_guard_address','type':'address','description':'Guard\x20address\x20that\x20filters\x20who\x20can\x20file\x20disputes\x20(KYC/verification)','required':!![]},{'name':'coin_type','type':'string','description':'Coin\x20type','required':!![]},{'name':'description','type':'string','description':'Arbitration\x20description','required':!![]},{'name':'arbiter_address','type':'address','description':'Arbiter\x20address\x20(single\x20arbiter\x20for\x20simplicity)','required':!![]},{'name':'fee_amount','type':'number','description':'Dispute\x20fee\x20(higher\x20to\x20deter\x20spam)','required':![],'default':0x3b9aca00}],'body':a=>({'object':{'name':'restricted_arbitration','type_parameter':a['coin_type'],'permission':{'name':'restricted_arb_permission'}},'description':a['description'],'fee':String(a['fee_amount']??0x3b9aca00),'pause':![],'usage_guard':a['usage_guard_address']}),'notes':['usage_guard\x20set\x20→\x20disputes\x20MUST\x20be\x20filed\x20via\x20the\x20Passport-verified\x20dispute\x20variant','Guard\x20verifies:\x20KYC\x20/\x20membership\x20/\x20token-balance\x20/\x20etc.','Higher\x20fee\x20(default\x201\x20WOW)\x20to\x20deter\x20spam\x20from\x20verified\x20users','Arbiter\x20should\x20also\x20be\x20Guard-verified\x20for\x20consistency',...ARBITRATION_ACTIVATION_NOTES]},{'id':'T-AB-05','name':'Arbitration\x20committee','description':'Multi-arbiter\x20committee\x20with\x20weighted\x20voting\x20+\x20usage_guard.\x20Most\x20controlled\x20configuration\x20—\x20restricted\x20dispute\x20filing\x20+\x20weighted\x20voting\x20+\x20multi-arbiter\x20ruling.','applicable_scenes':['arbitration_create','arbitration_voting_guard_config','arbitration_usage_guard_config','arbitration_ruling'],'industry_tags':['enterprise','legal','high_value'],'params':[{'name':'owner_address','type':'address','description':'Committee\x20owner','required':!![]},{'name':'committee_guards','type':'string[]','description':'Guard\x20addresses\x20for\x20each\x20committee\x20member','required':!![]},{'name':'member_weights','type':'string[]','description':'Vote\x20weights\x20for\x20each\x20member\x20(parallel\x20to\x20committee_guards)','required':!![]},{'name':'membership_guard','type':'address','description':'usage_guard\x20for\x20dispute\x20filing\x20(membership\x20verification)','required':!![]},{'name':'coin_type','type':'string','description':'Coin\x20type','required':!![]},{'name':'description','type':'string','description':'Arbitration\x20description','required':!![]},{'name':'fee_amount','type':'number','description':'Dispute\x20fee\x20(high\x20for\x20high-value\x20disputes)','required':![],'default':0x2540be400}],'body':a=>{const b=a['committee_guards']['map']((c,d)=>({'guard':c,'vote_weight':{'FixedValue':Number(a['member_weights'][d]??0x1)}}));return{'object':{'name':'committee_arbitration','type_parameter':a['coin_type'],'permission':{'name':'committee_arb_permission'}},'description':a['description'],'fee':String(a['fee_amount']??0x2540be400),'pause':![],'voting_guard':{'op':'set','guards':b},'usage_guard':a['membership_guard']};},'notes':['Most\x20restrictive\x20config:\x20weighted\x20voting\x20+\x20restricted\x20filing','Suitable\x20for\x20high-value\x20B2B\x20disputes,\x20legal\x20arbitration,\x20enterprise\x20SLA\x20enforcement','Committee\x20members\x20should\x20have\x20clear\x20escalation\x20/\x20tiebreaker\x20rules','All\x20disputes\x20require\x20Passport\x20(both\x20filing\x20and\x20voting)',...ARBITRATION_ACTIVATION_NOTES]},{'id':'T-AB-06','name':'Fee-split\x20arbitration','description':'Pre-configured\x20fee-distribution\x20destination.\x20After\x20the\x20fee\x20withdrawal\x20(364),\x20fees\x20are\x20automatically\x20distributed\x20to\x20the\x20Allocation\x20(for\x20arbiter\x20compensation).','applicable_scenes':['arbitration_create','arbitration_arb_withdraw','arbitration_fees_alloc'],'industry_tags':['marketplace','service','platform'],'params':[{'name':'owner_address','type':'address','description':'Arbitration\x20owner','required':!![]},{'name':'allocation_address','type':'address','description':'Allocation\x20object\x20address\x20for\x20fee\x20distribution\x20to\x20arbiters','required':!![]},{'name':'coin_type','type':'string','description':'Coin\x20type','required':!![]},{'name':'description','type':'string','description':'Arbitration\x20description','required':!![]},{'name':'arbiter_address','type':'address','description':'Arbiter\x20(single\x20for\x20simplicity)','required':!![]},{'name':'fee_amount','type':'number','description':'Dispute\x20fee\x20(will\x20be\x20split\x20to\x20arbiters\x20via\x20Allocation)','required':![],'default':0x12a05f200}],'body':a=>({'object':{'name':'feesplit_arbitration','type_parameter':a['coin_type'],'permission':{'name':'feesplit_arb_permission'}},'description':a['description'],'fee':String(a['fee_amount']??0x12a05f200),'pause':![]}),'notes':['Fee-split\x20is\x20a\x202-step\x20process:\x20withdraw\x20fees\x20from\x20the\x20Arb\x20object\x20(364)\x20→\x20transfer\x20them\x20out\x20of\x20the\x20Arbitration\x20balance\x20(365/366)','Fee\x20withdrawal\x20(364)\x20moves\x20fees\x20from\x20the\x20Arb\x20object\x20into\x20the\x20Arbitration\x20balance','Fee\x20distribution\x20(365)\x20or\x20the\x20balance\x20transfer\x20(366)\x20moves\x20fees\x20to\x20the\x20Allocation/Treasury','Allocation\x20policy\x20determines\x20how\x20fees\x20are\x20split\x20among\x20arbiters','Payment\x20object\x20is\x20created\x20for\x20bookkeeping\x20(payment_remark\x20+\x20payment_index)',...ARBITRATION_ACTIVATION_NOTES]},{'id':'T-AB-07','name':'Appeal\x20arbitration\x20(reset\x20flow)','description':'Template\x20for\x20reset\x20operation\x20—\x20disputant\x20objects\x20to\x20ruling\x20and\x20resubmits\x20materials.\x20Restarts\x20Arb\x20lifecycle\x20from\x20Principal_confirming.','applicable_scenes':['arbitration_reset','arbitration_ruling'],'industry_tags':['legal','appeal','high_value'],'params':[{'name':'arbitration_object','type':'address','description':'Existing\x20Arbitration\x20object\x20address','required':!![]},{'name':'arb_address','type':'address','description':'Arb\x20object\x20address\x20to\x20reset\x20(must\x20be\x20in\x20Objectionable/Arbitrated\x20status)','required':!![]},{'name':'reset_feedback','type':'string','description':'Feedback\x20explaining\x20why\x20disputant\x20objects\x20to\x20the\x20ruling','required':!![]}],'body':a=>({'object':a['arbitration_object'],'reset':{'arb':a['arb_address'],'feedback':a['reset_feedback']}}),'notes':['Precondition:\x20Arb\x20must\x20be\x20in\x20Objectionable\x20(4)\x20or\x20Arbitrated\x20(3)\x20status','Post-condition:\x20Arb\x20status\x20→\x20Principal_confirming\x20(0),\x20lifecycle\x20restarts','Original\x20ruling\x20is\x20invalidated\x20—\x20new\x20voting\x20+\x20ruling\x20required','Consider\x20capping\x20reset\x20count\x20to\x20prevent\x20infinite\x20appeals','reset\x20feedback\x20is\x20permanent\x20—\x20recorded\x20on-chain\x20for\x20audit\x20trail']}];export const ARBITRATION_TEMPLATES_VERSION='1.0.0';export function getAllTemplates(){return[...ARBITRATION_TEMPLATES];}export function getTemplateById(a){return ARBITRATION_TEMPLATES['find'](b=>b['id']===a);}export function getTemplatesByScene(a){return ARBITRATION_TEMPLATES['filter'](b=>b['applicable_scenes']['includes'](a));}export function getTemplatesByIndustry(a){return ARBITRATION_TEMPLATES['filter'](b=>b['industry_tags']['includes'](a)||b['industry_tags']['includes']('universal'));}export function suggestTemplateForScene(a){const b=getTemplatesByScene(a);return b['length']>0x0?b[0x0]:undefined;}export function listTemplates(){return ARBITRATION_TEMPLATES['map'](a=>({'id':a['id'],'name':a['name'],'description':a['description'],'scenes':a['applicable_scenes']}));}export function fillTemplate(a,b){const c=getTemplateById(a);if(!c)return{'ok':![],'error':'Template\x20'+a+'\x20not\x20found'};for(const d of c['params']){if(d['required']&&!(d['name']in b))return{'ok':![],'error':'Missing\x20required\x20param:\x20'+d['name']};}return{'ok':!![],'body':c['body'](b)};}

package/dist/knowledge/audit-rules.d.ts

@@ -43,6 +43,10 @@ export interface MachineNodeAudit {
     warnings: string[];
 }
 export declare function auditMachineNodes(nodes: unknown[], declaredReentry?: ReentryKind): MachineNodeAudit;
+export declare const MISSED_REFUND_RAIL_REGEX: RegExp;
+export declare const MISSED_REFUND_GUARD_REGEX: RegExp;
+export declare const MISSED_GOAL_NODE_REGEX: RegExp;
+export declare function lintGoalLatch(nodes: unknown[]): string[];
 export declare function computeTerminalReachability(nodes: unknown[]): {
     terminals: string[];
     unreachable: string[];
@@ -57,6 +61,8 @@ export declare function chainNodeRailMatrix(nodes: Array<{
     pairs?: Array<{
         prev_node?: unknown;
     } | undefined> | undefined;
+} & {
+    optional?: unknown;
 }>): ChainRailNode[];
 export declare const REVIEW_FAMILY_NODE_REGEX: RegExp;
 export declare function lintReviewLockedTerminals(nodes: unknown[], guardPins: Map<string, string[]>): {
@@ -75,7 +81,16 @@ export declare function guardTimeProfileDetail(g: {
     detail: string;
 } | null;
 export declare function rewardRefsOf(d: any): string[];
+export interface RewardFundingShortfall {
+    balance: number;
+    maxPromise: number;
+}
+export declare function rewardFundingShortfall(rewardObj: unknown): RewardFundingShortfall | null;
 export declare function serviceRewardsUnfundedDetail(rewardObj: unknown): string | null;
+export declare function rewardFundingGateFinding(rewardObj: unknown, key: string, pendingFunding: number | undefined): {
+    level: "critical" | "warning";
+    message: string;
+} | null;
 export type TaskBindingAdvisoryCode = "TASKBIND-254-MISSING" | "TASKBIND-254-UNVERIFIED" | "TASKBIND-254-REFUND-REPLAY";
 export interface TaskBindingRemediation {
     entry: TaskBindingRemediationEntry;

package/dist/knowledge/audit-rules.js

@@ -1 +1 @@
-import{MAX_INDEMNITY_MULTIPLE,TASK_BINDING_SLOT,declaresTaskBindingSlot}from'./onchain-constants.js';import{TWO_TX_RENEW_RECIPE}from'./protocol-facts.js';import{lintForwardAmbiguity,findLoopCycles}from'./machine-topology.js';import{isRenewalLoopEdge}from'../participation/radar-core.js';function numericAmount(a){if(typeof a==='number')return Number['isFinite'](a)?a:undefined;if(typeof a==='string'){const b=a['trim']();if(/^\d+$/['test'](b))return Number(b);}return undefined;}export{numericAmount};export function salesItemsOf(a){if(Array['isArray'](a?.['sales']))return a['sales'];if(Array['isArray'](a?.['sales']?.['sales']))return a['sales']['sales'];return[];}export function allocatorCountOf(a){const b=a?.['order_allocators'];if(Array['isArray'](b))return b['length'];if(Array['isArray'](b?.['allocators']))return b['allocators']['length'];return 0x0;}export function arbitrationRefsOf(b){const c=b?.['arbitrations'];if(Array['isArray'](c))return c['filter'](e=>typeof e==='string');if(Array['isArray'](c?.['objects']))return c['objects']['filter'](e=>typeof e==='string');return[];}export function compensationFundOf(a){if(a?.['compensation_fund_add']?.['balance']!=null)return a['compensation_fund_add']['balance'];if(a?.['compensation_fund']!=null)return a['compensation_fund'];return undefined;}export function serviceNameOf(a){if(typeof a?.['object']==='string')return a['object'];if(typeof a?.['object']?.['name']==='string'&&a['object']['name'])return a['object']['name'];if(typeof a?.['namedNew']?.['name']==='string'&&a['namedNew']['name'])return a['namedNew']['name'];return undefined;}export function typeParameterOf(a){if(typeof a?.['type_parameter']==='string'&&a['type_parameter'])return a['type_parameter'];if(typeof a?.['object']?.['type_parameter']==='string'&&a['object']['type_parameter'])return a['object']['type_parameter'];if(typeof a?.['namedNew']?.['type_parameter']==='string'&&a['namedNew']['type_parameter'])return a['namedNew']['type_parameter'];return undefined;}export const DISPUTE_FAMILY_NODE_REGEX=/(^|_)(disputed?|arbitration|arb)(_|$)/i;export const FUND_TERMINAL_NODE_REGEX=/^(refund|refunded|deposit_refunded|deposit_deducted|cancel|cancelled)$/i;export const ANTI_PATTERN_NODE_REGEX=new RegExp(DISPUTE_FAMILY_NODE_REGEX['source']+'|'+FUND_TERMINAL_NODE_REGEX['source'],'i');export const REMEDY_FAMILY_NODE_REGEX=/(revis|review|rework|refund|cancel|return|claim)/i;export function classifyLoopCycle(a,b){for(let c=0x0;c<a['length'];c++){if(isRenewalLoopEdge(a[c],a[(c+0x1)%a['length']]))return'renewal';}if(b==='review-loop')return'remedy';if(b==='paid-cycle')return'charge';if(a['some'](d=>REMEDY_FAMILY_NODE_REGEX['test'](d)))return'remedy';return'charge';}export function auditMachineNodes(a,b){const c=[],d=[];if(!Array['isArray'](a)||a['length']===0x0)return d['push']('pre_publish:\x20machine\x20node\x20set\x20unavailable\x20—\x20topology\x20not\x20verifiable;\x20'+'verify\x20via\x20machineNode2file\x20BEFORE\x20publish\x20(immutable\x20after\x20publish,\x20IMMUT-001)'),{'critical':c,'warnings':d};const e=a;for(const u of e){const v=typeof u?.['name']==='string'?u['name']:'';if(!v)continue;if(DISPUTE_FAMILY_NODE_REGEX['test'](v))c['push']('R-M1-11:\x20machine\x20node\x20\x22'+v+'\x22\x20models\x20dispute\x20flow\x20—\x20'+'disputes\x20must\x20route\x20via\x20the\x20separate\x20Arbitration\x20object\x20(off-Machine);\x20'+'rename\x20the\x20node\x20to\x20the\x20business\x20state\x20that\x20triggers\x20it.\x20'+'COMPLETE-FIX\x20CHECKLIST\x20(the\x20same\x20publish\x20pass\x20ALSO\x20blocks\x20on\x20—\x20clear\x20all\x20in\x20one\x20edit,\x20'+'F-RQD2-09):\x20(1)\x20every\x20terminal\x20node\x20needs\x20an\x20allocator\x20rail\x20whose\x20guard\x20anchors\x20to\x20it\x20'+'(R-ESCROW-LEAF);\x20(2)\x20a\x20bound\x20arbitration\x20must\x20NOT\x20share\x20the\x20service\x20Permission\x20'+'(R-ARB-SAME-CONTROLLER);\x20(3)\x20its\x20voting_guard\x20must\x20be\x20non-empty\x20(R-ARB-VOTE-LOCK).');else FUND_TERMINAL_NODE_REGEX['test'](v)&&d['push']('R-M1-11:\x20machine\x20node\x20\x22'+v+'\x22\x20uses\x20a\x20bare\x20fund-terminal\x20name\x20—\x20reaching\x20'+'it\x20moves\x20no\x20funds\x20by\x20itself.\x20This\x20is\x20legitimate\x20ONLY\x20when\x20a\x20refund\x20allocator\x20'+'rail\x27s\x20guard\x20anchors\x20to\x20this\x20node\x20(per-node\x20refund\x20tracks);\x20otherwise\x20rename\x20it\x20'+'to\x20the\x20business\x20state\x20(e.g.\x20cancel_requested\x20/\x20closed_cancel)\x20and\x20route\x20the\x20'+'refund\x20via\x20an\x20Allocator\x20triggered\x20by\x20that\x20state.\x20The\x20template\x20scanner\x20verifies\x20'+'the\x20anchoring\x20when\x20a\x20template\x20is\x20present.\x20Sibling\x20gates\x20in\x20the\x20SAME\x20publish\x20pass:\x20'+'R-ESCROW-LEAF\x20(terminal\x20without\x20anchored\x20rail),\x20R-ARB-SAME-CONTROLLER\x20/\x20R-ARB-VOTE-LOCK\x20'+'(bound\x20arbitration\x20config)\x20—\x20fix\x20all\x20at\x20once\x20to\x20avoid\x20extra\x20publish\x20rounds\x20(F-RQD2-09).');}const g=new Set();for(const w of e){const x=typeof w?.['name']==='string'?w['name']:'';if(!x)continue;g['has'](x)&&c['push']('MC-C-04:\x20duplicate\x20machine\x20node\x20name\x20\x22'+x+'\x22\x20—\x20on-chain\x20will\x20reject\x20the\x20publish\x20transaction'),g['add'](x);}const h=e['some'](y=>Array['isArray'](y?.['pairs'])&&y['pairs']['some'](z=>z?.['prev_node']===''));!h&&c['push']('Machine\x20has\x20no\x20entry\x20pair\x20(prev_node=\x22\x22)\x20—\x20Progress\x20can\x20never\x20advance\x20'+'from\x20the\x20initial\x20state;\x20orders\x20are\x20permanently\x20stuck');const i=new Map();for(const y of e){const z=typeof y?.['name']==='string'&&y['name']!==''?y['name']:'(unnamed\x20node)';for(const A of Array['isArray'](y?.['pairs'])?y['pairs']:[]){const B=A?.['prev_node'];if(typeof B!=='string')continue;const C=Array['isArray'](A?.['forwards'])?A['forwards']:[];for(const D of C){const E=typeof D==='string'?D:typeof D?.['name']==='string'?D['name']:'';if(E==='')continue;const F=B+'\x00'+E,G=i['get'](F);if(G===z)c['push']('H-09:\x20duplicate\x20machine\x20edge\x20(prev_node\x20\x22'+B+'\x22\x20->\x20forward\x20\x22'+E+'\x22)\x20re-declared\x20on\x20node\x20\x22'+z+'\x22\x20—\x20'+'partitioned\x20building\x20re-sends\x20are\x20APPEND-ONLY\x20on\x20the\x20draft\x20(sso-tn-261027:\x2017\x20entries\x20/\x2014\x20unique\x20names);\x20'+'the\x20chain\x20edge\x20lookup\x20takes\x20the\x20FIRST\x20match,\x20so\x20every\x20extra\x20copy\x20is\x20unreachable\x20dead\x20weight\x20that\x20ships\x20'+'the\x20draft\x27s\x20ghost\x20edges\x20into\x20an\x20immutable\x20machine\x20(IMMUT-001).\x20Drop\x20the\x20duplicate\x20pair\x20'+'(delete\x20it\x20on\x20the\x20still-unpublished\x20draft\x20machine)\x20before\x20publishing');else G===undefined&&i['set'](F,z);}}}const j=new Map();for(const H of e){const I=typeof H?.['name']==='string'?H['name']:'';if(!I)continue;if(!j['has'](I))j['set'](I,[]);for(const J of H?.['pairs']??[]){const K=J?.['prev_node'];if(typeof K==='string'&&K!==''){const L=j['get'](K);if(L)L['push'](I);else j['set'](K,[I]);}}}const k=findLoopCycles(j)['map'](M=>({'c':M,'tier':classifyLoopCycle(M['cycle'],b)})),l=k['filter'](M=>M['tier']==='renewal'),m=k['filter'](M=>M['tier']==='remedy'),o=k['filter'](M=>M['tier']==='charge');o['length']>0x0&&c['push']('pre_publish:\x20machine\x20contains\x20charge-bearing\x20loop\x20cycle(s)\x20'+o['map'](M=>'['+M['c']['cycle']['join']('\x20->\x20')+']')['join'](',\x20')+'\x20—\x20'+'on-chain\x20a\x20revisit\x20is\x20NOT\x20verified\x20to\x20re-fund\x20the\x20Allocation,\x20and\x20this\x20static\x20pass\x20sees\x20only\x20the\x20forward\x27s\x20guard\x20reference\x20'+'(never\x20the\x20guard\x20table),\x20so\x20a\x20per-revisit-fee\x20cycle\x20(retake\x20/\x20session-card\x20shape)\x20is\x20UNPROVABLE\x20here\x20even\x20though\x20the\x20'+'allocation.balance\x20Guard\x20query\x20(1051,\x20witness\x20OrderAllocation\x20109)\x20makes\x20the\x20fee\x20enforceable\x20at\x20the\x20guard\x20layer\x20'+'(zero-value\x20re-delivery\x20cycles,\x20test/11\x20R2-F3\x20/\x20crs\x20P2-3).\x20THREE\x20WAYS\x20OUT\x20—\x20'+'(1)\x20NO-CHARGE\x20revisit\x20(F-06,\x20ctra-mn\x20261019:\x20a\x20delivered->in_progress\x20revision\x20loop\x20is\x20business-correct\x20and\x20was\x20false-CRITICAL\x20here):\x20'+'declare\x20`reentry_kind:\x20\x22review-loop\x22`\x20on\x20this\x20publish\x20payload\x20(AP-3\x20—\x20machine-checkable,\x20no\x20renaming\x20needed)\x20'+'OR\x20rename\x20ANY\x20ONE\x20node\x20of\x20the\x20cycle\x20with\x20a\x20remedy\x20word\x20root\x20the\x20classifier\x20reads\x20—\x20revis*/review*/rework*/refund*/cancel*/return*/claim*\x20'+'(e.g.\x20\x27revising\x27\x20instead\x20of\x20\x27in_progress\x27)\x20—\x20and\x20the\x20cycle\x20reclassifies\x20as\x20remedy\x20tier\x20(warning,\x20not\x20a\x20blocker);\x20'+'(2)\x20GENUINELY\x20charge-bearing\x20with\x20neutral\x20names:\x20declare\x20`reentry_kind:\x20\x22paid-cycle\x22`\x20(keeps\x20this\x20block\x20—\x20'+'it\x20is\x20the\x20declaration\x20of\x20intent)\x20and\x20bind\x20the\x20fund-gate\x20Guard\x20on\x20the\x20loop\x20forward\x20'+'(constant\x20=\x20order\x20address,\x20convert_witness\x20OrderAllocation,\x20allocation.balance\x20>=\x20revisit\x20fee)\x20AND\x20publish\x20through\x20a\x20template\x20'+'carrying\x20that\x20convention\x20—\x20PRE-STATE\x20CONSTRAINT\x20(esound-mn-261021\x20B-1):\x20the\x20gate\x20reads\x20the\x20COMMITTED\x20pre-transaction\x20'+'balance,\x20so\x20the\x20revisit\x20funds\x20must\x20be\x20committed\x20in\x20a\x20PRIOR\x20transaction.\x20'+TWO_TX_RENEW_RECIPE+'\x20'+'Alternatively\x20replace\x20the\x20loop\x20with\x20per-period\x20NEW\x20Orders\x20(REUSE\x20pattern\x20—\x20a\x20fresh\x20order\x20per\x20period\x20instead\x20of\x20an\x20in-order\x20loop\x20that\x20replays\x20its\x20forwards\x20every\x20lap).\x20'+'(3)\x20A\x20funded\x20renewal\x20loop\x20(post-period\x20node\x20back\x20into\x20a\x20charging\x20node,\x20advanced\x20via\x20the\x20one-PTB\x20order_renew\x20call,\x20'+'NO\x20balance\x20gate\x20on\x20the\x20renew\x20forward\x20—\x20see\x20the\x20PRE-STATE\x20CONSTRAINT\x20above)\x20'+'is\x20the\x20only\x20sanctioned\x20charge-bearing\x20cycle\x20shape\x20for\x20in-order\x20renewals.');l['length']>0x0&&d['push']('pre_publish:\x20machine\x20contains\x20renewal\x20loop\x20cycle(s)\x20'+l['map'](M=>'['+M['c']['cycle']['join']('\x20->\x20')+']')['join'](',\x20')+'\x20—\x20on-chain\x20a\x20revisit\x20'+'is\x20NOT\x20verified\x20to\x20re-fund\x20the\x20Allocation.\x20Every\x20renewal/loop\x20forward\x20MUST\x20carry\x20the\x20new-period\x20'+'payment\x20into\x20the\x20order\x20escrow\x20(use\x20the\x20order\x20call\x27s\x20order_renew\x20field:\x20create\x20the\x20period\x20payment,\x20receive\x20it\x20into\x20the\x20'+'allocation,\x20and\x20advance\x20the\x20progress\x20—\x20all\x20in\x20one\x20transaction),\x20or\x20the\x20loop\x20allows\x20zero-value\x20'+'re-delivery\x20cycles\x20(test/11\x20R2-F3).\x20'+'PRE-STATE\x20CONSTRAINT\x20(esound-mn-261021\x20B-1,\x20mainnet-verified):\x20a\x20guard\x20on\x20the\x20renew\x20forward\x20reading\x20'+'allocation.balance\x20(query\x201051)\x20evaluates\x20the\x20COMMITTED\x20pre-transaction\x20balance\x20—\x20the\x20same-PTB\x20order_renew\x20'+'payment\x20is\x20INVISIBLE\x20to\x20it,\x20so\x20a\x20balance-gated\x20renew\x20forward\x20ALWAYS\x20aborts.\x20NEVER\x20bind\x20a\x20balance\x20gate\x20to\x20a\x20'+'forward\x20that\x20order_renew\x20advances\x20in\x20the\x20same\x20PTB.\x20'+TWO_TX_RENEW_RECIPE+'\x20'+'The\x20zero-value\x20protection\x20rides\x20this\x20routing\x20convention\x20(order_renew\x27s\x20amount).');m['length']>0x0&&d['push']('pre_publish:\x20machine\x20contains\x20remedy\x20loop\x20cycle(s)\x20'+m['map'](M=>'['+M['c']['cycle']['join']('\x20->\x20')+']')['join'](',\x20')+'\x20—\x20'+'a\x20same-order\x20revisit\x20(revision/review/rework/refund/cancel\x20family)\x20implies\x20NO\x20new\x20charge,\x20so\x20no\x20fund\x20gate\x20is\x20needed\x20on\x20it\x20'+'(the\x20allocation.balance\x20query\x20exists\x20but\x20is\x20irrelevant\x20here).\x20Visible\x20by\x20design\x20(crs\x20P2-3):\x20if\x20the\x20business\x20EVER\x20intends\x20'+'a\x20revisit\x20to\x20cost\x20money,\x20that\x20fee\x20IS\x20enforceable\x20via\x20the\x20balance\x20query\x20(1051)\x20—\x20but\x20that\x20reshapes\x20the\x20cycle\x20into\x20the\x20'+'charge\x20tier\x20above;\x20keep\x20remedy\x20revisits\x20free\x20or\x20restructure\x20as\x20per-period\x20NEW\x20Orders.');for(const M of e){const N=typeof M?.['name']==='string'?M['name']:'?';for(const O of M?.['pairs']??[]){for(const P of O?.['forwards']??[]){const Q=P?.['namedOperator']!==undefined&&P?.['namedOperator']!==null,R=P?.['permissionIndex']!==undefined&&P?.['permissionIndex']!==null,S=P?.['guard']!==undefined&&P?.['guard']!==null;!Q&&!R&&!S&&d['push']('pre_publish:\x20node\x20\x22'+N+'\x22\x20forward\x20\x22'+String(P?.['name']??'?')+'\x22\x20has\x20no\x20executor\x20binding\x20(namedOperator\x20/\x20permissionIndex\x20/\x20guard)\x20—\x20no\x20one\x20can\x20advance\x20it');}}}const q=computeTerminalReachability(a),r=new Map(),s=new Map();for(const T of e){for(const U of T?.['pairs']??[]){const V=U?.['prev_node'];if(typeof V!=='string'||V==='')continue;for(const W of U?.['forwards']??[]){const X=W?.['namedOperator']!=null&&String(W['namedOperator'])!==''?'operator:'+String(W['namedOperator']):W?.['permissionIndex']!=null?'permission:'+String(W['permissionIndex']):null;s['set'](V,(s['get'](V)??0x0)+0x1);if(X!=null){const Y=r['get'](V)??new Set();Y['add'](X),r['set'](V,Y);}}}}for(const [Z,a0]of r){(s['get'](Z)??0x0)>=0x1&&a0['size']===0x1&&d['push']('pre_publish:\x20LIVE-ACT-02\x20node\x20\x22'+Z+'\x22\x20—\x20every\x20outgoing\x20forward\x20binds\x20the\x20SAME\x20single\x20identity\x20('+[...a0]['join'](',\x20')+'):\x20'+'if\x20that\x20actor\x20goes\x20silent\x20the\x20order\x20LATCHES\x20here\x20and\x20the\x20escrow\x20freezes\x20—\x20there\x20is\x20no\x20counterparty\x20or\x20keeper\x20exit\x20'+'(alg26\x20261026\x20O9/O5\x20family:\x20changes_requested\x20with\x20only\x20a\x20contributor\x20resubmit\x20edge;\x20claimed\x20with\x20only\x20a\x20merchant\x20assign\x20edge).\x20'+'Design\x20the\x20exit\x20edge\x20NOW\x20(a\x20keeper\x20or\x20auto-close\x20forward\x20with\x20its\x20own\x20identity,\x20or\x20a\x20counterparty-signed\x20cancel/refund\x20edge)\x20—\x20'+'immutable\x20after\x20publish\x20(IMMUT-001).\x20If\x20single-operator-by-design,\x20this\x20warning\x20can\x20be\x20ignored');}const t=lintForwardAmbiguity(a,'pre_publish');return c['push'](...t['critical']),d['push'](...t['warnings']),q['unreachable']['length']>0x0&&d['push']('pre_publish:\x20unreachable\x20machine\x20node(s)\x20'+q['unreachable']['map'](a1=>'\x22'+a1+'\x22')['join'](',\x20')+'\x20—\x20'+'no\x20path\x20from\x20the\x20entry\x20pair\x20reaches\x20them;\x20dead\x20topology\x20is\x20frozen\x20at\x20publish\x20(IMMUT-001).\x20'+'Wire\x20them\x20into\x20the\x20flow\x20or\x20remove\x20them\x20before\x20publish'),{'critical':c,'warnings':d};}export function computeTerminalReachability(a){const b=[],c=[];if(!Array['isArray'](a)||a['length']===0x0)return{'terminals':b,'unreachable':c};const d=a,e=new Map(),f=[],g=[];for(const j of d){const k=typeof j?.['name']==='string'?j['name']:'';if(!k)continue;f['push'](k);if(!e['has'](k))e['set'](k,[]);let l=![];for(const m of j?.['pairs']??[]){const o=m?.['prev_node'];if(o==='')l=!![];else{if(typeof o==='string'&&o!==''&&o!==k){const q=e['get'](o);if(q)q['push'](k);else e['set'](o,[k]);}}}if(l)g['push'](k);}if(f['length']===0x0||g['length']===0x0)return{'terminals':b,'unreachable':c};const h=new Set(),i=[...g];while(i['length']>0x0){const r=i['pop']();if(h['has'](r))continue;h['add'](r);for(const s of e['get'](r)??[])i['push'](s);}for(const t of f){if(!h['has'](t))c['push'](t);else{if((e['get'](t)??[])['length']===0x0)b['push'](t);}}return{'terminals':b,'unreachable':c};}export function chainNodeRailMatrix(a){const b=Array['isArray'](a)?a:[],{terminals:c}=computeTerminalReachability(b),d=new Set(c),e=[];for(const f of b){const g=typeof f?.['name']==='string'?f['name']:'';if(!g)continue;const h=[];for(const j of f?.['pairs']??[]){const k=typeof j?.['prev_node']==='string'?j['prev_node']:'';if(k===''||k===g)continue;if(!h['includes'](k))h['push'](k);}const i={'name':g};if(d['has'](g))i['semanticRole']='final';if(h['length']>0x0)i['fromNodes']=h;e['push'](i);}return e;}export const REVIEW_FAMILY_NODE_REGEX=/(^|_)(review|reviews|reviewed|reviewing|evaluated|evaluate|feedback|rating|rated)(_|$)/i;export function lintReviewLockedTerminals(a,b){const c=[],d=[];if(!Array['isArray'](a)||a['length']===0x0)return{'critical':c,'warnings':d};const e=a,h=u=>Array['isArray'](u?.['pairs'])?u['pairs']:Array['isArray'](u?.['value'])?u['value']:[],i=[],j=[],k=[];for(const u of e){const v=typeof u?.['name']==='string'?u['name']:'';if(!v)continue;j['push'](v);let w=![];for(const x of h(u)){const y=x,z=y?.['prev_node'];if(z==='')w=!![];const A=Array['isArray'](y?.['forwards'])?y['forwards']:[],B=[];for(const C of A){const D=C,E=D?.['guard'],F=typeof E==='string'&&E['trim']()!==''?E:E&&typeof E==='object'?E['guard']??E['$ref']:undefined;if(typeof F==='string'&&F['trim']()!=='')B['push'](F);}typeof z==='string'&&z!==''&&i['push']({'from':z,'to':v,'guardRefs':B});}if(w)k['push'](v);}if(j['length']===0x0||k['length']===0x0)return{'critical':c,'warnings':d};const l=computeTerminalReachability(a);if(l['terminals']['length']===0x0)return{'critical':c,'warnings':d};const m=G=>{if(G['guardRefs']['length']===0x0)return![];for(const H of G['guardRefs']){const I=b['get'](H['toLowerCase']());if(!I||I['length']===0x0)return![];const J=I['every'](K=>REVIEW_FAMILY_NODE_REGEX['test'](K));if(!J||I['includes'](G['from']))return![];}return!![];},o=G=>REVIEW_FAMILY_NODE_REGEX['test'](G),q=G=>{const H=new Map();for(const K of i){if(m(K))continue;if(G&&(o(K['from'])||o(K['to'])))continue;const L=H['get'](K['from']);if(L)L['push'](K['to']);else H['set'](K['from'],[K['to']]);}const I=new Set(),J=[...k];while(J['length']>0x0){const M=J['pop']();if(I['has'](M))continue;I['add'](M);for(const N of H['get'](M)??[])J['push'](N);}return I;},r=q(![]),s=q(!![]);for(const G of l['terminals']){if(!r['has'](G))c['push']('REVIEW-LOCK-01:\x20terminal\x20\x22'+G+'\x22\x20is\x20enterable\x20ONLY\x20through\x20forward(s)\x20whose\x20guard\x20pins\x20a\x20'+'review/feedback\x20node\x20the\x20edge\x20itself\x20does\x20not\x20depart\x20from\x20—\x20the\x20rail\x20can\x20never\x20fire\x20(the\x20guard\x20asserts\x20a\x20'+'progress\x20state\x20this\x20transition\x20cannot\x20produce),\x20so\x20a\x20buyer\x20who\x20never\x20reviews\x20strands\x20every\x20order\x27s\x20'+'escrow\x20permanently.\x20Machine\x20topology\x20is\x20immutable\x20after\x20publish\x20(IMMUT-001).\x20Fix\x20BEFORE\x20publish:\x20'+'re-pin\x20the\x20settlement\x20guard\x20to\x20the\x20node\x20the\x20forward\x20actually\x20departs\x20from,\x20and\x20add\x20a\x20time-lock\x20keeper\x20'+'auto-confirm\x20rail\x20(the\x20template\x20deliver_confirm_timeout\x20convention)\x20so\x20settlement\x20never\x20depends\x20on\x20the\x20'+'buyer\x20choosing\x20to\x20review');else!s['has'](G)&&d['push']('REVIEW-LOCK-01:\x20terminal\x20\x22'+G+'\x22\x20is\x20reachable\x20only\x20THROUGH\x20a\x20review/feedback\x20node\x20—\x20a\x20buyer\x20who\x20'+'silently\x20skips\x20reviewing\x20can\x20never\x20let\x20their\x20order\x20reach\x20it.\x20The\x20sanctioned\x20shape\x20keeps\x20the\x20review\x20'+'stop\x20OPTIONAL\x20with\x20an\x20exit\x20edge\x20back\x20to\x20the\x20settlement\x20rail,\x20and\x20a\x20keeper\x20time-lock\x20rail\x20that\x20opens\x20'+'settlement\x20independently\x20(retail\x20deliver_confirm_timeout\x20convention).\x20Verify\x20one\x20of\x20the\x20two\x20exists;\x20'+'if\x20the\x20review\x20node\x20is\x20meant\x20to\x20be\x20keeper-advanceable,\x20this\x20is\x20satisfied\x20and\x20may\x20be\x20ignored');}return{'critical':c,'warnings':d};}export function arbitrationVotingLockDetail(a){if(!Array['isArray'](a))return null;if(a['length']>0x0)return null;return'voting_guard\x20is\x20empty\x20(no\x20guard-weighted\x20voters).\x20Plain\x20votes\x20hard-require\x20the\x20vote\x20permission\x20(358)\x20on\x20the\x20'+'arbitration\x27s\x20own\x20Permission:\x20only\x20that\x20Permission\x27s\x20admin\x20(its\x20creator,\x20by\x20default)\x20and\x20explicit\x20358\x20'+'grantees\x20pass\x20the\x20assert,\x20so\x20without\x20grants\x20the\x20disputing\x20CUSTOMER\x20can\x20never\x20vote\x20and\x20the\x20arb\x20admin\x20is\x20the\x20'+'only\x20possible\x20voter\x20AND\x20the\x20judge\x20—\x20a\x20dispute\x20opened\x20against\x20this\x20service\x20dead-locks\x20when\x20that\x20admin\x20is\x20'+'unresponsive.\x20Configure\x20a\x20public\x20voting_guard\x20on\x20the\x20Arbitration\x20(voting_guard\x20op=\x27set\x27\x20with\x20guard\x20+\x20vote\x20'+'weight\x20—\x20the\x20field\x20stays\x20mutable\x20after\x20publish;\x20the\x20standard\x20shape\x20is\x20tpl_voting_guard_open_vote,\x20the\x20'+'always-true\x20guard\x20at\x20FixedValue\x20weight\x201)\x20or\x20bind\x20an\x20arbitration\x20that\x20already\x20carries\x20one,\x20BEFORE\x20'+'publishing\x20this\x20service';}export function arbitrationVotingGuardNoIdentityDetail(a,b){const c=(e,f=0x0)=>{if(f>0x18||e==null||typeof e!=='object')return![];const g=e;if(g['type']==='context'&&g['context']==='Signer')return!![];const h=Array['isArray'](g['nodes'])?g['nodes']:[];if(g['node']!=null&&typeof g['node']==='object')h['push'](g['node']);if(g['nodes']!=null&&!Array['isArray'](g['nodes'])&&typeof g['nodes']==='object')h['push'](g['nodes']);for(const i of Object['values'](g)){if(i!=null&&typeof i==='object'&&!Array['isArray'](i)&&i!==g)h['push'](i);}return h['some'](j=>c(j,f+0x1));};if(a==null||typeof a!=='object')return null;if(c(a))return null;const d=Array['isArray'](b)?b['length']:0x0;return'ARB-OPEN-VOTE-NO-IDENTITY:\x20this\x20voting_guard\x27s\x20root\x20has\x20NO\x20identity\x20leg\x20(no\x20Signer\x20comparison\x20anywhere\x20'+'in\x20the\x20tree),\x20so\x20EVERY\x20Passport\x20holder\x20passes\x20and\x20may\x20vote\x20—\x20on\x20a\x20venue\x20meant\x20for\x20the\x20dispute\x20parties\x20'+'that\x20is\x20a\x20ballot-integrity\x20hole\x20(mainnet\x20pddk-b4:\x20an\x20outsider\x20voted\x20on\x20a\x20live\x20case).\x20If\x20the\x20venue\x20is\x20'+'DELIBERATELY\x20public,\x20keep\x20this\x20shape\x20(tpl_voting_guard_open_vote)\x20and\x20disclose\x20the\x20open\x20universe;\x20'+'otherwise\x20rebind\x20a\x20party-scoped\x20guard\x20(tpl_voting_guard_party_only:\x20the\x20disputed\x20order\x27s\x20owner\x20via\x20'+'order.owner\x20+\x20the\x20arb.order\x20case\x20pin,\x20or\x20the\x20venue\x20panel\x20via\x20vec_contains_address)\x20while\x20voting_guard\x20'+'is\x20still\x20mutable'+(d>0x0?'\x20(the\x20guard\x27s\x20table\x20carries\x20'+d+'\x20row(s);\x20identity\x20is\x20about\x20the\x20ROOT\x20tree,\x20not\x20the\x20table)':'');}const TIME_PROFILE_UNIT_MS={'ms':0x1,'msec':0x1,'msecs':0x1,'millisecond':0x1,'milliseconds':0x1,'s':0x3e8,'sec':0x3e8,'secs':0x3e8,'second':0x3e8,'seconds':0x3e8,'m':0xea60,'min':0xea60,'mins':0xea60,'minute':0xea60,'minutes':0xea60,'h':0x36ee80,'hr':0x36ee80,'hrs':0x36ee80,'hour':0x36ee80,'hours':0x36ee80,'d':0x5265c00,'day':0x5265c00,'days':0x5265c00,'w':0x240c8400,'wk':0x240c8400,'wks':0x240c8400,'week':0x240c8400,'weeks':0x240c8400},TIME_PROFILE_DURATION_REGEX=/(\d+(?:\.\d+)?)\s*(ms|milliseconds?|msecs?|minutes?|mins?|seconds?|secs?|hours?|hrs?|days?|weeks?|wks?|min|sec|hr|wk|[smhdw])\b/gi,TIME_PROFILE_ADMISSION_REGEX=/compress(?:ed|ion)|accelerat(?:ed|ion)|shorten(?:ed)?(?:\s+for)?|test\s+(?:value|window|duration|constant)|demo\s+(?:value|window|duration)|for\s+(?:fast\s+|quick\s+)?test(?:ing)?|regression\s+(?:value|window)/i,TIME_PROFILE_FLOOR_MS=0x36ee80;function timeProfileIsTimeQuery(a){if(typeof a==='number')return a===0x4f7||a===0x4f8||a===0x500||a===0x507;if(typeof a==='string')return/(^|\.)time$|current_time/i['test'](a);return![];}function timeProfileNodeChildren(a){const b=[];for(const c of['nodes','node','nodeLeft','nodeRight','parameters','historyIdx','sessionIdx','forwardIdx','where','find','recipient']){const d=a[c];if(Array['isArray'](d))b['push'](...d);else{if(d&&typeof d==='object')b['push'](d);}}return b;}export function guardTimeProfileDetail(a){const b=typeof a['description']==='string'?a['description']:'',c=TIME_PROFILE_ADMISSION_REGEX['test'](b);let d=0x0;for(const r of b['matchAll'](TIME_PROFILE_DURATION_REGEX)){const s=TIME_PROFILE_UNIT_MS[r[0x2]['toLowerCase']()];if(!s)continue;const t=Number(r[0x1])*s;if(Number['isFinite'](t)&&t>d)d=t;}if(!c&&d===0x0)return null;const e=Array['isArray'](a['table'])?a['table']:[],f=u=>{const v=e['find'](w=>Number(w?.['identifier'])===u);return numericAmount(v?.['value']);},h=u=>{if(!u||typeof u!=='object')return![];const v=u;if(v['type']==='context'&&v['context']==='Clock')return!![];if(v['type']==='query'&&timeProfileIsTimeQuery(v['query']))return!![];if(v['type']==='query_progress_history_time')return!![];if(v['type']==='query_progress_history_time_or_zero')return!![];return timeProfileNodeChildren(v)['some'](h);},i=u=>{const w=Number(u['identifier']),x=f(w);if(x===undefined||x<=0x0)return null;const y=e['find'](A=>Number(A?.['identifier'])===w),z=y&&typeof y['name']==='string'&&y['name']!==''?y['name']:null;return{'identifier':w,'name':z,'value':x};},j=u=>{if(!u||typeof u!=='object')return[];const v=u;if(v['type']==='identifier'){const w=i(v);return w?[w]:[];}return timeProfileNodeChildren(v)['flatMap'](j);},k=[],l=(u,v)=>{if(!u||typeof u!=='object')return;const w=u,x=v||typeof w['type']==='string'&&w['type']['startsWith']('calc_');if(x&&w['type']==='calc_number_multiply'){const y=j(w);y['length']>0x0&&k['push']({'identifier':y[0x0]['identifier'],'name':y['map'](z=>z['name']??'#'+z['identifier'])['join']('*'),'value':y['reduce']((z,A)=>z*A['value'],0x1)});return;}if(w['type']==='identifier'&&x){const z=i(w);if(z)k['push'](z);}for(const A of timeProfileNodeChildren(w))l(A,x);};if(a['root']&&typeof a['root']==='object'&&h(a['root']))l(a['root'],![]);const n=k['find'](u=>u['value']<d/0x64),o=u=>u>=0x5265c00?u/0x5265c00+'d':u>=0x36ee80?u/0x36ee80+'h':u>=0xea60?u/0xea60+'min':u/0x3e8+'s',p=u=>u['name']??'slot\x20#'+u['identifier'];if(n!==undefined)return{'level':'critical','detail':'time\x20constant\x20'+p(n)+'\x20=\x20'+o(n['value'])+'\x20is\x20>=100x\x20below\x20the\x20production\x20duration\x20the\x20description\x20itself\x20'+('declares\x20('+o(d)+')\x20—\x20a\x20compressed\x20test\x20value\x20frozen\x20into\x20a\x20production\x20guard.\x20Note:\x20operands\x20of\x20a\x20')+'calc_number_multiply\x20are\x20judged\x20as\x20their\x20PRODUCT\x20(a\x20duration\x20times\x20dimensionless\x20factors),\x20not\x20per-operand.\x20Guards\x20'+'freeze\x20at\x20publish\x20(IMMUT-001),\x20so\x20the\x20window\x20will\x20enforce\x20the\x20compressed\x20value\x20against\x20real\x20orders\x20'+'(klook\x20mainnet\x20261014:\x20\x2724h\x20free\x20cancellation\x27\x20enforced\x20as\x202\x20minutes).\x20Rebuild\x20the\x20guard\x20with\x20the\x20'+'production\x20duration\x20from\x20the\x20template\x20fee_params\x20BEFORE\x20publishing'};if(c)return{'level':'warning','detail':'description\x20admits\x20compressed/accelerated\x20time\x20constants,\x20but\x20NO\x20time\x20constant\x20in\x20this\x20guard\x27s\x20logic\x20'+'tree\x20is\x20>=100x\x20below\x20the\x20declared\x20production\x20duration\x20—\x20the\x20values\x20look\x20production-scaled.\x20Manual\x20'+'review\x20requested\x20(prose\x20alone\x20no\x20longer\x20blocks\x20publish,\x20BF-07):\x20confirm\x20the\x20tree\x20constants\x20match\x20the\x20'+'production\x20durations\x20in\x20the\x20template\x20fee_params\x20BEFORE\x20publishing\x20—\x20guards\x20freeze\x20at\x20publish\x20'+'(IMMUT-001),\x20so\x20a\x20mis-scaled\x20window\x20(klook\x20mainnet\x20261014:\x20\x2724h\x20free\x20cancellation\x27\x20enforced\x20as\x202\x20'+'minutes)\x20is\x20UNFIXABLE'};const q=k['find'](u=>u['value']<TIME_PROFILE_FLOOR_MS);if(q!==undefined)return{'level':'warning','detail':'time\x20constant\x20'+p(q)+'\x20=\x20'+o(q['value'])+'\x20is\x20below\x20the\x20'+TIME_PROFILE_FLOOR_MS/0x36ee80+'h\x20sanity\x20floor\x20'+'(the\x20description\x20declares\x20no\x20production\x20duration\x20and\x20admits\x20no\x20compression,\x20yet\x20the\x20window\x20is\x20'+'sub-hour)\x20—\x20almost\x20always\x20a\x20compressed\x20test\x20value\x20frozen\x20into\x20the\x20guard.\x20Guards\x20freeze\x20at\x20publish\x20'+'(IMMUT-001):\x20confirm\x20the\x20value\x20is\x20intended\x20for\x20LIVE\x20traffic,\x20or\x20rebuild\x20with\x20the\x20production\x20'+'duration\x20from\x20the\x20template\x20fee_params\x20BEFORE\x20mainnet\x20publish\x20(ddmc2\x20F-11:\x20a\x203-minute\x20filing\x20'+'window\x20permanently\x20revoked\x20a\x20buyer\x27s\x20dispute\x20right\x20on\x20one\x20transport\x20retry)'};return null;}export function rewardRefsOf(a){const b=a?.['rewards'];if(typeof b==='string'&&b['trim']()!=='')return[b];if(Array['isArray'](b))return b['filter'](c=>typeof c==='string'&&c['trim']()!=='');if(Array['isArray'](b?.['objects']))return b['objects']['filter'](c=>typeof c==='string'&&c['trim']()!=='');return[];}export function serviceRewardsUnfundedDetail(b){if(!b||typeof b!=='object')return null;const c=b['data']??b,d=Array['isArray'](c?.['guards'])?c['guards']:[],e=numericAmount(c?.['balance']?.['value']??c?.['balance']);if(e===undefined)return null;let f=0x0;for(const h of d){const i=h?.['amount'];if(i?.['type']!==0x1)continue;const j=numericAmount(i?.['value']?.['value']??i?.['value']);if(j!==undefined&&j>f)f=j;}if(f===0x0)return null;if(e>=f)return null;return'reward\x20pool\x20balance\x20'+e+'\x20cannot\x20cover\x20its\x20largest\x20single-claim\x20promise\x20('+f+').\x20'+'The\x20on-chain\x20publish\x20entry\x20does\x20NOT\x20verify\x20reward\x20funding\x20—\x20a\x20failed\x20reward_fund\x20transfer\x20still\x20'+'publishes\x20(onlyfans\x20mainnet\x20261014\x20shipped\x20a\x20store\x20promising\x20cashback\x20with\x20an\x20empty\x20pool),\x20and\x20the\x20'+'claim\x20aborts\x20once\x20the\x20pool\x20drains.\x20Fund\x20the\x20Reward\x20(reward_fund)\x20up\x20to\x20expected_orders\x20x\x20per-claim\x20'+'amount,\x20or\x20remove\x20the\x20reward\x20binding\x20BEFORE\x20publishing\x20this\x20service';}export const TASK_BINDING_REMEDIATION_ENTRY={'identifier':TASK_BINDING_SLOT,'b_submission':!![],'value_type':'Address','name':'task_binding\x20order\x20anchor\x20(protocol\x20slot\x20254;\x20written\x20by\x20order\x20creation)'};const TASK_BINDING_TRIGGER='the\x20triggering\x20Passport\x20must\x20submit\x20identifier\x20'+TASK_BINDING_SLOT+'\x20carrying\x20the\x20Order\x20address';export{declaresTaskBindingSlot};export const REFUND_RAIL_NODE_REGEX=/(^|_)(refund|refunded|cancel|cancelled|return|returned)(_|$)/i;export function lintTaskBindingAdvisories(a){const b=[];if(!Array['isArray'](a['table']))return b;const c=declaresTaskBindingSlot(a['table']),d=a['guardRef']!==undefined?'\x22'+a['guardRef']+'\x22':'this\x20guard';if(a['refundReentry']===!![]&&c)return b['push']({'code':'TASKBIND-254-REFUND-REPLAY','level':'warning','detail':'refund\x20rail\x20guard\x20'+d+'\x20declares\x20protocol\x20slot\x20'+TASK_BINDING_SLOT+'\x20(b_submission:\x20true).\x20'+(TASK_BINDING_SLOT+'\x20is\x20the\x20ONCE_FOR_OBJECT\x20task-binding\x20slot:\x20a\x20refund\x20rail\x20that\x20can\x20re-enter\x20its\x20')+'refund\x20node\x20in\x20a\x20later\x20period\x20(deposit\x20re-refund,\x20re-selected\x20order,\x20renewal\x20cycle)\x20re-fires\x20on\x20the\x20'+'SAME\x20order\x20and\x20aborts\x20E_ONCE_TRIGGERED\x20(code\x2016)\x20on\x20every\x20release\x20after\x20the\x20first\x20—\x20a\x20perpetual\x20'+('abort,\x20not\x20a\x20one-time\x20failure\x20(OFN\x20#P-04).\x20Remove\x20the\x20'+TASK_BINDING_SLOT+'\x20row\x20and\x20anchor\x20the\x20payee\x20')+'on\x20a\x20user\x20submission\x20slot\x20(slot\x200,\x20the\x20submitted\x20Order)\x20instead.\x20Guards\x20are\x20create-frozen\x20and\x20'+'order_allocators\x20freeze\x20at\x20service\x20publish\x20—\x20correct\x20it\x20BEFORE\x20the\x20irreversible\x20write.','remediation':{'entry':TASK_BINDING_REMEDIATION_ENTRY,'trigger':'delete\x20the\x20254\x20row;\x20pay\x20the\x20refund\x20through\x20a\x20user\x20slot\x20(slot\x200)\x20that\x20the\x20trigger\x20Passport\x20submits\x20'+'with\x20the\x20Order\x20address'}}),b;return a['allocatorBound']===!![]&&!c&&b['push']({'code':'TASKBIND-254-MISSING','level':'warning','detail':'allocator-bound\x20hand-composed\x20guard\x20'+d+'\x20declares\x20no\x20{identifier:\x20'+TASK_BINDING_SLOT+',\x20'+'b_submission:\x20true,\x20value_type:\x20\x22Address\x22}\x20row.\x20The\x20passport\x20only\x20emits\x20DECLARED\x20slots,\x20so\x20once\x20an\x20'+'order-bound\x20path\x20uses\x20this\x20guard\x20every\x20guarded\x20forward\x20aborts\x20(code\x2011)\x20—\x20and\x20a\x20NEW\x20buyer\x27s\x20first\x20'+'order\x20is\x20the\x20one\x20that\x20hits\x20the\x20254\x20placeholder\x20immediately.\x20Add\x20the\x20row\x20below;\x20the\x20trigger\x20Passport\x20'+('must\x20submit\x20identifier\x20'+TASK_BINDING_SLOT+'\x20(the\x20Order\x20address).\x20Guards\x20are\x20create-frozen\x20and\x20machine\x20')+'topology\x20/\x20order_allocators\x20freeze\x20at\x20publish\x20—\x20correct\x20it\x20BEFORE\x20the\x20irreversible\x20write.','remediation':{'entry':TASK_BINDING_REMEDIATION_ENTRY,'trigger':TASK_BINDING_TRIGGER}}),b;}export function lintMachineTaskBindingPreflight(a){if(!Array['isArray'](a['refs'])||a['refs']['length']===0x0)return[];if(a['resolved']['some'](f=>declaresTaskBindingSlot(f['table'])))return[];const b=new Set(a['resolved']['map'](f=>f['ref']['toLowerCase']())),c=a['refs']['filter'](f=>!b['has'](f['toLowerCase']())),d='NONE\x20of\x20this\x20machine\x27s\x20'+a['refs']['length']+'\x20forward\x20guard(s)\x20declares\x20the\x20protocol\x20slot\x20'+(TASK_BINDING_SLOT+'\x20Address\x20submission\x20row.\x20A\x20settlement/claim\x20guard\x20shared\x20with\x20an\x20allocator\x20rail,\x20and\x20every\x20')+'order-bound\x20forward,\x20will\x20abort\x20(code\x2011)\x20once\x20a\x20Service\x20attaches\x20—\x20a\x20new\x20buyer\x27s\x20first\x20order\x20hits\x20the\x20'+'placeholder\x20immediately.',e=a['readError']!==undefined?'the\x20forward-guard\x20definitions\x20could\x20not\x20be\x20read\x20('+a['readError']+'),\x20so\x20the\x20'+TASK_BINDING_SLOT+'\x20'+('declaration\x20is\x20UNVERIFIED.\x20Verify\x20'+d+'\x20Add\x20{identifier:\x20'+TASK_BINDING_SLOT+',\x20b_submission:\x20true,\x20')+'value_type:\x20\x22Address\x22}\x20to\x20each\x20guard\x20BEFORE\x20publish;\x20machine\x20topology\x20is\x20immutable\x20after\x20publish\x20and\x20'+'guards\x20are\x20create-frozen.':d+(c['length']>0x0?'\x20'+c['length']+'\x20ref(s)\x20could\x20not\x20be\x20resolved\x20by\x20this\x20read\x20('+c['join'](',\x20')+')\x20—\x20'+'their\x20declarations\x20are\x20unverified.':'')+('\x20Add\x20{identifier:\x20'+TASK_BINDING_SLOT+',\x20b_submission:\x20true,\x20value_type:\x20\x22Address\x22}\x20to\x20each\x20guard\x27s\x20table\x20')+'BEFORE\x20publish;\x20machine\x20topology\x20is\x20immutable\x20after\x20publish\x20(IMMUT-001)\x20and\x20guards\x20are\x20create-frozen.';return[{'code':a['readError']!==undefined?'TASKBIND-254-UNVERIFIED':'TASKBIND-254-MISSING','level':'warning','detail':e,'remediation':{'entry':TASK_BINDING_REMEDIATION_ENTRY,'trigger':TASK_BINDING_TRIGGER}}];}export function formatTaskBindingAdvisory(a,b='pre_publish'){return b+':\x20task-binding\x20advisory\x20['+a['code']+']\x20'+a['detail'];}export const AUDIT_RULES=[{'id':'audit_machine_bound','description':'Service\x20should\x20have\x20a\x20Machine\x20workflow\x20bound\x20before\x20publish','severity':'warning','fields':['machine'],'check':(a,b)=>{if(!a?.['publish'])return!![];return!!a?.['machine'];},'message':()=>'Publishing\x20a\x20service\x20without\x20a\x20Machine\x20workflow.\x20Customers\x20won\x27t\x20have\x20a\x20structured\x20order\x20process.','recommendation':'Create\x20a\x20Machine\x20(workflow\x20template)\x20and\x20bind\x20it\x20to\x20the\x20service\x20before\x20publishing.\x20The\x20machine\x20field\x20becomes\x20IMMUTABLE\x20after\x20publish.'},{'id':'audit_order_allocators','description':'Service\x20should\x20have\x20order_allocators\x20for\x20fund\x20distribution','severity':'warning','fields':['order_allocators'],'check':a=>{if(!a?.['publish'])return!![];return allocatorCountOf(a)>0x0;},'message':()=>'Publishing\x20a\x20service\x20without\x20order_allocators.\x20Order\x20funds\x20cannot\x20be\x20auto-distributed\x20to\x20suppliers.','recommendation':'Configure\x20order_allocators\x20before\x20publishing\x20—\x20this\x20field\x20becomes\x20IMMUTABLE\x20after\x20publish.'},{'id':'audit_buy_guard','description':'Service\x20should\x20have\x20a\x20buy_guard\x20for\x20customer\x20screening','severity':'info','fields':['buy_guard'],'check':a=>!!a?.['buy_guard'],'message':()=>'No\x20buy_guard\x20configured\x20—\x20anyone\x20can\x20purchase\x20this\x20service\x20without\x20verification.','recommendation':'Consider\x20adding\x20a\x20Guard\x20to\x20verify\x20customer\x20eligibility\x20(e.g.,\x20identity,\x20wallet\x20balance,\x20location).'},{'id':'audit_arb_alloc_boundary','description':'Arbitration\x20and\x20Allocator\x20coexist\x20→\x20surface\x20the\x20two-system\x20boundary\x20reminder','severity':'warning','fields':['arbitrations','compensation_fund_add','compensation_fund','order_allocators'],'check':a=>{if(!a?.['publish'])return!![];const b=arbitrationRefsOf(a)['length']>0x0||compensationFundOf(a)!==undefined;return!(b&&allocatorCountOf(a)>0x0);},'message':()=>'Arbitration\x20and\x20Allocator\x20are\x20INDEPENDENT\x20systems\x20by\x20design:\x20a\x20ruling\x20records\x20the\x20case\x20and\x20pays\x20from\x20the\x20service\x20compensation\x20fund\x20—\x20it\x20never\x20moves\x20escrow\x20and\x20never\x20advances\x20the\x20workflow.\x20Two-rail\x20independence\x20(decision\x2011):\x20the\x20escrow\x20refund\x20and\x20the\x20arbitration\x20award\x20are\x20separate\x20commercial\x20payouts\x20on\x20independent\x20tracks\x20—\x20a\x20buyer\x20MAY\x20collect\x20BOTH,\x20which\x20is\x20legal\x20and\x20disclosed\x20at\x20the\x20MCP\x20dual-payout\x20confirmation\x20gate.\x20This\x20is\x20a\x20boundary\x20reminder,\x20not\x20a\x20defect.','recommendation':'Keep\x20the\x20refund/settlement\x20rail\x20NODE-gated\x20(terminal\x20refund/settle\x20node)\x20and\x20free\x20of\x20any\x20order.claimed_by\x20leg\x20(decision\x2011:\x20RAIL_CLAIMED_BY_LEG\x20/\x20R-FUND-RAIL-CLAIMED-BY\x20critical\x20backstop).\x20Disclose\x20the\x20refund+award\x20overlap\x20at\x20the\x20dual-payout\x20confirmation\x20gate\x20instead\x20of\x20engineering\x20a\x20mutual\x20exclusion.\x20Do\x20NOT\x20couple\x20the\x20systems\x20the\x20other\x20way\x20(no\x20dispute\x20state\x20on\x20the\x20order\x20flow,\x20no\x20workflow\x20step\x20into\x20arbitration).\x20For\x20per-case\x20fund\x20actions,\x20the\x20deposit-reimbursement\x20pattern\x20(guard-design\x20patterns)\x20is\x20the\x20supported\x20route.'},{'id':'audit_compensation_fund','description':'Service\x20should\x20have\x20a\x20compensation_fund\x20for\x20trust','severity':'warning','fields':['compensation_fund_add','compensation_fund'],'check':a=>compensationFundOf(a)!==undefined,'message':()=>'No\x20compensation_fund\x20configured.\x20Customers\x20have\x20no\x20financial\x20protection\x20if\x20you\x20fail\x20to\x20deliver.','recommendation':'Deposit\x20via\x20compensation_fund_add\x20{balance}\x20to\x20enable\x20arbitration\x20payouts.\x20The\x20fund\x20deters\x20fraud\x20and\x20enables\x20arbitration\x20claims.'},{'id':'audit_arbitrations','description':'Service\x20should\x20have\x20arbitration\x20options\x20for\x20dispute\x20resolution','severity':'info','fields':['arbitrations'],'check':a=>arbitrationRefsOf(a)['length']>0x0,'message':()=>'No\x20arbitration\x20configured.\x20Disputes\x20cannot\x20be\x20resolved\x20through\x20a\x20third\x20party.','recommendation':'Add\x20at\x20least\x20one\x20Arbitration\x20object\x20via\x20arbitrations:{op:\x27add\x27,\x20objects:[...]}\x20to\x20enable\x20on-chain\x20dispute\x20resolution.'},{'id':'audit_arbitration_removal_strands_awards','description':'Removing\x20an\x20authorized\x20venue\x20can\x20strand\x20an\x20award\x20it\x20already\x20ruled\x20on','severity':'error','fields':['arbitrations'],'check':a=>{const b=a?.['arbitrations']?.['remove']??a?.['arbitrations']?.['clear'],c=Array['isArray'](b)?b['length']>0x0:a?.['arbitrations']?.['op']==='clear';if(!c)return!![];if(arbitrationRefsOf(a)['length']>0x0)return!![];return compensationFundOf(a)===undefined;},'message':a=>{const b=a?.['arbitrations']?.['clear']?'every\x20authorized\x20venue':'venue(s)\x20'+(a?.['arbitrations']?.['remove']??[])['join'](',\x20');return'Removing\x20'+b+'\x20while\x20a\x20compensation\x20fund\x20is\x20configured\x20makes\x20any\x20award\x20it\x20already\x20ruled\x20on\x20UNPAYABLE:\x20an\x20on-chain\x20payout\x20now\x20requires\x20the\x20deciding\x20venue\x20to\x20still\x20be\x20on\x20the\x20Service\x27s\x20allowlist,\x20so\x20paying\x20out\x20aborts\x20with\x20E_ARBITRATION_NOT_ALLOWED=39\x20and\x20the\x20escrowed\x20funds\x20stay\x20stranded.';},'recommendation':'Before\x20removing\x20a\x20venue,\x20confirm\x20no\x20case\x20it\x20ruled\x20on\x20is\x20still\x20awaiting\x20compensation\x20payout\x20(query\x20the\x20Arb\x20objects\x20for\x20status\x20Arbitrated,\x20not\x20Finished).\x20Add\x20the\x20replacement\x20venue\x20FIRST,\x20drain\x20the\x20old\x20venue\x27s\x20cases,\x20and\x20only\x20then\x20remove\x20it.\x20A\x20buyer\x20should\x20never\x20be\x20left\x20holding\x20an\x20uncollectable\x20award.'},{'id':'audit_price','description':'Service\x20should\x20have\x20at\x20least\x20one\x20priced\x20sale\x20item','severity':'error','fields':['sales'],'check':a=>{const b=salesItemsOf(a);if(b['length']===0x0)return!![];return b['some'](c=>c?.['price']!==undefined&&c?.['price']!==null);},'message':()=>'Sales\x20list\x20present\x20but\x20no\x20item\x20has\x20a\x20price.\x20Customers\x20cannot\x20place\x20orders\x20without\x20knowing\x20the\x20cost.','recommendation':'Set\x20price\x20on\x20each\x20sales\x20item\x20(smallest-unit\x20string\x20or\x20display\x20form\x20like\x20\x272.5WOW\x27).'},{'id':'audit_compensation_fund_covers_award_ceiling','description':'compensation_fund\x20should\x20cover\x20the\x203x\x20award\x20ceiling\x20of\x20the\x20largest\x20sale\x20(disclosure)','severity':'warning','fields':['compensation_fund_add','compensation_fund','sales'],'check':a=>{if(!a?.['publish'])return!![];const b=compensationFundOf(a);if(b===undefined)return!![];const c=numericAmount(b);if(c===undefined)return!![];if(c===0x0)return![];const e=salesItemsOf(a)['map'](g=>numericAmount(g?.['price']))['filter'](g=>g!==undefined&&g>0x0);if(e['length']===0x0)return!![];const f=e['reduce']((g,h)=>g+h,0x0);return c>=MAX_INDEMNITY_MULTIPLE*f;},'message':()=>'compensation_fund\x20does\x20not\x20cover\x20the\x20award\x20ceiling\x20of\x20the\x20largest\x20sale.\x20An\x20award\x20is\x20hard-capped\x20at\x20'+MAX_INDEMNITY_MULTIPLE+'x\x20'+'the\x20order\x20amount\x20(the\x20MAX_INDEMNITY_MULTIPLE\x20cap,\x20enforced\x20at\x20ruling\x20time),\x20so\x20a\x20ruling\x20at\x20the\x20ceiling\x20'+'would\x20abort\x20the\x20buyer\x27s\x20claim\x20with\x2027\x20(E_COMPENSATION_NOT_MATCH)\x20—\x20the\x20ruling\x20stands\x20but\x20is\x20unpayable\x20'+'until\x20you\x20deposit,\x20and\x20the\x20abort\x20does\x20NOT\x20consume\x20the\x20claim.\x20Disclosure\x20only:\x20this\x20no\x20longer\x20blocks\x20'+'publish\x20—\x20per-order\x20coverage\x20is\x20enforced\x20at\x20BUY\x20time\x20(the\x20buyer\x27s\x20order\x20is\x20rejected\x20while\x20the\x20fund\x20'+'cannot\x20cover\x203x\x20that\x20order),\x20so\x20under-ceiling\x20funding\x20stops\x20sales\x20instead\x20of\x20stranding\x20awards.','recommendation':'For\x20every\x20order\x20you\x20want\x20to\x20sell,\x20keep\x20the\x20fund\x20at\x20>=\x20'+MAX_INDEMNITY_MULTIPLE+'x\x20THAT\x20order\x20via\x20'+'compensation_fund_add\x20(a\x200.49\x20course\x20needs\x201.47;\x20a\x203.99\x20course\x20needs\x2011.97\x20—\x20no\x20cross-SKU\x20subsidy).\x20'+('Above\x20'+MAX_INDEMNITY_MULTIPLE+'x\x20the\x20current\x20order\x20is\x20optional:\x20it\x20only\x20buys\x20tolerance\x20for\x20several\x20')+'CONCURRENT\x20claims\x20against\x20the\x20one\x20per-Service\x20pool\x20(there\x20is\x20no\x20on-chain\x20concurrency\x20limit),\x20which\x20'+'is\x20a\x20capital-allocation\x20choice.\x20A\x20service\x20with\x20NO\x20fund\x20sells\x20freely\x20—\x20that\x20is\x20the\x20documented\x20'+'no-protection\x20posture\x20(audit_compensation_fund\x20discloses\x20it;\x20buyers\x20see\x20coverage\x20via\x20order\x20monitor).'},{'id':'audit_description','description':'Service\x20should\x20have\x20a\x20description','severity':'warning','fields':['description'],'check':a=>typeof a?.['description']==='string'&&a['description']['length']>0x0,'message':()=>'Service\x20has\x20no\x20description.\x20Customers\x20won\x27t\x20understand\x20what\x20you\x27re\x20offering.','recommendation':'Write\x20a\x20clear\x20description\x20of\x20the\x20service,\x20including\x20deliverables,\x20timelines,\x20and\x20terms.'},{'id':'audit_named_new_name','description':'Service\x20being\x20created\x20should\x20have\x20a\x20name','severity':'warning','check':a=>serviceNameOf(a)!==undefined,'message':()=>'Creating\x20a\x20service\x20without\x20a\x20name\x20makes\x20it\x20hard\x20to\x20reference\x20and\x20organize.','recommendation':'Set\x20object:{name:\x20...}\x20(or\x20namedNew.name)\x20following\x20the\x20convention:\x20<projectPrefix>_<service>_<purpose>.'},{'id':'audit_customer_required_needs_um','description':'customer_required\x20requires\x20a\x20Contact\x20bound\x20via\x20um\x20(SDK-enforced\x20hard\x20link;\x20mirrored\x20here)','severity':'error','fields':['customer_required','um'],'check':a=>{const b=Array['isArray'](a?.['customer_required'])?a['customer_required']:[];if(b['length']===0x0)return!![];return!!a?.['um'];},'message':()=>'customer_required\x20is\x20set\x20but\x20no\x20Contact\x20is\x20bound\x20via\x20um\x20—\x20customers\x20cannot\x20deliver\x20the\x20required\x20private\x20information\x20through\x20end-to-end\x20encrypted\x20Messenger.','recommendation':'Bind\x20um:{Contact\x20name/id}\x20in\x20the\x20same\x20call\x20(SDK\x20order_new\x20will\x20fail\x20the\x20buyer\x20otherwise).'},{'id':'audit_customer_required_is_declared_not_enforced','description':'customer_required\x20has\x20no\x20on-chain\x20enforcement\x20at\x20buy\x20time\x20—\x20a\x20Guard\x20must\x20gate\x20fulfilment','severity':'warning','fields':['customer_required'],'check':a=>{const b=Array['isArray'](a?.['customer_required'])?a['customer_required']:[];return b['length']===0x0;},'message':a=>{const b=Array['isArray'](a?.['customer_required'])?a['customer_required']:[];return'customer_required\x20('+b['length']+'\x20field(s):\x20'+b['join'](',\x20')+')\x20is\x20DECLARATIVE\x20ONLY:\x20the\x20on-chain\x20purchase\x20entry\x20never\x20reads\x20this\x20list,\x20so\x20an\x20order\x20that\x20supplies\x20none\x20of\x20these\x20fields\x20is\x20still\x20created\x20and\x20progresses.\x20Nothing\x20on-chain\x20will\x20stop\x20it.';},'recommendation':'Bind\x20pattern.required_info_evidence_gate\x20(schema_query\x20action=get_guard_design_patterns)\x20on\x20the\x20first\x20forward\x20that\x20needs\x20the\x20information:\x20query\x20\x27order.required_info\x20some\x27\x20(1572)\x20over\x20the\x20Order.\x20The\x20buyer\x20records\x20the\x20credential\x20via\x20order_required_info_update:\x20EITHER\x20the\x20merchant\x27s\x20IM\x20user\x20address\x20resolved\x20from\x20the\x20Service\x27s\x20Contact\x20(zero\x20cost,\x20address\x20record\x20only)\x20OR\x20an\x20on-chain\x20WTS\x20Proof\x20object\x20address\x20(embeds\x20the\x20merchant\x20IM\x20address\x20and\x20the\x20last-message\x20timestamp;\x20costs\x20gas,\x20publicly\x20verifiable).\x20\x27order.required_info\x27\x20(1573)\x20returns\x20the\x20recorded\x20address\x20but\x20aborts\x20while\x20nothing\x20is\x20recorded\x20—\x20gate\x20on\x201572\x20first.\x20When\x20the\x20listing\x20genuinely\x20promises\x20a\x20PER-ORDER\x20credential,\x20prefer\x20the\x20controlled\x20bind\x20entry\x20(order_required_info_bind):\x20the\x20chain\x20verifies\x20the\x20Proof\x20is\x20about\x20THIS\x20order\x20and\x20owner-created\x20at\x20write\x20time\x20and\x20rejects\x20a\x20mismatch\x20—\x20no\x20guard\x20needed\x20to\x20catch\x20a\x20wrong-proof\x20record.\x20BOUNDARY:\x20that\x20binding\x20proves\x20the\x20credential\x20AUTHOR\x20only,\x20never\x20its\x20content\x20or\x20any\x20rating\x20—\x20do\x20not\x20mirror\x20it\x20onto\x20review/reward\x20claims;\x20public\x20reviews\x20are\x20Repository\x20rows\x20whose\x20values\x20are\x20enforced\x20guard-side\x20via\x20data-value\x20probes,\x20not\x20through\x20Proof\x20objects.'},{'id':'audit_dangling_deps','description':'Service\x20dependencies\x20should\x20be\x20fully\x20created','severity':'error','check':(a,b)=>{if(!a?.['publish'])return!![];if(!b?.['graph'])return!![];const c=b['graph']['findDanglingDependencies']()??[];return c['length']===0x0;},'message':()=>'Service\x20references\x20objects\x20that\x20are\x20not\x20yet\x20created.\x20Publishing\x20will\x20lock\x20these\x20references.','recommendation':'Ensure\x20all\x20referenced\x20objects\x20(machine,\x20allocators,\x20guards)\x20are\x20created\x20and\x20finalized\x20before\x20publishing.'},{'id':'audit_type_parameter','description':'Service\x20should\x20have\x20a\x20token\x20type\x20specified','severity':'info','fields':['type_parameter','namedNew'],'check':a=>typeParameterOf(a)!==undefined,'message':()=>'No\x20payment\x20token\x20type\x20specified.\x20Defaulting\x20to\x20WOW\x20(0x2::wow::WOW).','recommendation':'Explicitly\x20set\x20type_parameter\x20(inside\x20object:{...})\x20if\x20you\x20want\x20to\x20accept\x20non-WOW\x20tokens\x20(e.g.,\x20USDT,\x20ETH).'},{'id':'audit_wip_unreachable_url','description':'sale.wip\x20must\x20be\x20a\x20publicly\x20reachable\x20URL\x20(no\x20localhost/LAN/file\x20paths)','severity':'error','fields':['sales'],'check':(a,b)=>{if(typeof b?.['network']==='string'&&/local/i['test'](b['network']))return!![];const c=salesItemsOf(a);if(c['length']===0x0)return!![];return c['every'](e=>{const f=e?.['wip'];if(typeof f!=='string'||f['trim']()==='')return!![];return!/^(https?:\/\/)?(localhost|127\.0\.0\.1|\[::1\]|0\.0\.0\.0)/i['test'](f)&&!/^https?:\/\/(192\.168\.|10\.|172\.(1[6-9]|2\d|3[01])\.)/i['test'](f)&&!/^file:/i['test'](f);});},'message':a=>{const b=salesItemsOf(a)['map'](c=>String(c?.['wip']??''))['filter'](c=>c!==''&&(/^(https?:\/\/)?(localhost|127\.0\.0\.1|\[::1\]|0\.0\.0\.0)/i['test'](c)||/^https?:\/\/(192\.168\.|10\.|172\.(1[6-9]|2\d|3[01])\.)/i['test'](c)||/^file:/i['test'](c)));return'sale.wip\x20is\x20NOT\x20publicly\x20reachable\x20('+b['join'](',\x20')+').\x20The\x20URL\x20is\x20stored\x20on-chain\x20and\x20every\x20'+'customer\x20fetches\x20it\x20at\x20order\x20time\x20—\x20order_new\x20aborts\x20100%\x20for\x20anyone\x20outside\x20your\x20machine.\x20'+'Host\x20the\x20file\x20publicly:\x20wip_file\x20upload\x20to\x20the\x20official\x20free\x20host\x20(wip.store.wowok.net)\x20or\x20your\x20own\x20'+'endpoint\x20(GitHub\x20Pages\x20/\x20IPFS\x20/\x20your\x20website)';},'recommendation':'Replace\x20the\x20internal\x20URL\x20with\x20a\x20public\x20one.\x20Internal\x20URLs\x20are\x20sanctioned\x20ONLY\x20on\x20env.network=localnet\x20for\x20testing.'},{'id':'audit_wip_missing_public','description':'On\x20public\x20networks\x20every\x20sale\x20item\x20should\x20carry\x20a\x20product-detail\x20(wip)\x20URL','severity':'info','fields':['sales'],'check':(a,b)=>{const c=b?.['network'];if(typeof c==='string'&&/local/i['test'](c))return!![];const e=salesItemsOf(a);if(e['length']===0x0)return!![];return e['every'](f=>typeof f?.['wip']==='string'&&f['wip']['trim']()!=='');},'message':()=>'One\x20or\x20more\x20sale\x20items\x20have\x20NO\x20product-detail\x20(wip)\x20URL.\x20The\x20listing\x20works,\x20but\x20customers\x20see\x20no\x20detail\x20'+'page\x20and\x20the\x20service\x27s\x20market\x20completeness\x20score\x20is\x20downgraded.\x20Easiest:\x20upload\x20the\x20detail\x20file\x20with\x20the\x20'+'wip_file\x20tool\x20to\x20the\x20official\x20free\x20host\x20(https://wip.store.wowok.net\x20—\x2010\x20files\x20per\x20account,\x20180-day\x20'+'retention,\x2012MB/file)\x20and\x20put\x20the\x20returned\x20URL\x20into\x20sale.wip;\x20or\x20host\x20your\x20own\x20(GitHub\x20Pages\x20/\x20IPFS\x20/\x20'+'your\x20website).\x20For\x20long-lived\x20mainnet\x20listings\x20prefer\x20your\x20own\x20endpoint\x20so\x20the\x20detail\x20outlives\x20the\x20free\x20'+'retention\x20window','recommendation':'Upload\x20a\x20WIP\x20file\x20via\x20wip_file\x20and\x20set\x20sale.wip\x20on\x20each\x20item\x20before/after\x20publish\x20(sales\x20stays\x20modifiable).'},{'id':'audit_free_cancel_window_anchor','description':'A\x20free-cancellation\x20window\x20must\x20either\x20ride\x20the\x20stay-date\x20Repository\x20rail\x20or\x20be\x20disclosed\x20as\x20anchored\x20on\x20booking\x20time','severity':'warning','fields':['creation_plan'],'check':(a,b)=>{if(!a?.['publish'])return!![];const c=Array['isArray'](a?.['creation_plan']?.['guards'])?a['creation_plan']['guards']:[],e=c['some'](h=>{const i=typeof h?.['key']==='string'?h['key']:'',j=typeof h?.['purpose']==='string'?h['purpose']:'';return/free[._ ]?cancel/i['test'](i)||/cancell?ation/i['test'](j)&&/window|hours?|days?/i['test'](j);});if(!e)return!![];const f=c['some'](h=>{const i=typeof h?.['template_id']==='string'?h['template_id']:'',j=typeof h?.['purpose']==='string'?h['purpose']:'',k=/repository_data_check/i['test'](i)&&/stay[._ ]?date|use[._ ]?date|check[._ ]?in[._ ]?date|arrival/i['test'](j),l=/anchored on (booking|order\.time)|booking time by default|service_start_ms|absolute (service|departure|event|use) (start|date)/i['test'](j);return k||l;});return f;},'message':()=>'A\x20free-cancellation\x20window\x20is\x20declared\x20WITHOUT\x20a\x20stay-date\x20anchor\x20and\x20WITHOUT\x20a\x20booking-time\x20disclosure.\x20'+'The\x20chain\x20has\x20no\x20use-date\x20primitive\x20(order.time\x20is\x20the\x20BOOKING\x20moment\x20—\x20written\x20once,\x20immutable),\x20so\x20the\x20'+'window\x20enforces\x20as\x20\x27from\x20booking\x27.\x20If\x20your\x20buyer-facing\x20copy\x20promises\x20\x27X\x20hours\x20before\x20arrival/check-in\x27,\x20'+'the\x20promised\x20window\x20has\x20typically\x20ALREADY\x20CLOSED\x20at\x20booking\x20(bkd8\x20BK-02,\x20live\x20mainnet)\x20—\x20a\x20silent\x20policy\x20'+'inversion\x20that\x20mis-sells\x20the\x20listing.\x20TWO\x20WAYS\x20OUT:\x20(1)\x20FAITHFUL\x20WINDOW\x20—\x20ride\x20the\x20STAY-DATE\x20PRESCRIPTION\x20'+'(time_anchors.free_cancel\x20in\x20the\x20travel\x20templates):\x20a\x20batched\x20id_from\x20None(0)\x20\x27stay_date\x27\x20row\x20(u64\x20epoch-ms)\x20'+'written\x20into\x20the\x20order-scoped\x20Repository\x20at\x20buy\x20time,\x20plus\x20a\x20pattern.repository_data_check\x20leg\x20comparing\x20'+'Clock\x20against\x20row\x20+\x20window\x20offset\x20(CLOSING\x20<=);\x20(2)\x20HONEST\x20DEFAULT\x20—\x20keep\x20the\x20booking-time\x20anchor\x20and\x20state\x20'+'\x27free\x20cancellation\x20within\x20X\x20hours\x20of\x20BOOKING\x27\x20in\x20the\x20buyer-facing\x20copy\x20so\x20the\x20promise\x20matches\x20the\x20chain','recommendation':'Either\x20add\x20the\x20stay-date\x20Repository\x20row\x20+\x20repository_data_check\x20leg\x20(faithful\x20pre-use\x20window),\x20or\x20restate\x20the\x20cancellation\x20policy\x20as\x20\x27from\x20booking\x27\x20in\x20all\x20buyer-facing\x20copy.'}];function readSeverityOverrides(){try{const {getJudgmentDoc:a}=require('../config/judgment.js');if(typeof a!=='function')return{};const b=a()?.['rules']?.['domains'];if(!b||typeof b!=='object')return{};const c={};for(const d of Object['values'](b)){const e=d?.['severity_overrides'];if(!e||typeof e!=='object')continue;for(const [f,g]of Object['entries'](e)){if(g==='error'||g==='warning'||g==='info')c[f]=g;}}return c;}catch{return{};}}export function auditService(a,b){const c=[],d=a?.['publish']===!![]&&typeof a?.['object']==='string',e=readSeverityOverrides();for(const f of AUDIT_RULES){try{if(d&&f['fields']&&!f['fields']['some'](g=>a[g]!==undefined))continue;!f['check'](a,b)&&c['push']({'rule_id':f['id'],'severity':e[f['id']]??f['severity'],'message':f['message'](a),'recommendation':f['recommendation']});}catch{}}return c;}export function hasBlockingErrors(a){return a['some'](b=>b['severity']==='error');}export function getErrors(a){return a['filter'](b=>b['severity']==='error');}export function getWarnings(a){return a['filter'](b=>b['severity']==='warning');}export function summarizeFindings(a){if(a['length']===0x0)return'All\x20audit\x20checks\x20passed.';const b=getErrors(a),c=getWarnings(a),d=a['filter'](g=>g['severity']==='info'),e=[];if(b['length']>0x0)e['push'](b['length']+'\x20error(s)');if(c['length']>0x0)e['push'](c['length']+'\x20warning(s)');if(d['length']>0x0)e['push'](d['length']+'\x20info');return'Audit:\x20'+e['join'](',\x20')+'.\x20Review\x20before\x20publishing.';}export const AUDIT_RULES_VERSION=0xc;
+import{MAX_INDEMNITY_MULTIPLE,TASK_BINDING_SLOT,declaresTaskBindingSlot}from'./onchain-constants.js';import{TWO_TX_RENEW_RECIPE}from'./protocol-facts.js';import{lintForwardAmbiguity,findLoopCycles}from'./machine-topology.js';import{isRenewalLoopEdge}from'../participation/radar-core.js';function numericAmount(a){if(typeof a==='number')return Number['isFinite'](a)?a:undefined;if(typeof a==='string'){const b=a['trim']();if(/^\d+$/['test'](b))return Number(b);}return undefined;}export{numericAmount};export function salesItemsOf(a){if(Array['isArray'](a?.['sales']))return a['sales'];if(Array['isArray'](a?.['sales']?.['sales']))return a['sales']['sales'];return[];}export function allocatorCountOf(a){const b=a?.['order_allocators'];if(Array['isArray'](b))return b['length'];if(Array['isArray'](b?.['allocators']))return b['allocators']['length'];return 0x0;}export function arbitrationRefsOf(b){const c=b?.['arbitrations'];if(Array['isArray'](c))return c['filter'](e=>typeof e==='string');if(Array['isArray'](c?.['objects']))return c['objects']['filter'](e=>typeof e==='string');return[];}export function compensationFundOf(a){if(a?.['compensation_fund_add']?.['balance']!=null)return a['compensation_fund_add']['balance'];if(a?.['compensation_fund']!=null)return a['compensation_fund'];return undefined;}export function serviceNameOf(a){if(typeof a?.['object']==='string')return a['object'];if(typeof a?.['object']?.['name']==='string'&&a['object']['name'])return a['object']['name'];if(typeof a?.['namedNew']?.['name']==='string'&&a['namedNew']['name'])return a['namedNew']['name'];return undefined;}export function typeParameterOf(a){if(typeof a?.['type_parameter']==='string'&&a['type_parameter'])return a['type_parameter'];if(typeof a?.['object']?.['type_parameter']==='string'&&a['object']['type_parameter'])return a['object']['type_parameter'];if(typeof a?.['namedNew']?.['type_parameter']==='string'&&a['namedNew']['type_parameter'])return a['namedNew']['type_parameter'];return undefined;}export const DISPUTE_FAMILY_NODE_REGEX=/(^|_)(disputed?|arbitration|arb)(_|$)/i;export const FUND_TERMINAL_NODE_REGEX=/^(refund|refunded|deposit_refunded|deposit_deducted|cancel|cancelled)$/i;export const ANTI_PATTERN_NODE_REGEX=new RegExp(DISPUTE_FAMILY_NODE_REGEX['source']+'|'+FUND_TERMINAL_NODE_REGEX['source'],'i');export const REMEDY_FAMILY_NODE_REGEX=/(revis|review|rework|refund|cancel|return|claim)/i;export function classifyLoopCycle(a,b){for(let c=0x0;c<a['length'];c++){if(isRenewalLoopEdge(a[c],a[(c+0x1)%a['length']]))return'renewal';}if(b==='review-loop')return'remedy';if(b==='paid-cycle')return'charge';if(a['some'](d=>REMEDY_FAMILY_NODE_REGEX['test'](d)))return'remedy';return'charge';}export function auditMachineNodes(a,b){const c=[],d=[];if(!Array['isArray'](a)||a['length']===0x0)return d['push']('pre_publish:\x20machine\x20node\x20set\x20unavailable\x20—\x20topology\x20not\x20verifiable;\x20'+'verify\x20via\x20machineNode2file\x20BEFORE\x20publish\x20(immutable\x20after\x20publish,\x20IMMUT-001)'),{'critical':c,'warnings':d};const e=a;for(const u of e){const v=typeof u?.['name']==='string'?u['name']:'';if(!v)continue;if(DISPUTE_FAMILY_NODE_REGEX['test'](v)){const w=Array['isArray'](u?.['pairs'])&&u['pairs']['some'](x=>Array['isArray'](x?.['forwards'])&&x['forwards']['some'](y=>y!==null&&typeof y==='object'&&'guard'in y));w?d['push']('R-M1-11:\x20machine\x20node\x20\x22'+v+'\x22\x20uses\x20a\x20dispute/arb-family\x20name\x20but\x20carries\x20a\x20guard-anchored\x20'+'forward\x20leg\x20—\x20accepted\x20as\x20a\x20direction-finality\x20business\x20state\x20(decision\x2011:\x20the\x20node\x20'+'records\x20the\x20arbitration\x20OUTCOME;\x20the\x20Arbitration\x20object\x20performs\x20the\x20adjudication;\x20the\x20'+'allocator\x20rail\x20moves\x20the\x20funds).\x20Sibling\x20gates\x20in\x20the\x20SAME\x20publish\x20pass\x20still\x20apply:\x20'+'R-ESCROW-LEAF\x20(terminal\x20needs\x20an\x20anchored\x20rail),\x20R-ARB-SAME-CONTROLLER,\x20R-ARB-VOTE-LOCK\x20'+'(F-RQD2-09:\x20clear\x20all\x20in\x20one\x20edit).'):c['push']('R-M1-11:\x20machine\x20node\x20\x22'+v+'\x22\x20models\x20dispute\x20flow\x20—\x20'+'disputes\x20must\x20route\x20via\x20the\x20separate\x20Arbitration\x20object\x20(off-Machine);\x20'+'rename\x20the\x20node\x20to\x20the\x20business\x20state\x20that\x20triggers\x20it.\x20'+'COMPLETE-FIX\x20CHECKLIST\x20(the\x20same\x20publish\x20pass\x20ALSO\x20blocks\x20on\x20—\x20clear\x20all\x20in\x20one\x20edit,\x20'+'F-RQD2-09):\x20(1)\x20every\x20terminal\x20node\x20needs\x20an\x20allocator\x20rail\x20whose\x20guard\x20anchors\x20to\x20it\x20'+'(R-ESCROW-LEAF);\x20(2)\x20a\x20bound\x20arbitration\x20must\x20NOT\x20share\x20the\x20service\x20Permission\x20'+'(R-ARB-SAME-CONTROLLER);\x20(3)\x20its\x20voting_guard\x20must\x20be\x20non-empty\x20(R-ARB-VOTE-LOCK).');}else FUND_TERMINAL_NODE_REGEX['test'](v)&&d['push']('R-M1-11:\x20machine\x20node\x20\x22'+v+'\x22\x20uses\x20a\x20bare\x20fund-terminal\x20name\x20—\x20reaching\x20'+'it\x20moves\x20no\x20funds\x20by\x20itself.\x20This\x20is\x20legitimate\x20ONLY\x20when\x20a\x20refund\x20allocator\x20'+'rail\x27s\x20guard\x20anchors\x20to\x20this\x20node\x20(per-node\x20refund\x20tracks);\x20otherwise\x20rename\x20it\x20'+'to\x20the\x20business\x20state\x20(e.g.\x20cancel_requested\x20/\x20closed_cancel)\x20and\x20route\x20the\x20'+'refund\x20via\x20an\x20Allocator\x20triggered\x20by\x20that\x20state.\x20The\x20template\x20scanner\x20verifies\x20'+'the\x20anchoring\x20when\x20a\x20template\x20is\x20present.\x20Sibling\x20gates\x20in\x20the\x20SAME\x20publish\x20pass:\x20'+'R-ESCROW-LEAF\x20(terminal\x20without\x20anchored\x20rail),\x20R-ARB-SAME-CONTROLLER\x20/\x20R-ARB-VOTE-LOCK\x20'+'(bound\x20arbitration\x20config)\x20—\x20fix\x20all\x20at\x20once\x20to\x20avoid\x20extra\x20publish\x20rounds\x20(F-RQD2-09).');}const g=new Set();for(const x of e){const y=typeof x?.['name']==='string'?x['name']:'';if(!y)continue;g['has'](y)&&c['push']('MC-C-04:\x20duplicate\x20machine\x20node\x20name\x20\x22'+y+'\x22\x20—\x20on-chain\x20will\x20reject\x20the\x20publish\x20transaction'),g['add'](y);}const h=e['some'](z=>Array['isArray'](z?.['pairs'])&&z['pairs']['some'](A=>A?.['prev_node']===''));!h&&c['push']('Machine\x20has\x20no\x20entry\x20pair\x20(prev_node=\x22\x22)\x20—\x20Progress\x20can\x20never\x20advance\x20'+'from\x20the\x20initial\x20state;\x20orders\x20are\x20permanently\x20stuck');const i=new Map();for(const z of e){const A=typeof z?.['name']==='string'&&z['name']!==''?z['name']:'(unnamed\x20node)';for(const B of Array['isArray'](z?.['pairs'])?z['pairs']:[]){const C=B?.['prev_node'];if(typeof C!=='string')continue;const D=Array['isArray'](B?.['forwards'])?B['forwards']:[];for(const E of D){const F=typeof E==='string'?E:typeof E?.['name']==='string'?E['name']:'';if(F==='')continue;const G=C+'\x00'+F,H=i['get'](G);if(H===A)c['push']('H-09:\x20duplicate\x20machine\x20edge\x20(prev_node\x20\x22'+C+'\x22\x20->\x20forward\x20\x22'+F+'\x22)\x20re-declared\x20on\x20node\x20\x22'+A+'\x22\x20—\x20'+'partitioned\x20building\x20re-sends\x20are\x20APPEND-ONLY\x20on\x20the\x20draft\x20(sso-tn-261027:\x2017\x20entries\x20/\x2014\x20unique\x20names);\x20'+'the\x20chain\x20edge\x20lookup\x20takes\x20the\x20FIRST\x20match,\x20so\x20every\x20extra\x20copy\x20is\x20unreachable\x20dead\x20weight\x20that\x20ships\x20'+'the\x20draft\x27s\x20ghost\x20edges\x20into\x20an\x20immutable\x20machine\x20(IMMUT-001).\x20Drop\x20the\x20duplicate\x20pair\x20'+'(delete\x20it\x20on\x20the\x20still-unpublished\x20draft\x20machine)\x20before\x20publishing');else H===undefined&&i['set'](G,A);}}}const j=new Map();for(const I of e){const J=typeof I?.['name']==='string'?I['name']:'';if(!J)continue;if(!j['has'](J))j['set'](J,[]);for(const K of I?.['pairs']??[]){const L=K?.['prev_node'];if(typeof L==='string'&&L!==''){const M=j['get'](L);if(M)M['push'](J);else j['set'](L,[J]);}}}const k=findLoopCycles(j)['map'](N=>({'c':N,'tier':classifyLoopCycle(N['cycle'],b)})),l=k['filter'](N=>N['tier']==='renewal'),m=k['filter'](N=>N['tier']==='remedy'),o=k['filter'](N=>N['tier']==='charge');o['length']>0x0&&c['push']('pre_publish:\x20machine\x20contains\x20charge-bearing\x20loop\x20cycle(s)\x20'+o['map'](N=>'['+N['c']['cycle']['join']('\x20->\x20')+']')['join'](',\x20')+'\x20—\x20'+'on-chain\x20a\x20revisit\x20is\x20NOT\x20verified\x20to\x20re-fund\x20the\x20Allocation,\x20and\x20this\x20static\x20pass\x20sees\x20only\x20the\x20forward\x27s\x20guard\x20reference\x20'+'(never\x20the\x20guard\x20table),\x20so\x20a\x20per-revisit-fee\x20cycle\x20(retake\x20/\x20session-card\x20shape)\x20is\x20UNPROVABLE\x20here\x20even\x20though\x20the\x20'+'allocation.balance\x20Guard\x20query\x20(1051,\x20witness\x20OrderAllocation\x20109)\x20makes\x20the\x20fee\x20enforceable\x20at\x20the\x20guard\x20layer\x20'+'(zero-value\x20re-delivery\x20cycles,\x20test/11\x20R2-F3\x20/\x20crs\x20P2-3).\x20THREE\x20WAYS\x20OUT\x20—\x20'+'(1)\x20NO-CHARGE\x20revisit\x20(F-06,\x20ctra-mn\x20261019:\x20a\x20delivered->in_progress\x20revision\x20loop\x20is\x20business-correct\x20and\x20was\x20false-CRITICAL\x20here):\x20'+'declare\x20`reentry_kind:\x20\x22review-loop\x22`\x20on\x20this\x20publish\x20payload\x20(AP-3\x20—\x20machine-checkable,\x20no\x20renaming\x20needed)\x20'+'OR\x20rename\x20ANY\x20ONE\x20node\x20of\x20the\x20cycle\x20with\x20a\x20remedy\x20word\x20root\x20the\x20classifier\x20reads\x20—\x20revis*/review*/rework*/refund*/cancel*/return*/claim*\x20'+'(e.g.\x20\x27revising\x27\x20instead\x20of\x20\x27in_progress\x27)\x20—\x20and\x20the\x20cycle\x20reclassifies\x20as\x20remedy\x20tier\x20(warning,\x20not\x20a\x20blocker);\x20'+'(2)\x20GENUINELY\x20charge-bearing\x20with\x20neutral\x20names:\x20declare\x20`reentry_kind:\x20\x22paid-cycle\x22`\x20(keeps\x20this\x20block\x20—\x20'+'it\x20is\x20the\x20declaration\x20of\x20intent)\x20and\x20bind\x20the\x20fund-gate\x20Guard\x20on\x20the\x20loop\x20forward\x20'+'(constant\x20=\x20order\x20address,\x20convert_witness\x20OrderAllocation,\x20allocation.balance\x20>=\x20revisit\x20fee)\x20AND\x20publish\x20through\x20a\x20template\x20'+'carrying\x20that\x20convention\x20—\x20PRE-STATE\x20CONSTRAINT\x20(esound-mn-261021\x20B-1):\x20the\x20gate\x20reads\x20the\x20COMMITTED\x20pre-transaction\x20'+'balance,\x20so\x20the\x20revisit\x20funds\x20must\x20be\x20committed\x20in\x20a\x20PRIOR\x20transaction.\x20'+TWO_TX_RENEW_RECIPE+'\x20'+'Alternatively\x20replace\x20the\x20loop\x20with\x20per-period\x20NEW\x20Orders\x20(REUSE\x20pattern\x20—\x20a\x20fresh\x20order\x20per\x20period\x20instead\x20of\x20an\x20in-order\x20loop\x20that\x20replays\x20its\x20forwards\x20every\x20lap).\x20'+'(3)\x20A\x20funded\x20renewal\x20loop\x20(post-period\x20node\x20back\x20into\x20a\x20charging\x20node,\x20advanced\x20via\x20the\x20one-PTB\x20order_renew\x20call,\x20'+'NO\x20balance\x20gate\x20on\x20the\x20renew\x20forward\x20—\x20see\x20the\x20PRE-STATE\x20CONSTRAINT\x20above)\x20'+'is\x20the\x20only\x20sanctioned\x20charge-bearing\x20cycle\x20shape\x20for\x20in-order\x20renewals.');l['length']>0x0&&d['push']('pre_publish:\x20machine\x20contains\x20renewal\x20loop\x20cycle(s)\x20'+l['map'](N=>'['+N['c']['cycle']['join']('\x20->\x20')+']')['join'](',\x20')+'\x20—\x20on-chain\x20a\x20revisit\x20'+'is\x20NOT\x20verified\x20to\x20re-fund\x20the\x20Allocation.\x20Every\x20renewal/loop\x20forward\x20MUST\x20carry\x20the\x20new-period\x20'+'payment\x20into\x20the\x20order\x20escrow\x20(use\x20the\x20order\x20call\x27s\x20order_renew\x20field:\x20create\x20the\x20period\x20payment,\x20receive\x20it\x20into\x20the\x20'+'allocation,\x20and\x20advance\x20the\x20progress\x20—\x20all\x20in\x20one\x20transaction),\x20or\x20the\x20loop\x20allows\x20zero-value\x20'+'re-delivery\x20cycles\x20(test/11\x20R2-F3).\x20'+'PRE-STATE\x20CONSTRAINT\x20(esound-mn-261021\x20B-1,\x20mainnet-verified):\x20a\x20guard\x20on\x20the\x20renew\x20forward\x20reading\x20'+'allocation.balance\x20(query\x201051)\x20evaluates\x20the\x20COMMITTED\x20pre-transaction\x20balance\x20—\x20the\x20same-PTB\x20order_renew\x20'+'payment\x20is\x20INVISIBLE\x20to\x20it,\x20so\x20a\x20balance-gated\x20renew\x20forward\x20ALWAYS\x20aborts.\x20NEVER\x20bind\x20a\x20balance\x20gate\x20to\x20a\x20'+'forward\x20that\x20order_renew\x20advances\x20in\x20the\x20same\x20PTB.\x20'+TWO_TX_RENEW_RECIPE+'\x20'+'The\x20zero-value\x20protection\x20rides\x20this\x20routing\x20convention\x20(order_renew\x27s\x20amount).');m['length']>0x0&&d['push']('pre_publish:\x20machine\x20contains\x20remedy\x20loop\x20cycle(s)\x20'+m['map'](N=>'['+N['c']['cycle']['join']('\x20->\x20')+']')['join'](',\x20')+'\x20—\x20'+'a\x20same-order\x20revisit\x20(revision/review/rework/refund/cancel\x20family)\x20implies\x20NO\x20new\x20charge,\x20so\x20no\x20fund\x20gate\x20is\x20needed\x20on\x20it\x20'+'(the\x20allocation.balance\x20query\x20exists\x20but\x20is\x20irrelevant\x20here).\x20Visible\x20by\x20design\x20(crs\x20P2-3):\x20if\x20the\x20business\x20EVER\x20intends\x20'+'a\x20revisit\x20to\x20cost\x20money,\x20that\x20fee\x20IS\x20enforceable\x20via\x20the\x20balance\x20query\x20(1051)\x20—\x20but\x20that\x20reshapes\x20the\x20cycle\x20into\x20the\x20'+'charge\x20tier\x20above;\x20keep\x20remedy\x20revisits\x20free\x20or\x20restructure\x20as\x20per-period\x20NEW\x20Orders.');for(const N of e){const O=typeof N?.['name']==='string'?N['name']:'?';for(const P of N?.['pairs']??[]){for(const Q of P?.['forwards']??[]){const R=Q?.['namedOperator']!==undefined&&Q?.['namedOperator']!==null,S=Q?.['permissionIndex']!==undefined&&Q?.['permissionIndex']!==null,T=Q?.['guard']!==undefined&&Q?.['guard']!==null;!R&&!S&&!T&&d['push']('pre_publish:\x20node\x20\x22'+O+'\x22\x20forward\x20\x22'+String(Q?.['name']??'?')+'\x22\x20has\x20no\x20executor\x20binding\x20(namedOperator\x20/\x20permissionIndex\x20/\x20guard)\x20—\x20no\x20one\x20can\x20advance\x20it');}}}const q=computeTerminalReachability(a),r=new Map(),s=new Map();for(const U of e){for(const V of U?.['pairs']??[]){const W=V?.['prev_node'];if(typeof W!=='string'||W==='')continue;for(const X of V?.['forwards']??[]){const Y=X?.['namedOperator']!=null&&String(X['namedOperator'])!==''?'operator:'+String(X['namedOperator']):X?.['permissionIndex']!=null?'permission:'+String(X['permissionIndex']):null;s['set'](W,(s['get'](W)??0x0)+0x1);if(Y!=null){const Z=r['get'](W)??new Set();Z['add'](Y),r['set'](W,Z);}}}}for(const [a0,a1]of r){(s['get'](a0)??0x0)>=0x1&&a1['size']===0x1&&d['push']('pre_publish:\x20LIVE-ACT-02\x20node\x20\x22'+a0+'\x22\x20—\x20every\x20outgoing\x20forward\x20binds\x20the\x20SAME\x20single\x20identity\x20('+[...a1]['join'](',\x20')+'):\x20'+'if\x20that\x20actor\x20goes\x20silent\x20the\x20order\x20LATCHES\x20here\x20and\x20the\x20escrow\x20freezes\x20—\x20there\x20is\x20no\x20counterparty\x20or\x20keeper\x20exit\x20'+'(alg26\x20261026\x20O9/O5\x20family:\x20changes_requested\x20with\x20only\x20a\x20contributor\x20resubmit\x20edge;\x20claimed\x20with\x20only\x20a\x20merchant\x20assign\x20edge).\x20'+'Design\x20the\x20exit\x20edge\x20NOW\x20(a\x20keeper\x20or\x20auto-close\x20forward\x20with\x20its\x20own\x20identity,\x20or\x20a\x20counterparty-signed\x20cancel/refund\x20edge)\x20—\x20'+'immutable\x20after\x20publish\x20(IMMUT-001).\x20If\x20single-operator-by-design,\x20this\x20warning\x20can\x20be\x20ignored.\x20'+'金额门槛≠人数门槛：单人一笔买足\x20threshold\x20金额即成团（本内核无\x20distinct-buyer\x20计数原语，见\x20UNEXPRESSIBLE\x20U-16）');}d['push'](...lintGoalLatch(a));const t=lintForwardAmbiguity(a,'pre_publish');return c['push'](...t['critical']),d['push'](...t['warnings']),q['unreachable']['length']>0x0&&d['push']('pre_publish:\x20unreachable\x20machine\x20node(s)\x20'+q['unreachable']['map'](a2=>'\x22'+a2+'\x22')['join'](',\x20')+'\x20—\x20'+'no\x20path\x20from\x20the\x20entry\x20pair\x20reaches\x20them;\x20dead\x20topology\x20is\x20frozen\x20at\x20publish\x20(IMMUT-001).\x20'+'Wire\x20them\x20into\x20the\x20flow\x20or\x20remove\x20them\x20before\x20publish'),{'critical':c,'warnings':d};}export const MISSED_REFUND_RAIL_REGEX=/refund.*missed|missed.*refund/i;export const MISSED_REFUND_GUARD_REGEX=/threshold_refund|missed_refund|refund.*missed|missed.*refund/i;export const MISSED_GOAL_NODE_REGEX=/(^|_)missed(_|$)/i;export function lintGoalLatch(a){const b=[];if(!Array['isArray'](a)||a['length']===0x0)return b;const c=a,d=i=>{if(typeof i==='number'&&Number['isFinite'](i))return i;if(typeof i==='string'&&/^\d+$/['test'](i['trim']()))return Number(i['trim']());return undefined;},e=i=>{if(typeof i==='string')return i;if(typeof i==='object'&&i!==null&&typeof i['guard']==='string')return String(i['guard']);return'';};let g;const h=[];for(const i of c){const j=typeof i?.['name']==='string'?i['name']:'?';for(const k of i?.['pairs']??[]){const l=d(k?.['threshold']);if(l!==undefined&&l>0x0&&g===undefined)g=j;const m=typeof k?.['prev_node']==='string'?k['prev_node']:'';for(const o of k?.['forwards']??[]){const q=typeof o?.['name']==='string'?o['name']:'',r=e(o?.['guard']),s=MISSED_REFUND_RAIL_REGEX['test'](q)||MISSED_REFUND_GUARD_REGEX['test'](r)||MISSED_GOAL_NODE_REGEX['test'](j)&&/refund/i['test'](q);s&&h['push']('\x22'+q+'\x22\x20->\x20'+(j===''?'(entry)':j)+(m!==''?'\x20(from\x20\x22'+m+'\x22)':''));}}}return g!==undefined&&h['length']>0x0&&b['push']('pre_publish:\x20GOAL-LATCH-01\x20—\x20threshold\x20pair\x20on\x20node\x20\x22'+g+'\x22\x20+\x20missed-goal\x20refund\x20rail(s)\x20'+(h['join'](',\x20')+':\x20this\x20all-or-nothing\x20shape\x20is\x20ONE-round\x20sound\x20only.\x20')+'Once\x20a\x20repository\x20key\x27s\x20aggregate\x20crosses\x20the\x20goal\x20the\x20kernel\x20latches\x20a\x20monotonic\x20GoalStamp\x20'+'(enable_progress_goal_latch)\x20and\x20the\x20aggregate\x20queries\x20(1179/1181)\x20saturate\x20to\x20max(sum,\x20stamp)\x20for\x20that\x20key\x20FOREVER\x20—\x20'+'the\x20same-key\x20\x22sum<goal\x22\x20missed\x20refund\x20rail\x20is\x20then\x20STRUCTURALLY\x20UNREACHABLE\x20(permanently\x20false),\x20'+'so\x20any\x20later\x20round\x20sharing\x20that\x20repository\x20key\x20can\x20never\x20refund\x20its\x20backers.\x20'+'Multi-round\x20campaigns\x20MUST\x20isolate\x20EVERY\x20round\x20under\x20its\x20OWN\x20repository\x20key\x20(per-campaign\x20key)\x20—\x20'+'decide\x20BEFORE\x20publish:\x20guards\x20and\x20topology\x20freeze\x20at\x20publish\x20(IMMUT-001)'),b;}export function computeTerminalReachability(a){const b=[],c=[];if(!Array['isArray'](a)||a['length']===0x0)return{'terminals':b,'unreachable':c};const d=a,e=new Map(),f=[],g=[];for(const j of d){const k=typeof j?.['name']==='string'?j['name']:'';if(!k)continue;f['push'](k);if(!e['has'](k))e['set'](k,[]);let l=![];for(const m of j?.['pairs']??[]){const o=m?.['prev_node'];if(o==='')l=!![];else{if(typeof o==='string'&&o!==''&&o!==k){const q=e['get'](o);if(q)q['push'](k);else e['set'](o,[k]);}}}if(l)g['push'](k);}if(f['length']===0x0||g['length']===0x0)return{'terminals':b,'unreachable':c};const h=new Set(),i=[...g];while(i['length']>0x0){const r=i['pop']();if(h['has'](r))continue;h['add'](r);for(const s of e['get'](r)??[])i['push'](s);}for(const t of f){if(!h['has'](t))c['push'](t);else{if((e['get'](t)??[])['length']===0x0)b['push'](t);}}return{'terminals':b,'unreachable':c};}export function chainNodeRailMatrix(a){const b=Array['isArray'](a)?a:[],{terminals:c}=computeTerminalReachability(b),d=new Set(c),e=[];for(const f of b){const g=typeof f?.['name']==='string'?f['name']:'';if(!g)continue;const h=f['optional']===!![]||/^closed_refunded$/i['test'](g),i=[];for(const k of f?.['pairs']??[]){const l=typeof k?.['prev_node']==='string'?k['prev_node']:'';if(l===''||l===g)continue;if(!i['includes'](l))i['push'](l);}const j={'name':g};if(d['has'](g)&&!h)j['semanticRole']='final';if(i['length']>0x0)j['fromNodes']=i;e['push'](j);}return e;}export const REVIEW_FAMILY_NODE_REGEX=/(^|_)(review|reviews|reviewed|reviewing|evaluated|evaluate|feedback|rating|rated)(_|$)/i;export function lintReviewLockedTerminals(a,b){const c=[],d=[];if(!Array['isArray'](a)||a['length']===0x0)return{'critical':c,'warnings':d};const e=a,h=u=>Array['isArray'](u?.['pairs'])?u['pairs']:Array['isArray'](u?.['value'])?u['value']:[],i=[],j=[],k=[];for(const u of e){const v=typeof u?.['name']==='string'?u['name']:'';if(!v)continue;j['push'](v);let w=![];for(const x of h(u)){const y=x,z=y?.['prev_node'];if(z==='')w=!![];const A=Array['isArray'](y?.['forwards'])?y['forwards']:[],B=[];for(const C of A){const D=C,E=D?.['guard'],F=typeof E==='string'&&E['trim']()!==''?E:E&&typeof E==='object'?E['guard']??E['$ref']:undefined;if(typeof F==='string'&&F['trim']()!=='')B['push'](F);}typeof z==='string'&&z!==''&&i['push']({'from':z,'to':v,'guardRefs':B});}if(w)k['push'](v);}if(j['length']===0x0||k['length']===0x0)return{'critical':c,'warnings':d};const l=computeTerminalReachability(a);if(l['terminals']['length']===0x0)return{'critical':c,'warnings':d};const m=G=>{if(G['guardRefs']['length']===0x0)return![];for(const H of G['guardRefs']){const I=b['get'](H['toLowerCase']());if(!I||I['length']===0x0)return![];const J=I['every'](K=>REVIEW_FAMILY_NODE_REGEX['test'](K));if(!J||I['includes'](G['from']))return![];}return!![];},o=G=>REVIEW_FAMILY_NODE_REGEX['test'](G),q=G=>{const H=new Map();for(const K of i){if(m(K))continue;if(G&&(o(K['from'])||o(K['to'])))continue;const L=H['get'](K['from']);if(L)L['push'](K['to']);else H['set'](K['from'],[K['to']]);}const I=new Set(),J=[...k];while(J['length']>0x0){const M=J['pop']();if(I['has'](M))continue;I['add'](M);for(const N of H['get'](M)??[])J['push'](N);}return I;},r=q(![]),s=q(!![]);for(const G of l['terminals']){if(!r['has'](G))c['push']('REVIEW-LOCK-01:\x20terminal\x20\x22'+G+'\x22\x20is\x20enterable\x20ONLY\x20through\x20forward(s)\x20whose\x20guard\x20pins\x20a\x20'+'review/feedback\x20node\x20the\x20edge\x20itself\x20does\x20not\x20depart\x20from\x20—\x20the\x20rail\x20can\x20never\x20fire\x20(the\x20guard\x20asserts\x20a\x20'+'progress\x20state\x20this\x20transition\x20cannot\x20produce),\x20so\x20a\x20buyer\x20who\x20never\x20reviews\x20strands\x20every\x20order\x27s\x20'+'escrow\x20permanently.\x20Machine\x20topology\x20is\x20immutable\x20after\x20publish\x20(IMMUT-001).\x20Fix\x20BEFORE\x20publish:\x20'+'re-pin\x20the\x20settlement\x20guard\x20to\x20the\x20node\x20the\x20forward\x20actually\x20departs\x20from,\x20and\x20add\x20a\x20time-lock\x20keeper\x20'+'auto-confirm\x20rail\x20(the\x20template\x20deliver_confirm_timeout\x20convention)\x20so\x20settlement\x20never\x20depends\x20on\x20the\x20'+'buyer\x20choosing\x20to\x20review');else!s['has'](G)&&d['push']('REVIEW-LOCK-01:\x20terminal\x20\x22'+G+'\x22\x20is\x20reachable\x20only\x20THROUGH\x20a\x20review/feedback\x20node\x20—\x20a\x20buyer\x20who\x20'+'silently\x20skips\x20reviewing\x20can\x20never\x20let\x20their\x20order\x20reach\x20it.\x20The\x20sanctioned\x20shape\x20keeps\x20the\x20review\x20'+'stop\x20OPTIONAL\x20with\x20an\x20exit\x20edge\x20back\x20to\x20the\x20settlement\x20rail,\x20and\x20a\x20keeper\x20time-lock\x20rail\x20that\x20opens\x20'+'settlement\x20independently\x20(retail\x20deliver_confirm_timeout\x20convention).\x20Verify\x20one\x20of\x20the\x20two\x20exists;\x20'+'if\x20the\x20review\x20node\x20is\x20meant\x20to\x20be\x20keeper-advanceable,\x20this\x20is\x20satisfied\x20and\x20may\x20be\x20ignored');}return{'critical':c,'warnings':d};}export function arbitrationVotingLockDetail(a){if(!Array['isArray'](a))return null;if(a['length']>0x0)return null;return'voting_guard\x20is\x20empty\x20(no\x20guard-weighted\x20voters).\x20Plain\x20votes\x20hard-require\x20the\x20vote\x20permission\x20(358)\x20on\x20the\x20'+'arbitration\x27s\x20own\x20Permission:\x20only\x20that\x20Permission\x27s\x20admin\x20(its\x20creator,\x20by\x20default)\x20and\x20explicit\x20358\x20'+'grantees\x20pass\x20the\x20assert,\x20so\x20without\x20grants\x20the\x20disputing\x20CUSTOMER\x20can\x20never\x20vote\x20and\x20the\x20arb\x20admin\x20is\x20the\x20'+'only\x20possible\x20voter\x20AND\x20the\x20judge\x20—\x20a\x20dispute\x20opened\x20against\x20this\x20service\x20dead-locks\x20when\x20that\x20admin\x20is\x20'+'unresponsive.\x20Configure\x20a\x20voting_guard\x20on\x20the\x20Arbitration\x20(voting_guard\x20op=\x27set\x27\x20with\x20guard\x20+\x20vote\x20'+'weight\x20—\x20the\x20field\x20stays\x20mutable\x20after\x20publish)\x20or\x20bind\x20an\x20arbitration\x20that\x20already\x20carries\x20one,\x20BEFORE\x20'+'publishing\x20this\x20service.\x20TRIAGE-261109\x20item\x20D\x20roster-first\x20prescription:\x20tpl_voting_guard_party_only\x20'+'(dispute\x20parties\x20+\x20venue\x20panel)\x20or\x20tpl_voting_guard_numeric_weight\x20(staff\x20roster\x20with\x20weights);\x20the\x20'+'always-true\x20tpl_voting_guard_open_vote\x20is\x20only\x20for\x20a\x20deliberately\x20PUBLIC\x20venue\x20and\x20requires\x20the\x20'+'publish-payload\x20ack\x20(arbitration_open_vote_ack\x20/\x20creation_plan\x20configure\x20step)';}export function arbitrationVotingGuardNoIdentityDetail(a,b){const c=(e,f=0x0)=>{if(f>0x18||e==null||typeof e!=='object')return![];const g=e;if(g['type']==='context'&&g['context']==='Signer')return!![];const h=Array['isArray'](g['nodes'])?g['nodes']:[];if(g['node']!=null&&typeof g['node']==='object')h['push'](g['node']);if(g['nodes']!=null&&!Array['isArray'](g['nodes'])&&typeof g['nodes']==='object')h['push'](g['nodes']);for(const i of Object['values'](g)){if(i!=null&&typeof i==='object'&&!Array['isArray'](i)&&i!==g)h['push'](i);}return h['some'](j=>c(j,f+0x1));};if(a==null||typeof a!=='object')return null;if(c(a))return null;const d=Array['isArray'](b)?b['length']:0x0;return'ARB-OPEN-VOTE-NO-IDENTITY:\x20this\x20voting_guard\x27s\x20root\x20has\x20NO\x20identity\x20leg\x20(no\x20Signer\x20comparison\x20anywhere\x20'+'in\x20the\x20tree),\x20so\x20EVERY\x20Passport\x20holder\x20passes\x20and\x20may\x20vote\x20—\x20on\x20a\x20venue\x20meant\x20for\x20the\x20dispute\x20parties\x20'+'that\x20is\x20a\x20ballot-integrity\x20hole\x20(mainnet\x20pddk-b4:\x20an\x20outsider\x20voted\x20on\x20a\x20live\x20case);\x20since\x20HIS-50\x20a\x20bare\x20'+'always-true\x20root\x20ALSO\x20lets\x20the\x20disputed\x20order\x27s\x20buyer\x20self-vote\x20their\x20own\x20case\x20(mainnet\x2031uLR2nh\x20—\x20the\x20'+'refund\x20swung\x20at\x20a\x20passing\x20threshold),\x20which\x20the\x20canonical\x20tpl_voting_guard_open_vote\x20shape\x20now\x20excludes.\x20'+'If\x20the\x20venue\x20is\x20'+'DELIBERATELY\x20public,\x20keep\x20this\x20shape\x20(tpl_voting_guard_open_vote)\x20and\x20disclose\x20the\x20open\x20universe;\x20'+'otherwise\x20rebind\x20a\x20party-scoped\x20guard\x20(tpl_voting_guard_party_only:\x20the\x20disputed\x20order\x27s\x20owner\x20via\x20'+'order.owner\x20+\x20the\x20arb.order\x20case\x20pin,\x20or\x20the\x20venue\x20panel\x20via\x20vec_contains_address)\x20while\x20voting_guard\x20'+'is\x20still\x20mutable'+(d>0x0?'\x20(the\x20guard\x27s\x20table\x20carries\x20'+d+'\x20row(s);\x20identity\x20is\x20about\x20the\x20ROOT\x20tree,\x20not\x20the\x20table)':'');}const TIME_PROFILE_UNIT_MS={'ms':0x1,'msec':0x1,'msecs':0x1,'millisecond':0x1,'milliseconds':0x1,'s':0x3e8,'sec':0x3e8,'secs':0x3e8,'second':0x3e8,'seconds':0x3e8,'m':0xea60,'min':0xea60,'mins':0xea60,'minute':0xea60,'minutes':0xea60,'h':0x36ee80,'hr':0x36ee80,'hrs':0x36ee80,'hour':0x36ee80,'hours':0x36ee80,'d':0x5265c00,'day':0x5265c00,'days':0x5265c00,'w':0x240c8400,'wk':0x240c8400,'wks':0x240c8400,'week':0x240c8400,'weeks':0x240c8400},TIME_PROFILE_DURATION_REGEX=/(\d+(?:\.\d+)?)\s*(ms|milliseconds?|msecs?|minutes?|mins?|seconds?|secs?|hours?|hrs?|days?|weeks?|wks?|min|sec|hr|wk|[smhdw])\b/gi,TIME_PROFILE_ADMISSION_REGEX=/compress(?:ed|ion)|accelerat(?:ed|ion)|shorten(?:ed)?(?:\s+for)?|test\s+(?:value|window|duration|constant)|demo\s+(?:value|window|duration)|for\s+(?:fast\s+|quick\s+)?test(?:ing)?|regression\s+(?:value|window)/i,TIME_PROFILE_FLOOR_MS=0x36ee80;function timeProfileIsTimeQuery(a){if(typeof a==='number')return a===0x4f7||a===0x4f8||a===0x500||a===0x507;if(typeof a==='string')return/(^|\.)time$|current_time/i['test'](a);return![];}function timeProfileNodeChildren(a){const b=[];for(const c of['nodes','node','nodeLeft','nodeRight','parameters','historyIdx','sessionIdx','forwardIdx','where','find','recipient']){const d=a[c];if(Array['isArray'](d))b['push'](...d);else{if(d&&typeof d==='object')b['push'](d);}}return b;}export function guardTimeProfileDetail(a){const b=typeof a['description']==='string'?a['description']:'',c=TIME_PROFILE_ADMISSION_REGEX['test'](b);let d=0x0;for(const r of b['matchAll'](TIME_PROFILE_DURATION_REGEX)){const s=TIME_PROFILE_UNIT_MS[r[0x2]['toLowerCase']()];if(!s)continue;const t=Number(r[0x1])*s;if(Number['isFinite'](t)&&t>d)d=t;}if(!c&&d===0x0)return null;const e=Array['isArray'](a['table'])?a['table']:[],f=u=>{const v=e['find'](w=>Number(w?.['identifier'])===u);return numericAmount(v?.['value']);},h=u=>{if(!u||typeof u!=='object')return![];const v=u;if(v['type']==='context'&&v['context']==='Clock')return!![];if(v['type']==='query'&&timeProfileIsTimeQuery(v['query']))return!![];if(v['type']==='query_progress_history_time')return!![];if(v['type']==='query_progress_history_time_or_zero')return!![];return timeProfileNodeChildren(v)['some'](h);},i=u=>{const w=Number(u['identifier']),x=f(w);if(x===undefined||x<=0x0)return null;const y=e['find'](A=>Number(A?.['identifier'])===w),z=y&&typeof y['name']==='string'&&y['name']!==''?y['name']:null;return{'identifier':w,'name':z,'value':x};},j=u=>{if(!u||typeof u!=='object')return[];const v=u;if(v['type']==='identifier'){const w=i(v);return w?[w]:[];}return timeProfileNodeChildren(v)['flatMap'](j);},k=[],l=(u,v)=>{if(!u||typeof u!=='object')return;const w=u,x=v||typeof w['type']==='string'&&w['type']['startsWith']('calc_');if(x&&w['type']==='calc_number_multiply'){const y=j(w);y['length']>0x0&&k['push']({'identifier':y[0x0]['identifier'],'name':y['map'](z=>z['name']??'#'+z['identifier'])['join']('*'),'value':y['reduce']((z,A)=>z*A['value'],0x1)});return;}if(w['type']==='identifier'&&x){const z=i(w);if(z)k['push'](z);}for(const A of timeProfileNodeChildren(w))l(A,x);};if(a['root']&&typeof a['root']==='object'&&h(a['root']))l(a['root'],![]);const n=k['find'](u=>u['value']<d/0x64),o=u=>u>=0x5265c00?u/0x5265c00+'d':u>=0x36ee80?u/0x36ee80+'h':u>=0xea60?u/0xea60+'min':u/0x3e8+'s',p=u=>u['name']??'slot\x20#'+u['identifier'];if(n!==undefined)return{'level':'critical','detail':'time\x20constant\x20'+p(n)+'\x20=\x20'+o(n['value'])+'\x20is\x20>=100x\x20below\x20the\x20production\x20duration\x20the\x20description\x20itself\x20'+('declares\x20('+o(d)+')\x20—\x20a\x20compressed\x20test\x20value\x20frozen\x20into\x20a\x20production\x20guard.\x20Note:\x20operands\x20of\x20a\x20')+'calc_number_multiply\x20are\x20judged\x20as\x20their\x20PRODUCT\x20(a\x20duration\x20times\x20dimensionless\x20factors),\x20not\x20per-operand.\x20Guards\x20'+'freeze\x20at\x20publish\x20(IMMUT-001),\x20so\x20the\x20window\x20will\x20enforce\x20the\x20compressed\x20value\x20against\x20real\x20orders\x20'+'(klook\x20mainnet\x20261014:\x20\x2724h\x20free\x20cancellation\x27\x20enforced\x20as\x202\x20minutes).\x20Rebuild\x20the\x20guard\x20with\x20the\x20'+'production\x20duration\x20from\x20the\x20template\x20fee_params\x20BEFORE\x20publishing'};if(c)return{'level':'warning','detail':'description\x20admits\x20compressed/accelerated\x20time\x20constants,\x20but\x20NO\x20time\x20constant\x20in\x20this\x20guard\x27s\x20logic\x20'+'tree\x20is\x20>=100x\x20below\x20the\x20declared\x20production\x20duration\x20—\x20the\x20values\x20look\x20production-scaled.\x20Manual\x20'+'review\x20requested\x20(prose\x20alone\x20no\x20longer\x20blocks\x20publish,\x20BF-07):\x20confirm\x20the\x20tree\x20constants\x20match\x20the\x20'+'production\x20durations\x20in\x20the\x20template\x20fee_params\x20BEFORE\x20publishing\x20—\x20guards\x20freeze\x20at\x20publish\x20'+'(IMMUT-001),\x20so\x20a\x20mis-scaled\x20window\x20(klook\x20mainnet\x20261014:\x20\x2724h\x20free\x20cancellation\x27\x20enforced\x20as\x202\x20'+'minutes)\x20is\x20UNFIXABLE'};const q=k['find'](u=>u['value']<TIME_PROFILE_FLOOR_MS);if(q!==undefined)return{'level':'warning','detail':'time\x20constant\x20'+p(q)+'\x20=\x20'+o(q['value'])+'\x20is\x20below\x20the\x20'+TIME_PROFILE_FLOOR_MS/0x36ee80+'h\x20sanity\x20floor\x20'+'(the\x20description\x20declares\x20no\x20production\x20duration\x20and\x20admits\x20no\x20compression,\x20yet\x20the\x20window\x20is\x20'+'sub-hour)\x20—\x20almost\x20always\x20a\x20compressed\x20test\x20value\x20frozen\x20into\x20the\x20guard.\x20Guards\x20freeze\x20at\x20publish\x20'+'(IMMUT-001):\x20confirm\x20the\x20value\x20is\x20intended\x20for\x20LIVE\x20traffic,\x20or\x20rebuild\x20with\x20the\x20production\x20'+'duration\x20from\x20the\x20template\x20fee_params\x20BEFORE\x20mainnet\x20publish\x20(ddmc2\x20F-11:\x20a\x203-minute\x20filing\x20'+'window\x20permanently\x20revoked\x20a\x20buyer\x27s\x20dispute\x20right\x20on\x20one\x20transport\x20retry)'};return null;}export function rewardRefsOf(a){const b=a?.['rewards'];if(typeof b==='string'&&b['trim']()!=='')return[b];if(Array['isArray'](b))return b['filter'](c=>typeof c==='string'&&c['trim']()!=='');if(Array['isArray'](b?.['objects']))return b['objects']['filter'](c=>typeof c==='string'&&c['trim']()!=='');return[];}export function rewardFundingShortfall(b){if(!b||typeof b!=='object')return null;const c=b['data']??b,d=Array['isArray'](c?.['guards'])?c['guards']:[],e=numericAmount(c?.['balance']?.['value']??c?.['balance']);if(e===undefined)return null;let f=0x0;for(const h of d){const i=h?.['amount'];if(i?.['type']!==0x1)continue;const j=numericAmount(i?.['value']?.['value']??i?.['value']);if(j!==undefined&&j>f)f=j;}if(f===0x0)return null;if(e>=f)return null;return{'balance':e,'maxPromise':f};}export function serviceRewardsUnfundedDetail(a){const b=rewardFundingShortfall(a);if(!b)return null;return'reward\x20pool\x20balance\x20'+b['balance']+'\x20cannot\x20cover\x20its\x20largest\x20single-claim\x20promise\x20('+b['maxPromise']+').\x20'+'The\x20on-chain\x20publish\x20entry\x20does\x20NOT\x20verify\x20reward\x20funding\x20—\x20a\x20failed\x20reward_fund\x20transfer\x20still\x20'+'publishes\x20(onlyfans\x20mainnet\x20261014\x20shipped\x20a\x20store\x20promising\x20cashback\x20with\x20an\x20empty\x20pool),\x20and\x20the\x20'+'claim\x20aborts\x20once\x20the\x20pool\x20drains.\x20Fund\x20the\x20Reward\x20(reward_fund)\x20up\x20to\x20expected_orders\x20x\x20per-claim\x20'+'amount,\x20or\x20remove\x20the\x20reward\x20binding\x20BEFORE\x20publishing\x20this\x20service';}export function rewardFundingGateFinding(a,b,c){const d=rewardFundingShortfall(a);if(!d)return null;const e=d['maxPromise']-d['balance'];if(c!==undefined&&c>=e)return{'level':'warning','message':'pre_publish:\x20OFN-C\x20reward-pool\x20funding\x20—\x20reward\x20\x22'+b+'\x22\x20is\x20underfunded\x20on-chain\x20right\x20now\x20'+('(balance\x20'+d['balance']+'\x20<\x20largest\x20promise\x20'+d['maxPromise']+'),\x20but\x20THIS\x20plan\x20schedules\x20a\x20')+('pending\x20coin_add\x20of\x20'+c+'\x20landing\x20after\x20the\x20publish\x20(F-22③\x20post-publish\x20funding\x20')+'handoff)\x20—\x20the\x20pool\x20covers\x20its\x20promise\x20once\x20that\x20step\x20lands.\x20Verify\x20the\x20funding\x20step\x27s\x20outcome\x20'+'before\x20opening\x20sales;\x20a\x20FAILED\x20funding\x20step\x20leaves\x20the\x20pool\x20short\x20and\x20claims\x20abort.'};const f=c!==undefined&&c>0x0?'\x20THIS\x20plan\x27s\x20pending\x20coin_add\x20of\x20'+c+'\x20covers\x20only\x20part\x20of\x20the\x20'+e+'\x20shortfall\x20—\x20top\x20it\x20up\x20before\x20relying\x20on\x20the\x20pool.':'';return{'level':'critical','message':'pre_publish:\x20OFN-C\x20reward-pool\x20funding\x20—\x20reward\x20\x22'+b+'\x22:\x20'+('reward\x20pool\x20balance\x20'+d['balance']+'\x20cannot\x20cover\x20its\x20largest\x20single-claim\x20promise\x20('+d['maxPromise']+').\x20')+'The\x20on-chain\x20publish\x20entry\x20does\x20NOT\x20verify\x20reward\x20funding\x20—\x20a\x20failed\x20reward_fund\x20transfer\x20still\x20'+'publishes\x20(onlyfans\x20mainnet\x20261014\x20shipped\x20a\x20store\x20promising\x20cashback\x20with\x20an\x20empty\x20pool),\x20and\x20the\x20'+'claim\x20aborts\x20once\x20the\x20pool\x20drains.\x20Fund\x20the\x20Reward\x20(reward_fund)\x20up\x20to\x20expected_orders\x20x\x20per-claim\x20'+'amount,\x20or\x20remove\x20the\x20reward\x20binding\x20BEFORE\x20publishing\x20this\x20service.'+f};}export const TASK_BINDING_REMEDIATION_ENTRY={'identifier':TASK_BINDING_SLOT,'b_submission':!![],'value_type':'Address','name':'task_binding\x20order\x20anchor\x20(protocol\x20slot\x20254;\x20written\x20by\x20order\x20creation)'};const TASK_BINDING_TRIGGER='the\x20triggering\x20Passport\x20must\x20submit\x20identifier\x20'+TASK_BINDING_SLOT+'\x20carrying\x20the\x20Order\x20address';export{declaresTaskBindingSlot};export const REFUND_RAIL_NODE_REGEX=/(^|_)(refund|refunded|cancel|cancelled|return|returned)(_|$)/i;export function lintTaskBindingAdvisories(a){const b=[];if(!Array['isArray'](a['table']))return b;const c=declaresTaskBindingSlot(a['table']),d=a['guardRef']!==undefined?'\x22'+a['guardRef']+'\x22':'this\x20guard';if(a['refundReentry']===!![]&&c)return b['push']({'code':'TASKBIND-254-REFUND-REPLAY','level':'warning','detail':'refund\x20rail\x20guard\x20'+d+'\x20declares\x20protocol\x20slot\x20'+TASK_BINDING_SLOT+'\x20(b_submission:\x20true).\x20'+(TASK_BINDING_SLOT+'\x20is\x20the\x20ONCE_FOR_OBJECT\x20task-binding\x20slot:\x20a\x20refund\x20rail\x20that\x20can\x20re-enter\x20its\x20')+'refund\x20node\x20in\x20a\x20later\x20period\x20(deposit\x20re-refund,\x20re-selected\x20order,\x20renewal\x20cycle)\x20re-fires\x20on\x20the\x20'+'SAME\x20order\x20and\x20aborts\x20E_ONCE_TRIGGERED\x20(code\x2016)\x20on\x20every\x20release\x20after\x20the\x20first\x20—\x20a\x20perpetual\x20'+('abort,\x20not\x20a\x20one-time\x20failure\x20(OFN\x20#P-04).\x20Remove\x20the\x20'+TASK_BINDING_SLOT+'\x20row\x20and\x20anchor\x20the\x20payee\x20')+'on\x20a\x20user\x20submission\x20slot\x20(slot\x200,\x20the\x20submitted\x20Order)\x20instead.\x20Guards\x20are\x20create-frozen\x20and\x20'+'order_allocators\x20freeze\x20at\x20service\x20publish\x20—\x20correct\x20it\x20BEFORE\x20the\x20irreversible\x20write.','remediation':{'entry':TASK_BINDING_REMEDIATION_ENTRY,'trigger':'delete\x20the\x20254\x20row;\x20pay\x20the\x20refund\x20through\x20a\x20user\x20slot\x20(slot\x200)\x20that\x20the\x20trigger\x20Passport\x20submits\x20'+'with\x20the\x20Order\x20address'}}),b;return a['allocatorBound']===!![]&&!c&&b['push']({'code':'TASKBIND-254-MISSING','level':'warning','detail':'allocator-bound\x20hand-composed\x20guard\x20'+d+'\x20declares\x20no\x20{identifier:\x20'+TASK_BINDING_SLOT+',\x20'+'b_submission:\x20true,\x20value_type:\x20\x22Address\x22}\x20row.\x20The\x20passport\x20only\x20emits\x20DECLARED\x20slots,\x20so\x20once\x20an\x20'+'order-bound\x20path\x20uses\x20this\x20guard\x20every\x20guarded\x20forward\x20aborts\x20(code\x2011)\x20—\x20and\x20a\x20NEW\x20buyer\x27s\x20first\x20'+'order\x20is\x20the\x20one\x20that\x20hits\x20the\x20254\x20placeholder\x20immediately.\x20Add\x20the\x20row\x20below;\x20the\x20trigger\x20Passport\x20'+('must\x20submit\x20identifier\x20'+TASK_BINDING_SLOT+'\x20(the\x20Order\x20address).\x20Guards\x20are\x20create-frozen\x20and\x20machine\x20')+'topology\x20/\x20order_allocators\x20freeze\x20at\x20publish\x20—\x20correct\x20it\x20BEFORE\x20the\x20irreversible\x20write.','remediation':{'entry':TASK_BINDING_REMEDIATION_ENTRY,'trigger':TASK_BINDING_TRIGGER}}),b;}export function lintMachineTaskBindingPreflight(a){if(!Array['isArray'](a['refs'])||a['refs']['length']===0x0)return[];if(a['resolved']['some'](f=>declaresTaskBindingSlot(f['table'])))return[];const b=new Set(a['resolved']['map'](f=>f['ref']['toLowerCase']())),c=a['refs']['filter'](f=>!b['has'](f['toLowerCase']())),d='NONE\x20of\x20this\x20machine\x27s\x20'+a['refs']['length']+'\x20forward\x20guard(s)\x20declares\x20the\x20protocol\x20slot\x20'+(TASK_BINDING_SLOT+'\x20Address\x20submission\x20row.\x20A\x20settlement/claim\x20guard\x20shared\x20with\x20an\x20allocator\x20rail,\x20and\x20every\x20')+'order-bound\x20forward,\x20will\x20abort\x20(code\x2011)\x20once\x20a\x20Service\x20attaches\x20—\x20a\x20new\x20buyer\x27s\x20first\x20order\x20hits\x20the\x20'+'placeholder\x20immediately.',e=a['readError']!==undefined?'the\x20forward-guard\x20definitions\x20could\x20not\x20be\x20read\x20('+a['readError']+'),\x20so\x20the\x20'+TASK_BINDING_SLOT+'\x20'+('declaration\x20is\x20UNVERIFIED.\x20Verify\x20'+d+'\x20Add\x20{identifier:\x20'+TASK_BINDING_SLOT+',\x20b_submission:\x20true,\x20')+'value_type:\x20\x22Address\x22}\x20to\x20each\x20guard\x20BEFORE\x20publish;\x20machine\x20topology\x20is\x20immutable\x20after\x20publish\x20and\x20'+'guards\x20are\x20create-frozen.':d+(c['length']>0x0?'\x20'+c['length']+'\x20ref(s)\x20could\x20not\x20be\x20resolved\x20by\x20this\x20read\x20('+c['join'](',\x20')+')\x20—\x20'+'their\x20declarations\x20are\x20unverified.':'')+('\x20Add\x20{identifier:\x20'+TASK_BINDING_SLOT+',\x20b_submission:\x20true,\x20value_type:\x20\x22Address\x22}\x20to\x20each\x20guard\x27s\x20table\x20')+'BEFORE\x20publish;\x20machine\x20topology\x20is\x20immutable\x20after\x20publish\x20(IMMUT-001)\x20and\x20guards\x20are\x20create-frozen.';return[{'code':a['readError']!==undefined?'TASKBIND-254-UNVERIFIED':'TASKBIND-254-MISSING','level':'warning','detail':e,'remediation':{'entry':TASK_BINDING_REMEDIATION_ENTRY,'trigger':TASK_BINDING_TRIGGER}}];}export function formatTaskBindingAdvisory(a,b='pre_publish'){return b+':\x20task-binding\x20advisory\x20['+a['code']+']\x20'+a['detail'];}export const AUDIT_RULES=[{'id':'audit_machine_bound','description':'Service\x20should\x20have\x20a\x20Machine\x20workflow\x20bound\x20before\x20publish','severity':'warning','fields':['machine'],'check':(a,b)=>{if(!a?.['publish'])return!![];return!!a?.['machine'];},'message':()=>'Publishing\x20a\x20service\x20without\x20a\x20Machine\x20workflow.\x20Customers\x20won\x27t\x20have\x20a\x20structured\x20order\x20process.','recommendation':'Create\x20a\x20Machine\x20(workflow\x20template)\x20and\x20bind\x20it\x20to\x20the\x20service\x20before\x20publishing.\x20The\x20machine\x20field\x20becomes\x20IMMUTABLE\x20after\x20publish.'},{'id':'audit_order_allocators','description':'Service\x20should\x20have\x20order_allocators\x20for\x20fund\x20distribution','severity':'warning','fields':['order_allocators'],'check':a=>{if(!a?.['publish'])return!![];return allocatorCountOf(a)>0x0;},'message':()=>'Publishing\x20a\x20service\x20without\x20order_allocators.\x20Order\x20funds\x20cannot\x20be\x20auto-distributed\x20to\x20suppliers.','recommendation':'Configure\x20order_allocators\x20before\x20publishing\x20—\x20this\x20field\x20becomes\x20IMMUTABLE\x20after\x20publish.'},{'id':'audit_buy_guard','description':'Service\x20should\x20have\x20a\x20buy_guard\x20for\x20customer\x20screening','severity':'info','fields':['buy_guard'],'check':a=>!!a?.['buy_guard'],'message':()=>'No\x20buy_guard\x20configured\x20—\x20anyone\x20can\x20purchase\x20this\x20service\x20without\x20verification.','recommendation':'Consider\x20adding\x20a\x20Guard\x20to\x20verify\x20customer\x20eligibility\x20(e.g.,\x20identity,\x20wallet\x20balance,\x20location).'},{'id':'audit_arb_alloc_boundary','description':'Arbitration\x20and\x20Allocator\x20coexist\x20→\x20surface\x20the\x20two-system\x20boundary\x20reminder','severity':'warning','fields':['arbitrations','compensation_fund_add','compensation_fund','order_allocators'],'check':a=>{if(!a?.['publish'])return!![];const b=arbitrationRefsOf(a)['length']>0x0||compensationFundOf(a)!==undefined;return!(b&&allocatorCountOf(a)>0x0);},'message':()=>'Arbitration\x20and\x20Allocator\x20are\x20INDEPENDENT\x20systems\x20by\x20design:\x20a\x20ruling\x20records\x20the\x20case\x20and\x20pays\x20from\x20the\x20service\x20compensation\x20fund\x20—\x20it\x20never\x20moves\x20escrow\x20and\x20never\x20advances\x20the\x20workflow.\x20Two-rail\x20independence\x20(decision\x2011):\x20the\x20escrow\x20refund\x20and\x20the\x20arbitration\x20award\x20are\x20separate\x20commercial\x20payouts\x20on\x20independent\x20tracks\x20—\x20a\x20buyer\x20MAY\x20collect\x20BOTH,\x20which\x20is\x20legal\x20and\x20disclosed\x20at\x20the\x20MCP\x20dual-payout\x20confirmation\x20gate.\x20This\x20is\x20a\x20boundary\x20reminder,\x20not\x20a\x20defect.','recommendation':'Keep\x20the\x20refund/settlement\x20rail\x20NODE-gated\x20(terminal\x20refund/settle\x20node)\x20and\x20free\x20of\x20any\x20order.claimed_by\x20leg\x20(decision\x2011:\x20RAIL_CLAIMED_BY_LEG\x20/\x20R-FUND-RAIL-CLAIMED-BY\x20critical\x20backstop).\x20Disclose\x20the\x20refund+award\x20overlap\x20at\x20the\x20dual-payout\x20confirmation\x20gate\x20instead\x20of\x20engineering\x20a\x20mutual\x20exclusion.\x20Do\x20NOT\x20couple\x20the\x20systems\x20the\x20other\x20way\x20(no\x20dispute\x20state\x20on\x20the\x20order\x20flow,\x20no\x20workflow\x20step\x20into\x20arbitration).\x20For\x20per-case\x20fund\x20actions,\x20the\x20deposit-reimbursement\x20pattern\x20(guard-design\x20patterns)\x20is\x20the\x20supported\x20route.'},{'id':'audit_compensation_fund','description':'Service\x20should\x20have\x20a\x20compensation_fund\x20for\x20trust','severity':'warning','fields':['compensation_fund_add','compensation_fund'],'check':a=>compensationFundOf(a)!==undefined,'message':()=>'No\x20compensation_fund\x20configured.\x20Customers\x20have\x20no\x20financial\x20protection\x20if\x20you\x20fail\x20to\x20deliver.','recommendation':'Deposit\x20via\x20compensation_fund_add\x20{balance}\x20to\x20enable\x20arbitration\x20payouts.\x20The\x20fund\x20deters\x20fraud\x20and\x20enables\x20arbitration\x20claims.'},{'id':'audit_arbitrations','description':'Service\x20should\x20have\x20arbitration\x20options\x20for\x20dispute\x20resolution','severity':'info','fields':['arbitrations'],'check':a=>arbitrationRefsOf(a)['length']>0x0,'message':()=>'No\x20arbitration\x20configured.\x20Disputes\x20cannot\x20be\x20resolved\x20through\x20a\x20third\x20party.','recommendation':'Add\x20at\x20least\x20one\x20Arbitration\x20object\x20via\x20arbitrations:{op:\x27add\x27,\x20objects:[...]}\x20to\x20enable\x20on-chain\x20dispute\x20resolution.'},{'id':'audit_arbitration_removal_strands_awards','description':'Removing\x20an\x20authorized\x20venue\x20can\x20strand\x20an\x20award\x20it\x20already\x20ruled\x20on','severity':'error','fields':['arbitrations'],'check':a=>{const b=a?.['arbitrations']?.['remove']??a?.['arbitrations']?.['clear'],c=Array['isArray'](b)?b['length']>0x0:a?.['arbitrations']?.['op']==='clear';if(!c)return!![];if(arbitrationRefsOf(a)['length']>0x0)return!![];return compensationFundOf(a)===undefined;},'message':a=>{const b=a?.['arbitrations']?.['clear']?'every\x20authorized\x20venue':'venue(s)\x20'+(a?.['arbitrations']?.['remove']??[])['join'](',\x20');return'Removing\x20'+b+'\x20while\x20a\x20compensation\x20fund\x20is\x20configured\x20makes\x20any\x20award\x20it\x20already\x20ruled\x20on\x20UNPAYABLE:\x20an\x20on-chain\x20payout\x20now\x20requires\x20the\x20deciding\x20venue\x20to\x20still\x20be\x20on\x20the\x20Service\x27s\x20allowlist,\x20so\x20paying\x20out\x20aborts\x20with\x20E_ARBITRATION_NOT_ALLOWED=39\x20and\x20the\x20escrowed\x20funds\x20stay\x20stranded.';},'recommendation':'Before\x20removing\x20a\x20venue,\x20confirm\x20no\x20case\x20it\x20ruled\x20on\x20is\x20still\x20awaiting\x20compensation\x20payout\x20(query\x20the\x20Arb\x20objects\x20for\x20status\x20Arbitrated,\x20not\x20Finished).\x20Add\x20the\x20replacement\x20venue\x20FIRST,\x20drain\x20the\x20old\x20venue\x27s\x20cases,\x20and\x20only\x20then\x20remove\x20it.\x20A\x20buyer\x20should\x20never\x20be\x20left\x20holding\x20an\x20uncollectable\x20award.'},{'id':'audit_price','description':'Service\x20should\x20have\x20at\x20least\x20one\x20priced\x20sale\x20item','severity':'error','fields':['sales'],'check':a=>{const b=salesItemsOf(a);if(b['length']===0x0)return!![];return b['some'](c=>c?.['price']!==undefined&&c?.['price']!==null);},'message':()=>'Sales\x20list\x20present\x20but\x20no\x20item\x20has\x20a\x20price.\x20Customers\x20cannot\x20place\x20orders\x20without\x20knowing\x20the\x20cost.','recommendation':'Set\x20price\x20on\x20each\x20sales\x20item\x20(smallest-unit\x20string\x20or\x20display\x20form\x20like\x20\x272.5WOW\x27).'},{'id':'audit_compensation_fund_covers_award_ceiling','description':'compensation_fund\x20should\x20cover\x20the\x203x\x20award\x20ceiling\x20of\x20the\x20largest\x20sale\x20(disclosure)','severity':'warning','fields':['compensation_fund_add','compensation_fund','sales'],'check':a=>{if(!a?.['publish'])return!![];const b=compensationFundOf(a);if(b===undefined)return!![];const c=numericAmount(b);if(c===undefined)return!![];if(c===0x0)return![];const e=salesItemsOf(a)['map'](g=>numericAmount(g?.['price']))['filter'](g=>g!==undefined&&g>0x0);if(e['length']===0x0)return!![];const f=e['reduce']((g,h)=>g+h,0x0);return c>=MAX_INDEMNITY_MULTIPLE*f;},'message':()=>'compensation_fund\x20does\x20not\x20cover\x20the\x20award\x20ceiling\x20of\x20the\x20largest\x20sale.\x20An\x20award\x20is\x20hard-capped\x20at\x20'+MAX_INDEMNITY_MULTIPLE+'x\x20'+'the\x20order\x20amount\x20(the\x20MAX_INDEMNITY_MULTIPLE\x20cap,\x20enforced\x20at\x20ruling\x20time),\x20so\x20a\x20ruling\x20at\x20the\x20ceiling\x20'+'would\x20abort\x20the\x20buyer\x27s\x20claim\x20with\x2027\x20(E_COMPENSATION_NOT_MATCH)\x20—\x20the\x20ruling\x20stands\x20but\x20is\x20unpayable\x20'+'until\x20you\x20deposit,\x20and\x20the\x20abort\x20does\x20NOT\x20consume\x20the\x20claim.\x20Disclosure\x20only:\x20this\x20no\x20longer\x20blocks\x20'+'publish\x20—\x20per-order\x20coverage\x20is\x20enforced\x20at\x20BUY\x20time\x20(the\x20buyer\x27s\x20order\x20is\x20rejected\x20while\x20the\x20fund\x20'+'cannot\x20cover\x203x\x20that\x20order),\x20so\x20under-ceiling\x20funding\x20stops\x20sales\x20instead\x20of\x20stranding\x20awards.','recommendation':'For\x20every\x20order\x20you\x20want\x20to\x20sell,\x20keep\x20the\x20fund\x20at\x20>=\x20'+MAX_INDEMNITY_MULTIPLE+'x\x20THAT\x20order\x20via\x20'+'compensation_fund_add\x20(a\x200.49\x20course\x20needs\x201.47;\x20a\x203.99\x20course\x20needs\x2011.97\x20—\x20no\x20cross-SKU\x20subsidy).\x20'+('Above\x20'+MAX_INDEMNITY_MULTIPLE+'x\x20the\x20current\x20order\x20is\x20optional:\x20it\x20only\x20buys\x20tolerance\x20for\x20several\x20')+'CONCURRENT\x20claims\x20against\x20the\x20one\x20per-Service\x20pool\x20(there\x20is\x20no\x20on-chain\x20concurrency\x20limit),\x20which\x20'+'is\x20a\x20capital-allocation\x20choice.\x20A\x20service\x20with\x20NO\x20fund\x20sells\x20freely\x20—\x20that\x20is\x20the\x20documented\x20'+'no-protection\x20posture\x20(audit_compensation_fund\x20discloses\x20it;\x20buyers\x20see\x20coverage\x20via\x20order\x20monitor).'},{'id':'audit_description','description':'Service\x20should\x20have\x20a\x20description','severity':'warning','fields':['description'],'check':a=>typeof a?.['description']==='string'&&a['description']['length']>0x0,'message':()=>'Service\x20has\x20no\x20description.\x20Customers\x20won\x27t\x20understand\x20what\x20you\x27re\x20offering.','recommendation':'Write\x20a\x20clear\x20description\x20of\x20the\x20service,\x20including\x20deliverables,\x20timelines,\x20and\x20terms.'},{'id':'audit_named_new_name','description':'Service\x20being\x20created\x20should\x20have\x20a\x20name','severity':'warning','check':a=>serviceNameOf(a)!==undefined,'message':()=>'Creating\x20a\x20service\x20without\x20a\x20name\x20makes\x20it\x20hard\x20to\x20reference\x20and\x20organize.','recommendation':'Set\x20object:{name:\x20...}\x20(or\x20namedNew.name)\x20following\x20the\x20convention:\x20<projectPrefix>_<service>_<purpose>.'},{'id':'audit_customer_required_needs_um','description':'customer_required\x20requires\x20a\x20Contact\x20bound\x20via\x20um\x20(SDK-enforced\x20hard\x20link;\x20mirrored\x20here)','severity':'error','fields':['customer_required','um'],'check':a=>{const b=Array['isArray'](a?.['customer_required'])?a['customer_required']:[];if(b['length']===0x0)return!![];return!!a?.['um'];},'message':()=>'customer_required\x20is\x20set\x20but\x20no\x20Contact\x20is\x20bound\x20via\x20um\x20—\x20customers\x20cannot\x20deliver\x20the\x20required\x20private\x20information\x20through\x20end-to-end\x20encrypted\x20Messenger.','recommendation':'Bind\x20um:{Contact\x20name/id}\x20in\x20the\x20same\x20call\x20(SDK\x20order_new\x20will\x20fail\x20the\x20buyer\x20otherwise).'},{'id':'audit_customer_required_is_declared_not_enforced','description':'customer_required\x20has\x20no\x20on-chain\x20enforcement\x20at\x20buy\x20time\x20—\x20a\x20Guard\x20must\x20gate\x20fulfilment','severity':'warning','fields':['customer_required'],'check':a=>{const b=Array['isArray'](a?.['customer_required'])?a['customer_required']:[];return b['length']===0x0;},'message':a=>{const b=Array['isArray'](a?.['customer_required'])?a['customer_required']:[];return'customer_required\x20('+b['length']+'\x20field(s):\x20'+b['join'](',\x20')+')\x20is\x20DECLARATIVE\x20ONLY:\x20the\x20on-chain\x20purchase\x20entry\x20never\x20reads\x20this\x20list,\x20so\x20an\x20order\x20that\x20supplies\x20none\x20of\x20these\x20fields\x20is\x20still\x20created\x20and\x20progresses.\x20Nothing\x20on-chain\x20will\x20stop\x20it.';},'recommendation':'Bind\x20pattern.required_info_evidence_gate\x20(schema_query\x20action=get_guard_design_patterns)\x20on\x20the\x20first\x20forward\x20that\x20needs\x20the\x20information:\x20query\x20\x27order.required_info\x20some\x27\x20(1572)\x20over\x20the\x20Order.\x20The\x20buyer\x20records\x20the\x20credential\x20via\x20order_required_info_update:\x20EITHER\x20the\x20merchant\x27s\x20IM\x20user\x20address\x20resolved\x20from\x20the\x20Service\x27s\x20Contact\x20(zero\x20cost,\x20address\x20record\x20only)\x20OR\x20an\x20on-chain\x20WTS\x20Proof\x20object\x20address\x20(embeds\x20the\x20merchant\x20IM\x20address\x20and\x20the\x20last-message\x20timestamp;\x20costs\x20gas,\x20publicly\x20verifiable).\x20\x27order.required_info\x27\x20(1573)\x20returns\x20the\x20recorded\x20address\x20but\x20aborts\x20while\x20nothing\x20is\x20recorded\x20—\x20gate\x20on\x201572\x20first.\x20When\x20the\x20listing\x20genuinely\x20promises\x20a\x20PER-ORDER\x20credential,\x20prefer\x20the\x20controlled\x20bind\x20entry\x20(order_required_info_bind):\x20the\x20chain\x20verifies\x20the\x20Proof\x20is\x20about\x20THIS\x20order\x20and\x20owner-created\x20at\x20write\x20time\x20and\x20rejects\x20a\x20mismatch\x20—\x20no\x20guard\x20needed\x20to\x20catch\x20a\x20wrong-proof\x20record.\x20BOUNDARY:\x20that\x20binding\x20proves\x20the\x20credential\x20AUTHOR\x20only,\x20never\x20its\x20content\x20or\x20any\x20rating\x20—\x20do\x20not\x20mirror\x20it\x20onto\x20review/reward\x20claims;\x20public\x20reviews\x20are\x20Repository\x20rows\x20whose\x20values\x20are\x20enforced\x20guard-side\x20via\x20data-value\x20probes,\x20not\x20through\x20Proof\x20objects.'},{'id':'audit_dangling_deps','description':'Service\x20dependencies\x20should\x20be\x20fully\x20created','severity':'error','check':(a,b)=>{if(!a?.['publish'])return!![];if(!b?.['graph'])return!![];const c=b['graph']['findDanglingDependencies']()??[];return c['length']===0x0;},'message':()=>'Service\x20references\x20objects\x20that\x20are\x20not\x20yet\x20created.\x20Publishing\x20will\x20lock\x20these\x20references.','recommendation':'Ensure\x20all\x20referenced\x20objects\x20(machine,\x20allocators,\x20guards)\x20are\x20created\x20and\x20finalized\x20before\x20publishing.'},{'id':'audit_type_parameter','description':'Service\x20should\x20have\x20a\x20token\x20type\x20specified','severity':'info','fields':['type_parameter','namedNew'],'check':a=>typeParameterOf(a)!==undefined,'message':()=>'No\x20payment\x20token\x20type\x20specified.\x20Defaulting\x20to\x20WOW\x20(0x2::wow::WOW).','recommendation':'Explicitly\x20set\x20type_parameter\x20(inside\x20object:{...})\x20if\x20you\x20want\x20to\x20accept\x20non-WOW\x20tokens\x20(e.g.,\x20USDT,\x20ETH).'},{'id':'audit_wip_unreachable_url','description':'sale.wip\x20must\x20be\x20a\x20publicly\x20reachable\x20URL\x20(no\x20localhost/LAN/file\x20paths)','severity':'error','fields':['sales'],'check':(a,b)=>{if(typeof b?.['network']==='string'&&/local/i['test'](b['network']))return!![];const c=salesItemsOf(a);if(c['length']===0x0)return!![];return c['every'](e=>{const f=e?.['wip'];if(typeof f!=='string'||f['trim']()==='')return!![];return!/^(https?:\/\/)?(localhost|127\.0\.0\.1|\[::1\]|0\.0\.0\.0)/i['test'](f)&&!/^https?:\/\/(192\.168\.|10\.|172\.(1[6-9]|2\d|3[01])\.)/i['test'](f)&&!/^file:/i['test'](f);});},'message':a=>{const b=salesItemsOf(a)['map'](c=>String(c?.['wip']??''))['filter'](c=>c!==''&&(/^(https?:\/\/)?(localhost|127\.0\.0\.1|\[::1\]|0\.0\.0\.0)/i['test'](c)||/^https?:\/\/(192\.168\.|10\.|172\.(1[6-9]|2\d|3[01])\.)/i['test'](c)||/^file:/i['test'](c)));return'sale.wip\x20is\x20NOT\x20publicly\x20reachable\x20('+b['join'](',\x20')+').\x20The\x20URL\x20is\x20stored\x20on-chain\x20and\x20every\x20'+'customer\x20fetches\x20it\x20at\x20order\x20time\x20—\x20order_new\x20aborts\x20100%\x20for\x20anyone\x20outside\x20your\x20machine.\x20'+'Host\x20the\x20file\x20publicly:\x20wip_file\x20upload\x20to\x20the\x20official\x20free\x20host\x20(wip.store.wowok.net)\x20or\x20your\x20own\x20'+'endpoint\x20(GitHub\x20Pages\x20/\x20IPFS\x20/\x20your\x20website)';},'recommendation':'Replace\x20the\x20internal\x20URL\x20with\x20a\x20public\x20one.\x20Internal\x20URLs\x20are\x20sanctioned\x20ONLY\x20on\x20env.network=localnet\x20for\x20testing.'},{'id':'audit_wip_missing_public','description':'On\x20public\x20networks\x20every\x20sale\x20item\x20should\x20carry\x20a\x20product-detail\x20(wip)\x20URL','severity':'info','fields':['sales'],'check':(a,b)=>{const c=b?.['network'];if(typeof c==='string'&&/local/i['test'](c))return!![];const e=salesItemsOf(a);if(e['length']===0x0)return!![];return e['every'](f=>typeof f?.['wip']==='string'&&f['wip']['trim']()!=='');},'message':()=>'One\x20or\x20more\x20sale\x20items\x20have\x20NO\x20product-detail\x20(wip)\x20URL.\x20The\x20listing\x20works,\x20but\x20customers\x20see\x20no\x20detail\x20'+'page\x20and\x20the\x20service\x27s\x20market\x20completeness\x20score\x20is\x20downgraded.\x20Easiest:\x20upload\x20the\x20detail\x20file\x20with\x20the\x20'+'wip_file\x20tool\x20to\x20the\x20official\x20free\x20host\x20(https://wip.store.wowok.net\x20—\x2010\x20files\x20per\x20account,\x20180-day\x20'+'retention,\x2012MB/file)\x20and\x20put\x20the\x20returned\x20URL\x20into\x20sale.wip;\x20or\x20host\x20your\x20own\x20(GitHub\x20Pages\x20/\x20IPFS\x20/\x20'+'your\x20website).\x20For\x20long-lived\x20mainnet\x20listings\x20prefer\x20your\x20own\x20endpoint\x20so\x20the\x20detail\x20outlives\x20the\x20free\x20'+'retention\x20window','recommendation':'Upload\x20a\x20WIP\x20file\x20via\x20wip_file\x20and\x20set\x20sale.wip\x20on\x20each\x20item\x20before/after\x20publish\x20(sales\x20stays\x20modifiable).'},{'id':'audit_free_cancel_window_anchor','description':'A\x20free-cancellation\x20window\x20must\x20either\x20ride\x20the\x20stay-date\x20Repository\x20rail\x20or\x20be\x20disclosed\x20as\x20anchored\x20on\x20booking\x20time','severity':'warning','fields':['creation_plan'],'check':(a,b)=>{if(!a?.['publish'])return!![];const c=Array['isArray'](a?.['creation_plan']?.['guards'])?a['creation_plan']['guards']:[],e=c['some'](h=>{const i=typeof h?.['key']==='string'?h['key']:'',j=typeof h?.['purpose']==='string'?h['purpose']:'';return/free[._ ]?cancel/i['test'](i)||/cancell?ation/i['test'](j)&&/window|hours?|days?/i['test'](j);});if(!e)return!![];const f=c['some'](h=>{const i=typeof h?.['template_id']==='string'?h['template_id']:'',j=typeof h?.['purpose']==='string'?h['purpose']:'',k=/repository_data_check/i['test'](i)&&/stay[._ ]?date|use[._ ]?date|check[._ ]?in[._ ]?date|arrival/i['test'](j),l=/anchored on (booking|order\.time)|booking time by default|service_start_ms|absolute (service|departure|event|use) (start|date)/i['test'](j);return k||l;});return f;},'message':()=>'A\x20free-cancellation\x20window\x20is\x20declared\x20WITHOUT\x20a\x20stay-date\x20anchor\x20and\x20WITHOUT\x20a\x20booking-time\x20disclosure.\x20'+'The\x20chain\x20has\x20no\x20use-date\x20primitive\x20(order.time\x20is\x20the\x20BOOKING\x20moment\x20—\x20written\x20once,\x20immutable),\x20so\x20the\x20'+'window\x20enforces\x20as\x20\x27from\x20booking\x27.\x20If\x20your\x20buyer-facing\x20copy\x20promises\x20\x27X\x20hours\x20before\x20arrival/check-in\x27,\x20'+'the\x20promised\x20window\x20has\x20typically\x20ALREADY\x20CLOSED\x20at\x20booking\x20(bkd8\x20BK-02,\x20live\x20mainnet)\x20—\x20a\x20silent\x20policy\x20'+'inversion\x20that\x20mis-sells\x20the\x20listing.\x20TWO\x20WAYS\x20OUT:\x20(1)\x20FAITHFUL\x20WINDOW\x20—\x20ride\x20the\x20STAY-DATE\x20PRESCRIPTION\x20'+'(time_anchors.free_cancel\x20in\x20the\x20travel\x20templates):\x20a\x20batched\x20id_from\x20None(0)\x20\x27stay_date\x27\x20row\x20(u64\x20epoch-ms)\x20'+'written\x20into\x20the\x20order-scoped\x20Repository\x20at\x20buy\x20time,\x20plus\x20a\x20pattern.repository_data_check\x20leg\x20comparing\x20'+'Clock\x20against\x20row\x20+\x20window\x20offset\x20(CLOSING\x20<=);\x20(2)\x20HONEST\x20DEFAULT\x20—\x20keep\x20the\x20booking-time\x20anchor\x20and\x20state\x20'+'\x27free\x20cancellation\x20within\x20X\x20hours\x20of\x20BOOKING\x27\x20in\x20the\x20buyer-facing\x20copy\x20so\x20the\x20promise\x20matches\x20the\x20chain','recommendation':'Either\x20add\x20the\x20stay-date\x20Repository\x20row\x20+\x20repository_data_check\x20leg\x20(faithful\x20pre-use\x20window),\x20or\x20restate\x20the\x20cancellation\x20policy\x20as\x20\x27from\x20booking\x27\x20in\x20all\x20buyer-facing\x20copy.'}];function readSeverityOverrides(){try{const {getJudgmentDoc:a}=require('../config/judgment.js');if(typeof a!=='function')return{};const b=a()?.['rules']?.['domains'];if(!b||typeof b!=='object')return{};const c={};for(const d of Object['values'](b)){const e=d?.['severity_overrides'];if(!e||typeof e!=='object')continue;for(const [f,g]of Object['entries'](e)){if(g==='error'||g==='warning'||g==='info')c[f]=g;}}return c;}catch{return{};}}export function auditService(a,b){const c=[],d=a?.['publish']===!![]&&typeof a?.['object']==='string',e=readSeverityOverrides();for(const f of AUDIT_RULES){try{if(d&&f['fields']&&!f['fields']['some'](g=>a[g]!==undefined))continue;!f['check'](a,b)&&c['push']({'rule_id':f['id'],'severity':e[f['id']]??f['severity'],'message':f['message'](a),'recommendation':f['recommendation']});}catch{}}return c;}export function hasBlockingErrors(a){return a['some'](b=>b['severity']==='error');}export function getErrors(a){return a['filter'](b=>b['severity']==='error');}export function getWarnings(a){return a['filter'](b=>b['severity']==='warning');}export function summarizeFindings(a){if(a['length']===0x0)return'All\x20audit\x20checks\x20passed.';const b=getErrors(a),c=getWarnings(a),d=a['filter'](g=>g['severity']==='info'),e=[];if(b['length']>0x0)e['push'](b['length']+'\x20error(s)');if(c['length']>0x0)e['push'](c['length']+'\x20warning(s)');if(d['length']>0x0)e['push'](d['length']+'\x20info');return'Audit:\x20'+e['join'](',\x20')+'.\x20Review\x20before\x20publishing.';}export const AUDIT_RULES_VERSION=0xc;