@wowok/agent-mcp 3.4.3 → 3.4.4

package/dist/knowledge/param-tiers.js

@@ -1 +1 @@
-export const TIER_NAMES={0x1:'money\x20&\x20admission',0x2:'time\x20&\x20payout',0x3:'flow\x20switch',0x4:'role\x20&\x20permission',0x5:'disclosure\x20&\x20copy'};const BENCHMARK_KEYS=new Set(['incumbent_take_bps','merchant_service_fee_bps','platform_rate_cap_bps','contract_fee_large_usd','contract_fee_tier_boundary_usd','digital_product_fee_bps','digital_product_fee_min_usd','digital_product_fee_max_usd','min_contract_usd']),BUILD_PRESCRIPTION_KEYS=new Set(['creator_settlement_retain_bps','arb_indemnity_floor_bps']);export const GENERATION_SHAPE_KEYS=new Set(['month_release_day','stay_nights','segment_count','term_count','session_count','term_price','max_months','lease_months','monthly_allocators','early_exit_penalty_months','tuition_usd','course_price_usd','subscription_monthly_usd','annual_plan_usd']);export const EXTERNAL_CARRIER_KEYS=new Set(['arbitration_fee_usd','courier_tip_bps','max_discount_bps','merchant_service_fee_bps','dispute_timeout_days','revision_rounds_max','triage_window_days','setting_lock_days','renewal_reminder_days','preferred_property_rate_bps','courier_fee','min_order_price','dispute_window_days','protection_cap_usd','deposit_refund_days','inspection_deadline_hours','objection_window_hours','prepay_cap','max_sessions']);const DIRECTIVE_KEYS=new Set(['allocator_threshold','min_sku_price','min_balance','min_term_price_usd','min_term_price','min_monthly_rent_usd','min_booking_amount','min_course_price_usd','layer2_segment_amounts','restock_on_refund']),MONEY_RE=/(_bps$|_usd$|_amount$|_threshold$|^threshold$|^deposit|_cap$|_cap_usd$|_fee$|_fee_|_price$|_pool$|_per_claim$|_cost$|_rent$|_rate$|_share$|_release$)/,TIME_RE=/(_hours$|_days$|_ms$|_timeout$|_window$|_deadline$|^period_|_months$|_nights$|_rounds_max$|_count$|_sessions$|_allocators$|_day$)/;function moneyOrTime(a){if(TIME_RE['test'](a))return 0x2;if(MONEY_RE['test'](a))return 0x1;return 0x5;}export function classifyFeeParam(a,b,c=![]){const d=g=>TIER_NAMES[g];if(c)return{'tier':0x3,'tier_name':d(0x3),'group':'flow','disclosure':'knob'};if(DIRECTIVE_KEYS['has'](a)||typeof b==='string')return{'tier':0x5,'tier_name':d(0x5),'group':'flow','disclosure':'hidden'};const e=moneyOrTime(a);if(BENCHMARK_KEYS['has'](a))return{'tier':e,'tier_name':d(e),'group':'sales','disclosure':'card'};if(BUILD_PRESCRIPTION_KEYS['has'](a))return{'tier':e,'tier_name':d(e),'group':'funds','disclosure':'card'};const f=e===0x1?/_price$|_usd$|_fee|_bps$|_cost$/['test'](a)?'sales':'funds':e===0x2?'funds':'flow';return{'tier':e,'tier_name':d(e),'group':f,'disclosure':'knob'};}export function describeFeeParams(a){const b=new Set((a['conditional_guards']??[])['map'](d=>d['param']));return Object['entries'](a['fee_params'])['map'](([c,d])=>{const e=b['has'](c);return{...classifyFeeParam(c,d,e),'key':c,'value':d,'type':typeof d==='number'?'number':'string','selector':e};})['sort']((c,d)=>c['tier']-d['tier']||c['key']['localeCompare'](d['key']));}
+export const TIER_NAMES={0x1:'money\x20&\x20admission',0x2:'time\x20&\x20payout',0x3:'flow\x20switch',0x4:'role\x20&\x20permission',0x5:'disclosure\x20&\x20copy'};const BENCHMARK_KEYS=new Set(['incumbent_take_bps','merchant_service_fee_bps','platform_rate_cap_bps','contract_fee_large_usd','contract_fee_tier_boundary_usd','digital_product_fee_bps','digital_product_fee_min_usd','digital_product_fee_max_usd','min_contract_usd']),BUILD_PRESCRIPTION_KEYS=new Set(['creator_settlement_retain_bps','arb_indemnity_floor_bps','tier_lead_hours_1','tier_lead_hours_2','tier_lead_hours_3','tier_lead_hours_4','tier_lead_hours_5','tier_lead_hours_6']);export const GENERATION_SHAPE_KEYS=new Set(['month_release_day','stay_nights','segment_count','term_count','session_count','term_price','max_months','lease_months','monthly_allocators','month_period_days','early_exit_penalty_months','tuition_usd','course_price_usd','subscription_monthly_usd','annual_plan_usd']);export const EXTERNAL_CARRIER_KEYS=new Set(['arbitration_fee_usd','courier_tip_bps','max_discount_bps','merchant_service_fee_bps','dispute_timeout_days','revision_rounds_max','triage_window_days','setting_lock_days','renewal_reminder_days','host_cancel_notice_hours','preferred_property_rate_bps','courier_fee','min_order_price','dispute_window_days','protection_cap_usd','deposit_refund_days','inspection_deadline_hours','prepay_cap','max_sessions']);const DIRECTIVE_KEYS=new Set(['allocator_threshold','min_sku_price','min_balance','min_term_price_usd','min_term_price','min_monthly_rent_usd','min_booking_amount','min_course_price_usd','layer2_segment_amounts','restock_on_refund']),MONEY_RE=/(_bps$|_usd$|_amount$|_threshold$|^threshold$|^deposit|_cap$|_cap_usd$|_fee$|_fee_|_price$|_pool$|_per_claim$|_cost$|_rent$|_rate$|_share$|_release$)/,TIME_RE=/(_hours$|_days$|_ms$|_timeout$|_window$|_deadline$|^period_|_months$|_nights$|_rounds_max$|_count$|_sessions$|_allocators$|_day$)/;function moneyOrTime(a){if(TIME_RE['test'](a))return 0x2;if(MONEY_RE['test'](a))return 0x1;return 0x5;}export function classifyFeeParam(a,b,c=![]){const d=g=>TIER_NAMES[g];if(c)return{'tier':0x3,'tier_name':d(0x3),'group':'flow','disclosure':'knob'};if(DIRECTIVE_KEYS['has'](a)||typeof b==='string')return{'tier':0x5,'tier_name':d(0x5),'group':'flow','disclosure':'hidden'};const e=moneyOrTime(a);if(BENCHMARK_KEYS['has'](a))return{'tier':e,'tier_name':d(e),'group':'sales','disclosure':'card'};if(BUILD_PRESCRIPTION_KEYS['has'](a))return{'tier':e,'tier_name':d(e),'group':'funds','disclosure':'card'};const f=e===0x1?/_price$|_usd$|_fee|_bps$|_cost$/['test'](a)?'sales':'funds':e===0x2?'funds':'flow';return{'tier':e,'tier_name':d(e),'group':f,'disclosure':'knob'};}export function describeFeeParams(a){const b=new Set((a['conditional_guards']??[])['map'](d=>d['param']));return Object['entries'](a['fee_params'])['map'](([c,d])=>{const e=b['has'](c);return{...classifyFeeParam(c,d,e),'key':c,'value':d,'type':typeof d==='number'?'number':'string','selector':e};})['sort']((c,d)=>c['tier']-d['tier']||c['key']['localeCompare'](d['key']));}

package/dist/knowledge/path-oracle/coverage.js

@@ -1 +1 @@
-import{getJudgmentDoc}from'../../config/judgment.js';import{evaluateRuleBook}from'../../config/rule-engine.js';import{getTemplate}from'../template-loader.js';import{oracleFor}from'./index.js';function disclosureCorpus(a){return JSON['stringify']([a['build_notes'],a['trust_mechanisms'],a['keeper_dependencies'],a['keeper_duty']??[],a['user_inputs'],a['user_input_specs']?.['map'](b=>b['question']+'\x20'+b['param_key']+'\x20'+(b['note']??''))??[],a['differences'],a['key_risk']]);}function probeHits(a,b){try{return new RegExp(a,'i')['test'](b);}catch{return![];}}function readShape(a){return a['machine_shape']['map'](b=>({'name':b['name'],'from':(b['from']??[])['map'](c=>{if(typeof c==='string')return{'prev':'','forward':c,'guardKey':''};const d=c;return{'prev':typeof d['prev']==='string'?d['prev']:'','forward':typeof d['forward']==='string'?d['forward']:'','guardKey':typeof d['guard_key']==='string'?d['guard_key']:''};})}));}function matchFootprint(a,b){const c=b['chainFootprint'];if(!c||c['node']===undefined&&c['forward']===undefined)return{'matched':![],'guardKeys':''};if(c['node']!==undefined&&c['forward']!==undefined){const e=a['find'](g=>g['name']===c['node']),f=(e?.['from']??[])['filter'](g=>g['forward']===c['forward']&&(c['prev']===undefined||g['prev']===c['prev']));return{'matched':f['length']>0x0,'guardKeys':f['map'](g=>g['guardKey'])['join']('\x20')};}if(c['node']!==undefined){const g=a['find'](i=>i['name']===c['node']),h=g?.['from']??[];return{'matched':g!==undefined,'guardKeys':h['map'](i=>i['guardKey'])['join']('\x20')};}const d=a['flatMap'](i=>i['from'])['filter'](i=>i['forward']===c['forward']);return{'matched':d['length']>0x0,'guardKeys':d['map'](i=>i['guardKey'])['join']('\x20')};}function templateHasForward(a,b){return a['some'](c=>c['from']['some'](d=>d['forward']===b));}function invariantViolated(a,b,c){const d=c['violation'];if(!d)return![];if(d['requiresFeeParamNonZero']!==undefined){const e=a['fee_params'][d['requiresFeeParamNonZero']];if(typeof e!=='number'||!(e>0x0))return![];}if(d['whileMissingForward']!==undefined&&templateHasForward(b,d['whileMissingForward']))return![];return!![];}export function computeOracleCoverage(a,b,c,d){const e=readShape(a),f=disclosureCorpus(a),g=[],h=[];let i=0x0,j=0x0,k=0x0,l=0x0,n=0x0,o=0x0,p=0x0,q=0x0;const r=(w,x,y)=>{const z={'step_id':w['id'],'status':x,'reason':y};g['push'](z);const A=w['class']!=='offchain'&&w['onchain']!=='not_applicable';A&&(i+=0x1,x==='covered'||x==='partial'||x==='disclosed'?j+=0x1:h['push'](z));if(w['guardKeyProbe']!==undefined&&(x==='covered'||x==='partial')){if(w['guardProbeKind']==='feature'){n+=0x1;if(x==='covered')o+=0x1;}else{k+=0x1;if(x==='covered')l+=0x1;}}if(w['disclosureProbe']!==undefined||w['onchain']==='disclosure_only'||w['onchain']==='unresolvable'){p+=0x1;if(x==='disclosed')q+=0x1;}};for(const w of b){if(w['class']==='offchain'){r(w,'excluded','offchain\x20step\x20—\x20outside\x20every\x20chain-coverage\x20number');continue;}if(w['onchain']==='not_applicable'){if(w['disclosureProbe']!==undefined){const y=probeHits(w['disclosureProbe'],f);r(w,y?'disclosed':'disclosure_missing',y?'semantics-inverted\x20step\x20—\x20the\x20difference\x20is\x20disclosed':'semantics-inverted\x20step\x20—\x20the\x20on-chain\x20difference\x20is\x20NOT\x20disclosed');}else w['chainFootprint']?.['forward']!==undefined&&templateHasForward(e,w['chainFootprint']['forward'])?r(w,'na_redundant','marked\x20not_applicable\x20yet\x20the\x20template\x20ships\x20the\x20footprint\x20anyway'):r(w,'excluded','not\x20applicable\x20—\x20chain\x20semantics\x20eliminate\x20the\x20step');continue;}if(w['onchain']==='disclosure_only'||w['onchain']==='unresolvable'){const z=w['disclosureProbe'],A=z!==undefined?probeHits(z,f):![];r(w,A?'disclosed':'disclosure_missing',A?'not\x20chain-enforceable\x20—\x20disclosed\x20in\x20the\x20template\x20text':z===undefined?'not\x20chain-enforceable\x20—\x20the\x20oracle\x20declares\x20no\x20disclosure\x20probe':'not\x20chain-enforceable\x20and\x20NOT\x20disclosed\x20(probe\x20miss)');continue;}const x=matchFootprint(e,w);if(!x['matched']){r(w,'missing','no\x20chain\x20footprint\x20in\x20the\x20machine\x20shape');continue;}if(w['gapPredicate']?.['probe']!==undefined&&!probeHits(w['gapPredicate']['probe'],f)){r(w,'gap_undisclosed','the\x20path\x20exists\x20but\x20its\x20known\x20semantic\x20gap\x20is\x20NOT\x20disclosed');continue;}if(w['guardKeyProbe']!==undefined&&!probeHits(w['guardKeyProbe'],x['guardKeys'])){r(w,'partial','path\x20exists\x20but\x20the\x20guard\x20surface\x20misses\x20(guard-key\x20probe\x20miss)');continue;}r(w,'covered','chain\x20footprint\x20matches\x20the\x20machine\x20shape');}const u=c['filter'](B=>invariantViolated(a,e,B))['map'](B=>B['id']),v=(B,C)=>C===0x0?0x1:B/C;return{'product_ref':a['product_ref']??'','oracle_version':d,'chain_relevant':i,'path_coverage':v(j,i),'guard_coverage':v(l,k),'feature_guard_coverage':v(o,n),'disclosure_coverage':v(q,p),'invariant_hits':u,'steps':g,'uncovered':h};}export function oracleDisclosureBlockersFor(a){let b;try{b=getTemplate(a);}catch{return[];}if(!b?.['product_ref'])return[];const c=oracleFor(b['product_ref']);if(!c)return[];const d=computeOracleCoverage(b,c['steps'],c['invariants'],c['oracleVersion']);return d['steps']['filter'](e=>e['status']==='disclosure_missing')['map'](e=>e['step_id']);}function oracleRuleBook(){const a=getJudgmentDoc()['rules']['domains']['oracle'];if(!a)throw new Error('factory\x20rule\x20pack\x20\x27oracle\x27\x20missing\x20—\x20broken\x20installation');return a['rules'];}function oracleFacts(a){return{'product_ref':a['product_ref'],'oracle_version':a['oracle_version'],'path_coverage':a['path_coverage'],'guard_coverage':a['guard_coverage'],'feature_guard_coverage':a['feature_guard_coverage'],'disclosure_coverage':a['disclosure_coverage'],'invariant_hit_count':a['invariant_hits']['length'],'invariant_hits':a['invariant_hits']['join'](',\x20'),'na_redundant_count':a['steps']['filter'](b=>b['status']==='na_redundant')['length'],'uncovered_count':a['uncovered']['length'],'uncovered_step_ids':a['uncovered']['map'](b=>b['step_id'])['join'](',\x20')};}export function oracleCoverageFindings(a){if(!a['product_ref'])return{'findings':[]};const b=oracleFor(a['product_ref']);if(!b)return{'findings':[]};const c=computeOracleCoverage(a,b['steps'],b['invariants'],b['oracleVersion']),{findings:d}=evaluateRuleBook(oracleRuleBook(),oracleFacts(c));return{'findings':d['map'](e=>({'rule_id':e['rule_id'],'severity':e['level'],'title':e['title'],'detail':e['description'],'suggestion':e['mitigation']??''})),'coverage':c};}
+import{getJudgmentDoc}from'../../config/judgment.js';import{evaluateRuleBook}from'../../config/rule-engine.js';import{getTemplate}from'../template-loader.js';import{oracleFor}from'./index.js';function disclosureCorpus(a){return JSON['stringify']([a['build_notes'],a['trust_mechanisms'],a['keeper_dependencies'],a['keeper_duty']??[],a['user_inputs'],a['user_input_specs']?.['map'](b=>b['question']+'\x20'+b['param_key']+'\x20'+(b['note']??''))??[],a['differences'],a['key_risk']]);}function probeHits(a,b){try{if(new RegExp(a,'i')['test'](b))return!![];const c=d=>d['replace'](/[-_]+/g,'\x20');return new RegExp(c(a),'i')['test'](c(b));}catch{return![];}}function readShape(a){return a['machine_shape']['map'](b=>{const c=b['segment'];return{'name':b['name'],'segmentId':c&&typeof c['id']==='string'?c['id']:undefined,'from':(b['from']??[])['map'](d=>{if(typeof d==='string')return{'prev':'','forward':d,'guardKey':''};const e=d;return{'prev':typeof e['prev']==='string'?e['prev']:'','forward':typeof e['forward']==='string'?e['forward']:'','guardKey':typeof e['guard_key']==='string'?e['guard_key']:''};})};});}function matchFootprint(a,b){const c=b['chainFootprint'];if(!c||c['node']===undefined&&c['forward']===undefined)return{'matched':![],'guardKeys':''};if(c['node']!==undefined&&c['forward']!==undefined){const e=a['find'](g=>g['name']===c['node']),f=(e?.['from']??[])['filter'](g=>g['forward']===c['forward']&&(c['prev']===undefined||g['prev']===c['prev']));return{'matched':f['length']>0x0,'guardKeys':f['map'](g=>g['guardKey'])['join']('\x20')};}if(c['node']!==undefined){const g=a['find'](i=>i['name']===c['node']),h=g?.['from']??[];return{'matched':g!==undefined,'guardKeys':h['map'](i=>i['guardKey'])['join']('\x20')};}const d=a['flatMap'](i=>i['from'])['filter'](i=>i['forward']===c['forward']);return{'matched':d['length']>0x0,'guardKeys':d['map'](i=>i['guardKey'])['join']('\x20')};}function templateHasForward(a,b){return a['some'](c=>c['from']['some'](d=>d['forward']===b));}function invariantViolated(a,b,c){const d=c['violation'];if(!d)return![];if(d['requiresFeeParamNonZero']!==undefined){const e=a['fee_params'][d['requiresFeeParamNonZero']];if(typeof e!=='number'||!(e>0x0))return![];}if(d['whileMissingForward']!==undefined&&templateHasForward(b,d['whileMissingForward']))return![];if(d['whileMissingForward']!==undefined&&b['some'](f=>f['segmentId']!==undefined&&d['whileMissingForward']['startsWith'](f['segmentId'])))return![];return!![];}export function computeOracleCoverage(a,b,c,d){const e=readShape(a),f=disclosureCorpus(a),g=[],h=[];let i=0x0,j=0x0,k=0x0,l=0x0,n=0x0,o=0x0,p=0x0,q=0x0;const r=(w,x,y)=>{const z={'step_id':w['id'],'status':x,'reason':y};g['push'](z);const A=w['class']!=='offchain'&&w['onchain']!=='not_applicable';A&&(i+=0x1,x==='covered'||x==='partial'||x==='disclosed'?j+=0x1:h['push'](z));if(w['guardKeyProbe']!==undefined&&(x==='covered'||x==='partial')){if(w['guardProbeKind']==='feature'){n+=0x1;if(x==='covered')o+=0x1;}else{k+=0x1;if(x==='covered')l+=0x1;}}if(w['disclosureProbe']!==undefined||w['onchain']==='disclosure_only'||w['onchain']==='unresolvable'){p+=0x1;if(x==='disclosed')q+=0x1;}};for(const w of b){if(w['class']==='offchain'){r(w,'excluded','offchain\x20step\x20—\x20outside\x20every\x20chain-coverage\x20number');continue;}if(w['onchain']==='not_applicable'){if(w['disclosureProbe']!==undefined){const y=probeHits(w['disclosureProbe'],f);r(w,y?'disclosed':'disclosure_missing',y?'semantics-inverted\x20step\x20—\x20the\x20difference\x20is\x20disclosed':'semantics-inverted\x20step\x20—\x20the\x20on-chain\x20difference\x20is\x20NOT\x20disclosed');}else w['chainFootprint']?.['forward']!==undefined&&templateHasForward(e,w['chainFootprint']['forward'])?r(w,'na_redundant','marked\x20not_applicable\x20yet\x20the\x20template\x20ships\x20the\x20footprint\x20anyway'):r(w,'excluded','not\x20applicable\x20—\x20chain\x20semantics\x20eliminate\x20the\x20step');continue;}if(w['onchain']==='disclosure_only'||w['onchain']==='unresolvable'){const z=w['disclosureProbe'],A=z!==undefined?probeHits(z,f):![];r(w,A?'disclosed':'disclosure_missing',A?'not\x20chain-enforceable\x20—\x20disclosed\x20in\x20the\x20template\x20text':z===undefined?'not\x20chain-enforceable\x20—\x20the\x20oracle\x20declares\x20no\x20disclosure\x20probe':'not\x20chain-enforceable\x20and\x20NOT\x20disclosed\x20(probe\x20miss)');continue;}const x=matchFootprint(e,w);if(!x['matched']){r(w,'missing','no\x20chain\x20footprint\x20in\x20the\x20machine\x20shape');continue;}if(w['gapPredicate']?.['probe']!==undefined&&!probeHits(w['gapPredicate']['probe'],f)){r(w,'gap_undisclosed','the\x20path\x20exists\x20but\x20its\x20known\x20semantic\x20gap\x20is\x20NOT\x20disclosed');continue;}if(w['guardKeyProbe']!==undefined&&!probeHits(w['guardKeyProbe'],x['guardKeys'])){r(w,'partial','path\x20exists\x20but\x20the\x20guard\x20surface\x20misses\x20(guard-key\x20probe\x20miss)');continue;}r(w,'covered','chain\x20footprint\x20matches\x20the\x20machine\x20shape');}const u=c['filter'](B=>invariantViolated(a,e,B))['map'](B=>B['id']),v=(B,C)=>C===0x0?0x1:B/C;return{'product_ref':a['product_ref']??'','oracle_version':d,'chain_relevant':i,'path_coverage':v(j,i),'guard_coverage':v(l,k),'feature_guard_coverage':v(o,n),'disclosure_coverage':v(q,p),'invariant_hits':u,'steps':g,'uncovered':h};}export function oracleDisclosureBlockersFor(a){let b;try{b=getTemplate(a);}catch{return[];}if(!b?.['product_ref'])return[];const c=oracleFor(b['product_ref']);if(!c)return[];const d=new Set(c['steps']['filter'](f=>f['class']==='remedy'||f['class']==='exception')['map'](f=>f['id'])),e=computeOracleCoverage(b,c['steps'],c['invariants'],c['oracleVersion']);return e['steps']['filter'](f=>f['status']==='disclosure_missing'||f['status']==='gap_undisclosed'&&d['has'](f['step_id']))['map'](f=>f['step_id']);}function oracleRuleBook(){const a=getJudgmentDoc()['rules']['domains']['oracle'];if(!a)throw new Error('factory\x20rule\x20pack\x20\x27oracle\x27\x20missing\x20—\x20broken\x20installation');return a['rules'];}function oracleFacts(a){return{'product_ref':a['product_ref'],'oracle_version':a['oracle_version'],'path_coverage':a['path_coverage'],'guard_coverage':a['guard_coverage'],'feature_guard_coverage':a['feature_guard_coverage'],'disclosure_coverage':a['disclosure_coverage'],'invariant_hit_count':a['invariant_hits']['length'],'invariant_hits':a['invariant_hits']['join'](',\x20'),'na_redundant_count':a['steps']['filter'](b=>b['status']==='na_redundant')['length'],'uncovered_count':a['uncovered']['length'],'uncovered_step_ids':a['uncovered']['map'](b=>b['step_id'])['join'](',\x20')};}export function oracleCoverageFindings(a){if(!a['product_ref'])return{'findings':[]};const b=oracleFor(a['product_ref']);if(!b)return{'findings':[]};const c=computeOracleCoverage(a,b['steps'],b['invariants'],b['oracleVersion']),{findings:d}=evaluateRuleBook(oracleRuleBook(),oracleFacts(c));return{'findings':d['map'](e=>({'rule_id':e['rule_id'],'severity':e['level'],'title':e['title'],'detail':e['description'],'suggestion':e['mitigation']??''})),'coverage':c};}

package/dist/knowledge/path-oracle/index.js

@@ -1 +1 @@
-import{ProductOracleSchema}from'./schema.js';import{FOOD_DELIVERY_ORACLE}from'./products/food-delivery.js';export*from'./schema.js';export{computeOracleCoverage,oracleCoverageFindings,oracleDisclosureBlockersFor}from'./coverage.js';const REGISTRY=Object['freeze'](Object['fromEntries']([FOOD_DELIVERY_ORACLE]['map'](a=>{const b=ProductOracleSchema['parse'](a);return[b['productRef'],b];})));export function oracleFor(a){return REGISTRY[a];}export function allProductOracles(){return Object['values'](REGISTRY);}
+import{ProductOracleSchema}from'./schema.js';import{FOOD_DELIVERY_ORACLE}from'./products/food-delivery.js';import{SHANSONG_ORACLE}from'./products/shansong.js';import{AIRBNB_ORACLE}from'./products/airbnb.js';import{ALGORA_ORACLE}from'./products/algora.js';import{ALIBABA_1688_ORACLE}from'./products/alibaba-1688.js';import{AMAZON_ORACLE}from'./products/amazon.js';import{BEATSTARS_ORACLE}from'./products/beatstars.js';import{BOOKING_COM_ORACLE}from'./products/booking-com.js';import{CONTRA_ORACLE}from'./products/contra.js';import{COSTCO_ORACLE}from'./products/costco.js';import{COURSERA_ORACLE}from'./products/coursera.js';import{DUODUO_MAICAI_ORACLE}from'./products/duoduo-maicai.js';import{ETSY_ORACLE}from'./products/etsy.js';import{GAMEFOUND_ORACLE}from'./products/gamefound.js';import{GOFUNDME_ORACLE}from'./products/gofundme.js';import{HACKERONE_ORACLE}from'./products/hackerone.js';import{KICKSTARTER_ORACLE}from'./products/kickstarter.js';import{KLOOK_ORACLE}from'./products/klook.js';import{NINETY_NINE_DESIGNS_ORACLE}from'./products/ninety-nine-designs.js';import{ONLYFANS_ORACLE}from'./products/onlyfans.js';import{PATREON_ORACLE}from'./products/patreon.js';import{PINDUODUO_KUAITUANTUAN_ORACLE}from'./products/pinduoduo-kuaituantuan.js';import{ROYALTY_EXCHANGE_ORACLE}from'./products/royalty-exchange.js';import{TAOBAO_PRESALE_ORACLE}from'./products/taobao-presale.js';import{UPWORK_ORACLE}from'./products/upwork.js';import{UPWORK_CATALOG_ORACLE}from'./products/upwork-catalog.js';import{YUANFUDAO_ORACLE}from'./products/yuanfudao.js';import{ZIROOM_ORACLE}from'./products/ziroom.js';export*from'./schema.js';export{computeOracleCoverage,oracleCoverageFindings,oracleDisclosureBlockersFor}from'./coverage.js';const REGISTRY=Object['freeze'](Object['fromEntries']([FOOD_DELIVERY_ORACLE,SHANSONG_ORACLE,AIRBNB_ORACLE,ALGORA_ORACLE,ALIBABA_1688_ORACLE,AMAZON_ORACLE,BEATSTARS_ORACLE,BOOKING_COM_ORACLE,CONTRA_ORACLE,COSTCO_ORACLE,COURSERA_ORACLE,DUODUO_MAICAI_ORACLE,ETSY_ORACLE,GAMEFOUND_ORACLE,GOFUNDME_ORACLE,HACKERONE_ORACLE,KICKSTARTER_ORACLE,KLOOK_ORACLE,NINETY_NINE_DESIGNS_ORACLE,ONLYFANS_ORACLE,PATREON_ORACLE,PINDUODUO_KUAITUANTUAN_ORACLE,ROYALTY_EXCHANGE_ORACLE,TAOBAO_PRESALE_ORACLE,UPWORK_ORACLE,UPWORK_CATALOG_ORACLE,YUANFUDAO_ORACLE,ZIROOM_ORACLE]['map'](a=>{const b=ProductOracleSchema['parse'](a);return[b['productRef'],b];})));export function oracleFor(a){return REGISTRY[a];}export function allProductOracles(){return Object['values'](REGISTRY);}

