@wowok/agent-mcp 3.4.4 → 3.4.5

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

@@ -1 +1 @@
-export const GOFUNDME_ORACLE={'productRef':'gofundme','products':['gofundme'],'oracleVersion':'1.2.0','steps':[{'id':'GF-M1','class':'offchain','name':'Discover\x20the\x20fundraiser\x20and\x20read\x20the\x20story','actor':'buyer','precondition':[],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20browse\x20the\x20storefront,\x20read\x20the\x20campaign\x20story,\x20the\x20beneficiary\x20description\x20and\x20the\x20running\x20total\x20before\x20donating.','evidence':[]},{'id':'GF-M2','class':'offchain','name':'Organizer\x20creates\x20the\x20fundraiser','actor':'merchant','precondition':['GF-M1'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20the\x20organizer\x20anchors\x20the\x20deadline\x20and\x20the\x20explicit\x20no-refund\x20keep-it-all\x20terms\x20as\x20the\x20listing\x20WIP\x20artifact,\x20binds\x20the\x20beneficiary\x20entity,\x20arbitration\x20venue\x20and\x20service\x20contact,\x20then\x20publishes\x20frozen.','evidence':[]},{'id':'GF-M3','class':'main','name':'Donor\x20contribution\x20into\x20unpooled\x20escrow','actor':'buyer','precondition':['GF-M2'],'onchain':'expressible','chainFootprint':{'node':'pledged','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Each\x20contribution\x20opens\x20its\x20own\x20order\x20with\x20payment\x20escrowed\x20into\x20a\x20per-order\x20Allocation\x20bound\x20to\x20that\x20order\x20(for_object)\x20-\x20never\x20merged,\x20so\x20the\x20public\x20total\x20stays\x20attributable\x20down\x20to\x20the\x20donor.','evidence':[{'file':'allocation.move','line':0x26d,'pattern':'ERECIPIENT_NOT_FOR_OBJECT'}]},{'id':'GF-M4','class':'offchain','name':'Organizer\x20promotes\x20the\x20campaign\x20and\x20posts\x20updates','actor':'merchant','precondition':['GF-M3'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20sharing,\x20donor\x20updates\x20and\x20thank-you\x20notes\x20go\x20through\x20the\x20service\x20channel;\x20they\x20never\x20mutate\x20the\x20deadline\x20or\x20the\x20escrow.','evidence':[]},{'id':'GF-M5','class':'main','name':'Deadline\x20release\x20decision\x20(advance)','actor':'keeper','precondition':['GF-M4'],'onchain':'expressible','chainFootprint':{'node':'released','forward':'ReleaseAtDeadline','prev':'pledged','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'deadline_release','gapPredicate':undefined,'commercialSemantics':'One\x20absolute\x20shared\x20timestamp\x20opens\x20the\x20release\x20for\x20every\x20donor;\x20the\x20advance\x20only\x20unlocks\x20the\x20state\x20and\x20moves\x20no\x20money\x20-\x20the\x20escrow\x20stays\x20per-order\x20until\x20the\x20settlement\x20rail\x20sweeps\x20it.','evidence':[]},{'id':'GF-M6','class':'main','name':'Self-heal\x20force\x20release\x20(keeper\x20never\x20ran)','actor':'buyer','precondition':['GF-M5'],'onchain':'expressible','chainFootprint':{'node':'released','forward':'ForceReleaseAfterDeadline','prev':'pledged','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'deadline_release_holder','gapPredicate':undefined,'commercialSemantics':'Liveness\x20by\x20design:\x20any\x20participant\x20can\x20force\x20the\x20deadline\x20release\x20past\x20the\x20absolute\x20timestamp,\x20so\x20a\x20silent\x20keeper\x20cannot\x20strand\x20a\x20live\x20pledge;\x20the\x20forward\x20identity\x20is\x20the\x20strictest\x20on-chain\x20choke\x20point\x20and\x20cannot\x20be\x20a\x20free\x20pass.','evidence':[{'file':'progress.move','line':0x12a,'pattern':'ASSERT_PERMISSION'}]},{'id':'GF-M7','class':'main','name':'Batch\x20release\x20sweep\x20to\x20the\x20beneficiary','actor':'keeper','precondition':['GF-M6'],'onchain':'expressible','chainFootprint':{'node':'released','moneyEffect':'release'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20settlement\x20rail\x20sweeps\x20every\x20contributor\x27s\x20Allocation\x20pool\x20under\x20the\x20project\x20settlement\x20guard\x20in\x20one\x20atomic\x20batch,\x20pre-filtering\x20drained\x20pools;\x20the\x20beneficiary\x20receives\x20100%\x20-\x20the\x20platform\x20take\x20is\x200\x20against\x20the\x20displaced\x20processing\x20benchmark\x20disclosed\x20in\x20the\x20build\x20inputs.','evidence':[{'file':'allocation.move','line':0x313,'pattern':'public\x20fun\x20alloc_batch'}]},{'id':'GF-M8','class':'offchain','name':'Beneficiary\x20withdraws\x20raised\x20funds\x20to\x20bank','actor':'merchant','precondition':['GF-M7'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20settled\x20funds\x20land\x20on\x20the\x20beneficiary\x20entity\x27s\x20object\x20and\x20are\x20extracted\x20with\x20a\x20plain\x20owner\x20op,\x20then\x20move\x20to\x20the\x20bank\x20outside\x20the\x20protocol.','evidence':[]},{'id':'GF-P5','class':'post','name':'Funds\x20handed\x20to\x20beneficiary;\x20campaign\x20published\x20as\x20closed','actor':'merchant','precondition':['GF-M8'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'non-refundable','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Closure\x20is\x20a\x20storefront\x20act\x20over\x20on-chain\x20state;\x20the\x20defining\x20posture\x20-\x20contributions\x20are\x20non-refundable\x20once\x20the\x20deadline\x20passes\x20-\x20must\x20stay\x20visible\x20on\x20the\x20closed\x20page,\x20never\x20blurred\x20into\x20all-or-nothing.','evidence':[]},{'id':'GF-E1','class':'exception','name':'Donor\x20withdraws\x20pledge\x20before\x20the\x20deadline','actor':'buyer','precondition':['GF-M3'],'onchain':'expressible','chainFootprint':{'node':'withdrawn','forward':'WithdrawPledge','prev':'pledged','identity':'order_holder','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'pre_deadline_withdraw','gapPredicate':undefined,'commercialSemantics':'The\x20single\x20SELF-SERVICE\x20buyer\x20money-back\x20rail:\x20pre-deadline\x20withdrawal\x20refunds\x20in\x20full\x20to\x20the\x20donor\x27s\x20own\x20order\x20and\x20zeroes\x20the\x20writer-bound\x20contribution\x20row,\x20so\x20the\x20displayed\x20total\x20decays\x20honestly\x20(the\x20buyer-won\x20arbitration\x20rail\x20is\x20ruling-gated,\x20never\x20self-service).','evidence':[{'file':'order.move','line':0x15e,'pattern':'owner_receive'}]},{'id':'GF-E2','class':'exception','name':'Donor\x20requests\x20refund\x20after\x20the\x20deadline','actor':'buyer','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'non-refundable','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Refused\x20by\x20design:\x20the\x20keep-it-all\x20posture\x20makes\x20contributions\x20non-refundable\x20once\x20the\x20deadline\x20passes\x20-\x20the\x20only\x20money-back\x20path\x20was\x20the\x20pre-deadline\x20withdrawal,\x20and\x20this\x20must\x20be\x20disclosed\x20up\x20front\x20at\x20pledge\x20time.','evidence':[]},{'id':'GF-E3','class':'exception','name':'Refund\x20lands\x20on\x20the\x20Order\x20object,\x20not\x20the\x20wallet','actor':'buyer','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'two-step\x20payout','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Withdrawal\x20and\x20arbitration\x20compensation\x20rows\x20pay\x20the\x20order\x20slot,\x20not\x20the\x20wallet;\x20the\x20donor\x20completes\x20a\x20second\x20owner\x20extraction\x20call\x20-\x20surface\x20the\x20two-step\x20payout\x20in\x20the\x20UX\x20so\x20a\x20refund\x20never\x20looks\x20stuck.','evidence':[{'file':'order.move','line':0x159,'pattern':'owner_receive_object'}]},{'id':'GF-E4','class':'exception','name':'Anonymous\x20donation','actor':'buyer','precondition':['GF-M2'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Anonymity\x20is\x20a\x20storefront\x20display\x20choice;\x20the\x20escrow\x20and\x20ledger\x20stay\x20per-order\x20and\x20writer-bound\x20regardless\x20of\x20what\x20the\x20page\x20shows.','evidence':[]},{'id':'GF-E5','class':'exception','name':'KYC\x20verification\x20demanded\x20for\x20large\x20donations','actor':'platform','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Pooled\x20cross-border\x20fundraising\x20may\x20trigger\x20securities,\x20money-transmission\x20and\x20KYC-AML\x20duties\x20-\x20flag\x20for\x20compliance;\x20the\x20protocol\x20neither\x20verifies\x20identity\x20nor\x20automates\x20around\x20the\x20rules.','evidence':[]},{'id':'GF-E6','class':'exception','name':'Misappropriation:\x20organizer\x20spends\x20against\x20the\x20stated\x20purpose','actor':'buyer','precondition':['GF-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'released','moneyEffect':'compensate'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'recover_gate'},'commercialSemantics':'Purpose\x20is\x20prose,\x20not\x20a\x20chain\x20constraint:\x20once\x20released,\x20no\x20rail\x20can\x20force\x20an\x20off-chain\x20handover.\x20A\x20won\x20ruling\x20pays\x20the\x20donor\x20from\x20the\x20compensation\x20fund\x20(capped\x20at\x203x),\x20and\x20the\x20terminal-node\x20recover\x20rail\x20sweeps\x20recovered\x20principal\x20back\x20to\x20the\x20campaign\x20account.\x20Since\x20stage2\x20#15\x20a\x20dispute\x20filed\x20BEFORE\x20the\x20deadline\x20is\x20adjudicated\x20on\x20the\x20parked,\x20intact\x20escrow\x20and\x20a\x20buyer-won\x20ruling\x20moves\x20the\x20principal\x20itself\x20(awarded_refund)\x20—\x20the\x20fund-and-recover\x20shape\x20remains\x20the\x20remedy\x20for\x20post-release\x20misappropriation.','evidence':[{'file':'arbitration.move','line':0x13a,'pattern':'fun\x20arbitration_imp<T>'}]},{'id':'GF-E7','class':'exception','name':'Fraud\x20report:\x20story\x20or\x20medical\x20documents\x20fabricated','actor':'platform','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Document\x20truth\x20is\x20unverifiable\x20on\x20chain;\x20remedies\x20are\x20platform\x20takedown,\x20venue\x20rulings\x20and\x20the\x20fund,\x20with\x20KYC-AML\x20duties\x20flagged\x20-\x20never\x20automated.','evidence':[]},{'id':'GF-E8','class':'exception','name':'Donor\x20disputes\x20the\x20campaign\x27s\x20tax-deductible\x20claim','actor':'buyer','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'non-refundable','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Charity\x20status\x20is\x20off-chain\x20paperwork;\x20the\x20on-chain\x20posture\x20remains\x20a\x20plain\x20non-refundable\x20donation,\x20and\x20tax\x20claims\x20cannot\x20be\x20enforced\x20by\x20any\x20rail.','evidence':[]},{'id':'GF-E9','class':'exception','name':'Beneficiary\x20split\x20between\x20organizer\x20and\x20recipient','actor':'merchant','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'two-step\x20payout','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20whole\x20escrow\x20pays\x20the\x20configured\x20beneficiary\x20entity\x20-\x20who\x20receives\x20it\x20downstream\x20is\x20an\x20off-chain\x20arrangement;\x20the\x20declarative\x20recipient\x20info\x20is\x20not\x20enforced\x20by\x20any\x20guard\x20on\x20this\x20template.','evidence':[{'file':'service.move','line':0x100,'pattern':'customer_required'}]},{'id':'GF-E10','class':'exception','name':'Deadline\x20extension\x20requested\x20mid-campaign','actor':'merchant','precondition':['GF-M3'],'onchain':'expressible_with_gap','chainFootprint':{'node':'pledged','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'absolute\x20shared\x20deadline'},'commercialSemantics':'The\x20shipped\x20deadline\x20is\x20one\x20absolute\x20timestamp\x20shared\x20by\x20every\x20donor;\x20extending\x20means\x20a\x20new\x20frozen\x20campaign\x20with\x20a\x20new\x20close\x20-\x20no\x20rolling-window\x20or\x20per-donor\x20clock\x20exists\x20to\x20bend.','evidence':[]},{'id':'GF-E11','class':'exception','name':'Funding\x20goal\x20missed\x20-\x20auto\x20refund\x20expected','actor':'buyer','precondition':['GF-M3'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Wrong\x20product:\x20the\x20flexible\x20family\x20has\x20no\x20goal\x20and\x20no\x20missed-campaign\x20refund;\x20promising\x20all-or-nothing\x20behavior\x20on\x20this\x20template\x20is\x20the\x20exact\x20confusion\x20the\x20up-front\x20disclosure\x20forbids.','evidence':[]},{'id':'GF-E12','class':'exception','name':'Donor\x20charged\x20twice\x20(duplicate\x20pledge)','actor':'buyer','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'withdrawable[^\x5c\x22]{0,40}|withdraw','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Each\x20pledge\x20is\x20its\x20own\x20escrowed\x20order,\x20so\x20a\x20duplicate\x20is\x20two\x20independent\x20orders;\x20the\x20donor\x20exits\x20the\x20unwanted\x20one\x20with\x20the\x20pre-deadline\x20withdraw\x20rail\x20before\x20the\x20deadline\x20-\x20after\x20it,\x20the\x20posture\x20is\x20non-refundable.','evidence':[]},{'id':'GF-E13','class':'exception','name':'Regulator\x20freezes\x20the\x20campaign','actor':'platform','precondition':['GF-M5'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'A\x20freeze\x20after\x20the\x20deadline\x20does\x20not\x20reopen\x20the\x20escrow\x20-\x20funds\x20are\x20the\x20beneficiary\x27s;\x20compliance\x20coordination\x20stays\x20off-chain\x20and\x20KYC-AML\x20duties\x20are\x20flagged,\x20not\x20automated.','evidence':[]},{'id':'GF-P6','class':'post','name':'Tax\x20receipt\x20issued\x20to\x20donors','actor':'merchant','precondition':['GF-M7'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'non-investment','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Receipts\x20are\x20off-chain\x20paperwork\x20anchored\x20to\x20the\x20pledge\x20record;\x20the\x20campaign\x20copy\x20must\x20carry\x20the\x20plain\x20disclosure\x20that\x20a\x20donation\x20is\x20neither\x20an\x20investment\x20nor\x20a\x20yield\x20promise.','evidence':[]},{'id':'GF-E15','class':'exception','name':'Cross-border\x20medical\x20fundraising\x20blocked\x20by\x20local\x20rules','actor':'platform','precondition':['GF-M2'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Jurisdiction\x20gating\x20is\x20a\x20configuration-time\x20platform\x20duty;\x20the\x20machine\x20has\x20no\x20geo\x20primitive\x20to\x20express\x20it.','evidence':[]},{'id':'GF-E16','class':'exception','name':'Chargeback\x20filed\x20by\x20a\x20donor\x27s\x20bank','actor':'platform','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Card-network\x20chargebacks\x20run\x20entirely\x20off-chain;\x20the\x20escrowed\x20rail\x20only\x20knows\x20the\x20deadline\x20polarity,\x20and\x20identity/compliance\x20duties\x20stay\x20flagged\x20for\x20humans.','evidence':[]},{'id':'GF-E17','class':'exception','name':'Donor\x20roster\x20exceeds\x20the\x20per-settlement\x20cap\x20(>100\x20rows)','actor':'keeper','precondition':['GF-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'released','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'roster'},'commercialSemantics':'A\x20big\x20campaign\x20releases\x20in\x20several\x20batches,\x20each\x20swept\x20in\x20one\x20atomic\x20transaction\x20over\x20its\x20candidate\x20set\x20-\x20but\x20this\x20corpus\x20never\x20carries\x20the\x20roster-cap\x20story\x20its\x20siblings\x20do;\x20the\x20strict\x20probe\x20stays\x20so\x20the\x20gap\x20re-surfaces\x20until\x20a\x20build\x20note\x20lands.','evidence':[]},{'id':'GF-R5','class':'remedy','name':'Donor\x20transfers\x20a\x20pledge\x20(gift\x20to\x20another\x20account)','actor':'buyer','precondition':['GF-M3'],'onchain':'expressible','chainFootprint':{'node':'pledged','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Transferring\x20the\x20order\x20(and\x20with\x20it\x20the\x20pre-deadline\x20refund\x20right)\x20is\x20a\x20protocol-level\x20owner\x20change\x20on\x20the\x20order\x20object;\x20the\x20machine\x20state\x20stays\x20where\x20it\x20is.','evidence':[{'file':'order.move','line':0x111,'pattern':'owner_change'}]},{'id':'GF-R1','class':'remedy','name':'Compensation-fund\x20award\x20execution','actor':'arbitrator','precondition':['GF-E6'],'onchain':'expressible_with_gap','chainFootprint':{'node':'released','moneyEffect':'compensate'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'compensation\x20fund'},'commercialSemantics':'The\x20award\x20is\x20paid\x20from\x20the\x20pre-locked\x20fund\x20by\x20a\x20protocol-level\x20call\x20hard-bound\x20to\x20the\x20order\x20owner\x20-\x20not\x20a\x20machine\x20forward,\x20so\x20the\x20machine\x20records\x20no\x20leg;\x20the\x20per-order\x20ceiling\x20is\x20fund/3\x20and\x20quoted\x20figures\x20go\x20stale\x20as\x20awards\x20shrink\x20the\x20fund.','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'GF-R2','class':'remedy','name':'File\x20and\x20win\x20an\x20arbitration\x20case','actor':'arbitrator','precondition':['GF-M3'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'pledged','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'claim_filed','gapPredicate':undefined,'commercialSemantics':'Disputes\x20are\x20filed\x20on\x20a\x20third-party\x20arbitration\x20object\x20(an\x20independent\x20permission);\x20the\x20machine\x20records\x20the\x20TPL-09\x20dispute\x20waypoint\x20(claim_filed,\x20stage2\x20#15):\x20the\x20filing\x20window\x20closes\x20at\x20the\x20SAME\x20shared\x20campaign_deadline_ms\x20and\x20the\x20parked\x20order\x20keeps\x20the\x20escrow\x20intact\x20while\x20the\x20venue\x20judges\x20—\x20the\x20ruling\x20is\x20never\x20adjudicated\x20in-machine\x20(R-M1-11).\x20A\x20buyer-won\x20ruling\x20on\x20a\x20timely-filed\x20case\x20drives\x20pledged\x20->\x20awarded_refund\x20and\x20the\x20award_refund\x20rail\x20returns\x20the\x20principal\x20(GF-R7);\x20the\x20ruling\x20engine\x20still\x20caps\x20punitive\x20awards\x20at\x203x\x20the\x20base\x20loss\x20and\x20deems\x20acceptance\x20after\x2030\x20days\x20of\x20case\x20silence.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'},{'file':'arb.move','line':0x13f,'pattern':'silence\x20=\x20acceptance'}]},{'id':'GF-R3','class':'remedy','name':'Recover\x20rail:\x20swept\x20principal\x20returned\x20to\x20the\x20campaign\x20account','actor':'keeper','precondition':['GF-R1'],'onchain':'expressible','chainFootprint':{'node':'released','moneyEffect':'release'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20terminal-node\x20recover\x20sweep\x20pairs\x20with\x20the\x20donor-side\x20rails:\x20compensated\x20principal\x20is\x20collected\x20back\x20to\x20the\x20campaign\x20account\x20in\x20the\x20same\x20atomic\x20batch\x20shape.','evidence':[{'file':'allocation.move','line':0x300,'pattern':'sweeps\x20every\x20pool'}]},{'id':'GF-R4','class':'remedy','name':'Regulator-ordered\x20refund\x20of\x20a\x20live\x20campaign','actor':'platform','precondition':['GF-E13'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'A\x20regulator\x20cannot\x20drive\x20the\x20machine;\x20ordering\x20a\x20refund\x20means\x20the\x20platform\x20serves\x20notice\x20and\x20donors\x20execute\x20the\x20pre-deadline\x20exit\x20themselves\x20before\x20it\x20closes.','evidence':[]},{'id':'GF-R6','class':'remedy','name':'Dismissed\x20case:\x20donor\x20resume\x20and\x20re-donate','actor':'buyer','precondition':['GF-R2'],'onchain':'expressible','chainFootprint':{'node':'pledged','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'arb_dismissed_resume','gapPredicate':undefined,'commercialSemantics':'A\x20zero-indemnity\x20dismissed\x20ruling\x20resumes\x20the\x20pledge:\x20the\x20ruling-executor\x20(merchant\x20keeper\x20slot\x201002)\x20drives\x20claim_filed\x20->\x20pledged\x20(tpl_forward_arb_ruling_dismissed,\x20stage2\x20#15),\x20ZERO\x20money\x20moves,\x20and\x20the\x20deadline\x20rails\x20re-arm\x20naturally\x20on\x20the\x20re-entered\x20pledged\x20state\x20—\x20the\x20campaign\x20lifecycle\x20resumes\x20exactly\x20where\x20the\x20park\x20left\x20it.','evidence':[]},{'id':'GF-R7','class':'remedy','name':'Won\x20ruling\x20redirects\x20the\x20escrowed\x20principal\x20to\x20the\x20donor','actor':'arbitrator','precondition':['GF-R2'],'onchain':'expressible','chainFootprint':{'node':'awarded_refund','forward':'ArbRefund','prev':'pledged','identity':'permission_index','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'arb_refund','gapPredicate':undefined,'commercialSemantics':'Shipped\x20(stage2\x20#15\x20A-1):\x20the\x20ruling-executor\x20(refund-rail\x20slot\x201001)\x20drives\x20pledged\x20->\x20awarded_refund\x20through\x20the\x20tpl_forward_arb_ruling_won\x20canonical\x20root\x20(zero-award\x20exclusion\x20leg,\x20venue\x20binding,\x20claimed_by\x20stamp\x20—\x20a\x20dismissed\x20claim\x20can\x20never\x20fire\x20it)\x20and\x20the\x20award_refund\x20rail\x20returns\x20the\x20still-escrowed\x20principal\x20IN\x20FULL\x20to\x20the\x20donor\x27s\x20own\x20order.\x20Filing\x20closes\x20at\x20the\x20deadline,\x20so\x20this\x20rail\x20only\x20ever\x20moves\x20intact\x20escrow;\x20post-release\x20a\x20won\x20ruling\x20pays\x20from\x20the\x20compensation\x20fund\x20instead\x20(no\x20clawback).','evidence':[]},{'id':'GF-E19','class':'exception','name':'Platform\x20cross-sells\x20insurance\x20or\x20financial\x20products','actor':'platform','precondition':['GF-M3'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Out\x20of\x20scope:\x20cross-selling\x20is\x20storefront\x20business\x20with\x20its\x20own\x20compliance\x20surface;\x20the\x20protocol\x20neither\x20models\x20nor\x20enforces\x20it.','evidence':[]},{'id':'GF-E20','class':'exception','name':'Claim-withdraw:\x20donor\x20drops\x20a\x20filed\x20case','actor':'buyer','precondition':['GF-R2'],'onchain':'expressible','chainFootprint':{'node':'pledged','forward':'WithdrawClaim','prev':'claim_filed','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'withdraw_claim','gapPredicate':undefined,'commercialSemantics':'Shipped\x20(stage2\x20#15):\x20with\x20the\x20dispute\x20waypoint\x20on\x20the\x20machine\x20there\x20IS\x20something\x20to\x20withdraw\x20—\x20the\x20WithdrawClaim\x20leg\x20returns\x20the\x20parked\x20order\x20to\x20pledged\x20with\x20ZERO\x20money\x20movement\x20(order-holder\x20identity,\x20the\x20disclosed\x20replay\x20face\x20Q8-F02).\x20Withdrawing\x20a\x20DISPUTE\x20is\x20not\x20withdrawing\x20a\x20DONATION:\x20the\x20two\x20withdrawals\x20never\x20share\x20a\x20guard\x20key,\x20so\x20the\x20claim-withdraw\x20can\x20never\x20replay\x20into\x20the\x20free\x20pre-deadline\x20refund\x20rail,\x20and\x20the\x20non-refundable-after-deadline\x20posture\x20is\x20untouched.','evidence':[]},{'id':'GF-E21','class':'exception','name':'Organizer\x20cancels\x20the\x20fundraiser\x20mid-campaign','actor':'merchant','precondition':['GF-M3'],'onchain':'expressible','chainFootprint':{'node':'withdrawn','forward':'CancelCampaign','identity':'permission_index','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'organizer_cancel','commercialSemantics':'MOUNTED\x20(batch7\x20T-L,\x20v212\x20—\x20the\x20batch7\x20§1.2\x20registration\x20cured):\x20the\x20organizer\x20cancels\x20a\x20still-escrowed\x20donation\x20via\x20CancelCampaign\x20pledged→withdrawn\x20(merchant\x20on\x20the\x20dedicated\x20refund-rail\x20slot\x201001,\x20tpl_forward_node_check\x20on\x20the\x20pledged\x20source\x20—\x20the\x20ktt\x20v178\x20leader-cancel\x20shape);\x20the\x20donation\x20refunds\x20IN\x20FULL\x20through\x20the\x20SAME\x20withdraw_refund\x20rail\x20(the\x20rail\x20pays\x20the\x20DONOR\x20slot\x200,\x20never\x20the\x20project\x20—\x20a\x20creator-voluntary\x20exit;\x20the\x20L-04\x20non-refundable\x20posture\x20governs\x20BACKER\x20rights,\x20not\x20creator\x20charity).\x20Pre-release\x20only:\x20once\x20the\x20deadline\x20release\x20ran,\x20the\x20order\x20has\x20left\x20pledged\x20and\x20the\x20no-clawback\x20posture\x20is\x20untouched.','evidence':[]},{'id':'GF-E22','class':'exception','name':'Platform\x20fee\x20or\x20tip\x20accounting\x20dispute','actor':'platform','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'incumbent_take_bps','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Tips\x20and\x20fees\x20are\x20storefront\x20economics;\x20on\x20chain\x20the\x20template\x27s\x20take\x20is\x20its\x20own\x20commission\x20key\x20kept\x20at\x200,\x20and\x20the\x20displaced\x20processing\x20take\x20is\x20benchmark\x20disclosure\x20only\x20-\x20no\x20allocator\x20row\x20reads\x20it.','evidence':[]},{'id':'GF-P1','class':'post','name':'Impact\x20report\x20published\x20to\x20donors','actor':'merchant','precondition':['GF-M7'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Impact\x20reporting\x20is\x20off-chain\x20prose;\x20the\x20on-chain\x20truth\x20is\x20the\x20frozen\x20WIP\x20terms,\x20the\x20writer-bound\x20ledger\x20and\x20the\x20release\x20record.','evidence':[]},{'id':'GF-P2','class':'post','name':'Campaign\x20archive\x20page\x20for\x20settled\x20donors','actor':'platform','precondition':['GF-M7'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Archive\x20is\x20a\x20storefront\x20view\x20over\x20on-chain\x20state;\x20it\x20adds\x20no\x20chain\x20object.','evidence':[]},{'id':'GF-P3','class':'post','name':'Benchmark\x20disclosure\x20of\x20the\x20displaced\x20processing\x20take','actor':'platform','precondition':['GF-P2'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'incumbent_take_bps','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20displaced\x20donation-processing\x20take\x20(290\x20bps\x20here)\x20is\x20benchmark\x20disclosure\x20only\x20-\x20no\x20allocator\x20row\x20reads\x20it;\x20this\x20template\x27s\x20actual\x20take\x20is\x20its\x20own\x20commission\x20key\x20kept\x20at\x200.','evidence':[]},{'id':'GF-P4','class':'post','name':'Cross-campaign\x20reputation\x20for\x20organizers','actor':'platform','precondition':['GF-P5'],'onchain':'unresolvable','unresolvableRef':'S3','chainFootprint':undefined,'disclosureProbe':'non-refundable','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'There\x20is\x20no\x20reputation\x20or\x20track-record\x20primitive:\x20organizer\x20trust\x20stays\x20off-chain\x20prose,\x20and\x20the\x20only\x20structural\x20protections\x20are\x20the\x20frozen\x20terms,\x20the\x20writer-bound\x20ledger\x20and\x20the\x20up-front\x20non-refundable\x20disclosure.','evidence':[]},{'id':'GF-P7','class':'post','name':'Donor\x20re-donates\x20to\x20the\x20next\x20fundraiser','actor':'buyer','precondition':['GF-E1'],'onchain':'expressible','chainFootprint':{'node':'pledged','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'A\x20withdrawn\x20donor\x20re-enters\x20any\x20live\x20fundraiser\x20as\x20a\x20fresh\x20order;\x20the\x20previous\x20pledge\x20leaves\x20no\x20machine\x20residue\x20beyond\x20the\x20zeroed\x20row\x20and\x20the\x20terminal\x20order\x20state.','evidence':[]}],'invariants':[{'id':'INV-GF-1','statement':'Keep-it-all\x20liveness:\x20every\x20contribution\x20MUST\x20reach\x20the\x20beneficiary\x20at\x20the\x20deadline\x20even\x20if\x20no\x20keeper\x20ever\x20runs\x20-\x20the\x20participant-triggered\x20force-release\x20forward\x20must\x20exist.','jurisdiction':'every\x20deployment\x20of\x20this\x20template','chainConflict':'Shipped\x20as\x20the\x20deadline_release\x20advance\x20paired\x20with\x20the\x20order-holder\x20force\x20release\x20gated\x20by\x20the\x20same\x20absolute\x20timestamp,\x20so\x20a\x20silent\x20operator\x20cannot\x20strand\x20a\x20live\x20pledge;\x20removing\x20the\x20force-release\x20turns\x20keeper\x20downtime\x20into\x20confiscation\x20with\x20no\x20remedy.','violation':{'whileMissingForward':'ForceReleaseAfterDeadline'},'evidence':[{'file':'progress.move','line':0x12a,'pattern':'ASSERT_PERMISSION'}]},{'id':'INV-GF-2','statement':'The\x20pre-deadline\x20withdrawal\x20is\x20the\x20only\x20SELF-SERVICE\x20donor\x20money-back\x20path\x20and\x20must\x20stay\x20unconditional\x20and\x20full\x20-\x20the\x20withdraw\x20forward\x20must\x20exist,\x20fee-free;\x20the\x20ruling-gated\x20award_refund\x20rail\x20(stage2\x20#15)\x20is\x20the\x20sole\x20other\x20donor\x20rail\x20and\x20must\x20stay\x20node-partitioned\x20from\x20it.','jurisdiction':'every\x20deployment\x20of\x20this\x20template','chainConflict':'Shipped\x20as\x20the\x20order-holder\x20withdraw\x20edge\x20gated\x20by\x20the\x20absolute-deadline\x20upper\x20bound,\x20refunding\x20in\x20full\x20and\x20zeroing\x20the\x20writer-bound\x20contribution\x20row;\x20removing\x20it\x20leaves\x20the\x20model\x20with\x20no\x20self-service\x20buyer\x20exit\x20at\x20all,\x20making\x20the\x20up-front\x20non-refundable\x20disclosure\x20a\x20confiscation\x20notice.\x20The\x20buyer-won\x20arbitration\x20rail\x20lands\x20in\x20its\x20own\x20awarded_refund\x20terminal\x20so\x20the\x20two\x20refunds\x20can\x20never\x20blur\x20(Q8-F02).','violation':{'whileMissingForward':'WithdrawPledge'},'evidence':[{'file':'order.move','line':0x15e,'pattern':'owner_receive'}]},{'id':'INV-GF-3','statement':'No-refund-after-deadline\x20posture:\x20the\x20keep-it-all\x20model\x20must\x20be\x20disclosed\x20up\x20front\x20and\x20never\x20blurred\x20with\x20all-or-nothing;\x20the\x20platform\x20take\x20stays\x200\x20against\x20the\x20disclosed\x20processing\x20benchmark,\x20and\x20post-deadline\x20donor\x20remedies\x20are\x20the\x20fund\x20and\x20the\x20venue\x20only\x20—\x20a\x20NEW\x20dispute\x20can\x20never\x20be\x20filed\x20after\x20the\x20deadline\x20(the\x20stage2\x20#15\x20claim_filed\x20window\x20closes\x20on\x20the\x20same\x20timestamp,\x20and\x20the\x20park\x20keeps\x20any\x20timely-filed\x20case\x27s\x20escrow\x20intact\x20until\x20the\x20ruling\x20exits).','jurisdiction':'campaign\x20copy\x20and\x20configuration','chainConflict':'The\x20catalog\x20splits\x20the\x20family\x20into\x20this\x20flexible\x20template\x20(no\x20goal,\x20no\x20missed-campaign\x20refund,\x200\x20commission,\x20benchmark\x20290\x20bps)\x20and\x20the\x20all-or-nothing\x20sibling\x20that\x20auto-refunds\x20on\x20a\x20miss;\x20the\x20flexible\x20build\x27s\x20entire\x20trust\x20case\x20is\x20the\x20disclosure\x20duty\x20plus\x20the\x20unpooled\x20per-donor\x20escrow\x20-\x20quoting\x20a\x20fund\x20figure\x20as\x20chain-anchored,\x20or\x20promising\x20refunds\x20past\x20the\x20deadline,\x20breaks\x20the\x20disclosed\x20model.','evidence':[]},{'id':'INV-GF-ORGANIZERCANCEL','statement':'The\x20real\x20archetype\x27s\x20organizer-side\x20failure\x20is\x20cancelling\x20the\x20fundraiser\x20(abort\x20a\x20live\x20project,\x20or\x20abandon\x20before\x20release)\x20—\x20the\x20template\x20must\x20always\x20ship\x20a\x20permission-gated\x20creator-cancel\x20exit\x20so\x20a\x20still-escrowed\x20donation\x20refunds\x20IN\x20FULL\x20through\x20the\x20SAME\x20withdraw_refund\x20rail\x20instead\x20of\x20waiting\x20out\x20the\x20deadline\x20release.\x20Standing\x20check\x20(batch7\x20T-L,\x202026-11-09):\x20CancelCampaign\x20pledged->withdrawn\x20is\x20mounted\x20(merchant\x20refund-rail\x20slot\x201001,\x20tpl_forward_node_check\x20on\x20the\x20pledged\x20source,\x20the\x20ktt\x20v178\x20shape;\x20the\x20rail\x20pays\x20the\x20DONOR\x20slot\x200\x20—\x20a\x20creator-voluntary\x20exit,\x20the\x20L-04\x20posture\x20governs\x20BACKER\x20rights\x20and\x20is\x20untouched)\x20—\x20deleting\x20the\x20forward\x20re-fires\x20this\x20invariant.','violation':{'whileMissingForward':'CancelCampaign'},'evidence':[]}]};
+export const GOFUNDME_ORACLE={'productRef':'gofundme','products':['gofundme'],'oracleVersion':'1.2.0','steps':[{'id':'GF-M1','class':'offchain','name':'Discover\x20the\x20fundraiser\x20and\x20read\x20the\x20story','actor':'buyer','precondition':[],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20browse\x20the\x20storefront,\x20read\x20the\x20campaign\x20story,\x20the\x20beneficiary\x20description\x20and\x20the\x20running\x20total\x20before\x20donating.','evidence':[]},{'id':'GF-M2','class':'offchain','name':'Organizer\x20creates\x20the\x20fundraiser','actor':'merchant','precondition':['GF-M1'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20the\x20organizer\x20anchors\x20the\x20deadline\x20and\x20the\x20explicit\x20no-refund\x20keep-it-all\x20terms\x20as\x20the\x20listing\x20WIP\x20artifact,\x20binds\x20the\x20beneficiary\x20entity,\x20arbitration\x20venue\x20and\x20service\x20contact,\x20then\x20publishes\x20frozen.','evidence':[]},{'id':'GF-M3','class':'main','name':'Donor\x20contribution\x20into\x20unpooled\x20escrow','actor':'buyer','precondition':['GF-M2'],'onchain':'expressible','chainFootprint':{'node':'pledged','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Each\x20contribution\x20opens\x20its\x20own\x20order\x20with\x20payment\x20escrowed\x20into\x20a\x20per-order\x20Allocation\x20bound\x20to\x20that\x20order\x20(for_object)\x20-\x20never\x20merged,\x20so\x20the\x20public\x20total\x20stays\x20attributable\x20down\x20to\x20the\x20donor.','evidence':[{'file':'allocation.move','line':0x26d,'pattern':'ERECIPIENT_NOT_FOR_OBJECT'}]},{'id':'GF-M4','class':'offchain','name':'Organizer\x20promotes\x20the\x20campaign\x20and\x20posts\x20updates','actor':'merchant','precondition':['GF-M3'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20sharing,\x20donor\x20updates\x20and\x20thank-you\x20notes\x20go\x20through\x20the\x20service\x20channel;\x20they\x20never\x20mutate\x20the\x20deadline\x20or\x20the\x20escrow.','evidence':[]},{'id':'GF-M5','class':'main','name':'Deadline\x20release\x20decision\x20(advance)','actor':'keeper','precondition':['GF-M4'],'onchain':'expressible','chainFootprint':{'node':'released','forward':'ReleaseAtDeadline','prev':'pledged','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'deadline_release','gapPredicate':undefined,'commercialSemantics':'One\x20absolute\x20shared\x20timestamp\x20opens\x20the\x20release\x20for\x20every\x20donor;\x20the\x20advance\x20only\x20unlocks\x20the\x20state\x20and\x20moves\x20no\x20money\x20-\x20the\x20escrow\x20stays\x20per-order\x20until\x20the\x20settlement\x20rail\x20sweeps\x20it.','evidence':[]},{'id':'GF-M6','class':'main','name':'Self-heal\x20force\x20release\x20(keeper\x20never\x20ran)','actor':'buyer','precondition':['GF-M5'],'onchain':'expressible','chainFootprint':{'node':'released','forward':'ForceReleaseAfterDeadline','prev':'pledged','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'deadline_release_holder','gapPredicate':undefined,'commercialSemantics':'Liveness\x20by\x20design:\x20any\x20participant\x20can\x20force\x20the\x20deadline\x20release\x20past\x20the\x20absolute\x20timestamp,\x20so\x20a\x20silent\x20keeper\x20cannot\x20strand\x20a\x20live\x20pledge;\x20the\x20forward\x20identity\x20is\x20the\x20strictest\x20on-chain\x20choke\x20point\x20and\x20cannot\x20be\x20a\x20free\x20pass.','evidence':[{'file':'progress.move','line':0x12a,'pattern':'ASSERT_PERMISSION'}]},{'id':'GF-M7','class':'main','name':'Batch\x20release\x20sweep\x20to\x20the\x20beneficiary','actor':'keeper','precondition':['GF-M6'],'onchain':'expressible','chainFootprint':{'node':'released','moneyEffect':'release'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20settlement\x20rail\x20sweeps\x20every\x20contributor\x27s\x20Allocation\x20pool\x20under\x20the\x20project\x20settlement\x20guard\x20in\x20one\x20atomic\x20batch,\x20pre-filtering\x20drained\x20pools;\x20the\x20beneficiary\x20receives\x20100%\x20-\x20the\x20platform\x20take\x20is\x200\x20against\x20the\x20displaced\x20processing\x20benchmark\x20disclosed\x20in\x20the\x20build\x20inputs.','evidence':[{'file':'allocation.move','line':0x313,'pattern':'public\x20fun\x20alloc_batch'}]},{'id':'GF-M8','class':'offchain','name':'Beneficiary\x20withdraws\x20raised\x20funds\x20to\x20bank','actor':'merchant','precondition':['GF-M7'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20settled\x20funds\x20land\x20on\x20the\x20beneficiary\x20entity\x27s\x20object\x20and\x20are\x20extracted\x20with\x20a\x20plain\x20owner\x20op,\x20then\x20move\x20to\x20the\x20bank\x20outside\x20the\x20protocol.','evidence':[]},{'id':'GF-P5','class':'post','name':'Funds\x20handed\x20to\x20beneficiary;\x20campaign\x20published\x20as\x20closed','actor':'merchant','precondition':['GF-M8'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'non-refundable','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Closure\x20is\x20a\x20storefront\x20act\x20over\x20on-chain\x20state;\x20the\x20defining\x20posture\x20-\x20contributions\x20are\x20non-refundable\x20once\x20the\x20deadline\x20passes\x20-\x20must\x20stay\x20visible\x20on\x20the\x20closed\x20page,\x20never\x20blurred\x20into\x20all-or-nothing.','evidence':[]},{'id':'GF-E1','class':'exception','name':'Donor\x20withdraws\x20pledge\x20before\x20the\x20deadline','actor':'buyer','precondition':['GF-M3'],'onchain':'expressible','chainFootprint':{'node':'withdrawn','forward':'WithdrawPledge','prev':'pledged','identity':'order_holder','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'pre_deadline_withdraw','gapPredicate':undefined,'commercialSemantics':'The\x20single\x20SELF-SERVICE\x20buyer\x20money-back\x20rail:\x20pre-deadline\x20withdrawal\x20refunds\x20in\x20full\x20to\x20the\x20donor\x27s\x20own\x20order\x20and\x20zeroes\x20the\x20writer-bound\x20contribution\x20row,\x20so\x20the\x20displayed\x20total\x20decays\x20honestly\x20(the\x20buyer-won\x20arbitration\x20rail\x20is\x20ruling-gated,\x20never\x20self-service).','evidence':[{'file':'order.move','line':0x15e,'pattern':'owner_receive'}]},{'id':'GF-E2','class':'exception','name':'Donor\x20requests\x20refund\x20after\x20the\x20deadline','actor':'buyer','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'non-refundable','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Refused\x20by\x20design:\x20the\x20keep-it-all\x20posture\x20makes\x20contributions\x20non-refundable\x20once\x20the\x20deadline\x20passes\x20-\x20the\x20only\x20money-back\x20path\x20was\x20the\x20pre-deadline\x20withdrawal,\x20and\x20this\x20must\x20be\x20disclosed\x20up\x20front\x20at\x20pledge\x20time.','evidence':[]},{'id':'GF-E3','class':'exception','name':'Refund\x20lands\x20on\x20the\x20Order\x20object,\x20not\x20the\x20wallet','actor':'buyer','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'two-step\x20payout','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Withdrawal\x20and\x20arbitration\x20compensation\x20rows\x20pay\x20the\x20order\x20slot,\x20not\x20the\x20wallet;\x20the\x20donor\x20completes\x20a\x20second\x20owner\x20extraction\x20call\x20-\x20surface\x20the\x20two-step\x20payout\x20in\x20the\x20UX\x20so\x20a\x20refund\x20never\x20looks\x20stuck.','evidence':[{'file':'order.move','line':0x159,'pattern':'owner_receive_object'}]},{'id':'GF-E4','class':'exception','name':'Anonymous\x20donation','actor':'buyer','precondition':['GF-M2'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Anonymity\x20is\x20a\x20storefront\x20display\x20choice;\x20the\x20escrow\x20and\x20ledger\x20stay\x20per-order\x20and\x20writer-bound\x20regardless\x20of\x20what\x20the\x20page\x20shows.','evidence':[]},{'id':'GF-E5','class':'exception','name':'KYC\x20verification\x20demanded\x20for\x20large\x20donations','actor':'platform','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Pooled\x20cross-border\x20fundraising\x20may\x20trigger\x20securities,\x20money-transmission\x20and\x20KYC-AML\x20duties\x20-\x20flag\x20for\x20compliance;\x20the\x20protocol\x20neither\x20verifies\x20identity\x20nor\x20automates\x20around\x20the\x20rules.','evidence':[]},{'id':'GF-E6','class':'exception','name':'Misappropriation:\x20organizer\x20spends\x20against\x20the\x20stated\x20purpose','actor':'buyer','precondition':['GF-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'released','moneyEffect':'compensate'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'recover_gate'},'commercialSemantics':'Purpose\x20is\x20prose,\x20not\x20a\x20chain\x20constraint:\x20once\x20released,\x20no\x20rail\x20can\x20force\x20an\x20off-chain\x20handover.\x20A\x20won\x20ruling\x20pays\x20the\x20donor\x20from\x20the\x20compensation\x20fund\x20(capped\x20at\x203x),\x20and\x20the\x20terminal-node\x20recover\x20rail\x20sweeps\x20recovered\x20principal\x20back\x20to\x20the\x20campaign\x20account.\x20Since\x20stage2\x20#15\x20a\x20dispute\x20filed\x20BEFORE\x20the\x20deadline\x20is\x20adjudicated\x20on\x20the\x20parked,\x20intact\x20escrow\x20and\x20a\x20buyer-won\x20ruling\x20moves\x20the\x20principal\x20itself\x20(awarded_refund)\x20—\x20the\x20fund-and-recover\x20shape\x20remains\x20the\x20remedy\x20for\x20post-release\x20misappropriation.','evidence':[{'file':'arbitration.move','line':0x13a,'pattern':'fun\x20arbitration_imp<T>'}]},{'id':'GF-E7','class':'exception','name':'Fraud\x20report:\x20story\x20or\x20medical\x20documents\x20fabricated','actor':'platform','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Document\x20truth\x20is\x20unverifiable\x20on\x20chain;\x20remedies\x20are\x20platform\x20takedown,\x20venue\x20rulings\x20and\x20the\x20fund,\x20with\x20KYC-AML\x20duties\x20flagged\x20-\x20never\x20automated.','evidence':[]},{'id':'GF-E8','class':'exception','name':'Donor\x20disputes\x20the\x20campaign\x27s\x20tax-deductible\x20claim','actor':'buyer','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'non-refundable','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Charity\x20status\x20is\x20off-chain\x20paperwork;\x20the\x20on-chain\x20posture\x20remains\x20a\x20plain\x20non-refundable\x20donation,\x20and\x20tax\x20claims\x20cannot\x20be\x20enforced\x20by\x20any\x20rail.','evidence':[]},{'id':'GF-E9','class':'exception','name':'Beneficiary\x20split\x20between\x20organizer\x20and\x20recipient','actor':'merchant','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'two-step\x20payout','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20whole\x20escrow\x20pays\x20the\x20configured\x20beneficiary\x20entity\x20-\x20who\x20receives\x20it\x20downstream\x20is\x20an\x20off-chain\x20arrangement;\x20the\x20declarative\x20recipient\x20info\x20is\x20not\x20enforced\x20by\x20any\x20guard\x20on\x20this\x20template.','evidence':[{'file':'service.move','line':0x100,'pattern':'customer_required'}]},{'id':'GF-E10','class':'exception','name':'Deadline\x20extension\x20requested\x20mid-campaign','actor':'merchant','precondition':['GF-M3'],'onchain':'expressible_with_gap','chainFootprint':{'node':'pledged','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'absolute\x20shared\x20deadline'},'commercialSemantics':'The\x20shipped\x20deadline\x20is\x20one\x20absolute\x20timestamp\x20shared\x20by\x20every\x20donor;\x20extending\x20means\x20a\x20new\x20frozen\x20campaign\x20with\x20a\x20new\x20close\x20-\x20no\x20rolling-window\x20or\x20per-donor\x20clock\x20exists\x20to\x20bend.','evidence':[]},{'id':'GF-E11','class':'exception','name':'Funding\x20goal\x20missed\x20-\x20auto\x20refund\x20expected','actor':'buyer','precondition':['GF-M3'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Wrong\x20product:\x20the\x20flexible\x20family\x20has\x20no\x20goal\x20and\x20no\x20missed-campaign\x20refund;\x20promising\x20all-or-nothing\x20behavior\x20on\x20this\x20template\x20is\x20the\x20exact\x20confusion\x20the\x20up-front\x20disclosure\x20forbids.','evidence':[]},{'id':'GF-E12','class':'exception','name':'Donor\x20charged\x20twice\x20(duplicate\x20pledge)','actor':'buyer','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'withdrawable[^\x5c\x22]{0,40}|withdraw','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Each\x20pledge\x20is\x20its\x20own\x20escrowed\x20order,\x20so\x20a\x20duplicate\x20is\x20two\x20independent\x20orders;\x20the\x20donor\x20exits\x20the\x20unwanted\x20one\x20with\x20the\x20pre-deadline\x20withdraw\x20rail\x20before\x20the\x20deadline\x20-\x20after\x20it,\x20the\x20posture\x20is\x20non-refundable.','evidence':[]},{'id':'GF-E13','class':'exception','name':'Regulator\x20freezes\x20the\x20campaign','actor':'platform','precondition':['GF-M5'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'A\x20freeze\x20after\x20the\x20deadline\x20does\x20not\x20reopen\x20the\x20escrow\x20-\x20funds\x20are\x20the\x20beneficiary\x27s;\x20compliance\x20coordination\x20stays\x20off-chain\x20and\x20KYC-AML\x20duties\x20are\x20flagged,\x20not\x20automated.','evidence':[]},{'id':'GF-P6','class':'post','name':'Tax\x20receipt\x20issued\x20to\x20donors','actor':'merchant','precondition':['GF-M7'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'non-investment','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Receipts\x20are\x20off-chain\x20paperwork\x20anchored\x20to\x20the\x20pledge\x20record;\x20the\x20campaign\x20copy\x20must\x20carry\x20the\x20plain\x20disclosure\x20that\x20a\x20donation\x20is\x20neither\x20an\x20investment\x20nor\x20a\x20yield\x20promise.','evidence':[]},{'id':'GF-E15','class':'exception','name':'Cross-border\x20medical\x20fundraising\x20blocked\x20by\x20local\x20rules','actor':'platform','precondition':['GF-M2'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Jurisdiction\x20gating\x20is\x20a\x20configuration-time\x20platform\x20duty;\x20the\x20machine\x20has\x20no\x20geo\x20primitive\x20to\x20express\x20it.','evidence':[]},{'id':'GF-E16','class':'exception','name':'Chargeback\x20filed\x20by\x20a\x20donor\x27s\x20bank','actor':'platform','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Card-network\x20chargebacks\x20run\x20entirely\x20off-chain;\x20the\x20escrowed\x20rail\x20only\x20knows\x20the\x20deadline\x20polarity,\x20and\x20identity/compliance\x20duties\x20stay\x20flagged\x20for\x20humans.','evidence':[]},{'id':'GF-E17','class':'exception','name':'Donor\x20roster\x20exceeds\x20the\x20per-settlement\x20cap\x20(>100\x20rows)','actor':'keeper','precondition':['GF-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'released','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'roster'},'commercialSemantics':'A\x20big\x20campaign\x20releases\x20in\x20several\x20batches,\x20each\x20swept\x20in\x20one\x20atomic\x20transaction\x20over\x20its\x20candidate\x20set\x20-\x20but\x20this\x20corpus\x20never\x20carries\x20the\x20roster-cap\x20story\x20its\x20siblings\x20do;\x20the\x20strict\x20probe\x20stays\x20so\x20the\x20gap\x20re-surfaces\x20until\x20a\x20build\x20note\x20lands.','evidence':[]},{'id':'GF-R5','class':'remedy','name':'Donor\x20transfers\x20a\x20pledge\x20(gift\x20to\x20another\x20account)','actor':'buyer','precondition':['GF-M3'],'onchain':'expressible','chainFootprint':{'node':'pledged','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Transferring\x20the\x20order\x20(and\x20with\x20it\x20the\x20pre-deadline\x20refund\x20right)\x20is\x20a\x20protocol-level\x20owner\x20change\x20on\x20the\x20order\x20object;\x20the\x20machine\x20state\x20stays\x20where\x20it\x20is.','evidence':[{'file':'order.move','line':0x111,'pattern':'owner_change'}]},{'id':'GF-R1','class':'remedy','name':'Compensation-fund\x20award\x20execution','actor':'arbitrator','precondition':['GF-E6'],'onchain':'expressible_with_gap','chainFootprint':{'node':'released','moneyEffect':'compensate'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'compensation\x20fund'},'commercialSemantics':'The\x20award\x20is\x20paid\x20from\x20the\x20pre-locked\x20fund\x20by\x20a\x20protocol-level\x20call\x20hard-bound\x20to\x20the\x20order\x20owner\x20-\x20not\x20a\x20machine\x20forward,\x20so\x20the\x20machine\x20records\x20no\x20leg;\x20the\x20per-order\x20ceiling\x20is\x20fund/3\x20and\x20quoted\x20figures\x20go\x20stale\x20as\x20awards\x20shrink\x20the\x20fund.','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'GF-R2','class':'remedy','name':'File\x20and\x20win\x20an\x20arbitration\x20case','actor':'arbitrator','precondition':['GF-M3'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'pledged','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'claim_filed','gapPredicate':undefined,'commercialSemantics':'Disputes\x20are\x20filed\x20on\x20a\x20third-party\x20arbitration\x20object\x20(an\x20independent\x20permission);\x20the\x20machine\x20records\x20the\x20TPL-09\x20dispute\x20waypoint\x20(claim_filed,\x20stage2\x20#15):\x20the\x20filing\x20window\x20closes\x20at\x20the\x20SAME\x20shared\x20campaign_deadline_ms\x20and\x20the\x20parked\x20order\x20keeps\x20the\x20escrow\x20intact\x20while\x20the\x20venue\x20judges\x20—\x20the\x20ruling\x20is\x20never\x20adjudicated\x20in-machine\x20(R-M1-11).\x20A\x20buyer-won\x20ruling\x20on\x20a\x20timely-filed\x20case\x20drives\x20pledged\x20->\x20awarded_refund\x20and\x20the\x20award_refund\x20rail\x20returns\x20the\x20principal\x20(GF-R7);\x20the\x20ruling\x20engine\x20still\x20caps\x20punitive\x20awards\x20at\x203x\x20the\x20base\x20loss\x20and\x20deems\x20acceptance\x20after\x2030\x20days\x20of\x20case\x20silence.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'},{'file':'arb.move','line':0x13f,'pattern':'silence\x20=\x20acceptance'}]},{'id':'GF-R3','class':'remedy','name':'Recover\x20rail:\x20swept\x20principal\x20returned\x20to\x20the\x20campaign\x20account','actor':'keeper','precondition':['GF-R1'],'onchain':'expressible','chainFootprint':{'node':'released','moneyEffect':'release'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20terminal-node\x20recover\x20sweep\x20pairs\x20with\x20the\x20donor-side\x20rails:\x20compensated\x20principal\x20is\x20collected\x20back\x20to\x20the\x20campaign\x20account\x20in\x20the\x20same\x20atomic\x20batch\x20shape.','evidence':[{'file':'allocation.move','line':0x300,'pattern':'sweeps\x20every\x20pool'}]},{'id':'GF-R4','class':'remedy','name':'Regulator-ordered\x20refund\x20of\x20a\x20live\x20campaign','actor':'platform','precondition':['GF-E13'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'A\x20regulator\x20cannot\x20drive\x20the\x20machine;\x20ordering\x20a\x20refund\x20means\x20the\x20platform\x20serves\x20notice\x20and\x20donors\x20execute\x20the\x20pre-deadline\x20exit\x20themselves\x20before\x20it\x20closes.','evidence':[]},{'id':'GF-R6','class':'remedy','name':'Dismissed\x20case:\x20donor\x20resume\x20and\x20re-donate','actor':'buyer','precondition':['GF-R2'],'onchain':'expressible','chainFootprint':{'node':'pledged','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'arb_dismissed_resume','gapPredicate':undefined,'commercialSemantics':'A\x20zero-indemnity\x20dismissed\x20ruling\x20resumes\x20the\x20pledge:\x20the\x20ruling-executor\x20(merchant\x20keeper\x20slot\x201002)\x20drives\x20claim_filed\x20->\x20pledged\x20(tpl_forward_arb_ruling_dismissed,\x20stage2\x20#15),\x20ZERO\x20money\x20moves,\x20and\x20the\x20deadline\x20rails\x20re-arm\x20naturally\x20on\x20the\x20re-entered\x20pledged\x20state\x20—\x20the\x20campaign\x20lifecycle\x20resumes\x20exactly\x20where\x20the\x20park\x20left\x20it.','evidence':[]},{'id':'GF-R7','class':'remedy','name':'Won\x20ruling\x20redirects\x20the\x20escrowed\x20principal\x20to\x20the\x20donor','actor':'arbitrator','precondition':['GF-R2'],'onchain':'expressible','chainFootprint':{'node':'awarded_refund','forward':'ArbRefund','prev':'pledged','identity':'permission_index','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'arb_refund','gapPredicate':undefined,'commercialSemantics':'Shipped\x20(stage2\x20#15\x20A-1):\x20the\x20ruling-executor\x20(refund-rail\x20slot\x201001)\x20drives\x20pledged\x20->\x20awarded_refund\x20through\x20the\x20tpl_forward_arb_ruling_won\x20canonical\x20root\x20(zero-award\x20exclusion\x20leg,\x20venue\x20binding,\x20claimed_by\x20stamp\x20—\x20a\x20dismissed\x20claim\x20can\x20never\x20fire\x20it)\x20and\x20the\x20award_refund\x20rail\x20returns\x20the\x20still-escrowed\x20principal\x20IN\x20FULL\x20to\x20the\x20donor\x27s\x20own\x20order.\x20Filing\x20closes\x20at\x20the\x20deadline,\x20so\x20this\x20rail\x20only\x20ever\x20moves\x20intact\x20escrow;\x20post-release\x20a\x20won\x20ruling\x20pays\x20from\x20the\x20compensation\x20fund\x20instead\x20(no\x20clawback).','evidence':[]},{'id':'GF-E19','class':'exception','name':'Platform\x20cross-sells\x20insurance\x20or\x20financial\x20products','actor':'platform','precondition':['GF-M3'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Out\x20of\x20scope:\x20cross-selling\x20is\x20storefront\x20business\x20with\x20its\x20own\x20compliance\x20surface;\x20the\x20protocol\x20neither\x20models\x20nor\x20enforces\x20it.','evidence':[]},{'id':'GF-E20','class':'exception','name':'Claim-withdraw:\x20donor\x20drops\x20a\x20filed\x20case\x20(BANNED\x20-\x20D2\x20no-withdraw\x20doctrine:\x20a\x20filed\x20claim\x20reaches\x20a\x20RULING\x20instead)','actor':'buyer','precondition':['GF-R2'],'onchain':'not_applicable','chainFootprint':{'node':'pledged','prev':'claim_filed','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'withdraw_claim','gapPredicate':undefined,'commercialSemantics':'Shipped\x20(stage2\x20#15):\x20with\x20the\x20dispute\x20waypoint\x20on\x20the\x20machine\x20there\x20IS\x20something\x20to\x20withdraw\x20—\x20the\x20WithdrawClaim\x20leg\x20returns\x20the\x20parked\x20order\x20to\x20pledged\x20with\x20ZERO\x20money\x20movement\x20(order-holder\x20identity,\x20the\x20disclosed\x20replay\x20face\x20Q8-F02).\x20Withdrawing\x20a\x20DISPUTE\x20is\x20not\x20withdrawing\x20a\x20DONATION:\x20the\x20two\x20withdrawals\x20never\x20share\x20a\x20guard\x20key,\x20so\x20the\x20claim-withdraw\x20can\x20never\x20replay\x20into\x20the\x20free\x20pre-deadline\x20refund\x20rail,\x20and\x20the\x20non-refundable-after-deadline\x20posture\x20is\x20untouched.','evidence':[]},{'id':'GF-E21','class':'exception','name':'Organizer\x20cancels\x20the\x20fundraiser\x20mid-campaign','actor':'merchant','precondition':['GF-M3'],'onchain':'expressible','chainFootprint':{'node':'withdrawn','forward':'CancelCampaign','identity':'permission_index','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'organizer_cancel','commercialSemantics':'MOUNTED\x20(batch7\x20T-L,\x20v212\x20—\x20the\x20batch7\x20§1.2\x20registration\x20cured):\x20the\x20organizer\x20cancels\x20a\x20still-escrowed\x20donation\x20via\x20CancelCampaign\x20pledged→withdrawn\x20(merchant\x20on\x20the\x20dedicated\x20refund-rail\x20slot\x201001,\x20tpl_forward_node_check\x20on\x20the\x20pledged\x20source\x20—\x20the\x20ktt\x20v178\x20leader-cancel\x20shape);\x20the\x20donation\x20refunds\x20IN\x20FULL\x20through\x20the\x20SAME\x20withdraw_refund\x20rail\x20(the\x20rail\x20pays\x20the\x20DONOR\x20slot\x200,\x20never\x20the\x20project\x20—\x20a\x20creator-voluntary\x20exit;\x20the\x20L-04\x20non-refundable\x20posture\x20governs\x20BACKER\x20rights,\x20not\x20creator\x20charity).\x20Pre-release\x20only:\x20once\x20the\x20deadline\x20release\x20ran,\x20the\x20order\x20has\x20left\x20pledged\x20and\x20the\x20no-clawback\x20posture\x20is\x20untouched.','evidence':[]},{'id':'GF-E22','class':'exception','name':'Platform\x20fee\x20or\x20tip\x20accounting\x20dispute','actor':'platform','precondition':['GF-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'incumbent_take_bps','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Tips\x20and\x20fees\x20are\x20storefront\x20economics;\x20on\x20chain\x20the\x20template\x27s\x20take\x20is\x20its\x20own\x20commission\x20key\x20kept\x20at\x200,\x20and\x20the\x20displaced\x20processing\x20take\x20is\x20benchmark\x20disclosure\x20only\x20-\x20no\x20allocator\x20row\x20reads\x20it.','evidence':[]},{'id':'GF-P1','class':'post','name':'Impact\x20report\x20published\x20to\x20donors','actor':'merchant','precondition':['GF-M7'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Impact\x20reporting\x20is\x20off-chain\x20prose;\x20the\x20on-chain\x20truth\x20is\x20the\x20frozen\x20WIP\x20terms,\x20the\x20writer-bound\x20ledger\x20and\x20the\x20release\x20record.','evidence':[]},{'id':'GF-P2','class':'post','name':'Campaign\x20archive\x20page\x20for\x20settled\x20donors','actor':'platform','precondition':['GF-M7'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Archive\x20is\x20a\x20storefront\x20view\x20over\x20on-chain\x20state;\x20it\x20adds\x20no\x20chain\x20object.','evidence':[]},{'id':'GF-P3','class':'post','name':'Benchmark\x20disclosure\x20of\x20the\x20displaced\x20processing\x20take','actor':'platform','precondition':['GF-P2'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'incumbent_take_bps','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20displaced\x20donation-processing\x20take\x20(290\x20bps\x20here)\x20is\x20benchmark\x20disclosure\x20only\x20-\x20no\x20allocator\x20row\x20reads\x20it;\x20this\x20template\x27s\x20actual\x20take\x20is\x20its\x20own\x20commission\x20key\x20kept\x20at\x200.','evidence':[]},{'id':'GF-P4','class':'post','name':'Cross-campaign\x20reputation\x20for\x20organizers','actor':'platform','precondition':['GF-P5'],'onchain':'unresolvable','unresolvableRef':'S3','chainFootprint':undefined,'disclosureProbe':'non-refundable','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'There\x20is\x20no\x20reputation\x20or\x20track-record\x20primitive:\x20organizer\x20trust\x20stays\x20off-chain\x20prose,\x20and\x20the\x20only\x20structural\x20protections\x20are\x20the\x20frozen\x20terms,\x20the\x20writer-bound\x20ledger\x20and\x20the\x20up-front\x20non-refundable\x20disclosure.','evidence':[]},{'id':'GF-P7','class':'post','name':'Donor\x20re-donates\x20to\x20the\x20next\x20fundraiser','actor':'buyer','precondition':['GF-E1'],'onchain':'expressible','chainFootprint':{'node':'pledged','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'A\x20withdrawn\x20donor\x20re-enters\x20any\x20live\x20fundraiser\x20as\x20a\x20fresh\x20order;\x20the\x20previous\x20pledge\x20leaves\x20no\x20machine\x20residue\x20beyond\x20the\x20zeroed\x20row\x20and\x20the\x20terminal\x20order\x20state.','evidence':[]}],'invariants':[{'id':'INV-GF-1','statement':'Keep-it-all\x20liveness:\x20every\x20contribution\x20MUST\x20reach\x20the\x20beneficiary\x20at\x20the\x20deadline\x20even\x20if\x20no\x20keeper\x20ever\x20runs\x20-\x20the\x20participant-triggered\x20force-release\x20forward\x20must\x20exist.','jurisdiction':'every\x20deployment\x20of\x20this\x20template','chainConflict':'Shipped\x20as\x20the\x20deadline_release\x20advance\x20paired\x20with\x20the\x20order-holder\x20force\x20release\x20gated\x20by\x20the\x20same\x20absolute\x20timestamp,\x20so\x20a\x20silent\x20operator\x20cannot\x20strand\x20a\x20live\x20pledge;\x20removing\x20the\x20force-release\x20turns\x20keeper\x20downtime\x20into\x20confiscation\x20with\x20no\x20remedy.','violation':{'whileMissingForward':'ForceReleaseAfterDeadline'},'evidence':[{'file':'progress.move','line':0x12a,'pattern':'ASSERT_PERMISSION'}]},{'id':'INV-GF-2','statement':'The\x20pre-deadline\x20withdrawal\x20is\x20the\x20only\x20SELF-SERVICE\x20donor\x20money-back\x20path\x20and\x20must\x20stay\x20unconditional\x20and\x20full\x20-\x20the\x20withdraw\x20forward\x20must\x20exist,\x20fee-free;\x20the\x20ruling-gated\x20award_refund\x20rail\x20(stage2\x20#15)\x20is\x20the\x20sole\x20other\x20donor\x20rail\x20and\x20must\x20stay\x20node-partitioned\x20from\x20it.','jurisdiction':'every\x20deployment\x20of\x20this\x20template','chainConflict':'Shipped\x20as\x20the\x20order-holder\x20withdraw\x20edge\x20gated\x20by\x20the\x20absolute-deadline\x20upper\x20bound,\x20refunding\x20in\x20full\x20and\x20zeroing\x20the\x20writer-bound\x20contribution\x20row;\x20removing\x20it\x20leaves\x20the\x20model\x20with\x20no\x20self-service\x20buyer\x20exit\x20at\x20all,\x20making\x20the\x20up-front\x20non-refundable\x20disclosure\x20a\x20confiscation\x20notice.\x20The\x20buyer-won\x20arbitration\x20rail\x20lands\x20in\x20its\x20own\x20awarded_refund\x20terminal\x20so\x20the\x20two\x20refunds\x20can\x20never\x20blur\x20(Q8-F02).','violation':{'whileMissingForward':'WithdrawPledge'},'evidence':[{'file':'order.move','line':0x15e,'pattern':'owner_receive'}]},{'id':'INV-GF-3','statement':'No-refund-after-deadline\x20posture:\x20the\x20keep-it-all\x20model\x20must\x20be\x20disclosed\x20up\x20front\x20and\x20never\x20blurred\x20with\x20all-or-nothing;\x20the\x20platform\x20take\x20stays\x200\x20against\x20the\x20disclosed\x20processing\x20benchmark,\x20and\x20post-deadline\x20donor\x20remedies\x20are\x20the\x20fund\x20and\x20the\x20venue\x20only\x20—\x20a\x20NEW\x20dispute\x20can\x20never\x20be\x20filed\x20after\x20the\x20deadline\x20(the\x20stage2\x20#15\x20claim_filed\x20window\x20closes\x20on\x20the\x20same\x20timestamp,\x20and\x20the\x20park\x20keeps\x20any\x20timely-filed\x20case\x27s\x20escrow\x20intact\x20until\x20the\x20ruling\x20exits).','jurisdiction':'campaign\x20copy\x20and\x20configuration','chainConflict':'The\x20catalog\x20splits\x20the\x20family\x20into\x20this\x20flexible\x20template\x20(no\x20goal,\x20no\x20missed-campaign\x20refund,\x200\x20commission,\x20benchmark\x20290\x20bps)\x20and\x20the\x20all-or-nothing\x20sibling\x20that\x20auto-refunds\x20on\x20a\x20miss;\x20the\x20flexible\x20build\x27s\x20entire\x20trust\x20case\x20is\x20the\x20disclosure\x20duty\x20plus\x20the\x20unpooled\x20per-donor\x20escrow\x20-\x20quoting\x20a\x20fund\x20figure\x20as\x20chain-anchored,\x20or\x20promising\x20refunds\x20past\x20the\x20deadline,\x20breaks\x20the\x20disclosed\x20model.','evidence':[]},{'id':'INV-GF-ORGANIZERCANCEL','statement':'The\x20real\x20archetype\x27s\x20organizer-side\x20failure\x20is\x20cancelling\x20the\x20fundraiser\x20(abort\x20a\x20live\x20project,\x20or\x20abandon\x20before\x20release)\x20—\x20the\x20template\x20must\x20always\x20ship\x20a\x20permission-gated\x20creator-cancel\x20exit\x20so\x20a\x20still-escrowed\x20donation\x20refunds\x20IN\x20FULL\x20through\x20the\x20SAME\x20withdraw_refund\x20rail\x20instead\x20of\x20waiting\x20out\x20the\x20deadline\x20release.\x20Standing\x20check\x20(batch7\x20T-L,\x202026-11-09):\x20CancelCampaign\x20pledged->withdrawn\x20is\x20mounted\x20(merchant\x20refund-rail\x20slot\x201001,\x20tpl_forward_node_check\x20on\x20the\x20pledged\x20source,\x20the\x20ktt\x20v178\x20shape;\x20the\x20rail\x20pays\x20the\x20DONOR\x20slot\x200\x20—\x20a\x20creator-voluntary\x20exit,\x20the\x20L-04\x20posture\x20governs\x20BACKER\x20rights\x20and\x20is\x20untouched)\x20—\x20deleting\x20the\x20forward\x20re-fires\x20this\x20invariant.','violation':{'whileMissingForward':'CancelCampaign'},'evidence':[]}]};

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

@@ -1 +1 @@
-export const KLOOK_ORACLE={'productRef':'klook','products':['klook','kkday','getyourguide','viator','ctrip-experience'],'oracleVersion':'1.0.0','steps':[{'id':'M1','class':'offchain','name':'Browse\x20destination\x20activities\x20and\x20compare\x20prices\x20(search/SEO/discovery\x20is\x20an\x20app\x20concern)','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Catalog\x20discovery,\x20ranking\x20and\x20price\x20comparison\x20are\x20pure\x20off-chain\x20concerns;\x20the\x20chain\x20holds\x20no\x20inventory\x20or\x20demand\x20oracle.\x20The\x20template\x20exposes\x20discovery\x20only\x20through\x20the\x20market\x20layer,\x20never\x20inside\x20the\x20order\x20path.','evidence':[]},{'id':'M2','class':'offchain','name':'Select\x20the\x20option\x20tier,\x20departure\x20date/time\x20slot\x20and\x20traveler\x20count','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Option\x20tier,\x20date\x20and\x20traveler\x20mix\x20configure\x20the\x20quote.\x20On\x20chain\x20this\x20collapses\x20into\x20ONE\x20absolute\x20departure\x20anchor:\x20service_start_ms\x20(epoch\x20ms)\x20plus\x20the\x20per-segment\x20plan;\x20the\x20per-segment\x20node\x20count\x20expands\x20from\x20segment_count\x20at\x20build\x20time.','evidence':[]},{'id':'M3','class':'main','name':'Pay\x20and\x20escrow\x20the\x20booking\x20total\x20(multi-segment\x20trip\x20in\x20one\x20Order)','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'One\x20atomic\x20buy\x20escrows\x20the\x20whole\x20multi-segment\x20booking.\x20Direct\x20sales:\x20the\x20merchant\x20keeps\x20the\x20whole\x20booking\x20—\x20platform_commission_bps\x20and\x20merchant_service_fee_bps\x20ship\x200\x20and\x20there\x20is\x20NO\x20residual\x20take;\x20segment\x20sums\x20are\x20pinned\x20to\x20the\x20order\x20total\x20by\x20construction.','evidence':[{'file':'service.move','line':0x1c9,'pattern':'public\x20fun\x20buy'}]},{'id':'M4','class':'main','name':'Per-order\x20layer-2\x20Allocation\x20created\x20after\x20payment\x20(keeper)','actor':'keeper','precondition':['M3'],'onchain':'disclosure_only','commercialSemantics':'The\x20waterfall\x20is\x20two-tier:\x20the\x20layer-1\x20Service\x20escrow\x20stays\x20intact\x20for\x20refunds,\x20and\x20a\x20per-order\x20layer-2\x20Allocation\x20carries\x20the\x20exact\x20per-segment\x20Amount\x20legs.\x20Creation\x20is\x20a\x20keeper\x20duty\x20after\x20payment;\x20a\x20Service-level\x20segment\x20Rate\x20allocator\x20fails\x20contract\x20validation\x20by\x20design.','disclosureProbe':'per-order\x20layer-2\x20Allocation\x20creation\x20after\x20payment','evidence':[{'file':'allocation.move','line':0x271,'pattern':'Recipient::Entity'},{'file':'allocation.move','line':0x25,'pattern':'EZERO_DISTRIBUTION'}]},{'id':'M5','class':'main','name':'Segment\x201\x20redeemed:\x20supplier\x20submits\x20WIP\x20and\x20buyer\x20confirms\x20(dual\x20confirmation)','actor':'fulfiller','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'segment_D1','forward':'segment_1_deliver','prev':'paid','moneyEffect':'none'},'commercialSemantics':'Redemption\x20is\x20the\x20only\x20settlement\x20evidence:\x20per\x20segment\x20the\x20supplier\x20submits\x20a\x20WIP\x20and\x20the\x20buyer\x20confirms,\x20each\x20segment\x20binding\x20its\x20OWN\x20guard\x20instance\x20so\x20adjacent\x20segments\x20cannot\x20double-fire.\x20The\x20supplier\x20eyeballing\x20the\x20recorded\x20contact\x20(never\x20the\x20recorded\x20address\x20value)\x20is\x20the\x20acceptance\x20basis.','guardKeyProbe':'repository_data_check','guardProbeKind':'feature','evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'M6','class':'main','name':'Remaining\x20segments\x20redeemed\x20sequentially\x20(same\x20dual-confirmation\x20pattern,\x20build-time\x20expansion)','actor':'fulfiller','precondition':['M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'segment_D3','forward':'segment_3_deliver','prev':'segment_D2','moneyEffect':'none'},'commercialSemantics':'Segments\x202..N\x20advance\x20identically;\x20the\x20shipped\x20shape\x20shows\x20three\x20representative\x20segment\x20nodes\x20and\x20the\x20operator\x20expands\x20them\x20to\x20the\x20real\x20trip\x20length\x20via\x20segment_count.\x20Each\x20redemption\x20releases\x20that\x20segment\x27s\x20exact\x20layer-2\x20Amount\x20leg.','gapPredicate':{'probe':'per-segment\x20nodes\x20expand\x20to\x20match'},'evidence':[]},{'id':'M7','class':'main','name':'T+3\x20fallback\x20confirmation\x20for\x20a\x20silent\x20buyer\x20(keeper)','actor':'keeper','precondition':['M5'],'onchain':'disclosure_only','commercialSemantics':'If\x20the\x20buyer\x20never\x20confirms\x20a\x20redeemed\x20segment,\x20the\x20keeper\x27s\x20T+3\x20fallback\x20releases\x20that\x20segment\x27s\x20leg\x20so\x20a\x20silent\x20buyer\x20cannot\x20strand\x20the\x20supplier\x27s\x20payout.\x20It\x20is\x20a\x20declared\x20keeper\x20dependency,\x20not\x20an\x20on-machine\x20edge.','disclosureProbe':'redemption\x20confirmation\x20fallback','evidence':[]},{'id':'M8','class':'main','name':'All\x20segments\x20redeemed\x20—\x20completed\x20(the\x20serial\x20hold,\x20NOT\x20settlement)','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'segment_D3','moneyEffect':'none'},'commercialSemantics':'completed\x20is\x20deliberately\x20not\x20the\x20settlement\x20node:\x20the\x20residual\x20stays\x20pooled\x20while\x20post-delivery\x20claims\x20could\x20still\x20be\x20filed.\x20Its\x20only\x20exit\x20is\x20the\x20keeper-opened\x20serial\x20claim\x20window\x20—\x20an\x20unopened\x20window\x20holds\x20the\x20pool\x20here\x20by\x20design.','evidence':[]},{'id':'M9','class':'main','name':'Keeper\x20opens\x20the\x20serial\x20claim\x20window\x20right\x20after\x20completion','actor':'keeper','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'claim_window','forward':'open_claim_window','prev':'completed','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20window\x20is\x20a\x20mandatory\x20waypoint\x20between\x20completed\x20and\x20any\x20residual\x20release:\x20filing\x20closes\x20at\x20claim_window\x20ENTRY\x20+\x20claim_window_days\x20and\x20the\x20no-claim\x20release\x20opens\x20on\x20the\x20same\x20witness\x20anchor.\x20Opening\x20it\x20is\x20a\x20hard\x20keeper\x20duty\x20before\x20ANY\x20money\x20moves\x20post-delivery.','evidence':[{'file':'progress.move','line':0x8e,'pattern':'history:\x20ParentTableVec'}]},{'id':'M10','class':'main','name':'Claim\x20window\x20elapses\x20with\x20no\x20claim\x20—\x20residual\x20release\x20settles\x20(normally\x20ZERO)','actor':'keeper','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'settled','forward':'release_no_claim','prev':'claim_window','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'The\x20sole\x20non-claim\x20exit\x20opens\x20on\x20the\x20witness-anchored\x20clock.\x20Under\x20the\x20two-tier\x20waterfall\x20the\x20residual\x20is\x20normally\x20ZERO\x20because\x20the\x20per-segment\x20Amount\x20legs\x20are\x20pinned\x20to\x20the\x20order\x20total;\x20the\x20rail\x20exists\x20so\x20any\x20repriced/cancelled-segment\x20remainder\x20still\x20exits\x20instead\x20of\x20stranding.','guardKeyProbe':'release_no_claim_clock','evidence':[{'file':'progress.move','line':0x22c,'pattern':'parent_table_vec::push_back'}]},{'id':'M11','class':'main','name':'Review-reward\x20claim\x20against\x20the\x20sale-time-planned\x20bounty\x20(0.006\x20WOW\x20per-claim\x20floor)','actor':'buyer','precondition':['M8'],'onchain':'expressible_with_gap','chainFootprint':{'node':'completed','moneyEffect':'reward'},'commercialSemantics':'The\x20Reward\x20is\x20configured\x20at\x20Service\x20build\x20time,\x20funded\x20via\x20reward_funding\x20(pool\x20plan\x20=\x20expected\x20claims\x20x\x20review_reward_per_claim,\x20compile-enforced\x20above\x20the\x20claim-gas\x20floor).\x20Claim\x20terms:\x20Progress\x20at\x20completed\x20+\x20review\x20content\x20hash,\x20window\x20kernel-derived\x20from\x20the\x20claim-allowed\x20terminal\x20entry,\x20once\x20per\x20order\x20(order-scoped\x20record\x20gate\x20+\x20entry\x20store_from_id\x20stamp\x20+\x20Signer\x20==\x20order.owner).','gapPredicate':{'probe':'no\x20review\x20node|review\x20content\x20hash'},'evidence':[{'file':'reward.move','line':0xe3,'pattern':'public\x20fun\x20claim'}]},{'id':'E1','class':'exception','name':'Free\x20cancellation\x20inside\x20the\x20post-booking\x20cooling-off\x20window\x20(full\x20refund)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'free_cancel','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x20cheapest\x20exit:\x20full\x20refund\x20within\x20free_cancel_hours\x20of\x20BOOKING\x20(no\x20use-date\x20primitive\x20exists\x20on\x20chain;\x20a\x20faithful\x20stay-date\x20window\x20rides\x20a\x20Repository\x20row\x20per\x20the\x20stay-date\x20prescription).\x20The\x20window\x20is\x20CLOSING\x20(time_window_upper_bound,\x20not\x20its\x20opening\x20twin)\x20and\x20carries\x20an\x20order-holder\x20identity\x20leg.','guardKeyProbe':'free_cancel','evidence':[]},{'id':'E2','class':'exception','name':'Cancel\x207+\x20days\x20before\x20the\x20service\x20start\x20(tier\x201\x20—\x205%\x20charge)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'cancelled_t1','forward':'cancel_tier_1','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x20shipped\x20ladder,\x20not\x20prose:\x20charge\x20bps\x20to\x20the\x20supplier\x20Entity\x20and\x20the\x20complement\x20back\x20to\x20the\x20order\x20anchor,\x20both\x20read\x20from\x20cancel_tier_1_charge_bps\x20so\x20the\x20split\x20always\x20sums\x20to\x2010000.\x20Band:\x20notice\x20>=\x20168h,\x20open-ended\x20upward.','guardKeyProbe':'cancel_tier_1','evidence':[]},{'id':'E3','class':'exception','name':'Cancel\x203-7\x20days\x20before\x20the\x20service\x20start\x20(tier\x202\x20—\x2020%\x20charge)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'cancelled_t2','forward':'cancel_tier_2','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Band:\x2072h\x20<=\x20notice\x20<\x20168h.\x20The\x20bands\x20are\x20disjoint\x20by\x20construction\x20(the\x20upper\x20leg\x20of\x20N\x20is\x20the\x20lower\x20leg\x20of\x20N-1)\x20and\x20all\x20four\x20anchor\x20on\x20the\x20SAME\x20absolute\x20service_start_ms\x20with\x20add-only\x20arithmetic\x20—\x20a\x20subtraction\x20from\x20a\x20future\x20anchor\x20would\x20underflow\x20a\x20U64\x20and\x20fail\x20the\x20band\x20closed\x20forever.','guardKeyProbe':'cancel_tier_2','evidence':[]},{'id':'E4','class':'exception','name':'Cancel\x201-3\x20days\x20before\x20the\x20service\x20start\x20(tier\x203\x20—\x2050%\x20charge)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'cancelled_t3','forward':'cancel_tier_3','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Band:\x2024h\x20<=\x20notice\x20<\x2072h.\x20Exactly\x20one\x20tier\x20rail\x20can\x20pass\x20at\x20any\x20instant;\x20overlapping\x20bands\x20would\x20double-charge\x20because\x20the\x20allocator\x20vector\x20is\x20not\x20first-match-wins.','guardKeyProbe':'cancel_tier_3','evidence':[]},{'id':'E5','class':'exception','name':'Cancel\x20under\x2024h\x20before\x20the\x20service\x20start\x20/\x20no-show\x20(tier\x204\x20—\x2070%\x20charge)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'cancelled_t4','forward':'cancel_tier_4','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x20no-show\x20band:\x200\x20<=\x20notice\x20<\x2024h.\x20The\x20identity\x20leg\x20is\x20not\x20optional\x20—\x20the\x20edge\x27s\x20operator:\x20order_payer\x20is\x20metadata\x20and\x20an\x20empty\x20namedOperator\x20admits\x20ANY\x20signer,\x20so\x20without\x20it\x20a\x20stranger\x20could\x20drive\x20the\x20buyer\x27s\x20cancel\x20into\x20the\x20cheapest\x20band.','guardKeyProbe':'cancel_tier_4','evidence':[]},{'id':'E6','class':'exception','name':'Post-start\x20cancellation\x20attempt\x20(no\x20band\x20passes\x20—\x20arbitration/no-show\x20route\x20only)','actor':'buyer','precondition':['M5'],'onchain':'disclosure_only','commercialSemantics':'A\x20cancellation\x20AT\x20or\x20AFTER\x20the\x20service\x20start\x20falls\x20in\x20no\x20band\x20at\x20all:\x20all\x20four\x20rails\x20fail\x20closed,\x20so\x20the\x20post-start\x20path\x20is\x20arbitration\x20/\x20the\x20no-show\x20evidence\x20rails,\x20never\x20a\x20self-service\x20refund.\x20The\x20buyer\x27s\x20remedies\x20there\x20are\x20the\x20serial-window\x20claim\x20(E8)\x20and\x20the\x20fund-drawn\x20award\x20(R2).','disclosureProbe':'Post-start\x20cancellations\x20fall\x20in\x20NO\x20band','evidence':[]},{'id':'E7','class':'exception','name':'Booking\x20without\x20a\x20departure\x20timestamp\x20(service_start_ms\x20unset\x20—\x20ladder\x20inert)','actor':'merchant','precondition':['M3'],'onchain':'disclosure_only','commercialSemantics':'service_start_ms\x20ships\x200\x20and\x200\x20fails\x20all\x20four\x20bands\x20closed\x20BY\x20DESIGN:\x20the\x20build\x20must\x20set\x20the\x20real\x20departure\x20timestamp\x20(fee_overrides)\x20before\x20publishing,\x20otherwise\x20every\x20tiered\x20cancellation\x20is\x20impossible\x20and\x20the\x20buyer\x20is\x20locked\x20into\x20the\x20arbitration\x20route.','disclosureProbe':'0\x20fails\x20every\x20cancellation\x20band\x20closed','evidence':[]},{'id':'E8','class':'exception','name':'Post-delivery\x20claim\x20filed\x20inside\x20the\x20serial\x20window\x20(misrepresentation\x20/\x20venue\x20no-show\x20/\x20partial\x20delivery)','actor':'buyer','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'poststay_claim','forward':'file_claim','prev':'claim_window','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Disputes\x20are\x20filed\x20OFF-Machine\x20into\x20Arbitration\x20(independent\x20Permission);\x20the\x20on-machine\x20poststay_claim\x20node\x20is\x20the\x20filing\x20waypoint\x20that\x20keeps\x20the\x20pool\x20intact\x20while\x20the\x20claim\x20is\x20open.\x20The\x20closing\x20window\x20witness-anchors\x20on\x20the\x20claim_window\x20ENTRY\x20so\x20keeper\x20timing\x20cannot\x20shift\x20it,\x20plus\x20an\x20order-holder\x20leg.','guardKeyProbe':'poststay_claim_window','evidence':[{'file':'arbitration.move','line':0x169,'pattern':'order::assert_op_permission'}]},{'id':'E9','class':'exception','name':'Buyer\x20withdraws\x20the\x20filed\x20claim\x20(single-hop\x20void\x20escape,\x20full\x20escrow\x20back)','actor':'buyer','precondition':['E8'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'WithdrawClaim','prev':'poststay_claim','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Both\x20ruling\x20roots\x20fail\x20closed\x20on\x20the\x20None\x20indemnity,\x20so\x20a\x20withdrawn\x20(arb_withdraw\x203→6/5→6),\x20reset\x20or\x20abandoned\x20case\x20would\x20strand\x20the\x20order\x20at\x20poststay_claim\x20forever\x20without\x20this\x20edge;\x20the\x20withdrawal\x20returns\x20the\x20untouched\x20escrow\x20in\x20full.','guardKeyProbe':'withdraw_claim_poststay','evidence':[{'file':'arbitration.move','line':0x21a,'pattern':'public\x20fun\x20arb_withdraw'},{'file':'arb.move','line':0x10,'pattern':'WITHDRAW_DURATION_TIME'}]},{'id':'E10','class':'exception','name':'Buyer-favor\x20ruling\x20executes\x20the\x20escrow\x20refund\x20from\x20poststay_claim','actor':'arbitrator','precondition':['E8'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'arb_refund','prev':'poststay_claim','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20ruling\x20edge\x20departs\x20the\x20filing\x20waypoint\x20(pool\x20guaranteed\x20intact)\x20and\x20rides\x20the\x20dedicated\x20refund-rail\x20slot\x201001,\x20never\x20the\x20settle\x20bucket:\x20gate\x20=\x20arb.order\x20==\x20order\x20AND\x20arb.indemnity\x20some\x20==\x20true.\x20Never\x20gate\x20on\x20arb.status\x20—\x20a\x20fee\x20withdrawal\x20advances\x20the\x20case\x20past\x20the\x20gate.','guardKeyProbe':'arb_won_claim','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x28,'pattern':'E_ZERO_INDEMNITY_CLAIM'}]},{'id':'E11','class':'exception','name':'Dismissed\x20ruling\x20rejoins\x20the\x20settlement\x20path\x20at\x20settled','actor':'arbitrator','precondition':['E8'],'onchain':'expressible','chainFootprint':{'node':'settled','forward':'claim_dismissed','prev':'poststay_claim','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'A\x20supplier-favor\x20ruling\x20(indemnity\x20Some(0))\x20releases\x20the\x20pool\x20through\x20the\x20settled\x20exit\x20on\x20an\x20intact,\x20dispute-concluded\x20state.\x20Fail-closed\x20by\x20construction:\x20the\x20amount\x20query\x20errors\x20on\x20the\x20None\x20field,\x20so\x20a\x20never-ruled\x20or\x20reset\x20case\x20can\x20never\x20ride\x20this\x20edge.','guardKeyProbe':'arb_dismissed_poststay','evidence':[{'file':'arb.move','line':0x9a,'pattern':'Status_Withdrawn'}]},{'id':'E12','class':'exception','name':'Force\x20majeure\x20/\x20venue\x20closure\x20—\x20no\x20evidence\x20window\x20exists','actor':'merchant','precondition':['M8'],'onchain':'disclosure_only','commercialSemantics':'The\x2048h\x20force-majeure\x20knob\x20was\x20deleted\x20as\x20unenforceable:\x20no\x20edge\x20carried\x20it,\x20and\x20the\x20obvious\x20host\x20—\x20a\x20closing\x20window\x20on\x20claim_dismissed\x20—\x20would\x20seal\x20the\x20ONLY\x20non-refund\x20exit\x20of\x20a\x20post-stay\x20claim.\x20A\x20faithful\x20version\x20gates\x20filing,\x20which\x20claim_window_days\x20already\x20provides.','disclosureProbe':'FORCE-MAJEURE\x20EVIDENCE\x20WINDOW','evidence':[]},{'id':'E13','class':'exception','name':'Reschedule\x20/\x20date\x20change\x20(one\x20absolute\x20anchor\x20per\x20order)','actor':'buyer','precondition':['M3'],'onchain':'disclosure_only','commercialSemantics':'The\x20real\x20product\x20resells\x20free\x20date\x20changes;\x20on\x20chain\x20ONE\x20order\x20carries\x20ONE\x20absolute\x20service_start_ms\x20and\x20the\x20machine\x20is\x20immutable\x20after\x20publish,\x20so\x20a\x20date\x20change\x20is\x20cancel\x20(tiered\x20charges\x20may\x20apply)\x20+\x20rebook,\x20not\x20an\x20in-order\x20edit.\x20Ticket-validity-style\x20time\x20constants\x20must\x20ride\x20fee_params,\x20never\x20hand-written\x20values.','disclosureProbe':'ticket\x20validity|service_start_ms','evidence':[]},{'id':'E14','class':'exception','name':'Traveler\x20credentials\x20for\x20venue\x20entry\x20(required_info\x20is\x20DECLARATIVE\x20only)','actor':'buyer','precondition':['M3'],'onchain':'disclosure_only','commercialSemantics':'The\x20on-chain\x20purchase\x20entry\x20never\x20reads\x20customer_required,\x20and\x20order.required_info\x20is\x20an\x20Option\x20the\x20buyer\x20may\x20leave\x20empty\x20—\x20an\x20unconditional\x20presence\x20gate\x20on\x20segment\x20redemption\x20would\x20brick\x20every\x20segment\x20of\x20an\x20info-free\x20store.\x20The\x20enforced\x20form\x20ANDs\x20a\x20presence\x20root\x20into\x20the\x20FIRST\x20segment\x20redemption;\x20only\x20presence\x20is\x20asserted,\x20never\x20the\x20recorded\x20value.','disclosureProbe':'customer_required\x20is\x20DECLARATIVE\x20ONLY','evidence':[{'file':'order.move','line':0x52,'pattern':'public\x20fun\x20required_info_update'}]},{'id':'E15','class':'exception','name':'Price-drop\x20/\x20cheaper-elsewhere\x20guarantee\x20(2x\x20difference\x20in\x20credits)\x20—\x20no\x20price\x20oracle','actor':'platform','precondition':['M3'],'onchain':'unresolvable','unresolvableRef':'S7','commercialSemantics':'The\x20benchmark\x27s\x20price\x20guarantee\x20needs\x20off-chain\x20price\x20discovery\x20and\x20a\x20credit\x20wallet:\x20no\x20chain\x20primitive\x20observes\x20third-party\x20prices\x20or\x20mints\x20credit\x20balances.\x20The\x20nearest\x20on-chain\x20behavior\x20is\x20repricing\x20a\x20FUTURE\x20segment\x20plan\x20with\x20the\x20quote\x20floor\x20kept\x20above\x20the\x20segment\x20sum;\x20mid-sequence\x20repricing\x20above\x20the\x20escrow\x20aborts\x20(EINSUFFICIENT_BALANCE)\x20and\x20strands\x20the\x20order.','disclosureProbe':'Quote\x20min_booking_amount\x20above\x20the\x20segment\x20sum|price\x20segments\x20as\x20Rates','evidence':[]},{'id':'R1','class':'remedy','name':'Cooling-off\x20/\x20ruling\x20refunds\x20pay\x20the\x20order\x20anchor\x20via\x20the\x20single\x20refund\x20rail','actor':'keeper','precondition':['E1'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'One\x20layer-1\x20refund\x20row\x20covers\x20both\x20entries\x20into\x20closed_cancel\x20(free_cancel\x20and\x20arb_refund):\x20Rate\x2010000\x20to\x20GuardIdentifier(0),\x20node-gated\x20with\x20a\x20caller-authorization\x20leg,\x20no\x20claimed_by\x20leg\x20(decision\x2011).\x20It\x20is\x20the\x20SOLE\x20closed_cancel\x20exit\x20—\x20the\x20tiered\x20charges\x20ride\x20their\x20own\x20per-tier\x20terminal\x20rails\x20and\x20must\x20never\x20land\x20here.','evidence':[{'file':'allocation.move','line':0x1af,'pattern':'ERATE_NOT_10000'},{'file':'allocation.move','line':0x26d,'pattern':'ERECIPIENT_NOT_FOR_OBJECT'}]},{'id':'R2','class':'remedy','name':'Compensation\x20award\x20drawn\x20from\x20the\x20fund\x20(capped\x203x\x20the\x20escrowed\x20basis,\x20order-owner-bound)','actor':'arbitrator','precondition':['E10'],'onchain':'disclosure_only','commercialSemantics':'Buyer-won\x20awards\x20pay\x20from\x20the\x20SERVICE\x20COMPENSATION\x20POOL\x20—\x20a\x20commercial\x20track\x20that\x20never\x20moves\x20the\x20order\x20escrow\x20—\x20so\x20the\x20buyer\x20may\x20collect\x20BOTH\x20the\x20award\x20and\x20an\x20escrow\x20refund.\x20The\x20per-order\x20covered\x20ceiling\x20is\x20fund/3\x20(MAX_INDEMNITY_MULTIPLE);\x20a\x20quoted\x20headline\x20figure\x20is\x20prose\x20with\x20no\x20chain\x20anchor\x20and\x20shrinks\x20in\x20place\x20after\x20every\x20award.','disclosureProbe':'compensation\x20fund|MAX_INDEMNITY_MULTIPLE','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'},{'file':'service.move','line':0x265,'pattern':'order::owner'}]},{'id':'R3','class':'remedy','name':'Dual-payout\x20transparency\x20at\x20the\x20confirmation\x20gate\x20(award\x20+\x20escrow\x20refund)','actor':'keeper','precondition':['R2'],'onchain':'disclosure_only','commercialSemantics':'Order\x20money\x20and\x20arbitration\x20money\x20are\x20ordered\x20by\x20business\x20rules,\x20not\x20chain\x20netting;\x20the\x20MCP\x20dual-payout\x20confirmation\x20gate\x20is\x20the\x20disclosure\x20point\x20where\x20buyer,\x20merchant\x20and\x20arbitrator\x20see\x20both\x20tracks\x20before\x20anything\x20executes.','disclosureProbe':'dual-payout\x20confirmation\x20gate','evidence':[]},{'id':'R4','class':'remedy','name':'Awarded-order\x20escrow\x20pairing\x20(ESCROW\x20EXIT\x20INVARIANT\x20—\x20build-time\x20recovery\x20duty)','actor':'keeper','precondition':['R2'],'onchain':'disclosure_only','commercialSemantics':'The\x20refund\x20rail\x20blocks\x20once\x20an\x20award\x20has\x20ACTUALLY\x20paid,\x20so\x20the\x20pairing\x20must\x20be\x20structural:\x20the\x20template\x27s\x20doctrine\x20pairs\x20the\x20buyer\x20refund\x20rail\x20with\x20a\x20merchant-recovery\x20sweep\x20partitioning\x20the\x20terminal\x20sets\x20by\x20node\x20state.\x20An\x20uncovered\x20stop\x20node\x20strands\x20the\x20escrow\x20permanently\x20—\x20Machine\x20and\x20Allocator\x20are\x20immutable\x20after\x20publish.','disclosureProbe':'ESCROW\x20EXIT\x20INVARIANT','evidence':[{'file':'order.move','line':0x79,'pattern':'E_ORDER_ALREADY_CLAIMED'}]},{'id':'R5','class':'remedy','name':'Refunded\x20slots\x20restocked\x20(service.restock\x20keeper\x20duty\x20after\x20every\x20refund)','actor':'keeper','precondition':['E1'],'onchain':'disclosure_only','commercialSemantics':'Restock\x20parity\x20with\x20the\x20incumbent:\x20a\x20refunded\x20order\x27s\x20slots\x20must\x20return\x20to\x20sellable\x20stock\x20via\x20service.restock\x20{op:\x27order\x27}\x20exactly\x20once\x20per\x20order\x20—\x20a\x20double\x20run\x20aborts,\x20and\x20a\x20missed\x20run\x20is\x20a\x20silent\x20inventory\x20loss\x20(sold-out\x20inventory\x20that\x20is\x20actually\x20free).','disclosureProbe':'refunded\x20slots\x20return\x20to\x20sellable\x20stock','evidence':[]},{'id':'P1','class':'post','name':'Monthly\x20batch\x20settlement\x20variant\x20(one\x20Amount\x20leg\x20per\x20supplier-month)','actor':'keeper','precondition':['M10'],'onchain':'disclosure_only','commercialSemantics':'For\x20long-running\x20products\x20the\x20layer-2\x20recipients\x20become\x20per\x20supplier-month\x20legs\x20released\x20on\x20that\x20month\x27s\x20guard.\x20Supplier\x20payouts\x20must\x20never\x20route\x20through\x20an\x20organizer\x20pool\x20—\x20that\x20makes\x20the\x20organizer\x20a\x20mandatory\x20transit\x20waypoint\x20—\x20and\x20an\x20EMPTY\x20recipient\x20silently\x20pays\x20the\x20deploying\x20account.','disclosureProbe':'Monthly\x20settlement\x20variant','evidence':[]},{'id':'P2','class':'post','name':'Review\x20rows\x20accumulate\x20as\x20the\x20reputation\x20ledger\x20(once\x20per\x20buyer\x20per\x20order)','actor':'buyer','precondition':['M11'],'onchain':'disclosure_only','commercialSemantics':'The\x20claim\x20guard\x27s\x20replay\x20arming\x20is\x20the\x20reputation\x20primitive:\x20entry-stamped\x20+\x20order-scoped\x20record\x20gate\x20=\x20once\x20per\x20buyer\x20per\x20order;\x20the\x20recipient-only\x20EMPTY\x20variant\x20degrades\x20to\x20once-per-buyer-for-life\x20and\x20must\x20never\x20back\x20per-order\x20bounty\x20wording.','disclosureProbe':'review\x20content\x20hash|once\x20per\x20buyer\x20per\x20order','evidence':[]},{'id':'P3','class':'post','name':'Repeat\x20booking\x20of\x20another\x20activity\x20(a\x20fresh\x20Order\x20per\x20purchase)','actor':'buyer','precondition':['M10'],'onchain':'expressible','chainFootprint':{'forward':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'There\x20is\x20no\x20cross-order\x20grouping:\x20every\x20activity\x20purchase\x20is\x20its\x20own\x20Order\x20on\x20the\x20same\x20entry\x20rail.\x20The\x20S2\x20limit\x20means\x20multi-trip\x20packages\x20must\x20be\x20modeled\x20as\x20segments\x20inside\x20ONE\x20order,\x20never\x20as\x20linked\x20sibling\x20orders.','evidence':[]},{'id':'P4','class':'post','name':'Immutable\x20trip\x20record\x20retained\x20at\x20the\x20settled\x20terminal\x20(progress\x20history)','actor':'buyer','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'settled','moneyEffect':'none'},'commercialSemantics':'The\x20terminal\x20node\x20and\x20its\x20progress\x20history\x20are\x20the\x20durable\x20itinerary\x20proof:\x20every\x20advance\x20appends\x20a\x20witness\x20entry\x20with\x20its\x20own\x20clock\x20time\x20—\x20the\x20same\x20anchors\x20the\x20claim\x20window\x20and\x20the\x20release\x20clock\x20read.','evidence':[{'file':'progress.move','line':0x8e,'pattern':'history:\x20ParentTableVec'}]}],'invariants':[{'id':'INV-KLK-1','statement':'The\x20no-show\x20band\x20charge\x20(70%\x20default)\x20must\x20ride\x20its\x20own\x20disjoint\x20tier\x20rail:\x20cancel_tier_4_charge_bps\x20may\x20only\x20be\x20non-zero\x20while\x20the\x20paid\x20->\x20cancelled_t4\x20forward\x20exists\x20—\x20deleting\x20the\x20rail\x20while\x20keeping\x20the\x20charge\x20would\x20route\x20a\x2070%\x20take\x20through\x20no\x20band\x20at\x20all\x20and\x20strand\x20the\x20buyer\x27s\x20complement.','jurisdiction':'Consumer\x20cancellation-ladder\x20rules\x20(China\x20E-Commerce\x20Law\x20art.\x2049\x20fairness;\x20EU\x20Package\x20Travel\x20Directive\x202015/2302\x20art.\x2012\x20cancellation\x20fees).','chainConflict':'The\x20four\x20cancellation\x20charges\x20are\x20fee_params\x20consumed\x20by\x20per-tier\x20allocator\x20legs;\x20the\x20disjoint\x20band\x20guards\x20are\x20the\x20ONLY\x20disjointness\x20guarantee\x20(the\x20allocator\x20vector\x20is\x20not\x20first-match-wins,\x20so\x20an\x20overlapping\x20band\x20would\x20double-charge\x20and\x20a\x20missing\x20rail\x20would\x20strand\x20the\x20complement\x20leg).','violation':{'requiresFeeParamNonZero':'cancel_tier_4_charge_bps','whileMissingForward':'cancel_tier_4'},'evidence':[{'file':'allocation.move','line':0x1af,'pattern':'ERATE_NOT_10000'},{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'}]},{'id':'INV-KLK-2','statement':'Post-start\x20cancellation\x20must\x20never\x20self-service\x20refund:\x20the\x20four\x20bands\x20are\x20mutually\x20exclusive\x20and\x20all\x20fail\x20closed\x20at\x20and\x20after\x20service_start_ms;\x20an\x20UNSET\x20service_start_ms\x20(0)\x20fails\x20every\x20band\x20closed,\x20so\x20the\x20build\x20duty\x20is\x20setting\x20the\x20real\x20departure\x20timestamp\x20before\x20publish\x20—\x20a\x20re-entry\x20or\x20late\x20booker\x20must\x20never\x20reopen\x20a\x20cheaper\x20band.','jurisdiction':'Same\x20consumer\x20ladder\x20rules\x20as\x20INV-KLK-1.','chainConflict':'The\x20bands\x20anchor\x20on\x20ONE\x20absolute\x20epoch-ms\x20anchor\x20with\x20add-only\x20arithmetic;\x20the\x20anchor\x20is\x20never\x20subtracted\x20from\x20because\x20it\x20sits\x20in\x20the\x20future\x20and\x20a\x20U64\x20subtraction\x20would\x20underflow\x20and\x20fail\x20the\x20band\x20closed\x20forever.','evidence':[]},{'id':'INV-KLK-3','statement':'Venue\x20turn-up\x20failure\x20compensation\x20(the\x20benchmark\x27s\x20real-product\x20guarantee)\x20pays\x20from\x20the\x20arbitration\x20fund\x20capped\x20at\x203x\x20the\x20ESCROWED\x20basis\x20and\x20ONLY\x20to\x20the\x20order\x20owner\x20—\x20never\x20from\x20the\x20order\x20escrow,\x20and\x20a\x20headline\x20fund\x20figure\x20quoted\x20in\x20prose\x20is\x20not\x20a\x20chain\x20anchor.','jurisdiction':'Benchmark\x20turn-up\x20guarantee\x20terms;\x20PRC\x20Civil\x20Code\x20art.\x20577\x20breach\x20damages.','chainConflict':'The\x20fund-draw\x20side\x20pays\x20the\x20award\x20to\x20the\x20order\x20owner\x20and\x20ONLY\x20to\x20the\x20order\x20owner;\x20the\x20cap\x20is\x20MAX_INDEMNITY_MULTIPLE\x20(3)\x20times\x20the\x20indemnity-cap\x20basis,\x20and\x20awards\x20shrink\x20the\x20live\x20fund\x20in\x20place\x20so\x20the\x20quoted\x20number\x20silently\x20goes\x20stale.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'service.move','line':0x265,'pattern':'order::owner'},{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]}]};
+export const KLOOK_ORACLE={'productRef':'klook','products':['klook','kkday','getyourguide','viator','ctrip-experience'],'oracleVersion':'1.0.0','steps':[{'id':'M1','class':'offchain','name':'Browse\x20destination\x20activities\x20and\x20compare\x20prices\x20(search/SEO/discovery\x20is\x20an\x20app\x20concern)','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Catalog\x20discovery,\x20ranking\x20and\x20price\x20comparison\x20are\x20pure\x20off-chain\x20concerns;\x20the\x20chain\x20holds\x20no\x20inventory\x20or\x20demand\x20oracle.\x20The\x20template\x20exposes\x20discovery\x20only\x20through\x20the\x20market\x20layer,\x20never\x20inside\x20the\x20order\x20path.','evidence':[]},{'id':'M2','class':'offchain','name':'Select\x20the\x20option\x20tier,\x20departure\x20date/time\x20slot\x20and\x20traveler\x20count','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Option\x20tier,\x20date\x20and\x20traveler\x20mix\x20configure\x20the\x20quote.\x20On\x20chain\x20this\x20collapses\x20into\x20ONE\x20absolute\x20departure\x20anchor:\x20service_start_ms\x20(epoch\x20ms)\x20plus\x20the\x20per-segment\x20plan;\x20the\x20per-segment\x20node\x20count\x20expands\x20from\x20segment_count\x20at\x20build\x20time.','evidence':[]},{'id':'M3','class':'main','name':'Pay\x20and\x20escrow\x20the\x20booking\x20total\x20(multi-segment\x20trip\x20in\x20one\x20Order)','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'One\x20atomic\x20buy\x20escrows\x20the\x20whole\x20multi-segment\x20booking.\x20Direct\x20sales:\x20the\x20merchant\x20keeps\x20the\x20whole\x20booking\x20—\x20platform_commission_bps\x20and\x20merchant_service_fee_bps\x20ship\x200\x20and\x20there\x20is\x20NO\x20residual\x20take;\x20segment\x20sums\x20are\x20pinned\x20to\x20the\x20order\x20total\x20by\x20construction.','evidence':[{'file':'service.move','line':0x1c9,'pattern':'public\x20fun\x20buy'}]},{'id':'M4','class':'main','name':'Per-order\x20layer-2\x20Allocation\x20created\x20after\x20payment\x20(keeper)','actor':'keeper','precondition':['M3'],'onchain':'disclosure_only','commercialSemantics':'The\x20waterfall\x20is\x20two-tier:\x20the\x20layer-1\x20Service\x20escrow\x20stays\x20intact\x20for\x20refunds,\x20and\x20a\x20per-order\x20layer-2\x20Allocation\x20carries\x20the\x20exact\x20per-segment\x20Amount\x20legs.\x20Creation\x20is\x20a\x20keeper\x20duty\x20after\x20payment;\x20a\x20Service-level\x20segment\x20Rate\x20allocator\x20fails\x20contract\x20validation\x20by\x20design.','disclosureProbe':'per-order\x20layer-2\x20Allocation\x20creation\x20after\x20payment','evidence':[{'file':'allocation.move','line':0x271,'pattern':'Recipient::Entity'},{'file':'allocation.move','line':0x25,'pattern':'EZERO_DISTRIBUTION'}]},{'id':'M5','class':'main','name':'Segment\x201\x20redeemed:\x20supplier\x20submits\x20WIP\x20and\x20buyer\x20confirms\x20(dual\x20confirmation)','actor':'fulfiller','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'segment_D1','forward':'segment_1_deliver','prev':'paid','moneyEffect':'none'},'commercialSemantics':'Redemption\x20is\x20the\x20only\x20settlement\x20evidence:\x20per\x20segment\x20the\x20supplier\x20submits\x20a\x20WIP\x20and\x20the\x20buyer\x20confirms,\x20each\x20segment\x20binding\x20its\x20OWN\x20guard\x20instance\x20so\x20adjacent\x20segments\x20cannot\x20double-fire.\x20The\x20supplier\x20eyeballing\x20the\x20recorded\x20contact\x20(never\x20the\x20recorded\x20address\x20value)\x20is\x20the\x20acceptance\x20basis.','guardKeyProbe':'repository_data_check','guardProbeKind':'feature','evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'M6','class':'main','name':'Remaining\x20segments\x20redeemed\x20sequentially\x20(same\x20dual-confirmation\x20pattern,\x20build-time\x20expansion)','actor':'fulfiller','precondition':['M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'segment_D3','forward':'segment_3_deliver','prev':'segment_D2','moneyEffect':'none'},'commercialSemantics':'Segments\x202..N\x20advance\x20identically;\x20the\x20shipped\x20shape\x20shows\x20three\x20representative\x20segment\x20nodes\x20and\x20the\x20operator\x20expands\x20them\x20to\x20the\x20real\x20trip\x20length\x20via\x20segment_count.\x20Each\x20redemption\x20releases\x20that\x20segment\x27s\x20exact\x20layer-2\x20Amount\x20leg.','gapPredicate':{'probe':'per-segment\x20nodes\x20expand\x20to\x20match'},'evidence':[]},{'id':'M7','class':'main','name':'T+3\x20fallback\x20confirmation\x20for\x20a\x20silent\x20buyer\x20(keeper)','actor':'keeper','precondition':['M5'],'onchain':'disclosure_only','commercialSemantics':'If\x20the\x20buyer\x20never\x20confirms\x20a\x20redeemed\x20segment,\x20the\x20keeper\x27s\x20T+3\x20fallback\x20releases\x20that\x20segment\x27s\x20leg\x20so\x20a\x20silent\x20buyer\x20cannot\x20strand\x20the\x20supplier\x27s\x20payout.\x20It\x20is\x20a\x20declared\x20keeper\x20dependency,\x20not\x20an\x20on-machine\x20edge.','disclosureProbe':'redemption\x20confirmation\x20fallback','evidence':[]},{'id':'M8','class':'main','name':'All\x20segments\x20redeemed\x20—\x20completed\x20(the\x20serial\x20hold,\x20NOT\x20settlement)','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'segment_D3','moneyEffect':'none'},'commercialSemantics':'completed\x20is\x20deliberately\x20not\x20the\x20settlement\x20node:\x20the\x20residual\x20stays\x20pooled\x20while\x20post-delivery\x20claims\x20could\x20still\x20be\x20filed.\x20Its\x20only\x20exit\x20is\x20the\x20keeper-opened\x20serial\x20claim\x20window\x20—\x20an\x20unopened\x20window\x20holds\x20the\x20pool\x20here\x20by\x20design.','evidence':[]},{'id':'M9','class':'main','name':'Keeper\x20opens\x20the\x20serial\x20claim\x20window\x20right\x20after\x20completion','actor':'keeper','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'claim_window','forward':'open_claim_window','prev':'completed','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20window\x20is\x20a\x20mandatory\x20waypoint\x20between\x20completed\x20and\x20any\x20residual\x20release:\x20filing\x20closes\x20at\x20claim_window\x20ENTRY\x20+\x20claim_window_days\x20and\x20the\x20no-claim\x20release\x20opens\x20on\x20the\x20same\x20witness\x20anchor.\x20Opening\x20it\x20is\x20a\x20hard\x20keeper\x20duty\x20before\x20ANY\x20money\x20moves\x20post-delivery.','evidence':[{'file':'progress.move','line':0x8e,'pattern':'history:\x20ParentTableVec'}]},{'id':'M10','class':'main','name':'Claim\x20window\x20elapses\x20with\x20no\x20claim\x20—\x20residual\x20release\x20settles\x20(normally\x20ZERO)','actor':'keeper','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'settled','forward':'release_no_claim','prev':'claim_window','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'The\x20sole\x20non-claim\x20exit\x20opens\x20on\x20the\x20witness-anchored\x20clock.\x20Under\x20the\x20two-tier\x20waterfall\x20the\x20residual\x20is\x20normally\x20ZERO\x20because\x20the\x20per-segment\x20Amount\x20legs\x20are\x20pinned\x20to\x20the\x20order\x20total;\x20the\x20rail\x20exists\x20so\x20any\x20repriced/cancelled-segment\x20remainder\x20still\x20exits\x20instead\x20of\x20stranding.','guardKeyProbe':'release_no_claim_clock','evidence':[{'file':'progress.move','line':0x22c,'pattern':'parent_table_vec::push_back'}]},{'id':'M11','class':'main','name':'Review-reward\x20claim\x20against\x20the\x20sale-time-planned\x20bounty\x20(0.006\x20WOW\x20per-claim\x20floor)','actor':'buyer','precondition':['M8'],'onchain':'expressible_with_gap','chainFootprint':{'node':'completed','moneyEffect':'reward'},'commercialSemantics':'The\x20Reward\x20is\x20configured\x20at\x20Service\x20build\x20time,\x20funded\x20via\x20reward_funding\x20(pool\x20plan\x20=\x20expected\x20claims\x20x\x20review_reward_per_claim,\x20compile-enforced\x20above\x20the\x20claim-gas\x20floor).\x20Claim\x20terms:\x20Progress\x20at\x20completed\x20+\x20review\x20content\x20hash,\x20window\x20kernel-derived\x20from\x20the\x20claim-allowed\x20terminal\x20entry,\x20once\x20per\x20order\x20(order-scoped\x20record\x20gate\x20+\x20entry\x20store_from_id\x20stamp\x20+\x20Signer\x20==\x20order.owner).','gapPredicate':{'probe':'no\x20review\x20node|review\x20content\x20hash'},'evidence':[{'file':'reward.move','line':0xe3,'pattern':'public\x20fun\x20claim'}]},{'id':'E1','class':'exception','name':'Free\x20cancellation\x20inside\x20the\x20post-booking\x20cooling-off\x20window\x20(full\x20refund)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'free_cancel','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x20cheapest\x20exit:\x20full\x20refund\x20within\x20free_cancel_hours\x20of\x20BOOKING\x20(no\x20use-date\x20primitive\x20exists\x20on\x20chain;\x20a\x20faithful\x20stay-date\x20window\x20rides\x20a\x20Repository\x20row\x20per\x20the\x20stay-date\x20prescription).\x20The\x20window\x20is\x20CLOSING\x20(time_window_upper_bound,\x20not\x20its\x20opening\x20twin)\x20and\x20carries\x20an\x20order-holder\x20identity\x20leg.','guardKeyProbe':'free_cancel','evidence':[]},{'id':'E2','class':'exception','name':'Cancel\x207+\x20days\x20before\x20the\x20service\x20start\x20(tier\x201\x20—\x205%\x20charge)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'cancelled_t1','forward':'cancel_tier_1','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x20shipped\x20ladder,\x20not\x20prose:\x20charge\x20bps\x20to\x20the\x20supplier\x20Entity\x20and\x20the\x20complement\x20back\x20to\x20the\x20order\x20anchor,\x20both\x20read\x20from\x20cancel_tier_1_charge_bps\x20so\x20the\x20split\x20always\x20sums\x20to\x2010000.\x20Band:\x20notice\x20>=\x20168h,\x20open-ended\x20upward.','guardKeyProbe':'cancel_tier_1','evidence':[]},{'id':'E3','class':'exception','name':'Cancel\x203-7\x20days\x20before\x20the\x20service\x20start\x20(tier\x202\x20—\x2020%\x20charge)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'cancelled_t2','forward':'cancel_tier_2','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Band:\x2072h\x20<=\x20notice\x20<\x20168h.\x20The\x20bands\x20are\x20disjoint\x20by\x20construction\x20(the\x20upper\x20leg\x20of\x20N\x20is\x20the\x20lower\x20leg\x20of\x20N-1)\x20and\x20all\x20four\x20anchor\x20on\x20the\x20SAME\x20absolute\x20service_start_ms\x20with\x20add-only\x20arithmetic\x20—\x20a\x20subtraction\x20from\x20a\x20future\x20anchor\x20would\x20underflow\x20a\x20U64\x20and\x20fail\x20the\x20band\x20closed\x20forever.','guardKeyProbe':'cancel_tier_2','evidence':[]},{'id':'E4','class':'exception','name':'Cancel\x201-3\x20days\x20before\x20the\x20service\x20start\x20(tier\x203\x20—\x2050%\x20charge)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'cancelled_t3','forward':'cancel_tier_3','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Band:\x2024h\x20<=\x20notice\x20<\x2072h.\x20Exactly\x20one\x20tier\x20rail\x20can\x20pass\x20at\x20any\x20instant;\x20overlapping\x20bands\x20would\x20double-charge\x20because\x20the\x20allocator\x20vector\x20is\x20not\x20first-match-wins.','guardKeyProbe':'cancel_tier_3','evidence':[]},{'id':'E5','class':'exception','name':'Cancel\x20under\x2024h\x20before\x20the\x20service\x20start\x20/\x20no-show\x20(tier\x204\x20—\x2070%\x20charge)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'cancelled_t4','forward':'cancel_tier_4','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x20no-show\x20band:\x200\x20<=\x20notice\x20<\x2024h.\x20The\x20identity\x20leg\x20is\x20not\x20optional\x20—\x20the\x20edge\x27s\x20operator:\x20order_payer\x20is\x20metadata\x20and\x20an\x20empty\x20namedOperator\x20admits\x20ANY\x20signer,\x20so\x20without\x20it\x20a\x20stranger\x20could\x20drive\x20the\x20buyer\x27s\x20cancel\x20into\x20the\x20cheapest\x20band.','guardKeyProbe':'cancel_tier_4','evidence':[]},{'id':'E6','class':'exception','name':'Post-start\x20cancellation\x20attempt\x20(no\x20band\x20passes\x20—\x20arbitration/no-show\x20route\x20only)','actor':'buyer','precondition':['M5'],'onchain':'disclosure_only','commercialSemantics':'A\x20cancellation\x20AT\x20or\x20AFTER\x20the\x20service\x20start\x20falls\x20in\x20no\x20band\x20at\x20all:\x20all\x20four\x20rails\x20fail\x20closed,\x20so\x20the\x20post-start\x20path\x20is\x20arbitration\x20/\x20the\x20no-show\x20evidence\x20rails,\x20never\x20a\x20self-service\x20refund.\x20The\x20buyer\x27s\x20remedies\x20there\x20are\x20the\x20serial-window\x20claim\x20(E8)\x20and\x20the\x20fund-drawn\x20award\x20(R2).','disclosureProbe':'Post-start\x20cancellations\x20fall\x20in\x20NO\x20band','evidence':[]},{'id':'E7','class':'exception','name':'Booking\x20without\x20a\x20departure\x20timestamp\x20(service_start_ms\x20unset\x20—\x20ladder\x20inert)','actor':'merchant','precondition':['M3'],'onchain':'disclosure_only','commercialSemantics':'service_start_ms\x20ships\x200\x20and\x200\x20fails\x20all\x20four\x20bands\x20closed\x20BY\x20DESIGN:\x20the\x20build\x20must\x20set\x20the\x20real\x20departure\x20timestamp\x20(fee_overrides)\x20before\x20publishing,\x20otherwise\x20every\x20tiered\x20cancellation\x20is\x20impossible\x20and\x20the\x20buyer\x20is\x20locked\x20into\x20the\x20arbitration\x20route.','disclosureProbe':'0\x20fails\x20every\x20cancellation\x20band\x20closed','evidence':[]},{'id':'E8','class':'exception','name':'Post-delivery\x20claim\x20filed\x20inside\x20the\x20serial\x20window\x20(misrepresentation\x20/\x20venue\x20no-show\x20/\x20partial\x20delivery)','actor':'buyer','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'poststay_claim','forward':'file_claim','prev':'claim_window','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Disputes\x20are\x20filed\x20OFF-Machine\x20into\x20Arbitration\x20(independent\x20Permission);\x20the\x20on-machine\x20poststay_claim\x20node\x20is\x20the\x20filing\x20waypoint\x20that\x20keeps\x20the\x20pool\x20intact\x20while\x20the\x20claim\x20is\x20open.\x20The\x20closing\x20window\x20witness-anchors\x20on\x20the\x20claim_window\x20ENTRY\x20so\x20keeper\x20timing\x20cannot\x20shift\x20it,\x20plus\x20an\x20order-holder\x20leg.','guardKeyProbe':'poststay_claim_window','evidence':[{'file':'arbitration.move','line':0x169,'pattern':'order::assert_op_permission'}]},{'id':'E9','class':'exception','name':'Buyer\x20withdraws\x20the\x20filed\x20claim\x20(single-hop\x20void\x20escape,\x20full\x20escrow\x20back)\x20(BANNED\x20-\x20D2\x20no-withdraw\x20doctrine:\x20a\x20filed\x20claim\x20reaches\x20a\x20RULING\x20instead)','actor':'buyer','precondition':['E8'],'onchain':'not_applicable','chainFootprint':{'node':'closed_cancel','prev':'poststay_claim','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Both\x20ruling\x20roots\x20fail\x20closed\x20on\x20the\x20None\x20indemnity,\x20so\x20a\x20withdrawn\x20(arb_withdraw\x203→6/5→6),\x20reset\x20or\x20abandoned\x20case\x20would\x20strand\x20the\x20order\x20at\x20poststay_claim\x20forever\x20without\x20this\x20edge;\x20the\x20withdrawal\x20returns\x20the\x20untouched\x20escrow\x20in\x20full.','guardKeyProbe':'withdraw_claim_poststay','evidence':[{'file':'arbitration.move','line':0x21a,'pattern':'public\x20fun\x20arb_withdraw'},{'file':'arb.move','line':0x10,'pattern':'WITHDRAW_DURATION_TIME'}]},{'id':'E10','class':'exception','name':'Buyer-favor\x20ruling\x20executes\x20the\x20escrow\x20refund\x20from\x20poststay_claim','actor':'arbitrator','precondition':['E8'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'arb_refund','prev':'poststay_claim','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20ruling\x20edge\x20departs\x20the\x20filing\x20waypoint\x20(pool\x20guaranteed\x20intact)\x20and\x20rides\x20the\x20dedicated\x20refund-rail\x20slot\x201001,\x20never\x20the\x20settle\x20bucket:\x20gate\x20=\x20arb.order\x20==\x20order\x20AND\x20arb.indemnity\x20some\x20==\x20true.\x20Never\x20gate\x20on\x20arb.status\x20—\x20a\x20fee\x20withdrawal\x20advances\x20the\x20case\x20past\x20the\x20gate.','guardKeyProbe':'arb_won_claim','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x28,'pattern':'E_ZERO_INDEMNITY_CLAIM'}]},{'id':'E11','class':'exception','name':'Dismissed\x20ruling\x20rejoins\x20the\x20settlement\x20path\x20at\x20settled','actor':'arbitrator','precondition':['E8'],'onchain':'expressible','chainFootprint':{'node':'settled','forward':'claim_dismissed','prev':'poststay_claim','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'A\x20supplier-favor\x20ruling\x20(indemnity\x20Some(0))\x20releases\x20the\x20pool\x20through\x20the\x20settled\x20exit\x20on\x20an\x20intact,\x20dispute-concluded\x20state.\x20Fail-closed\x20by\x20construction:\x20the\x20amount\x20query\x20errors\x20on\x20the\x20None\x20field,\x20so\x20a\x20never-ruled\x20or\x20reset\x20case\x20can\x20never\x20ride\x20this\x20edge.','guardKeyProbe':'arb_dismissed_poststay','evidence':[{'file':'arb.move','line':0x9a,'pattern':'Status_Withdrawn'}]},{'id':'E12','class':'exception','name':'Force\x20majeure\x20/\x20venue\x20closure\x20—\x20no\x20evidence\x20window\x20exists','actor':'merchant','precondition':['M8'],'onchain':'disclosure_only','commercialSemantics':'The\x2048h\x20force-majeure\x20knob\x20was\x20deleted\x20as\x20unenforceable:\x20no\x20edge\x20carried\x20it,\x20and\x20the\x20obvious\x20host\x20—\x20a\x20closing\x20window\x20on\x20claim_dismissed\x20—\x20would\x20seal\x20the\x20ONLY\x20non-refund\x20exit\x20of\x20a\x20post-stay\x20claim.\x20A\x20faithful\x20version\x20gates\x20filing,\x20which\x20claim_window_days\x20already\x20provides.','disclosureProbe':'FORCE-MAJEURE\x20EVIDENCE\x20WINDOW','evidence':[]},{'id':'E13','class':'exception','name':'Reschedule\x20/\x20date\x20change\x20(one\x20absolute\x20anchor\x20per\x20order)','actor':'buyer','precondition':['M3'],'onchain':'disclosure_only','commercialSemantics':'The\x20real\x20product\x20resells\x20free\x20date\x20changes;\x20on\x20chain\x20ONE\x20order\x20carries\x20ONE\x20absolute\x20service_start_ms\x20and\x20the\x20machine\x20is\x20immutable\x20after\x20publish,\x20so\x20a\x20date\x20change\x20is\x20cancel\x20(tiered\x20charges\x20may\x20apply)\x20+\x20rebook,\x20not\x20an\x20in-order\x20edit.\x20Ticket-validity-style\x20time\x20constants\x20must\x20ride\x20fee_params,\x20never\x20hand-written\x20values.','disclosureProbe':'ticket\x20validity|service_start_ms','evidence':[]},{'id':'E14','class':'exception','name':'Traveler\x20credentials\x20for\x20venue\x20entry\x20(required_info\x20is\x20DECLARATIVE\x20only)','actor':'buyer','precondition':['M3'],'onchain':'disclosure_only','commercialSemantics':'The\x20on-chain\x20purchase\x20entry\x20never\x20reads\x20customer_required,\x20and\x20order.required_info\x20is\x20an\x20Option\x20the\x20buyer\x20may\x20leave\x20empty\x20—\x20an\x20unconditional\x20presence\x20gate\x20on\x20segment\x20redemption\x20would\x20brick\x20every\x20segment\x20of\x20an\x20info-free\x20store.\x20The\x20enforced\x20form\x20ANDs\x20a\x20presence\x20root\x20into\x20the\x20FIRST\x20segment\x20redemption;\x20only\x20presence\x20is\x20asserted,\x20never\x20the\x20recorded\x20value.','disclosureProbe':'customer_required\x20is\x20DECLARATIVE\x20ONLY','evidence':[{'file':'order.move','line':0x52,'pattern':'public\x20fun\x20required_info_update'}]},{'id':'E15','class':'exception','name':'Price-drop\x20/\x20cheaper-elsewhere\x20guarantee\x20(2x\x20difference\x20in\x20credits)\x20—\x20no\x20price\x20oracle','actor':'platform','precondition':['M3'],'onchain':'unresolvable','unresolvableRef':'S7','commercialSemantics':'The\x20benchmark\x27s\x20price\x20guarantee\x20needs\x20off-chain\x20price\x20discovery\x20and\x20a\x20credit\x20wallet:\x20no\x20chain\x20primitive\x20observes\x20third-party\x20prices\x20or\x20mints\x20credit\x20balances.\x20The\x20nearest\x20on-chain\x20behavior\x20is\x20repricing\x20a\x20FUTURE\x20segment\x20plan\x20with\x20the\x20quote\x20floor\x20kept\x20above\x20the\x20segment\x20sum;\x20mid-sequence\x20repricing\x20above\x20the\x20escrow\x20aborts\x20(EINSUFFICIENT_BALANCE)\x20and\x20strands\x20the\x20order.','disclosureProbe':'Quote\x20min_booking_amount\x20above\x20the\x20segment\x20sum|price\x20segments\x20as\x20Rates','evidence':[]},{'id':'R1','class':'remedy','name':'Cooling-off\x20/\x20ruling\x20refunds\x20pay\x20the\x20order\x20anchor\x20via\x20the\x20single\x20refund\x20rail','actor':'keeper','precondition':['E1'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'One\x20layer-1\x20refund\x20row\x20covers\x20both\x20entries\x20into\x20closed_cancel\x20(free_cancel\x20and\x20arb_refund):\x20Rate\x2010000\x20to\x20GuardIdentifier(0),\x20node-gated\x20with\x20a\x20caller-authorization\x20leg,\x20no\x20claimed_by\x20leg\x20(decision\x2011).\x20It\x20is\x20the\x20SOLE\x20closed_cancel\x20exit\x20—\x20the\x20tiered\x20charges\x20ride\x20their\x20own\x20per-tier\x20terminal\x20rails\x20and\x20must\x20never\x20land\x20here.','evidence':[{'file':'allocation.move','line':0x1af,'pattern':'ERATE_NOT_10000'},{'file':'allocation.move','line':0x26d,'pattern':'ERECIPIENT_NOT_FOR_OBJECT'}]},{'id':'R2','class':'remedy','name':'Compensation\x20award\x20drawn\x20from\x20the\x20fund\x20(capped\x203x\x20the\x20escrowed\x20basis,\x20order-owner-bound)','actor':'arbitrator','precondition':['E10'],'onchain':'disclosure_only','commercialSemantics':'Buyer-won\x20awards\x20pay\x20from\x20the\x20SERVICE\x20COMPENSATION\x20POOL\x20—\x20a\x20commercial\x20track\x20that\x20never\x20moves\x20the\x20order\x20escrow\x20—\x20so\x20the\x20buyer\x20may\x20collect\x20BOTH\x20the\x20award\x20and\x20an\x20escrow\x20refund.\x20The\x20per-order\x20covered\x20ceiling\x20is\x20fund/3\x20(MAX_INDEMNITY_MULTIPLE);\x20a\x20quoted\x20headline\x20figure\x20is\x20prose\x20with\x20no\x20chain\x20anchor\x20and\x20shrinks\x20in\x20place\x20after\x20every\x20award.','disclosureProbe':'compensation\x20fund|MAX_INDEMNITY_MULTIPLE','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'},{'file':'service.move','line':0x265,'pattern':'order::owner'}]},{'id':'R3','class':'remedy','name':'Dual-payout\x20transparency\x20at\x20the\x20confirmation\x20gate\x20(award\x20+\x20escrow\x20refund)','actor':'keeper','precondition':['R2'],'onchain':'disclosure_only','commercialSemantics':'Order\x20money\x20and\x20arbitration\x20money\x20are\x20ordered\x20by\x20business\x20rules,\x20not\x20chain\x20netting;\x20the\x20MCP\x20dual-payout\x20confirmation\x20gate\x20is\x20the\x20disclosure\x20point\x20where\x20buyer,\x20merchant\x20and\x20arbitrator\x20see\x20both\x20tracks\x20before\x20anything\x20executes.','disclosureProbe':'dual-payout\x20confirmation\x20gate','evidence':[]},{'id':'R4','class':'remedy','name':'Awarded-order\x20escrow\x20pairing\x20(ESCROW\x20EXIT\x20INVARIANT\x20—\x20build-time\x20recovery\x20duty)','actor':'keeper','precondition':['R2'],'onchain':'disclosure_only','commercialSemantics':'The\x20refund\x20rail\x20blocks\x20once\x20an\x20award\x20has\x20ACTUALLY\x20paid,\x20so\x20the\x20pairing\x20must\x20be\x20structural:\x20the\x20template\x27s\x20doctrine\x20pairs\x20the\x20buyer\x20refund\x20rail\x20with\x20a\x20merchant-recovery\x20sweep\x20partitioning\x20the\x20terminal\x20sets\x20by\x20node\x20state.\x20An\x20uncovered\x20stop\x20node\x20strands\x20the\x20escrow\x20permanently\x20—\x20Machine\x20and\x20Allocator\x20are\x20immutable\x20after\x20publish.','disclosureProbe':'ESCROW\x20EXIT\x20INVARIANT','evidence':[{'file':'order.move','line':0x79,'pattern':'E_ORDER_ALREADY_CLAIMED'}]},{'id':'R5','class':'remedy','name':'Refunded\x20slots\x20restocked\x20(service.restock\x20keeper\x20duty\x20after\x20every\x20refund)','actor':'keeper','precondition':['E1'],'onchain':'disclosure_only','commercialSemantics':'Restock\x20parity\x20with\x20the\x20incumbent:\x20a\x20refunded\x20order\x27s\x20slots\x20must\x20return\x20to\x20sellable\x20stock\x20via\x20service.restock\x20{op:\x27order\x27}\x20exactly\x20once\x20per\x20order\x20—\x20a\x20double\x20run\x20aborts,\x20and\x20a\x20missed\x20run\x20is\x20a\x20silent\x20inventory\x20loss\x20(sold-out\x20inventory\x20that\x20is\x20actually\x20free).','disclosureProbe':'refunded\x20slots\x20return\x20to\x20sellable\x20stock','evidence':[]},{'id':'P1','class':'post','name':'Monthly\x20batch\x20settlement\x20variant\x20(one\x20Amount\x20leg\x20per\x20supplier-month)','actor':'keeper','precondition':['M10'],'onchain':'disclosure_only','commercialSemantics':'For\x20long-running\x20products\x20the\x20layer-2\x20recipients\x20become\x20per\x20supplier-month\x20legs\x20released\x20on\x20that\x20month\x27s\x20guard.\x20Supplier\x20payouts\x20must\x20never\x20route\x20through\x20an\x20organizer\x20pool\x20—\x20that\x20makes\x20the\x20organizer\x20a\x20mandatory\x20transit\x20waypoint\x20—\x20and\x20an\x20EMPTY\x20recipient\x20silently\x20pays\x20the\x20deploying\x20account.','disclosureProbe':'Monthly\x20settlement\x20variant','evidence':[]},{'id':'P2','class':'post','name':'Review\x20rows\x20accumulate\x20as\x20the\x20reputation\x20ledger\x20(once\x20per\x20buyer\x20per\x20order)','actor':'buyer','precondition':['M11'],'onchain':'disclosure_only','commercialSemantics':'The\x20claim\x20guard\x27s\x20replay\x20arming\x20is\x20the\x20reputation\x20primitive:\x20entry-stamped\x20+\x20order-scoped\x20record\x20gate\x20=\x20once\x20per\x20buyer\x20per\x20order;\x20the\x20recipient-only\x20EMPTY\x20variant\x20degrades\x20to\x20once-per-buyer-for-life\x20and\x20must\x20never\x20back\x20per-order\x20bounty\x20wording.','disclosureProbe':'review\x20content\x20hash|once\x20per\x20buyer\x20per\x20order','evidence':[]},{'id':'P3','class':'post','name':'Repeat\x20booking\x20of\x20another\x20activity\x20(a\x20fresh\x20Order\x20per\x20purchase)','actor':'buyer','precondition':['M10'],'onchain':'expressible','chainFootprint':{'forward':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'There\x20is\x20no\x20cross-order\x20grouping:\x20every\x20activity\x20purchase\x20is\x20its\x20own\x20Order\x20on\x20the\x20same\x20entry\x20rail.\x20The\x20S2\x20limit\x20means\x20multi-trip\x20packages\x20must\x20be\x20modeled\x20as\x20segments\x20inside\x20ONE\x20order,\x20never\x20as\x20linked\x20sibling\x20orders.','evidence':[]},{'id':'P4','class':'post','name':'Immutable\x20trip\x20record\x20retained\x20at\x20the\x20settled\x20terminal\x20(progress\x20history)','actor':'buyer','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'settled','moneyEffect':'none'},'commercialSemantics':'The\x20terminal\x20node\x20and\x20its\x20progress\x20history\x20are\x20the\x20durable\x20itinerary\x20proof:\x20every\x20advance\x20appends\x20a\x20witness\x20entry\x20with\x20its\x20own\x20clock\x20time\x20—\x20the\x20same\x20anchors\x20the\x20claim\x20window\x20and\x20the\x20release\x20clock\x20read.','evidence':[{'file':'progress.move','line':0x8e,'pattern':'history:\x20ParentTableVec'}]}],'invariants':[{'id':'INV-KLK-1','statement':'The\x20no-show\x20band\x20charge\x20(70%\x20default)\x20must\x20ride\x20its\x20own\x20disjoint\x20tier\x20rail:\x20cancel_tier_4_charge_bps\x20may\x20only\x20be\x20non-zero\x20while\x20the\x20paid\x20->\x20cancelled_t4\x20forward\x20exists\x20—\x20deleting\x20the\x20rail\x20while\x20keeping\x20the\x20charge\x20would\x20route\x20a\x2070%\x20take\x20through\x20no\x20band\x20at\x20all\x20and\x20strand\x20the\x20buyer\x27s\x20complement.','jurisdiction':'Consumer\x20cancellation-ladder\x20rules\x20(China\x20E-Commerce\x20Law\x20art.\x2049\x20fairness;\x20EU\x20Package\x20Travel\x20Directive\x202015/2302\x20art.\x2012\x20cancellation\x20fees).','chainConflict':'The\x20four\x20cancellation\x20charges\x20are\x20fee_params\x20consumed\x20by\x20per-tier\x20allocator\x20legs;\x20the\x20disjoint\x20band\x20guards\x20are\x20the\x20ONLY\x20disjointness\x20guarantee\x20(the\x20allocator\x20vector\x20is\x20not\x20first-match-wins,\x20so\x20an\x20overlapping\x20band\x20would\x20double-charge\x20and\x20a\x20missing\x20rail\x20would\x20strand\x20the\x20complement\x20leg).','violation':{'requiresFeeParamNonZero':'cancel_tier_4_charge_bps','whileMissingForward':'cancel_tier_4'},'evidence':[{'file':'allocation.move','line':0x1af,'pattern':'ERATE_NOT_10000'},{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'}]},{'id':'INV-KLK-2','statement':'Post-start\x20cancellation\x20must\x20never\x20self-service\x20refund:\x20the\x20four\x20bands\x20are\x20mutually\x20exclusive\x20and\x20all\x20fail\x20closed\x20at\x20and\x20after\x20service_start_ms;\x20an\x20UNSET\x20service_start_ms\x20(0)\x20fails\x20every\x20band\x20closed,\x20so\x20the\x20build\x20duty\x20is\x20setting\x20the\x20real\x20departure\x20timestamp\x20before\x20publish\x20—\x20a\x20re-entry\x20or\x20late\x20booker\x20must\x20never\x20reopen\x20a\x20cheaper\x20band.','jurisdiction':'Same\x20consumer\x20ladder\x20rules\x20as\x20INV-KLK-1.','chainConflict':'The\x20bands\x20anchor\x20on\x20ONE\x20absolute\x20epoch-ms\x20anchor\x20with\x20add-only\x20arithmetic;\x20the\x20anchor\x20is\x20never\x20subtracted\x20from\x20because\x20it\x20sits\x20in\x20the\x20future\x20and\x20a\x20U64\x20subtraction\x20would\x20underflow\x20and\x20fail\x20the\x20band\x20closed\x20forever.','evidence':[]},{'id':'INV-KLK-3','statement':'Venue\x20turn-up\x20failure\x20compensation\x20(the\x20benchmark\x27s\x20real-product\x20guarantee)\x20pays\x20from\x20the\x20arbitration\x20fund\x20capped\x20at\x203x\x20the\x20ESCROWED\x20basis\x20and\x20ONLY\x20to\x20the\x20order\x20owner\x20—\x20never\x20from\x20the\x20order\x20escrow,\x20and\x20a\x20headline\x20fund\x20figure\x20quoted\x20in\x20prose\x20is\x20not\x20a\x20chain\x20anchor.','jurisdiction':'Benchmark\x20turn-up\x20guarantee\x20terms;\x20PRC\x20Civil\x20Code\x20art.\x20577\x20breach\x20damages.','chainConflict':'The\x20fund-draw\x20side\x20pays\x20the\x20award\x20to\x20the\x20order\x20owner\x20and\x20ONLY\x20to\x20the\x20order\x20owner;\x20the\x20cap\x20is\x20MAX_INDEMNITY_MULTIPLE\x20(3)\x20times\x20the\x20indemnity-cap\x20basis,\x20and\x20awards\x20shrink\x20the\x20live\x20fund\x20in\x20place\x20so\x20the\x20quoted\x20number\x20silently\x20goes\x20stale.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'service.move','line':0x265,'pattern':'order::owner'},{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]}]};