@wowok/agent-mcp 3.4.3 → 3.4.4

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

@@ -0,0 +1 @@
+export const ETSY_ORACLE={'productRef':'etsy','products':['etsy','depop','xhs-handmade'],'oracleVersion':'1.1.0','steps':[{'id':'M1','class':'offchain','name':'Browse\x20listings\x20filtered\x20by\x20shop\x20aesthetics\x20(favorite/curated\x20feeds)','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Discovery,\x20favorites\x20and\x20curated\x20feeds\x20are\x20storefront\x20acts;\x20no\x20order\x20object\x20exists\x20yet.','evidence':[]},{'id':'M2','class':'offchain','name':'Configure\x20a\x20custom\x20order\x20(personalization\x20brief,\x20price/processing\x20quote)','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Custom-order\x20negotiation\x20(EU\x20CRD\x2016(c)\x20waiver\x20territory)\x20is\x20off-chain\x20messaging;\x20the\x20template\x20only\x20learns\x20the\x20agreed\x20terms\x20via\x20customer_required\x20declarative\x20fields.','evidence':[]},{'id':'M6','class':'offchain','name':'Maker\x20crafts\x20the\x20order\x20(WIP\x20detail\x20file,\x20production\x20time)','actor':'merchant','precondition':['M4'],'onchain':'not_applicable','commercialSemantics':'Crafting\x20is\x20the\x20value-creating\x20act\x20of\x20the\x20archetype;\x20the\x20chain\x20sees\x20only\x20the\x20evidence-gated\x20ship\x20at\x20the\x20end\x20of\x20it.','evidence':[]},{'id':'M3','class':'main','name':'Buy:\x20full-amount\x20escrow\x20(storefront\x20mode\x20selector\x20at\x20the\x20gate)','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'pay','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'One-shot\x20escrow.\x20The\x20buy\x20gate\x20mounts\x20per\x20storefront_mode\x20(open:\x20everyone;\x20passport:\x20KYC-gated)\x20—\x20a\x20service-level\x20conditional\x20guard,\x20not\x20an\x20edge\x20guard.','evidence':[]},{'id':'M4','class':'main','name':'Maker\x20accepts\x20the\x20order\x20(required-info\x20gate)','actor':'merchant','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'confirmed','forward':'accept_order','prev':'paid','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'required_info','commercialSemantics':'Acceptance\x20is\x20the\x20maker\x27s\x20explicit\x20commitment;\x20if\x20the\x20buyer\x20owes\x20customization\x20info,\x20the\x20guard\x20blocks\x20until\x20it\x20is\x20provided\x20(required-info\x20update\x20declaration).','evidence':[]},{'id':'M5','class':'main','name':'Maker\x20ships\x20with\x20tracking\x20evidence\x20(write-once\x20row)','actor':'merchant','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'shipped','forward':'ship','prev':'confirmed','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'ship_evidence','commercialSemantics':'The\x20ship\x20edge\x20is\x20evidence-gated:\x20the\x20tracking\x20row\x20is\x20write-once\x20(repository\x20write_once\x20policy),\x20so\x20late\x20carrier-side\x20edits\x20cannot\x20rewrite\x20history.','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]},{'id':'M7','class':'main','name':'Buyer\x20confirms\x20delivery\x20(or\x20keeper\x20auto-confirm\x20fallback)','actor':'buyer','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'confirm_delivery','prev':'shipped','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Buyer\x20confirmation\x20is\x20direct;\x20the\x20deliver_confirm_timeout\x20twin\x20(auto_confirm_days)\x20advances\x20a\x20silent\x20buyer\x20so\x20escrow\x20cannot\x20stall.','evidence':[]},{'id':'M8','class':'post','name':'Buyer\x20writes\x20an\x20optional\x20review\x20inside\x20the\x20window\x20(write-once)','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'submit_review','prev':'delivered','identity':'order_holder','moneyEffect':'reward'},'guardKeyProbe':'review_window','commercialSemantics':'Review\x20immutability\x20is\x20enforced\x20by\x20the\x20repository\x20write-once\x20policy;\x20a\x20reward\x20claim\x20may\x20anchor\x20on\x20it\x20against\x20the\x20review\x20pool.','evidence':[{'file':'repository.move','line':0x223,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'M9','class':'main','name':'Next-day\x20settlement\x20of\x20the\x20escrow\x20to\x20the\x20maker','actor':'merchant','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'settle','prev':'delivered','identity':'permission_index','moneyEffect':'release'},'guardKeyProbe':'settle_clock','commercialSemantics':'Fast\x20settlement\x20(settlement_delay_days\x20=\x201)\x20rides\x20the\x20settle_clock\x20guard;\x20the\x20merchant\x20triggers,\x20the\x20gate\x20freezes\x20state\x20and\x20releases.\x20The\x20reviewed\x20sibling\x20settles\x20too.','evidence':[]},{'id':'E1','class':'exception','name':'Buyer\x20cancels\x20inside\x20the\x20free\x20window\x20(before\x20crafting\x20starts)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'cancel','prev':'confirmed','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'cancel_window','commercialSemantics':'free_cancel_hours\x20(72\x20=\x20processing_time_days\x20x\x2024)\x20after\x20acceptance\x20the\x20buyer\x20cancels\x20with\x20FULL\x20on-chain\x20refund;\x20a\x20pre-acceptance\x20twin\x20exists\x20from\x20paid.','evidence':[]},{'id':'E2','class':'exception','name':'Overdue\x20unshipped\x20order:\x20keeper\x20force-cancels\x20with\x20full\x20refund','actor':'keeper','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelUnshipped','prev':'confirmed','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'ship_timeout','commercialSemantics':'The\x20ship-timeout\x20exit\x20protects\x20the\x20buyer\x20from\x20a\x20stalled\x20maker:\x20CancelUnshipped\x20pays\x20the\x20full\x20refund.\x20Disclosure\x20must\x20run\x20toward\x20the\x20buyer\x20(\x27an\x20overdue\x20unshipped\x20order\x20is\x20exited\x20automatically\x27),\x20never\x20as\x20\x27the\x20buyer\x20may\x20cancel\x20any\x20time\x27.','evidence':[]},{'id':'E3','class':'exception','name':'Maker\x20declines\x20a\x20custom\x20order\x20before\x20crafting','actor':'merchant','precondition':['M4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'CancelUnshipped','prev':'confirmed','moneyEffect':'refund'},'gapPredicate':{'probe':'exited\x20automatically\x20by\x20the\x20platform\x20timeout|overdue\x20unshipped'},'commercialSemantics':'The\x20real\x20maker\x20simply\x20declines;\x20the\x20template\x20gives\x20the\x20maker\x20NO\x20decline\x20edge\x20—\x20the\x20deadline\x20timeout\x20(CancelUnshipped,\x20full\x20refund)\x20is\x20the\x20only\x20path.\x20The\x20disclosed\x20framing\x20covers\x20the\x20outcome\x20but\x20not\x20a\x20maker-initiated\x20decline.','evidence':[]},{'id':'E4','class':'exception','name':'Buyer\x20requests\x20a\x20return\x20inside\x20the\x2024h\x20window','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'request_return','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'return_window','commercialSemantics':'The\x20shipped\x20window\x20is\x2024h\x20from\x20delivered\x20(WINDOW_MATH_MISMATCH\x20ties\x20it\x20to\x20return_response_days\x20=\x201)\x20—\x20far\x20stricter\x20than\x20the\x20real\x20marketplace\x27s\x2014-30\x20day\x20custom\x20windows\x20(U7\x20finding).','evidence':[]},{'id':'E5','class':'exception','name':'Return\x20receipt:\x20maker\x20confirms\x20or\x20is\x20deemed\x20silent\x20(timeout\x20rail)','actor':'merchant','precondition':['E4'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ReturnReceiptTimeoutByKeeper','prev':'return_in_transit','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'return_response_timeout','commercialSemantics':'The\x20v161\x20receipt-timeout\x20rail:\x20return_response_days\x20(1)\x20after\x20the\x20buyer\x27s\x20return-shipment\x20declaration\x20the\x20keeper\x20deems\x20receipt\x20(returnless\x20approval)\x20so\x20the\x20after-sales\x20rail\x20cannot\x20stall\x20on\x20a\x20silent\x20maker\x20—\x20the\x20deemed\x20clock\x20still\x20counts\x20from\x20the\x20return_requested\x20ENTRY\x20(stage2\x20#27\x20kept\x20the\x20anchor;\x20the\x20in-transit\x20waypoint\x20is\x20record-only);\x20contestation\x20is\x20the\x20ArbRefundReturn\x20twin.','evidence':[]},{'id':'E6','class':'exception','name':'Buyer\x20ships\x20the\x20return\x20parcel\x20back\x20(in-transit\x20declaration)','actor':'buyer','precondition':['E4'],'onchain':'expressible','chainFootprint':{'node':'return_in_transit','forward':'ShipReturn','prev':'return_requested','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'return_shipped','commercialSemantics':'The\x20in-transit\x20leg\x20SHIPS\x20since\x20stage2\x20#27\x20(TPL-10):\x20the\x20buyer\x20DECLARES\x20the\x20return\x20shipped\x20(identity-only\x20—\x20the\x20return\x20journey\x20mid-leg\x20is\x20the\x20buyer\x27s\x20own\x20declaration,\x20never\x20a\x20window-gated\x20step,\x20F-TPL-01);\x20carrier\x20tracking\x20of\x20the\x20return\x20leg\x20rides\x20the\x20evidence\x20Repository\x20(RMA\x20row),\x20not\x20a\x20guard.','evidence':[]},{'id':'E7','class':'exception','name':'Maker\x20confirms\x20return\x20receipt','actor':'merchant','precondition':['E6'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'return_received','prev':'return_in_transit','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'return_received','commercialSemantics':'Merchant\x20acknowledgement\x20into\x20the\x20returned\x20waypoint\x20(permission\x201001),\x20re-parented\x20to\x20the\x20in-transit\x20waypoint\x20(stage2\x20#27)\x20and\x20gated\x20on\x20the\x20RMA\x20evidence\x20row\x20(its\x20own\x20write-once\x20\x27evidence_return\x27\x20policy,\x20F-12).','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]},{'id':'E8','class':'exception','name':'After-sales\x20refund\x20executes\x20on\x20the\x20returned/closed\x20rails','actor':'keeper','precondition':['E7'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'This\x20shape\x20has\x20no\x20refunded\x20record\x20node:\x20the\x20refund\x20allocator\x20pays\x20at\x20returned\x20or\x20closed_cancel\x20(refund_execute\x20rail\x20over\x20both\x20refund\x20buckets).','evidence':[]},{'id':'E9','class':'exception','name':'Returnless\x20refund\x20(maker\x20silence\x20deemed\x20approval)','actor':'keeper','precondition':['E4'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ReturnReceiptTimeoutByKeeper','prev':'return_in_transit','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'return_response_timeout','commercialSemantics':'With\x20no\x20receipt\x20decision\x20inside\x20the\x20response\x20window\x20the\x20keeper\x20deems\x20the\x20return\x20accepted\x20—\x20the\x20buyer\x20is\x20never\x20hostage\x20to\x20maker\x20acknowledgement;\x20since\x20stage2\x20#27\x20the\x20deemed\x20rail\x20departs\x20the\x20in-transit\x20waypoint\x20(the\x20returnless\x20refund\x20no\x20longer\x20needs\x20a\x20physical\x20receipt\x20at\x20all).','evidence':[]},{'id':'E10','class':'exception','name':'Item\x20never\x20arrived\x20(carrier\x20loss)','actor':'buyer','precondition':['M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'gapPredicate':{'probe':'lost\x20or\x20damaged\x20in\x20carrier\x20transit|no\x20carrier\x20oracle'},'commercialSemantics':'In-transit\x20loss\x20is\x20remedied\x20by\x20the\x20buyer\x27s\x20arbitration\x20route\x20into\x20closed_cancel\x20(a\x20buyer-won\x20ruling\x20fires\x20the\x20full-refund\x20rail);\x20the\x20carrier\x20claim\x20itself\x20is\x20an\x20OFF-CHAIN\x20recovery,\x20disclosed\x20as\x20such.','evidence':[]},{'id':'E11','class':'exception','name':'Item\x20damaged\x20in\x20transit','actor':'buyer','precondition':['M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'gapPredicate':{'probe':'lost\x20or\x20damaged\x20in\x20carrier\x20transit'},'commercialSemantics':'Same\x20disclosed\x20remedy\x20rail\x20as\x20the\x20loss\x20case;\x20damage\x20evidence\x20rides\x20the\x20arb\x20case,\x20not\x20the\x20machine.','evidence':[]},{'id':'E12','class':'exception','name':'Short\x20shipment\x20/\x20wrong\x20item\x20delivered','actor':'buyer','precondition':['M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'gapPredicate':{'probe':'independent\x20Arbitration|case\x20mediators'},'commercialSemantics':'Quantity/content\x20disputes\x20flow\x20to\x20the\x20independent\x20Arbitration\x20object\x20(case\x20mediators)\x20—\x20never\x20Machine\x20nodes;\x20the\x20machine\x20records\x20only\x20the\x20ruling-driven\x20exit.','evidence':[]},{'id':'E13','class':'exception','name':'Counterfeit\x20or\x20not-actually-handmade\x20(policy\x20violation)','actor':'buyer','precondition':['M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'gapPredicate':{'probe':'independent\x20Arbitration'},'commercialSemantics':'The\x20buyer-exit\x20refund\x20rides\x20the\x20arb\x20rail;\x20the\x20policy\x20side\x20(delisting\x20the\x20non-handmade\x20shop)\x20is\x20platform\x20governance\x20with\x20no\x20per-order\x20footprint.','evidence':[]},{'id':'E14','class':'exception','name':'Buyer\x20files\x20a\x20dispute\x20(Purchase\x20Protection\x20/\x20case)','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'claim_filed','commercialSemantics':'SHIPS\x20since\x20stage2\x20#27\x20(TPL-09):\x20the\x20buyer\x20files\x20on\x20the\x20independent\x20Arbitration\x20object\x20and\x20the\x20machine\x20RECORDS\x20the\x20case\x20at\x20claim_filed\x20—\x20parking\x20there\x20structurally\x20freezes\x20the\x20settle\x20advance\x20(it\x20reads\x20a\x20delivered\x20ENTRY\x20the\x20parked\x20order\x20no\x20longer\x20has).\x20Identity-only,\x20NO\x20filing\x20window\x20(#24\x20family\x20form):\x20a\x2030-day\x20window\x20would\x20trip\x20WINDOW_MATH_MISMATCH\x20against\x20settlement_delay_days\x20(0-3);\x20the\x20residual\x20file-vs-settle\x20race\x20is\x20disclosed\x20(INV-ETSY-5).','evidence':[{'file':'order.move','line':0xa1,'pattern':'public\x20fun\x20has_open_dispute'}]},{'id':'E15','class':'exception','name':'Buyer\x20withdraws\x20the\x20claim','actor':'buyer','precondition':['E14'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'WithdrawClaim','prev':'claim_filed','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'withdraw_claim','commercialSemantics':'SHIPS\x20since\x20stage2\x20#27,\x20with\x20the\x20residual\x20DISCLOSED\x20in\x20the\x20corpus\x20(was\x20a\x20CRITICAL\x20pre-assembly\x20mandate):\x20the\x20kernel\x20WithdrawClaim\x20guard\x20is\x20identity-only\x20—\x20replayable,\x20binds\x20no\x20arbitration\x20case,\x20claimed_by\x20survives\x20withdrawal\x20so\x20the\x20order\x20can\x20never\x20re-file\x20on\x20the\x20venue,\x20and\x20arb_withdraw\x20sweeps\x20ONLY\x20the\x20fee\x20balance.\x20The\x20escrowed\x20principal\x20is\x20single-shot\x20by\x20BALANCE\x20and\x20the\x20claim_filed\x20park\x20is\x20the\x20phantom-case\x20backstop.\x20Operating\x20rule\x20(R27\x20rule\x203):\x20move\x20Progress\x20ONLY,\x20never\x20clear\x20the\x20Arb\x20case\x20—\x20conclude\x20on\x20the\x20venue\x20FIRST,\x20then\x20withdraw.','evidence':[{'file':'order.move','line':0x79,'pattern':'option::is_none(&self.claimed_by)'}]},{'id':'E16','class':'exception','name':'Arbitration\x20case\x20opened\x20on\x20the\x20independent\x20Arb\x20object','actor':'arbitrator','precondition':['E14'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','moneyEffect':'none'},'commercialSemantics':'The\x20case\x20object\x20is\x20real\x20(op\x20permission\x20anchored\x20to\x20the\x20order)\x20and\x20the\x20machine-side\x20RECORD\x20waypoint\x20now\x20SHIPS\x20(stage2\x20#27):\x20while\x20the\x20case\x20runs\x20the\x20order\x20stays\x20parked\x20at\x20claim_filed\x20—\x20the\x20ruling\x20is\x20never\x20decided\x20in-Machine\x20(R-M1-11),\x20only\x20recorded\x20and\x20executed\x20through\x20the\x20sanctioned\x20exits.','evidence':[{'file':'arbitration.move','line':0x169,'pattern':'assert_op_permission'}]},{'id':'E17','class':'exception','name':'Arbitration\x20rules\x20for\x20the\x20buyer\x20(refund\x20from\x20delivered)','actor':'arbitrator','precondition':['E16'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'arb_refund','commercialSemantics':'Unique\x20to\x20the\x20handmade\x20shape:\x20the\x20arbitration\x20refund\x20needs\x20NO\x20return-leg\x20—\x20a\x20buyer-won\x20ruling\x20pays\x20straight\x20from\x20delivered.\x20Winning\x20the\x20case\x20is\x20NOT\x20the\x20money;\x20the\x20arb\x20WITHDRAW\x20call\x20and\x20the\x20machine\x20advance\x20are\x20two\x20transactions\x20(L4\x20execution-stamp\x20ordering\x20runbook).','evidence':[]},{'id':'E18','class':'exception','name':'Arb\x20silence\x20auto-accepts\x20the\x20claim\x20(protocol\x20finality)','actor':'arbitrator','precondition':['E16'],'onchain':'not_applicable','commercialSemantics':'Protocol-level\x20arb-object\x20finality\x20(WITHDRAW_DURATION_TIME),\x20not\x20a\x20machine\x20edge\x20—\x20excluded\x20like\x20the\x20shansong\x20pilot\x27s\x20R6.','evidence':[{'file':'arb.move','line':0x10,'pattern':'WITHDRAW_DURATION_TIME'}]},{'id':'E19','class':'exception','name':'Review\x20dispute:\x20appeal\x20/\x20lock\x20/\x20edit\x20request','actor':'buyer','precondition':['M8'],'onchain':'disclosure_only','disclosureProbe':'(appeal|remove|lock|edit)[^\x22]{0,30}review','commercialSemantics':'Real\x20product\x20locks\x20reviews\x20during\x20disputes.\x20The\x20template\x20enforces\x20write-once\x20review\x20immutability\x20(repository\x20policy)\x20but\x20the\x20builder\x20corpus\x20never\x20discloses\x20it\x20—\x20standing\x20FIX-DISCLOSURE\x20gap.','evidence':[]},{'id':'E20','class':'exception','name':'Shop\x20suspension\x20or\x20delisting\x20mid-order','actor':'keeper','precondition':['M4'],'onchain':'disclosure_only','disclosureProbe':'(suspend|delist|close)[^\x22]{0,20}(shop|store|listing)','commercialSemantics':'Account-level\x20governance\x20(suspend\x20shop,\x20freeze\x20payouts)\x20has\x20no\x20per-order\x20chain\x20surface\x20and\x20no\x20corpus\x20disclosure;\x20only\x20publish-freeze\x20of\x20the\x20return\x20policy\x20is\x20disclosed\x20(cannot\x20vary\x20per\x20listing\x20after\x20publish).','evidence':[]},{'id':'E21','class':'exception','name':'Offsite\x20Ads\x20attribution\x20fee\x20dispute','actor':'merchant','precondition':['M9'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'offsite\x20ads|attribution|ad\x20fee\x20dispute','commercialSemantics':'The\x2030-day\x20attribution\x20window\x20over\x20the\x20buyer\x27s\x20whole-shop\x20purchase\x20has\x20no\x20on-chain\x20pricing/attribution\x20oracle\x20(S7);\x20the\x20corpus\x20discloses\x20attribution\x20as\x20plain\x20off-chain\x20evidence\x20with\x20no\x20fee\x20differential.','evidence':[]},{'id':'E22','class':'exception','name':'Listing\x20fee\x20/\x20auto-renewal\x20dispute','actor':'merchant','precondition':['M3'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'listing\x20fee|auto.renew|0\x5c.20','commercialSemantics':'Platform->seller\x20fee\x20mechanics\x20($0.20/listing,\x206.5%\x20transaction)\x20are\x20subscription/commission\x20rails\x20outside\x20the\x20per-order\x20escrow\x20(S7)\x20and\x20undisclosed\x20in\x20this\x20template\x27s\x20corpus.','evidence':[]},{'id':'E23','class':'exception','name':'Payment\x20reserve\x20hold\x20on\x20the\x20seller\x20payout','actor':'keeper','precondition':['M9'],'onchain':'disclosure_only','disclosureProbe':'payment\x20reserve|reserve\x20the\x20payout|payout\x20hold','commercialSemantics':'Real\x20product\x20can\x20hold\x20payouts\x20in\x20reserve.\x20The\x20template\x27s\x20only\x20fund-holding\x20is\x20the\x20settlement\x20clock\x20(fast\x200-3\x20day\x20release);\x20the\x20corpus\x20discloses\x20holding\x20only\x20negatively\x20(a\x20silent\x20maker\x20must\x20not\x20hold\x20the\x20returned\x20escrow\x20hostage;\x20stale\x20disputes\x20must\x20not\x20hold\x20escrow\x20past\x20the\x20horizon).','evidence':[]},{'id':'E24','class':'exception','name':'Refund\x20judged\x20but\x20not\x20yet\x20in\x20the\x20bank\x20account','actor':'buyer','precondition':['E8'],'onchain':'disclosure_only','disclosureProbe':'refund[^\x22]{0,40}(not\x20received|delay|missing|status)','commercialSemantics':'The\x20chain\x20refund\x20is\x20atomic\x20at\x20the\x20rail;\x20bank-side\x20timing\x20is\x20off-chain\x20and\x20undisclosed\x20in\x20this\x20template\x27s\x20corpus\x20—\x20standing\x20disclosure\x20gap.','evidence':[]},{'id':'E25','class':'exception','name':'Coupon\x20/\x20sale-price\x20mispricing\x20dispute','actor':'merchant','precondition':['M3'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'coupon|sale\x20price|discount','commercialSemantics':'The\x20handmade\x20template\x20has\x20NO\x20discount\x20corpus\x20at\x20all\x20(no\x20fee_param,\x20no\x20build\x20note)\x20—\x20coupon\x20semantics\x20are\x20wholly\x20absent\x20(S7),\x20a\x20true\x20structural\x20gap\x20for\x20the\x20archetype\x27s\x20sale\x20economy.','evidence':[]},{'id':'E26','class':'exception','name':'External\x20chargeback\x20/\x20card-network\x20dispute','actor':'buyer','precondition':['M3'],'onchain':'unresolvable','unresolvableRef':'S9','disclosureProbe':'chargeback|credit\x20card\x20dispute','commercialSemantics':'No\x20chargeback\x20primitive\x20(S9)\x20and\x20no\x20corpus\x20disclosure\x20—\x20Etsy\x20Payments\x27\x20seller-of-record\x20economics\x20stay\x20fully\x20off-chain.','evidence':[]},{'id':'R1','class':'remedy','name':'Purchase\x20Protection\x20claim\x20(<=\x20$250\x20platform\x20cap)','actor':'buyer','precondition':['E14'],'onchain':'disclosure_only','disclosureProbe':'purchase.protection|protection_cap_usd','commercialSemantics':'The\x20template\x20aligns\x20the\x20CAP\x20(protection_cap_usd\x20=\x20250)\x20but\x20the\x20FUNDING\x20SOURCE\x20differs\x20by\x20design:\x20platform-funded\x20on\x20Etsy,\x20merchant-pool-funded\x20here\x20(0-commission\x20desk\x20economics)\x20—\x20disclosed,\x20not\x20expressible\x20(S9:\x20no\x20platform\x20top-up\x20primitive).','evidence':[]},{'id':'R2','class':'remedy','name':'Arb\x20compensation\x20payout,\x20owner-bound','actor':'arbitrator','precondition':['E16'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'Compensation\x20is\x20paid\x20by\x20the\x20service\x20layer\x20to\x20the\x20order\x20owner\x20—\x20always\x20the\x20buyer,\x20structurally\x20unbribeable,\x20even\x20though\x20this\x20shape\x20mounts\x20no\x20claim\x20waypoint\x20today.','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'R3','class':'remedy','name':'Indemnity\x20capped\x20at\x203x\x20the\x20order\x20amount','actor':'arbitrator','precondition':['R2'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'Every\x20award\x20saturates\x20at\x203x\x20Order.amount\x20(cap\x20base\x20frozen\x20at\x20BUY\x20time)\x20—\x20for\x20a\x20<=$250-protection\x20archetype\x20this\x20is\x20rarely\x20binding\x20but\x20never\x20lifted.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'}]},{'id':'R4','class':'remedy','name':'EU/UK\x2014-day\x20withdrawal\x20right\x20(non-custom\x20goods)','actor':'buyer','precondition':['M7'],'onchain':'disclosure_only','disclosureProbe':'14.?day|withdrawal|cooling','commercialSemantics':'The\x20CRD\x2014-day\x20right\x20for\x20non-custom\x20goods\x20conflicts\x20with\x20the\x20shipped\x2024h\x20return\x20window\x20(U7);\x20the\x20corpus\x20only\x20references\x20the\x2014-day\x20marketplace\x20cycle\x20as\x20the\x20challenger\x20contrast\x20—\x20the\x20statutory\x20alignment\x20is\x20a\x20report-only\x20conflict\x20(INV-ETSY-4).','evidence':[]},{'id':'R5','class':'remedy','name':'Statutory\x20punitive\x20damages\x20above\x20the\x20cap','actor':'arbitrator','precondition':['R3'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'punitive|triple\x20damages|500','commercialSemantics':'Low-AOV\x20handmade\x20orders\x20make\x20punitive\x20floors\x20structurally\x20irrelevant,\x20and\x20the\x20corpus\x20discloses\x20nothing\x20—\x20S7,\x20text-only.','evidence':[]},{'id':'R6','class':'remedy','name':'Arb\x20dismisses\x20the\x20claim,\x20order\x20resumes','actor':'arbitrator','precondition':['E16'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'arb_dismissed_resume','commercialSemantics':'SHIPS\x20since\x20stage2\x20#27\x20(TPL-09\x20third\x20exit):\x20a\x20zero-award\x20ruling\x20resumes\x20the\x20disputed\x20order\x20at\x20delivered\x20(merchant\x20arbitration-execution\x20slot\x201004\x20—\x20the\x20family\x20arb\x20bucket,\x20OFF\x20the\x201002\x20keeper/settle\x20bucket,\x20PERM-COARSE-BUCKET-01);\x20the\x20re-entry\x20appends\x20a\x20fresh\x20delivered\x20entry\x20and\x20re-anchors\x20the\x20settle\x20clock\x20and\x20the\x20review/return\x20windows\x20(find=last).\x20Faithful\x20form\x20held:\x20no\x20indemnity-some\x20leg\x20(dismissal\x20must\x20not\x20pay),\x20no\x20arb.status\x20object-field\x20gate\x20(status\x20is\x20not\x20a\x20queryable\x20module\x20field\x20—\x20use\x20the\x20arb\x20withdraw/ruling\x20events).','evidence':[]},{'id':'P1','class':'post','name':'Settlement\x20allocation\x20to\x20the\x20maker\x20(single\x20escrow,\x20one\x20rail)','actor':'merchant','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'release'},'commercialSemantics':'The\x20whole\x20escrow\x20releases\x20to\x20the\x20maker\x20Entity\x20—\x20one\x20escrow,\x20one\x20refund\x20rail,\x20never\x20split\x20refund\x20allocators\x20(a\x20split\x20would\x20violate\x20the\x20settle-once\x20ceiling).','evidence':[{'file':'allocation.move','line':0x1f6,'pattern':'self.allocators.threshold'}]},{'id':'P2','class':'post','name':'Review\x20reward\x20claim\x20(signer-bound)','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'reviewed','moneyEffect':'reward'},'commercialSemantics':'Reward\x20claim\x20is\x20signer-bound\x20(recipient\x20==\x20sender)\x20against\x20the\x20review\x20pool\x20with\x20a\x20per-claim\x20floor\x20above\x20claim\x20gas.','evidence':[{'file':'reward.move','line':0x11b,'pattern':'recipient\x20==\x20tx_context::sender'}]},{'id':'P3','class':'post','name':'Star-seller\x20tiering\x20(badge,\x20not\x20permission)','actor':'keeper','precondition':['P2'],'onchain':'disclosure_only','disclosureProbe':'star.?seller|badge|tier','commercialSemantics':'Star-seller\x20tiering\x20goes\x20through\x20Passport,\x20not\x20the\x20Permission\x20entity\x20table\x20(entity\x20capacity\x20is\x20limited)\x20—\x20disclosed\x20in\x20the\x20builder\x20corpus.','evidence':[]},{'id':'P4','class':'post','name':'Offsite\x20Ads\x20revenue\x20attribution','actor':'keeper','precondition':['P1'],'onchain':'not_applicable','commercialSemantics':'Attribution-driven\x20ad\x20fees\x20are\x20storefront\x20economics\x20with\x20no\x20per-order\x20chain\x20footprint\x20(see\x20E21).','evidence':[]},{'id':'P5','class':'post','name':'Evidence-repository\x20audit\x20(write-once\x20rows)','actor':'keeper','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'shipped','moneyEffect':'none'},'commercialSemantics':'The\x20evidence\x20write\x20policy\x20is\x20order-keyed\x20write_once\x20—\x20any\x20second\x20write\x20of\x20the\x20same\x20kind\x20aborts\x20(E_POLICY_WRITE_ONCE_CONFLICT),\x20making\x20tracking/RMA\x20rows\x20audit-clean.','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]}],'invariants':[{'id':'INV-ETSY-1','statement':'Purchase-protection\x20alignment:\x20the\x20template\x20matches\x20the\x20$250\x20CAP\x20(protection_cap_usd\x20=\x20250)\x20but\x20NOT\x20the\x20funding\x20source\x20—\x20Etsy\x27s\x20protection\x20is\x20platform-funded\x20while\x20this\x20template\x20absorbs\x20claims\x20from\x20the\x20merchant\x20compensation\x20pool.\x20The\x20funding-source\x20difference\x20is\x20disclosed,\x20not\x20chain-expressible.','jurisdiction':'etsy.com/purchase-protection\x20(2026\x20revision:\x20all\x20qualifying\x20orders\x20covered\x20to\x20$250;\x20100-day\x20dispute\x20window\x20shortened\x20to\x2030d);\x20294K\x20sellers\x20/\x201.4M\x20orders\x20covered\x20since\x202022.','chainConflict':'S9:\x20no\x20platform\x20top-up\x20/\x20external-fund\x20primitive\x20exists\x20—\x20the\x20pool\x20is\x20merchant\x20capital\x20only\x20(T-31:\x20fund\x20prose\x20is\x20not\x20a\x20chain\x20anchor).','evidence':[{'file':'allocation.move','line':0x1f6,'pattern':'self.allocators.threshold'}]},{'id':'INV-ETSY-2','statement':'Award\x20floor\x20knob:\x20the\x20won-rail\x20award\x20floor\x20is\x20now\x20a\x20LANDED\x20fee-plane\x20dial\x20—\x20fee_params\x20arb_indemnity_floor_bps\x20(default\x200)\x20lands\x20on\x20the\x20three\x20won-rail\x20instances\x20(arb_refund\x20/\x20arb_refund_filed\x20/\x20arb_refund_return)\x20via\x20the\x20fee-param\x20bindings\x20onto\x20tpl_forward_arb_ruling_won\x27s\x20min_indemnity_floor\x20(raw\x20smallest\x20units;\x20merchant\x20sets\x20escrow\x20x\x20bps\x20/\x2010000\x20at\x20build\x20time\x20per\x20the\x20kernel\x20formula,\x20or\x20overrides\x20min_indemnity_floor\x20directly\x20via\x20spec\x20params).\x20Default\x200\x20keeps\x20ANY\x20non-zero\x20award\x20qualifying\x20—\x20the\x20zero-award\x20exclusion\x20leg\x20stays\x20the\x20only\x20floor\x20and\x20the\x20compile\x20is\x20byte-identical\x20to\x20the\x20pre-knob\x20shape;\x20the\x20ARB\x20RAIL\x20AWARD\x20FLOOR\x20floor-0\x20build\x20note\x20remains\x20in\x20the\x20shipped\x20corpus\x20(the\x20commercial\x20award\x20floor\x20is\x20the\x20arbitrator\x27s\x20venue\x20policy).\x20A\x20merchant\x20who\x20wants\x20a\x20real\x20floor\x20sets\x20the\x20knob;\x20the\x20dial\x20is\x20mechanical,\x20not\x20advisory.','jurisdiction':'Kernel\x20guard-template\x20default\x20(F-54\x20family:\x20\x27a\x200.001\x20award\x20opened\x20a\x202.0\x20refund\x27\x20live\x20precedent);\x20wiki\x20etsy.md\x20C10;\x20stage2\x20#27\x20residual\x20INV-ETSY-2\x20knob-ization\x202026-11-08.','chainConflict':'Landed\x20—\x20the\x20fee\x20param\x20has\x20a\x20binding-row\x20landing\x20on\x20all\x20three\x20won-rail\x20guards\x20(fee-param-bindings\x20retail/vertical-handmade\x20arb_refund\x20/\x20arb_refund_filed\x20/\x20arb_refund_return).','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'}]},{'id':'INV-ETSY-3','statement':'Venue\x20binding:\x20the\x20kernel\x20arb-ruling\x20legs\x20ship\x20with\x20bound_arbitration_address\x20—\x20the\x20S-27\x20FIX-EDGE\x20LANDED\x20in\x20stage2\x20#27,\x20so\x20the\x20binding\x20is\x20now\x20ACTIVE\x20on\x20every\x20assembled\x20ruling\x20rail\x20(arb_refund,\x20arb_refund_filed,\x20arb_dismissed_resume):\x20all\x20three\x20legs\x20are\x20venue-locked\x20to\x20one\x20address\x20at\x20build\x20time.\x20The\x20dismissed\x20leg\x27s\x20binding\x20rides\x20identifier\x203\x20(bound_arbitration_address)\x20while\x20the\x20won\x20root\x20rides\x20identifier\x204\x20—\x20the\x20known\x20kernel\x20asymmetry\x20(K3\x20C12).','jurisdiction':'Kernel\x20guard-template\x20roots\x20(tpl_forward_arb_ruling_won\x20/\x20_dismissed);\x20wiki\x20etsy.md\x20C11.','chainConflict':'Active\x20legs,\x20no\x20conflict\x20—\x20the\x20assembly\x20binds\x20exactly\x20one\x20venue;\x20multi-venue\x20arbitration\x20stays\x20inexpressible\x20on\x20this\x20shape.'},{'id':'INV-ETSY-4','statement':'The\x20shipped\x20return\x20window\x20is\x2024h\x20from\x20delivered\x20(WINDOW_MATH_MISMATCH\x20pins\x20it\x20to\x20return_response_days\x20=\x201),\x20while\x20the\x20CRD\x20grants\x2014\x20days\x20for\x20non-custom\x20goods.\x20The\x20window\x20knob\x20is\x20a\x20guard-template\x20param,\x20not\x20a\x20fee_param\x20—\x20the\x20statutory\x20floor\x20is\x20inexpressible\x20in\x20the\x20shipped\x20shape.','jurisdiction':'EU\x20CRD\x202011/83\x20art.13(2)\x20(14d\x20withdrawal,\x20custom-goods\x20exception\x2016(c));\x20UK\x20CRA\x202015;\x20PRC\x20Consumer\x20Protection\x20Law\x20art.25.','chainConflict':'No\x20return_window\x20fee_param\x20key\x20exists\x20on\x20this\x20template;\x20the\x2024h\x20guard\x20param\x20and\x20the\x201-day\x20response\x20deadline\x20are\x20structurally\x20coupled.'},{'id':'INV-ETSY-5','statement':'Waypoint\x20money\x20safety\x20(stage2\x20#27,\x20standing\x20check):\x20the\x20claim\x20waypoint\x20family\x20must\x20keep\x20its\x20parking\x20freeze\x20—\x20the\x20settle\x20advance\x20reads\x20a\x20delivered\x20ENTRY,\x20so\x20an\x20order\x20parked\x20at\x20claim_filed\x20cannot\x20settle\x20behind\x20an\x20open\x20case,\x20and\x20every\x20claim\x20exit\x20rides\x20a\x20node\x20the\x20refund\x20rail\x20already\x20pays\x20(closed_cancel).\x20Guard\x20rails:\x20settlement_delay_days\x20must\x20stay\x20NON-ZERO\x20(the\x20settle\x20clock\x20must\x20keep\x20advancing\x20a\x20resumed\x20order\x20after\x20ResumeAfterDismissal\x20re-anchors\x20it)\x20and\x20the\x20machine\x20shape\x20must\x20keep\x20the\x20FileDispute\x20edge\x20—\x20a\x20shape\x20that\x20loses\x20either\x20leg\x20re-opens\x20the\x20stalled-escrow\x20face\x20this\x20family\x20was\x20built\x20to\x20close.\x20Residual,\x20disclosed:\x20file-vs-settle\x20simultaneity\x20is\x20FCFS\x20on\x20machine\x20state.','jurisdiction':'INV-1688-8\x20twin\x20(restock-supply,\x20stage2\x20#24);\x20GF2-31;\x20wiki\x20etsy.md\x20C13.','chainConflict':'No\x20conflict\x20shipped;\x20the\x20check\x20keeps\x20a\x20future\x20edit\x20from\x20silently\x20parking\x20orders\x20on\x20a\x20dead\x20settle\x20clock.','violation':{'requiresFeeParamNonZero':'settlement_delay_days','whileMissingForward':'FileDispute'}}]};

package/dist/knowledge/path-oracle/products/food-delivery.js

@@ -1 +1 @@
-export const FOOD_DELIVERY_ORACLE={'productRef':'meituan-waimai','products':['meituan-waimai','uber-eats','doordash'],'oracleVersion':'1.2.0','steps':[{'id':'M1','class':'offchain','name':'Browse\x20and\x20search\x20restaurants','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Storefront\x20discovery\x20is\x20a\x20pure\x20off-chain\x20concern;\x20the\x20chain\x20holds\x20no\x20catalog.','evidence':[]},{'id':'M2','class':'offchain','name':'Cart\x20assembly','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Item\x20selection\x20and\x20quantity\x20edits\x20happen\x20in\x20the\x20client;\x20the\x20chain\x20sees\x20only\x20the\x20final\x20total.','evidence':[]},{'id':'M3','class':'offchain','name':'Promotion\x20/\x20coupon\x20application','actor':'platform','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'Discounts\x20are\x20priced\x20into\x20the\x20payable\x20total\x20before\x20escrow;\x20see\x20E28\x20for\x20the\x20mispricing\x20remedy.','evidence':[]},{'id':'M4','class':'offchain','name':'Delivery\x20address\x20entry','actor':'buyer','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'Address\x20privacy\x20is\x20an\x20off-chain\x20concern\x20on\x20this\x20template\x20(Service.customer_required\x20is\x20declarative-only;\x20no\x20required_info\x20surface\x20ships).','evidence':[]},{'id':'M5','class':'offchain','name':'Delivery\x20option\x20selection','actor':'buyer','precondition':['M4'],'onchain':'not_applicable','commercialSemantics':'Delivery\x20mode\x20(courier\x20vs\x20pickup)\x20is\x20chosen\x20off-chain;\x20this\x20template\x27s\x20shape\x20is\x20courier.','evidence':[]},{'id':'M6','class':'main','name':'Pay\x20and\x20escrow\x20(meal\x20+\x20packaging\x20+\x20delivery\x20fee\x20in\x20one\x20total)','actor':'buyer','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'Enter','prev':'','moneyEffect':'escrow_in'},'commercialSemantics':'One\x20atomic\x20buy:\x20quote\x20+\x20payment\x20+\x20escrow\x20in\x20a\x20single\x20transaction;\x20the\x20delivery\x20fee\x20rides\x20the\x20order\x20total.','evidence':[]},{'id':'M7','class':'main','name':'Restaurant\x20accepts\x20the\x20order\x20(prep\x20slot)','actor':'merchant','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'accepted','forward':'AcceptOrder','prev':'paid','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Merchant\x20acceptance\x20commits\x20the\x20order;\x20after\x20it\x20a\x20buyer\x20cancel\x20is\x20a\x20fee-bearing\x20kill\x20(E5)\x20and\x20a\x20merchant\x20reject\x20is\x20a\x20full\x20refund\x20(E2).','evidence':[{'file':'machine.move','line':0x5f,'pattern':'namedOperator,\x20permissionIndex,\x20and\x20guard\x20participate'}]},{'id':'M8','class':'main','name':'Meal\x20packed\x20and\x20sealed\x20(handover\x20evidence\x20row)','actor':'merchant','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'ready','forward':'MarkReady','prev':'accepted','moneyEffect':'none'},'commercialSemantics':'Kitchen\x20readiness\x20is\x20attested\x20by\x20a\x20merchant-staff\x20evidence\x20row\x20(bag-seal\x20code)\x20keyed\x20to\x20the\x20order\x20before\x20the\x20order\x20is\x20offered\x20to\x20riders.','guardKeyProbe':'ready_evidence','evidence':[]},{'id':'M9','class':'main','name':'Platform\x20dispatches\x20the\x20order\x20to\x20a\x20rider','actor':'platform','precondition':['M8'],'onchain':'disclosure_only','chainFootprint':{'moneyEffect':'none'},'commercialSemantics':'Dispatch\x20is\x20an\x20off-chain\x20keeper\x20decision;\x20its\x20only\x20chain\x20footprint\x20is\x20the\x20per-order\x20namedOperator\x20roster\x20(permission\x20index\x20221).','disclosureProbe':'DISPATCH\x20IS\x20OFF-CHAIN','evidence':[]},{'id':'M10','class':'main','name':'Rider\x20arrives\x20at\x20the\x20restaurant','actor':'fulfiller','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'picked_up'},'commercialSemantics':'Rider\x20arrival\x20has\x20no\x20independent\x20node;\x20it\x20is\x20implicit\x20in\x20the\x20pickup\x20handover\x20(acceptable\x20modeling).','evidence':[]},{'id':'M11','class':'main','name':'Rider\x20picks\x20up\x20with\x20handover\x20verification','actor':'fulfiller','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'picked_up','forward':'PickupOrder','prev':'ready','identity':'named_operator','moneyEffect':'none'},'commercialSemantics':'Only\x20a\x20rostered\x20rider\x20may\x20advance\x20the\x20pickup;\x20the\x20guard\x20re-asserts\x20the\x20roster\x20predicate\x20and\x20requires\x20the\x20merchant\x20staff\x27s\x20handover\x20row.','guardKeyProbe':'pickup_evidence','evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'M12','class':'main','name':'In-transit\x20real-time\x20location','actor':'platform','precondition':['M11'],'onchain':'unresolvable','commercialSemantics':'Live\x20rider\x20location\x20and\x20ETA\x20are\x20app\x20features;\x20the\x20chain\x20has\x20no\x20location/ETA\x20oracle.','unresolvableRef':'S7','disclosureProbe':'ETA\x20\x5c/\x20ROUTE|DISTANCE\x20ORACLE','evidence':[]},{'id':'M13','class':'main','name':'Rider\x20delivers\x20the\x20order\x20(drop-off\x20attested)','actor':'fulfiller','precondition':['M11'],'onchain':'expressible_with_gap','chainFootprint':{'node':'delivered','forward':'DeliverOrder','prev':'picked_up','identity':'named_operator','moneyEffect':'none'},'commercialSemantics':'Delivery\x20is\x20attested\x20by\x20the\x20rostered\x20rider\x27s\x20forward\x20plus\x20a\x20merchant-staff\x20drop-off\x20evidence\x20row;\x20the\x20chain\x20has\x20no\x20parcel\x20oracle,\x20so\x20\x27delivered\x27\x20rests\x20on\x20these\x20two\x20credentials\x20(see\x20E18\x20for\x20the\x20fake-delivery\x20residual).','guardKeyProbe':'deliver_evidence','gapPredicate':{'probe':'parcel\x20oracle|handover\x20evidence'},'evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'M14','class':'main','name':'Buyer\x20confirms\x20receipt\x20/\x20silence\x20fallback\x20opens\x20the\x20claim\x20window','actor':'buyer','precondition':['M13'],'onchain':'expressible','chainFootprint':{'node':'claim_window','forward':'ConfirmReceipt','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Buyer-first\x20confirmation\x20with\x20a\x20keeper\x20silence\x20fallback\x20(auto_confirm_hours)\x20—\x20a\x20silent\x20buyer\x20can\x20never\x20strand\x20the\x20escrow\x20at\x20delivered.','evidence':[]},{'id':'M15','class':'post','name':'Buyer\x20reviews\x20the\x20order','actor':'buyer','precondition':['M16'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'SubmitReview','prev':'completed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Post-settlement\x20review\x20rail,\x20money-free\x20by\x20topology;\x20reward\x20cashback\x20is\x20an\x20explicit\x20opt-in,\x20off\x20by\x20default.','evidence':[]},{'id':'M16','class':'post','name':'Merchant\x20settlement\x20after\x20the\x20claim\x20window\x20elapses','actor':'platform','precondition':['M14'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'SettleAfterWindow','prev':'claim_window','moneyEffect':'release'},'commercialSemantics':'Serial\x20claim\x20window\x20(TPL-09):\x20settlement\x20opens\x20only\x20after\x20the\x20filing\x20window\x20closed;\x20the\x20goods\x20allocator\x20pays\x20the\x20restaurant\x20and\x20the\x20platform\x20legs.','guardKeyProbe':'settle_window_gate','evidence':[]},{'id':'M17','class':'post','name':'Rider\x20paid\x20per\x20order','actor':'platform','precondition':['M16'],'onchain':'expressible','chainFootprint':{'moneyEffect':'reward'},'commercialSemantics':'Per-order\x20rider\x20pay\x20IS\x20chain-expressible\x20(an\x20Entity\x20or\x20Signer\x20allocator\x20leg\x20bypasses\x20the\x20for_object\x20lock;\x20T-06\x20proven\x20live),\x20but\x20the\x20shipped\x20shape\x20keeps\x20rider\x20pay\x20as\x20OFF-CHAIN\x20platform\x20payroll\x20—\x20the\x20platform\x20Rate-0\x20leg\x20pays\x20nothing.\x20No\x20rider-pay\x20leg\x20or\x20Reward\x20claim\x20ships:\x20the\x20escrow\x20never\x20pays\x20the\x20courier.','evidence':[{'file':'allocation.move','line':0x274,'pattern':'tx_context::sender'}]},{'id':'E1','class':'exception','name':'Payment\x20timeout\x20/\x20failure','actor':'buyer','precondition':['M5'],'onchain':'not_applicable','commercialSemantics':'buy2\x20is\x20atomic\x20—\x20quote,\x20payment\x20and\x20escrow\x20commit\x20or\x20abort\x20together;\x20there\x20is\x20no\x20paid-but-unescrowed\x20state\x20to\x20time\x20out.','evidence':[]},{'id':'E2','class':'exception','name':'Merchant\x20rejects\x20the\x20order\x20before\x20acceptance\x20(full\x20refund)','actor':'merchant','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'RejectOrder','prev':'paid','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'Sold-out\x20/\x20closing\x20merchant\x20rejects;\x20the\x20order-anchored\x20full-refund\x20rail\x20returns\x20the\x20whole\x20escrow.','evidence':[]},{'id':'E3','class':'exception','name':'Merchant\x20fails\x20to\x20accept\x20in\x20time\x20(auto-cancel\x20full\x20refund)','actor':'keeper','precondition':['M6'],'onchain':'expressible','chainFootprint':{'forward':'TimeoutAccept','moneyEffect':'refund'},'commercialSemantics':'Real\x20products\x20auto-cancel\x20and\x20fully\x20refund\x20when\x20no\x20merchant\x20accepts\x20within\x20a\x20deadline;\x20this\x20template\x20has\x20NO\x20accept-timeout\x20edge\x20(auto_confirm\x20only\x20guards\x20post-delivery\x20silence).','evidence':[]},{'id':'E4','class':'exception','name':'Buyer\x20cancels\x20before\x20acceptance\x20(free\x20full\x20refund)','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelBeforeAccept','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'No-prep\x20cancel\x20is\x20free;\x20the\x20full\x20escrow\x20returns\x20order-anchored.','evidence':[]},{'id':'E5','class':'exception','name':'Buyer\x20cancels\x20after\x20acceptance\x20(fee-bearing\x20kill)','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'closed_kill','forward':'CancelAfterAccept','prev':'accepted','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x20kitchen\x20already\x20started:\x20kill_fee_bps\x20(benchmark\x205%)\x20compensates\x20the\x20restaurant,\x20the\x20complement\x20returns\x20to\x20the\x20buyer.','evidence':[]},{'id':'E6','class':'exception','name':'Merchant\x20refuses\x20a\x20mid-prep\x20buyer\x20cancel','actor':'merchant','precondition':['E5'],'onchain':'expressible','chainFootprint':{'forward':'RejectCancel','moneyEffect':'none'},'commercialSemantics':'Some\x20products\x20let\x20the\x20merchant\x20decline\x20a\x20cancel\x20request\x20once\x20cooking\x20started\x20(consent-gated\x20cancel);\x20this\x20template\x20has\x20no\x20such\x20negotiation\x20edge\x20—\x20the\x20buyer\x27s\x20kill\x20always\x20executes.','evidence':[]},{'id':'E7','class':'exception','name':'Prep\x20timeout\x20(penalty-free\x20cancel\x20plus\x20lateness\x20compensation)','actor':'keeper','precondition':['M7'],'onchain':'expressible','chainFootprint':{'forward':'ReadyTimeoutCancel','moneyEffect':'refund'},'commercialSemantics':'If\x20the\x20restaurant\x20misses\x20its\x20prep\x20deadline\x20the\x20buyer\x20can\x20cancel\x20penalty-free\x20(and\x20real\x20products\x20add\x20a\x20lateness\x20voucher);\x20this\x20template\x20has\x20NO\x20ready-timeout\x20edge.','evidence':[]},{'id':'E8','class':'exception','name':'No\x20rider\x20accepts\x20(capacity\x20shortage)\x20—\x20buyer\x20cancels\x20penalty-free','actor':'platform','precondition':['M8'],'onchain':'expressible','chainFootprint':{'forward':'CancelForNoCapacity','moneyEffect':'refund'},'commercialSemantics':'Capacity\x20shortage\x20is\x20NOT\x20the\x20buyer\x27s\x20fault:\x20real\x20products\x20waive\x20the\x20cancel\x20fee\x20when\x20no\x20rider\x20picked\x20up\x20within\x20the\x20promised\x20dispatch\x20window.\x20CURED\x20(K3\x20Batch\x2010,\x20261031):\x20the\x20template\x20ships\x20CancelForNoCapacity\x20—\x20the\x20platform\x20(keeper\x20slot\x201002)\x20force-cancels\x20penalty-free\x20into\x20the\x20full-refund\x20terminal\x20once\x20dispatch_window_hours\x20elapse\x20on\x20the\x20ready\x20entry\x20with\x20no\x20rostered\x20pickup;\x20the\x205%\x20kill\x20stays\x20reserved\x20for\x20BUYER-initiated\x20post-acceptance\x20cancels.','evidence':[]},{'id':'E9','class':'exception','name':'Rider\x20cancels\x20/\x20is\x20reassigned\x20(re-dispatch)','actor':'platform','precondition':['M9'],'onchain':'disclosure_only','chainFootprint':{'moneyEffect':'none'},'commercialSemantics':'Re-dispatch\x20is\x20an\x20off-chain\x20keeper\x20duty;\x20the\x20chain\x20never\x20fabricates\x20delivery\x20state\x20to\x20cover\x20a\x20dead\x20rider.','disclosureProbe':'re-dispatch','evidence':[]},{'id':'E10','class':'exception','name':'Rider\x20arrives\x20but\x20food\x20is\x20not\x20ready\x20(wait\x20/\x20escalate\x20/\x20cancel)','actor':'fulfiller','precondition':['M10'],'onchain':'expressible','chainFootprint':{'forward':'ReportMerchantNotReady','moneyEffect':'none'},'commercialSemantics':'Rider-side\x20wait/escalation\x20when\x20the\x20merchant\x20misses\x20the\x20prep\x20slot;\x20this\x20template\x20expresses\x20no\x20rider-side\x20complaint\x20surface.','evidence':[]},{'id':'E11','class':'exception','name':'Partial\x20stock-out\x20(partial\x20refund\x20/\x20substitution\x20/\x20cancel)','actor':'merchant','precondition':['M7'],'onchain':'expressible','chainFootprint':{'forward':'PartialRefund','moneyEffect':'refund'},'commercialSemantics':'A\x20chain-enforced\x20partial-remedy\x20branch\x20IS\x20expressible\x20(consent\x20repository\x20+\x20byte-equality\x20acceptance\x20+\x20existence-verified\x20refund\x20leg)\x20but\x20ships\x20only\x20as\x20an\x20OPT-IN\x20build\x20note\x20—\x20no\x20default\x20partial-refund\x20rail\x20exists.','evidence':[]},{'id':'E12','class':'exception','name':'Spillage\x20/\x20damage\x20in\x20transit\x20(photo\x20evidence,\x20full\x20or\x20partial\x20refund)','actor':'fulfiller','precondition':['M11'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'ReportTransitLoss','prev':'picked_up','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'In-transit\x20loss\x20routes\x20into\x20the\x20dispute\x20waypoint\x20(identity-only\x20by\x20design\x20mid-transit);\x20the\x20remedy\x20is\x20the\x20buyer\x27s\x20arbitration\x20case\x20into\x20the\x20full-refund\x20rail.','guardKeyProbe':'report_loss','evidence':[]},{'id':'E13','class':'exception','name':'Wrong\x20/\x20missing\x20items\x20(redelivery\x20or\x20refund)','actor':'merchant','precondition':['M13'],'onchain':'expressible','chainFootprint':{'forward':'Redeliver','moneyEffect':'none'},'commercialSemantics':'Redelivery\x20has\x20no\x20path\x20(machine\x20freeze\x20—\x20a\x20post-publish\x20re-delivery\x20rail\x20cannot\x20be\x20added);\x20the\x20buyer\x27s\x20only\x20remedies\x20are\x20dispute/arbitration\x20or\x20the\x20return\x20rail.','evidence':[]},{'id':'E14','class':'exception','name':'Food-safety\x20violation\x20(full\x20refund\x20plus\x20high-multiple\x20compensation)','actor':'merchant','precondition':['M13'],'onchain':'expressible_with_gap','chainFootprint':{'node':'claim_filed','moneyEffect':'compensate'},'commercialSemantics':'Statutory\x20food-safety\x20compensation\x20(price\x20x10\x20or\x20loss\x20x3,\x20floor\x201000\x20CNY)\x20routes\x20through\x20arbitration;\x20the\x20chain\x20caps\x20indemnity\x20at\x203x\x20the\x20order\x20amount\x20and\x20hard-binds\x20the\x20payee\x20to\x20order.owner\x20—\x20the\x20statutory\x20multiple\x20is\x20unreachable\x20on-chain.','gapPredicate':{'probe':'tenfold|10x|MAX_INDEMNITY|statutory|food.safety'},'evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'}]},{'id':'E15','class':'exception','name':'Late-delivery\x20compensation\x20(on-time\x20guarantee)','actor':'fulfiller','precondition':['M13'],'onchain':'expressible_with_gap','chainFootprint':{'node':'completed','forward':'SettleAfterWindow','prev':'claim_window','moneyEffect':'release','guardLegs':['payment.info.for\x20==\x20the\x20order\x20anchored\x20at\x20protocol\x20slot\x20254\x20(one\x20order)','payment.info.remark\x20==\x20the\x20versioned\x20clause\x20marker\x20(one\x20matter)','order.owner\x20==\x20the\x20submitted\x20beneficiary\x20address,\x20and\x20payment.recipient\x20has\x20that\x20address\x20(payee\x20closure)','payment.amount\x20>=\x20the\x20clause\x20penalty\x20(amount\x20closure)','protocol\x20slot\x20255\x20==\x20progress.history\x20count,\x20so\x20the\x20proof\x20burns\x20after\x20one\x20verification\x20(one\x20time)','settlement\x20leg\x20becomes\x20logic_or(on-time\x20evidence\x20row,\x20compensation\x20voucher)\x20—\x20a\x20late\x20order\x20rests\x20at\x20the\x20window\x20with\x20funds\x20intact\x20until\x20the\x20voucher\x20verifies']},'commercialSemantics':'Punctuality\x20products\x20pay\x20the\x20buyer\x20when\x20the\x20order\x20is\x20late.\x20Industry\x20equilibrium\x20is\x20a\x20small,\x20no-application-required,\x20proactive\x20payout:\x20SF\x20Express\x20since\x202025-12-01\x20self-pays\x2020-30%\x20of\x20the\x20shipping\x20fee\x20in\x20tiers\x20for\x20its\x20own\x20delays\x20with\x20zero\x20rider\x20pass-through,\x20and\x20JD\x20instant\x20delivery\x20auto-issues\x20a\x20voucher\x20past\x2010/20\x20minutes.\x20The\x20chain\x20cannot\x20DEDUCT\x20that\x20amount\x20from\x20anyone,\x20but\x20it\x20does\x20not\x20need\x20to:\x20Payment\x20is\x20immutable\x20and\x20self-authenticating,\x20so\x20a\x20forward\x20guard\x20can\x20verify\x20a\x20voluntarily\x20minted\x20compensation\x20voucher\x20and\x20refuse\x20to\x20settle\x20until\x20it\x20exists.\x20Non-payment\x20therefore\x20costs\x20the\x20liable\x20party\x20more\x20than\x20payment\x20—\x20the\x20order\x20rests\x20with\x20funds\x20intact\x20and\x20the\x20buyer\x20keeps\x20the\x20arbitration\x20rail\x20(up\x20to\x203x\x20plus\x20the\x20compensation\x20fund).','gapPredicate':{'probe':'voluntar(y|ily)[^\x22]{0,80}(payment|payout|compensat|mint)|compensation\x20voucher|payment\x20voucher|refus[^\x22]{0,40}settle|settlement[^\x22]{0,40}voucher|[Ff]our\x20[Dd]isclosure\x20[Dd]uties|independent[^\x22]{0,20}[Rr]eward\x20[Pp]ool'},'guardKeyProbe':'penalty_marker|sla_penalty|penalty_payment|on_time_gate','guardProbeKind':'feature','evidence':[{'file':'payment.move','line':0x72,'pattern':'public\x20fun\x20new_singleton'},{'file':'payment.move','line':0x42,'pattern':'public\x20struct\x20PaymentInfo\x20has\x20copy,\x20drop,\x20store\x20{'},{'file':'payment.move','line':0xb7,'pattern':'transfer::freeze_object(payment);'},{'file':'allocation.move','line':0x214,'pattern':'E_ONCE_TRIGGERED'}]},{'id':'E16','class':'exception','name':'Wrong\x20address\x20/\x20unreachable\x20buyer\x20(wait,\x20return,\x20partial\x20deduction)','actor':'buyer','precondition':['M11'],'onchain':'expressible','chainFootprint':{'forward':'ReturnToSender','moneyEffect':'refund'},'commercialSemantics':'Failed-contact\x20flows\x20end\x20in\x20a\x20return-to-sender\x20with\x20a\x20partial\x20deduction;\x20this\x20template\x20has\x20no\x20such\x20path\x20—\x20a\x20buyer\x20unreachable\x20at\x20the\x20door\x20strands\x20the\x20order\x20at\x20delivered\x20until\x20the\x20silence\x20fallback.','evidence':[]},{'id':'E17','class':'exception','name':'Buyer\x20rejects\x20at\x20the\x20door\x20(refund\x20minus\x20delivery\x20fee)','actor':'buyer','precondition':['M13'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'RequestReturn','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'T-02\x20after-sales\x20rail:\x20a\x20buyer\x20rejects\x20the\x20delivered\x20order\x20inside\x20the\x20return\x20window;\x20the\x20merchant\x20confirms\x20(full\x20refund)\x20or\x20rejects\x20(resume),\x20and\x20the\x20buyer\x20can\x20self-withdraw.\x20The\x20fee\x20shape\x20is\x20a\x20Rate\x20split\x20(kill_fee_bps),\x20not\x20a\x20delivery-fee\x20deduction\x20—\x20semantically\x20adjacent,\x20disclosed.','evidence':[]},{'id':'E18','class':'exception','name':'Fake\x20delivery\x20(rider\x20marks\x20delivered\x20without\x20delivering)','actor':'fulfiller','precondition':['M11'],'onchain':'expressible_with_gap','chainFootprint':{'node':'delivered','forward':'DeliverOrder','prev':'picked_up','identity':'named_operator','moneyEffect':'none'},'commercialSemantics':'DM-P1\x20hardened\x20the\x20handover:\x20only\x20a\x20rostered\x20rider\x20can\x20advance,\x20and\x20the\x20guard\x20re-asserts\x20the\x20roster\x20predicate\x20plus\x20an\x20order-keyed\x20merchant-staff\x20drop-off\x20row.\x20The\x20chain\x20still\x20has\x20no\x20parcel\x20oracle\x20—\x20a\x20colluding\x20staff\x20writer\x20+\x20rostered\x20rider\x20can\x20still\x20fake\x20the\x20row;\x20the\x20residual\x20risk\x20is\x20disclosure-bounded.','guardKeyProbe':'deliver_evidence','gapPredicate':{'probe':'parcel\x20oracle|handover\x20evidence'},'evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'E19','class':'exception','name':'Contactless-delivery\x20loss\x20(left\x20at\x20the\x20door,\x20buyer\x20never\x20received)','actor':'arbitrator','precondition':['M13'],'onchain':'expressible','chainFootprint':{'forward':'ReportContactlessLoss','moneyEffect':'none'},'commercialSemantics':'A\x20dedicated\x20non-receipt\x20declaration\x20after\x20a\x20contactless\x20drop-off;\x20this\x20template\x20routes\x20the\x20case\x20only\x20through\x20the\x20generic\x20dispute\x20filing\x20(FileDispute)\x20once\x20the\x20claim\x20window\x20opened\x20—\x20no\x20contactless-specific\x20surface.','evidence':[]},{'id':'E20','class':'remedy','name':'Refund\x20refused\x20(escalate\x20to\x20third-party\x20arbitration)','actor':'buyer','precondition':['M14'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'claim_window','moneyEffect':'none'},'commercialSemantics':'Dispute\x20filing\x20is\x20alive\x20only\x20INSIDE\x20the\x20serial\x20claim\x20window;\x20the\x20venue\x20is\x20an\x20independent\x20third-party\x20Arbitration\x20object.','evidence':[]},{'id':'E21','class':'remedy','name':'Arbitrator\x20rules\x20for\x20the\x20buyer\x20(refund\x20executes)','actor':'arbitrator','precondition':['E20'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'claim_filed','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'A\x20buyer-won\x20ruling\x20with\x20non-zero\x20indemnity\x20re-routes\x20the\x20order\x20into\x20the\x20full-refund\x20rail.','guardKeyProbe':'arb_refund','evidence':[]},{'id':'E22','class':'remedy','name':'Arbitrator\x20dismisses\x20the\x20claim\x20(order\x20resumes)','actor':'arbitrator','precondition':['E20'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'A\x20merchant-favor\x20ruling\x20resumes\x20the\x20order\x20at\x20delivered\x20with\x20re-anchored\x20silence\x20windows.','guardKeyProbe':'arb_dismissed_resume','evidence':[]},{'id':'E23','class':'remedy','name':'Arbitration\x20timeout\x20deemed\x20favorable\x20to\x20the\x20buyer','actor':'platform','precondition':['E20'],'onchain':'not_applicable','commercialSemantics':'Real\x20products\x20deem\x20an\x20unraveled\x20case\x20buyer-favorable;\x20on-chain\x20the\x20semantics\x20INVERT\x20—\x2030\x20days\x20of\x20arbitrator\x20silence\x20means\x20the\x20recorded\x20ruling\x20is\x20ACCEPTED\x20and\x20executes\x20as-is.\x20The\x20difference\x20must\x20be\x20disclosed.','disclosureProbe':'30.day|silence[^\x22]{0,80}(accept|arb)|ruling[^\x22]{0,80}silence','evidence':[]},{'id':'E24','class':'post','name':'Merchant\x20appeals\x20a\x20malicious\x20review\x20(removal)','actor':'merchant','precondition':['M15'],'onchain':'expressible_with_gap','chainFootprint':{'forward':'AppealReview','moneyEffect':'none'},'commercialSemantics':'Review\x20removal\x20on-chain\x20would\x20be\x20an\x20overwrite\x20of\x20a\x20kernel-owned\x20repository\x20row\x20—\x20constrained\x20by\x20write_once\x20policy;\x20no\x20appeal/removal\x20surface\x20exists\x20on\x20this\x20template.','gapPredicate':{'probe':'write_once|review[^\x22]{0,80}(edit|remov|appeal)|(edit|remov|appeal)[^\x22]{0,80}review'},'evidence':[]},{'id':'E25','class':'post','name':'Review\x20edit\x20window','actor':'buyer','precondition':['M15'],'onchain':'expressible_with_gap','chainFootprint':{'forward':'EditReview','moneyEffect':'none'},'commercialSemantics':'Whether\x20a\x20review\x20may\x20be\x20edited\x20depends\x20on\x20the\x20review\x20repository\x27s\x20write_once\x20policy;\x20no\x20explicit\x20edit\x20window\x20is\x20declared\x20on\x20this\x20template.','gapPredicate':{'probe':'write_once|review[^\x22]{0,80}(edit|remov|appeal)|(edit|remov|appeal)[^\x22]{0,80}review'},'evidence':[]},{'id':'E26','class':'exception','name':'Store\x20delisted\x20while\x20orders\x20are\x20open\x20(mass\x20refund)','actor':'platform','precondition':['M6'],'onchain':'expressible','chainFootprint':{'forward':'DelistRefund','moneyEffect':'refund'},'commercialSemantics':'A\x20delisting\x20refund\x20rail\x20is\x20expressible\x20(B-1/F-2\x20family)\x20but\x20this\x20template\x20ships\x20none\x20—\x20open\x20orders\x20ride\x20only\x20their\x20per-order\x20rails.','evidence':[]},{'id':'E27','class':'exception','name':'Duplicate\x20order\x20(cancel\x20one\x20of\x20two\x20identical\x20orders)','actor':'buyer','precondition':['M6'],'onchain':'not_applicable','commercialSemantics':'Orders\x20are\x20independent\x20objects;\x20the\x20buyer\x20cancels\x20the\x20duplicate\x20through\x20the\x20normal\x20cancel\x20rails\x20(E4/E5).','evidence':[]},{'id':'E28','class':'exception','name':'Mispriced\x20promotion\x20(price-difference\x20refund)','actor':'platform','precondition':['M3'],'onchain':'expressible_with_gap','chainFootprint':{'forward':'RefundPriceDiff','moneyEffect':'refund'},'commercialSemantics':'No\x20price-difference\x20rail;\x20known\x20chain\x20defect\x20A-4\x20makes\x20it\x20worse\x20—\x20a\x20coupon\x20below\x20benchmark\x20changes\x20no\x20price\x20yet\x20the\x20voucher\x20is\x20still\x20burned.','gapPredicate':{'probe':'price.?difference|coupon[^\x22]{0,80}(burn|wasted)|burned[^\x22]{0,80}coupon'},'evidence':[]},{'id':'E29','class':'exception','name':'Scheduled-order\x20tiered\x20cancellation\x20fees','actor':'buyer','precondition':['M6'],'onchain':'expressible_with_gap','chainFootprint':{'forward':'ScheduledKill','moneyEffect':'refund'},'commercialSemantics':'Scheduled\x20(pre-order)\x20meals\x20use\x20time-graded\x20cancel\x20fees;\x20kill_fee_bps\x20is\x20a\x20single\x20flat\x20rate\x20—\x20no\x20tiers,\x20no\x20scheduled-order\x20shape.','gapPredicate':{'probe':'tiered|scheduled|appointment'},'evidence':[]},{'id':'E30','class':'exception','name':'Rider\x20accident\x20/\x20personal-injury\x20insurance','actor':'platform','precondition':['M9'],'onchain':'unresolvable','commercialSemantics':'Rider\x20injury\x20coverage\x20is\x20an\x20insurance\x20product;\x20the\x20chain\x20has\x20no\x20insurance\x20primitive\x20—\x20coverage\x20is\x20an\x20off-chain\x20policy\x20under\x20platform-work\x20and\x20traffic\x20law.','unresolvableRef':'S10','disclosureProbe':'accident[^\x22]{0,80}insurance|insurance[^\x22]{0,80}rider|injury','evidence':[]},{'id':'E31','class':'post','name':'Post-delivery\x20tip\x20top-up','actor':'buyer','precondition':['M16'],'onchain':'expressible','chainFootprint':{'forward':'AddTip','moneyEffect':'reward'},'commercialSemantics':'A\x20post-delivery\x20tip\x20is\x20expressible\x20(Reward\x20claim,\x20P6),\x20but\x20courier_tip_bps\x20is\x20DISCLOSURE-ONLY\x20and\x20rides\x20the\x20order\x20total\x20—\x20no\x20independent\x20post-delivery\x20tip\x20funding\x20path\x20ships.','evidence':[]},{'id':'E32','class':'exception','name':'Membership\x20free-delivery\x20not\x20applied\x20(delivery-fee\x20rebate)','actor':'platform','precondition':['M6'],'onchain':'expressible','chainFootprint':{'forward':'DeliveryFeeRebate','moneyEffect':'refund'},'commercialSemantics':'Cross-template\x20membership\x20linkage\x20(subscription/delivery-membership)\x20has\x20no\x20on-chain\x20grouping\x20(S2)\x20—\x20the\x20rebate\x20must\x20be\x20an\x20independent\x20order-level\x20remedy.','evidence':[]}],'invariants':[{'id':'INV-FD-1','statement':'Food-safety\x20compensation\x20must\x20reach\x20price\x20x10\x20or\x20loss\x20x3\x20with\x20a\x201000\x20CNY\x20floor\x20(China\x20Food\x20Safety\x20Law\x20art.\x20148).','jurisdiction':'CN','chainConflict':'The\x20chain\x20caps\x20arbitration\x20indemnity\x20at\x203x\x20the\x20order\x20amount\x20(the\x20MAX_INDEMNITY_MULTIPLE\x20constant)\x20and\x20hard-binds\x20the\x20payee\x20to\x20order.owner\x20—\x20the\x20statutory\x20multiple\x20and\x20the\x20small-claim\x20floor\x20are\x20unreachable\x20on-chain.\x20Options:\x20disclose\x20the\x203x\x20cap\x20and\x20pursue\x20the\x20statutory\x20remainder\x20off-chain;\x20pre-fund\x20a\x20Reward\x20pool\x20for\x20the\x20difference;\x20or\x20raise\x20the\x20chain\x20cap\x20(protocol\x20upgrade,\x20affects\x20every\x20published\x20Service\x27s\x20exposure).','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'}]},{'id':'INV-FD-2','statement':'A\x20cancel\x20caused\x20by\x20capacity\x20shortage\x20(no\x20rider\x20accepted)\x20must\x20be\x20free\x20for\x20the\x20buyer\x20—\x20the\x20fulfillment\x20failure\x20is\x20not\x20the\x20buyer\x27s\x20fault.','chainConflict':'None\x20—\x20this\x20is\x20pure\x20business\x20semantics\x20and\x20the\x20fix\x20is\x20zero-chain-change:\x20add\x20a\x20CancelForNoCapacity\x20edge\x20into\x20the\x20full-refund\x20terminal,\x20guarded\x20on\x20\x27still\x20pre-pickup\x27\x20plus\x20a\x20clock\x20past\x20the\x20promised\x20dispatch\x20window.','violation':{'requiresFeeParamNonZero':'kill_fee_bps','whileMissingForward':'CancelForNoCapacity'}},{'id':'INV-FD-3','statement':'Rider\x20pay\x20is\x20off-chain\x20platform\x20payroll\x20in\x20the\x20shipped\x20shape;\x20nothing\x20on\x20chain\x20pays\x20the\x20courier\x20per\x20order.','chainConflict':'The\x20platform\x20Rate-0\x20allocator\x20leg\x20pays\x20nothing\x20(it\x20shares\x20the\x20settlement\x20rail\x20as\x20an\x20order\x20anchor).\x20Builders\x20who\x20misread\x20it\x20as\x20\x27the\x20platform\x20pays\x20riders\x20from\x20escrow\x27\x20are\x20wrong:\x20direct\x20per-order\x20rider\x20pay\x20requires\x20an\x20explicit\x20Entity/Signer\x20leg\x20(the\x20on-chain\x20allocation\x20Entity/Signer\x20payout\x20path)\x20or\x20a\x20Reward\x20claim.\x20EU\x20note:\x20platform-set\x20pay\x20+\x20dispatch\x20roster\x20+\x20electronic\x20monitoring\x20hit\x20the\x20Platform\x20Work\x20Directive\x20presumptive-employment\x20criteria\x20—\x20in\x20EU\x20builds\x20riders\x20must\x20quote\x20their\x20own\x20price\x20or\x20the\x20merchant_managed\x20variant\x20is\x20used.'}]};
+export const FOOD_DELIVERY_ORACLE={'productRef':'meituan-waimai','products':['meituan-waimai','uber-eats','doordash'],'oracleVersion':'1.2.0','steps':[{'id':'M1','class':'offchain','name':'Browse\x20and\x20search\x20restaurants','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Storefront\x20discovery\x20is\x20a\x20pure\x20off-chain\x20concern;\x20the\x20chain\x20holds\x20no\x20catalog.','evidence':[]},{'id':'M2','class':'offchain','name':'Cart\x20assembly','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Item\x20selection\x20and\x20quantity\x20edits\x20happen\x20in\x20the\x20client;\x20the\x20chain\x20sees\x20only\x20the\x20final\x20total.','evidence':[]},{'id':'M3','class':'offchain','name':'Promotion\x20/\x20coupon\x20application','actor':'platform','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'Discounts\x20are\x20priced\x20into\x20the\x20payable\x20total\x20before\x20escrow;\x20see\x20E28\x20for\x20the\x20mispricing\x20remedy.','evidence':[]},{'id':'M4','class':'offchain','name':'Delivery\x20address\x20entry','actor':'buyer','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'Address\x20privacy\x20is\x20an\x20off-chain\x20concern\x20on\x20this\x20template\x20(Service.customer_required\x20is\x20declarative-only;\x20no\x20required_info\x20surface\x20ships).','evidence':[]},{'id':'M5','class':'offchain','name':'Delivery\x20option\x20selection','actor':'buyer','precondition':['M4'],'onchain':'not_applicable','commercialSemantics':'Delivery\x20mode\x20(courier\x20vs\x20pickup)\x20is\x20chosen\x20off-chain;\x20this\x20template\x27s\x20shape\x20is\x20courier.','evidence':[]},{'id':'M6','class':'main','name':'Pay\x20and\x20escrow\x20(meal\x20+\x20packaging\x20+\x20delivery\x20fee\x20in\x20one\x20total)','actor':'buyer','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'Enter','prev':'','moneyEffect':'escrow_in'},'commercialSemantics':'One\x20atomic\x20buy:\x20quote\x20+\x20payment\x20+\x20escrow\x20in\x20a\x20single\x20transaction;\x20the\x20delivery\x20fee\x20rides\x20the\x20order\x20total.','evidence':[]},{'id':'M7','class':'main','name':'Restaurant\x20accepts\x20the\x20order\x20(prep\x20slot)','actor':'merchant','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'accepted','forward':'AcceptOrder','prev':'paid','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Merchant\x20acceptance\x20commits\x20the\x20order;\x20after\x20it\x20a\x20buyer\x20cancel\x20is\x20a\x20fee-bearing\x20kill\x20(E5)\x20and\x20a\x20merchant\x20reject\x20is\x20a\x20full\x20refund\x20(E2).','evidence':[{'file':'machine.move','line':0x5f,'pattern':'namedOperator,\x20permissionIndex,\x20and\x20guard\x20participate'}]},{'id':'M8','class':'main','name':'Meal\x20packed\x20and\x20sealed\x20(handover\x20evidence\x20row)','actor':'merchant','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'ready','forward':'MarkReady','prev':'accepted','moneyEffect':'none'},'commercialSemantics':'Kitchen\x20readiness\x20is\x20attested\x20by\x20a\x20merchant-staff\x20evidence\x20row\x20(bag-seal\x20code)\x20keyed\x20to\x20the\x20order\x20before\x20the\x20order\x20is\x20offered\x20to\x20riders.','guardKeyProbe':'ready_evidence','evidence':[]},{'id':'M9','class':'main','name':'Platform\x20dispatches\x20the\x20order\x20to\x20a\x20rider','actor':'platform','precondition':['M8'],'onchain':'disclosure_only','chainFootprint':{'moneyEffect':'none'},'commercialSemantics':'Dispatch\x20is\x20an\x20off-chain\x20keeper\x20decision;\x20its\x20only\x20chain\x20footprint\x20is\x20the\x20per-order\x20namedOperator\x20roster\x20(permission\x20index\x20221).','disclosureProbe':'DISPATCH\x20IS\x20OFF-CHAIN','evidence':[]},{'id':'M10','class':'main','name':'Rider\x20arrives\x20at\x20the\x20restaurant','actor':'fulfiller','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'picked_up'},'commercialSemantics':'Rider\x20arrival\x20has\x20no\x20independent\x20node;\x20it\x20is\x20implicit\x20in\x20the\x20pickup\x20handover\x20(acceptable\x20modeling).','evidence':[]},{'id':'M11','class':'main','name':'Rider\x20picks\x20up\x20with\x20handover\x20verification','actor':'fulfiller','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'picked_up','forward':'PickupOrder','prev':'ready','identity':'named_operator','moneyEffect':'none'},'commercialSemantics':'Only\x20a\x20rostered\x20rider\x20may\x20advance\x20the\x20pickup;\x20the\x20guard\x20re-asserts\x20the\x20roster\x20predicate\x20and\x20requires\x20the\x20merchant\x20staff\x27s\x20handover\x20row.','guardKeyProbe':'pickup_evidence','evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'M12','class':'main','name':'In-transit\x20real-time\x20location','actor':'platform','precondition':['M11'],'onchain':'unresolvable','commercialSemantics':'Live\x20rider\x20location\x20and\x20ETA\x20are\x20app\x20features;\x20the\x20chain\x20has\x20no\x20location/ETA\x20oracle.','unresolvableRef':'S7','disclosureProbe':'ETA\x20\x5c/\x20ROUTE|DISTANCE\x20ORACLE','evidence':[]},{'id':'M13','class':'main','name':'Rider\x20delivers\x20the\x20order\x20(drop-off\x20attested)','actor':'fulfiller','precondition':['M11'],'onchain':'expressible_with_gap','chainFootprint':{'node':'delivered','forward':'DeliverOrder','prev':'picked_up','identity':'named_operator','moneyEffect':'none'},'commercialSemantics':'Delivery\x20is\x20attested\x20by\x20the\x20rostered\x20rider\x27s\x20forward\x20plus\x20a\x20merchant-staff\x20drop-off\x20evidence\x20row;\x20the\x20chain\x20has\x20no\x20parcel\x20oracle,\x20so\x20\x27delivered\x27\x20rests\x20on\x20these\x20two\x20credentials\x20(see\x20E18\x20for\x20the\x20fake-delivery\x20residual).','guardKeyProbe':'deliver_evidence','gapPredicate':{'probe':'parcel\x20oracle|handover\x20evidence'},'evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'M14','class':'main','name':'Buyer\x20confirms\x20receipt\x20/\x20silence\x20fallback\x20opens\x20the\x20claim\x20window','actor':'buyer','precondition':['M13'],'onchain':'expressible','chainFootprint':{'node':'claim_window','forward':'ConfirmReceipt','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Buyer-first\x20confirmation\x20with\x20a\x20keeper\x20silence\x20fallback\x20(auto_confirm_hours)\x20—\x20a\x20silent\x20buyer\x20can\x20never\x20strand\x20the\x20escrow\x20at\x20delivered.','evidence':[]},{'id':'M15','class':'post','name':'Buyer\x20reviews\x20the\x20order','actor':'buyer','precondition':['M16'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'SubmitReview','prev':'completed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Post-settlement\x20review\x20rail,\x20money-free\x20by\x20topology;\x20reward\x20cashback\x20is\x20an\x20explicit\x20opt-in,\x20off\x20by\x20default.','evidence':[]},{'id':'M16','class':'post','name':'Merchant\x20settlement\x20after\x20the\x20claim\x20window\x20elapses','actor':'platform','precondition':['M14'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'SettleAfterWindow','prev':'claim_window','moneyEffect':'release'},'commercialSemantics':'Serial\x20claim\x20window\x20(TPL-09):\x20settlement\x20opens\x20only\x20after\x20the\x20filing\x20window\x20closed;\x20the\x20goods\x20allocator\x20pays\x20the\x20restaurant\x20and\x20the\x20platform\x20legs.','guardKeyProbe':'settle_window_gate','evidence':[]},{'id':'M17','class':'post','name':'Rider\x20paid\x20per\x20order','actor':'platform','precondition':['M16'],'onchain':'expressible','chainFootprint':{'moneyEffect':'reward'},'commercialSemantics':'Per-order\x20rider\x20pay\x20IS\x20chain-expressible\x20(an\x20Entity\x20or\x20Signer\x20allocator\x20leg\x20bypasses\x20the\x20for_object\x20lock;\x20T-06\x20proven\x20live),\x20but\x20the\x20shipped\x20shape\x20keeps\x20rider\x20pay\x20as\x20OFF-CHAIN\x20platform\x20payroll\x20—\x20the\x20platform\x20Rate-0\x20leg\x20pays\x20nothing.\x20No\x20rider-pay\x20leg\x20or\x20Reward\x20claim\x20ships:\x20the\x20escrow\x20never\x20pays\x20the\x20courier.','evidence':[{'file':'allocation.move','line':0x274,'pattern':'tx_context::sender'}]},{'id':'E1','class':'exception','name':'Payment\x20timeout\x20/\x20failure','actor':'buyer','precondition':['M5'],'onchain':'not_applicable','commercialSemantics':'buy2\x20is\x20atomic\x20—\x20quote,\x20payment\x20and\x20escrow\x20commit\x20or\x20abort\x20together;\x20there\x20is\x20no\x20paid-but-unescrowed\x20state\x20to\x20time\x20out.','evidence':[]},{'id':'E2','class':'exception','name':'Merchant\x20rejects\x20the\x20order\x20before\x20acceptance\x20(full\x20refund)','actor':'merchant','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'RejectOrder','prev':'paid','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'Sold-out\x20/\x20closing\x20merchant\x20rejects;\x20the\x20order-anchored\x20full-refund\x20rail\x20returns\x20the\x20whole\x20escrow.','evidence':[]},{'id':'E3','class':'exception','name':'Merchant\x20fails\x20to\x20accept\x20in\x20time\x20(auto-cancel\x20full\x20refund)','actor':'keeper','precondition':['M6'],'onchain':'expressible','chainFootprint':{'forward':'TimeoutAccept','moneyEffect':'refund'},'commercialSemantics':'Real\x20products\x20auto-cancel\x20and\x20fully\x20refund\x20when\x20no\x20merchant\x20accepts\x20within\x20a\x20deadline;\x20this\x20template\x20has\x20NO\x20accept-timeout\x20edge\x20(auto_confirm\x20only\x20guards\x20post-delivery\x20silence).','evidence':[]},{'id':'E4','class':'exception','name':'Buyer\x20cancels\x20before\x20acceptance\x20(free\x20full\x20refund)','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelBeforeAccept','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'No-prep\x20cancel\x20is\x20free;\x20the\x20full\x20escrow\x20returns\x20order-anchored.','evidence':[]},{'id':'E5','class':'exception','name':'Buyer\x20cancels\x20after\x20acceptance\x20(fee-bearing\x20kill)','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'closed_kill','forward':'CancelAfterAccept','prev':'accepted','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x20kitchen\x20already\x20started:\x20kill_fee_bps\x20(benchmark\x205%)\x20compensates\x20the\x20restaurant,\x20the\x20complement\x20returns\x20to\x20the\x20buyer.','evidence':[]},{'id':'E6','class':'exception','name':'Merchant\x20refuses\x20a\x20mid-prep\x20buyer\x20cancel','actor':'merchant','precondition':['E5'],'onchain':'expressible','chainFootprint':{'forward':'RejectCancel','moneyEffect':'none'},'commercialSemantics':'Some\x20products\x20let\x20the\x20merchant\x20decline\x20a\x20cancel\x20request\x20once\x20cooking\x20started\x20(consent-gated\x20cancel);\x20this\x20template\x20has\x20no\x20such\x20negotiation\x20edge\x20—\x20the\x20buyer\x27s\x20kill\x20always\x20executes.','evidence':[]},{'id':'E7','class':'exception','name':'Prep\x20timeout\x20(penalty-free\x20cancel\x20plus\x20lateness\x20compensation)','actor':'keeper','precondition':['M7'],'onchain':'expressible','chainFootprint':{'forward':'ReadyTimeoutCancel','moneyEffect':'refund'},'commercialSemantics':'If\x20the\x20restaurant\x20misses\x20its\x20prep\x20deadline\x20the\x20buyer\x20can\x20cancel\x20penalty-free\x20(and\x20real\x20products\x20add\x20a\x20lateness\x20voucher);\x20this\x20template\x20has\x20NO\x20ready-timeout\x20edge.','evidence':[]},{'id':'E8','class':'exception','name':'No\x20rider\x20accepts\x20(capacity\x20shortage)\x20—\x20buyer\x20cancels\x20penalty-free','actor':'platform','precondition':['M8'],'onchain':'expressible','chainFootprint':{'forward':'CancelForNoCapacity','moneyEffect':'refund'},'commercialSemantics':'Capacity\x20shortage\x20is\x20NOT\x20the\x20buyer\x27s\x20fault:\x20real\x20products\x20waive\x20the\x20cancel\x20fee\x20when\x20no\x20rider\x20picked\x20up\x20within\x20the\x20promised\x20dispatch\x20window.\x20CURED\x20(K3\x20Batch\x2010,\x20261031):\x20the\x20template\x20ships\x20CancelForNoCapacity\x20—\x20the\x20platform\x20(keeper\x20slot\x201002)\x20force-cancels\x20penalty-free\x20into\x20the\x20full-refund\x20terminal\x20once\x20dispatch_window_hours\x20elapse\x20on\x20the\x20ready\x20entry\x20with\x20no\x20rostered\x20pickup;\x20the\x205%\x20kill\x20stays\x20reserved\x20for\x20BUYER-initiated\x20post-acceptance\x20cancels.','evidence':[]},{'id':'E9','class':'exception','name':'Rider\x20cancels\x20/\x20is\x20reassigned\x20(re-dispatch)','actor':'platform','precondition':['M9'],'onchain':'disclosure_only','chainFootprint':{'moneyEffect':'none'},'commercialSemantics':'Re-dispatch\x20is\x20an\x20off-chain\x20keeper\x20duty;\x20the\x20chain\x20never\x20fabricates\x20delivery\x20state\x20to\x20cover\x20a\x20dead\x20rider.','disclosureProbe':'re-dispatch','evidence':[]},{'id':'E10','class':'exception','name':'Rider\x20arrives\x20but\x20food\x20is\x20not\x20ready\x20(wait\x20/\x20escalate\x20/\x20cancel)','actor':'fulfiller','precondition':['M10'],'onchain':'expressible','chainFootprint':{'forward':'ReportMerchantNotReady','moneyEffect':'none'},'commercialSemantics':'Rider-side\x20wait/escalation\x20when\x20the\x20merchant\x20misses\x20the\x20prep\x20slot;\x20this\x20template\x20expresses\x20no\x20rider-side\x20complaint\x20surface.','evidence':[]},{'id':'E11','class':'exception','name':'Partial\x20stock-out\x20(partial\x20refund\x20/\x20substitution\x20/\x20cancel)','actor':'merchant','precondition':['M7'],'onchain':'expressible','chainFootprint':{'forward':'PartialRefund','moneyEffect':'refund'},'commercialSemantics':'A\x20chain-enforced\x20partial-remedy\x20branch\x20IS\x20expressible\x20(consent\x20repository\x20+\x20byte-equality\x20acceptance\x20+\x20existence-verified\x20refund\x20leg)\x20but\x20ships\x20only\x20as\x20an\x20OPT-IN\x20build\x20note\x20—\x20no\x20default\x20partial-refund\x20rail\x20exists.','evidence':[]},{'id':'E12','class':'exception','name':'Spillage\x20/\x20damage\x20in\x20transit\x20(photo\x20evidence,\x20full\x20or\x20partial\x20refund)','actor':'fulfiller','precondition':['M11'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'ReportTransitLoss','prev':'picked_up','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'In-transit\x20loss\x20routes\x20into\x20the\x20dispute\x20waypoint\x20(identity-only\x20by\x20design\x20mid-transit);\x20the\x20remedy\x20is\x20the\x20buyer\x27s\x20arbitration\x20case\x20into\x20the\x20full-refund\x20rail.','guardKeyProbe':'report_loss','evidence':[]},{'id':'E13','class':'exception','name':'Wrong\x20/\x20missing\x20items\x20(redelivery\x20or\x20refund)','actor':'merchant','precondition':['M13'],'onchain':'expressible','chainFootprint':{'forward':'DeliverRedelivery','moneyEffect':'none'},'commercialSemantics':'The\x20redelivery\x20loop\x20is\x20armed:\x20the\x20keeper\x20offers\x20one\x20re-ride\x20inside\x20the\x20redelivery\x20window,\x20the\x20rostered\x20courier\x20lands\x20it,\x20and\x20an\x20un-taken\x20offer\x20dies\x20into\x20the\x20cancel/refund\x20rail\x20(P-07).','evidence':[]},{'id':'E14','class':'exception','name':'Food-safety\x20violation\x20(full\x20refund\x20plus\x20high-multiple\x20compensation)','actor':'merchant','precondition':['M13'],'onchain':'expressible_with_gap','chainFootprint':{'node':'claim_filed','moneyEffect':'compensate'},'commercialSemantics':'Statutory\x20food-safety\x20compensation\x20(price\x20x10\x20or\x20loss\x20x3,\x20floor\x201000\x20CNY)\x20routes\x20through\x20arbitration;\x20the\x20chain\x20caps\x20indemnity\x20at\x203x\x20the\x20order\x20amount\x20and\x20hard-binds\x20the\x20payee\x20to\x20order.owner\x20—\x20the\x20statutory\x20multiple\x20is\x20unreachable\x20on-chain.','gapPredicate':{'probe':'tenfold|10x|MAX_INDEMNITY|statutory|food.safety'},'evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'}]},{'id':'E15','class':'exception','name':'Late-delivery\x20compensation\x20(on-time\x20guarantee)','actor':'fulfiller','precondition':['M13'],'onchain':'expressible_with_gap','chainFootprint':{'node':'completed','forward':'SettleAfterWindow','prev':'claim_window','moneyEffect':'release','guardLegs':['payment.info.for\x20==\x20the\x20order\x20anchored\x20at\x20protocol\x20slot\x20254\x20(one\x20order)','payment.info.remark\x20==\x20the\x20versioned\x20clause\x20marker\x20(one\x20matter)','order.owner\x20==\x20the\x20submitted\x20beneficiary\x20address,\x20and\x20payment.recipient\x20has\x20that\x20address\x20(payee\x20closure)','payment.amount\x20>=\x20the\x20clause\x20penalty\x20(amount\x20closure)','protocol\x20slot\x20255\x20==\x20progress.history\x20count,\x20so\x20the\x20proof\x20burns\x20after\x20one\x20verification\x20(one\x20time)','settlement\x20leg\x20becomes\x20logic_or(on-time\x20evidence\x20row,\x20compensation\x20voucher)\x20—\x20a\x20late\x20order\x20rests\x20at\x20the\x20window\x20with\x20funds\x20intact\x20until\x20the\x20voucher\x20verifies']},'commercialSemantics':'Punctuality\x20products\x20pay\x20the\x20buyer\x20when\x20the\x20order\x20is\x20late.\x20Industry\x20equilibrium\x20is\x20a\x20small,\x20no-application-required,\x20proactive\x20payout:\x20SF\x20Express\x20since\x202025-12-01\x20self-pays\x2020-30%\x20of\x20the\x20shipping\x20fee\x20in\x20tiers\x20for\x20its\x20own\x20delays\x20with\x20zero\x20rider\x20pass-through,\x20and\x20JD\x20instant\x20delivery\x20auto-issues\x20a\x20voucher\x20past\x2010/20\x20minutes.\x20The\x20chain\x20cannot\x20DEDUCT\x20that\x20amount\x20from\x20anyone,\x20but\x20it\x20does\x20not\x20need\x20to:\x20Payment\x20is\x20immutable\x20and\x20self-authenticating,\x20so\x20a\x20forward\x20guard\x20can\x20verify\x20a\x20voluntarily\x20minted\x20compensation\x20voucher\x20and\x20refuse\x20to\x20settle\x20until\x20it\x20exists.\x20Non-payment\x20therefore\x20costs\x20the\x20liable\x20party\x20more\x20than\x20payment\x20—\x20the\x20order\x20rests\x20with\x20funds\x20intact\x20and\x20the\x20buyer\x20keeps\x20the\x20arbitration\x20rail\x20(up\x20to\x203x\x20plus\x20the\x20compensation\x20fund).','gapPredicate':{'probe':'voluntar(y|ily)[^\x22]{0,80}(payment|payout|compensat|mint)|compensation\x20voucher|payment\x20voucher|refus[^\x22]{0,40}settle|settlement[^\x22]{0,40}voucher|[Ff]our\x20[Dd]isclosure\x20[Dd]uties|independent[^\x22]{0,20}[Rr]eward\x20[Pp]ool'},'guardKeyProbe':'penalty_marker|sla_penalty|penalty_payment|on_time_gate','guardProbeKind':'feature','evidence':[{'file':'payment.move','line':0x72,'pattern':'public\x20fun\x20new_singleton'},{'file':'payment.move','line':0x42,'pattern':'public\x20struct\x20PaymentInfo\x20has\x20copy,\x20drop,\x20store\x20{'},{'file':'payment.move','line':0xb7,'pattern':'transfer::freeze_object(payment);'},{'file':'allocation.move','line':0x214,'pattern':'E_ONCE_TRIGGERED'}]},{'id':'E16','class':'exception','name':'Wrong\x20address\x20/\x20unreachable\x20buyer\x20(wait,\x20return,\x20partial\x20deduction)','actor':'buyer','precondition':['M11'],'onchain':'expressible','chainFootprint':{'forward':'ReturnToSender','moneyEffect':'refund'},'commercialSemantics':'Failed-contact\x20flows\x20end\x20in\x20a\x20return-to-sender\x20with\x20a\x20partial\x20deduction;\x20this\x20template\x20has\x20no\x20such\x20path\x20—\x20a\x20buyer\x20unreachable\x20at\x20the\x20door\x20strands\x20the\x20order\x20at\x20delivered\x20until\x20the\x20silence\x20fallback.','evidence':[]},{'id':'E17','class':'exception','name':'Buyer\x20rejects\x20at\x20the\x20door\x20(refund\x20minus\x20delivery\x20fee)','actor':'buyer','precondition':['M13'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'RequestReturn','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'T-02\x20after-sales\x20rail:\x20a\x20buyer\x20rejects\x20the\x20delivered\x20order\x20inside\x20the\x20return\x20window;\x20the\x20merchant\x20confirms\x20(full\x20refund)\x20or\x20rejects\x20(resume),\x20and\x20the\x20buyer\x20can\x20self-withdraw.\x20The\x20fee\x20shape\x20is\x20a\x20Rate\x20split\x20(kill_fee_bps),\x20not\x20a\x20delivery-fee\x20deduction\x20—\x20semantically\x20adjacent,\x20disclosed.','evidence':[]},{'id':'E18','class':'exception','name':'Fake\x20delivery\x20(rider\x20marks\x20delivered\x20without\x20delivering)','actor':'fulfiller','precondition':['M11'],'onchain':'expressible_with_gap','chainFootprint':{'node':'delivered','forward':'DeliverOrder','prev':'picked_up','identity':'named_operator','moneyEffect':'none'},'commercialSemantics':'DM-P1\x20hardened\x20the\x20handover:\x20only\x20a\x20rostered\x20rider\x20can\x20advance,\x20and\x20the\x20guard\x20re-asserts\x20the\x20roster\x20predicate\x20plus\x20an\x20order-keyed\x20merchant-staff\x20drop-off\x20row.\x20The\x20chain\x20still\x20has\x20no\x20parcel\x20oracle\x20—\x20a\x20colluding\x20staff\x20writer\x20+\x20rostered\x20rider\x20can\x20still\x20fake\x20the\x20row;\x20the\x20residual\x20risk\x20is\x20disclosure-bounded.','guardKeyProbe':'deliver_evidence','gapPredicate':{'probe':'parcel\x20oracle|handover\x20evidence'},'evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'E19','class':'exception','name':'Contactless-delivery\x20loss\x20(left\x20at\x20the\x20door,\x20buyer\x20never\x20received)','actor':'arbitrator','precondition':['M13'],'onchain':'expressible','chainFootprint':{'forward':'ReportContactlessLoss','moneyEffect':'none'},'commercialSemantics':'A\x20dedicated\x20non-receipt\x20declaration\x20after\x20a\x20contactless\x20drop-off;\x20this\x20template\x20routes\x20the\x20case\x20only\x20through\x20the\x20generic\x20dispute\x20filing\x20(FileDispute)\x20once\x20the\x20claim\x20window\x20opened\x20—\x20no\x20contactless-specific\x20surface.','evidence':[]},{'id':'E20','class':'remedy','name':'Refund\x20refused\x20(escalate\x20to\x20third-party\x20arbitration)','actor':'buyer','precondition':['M14'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'claim_window','moneyEffect':'none'},'commercialSemantics':'Dispute\x20filing\x20is\x20alive\x20only\x20INSIDE\x20the\x20serial\x20claim\x20window;\x20the\x20venue\x20is\x20an\x20independent\x20third-party\x20Arbitration\x20object.','evidence':[]},{'id':'E21','class':'remedy','name':'Arbitrator\x20rules\x20for\x20the\x20buyer\x20(refund\x20executes)','actor':'arbitrator','precondition':['E20'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'claim_filed','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'A\x20buyer-won\x20ruling\x20with\x20non-zero\x20indemnity\x20re-routes\x20the\x20order\x20into\x20the\x20full-refund\x20rail.','guardKeyProbe':'arb_refund','evidence':[]},{'id':'E22','class':'remedy','name':'Arbitrator\x20dismisses\x20the\x20claim\x20(order\x20resumes)','actor':'arbitrator','precondition':['E20'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'A\x20merchant-favor\x20ruling\x20resumes\x20the\x20order\x20at\x20delivered\x20with\x20re-anchored\x20silence\x20windows.','guardKeyProbe':'arb_dismissed_resume','evidence':[]},{'id':'E23','class':'remedy','name':'Arbitration\x20timeout\x20deemed\x20favorable\x20to\x20the\x20buyer','actor':'platform','precondition':['E20'],'onchain':'not_applicable','commercialSemantics':'Real\x20products\x20deem\x20an\x20unraveled\x20case\x20buyer-favorable;\x20on-chain\x20the\x20semantics\x20INVERT\x20—\x2030\x20days\x20of\x20arbitrator\x20silence\x20means\x20the\x20recorded\x20ruling\x20is\x20ACCEPTED\x20and\x20executes\x20as-is.\x20The\x20difference\x20must\x20be\x20disclosed.','disclosureProbe':'30.day|silence[^\x22]{0,80}(accept|arb)|ruling[^\x22]{0,80}silence','evidence':[]},{'id':'E24','class':'post','name':'Merchant\x20appeals\x20a\x20malicious\x20review\x20(removal)','actor':'merchant','precondition':['M15'],'onchain':'expressible_with_gap','chainFootprint':{'forward':'AppealReview','moneyEffect':'none'},'commercialSemantics':'Review\x20removal\x20on-chain\x20would\x20be\x20an\x20overwrite\x20of\x20a\x20kernel-owned\x20repository\x20row\x20—\x20constrained\x20by\x20write_once\x20policy;\x20no\x20appeal/removal\x20surface\x20exists\x20on\x20this\x20template.','gapPredicate':{'probe':'write_once|review[^\x22]{0,80}(edit|remov|appeal)|(edit|remov|appeal)[^\x22]{0,80}review'},'evidence':[]},{'id':'E25','class':'post','name':'Review\x20edit\x20window','actor':'buyer','precondition':['M15'],'onchain':'expressible','chainFootprint':{'forward':'AmendReview','moneyEffect':'none'},'commercialSemantics':'The\x20buyer\x20may\x20APPEND\x20amendments\x20to\x20their\x20own\x20review\x20inside\x20a\x20bounded\x20window\x20that\x20never\x20re-arms\x20(P-10);\x20amendments\x20are\x20append-only\x20rows\x20—\x20the\x20original\x20review\x20is\x20never\x20overwritten,\x20so\x20the\x20kernel\x20moderation\x20gap\x20stays\x20unexpressible\x20by\x20design.','evidence':[]},{'id':'E26','class':'exception','name':'Store\x20delisted\x20while\x20orders\x20are\x20open\x20(mass\x20refund)','actor':'platform','precondition':['M6'],'onchain':'expressible','chainFootprint':{'forward':'DelistRefund','moneyEffect':'refund'},'commercialSemantics':'A\x20delisting\x20refund\x20rail\x20is\x20expressible\x20(B-1/F-2\x20family)\x20but\x20this\x20template\x20ships\x20none\x20—\x20open\x20orders\x20ride\x20only\x20their\x20per-order\x20rails.','evidence':[]},{'id':'E27','class':'exception','name':'Duplicate\x20order\x20(cancel\x20one\x20of\x20two\x20identical\x20orders)','actor':'buyer','precondition':['M6'],'onchain':'not_applicable','commercialSemantics':'Orders\x20are\x20independent\x20objects;\x20the\x20buyer\x20cancels\x20the\x20duplicate\x20through\x20the\x20normal\x20cancel\x20rails\x20(E4/E5).','evidence':[]},{'id':'E28','class':'exception','name':'Mispriced\x20promotion\x20(price-difference\x20refund)','actor':'platform','precondition':['M3'],'onchain':'unresolvable','commercialSemantics':'The\x20mispricing\x20fact\x20is\x20unprovable\x20on-chain;\x20the\x20remedy\x20rides\x20the\x20P-11\x20price-rebate\x20pool\x20(a\x20voluntary\x20merchant\x20budget,\x20not\x20an\x20adjudicated\x20refund)\x20and\x20the\x20build-time\x20quote\x20cure\x20—\x20a\x20mischarge\x20already\x20collected\x20is\x20remedied\x20by\x20claim,\x20not\x20by\x20a\x20machine\x20rail.','disclosureProbe':'price.?difference|coupon[^\x22]{0,80}(burn|wasted)|burned[^\x22]{0,80}coupon','evidence':[]},{'id':'E29','class':'exception','name':'Scheduled-order\x20tiered\x20cancellation\x20fees','actor':'buyer','precondition':['M6'],'onchain':'expressible_with_gap','chainFootprint':{'forward':'ScheduledKill','moneyEffect':'refund'},'commercialSemantics':'Scheduled\x20(pre-order)\x20meals\x20use\x20time-graded\x20cancel\x20fees;\x20kill_fee_bps\x20is\x20a\x20single\x20flat\x20rate\x20—\x20no\x20tiers,\x20no\x20scheduled-order\x20shape.','gapPredicate':{'probe':'tiered|scheduled|appointment'},'evidence':[]},{'id':'E30','class':'exception','name':'Rider\x20accident\x20/\x20personal-injury\x20insurance','actor':'platform','precondition':['M9'],'onchain':'unresolvable','commercialSemantics':'Rider\x20injury\x20coverage\x20is\x20an\x20insurance\x20product;\x20the\x20chain\x20has\x20no\x20insurance\x20primitive\x20—\x20coverage\x20is\x20an\x20off-chain\x20policy\x20under\x20platform-work\x20and\x20traffic\x20law.','unresolvableRef':'S10','disclosureProbe':'accident[^\x22]{0,80}insurance|insurance[^\x22]{0,80}rider|injury','evidence':[]},{'id':'E31','class':'post','name':'Post-delivery\x20tip\x20top-up','actor':'buyer','precondition':['M16'],'onchain':'expressible','chainFootprint':{'forward':'AddTip','moneyEffect':'reward'},'commercialSemantics':'A\x20post-delivery\x20tip\x20is\x20expressible\x20(Reward\x20claim,\x20P6),\x20but\x20courier_tip_bps\x20is\x20DISCLOSURE-ONLY\x20and\x20rides\x20the\x20order\x20total\x20—\x20no\x20independent\x20post-delivery\x20tip\x20funding\x20path\x20ships.','evidence':[]},{'id':'E32','class':'exception','name':'Membership\x20free-delivery\x20not\x20applied\x20(delivery-fee\x20rebate)','actor':'platform','precondition':['M6'],'onchain':'expressible','chainFootprint':{'forward':'DeliveryFeeRebate','moneyEffect':'refund'},'commercialSemantics':'Cross-template\x20membership\x20linkage\x20(subscription/delivery-membership)\x20has\x20no\x20on-chain\x20grouping\x20(S2)\x20—\x20the\x20rebate\x20must\x20be\x20an\x20independent\x20order-level\x20remedy.','evidence':[]}],'invariants':[{'id':'INV-FD-1','statement':'Food-safety\x20compensation\x20must\x20reach\x20price\x20x10\x20or\x20loss\x20x3\x20with\x20a\x201000\x20CNY\x20floor\x20(China\x20Food\x20Safety\x20Law\x20art.\x20148).','jurisdiction':'CN','chainConflict':'The\x20chain\x20caps\x20arbitration\x20indemnity\x20at\x203x\x20the\x20order\x20amount\x20(the\x20MAX_INDEMNITY_MULTIPLE\x20constant)\x20and\x20hard-binds\x20the\x20payee\x20to\x20order.owner\x20—\x20the\x20statutory\x20multiple\x20and\x20the\x20small-claim\x20floor\x20are\x20unreachable\x20on-chain.\x20Options:\x20disclose\x20the\x203x\x20cap\x20and\x20pursue\x20the\x20statutory\x20remainder\x20off-chain;\x20pre-fund\x20a\x20Reward\x20pool\x20for\x20the\x20difference;\x20or\x20raise\x20the\x20chain\x20cap\x20(protocol\x20upgrade,\x20affects\x20every\x20published\x20Service\x27s\x20exposure).','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'}]},{'id':'INV-FD-2','statement':'A\x20cancel\x20caused\x20by\x20capacity\x20shortage\x20(no\x20rider\x20accepted)\x20must\x20be\x20free\x20for\x20the\x20buyer\x20—\x20the\x20fulfillment\x20failure\x20is\x20not\x20the\x20buyer\x27s\x20fault.','chainConflict':'None\x20—\x20this\x20is\x20pure\x20business\x20semantics\x20and\x20the\x20fix\x20is\x20zero-chain-change:\x20add\x20a\x20CancelForNoCapacity\x20edge\x20into\x20the\x20full-refund\x20terminal,\x20guarded\x20on\x20\x27still\x20pre-pickup\x27\x20plus\x20a\x20clock\x20past\x20the\x20promised\x20dispatch\x20window.','violation':{'requiresFeeParamNonZero':'kill_fee_bps','whileMissingForward':'CancelForNoCapacity'}},{'id':'INV-FD-3','statement':'Rider\x20pay\x20is\x20off-chain\x20platform\x20payroll\x20in\x20the\x20shipped\x20shape;\x20nothing\x20on\x20chain\x20pays\x20the\x20courier\x20per\x20order.','chainConflict':'The\x20platform\x20Rate-0\x20allocator\x20leg\x20pays\x20nothing\x20(it\x20shares\x20the\x20settlement\x20rail\x20as\x20an\x20order\x20anchor).\x20Builders\x20who\x20misread\x20it\x20as\x20\x27the\x20platform\x20pays\x20riders\x20from\x20escrow\x27\x20are\x20wrong:\x20direct\x20per-order\x20rider\x20pay\x20requires\x20an\x20explicit\x20Entity/Signer\x20leg\x20(the\x20on-chain\x20allocation\x20Entity/Signer\x20payout\x20path)\x20or\x20a\x20Reward\x20claim.\x20EU\x20note:\x20platform-set\x20pay\x20+\x20dispatch\x20roster\x20+\x20electronic\x20monitoring\x20hit\x20the\x20Platform\x20Work\x20Directive\x20presumptive-employment\x20criteria\x20—\x20in\x20EU\x20builds\x20riders\x20must\x20quote\x20their\x20own\x20price\x20or\x20the\x20merchant_managed\x20variant\x20is\x20used.'}]};

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

@@ -0,0 +1 @@
+export const GAMEFOUND_ORACLE={'productRef':'gamefound','products':['gamefound'],'oracleVersion':'1.0.0','steps':[{'id':'GFD-M1','class':'offchain','name':'Discover\x20the\x20campaign\x20and\x20back\x20the\x20tier\x20page','actor':'buyer','precondition':[],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20browse\x20the\x20campaign\x20page,\x20read\x20tier\x20prices,\x20availability\x20counts,\x20the\x20WIP\x20detail\x20file\x20per\x20tier\x20and\x20the\x20review-bounty\x20incentive\x20terms\x20shown\x20at\x20quote\x20time.','evidence':[]},{'id':'GFD-M2','class':'offchain','name':'Creator\x20configures\x20and\x20publishes\x20the\x20campaign','actor':'merchant','precondition':['GFD-M1'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20the\x20creator\x20anchors\x20goal,\x20deadline\x20and\x20the\x20reward-tier\x20catalogue\x20as\x20the\x20listing\x20WIP\x20artifact,\x20funds\x20the\x20review-bounty\x20pool\x20(compile\x20refuses\x20an\x20unfunded\x20incentive\x20promise),\x20binds\x20the\x20project\x20entity,\x20arbitration\x20venue\x20and\x20service\x20contact,\x20then\x20publishes\x20frozen.','evidence':[]},{'id':'GFD-M3','class':'main','name':'Backer\x20pledges\x20into\x20unpooled\x20per-backer\x20escrow','actor':'buyer','precondition':['GFD-M2'],'onchain':'expressible','chainFootprint':{'node':'pledged','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Each\x20pledge\x20opens\x20its\x20own\x20order\x20with\x20payment\x20escrowed\x20into\x20a\x20per-order\x20Allocation\x20bound\x20to\x20that\x20order\x20(for_object)\x20-\x20never\x20merged\x20into\x20a\x20shared\x20pot,\x20so\x20refund\x20attribution\x20stays\x20per\x20backer\x20through\x20the\x20whole\x20fulfillment\x20phase.','evidence':[{'file':'allocation.move','line':0x26d,'pattern':'ERECIPIENT_NOT_FOR_OBJECT'}]},{'id':'GFD-M4','class':'offchain','name':'Creator\x20posts\x20campaign\x20updates\x20and\x20stretch\x20news','actor':'merchant','precondition':['GFD-M3'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20updates\x20and\x20stretch\x20announcements\x20never\x20mutate\x20the\x20goal,\x20the\x20deadline\x20or\x20the\x20escrowed\x20pledges.','evidence':[]},{'id':'GFD-M5','class':'main','name':'Deadline\x20campaign\x20decision\x20(advance)','actor':'keeper','precondition':['GFD-M4'],'onchain':'expressible','chainFootprint':{'node':'funded_released','forward':'ReleaseOnFunded','prev':'pledged','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_release','gapPredicate':undefined,'commercialSemantics':'At\x20the\x20absolute\x20deadline\x20the\x20decision\x20compares\x20the\x20aggregate\x20of\x20writer-bound\x20contribution\x20rows\x20against\x20the\x20goal;\x20the\x20advance\x20only\x20unlocks\x20the\x20state\x20-\x20the\x20money\x20stays\x20per-order\x20in\x20escrow\x20through\x20fulfillment\x20(escrow-through-fulfillment,\x20the\x20deliberate\x20departure\x20from\x20charge-at-campaign-end).','evidence':[{'file':'repository.move','line':0x3ef,'pattern':'native\x20fun\x20formula_sum_where(repo'}]},{'id':'GFD-M7','class':'main','name':'Fulfillment\x20opens\x20with\x20required-info\x20gate','actor':'merchant','precondition':['GFD-M5'],'onchain':'expressible','chainFootprint':{'node':'fulfilling','forward':'StartFulfillment','prev':'funded_released','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'required_info','gapPredicate':undefined,'commercialSemantics':'Shipping\x20must\x20not\x20start\x20blind:\x20the\x20funded_released\x20to\x20fulfilling\x20forward\x20requires\x20an\x20on-chain\x20presence\x20proof\x20for\x20the\x20buyer\x27s\x20address\x20(the\x20value\x20stays\x20private\x20over\x20messenger\x20-\x20only\x20presence\x20is\x20on\x20chain);\x20the\x20declarative\x20customer\x20info\x20field\x20alone\x20enforces\x20nothing.','evidence':[{'file':'service.move','line':0x100,'pattern':'customer_required'}]},{'id':'GFD-M8','class':'main','name':'Shipment\x20registered\x20by\x20the\x20project','actor':'merchant','precondition':['GFD-M7'],'onchain':'expressible','chainFootprint':{'node':'shipped','forward':'ConfirmShipment','prev':'fulfilling','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20project\x20self-declares\x20shipment;\x20carrier\x20and\x20tracking\x20never\x20touch\x20the\x20chain\x20(privacy\x20boundary),\x20so\x20this\x20state\x20is\x20an\x20attestation,\x20not\x20a\x20delivery\x20proof.','evidence':[]},{'id':'GFD-M9','class':'main','name':'Buyer-first\x20delivery\x20confirmation','actor':'buyer','precondition':['GFD-M8'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ConfirmDelivery','prev':'shipped','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'deliver_confirm','gapPredicate':undefined,'commercialSemantics':'Only\x20the\x20buyer\x27s\x20own\x20confirmation\x20moves\x20the\x20escrow\x20toward\x20settlement\x20-\x20the\x20project\x20cannot\x20capture\x20funds\x20by\x20self-declaring\x20delivery;\x20this\x20is\x20the\x20choke\x20point\x20that\x20keeps\x20escrow-through-fulfillment\x20honest.','evidence':[]},{'id':'GFD-M10','class':'main','name':'Buyer\x20accepts\x20the\x20delivered\x20tier','actor':'buyer','precondition':['GFD-M9'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'AcceptDelivery','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'settle_accept','gapPredicate':undefined,'commercialSemantics':'Acceptance\x20is\x20the\x20settlement\x20trigger:\x20the\x20pledge\x20is\x20released\x20to\x20the\x20project\x20only\x20when\x20the\x20buyer\x20accepts\x20the\x20delivered\x20tier\x20-\x20not\x20at\x20the\x20deadline,\x20not\x20on\x20shipment.','evidence':[]},{'id':'GFD-M11','class':'main','name':'Batch\x20settlement\x20release\x20to\x20the\x20project','actor':'keeper','precondition':['GFD-M10'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'release'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20settlement\x20rail\x20sweeps\x20every\x20completed\x20order\x27s\x20Allocation\x20pool\x20in\x20one\x20atomic\x20batch\x20after\x20the\x20settle\x20delay\x20(the\x20knob\x20shared\x20with\x20the\x20return\x20window);\x20the\x20project\x20keeps\x20100%\x20-\x20the\x20platform\x20take\x20is\x200\x20against\x20the\x20displaced\x20incumbent\x20benchmark\x20disclosed\x20in\x20the\x20build\x20inputs.','evidence':[{'file':'allocation.move','line':0x313,'pattern':'public\x20fun\x20alloc_batch'}]},{'id':'GFD-P5','class':'post','name':'Buyer\x20claims\x20the\x20review\x20bounty','actor':'buyer','precondition':['GFD-M11'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'ReviewAfterAcceptance','prev':'completed','identity':'order_holder','moneyEffect':'reward'},'disclosureProbe':undefined,'guardKeyProbe':'review_window','gapPredicate':undefined,'commercialSemantics':'A\x20rating\x20plus\x20written\x20review\x20opens\x20the\x20claim\x20window\x20for\x20the\x20merchant-funded\x20reward\x20pool,\x20once\x20per\x20order\x20and\x20idempotent\x20by\x20claim\x20key;\x20the\x20incentive\x20terms\x20were\x20visible\x20to\x20the\x20buyer\x20at\x20quote\x20time.','evidence':[{'file':'reward.move','line':0x3f,'pattern':'RewardClaimEvent'},{'file':'reward.move','line':0xe0,'pattern':'RewardClaimKey'}]},{'id':'GFD-E1','class':'exception','name':'Platform\x20review\x20rejects\x20the\x20campaign\x20before\x20launch','actor':'platform','precondition':['GFD-M2'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20platform\x20may\x20refuse\x20a\x20campaign\x20pre-launch;\x20nothing\x20is\x20on\x20chain\x20yet,\x20so\x20there\x20is\x20no\x20on-chain\x20remediation\x20path.','evidence':[]},{'id':'GFD-E2','class':'exception','name':'Deadline\x20extension\x20requested\x20mid-raise','actor':'merchant','precondition':['GFD-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\x20shared\x20timestamp;\x20extending\x20means\x20a\x20new\x20frozen\x20campaign\x20with\x20a\x20new\x20close\x20-\x20no\x20rolling-window\x20twin\x20exists\x20to\x20bend\x20the\x20clock\x20in\x20place.','evidence':[]},{'id':'GFD-E3','class':'exception','name':'Missed-goal\x20automatic\x20refund','actor':'merchant','precondition':['GFD-M4'],'onchain':'expressible','chainFootprint':{'node':'missed_refunded','forward':'RefundOnMissed','prev':'pledged','identity':'permission_index','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_refund','gapPredicate':undefined,'commercialSemantics':'A\x20failed\x20campaign\x20pays\x20every\x20backer\x20in\x20full\x20from\x20their\x20own\x20escrow\x20on\x20the\x20refund-polarity\x20gate\x20-\x20the\x20money\x20never\x20left\x20the\x20per-order\x20pools,\x20so\x20the\x20refund\x20needs\x20no\x20project\x20cooperation.','evidence':[{'file':'allocation.move','line':0x313,'pattern':'public\x20fun\x20alloc_batch'}]},{'id':'GFD-E4','class':'exception','name':'Backer\x20charged\x20without\x20consent','actor':'buyer','precondition':['GFD-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'no\x20auto-charge','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Impossible\x20by\x20design:\x20keepers\x20hold\x20no\x20charge\x20authority,\x20so\x20money\x20only\x20enters\x20the\x20escrow\x20through\x20the\x20buyer\x27s\x20own\x20signed\x20order\x20-\x20a\x20stray\x20pledge\x20can\x20only\x20be\x20the\x20buyer\x27s\x20own\x20transaction.','evidence':[]},{'id':'GFD-E5','class':'exception','name':'Backer\x20withdraws\x20pledge\x20before\x20the\x20deadline','actor':'buyer','precondition':['GFD-M3'],'onchain':'expressible','chainFootprint':{'node':'withdrawn','forward':'WithdrawPledge','prev':'pledged','identity':'order_holder','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'pre_deadline_withdraw','gapPredicate':undefined,'commercialSemantics':'Pre-deadline\x20withdrawal\x20removes\x20the\x20backer\x27s\x20own\x20writer-bound\x20contribution\x20row,\x20then\x20refunds\x20in\x20full\x20-\x20the\x20goal\x20arithmetic\x20decays\x20with\x20the\x20escrow,\x20and\x20the\x20buyer\x20needs\x20no\x20keeper.','evidence':[{'file':'order.move','line':0x15e,'pattern':'owner_receive'}]},{'id':'GFD-E6','class':'exception','name':'Post-goal\x20cancellation\x20demand\x20by\x20a\x20backer','actor':'buyer','precondition':['GFD-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'pledged','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'NO\x20POST-GOAL\x20CANCELLATION'},'commercialSemantics':'There\x20is\x20no\x20post-goal\x20cancellation\x20rail\x20and\x20none\x20may\x20regress:\x20after\x20the\x20goal\x20decision\x20the\x20escrow\x20is\x20committed,\x20and\x20an\x20earlier\x20cancel-window\x20experiment\x20let\x20a\x20backer\x20drain\x20escrow\x20mid-fulfillment\x20-\x20the\x20rail\x20was\x20removed\x20deliberately.','evidence':[]},{'id':'GFD-E7','class':'exception','name':'Aggregate\x20drops\x20below\x20goal\x20after\x20passing\x20(per-batch\x20verdicts)','actor':'keeper','precondition':['GFD-M5'],'onchain':'expressible','chainFootprint':{'node':'funded_released','forward':'ReleaseOnFunded','prev':'pledged','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_release','gapPredicate':undefined,'commercialSemantics':'The\x20verdict\x20is\x20ONE\x20evaluation\x20over\x20the\x20WHOLE\x20chain-derived\x20order-keyed\x20roster\x20(omission\x20structurally\x20impossible\x20since\x20the\x20ks13\x20ROSTER-01\x20cure)\x20-\x20the\x20old\x20per-batch\x20divergent-totals\x20face\x20retired\x20with\x20the\x20ids\x20leg;\x20a\x20keeper\x20batch\x20is\x20PTB\x20chunking\x20of\x20a\x20single\x20verdict,\x20never\x20several\x20verdicts.\x20Each\x20row\x20is\x20clamped\x20at\x20min(declared,\x20escrowed,\x20live\x20balance),\x20so\x20the\x20read\x20can\x20only\x20understate,\x20never\x20overstate\x20-\x20disclosed,\x20not\x20hidden.','evidence':[{'file':'repository.move','line':0x1d,'pattern':'MAX_ID_COUNT_ONCE'},{'file':'repository.move','line':0x3f0,'pattern':'formula_sum_where_bound'}]},{'id':'GFD-E8','class':'exception','name':'Backer\x27s\x20shipping\x20address\x20never\x20delivered','actor':'merchant','precondition':['GFD-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'fulfilling','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'required_info','gapPredicate':{'probe':'presence-only|messenger'},'commercialSemantics':'The\x20required-info\x20guard\x20stops\x20fulfillment\x20until\x20an\x20on-chain\x20presence\x20proof\x20exists,\x20while\x20the\x20address\x20value\x20itself\x20stays\x20private\x20over\x20messenger\x20-\x20the\x20machine\x20can\x20hold\x20the\x20state\x20but\x20cannot\x20read\x20the\x20address;\x20the\x20chase\x20stays\x20a\x20conversation.','evidence':[]},{'id':'GFD-E9','class':'exception','name':'Private\x20data\x20(address,\x20phone)\x20posted\x20to\x20a\x20public\x20chain\x20field','actor':'platform','precondition':['GFD-M5'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'messenger','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Privacy\x20boundary:\x20contact\x20and\x20shipping\x20details\x20are\x20exchanged\x20over\x20the\x20encrypted\x20messenger\x20only\x20-\x20contact\x20descriptions,\x20repository\x20rows,\x20progress\x20messages\x20and\x20WIP\x20text\x20are\x20all\x20public\x20fields.','evidence':[]},{'id':'GFD-E10','class':'exception','name':'Campaign\x20channel\x20hijacked\x20(phishing\x20update)','actor':'platform','precondition':['GFD-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'messenger','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Messages\x20never\x20change\x20machine\x20state;\x20a\x20hijacked\x20channel\x20can\x20mislead\x20but\x20cannot\x20move\x20escrow\x20-\x20the\x20money\x20paths\x20all\x20run\x20through\x20signed\x20identity\x20rails.','evidence':[]},{'id':'GFD-E11','class':'exception','name':'Backer\x20demands\x20investment\x20returns\x20or\x20yield','actor':'platform','precondition':['GFD-M2'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'non-investment','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Out\x20of\x20scope\x20by\x20policy:\x20a\x20pledge\x20buys\x20a\x20reward\x20tier,\x20it\x20is\x20never\x20a\x20security\x20-\x20the\x20plain\x20non-investment\x20disclosure\x20must\x20ride\x20in\x20the\x20campaign\x20copy.','evidence':[]},{'id':'GFD-E12','class':'exception','name':'Multi-wave\x20shipping\x20(tiers\x20produced\x20in\x20batches)','actor':'merchant','precondition':['GFD-M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'shipped','forward':'ConfirmShipment','prev':'fulfilling','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'wave|batch\x20shipping'},'commercialSemantics':'The\x20machine\x20carries\x20one\x20shipped/delivered\x20pair\x20per\x20order,\x20so\x20a\x20wave\x20must\x20be\x20approximated\x20by\x20re-advancing\x20the\x20same\x20edge\x20-\x20there\x20is\x20no\x20per-wave\x20state\x20to\x20anchor\x20partial\x20deliveries\x20against.\x20The\x20GFD-E12\x20build\x20note\x20discloses\x20the\x20boundary\x20(waves\x20reconciled\x20off-chain\x20in\x20the\x20Messenger,\x20the\x20chain\x20never\x20asserts\x20\x27all\x20waves\x20shipped\x27);\x20this\x20strict\x20probe\x20stays\x20as\x20a\x20regression\x20tripwire\x20over\x20that\x20note.','evidence':[]},{'id':'GFD-E13','class':'exception','name':'Buyer\x20opens\x20a\x20return\x20inside\x20the\x20window','actor':'buyer','precondition':['GFD-M9'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'RequestReturn','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'return_window','gapPredicate':undefined,'commercialSemantics':'A\x20live\x20on-chain\x20return\x20path\x20is\x20the\x20point\x20of\x20escrow-through-fulfillment:\x20the\x20buyer\x20declares\x20the\x20return\x20while\x20the\x20money\x20is\x20still\x20escrowed\x20-\x20under\x20a\x20deadline-release\x20model\x20the\x20escrow\x20would\x20already\x20be\x20empty.','evidence':[]},{'id':'GFD-E14','class':'exception','name':'Buyer\x20ships\x20the\x20return\x20back','actor':'buyer','precondition':['GFD-E13'],'onchain':'expressible','chainFootprint':{'node':'return_in_transit','forward':'ShipReturn','prev':'return_requested','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'return_shipped','gapPredicate':undefined,'commercialSemantics':'The\x20return\x20shipment\x20is\x20buyer-declared;\x20the\x20project\x27s\x20approval\x20clock\x20and\x20the\x20keeper\x27s\x20receipt\x20timeout\x20both\x20hang\x20off\x20this\x20state,\x20so\x20the\x20escrow\x20cannot\x20stall\x20silently.','evidence':[]},{'id':'GFD-R5','class':'remedy','name':'Project\x20approves\x20the\x20return;\x20refund\x20pays\x20from\x20escrow','actor':'merchant','precondition':['GFD-E14'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ApproveReturn','prev':'return_in_transit','identity':'permission_index','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Approval\x20lands\x20the\x20order\x20on\x20the\x20returned\x20node\x20where\x20the\x20post-delivery\x20refund\x20rail\x20pays\x20the\x20backer\x27s\x20own\x20order\x20slot\x20from\x20the\x20still-escrowed\x20pool\x20-\x20full\x20refund,\x20two-step\x20payout\x20surfaced\x20in\x20the\x20UX.','evidence':[{'file':'allocation.move','line':0x313,'pattern':'public\x20fun\x20alloc_batch'}]},{'id':'GFD-R6','class':'remedy','name':'Buyer-won\x20ruling\x20redirects\x20escrowed\x20principal\x20(post-delivery)','actor':'arbitrator','precondition':['GFD-M9'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'arb_refund','gapPredicate':undefined,'commercialSemantics':'This\x20is\x20the\x20one\x20template\x20in\x20the\x20family\x20where\x20a\x20ruling\x20can\x20actually\x20move\x20the\x20escrowed\x20principal:\x20the\x20arbitration\x20refund\x20edge\x20is\x20mounted,\x20fed\x20by\x20the\x20ruling\x20engine\x20that\x20caps\x20punitive\x20awards\x20at\x203x\x20and\x20deems\x20acceptance\x20after\x20case\x20silence\x20-\x20indemnity\x20first,\x20then\x20principal,\x20never\x20the\x20reverse\x20order.','evidence':[{'file':'arbitration.move','line':0x13a,'pattern':'fun\x20arbitration_imp<T>'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'}]},{'id':'GFD-E17','class':'exception','name':'Regulator\x20flags\x20the\x20raise\x20(securities\x20/\x20KYC-AML)','actor':'platform','precondition':['GFD-M5'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Pooled\x20fundraising\x20is\x20high\x20regulatory\x20intensity;\x20cross-border\x20funds\x20and\x20reward\x20tiers\x20may\x20trigger\x20securities,\x20money-transmission\x20and\x20KYC-AML\x20rules\x20-\x20flag\x20for\x20compliance,\x20do\x20not\x20automate\x20around\x20them.','evidence':[]},{'id':'GFD-E18','class':'exception','name':'Late\x20pledge\x20after\x20the\x20deadline','actor':'buyer','precondition':['GFD-M5'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'There\x20is\x20no\x20late-entry\x20state;\x20a\x20post-deadline\x20backer\x20waits\x20for\x20the\x20next\x20campaign\x20or\x20buys\x20the\x20retail\x20follow-up\x20off\x20this\x20template.','evidence':[]},{'id':'GFD-E19','class':'exception','name':'Stretch\x20goals\x20priced\x20mid-campaign','actor':'merchant','precondition':['GFD-M5'],'onchain':'unresolvable','unresolvableRef':'S7','chainFootprint':undefined,'disclosureProbe':'funding_threshold','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'No\x20price\x20oracle\x20exists:\x20a\x20stretch\x20goal\x20can\x20only\x20be\x20a\x20new\x20frozen\x20offer;\x20the\x20goal\x20aggregate\x20already\x20in\x20flight\x20cannot\x20be\x20re-keyed\x20against\x20it.','evidence':[]},{'id':'GFD-E20','class':'exception','name':'AI-generated\x20art\x20or\x20content\x20dispute\x20in\x20the\x20campaign','actor':'platform','precondition':['GFD-M2'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'non-investment','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Content\x20authenticity\x20is\x20storefront\x20policy,\x20not\x20a\x20chain\x20constraint;\x20the\x20structural\x20disclosure\x20duty\x20that\x20does\x20apply\x20is\x20the\x20plain\x20non-investment\x20posture\x20of\x20every\x20tier.','evidence':[]},{'id':'GFD-E21','class':'exception','name':'Runaway\x20creator:\x20goal\x20met,\x20fulfillment\x20abandoned','actor':'buyer','precondition':['GFD-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'funded_released','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'settle_window'},'commercialSemantics':'The\x20escrow\x20never\x20leaves\x20the\x20backer\x27s\x20pool\x20until\x20acceptance,\x20so\x20a\x20runaway\x20creator\x27s\x20silence\x20keeps\x20every\x20pledge\x20refundable\x20-\x20the\x20settle\x20window\x20never\x20opens,\x20and\x20the\x20backer\x20exits\x20over\x20the\x20still-live\x20refund\x20rails.','evidence':[]},{'id':'GFD-E22','class':'exception','name':'Coupon\x20creates\x20a\x20zero-value\x20order','actor':'merchant','precondition':['GFD-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'A\x20coupon\x20lowers\x20the\x20escrowed\x20amount,\x20and\x20the\x20escrow-bound\x20aggregate\x20clamps\x20every\x20row\x20at\x20min(declared,\x20escrowed,\x20live\x20balance)\x20-\x20so\x20a\x20coupon\x27d\x20pledge\x20can\x20never\x20push\x20the\x20campaign\x20aggregate\x20above\x20what\x20was\x20actually\x20escrowed\x20(the\x20row-vs-aggregate\x20divergence\x20face\x20is\x20closed\x20by\x20the\x20bound\x20form;\x20the\x20aggregate\x20simply\x20counts\x20the\x20discounted\x20pledge).\x20A\x20100%\x20coupon\x20must\x20still\x20be\x20refused\x20at\x20mint\x20time\x20(E_ZERO_TOTAL_ORDER);\x20compliance\x20flags\x20stay\x20human\x20duties.','evidence':[]},{'id':'GFD-E23','class':'exception','name':'Arbitration\x20venue\x20controlled\x20by\x20the\x20merchant','actor':'platform','precondition':['GFD-M2'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'tribunal','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20protocol\x20routes\x20disputes\x20wherever\x20the\x20merchant\x20binds,\x20but\x20never\x20verifies\x20who\x20controls\x20the\x20venue\x20-\x20a\x20self-hosted\x20or\x20affiliated\x20tribunal\x20is\x20not\x20independent,\x20and\x20its\x20controllers\x20can\x20pause\x20or\x20re-key\x20case\x20handling;\x20verify\x20controllers\x20before\x20relying\x20on\x20it.','evidence':[]},{'id':'GFD-E26','class':'exception','name':'Project-manager\x20close-out\x20cancel\x20window\x20vs\x20the\x20return\x20window','actor':'merchant','precondition':['GFD-M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'fulfilling','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'claim_window'},'commercialSemantics':'There\x20is\x20no\x20mid-fulfillment\x20cancel\x20window\x20to\x20reconcile\x20against\x20the\x20return\x20window\x20-\x20once\x20the\x20goal\x20passes,\x20cancellation\x20is\x20absent\x20by\x20design\x20and\x20the\x20only\x20buyer-side\x20exits\x20are\x20the\x20return\x20rail\x20and\x20the\x20bounty\x20claim\x20windows,\x20which\x20are\x20distinct\x20knobs.','evidence':[]},{'id':'GFD-E27','class':'exception','name':'Backer\x20roster\x20exceeds\x20the\x20per-settlement\x20cap\x20(>100\x20rows)','actor':'keeper','precondition':['GFD-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'funded_released','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_release','gapPredicate':{'probe':'roster'},'commercialSemantics':'The\x20roster\x20cap\x20is\x20PER\x20POLICY\x20KEY:\x20a\x20key\x20with\x20>100\x20roster\x20rows\x20aborts\x20fail-closed\x20(the\x20aggregate\x20refuses\x20to\x20lie)\x20until\x20the\x20campaign\x20is\x20split\x20across\x20policy\x20keys\x20-\x20the\x20disclosed\x20boundary\x20is\x20the\x20abort,\x20not\x20a\x20per-batch\x20verdict\x20split.\x20Refunds\x20never\x20strand\x20on\x20keeper\x20absence\x20either:\x20AbandonAfterDeadline\x20is\x20back\x20to\x20order_payer\x20on\x20the\x20same\x20threshold_refund\x20gate\x20(GF2-30\x20self-heal\x20restored\x20under\x20the\x201181\x20migration).','evidence':[{'file':'repository.move','line':0x1d,'pattern':'MAX_ID_COUNT_ONCE'},{'file':'repository.move','line':0x3f0,'pattern':'formula_sum_where_bound'}]},{'id':'GFD-E28','class':'exception','name':'Duplicate\x20bounty\x20claim\x20attempt','actor':'buyer','precondition':['GFD-P5'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'ReviewAfterAcceptance','prev':'completed','identity':'order_holder','moneyEffect':'reward'},'disclosureProbe':undefined,'guardKeyProbe':'review_window','gapPredicate':undefined,'commercialSemantics':'The\x20bounty\x20is\x20once-per-order\x20by\x20construction:\x20consumed\x20claim\x20keys\x20are\x20recorded,\x20so\x20a\x20replayed\x20claim\x20finds\x20its\x20slot\x20taken\x20and\x20the\x20window\x20closure\x20denies\x20the\x20rest.','evidence':[{'file':'reward.move','line':0xe0,'pattern':'RewardClaimKey'}]},{'id':'GFD-E29','class':'exception','name':'Regulator-ordered\x20fund\x20freeze\x20of\x20a\x20live\x20campaign','actor':'platform','precondition':['GFD-M5'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'An\x20external\x20freeze\x20cannot\x20reach\x20per-order\x20escrow\x20(no\x20shared\x20pot\x20exists\x20to\x20freeze);\x20compliance\x20coordination\x20stays\x20off-chain\x20with\x20KYC-AML\x20duties\x20flagged\x20for\x20humans.','evidence':[]},{'id':'GFD-R4','class':'remedy','name':'Backer\x20self-service\x20refund\x20when\x20the\x20goal\x20is\x20missed','actor':'buyer','precondition':['GFD-E3'],'onchain':'expressible','chainFootprint':{'node':'missed_refunded','forward':'AbandonAfterDeadline','prev':'pledged','identity':'order_holder','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_refund','gapPredicate':undefined,'commercialSemantics':'A\x20backer\x20need\x20not\x20wait\x20for\x20the\x20keeper\x27s\x20batch:\x20advancing\x20their\x20own\x20pledge\x20on\x20the\x20refund-polarity\x20gate\x20and\x20sweeping\x20the\x20rail\x20pays\x20the\x20same\x20full\x20refund\x20from\x20their\x20own\x20pool.','evidence':[{'file':'order.move','line':0x15e,'pattern':'owner_receive'}]},{'id':'GFD-R1','class':'remedy','name':'Compensation-fund\x20award\x20execution\x20(non-return\x20loss)','actor':'arbitrator','precondition':['GFD-R6'],'onchain':'expressible_with_gap','chainFootprint':{'node':'delivered','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\x20skipping\x20it\x20strands\x20the\x20award;\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':'GFD-R2','class':'remedy','name':'Recover\x20rail:\x20compensated\x20principal\x20returned\x20to\x20the\x20campaign\x20account','actor':'keeper','precondition':['GFD-R5'],'onchain':'expressible','chainFootprint':{'node':'returned','moneyEffect':'release'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Principal\x20recovered\x20from\x20the\x20project\x20after\x20a\x20compensated\x20refund\x20is\x20swept\x20back\x20to\x20the\x20campaign\x20account\x20in\x20the\x20same\x20atomic\x20batch\x20shape\x20-\x20refund\x20and\x20recovery\x20stay\x20partitioned\x20by\x20node,\x20so\x20they\x20can\x20never\x20double-pay\x20one\x20escrow.','evidence':[{'file':'allocation.move','line':0x300,'pattern':'sweeps\x20every\x20pool'}]},{'id':'GFD-R3','class':'remedy','name':'Regulator-ordered\x20refund\x20of\x20a\x20live\x20campaign','actor':'platform','precondition':['GFD-E17'],'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\x20backers\x20execute\x20the\x20pre-deadline\x20exit\x20themselves\x20before\x20the\x20goal\x20decision.','evidence':[]},{'id':'GFD-R7','class':'remedy','name':'File\x20and\x20win\x20an\x20arbitration\x20case','actor':'arbitrator','precondition':['GFD-M3'],'onchain':'expressible_with_gap','chainFootprint':{'node':'delivered','moneyEffect':'compensate'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'arbitration_mode\x20third_party'},'commercialSemantics':'Disputes\x20are\x20filed\x20on\x20a\x20third-party\x20arbitration\x20object\x20(an\x20independent\x20permission)\x20whose\x20readiness\x20-\x20un-pause\x20and\x20voter\x20arming\x20-\x20is\x20the\x20venue\x20operator\x27s\x20deployment\x20duty,\x20never\x20this\x20build\x27s;\x20the\x20machine\x27s\x20role\x20starts\x20only\x20where\x20the\x20ruling\x20lands.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'},{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'GFD-R8','class':'remedy','name':'Backer\x20transfers\x20a\x20pledge\x20(gift\x20to\x20another\x20account)','actor':'buyer','precondition':['GFD-M3'],'onchain':'expressible','chainFootprint':{'node':'pledged','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Transferring\x20the\x20order\x20(and\x20with\x20it\x20the\x20refund\x20and\x20bounty\x20rights)\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':'GFD-R9','class':'remedy','name':'Dismissed\x20case:\x20backer\x20resume\x20and\x20re-pledge','actor':'buyer','precondition':['GFD-R7'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'arb_dismissed_resume','gapPredicate':undefined,'commercialSemantics':'A\x20dismissed\x20ruling\x20resumes\x20the\x20stalled\x20post-delivery\x20order:\x20the\x20claim_filed\x20waypoint\x20records\x20the\x20filed\x20case\x20on\x20the\x20machine,\x20and\x20the\x20dismissed-exit\x20edge\x20(venue\x20matches\x20the\x20order\x20AND\x20indemnity.amount\x20==\x200)\x20lands\x20back\x20on\x20delivered\x20with\x20zero\x20money\x20-\x20the\x20backer\x20keeps\x20every\x20normal\x20post-delivery\x20right\x20(return\x20rail,\x20settlement\x20acceptance,\x20review),\x20re-entry\x20appends\x20a\x20fresh\x20delivered\x20entry\x20and\x20re-anchors\x20the\x20windows\x20(find=last),\x20and\x20the\x20resume\x20runs\x20on\x20the\x20merchant\x27s\x20settlement-rail\x20slot,\x20never\x20the\x20buyer\x20refund\x20bucket.','evidence':[]},{'id':'GFD-E24','class':'exception','name':'Claim-withdraw:\x20backer\x20drops\x20a\x20filed\x20case','actor':'buyer','precondition':['GFD-R7'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'WithdrawClaim','prev':'claim_filed','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'withdraw_claim','gapPredicate':undefined,'commercialSemantics':'The\x20claim_filed\x20waypoint\x20gives\x20the\x20filed\x20case\x20a\x20machine\x20record,\x20and\x20the\x20buyer\x27s\x20withdraw\x20of\x20the\x20FILED\x20CASE\x20is\x20the\x20zero-money\x20WithdrawClaim\x20edge\x20back\x20to\x20delivered\x20-\x20never\x20a\x20withdrawn-destination\x20edge:\x20that\x20terminal\x20carries\x20the\x20refund_withdrawn\x20rail,\x20so\x20a\x20naive\x20edge\x20would\x20replay\x20into\x20a\x20free\x20full-refund\x20rail\x20bypassing\x20both\x20the\x20goal\x20polarity\x20and\x20the\x20post-decision\x20lock\x20(Q8-F02);\x20the\x20guard\x20key\x20is\x20distinct\x20from\x20pre_deadline_withdraw\x20by\x20design,\x20and\x20the\x20build\x20note\x20discloses\x20the\x20boundary.','evidence':[]},{'id':'GFD-P1','class':'post','name':'Buyer\x20review\x20path\x20closes\x20the\x20order','actor':'buyer','precondition':['GFD-M10'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'ReviewAfterAcceptance','prev':'completed','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'review_window','gapPredicate':undefined,'commercialSemantics':'The\x20review\x20is\x20an\x20optional\x20side\x20stop\x20with\x20its\x20own\x20exit\x20back\x20to\x20the\x20settlement\x20rail\x20-\x20skipping\x20it\x20never\x20blocks\x20completion,\x20and\x20the\x20auto-completion\x20clock\x20covers\x20a\x20silent\x20buyer.','evidence':[]},{'id':'GFD-P2','class':'post','name':'Project\x20demands\x20settlement\x20without\x20acceptance','actor':'merchant','precondition':['GFD-M9'],'onchain':'unresolvable','unresolvableRef':'S3','chainFootprint':undefined,'disclosureProbe':'escrow-through-fulfillment','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Wrong\x20model:\x20settlement\x20is\x20acceptance-gated\x20by\x20construction\x20-\x20the\x20escrow-through-fulfillment\x20departure\x20means\x20no\x20deadline\x20or\x20shipment\x20declaration\x20can\x20capture\x20the\x20money;\x20demanding\x20it\x20is\x20a\x20configuration\x20error,\x20not\x20a\x20chain\x20state.','evidence':[]},{'id':'GFD-P3','class':'post','name':'Streaming\x20royalty\x20splits\x20to\x20contributors','actor':'merchant','precondition':['GFD-M11'],'onchain':'unresolvable','unresolvableRef':'S3','chainFootprint':undefined,'disclosureProbe':'Rate\x2010000','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Settlement\x20is\x20a\x20flat\x20100%\x20Rate\x20split\x20to\x20one\x20recipient\x20-\x20there\x20is\x20no\x20streaming,\x20per-sale\x20royalty\x20or\x20multi-party\x20revenue-share\x20primitive;\x20recurring\x20payouts\x20are\x20out\x20of\x20scope\x20for\x20this\x20template.','evidence':[]},{'id':'GFD-P4','class':'post','name':'Post-settlement\x20dispute\x20demand\x20(after\x20release)','actor':'buyer','precondition':['GFD-M11'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'clawback|no-clawback','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Once\x20released,\x20the\x20escrow\x20is\x20the\x20project\x27s;\x20remedies\x20are\x20the\x20fund\x20and\x20the\x20venue.\x20The\x20GFD-P4\x20build\x20note\x20carries\x20the\x20post-release\x20no-clawback\x20boundary\x20-\x20this\x20strict\x20probe\x20stays\x20as\x20a\x20regression\x20tripwire\x20over\x20that\x20note.','evidence':[]},{'id':'GFD-P6','class':'post','name':'Backer\x20re-pledges\x20into\x20the\x20next\x20campaign','actor':'buyer','precondition':['GFD-E5'],'onchain':'expressible','chainFootprint':{'node':'pledged','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'A\x20refunded\x20backer\x20re-enters\x20any\x20live\x20campaign\x20as\x20a\x20fresh\x20order;\x20the\x20previous\x20pledge\x20leaves\x20no\x20machine\x20residue\x20beyond\x20the\x20zeroed\x20row\x20and\x20the\x20terminal\x20order\x20state.','evidence':[]}],'invariants':[{'id':'INV-GD-1','statement':'A\x20funded\x20review-bounty\x20pool\x20requires\x20a\x20live\x20claim\x20rail\x20-\x20if\x20the\x20reward\x20pool\x20is\x20funded,\x20the\x20review\x20forward\x20must\x20exist,\x20or\x20the\x20promised\x20bounty\x20becomes\x20unpayable.','jurisdiction':'every\x20deployment\x20with\x20review_mode\x20review_reward','chainConflict':'Compile\x20already\x20refuses\x20an\x20unfunded\x20pool;\x20the\x20mirror\x20defect\x20-\x20funding\x20the\x20pool\x20while\x20dropping\x20the\x20review\x20forward\x20-\x20passes\x20compile\x20and\x20strands\x20every\x20claim.\x20The\x20claim\x20window\x20rides\x20the\x20review\x20edge\x20once\x20per\x20order,\x20so\x20removing\x20the\x20edge\x20silently\x20converts\x20a\x20paid\x20incentive\x20into\x20an\x20unpayable\x20promise.','violation':{'requiresFeeParamNonZero':'review_reward_pool','whileMissingForward':'ReviewAfterAcceptance'},'evidence':[{'file':'reward.move','line':0x3f,'pattern':'RewardClaimEvent'}]},{'id':'INV-GD-2','statement':'Escrow-through-fulfillment\x20only\x20stays\x20honest\x20while\x20a\x20live\x20post-delivery\x20refund\x20path\x20exists\x20-\x20the\x20return-request\x20forward\x20must\x20exist\x20for\x20as\x20long\x20as\x20the\x20escrow\x20is\x20held\x20against\x20acceptance.','jurisdiction':'every\x20deployment\x20of\x20this\x20template','chainConflict':'The\x20whole\x20model\x27s\x20case\x20for\x20holding\x20escrow\x20through\x20fulfillment\x20is\x20the\x20still-live\x20refund\x20path\x20(the\x20catalog\x20contrast\x20with\x20deadline-release,\x20where\x20the\x20escrow\x20is\x20empty\x20by\x20the\x20time\x20the\x20buyer\x20can\x20complain);\x20removing\x20the\x20return\x20forward\x20turns\x20the\x20held\x20escrow\x20into\x20confiscation\x20with\x20no\x20on-chain\x20exit.','violation':{'whileMissingForward':'RequestReturn'},'evidence':[{'file':'allocation.move','line':0x313,'pattern':'public\x20fun\x20alloc_batch'}]},{'id':'INV-GD-3','statement':'A\x20silent\x20project\x20must\x20not\x20hold\x20a\x20returned\x20escrow\x20hostage\x20-\x20the\x20keeper\x20receipt-timeout\x20forward\x20must\x20exist\x20so\x20a\x20deemed\x20receipt\x20still\x20pays\x20the\x20backer.','jurisdiction':'every\x20deployment\x20of\x20this\x20template','chainConflict':'Shipped\x20as\x20the\x20keeper-only\x20receipt\x20timeout\x20past\x20the\x20response\x20window,\x20deeming\x20approval\x20and\x20paying\x20the\x20refund\x20rail;\x20removing\x20it\x20lets\x20an\x20absent\x20project\x20stall\x20every\x20return\x20indefinitely\x20-\x20the\x20exact\x20silent-counterparty\x20failure\x20the\x20timeout\x20exists\x20to\x20close.','violation':{'whileMissingForward':'ReturnReceiptTimeoutByKeeper'},'evidence':[{'file':'order.move','line':0x15e,'pattern':'owner_receive'}]},{'id':'INV-GD-4','statement':'The\x20goal\x20decision\x20reads\x20an\x20escrow-bound\x20all-mode\x20aggregate\x20over\x20the\x20chain-derived\x20order-keyed\x20roster\x20-\x20every\x20row\x20clamped\x20at\x20min(declared,\x20escrowed,\x20live\x20balance);\x20it\x20must\x20be\x20disclosed\x20as\x20escrow-bound\x20with\x20a\x20roster\x20that\x20is\x20framework-maintained\x20and\x20aborts\x20fail-closed\x20above\x20100\x20rows\x20per\x20key,\x20never\x20sold\x20as\x20a\x20chain-verified\x20total-custody\x20proof,\x20and\x20the\x20tribunal\x27s\x20controllers\x20are\x20likewise\x20protocol-unverified.','jurisdiction':'campaign\x20copy\x20and\x20configuration','chainConflict':'The\x20old\x20A6/A7\x20faces\x20(self-declared-value\x20inflation,\x20keeper-submitted\x20candidate\x20divergence)\x20are\x20CLOSED\x20by\x20the\x20bound-ALL\x20form\x20(query\x201181,\x20v140\x20live\x20cap,\x20v141\x20flag,\x20ks13\x20ROSTER-01):\x20a\x20row\x20can\x20never\x20claim\x20more\x20than\x20its\x20order\x20escrowed\x20and\x20still\x20holds,\x20roster\x20omission\x20is\x20structurally\x20impossible,\x20and\x20a\x20>100-row\x20key\x20aborts\x20fail-closed.\x20The\x20standing\x20disclosure\x20duty\x20is\x20the\x20honest\x20bound-form\x20shape\x20(pre-upgrade\x20rows\x20contribute\x20zero\x20until\x20re-touched\x20-\x20an\x20understate,\x20never\x20an\x20overstate),\x20alongside\x20the\x20N-01\x20note\x20that\x20venue\x20controllers\x20can\x20pause\x20or\x20re-key\x20case\x20handling.','evidence':[{'file':'repository.move','line':0x3f0,'pattern':'formula_sum_where_bound'}]}]};

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

@@ -0,0 +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':[]}]};