package/dist/knowledge/path-oracle/products/airbnb.js

@@ -0,0 +1 @@
+export const AIRBNB_ORACLE={'productRef':'airbnb','products':['airbnb','vrbo','tujia','agoda-homes'],'oracleVersion':'1.0.0','steps':[{'id':'M1','class':'offchain','name':'Browse\x20listings\x20and\x20read\x20the\x20calendar,\x20photos\x20and\x20house\x20rules','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Search,\x20filters\x20and\x20the\x20availability\x20calendar\x20are\x20pure\x20app\x20concerns;\x20the\x20chain\x20holds\x20no\x20listing\x20index,\x20no\x20photos\x20and\x20no\x20stay-calendar\x20index\x20(a\x20listing\x20is\x20one\x20Sale\x20item\x20with\x20a\x20wip\x20detail\x20file).','evidence':[{'file':'order.move','line':0x43,'pattern':'items:\x20vector<SaleItem>'}]},{'id':'M2','class':'offchain','name':'Negotiate\x20with\x20the\x20host\x20in\x20the\x20in-app\x20chat\x20before\x20booking','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Pre-order\x20questions,\x20custom\x20pricing\x20and\x20arrival\x20logistics\x20ride\x20the\x20in-app\x20messenger.\x20On\x20chain\x20the\x20counterpart\x20is\x20the\x20end-to-end\x20encrypted\x20Messenger\x20session\x20—\x20message\x20content\x20stays\x20private\x20off-chain\x20while\x20membership\x20itself\x20is\x20a\x20public\x20object\x20(M-T10\x20privacy\x20boundary).','evidence':[]},{'id':'M3','class':'main','name':'Book\x20and\x20pay\x20(escrowed\x20in\x20one\x20atomic\x20buy)','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'reserved','forward':'Book','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'Airbnb\x20collects\x20payment\x20upfront\x20and\x20holds\x20it\x20until\x20after\x20check-in;\x20the\x20chain\x20escrows\x20atomically\x20at\x20buy.\x20There\x20is\x20no\x20unpaid\x20request\x20state:\x20reserved\x20IS\x20the\x20paid-and-pending\x20request.\x20The\x20quoted\x20total\x20bundles\x20rent\x20+\x20cleaning\x20fee\x20+\x20service\x20fee\x20(sum-of-sale-items\x20buy\x20guard).','evidence':[{'file':'service.move','line':0x79,'pattern':'E_BUY_GUARD_ORDER_SLOT'}]},{'id':'M4','class':'main','name':'Host\x20confirms\x20the\x20request\x20within\x2024\x20hours','actor':'merchant','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'ConfirmRequest','prev':'reserved','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Request-to-book\x20gives\x20the\x20host\x2024h\x20to\x20accept\x20(confirm_window_hours);\x20acceptance\x20activates\x20the\x20cancellation\x20policy\x20tiers.\x20Instant\x20Book\x20skips\x20this\x20step\x20—\x20see\x20E4\x20for\x20the\x20mode\x20divergence.','evidence':[{'file':'machine.move','line':0x5f,'pattern':'namedOperator,\x20permissionIndex,\x20and\x20guard\x20participate'}]},{'id':'M5','class':'main','name':'Check-in\x20at\x20the\x20arrival-day\x20gate\x20(key\x20handover)','actor':'merchant','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'checked_in','forward':'CheckIn','prev':'paid','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Check-in\x20is\x20anchored\x20on\x20an\x20ABSOLUTE\x20date-time\x20(e.g.\x2016:00\x20on\x20arrival\x20day)\x20—\x20one\x20of\x20the\x20few\x20per-order\x20instance\x20gates;\x20self\x20check-in\x20codes\x20and\x20key\x20handover\x20stay\x20off-chain.\x20Guest\x20identity\x20(house\x20rules)\x20can\x20be\x20ANDed\x20in\x20as\x20a\x20required-info\x20evidence\x20gate.','guardKeyProbe':'checkin_gate','evidence':[]},{'id':'M6','class':'main','name':'Check-out\x20at\x20the\x20departure-day\x20gate','actor':'merchant','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'checked_out','forward':'CheckOut','prev':'checked_in','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Check-out\x20is\x20the\x20second\x20absolute\x20date\x20gate\x20(e.g.\x2011:00\x20on\x20departure\x20day).\x20It\x20does\x20NOT\x20release\x20money:\x20on\x20the\x20real\x20product\x20the\x20host\x20is\x20paid\x20after\x20check-in,\x20on\x20chain\x20the\x20serial\x20claim\x20window\x20now\x20intervenes\x20(disclosed\x20divergence,\x20E/R\x20path).','guardKeyProbe':'checkout_gate','evidence':[]},{'id':'M7','class':'main','name':'Keeper\x20opens\x20the\x20serial\x20claim\x20window\x20after\x20checkout','actor':'keeper','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'claim_window','forward':'OpenClaimWindow','prev':'checked_out','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Airbnb\x20lets\x20hosts\x20file\x20Resolution-Center\x20claims\x20for\x2014\x20days\x20after\x20checkout\x20while\x20the\x20payout\x20waits;\x20the\x20chain\x20makes\x20the\x20SAME\x20discipline\x20structural:\x20a\x20mandatory\x20claim_window\x20waypoint\x20keeps\x20the\x20pool\x20intact\x20while\x20any\x20claim\x20could\x20still\x20be\x20filed.','evidence':[{'file':'progress.move','line':0x22c,'pattern':'parent_table_vec::push_back'}]},{'id':'M8','class':'main','name':'Guest\x20reviews\x20the\x20stay\x20within\x2014\x20days','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'Review','prev':'checked_out','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Reviews\x20close\x20review_window_days\x20(14)\x20after\x20checkout\x20and\x20write\x20structured\x20repository\x20rows\x20feeding\x20the\x20host\x27s\x20reputation\x20rail.\x20Double-blind\x20reveal\x20timing\x20is\x20a\x20product\x20nuance\x20the\x20chain\x20cannot\x20carry\x20(see\x20INV-AB-3).','guardKeyProbe':'review_window','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]},{'id':'M9','class':'main','name':'Claim\x20window\x20elapses\x20with\x20no\x20claim\x20—\x20pool\x20releases','actor':'keeper','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'payout_released','forward':'ReleaseNoClaim','prev':'claim_window','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'Airbnb\x20pays\x20the\x20host\x20when\x20no\x20claim\x20arrives\x20inside\x20the\x20window;\x20the\x20chain\x20fires\x20the\x20release\x20only\x20after\x20claim_window_closed,\x20so\x20payout\x20can\x20never\x20race\x20an\x20open\x20claim\x20window\x20(serial\x20design,\x20ABNB2\x20mainnet-validated).','guardKeyProbe':'claim_window_closed','evidence':[]},{'id':'M10','class':'main','name':'Host\x20payout\x20lands\x20(host/platform\x20Rate\x20split\x20of\x20the\x20intact\x20pool)','actor':'keeper','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'payout_released','moneyEffect':'release'},'commercialSemantics':'The\x20pool\x20splits\x20host_rate_bps/platform_rate_bps\x20(legs\x20sum\x2010000\x20—\x20full\x20drain,\x20safe\x20because\x20the\x20window\x20closed).\x20Airbnb\x20takes\x20~3%\x20host\x20service\x20fee;\x20the\x20WoWok\x20default\x20is\x200%\x20platform\x20take\x20(direct\x20sales),\x20a\x20merchant-set\x20explicit\x20number.','evidence':[{'file':'allocation.move','line':0xac,'pattern':'AllocationMode_Rate'}]},{'id':'M11','class':'main','name':'Late\x20review:\x20guest\x20reviews\x20after\x20the\x20claim\x20window\x20already\x20opened','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'ReviewAfterWindowOpen','prev':'claim_window','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Airbnb\x20reviews\x20stay\x20open\x20until\x20the\x2014-day\x20deadline\x20regardless\x20of\x20any\x20claim\x20activity;\x20the\x20v102\x20cure\x20(abnb14\x20F01)\x20gives\x20reviewed\x20a\x20SECOND\x20entry\x20edge\x20from\x20claim_window\x20so\x20an\x20opened\x20window\x20can\x20never\x20weld\x20review\x20(and\x20its\x20reward)\x20shut.','guardKeyProbe':'review_window','evidence':[]},{'id':'M12','class':'main','name':'Keeper\x20finalizes\x20the\x20settled\x20order\x20to\x20the\x20terminal\x20state','actor':'keeper','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'Finalize','prev':'payout_released','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Airbnb\x20archives\x20the\x20trip\x20after\x20payout;\x20the\x20chain\x27s\x20finalize\x20is\x20the\x20keeper\x27s\x20bookkeeping\x20forward.\x20A\x20residual-sweep\x20rail\x20covers\x20the\x20strand\x20where\x20finalize\x20lands\x20without\x20the\x20release\x20having\x20fired.','evidence':[]},{'id':'E1','class':'exception','name':'Host\x20declines\x20the\x20booking\x20request','actor':'merchant','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'cancelled_unpaid','forward':'DeclineRequest','prev':'reserved','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'A\x20declined\x20request\x20refunds\x20the\x20guest\x20in\x20full\x20—\x20the\x20money\x20never\x20leaves\x20escrowed\x20custody.\x20Airbnb\x20also\x20nudges\x20the\x20guest\x20to\x20rebook\x20elsewhere;\x20rebooking\x20is\x20an\x20off-chain\x20act.','evidence':[]},{'id':'E2','class':'exception','name':'Request\x20expires\x20unconfirmed\x20past\x20the\x20host\x27s\x2024h\x20window','actor':'keeper','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'cancelled_unpaid','forward':'ExpireUnconfirmed','prev':'reserved','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'Airbnb\x20auto-declines\x20unanswered\x20requests\x20after\x2024h;\x20the\x20chain\x27s\x20keeper\x20advances\x20on\x20confirm_expire\x20anchored\x20on\x20the\x20reserved\x20entry\x20time\x20and\x20routes\x20the\x20full\x20refund.','guardKeyProbe':'confirm_expire','evidence':[]},{'id':'E3','class':'exception','name':'Guest\x20withdraws\x20the\x20request\x20before\x20host\x20confirmation','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'cancelled_unpaid','forward':'GuestWithdraw','prev':'reserved','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Guests\x20freely\x20cancel\x20an\x20unanswered\x20request;\x20the\x20G2\x20fix\x20(az-mn-261007)\x20guarantees\x20the\x20self-void\x20rail\x20so\x20abandoned\x20requests\x20never\x20wait\x20on\x20a\x20decline\x20or\x20timeout\x20to\x20release\x20the\x20escrow.','evidence':[]},{'id':'E4','class':'exception','name':'Instant\x20Book\x20vs\x20the\x20incumbent\x27s\x20unpaid-request\x20expiry','actor':'buyer','precondition':['M3'],'onchain':'not_applicable','commercialSemantics':'Airbnb\x20offers\x20Instant\x20Book\x20(no\x20host\x20confirmation\x20step)\x20and\x20a\x2024h\x20UNPAID\x20request\x20state\x20that\x20expires\x20without\x20charge.\x20The\x20chain\x20has\x20neither\x20mode:\x20buy\x20escrows\x20atomically,\x20so\x20every\x20booking\x20is\x20request-to-book\x20and\x20the\x20unpaid-expiry\x20concept\x20does\x20not\x20exist\x20—\x20the\x20template\x20discloses\x20exactly\x20this\x20divergence.','disclosureProbe':'no\x20unpaid\x20order\x20exists|24h\x20unpaid\x20expiry','evidence':[]},{'id':'E5','class':'exception','name':'Guest\x20cancels\x20under\x20the\x20listing\x27s\x20mounted\x20policy\x20tier','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'guest_cancelled','forward':'CancelTier1','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Airbnb\x20tiers\x20(flexible/moderate/firm/strict/strict-partial/long-stay)\x20set\x20the\x20refund\x20ladder\x20by\x20lead\x20time;\x20the\x20template\x20mounts\x20EXACTLY\x20ONE\x20tier\x20per\x20listing\x20via\x20the\x20cancellation_policy\x20selector\x20(M-T7\x20—\x20tier\x201\x20flexible\x20by\x20default,\x20full\x20refund\x20until\x2024h\x20before\x20check-in;\x20tiers\x205/6\x20split\x2050/50).','guardKeyProbe':'cancel_tier_1','evidence':[]},{'id':'E6','class':'exception','name':'Host\x20cancels\x20before\x20check-in\x20(guest\x20made\x20whole,\x20host\x20penalized\x20off-chain)','actor':'merchant','precondition':['M4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'host_cancelled','forward':'HostCancel','prev':'paid','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'Airbnb\x20refunds\x20the\x20guest\x20in\x20full,\x20sanctions\x20the\x20host\x20off-chain\x20(demotion/suspension)\x20and\x20may\x20help\x20rebook.\x20The\x20chain\x20refunds\x20in\x20full\x20and\x20discloses\x20that\x20host-breach\x20compensation\x20(re-booking\x20cost)\x20has\x20NO\x20automatic\x20allocator\x20—\x20it\x20rides\x20an\x20arbitration\x20counterclaim\x20playbook.','guardKeyProbe':'host_cancel','gapPredicate':{'probe':'NO\x20automatic\x20allocator|counterclaim\x20playbook'},'evidence':[]},{'id':'R1','class':'remedy','name':'Host\x20files\x20a\x20damage\x20claim\x20inside\x20the\x20serial\x20window\x20(pre+post\x20evidence)','actor':'merchant','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'claim_open','forward':'FileClaim','prev':'claim_window','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Resolution\x20Center:\x20the\x20host\x20claims\x20against\x20the\x20guest\x20within\x2014\x20days\x20of\x20checkout\x20using\x20the\x20pre-stay\x20and\x20post-stay\x20photo/evidence\x20chain.\x20The\x20pool\x20is\x20guaranteed\x20intact\x20while\x20the\x20window\x20runs\x20—\x20no\x20first-come-first-served\x20race.','guardKeyProbe':'claim_window_open','evidence':[]},{'id':'R2','class':'remedy','name':'Guest\x20files\x20a\x20counter-claim\x20with\x20WTS-anchored\x20evidence','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'guest_claim','forward':'FileClaimByGuest','prev':'claim_window','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Airbnb\x20guests\x20dispute\x20charges\x20or\x20misrepresentation\x20through\x20support;\x20the\x20chain\x20gives\x20the\x20ORDER\x20HOLDER\x20a\x20first-class\x20filing\x20rail\x20whose\x20evidence\x20row\x20carries\x20a\x20signed\x20Proof\x20ADDRESS\x20(verifier-checkable\x20authenticity),\x20and\x20the\x20row\x27s\x20writer\x20set\x20must\x20include\x20the\x20guest\x20(F41\x20fix).','guardKeyProbe':'guest_claim_window_open','evidence':[{'file':'repository.move','line':0x9d,'pattern':'public\x20struct\x20PolicyRule'}]},{'id':'R3','class':'remedy','name':'Claim\x20denied\x20on\x20the\x20evidence\x20chain','actor':'merchant','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'claim_denied','forward':'DenyClaim','prev':'claim_open','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Airbnb\x20support\x20adjudicates\x20the\x20pre+post\x20evidence\x20diff;\x20the\x20reviewer\x20permission\x20(1001)\x20is\x20distinct\x20from\x20the\x20filing\x20host\x20(1000),\x20mirroring\x20support\x20≠\x20host.\x20A\x20denial\x20routes\x20the\x20intact\x20pool\x20back\x20to\x20the\x20normal\x20release.','guardKeyProbe':'claim_review','evidence':[]},{'id':'R4','class':'remedy','name':'Host\x20claim\x20upheld\x20—\x20award\x20paid\x20from\x20the\x20intact\x20pool','actor':'merchant','precondition':['R1'],'onchain':'expressible_with_gap','chainFootprint':{'node':'claim_paid','forward':'PayClaim','prev':'claim_open','identity':'permission_index','moneyEffect':'compensate'},'commercialSemantics':'The\x20award\x20IS\x20the\x20host\x27s\x20escrowed\x20stay\x20income\x20—\x20the\x20pool\x20holds\x20nothing\x20more.\x20Damages\x20BEYOND\x20the\x20booking\x20amount\x20(Airbnb\x27s\x20security-deposit-style\x20claims)\x20cannot\x20come\x20from\x20the\x20pool:\x20they\x20route\x20to\x20arbitration\x20+\x20the\x20compensation\x20fund\x20(3x\x20cap).','guardKeyProbe':'claim_review','gapPredicate':{'probe':'BEYOND\x20the\x20booking\x20amount|3x\x20cap'},'evidence':[]},{'id':'R5','class':'remedy','name':'Guest\x20claim\x20upheld\x20—\x20full\x20order-anchored\x20refund','actor':'merchant','precondition':['R2'],'onchain':'expressible','chainFootprint':{'node':'guest_claim_paid','forward':'PayGuestClaim','prev':'guest_claim','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'When\x20the\x20guest\x27s\x20claim\x20wins,\x20the\x20intact\x20pool\x20refunds\x20the\x20booking\x20in\x20full\x20via\x20the\x20slot-0\x20order-anchored\x20rail\x20—\x20the\x20mirror\x20of\x20the\x20host\x20track\x20(AB7-T1).','guardKeyProbe':'claim_review','evidence':[]},{'id':'R6','class':'remedy','name':'Either\x20party\x20appeals\x20a\x20claim\x20outcome\x20to\x20arbitration','actor':'buyer','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'claim_appealed','forward':'AppealClaimToArbitration','prev':'claim_open','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Airbnb\x20escalations\x20go\x20to\x20its\x20support\x20tier;\x20the\x20chain\x20binds\x20an\x20independent\x20Arbitration\x20object\x20(off-Machine,\x20R-M1-11)\x20so\x20no\x20claim\x20outcome\x20is\x20a\x20unilateral\x20permission\x20decision\x20—\x20the\x20counterparty\x20always\x20holds\x20the\x20appeal\x20leg.','guardKeyProbe':'claim_appeal','evidence':[{'file':'arb.move','line':0xb4,'pattern':'indemnity:\x20Option<Indemnity>'}]},{'id':'R7','class':'remedy','name':'Keeper\x20executes\x20the\x20arbitration\x20ruling\x20on\x20the\x20claim\x20track','actor':'keeper','precondition':['R6'],'onchain':'expressible','chainFootprint':{'node':'claim_denied','forward':'DenyClaimAfterRuling','prev':'claim_appealed','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'A\x20ruling\x20changes\x20Arb\x20case\x20state\x20only;\x20the\x20keeper\x20listens\x20for\x20the\x20Arb\x20Finished\x20event\x20and\x20pushes\x20upheld\x20→\x20the\x20matching\x20paid\x20node,\x20denied\x20→\x20claim_denied.\x20Airbnb\x27s\x20equivalent\x20is\x20support\x20executing\x20its\x20own\x20decision.','evidence':[]},{'id':'R8','class':'remedy','name':'Damages\x20beyond\x20the\x20pool\x20route\x20to\x20arbitration\x20+\x20the\x20compensation\x20fund','actor':'arbitrator','precondition':['R6'],'onchain':'disclosure_only','commercialSemantics':'Airbnb\x27s\x20AirCover\x20pays\x20host\x20damage\x20claims\x20up\x20to\x20$3M\x20from\x20Airbnb\x27s\x20own\x20pocket.\x20The\x20chain\x27s\x20fund\x20pays\x20award\x20amounts\x20beyond\x20the\x203x\x20cap\x20to\x20the\x20order\x20owner,\x20with\x20the\x20honest\x20caveat\x20that\x20the\x20quoted\x20fund\x20figure\x20is\x20free\x20text\x20that\x20shrinks\x20with\x20every\x20award\x20—\x20the\x20disclosure\x20duty\x20is\x20the\x20remedy.','disclosureProbe':'coverage\x20program|awards\x20shrink\x20the\x20live\x20fund','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'R9','class':'remedy','name':'AirCover-style\x20guest\x20guarantee\x20(rebooking\x20assistance\x20or\x20refund)','actor':'platform','precondition':['M4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'guest_claim','moneyEffect':'refund'},'commercialSemantics':'Airbnb\x27s\x20guest\x20guarantee\x20promises\x20rebooking\x20assistance\x20or\x20a\x20refund\x20when\x20a\x20listing\x20misrepresents\x20or\x20the\x20host\x20walks.\x20The\x20chain\x20expresses\x20the\x20refund\x20half\x20first-class\x20(guest\x20claim\x20rail,\x20AB7-T1)\x20but\x20has\x20no\x20rebooking\x20primitive\x20—\x20the\x20guarantee\x27s\x20assistance\x20half\x20stays\x20off-chain.','gapPredicate':{'probe':'FileClaimByGuest|GUEST\x20claim\x20upheld'},'evidence':[]},{'id':'R10','class':'remedy','name':'Mid-stay\x20partial\x20refund\x20for\x20a\x20not-as-described\x20stay','actor':'platform','precondition':['M5'],'onchain':'disclosure_only','commercialSemantics':'Airbnb\x20support\x20can\x20refund\x20part\x20of\x20a\x20stay\x20while\x20the\x20guest\x20keeps\x20staying.\x20The\x20chain\x20cannot\x20hold\x20back\x20a\x20proportional\x20reserve\x20mid-stay:\x20net-Rate\x20legs\x20must\x20sum\x20to\x2010000\x20and\x20no\x20reserve\x20parameter\x20exists\x20—\x20the\x20template\x20discloses\x20the\x20inexpressibility.','disclosureProbe':'PROPORTIONAL\x20holdback|no\x20reserve\x20parameter','evidence':[]},{'id':'P1','class':'post','name':'Guest\x20claims\x20the\x20review-reward\x20bounty\x20after\x20the\x20window\x20opens','actor':'buyer','precondition':['M8'],'onchain':'disclosure_only','commercialSemantics':'Airbnb\x20has\x20no\x20reviewer\x20bounty;\x20the\x20template\x27s\x20sale-time-planned\x20Reward\x20rail\x20is\x20an\x20ADDITION\x20(review_reward_pool\x20funded\x20at\x20build,\x20once-per-order\x20claim\x20anchored\x20on\x20the\x20reviewed\x20node\x20and\x20the\x20settlement\x20terminal).\x20The\x20machine-shape\x20matcher\x20cannot\x20see\x20reward-object\x20guards,\x20so\x20the\x20step\x20is\x20recorded\x20as\x20disclosed-by-corpus\x20rather\x20than\x20footprint-matched.','disclosureProbe':'Reward\x20object|review_reward_pool','evidence':[{'file':'reward.move','line':0xe3,'pattern':'public\x20fun\x20claim<T>'}]},{'id':'P2','class':'post','name':'Refunded\x20booking\x20returns\x20the\x20unit\x20to\x20sellable\x20stock','actor':'keeper','precondition':['E1'],'onchain':'disclosure_only','commercialSemantics':'Airbnb\x20re-lists\x20cancelled\x20dates\x20automatically.\x20The\x20chain\x27s\x20inventory\x20is\x20a\x20sale\x20stock\x20counter:\x20compile\x20emits\x20the\x20restock.flag\x20half\x20and\x20the\x20keeper\x20runs\x20service.restock\x20once\x20per\x20refunded\x20order\x20—\x20missing\x20the\x20duty\x20silently\x20loses\x20inventory\x20(B-E/T5\x20ruling).','disclosureProbe':'restock','evidence':[{'file':'service.move','line':0x9a,'pattern':'restock_on_refund'}]}],'invariants':[{'id':'INV-AB-1','statement':'AirCover\x20for\x20hosts\x20pays\x20guest-caused\x20damage\x20up\x20to\x20$3,000,000\x20USD\x20per\x20stay,\x20decoupled\x20from\x20the\x20booking\x20value;\x20the\x20chain\x27s\x20indemnity\x20is\x20capped\x20at\x203x\x20the\x20ORDER\x20amount\x20and\x20the\x20per-order\x20covered\x20ceiling\x20is\x20fund/3\x20—\x20a\x20$40\x20booking\x20cannot\x20carry\x20a\x20$3,000\x20loss.','jurisdiction':'Airbnb\x20AirCover\x20for\x20hosts\x20terms;\x20EU\x20Short-Term\x20Rental\x20Regulation\x20(data/trust\x20duties).','chainConflict':'The\x20arbitration\x20module\x20caps\x20indemnity\x20at\x20MAX_INDEMNITY_MULTIPLE\x20(3)\x20of\x20the\x20order,\x20and\x20the\x20compensation\x20fund\x27s\x20per-order\x20ceiling\x20is\x20fund/3\x20(saturating\x20math).\x20The\x20pre-locked\x20fund\x20softens\x20but\x20cannot\x20honor\x20a\x20protection\x20headline\x20decoupled\x20from\x20order\x20size;\x20the\x20T-31\x20disclosure\x20duty\x20keeps\x20the\x20quoted\x20number\x20synced\x20to\x20the\x20live\x20fund.\x20Text-only:\x20no\x20fee_params\x20key\x20exists\x20to\x20make\x20this\x20mechanical\x20yet.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'INV-AB-2','statement':'Airbnb\x20hosts\x20may\x20require\x20a\x20security\x20DEPOSIT\x20held\x20separately\x20from\x20rent\x20and\x20auto-released\x20~48h\x20after\x20checkout\x20absent\x20a\x20claim;\x20the\x20chain\x20has\x20no\x20deposit-hold\x20primitive\x20—\x20the\x20booking\x20total\x20is\x20ONE\x20pool,\x20and\x20any\x20deduction\x20is\x20bounded\x20by\x20that\x20pool,\x20not\x20by\x20a\x20ring-fenced\x20deposit.','jurisdiction':'Airbnb\x20security-deposit\x20terms;\x20PRC\x20Civil\x20Code\x20lease-deposit\x20rules.','chainConflict':'Sale\x20items\x20are\x20undifferentiated\x20price\x20lines\x20(plain\x20sale-item\x20rows)\x20and\x20the\x20allocator\x20has\x20no\x20escrow-hold\x20leg;\x20a\x20\x27deposit\x27\x20would\x20have\x20to\x20be\x20a\x20sale\x20item\x20paying\x20into\x20the\x20same\x20pool.\x20Damage\x20claims\x20therefore\x20draw\x20from\x20the\x20whole\x20escrowed\x20booking\x20(bounded\x20by\x20the\x20serial\x20window),\x20and\x20the\x20deposit\x27s\x20separate-release\x20timing\x20is\x20not\x20expressible.\x20Text-only.','evidence':[{'file':'order.move','line':0x21,'pattern':'public\x20struct\x20SaleItem'},{'file':'order.move','line':0x4f,'pattern':'time:\x20u64,'}]},{'id':'INV-AB-3','statement':'Airbnb\x20reviews\x20are\x20double-blind:\x20neither\x20side\x20sees\x20the\x20other\x27s\x20review\x20until\x20both\x20submit\x20or\x20the\x2014-day\x20window\x20lapses,\x20and\x20either\x20party\x20can\x20have\x20a\x20defamatory\x20review\x20removed;\x20the\x20chain\x27s\x20repository\x20rows\x20are\x20immediately\x20queryable\x20by\x20anyone\x20and\x20write-once\x20—\x20no\x20blind\x20period,\x20no\x20takedown.','jurisdiction':'Airbnb\x20review\x20policy;\x20EU\x20DSA\x20art.\x2020-23\x20(content\x20moderation\x20duties).','chainConflict':'A\x20repository\x20write\x20lands\x20a\x20publicly\x20queryable\x20row\x20in\x20the\x20same\x20transaction\x20(no\x20visibility-delay\x20primitive\x20exists),\x20and\x20PolicyRule.write_once\x20makes\x20the\x20row\x20permanent.\x20Reveal-timing\x20and\x20takedown\x20must\x20be\x20rebuilt\x20off-chain\x20around\x20the\x20chain\x27s\x20tamper-proof\x20record.\x20Text-only.','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]},{'id':'INV-AB-4','statement':'A\x20guest\x20may\x20review\x20until\x20the\x20review\x20deadline\x20even\x20after\x20the\x20claim\x20window\x20has\x20opened\x20—\x20review\x20access\x20must\x20never\x20be\x20welded\x20shut\x20by\x20settlement\x20progress.','jurisdiction':'Airbnb\x20review\x20policy\x20(14\x20days\x20post-checkout).','chainConflict':'With\x20a\x20single\x20checked_out-only\x20review\x20entry,\x20opening\x20the\x20serial\x20claim\x20window\x20permanently\x20locked\x20review\x20(and\x20its\x20reward)\x20out\x20—\x20abnb14\x20F01,\x20six\x20consecutive\x20Review\x20aborts\x20on\x20mainnet.\x20The\x20cure\x20is\x20the\x20ReviewAfterWindowOpen\x20second\x20entry;\x20this\x20standing\x20check\x20re-fires\x20the\x20invariant\x20the\x20moment\x20that\x20forward\x20disappears.','evidence':[],'violation':{'whileMissingForward':'ReviewAfterWindowOpen'}}]};

package/dist/knowledge/path-oracle/products/algora.js

@@ -0,0 +1 @@
+export const ALGORA_ORACLE={'productRef':'algora','products':['algora','gitcoin-bounties','replit-bounties','onlydust','dework'],'oracleVersion':'1.1.0','steps':[{'id':'M1','class':'offchain','name':'Discover\x20the\x20bounty\x20board\x20(priced\x20issues,\x20languages,\x20earner\x20leaderboard)','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Discovery\x20is\x20the\x20product\x27s\x20storefront:\x20the\x20public\x20board\x20lists\x20issues\x20with\x20price\x20tags\x20(typically\x20$50-$2,500),\x20required\x20languages\x20and\x20maintainer\x20reputation,\x20and\x20a\x20leaderboard\x20ranks\x20earners.\x20No\x20chain\x20surface\x20—\x20and\x20on\x20this\x20template\x20the\x20posting\x20itself\x20is\x20a\x20WIP\x20listing\x20that\x20exists\x20before\x20the\x20Machine\x20does.','evidence':[]},{'id':'M2','class':'offchain','name':'Claim\x20the\x20task\x20via\x20an\x20issue\x20comment\x20and\x20open\x20a\x20competing\x20pull\x20request','actor':'fulfiller','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Claiming\x20is\x20social,\x20not\x20transactional:\x20a\x20developer\x20comments\x20to\x20claim\x20and\x20races\x20competing\x20pull\x20requests\x20until\x20one\x20merges.\x20The\x20product\x20has\x20no\x20claim\x20primitive\x20and\x20neither\x20does\x20the\x20template\x20—\x20the\x20order\x20exists\x20only\x20once\x20the\x20Client\x20funds\x20it\x20(M3),\x20and\x20the\x20Provider-side\x20identity\x20is\x20whoever\x20the\x20evidence\x20write-allowlist\x20admits.','evidence':[]},{'id':'M3','class':'main','name':'Client\x20funds\x20the\x20task\x20—\x20the\x20bounty\x20escrows\x20atomically\x20at\x20buy','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'funded','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'One\x20atomic\x20buy:\x20the\x20bounty\x20price\x20is\x20escrowed\x20the\x20moment\x20the\x20Client\x20purchases\x20the\x20task;\x20no\x20unpaid\x20open\x20state\x20exists\x20on\x20chain\x20(the\x20posting\x20is\x20off-chain).\x20The\x20amount\x20is\x20the\x20advertised\x20bounty\x20—\x20the\x20chain\x20derives\x20it\x20from\x20the\x20offer,\x20and\x20WoWok\x20takes\x20nothing\x20(the\x20Client\x20pays\x20gas\x20only).','evidence':[{'file':'service.move','line':0x1d2,'pattern':'public\x20fun\x20buy2'}]},{'id':'M4','class':'main','name':'Provider\x20submits\x20the\x20deliverable\x20with\x20a\x20WIP-hash\x20evidence\x20row','actor':'fulfiller','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'submitted','forward':'Submit','prev':'funded','identity':'named_operator','moneyEffect':'none'},'commercialSemantics':'The\x20Provider\x20(human\x20or\x20autonomous\x20agent)\x20advances\x20the\x20machine\x20by\x20Submit,\x20which\x20passes\x20only\x20if\x20the\x20WIP-hash\x20evidence\x20row\x20exists\x20in\x20the\x20plan\x20Repository;\x20the\x20row\x20is\x20write-once,\x20so\x20the\x20deliverable\x20commitment\x20is\x20append-final\x20and\x20cannot\x20be\x20silently\x20rewritten.\x20The\x20evaluation\x20clock\x20starts\x20from\x20this\x20entry\x20timestamp.','guardKeyProbe':'submit_evidence','evidence':[{'file':'repository.move','line':0x223,'pattern':'assert!(!write_once,\x20E_POLICY_WRITE_ONCE_CONFLICT)'},{'file':'progress.move','line':0x8e,'pattern':'history:\x20ParentTableVec<History>'}]},{'id':'M5','class':'offchain','name':'Iterate\x20the\x20pull\x20request\x20through\x20maintainer\x20review','actor':'fulfiller','precondition':['M4'],'onchain':'not_applicable','commercialSemantics':'Review\x20iteration\x20(comments,\x20force-pushes,\x20re-review)\x20happens\x20in\x20the\x20forage\x20platform\x27s\x20tooling;\x20the\x20chain\x20holds\x20none\x20of\x20it.\x20There\x20is\x20no\x20bounded\x20revision\x20loop\x20on\x20this\x20shape\x20(E7)\x20—\x20a\x20fresh\x20attempt\x20after\x20a\x20reject\x20means\x20a\x20new\x20bounty.','evidence':[]},{'id':'M6','class':'offchain','name':'Merge\x20signal\x20lands\x20(the\x20platform\x20event\x20that\x20feeds\x20the\x20ruling)','actor':'platform','precondition':['M5'],'onchain':'not_applicable','commercialSemantics':'The\x20merge\x20is\x20the\x20ruling\x20input,\x20not\x20a\x20chain\x20event:\x20the\x20Evaluator\x20watches\x20the\x20platform\x20and\x20then\x20rules\x20on\x20chain\x20(M7).\x20The\x20template\x20has\x20no\x20oracle\x20feed\x20—\x20the\x20merge-to-ruling\x20hop\x20is\x20exactly\x20the\x20trust\x20the\x20independent\x20Evaluator\x20is\x20paid\x20(in\x20reputation)\x20to\x20carry.','evidence':[]},{'id':'M7','class':'main','name':'Evaluator\x20rules\x20ACCEPT\x20—\x20settlement\x20releases\x20the\x20escrow\x20to\x20the\x20Provider','actor':'arbitrator','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'EvaluatorAccept','prev':'submitted','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'The\x20independent\x20Evaluator\x20rules\x20ACCEPT\x20and\x20settlement\x20releases\x20100%\x20of\x20the\x20escrow\x20to\x20the\x20Provider\x27s\x20Entity\x20—\x20zero\x20platform\x20take,\x20single\x20Rate-10000\x20leg\x20plus\x20a\x20Rate-0\x20order-anchor\x20row\x20so\x20a\x20sibling\x20task\x27s\x20passport\x20cannot\x20release\x20this\x20escrow.\x20The\x20ruling\x20rail\x20is\x20double-bound:\x20the\x20guard\x20pins\x20the\x20Evaluator\x27s\x20account\x20address\x20AND\x20the\x20forward\x20demands\x20permission\x20slot\x201001\x20—\x20guard\x20and\x20permission\x20must\x20both\x20hold.','guardKeyProbe':'evaluate_accept','evidence':[{'file':'progress.move','line':0x153,'pattern':'E_PERMISSION_NOT_DEFINED'},{'file':'allocation.move','line':0x1af,'pattern':'ERATE_NOT_10000'}]},{'id':'M8','class':'main','name':'Evaluation\x20window\x20elapses\x20—\x20the\x20keeper\x20auto-releases\x20(silence\x20favors\x20the\x20worker)','actor':'keeper','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'AutoReleaseByKeeper','prev':'submitted','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'If\x20the\x20Evaluator\x20is\x20silent\x20for\x20the\x20evaluation\x20window\x20(7\x20days),\x20the\x20keeper\x20fires\x20the\x20auto-release:\x20the\x20escrow\x20releases\x20to\x20the\x20Provider\x20and\x20never\x20auto-rejects.\x20This\x20is\x20the\x20plan\x27s\x20expired\x20outcome\x20folded\x20as\x20the\x20timeout\x20leg\x20of\x20ONE\x20completed\x20node\x20reached\x20by\x20two\x20distinct\x20forwards\x20—\x20sibling\x20accept/timeout\x20edges\x20would\x20race\x20(window\x20overlap\x20both\x20fire,\x20gap\x20neither,\x20and\x20topology\x20is\x20frozen\x20at\x20publish).','guardKeyProbe':'auto_release','evidence':[{'file':'progress.move','line':0x8e,'pattern':'history:\x20ParentTableVec<History>'},{'file':'progress.move','line':0x22c,'pattern':'parent_table_vec::push_back'}]},{'id':'E1','class':'exception','name':'Evaluator\x20rules\x20REJECT\x20—\x20full\x20refund\x20to\x20the\x20Client','actor':'arbitrator','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'rejected','forward':'EvaluatorReject','prev':'submitted','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'An\x20explicit\x20Evaluator\x20REJECT\x20refunds\x20the\x20full\x20bounty\x20via\x20the\x20order-anchored\x20refund\x20rail:\x20the\x20refund\x20recipient\x20resolves\x20to\x20the\x20paying\x20Order\x20itself,\x20so\x20redirection\x20is\x20structurally\x20impossible.\x20A\x20reject\x20is\x20a\x20ruling,\x20never\x20a\x20default\x20—\x20the\x20timeout\x20path\x20releases,\x20it\x20does\x20not\x20reject.','guardKeyProbe':'evaluate_reject','evidence':[{'file':'allocation.move','line':0x26d,'pattern':'ERECIPIENT_NOT_FOR_OBJECT'}]},{'id':'E2','class':'exception','name':'Client\x20voids\x20before\x20submission\x20—\x20pre-work\x20cancel\x20with\x20full\x20refund','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelBeforeSubmit','prev':'funded','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Before\x20any\x20submission\x20the\x20Client\x20may\x20void\x20the\x20task\x20and\x20take\x20a\x20full\x20order-anchored\x20refund\x20—\x20the\x20single-hop\x20buyer\x20exit\x20for\x20an\x20order\x20nobody\x20has\x20picked\x20up.\x20After\x20submission\x20the\x20Client\x20has\x20no\x20direct\x20exit:\x20outcomes\x20route\x20through\x20the\x20Evaluator,\x20disputes\x20through\x20Arbitration.','evidence':[{'file':'order.move','line':0x79,'pattern':'option::is_none(&self.claimed_by)'}]},{'id':'E3','class':'exception','name':'Provider\x20ghosts\x20after\x20claiming\x20—\x20the\x20order\x20rests\x20at\x20funded\x20until\x20the\x20Client\x20voids','actor':'fulfiller','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelBeforeSubmit','prev':'funded','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x20product\x20has\x20no\x20claim\x20primitive,\x20so\x20a\x20Provider\x20who\x20comments\x20and\x20disappears\x20leaves\x20no\x20chain\x20trace:\x20the\x20order\x20simply\x20rests\x20at\x20funded\x20until\x20the\x20Client\x20rides\x20E2\x27s\x20rail.\x20The\x20escrow\x20never\x20strands\x20—\x20the\x20funded\x20state\x20keeps\x20exactly\x20one\x20exit\x20in\x20every\x20case.','evidence':[]},{'id':'E4','class':'exception','name':'Agent\x20identity\x20disputed\x20(is\x20the\x20submitter\x20the\x20claimed\x20agent?\x20fleet\x20address\x20rotation?)','actor':'fulfiller','precondition':['M4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'submitted','identity':'named_operator','moneyEffect':'none'},'commercialSemantics':'The\x20product\x20treats\x20human\x20and\x20agent\x20submitters\x20identically\x20—\x20both\x20are\x20platform\x20accounts\x20—\x20so\x20there\x20is\x20no\x20on-chain\x20test\x20for\x20WHAT\x20the\x20submitter\x20is.\x20The\x20chain\x20proves\x20WHO\x20was\x20authorized:\x20the\x20evidence\x20write-allowlist\x20admits\x20the\x20submitter\x20and\x20the\x20Evaluator\x20is\x20a\x20single\x20pinned\x20account,\x20disjoint\x20from\x20Client\x20and\x20Provider.\x20The\x20gap:\x20an\x20agent\x20fleet\x20must\x20ship\x20one\x20order\x20per\x20address\x20or\x20freeze\x20its\x20roster\x20at\x20build\x20time,\x20and\x20the\x20human/agent\x20question\x20itself\x20stays\x20off-chain.\x20The\x20template\x20discloses\x20the\x20single-identity\x20discipline\x20and\x20the\x20disjointness\x20requirement\x20—\x20the\x20gap\x20predicate\x20anchors\x20exactly\x20that\x20disclosure.','gapPredicate':{'probe':'single\x20trusted\x20identity|disjoint\x20from'},'evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'E5','class':'exception','name':'Multi-solver\x20split\x20—\x20several\x20competing\x20PRs\x20partially\x20valid,\x20bounty\x20divided','actor':'fulfiller','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'The\x20product\x20pays\x20winner-take-all:\x20the\x20first\x20merged\x20PR\x20takes\x20the\x20bounty\x20and\x20competing\x20solvers\x20get\x20nothing.\x20Where\x20sibling\x20benchmarks\x20grade\x20partial\x20credit,\x20the\x20composition\x20is\x20SEPARATE\x20orders\x20per\x20solver,\x20never\x20a\x20multi-payee\x20settlement\x20—\x20the\x20template\x27s\x20allocator\x20is\x20single-recipient\x20by\x20construction\x20(one\x20explicit\x20Entity\x20per\x20leg,\x20Rate\x20sums\x20to\x2010000),\x20so\x20the\x20split\x20variant\x20is\x20eliminated\x20inside\x20one\x20order\x20rather\x20than\x20mis-expressed.','evidence':[]},{'id':'E6','class':'exception','name':'Provider\x20self-purchase\x20blocked\x20(buy\x20blocklist,\x20armed\x20at\x20build\x20time)','actor':'merchant','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'funded','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'The\x20Provider\x20cannot\x20buy\x20their\x20own\x20task:\x20the\x20blocklist\x20guard\x20rides\x20the\x20purchase\x20itself.\x20The\x20control\x20is\x20a\x20build-time\x20selector,\x20and\x20the\x20template\x20blocks\x20a\x20zero-input\x20build\x20at\x20compile\x20—\x20the\x20merchant\x20must\x20either\x20arm\x20the\x20ban\x20with\x20the\x20provider-side\x20accounts\x20or\x20explicitly\x20omit\x20the\x20guard\x20(the\x20open-store\x20polarity).\x20No\x20runtime\x20negotiation\x20exists.','evidence':[]},{'id':'E7','class':'exception','name':'Revision\x20loop\x20—\x20none;\x20a\x20reject\x20ends\x20the\x20task','actor':'buyer','precondition':['M4'],'onchain':'disclosure_only','commercialSemantics':'There\x20is\x20no\x20bounded\x20revision\x20loop:\x20a\x20reject\x20ends\x20the\x20task\x20and\x20refunds,\x20and\x20a\x20fresh\x20attempt\x20means\x20a\x20new\x20bounty.\x20The\x20template\x20discloses\x20the\x20omission\x20plainly\x20(the\x20revision-cap\x20invariant\x20stays\x20silent\x20because\x20no\x20cap\x20is\x20declared),\x20in\x20explicit\x20contrast\x20to\x20counted-fix-loop\x20siblings.','disclosureProbe':'No\x20bounded\x20revision\x20loop|a\x20reject\x20ends\x20the\x20task','evidence':[]},{'id':'E8','class':'exception','name':'Dispute-response\x20timeout\x20—\x20keeper\x20duty\x20over\x20the\x20arbitration\x20case','actor':'platform','precondition':['M4'],'onchain':'disclosure_only','commercialSemantics':'The\x20dispute-response\x20timeout\x20(7\x20days\x20default)\x20is\x20a\x20keeper\x20obligation\x20over\x20the\x20arbitration\x20case,\x20not\x20a\x20machine\x20guard\x20—\x20the\x20machine\x20has\x20no\x20dispute\x20surface\x20to\x20time.\x20It\x20is\x20a\x20declared\x20fee\x20parameter\x20and\x20a\x20listed\x20keeper\x20dependency,\x20disclosed\x20in\x20both\x20places.','disclosureProbe':'dispute\x20response\x20timeout|dispute_timeout_days','evidence':[]},{'id':'E9','class':'exception','name':'Participant\x20banned\x20or\x20account\x20issues\x20mid-task','actor':'platform','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'A\x20platform-side\x20ban\x20(or\x20a\x20lost\x20account)\x20removes\x20the\x20human,\x20not\x20the\x20escrow:\x20the\x20order\x27s\x20money\x20is\x20bound\x20to\x20the\x20Order\x20object\x20and\x20its\x20configured\x20rails,\x20so\x20outcomes\x20stay\x20exactly\x20M7/M8/E1/E2\x20—\x20the\x20banned\x20party\x20simply\x20loses\x20the\x20ability\x20to\x20act.\x20There\x20is\x20no\x20ban\x20primitive\x20to\x20mirror\x20and\x20none\x20is\x20claimed.','evidence':[]},{'id':'E10','class':'exception','name':'Evaluator\x20rules\x20against\x20the\x20Client\x20—\x20the\x20machine\x20ruling\x20is\x20final','actor':'buyer','precondition':['M4'],'onchain':'disclosure_only','commercialSemantics':'If\x20the\x20Evaluator\x20rules\x20against\x20the\x20Client,\x20that\x20ruling\x20is\x20final\x20within\x20the\x20machine\x20—\x20the\x20Client\x27s\x20only\x20recourse\x20is\x20arbitration.\x20The\x20template\x20discloses\x20this\x20as\x20the\x20key\x20risk\x20of\x20the\x20single-trusted-Evaluator\x20design\x20(a\x20wrongly\x20ruled\x20accept\x20pays\x20the\x20Provider\x20with\x20no\x20on-chain\x20undo).','disclosureProbe':'the\x20Machine\x20ruling\x20is\x20final|only\x20recourse\x20is\x20Arbitration','evidence':[]},{'id':'R1','class':'remedy','name':'File\x20an\x20arbitration\x20case\x20(venue\x20must\x20already\x20be\x20live)','actor':'buyer','precondition':['M4'],'onchain':'disclosure_only','commercialSemantics':'Disputes\x20route\x20through\x20the\x20Arbitration\x20system,\x20never\x20machine\x20nodes:\x20the\x20Client\x20opens\x20a\x20case\x20on\x20the\x20bound\x20venue,\x20which\x20must\x20already\x20be\x20unpaused\x20(a\x20paused\x20venue\x20rejects\x20every\x20filing),\x20paying\x20the\x20near-zero\x20declared\x20fee.\x20The\x20template\x20discloses\x20the\x20routing,\x20the\x20venue-readiness\x20boundary\x20and\x20the\x20paused-venue\x20rejection\x20as\x20build\x20guidance.','disclosureProbe':'Disputes\x20route\x20through\x20Arbitration|never\x20Machine\x20nodes|E_PAUSED|VENUE\x20READINESS','evidence':[{'file':'arbitration.move','line':0x169,'pattern':'order::assert_op_permission(order,\x20ctx)'}]},{'id':'R2','class':'remedy','name':'Client-won\x20award\x20—\x20the\x20fund\x20pays\x20the\x20Client\x20(ruling\x20execution)','actor':'arbitrator','precondition':['R1'],'onchain':'expressible','chainFootprint':{'forward':'ArbRefund','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'A\x20client-won\x20award\x20on\x20a\x20delivered-but-unreleased\x20task\x20(order\x20still\x20at\x20`submitted`,\x20racing\x20the\x20evaluation\x20window)\x20executes\x20ON\x20THE\x20MACHINE\x20since\x20stage2\x20#17\x20(v199,\x20the\x20contra\x20#8\x20/\x20hackerone\x20#16\x20family\x20form):\x20the\x20merchant\x27s\x20DEDICATED\x20ruling-executor\x20slot\x201004\x20concludes\x20the\x20case\x20(the\x20conclude\x20stamp\x20is\x20what\x20the\x20rails\x27\x20claimed_by\x20seal\x20reads\x20—\x204R-03b:\x20conclude,\x20THEN\x20drive)\x20and\x20drives\x20the\x20arb_refund_award\x20edge\x20(canonical\x20tpl_forward_arb_ruling_won\x20kernel:\x20zero-award\x20exclusion\x20leg\x20fail-closed,\x20venue\x20binding\x20bars\x20self-arbitrated\x20cases)\x20into\x20closed_cancel,\x20where\x20the\x20SAME\x20refund\x20rail\x20pays\x20the\x20Client\x20—\x20refund-rail\x20discipline,\x20never\x20a\x20second\x20rail\x20(D-BUG-2\x20by\x20topology:\x20once\x20the\x20order\x20reaches\x20closed_cancel\x20the\x20auto-release\x20cannot\x20fire;\x20once\x20completed\x20this\x20edge\x20cannot).\x20min_indemnity_floor\x20stays\x200\x20—\x20the\x20no-award-floor\x20route\x20is\x20disclosed\x20by\x20the\x20ARBITRATION\x20RAIL\x20AWARD\x20FLOOR\x20build\x20note\x20(family\x20standard).\x20A\x20client-won\x20award\x20on\x20a\x20task\x20whose\x20escrow\x20ALREADY\x20auto-released\x20rides\x20the\x20compensation\x20fund\x20instead\x20(fund/3\x20ceiling,\x20S4\x20provider\x20gap).\x20U-03\x20unchanged:\x20provider-favoring\x20awards\x20still\x20have\x20no\x20machine\x20path.','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'R3','class':'remedy','name':'Case\x20dismissed\x20—\x20the\x20task\x20resumes\x20its\x20machine\x20lifecycle\x20(REGISTERED,\x20not\x20standing)','actor':'arbitrator','precondition':['R1'],'onchain':'disclosure_only','commercialSemantics':'A\x20dismissed\x20case\x20should\x20return\x20the\x20task\x20to\x20its\x20machine\x20lifecycle\x20as\x20if\x20no\x20claim\x20existed.\x20REGISTERED,\x20not\x20standing\x20(stage2\x20#17,\x20the\x20beatstars\x20#9\x20/\x20hackerone\x20#16\x20precedent\x20—\x20FIX-EDGE\x20superseded):\x20disputes\x20never\x20touch\x20the\x20machine\x20here\x20(R-M1-11\x20+\x20INV-ALG-4),\x20so\x20the\x20order\x20NEVER\x20LEAVES\x20its\x20resting\x20node\x20—\x20the\x20dismissal\x20outcome\x20IS\x20the\x20identity\x20resume,\x20and\x20the\x20evaluation-window\x20auto-release\x20keeps\x20running\x20through\x20the\x20dispute\x20by\x20design\x20(dual-track\x20concurrency,\x20trust\x20R1:\x20a\x20dismissal\x20plus\x20an\x20already-fired\x20release\x20is\x20a\x20legal,\x20disclosed\x20outcome).\x20A\x20machine-side\x20ResumeAfterDismissal\x20(arb_dismissed_resume)\x20edge\x20has\x20no\x20honest\x20source\x20node\x20(a\x20self-loop\x20under\x20the\x20sso7\x20v172\x20ban,\x20or\x20a\x20duplicate\x20of\x20the\x20standing\x20rails);\x20parking\x20the\x20order\x20in\x20a\x20TPL-09\x20claim-waypoint\x20would\x20DELETE\x20the\x20dual-track\x20behavior\x20this\x20template\x20is\x20built\x20on.\x20Disclosed\x20by\x20the\x20REGISTERED-not-standing\x20build_note;\x20the\x20probe\x20stays\x20strict\x20(removing\x20the\x20note\x20re-fires\x20ORACLE-DISC).','disclosureProbe':'arb_dismissed_resume','evidence':[]},{'id':'R4','class':'remedy','name':'Claim\x20withdrawn\x20/\x20out-of-band\x20settlement\x20frees\x20the\x20escrow\x20(REGISTERED,\x20not\x20standing)','actor':'buyer','precondition':['R1'],'onchain':'disclosure_only','commercialSemantics':'A\x20claimant\x20who\x20withdraws\x20(or\x20settles\x20out-of-band)\x20should\x20free\x20the\x20escrow\x20of\x20the\x20case\x20stamp.\x20REGISTERED,\x20not\x20standing\x20(stage2\x20#17,\x20the\x20beatstars\x20#9\x20/\x20hackerone\x20#16\x20precedent\x20—\x20FIX-EDGE\x20superseded):\x20the\x20machine\x20never\x20holds\x20a\x20claim\x20state\x20(R-M1-11),\x20so\x20on\x20a\x20withdrawal\x20the\x20order\x20is\x20ALREADY\x20untouched\x20and\x20every\x20rail\x20—\x20the\x20evaluation\x20clock,\x20the\x207-day\x20auto-release,\x20the\x20refund\x20track\x20—\x20stays\x20open;\x20the\x20withdrawal\x20executes\x20on\x20the\x20Arbitration\x20object\x20itself\x20and\x20a\x20machine-side\x20WithdrawClaim\x20(withdraw_claim)\x20forward\x20has\x20no\x20honest\x20source\x20node\x20to\x20mount\x20from\x20(the\x20delivery-template\x20shape\x20presumes\x20a\x20claim\x20waypoint\x20this\x20no-park\x20shape\x20must\x20not\x20create).\x20Disclosed\x20by\x20the\x20REGISTERED-not-standing\x20build_note;\x20the\x20probe\x20stays\x20strict\x20(removing\x20the\x20note\x20re-fires\x20ORACLE-DISC).','disclosureProbe':'withdraw_claim','evidence':[{'file':'order.move','line':0x79,'pattern':'option::is_none(&self.claimed_by)'}]},{'id':'R5','class':'remedy','name':'Provider-favoring\x20award\x20—\x20the\x20fund\x20cannot\x20pay\x20the\x20Provider','actor':'fulfiller','precondition':['R1'],'onchain':'unresolvable','unresolvableRef':'S4','commercialSemantics':'The\x20compensation\x20fund\x20protects\x20the\x20Client\x20only:\x20its\x20payout\x20path\x20is\x20bound\x20to\x20the\x20order\x20owner,\x20so\x20a\x20Provider-favoring\x20award\x20(the\x20malicious-reject\x20case)\x20has\x20no\x20on-chain\x20payment\x20path.\x20The\x20template\x20discloses\x20the\x20limitation\x20verbatim\x20and\x20instructs\x20the\x20merchant\x20to\x20document\x20it;\x20a\x20Provider-side\x20indemnity\x20primitive\x20does\x20not\x20exist\x20(S4).','disclosureProbe':'COMPENSATION\x20FUND\x20PROTECTS\x20THE\x20CLIENT\x20ONLY|no\x20on-chain\x20path\x20to\x20indemnify\x20the\x20Provider','evidence':[{'file':'service.move','line':0x265,'pattern':'order::owner(order)'},{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'}]},{'id':'R6','class':'remedy','name':'Award\x20ceiling\x20—\x20the\x20fund\x20pays\x20at\x20most\x20fund/3\x20per\x20order','actor':'arbitrator','precondition':['R1'],'onchain':'disclosure_only','commercialSemantics':'Awards\x20are\x20capped\x20at\x20a\x20third\x20of\x20the\x20live\x20fund\x20per\x20order\x20(the\x20protocol\x20multiple\x20over\x20the\x20covered\x20base),\x20and\x20any\x20fund\x20figure\x20quoted\x20in\x20the\x20service\x20description\x20is\x20free\x20text\x20that\x20silently\x20goes\x20stale\x20as\x20awards\x20shrink\x20the\x20fund\x20—\x20the\x20template\x20discloses\x20both\x20the\x20ceiling\x20and\x20the\x20prose-anchor\x20hazard\x20as\x20a\x20must-disclose\x20trust\x20claim.','disclosureProbe':'compensation\x20fund|covered\x20ceiling|fund/3','evidence':[{'file':'arb.move','line':0x21d,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'}]},{'id':'R7','class':'remedy','name':'Arb-case\x20silence\x20—\x20a\x20stale\x20claim\x20expires\x20into\x20acceptance\x20(30-day\x20window)','actor':'arbitrator','precondition':['R1'],'onchain':'not_applicable','commercialSemantics':'The\x20arbitration\x20system\x27s\x20own\x20silence\x20rule\x20(a\x20stale\x20claim\x20expires\x20into\x20acceptance\x20after\x20the\x20withdraw\x20window)\x20lives\x20entirely\x20outside\x20this\x20template:\x20the\x20machine\x20configures\x20no\x20case\x20surface.\x20Its\x20polarity\x20matches\x20the\x20machine\x27s\x20own\x20silence\x20direction\x20anyway\x20—\x20silence\x20favors\x20the\x20worker\x20on\x20both\x20rails\x20(the\x20evaluation\x20timeout\x20releases,\x20it\x20never\x20rejects).','evidence':[{'file':'arb.move','line':0x10,'pattern':'WITHDRAW_DURATION_TIME'}]},{'id':'R8','class':'remedy','name':'Keeper\x20executes\x20the\x20ruling\x27s\x20remaining\x20money\x20paths\x20off-machine\x20(hybrid\x20since\x20#17)','actor':'keeper','precondition':['R1'],'onchain':'disclosure_only','commercialSemantics':'The\x20keeper\x20is\x20a\x20first-class\x20dependency:\x20the\x20evaluation-window\x20auto-release\x20is\x20100%\x20off-chain\x20(no\x20on-chain\x20timer).\x20Ruling\x20execution\x20is\x20HYBRID\x20since\x20stage2\x20#17\x20(v199):\x20the\x20client-won\x20award\x20rides\x20the\x20on-Machine\x20arb_refund_award\x20edge\x20driven\x20by\x20the\x20merchant\x27s\x201004\x20ruling-executor\x20slot,\x20while\x20dismissal/withdrawal\x20handling\x20and\x20fund-side\x20payouts\x20stay\x20off-chain\x20—\x20the\x20ruling\x20changes\x20case\x20state\x20on\x20chain\x20and\x20the\x20keeper\x20moves\x20the\x20remaining\x20money\x20per\x20the\x20ruling.\x20No\x20keeper\x20means\x20manual-only\x20confirmation\x20and\x20the\x20funds-stuck\x20failure\x20mode\x20returns\x20for\x20the\x20auto-release.','disclosureProbe':'ruling\x20execution\x20is\x20hybrid|no\x20keeper\x20means\x20manual-only\x20confirmation|1004\x20ruling-executor\x20slot','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'P1','class':'post','name':'Fiat\x20payout\x20rail\x20and\x20KYC\x20boundary','actor':'platform','precondition':['M7'],'onchain':'not_applicable','commercialSemantics':'Settlement\x20here\x20is\x20on-chain\x20to\x20the\x20Provider\x27s\x20wallet;\x20the\x20product\x27s\x20fiat\x20off-ramp\x20and\x20its\x20KYC\x20boundary\x20are\x20incumbent-side\x20payment-processor\x20rails\x20this\x20template\x20does\x20not\x20model\x20and\x20does\x20not\x20claim.','evidence':[]},{'id':'P2','class':'post','name':'Tax\x20reporting\x20(income\x20statements\x20to\x20solvers)','actor':'platform','precondition':['M7'],'onchain':'not_applicable','commercialSemantics':'The\x20product\x27s\x20income\x20reporting\x20rides\x20its\x20payment\x20processor;\x20the\x20chain\x20has\x20no\x20tax-reporting\x20surface,\x20and\x20the\x20template\x20claims\x20none.','evidence':[]},{'id':'P3','class':'post','name':'Reputation\x20—\x20rides\x20the\x20Evaluator\x27s\x20on-chain\x20ruling\x20record','actor':'platform','precondition':['M7'],'onchain':'disclosure_only','commercialSemantics':'Agent-to-agent\x20tasks\x20carry\x20no\x20human\x20star-review;\x20reputation\x20accrues\x20from\x20the\x20immutable\x20on-chain\x20record\x20of\x20rulings\x20instead.\x20The\x20template\x20discloses\x20exactly\x20this\x20substitution\x20(review\x20rail\x20intentionally\x20off,\x20reputation\x20on\x20the\x20ruling\x20record).','disclosureProbe':'reputation\x20rides\x20the\x20Evaluator','evidence':[{'file':'progress.move','line':0x8e,'pattern':'history:\x20ParentTableVec<History>'},{'file':'progress.move','line':0x22c,'pattern':'parent_table_vec::push_back'}]},{'id':'P4','class':'post','name':'Public\x20earnings\x20leaderboard\x20/\x20payout\x20history','actor':'platform','precondition':['P3'],'onchain':'not_applicable','commercialSemantics':'The\x20leaderboard\x20is\x20the\x20product\x27s\x20marketing\x20surface\x20—\x20an\x20indexer\x20view\x20over\x20completed\x20tasks\x20and\x20payouts,\x20not\x20a\x20chain\x20primitive\x20this\x20template\x20ships\x20or\x20claims.','evidence':[]},{'id':'P5','class':'post','name':'Repeat\x20engagement\x20—\x20the\x20next\x20bounty\x20is\x20a\x20fresh\x20atomic\x20order','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'funded','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'Repeat\x20engagement\x20is\x20pure\x20composition:\x20every\x20bounty\x20is\x20its\x20own\x20atomic\x20order,\x20so\x20a\x20returning\x20Client\x20simply\x20funds\x20the\x20next\x20issue\x20as\x20a\x20fresh\x20order.\x20No\x20subscription,\x20retainer\x20or\x20wallet\x20abstraction\x20is\x20needed\x20—\x20which\x20is\x20also\x20why\x20none\x20is\x20disclosed.','evidence':[{'file':'service.move','line':0x1d2,'pattern':'public\x20fun\x20buy2'}]},{'id':'P6','class':'post','name':'Safe\x20harbor\x20—\x20task\x20outputs\x20delivered\x20as-is\x20(no\x20warranty\x20beyond\x20funded\x20escrow)','actor':'platform','precondition':['M7'],'onchain':'disclosure_only','commercialSemantics':'Task\x20outputs\x20are\x20delivered\x20as-is\x20—\x20the\x20machine\x20enforces\x20escrow,\x20the\x20Evaluator\x27s\x20ruling\x20and\x20the\x20compensation\x20rails\x20only;\x20no\x20warranty\x20of\x20fitness,\x20no\x20professional-service\x20guarantee\x20and\x20no\x20indemnity\x20beyond\x20the\x20funded\x20pool\x20+\x20the\x203x\x20award\x20cap\x20ride\x20on\x20chain,\x20and\x20the\x20Client\x27s\x20reliance\x20on\x20an\x20output\x20outside\x20the\x20stated\x20scope\x20is\x20an\x20off-chain\x20matter.','disclosureProbe':'SAFE\x20HARBOR\x20IS\x20A\x20DISCLOSURE','evidence':[]}],'invariants':[{'id':'INV-ALG-1','statement':'If\x20the\x20template\x20promises\x20an\x20evaluation\x20window\x20(evaluation_window_days\x20>\x200),\x20the\x20timeout\x20leg\x20must\x20exist:\x20a\x20stalled\x20Evaluator\x20unblocks\x20the\x20Provider\x20via\x20auto-release\x20—\x20a\x20submitted\x20task\x20may\x20never\x20strand\x20at\x20an\x20intermediate\x20node\x20with\x20no\x20exit.','jurisdiction':'Platform\x20convention\x20(auto-accept\x20windows\x20in\x20freelance-market\x20terms);\x20protocol\x20escrow-exit\x20invariant\x20(every\x20terminal\x20keeps\x20exactly\x20one\x20fund\x20exit).','chainConflict':'The\x20machine\x20has\x20no\x20timer\x20of\x20its\x20own\x20—\x20the\x20window\x20is\x20keeper-driven,\x20so\x20removing\x20the\x20timeout\x20forward\x20while\x20keeping\x20the\x20window\x20promise\x20converts\x20a\x20slow\x20ruling\x20into\x20a\x20permanent\x20escrow\x20freeze.\x20Mechanical\x20standing\x20check:\x20fires\x20only\x20if\x20the\x20window\x20is\x20non-zero\x20AND\x20the\x20auto-release\x20forward\x20is\x20gone;\x20it\x20currently\x20holds,\x20and\x20removing\x20the\x20forward\x20re-fires\x20it.','violation':{'requiresFeeParamNonZero':'evaluation_window_days','whileMissingForward':'AutoReleaseByKeeper'}},{'id':'INV-ALG-2','statement':'Silence\x20favors\x20the\x20worker:\x20the\x20timeout\x20path\x20RELEASES\x20to\x20the\x20Provider\x20and\x20never\x20auto-rejects;\x20a\x20reject\x20is\x20always\x20an\x20explicit\x20Evaluator\x20ruling.\x20A\x20stalled\x20Evaluator\x20can\x20delay\x20payment\x20but\x20can\x20never\x20strip\x20a\x20Provider\x20who\x20submitted\x20evidence.','jurisdiction':'Template\x20doctrine\x20(silence-favors-the-worker\x20build\x20note);\x20mirrors\x20the\x20freelance-market\x20auto-accept\x20convention.','chainConflict':'The\x20reject\x20edge\x20carries\x20the\x20same\x20Evaluator\x20pin\x20as\x20the\x20accept\x20edge\x20and\x20the\x20reject\x20node\x20carries\x20no\x20payer-side\x20operator,\x20so\x20an\x20auto-reject\x20rail\x20cannot\x20exist\x20without\x20an\x20explicit\x20ruling\x20—\x20the\x20polarity\x20is\x20structural,\x20not\x20a\x20policy\x20toggle.\x20Text-only:\x20the\x20absence\x20of\x20an\x20auto-reject\x20edge\x20is\x20not\x20expressible\x20as\x20a\x20fee-parameter\x20predicate.'},{'id':'INV-ALG-3','statement':'The\x20compensation\x20fund\x20protects\x20the\x20Client\x20only:\x20the\x20award\x20payout\x20path\x20is\x20bound\x20to\x20the\x20order\x20owner\x20and\x20any\x20award\x20is\x20capped\x20at\x20a\x20third\x20of\x20the\x20live\x20fund\x20—\x20a\x20Provider-favoring\x20award\x20has\x20no\x20on-chain\x20payment\x20path\x20in\x20this\x20shape,\x20a\x20disclosed\x20limitation.','jurisdiction':'Protocol\x20arbitration\x20terms;\x20template\x20disclosure\x20(the\x20fund-cannot-pay-the-Provider\x20note\x20is\x20mandatory).','chainConflict':'The\x20fund\x27s\x20payout\x20leg\x20resolves\x20its\x20recipient\x20from\x20the\x20order-owner\x20side\x20and\x20the\x20ceiling\x20is\x20a\x20protocol\x20constant\x20over\x20the\x20covered\x20base\x20—\x20both\x20direction\x20and\x20size\x20are\x20chain-bound,\x20not\x20policy-bound.\x20Text-only:\x20the\x20missing\x20provider-side\x20payout\x20has\x20no\x20fee_params\x20key\x20to\x20probe.','evidence':[{'file':'service.move','line':0x265,'pattern':'order::owner(order)'},{'file':'arb.move','line':0x21d,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'}]},{'id':'INV-ALG-4','statement':'The\x20machine\x20ships\x20zero\x20dispute-WAYPOINT\x20edges\x20by\x20design:\x20disputes\x20route\x20through\x20the\x20Arbitration\x20system,\x20no\x20claim-waypoint\x20node\x20may\x20be\x20invented\x20on\x20this\x20shape,\x20and\x20the\x20no-park\x20doctrine\x20stands\x20(stage2\x20#17\x20re-registered:\x20the\x20gamefound\x20TPL-09\x20waypoint\x20family\x20is\x20the\x20OPPOSITE\x20doctrine\x20here\x20—\x20it\x20would\x20delete\x20the\x20dual-track\x20concurrency).\x20Refined\x20by\x20stage2\x20#17\x20(v199):\x20the\x20client-won\x20AWARD\x20EXECUTION\x20edge\x20(arb_refund_award,\x20submitted\x20->\x20closed_cancel,\x20merchant\x20slot\x201004)\x20is\x20NOT\x20a\x20dispute\x20waypoint\x20—\x20it\x20is\x20a\x20fund-rail\x20execution\x20event\x20on\x20the\x20existing\x20refund\x20rail,\x20the\x20same\x20refund-rail\x20discipline\x20the\x20family\x20uses\x20(contra\x20#8,\x20hackerone\x20#16)\x20—\x20while\x20dismissal-resume\x20and\x20claim-withdraw\x20edges\x20stay\x20unmounted\x20(REGISTERED-not-standing,\x20no-park\x20doctrine;\x20mounting\x20them\x20remains\x20a\x20doctrine\x20decision,\x20never\x20a\x20silent\x20edit).','jurisdiction':'Template\x20doctrine\x20(the\x20disputes-routing\x20note,\x20the\x20recovery-rail\x20direction\x20note,\x20and\x20the\x20stage2\x20#17\x20execution-vs-waypoint\x20split).','chainConflict':'Within\x20the\x20machine\x20the\x20rails\x20are\x20mutually\x20exclusive\x20by\x20construction,\x20while\x20across\x20systems\x20a\x20refund\x20plus\x20a\x20claimed\x20indemnity\x20is\x20a\x20legal,\x20disclosed\x20double\x20collection\x20(confirmed\x20at\x20the\x20dual-payout\x20gate)\x20—\x20the\x20execution-vs-waypoint\x20split\x20(stage2\x20#17)\x20keeps\x20exactly\x20this\x20boundary:\x20the\x20award\x20edge\x20moves\x20money\x20along\x20the\x20EXISTING\x20refund\x20rail\x20under\x20the\x20canonical\x20kernel\x27s\x20fail-closed\x20legs,\x20it\x20never\x20adds\x20a\x20second\x20payout\x20allocator\x20or\x20a\x20park\x20state.\x20Text-only:\x20a\x20doctrine\x20prohibition\x20has\x20no\x20mechanical\x20predicate.'}]};

package/dist/knowledge/path-oracle/products/alibaba-1688.js

@@ -0,0 +1 @@
+export const ALIBABA_1688_ORACLE={'productRef':'alibaba-1688','products':['alibaba-1688'],'oracleVersion':'1.1.0','steps':[{'id':'M1','class':'offchain','name':'Supplier\x20discovery\x20and\x20credibility\x20screening\x20(Chengxintong\x20tenure,\x20dispute-rate\x20badges)','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Keyword\x20search,\x20trade-assurance\x20filter\x20and\x20supplier\x20credit\x20badges.\x20No\x20chain\x20object\x20can\x20host\x20a\x20search\x20index\x20or\x20a\x20credibility\x20score;\x20the\x20Market\x20layer\x27s\x20attention\x20surface\x20is\x20the\x20only\x20oracle-adjacent\x20substitute.','evidence':[]},{'id':'M2','class':'offchain','name':'RFQ\x20negotiation:\x20MOQ,\x20tiered\x20lot\x20pricing,\x20sampling\x20terms,\x20Incoterms','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Price\x20ladders\x20and\x20MOQ\x20tiers\x20are\x20negotiated\x20in\x20Messenger;\x20the\x20buy()\x20rail\x20takes\x20ONE\x20final\x20lot\x20price.\x20No\x20negotiation\x20primitive\x20exists\x20on-chain\x20(S2),\x20by\x20design.','evidence':[]},{'id':'M3','class':'offchain','name':'Sample\x20order\x20and\x20tooling\x20fee\x20(separate\x20small\x20order;\x20its\x20batch\x20rebate\x20is\x20cross-order)','actor':'buyer','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'A\x20sample\x20is\x20its\x20own\x20mini-order;\x20the\x20promised\x20sample-fee\x20rebate\x20on\x20the\x20later\x20batch\x20order\x20is\x20a\x20cross-order\x20credit\x20the\x20chain\x20cannot\x20post\x20against\x20a\x20second\x20order.\x20The\x20rebate\x27s\x20remedy\x20twin\x20is\x20E14\x20(Discount\x20proxy),\x20which\x20carries\x20the\x20disclosure\x20probe.','evidence':[]},{'id':'M14','class':'offchain','name':'Customs\x20clearance,\x20import\x20duties\x20and\x20logistics-mode\x20selection\x20(carrier\x20/\x20self-arranged)','actor':'merchant','precondition':['M8'],'onchain':'not_applicable','commercialSemantics':'logistics_mode\x20only\x20selects\x20whether\x20the\x20in-transit-loss\x20build\x20note\x20is\x20mounted;\x20customs\x20itself\x20is\x20a\x20purely\x20off-chain\x20event\x20(see\x20E9).','evidence':[]},{'id':'M4','class':'main','name':'Place\x20the\x20wholesale\x20order\x20-\x20full\x20lot\x20price\x20escrowed\x20atomically\x20at\x20buy','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'buy2\x20enters\x20the\x20order\x20and\x20pools\x20the\x20full\x20lot\x20price\x20in\x20one\x20PTB;\x20the\x20lot\x20price\x20is\x20negotiated\x20off-chain\x20(M2)\x20and\x20lands\x20as\x20the\x20escrow\x20amount.','evidence':[{'file':'service.move','line':0x1d2,'pattern':'public\x20fun\x20buy2'}]},{'id':'M5','class':'main','name':'Qualified-buyer\x20gate\x20at\x20buy\x20(allowlist/passport\x20identity\x20leg)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20B2B\x20template\x20sells\x20to\x20merchant-operators;\x20the\x20buy\x20guard\x20can\x20mount\x20an\x20identity/allowlist\x20leg\x20so\x20only\x20qualified\x20buyers\x20pass.\x20The\x20guard\x20is\x20service-hosted,\x20so\x20its\x20key\x20is\x20invisible\x20to\x20machine-edge\x20guard-key\x20probes\x20-\x20presence\x20is\x20anchored\x20here\x20on\x20the\x20entry\x20edge.','evidence':[]},{'id':'M6','class':'main','name':'Ship\x20with\x20carrier\x20tracking\x20evidence\x20(order-keyed\x20write-once\x20repository\x20row)','actor':'merchant','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'shipped','forward':'Ship','prev':'paid','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'ship','commercialSemantics':'The\x20supplier\x20ships\x20and\x20writes\x20the\x20tracking-hash\x20evidence\x20row\x20under\x20a\x20repository\x20write\x20guard\x20(E_POLICY_WRITE_GUARD_REQUIRED);\x20the\x20row\x20is\x20the\x20dispute-ready\x20record\x20of\x20what\x20shipped\x20and\x20when.','evidence':[{'file':'repository.move','line':0x36,'pattern':'E_POLICY_WRITE_GUARD_REQUIRED'}]},{'id':'M7','class':'main','name':'Pre-shipment\x20third-party\x20inspection\x20(SGS/BV/TUV,\x20AQL\x202.5/4.0)\x20-\x20report\x20can\x20only\x20land\x20as\x20an\x20evidence\x20row','actor':'buyer','precondition':['M6'],'onchain':'disclosure_only','disclosureProbe':'WTS\x20Proof|EVIDENCE\x20WRITE\x20GATE','commercialSemantics':'A\x20third-party\x20inspection\x20report\x20has\x20no\x20dedicated\x20object:\x20the\x20inspector\x20is\x20an\x20off-chain\x20service\x20(S9)\x20and\x20the\x20report\x27s\x20chain-side\x20substitute\x20is\x20the\x20WTS-backed\x20evidence-row\x20discipline\x20the\x20template\x20already\x20discloses.\x20An\x20inspection\x20fail\x20means\x20goods\x20never\x20ship\x20-\x20the\x20buyer\x20exits\x20via\x20E1\x20(cancel\x20before\x20shipment).','evidence':[]},{'id':'M8','class':'main','name':'Carrier\x20transit,\x20multimodal\x20(FOB/CIF\x20risk\x20transfer,\x20Incoterms\x202020)','actor':'merchant','precondition':['M6'],'onchain':'disclosure_only','disclosureProbe':'carrier|IN-TRANSIT\x20LOSS','commercialSemantics':'Multimodal\x20transit\x20and\x20risk\x20transfer\x20happen\x20outside\x20the\x20Machine;\x20the\x20chain\x27s\x20only\x20transit\x20fact\x20is\x20the\x20tracking\x20evidence\x20row.\x20Loss/damage\x20in\x20transit\x20is\x20the\x20disclosed\x20IN-TRANSIT\x20LOSS\x20remedy\x20(E7).','evidence':[]},{'id':'M9','class':'main','name':'Buyer-first\x20delivery\x20confirmation\x20(supplier\x20can\x20never\x20self-confirm)','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ConfirmDelivery','prev':'shipped','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'deliver_confirm','commercialSemantics':'The\x20buyer\x20confirms\x20delivery;\x20the\x20supplier\x20has\x20no\x20confirm\x20forward\x20of\x20its\x20own\x20(release\x20authority\x20is\x20a\x20rail,\x20not\x20a\x20name).','evidence':[]},{'id':'E19','class':'exception','name':'Buyer\x20silence\x20auto-confirm\x20after\x207\x20days\x20(keeper\x20clock\x20duty)','actor':'keeper','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'AutoConfirmDelivery','prev':'shipped','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'deliver_confirm_timeout','commercialSemantics':'auto_confirm_days=7\x20drives\x20the\x20keeper\x27s\x20clock;\x20silence\x20re-anchors\x20windows\x20from\x20the\x20delivery\x20entry\x20(find=last\x20history\x20row).','evidence':[]},{'id':'M11','class':'main','name':'Restock\x20terminal\x20gate:\x20buyer\x20counts\x20and\x20shelves\x20inventory\x20BEFORE\x20settlement\x20(gf30\x20A5)','actor':'buyer','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'restocked','forward':'ConfirmRestock','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'restock_confirm','commercialSemantics':'The\x20restock-supply\x20delta\x20vs\x20sibling\x20retail\x20archetypes:\x20settle\x20never\x20fires\x20from\x20delivered\x20-\x20the\x20buyer\x20must\x20confirm\x20the\x20goods\x20are\x20sellable\x20stock\x20first.\x20Shipped\x20at\x201.1.0\x20the\x20count-sheet\x20discipline\x20has\x20its\x20WRITE\x20side\x20machine-enforced\x20(identity-bound,\x20write-once\x20evidence_count\x20policy\x20-\x20the\x20count\x20sheet\x20is\x20the\x20dispute-ready\x20record),\x20while\x20a\x20row-PRESENCE\x20precondition\x20on\x20this\x20buyer\x20edge\x20is\x20a\x20REGISTERED\x20KERNEL\x20GAP\x20(F-01\x20buyer-rail\x20gate\x20demands\x20an\x20order-holder\x20leg\x20on\x20every\x20tpl_*\x20guard;\x20no\x20row-gate+identity\x20combo\x20exists)\x20-\x20presence\x20rides\x20the\x20keeper\x20briefing\x20duty\x20(E4\x20duty\x20row)\x20instead\x20of\x20a\x20chain\x20gate.\x20The\x20chain\x20does\x20not\x20state-gate\x20the\x20order-restock\x20primitive\x20(disclosed,\x20P4).','evidence':[]},{'id':'E20','class':'exception','name':'Buyer\x20silence\x20auto-restock\x20after\x203\x20days\x20(keeper\x20clock\x20duty)','actor':'keeper','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'restocked','forward':'AutoRestock','prev':'delivered','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'restock_confirm_timeout','commercialSemantics':'restock_confirm_days=3\x20drives\x20the\x20keeper\x27s\x20clock\x20so\x20a\x20silent\x20buyer\x20cannot\x20strand\x20the\x20supplier\x27s\x20funds\x20behind\x20the\x20terminal\x20gate\x20forever.','evidence':[]},{'id':'M13','class':'main','name':'Settlement\x20releases\x20the\x20escrow\x20to\x20the\x20supplier\x20Entity\x20(0\x20commission,\x20serial\x20window)','actor':'keeper','precondition':['M11'],'onchain':'expressible','chainFootprint':{'node':'restocked','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'Rate\x2010000\x20single\x20recipient\x20(0%\x20platform\x20take,\x20direct\x20B2B);\x20settlement_days=7\x20is\x20the\x20serial\x20time-lock\x20measured\x20from\x20the\x20delivered\x20ENTRY,\x20gated\x20behind\x20the\x20restocked\x20terminal\x20gate.\x20There\x20is\x20no\x20explicit\x20Settle\x20forward\x20edge\x20in\x20this\x20shape\x20-\x20the\x20release\x20is\x20the\x20settle_alloc\x20allocator\x20row\x20(Rate\x2010000\x20entity\x20+\x20Rate-0\x20order-anchor\x20leg)\x20that\x20fires\x20at\x20the\x20restocked\x20terminal,\x20so\x20the\x20anchor\x20here\x20is\x20the\x20node\x20itself\x20and\x20the\x20allocator\x20guard\x20key\x20is\x20invisible\x20to\x20edge\x20guard-key\x20probes.\x20Payout\x20is\x20the\x20fixed-entity\x20allocator\x20divider.','evidence':[{'file':'allocation.move','line':0x271,'pattern':'Recipient::Entity'}]},{'id':'E1','class':'exception','name':'Buyer\x20cancels\x20before\x20shipment\x20(unconditional\x20full\x20refund)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelBeforeShipment','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'cancel_unshipped','commercialSemantics':'Pre-shipment\x20the\x20buyer\x20holds\x20full\x20exit\x20power\x20(restock-supply\x20has\x20no\x20picking\x20stage;\x20everything\x20before\x20Ship\x20is\x20cancellable).\x20Coupons\x20spent\x20on\x20the\x20sale\x20are\x20NOT\x20auto-returned\x20(E15).','evidence':[]},{'id':'E2','class':'exception','name':'Supplier\x20no-show\x20or\x20stockout\x20(cancel\x20or\x20arbitration\x20route\x20into\x20the\x20full-refund\x20rail)','actor':'merchant','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'arb_refund','commercialSemantics':'A\x20supplier\x20who\x20cannot\x20ship\x20post-payment\x20is\x20the\x20top\x20B2B\x20risk;\x20the\x20buyer\x27s\x20remedy\x20is\x20the\x20arbitration\x20route\x20into\x20closed_cancel\x20(won\x20ruling\x20fires\x20ArbRefund).','evidence':[]},{'id':'E3','class':'exception','name':'Late-delivery\x20breach\x20(daily\x200.05-0.5%\x20penalty,\x20capped\x20at\x2030%\x20of\x20the\x20actual\x20loss)','actor':'merchant','precondition':['M6'],'onchain':'disclosure_only','disclosureProbe':'late[^\x22]{0,60}deliver|late\x20delivery|ship.deadline','commercialSemantics':'1688\x27s\x20super-market\x20guarantee\x20is\x20a\x20daily\x20late\x20penalty.\x20The\x20restock-supply\x20corpus\x20carries\x20NO\x20late-delivery\x20disclosure\x20at\x20all\x20-\x20the\x20ship\x20deadline\x20exists\x20only\x20as\x20an\x20unanchored\x20promise.\x20Known\x20template\x20gap\x20(wiki\x20Q7,\x20FIX-DISCLOSURE):\x20this\x20probe\x20is\x20deliberately\x20strict\x20so\x20the\x20gap\x20surfaces\x20instead\x20of\x20being\x20whitewashed\x20by\x20the\x20unrelated\x20claim-window\x20substring.','evidence':[]},{'id':'E4','class':'exception','name':'Short\x20shipment\x20-\x20quantity\x20deficit\x20(arbitration;\x20no\x20partial-refund\x20primitive)','actor':'merchant','precondition':['M11'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'arb_refund','gapPredicate':{'probe':'partial\x20refund|per-unit|short.ship'},'commercialSemantics':'A\x20partial\x20delivery\x20deserves\x20a\x20partial\x20refund\x20(per-unit\x20shortfall),\x20but\x20the\x20chain\x20has\x20no\x20partial-refund\x20or\x20per-unit\x20discount\x20primitive:\x20the\x20won-ruling\x20rail\x20is\x20all-or-nothing.\x20Shipped\x20at\x201.1.0:\x20the\x20SHORT-SHIPMENT\x20SETTLES\x20ALL-OR-NOTHING\x20note\x20discloses\x20the\x20boundary,\x20the\x20count-sheet\x20evidence\x20row\x20(identity-bound\x20write-once\x20evidence_count\x20policy)\x20is\x20machine-enforced\x20on\x20the\x20WRITE\x20side\x20so\x20the\x20count\x20sheet\x20is\x20the\x20dispute-ready\x20record,\x20and\x20the\x20tiered\x20amount\x20ladder\x20(<5%\x20/\x20<20%\x20/\x20>=20%)\x20rides\x20the\x20disclosure\x20as\x20the\x20OBJECTIVE\x20ARB\x20INPUT\x20—\x20the\x20shortfall\x20itself\x20is\x20arbitrated\x20with\x20the\x20WTS\x20count\x20sheet\x20(row-presence\x20on\x20the\x20buyer\x20confirm\x20edge\x20=\x20registered\x20kernel\x20gap,\x20keeper\x20briefing\x20duty);\x20the\x20ruling\x20pays\x20full\x20refund\x20or\x20an\x20indemnity,\x20never\x20an\x20in-between\x20per-unit\x20credit.','evidence':[{'file':'arb.move','line':0x21d,'pattern':'saturating_mul'}]},{'id':'E5','class':'exception','name':'Goods\x20not\x20as\x20described\x20(Trade\x20Assurance\x20core\x20case;\x20WTS-evidenced\x20arbitration)','actor':'merchant','precondition':['M11'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'arb_refund','gapPredicate':{'probe':'WTS\x20Proof'},'commercialSemantics':'Trade\x20Assurance\x27s\x20core\x20promise\x20(refund\x20if\x20goods\x20differ\x20from\x20the\x20agreed\x20spec)\x20is\x20expressed\x20as:\x20store\x20the\x20sealed-sample\x20hash\x20and\x20spec\x20sheet\x20as\x20evidence\x20rows,\x20let\x20a\x20third-party\x20arbitrator\x20rule,\x20and\x20the\x20won\x20ruling\x20re-routes\x20the\x20escrow\x20via\x20the\x20six-leg\x20ArbRefund\x20rail.\x20The\x20chain\x20has\x20no\x20quality\x20standard\x20to\x20judge\x20\x27as\x20described\x27\x20against\x20-\x20the\x20expressible\x20form\x20is\x20WTS-backed\x20evidence\x20an\x20arbitrator\x20can\x20trust,\x20never\x20an\x20automated\x20spec\x20check.','evidence':[]},{'id':'E6','class':'exception','name':'Color\x20shade\x20within\x20tolerance\x20(negotiated\x20discount\x20or\x20arbitration)','actor':'merchant','precondition':['M11'],'onchain':'disclosure_only','disclosureProbe':'dispute-ready|arbitration\x20route','commercialSemantics':'Shade\x20tolerance\x20is\x20a\x20negotiated,\x20industry-standard\x20concept\x20with\x20no\x20chain\x20oracle;\x20the\x20expressible\x20surface\x20is\x20the\x20dispute-ready\x20evidence\x20record\x20the\x20template\x20discloses,\x20resolved\x20by\x20arbitration.','evidence':[]},{'id':'E7','class':'exception','name':'Carrier\x20transit\x20loss\x20or\x20damage\x20(arbitration\x20route;\x20the\x20carrier\x20claim\x20itself\x20is\x20off-chain)','actor':'fulfiller','precondition':['M8'],'onchain':'disclosure_only','disclosureProbe':'IN-TRANSIT\x20LOSS|no\x20carrier\x20oracle','commercialSemantics':'The\x20template\x27s\x20K3-batch-C\x20note\x20is\x20explicit:\x20a\x20lost\x20parcel\x20is\x20remedied\x20by\x20the\x20buyer\x27s\x20arbitration\x20route\x20into\x20the\x20full-refund\x20rail,\x20and\x20the\x20carrier\x20claim\x20itself\x20is\x20an\x20OFF-CHAIN\x20recovery\x20-\x20the\x20chain\x20has\x20no\x20carrier\x20oracle\x20(see\x20R5).','evidence':[]},{'id':'E8','class':'exception','name':'Pre-shipment\x20inspection\x20fail\x20(AQL\x20fail\x20-\x20goods\x20never\x20ship,\x20buyer\x20exits\x20via\x20E1)','actor':'buyer','precondition':['M7'],'onchain':'disclosure_only','disclosureProbe':'EVIDENCE\x20WRITE\x20GATE','commercialSemantics':'An\x20AQL\x20fail\x20keeps\x20the\x20order\x20unshipped;\x20the\x20buyer\x20cancels\x20pre-shipment\x20(E1,\x20full\x20refund).\x20The\x20chain-side\x20role\x20of\x20the\x20inspection\x20report\x20is\x20the\x20evidence-row\x20write\x20discipline\x20the\x20template\x20already\x20gates.','evidence':[]},{'id':'E9','class':'exception','name':'Customs\x20hold\x20or\x20seizure\x20(off-chain\x20event;\x20wait\x20out\x20or\x20arbitrate)','actor':'buyer','precondition':['M14'],'onchain':'disclosure_only','disclosureProbe':'no\x20carrier\x20oracle|OFF-CHAIN\x20recovery','commercialSemantics':'Customs\x20is\x20outside\x20every\x20chain\x20object;\x20the\x20buyer\x20either\x20waits\x20out\x20the\x20hold\x20or\x20arbitrates\x20for\x20non-delivery.\x20The\x20corpus\x27s\x20off-chain\x20boundary\x20note\x20is\x20the\x20only\x20honest\x20anchor.','evidence':[]},{'id':'E10','class':'exception','name':'Deposit\x20+\x20balance\x20installment\x20refused\x20(buy()\x20has\x20no\x20unpaid-reservation\x20state)','actor':'buyer','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'1688\x27s\x2030%\x20deposit\x20/\x2070%\x20balance\x20flow\x20needs\x20a\x20two-phase\x20payment\x20state\x20the\x20chain\x20lacks;\x20the\x20template\x20is\x20full-prepay\x20by\x20construction\x20(S2),\x20so\x20the\x20step\x20is\x20marked\x20not\x20applicable\x20rather\x20than\x20expressed\x20dishonestly.','evidence':[]},{'id':'E11','class':'exception','name':'Credit-term\x20overdue\x20bad\x20debt\x20(30/60/90-day\x20terms;\x20escrow\x20model\x20eliminates\x20it)','actor':'buyer','precondition':['M13'],'onchain':'disclosure_only','disclosureProbe':'escrow','commercialSemantics':'Trade\x20credit\x20is\x20a\x20real\x201688\x20feature\x20the\x20escrow\x20model\x20structurally\x20removes:\x20money\x20is\x20always\x20pooled\x20before\x20shipment,\x20so\x20there\x20is\x20no\x20receivable\x20to\x20go\x20bad.\x20The\x20corpus\x27s\x20escrow-exit\x20framing\x20is\x20the\x20disclosure.','evidence':[]},{'id':'E12','class':'exception','name':'Buyer\x20refuses\x20restock\x20confirmation\x20(order\x20holds\x20at\x20delivered)','actor':'buyer','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'restocked','forward':'ConfirmRestock','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'restock_confirm','commercialSemantics':'Declining\x20to\x20confirm\x20parks\x20the\x20order\x20at\x20delivered;\x20the\x20escrow\x20is\x20unreachable\x20from\x20there\x20(single-exit\x20invariant,\x20P5),\x20forcing\x20either\x20the\x20timeout\x20twin\x20(E20),\x20the\x20dispute\x20waypoint\x20(claim_filed,\x20past\x201.1.0)\x20or\x20the\x20arbitration\x20route\x20(E2/E17).','evidence':[]},{'id':'E13','class':'exception','name':'Malicious\x20refund-only\x20or\x20parcel\x20interception\x20(no\x20unilateral\x20refund\x20rail\x20post-shipment)','actor':'buyer','precondition':['M6'],'onchain':'disclosure_only','disclosureProbe':'ArbRefund','commercialSemantics':'After\x20Ship\x20the\x20ONLY\x20refund\x20path\x20is\x20a\x20buyer-won\x20arbitration\x20ruling;\x20there\x20is\x20no\x20buyer-side\x20refund-only\x20forward\x20to\x20abuse,\x20which\x20is\x20exactly\x20the\x20anti-fraud\x20posture\x20the\x20corpus\x27s\x20ArbRefund\x20framing\x20discloses.','evidence':[]},{'id':'E14','class':'exception','name':'Sample-fee\x20rebate\x20dispute\x20on\x20the\x20batch\x20order\x20(cross-order\x20credit;\x20Discount\x20proxy)','actor':'buyer','precondition':['M3'],'onchain':'disclosure_only','disclosureProbe':'Discount','commercialSemantics':'The\x20promised\x20sample-fee\x20rebate\x20is\x20a\x20cross-order\x20credit\x20(S2);\x20the\x20closest\x20on-chain\x20expression\x20is\x20a\x20Discount\x20object\x20aimed\x20at\x20the\x20batch\x20Service\x20-\x20and\x20the\x20template\x20discloses\x20that\x20a\x20spent\x20Discount\x20is\x20burned\x20permanently\x20and\x20cannot\x20be\x20reverted.','evidence':[]},{'id':'E15','class':'exception','name':'Coupons\x20are\x20not\x20auto-returned\x20on\x20refund\x20(keeper\x20reissues\x20out\x20of\x20band)','actor':'merchant','precondition':['E1'],'onchain':'disclosure_only','disclosureProbe':'COUPONS\x20ARE\x20NOT\x20AUTO-RETURNED','commercialSemantics':'ddmc2\x20F-06:\x20a\x20refund\x20returns\x20MONEY\x20only;\x20the\x20coupon\x20is\x20consumed.\x20Compensation\x20is\x20a\x20NEW\x20coupon\x20the\x20keeper\x20reissues\x20per\x20the\x20merchant\x27s\x20instruction\x20-\x20disclosed\x20in\x20the\x20listing,\x20never\x20surprise-promised.','evidence':[]},{'id':'E16','class':'exception','name':'Keeper\x20absence\x20stalls\x20the\x20auto-advance\x20(declared\x20duties;\x20escrow\x20delayed,\x20never\x20destroyed)','actor':'keeper','precondition':['E19'],'onchain':'disclosure_only','disclosureProbe':'keeper','commercialSemantics':'All\x20five\x20auto-steps\x20(confirm,\x20restock,\x20settle,\x20replenish,\x20coupon\x20reissue)\x20are\x20keeper-declared\x20duties\x20with\x20miss_consequences\x20on\x20record:\x20a\x20stalled\x20keeper\x20delays\x20the\x20flow\x20but\x20cannot\x20strand\x20or\x20destroy\x20the\x20escrow.','evidence':[]},{'id':'E17','class':'exception','name':'Supplier\x20vanishes\x20post-shipment\x20(key\x20risk;\x2048h\x20absence\x20auto-loss,\x20arb\x20refund)','actor':'merchant','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'arb_refund','commercialSemantics':'The\x20template\x27s\x20declared\x20key_risk:\x20goods\x20paid\x20upfront\x20to\x20a\x20wholesale\x20supplier.\x20The\x20mitigation\x20set\x20is\x20the\x20six-leg\x20arbitration\x20track\x20(R1/R2/R3/R4)\x20plus\x20the\x20compensation\x20fund\x20(R7).','evidence':[]},{'id':'E18','class':'exception','name':'Custom/OEM\x20nonconformity\x20(no\x20return\x20of\x20custom\x20goods\x20in\x20B2B;\x20sealed-sample\x20evidence)','actor':'buyer','precondition':['M6'],'onchain':'disclosure_only','disclosureProbe':'arbitration|evidence','commercialSemantics':'Custom\x20goods\x20are\x20exempt\x20from\x20return\x20on\x20the\x20real\x20platform\x20too;\x20the\x20remedy\x20is\x20the\x20sealed-sample\x20evidence\x20row\x20plus\x20arbitration\x20-\x20the\x20standard\x20B2B\x20posture\x20the\x20corpus\x27s\x20arbitration/evidence\x20framing\x20carries.','evidence':[]},{'id':'E21','class':'exception','name':'Buyer\x20withdraws\x20the\x20claim\x20(mounted\x20at\x201.1.0;\x20withdraw\x20=\x20exit\x20the\x20replenishment)','actor':'buyer','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'WithdrawClaim','prev':'claim_filed','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'withdraw_claim','commercialSemantics':'The\x20kernel\x27s\x20identity-only\x20WithdrawClaim\x20forward\x20is\x20a\x20live-mainnet\x20CRITICAL\x20precedent:\x20its\x20guard\x20has\x20zero\x20arbitration\x20legs\x20and\x20is\x20replayable.\x20Mounted\x20at\x201.1.0\x20as\x20the\x20TPL-09\x20family\x20exit\x20(claim_filed\x20->\x20closed_cancel,\x20order_payer)\x20—\x20the\x201688\x20polarity\x20DIFFERS\x20from\x20the\x20upwork\x20family\x27s\x20resume-at-delivered:\x20a\x20buyer\x20who\x20withdraws\x20here\x20is\x20EXITING\x20the\x20replenishment,\x20so\x20the\x20withdrawal\x20lands\x20in\x20the\x20closed_cancel\x20full-refund\x20terminal\x20(K3:\x20no\x20ruling\x20=>\x20the\x20node-gated\x20refund\x20rail\x20stays\x20open\x20=>\x20refund\x20whole;\x20a\x20paid\x20escrow\x20never\x20forfeits).\x20R27\x20rule\x203\x20unfreeze\x20order\x20disclosed:\x20conclude\x20the\x20case\x20on\x20the\x20venue\x20FIRST,\x20then\x20withdraw;\x20the\x20residual\x20replayability\x20is\x20disclosed\x20in\x20the\x20guard\x20purpose\x20(single-shot\x20by\x20escrow\x20balance).','evidence':[]},{'id':'R1','class':'remedy','name':'Third-party\x20arbitration\x20filing\x20on\x20the\x20Arb\x20object\x20(off-Machine;\x20op-permission)','actor':'buyer','precondition':['E4','E5','E7','E17'],'onchain':'disclosure_only','disclosureProbe':'off-Machine','commercialSemantics':'Filing\x20happens\x20on\x20the\x20standalone\x20Arbitration\x20object,\x20gated\x20by\x20the\x20order\x27s\x20op_permission\x20—\x20still\x20off-Machine\x20at\x201.1.0\x20(R-M1-11:\x20the\x20ruling\x20is\x20never\x20decided\x20in-Machine).\x20What\x20SHIPS\x20now\x20is\x20the\x20record\x20waypoint:\x20the\x20machine-side\x20claim_filed\x20park\x20freezes\x20the\x20auto\x20rails\x20while\x20the\x20case\x20runs\x20(the\x20TPL-09\x20record,\x20not\x20the\x20venue).\x20The\x20Machine-side\x20consequences\x20are\x20the\x20won-ruling\x20refund\x20(R2,\x20via\x20the\x20delivered\x20or\x20filed-claim\x20edge),\x20the\x20dismissal\x20resume\x20(R9)\x20and\x20the\x20venue\x27s\x20indemnity\x20(R3).\x20The\x20trust\x20R2\x20record-waypoint\x20sentence\x20is\x20the\x20disclosure\x20anchor.','evidence':[{'file':'arbitration.move','line':0x169,'pattern':'order::assert_op_permission'}]},{'id':'R2','class':'remedy','name':'Buyer-won\x20ruling\x20re-routes\x20into\x20the\x20full-refund\x20rail\x20(six-leg\x20won\x20guard)','actor':'arbitrator','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'arb_refund','commercialSemantics':'The\x20won\x20guard\x20binds\x20arb.order==order,\x20an\x20indemnity,\x20a\x20non-zero-award\x20exclusion,\x20the\x20concluded-ruling\x20stamp\x20and\x20the\x20venue\x20-\x20release\x20authority\x20is\x20a\x20rail,\x20not\x20a\x20name.','evidence':[{'file':'arb.move','line':0x21d,'pattern':'saturating_mul'}]},{'id':'R3','class':'remedy','name':'Indemnity\x20compensation,\x20keep\x20the\x20goods\x20(fund\x20pays\x20the\x20order\x20owner,\x20cap\x203x\x20escrow)','actor':'arbitrator','precondition':['R1'],'onchain':'disclosure_only','disclosureProbe':'compensation\x20fund|3x','commercialSemantics':'For\x20nonconforming-but-keepable\x20goods\x20the\x20arbitrator\x20awards\x20the\x20indemnity:\x20the\x20compensation\x20fund\x20pays\x20the\x20order\x20owner\x20directly\x20(hard-bound,\x20never\x20a\x20third\x20party),\x20capped\x20at\x203x\x20the\x20escrowed\x20lot.\x20The\x20payout\x20rides\x20the\x20Arb\x20object,\x20not\x20this\x20Machine\x27s\x20rails\x20—\x20re-graded\x20disclosure_only\x20at\x201.1.0\x20on\x20truth:\x20the\x20standing\x20trust\x20R3\x20text\x20(fund\x20>=\x203x,\x20MAX_INDEMNITY_MULTIPLE\x20cap)\x20states\x20the\x20boundary\x20an\x20\x27expressible\x27\x20grade\x20used\x20to\x20whitewash\x20(p23\x20R2/R5\x20precedent).','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'saturating_mul'},{'file':'service.move','line':0x24c,'pattern':'compensation_claim'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'R4','class':'remedy','name':'48h\x20arbitration\x20absence\x20auto-loss\x20(keeper\x20procedural\x20discipline)','actor':'keeper','precondition':['R1'],'onchain':'disclosure_only','disclosureProbe':'48h','commercialSemantics':'A\x20supplier\x20who\x20goes\x20silent\x20for\x2048h\x20in\x20an\x20open\x20case\x20is\x20recorded\x20in\x20breach\x20so\x20the\x20case\x20can\x20settle;\x20without\x20the\x20record\x20the\x20dispute\x20stalls\x20and\x20holds\x20the\x20escrow\x20past\x20the\x20window.','evidence':[]},{'id':'R5','class':'remedy','name':'Carrier\x20claim\x20is\x20an\x20off-chain\x20recovery\x20(no\x20carrier\x20oracle)','actor':'merchant','precondition':['E7'],'onchain':'disclosure_only','disclosureProbe':'OFF-CHAIN\x20recovery','commercialSemantics':'The\x20buyer\x20pursues\x20the\x20carrier\x20off-chain\x20with\x20the\x20tracking\x20evidence\x20row;\x20the\x20chain-side\x20remedy\x20is\x20always\x20the\x20arbitration\x20route,\x20never\x20a\x20carrier\x20payout\x20rail.','evidence':[]},{'id':'R6','class':'remedy','name':'Replacement\x20reshipment\x20(no\x20reshipment\x20edge\x20on\x20this\x20template;\x20courtesy\x20path)','actor':'merchant','precondition':['E4','E5'],'onchain':'disclosure_only','disclosureProbe':'coupon\x20reissue|out\x20of\x20band|courtesy','commercialSemantics':'A\x20free\x20replacement\x20would\x20need\x20a\x20second\x20shipment\x20leg\x20the\x20shape\x20does\x20not\x20carry\x20(FIX-EDGE\x20candidate);\x20the\x20corpus\x27s\x20reissue/out-of-band\x20notes\x20are\x20the\x20disclosed\x20courtesy\x20surface\x20the\x20keeper\x20executes\x20per\x20merchant\x20instruction.','evidence':[]},{'id':'R7','class':'remedy','name':'Compensation-fund\x20water-level\x20monitor\x20(three\x20tiers,\x20advisory)','actor':'merchant','precondition':['R3'],'onchain':'disclosure_only','disclosureProbe':'compensation\x20fund|3x','commercialSemantics':'The\x20user-input\x20fund\x20(>=\x203x\x20a\x20typical\x20lot)\x20depletes\x20in\x20place\x20as\x20awards\x20pay\x20out;\x20the\x20three-tier\x20water\x20level\x20is\x20advisory\x20only\x20-\x20at\x20exhaustion\x20new\x20claims\x20abort\x20until\x20the\x20fund\x20is\x20refilled.','evidence':[]},{'id':'R8','class':'remedy','name':'Supply-chain\x20finance\x20/\x20factoring\x20(no\x20receivables\x20primitive;\x20escrow\x20history\x20as\x20credit\x20evidence)','actor':'merchant','precondition':['M13'],'onchain':'disclosure_only','disclosureProbe':'escrow\x20exit|ESCROW\x20EXIT','commercialSemantics':'Factoring\x20against\x20receivables\x20has\x20no\x20chain\x20primitive;\x20the\x20closest\x20honest\x20surface\x20is\x20the\x20append-only\x20order\x20history\x20(settlements,\x20disputes,\x20rulings)\x20as\x20underwriting\x20evidence\x20-\x20which\x20the\x20escrow-exit\x20framing\x20makes\x20public.','evidence':[]},{'id':'R9','class':'remedy','name':'Claim\x20dismissed\x20-\x20resume\x20at\x20delivered\x20(mounted\x20at\x201.1.0,\x20keeper\x20slot\x201004)','actor':'arbitrator','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'arb_dismissed_resume','commercialSemantics':'A\x20dismissed\x20ruling\x20reopens\x20the\x20order\x27s\x20restock/settle\x20affordances\x20from\x20delivered.\x20Mounted\x20at\x201.1.0:\x20tpl_forward_arb_ruling_dismissed\x20(zero-award\x20polarity),\x20merchant\x20arbitration-execution\x20slot\x201004\x20(the\x20family\x20arb\x20bucket,\x20off\x20the\x201002\x20settle\x20rail);\x20the\x20re-entry\x20appends\x20a\x20fresh\x20delivered\x20entry\x20so\x20the\x20restock\x20window\x20and\x20the\x20settle\x20time-lock\x20re-anchor\x20find=last\x20—\x20the\x20dismissed\x20buyer\x27s\x20windows\x20re-arm.','evidence':[]},{'id':'P1','class':'post','name':'Repeat\x20purchase\x20=\x20a\x20new\x20order\x20(framework\x20pricing\x20needs\x20order\x20grouping)','actor':'buyer','precondition':['M13'],'onchain':'expressible_with_gap','chainFootprint':{'node':'paid','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'gapPredicate':{'probe':'framework[^\x22]{0,40}|order\x20grouping'},'commercialSemantics':'Annual\x20framework\x20agreements\x20and\x20multi-order\x20volume\x20tiers\x20(the\x20real\x201688\x20repeat-purchase\x20mechanics)\x20have\x20no\x20primitive:\x20each\x20order\x20is\x20a\x20fresh\x20full-price\x20escrow\x20with\x20no\x20cross-order\x20grouping\x20(S2),\x20so\x20loyalty\x20is\x20re-earned\x20per\x20order\x20and\x20the\x20framework\x20layer\x20stays\x20off-chain.\x20Disclosed\x20at\x201.1.0:\x20the\x20REPEAT\x20PURCHASE\x20IS\x20A\x20FRESH\x20ESCROW\x20note\x20names\x20the\x20boundary\x20and\x20the\x20only\x20on-chain\x20loyalty\x20surfaces\x20(allowlist\x20re-entry\x20+\x20per-order\x20Discount).','evidence':[]},{'id':'P2','class':'post','name':'Supplier\x20performance\x20rating\x20(review_mode\x20none;\x20reputation\x20rides\x20repeat\x20business)','actor':'buyer','precondition':['M13'],'onchain':'disclosure_only','disclosureProbe':'review_mode|NO\x20consumer\x20review\x20rail','commercialSemantics':'The\x20template\x20ships\x20review_mode\x20none\x20-\x20B2B\x20restock\x20has\x20no\x20star-review\x20rail;\x20reputation\x20is\x20the\x20disclosed\x20absence,\x20proxied\x20by\x20repeat-purchase\x20behaviour\x20and\x20the\x20public\x20dispute\x20record.','evidence':[]},{'id':'P3','class':'post','name':'VAT\x20invoice\x20and\x20statement\x20documents\x20(off-chain\x20obligation)','actor':'merchant','precondition':['M13'],'onchain':'disclosure_only','disclosureProbe':'off-chain|procedural','commercialSemantics':'Invoicing\x20is\x20a\x20procedural\x20off-chain\x20duty;\x20the\x20corpus\x27s\x20off-chain/procedural\x20framing\x20is\x20the\x20honest\x20anchor.','evidence':[]},{'id':'P4','class':'post','name':'Refund-to-replenish\x20loop\x20(keeper\x20protocol;\x20declaration\x20seat,\x20not\x20a\x20state\x20gate)','actor':'keeper','precondition':['E15'],'onchain':'disclosure_only','disclosureProbe':'order-restock\x20primitive','commercialSemantics':'restock_on_refund\x20declares\x20whether\x20the\x20keeper\x20marks\x20the\x20SKU\x20pending\x20replenishment\x20and\x20runs\x20the\x20order-restock\x20primitive\x20after\x20a\x20linked\x20refund\x20-\x20gf30\x20A5:\x20the\x20chain\x20does\x20not\x20state-gate\x20the\x20primitive,\x20keeper\x20discipline\x20is\x20procedural.','evidence':[]},{'id':'P5','class':'post','name':'Escrow-exit\x20invariant\x20sweep\x20(single\x20exit\x20via\x20the\x20settle\x20rail\x20at\x20claim-window\x20cutoff)','actor':'merchant','precondition':['M13','R2'],'onchain':'expressible','chainFootprint':{'node':'restocked','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'Settle\x20never\x20reads\x20order.claimed_by\x20and\x20pays\x20the\x20awarded\x20principal\x20at\x20the\x20claim-window\x20cutoff:\x20exactly\x20one\x20fund\x20exit\x20per\x20terminal\x20state,\x20re-checked\x20at\x20every\x20publish.\x20Anchored\x20on\x20the\x20same\x20restocked-terminal\x20release\x20node\x20as\x20M13\x20-\x20the\x20settle_alloc\x20allocator\x20is\x20not\x20a\x20machine\x20edge,\x20so\x20no\x20guard-key\x20probe.','evidence':[]}],'invariants':[{'id':'INV-1688-1','statement':'B2B\x20replenishment\x20carries\x20NO\x20consumer\x20no-reason\x20return\x20rail:\x20the\x20buyer\x20is\x20a\x20merchant-operator\x20and\x20disputes\x20go\x20through\x20arbitration,\x20never\x20a\x20consumer\x20return\x20window.','chainConflict':'The\x20restock-supply\x20template\x20ships\x20no\x20consumer\x20return\x20track\x20by\x20design.\x20Any\x20future\x20variant\x20that\x20adds\x20a\x20RequestReturn-family\x20edge\x20without\x20a\x20consumer-facing\x20listing\x20changes\x20the\x20product\x20class\x20-\x20treat\x20it\x20as\x20a\x20different\x20archetype,\x20not\x20a\x20defect.'},{'id':'INV-1688-2','statement':'Indemnity\x20is\x20dual-capped:\x20the\x20arbitrator\x27s\x20award\x20may\x20not\x20exceed\x203x\x20the\x20escrowed\x20lot\x20(MAX_INDEMNITY_MULTIPLE,\x20saturating)\x20AND\x20the\x20compensation\x20fund\x20must\x20actually\x20hold\x20the\x20award\x20(water-level\x20R7).','chainConflict':'A\x20fund\x20thinner\x20than\x20the\x20worst\x20credible\x20lot\x20silently\x20shrinks\x20protection,\x20and\x20the\x20cap-arithmetic-vs-fund-balance\x20pair\x20is\x20not\x20expressible\x20as\x20a\x20fee_param/forward\x20predicate\x20-\x20keep\x20the\x20fund-size\x20user\x20input\x20and\x20the\x203x\x20framing\x20synced\x20in\x20the\x20listing.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'saturating_mul'}]},{'id':'INV-1688-3','statement':'Escrow\x20release\x20must\x20occur\x20only\x20after\x20buyer-side\x20confirmation\x20or\x20the\x20disclosed\x20silence\x20timeout:\x20while\x20auto_confirm_days\x20>\x200\x20is\x20configured,\x20the\x20AutoConfirmDelivery\x20keeper\x20edge\x20must\x20exist\x20-\x20removing\x20the\x20forward\x20turns\x20the\x20promised\x20silence\x20window\x20into\x20a\x20strand.','violation':{'requiresFeeParamNonZero':'auto_confirm_days','whileMissingForward':'AutoConfirmDelivery'}},{'id':'INV-1688-4','statement':'min_indemnity_floor\x20defaults\x20to\x200:\x20a\x20won\x20track\x20has\x20NO\x20minimum\x20award\x20amount\x20-\x20the\x20arbitrator\x20may\x20award\x20a\x20token\x20indemnity,\x20so\x20buyer\x20protection\x20rests\x20entirely\x20on\x20venue\x20quality\x20(a\x20SELECTION\x20criterion,\x20not\x20a\x20guard\x20this\x20build\x20mounts).','chainConflict':'The\x20floor\x20is\x20guard-template\x20data\x20(guard-templates.ts),\x20not\x20a\x20fee_param\x20of\x20this\x20template\x20-\x20no\x20mechanical\x20predicate\x20here;\x20re-check\x20the\x20floor\x20when\x20swapping\x20venues.'},{'id':'INV-1688-5','statement':'Every\x20arbitration-terminal\x20forward\x20guard\x20must\x20include\x20the\x20venue-binding\x20leg\x20(bound\x20arbitration\x20address):\x20a\x20ruling\x20from\x20an\x20unbound\x20venue\x20must\x20never\x20move\x20this\x20escrow.','chainConflict':'The\x20leg\x20lives\x20inside\x20tpl_forward_arb_ruling_won/dismissed\x20(guard-templates.ts);\x20no\x20fee_param/forward\x20predicate\x20can\x20express\x20its\x20presence\x20-\x20verify\x20at\x20publish\x20review.'},{'id':'INV-1688-6','statement':'Restock\x20auto-advance\x20symmetry:\x20while\x20restock_confirm_days\x20>\x200\x20is\x20configured,\x20the\x20AutoRestock\x20keeper\x20edge\x20must\x20exist\x20-\x20without\x20it\x20the\x20buyer\x27s\x20silence\x20strands\x20the\x20supplier\x27s\x20funds\x20behind\x20the\x20terminal\x20gate\x20with\x20no\x20clock\x20to\x20release\x20them.','violation':{'requiresFeeParamNonZero':'restock_confirm_days','whileMissingForward':'AutoRestock'}},{'id':'INV-1688-7','statement':'Terminal-gated\x20settlement\x20(gf30\x20A5\x20standing\x20check):\x20while\x20settlement_days\x20>\x200\x20is\x20configured,\x20the\x20ConfirmRestock\x20gate\x20edge\x20must\x20exist\x20-\x20the\x20settle\x20rail\x20may\x20only\x20fire\x20from\x20the\x20restocked\x20terminal,\x20never\x20from\x20delivered.','violation':{'requiresFeeParamNonZero':'settlement_days','whileMissingForward':'ConfirmRestock'}},{'id':'INV-1688-8','statement':'Waypoint\x20race\x20freeze\x20(TPL-09\x20standing,\x20stage2\x20#24):\x20while\x20a\x20claim\x20sits\x20at\x20claim_filed\x20the\x20order\x20is\x20parked\x20OFF\x20delivered,\x20so\x20the\x20restock\x20auto-advance\x20and\x20the\x20settle\x20release\x20are\x20structurally\x20paused\x20(both\x20clocks\x20count\x20from\x20a\x20delivered\x20ENTRY\x20the\x20parked\x20order\x20lacks);\x20a\x20dismissal\x20re-entry\x20re-anchors\x20both\x20(find=last).\x20Removing\x20the\x20claim_filed\x20waypoint\x20while\x20FileDispute-less\x20machines\x20still\x20carry\x20settlement\x20machinery\x20re-opens\x20the\x20p23\x20race:\x20a\x20filed\x20case\x20auto-advanced\x20behind\x20its\x20own\x20ruling,\x20permanently\x20blinding\x20the\x20buyer-won\x20rail.','violation':{'requiresFeeParamNonZero':'settlement_days','whileMissingForward':'FileDispute'}}]};

package/dist/knowledge/path-oracle/products/amazon.js

@@ -0,0 +1 @@
+export const AMAZON_ORACLE={'productRef':'amazon','products':['amazon','taobao-tmall-open-market','jd-pop'],'oracleVersion':'1.0.0','steps':[{'id':'M1','class':'offchain','name':'Browse,\x20compare\x20listings\x20and\x20fight\x20for\x20the\x20Buy\x20Box\x20(search/Buy-Box\x20economics)','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Search\x20ranking,\x20Buy\x20Box\x20competition\x20and\x20ad\x20placement\x20are\x20pure\x20platform\x20acts.\x20No\x20order\x20object\x20exists\x20yet,\x20so\x20the\x20chain\x20is\x20definitionally\x20silent.','evidence':[]},{'id':'M2','class':'offchain','name':'Add\x20to\x20cart\x20and\x20express\x20checkout\x20intent','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Cart\x20assembly\x20and\x20checkout\x20intent\x20live\x20in\x20the\x20storefront;\x20the\x20chain\x20story\x20starts\x20only\x20at\x20the\x20buy()\x20escrow.','evidence':[]},{'id':'M5','class':'offchain','name':'Carrier\x20transit\x20between\x20the\x20ship\x20scan\x20and\x20the\x20delivery\x20scan','actor':'keeper','precondition':['M4'],'onchain':'not_applicable','commercialSemantics':'Carrier\x20movement\x20is\x20off-chain;\x20only\x20the\x20write-once\x20tracking\x20evidence\x20row\x20(ship)\x20and\x20the\x20delivery\x20anchor\x20exist\x20on\x20chain.','evidence':[]},{'id':'M3','class':'main','name':'Buy:\x20one-shot\x20full-amount\x20escrow\x20(dual-path\x20gate)','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'No\x20deposit\x20stage\x20—\x20the\x20whole\x20price\x20is\x20escrowed\x20atomically.\x20The\x20buy\x20gate\x20is\x20dual-path\x20(password\x20or\x20passport)\x20and\x20fails\x20closed\x20for\x20unproven\x20buyers.','evidence':[{'file':'order.move','line':0x41,'pattern':'public\x20struct\x20Order'}]},{'id':'M4','class':'main','name':'Seller\x20ships\x20(tracking\x20evidence,\x20optional\x20enforced\x20variant)','actor':'merchant','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'shipped','forward':'Ship','prev':'paid','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'ship_enforced','commercialSemantics':'Twin\x20ship\x20edges\x20mount\x20from\x20one\x20guard\x20template:\x20plain\x20ship,\x20or\x20ship_enforced\x20when\x20required-info\x20enforcement\x20demands\x20a\x20tracking\x20row\x20(write-once\x20evidence\x20policy\x20per\x20kind).\x20FTC-style\x20ship-by\x20deadlines\x20are\x20NOT\x20encoded\x20(see\x20INV-AMZ-4).','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]},{'id':'M6','class':'main','name':'Buyer\x20confirms\x20delivery','actor':'buyer','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ConfirmDelivery','prev':'shipped','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'deliver_confirm','commercialSemantics':'Buyer-side\x20confirmation\x20starts\x20the\x20post-delivery\x20clock\x20stack\x20(review\x20window,\x20return\x20window,\x20claim\x20window).','evidence':[]},{'id':'M7','class':'main','name':'Keeper\x20auto-confirms\x20a\x20silent\x20buyer','actor':'keeper','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'AutoConfirmDelivery','prev':'shipped','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'deliver_confirm_timeout','commercialSemantics':'auto_confirm_days\x20(7)\x20after\x20shipment\x20the\x20keeper\x20advances\x20a\x20silent\x20buyer\x27s\x20order\x20so\x20escrow\x20cannot\x20be\x20held\x20hostage\x20by\x20inaction.','evidence':[]},{'id':'M8','class':'post','name':'Buyer\x20writes\x20an\x20optional,\x20rewarded\x20review\x20(write-once)','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'Review','prev':'delivered','identity':'order_holder','moneyEffect':'reward'},'guardKeyProbe':'review_window','commercialSemantics':'Optional\x20review\x20inside\x20review_window_days;\x20the\x20review\x20is\x20write-once\x20(repository\x20policy\x20assert)\x20and\x20may\x20anchor\x20a\x20reward\x20claim\x20against\x20the\x20review\x20pool.','evidence':[{'file':'repository.move','line':0x223,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'M9','class':'main','name':'Keeper\x20opens\x20the\x20serial\x20claim\x20window','actor':'keeper','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'claim_window','forward':'OpenClaimWindow','prev':'delivered','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'A-to-z-style\x20serial\x20claim\x20stage:\x20bare\x20keeper\x20permission\x20(1002),\x20no\x20timeout\x20—\x20a\x20claim\x20window\x20that\x20never\x20closes\x20is\x20never\x20missed.\x20A\x20sibling\x20mount\x20opens\x20it\x20from\x20reviewed.','evidence':[{'file':'order.move','line':0xa1,'pattern':'public\x20fun\x20has_open_dispute'}]},{'id':'M10','class':'post','name':'Settle\x20after\x20the\x20claim\x20window\x20(state-freeze\x20gate)','actor':'keeper','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'SettleAfterWindow','prev':'claim_window','identity':'permission_index','moneyEffect':'release'},'guardKeyProbe':'settle_window_gate','commercialSemantics':'The\x20settlement\x20gate\x20freezes\x20state\x20and\x20re-checks\x20for\x20open\x20disputes\x20before\x20releasing\x20escrow\x20minus\x20reserve\x20and\x20referral\x20accounting.','evidence':[]},{'id':'E1','class':'exception','name':'Buyer\x20cancels\x20before\x20shipment\x20(full\x20refund)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelBeforePayment','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'cancel_from_paid','commercialSemantics':'Buyer\x20remorse-cancel\x20while\x20unshipped:\x20full\x20instant\x20refund,\x20no\x20seller\x20consent\x20needed.','evidence':[]},{'id':'E2','class':'exception','name':'Cancel\x20after\x20ship\x20but\x20before\x20delivery\x20confirmation','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelBeforeShipment','prev':'shipped','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'cancel_from_shipped','commercialSemantics':'The\x20template\x20mounts\x20the\x20pre-delivery\x20cancel\x20edge\x20on\x20shipped.\x20The\x20real\x20product\x27s\x2030-minute\x20pre-ship\x20window\x20collapses\x20into\x20this\x20rail\x20plus\x20the\x20account-level\x20late-shipment\x20metric.','evidence':[]},{'id':'E3','class':'exception','name':'Platform\x20/\x20out-of-stock\x20force-cancel\x20(seller-metric\x20penalty)','actor':'keeper','precondition':['M3'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'CancelOrder','prev':'paid','moneyEffect':'refund'},'gapPredicate':{'probe':'out.of.stock|platform\x20cancel|force.cancel'},'commercialSemantics':'Real\x20product:\x20the\x20platform\x20cancels\x20out-of-stock\x20orders\x20and\x20charges\x20the\x20seller\x27s\x20cancel-rate\x20metric.\x20The\x20shipped\x20shape\x20has\x20NO\x20platform-actor\x20cancel\x20edge\x20from\x20paid/shipped\x20—\x20CancelOrder\x20only\x20departs\x20return_requested.\x20The\x20per-order\x20money\x20path\x20a\x20buyer\x20always\x20retains\x20is\x20CancelBeforePayment;\x20OOS\x20governance\x20is\x20account-level\x20and\x20off-chain.\x20Standing\x20gap,\x20reported\x20not\x20fixed.','evidence':[]},{'id':'E4','class':'exception','name':'Buyer\x20refuses\x20the\x20parcel\x20before\x20the\x20delivery\x20scan','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'RequestReturnBeforeDelivery','prev':'shipped','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'return_request_pre_delivery','commercialSemantics':'Refuse-the-parcel\x20opens\x20the\x20return\x20rail\x20before\x20any\x20delivery\x20anchor\x20exists.','evidence':[]},{'id':'E5','class':'exception','name':'Buyer\x20requests\x20a\x20return\x20inside\x20the\x20window','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'RequestReturn','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'return_window','commercialSemantics':'return_window_days\x20(30)\x20from\x20delivered\x20(sibling\x20mount\x20from\x20reviewed).\x20Jurisdictional\x20floor\x20alignment\x20is\x20a\x20standing\x20invariant\x20(INV-AMZ-2),\x20not\x20a\x20per-step\x20check.','evidence':[]},{'id':'E6','class':'exception','name':'Seller\x20misses\x20the\x20return-response\x20SLA\x20(auto-approve\x20on\x20real\x20product)','actor':'merchant','precondition':['E5'],'onchain':'disclosure_only','disclosureProbe':'(seller|merchant)[^\x22]{0,40}(approve|reject|respond|48|24)','commercialSemantics':'Real\x20product:\x20the\x20seller\x20must\x20respond\x20to\x20a\x20return\x20request\x20inside\x20a\x20tight\x20SLA\x20or\x20it\x20auto-approves.\x20The\x20template\x20discloses\x20NO\x20seller\x20response\x20SLA\x20on\x20the\x20request\x20—\x20only\x20the\x20receipt-side\x20timeout\x20(E8)\x20and\x20the\x20arbitration\x20escalation\x20(E28)\x20exist.\x20A\x20time_lock\x20\x27seller-silent\x20->\x20case-openable\x27\x20edge\x20is\x20emittable\x20but\x20not\x20shipped\x20(FIX-EDGE\x20candidate).','evidence':[]},{'id':'E7','class':'exception','name':'Buyer\x20ships\x20the\x20return\x20back\x20(mid-leg\x20waypoint)','actor':'buyer','precondition':['E5'],'onchain':'expressible','chainFootprint':{'node':'return_in_transit','forward':'ShipReturn','prev':'return_requested','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'return_shipped','commercialSemantics':'Buyer\x20declares\x20the\x20return\x20parcel\x20shipped\x20(TPL-10\x20mid-leg\x20granularity).','evidence':[]},{'id':'E8','class':'exception','name':'Return\x20receipt\x20confirmed\x20or\x20deemed\x20(timeout\x20twin\x20rails)','actor':'merchant','precondition':['E7'],'onchain':'expressible','chainFootprint':{'node':'returned','moneyEffect':'none'},'guardKeyProbe':'return_received|return_response_timeout','commercialSemantics':'Twin\x20rails\x20into\x20returned:\x20the\x20merchant\x20confirms\x20receipt\x20(return_received)\x20or\x20the\x20keeper\x20deems\x20receipt\x20after\x20return_response_days\x20(7)\x20so\x20a\x20silent\x20merchant\x20cannot\x20hold\x20the\x20refund\x20hostage.','evidence':[]},{'id':'E9','class':'exception','name':'Refund\x20executed\x20to\x20the\x20buyer\x20(record\x20waypoint)','actor':'keeper','precondition':['E8'],'onchain':'expressible','chainFootprint':{'node':'refunded','forward':'RefundExecuted','prev':'returned','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'refund_executed','commercialSemantics':'Keeper\x20executes\x20the\x20refund\x20rail\x20after\x20receipt;\x20the\x20refunded\x20node\x20is\x20the\x20machine-side\x20receipt\x20of\x20an\x20allocation-rail\x20payment.','evidence':[]},{'id':'E10','class':'exception','name':'Parcel\x20lost\x20in\x20transit\x20(evidence-backed\x20loss\x20record)','actor':'merchant','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'item_lost','forward':'RecordLost','prev':'shipped','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'lost_evidence','commercialSemantics':'Merchant\x20records\x20the\x20parcel\x20lost\x20with\x20evidence\x20(write-once\x20lost-evidence\x20row).','evidence':[]},{'id':'E11','class':'exception','name':'Buyer\x20exits\x20with\x20refund\x20after\x20the\x20loss\x20record','actor':'buyer','precondition':['E10'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'RefundAfterLoss','prev':'item_lost','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'lost_refund','commercialSemantics':'Buyer\x20exits\x20with\x20full\x20refund\x20once\x20the\x20loss\x20record\x20exists\x20—\x20the\x20carrier\x20claim\x20itself\x20stays\x20off-chain.','evidence':[]},{'id':'E12','class':'exception','name':'Short\x20shipment\x20/\x20wrong\x20item\x20dispute','actor':'buyer','precondition':['M6'],'onchain':'expressible_with_gap','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'claim_window','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'claim_filed','gapPredicate':{'probe':'PARTIAL\x20SHIPMENT|ShippedBatch|no\x20per-item\x20SKU\x20ledger'},'commercialSemantics':'Short/wrong-item\x20claims\x20ride\x20the\x20claim\x20rail;\x20the\x20gap\x20is\x20disclosed:\x20one\x20ShippedBatch\x20forward\x20per\x20parcel\x20with\x20its\x20own\x20evidence\x20row\x20—\x20the\x20machine\x20has\x20no\x20per-item\x20SKU\x20ledger,\x20so\x20partial\x20deliveries\x20surface\x20as\x20parcel-level\x20timeline\x20events,\x20never\x20per-item\x20disputes.','evidence':[]},{'id':'E13','class':'exception','name':'Item\x20damaged\x20on\x20arrival','actor':'buyer','precondition':['M6'],'onchain':'expressible_with_gap','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'claim_window','identity':'order_holder','moneyEffect':'none'},'gapPredicate':{'probe':'damaged|defective|broken\x20on\x20arrival'},'commercialSemantics':'Damaged-on-arrival\x20claims\x20ride\x20the\x20same\x20claim/arb\x20rail,\x20but\x20the\x20builder\x20corpus\x20contains\x20no\x20damaged-goods\x20disclosure\x20at\x20all\x20—\x20standing\x20disclosure\x20gap\x20(reported,\x20not\x20fixed).','evidence':[]},{'id':'E14','class':'exception','name':'Counterfeit\x20/\x20not-as-described\x20claim','actor':'buyer','precondition':['M6'],'onchain':'expressible_with_gap','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'claim_window','identity':'order_holder','moneyEffect':'none'},'gapPredicate':{'probe':'counterfeit|fake|authenticity'},'commercialSemantics':'Counterfeit\x20claims\x20ride\x20the\x20claim/arb\x20rail\x20with\x20WTS\x20evidence;\x20the\x20corpus\x20does\x20not\x20disclose\x20a\x20counterfeit-specific\x20policy\x20(authenticity-proof\x20language\x20lives\x20in\x20the\x20wiki,\x20not\x20the\x20shipped\x20disclosure\x20fields).','evidence':[]},{'id':'E15','class':'exception','name':'Seller\x20ships\x20late\x20beyond\x20the\x20SLA','actor':'merchant','precondition':['M3'],'onchain':'disclosure_only','disclosureProbe':'(late|overdue|expected)[^\x22]{0,20}ship|ship[^\x22]{0,20}(late|overdue|deadline)','commercialSemantics':'FTC/EU\x20late-ship\x20SLAs\x20(30-day\x20ship-by,\x20EDD)\x20are\x20account-level\x20metrics\x20in\x20the\x20real\x20product.\x20The\x20template\x20discloses\x20NO\x20ship-by\x20deadline\x20anywhere\x20—\x20only\x20ship\x20evidence\x20gating.\x20Text-only\x20statutory\x20exposure\x20(INV-AMZ-4).','evidence':[]},{'id':'E16','class':'exception','name':'Buyer\x20files\x20a\x20dispute\x20inside\x20the\x20claim\x20window','actor':'buyer','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'claim_window','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'claim_filed','commercialSemantics':'The\x20append-only\x20dispute\x20vector\x20marks\x20a\x20dispute\x20as\x20open\x20and\x20blocks\x20settlement\x20until\x20resolution.','evidence':[{'file':'order.move','line':0xa1,'pattern':'public\x20fun\x20has_open_dispute'}]},{'id':'E17','class':'exception','name':'Buyer\x20withdraws\x20the\x20claim\x20(self-resolve\x20exit)','actor':'buyer','precondition':['E16'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'WithdrawClaim','prev':'claim_filed','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'withdraw_claim','commercialSemantics':'CRITICAL\x20(disclosed,\x20live-mainnet):\x20the\x20WithdrawClaim\x20guard\x20is\x20identity-only\x20—\x20replayable,\x20binds\x20no\x20arbitration\x20case,\x20and\x20a\x20withdrawn\x20claim\x20still\x20blocks\x20re-filing\x20because\x20claimed_by\x20stays\x20set.\x20Merchants\x20must\x20treat\x20settlement-after-withdrawal\x20as\x20a\x20manual\x20reconciliation\x20duty.','evidence':[{'file':'order.move','line':0x79,'pattern':'option::is_none(&self.claimed_by)'}]},{'id':'E18','class':'exception','name':'Arbitration\x20case\x20opened\x20on\x20the\x20independent\x20Arb\x20object','actor':'arbitrator','precondition':['E16'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','moneyEffect':'none'},'commercialSemantics':'The\x20case\x20lives\x20on\x20the\x20independent\x20Arbitration\x20object\x20(op\x20permission\x20anchored\x20to\x20the\x20order);\x20the\x20machine-side\x20queryable\x20record\x20is\x20the\x20claim_filed\x20waypoint.','evidence':[{'file':'arbitration.move','line':0x169,'pattern':'assert_op_permission'}]},{'id':'E19','class':'exception','name':'Arbitration\x20rules\x20for\x20the\x20buyer\x20(full-refund\x20exit)','actor':'arbitrator','precondition':['E18'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'claim_filed','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'arb_refund','commercialSemantics':'A\x20buyer-won\x20ruling\x20fires\x20the\x20full-refund\x20exit\x20from\x20claim_filed\x20straight\x20to\x20closed_cancel,\x20bypassing\x20the\x20return\x20legs.','evidence':[]},{'id':'E20','class':'exception','name':'Arb\x20silence\x20auto-accepts\x20the\x20claim\x20(protocol\x20finality)','actor':'arbitrator','precondition':['E18'],'onchain':'not_applicable','commercialSemantics':'Real\x20product:\x20an\x20unanswered\x20A-to-z\x20claim\x20auto-resolves\x20for\x20the\x20buyer.\x20On\x20chain\x20this\x20is\x20protocol-level\x20arb-object\x20finality\x20(WITHDRAW_DURATION_TIME),\x20not\x20a\x20machine\x20edge\x20—\x20excluded\x20like\x20the\x20shansong\x20pilot\x27s\x20R6.','evidence':[{'file':'arb.move','line':0x10,'pattern':'WITHDRAW_DURATION_TIME'}]},{'id':'E21','class':'exception','name':'Arb\x20party\x20absent\x2048h\x20auto-loses\x20(keeper\x20duty)','actor':'keeper','precondition':['E18'],'onchain':'disclosure_only','disclosureProbe':'48h[^\x22]{0,40}(absen|auto.loss)|absen[^\x22]{0,40}arbitrat','commercialSemantics':'Keeper\x20duty:\x2048h\x20of\x20absence\x20in\x20an\x20open\x20arbitration\x20case\x20auto-loses\x20the\x20absent\x20party\x20—\x20disclosed\x20in\x20keeper_dependencies/keeper_duty.','evidence':[]},{'id':'E22','class':'exception','name':'Review\x20appeal\x20or\x20removal\x20request','actor':'buyer','precondition':['M8'],'onchain':'disclosure_only','disclosureProbe':'(appeal|remove|takedown|report)[^\x22]{0,30}review','commercialSemantics':'Real\x20product:\x20review\x20appeal/removal\x20governance.\x20Template\x20reviews\x20are\x20write-once\x20with\x20no\x20appeal\x20path,\x20and\x20the\x20corpus\x20discloses\x20nothing\x20about\x20review\x20governance\x20—\x20standing\x20FIX-DISCLOSURE\x20gap.','evidence':[]},{'id':'E23','class':'exception','name':'Seller\x20account\x20deactivated,\x20payouts\x20withheld','actor':'keeper','precondition':['M4'],'onchain':'disclosure_only','disclosureProbe':'(deactivat|suspend|delist|withhold)','commercialSemantics':'Real\x20product:\x20account\x20deactivation\x20withholds\x20payouts\x20up\x20to\x2090\x20days.\x20No\x20account-level\x20concept\x20exists\x20on\x20chain\x20and\x20the\x20corpus\x20is\x20silent\x20—\x20per-order\x20reserve/settlement\x20is\x20the\x20only\x20fund-holding\x20surface.','evidence':[]},{'id':'E24','class':'exception','name':'Coupon\x20/\x20promotion\x20mispricing\x20dispute','actor':'merchant','precondition':['M3'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'Discount\x20object|coupon|discount','commercialSemantics':'Promotional\x20mispricing\x20has\x20no\x20on-chain\x20pricing\x20oracle;\x20the\x20corpus\x20discloses\x20the\x20discount-object\x20creation\x20step\x20(burned-on-use,\x20budget\x20formula,\x20no\x20dedupe)\x20as\x20the\x20managed\x20surface.','evidence':[]},{'id':'E25','class':'exception','name':'Refund\x20judged\x20but\x20not\x20yet\x20in\x20the\x20bank\x20account','actor':'buyer','precondition':['E9'],'onchain':'disclosure_only','disclosureProbe':'terminal\x20RECORD\x20waypoint|money\x20authority\x20stays\x20the\x20allocation\x20rail','commercialSemantics':'Chain-side\x20the\x20refund\x20fact\x20is\x20final\x20at\x20the\x20rail;\x20the\x20refunded\x20node\x20is\x20explicitly\x20a\x20record\x20waypoint\x20(bank-side\x20timing\x20is\x20off-chain).\x20Disclosed\x20via\x20the\x20refund-leg\x20granularity\x20note.','evidence':[]},{'id':'E26','class':'exception','name':'External\x20chargeback\x20/\x20card-network\x20dispute','actor':'buyer','precondition':['M3'],'onchain':'unresolvable','unresolvableRef':'S9','disclosureProbe':'chargeback|credit\x20card\x20dispute','commercialSemantics':'Card-network\x20chargebacks\x20have\x20no\x20on-chain\x20primitive\x20(S9)\x20and\x20the\x20corpus\x20discloses\x20nothing\x20about\x20them\x20—\x20standing\x20disclosure\x20gap\x20beside\x20the\x2090-day\x20dispute-window\x20duty.','evidence':[]},{'id':'E27','class':'exception','name':'Arb\x20dismisses\x20the\x20claim,\x20order\x20resumes','actor':'arbitrator','precondition':['E18'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'arb_dismissed_resume','commercialSemantics':'Merchant-favour\x20ruling\x20unblocks\x20the\x20ordinary\x20lifecycle:\x20the\x20order\x20returns\x20to\x20delivered\x20and\x20can\x20settle\x20normally\x20(dual-outcome\x20arb\x20exit\x20shipped\x20in\x20this\x20template).','evidence':[]},{'id':'E28','class':'exception','name':'Return-in-transit\x20arbitration\x20escalation\x20(full\x20refund,\x20no\x20receipt\x20wait)','actor':'arbitrator','precondition':['E7'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefundReturn','prev':'return_in_transit','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'arb_refund_return','commercialSemantics':'While\x20the\x20return\x20parcel\x20is\x20in\x20transit\x20a\x20buyer-won\x20ruling\x20pays\x20the\x20full\x20refund\x20without\x20waiting\x20for\x20the\x20receipt\x20twin\x20rails.','evidence':[]},{'id':'R1','class':'remedy','name':'A-to-z\x20guarantee\x20claim\x20(platform-guarantee\x20umbrella)','actor':'buyer','precondition':['E16'],'onchain':'disclosure_only','disclosureProbe':'independent\x20Arbitration|guarantee','commercialSemantics':'The\x20guarantee\x27s\x20chain\x20counterpart\x20is\x20the\x20independent\x20Arbitration\x20object\x20plus\x20the\x20claim\x20rail;\x20EDD-anchored\x20window\x20bounds\x20stay\x20off-chain\x20(INV-AMZ-1).','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'R2','class':'remedy','name':'SAFE-T\x20seller-side\x20protection\x20claim','actor':'merchant','precondition':['E19'],'onchain':'disclosure_only','disclosureProbe':'SAFE.T|seller\x20protection','commercialSemantics':'Seller-side\x20SAFE-T\x20reimbursement\x20has\x20no\x20template\x20counterpart\x20and\x20zero\x20corpus\x20disclosure\x20—\x20the\x20arb\x20rails\x20are\x20buyer-exit\x20only\x20(FIX-DISCLOSURE\x20candidate).','evidence':[]},{'id':'R3','class':'remedy','name':'Arb\x20compensation\x20payout,\x20owner-bound','actor':'arbitrator','precondition':['E18'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','moneyEffect':'compensate'},'commercialSemantics':'Arb\x20compensation\x20is\x20paid\x20by\x20the\x20service\x20layer\x20to\x20the\x20order\x20owner\x20—\x20always\x20the\x20buyer,\x20structurally\x20unbribeable.','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'R4','class':'remedy','name':'Indemnity\x20capped\x20at\x203x\x20the\x20order\x20amount','actor':'arbitrator','precondition':['R3'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','moneyEffect':'compensate'},'commercialSemantics':'Any\x20award\x20saturates\x20at\x203x\x20Order.amount\x20(cap\x20base\x20frozen\x20at\x20BUY\x20time);\x20punitive\x20floors\x20above\x20that\x20are\x20inexpressible\x20(INV-AMZ-3).','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'}]},{'id':'R5','class':'remedy','name':'Statutory\x20punitive\x20damages\x20above\x20the\x20cap','actor':'arbitrator','precondition':['R4'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'punitive|triple\x20damages|min\x20500','commercialSemantics':'CN\x20Civil\x20Code\x20art.55\x20style\x20punitive\x20floors\x20(3x,\x20min\x20500\x20CNY)\x20cannot\x20ride\x20the\x203x\x20award\x20cap\x20and\x20are\x20undisclosed\x20—\x20text-only\x20invariant\x20INV-AMZ-3\x20carries\x20the\x20conflict.','evidence':[]},{'id':'P1','class':'post','name':'Settlement\x20allocation\x20to\x20the\x20seller\x20(reserve\x20kept\x20pooled)','actor':'keeper','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'release'},'commercialSemantics':'The\x20merchant\x20settlement\x20allocator\x20pays\x20the\x20seller\x20share\x20above\x20the\x20reserve\x20threshold;\x20reserve\x20(7d)\x20stays\x20pooled\x20for\x20the\x20claim\x20window.','evidence':[{'file':'allocation.move','line':0x1f6,'pattern':'self.allocators.threshold'},{'file':'allocation.move','line':0x22c,'pattern':'alloc.fix'}]},{'id':'P2','class':'post','name':'Review\x20reward\x20claim\x20(signer-bound)','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'reviewed','moneyEffect':'reward'},'commercialSemantics':'Reward\x20claim\x20is\x20signer-bound\x20(recipient\x20==\x20sender)\x20against\x20the\x20review\x20pool\x20with\x20a\x20per-claim\x20floor\x20above\x20claim\x20gas.','evidence':[{'file':'reward.move','line':0x11b,'pattern':'recipient\x20==\x20tx_context::sender'}]},{'id':'P3','class':'post','name':'Protection-fund\x20water-level\x20watch\x20(keeper\x20duty)','actor':'keeper','precondition':['P1'],'onchain':'disclosure_only','disclosureProbe':'water\x20tiers|classifyFundWaterLevel|classify\x20the','commercialSemantics':'Keeper\x20watches\x20the\x20protection-fund\x20balance\x20across\x20water\x20tiers\x20—\x20a\x20duty-level\x20disclosure,\x20not\x20a\x20chain\x20rule.','evidence':[]},{'id':'P4','class':'post','name':'Repurchase\x20/\x20off-site\x20ad\x20resurgence\x20attribution','actor':'keeper','precondition':['P1'],'onchain':'not_applicable','commercialSemantics':'Repurchase\x20attribution\x20and\x20off-site\x20ad\x20resurgence\x20are\x20storefront\x20economics\x20with\x20no\x20per-order\x20chain\x20footprint.','evidence':[]},{'id':'P5','class':'post','name':'Append-only\x20dispute\x20trail\x20audit','actor':'keeper','precondition':['E16'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','moneyEffect':'none'},'commercialSemantics':'The\x20dispute\x20vector\x20is\x20append-only\x20(records\x20are\x20added,\x20never\x20removed);\x20settlement\x20reads\x20it\x20state-frozen\x20rather\x20than\x20counting\x20it.','evidence':[{'file':'order.move','line':0x94,'pattern':'vector::push_back'},{'file':'order.move','line':0xa1,'pattern':'public\x20fun\x20has_open_dispute'}]}],'invariants':[{'id':'INV-AMZ-1','statement':'The\x20A-to-z\x20window\x20(EDD+3d\x20..\x20EDD+90d)\x20is\x20disclosure-only,\x20so\x20its\x20ONLY\x20chain\x20backstop\x20is\x20the\x20serial\x20dispute\x20rail:\x20FileDispute\x20from\x20claim_window\x20must\x20exist\x20while\x20the\x20guarantee\x20is\x20promised.','jurisdiction':'Amazon\x20A-to-z\x20Guarantee\x20claims\x20page\x20(2026-11);\x20EU\x20CRD\x202011/83;\x20UK\x20CRA\x202015.','chainConflict':'EDD-anchored\x20window\x20bounds\x20are\x20not\x20expressible\x20on\x20chain\x20(S9:\x20no\x20external-platform-signal\x20primitive);\x20only\x20rail\x20existence\x20is\x20enforceable.','violation':{'whileMissingForward':'FileDispute'},'evidence':[{'file':'order.move','line':0xa1,'pattern':'public\x20fun\x20has_open_dispute'}]},{'id':'INV-AMZ-2','statement':'Statutory\x20return\x20floors\x20(CN\x207d\x20no-reason\x20/\x20EU\x20CRD\x2014d\x20/\x20UK\x20CRA\x20long-term)\x20all\x20hinge\x20on\x20return_window_days\x20staying\x20a\x20healthy\x20non-zero\x20knob;\x20zeroing\x20it\x20deletes\x20the\x20floors\x20the\x20marketplace\x20promise\x20is\x20sold\x20on.\x20Text-only:\x20the\x20violation\x20vocabulary\x20can\x20express\x20non-zero\x20existence\x20only\x20while\x20the\x20knob\x20is\x20armed,\x20which\x20is\x20always\x20true\x20here\x20—\x20so\x20no\x20mechanical\x20predicate\x20is\x20attached.','jurisdiction':'PRC\x20Civil\x20Code\x20art.25\x20/\x20Consumer\x20Protection\x20Law\x20art.25\x20(7-day\x20no-reason\x20return);\x20EU\x20CRD\x202011/83\x20art.13(2)\x20(14d);\x20UK\x20CRA\x202015\x20(30d\x20short-term\x20right).','chainConflict':'The\x20protocol\x20can\x20enforce\x20non-zero\x20existence\x20of\x20the\x20window\x20only;\x20the\x20jurisdiction-specific\x20floor\x20VALUE\x20itself\x20stays\x20off-chain.','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]},{'id':'INV-AMZ-3','statement':'CN\x20Civil\x20Code\x20art.55\x20punitive\x20damages\x20(3x\x20price,\x20min\x20500\x20CNY)\x20cannot\x20be\x20awarded:\x20arbitration\x20indemnity\x20saturates\x20at\x203x\x20Order.amount\x20with\x20the\x20cap\x20base\x20frozen\x20at\x20BUY\x20time.\x20Text-only:\x20no\x20fee_params\x20key\x20or\x20forward\x20exists\x20to\x20lift\x20the\x20floor.','jurisdiction':'PRC\x20Civil\x20Code\x20art.55\x20(punitive\x20damages);\x20Food\x20Safety\x20Law\x20art.148\x20analogues.','chainConflict':'MAX_INDEMNITY_MULTIPLE\x20(3x)\x20bounds\x20every\x20award\x20and\x20the\x20cap\x20base\x20is\x20the\x20escrowed\x20amount\x20frozen\x20at\x20buy()\x20—\x20no\x20floor-lift\x20primitive\x20exists.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'}]},{'id':'INV-AMZ-4','statement':'FTC\x20Mail\x20Order\x20Rule\x20requires\x20ship-by\x20within\x2030\x20days\x20of\x20the\x20order\x20date.\x20The\x20template\x20has\x20no\x20ship-by\x20fee_param\x20or\x20forward\x20—\x20the\x20ship\x20guard\x20carries\x20evidence\x20policy\x20only.\x20Text-only\x20statutory\x20exposure.','jurisdiction':'US\x20FTC\x20Mail\x20Order\x20Rule,\x2016\x20CFR\x20part\x20435.','chainConflict':'No\x20deadline\x20primitive\x20anchors\x20the\x20ship\x20edge\x20to\x20a\x20calendar\x20clock;\x20only\x20evidence\x20gating\x20and\x20auto-confirm\x20exist.'}]};

package/dist/knowledge/path-oracle/products/beatstars.js

@@ -0,0 +1 @@
+export const BEATSTARS_ORACLE={'productRef':'beatstars','products':['beatstars','airbit','tracklib','splice','epidemic-sound','artlist'],'oracleVersion':'1.0.0','steps':[{'id':'M1','class':'offchain','name':'Browse\x20the\x20store\x20and\x20preview\x20beats','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'The\x20buyer\x20streams\x20tagged\x20previews\x20and\x20browses\x20license\x20tiers\x20on\x20the\x20marketplace\x20front-end.\x20No\x20WoWok\x20surface:\x20browsing\x20and\x20previews\x20are\x20off-chain.','evidence':[]},{'id':'M2','class':'offchain','name':'Select\x20the\x20license\x20tier','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'The\x20tier\x20choice\x20(basic\x20/\x20premium\x20/\x20unlimited\x20/\x20exclusive)\x20sets\x20price\x20and\x20terms.\x20Per\x20the\x20shipped\x20template\x20the\x20tier\x20selects\x20the\x20PRICE\x20and\x20the\x20terms\x20artifact,\x20never\x20the\x20machine\x20shape\x20—\x20one\x20machine\x20serves\x20all\x20tiers.','evidence':[]},{'id':'M9','class':'offchain','name':'Platform\x20pays\x20out\x20producer\x20earnings','actor':'platform','precondition':['M7'],'onchain':'not_applicable','commercialSemantics':'On\x20the\x20benchmark\x20marketplace,\x20earnings\x20accrue\x20to\x20a\x20platform\x20balance\x20the\x20producer\x20withdraws\x20later;\x20on\x20WoWok\x20each\x20sale\x20settles\x20directly\x20per\x20the\x20splits,\x20so\x20the\x20pooled-balance\x20model\x20itself\x20disappears.','evidence':[]},{'id':'M10','class':'offchain','name':'Register\x20cleared\x20content\x20with\x20a\x20content-ID\x20system','actor':'platform','precondition':['M9'],'onchain':'not_applicable','commercialSemantics':'Content-ID\x20registration\x20is\x20a\x20third-party,\x20off-chain\x20act;\x20the\x20grant\x20row\x20can\x20later\x20serve\x20as\x20appeal\x20evidence\x20(P3)\x20but\x20nothing\x20on\x20chain\x20performs\x20the\x20registration\x20or\x20the\x20matching.','evidence':[]},{'id':'M11','class':'offchain','name':'Subscription\x20/\x20catalog-wide\x20licensing\x20grant','actor':'platform','precondition':['M9'],'onchain':'not_applicable','commercialSemantics':'Subscription\x20and\x20catalog\x20models\x20grant\x20rolling\x20rights\x20over\x20a\x20shared\x20catalog\x20—\x20a\x20stateful\x20entitlement\x20with\x20a\x20term\x20clock\x20that\x20the\x20template\x20has\x20no\x20representation\x20for.\x20What\x20happens\x20after\x20a\x20subscription\x20lapses\x20is\x20tracked\x20strictly\x20at\x20E8.','evidence':[]},{'id':'M3','class':'main','name':'Buy\x20the\x20tier\x20(escrowed)','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'licensed','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'The\x20buyer\x20buys\x20the\x20tier\x20SKU\x20at\x20its\x20fixed\x20price;\x20funds\x20escrow\x20on\x20the\x20Order.\x20The\x20store\x20default\x20is\x20open\x20(no\x20buy\x20allowlist)\x20and\x20only\x20quote2/buy2\x20are\x20served\x20—\x20the\x20buy\x20surface\x20is\x20deliberately\x20thin.','evidence':[]},{'id':'M4','class':'main','name':'Producer\x20delivers\x20the\x20license\x20grant\x20(grant\x20artifact)','actor':'merchant','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'grant_delivered','forward':'DeliverGrant','prev':'licensed','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20tier\x20terms\x20plus\x20the\x20asset\x20files\x20/\x20download-credential\x20hash\x20pin\x20as\x20the\x20write_once\x20grant\x20artifact\x20row\x20—\x20the\x20anchored\x20proof\x20of\x20WHAT\x20was\x20licensed,\x20at\x20WHAT\x20terms,\x20immutable\x20once\x20delivered\x20(INV-BS-4).','guardKeyProbe':'grant_artifact','evidence':[{'file':'repository.move','line':0x200,'pattern':'assert!(false,\x20E_POLICY_WRITE_ONCE_CONFLICT)'}]},{'id':'M5','class':'main','name':'Buyer\x20accepts\x20the\x20grant\x20(instant\x20download)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'granted','forward':'AcceptGrant','prev':'grant_delivered','identity':'order_holder','moneyEffect':'release'},'commercialSemantics':'The\x20buyer\x20confirms\x20receipt\x20and\x20pulls\x20the\x20files;\x20settlement\x20releases\x20and\x20splits\x20producer/publisher\x20per\x20the\x20Rate\x20rows.\x20There\x20is\x20no\x20automatic\x20delivery\x20—\x20the\x20producer\x20must\x20drive\x20the\x20delivery\x20forward.','guardKeyProbe':'accept_grant','evidence':[]},{'id':'M6','class':'main','name':'Delivery-window\x20time-lock\x20auto-accepts','actor':'keeper','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'granted','forward':'AutoAcceptGrant','prev':'grant_delivered','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'A\x20keeper\x20holding\x20machine\x20permission\x20drives\x20the\x20auto-accept\x20once\x20delivery_window_days\x20pass\x20on\x20the\x20progress\x20history;\x20there\x20is\x20no\x20on-chain\x20scheduler,\x20so\x20a\x20stalling\x20producer\x20is\x20bailed\x20out\x20only\x20when\x20someone\x20drives\x20the\x20rail.','guardKeyProbe':'delivery_timeout','evidence':[{'file':'progress.move','line':0x8e,'pattern':'history:\x20ParentTableVec<History>'}]},{'id':'M7','class':'main','name':'Settlement\x20splits\x20producer\x20/\x20publisher','actor':'platform','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'granted','moneyEffect':'release'},'commercialSemantics':'One\x20settlement\x20pays\x20the\x20producer\x20and\x20publisher\x20splits\x20over\x20the\x20order\x20anchor\x20(rates\x20must\x20total\x2010000);\x20the\x20platform\x20takes\x20nothing\x20by\x20default\x20—\x20commission\x20and\x20service-fee\x20params\x20ship\x20at\x20zero\x20for\x20direct-sales\x20economics\x20(INV-BS-1).','evidence':[{'file':'allocation.move','line':0x1af,'pattern':'total_rate\x20==\x2010000'}]},{'id':'E1','class':'exception','name':'Cancel\x20before\x20delivery','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'license_cancelled','forward':'CancelBeforeDelivery','prev':'licensed','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Full\x20refund\x20of\x20the\x20escrowed\x20price\x20while\x20the\x20license\x20was\x20never\x20delivered;\x20the\x20order\x20terminates\x20through\x20the\x20refund\x20terminal.','guardKeyProbe':'cancel_licensed','evidence':[]},{'id':'E2','class':'exception','name':'Reject\x20the\x20grant\x20(wrong\x20tier\x20/\x20asset\x20not\x20as\x20described)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'license_cancelled','forward':'RejectGrant','prev':'grant_delivered','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x20buyer\x20rejects\x20a\x20misdescribed\x20grant\x20and\x20the\x20whole\x20escrowed\x20price\x20refunds\x20—\x20the\x20explicit\x20reject\x20row\x20is\x20also\x20the\x20anti-stalling\x20pressure\x20on\x20the\x20producer,\x20next\x20to\x20the\x20delivery-window\x20time-lock.','guardKeyProbe':'reject_grant','evidence':[]},{'id':'E3','class':'exception','name':'Non-delivery\x20breach\x20(ruling\x20refund\x20while\x20still\x20licensed)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'license_cancelled','forward':'ArbRefund','prev':'licensed','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'A\x20ruling\x20refunds\x20the\x20escrowed\x20principal\x20while\x20the\x20order\x20still\x20rests\x20at\x20the\x20licensed\x20(pre-delivery)\x20state.','guardKeyProbe':'arb_refund_undelivered','evidence':[]},{'id':'E4','class':'exception','name':'Over-usage\x20cap\x20breach','actor':'buyer','precondition':['M8'],'onchain':'expressible_with_gap','chainFootprint':{'node':'license_cancelled','moneyEffect':'compensate'},'commercialSemantics':'Exceeding\x20a\x20stream/unit/monetization\x20cap\x20triggers\x20nothing\x20automatically:\x20the\x20producer\x20files\x20the\x20dispute,\x20the\x20attested\x20counter\x20is\x20the\x20evidence,\x20and\x20the\x20award\x20executes\x20through\x20the\x20capped\x20fund\x20path.\x20A\x20cap\x20breach\x20is\x20a\x20dispute\x20—\x20never\x20an\x20automatic\x20on-chain\x20deduction\x20—\x20and\x20caps\x20must\x20be\x20disclosed\x20as\x20attested-counter\x20obligations,\x20not\x20chain-enforced\x20limits.','gapPredicate':{'probe':'usage\x20cap|cap\x20breach|not\x20chain-enforced'},'evidence':[]},{'id':'E5','class':'exception','name':'Exclusive\x20tier\x20sold\x20more\x20than\x20once','actor':'merchant','precondition':['M3'],'onchain':'unresolvable','unresolvableRef':'S2','commercialSemantics':'No\x20primitive\x20enforces\x20single-sale\x20exclusivity\x20across\x20orders:\x20two\x20buyers\x20can\x20each\x20hold\x20a\x20valid\x20grant\x20row\x20for\x20the\x20exclusive\x20tier.\x20Registered\x20on\x20the\x20cross-order\x20family\x20S2\x20(the\x20verifiable\x20statement\x20is\x20a\x20row\x20keyed\x20by\x20the\x20earlier\x20order\x20—\x20an\x20attestation,\x20not\x20a\x20protocol-level\x20registry),\x20NARROWED\x20(W21\x20stage2\x20#9):\x20the\x20cross-order\x20count\x20gate\x20(query\x202251)\x20counts\x20a\x20producer\x27s\x20orders\x20and\x20cannot\x20read\x20\x27this\x20asset\x27s\x20exclusive\x20tier\x20was\x20already\x20sold\x27\x20—\x20no\x20per-asset\x20tier\x20sale\x20registry\x20exists,\x20so\x20the\x20gap\x20survives.\x20Proving\x20the\x20breach\x20means\x20producing\x20both\x20rows\x20in\x20arbitration;\x20the\x20tier-semantics\x20disclosure\x20(tiers\x20select\x20price\x20and\x20terms;\x20a\x20tier\x20label\x20is\x20not\x20stock\x20state)\x20plus\x20the\x20family\x20registration\x20are\x20the\x20remedy.','disclosureProbe':'exclusive|terms\x20label','evidence':[]},{'id':'E6','class':'exception','name':'Uncleared\x20sample\x20inside\x20the\x20beat','actor':'merchant','precondition':['M4'],'onchain':'disclosure_only','commercialSemantics':'The\x20grant\x20artifact\x20anchors\x20what\x20was\x20sold,\x20not\x20that\x20the\x20producer\x20owned\x20every\x20sample\x20in\x20it.\x20Sample\x20clearance\x20verification\x20is\x20off-chain\x20(dedicated\x20clearance\x20services);\x20a\x20defect\x20surfaces\x20later\x20as\x20a\x20third-party\x20claim\x20(E10).\x20The\x20usage-grant-not-a-security\x20disclosure\x20is\x20the\x20boundary\x20statement.','disclosureProbe':'USAGE\x20GRANT|not\x20investment','evidence':[]},{'id':'E7','class':'exception','name':'False\x20content-ID\x20claim\x20against\x20a\x20licensed\x20video','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Claim-side\x20abuse\x20lives\x20inside\x20the\x20video\x20platform\x27s\x20own\x20claim\x20machinery;\x20the\x20WoWok\x20side\x20can\x20only\x20hand\x20over\x20evidence,\x20never\x20adjudicate\x20the\x20claim.','evidence':[]},{'id':'E8','class':'exception','name':'Usage\x20dispute\x20after\x20the\x20license\x20term\x20expires','actor':'buyer','precondition':['M11'],'onchain':'unresolvable','unresolvableRef':'S22','commercialSemantics':'There\x20is\x20no\x20license-term\x20clock\x20primitive\x20(family\x20S22:\x20the\x20only\x20on-chain\x20clock\x20face\x20is\x20a\x20millisecond\x20timestamp\x20plus\x20duration\x20constants\x20—\x20no\x20term/expiry\x20state,\x20no\x20calendar,\x20registered\x20W21\x20stage2\x20#9):\x20neither\x20expiry,\x20renewal,\x20nor\x20post-term\x20breach\x20can\x20be\x20evaluated\x20on\x20chain,\x20so\x20a\x20post-expiry\x20usage\x20dispute\x20degrades\x20to\x20plain\x20arbitration\x20over\x20off-chain\x20terms.\x20The\x20E8\x20build\x20note\x20discloses\x20the\x20boundary\x20(a\x20minted\x20license\x20is\x20never\x20\x27cleared\x20forever\x27;\x20subscription-tier\x20expiry\x20is\x20an\x20off-chain\x20terms\x20question)\x20—\x20the\x20former\x20strict-probe\x20miss\x20is\x20cured;\x20deleting\x20the\x20note\x20re-fires\x20it.','disclosureProbe':'cleared\x20forever|subscription|license\x20term|expiry','evidence':[]},{'id':'E9','class':'exception','name':'Scope-of-grant\x20dispute\x20(rights\x20beyond\x20the\x20tier)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'grant_delivered','moneyEffect':'none'},'commercialSemantics':'Disputes\x20about\x20what\x20the\x20tier\x20actually\x20allowed\x20read\x20the\x20immutable\x20grant\x20row:\x20the\x20anchored\x20terms\x20artifact\x20is\x20the\x20evidence\x20of\x20WHAT\x20was\x20licensed,\x20which\x20is\x20precisely\x20why\x20delivery\x20is\x20write-guarded.','guardKeyProbe':'grant_artifact','evidence':[]},{'id':'E10','class':'exception','name':'Third-party\x20infringement\x20claim\x20(sample\x20owner\x20sues)','actor':'buyer','precondition':['M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'license_cancelled','moneyEffect':'compensate'},'commercialSemantics':'The\x20buyer\x27s\x20recourse\x20is\x20the\x20third-party\x20arbitration\x20venue\x20with\x20the\x20capped\x20fund\x20award\x20paid\x20to\x20the\x20ORDER\x20OWNER;\x20the\x20actual\x20claimant\x20settles\x20with\x20the\x20buyer\x20off\x20chain.\x20No\x20platform-level\x20indemnity\x20exists\x20—\x20the\x20split\x20of\x20authority\x20is\x20the\x20known\x20gap.','gapPredicate':{'probe':'THIRD-PARTY\x20Arbitration|compensation\x20fund'},'evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'},{'file':'service.move','line':0x265,'pattern':'order::owner(order));'}]},{'id':'E11','class':'exception','name':'Watermarked\x20preview\x20leaked\x20without\x20a\x20license','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Preview\x20leakage\x20is\x20a\x20front-end\x20/\x20watermarking\x20concern;\x20the\x20chain\x20never\x20sees\x20previews,\x20so\x20nothing\x20can\x20detect\x20or\x20deter\x20the\x20leak.','evidence':[]},{'id':'E12','class':'exception','name':'No-refund-after-download\x20expectation','actor':'platform','precondition':['M5'],'onchain':'disclosure_only','commercialSemantics':'Digital\x20goods\x20are\x20delivered\x20the\x20moment\x20files\x20are\x20pulled;\x20the\x20template\x20keeps\x20buyer\x20reject\x20for\x20misdescription\x20and\x20pre-delivery\x20cancel\x20but\x20promises\x20no\x20no-questions-asked\x20refund\x20window\x20—\x20the\x20refund\x20boundary\x20needs\x20user\x20adjudication\x20per\x20store.','disclosureProbe':'buyer\x20reject|misdescription','evidence':[]},{'id':'E13','class':'exception','name':'Buyer\x20under-reports\x20usage','actor':'merchant','precondition':['M8'],'onchain':'expressible_with_gap','chainFootprint':{'node':'grant_delivered','moneyEffect':'none'},'commercialSemantics':'A\x20buyer\x20who\x20lies\x20in\x20the\x20attested\x20report\x20is\x20only\x20caught\x20by\x20the\x20producer\x20reading\x20the\x20same\x20evidence\x20sources;\x20the\x20write\x20guard\x20proves\x20the\x20row\x20came\x20from\x20the\x20reporter,\x20not\x20that\x20the\x20reporter\x20told\x20the\x20truth.\x20The\x20counter\x20is\x20only\x20as\x20trustworthy\x20as\x20its\x20write-guard\x20and\x20the\x20off-chain\x20reporter\x20—\x20under-reporting\x20is\x20a\x20dispute,\x20never\x20a\x20self-detecting\x20breach.','gapPredicate':{'probe':'only\x20as\x20trustworthy|off-chain\x20reporter|write-guard'},'evidence':[]},{'id':'E14','class':'exception','name':'Withdraw\x20a\x20filed\x20dispute\x20claim','actor':'buyer','precondition':['E3'],'onchain':'expressible_with_gap','chainFootprint':{'node':'license_cancelled','moneyEffect':'refund'},'commercialSemantics':'REGISTERED,\x20not\x20standing\x20(W21\x20stage2\x20#9):\x20the\x20kernel\x20offers\x20a\x20post-silence-window\x20dispute\x20withdrawal\x20whose\x20claimed_by\x20survives\x20the\x20withdrawal\x20—\x20but\x20this\x20shape\x20ships\x20NO\x20withdraw_claim\x20edge\x20BY\x20DESIGN,\x20and\x20the\x20standing\x20buyer\x20rails\x20already\x20cover\x20the\x20exit:\x20disputes\x20are\x20filed\x20OFF-Machine\x20(no\x20claim\x20node),\x20so\x20the\x20order\x20never\x20leaves\x20its\x20pre-dispute\x20node\x20and\x20a\x20buyer\x20who\x20abandons\x20a\x20claim\x20simply\x20walks\x20reject_grant\x20/\x20cancel_licensed\x20through\x20the\x20node-gated\x20refund\x20rail,\x20or\x20accept_grant\x20settles.\x20Mounting\x20the\x20edge\x20would\x20ship\x20the\x20kernel\x20replay\x20critical\x20(identity-only,\x20replayable,\x20case-unbound\x20guard)\x20as\x20a\x20product\x20default;\x20the\x20case-bound\x20claim\x20waypoint\x20is\x20a\x20PT-21\x20protocol-train\x20registration\x20(dossier\x20D13),\x20disclosed\x20as\x20registered-not-standing\x20in\x20the\x20corpus.','gapPredicate':{'probe':'withdraw_claim|WithdrawClaim|claim\x20withdrawal'},'evidence':[{'file':'arb.move','line':0x10,'pattern':'WITHDRAW_DURATION_TIME'}]},{'id':'R1','class':'remedy','name':'Ruling\x20refunds\x20the\x20buyer\x20pre-settlement','actor':'keeper','precondition':['E2'],'onchain':'expressible','chainFootprint':{'node':'license_cancelled','forward':'ArbRefund','prev':'grant_delivered','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'A\x20delivered-but-disputed\x20order\x20refunds\x20the\x20escrowed\x20principal\x20on\x20a\x20ruling;\x20the\x20claimed_by\x20gate\x20keeps\x20compensation\x20accounting\x20consistent\x20before\x20the\x20refund\x20rail\x20moves.','guardKeyProbe':'arb_refund','evidence':[{'file':'order.move','line':0x79,'pattern':'option::is_none(&self.claimed_by)'}]},{'id':'R2','class':'remedy','name':'Ruling\x20refunds\x20the\x20buyer\x20while\x20still\x20licensed','actor':'keeper','precondition':['E1'],'onchain':'expressible','chainFootprint':{'node':'license_cancelled','forward':'ArbRefund','prev':'licensed','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'Same\x20refund\x20discipline\x20for\x20a\x20dispute\x20opened\x20before\x20delivery;\x20the\x20escrowed\x20principal\x20exits\x20through\x20the\x20node-gated\x20refund\x20rail.','guardKeyProbe':'arb_refund_undelivered','evidence':[]},{'id':'R3','class':'remedy','name':'Ruling\x20refunds\x20after\x20settlement','actor':'keeper','precondition':['R4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'license_cancelled','forward':'ArbRefund','prev':'granted','identity':'permission_index','moneyEffect':'compensate'},'commercialSemantics':'After\x20settlement\x20the\x20principal\x20is\x20gone,\x20so\x20a\x20buyer-favor\x20ruling\x20pays\x20from\x20the\x20compensation\x20fund\x20up\x20to\x20the\x20capped\x20indemnity\x20FIRST,\x20then\x20advances\x20the\x20machine\x20—\x20an\x20awarded\x20order\x27s\x20residual\x20principal\x20still\x20exits\x20and\x20the\x20escrow-exit\x20invariant\x20holds.','guardKeyProbe':'arb_refund_settled','gapPredicate':{'probe':'indemnity\x20FIRST|compensation-fund'},'evidence':[]},{'id':'R4','class':'remedy','name':'Compensation-fund\x20payout\x20capped\x20at\x203x','actor':'arbitrator','precondition':['R1'],'onchain':'expressible_with_gap','chainFootprint':{'node':'license_cancelled','moneyEffect':'compensate'},'commercialSemantics':'A\x20buyer-award\x20pays\x20from\x20the\x20compensation\x20fund\x20to\x20the\x20order\x20owner,\x20capped\x20at\x203x\x20the\x20escrowed\x20amount;\x20the\x20payout\x20is\x20a\x20service\x20call,\x20not\x20a\x20machine\x20node,\x20and\x20the\x20cap\x20is\x20an\x20assert,\x20not\x20a\x20negotiated\x20amount.\x20Statutory\x20damages\x20for\x20IP\x20misrepresentation\x20can\x20exceed\x20the\x20cap\x20by\x20orders\x20of\x20magnitude\x20(INV-BS-3).','gapPredicate':{'probe':'MAX_INDEMNITY|compensation\x20fund'},'evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'},{'file':'service.move','line':0x265,'pattern':'order::owner(order));'}]},{'id':'R5','class':'remedy','name':'Two-step\x20refund\x20payout\x20(order\x20object\x20then\x20owner\x20receive)','actor':'buyer','precondition':['E1'],'onchain':'expressible_with_gap','chainFootprint':{'node':'license_cancelled','moneyEffect':'refund'},'commercialSemantics':'Every\x20refund\x20lands\x20ON\x20the\x20order\x20object\x20first\x20(refund\x20rows\x20pay\x20GuardIdentifier(0))\x20and\x20needs\x20a\x20second\x20buyer\x20owner_receive\x20call\x20to\x20reach\x20the\x20wallet;\x20the\x20split\x20is\x20deliberate\x20rail\x20separation\x20but\x20it\x20is\x20a\x20two-tap\x20experience\x20that\x20must\x20stay\x20disclosed.','gapPredicate':{'probe':'TWO-STEP\x20REFUND|owner_receive'},'evidence':[]},{'id':'R6','class':'remedy','name':'Recover-gate\x20sweep\x20of\x20a\x20stranded\x20awarded\x20order','actor':'merchant','precondition':['R3'],'onchain':'expressible','chainFootprint':{'node':'granted','moneyEffect':'release'},'commercialSemantics':'The\x20terminal-node-gated\x20sweep\x20pays\x20the\x20residual\x20principal\x20of\x20an\x20awarded\x20order\x20to\x20the\x20producer;\x20neither\x20exit\x20rail\x20reads\x20the\x20compensation\x20claim\x20list,\x20so\x20the\x20sweep\x20cannot\x20double-pay\x20a\x20compensation\x20already\x20made.','evidence':[]},{'id':'R7','class':'remedy','name':'Dual-payout\x20outcome\x20disclosure\x20at\x20the\x20confirmation\x20gate','actor':'platform','precondition':['R3'],'onchain':'disclosure_only','commercialSemantics':'Exactly\x20one\x20exit\x20rail\x20can\x20ever\x20pass,\x20so\x20a\x20residual\x20refund\x20payout\x20after\x20a\x20fund\x20indemnity\x20is\x20a\x20possible\x20outcome\x20the\x20buyer\x20should\x20acknowledge\x20at\x20the\x20confirmation\x20gate.\x20The\x20dual-payout\x20wording\x20exists\x20only\x20inside\x20the\x20machine-shape\x20role\x20text,\x20which\x20the\x20disclosure\x20corpus\x20cannot\x20see\x20—\x20and\x20the\x20allocator\x20prose\x20still\x20asserts\x20exactly\x20one\x20rail\x20can\x20ever\x20pass,\x20contradicting\x20it\x20(strict\x20probe,\x20expected\x20miss;\x20FIX-DISCLOSURE,\x20dossier\x20D5).','disclosureProbe':'dual-payout|dual\x20payout|double\x20collection|acknowledge_dual_payout','evidence':[{'file':'order.move','line':0x128,'pattern':'NOTE\x20on\x20claimed_by'}]},{'id':'R8','class':'remedy','name':'Dismissed-ruling\x20merchant\x20exit','actor':'merchant','precondition':['R1'],'onchain':'expressible_with_gap','chainFootprint':{'node':'license_cancelled','moneyEffect':'none'},'commercialSemantics':'REGISTERED,\x20not\x20standing\x20(W21\x20stage2\x20#9):\x20when\x20a\x20ruling\x20favors\x20the\x20producer\x20the\x20kernel\x20can\x20conclude\x20the\x20dismissal\x20—\x20but\x20the\x20FLOWS\x20v178\x20resume\x20edges\x20are\x20self-loops\x20in\x20this\x20shape\x20(disputes\x20are\x20filed\x20OFF-Machine,\x20so\x20the\x20machine\x20never\x20left\x20the\x20pre-dispute\x20node;\x20a\x20resume\x20edge\x20would\x20be\x20X->X,\x20blocked\x20by\x20the\x20sso7\x20v172\x20self-loop\x20cure)\x20and\x20none\x20is\x20needed:\x20the\x20conclude\x20stamp\x20releases\x20the\x20v139\x20freeze\x20legs\x20on\x20the\x20allocator\x20roots,\x20the\x20rails\x20resume,\x20and\x20the\x20delivery-window\x20auto-accept\x20duty\x20backstops\x20settlement.\x20Residual\x20honesty:\x20after\x20a\x20dismissal\x20the\x20losing\x20buyer\x20can\x20still\x20drain\x20the\x20escrow\x20through\x20the\x20pure-identity\x20reject_grant\x20/\x20cancel_licensed\x20gates\x20(bs-mn\x20F-BS-54/55/56)\x20—\x20a\x20disclosed\x20asymmetry,\x20not\x20a\x20missing\x20rail.\x20The\x20guard\x20family\x27s\x20industry\x20exclusion\x20(dossier\x20D12)\x20stays\x20until\x20the\x20PT-21\x20case-bound\x20dismissal/resume\x20waypoint\x20lands.','gapPredicate':{'probe':'dismissal|conclude|arb_ruling_dismissed'},'evidence':[{'file':'order.move','line':0x8d,'pattern':'claimed_by'}]},{'id':'R9','class':'remedy','name':'Dispute\x20freeze\x20legs\x20over\x20the\x20allocator\x20roots','actor':'arbitrator','precondition':['E4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'license_cancelled','moneyEffect':'none'},'commercialSemantics':'While\x20a\x20dispute\x20is\x20open,\x20the\x20settlement\x20and\x20refund\x20legs\x20refuse\x20to\x20move;\x20disputes\x20are\x20filed\x20OFF-machine\x20(no\x20claim\x20node)\x20and\x20the\x20freeze\x20rides\x20the\x20allocator\x20roots,\x20which\x20is\x20exactly\x20why\x20the\x20machine\x20shape\x20has\x20no\x20dispute\x20surface\x20to\x20inspect.','gapPredicate':{'probe':'OFF-Machine|no\x20claim\x20node'},'evidence':[]},{'id':'R10','class':'remedy','name':'Remedy\x20by\x20upgrade\x20to\x20a\x20higher\x20tier','actor':'buyer','precondition':['E4'],'onchain':'expressible_with_gap','chainFootprint':{'forward':'Enter','moneyEffect':'escrow_in'},'commercialSemantics':'The\x20pragmatic\x20remedy\x20for\x20a\x20nearing\x20cap\x20is\x20buying\x20a\x20higher\x20tier\x20on\x20a\x20fresh\x20order;\x20the\x20per-purchase\x20rail\x20fully\x20expresses\x20it,\x20but\x20no\x20primitive\x20ties\x20the\x20upgrade\x20order\x20back\x20to\x20the\x20capped\x20one,\x20so\x20the\x20linkage\x20stays\x20off\x20chain.\x20The\x20cap-breach-as-dispute\x20disclosure\x20is\x20the\x20baseline\x20remedy\x20the\x20upgrade\x20complements.','gapPredicate':{'probe':'usage\x20cap|cap\x20breach'},'evidence':[]},{'id':'M8','class':'post','name':'Usage\x20reporting\x20under\x20the\x20attested\x20counter','actor':'buyer','precondition':['M7'],'onchain':'disclosure_only','commercialSemantics':'Usage\x20counts\x20land\x20in\x20an\x20attested\x20counter\x20through\x20a\x20write-guarded\x20repository\x20write\x20and\x20are\x20read\x20back\x20as\x20evidence;\x20a\x20cap\x20breach\x20is\x20a\x20dispute,\x20never\x20a\x20self-executing\x20deduction.\x20The\x20USAGE-CAP\x20METERING\x20disclosure\x20(never\x20a\x20chain-native\x20meter,\x20never\x20an\x20automatic\x20deduction)\x20is\x20the\x20product\x27s\x20central\x20honesty\x20promise.','disclosureProbe':'USAGE-CAP\x20METERING|chain-native\x20meter|attested','evidence':[]},{'id':'P1','class':'post','name':'Buyer\x20posts\x20a\x20review\x20and\x20claims\x20the\x20bounty','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'granted','moneyEffect':'reward'},'commercialSemantics':'The\x20review\x20rail\x20ships:\x20the\x20bounty\x20pool\x20is\x20a\x20funded\x20build\x20input\x20(an\x20unfunded\x20bounty\x20promise\x20must\x20not\x20publish),\x20the\x20review\x20row\x20lands\x20on\x20the\x20reward\x20host\x20and\x20the\x20claim\x20guard\x20pays\x20the\x20reviewer\x20—\x20the\x20rating\x20rides\x20the\x20immutable\x20review\x20row.\x20The\x20claim\x20guard\x20is\x20a\x20reward-host\x20object,\x20outside\x20the\x20machine\x20edge-guard-key\x20domain,\x20so\x20no\x20guard\x20probe\x20applies\x20here.','evidence':[]},{'id':'P2','class':'post','name':'Repurchase\x20/\x20renewal\x20of\x20the\x20license\x20term','actor':'buyer','precondition':['P1'],'onchain':'not_applicable','commercialSemantics':'Renewal\x20is\x20a\x20fresh\x20buy\x20on\x20a\x20fresh\x20order;\x20no\x20primitive\x20links\x20it\x20to\x20the\x20original\x20grant,\x20so\x20term\x20continuity\x20must\x20be\x20reconstructed\x20from\x20the\x20two\x20grant\x20rows\x20off\x20chain.','evidence':[]},{'id':'P3','class':'post','name':'Certification\x20evidence\x20reuse\x20(distribution\x20review\x20/\x20claim\x20appeals)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'grant_delivered','moneyEffect':'none'},'commercialSemantics':'The\x20write_once\x20grant\x20row\x20doubles\x20as\x20the\x20license\x20certificate\x20for\x20distribution\x20review\x20and\x20content-ID\x20appeal\x20workflows:\x20immutable\x20provenance\x20of\x20what\x20was\x20licensed,\x20readable\x20by\x20any\x20counterparty.','evidence':[]},{'id':'P4','class':'post','name':'Platform\x20rating\x20/\x20reputation\x20(off-chain)','actor':'platform','precondition':['P1'],'onchain':'disclosure_only','commercialSemantics':'The\x20buyer\x27s\x20published\x20rating\x20is\x20on\x20chain\x20(reputation\x20rail,\x20immutable\x20rating\x20rows,\x20a\x20rating\x20floor);\x20the\x20marketplace\x27s\x20own\x20placement,\x20chart\x20and\x20playlist\x20claims\x20are\x20off-chain\x20curation\x20numbers\x20that\x20nothing\x20on\x20chain\x20can\x20audit.','disclosureProbe':'reputation\x20rail|rating\x20floor','evidence':[]}],'invariants':[{'id':'INV-BS-1','statement':'Zero\x20platform\x20commission\x20is\x20a\x20shipped\x20promise:\x20direct-sales\x20economics\x20ship\x20with\x20platform_commission_bps\x20and\x20merchant_service_fee_bps\x20at\x20zero\x20—\x20the\x20producer/publisher\x20keep\x20the\x20whole\x20sale,\x20and\x20any\x20aggregator\x20fee\x20must\x20be\x20an\x20explicit,\x20disclosed\x20charge\x20to\x20a\x20non-empty\x20Entity,\x20never\x20via\x20Surplus.','jurisdiction':'Consumer\x20protection\x20(fee\x20promise)\x20—\x20analog.','chainConflict':'CURED\x20on\x20the\x20current\x20template:\x20the\x20commission\x20fee\x20param\x20ships\x20at\x20zero.\x20Registration\x20retained\x20as\x20a\x20standing\x20check:\x20raising\x20platform_commission_bps\x20without\x20an\x20explicit\x20user\x20decision\x20re-fires\x20it.','violation':{'requiresFeeParamNonZero':'platform_commission_bps'},'evidence':[{'file':'allocation.move','line':0x1b,'pattern':'ERATE_NOT_10000'}]},{'id':'INV-BS-2','statement':'The\x20displaced-take\x20benchmark\x20must\x20match\x20the\x20platform\x27s\x20official\x20current\x20pricing:\x20the\x20benchmark\x20marketplace\x27s\x20official\x20pricing\x20takes\x20zero\x20commission\x20on\x20marketplace\x20beat\x20sales\x20(monetizing\x20via\x20seller\x20subscriptions,\x20buyer\x20service\x20fees,\x20payout\x20holds\x20and\x20ads),\x20so\x20publishing\x20a\x20stale\x2030-percent\x20benchmark\x20as\x20the\x20current-fee\x20disclosure\x20misinforms\x20the\x20buyer.','jurisdiction':'Consumer\x20protection\x20(fee\x20disclosure\x20accuracy)\x20—\x20analog.','chainConflict':'CURED\x20on\x20the\x20current\x20template\x20(W21\x20stage2\x20#9,\x20user\x20ruling\x202026-11-07):\x20incumbent_take_bps\x20re-pinned\x20at\x200\x20to\x20match\x20the\x20official\x20pricing.\x20Registration\x20retained\x20as\x20a\x20standing\x20check:\x20re-pinning\x20a\x20stale\x20displaced-take\x20benchmark\x20re-fires\x20it\x20(text-only\x20cure,\x20the\x20param\x20stays\x20benchmark-only).','violation':{'requiresFeeParamNonZero':'incumbent_take_bps'}},{'id':'INV-BS-3','statement':'Statutory\x20damages\x20for\x20infringement\x20/\x20misrepresentation\x20can\x20reach\x20far\x20beyond\x203x\x20the\x20escrowed\x20price;\x20the\x20compensation\x20fund\x20caps\x20a\x20buyer\x20award\x20at\x20fund/3\x20(MAX_INDEMNITY_MULTIPLE),\x20so\x20the\x20residual\x20loss\x20is\x20structurally\x20unmakeable\x20on\x20chain.','jurisdiction':'17\x20U.S.C.\x20504(c)\x20(statutory\x20damages)\x20—\x20analog.','chainConflict':'The\x20cap\x20is\x20a\x20hard\x20assert\x20inside\x20the\x20compensation\x20path;\x20no\x20user\x20resolution\x20can\x20raise\x20it,\x20so\x20the\x20only\x20honest\x20disclosure\x20is\x20the\x20ceiling\x20itself.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'},{'file':'service.move','line':0x265,'pattern':'order::owner(order));'}]},{'id':'INV-BS-4','statement':'A\x20digital-asset\x20license\x20sale\x20is\x20only\x20as\x20good\x20as\x20its\x20delivery\x20proof:\x20the\x20tier\x20terms\x20pin\x20as\x20a\x20write_once\x20grant\x20artifact\x20row\x20at\x20delivery,\x20which\x20is\x20what\x20later\x20makes\x20scope\x20and\x20cap\x20disputes\x20evidence-based.','jurisdiction':'Contract\x20law\x20(proof\x20of\x20agreed\x20terms)\x20—\x20analog.','chainConflict':'CURED\x20on\x20the\x20current\x20template:\x20DeliverGrant\x20plus\x20the\x20grant_artifact\x20row-present\x20guard\x20enforce\x20the\x20delivery-proof\x20equivalence.\x20Registration\x20retained\x20as\x20a\x20standing\x20check:\x20removing\x20the\x20DeliverGrant\x20forward\x20while\x20the\x20product\x20still\x20promises\x20proof-of-what-was-sold\x20re-fires\x20it.','violation':{'whileMissingForward':'DeliverGrant'},'evidence':[{'file':'repository.move','line':0x200,'pattern':'assert!(false,\x20E_POLICY_WRITE_ONCE_CONFLICT)'},{'file':'repository.move','line':0x3c,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]}]};