@wowok/agent-mcp 3.4.3 → 3.4.4

package/dist/knowledge/path-oracle/products/booking-com.js

@@ -0,0 +1 @@
+export const BOOKING_COM_ORACLE={'productRef':'booking-com','products':['booking-com','agoda','expedia','priceline'],'oracleVersion':'1.0.0','steps':[{'id':'M1','class':'offchain','name':'Search\x20and\x20compare\x20properties\x20(Genius\x20loyalty\x20pricing\x20shown)','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Search,\x20filters\x20and\x20loyalty-tier\x20price\x20display\x20are\x20app\x20concerns;\x20the\x20chain\x20holds\x20one\x20Sale\x20item\x20per\x20room\x20type\x20with\x20a\x20stock\x20counter\x20—\x20no\x20property\x20index,\x20no\x20photos,\x20no\x20per-date\x20price\x20calendar\x20(MAX_SALE_COUNT\x20=\x2050\x20caps\x20a\x20date-per-sale\x20emulation).','evidence':[{'file':'order.move','line':0x43,'pattern':'items:\x20vector<SaleItem>'}]},{'id':'M2','class':'offchain','name':'Pick\x20the\x20room\x20and\x20the\x20stay\x20dates','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'No\x20check-in/check-out/night\x20field\x20exists\x20on\x20chain\x20(SaleItem\x20carries\x20item/price/quantity/wip\x20only);\x20stay\x20dates\x20live\x20in\x20the\x20stay-date\x20Repository\x20row\x20written\x20at\x20buy\x20time\x20per\x20the\x20STAY-DATE\x20PRESCRIPTION\x20—\x20the\x20selection\x20act\x20itself\x20stays\x20off-chain.','evidence':[{'file':'order.move','line':0x21,'pattern':'public\x20struct\x20SaleItem'}]},{'id':'M3','class':'main','name':'Pay\x20online\x20—\x20booking\x20escrowed\x20atomically','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'pay','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'Booking.com\x20collects\x20payment\x20(online\x20or\x20at-property);\x20the\x20template\x20models\x20the\x20online\x20prepay:\x20the\x20full\x20amount\x20escrows\x20at\x20pay\x20with\x20no\x20unpaid\x20\x27created\x27\x20state\x20—\x20the\x20first\x20pair\x27s\x20prev_node\x20is\x20the\x20empty\x20string.','evidence':[{'file':'payment.move','line':0xa2,'pattern':'public\x20fun\x20create<T>'}]},{'id':'M4','class':'main','name':'Property/supplier\x20confirms\x20the\x20reservation\x20within\x2048h','actor':'merchant','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'confirmed','forward':'supplier_confirm','prev':'paid','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Booking.com\x20relays\x20the\x20property\x27s\x20confirmation;\x20the\x20supplier\x20confirm\x20rides\x20permission\x20slot\x201001\x20inside\x20the\x2048h\x20window\x20(supplier_confirm_window_hours)\x20—\x20a\x20timeout\x20releases\x20the\x20order\x20to\x20the\x20refund\x20rail\x20(E2).','evidence':[{'file':'machine.move','line':0x5f,'pattern':'namedOperator,\x20permissionIndex,\x20and\x20guard\x20participate'}]},{'id':'M5','class':'main','name':'Check-in\x20—\x20dual\x20confirmation\x20(property\x20evidence\x20+\x20buyer\x20identity)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'in_stay','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Front-desk\x20check-in\x20needs\x20BOTH\x20sides:\x20the\x20property\x20submits\x20the\x20redemption\x20evidence\x20hash\x20(order.item.wip_hash\x20comparison)\x20AND\x20the\x20buyer\x20confirms\x20arrival\x20—\x20threshold=2\x20with\x20two\x20weight-1\x20forwards\x20on\x20ONE\x20Pair\x20(booking\x20F-04\x20corrected:\x20threshold\x20gates\x20operator\x20bindings,\x20not\x20people).','guardKeyProbe':'checkin_evidence','evidence':[{'file':'progress.move','line':0x57,'pattern':'threshold:\x20u32'}]},{'id':'M6','class':'main','name':'Check-out\x20confirmed\x20by\x20the\x20buyer','actor':'buyer','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'check_out_guest','prev':'in_stay','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'completed\x20means\x20the\x20stay\x20was\x20DELIVERED,\x20not\x20settled\x20—\x20the\x20serial\x20claim\x20window\x20comes\x20next\x20and\x20the\x20pool\x20stays\x20intact.\x20The\x20departure\x20date\x20itself\x20is\x20off-chain\x20(Repository\x20row\x20or\x20order.time\x20+\x20stay_nights\x20approximation).','guardKeyProbe':'checkout_gate','evidence':[]},{'id':'M7','class':'main','name':'Keeper\x20opens\x20the\x20serial\x20claim\x20window\x20after\x20checkout','actor':'keeper','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'claim_window','forward':'open_claim_window','prev':'completed','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Booking.com\x20holds\x20payout\x20until\x20its\x20post-stay\x20dispute\x20window\x20lapses;\x20the\x20v30\x20serial\x20window\x20makes\x20the\x20same\x20discipline\x20structural\x20—\x20a\x20mandatory\x20claim_window\x20waypoint\x20keeps\x20the\x20pool\x20intact\x20and\x20undisputed\x20while\x20any\x20post-stay\x20claim\x20could\x20still\x20be\x20filed.','evidence':[{'file':'progress.move','line':0x22c,'pattern':'parent_table_vec::push_back'}]},{'id':'M8','class':'main','name':'Buyer\x20reviews\x20the\x20stay\x20(dual-column\x20rating\x20+\x20comment\x20rows)','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'submit_review','prev':'completed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Booking.com\x20reviews\x20pair\x20a\x20numeric\x20rating\x20with\x20a\x20text\x20comment;\x20the\x20DUAL-COLUMN\x20IDIOM\x20writes\x20a\x20U256\x20rating\x20row\x20(range-queryable)\x20plus\x20a\x20String\x20comment\x20row\x20keyed\x20to\x20the\x20same\x20order.\x20Authorship\x20is\x20bound\x20to\x20the\x20order\x20holder\x20(review_author_identity)\x20so\x20the\x20platform\x20cannot\x20forge\x20reviews.','guardKeyProbe':'review_author_identity','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]},{'id':'M9','class':'main','name':'Claim\x20window\x20elapses\x20with\x20no\x20claim\x20—\x20order\x20releases','actor':'keeper','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'payout_released','forward':'release_no_claim','prev':'claim_window','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'The\x20release\x20forward\x20fires\x20on\x20a\x20TIME\x20leg\x20anchored\x20on\x20the\x20recorded\x20claim_window\x20entry\x20(v68\x20split:\x20forward\x20guards\x20evaluate\x20pre-advance,\x20so\x20the\x20prev-node\x20history\x20time\x20is\x20the\x20correct\x20anchor;\x20the\x20payout_released\x20state\x20pin\x20stays\x20on\x20the\x20allocator).','guardKeyProbe':'release_no_claim_clock','evidence':[]},{'id':'M10','class':'main','name':'Settlement\x20lands:\x20platform\x20commission\x20+\x20payment\x20fee\x20+\x20property\x20Surplus','actor':'keeper','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'payout_released','moneyEffect':'release'},'commercialSemantics':'The\x20three\x20legs\x20form\x20ONE\x20Allocator\x20(Rate\x20sums\x20are\x20asserted\x20per\x20Allocator):\x20commission\x20+\x20fee\x20by\x20Rate,\x20the\x20property\x27s\x20net\x20as\x20Surplus\x20BY\x20DESIGN\x20so\x20the\x20split\x20can\x20never\x20mis-sum\x20—\x20and\x20the\x20Surplus\x20recipient\x20must\x20stay\x20distinct\x20from\x20every\x20Rate\x20leg\x20(R-RECIPIENT-04,\x20Booking\x20mainnet\x20misroute).\x20Direct-sales\x20default:\x200%\x20commission\x20and\x20fee.','guardKeyProbe':'release_no_claim_clock','evidence':[{'file':'allocation.move','line':0xad,'pattern':'AllocationMode_Surplus'}]},{'id':'M11','class':'main','name':'Late\x20review:\x20buyer\x20reviews\x20after\x20the\x20claim\x20window\x20already\x20opened','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'submit_review','prev':'claim_window','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Once\x20open_claim_window\x20fires\x20the\x20order\x20can\x20never\x20return\x20to\x20completed,\x20so\x20the\x20completed-only\x20review\x20entry\x20made\x20review\x20permanently\x20unreachable\x20for\x20late\x20reviewers\x20(abnb14\x20F01\x20generalized);\x20the\x20v102\x20second\x20entry\x20keeps\x20the\x2090-day\x20reward\x20window\x20honest.','guardKeyProbe':'review_author_identity','evidence':[]},{'id':'E1','class':'exception','name':'Free\x20cancellation\x20inside\x20the\x20buyer\x27s\x20window','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'free_cancel','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Booking.com\x27s\x20free-cancellation\x20policies\x20dominate\x20the\x20listing\x20board;\x20the\x20guard\x20is\x20a\x20CLOSING\x20window\x20(\x27Clock\x20<=\x20order.time\x20+\x20free_cancel_hours\x27)\x20—\x20a\x20closing-gate\x20twin,\x20not\x20an\x20opening\x20lock\x20(bkd8\x20BK-02\x20inversion).\x20P1-3:\x20the\x20window\x20anchors\x20on\x20booking\x20time,\x20NOT\x20\x2772h\x20before\x20arrival\x27\x20(see\x20INV-BK-2).','guardKeyProbe':'free_cancel','evidence':[]},{'id':'E2','class':'exception','name':'Supplier\x20confirm\x20timeout\x20—\x20keeper\x20releases\x20the\x20order','actor':'keeper','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'confirm_timeout','prev':'paid','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'An\x20unanswered\x20confirmation\x20expires\x20the\x20booking\x20with\x20a\x20full\x20refund;\x20Booking.com\x27s\x20real-world\x20counterpart\x20demotes\x20and\x20delists\x20unresponsive\x20properties\x20—\x20the\x20property\x20is\x20demoted\x20off-chain\x20(disclosed\x20in\x20build_notes,\x20see\x20P3).','guardKeyProbe':'confirm_timeout','evidence':[]},{'id':'E3','class':'exception','name':'No-show\x20—\x20first-night-style\x20charge\x20on\x20the\x20dedicated\x20node','actor':'merchant','precondition':['M4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'no_show_charged','forward':'no_show','prev':'confirmed','identity':'permission_index','moneyEffect':'compensate'},'commercialSemantics':'Booking.com\x27s\x20no-show\x20policies\x20charge\x20(typically)\x20the\x20first\x20night.\x20The\x20charge\x20lands\x20on\x20the\x20DEDICATED\x20no_show_charged\x20node\x20—\x20property\x20evidence\x20+\x20a\x20time\x20floor\x20so\x20no\x20charge\x20precedes\x20arrival\x20(bkgota\x20F-03:\x20never\x20merged\x20into\x20completed,\x20where\x20a\x20charged\x20no-show\x20farmed\x20the\x20review\x20reward).\x20The\x20charge\x20AMOUNT\x20approximates\x20a\x20first\x20night\x20by\x20Rate\x20split\x20—\x20no\x20per-night\x20primitive\x20exists.','guardKeyProbe':'no_show_evidence','gapPredicate':{'probe':'time\x20floor|NEVER\x20merge\x20it\x20into\x20completed'},'evidence':[]},{'id':'E4','class':'exception','name':'Supplier\x20disruption\x20record\x20(oversell/closed-out/force\x20majeure)','actor':'merchant','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'disrupted','forward':'report_disruption','prev':'confirmed','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'When\x20the\x20property\x20cannot\x20honor\x20a\x20confirmed\x20booking\x20it\x20files\x20a\x20disruption\x20record\x20hash\x20into\x20the\x20evidence\x20Repository\x20—\x20a\x20RECORD\x20waypoint\x20named\x20for\x20the\x20business\x20state\x20(never\x20dispute/arb-prefixed),\x20so\x20the\x20buyer\x20is\x20paid\x20without\x20ever\x20filing\x20a\x20claim.','guardKeyProbe':'disruption_evidence','evidence':[{'file':'repository.move','line':0x9d,'pattern':'public\x20struct\x20PolicyRule'}]},{'id':'E5','class':'exception','name':'Buyer\x20confirms\x20the\x20disruption\x20refund\x20(double\x20confirmation)','actor':'buyer','precondition':['E4'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'refund_after_disruption','prev':'disrupted','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x20supplier\x27s\x20own\x20filing\x20never\x20moves\x20money\x20alone\x20—\x20the\x20buyer\x27s\x20order-holder\x20confirmation\x20rides\x20the\x20SAME\x20single\x20refund\x20rail\x20(mirrors\x20retail\x27s\x20RefundAfterLoss);\x20a\x20buyer\x20contesting\x20the\x20disruption\x20instead\x20goes\x20through\x20claim_open\x20+\x20arbitration\x20(R2).','guardKeyProbe':'disruption_refund_gate','evidence':[]},{'id':'E6','class':'exception','name':'Genius\x20/\x20preferred-partner\x20tier\x20pricing','actor':'platform','precondition':['M1'],'onchain':'disclosure_only','commercialSemantics':'Booking.com\x27s\x20Genius\x20discounts\x20and\x20preferred-partner\x20visibility\x20are\x20loyalty-program\x20economics;\x20preferred_property_rate_bps\x20is\x20a\x20benchmark\x20disclosure\x20only\x20—\x20no\x20allocator\x20row\x20reads\x20it,\x20so\x20tier\x20pricing\x20stays\x20an\x20off-chain\x20display\x20concern.','disclosureProbe':'benchmark\x20disclosure\x20only|no\x20allocator\x20row\x20reads\x20it','evidence':[]},{'id':'E7','class':'exception','name':'Date\x20change\x20(reschedule)\x20=\x20refund-and-rebuy,\x20never\x20a\x20node','actor':'buyer','precondition':['M3'],'onchain':'disclosure_only','commercialSemantics':'Booking.com\x20lets\x20guests\x20modify\x20dates;\x20the\x20chain\x20has\x20no\x20calendar\x20primitive\x20and\x20an\x20Order\x20amount\x20is\x20immutable,\x20so\x20a\x20true\x20reschedule\x20node\x20would\x20be\x20a\x20half-true\x20node\x20—\x20the\x20template\x20discloses\x20the\x20refund-and-rebuy\x20routing\x20through\x20the\x20existing\x20rails\x20until\x20the\x20Move\x20layer\x20grows\x20a\x20date\x20primitive.','disclosureProbe':'REFUND-AND-REBUY|deliberate\x20non-coverage','evidence':[]},{'id':'R1','class':'remedy','name':'Post-stay\x20claim\x20filed\x20inside\x20the\x20serial\x20window','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'poststay_claim','forward':'file_claim','prev':'claim_window','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Wrong\x20charge,\x20misrepresented\x20stay:\x20guest\x20or\x20support\x20files\x20inside\x20the\x20witness-anchored\x20closing\x20window\x20(plus\x20the\x20order-owner\x20identity\x20leg\x20—\x20bkg15\x20F05);\x20arbitration\x20decides\x20off-Machine.','guardKeyProbe':'poststay_claim_window','evidence':[]},{'id':'R2','class':'remedy','name':'Pre-stay\x20walk/oversell\x20claim\x20filed\x20by\x20the\x20buyer','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'claim_open','forward':'walk_claim','prev':'confirmed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20property\x20walks\x20the\x20guest\x20(room\x20sold\x20twice)\x20—\x20the\x20buyer\x20files\x20first\x20with\x20claim\x20evidence;\x20filing\x20is\x20order-holder-bound\x20so\x20nobody\x20(platform\x20included)\x20can\x20file\x20on\x20the\x20buyer\x27s\x20behalf.','guardKeyProbe':'walk_claim_identity','evidence':[]},{'id':'R3','class':'remedy','name':'Buyer\x20withdraws\x20a\x20post-stay\x20claim\x20before\x20any\x20ruling','actor':'buyer','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'WithdrawClaim','prev':'poststay_claim','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'W5-02\x20void\x20escape:\x20a\x20case\x20that\x20never\x20rules\x20(withdrawn,\x20reset,\x20abandoned)\x20fails\x20both\x20ruling\x20roots\x20closed,\x20so\x20the\x20buyer\x27s\x20single-hop\x20withdraw\x20refunds\x20the\x20intact\x20pool\x20instead\x20of\x20stranding\x20the\x20order\x20at\x20the\x20waypoint\x20(IMMUT-001).','guardKeyProbe':'withdraw_claim_poststay','evidence':[{'file':'arb.move','line':0x10,'pattern':'WITHDRAW_DURATION_TIME'}]},{'id':'R4','class':'remedy','name':'Buyer\x20withdraws\x20a\x20walk\x20claim\x20before\x20any\x20ruling','actor':'buyer','precondition':['R2'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'WithdrawClaim','prev':'claim_open','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x20claim_open\x20twin\x20of\x20R3\x20—\x20one\x20key\x20per\x20source\x20node\x20(M-T2),\x20both\x20escapes\x20refund\x20the\x20untouched\x20escrow\x20because\x20nothing\x20fired\x20at\x20all.','guardKeyProbe':'withdraw_claim_walk','evidence':[]},{'id':'R5','class':'remedy','name':'Guest-favor\x20ruling\x20on\x20the\x20post-stay\x20claim\x20—\x20arb\x20refund','actor':'platform','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'arb_refund','prev':'poststay_claim','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20refund\x20edge\x20gates\x20on\x20arb.order\x20==\x20order\x20AND\x20arb.indemnity\x20some\x20==\x20true\x20—\x20a\x20stable\x20ruling\x20signal\x20immune\x20to\x20fee\x20withdrawals\x20and\x20never\x20keyed\x20on\x20arb.status\x20(which\x20arb_withdraw\x20advances\x20past\x20the\x2030-day\x20silence\x20window,\x20stranding\x20funds).','guardKeyProbe':'arb_won_poststay','evidence':[{'file':'arb.move','line':0xb4,'pattern':'indemnity:\x20Option<Indemnity>'}]},{'id':'R6','class':'remedy','name':'Guest-favor\x20ruling\x20on\x20the\x20walk\x20claim\x20—\x20arb\x20refund','actor':'platform','precondition':['R2'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'arb_refund','prev':'claim_open','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20walked\x20guest\x20is\x20made\x20whole\x20by\x20an\x20arbitration-ruled\x20refund\x20of\x20the\x20intact\x20pool\x20—\x20the\x20escrow-rail\x20half\x20of\x20the\x20walk\x20guarantee\x20(the\x20guarantee\x27s\x20rebooking\x20half\x20stays\x20off-chain,\x20see\x20R10).','guardKeyProbe':'arb_won_walk','evidence':[]},{'id':'R7','class':'remedy','name':'Dismissed\x20post-stay\x20claim\x20—\x20pool\x20releases\x20to\x20settlement','actor':'platform','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'payout_released','forward':'claim_dismissed','prev':'poststay_claim','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'The\x20dismissal\x20edge\x20gates\x20on\x20indemnity.amount\x20==\x200\x20with\x20fail-closed\x20None\x20handling:\x20the\x20leg\x20passes\x20ONLY\x20when\x20a\x20ruling\x20exists\x20AND\x20favoured\x20the\x20merchant\x20—\x20\x27never\x20ruled\x27\x20can\x20never\x20release\x20the\x20pool.','guardKeyProbe':'arb_dismissed_poststay','evidence':[{'file':'arb.move','line':0x21,'pattern':'Zero-indemnity\x20claim\x20gate'}]},{'id':'R8','class':'remedy','name':'Property-favor\x20ruling\x20on\x20the\x20walk\x20claim\x20—\x20the\x20booking\x20stands','actor':'platform','precondition':['R2'],'onchain':'expressible','chainFootprint':{'node':'confirmed','forward':'claim_dismissed_resume','prev':'claim_open','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20stay\x20resumes\x20from\x20confirmed\x20—\x20claim_open\x20is\x20NEVER\x20a\x20stop\x20node\x20with\x20money,\x20mirroring\x20how\x20Booking.com\x20reinstates\x20a\x20disputed\x20reservation\x20after\x20the\x20property\x20proves\x20delivery.','guardKeyProbe':'arb_dismissed_resume','evidence':[]},{'id':'R9','class':'remedy','name':'Compensation\x20fund\x20—\x20FORBIDDEN\x20until\x20the\x20escrow\x20shared\x20gate\x20lands','actor':'platform','precondition':['R2'],'onchain':'disclosure_only','commercialSemantics':'Booking.com\x20customer\x20service\x20pays\x20goodwill\x20compensation;\x20on\x20chain\x20the\x20A-2\x20lesson\x20(one\x20guest\x20took\x20a\x20full\x20refund\x20AND\x20a\x203x\x20award\x20for\x20the\x20same\x20order\x20—\x20worst\x20case\x204x)\x20plus\x20the\x20user\x20ruling\x202026-10-15\x20forbid\x20funding\x20the\x20compensation\x20fund\x20until\x20the\x20arbitration-escrow\x20shared\x20gate\x20exists:\x20disputes\x20ride\x20the\x20escrow\x20rails\x20only.','disclosureProbe':'DO\x20NOT\x20FUND|double-takeable','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'R10','class':'remedy','name':'Walk\x20guarantee:\x20relocation\x20to\x20equal/better\x20or\x20refund','actor':'platform','precondition':['R2'],'onchain':'expressible_with_gap','chainFootprint':{'node':'claim_open','moneyEffect':'refund'},'commercialSemantics':'Booking.com\x27s\x20oversell\x20promise\x20promises\x20comparable\x20relocation\x20or\x20a\x20refund.\x20The\x20chain\x20expresses\x20the\x20refund\x20half\x20first-class\x20(walk\x20claim\x20+\x20arbitration-ruled\x20arb_refund);\x20relocation\x20is\x20a\x20booking-free\x20rebook\x20that\x20needs\x20a\x20fresh\x20Order\x20—\x20no\x20automatic\x20rebooking\x20primitive\x20exists\x20on\x20chain.','gapPredicate':{'probe':'buyer-first\x20claim\x20evidence|Oversell\x20walk'},'evidence':[]},{'id':'P1','class':'post','name':'Buyer\x20claims\x20the\x20review-reward\x20bounty\x20inside\x20the\x2090-day\x20window','actor':'buyer','precondition':['M8'],'onchain':'disclosure_only','commercialSemantics':'Booking.com\x20has\x20no\x20reviewer\x20bounty;\x20the\x20template\x27s\x20sale-time-planned\x20Reward\x20rail\x20is\x20an\x20ADDITION\x20(reward\x20pool\x20funded\x20at\x20build,\x20once-per-order\x20claim,\x2090-day\x20window).\x20The\x20machine-shape\x20matcher\x20cannot\x20see\x20reward-object\x20guards,\x20so\x20the\x20step\x20is\x20recorded\x20as\x20disclosed-by-corpus\x20rather\x20than\x20footprint-matched.','disclosureProbe':'Review\x20Reward\x20window|review_reward','evidence':[{'file':'reward.move','line':0xe3,'pattern':'public\x20fun\x20claim<T>'}]},{'id':'P2','class':'post','name':'Refunded\x20booking\x20returns\x20the\x20room\x20to\x20sellable\x20stock','actor':'keeper','precondition':['E1'],'onchain':'disclosure_only','commercialSemantics':'Booking.com\x20re-lists\x20cancelled\x20inventory\x20immediately;\x20buy\x20decrements\x20the\x20stock\x20counter\x20and\x20NOTHING\x20refunds\x20it\x20—\x20compile\x20emits\x20the\x20restock.flag\x20half\x20and\x20the\x20keeper\x20runs\x20service.restock\x20once\x20per\x20refunded\x20order\x20(B-E/T5),\x20with\x20sale_name\x20copied\x20EXACTLY\x20(silent\x20no-op\x20otherwise).','disclosureProbe':'stock_add|restock','evidence':[{'file':'service.move','line':0x9a,'pattern':'restock_on_refund'}]},{'id':'P3','class':'post','name':'Unresponsive\x20property\x20demoted\x20off-chain','actor':'platform','precondition':['E2'],'onchain':'disclosure_only','commercialSemantics':'Ranking\x20demotion\x20is\x20Booking.com\x27s\x20real\x20lever\x20against\x20no-show\x20properties;\x20the\x20chain\x20template\x20records\x20it\x20as\x20an\x20explicit\x20off-chain\x20keeper\x20consequence\x20—\x20no\x20on-chain\x20reputation\x20primitive\x20exists.','disclosureProbe':'demoted\x20off-chain','evidence':[]}],'invariants':[{'id':'INV-BK-1','statement':'The\x20walk\x20guarantee\x20(comparable\x20relocation\x20or\x20refund)\x20must\x20make\x20the\x20walked\x20guest\x20whole\x20from\x20the\x20intact\x20escrow\x20only\x20—\x20the\x20compensation\x20fund\x20must\x20stay\x20UNFUNDED\x20until\x20the\x20arbitration-escrow\x20shared\x20gate\x20lands.','jurisdiction':'Booking.com\x20oversell/relocation\x20guarantee;\x20EU\x20Package\x20Travel\x20Directive\x20art.\x2011\x20(cancellation/protection).','chainConflict':'A-2\x20verified\x20the\x20refund\x20allocator\x20and\x20the\x20compensation\x20payout\x20are\x20INDEPENDENT\x20channels\x20—\x20worst\x20case\x204x\x20(full\x20refund\x201x\x20+\x20award\x20ceiling\x203x),\x20and\x20the\x20compensation-claim\x20call\x20has\x20no\x20Guard\x20slot\x20to\x20seal\x20refund-then-claim.\x20The\x20user\x20ruling\x20(2026-10-15)\x20therefore\x20forbids\x20funding:\x20disputes\x20ride\x20the\x20escrow\x20rails\x20only.\x20Text-only:\x20the\x20fund\x20policy\x20is\x20a\x20template\x20flag,\x20not\x20a\x20fee_params\x20key.','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'INV-BK-2','statement':'Free\x20cancellation\x20and\x20no-show\x20floors\x20are\x20promises\x20about\x20the\x20STAY\x20CALENDAR\x20(\x2772h\x20before\x20arrival\x27,\x20\x276h\x20after\x20no-show\x20onset\x27);\x20on\x20chain\x20every\x20window\x20anchors\x20on\x20order.time\x20—\x20booking\x20time,\x20not\x20arrival\x20time.','jurisdiction':'Booking.com\x20free-cancellation\x20policy\x20terms;\x20EU\x20Consumer\x20Rights\x20Directive\x20art.\x206\x20(pre-contractual\x20information).','chainConflict':'No\x20check-in/check-out/night\x20field\x20exists\x20on\x20chain\x20(Order\x20items\x20are\x20SaleItem{item,price,quantity,wip_hash});\x20the\x20STAY-DATE\x20PRESCRIPTION\x20(order-scoped\x20Repository\x20row\x20+\x20Clock-vs-row+offset\x20leg)\x20is\x20the\x20disclosed\x20cure,\x20but\x20the\x20default\x20remains\x20order.time.\x20With\x20typical\x20weeks-long\x20lead\x20time\x20the\x20gap\x20is\x20material,\x20not\x20cosmetic.\x20Text-only.','evidence':[{'file':'order.move','line':0x21,'pattern':'public\x20struct\x20SaleItem'},{'file':'order.move','line':0x43,'pattern':'items:\x20vector<SaleItem>'}]},{'id':'INV-BK-3','statement':'A\x20never-ruled\x20claim\x20case\x20(withdrawn,\x20reset,\x20abandoned)\x20must\x20not\x20strand\x20the\x20order\x20at\x20the\x20claim\x20waypoint\x20—\x20the\x20buyer\x27s\x20single-hop\x20withdraw\x20refunds\x20the\x20intact\x20pool.','jurisdiction':'Booking.com\x20dispute\x20terms\x20(reservation\x20returned\x20on\x20abandoned\x20complaints).','chainConflict':'Both\x20ruling\x20edges\x20fail\x20closed\x20on\x20the\x20None\x20indemnity,\x20so\x20without\x20the\x20W5-02\x20WithdrawClaim\x20void\x20escape\x20a\x20withdrawn\x20case\x20strands\x20the\x20order\x20at\x20claim_open/poststay_claim\x20forever\x20(IMMUT-001).\x20This\x20standing\x20check\x20re-fires\x20the\x20invariant\x20the\x20moment\x20either\x20withdraw\x20edge\x20disappears.','evidence':[],'violation':{'whileMissingForward':'WithdrawClaim'}},{'id':'INV-BK-4','statement':'Payout\x20can\x20never\x20fire\x20while\x20a\x20post-stay\x20claim\x20could\x20still\x20be\x20filed\x20—\x20the\x20serial\x20claim\x20window\x20is\x20a\x20mandatory\x20waypoint\x20between\x20delivery\x20and\x20settlement.','jurisdiction':'Booking.com\x20post-stay\x20dispute\x20window\x20terms.','chainConflict':'The\x20pre-v30\x20graph\x20released\x20straight\x20off\x20completed\x20(v86\x20KLM-FIX-2\x20deleted\x20the\x20recovered\x20weld);\x20the\x20serial\x20window\x20re-introduced\x20payout_released\x20reachable\x20only\x20from\x20claim_window\x20or\x20a\x20dismissed\x20poststay_claim.\x20This\x20standing\x20check\x20re-fires\x20the\x20invariant\x20if\x20the\x20window-opening\x20forward\x20disappears.','evidence':[],'violation':{'whileMissingForward':'open_claim_window'}}]};

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

@@ -0,0 +1 @@
+export const CONTRA_ORACLE={'productRef':'contra','products':['contra','polywork','read-cv','working-not-working'],'oracleVersion':'1.0.0','steps':[{'id':'M2','class':'offchain','name':'Client\x20discovers\x20the\x20creator\x20(profile,\x20portfolio,\x20referrals)','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Contra\x27s\x20funnel\x20is\x20portfolio-led\x20discovery:\x20profile\x20pages,\x20referral\x20links\x20and\x20SEO.\x20On\x20this\x20template\x20the\x20portfolio\x20Repository\x20attached\x20to\x20the\x20service\x20is\x20the\x20only\x20discovery\x20surface,\x20and\x20its\x20content\x20rules\x20(public\x20URLs\x20only)\x20are\x20listing\x20mechanics,\x20not\x20a\x20machine\x20step.','evidence':[]},{'id':'M1','class':'main','name':'Creator\x20lists\x20the\x20service\x20(portfolio\x20Repository\x20attached,\x20public\x20URLs)','actor':'fulfiller','precondition':[],'onchain':'expressible','chainFootprint':{'node':'listed','moneyEffect':'none'},'commercialSemantics':'Listing\x20is\x20the\x20machine\x27s\x20entry\x20state:\x20the\x20service\x20carries\x20the\x20portfolio\x20Repository\x20with\x20public\x20URLs\x20only\x20(the\x20testnet\x20lesson\x20—\x20never\x20local\x20addresses).\x20No\x20escrow\x20exists\x20yet;\x20the\x20funnel\x27s\x20first\x20state\x20is\x20free.','evidence':[]},{'id':'M3','class':'main','name':'Client\x20initiates\x20contact\x20on-Machine\x20(advance\x20from\x20listed)','actor':'buyer','precondition':['M1'],'onchain':'expressible','chainFootprint':{'node':'contacted','moneyEffect':'none'},'commercialSemantics':'The\x20challenger\x20differentiator:\x20negotiation\x20happens\x20ON\x20the\x20machine\x20—\x20the\x20client\x20advances\x20the\x20pre-payment\x20funnel\x20instead\x20of\x20a\x20DM\x20thread.\x20There\x20is\x20no\x20fee\x20or\x20commitment\x20at\x20this\x20state;\x20contact\x20is\x20a\x20signed\x20state\x20transition.','evidence':[]},{'id':'M4','class':'main','name':'Pre-payment\x20negotiation\x20(scope\x20and\x20price\x20agreed\x20before\x20any\x20escrow)','actor':'buyer','precondition':['M3'],'onchain':'disclosure_only','commercialSemantics':'The\x20pre-payment\x20funnel\x20(listed\x20->\x20contacted\x20->\x20ordered)\x20IS\x20the\x20challenger\x20pitch:\x20scope\x20negotiation\x20precedes\x20any\x20money\x20movement.\x20The\x20machine\x20carries\x20the\x20states;\x20the\x20terms\x20live\x20off-chain\x20in\x20the\x20negotiation,\x20and\x20the\x20corpus\x20discloses\x20the\x20funnel\x20as\x20the\x20template\x27s\x20differentiator.','disclosureProbe':'Pre-payment\x20funnel|negotiation\x20happens\x20on-Machine','evidence':[]},{'id':'M5','class':'main','name':'Contract\x20signed\x20and\x20project\x20funds\x20escrowed\x20(ordered)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'ordered','moneyEffect':'escrow_in'},'commercialSemantics':'One\x20atomic\x20buy\x20at\x20the\x20agreed\x20price.\x20Zero\x20commission\x20is\x20chain-verifiable\x20here:\x20the\x20allocator\x27s\x20platform\x20row\x20is\x20a\x20fixed\x20Amount\x20(the\x20tiered\x20contract\x20fee),\x20never\x20a\x20rate\x20on\x20GMV.\x20The\x20minimum-contract\x20guard\x20(amount\x20should\x20cover\x20the\x20fixed\x20fee)\x20is\x20a\x20listing\x20discipline,\x20not\x20a\x20machine\x20guard.','evidence':[{'file':'service.move','line':0x1d2,'pattern':'public\x20fun\x20buy2'}]},{'id':'M6','class':'main','name':'Creator\x20accepts\x20(permission\x20slot)\x20and\x20works','actor':'fulfiller','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'in_progress','moneyEffect':'none'},'commercialSemantics':'Acceptance\x20is\x20a\x20permission-index\x20act\x20—\x20roster\x20membership\x20is\x20admission\x20power.\x20Note\x20the\x20funnel\x20asymmetry\x20vs\x20the\x20marketplace\x20templates:\x20pre-work\x20cancellation\x20here\x20reaches\x20back\x20to\x20ordered\x20(E1),\x20so\x20an\x20accepted\x20order\x20can\x20no\x20longer\x20be\x20cancelled\x20by\x20the\x20client\x20without\x20arbitration.','evidence':[]},{'id':'M7','class':'main','name':'Creator\x20delivers\x20the\x20work\x20(WIP\x20evidence\x20recommended,\x20ungated)','actor':'fulfiller','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'Deliver','prev':'in_progress','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20in_progress\x20->\x20delivered\x20forward\x20is\x20a\x20bare\x20permission-index\x20edge:\x20WIP-hash\x20evidence\x20is\x20recommended\x20practice\x20but\x20the\x20template\x20mounts\x20no\x20evidence\x20gate\x20here\x20(unlike\x20its\x20two\x20freelance\x20siblings)\x20—\x20delivery\x20quality\x20is\x20policed\x20by\x20the\x20defect\x20loop\x20(M8)\x20and\x20the\x20client\x27s\x20acceptance,\x20not\x20by\x20a\x20repository\x20gate.','evidence':[]},{'id':'M8','class':'exception','name':'Client\x20reports\x20a\x20defect\x20—\x20order\x20enters\x20the\x20revising\x20state\x20(window-gated)','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'revising','forward':'ReportDefect','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20remedy\x20node\x20is\x20window-gated:\x20defect_report_window\x20anchors\x20on\x20the\x20LAST\x20delivery\x20entry\x20(defect_report_window_hours\x20=\x20120),\x20and\x20every\x20re-delivery\x20resets\x20it\x20—\x20the\x20re-entrant\x20loop\x20is\x20deliberate\x20so\x20the\x20buyer\x20is\x20never\x20left\x20in\x20a\x20do-or-dispute\x20corner;\x20the\x20only\x20other\x20exits\x20from\x20revising\x20are\x20full-refund\x20cancel\x20or\x20dispute.','guardKeyProbe':'defect_report_window','evidence':[]},{'id':'M9','class':'main','name':'Creator\x20re-delivers\x20from\x20revising\x20(loop\x20re-entry)','actor':'fulfiller','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'Deliver','prev':'revising','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20F-02\x20cure\x27s\x20second\x20half:\x20the\x20re-entry\x20pair\x20Deliver-from-revising\x20is\x20what\x20makes\x20the\x20loop\x20re-entrant\x20—\x20dropping\x20it\x20strands\x20every\x20disputed\x20order\x20at\x20revising\x20forever\x20(a\x20remedy\x20node\x20with\x20no\x20path\x20out).\x20Same\x20ungated\x20edge\x20family\x20as\x20M7.','evidence':[]},{'id':'M10','class':'main','name':'Client\x20confirms\x20acceptance\x20(manual\x20signature)','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'accepted','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20manual\x20branch\x20is\x20the\x20client\x27s\x20own\x20signature\x20(order_payer\x20identity\x20edge)\x20—\x20the\x20creator\x20can\x20never\x20self-accept\x20(trust\x20mechanism\x20R4).\x20Sibling\x20timeout\x20branch\x20is\x20M11;\x20distinct\x20forward\x20names\x20are\x20mandatory\x20on\x20siblings\x20sharing\x20a\x20prev.','evidence':[]},{'id':'M11','class':'exception','name':'Acceptance\x20timeout\x20—\x20keeper\x20auto-accepts\x20a\x20silent\x20client\x20(48h)','actor':'keeper','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'accepted','forward':'AutoAcceptByKeeper','prev':'delivered','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'acceptance_timeout_hours\x20(48)\x20bounds\x20client\x20silence\x20—\x20tight\x20vs\x20the\x20marketplace\x20templates\x27\x2014\x20days,\x20matching\x20Contra\x27s\x20low-ticket\x20tempo.\x20The\x20timeout\x20is\x20100%\x20off-chain\x20keeper\x20duty\x20(the\x20machine\x20has\x20no\x20timer):\x20no\x20keeper\x20means\x20manual-only\x20confirmation,\x20the\x20funds-stuck\x20failure\x20mode\x20the\x20corpus\x20names.','guardKeyProbe':'accept_timeout','evidence':[]},{'id':'M12','class':'main','name':'Client\x20reviews\x20the\x20delivery\x20(window-gated\x20side\x20action)','actor':'buyer','precondition':['M11'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'Review','prev':'accepted','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Review\x20rides\x20the\x2014-day\x20review\x20window\x20as\x20a\x20reputation\x20rail;\x20completed\x20is\x20reachable\x20from\x20accepted\x20directly,\x20so\x20a\x20silent\x20reviewer\x20cannot\x20strand\x20the\x20escrow.','guardKeyProbe':'review_window','evidence':[]},{'id':'M13','class':'main','name':'Settlement\x20—\x20fixed\x20fee\x20deducted\x20first,\x20net\x20remainder\x20to\x20the\x20creator','actor':'merchant','precondition':['M12'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'CompleteAfterReview','prev':'reviewed','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'The\x20zero-commission\x20money\x20shape:\x20the\x20platform\x27s\x20fixed\x20Amount\x20leg\x20is\x20deducted\x20first\x20and\x20the\x20creator\x27s\x20Rate-10000\x20leg\x20takes\x20the\x20net\x20remainder\x20—\x20both\x20legs\x20in\x20ONE\x20allocator\x20sharing\x20a\x20guard\x20key,\x20so\x20the\x20fee\x20is\x20native\x20(no\x20off-chain\x20collection,\x20no\x20surplus\x20rate).\x20Tier\x20selection\x20is\x20disjoint\x20and\x20self-selecting:\x20each\x20tier\x27s\x20guard\x20reads\x20order.amount\x20against\x20the\x20boundary\x20(ctra-mn-261019\x20F-04).','evidence':[]},{'id':'E1','class':'exception','name':'Pre-work\x20cancellation\x20(listed\x20/\x20contacted\x20/\x20ordered\x20only)','actor':'buyer','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'closed_cancel\x20is\x20reachable\x20ONLY\x20from\x20listed,\x20contacted\x20and\x20ordered\x20—\x20pre-work\x20by\x20design\x20(D-BUG-2):\x20post-delivery\x20disputes\x20route\x20to\x20Arbitration\x20so\x20refund\x20and\x20ruling\x20payouts\x20can\x20never\x20double-pay\x20for\x20one\x20order.\x20The\x20refund\x20allocator\x20is\x20order-anchored\x20and\x20pays\x20the\x20client\x20whole.','evidence':[]},{'id':'E2','class':'exception','name':'Job\x20post\x20withdrawn\x20before\x20engagement','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Withdrawing\x20a\x20listing\x20is\x20a\x20listing-management\x20act\x20before\x20any\x20order\x20exists\x20—\x20the\x20machine\x20only\x20knows\x20the\x20listed\x20state\x27s\x20successors.\x20Nothing\x20to\x20eliminate:\x20no\x20escrow,\x20no\x20counterparty.','evidence':[]},{'id':'E3','class':'exception','name':'Client\x20disengages\x20after\x20contact\x20(no\x20contract)','actor':'buyer','precondition':['M3'],'onchain':'not_applicable','commercialSemantics':'A\x20contacted\x20order\x20that\x20never\x20advances\x20simply\x20rests\x20—\x20the\x20funnel\x27s\x20whole\x20point\x20is\x20that\x20contact\x20carries\x20no\x20money.\x20The\x20chain\x27s\x20counterpart\x20is\x20a\x20state\x20that\x20decays\x20on\x20its\x20own;\x20no\x20cancel\x20is\x20needed,\x20so\x20the\x20step\x20is\x20eliminated.','evidence':[]},{'id':'E4','class':'exception','name':'Hourly\x20/\x20retainer\x20engagement\x20variant','actor':'fulfiller','precondition':['M5'],'onchain':'not_applicable','commercialSemantics':'Contra\x20runs\x20hourly\x20and\x20retainer\x20deals\x20off-contract-templates.\x20This\x20template\x20is\x20fixed-price\x20only\x20—\x20no\x20metering\x20primitive,\x20no\x20diary;\x20the\x20variant\x20is\x20eliminated\x20(the\x20fixed-fee\x20allocator\x20shape\x20cannot\x20express\x20a\x20rate\x20card).','evidence':[]},{'id':'E5','class':'exception','name':'Post-delivery\x20dispute\x20has\x20NO\x20machine\x20cancel\x20route\x20(pre-work-only\x20terminal)','actor':'buyer','precondition':['M7'],'onchain':'expressible_with_gap','chainFootprint':{'forward':'ArbRefund','moneyEffect':'refund'},'commercialSemantics':'Deliberate\x20gap,\x20now\x20HALF-cured\x20by\x20execution\x20(stage2\x20#8,\x20v190):\x20closed_cancel\x20still\x20excludes\x20a\x20buyer\x20cancel\x20button\x20post-delivery\x20—\x20disputes\x20route\x20to\x20Arbitration,\x20not\x20the\x20machine\x20(the\x20double-pay\x20guard,\x20D-BUG-2).\x20But\x20the\x20award\x20edge\x20itself\x20IS\x20mounted\x20now\x20(ArbRefund,\x20delivered\x20->\x20closed_cancel,\x20key\x20arb_refund_award,\x20the\x20sibling\x20templates\x27\x20GF2-31\x20rail\x20on\x20the\x20N12\x20dedicated\x20slot\x201004):\x20a\x20buyer-won\x20ruling\x20re-routes\x20the\x20escrow\x20in-machine\x20—\x20conclude\x20the\x20case\x20first\x20(the\x20refund\x20twin\x27s\x20W5-14\x20freeze\x20leg),\x20then\x20the\x20refund_gate\x20leg\x20moves\x20the\x20escrowed\x20principal.\x20Payout\x20discipline\x20unchanged:\x20refund\x20and\x20ruling\x20must\x20never\x20both\x20fire\x20for\x20one\x20order\x20—\x20they\x20share\x20this\x20one\x20rail.','gapPredicate':{'probe':'Disputes\x20route\x20to\x20Arbitration|post-delivery\x20disputes\x20route\x20to\x20Arbitration'},'evidence':[]},{'id':'E6','class':'exception','name':'Client\x20vanishes\x20pre-acceptance\x20(routes\x20to\x20the\x20acceptance\x20timeout)','actor':'keeper','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'accepted','forward':'AutoAcceptByKeeper','prev':'delivered','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Client\x20silence\x20after\x20delivery\x20is\x20the\x20M11\x20rail\x20wearing\x20an\x20exception\x20hat:\x2048\x20hours,\x20keeper\x20slot\x201000,\x20then\x20the\x20money\x20takes\x20its\x20net-remainder\x20shape.\x20The\x200-commission\x20economics\x20mean\x20the\x20creator\x20loses\x20nothing\x20but\x20time.','guardKeyProbe':'accept_timeout','evidence':[]},{'id':'E7','class':'exception','name':'Revision\x20loop\x20exhausted\x20—\x20window\x20closes,\x20dispute\x20or\x20accept\x20remains','actor':'merchant','precondition':['M9'],'onchain':'disclosure_only','commercialSemantics':'The\x20template\x20declares\x20no\x20revision\x20cap:\x20the\x20loop\x20is\x20bounded\x20only\x20by\x20the\x20defect\x20window\x20re-arming\x20on\x20every\x20re-delivery.\x20When\x20the\x20window\x20lapses\x20the\x20honest\x20exits\x20are\x20acceptance,\x20full-refund\x20cancel\x20or\x20dispute\x20—\x20the\x20re-entrant\x20remedy\x20loop\x20note\x20is\x20the\x20disclosure.','disclosureProbe':'RE-ENTRANT\x20REMEDY\x20LOOP|defect_report_window|revising','evidence':[]},{'id':'E8','class':'exception','name':'Creator\x20or\x20client\x20banned\x20from\x20the\x20platform','actor':'platform','precondition':['M6'],'onchain':'not_applicable','commercialSemantics':'Account\x20bans\x20are\x20platform-database\x20enforcement.\x20The\x20escrow\x20is\x20bound\x20to\x20the\x20ORDER,\x20rails\x20to\x20rosters\x20the\x20merchant\x20controls;\x20keeper\x20rails\x20(M11)\x20and\x20the\x20recovery\x20allocator\x20resolve\x20stalled\x20orders\x20without\x20the\x20banned\x20identity\x20—\x20eliminated,\x20not\x20disclosed.','evidence':[]},{'id':'E9','class':'exception','name':'Escrow\x20stranded\x20by\x20a\x20silent\x20dispute\x20—\x20exit\x20invariant\x20(recovery\x20sweep)','actor':'merchant','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'release'},'commercialSemantics':'The\x20az-mn-261007\x20T5\x20lesson:\x20every\x20non-terminal\x20state\x20keeps\x20a\x20drain\x20path.\x20Here\x20the\x20merchant-recovery\x20allocator\x20row\x20(recover_gate)\x20sweeps\x20a\x20stalled\x20order\x27s\x20net\x20remainder\x20to\x20the\x20creator\x20at\x20the\x20completed\x20terminal,\x20while\x20the\x20refund\x20rail\x20stays\x20node-gated\x20to\x20pre-work\x20closed_cancel\x20—\x20the\x20corpus\x20forbids\x20ever\x20gating\x20the\x20refund\x20rail\x20on\x20a\x20zero-open-dispute\x20condition\x20instead.','evidence':[]},{'id':'E10','class':'exception','name':'Zero-balance\x20masking\x20(settled\x20order\x20cannot\x20negative-test\x20other\x20rails)','actor':'platform','precondition':['M13'],'onchain':'disclosure_only','commercialSemantics':'Once\x20an\x20order\x27s\x20Allocation\x20is\x20fully\x20distributed,\x20any\x20further\x20rail\x20trigger\x20returns\x20the\x20zero-value\x20abort\x20and\x20the\x20guard\x20verdict\x20is\x20never\x20evaluated\x20—\x20a\x20settled\x20order\x20cannot\x20negative-test\x20the\x20fee\x20or\x20refund\x20rails;\x20probe\x20with\x20a\x20fresh\x20funded\x20order\x20(KLM-FIND-13).\x20The\x20build_notes\x20carry\x20the\x20constant\x20verbatim.','disclosureProbe':'Zero-balance\x20masking|zero-value\x20abort','evidence':[]},{'id':'E11','class':'exception','name':'Sanctioned-jurisdiction\x20payout\x20block\x20(compliance\x20gate)','actor':'platform','precondition':['M13'],'onchain':'not_applicable','commercialSemantics':'Geo-fencing\x20and\x20sanctions\x20compliance\x20live\x20in\x20the\x20off-chain\x20ramps\x20(exchanges,\x20card\x20rails),\x20not\x20in\x20the\x20machine\x20—\x20the\x20allocator\x20pays\x20whatever\x20address\x20holds\x20the\x20roster\x20slot.\x20The\x20step\x20is\x20eliminated\x20from\x20the\x20template\x27s\x20expressible\x20surface\x20by\x20design.','evidence':[]},{'id':'E12','class':'exception','name':'Creator\x20abandonment\x20mid-work\x20(client\x27s\x20exit\x20from\x20a\x20stalled\x20in_progress)','actor':'buyer','precondition':['M6'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'The\x20chain\x27s\x20cancel-from-in-progress\x20primitive\x20(live-proven\x20on\x20the\x20sibling\x20template)\x20lets\x20the\x20client\x20exit\x20a\x20stalled\x20order\x20with\x20a\x20full\x20refund,\x20bypassing\x20the\x20declared\x20pre-work-only\x20edges.\x20The\x20gap\x20the\x20corpus\x20discloses\x20only\x20generically:\x20there\x20is\x20no\x20stall-detection\x20clock\x20—\x20an\x20idle\x20in_progress\x20triggers\x20nothing\x20until\x20someone\x20acts,\x20and\x20the\x20corpus\x27s\x20strand\x20warning\x20is\x20written\x20about\x20the\x20revising\x20node,\x20not\x20this\x20one.','gapPredicate':{'probe':'strands|stall|abandon'},'evidence':[]},{'id':'E13','class':'exception','name':'Dispute\x20withdrawn\x20—\x20settled\x20out-of-band,\x20claim\x20pulled\x20before\x20ruling','actor':'buyer','precondition':['R1'],'onchain':'expressible_with_gap','chainFootprint':{'forward':'WithdrawClaim','moneyEffect':'none'},'commercialSemantics':'Contra\x20lets\x20either\x20side\x20close\x20a\x20case\x20amicably.\x20The\x20arbitration\x20rail\x20has\x20no\x20WithdrawClaim\x20forward\x20(the\x20ssng6-mn-261101\x20replay-hazard\x20family:\x20the\x20kernel\x20WithdrawClaim\x20ships\x20no\x20arbitration-leg\x20—\x20replayable\x20and\x20blind\x20to\x20whether\x20a\x20case\x20exists),\x20so\x20the\x20only\x20exits\x20are\x20the\x20ruling\x20itself\x20(now\x20executable\x20in-machine,\x20stage2\x20#8)\x20or\x20the\x20arb\x20silence\x20window.\x20REGISTERED,\x20not\x20standing:\x20with\x20no\x20claim\x20waypoint\x20on\x20this\x20machine\x20a\x20WithdrawClaim\x20edge\x20could\x20only\x20mount\x20as\x20a\x20delivered->delivered\x20self-loop\x20—\x20banned\x20outright\x20since\x20the\x20sso7\x20v172\x20cure\x20(SELF_LOOP_EDGE\x20compile\x20blocker).\x20Mounts\x20only\x20when\x20the\x20protocol\x20train\x20ships\x20a\x20claim\x20waypoint\x20plus\x20an\x20arb\x20case\x20binding\x20leg.','gapPredicate':{'probe':'WithdrawClaim|withdraw'},'evidence':[]},{'id':'R1','class':'remedy','name':'File\x20a\x20dispute\x20(off-Machine\x20Arbitration\x20object,\x20low-ticket\x20native)','actor':'buyer','precondition':['M7'],'onchain':'disclosure_only','commercialSemantics':'Arbitration\x20is\x20an\x20add-on\x20native\x20to\x20WoWok\x20—\x20independent\x20Permission,\x20near-zero\x20fee,\x20sized\x20for\x20the\x20low-ticket\x20dispute\x20range\x20Contra\x20actually\x20has.\x20The\x20venue\x20must\x20be\x20operational\x20before\x20binding:\x20a\x20fresh\x20Arbitration\x20ships\x20paused,\x20and\x20a\x20paused\x20venue\x20rejects\x20every\x20dispute\x20with\x20E_PAUSED;\x20prefer\x20a\x20venue\x20with\x20an\x20explicit\x20voting_guard\x20(an\x20empty\x20one\x20gives\x20every\x20voter\x20EQUAL\x20WEIGHT,\x20not\x20permissionless).','disclosureProbe':'Arbitration\x20is\x20an\x20add-on|E_PAUSED|VENUE\x20READINESS|voting_guard','evidence':[{'file':'arbitration.move','line':0x169,'pattern':'assert_op_permission'}]},{'id':'R2','class':'remedy','name':'Ruling\x20execution\x20is\x20100%\x20off-chain\x20keeper\x20duty\x20(case\x20state\x20only)','actor':'keeper','precondition':['R1'],'onchain':'disclosure_only','commercialSemantics':'On-chain\x20arbitration\x20rulings\x20only\x20change\x20case\x20state;\x20the\x20refund\x20allocator\x20fires\x20per\x20the\x20ruling\x20as\x20an\x20off-chain\x20keeper\x20allocation\x20(keeper_dependencies\x20names\x20it).\x20This\x20is\x20exactly\x20the\x20rail\x20E5/R7\x20ask\x20to\x20make\x20machine-native\x20—\x20until\x20then\x20the\x20keeper\x20IS\x20the\x20executor,\x20and\x20downtime\x20reverts\x20to\x20manual\x20confirmation.','disclosureProbe':'ruling-driven\x20refund\x20execution|only\x20change\x20case\x20state','evidence':[]},{'id':'R3','class':'remedy','name':'Indemnity\x20paid\x20from\x20the\x20compensation\x20fund\x20(buyer-only)','actor':'arbitrator','precondition':['R1'],'onchain':'disclosure_only','commercialSemantics':'The\x20compensation\x20fund\x20protects\x20the\x20BUYER\x20only:\x20the\x20payout\x20path\x20pays\x20the\x20order\x20owner\x20(the\x20client)\x20and\x20there\x20is\x20no\x20on-chain\x20path\x20to\x20indemnify\x20the\x20creator\x20—\x20if\x20a\x20ruling\x20favours\x20the\x20freelancer\x20(malicious\x20non-acceptance),\x20the\x20fund\x20cannot\x20pay\x20them.\x20Capped\x20at\x203x\x20the\x20escrowed\x20amount\x20(MAX_INDEMNITY_MULTIPLE);\x20the\x20corpus\x20discloses\x20the\x20limitation\x20verbatim.','disclosureProbe':'PROTECTS\x20THE\x20BUYER\x20ONLY|indemnify\x20the\x20freelancer','evidence':[{'file':'service.move','line':0x265,'pattern':'order::owner(order)'},{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'}]},{'id':'R4','class':'remedy','name':'Arbitration\x2030-day\x20silence\x20=\x20acceptance\x20(case-fee\x20release)','actor':'platform','precondition':['R2'],'onchain':'not_applicable','commercialSemantics':'Protocol-level\x20arb-object\x20finality\x20(WITHDRAW_DURATION_TIME,\x20silence\x20treated\x20as\x20acceptance).\x20Contra\x27s\x20own\x20flow\x20has\x20no\x20analog\x20—\x20its\x20disputes\x20resolve\x20in-app\x20—\x20and\x20the\x20machine\x27s\x20rails\x20key\x20on\x20ruling\x20state\x20directly,\x20so\x20the\x20window\x20never\x20touches\x20the\x20buyer\x20path.','evidence':[{'file':'arb.move','line':0x10,'pattern':'WITHDRAW_DURATION_TIME'}]},{'id':'R5','class':'remedy','name':'Partial\x20refund\x20/\x20split\x20settlement\x20negotiated\x20(off-allocator\x20Payment)','actor':'merchant','precondition':['R2'],'onchain':'not_applicable','commercialSemantics':'The\x20real\x20product\x20settles\x20many\x20disputes\x20at\x20a\x20split.\x20The\x20allocator\x20rails\x20are\x20binary\x20(fixed\x20fee\x20+\x20net\x20remainder,\x20or\x20full\x20refund)\x20—\x20a\x20fraction\x20is\x20eliminated\x20inside\x20the\x20machine;\x20the\x20honest\x20workaround\x20is\x20a\x20permissionless\x20Payment\x20object\x20outside\x20this\x20template.','evidence':[]},{'id':'R6','class':'remedy','name':'Proactive\x20creator\x20make-good\x20(goodwill\x20Payment\x20before\x20a\x20dispute)','actor':'fulfiller','precondition':['M8'],'onchain':'not_applicable','commercialSemantics':'Contra\x27s\x20creators\x20often\x20refund\x20or\x20gift\x20without\x20a\x20case.\x20Same\x20carrier\x20as\x20R5:\x20a\x20Payment\x20object\x20the\x20creator\x20signs\x20off-template\x20—\x20no\x20allocator\x20leg\x20exists\x20for\x20voluntary\x20payouts,\x20so\x20the\x20step\x20is\x20eliminated\x20from\x20the\x20template\x27s\x20surface.','evidence':[]},{'id':'R7','class':'remedy','name':'Buyer-won\x20ruling\x20re-routes\x20the\x20stalled\x20order\x20(award\x20edge,\x20unmounted)','actor':'arbitrator','precondition':['R2'],'onchain':'expressible_with_gap','chainFootprint':{'forward':'ArbRefund','moneyEffect':'refund'},'commercialSemantics':'The\x20GF2-31\x20rail\x20the\x20sibling\x20templates\x20ship\x20—\x20SHIPPED\x20here\x20as\x20of\x20stage2\x20#8\x20(v190,\x202026-11-07):\x20the\x20ArbRefund\x20edge\x20(delivered\x20->\x20closed_cancel,\x20tpl_forward_arb_ruling_won,\x20key\x20arb_refund_award,\x20refund-rail\x20slot\x201004\x20the\x20N12\x20dedicated\x20ruling-executor\x20bucket)\x20lets\x20the\x20refund_gate\x20leg\x20actually\x20move\x20the\x20escrowed\x20principal\x20on\x20a\x20buyer-won\x20ruling\x20—\x20conclude\x20the\x20case\x20first\x20(the\x20refund\x20twin\x27s\x20W5-14\x20freeze\x20leg),\x20then\x20drive\x20the\x20edge\x20(keeper_duty\x20#2).\x20The\x20corpus\x27s\x20own\x20escape\x20hatch\x20stays\x20load-bearing:\x20refund\x20and\x20ruling\x20payouts\x20must\x20never\x20both\x20fire\x20for\x20one\x20order\x20—\x20they\x20share\x20this\x20one\x20rail\x20(D-BUG-2).','gapPredicate':{'probe':'never\x20both\x20fire\x20for\x20one\x20order|Disputes\x20route\x20to\x20Arbitration'},'evidence':[]},{'id':'R8','class':'remedy','name':'Ruling\x20dismissed\x20—\x20order\x20resumes\x20at\x20delivered\x20(re-dispute\x20window\x20re-armed)','actor':'merchant','precondition':['R1'],'onchain':'expressible_with_gap','chainFootprint':{'forward':'ResumeAfterDismissal','moneyEffect':'none'},'commercialSemantics':'A\x20dismissed\x20dispute\x20should\x20resume\x20the\x20order\x20at\x20delivered\x20with\x20the\x20client\x20free\x20to\x20dispute\x20again\x20—\x20the\x20delivery\x20template\x20ships\x20this\x20from\x20its\x20claim_filed\x20waypoint;\x20this\x20template\x20CANNOT\x20mount\x20it\x20honestly:\x20with\x20no\x20claim\x20waypoint\x20(disputes\x20never\x20enter\x20the\x20machine,\x20R-M1-11)\x20the\x20order\x20never\x20leaves\x20delivered,\x20so\x20the\x20forward\x20could\x20only\x20mount\x20as\x20a\x20delivered->delivered\x20self-loop\x20—\x20banned\x20outright\x20since\x20the\x20sso7\x20v172\x20cure\x20(SELF_LOOP_EDGE\x20compile\x20blocker).\x20REGISTERED\x20protocol-train\x20candidate\x20(claim\x20waypoint).\x20Practical\x20recovery\x20is\x20already\x20unblocked:\x20after\x20a\x20dismissal\x20the\x20acceptance\x20clock\x20is\x20long\x20elapsed,\x20so\x20the\x20keeper\x20advances\x20AutoAcceptByKeeper\x20->\x20CompleteAfterReview\x20and\x20settlement\x20pays\x20normally\x20(keeper_duty\x20#2).','gapPredicate':{'probe':'only\x20change\x20case\x20state'},'evidence':[]},{'id':'P1','class':'post','name':'Review-reward\x20claim\x20paid\x20from\x20the\x20pre-funded\x20pool','actor':'platform','precondition':['M12'],'onchain':'expressible','chainFootprint':{'node':'reviewed','moneyEffect':'reward'},'commercialSemantics':'Sale-time\x20reward\x20planning\x20shared\x20across\x20the\x20freelance\x20family:\x20a\x20pre-funded\x20review_reward_pool\x20pays\x20review_reward_per_claim\x20per\x20accepted\x20review,\x20claims\x20closing\x20reward_claim_closes_after_days\x20after\x20the\x20window\x20—\x20Contra\x27s\x20testimonial\x20economy\x20with\x20money\x20attached.','evidence':[{'file':'reward.move','line':0xe3,'pattern':'public\x20fun\x20claim'}]},{'id':'P2','class':'post','name':'Repeat\x20engagement\x20/\x20ongoing\x20retainer\x20(no\x20subscription\x20primitive)','actor':'buyer','precondition':['M13'],'onchain':'expressible_with_gap','chainFootprint':{'node':'ordered','moneyEffect':'escrow_in'},'commercialSemantics':'Repeat\x20work\x20re-enters\x20the\x20funnel\x20per\x20project:\x20a\x20fresh\x20listed\x20->\x20contacted\x20->\x20ordered\x20pass.\x20The\x20gap\x20—\x20there\x20is\x20no\x20subscription\x20or\x20recurring-billing\x20primitive,\x20and\x20the\x20corpus\x20does\x20not\x20disclose\x20one\x20—\x20is\x20left\x20to\x20the\x20off-chain\x20relationship;\x20encoded\x20honestly\x20as\x20an\x20undisclosed\x20gap.','gapPredicate':{'probe':'subscription|recurring|retainer'},'evidence':[]},{'id':'P3','class':'post','name':'Portfolio\x20reputation\x20compounds\x20(repository\x20rows\x20+\x20reviews\x20persist)','actor':'fulfiller','precondition':['P1'],'onchain':'expressible','chainFootprint':{'node':'listed','moneyEffect':'none'},'commercialSemantics':'Contra\x27s\x20flywheel\x20—\x20every\x20completed\x20project\x20feeds\x20the\x20portfolio\x20that\x20wins\x20the\x20next\x20client\x20—\x20is\x20native\x20here:\x20write-once\x20repository\x20rows\x20and\x20immutable\x20reviews\x20accumulate\x20against\x20the\x20service\x20object;\x20the\x20listing\x20state\x20(M1)\x20is\x20the\x20anchor\x20the\x20history\x20hangs\x20from.','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]},{'id':'P4','class':'post','name':'Payout\x20withdrawal\x20to\x20bank\x20/\x20card\x20(off-chain\x20ramp)','actor':'merchant','precondition':['M13'],'onchain':'not_applicable','commercialSemantics':'Withdrawal\x20to\x20fiat\x20rails\x20is\x20the\x20off-chain\x20ramp\x27s\x20business;\x20on-chain\x20the\x20funds\x20are\x20home\x20at\x20completed\x20(the\x20machine\x27s\x20own\x20vocabulary\x20ends\x20at\x20the\x20withdraw\x20guard).\x20Eliminated\x20from\x20the\x20template\x27s\x20surface.','evidence':[]},{'id':'P5','class':'post','name':'Tax\x20reporting\x20(1099\x20/\x20income\x20statements)','actor':'platform','precondition':['M13'],'onchain':'not_applicable','commercialSemantics':'Tax\x20forms\x20are\x20statutory\x20off-chain\x20artifacts.\x20The\x20chain\x20contributes\x20the\x20audit\x20trail\x20—\x20immutable\x20allocator\x20and\x20order\x20history\x20—\x20but\x20no\x20form\x20primitive\x20exists;\x20eliminated,\x20with\x20the\x20history\x20as\x20the\x20honest\x20substitute.','evidence':[]}],'invariants':[{'id':'INV-CON-1','statement':'Acceptance\x20liveness:\x20a\x20low-ticket\x20order\x20on\x20a\x2048h\x20acceptance\x20clock\x20must\x20keep\x20a\x20machine\x20exit\x20for\x20client\x20silence\x20—\x20if\x20the\x20keeper\x20auto-accept\x20edge\x20is\x20removed\x20while\x20acceptance_timeout_hours\x20>\x200,\x20a\x20vanished\x20client\x20strands\x20the\x20escrow\x20at\x20delivered\x20and\x20the\x20creator\x27s\x20only\x20remedy\x20is\x20manual\x20keeper\x20action\x20(the\x20funds-stuck\x20failure\x20mode\x20the\x20corpus\x20names).','jurisdiction':'EU\x20PWD\x202024/2831\x20art.\x206\x20(prompt\x20payment);\x20Contra\x20creator\x20terms\x20(payment\x20on\x20client\x20approval\x20or\x20timeout).','chainConflict':'Standing\x20check\x20(not\x20currently\x20violated):\x20the\x20template\x20ships\x20AutoAcceptByKeeper\x20(delivered\x20->\x20accepted,\x20accept_timeout,\x20slot\x201000)\x20with\x20the\x20keeper\x20named\x20first-class\x20in\x20keeper_dependencies.\x20Removing\x20the\x20forward\x20while\x20the\x20knob\x20stays\x20configured\x20re-fires\x20this\x20invariant.','violation':{'requiresFeeParamNonZero':'acceptance_timeout_hours','whileMissingForward':'AutoAcceptByKeeper'}},{'id':'INV-CON-2','statement':'The\x20compensation\x20fund\x20protects\x20the\x20BUYER\x20only:\x20the\x20payout\x20path\x20pays\x20the\x20order\x20owner\x20(the\x20client)\x20—\x20there\x20is\x20no\x20on-chain\x20path\x20to\x20indemnify\x20the\x20creator,\x20even\x20for\x20a\x20ruling\x20won\x20against\x20a\x20malicious\x20non-accepting\x20client.','jurisdiction':'Platform\x20purchase-protection\x20analogy\x20(buyer-side\x20only);\x20EU\x20PWD\x202024/2831\x20art.\x204\x20(information\x20to\x20the\x20fulfiller).','chainConflict':'The\x20recipient\x20is\x20fixed\x20at\x20the\x20contract\x20layer\x20(indemnity\x20is\x20paid\x20to\x20the\x20order\x20owner);\x20the\x20arbitration\x20layer\x20caps\x20the\x20indemnity\x20at\x20a\x20protocol\x20multiple\x20of\x20the\x20order\x20VALUE.\x20Text-only:\x20the\x20corpus\x20discloses\x20the\x20limitation\x20verbatim\x20and\x20no\x20fee_params\x20key\x20can\x20make\x20it\x20mechanical.','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'INV-CON-3','statement':'The\x20closed_cancel\x20terminal\x20must\x20stay\x20pre-work-only\x20while\x20the\x20award\x20edge\x20is\x20unmounted:\x20every\x20post-delivery\x20refund\x20path\x20that\x20bypassed\x20arbitration\x20would\x20let\x20refund\x20and\x20ruling\x20payouts\x20double-fire\x20for\x20one\x20order\x20(D-BUG-2);\x20conversely,\x20mounting\x20ArbRefund\x20requires\x20its\x20zero-award\x20exclusion\x20leg.','jurisdiction':'Contra\x20dispute\x20terms\x20(dispute-routed\x20refunds\x20only);\x20platform\x20double-recovery\x20doctrine.','chainConflict':'Text-only\x20by\x20design:\x20the\x20mechanical\x20predicate\x20cannot\x20express\x20\x27terminal\x20reachable\x20only\x20from\x20listed/contacted/ordered\x27,\x20so\x20the\x20guard\x20stays\x20human-checked.\x20The\x20machine\x20side\x20is\x20audited\x20by\x20E5/R7\x27s\x20missing-footprint\x20encoding,\x20which\x20flips\x20to\x20covered\x20the\x20moment\x20a\x20properly-excluded\x20ArbRefund\x20edge\x20lands.'}]};

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

@@ -0,0 +1 @@
+export const COSTCO_ORACLE={'productRef':'costco','products':['costco','sams-club','amazon-prime'],'oracleVersion':'1.1.0','steps':[{'id':'M1','class':'offchain','name':'Membership\x20value\x20discovery\x20(fee\x20vs\x20perk\x20value;\x20tier\x20math)','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Gold\x20Star\x20$65\x20/\x20Executive\x20$130\x20/\x20Sam\x27s\x20¥260/¥680\x20/\x20Prime\x20$139\x20benchmarks\x20live\x20in\x20the\x20wiki,\x20not\x20on-chain.\x20No\x20chain\x20object\x20hosts\x20a\x20value\x20calculator.','evidence':[]},{'id':'M17','class':'offchain','name':'In-store\x20gate\x20and\x20perks\x20(door\x20scan,\x20checkout\x20card\x20check,\x20gas/pharmacy/optometry,\x20early\x20hours)','actor':'buyer','precondition':['M3'],'onchain':'not_applicable','commercialSemantics':'The\x20physical\x20door\x20has\x20no\x20chain\x20counterpart;\x20the\x20on-chain\x20equivalent\x20is\x20M7\x20-\x20the\x20buy\x20gate\x20that\x20rejects\x20non-members\x20at\x20order\x20time.','evidence':[]},{'id':'M2','class':'main','name':'Join:\x20the\x20period\x20fee\x20is\x20escrowed\x20at\x20buy\x20(period\x201\x20never\x20enters\x20charging)','actor':'buyer','precondition':['M1'],'onchain':'expressible','chainFootprint':{'node':'subscribed','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'OFN\x20J5\x20idiom:\x20the\x20join\x20order\x20pools\x20the\x20period\x20fee\x20atomically\x20at\x20buy\x20and\x20enters\x20active\x20directly;\x20the\x20charging\x20node\x20is\x20renewal-loop\x20only.\x20(dm)\x20The\x20entry\x20edge\x20is\x20the\x20template\x27s\x20mandatory\x20entry\x20pair;\x20its\x20forward\x20name\x20is\x20generated\x20at\x20build\x20time,\x20so\x20the\x20anchor\x20here\x20is\x20the\x20subscribed\x20node\x20itself.','evidence':[]},{'id':'M3','class':'main','name':'Roster\x20credential\x20written\x20at\x20the\x20active\x20entry\x20(signer-keyed\x20row,\x20value\x20=\x20period\x20expiry)','actor':'keeper','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'active','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'(dm)\x20The\x20fulfillment\x20IS\x20the\x20credential:\x20the\x20member_roster\x20row\x20(id_from\x20signer,\x20U64\x20expiry\x20epoch-ms)\x20is\x20written\x20under\x20a\x20writer-bound\x20repository\x20guard\x20BEFORE\x20the\x20forward\x20is\x20pressed\x20(AR-1\x20ordering).\x20The\x20gated\x20retail\x20Service\x27s\x20buy\x20guard\x20reads\x20exactly\x20this\x20row\x20via\x20query\x201167\x20plus\x20a\x20lapse\x20leg.\x20The\x20write\x20guard\x20is\x20repository-hosted,\x20hence\x20no\x20edge\x20guard-key\x20probe.','evidence':[{'file':'repository.move','line':0x4a,'pattern':'ID_FROM_SIGNER'}]},{'id':'M4','class':'main','name':'Period\x20end:\x20keeper\x20clock\x20advance\x20releases\x20the\x20fee\x20to\x20the\x20merchant','actor':'keeper','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'end_period','prev':'active','identity':'permission_index','moneyEffect':'release'},'guardKeyProbe':'period_end','commercialSemantics':'(dm)\x20Clock\x20>=\x20active\x20entry\x20+\x20period_days\x20(365)\x20advances\x20completed;\x20Rate\x2010000\x20to\x20the\x20merchant\x20with\x20a\x20Rate-0\x20order\x20anchor\x20inside\x20the\x20same\x20allocator.\x20The\x20roster\x20expiry\x20lapses\x20on\x20the\x20same\x20math,\x20so\x20credential\x20and\x20release\x20never\x20disagree.','evidence':[]},{'id':'M5','class':'main','name':'Renewal\x20=\x20the\x20member\x27s\x20own\x20explicit\x20signature\x20(no\x20auto-charge\x20exists)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'charging','forward':'renew','prev':'completed','identity':'order_holder','moneyEffect':'escrow_in'},'guardKeyProbe':'renew_charge','commercialSemantics':'(dm)\x20Structurally\x20anti-dark-pattern:\x20every\x20period\x20boundary\x20is\x20crossed\x20by\x20the\x20member\x27s\x20signature\x20(signer\x20==\x20order\x20owner,\x20order_renew\x20single\x20PTB);\x20keepers\x20have\x20NO\x20charge\x20authority\x20and\x20no\x20mandate\x20primitive\x20exists\x20-\x20the\x20real\x20product\x27s\x20auto-renewal\x20dispute\x20surface\x20(C8-C10)\x20is\x20structurally\x20absent\x20(E18).','evidence':[]},{'id':'M6','class':'main','name':'Browse\x20the\x20bulk\x20catalog\x20(limited-SKU\x20model;\x20member\x20price\x20=\x20gated\x20Service\x20sale\x20price)','actor':'buyer','precondition':['M3'],'onchain':'not_applicable','commercialSemantics':'(wc)\x20Catalog\x20browsing\x20has\x20no\x20chain\x20footprint;\x20the\x20member-exclusive\x20price\x20is\x20simply\x20the\x20sale\x20price\x20of\x20the\x20gated\x20retail\x20Service.','evidence':[]},{'id':'M7','class':'main','name':'Buy\x20gate\x20verifies\x20the\x20prepaid\x20membership\x20voucher\x20(Plan\x20B:\x20payment.signer==Signer\x20legs)','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'(wc)\x20The\x20buy\x20guard\x20runs\x20BEFORE\x20the\x20order\x20exists:\x20the\x20voucher\x20Payment\x20must\x20be\x20signer-own,\x20club-recipient\x20and\x20>=\x20membership_price;\x20slot-0\x20is\x20banned\x20so\x20the\x20gate\x20order\x20rides\x20identifier\x201.\x20One\x20voucher\x20gates\x20many\x20buys\x20(E19)\x20and\x20is\x20NOT\x20time-bounded\x20(E2).\x20The\x20gate\x20is\x20service-hosted,\x20hence\x20no\x20edge\x20guard-key\x20probe;\x20the\x20slot\x20discipline\x20is\x20the\x20load-bearing\x20chain\x20fact.','evidence':[{'file':'service.move','line':0x464,'pattern':'E_BUY_GUARD_ORDER_SLOT'}]},{'id':'M8','class':'main','name':'Bulk\x20goods\x20order\x20escrows\x20the\x20full\x20price\x20(membership\x20money\x20and\x20goods\x20money\x20are\x20separate)','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'(wc)\x20MEMBERSHIP\x20MONEY\x20SEPARATION:\x20the\x20voucher\x20(Plan\x20B)\x20or\x20the\x20roster\x20credential\x20(Plan\x20A)\x20is\x20the\x20access\x20proof;\x20the\x20goods\x20escrow\x20is\x20a\x20second,\x20independent\x20pool\x20that\x20returns\x20only\x20through\x20the\x20goods\x20rails.\x20The\x20buy-side\x20service\x20guard\x20is\x20edge-invisible,\x20so\x20no\x20guard-key\x20probe\x20here\x20either.','evidence':[]},{'id':'M9','class':'main','name':'Club\x20staff\x20picking\x20(Permission\x20staff\x20slot\x201001)','actor':'merchant','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'picking','forward':'PickOrder','prev':'paid','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'pick','commercialSemantics':'(wc)\x20The\x20warehouse-club\x20delta\x20vs\x20the\x20marketplace\x20archetype:\x20blue-vest\x20staff\x20pull\x20and\x20pack\x20in\x20a\x20dedicated\x20stage\x20(Sam\x27s\x20~500\x20cloud\x20warehouses);\x20scheduling\x20stays\x20off-chain\x20(S7\x20-\x20no\x20dispatch/auto-deduction\x20primitive,\x20EU\x202024/2831-friendly).','evidence':[]},{'id':'M10','class':'main','name':'Ship\x20with\x20tracking\x20evidence\x20(conditional\x20required-info\x20pair,\x20TPL-11)','actor':'merchant','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'shipped','forward':'Ship','prev':'picking','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'ship','commercialSemantics':'(wc)\x20Two\x20sibling\x20Ship\x20edges:\x20required_info_enforcement\x20off\x20=\x20pure\x20tracking\x20row,\x20on\x20=\x20tracking\x20+\x20delivery-credential\x20composite\x20(bulk\x20home\x20delivery).\x20Both\x20carry\x20the\x20same\x20forward,\x20so\x20the\x20probe\x20reads\x20the\x20pair.','evidence':[]},{'id':'M11','class':'main','name':'Buyer-first\x20delivery\x20confirmation\x20(staff\x20can\x20never\x20self-confirm)','actor':'buyer','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ConfirmDelivery','prev':'shipped','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'deliver_confirm','commercialSemantics':'(wc)\x20Release\x20authority\x20is\x20a\x20rail,\x20not\x20a\x20name:\x20only\x20the\x20order\x20holder\x20confirms\x20receipt.','evidence':[]},{'id':'M12','class':'exception','name':'Buyer\x20silence\x20auto-confirm\x20after\x207\x20days\x20(keeper\x20clock\x20duty)','actor':'keeper','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'AutoConfirmDelivery','prev':'shipped','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'deliver_confirm_timeout','commercialSemantics':'(wc)\x20auto_confirm_days=7;\x20windows\x20re-anchor\x20from\x20the\x20delivery\x20entry\x20(find=last)\x20after\x20any\x20waiver.','evidence':[]},{'id':'M13','class':'main','name':'Buyer\x20review\x20window,\x2014\x20days,\x20reputation-only\x20(review\x20pays\x20no\x20bounty)','actor':'buyer','precondition':['M11'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'Review','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'review_window','commercialSemantics':'(wc)\x20review_mode\x20\x27review\x27\x20(not\x20review_reward):\x20U256\x20rating\x20+\x20free-text\x20comment\x20rows;\x20the\x20sibling\x20dm\x20template\x20is\x20where\x20the\x20reward\x20rail\x20lives\x20(M16).','evidence':[]},{'id':'M14','class':'main','name':'Serial\x20claim\x20window\x20opened\x20by\x20the\x20keeper\x20(TPL-09;\x20unopened\x20=\x20pool\x20parked\x20by\x20design)','actor':'keeper','precondition':['M11','M13'],'onchain':'expressible','chainFootprint':{'node':'claim_window','forward':'OpenClaimWindow','prev':'delivered','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'(wc)\x20The\x20keeper\x20OPENS\x20the\x20window\x20after\x20delivery/review;\x20the\x20serial\x20ordering\x20itself\x20is\x20the\x20holdback\x20(FACT-ALLOC-03\x20-\x20the\x20chain\x20has\x20no\x20holdback\x20primitive).\x20An\x20unopened\x20window\x20parks\x20the\x20pool\x20at\x20delivered/reviewed\x20(E25).','evidence':[]},{'id':'M15','class':'main','name':'Settlement\x20after\x20the\x20window:\x20Rate\x2010000\x20to\x20the\x20club\x20Entity,\x200\x20commission','actor':'merchant','precondition':['M14'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'SettleAfterWindow','prev':'claim_window','identity':'permission_index','moneyEffect':'release'},'guardKeyProbe':'settle_window_gate','commercialSemantics':'(wc)\x20Clock\x20>=\x20claim_window\x20entry\x20+\x20settlement_delay_days\x20(45),\x20node-gated\x20on\x20completed,\x20254\x20once.\x20The\x20catalog\x20load\x20gate\x20pins\x20settlement_delay_days\x20>=\x20return_window_days\x20(F-CSTC-02),\x20so\x20the\x20return\x20window\x20always\x20closes\x20before\x20money\x20leaves.','evidence':[]},{'id':'M16','class':'post','name':'Post-period\x20member\x20review\x20with\x20self-claimed\x20bounty\x20(0.006\x20WOW/claim,\x200.1\x20pool)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'SubmitReview','prev':'completed','identity':'order_holder','moneyEffect':'reward'},'guardKeyProbe':'review_submit','commercialSemantics':'(dm)\x20review_reward:\x20the\x20reviewed\x20side-stop\x20is\x20money-free\x20by\x20topology\x20(the\x20fee\x20already\x20released\x20at\x20period\x20end)\x20and\x20renewal-unaffected;\x20the\x20claim\x20guard\x20pays\x20ONLY\x20the\x20signer\x20(P6\x20-\x20the\x20sole\x20permissionless\x20third-party\x20payout\x20channel).\x20The\x20reviewer\x20returns\x20to\x20completed\x20afterwards\x20(R-DEAD-END).','evidence':[{'file':'reward.move','line':0x11b,'pattern':'E_CLAIM_RECIPIENT_NOT_SIGNER'}]},{'id':'E1','class':'exception','name':'Non-member\x20buy\x20rejected\x20at\x20the\x20gate\x20(fail-closed,\x20no\x20quieter\x20downgrade)','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'(wc)\x20Missing/expired-signer/underfunded\x20voucher\x20legs\x20reject\x20the\x20build\x20outright\x20-\x20the\x20gated-side\x20checklist\x20demands\x20the\x20loud\x20denial.\x20Real-world\x20parallels:\x20door\x20refusal,\x20Instacart\x20markup\x20for\x20non-members.','evidence':[]},{'id':'E2','class':'exception','name':'Membership\x20expired\x20at\x20buy\x20time\x20(Plan\x20A\x20lapse\x20leg\x20rejects;\x20Plan\x20B\x20voucher\x20is\x20NOT\x20time-bounded)','actor':'buyer','precondition':['M4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'paid','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'none'},'gapPredicate':{'probe':'NOT\x20TIME-BOUNDED|lapse'},'commercialSemantics':'(both)\x20Plan\x20A\x20expresses\x20lapse\x20(Clock\x20<=\x20roster\x20expiry\x20row);\x20Plan\x20B\x20cannot\x20-\x20the\x20buy\x20gate\x20reads\x20at\x20order\x20time\x20only\x20and\x20never\x20against\x20a\x20clock,\x20so\x20an\x20expired\x20member\x20keeps\x20buying\x20until\x20the\x20credential\x20is\x20swapped.\x20The\x20gap\x20must\x20stay\x20named;\x20the\x20hybrid\x20(B\x20for\x20access\x20+\x20A\x20roster\x20lapse\x20leg)\x20is\x20the\x20prescribed\x20fix.\x20Disclosed\x20in\x20the\x20wc\x20buy-guard\x20note\x20and\x20dm\x20roster\x20hybrid\x20note.','evidence':[]},{'id':'E3','class':'exception','name':'Cancel\x20before\x20picking\x20(full\x20goods\x20refund;\x20the\x20membership\x20fee\x20is\x20not\x20returned\x20with\x20it)','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelBeforePick','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'cancel_from_paid','commercialSemantics':'(wc)\x20R-DRAFT-VOID\x20single\x20hop\x20from\x20paid;\x20the\x20two\x20money\x20pools\x20never\x20cross\x20(M8).','evidence':[]},{'id':'E4','class':'exception','name':'Cancel\x20while\x20picking\x20(warehouse-stage\x20cancel\x20rail)','actor':'buyer','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelWhilePicking','prev':'picking','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'cancel_from_picking','commercialSemantics':'(wc)\x20Dedicated\x20rail\x20from\x20the\x20picking\x20stage\x20-\x20the\x20marketplace\x20archetype\x20lacks\x20this\x20node\x20entirely.','evidence':[]},{'id':'E5','class':'exception','name':'Return\x20requested\x20while\x20in\x20transit\x20(identity-only\x20rail,\x20no\x20time\x20window\x20BY\x20DESIGN)','actor':'buyer','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'RequestReturnBeforeDelivery','prev':'shipped','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'return_request_pre_delivery','commercialSemantics':'(wc)\x20F-TPL-01:\x20identity-only\x20on\x20purpose\x20-\x20an\x20in-transit\x20order\x20has\x20no\x20delivered\x20history\x20row\x20to\x20anchor\x20a\x20window\x20against.','evidence':[]},{'id':'E6','class':'exception','name':'Return\x20requested\x20in\x20the\x2030-day\x20post-delivery\x20window','actor':'buyer','precondition':['M11'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'RequestReturn','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'return_window','commercialSemantics':'(wc)\x20return_window_days=30\x20vs\x20the\x20real\x20club\x27s\x20no-time-limit\x20satisfaction\x20promise\x20-\x20the\x20boundary\x20is\x20E12;\x20electronics\x2090\x20days\x20likewise\x20has\x20no\x20second\x20knob.','evidence':[]},{'id':'E7','class':'exception','name':'Return\x20parcel\x20shipped\x20back\x20(record-only\x20waypoint,\x20TPL-10)','actor':'buyer','precondition':['E5','E6'],'onchain':'expressible','chainFootprint':{'node':'return_in_transit','forward':'ShipReturn','prev':'return_requested','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'return_shipped','commercialSemantics':'(wc)\x20Return\x20tracking\x20lives\x20in\x20the\x20evidence\x20repository;\x20the\x20edge\x20itself\x20asserts\x20no\x20proof.','evidence':[]},{'id':'E8','class':'exception','name':'Return\x20received\x20with\x20RMA\x20evidence\x20-\x20or\x20keeper\x20timeout\x20treats\x20silence\x20as\x20receipt','actor':'merchant','precondition':['E7'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ReturnReceived','prev':'return_in_transit','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'return_received|return_response_timeout','commercialSemantics':'(wc)\x20v161\x20twin-entry:\x20the\x20club\x20signs\x20receipt\x20(RMA\x20row)\x20OR\x20return_response_days\x20(7)\x20lapses\x20and\x20the\x20keeper\x20signs\x20for\x20it\x20-\x20post-v161\x20silence\x20can\x20no\x20longer\x20hold\x20a\x20return\x20hostage.','evidence':[]},{'id':'E9','class':'remedy','name':'Refund\x20executed\x20on\x20the\x20Allocation\x20track\x20(the\x20node\x20is\x20the\x20machine-side\x20receipt)','actor':'keeper','precondition':['E8'],'onchain':'expressible','chainFootprint':{'node':'refunded','forward':'RefundExecuted','prev':'returned','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'refund_executed','commercialSemantics':'(wc)\x20FUND-EXIT-01:\x20replays\x20after\x20the\x20pool\x20is\x20drained\x20are\x20harmless\x20no-ops;\x20refunds\x20move\x20on\x20the\x20Allocation,\x20the\x20refunded\x20node\x20only\x20records\x20them.','evidence':[]},{'id':'E10','class':'exception','name':'Abandon\x20the\x20return\x20flow\x20via\x20the\x20direct-refund\x20exit\x20(mutually\x20exclusive\x20with\x20the\x20return\x20track)','actor':'buyer','precondition':['E5','E6'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelOrder','prev':'return_requested','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'cancel_from_return','commercialSemantics':'(wc)\x20R-DRAFT-VOID\x20single\x20hop\x20out\x20of\x20return_requested\x20-\x20the\x20two\x20refund\x20routes\x20never\x20both\x20run.','evidence':[]},{'id':'E11','class':'exception','name':'Carrier\x20lost\x20the\x20parcel\x20(record-only\x20waypoint;\x20buyer\x20confirms\x20RefundAfterLoss;\x20carrier\x20claim\x20off-chain)','actor':'fulfiller','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'item_lost','forward':'RecordLost','prev':'shipped','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'lost_evidence','commercialSemantics':'(wc)\x20R-M1-11\x20exemption:\x20loss\x20is\x20not\x20a\x20dispute\x20node\x20-\x20the\x20buyer\x20confirms\x20and\x20the\x20loss-refund\x20rail\x20pays\x20in\x20full;\x20the\x20carrier\x20claim\x20stays\x20off-chain.','evidence':[]},{'id':'E12','class':'exception','name':'Post-settlement\x20return,\x20no\x20time\x20limit\x20(the\x20club\x27s\x20signature\x20promise\x20-\x20NOT\x20chain-expressible)','actor':'buyer','precondition':['M15'],'onchain':'unresolvable','disclosureProbe':'no-time-limit\x20return','unresolvableRef':'S7','commercialSemantics':'(wc)\x20After\x20settlement\x20the\x20pool\x20is\x20empty\x20and\x20no\x20clawback/debit\x20primitive\x20exists\x20(the\x20retired\x20RequestReturnLate\x20edge\x20was\x20a\x20fake\x20refund\x20-\x20F-CSTC-02).\x20The\x20template\x20discloses\x20the\x20boundary:\x20no-time-limit\x20returns\x20are\x20an\x20OFF-CHAIN\x20courtesy\x20only.\x20Real\x20product\x20has\x20edges\x20too\x20(electronics\x2090d,\x20diamonds,\x20tobacco).','evidence':[{'file':'allocation.move','line':0x26d,'pattern':'ERECIPIENT_NOT_FOR_OBJECT'}]},{'id':'E13','class':'exception','name':'Mid-period\x20membership\x20cancel\x20=\x20full\x20refund\x20of\x20the\x20current\x20period\x20(always-refundable\x20posture)','actor':'buyer','precondition':['M2','M3','M5'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'(dm)\x20The\x20fee\x20releases\x20ONLY\x20at\x20period\x20end,\x20so\x20a\x20cancel\x20refunds\x20the\x20whole\x20period\x20-\x20the\x20merchant\x20extends\x20the\x20elapsed\x20days\x20free\x20(Costco\x20posture,\x20buyer-protective\x20default).\x20The\x20refund\x20rail\x20is\x20node-gated\x20over\x20{subscribed,\x20charging,\x20active,\x20closed_cancel}\x20with\x20the\x20255\x20period-N\x20once\x20slot;\x20dropping\x20the\x20rail\x20would\x20deadlock\x20every\x20mid-period\x20cancel\x20(OFN\x20#P-02).\x20The\x20cancel\x20forwards\x20are\x20generated\x20per\x20site,\x20so\x20the\x20anchor\x20is\x20the\x20terminal\x20node\x20itself.','evidence':[]},{'id':'E14','class':'exception','name':'Membership\x20lapse\x20never\x20blocks\x20an\x20in-flight\x20order\x20(gate\x20reads\x20at\x20buy\x20time\x20only)','actor':'buyer','precondition':['M4'],'onchain':'disclosure_only','disclosureProbe':'lapse','commercialSemantics':'(both)\x20An\x20order\x20placed\x20while\x20the\x20credential\x20was\x20live\x20keeps\x20its\x20fulfillment\x20and\x20refund\x20rights\x20after\x20lapse\x20-\x20disclosed\x20on\x20the\x20wc\x20buy-gate\x20note\x20and\x20mirrored\x20by\x20the\x20dm\x20lapse-aware\x20checklist;\x20who\x20eats\x20a\x20lapsed\x20free-delivery\x20promise\x20is\x20E16.','evidence':[]},{'id':'E16','class':'exception','name':'Free-delivery\x20benefit\x20lapse\x20across\x20the\x20two\x20Services\x20(no\x20cross-service\x20grouping)','actor':'buyer','precondition':['E14'],'onchain':'unresolvable','disclosureProbe':'off-chain','unresolvableRef':'S2','commercialSemantics':'(both)\x20The\x20membership\x20Service\x20and\x20the\x20delivery\x20Service\x20share\x20no\x20chain-side\x20grouping\x20(S2)\x20and\x20delivery\x20fees\x20have\x20no\x20pricing\x20oracle\x20(S7):\x20who\x20covers\x20a\x20promised-but-lapsed\x20free-delivery\x20gap\x20is\x20unsolvable\x20on-chain.\x20Best\x20effort\x20=\x20the\x20delivery\x20Service\x27s\x20buy\x20guard\x20reading\x20the\x20SAME\x20roster\x20(shared\x20repository),\x20differences\x20settled\x20off-chain.','evidence':[]},{'id':'E17','class':'exception','name':'Household\x20/\x20affiliate\x20card\x20overreach\x20(per-member\x20roster\x20rows\x20or\x20signer-bound\x20vouchers;\x20no\x20card-relation\x20primitive)','actor':'buyer','precondition':['M3','M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'active','identity':'order_holder','moneyEffect':'none'},'gapPredicate':{'probe':'member_roster|member-roster'},'commercialSemantics':'(both)\x20The\x20chain\x20has\x20no\x20principal-to-affiliate\x20authorization\x20or\x20revocation\x20primitive:\x20roster\x20rows\x20are\x20independent\x20(revocation\x20=\x20the\x20merchant\x20rewriting\x20the\x20row)\x20and\x20Plan\x20B\x20vouchers\x20carry\x20no\x20household\x20relation.\x20Plan\x20A:\x20the\x20merchant\x20writes\x20a\x20row\x20per\x20household\x20address\x20under\x20the\x20writer-bound\x20policy\x20(self-minting\x20impossible).\x20Plan\x20B:\x20the\x20signer\x20leg\x20locks\x20stolen\x20vouchers.\x20Overreach\x20at\x20buy\x20=\x20loud\x20rejection.','evidence':[]},{'id':'E18','class':'exception','name':'Auto-renewal\x20dispute\x20(structurally\x20eliminated\x20on-chain)','actor':'buyer','precondition':['M5'],'onchain':'not_applicable','commercialSemantics':'(dm)\x20MARK-NA:\x20renewal\x20is\x20always\x20an\x20explicit\x20member\x20signature,\x20keepers\x20hold\x20no\x20charge\x20authority,\x20no\x20mandate\x20primitive\x20exists\x20-\x20the\x20real\x20product\x27s\x20dark-pattern\x20dispute\x20surface\x20(China\x202021\x20rules,\x20California\x20ARL)\x20cannot\x20be\x20constructed.\x20Compliance\x20posture\x20lives\x20in\x20C8-C10\x20of\x20the\x20wiki.','evidence':[]},{'id':'E19','class':'exception','name':'Voucher\x20resale\x20/\x20account\x20sharing\x20(one\x20voucher\x20gates\x20many\x20buys,\x20by\x20design)','actor':'buyer','precondition':['M7'],'onchain':'disclosure_only','disclosureProbe':'ONE\x20voucher\x20gates\x20MANY\x20buys','commercialSemantics':'(wc)\x20The\x20signer\x20leg\x20blocks\x20third\x20parties\x20spending\x20a\x20stolen\x20voucher\x20but\x20not\x20the\x20owner\x20reselling\x20access;\x20the\x20disclosed\x20knobs\x20are\x20periodic\x20credential\x20rotation\x20or\x20the\x20255\x20single-admission\x20slot.\x20Real-world\x20grey\x20market:\x20Sam\x27s\x20sub-card\x20resale.','evidence':[]},{'id':'E20','class':'exception','name':'Membership\x20fee\x20refund\x20AFTER\x20period\x20end\x20(the\x20full\x20Costco\x20promise\x20-\x20NOT\x20chain-expressible)','actor':'buyer','precondition':['M4'],'onchain':'unresolvable','disclosureProbe':'MID-PERIOD\x20CANCEL|releases\x20only\x20at\x20completed','unresolvableRef':'S7','commercialSemantics':'(dm)\x20Post-release\x20the\x20escrow\x20is\x20drained\x20and\x20no\x20clawback\x20primitive\x20exists;\x20the\x20template\x20discloses\x20the\x20boundary\x20as\x20\x27full\x20refund\x20until\x20period\x20end\x27.\x20Real\x20Costco\x20refunds\x20even\x20a\x20used\x20year\x20-\x20that\x20can\x20only\x20be\x20an\x20off-chain\x20courtesy\x20(R3),\x20and\x20the\x20gap\x20MUST\x20be\x20disclosed\x20rather\x20than\x20faked\x20by\x20a\x20machine\x20rail.','evidence':[{'file':'allocation.move','line':0x26d,'pattern':'ERECIPIENT_NOT_FOR_OBJECT'}]},{'id':'E21','class':'exception','name':'Goods-defect\x20claim\x20filed\x20in\x20the\x2014-day\x20window\x20(record\x20waypoint\x20on\x20third-party\x20arbitration)','actor':'buyer','precondition':['M14'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'claim_window','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'claim_filed','commercialSemantics':'(wc)\x20Window-capped\x20(claim_window_days=14)\x20with\x20the\x20254\x20task-binding\x20leg;\x20the\x20ruling\x20is\x20NEVER\x20judged\x20inside\x20the\x20Machine\x20(R-M1-11).\x20Food-safety\x20statutory\x20claims\x20(C6)\x20ride\x20the\x20same\x20filing\x20but\x20face\x20the\x203x\x20cap\x20(INV-CST-2).','evidence':[{'file':'progress.move','line':0x48,'pattern':'TASK_BINDING_IDENTIFIER'},{'file':'progress.move','line':0x250,'pattern':'assert_task_is_order'}]},{'id':'E24','class':'exception','name':'Claim\x20withdrawn\x20(identity-only\x20guard\x20-\x20zero\x20arbitration\x20legs,\x20replayable;\x20mandatory\x20disclosure)','actor':'buyer','precondition':['E21'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'WithdrawClaim','prev':'claim_filed','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'withdraw_claim','commercialSemantics':'(wc)\x20MANDATORY\x20DISCLOSURE\x20(live-mainnet\x20CRITICAL\x20precedent):\x20the\x20withdraw_claim\x20guard\x20binds\x20only\x20the\x20order\x20holder\x20-\x20it\x20checks\x20neither\x20the\x20Arb\x20case\x20nor\x20any\x20ruling,\x20and\x20replays.\x20On-chain\x20\x27withdraw\x27\x20is\x20simply\x20the\x20holder\x20voiding\x20the\x20order\x20into\x20the\x20refund\x20terminal;\x20the\x20real\x20case\x20dismissal\x20lives\x20off-Machine.','evidence':[]},{'id':'E25','class':'exception','name':'Keeper\x20fails\x20to\x20open\x20the\x20claim\x20window\x20(serial\x20hold\x20is\x20the\x20designed\x20posture,\x20not\x20an\x20incident)','actor':'keeper','precondition':['M14'],'onchain':'disclosure_only','disclosureProbe':'unopened\x20window','commercialSemantics':'(wc)\x20miss_consequence\x20on\x20record:\x20an\x20unopened\x20window\x20parks\x20the\x20pool\x20at\x20delivered/reviewed\x20-\x20money\x20moves\x20nowhere.','evidence':[]},{'id':'E26','class':'exception','name':'Stranded-at-creation\x20sentinel\x20(empty\x20prev\x20-\x20club\x20advances\x20via\x20Enter\x20then\x20cancels)','actor':'merchant','precondition':['M8'],'onchain':'disclosure_only','disclosureProbe':'STRANDED-AT-CREATION','commercialSemantics':'(wc)\x20AZ3-T5\x20prescription\x20disclosed:\x20push\x20the\x20ghost\x20order\x20into\x20paid\x20with\x20the\x20Enter\x20edge,\x20then\x20refund\x20via\x20cancel_from_paid.','evidence':[]},{'id':'E27','class':'exception','name':'Bulk\x20delivery\x20missing\x20the\x20receipt\x20credential\x20(composite\x20ship\x20gate\x20rejects\x20when\x20enforcement\x20is\x20on)','actor':'buyer','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'shipped','forward':'Ship','prev':'picking','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'ship_enforced','commercialSemantics':'(wc)\x20required_info_enforcement=on:\x20the\x20Ship\x20edge\x20demands\x20tracking\x20row\x20AND\x20delivery\x20credential;\x20off\x20keeps\x20the\x20warehouse-pickup\x20pure-tracking\x20form.\x20One\x20forward,\x20two\x20guard\x20faces.','evidence':[]},{'id':'E28','class':'exception','name':'Partial\x20shipment\x20in\x20batches\x20(R2-07e\x20prescription\x20disclosed;\x20machine_shape\x20does\x20NOT\x20mount\x20it)','actor':'merchant','precondition':['M9'],'onchain':'disclosure_only','disclosureProbe':'PARTIAL\x20SHIPMENT','commercialSemantics':'(wc)\x20Common\x20for\x20bulk:\x20the\x20prescription\x20is\x20one\x20ShippedBatch\x20edge\x20per\x20parcel\x20with\x20independent\x20order-keyed\x20evidence\x20rows\x20and\x20settlement\x20only\x20after\x20the\x20last\x20batch\x20-\x20disclosed\x20in\x20the\x20corpus\x20but\x20absent\x20from\x20the\x20shape\x20(FIX-EDGE\x20finding,\x20report-only).','evidence':[]},{'id':'E15','class':'exception','name':'Renewal\x20failure\x20/\x20non-renewal:\x20the\x20member\x20rests\x20at\x20completed\x20(escrow\x20drained,\x20credential\x20lapses)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'completed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'(dm)\x20No\x20stranded-fund\x20exit\x20needed\x20on\x20this\x20terminal\x20-\x20the\x20fee\x20already\x20released;\x20the\x20roster\x20expiry\x20lapses\x20so\x20gated\x20buys\x20start\x20failing\x20(Plan\x20A\x20lapse).\x20Reminders\x20are\x20off-chain\x20nudges\x20with\x20no\x20chain\x20anchor\x20and\x20keepers\x20hold\x20no\x20charge\x20authority.','evidence':[]},{'id':'E22','class':'remedy','name':'Claim\x20dismissed\x20-\x20resume\x20at\x20delivered\x20(four-leg\x20dismissed\x20guard,\x20venue-bound)','actor':'arbitrator','precondition':['E21'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'arb_dismissed_resume','commercialSemantics':'(wc)\x20arb.order\x20binding\x20+\x20zero\x20indemnity\x20+\x20concluded-dismissal\x20stamp\x20+\x20venue\x20leg;\x20the\x20find=last\x20row\x20re-anchors\x20review/settle/return\x20windows\x20and\x20the\x20buyer\x20may\x20re-open\x20a\x20fresh\x20claim\x20window.','evidence':[]},{'id':'E23','class':'remedy','name':'Ruling\x20won\x20-\x20re-route\x20into\x20the\x20full-refund\x20rail\x20(six-leg\x20won\x20guard;\x20zero-award\x20never\x20fires)','actor':'arbitrator','precondition':['E21'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'claim_filed','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'arb_refund','commercialSemantics':'(wc)\x20Serial\x20window\x20guarantees\x20the\x20pool\x20is\x20intact\x20at\x20ruling\x20time.\x20Sister\x20edge\x20ArbRefundReturn\x20re-routes\x20mid-return\x20disputes\x20from\x20return_in_transit\x20with\x20the\x20same\x20guard\x20family\x20-\x20one\x20instance,\x20one\x20exit\x20edge\x20(M-T2).','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'}]},{'id':'R1','class':'remedy','name':'Indemnity\x20from\x20the\x20compensation\x20fund,\x20hard-bound\x20to\x20the\x20order\x20owner\x20(cap\x203x;\x20per-period\x20disputes\x20split)','actor':'arbitrator','precondition':['E21'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','identity':'order_holder','moneyEffect':'compensate'},'commercialSemantics':'(both)\x20The\x20fund\x20pays\x20the\x20order\x20owner\x20directly\x20(never\x20a\x20third\x20party),\x20capped\x20at\x203x\x20the\x20escrow/order;\x20fund\x20>=\x203x\x20is\x20the\x20recommended\x20user\x20input\x20and\x20the\x20water\x20level\x20is\x20advisory\x20three-tier.\x20The\x20payout\x20rides\x20the\x20Arb\x20object,\x20hence\x20the\x20node\x20anchor\x20here\x20is\x20the\x20filing\x20waypoint.','evidence':[{'file':'service.move','line':0x24c,'pattern':'compensation_claim'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'R2','class':'remedy','name':'48h\x20arbitration\x20absence\x20auto-loss\x20(keeper\x20procedural\x20discipline)','actor':'keeper','precondition':['E21'],'onchain':'disclosure_only','disclosureProbe':'48h\x20absence','commercialSemantics':'(wc-declared;\x20dm\x20has\x20the\x2014-day\x20dispute\x20window\x20but\x20no\x2048h\x20duty\x20in\x20its\x20corpus\x20-\x20honest\x20per-template\x20gap)\x20A\x20party\x20silent\x20for\x2048h\x20in\x20an\x20open\x20case\x20is\x20recorded\x20in\x20breach\x20so\x20the\x20case\x20can\x20settle.','evidence':[]},{'id':'R3','class':'remedy','name':'Off-chain\x20courtesy\x20credit\x20=\x20a\x20new\x20Payment\x20the\x20club\x20issues\x20voluntarily','actor':'merchant','precondition':['E12','E20'],'onchain':'disclosure_only','disclosureProbe':'OFF-CHAIN\x20courtesy|out\x20of\x20band|always-refundable','commercialSemantics':'(both)\x20The\x20prescription\x20for\x20everything\x20the\x20rails\x20cannot\x20refund\x20(post-settlement\x20returns,\x20post-period\x20fee\x20refunds):\x20a\x20fresh\x20club-initiated\x20Payment\x20object\x20OUTSIDE\x20the\x20machine\x20-\x20never\x20promise\x20it\x20through\x20a\x20rail.\x20The\x20dm\x20posture\x20note\x20(always-refundable)\x20and\x20the\x20wc\x20courtesy\x20note\x20are\x20the\x20disclosed\x20anchors.','evidence':[{'file':'payment.move','line':0x42,'pattern':'struct\x20PaymentInfo'}]},{'id':'R4','class':'remedy','name':'SLA\x20late-delivery\x20penalty\x20payment\x20(emittable,\x20NOT\x20emitted\x20-\x20FIX-EDGE\x20finding)','actor':'merchant','precondition':['E21','M10'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'SettleLateAfterWindow','prev':'claim_window','identity':'permission_index','moneyEffect':'compensate'},'guardKeyProbe':'late_delivery_breach','commercialSemantics':'(wc,\x20v1.1.0)\x20MOUNTED\x20as\x20a\x20SIBLING\x20remedy\x20edge\x20(stage2\x20#26\x20W-1):\x20the\x20late\x20order\x20settles\x20via\x20SettleLateAfterWindow\x20only\x20after\x20the\x20merchant\x20PRE-PAYS\x20the\x20marked\x20penalty\x20Payment\x20(info.for=order,\x20remark\x20\x27late-delivery-v1\x27,\x20order-owner\x20payee,\x20>=\x20sla_penalty_amount,\x20255\x20history-count\x20once)\x20AND\x20the\x201280\x20dual\x20anchor\x20proves\x20transit\x20>=\x20sla_late_hours\x20—\x20compensation-first,\x20the\x20compliant\x20inverse\x20of\x20automatic\x20debit\x20(U-01).\x20The\x20plain\x20SettleAfterWindow\x20edge\x20keeps\x20settling\x20on-time\x20orders:\x20the\x20two\x20gates\x20are\x20opposite-polarity\x20over\x20one\x20transit\x20interval,\x20so\x20they\x20can\x20never\x20share\x20one\x20edge\x20(M-T2).\x20dm\x20has\x20no\x20transit\x20nodes\x20-\x20the\x20footprint\x20can\x20only\x20ever\x20match\x20the\x20warehouse\x20twin;\x20dm\x27s\x20corpus\x20(D3)\x20names\x20the\x20shape\x20gap.','evidence':[{'file':'payment.move','line':0x42,'pattern':'struct\x20PaymentInfo'}]},{'id':'P1','class':'post','name':'Repurchase\x20=\x20another\x20gated\x20buy\x20(member\x20LTV\x20logic;\x20cross-order\x20spend\x20aggregation\x20not\x20emitted)','actor':'buyer','precondition':['M15'],'onchain':'expressible_with_gap','chainFootprint':{'node':'paid','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'gapPredicate':{'probe':'sum_where|aggregate[^\x22]{0,40}|cumulative'},'commercialSemantics':'(wc)\x20Every\x20repurchase\x20re-verifies\x20the\x20credential,\x20but\x20cumulative\x20per-member\x20spend\x20(the\x202%\x20cashback\x20base)\x20has\x20no\x20emitted\x20aggregation\x20-\x20the\x20kernel\x27s\x20sum_where\x20surface\x20exists,\x20no\x20rail\x20fires\x20it,\x20and\x20the\x20LTV\x20logic\x20stays\x20data-side\x20(Prime\x20members\x20spend\x20~2.4x\x20non-members\x20per\x20year).\x20The\x20gap\x20must\x20stay\x20named.','evidence':[]},{'id':'P2','class':'post','name':'Executive\x202%\x20cashback\x20rebate\x20(Reward\x20pool\x20+\x20aggregation\x20outline;\x20dynamic\x20formula\x20NOT\x20emitted)','actor':'buyer','precondition':['P1'],'onchain':'expressible_with_gap','gapPredicate':{'probe':'cashback|rebate|2%\x20'},'commercialSemantics':'(wc)\x20Spend-proportional\x20rebates\x20(Executive\x202%,\x20CA$1,250\x20cap;\x20Sam\x27s\x202%\x20monthly)\x20need\x20a\x20dynamic\x20ratio\x20formula\x20at\x20assembly\x20level\x20-\x20a\x20Reward\x20pool\x20plus\x20repository\x20aggregation\x20outlines\x20the\x20shape\x20but\x20no\x20rail\x20computes\x20it;\x20the\x20gap\x20must\x20stay\x20named.\x20The\x20ONLY\x20loyalty\x20reward\x20the\x20real\x20clubs\x20run\x20(explicitly\x20no\x20points/miles\x20ledger\x20-\x20the\x20wiki\x20S1\x20sweep);\x20dm\x27s\x20own\x20reward\x20rail\x20(M16)\x20is\x20the\x20review\x20bounty,\x20a\x20different\x20pool.','evidence':[]},{'id':'P3','class':'post','name':'Renewal\x20reminder\x20nudge\x20(off-chain,\x20no\x20chain\x20anchor;\x20a\x20service,\x20not\x20a\x20statutory\x20duty)','actor':'keeper','precondition':['M4'],'onchain':'disclosure_only','disclosureProbe':'renewal\x20reminder|off-chain\x20nudge','commercialSemantics':'(dm)\x20period\x20end\x20minus\x20renewal_reminder_days\x20(30),\x20off-chain\x20only.\x20Because\x20the\x20chain\x20has\x20no\x20auto-charge,\x20the\x20reminder\x20is\x20a\x20courtesy\x20-\x20the\x20statutory\x20significant-reminder\x20duties\x20(C8-C10)\x20bind\x20the\x20real\x20auto-renewal\x20products,\x20not\x20this\x20shape.','evidence':[]},{'id':'P4','class':'post','name':'Membership\x20tier\x20upgrade\x20(row\x20value\x20encodes\x20tier;\x20price\x20delta\x20=\x20new\x20Payment\x20+\x20row\x20rewrite)','actor':'buyer','precondition':['M4'],'onchain':'disclosure_only','disclosureProbe':'expiry','commercialSemantics':'(both)\x20Gold\x20Star\x20->\x20Executive\x20/\x20Sam\x27s\x20->\x20Excellence:\x20the\x20roster\x20row\x27s\x20U64\x20value\x20field\x20can\x20encode\x20tier\x20alongside\x20expiry\x20(value\x20=\x20expiry/tier\x20convention);\x20no\x20dedicated\x20upgrade\x20primitive\x20exists\x20-\x20it\x20is\x20a\x20new\x20Payment\x20plus\x20a\x20merchant\x20row\x20rewrite.\x20The\x20corpus\x27s\x20expiry-value\x20framing\x20is\x20the\x20anchor.','evidence':[]},{'id':'P5','class':'post','name':'Window\x20expiry\x20close\x20(keeper\x20closes\x20stale\x20dispute/return\x20windows\x20so\x20refund\x20rails\x20cannot\x20re-arm)','actor':'keeper','precondition':['M15'],'onchain':'disclosure_only','disclosureProbe':'dispute\x20window\x20expiry|return\x20window\x20expiry','commercialSemantics':'(wc)\x2090-day\x20dispute\x20window\x20and\x2030-day\x20return\x20window\x20expiry\x20are\x20declared\x20keeper\x20duties;\x20the\x20dispute\x20window\x20anchors\x20on\x20the\x20off-Machine\x20Arb\x20case.','evidence':[]}],'invariants':[{'id':'INV-CST-1','statement':'The\x20real\x20club\x27s\x20\x27cancel\x20anytime,\x20full\x20membership-fee\x20refund\x27\x20promise\x20is\x20chain-expressible\x20ONLY\x20until\x20period\x20end:\x20the\x20listing\x20must\x20say\x20the\x20on-chain\x20refund\x20right\x20ends\x20at\x20the\x20period-end\x20release\x20(ESCALATE\x20if\x20a\x20WIP\x20promises\x20more).','chainConflict':'Post-release\x20the\x20escrow\x20is\x20drained;\x20no\x20clawback/debit\x20primitive\x20exists,\x20and\x20no\x20fee_param/forward\x20pair\x20can\x20name\x20a\x20violation\x20-\x20a\x20violation\x20would\x20be\x20a\x20refund\x20rail\x20reaching\x20past\x20a\x20drained\x20escrow.\x20Anchored\x20on\x20the\x20reverse-allocation\x20prohibition.','evidence':[{'file':'allocation.move','line':0x26d,'pattern':'ERECIPIENT_NOT_FOR_OBJECT'}]},{'id':'INV-CST-2','statement':'China\x20food-safety\x20statutory\x20damages\x20(10x\x20price,\x20min\x20¥1,000)\x20collide\x20with\x20the\x203x\x20escrow/order\x20award\x20cap:\x20an\x20arbitrator\x20can\x20never\x20award\x20the\x20statutory\x20multiple\x20inside\x20a\x20capped\x20venue.','chainConflict':'Statute\x20vs\x20protocol\x20constant\x20-\x20no\x20fee_param/forward\x20predicate\x20can\x20express\x20a\x20statutory\x20multiplier.\x20Remedy:\x20thicken\x20the\x20compensation\x20fund\x20and\x20disclose,\x20or\x20escalate\x20the\x20case\x20off-venue.\x20Anchored\x20on\x20the\x20cap\x20constant\x20and\x20its\x20saturating\x20application.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'saturating_mul'}]},{'id':'INV-CST-3','statement':'Material\x20terms\x20(refund\x20boundaries,\x20window\x20days,\x20the\x20always-refundable\x20edge\x20of\x20the\x20promise)\x20must\x20be\x20machine-readable\x20template\x20disclosures,\x20never\x20listing\x20small\x20print:\x20on-chain\x20terms\x20are\x20Guard\x20literals\x20frozen\x20at\x20publish\x20and\x20publicly\x20auditable.','chainConflict':'Disclosure-quality\x20rule\x20with\x20no\x20fee_param/forward\x20form;\x20the\x20disclosure\x20coverage\x20numbers\x20above\x20are\x20its\x20mechanical\x20proxy.'},{'id':'INV-CST-4','statement':'NO\x20auto-charge\x20semantics\x20may\x20ever\x20be\x20emitted:\x20the\x20renewal\x20is\x20ALWAYS\x20the\x20member\x27s\x20own\x20signature\x20(signer\x20==\x20order\x20owner\x20on\x20the\x20renew\x20rail).\x20While\x20period_days\x20>\x200\x20is\x20configured,\x20the\x20explicit-signature\x20renew\x20forward\x20must\x20exist\x20-\x20a\x20period\x20clock\x20without\x20the\x20signature\x20rail\x20is\x20a\x20dead\x20or\x20mandated\x20loop.','violation':{'requiresFeeParamNonZero':'period_days','whileMissingForward':'renew'}},{'id':'INV-CST-5','statement':'The\x20membership\x20fee\x20is\x20periodic-service\x20consideration,\x20NOT\x20a\x20stored-value\x20card:\x20it\x20escrows\x20until\x20period\x20end\x20(mid-period\x20cancel\x20=\x20full\x20refund);\x20a\x20build\x20that\x20converts\x20it\x20into\x20spendable\x20stored\x20value\x20triggers\x20China\x27s\x20single-purpose\x20prepaid-card\x20limits\x20(¥5,000\x20registered\x20cap,\x20deposit-ratio\x20custody)\x20and\x20must\x20be\x20re-reviewed.','chainConflict':'Product-classification\x20rule\x20with\x20no\x20mechanical\x20predicate;\x20the\x20dm\x20refund\x20rail\x20coverage\x20(E13)\x20is\x20its\x20structural\x20proxy.'},{'id':'INV-CST-6','statement':'TPL-09\x20serial\x20window\x20protection\x20(standing\x20check):\x20while\x20claim_window_days\x20>\x200\x20is\x20configured,\x20the\x20window-departing\x20SettleAfterWindow\x20forward\x20must\x20exist\x20-\x20removing\x20it\x20orphans\x20the\x20serial\x20hold\x20and\x20lets\x20settlement\x20escape\x20the\x20window\x20ordering.','violation':{'requiresFeeParamNonZero':'claim_window_days','whileMissingForward':'SettleAfterWindow'}}]};

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

@@ -0,0 +1 @@
+export const COURSERA_ORACLE={'productRef':'coursera','products':['coursera','edx','udacity','futurelearn','xuetangx'],'oracleVersion':'1.1.0','steps':[{'id':'M1','class':'offchain','name':'Browse\x20the\x20catalog\x20and\x20compare\x20programs\x20(search/rankings\x20is\x20an\x20app\x20concern)','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Catalog\x20discovery,\x20specializations\x20and\x20career\x20outcomes\x20are\x20off-chain\x20content;\x20the\x20chain\x20holds\x20no\x20course-metadata\x20oracle.\x20Discovery\x20lives\x20in\x20the\x20market\x20layer,\x20never\x20inside\x20the\x20order\x20path.','evidence':[]},{'id':'M2','class':'offchain','name':'Audit-vs-paid\x20decision\x20(free\x20audit\x20funnel,\x20no\x20escrow)','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'The\x20free\x20audit\x20tier\x20is\x20the\x20incumbent\x27s\x20funnel:\x20graded\x20assessment\x20and\x20certification\x20begin\x20only\x20at\x20payment.\x20On\x20chain\x20the\x20audit\x20mode\x20simply\x20never\x20creates\x20an\x20Order\x20—\x20there\x20is\x20no\x20zero-amount\x20order\x20leg\x20by\x20design.','evidence':[]},{'id':'M3','class':'offchain','name':'Financial\x20aid\x20application\x20and\x20review\x20(scholarships\x20/\x20need-based\x20waivers)','actor':'platform','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Aid\x20is\x20an\x20off-chain\x20channel\x20that\x20discounts\x20the\x20invoice\x20BEFORE\x20checkout;\x20it\x20never\x20creates\x20zero-amount\x20Orders\x20on\x20chain.\x20On\x20the\x20degree\x20line\x20this\x20is\x20a\x20declared\x20build-note\x20fact;\x20on\x20the\x20single-course\x20line\x20the\x20aid\x20funnel\x20is\x20the\x20same\x20pre-payment\x20discount.','evidence':[]},{'id':'M4','class':'offchain','name':'Plan\x20selection:\x20single\x20course\x20/\x20monthly\x20Plus\x20/\x20annual\x20Plus\x20/\x20full\x20degree','actor':'buyer','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'The\x20plan\x20choice\x20picks\x20the\x20pricing\x20ladder\x20(course_price\x20/\x20subscription_monthly\x20/\x20annual_plan\x20/\x20per-term\x20tuition)\x20and\x20therefore\x20which\x20shipped\x20template\x20the\x20order\x20lands\x20on.\x20Both\x20templates\x20price\x20via\x20fee_params,\x20never\x20via\x20prose\x20rates.','evidence':[]},{'id':'M5','class':'main','name':'Pay\x20and\x20escrow\x20—\x20enrollment\x20confirmed\x20(course\x20/\x20subscription\x20term\x20/\x20degree\x20tuition)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'forward':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'One\x20atomic\x20buy\x20escrows\x20the\x20full\x20line\x20price\x20(or\x20the\x20term\x27s\x20tuition\x20on\x20the\x20degree\x20line)\x20and\x20IS\x20the\x20enrollment\x20act\x20—\x20the\x20entry\x20node\x20lands\x20already\x20enrolled/admitted\x20with\x20no\x20separate\x20unlock\x20transition.\x20Aggregator-merchant\x20fees\x20are\x20only\x20allowed\x20as\x20an\x20explicit\x20buyer-computable\x20number\x20with\x20a\x20non-empty\x20recipient\x20Entity,\x20never\x20as\x20a\x20residual.','evidence':[{'file':'service.move','line':0x1c9,'pattern':'public\x20fun\x20buy'}]},{'id':'M6','class':'main','name':'Self-paced\x20study\x20&\x20content\x20access\x20(off-chain\x20platform,\x20no\x20progress\x20oracle)','actor':'buyer','precondition':['M5'],'onchain':'disclosure_only','commercialSemantics':'Video\x20lectures,\x20readings\x20and\x20weekly\x20modules\x20run\x20on\x20the\x20platform:\x20the\x20chain\x20holds\x20no\x20watch-time\x20or\x20attendance\x20oracle.\x20The\x20Repository\x20unlock\x20is\x20the\x20only\x20chain\x20footprint\x20of\x20access\x20—\x20progress\x20itself\x20is\x20unverifiable\x20by\x20design.','disclosureProbe':'grading|grades|assessment','evidence':[]},{'id':'M7','class':'main','name':'Grading:\x20assignments,\x20quizzes\x20and\x20peer\x20assessment\x20(off-chain\x20service)','actor':'merchant','precondition':['M6'],'onchain':'disclosure_only','commercialSemantics':'Auto-graders\x20and\x20peer\x20review\x20are\x20off-chain\x20services;\x20only\x20grading\x20DISPUTES\x20reach\x20chain\x20territory\x20(E4).\x20Grading\x20outcomes\x20feed\x20the\x20certificate\x20claim\x20off-chain\x20—\x20the\x20chain\x20never\x20observes\x20them\x20directly.','disclosureProbe':'grading|grades','evidence':[]},{'id':'M8','class':'main','name':'Term\x20completion\x20dual-sign\x20(degree\x20line:\x20semester\x20ladder\x20advances)','actor':'merchant','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'semester_1','forward':'admitted','prev':'','moneyEffect':'none'},'commercialSemantics':'The\x20degree\x20line\x20is\x20a\x20semester\x20ladder:\x20each\x20term\x20advances\x20only\x20on\x20the\x20institution\x27s\x20dual-sign\x20(threshold\x20=\x202),\x20and\x20the\x20per-term\x20release\x20reads\x20the\x20same\x20recorded\x20milestone.\x20A\x20late-starting\x20learner\x27s\x20refund\x20basis\x20is\x20the\x20recorded\x20term\x20history,\x20not\x20wall-clock\x20since\x20payment.','evidence':[]},{'id':'M9','class':'main','name':'Final\x20assessment\x20graded\x20—\x20certificate\x20authorized\x20(single-course\x20line)','actor':'merchant','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'assessing','forward':'enrolled','prev':'','moneyEffect':'none'},'commercialSemantics':'Passing\x20the\x20graded\x20assessment\x20moves\x20the\x20order\x20to\x20the\x20certificate-authorized\x20state\x20on\x20the\x20single-course\x20line.\x20The\x20per-term\x20release\x20counter\x20on\x20the\x20degree\x20line\x20is\x20the\x20structural\x20analogue\x20—\x20both\x20record\x20\x27learning\x20done\x27\x20before\x20any\x20terminal\x20action.','evidence':[]},{'id':'M10','class':'main','name':'Certificate\x20issued\x20and\x20written\x20to\x20the\x20Repository\x20(single-course\x20line)','actor':'merchant','precondition':['M9'],'onchain':'expressible_with_gap','chainFootprint':{'node':'certified','forward':'AssessPassed','prev':'assessing','moneyEffect':'none'},'commercialSemantics':'The\x20certificate\x20is\x20a\x20write-once\x20Repository\x20row\x20that\x20freezes\x20on\x20write\x20—\x20tamper-proof\x20public\x20verification.\x201.1.0:\x20the\x20claim\x20threshold\x20(\x27assessment\x20passed\x27)\x20is\x20ENFORCED\x20by\x20the\x20cert_claim_gate\x20guard\x20over\x20the\x20order-keyed\x20write-once\x20completion_ledger\x20row\x20on\x20BOTH\x20lines\x20(the\x20write\x20side\x20is\x20writer-bound);\x20refund\x20orchestration\x20must\x20still\x20void\x20the\x20certificate\x20BEFORE\x20the\x20refund\x20because\x20a\x20frozen\x20row\x20cannot\x20be\x20un-written.\x20RESIDUAL\x20(INV-CRS-2):\x20the\x20ledger\x20VALUES\x20remain\x20a\x20merchant-authored\x20declaration\x20—\x20a\x20credential\x20proves\x20a\x20write,\x20never\x20the\x20learning\x20behind\x20it.','guardKeyProbe':'cert_claim_gate','guardProbeKind':'feature','gapPredicate':{'probe':'freeze\x20on\x20write|void\x20the\x20certificate\x20BEFORE'},'evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'},{'file':'repository.move','line':0x223,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'M11','class':'main','name':'Degree\x20conferral\x20record\x20after\x20review\x20(degree\x20line)','actor':'merchant','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'graduated','forward':'graduation_ready','prev':'','moneyEffect':'none'},'commercialSemantics':'Conferral\x20rides\x20the\x20institution\x27s\x20permission\x20slot\x20past\x20the\x20closing\x20review\x20window\x20(ConferralAfterReview);\x20graduation\x20is\x20a\x20drained\x20terminal\x20record\x20—\x20no\x20Surplus\x20and\x20no\x20payout\x20ride\x20it,\x20the\x20settlement\x20already\x20happened\x20per\x20term.','evidence':[]},{'id':'M12','class':'main','name':'Per-term\x20tuition\x20release\x20to\x20the\x20institution\x20(degree\x20line)','actor':'keeper','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'semester_1','moneyEffect':'release'},'commercialSemantics':'The\x20per-term\x20amount\x20leg\x20releases\x20against\x20the\x20recorded\x20term\x20milestone\x20with\x20an\x20ADD-only\x20identity-255\x20once\x20leg\x20(exactly\x20one\x20release\x20per\x20term,\x20provable\x20from\x20progress\x20history).\x20Sharing\x20must\x20sum\x20to\x20exactly\x2010000\x20and\x20a\x20zero-valued\x20distribution\x20aborts.','evidence':[{'file':'allocation.move','line':0x1af,'pattern':'ERATE_NOT_10000'},{'file':'allocation.move','line':0x271,'pattern':'Recipient::Entity'}]},{'id':'M13','class':'main','name':'Settlement\x20release\x20at\x20completion\x20(single-course\x20line)','actor':'keeper','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'release'},'commercialSemantics':'Layer-2\x20settles\x20the\x20course\x20price\x20to\x20the\x20partner\x20at\x20the\x20completion\x20terminal;\x20the\x20buyer-side\x20residual\x20is\x20only\x20swept\x20from\x20the\x20settle-side\x20remainder\x20so\x20the\x20escrowed\x20amount\x20is\x20never\x20double-spent.\x20A\x20zero-balance\x20pool\x20aborts\x20rather\x20than\x20paying\x20dust.','evidence':[{'file':'allocation.move','line':0x25,'pattern':'EZERO_DISTRIBUTION'}]},{'id':'M14','class':'main','name':'Subscription\x20term\x20renewal\x20=\x20a\x20NEW\x20Order\x20(REUSE,\x20no\x20in-order\x20renewal\x20state)','actor':'buyer','precondition':['M5'],'onchain':'expressible_with_gap','chainFootprint':{'forward':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'Both\x20lines\x20reuse\x20the\x20same\x20machine:\x20a\x20term\x20settles\x20and\x20ends\x20at\x20its\x20terminal\x20and\x20the\x20next\x20term\x20is\x20a\x20NEW\x20Order\x20on\x20the\x20same\x20Service.\x20The\x20renewal\x20reminder\x20is\x20an\x20off-chain\x20keeper\x20notification;\x20there\x20is\x20no\x20in-order\x20renewal\x20state\x20and\x20the\x20term\x20price\x20is\x20fixed\x20at\x20buy.','gapPredicate':{'probe':'the\x20next\x20term\x20is\x20a\x20new\x20Order|renewal\x20reminder'},'evidence':[{'file':'order.move','line':0xbd,'pattern':'claimed_by:\x20option::none'}]},{'id':'M15','class':'main','name':'Month-end\x20plan\x20income\x20release\x20(Plus\x20plan\x20variant)','actor':'keeper','precondition':['M5'],'onchain':'disclosure_only','commercialSemantics':'On\x20the\x20plan\x20variant\x20the\x20month\x27s\x20income\x20release\x20is\x20a\x20chain-Clock\x20time\x20guard\x20appended\x20as\x20an\x20extra\x20allocator\x20row\x20(triggers\x20on\x20month_release_day);\x20on\x20the\x20degree\x20line\x20the\x20same\x20monthly\x20cadence\x20appears\x20as\x20a\x20keeper\x20subscription\x20release\x20duty.\x20Either\x20way\x20the\x20trigger\x20is\x20clock-based,\x20never\x20instructor-attested.','disclosureProbe':'month-end|monthly\x20subscription\x20release','evidence':[]},{'id':'E1','class':'exception','name':'Subscription\x20expiry\x20/\x20term-end\x20cancellation\x20(keeper\x20off-chain\x20trigger)','actor':'keeper','precondition':['M5'],'onchain':'disclosure_only','commercialSemantics':'Trial\x20and\x20period-end\x20expiry\x20are\x20keeper-noticed\x20off-chain:\x20the\x20machine\x20has\x20no\x20auto-expiry\x20node,\x20and\x20the\x20next\x20term\x20simply\x20never\x20becomes\x20an\x20Order.\x20The\x20escrowed\x20term\x20runs\x20to\x20its\x20own\x20terminal\x20regardless.','disclosureProbe':'subscription\x20expiry','evidence':[]},{'id':'E2','class':'exception','name':'Stop\x20auto-renewal\x20(renewal\x20reminder\x20window)','actor':'buyer','precondition':['M5'],'onchain':'disclosure_only','commercialSemantics':'The\x20reminder\x20before\x20term/period\x20end\x20is\x20the\x20cancellation\x20surface:\x20the\x20buyer\x20acts\x20off-chain\x20and\x20the\x20renewal\x20(a\x20new\x20Order)\x20never\x20happens.\x20There\x20is\x20no\x20in-order\x20cancellation\x20of\x20a\x20FUTURE\x20term\x20because\x20no\x20future\x20term\x20exists\x20on\x20chain.','disclosureProbe':'renewal\x20reminder','evidence':[]},{'id':'E3','class':'exception','name':'Auto-renewal\x20charge\x20dispute\x20(refund/billing\x20complaint\x20after\x20renewal)','actor':'buyer','precondition':['M14'],'onchain':'disclosure_only','commercialSemantics':'The\x20incumbent\x27s\x20renewal-refund\x20goodwill\x20has\x20no\x20in-order\x20leg:\x20a\x20dispute\x20over\x20a\x20renewed\x20term\x20rides\x20the\x20same\x2014-day\x20window\x20(single-course\x20line)\x20or\x20arbitration,\x20since\x20the\x20renewal\x20is\x20a\x20fresh\x20Order\x20with\x20its\x20own\x20clock.','disclosureProbe':'renewal\x20reminder','evidence':[]},{'id':'E4','class':'exception','name':'Grading\x20dispute\x20escalated\x20to\x20independent\x20arbitration','actor':'buyer','precondition':['M7'],'onchain':'disclosure_only','commercialSemantics':'Grading,\x20certificate-revocation\x20and\x20refund-ratio\x20disputes\x20route\x20to\x20Arbitration\x20under\x20an\x20independent\x20Permission\x20—\x20structurally\x20eliminating\x20the\x20shared-Permission\x20critical\x20finding.\x20The\x20grades\x20themselves\x20stay\x20off-chain;\x20only\x20the\x20dispute\x20and\x20its\x20ruling\x20are\x20chain\x20facts.','disclosureProbe':'go\x20to\x20(the\x20independent\x20)?Arbitration','evidence':[]},{'id':'E5','class':'exception','name':'Academic-integrity\x20violation\x20/\x20certificate\x20revocation','actor':'merchant','precondition':['M10'],'onchain':'disclosure_only','commercialSemantics':'Honor-code\x20enforcement\x20is\x20an\x20institution\x20process;\x20on\x20chain\x20its\x20footprint\x20is\x20the\x20dispute\x20vector\x20and\x20(on\x20the\x20single-course\x20line)\x20the\x20certificate\x20row\x27s\x20write-once\x20semantics\x20—\x20a\x20frozen\x20row\x20can\x20never\x20be\x20silently\x20rewritten,\x20so\x20revocation\x20must\x20be\x20handled\x20before/at\x20refund\x20time.','disclosureProbe':'certificate\x20revocation','evidence':[]},{'id':'E6','class':'exception','name':'Course\x20content\x20revision\x20mid-enrollment\x20(publish\x20freeze)','actor':'merchant','precondition':['M5'],'onchain':'disclosure_only','commercialSemantics':'Guard\x20+\x20Machine\x20are\x20immutable\x20after\x20publish:\x20content\x20or\x20schedule\x20changes\x20ship\x20as\x20new\x20WIP\x20versions\x20with\x20Repository\x20version\x20evidence,\x20never\x20as\x20in-place\x20edits.\x20The\x20enrolled\x20cohort\x20keeps\x20the\x20version\x20it\x20paid\x20for.','disclosureProbe':'publish\x20freeze','evidence':[]},{'id':'R1','class':'remedy','name':'Refund\x20inside\x20the\x2014-day\x20window\x20(single-course\x20line:\x20claim_return\x20rail)','actor':'buyer','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'claim_return','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x2014-day\x20window\x20runs\x20from\x20PAYMENT\x20(order.time)\x20and\x20learning\x20progress\x20never\x20closes\x20it;\x20full\x20refund\x20only\x20from\x20returned.\x20The\x20window\x20is\x20a\x20CLOSING\x20window\x20on\x20every\x20entry\x20edge\x20into\x20returned,\x20and\x20the\x20buyer\x20must\x20submit\x20slot-0\x20Order\x20for\x20the\x20payee\x20leg.','guardKeyProbe':'return_window','evidence':[{'file':'order.move','line':0x4d,'pattern':'claimed_by:\x20Option<address>'}]},{'id':'R2','class':'remedy','name':'Post-certification\x20refund\x20(single-course\x20line:\x20window\x20still\x20open,\x20certificate\x20voided\x20first)','actor':'buyer','precondition':['R1'],'onchain':'expressible_with_gap','chainFootprint':{'node':'returned','forward':'claim_return','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'A\x20refund\x20after\x20certification\x20is\x20the\x20double-dip\x20hazard:\x20a\x20signer-only\x20guard\x20would\x20let\x20the\x20holder\x20claim\x20after\x20certification.\x20The\x20refund\x20guard\x20is\x20node-gated\x20and\x20refund\x20orchestration\x20must\x20VOID\x20the\x20certificate\x20BEFORE\x20the\x20refund,\x20because\x20a\x20write-once\x20row\x20cannot\x20be\x20un-written\x20afterwards.','gapPredicate':{'probe':'void\x20the\x20certificate\x20BEFORE|after\x20certification'},'evidence':[{'file':'repository.move','line':0x200,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'R3','class':'remedy','name':'Withdraw\x20from\x20the\x20degree\x20at\x20any\x20term\x20(degree\x20line:\x20any-time\x20pro-rata\x20sweep)','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'withdrawn','moneyEffect':'refund'},'commercialSemantics':'The\x20real\x20product\x27s\x20no-refund-after-week-1\x20policy\x20is\x20displaced:\x20on\x20the\x20degree\x20line\x20withdrawal\x20is\x20possible\x20from\x20ANY\x20state\x20with\x20the\x20refund\x20computed\x20pro-rata\x20by\x20construction\x20—\x20the\x20per-term\x20release\x20already\x20paid\x20the\x20earned\x20share\x20and\x20the\x20sweep\x20returns\x20only\x20the\x20remainder.\x20The\x20refunded\x20amount\x20must\x20land\x20in\x20the\x20buyer\x27s\x20account.','evidence':[{'file':'allocation.move','line':0x26d,'pattern':'ERECIPIENT_NOT_FOR_OBJECT'},{'file':'allocation.move','line':0x275,'pattern':'tx_context::sender'}]},{'id':'R4','class':'remedy','name':'Refund\x20payout\x20to\x20the\x20order\x20anchor\x20(keeper,\x20two-step\x20claim)','actor':'keeper','precondition':['R1'],'onchain':'disclosure_only','commercialSemantics':'Both\x20lines\x20pay\x20refunds\x20order-anchored\x20in\x20a\x20two-step\x20claim\x20(submit\x20the\x20order,\x20then\x20collect):\x20layer-2\x20allocates\x20the\x20refund-share\x20residual\x20from\x20the\x20settle\x20side,\x20and\x20the\x20payee\x20leg\x20binds\x20to\x20the\x20GuardIdentifier(0)\x20order\x20submission\x20—\x20the\x20buyer\x27s\x20escrowed\x20amount\x20is\x20never\x20double-spent.','disclosureProbe':'order-anchored\x20refund\x20recipient','evidence':[{'file':'allocation.move','line':0x1af,'pattern':'ERATE_NOT_10000'}]},{'id':'R5','class':'remedy','name':'Withdrawal\x20residual\x20sweep\x20(degree\x20line:\x20unearned\x20remainder\x20IS\x20the\x20sweep)','actor':'keeper','precondition':['R3'],'onchain':'disclosure_only','commercialSemantics':'The\x20degree\x20line\x20never\x20stages\x20refunds\x20k/N:\x20the\x20terminal_settlement\x20sweep\x20returns\x20the\x20unearned\x20remainder\x20on\x20an\x20intact,\x20dispute-concluded\x20pool.\x20A\x20mid-term\x20withdrawal\x20refund\x20is\x20materialised\x20through\x20the\x20terminal\x20residual\x20sweep,\x20never\x20an\x20in-order\x20staged\x20release.','disclosureProbe':'sweep','evidence':[]},{'id':'R6','class':'remedy','name':'Arbitration\x20case\x20filing\x20(order\x20dispute\x20vector)','actor':'buyer','precondition':['E4'],'onchain':'disclosure_only','commercialSemantics':'The\x20dispute\x20rides\x20the\x20order\x27s\x20dispute\x20vector;\x20venue\x20readiness\x20is\x20a\x20hard\x20fact\x20—\x20a\x20paused\x20venue\x20rejects\x20every\x20dispute\x20with\x20E_PAUSED,\x20so\x20the\x20venue\x20selection\x20is\x20part\x20of\x20the\x20service\x20setup,\x20not\x20the\x20order\x20path.','disclosureProbe':'go\x20to\x20(the\x20independent\x20)?Arbitration','evidence':[{'file':'arbitration.move','line':0x15a,'pattern':'E_PAUSED'}]},{'id':'R7','class':'remedy','name':'Compensation\x20award\x20capped\x20at\x203x,\x20order-owner-bound\x20(both\x20lines)','actor':'arbitrator','precondition':['R6'],'onchain':'disclosure_only','commercialSemantics':'A\x20buyer-favor\x20award\x20pays\x20from\x20the\x20compensation\x20fund\x20—\x20never\x20the\x20order\x20escrow\x20—\x20capped\x20at\x20MAX_INDEMNITY_MULTIPLE\x20(3)\x20times\x20the\x20escrowed\x20basis\x20and\x20transferable\x20only\x20to\x20the\x20order\x20owner.\x20The\x20single-course\x20fund\x20is\x20NOT\x20funded\x20by\x20default\x20and\x20the\x20degree\x20fund\x20is\x20~1%\x20of\x20tuition,\x20so\x20award\x20capacity\x20depends\x20on\x20funding,\x20not\x20the\x20order\x20pool.','disclosureProbe':'MAX_INDEMNITY_MULTIPLE|compensation\x20fund','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'service.move','line':0x265,'pattern':'order::owner'}]},{'id':'R8','class':'remedy','name':'Certificate\x20void\x20before\x20refund\x20(merchant\x20orchestration\x20duty,\x20both\x20lines)','actor':'merchant','precondition':['R1'],'onchain':'disclosure_only','commercialSemantics':'Certificate/degree\x20Repository\x20policies\x20freeze\x20on\x20write,\x20so\x20refund\x20orchestration\x20must\x20void\x20the\x20certificate\x20BEFORE\x20the\x20refund\x20executes\x20—\x20afterwards\x20the\x20row\x20is\x20permanently\x20frozen\x20and\x20a\x20revoked\x20holder\x20could\x20keep\x20a\x20valid-looking\x20credential.','disclosureProbe':'void\x20the\x20certificate\x20BEFORE\x20the\x20refund','evidence':[{'file':'repository.move','line':0xac,'pattern':'policy_by_name'}]},{'id':'P1','class':'post','name':'Learner\x20review\x20within\x20the\x20closing\x20window\x20(shared\x20Review\x20edge)','actor':'buyer','precondition':['M10'],'onchain':'expressible','chainFootprint':{'forward':'Review','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20review\x20edge\x20exists\x20on\x20BOTH\x20lines\x20with\x20the\x20same\x20closing-window\x20guard:\x20single-course\x20reviews\x20depart\x20certified,\x20degree\x20reviews\x20depart\x20graduation_ready\x20—\x20the\x20review\x20never\x20gates\x20settlement\x20on\x20either\x20line\x20(a\x20silent\x20learner\x20cannot\x20strand\x20the\x20partner).','guardKeyProbe':'review_window','evidence':[{'file':'progress.move','line':0x22c,'pattern':'parent_table_vec::push_back'}]},{'id':'P2','class':'post','name':'Review-reward\x20claim\x20(0.006\x20WOW\x20per-claim\x20floor)','actor':'buyer','precondition':['P1'],'onchain':'disclosure_only','commercialSemantics':'The\x20v53\x20sale-time\x20incentive:\x20a\x20claim\x20Reward\x20configured\x20at\x20build\x20time\x20(not\x20per\x20order),\x20pool\x20plan\x20=\x20expected\x20claims\x20x\x20per-claim\x20amount,\x20terms\x20anchored\x20on\x20the\x20line\x27s\x20own\x20review\x20node\x20+\x20the\x20settlement\x20terminal,\x20once\x20per\x20order\x20with\x20an\x20order-scoped\x20record\x20gate.\x20Reward.claim\x20has\x20no\x20protocol-level\x20idempotency\x20—\x20the\x20guard\x20arms\x20it.','disclosureProbe':'review\x20content\x20hash','evidence':[{'file':'reward.move','line':0xe3,'pattern':'public\x20fun\x20claim'},{'file':'reward.move','line':0x11b,'pattern':'E_CLAIM_RECIPIENT_NOT_SIGNER'}]},{'id':'P3','class':'post','name':'Third-party\x20certificate\x20verification\x20(public\x20frozen\x20read)','actor':'platform','precondition':['M10'],'onchain':'disclosure_only','commercialSemantics':'Verification\x20is\x20a\x20public\x20repository\x20read\x20of\x20a\x20write-once\x20row:\x20policy\x20resolution\x20is\x20by\x20row\x20name,\x20the\x20row\x20freezes\x20on\x20write,\x20and\x20overwriting\x20an\x20already-written\x20row\x20aborts.\x20The\x20verifier\x20needs\x20no\x20account\x20relationship\x20with\x20the\x20institution.','disclosureProbe':'freeze\x20on\x20write','evidence':[]},{'id':'P4','class':'post','name':'Partner/institution\x20collects\x20tuition\x20at\x200\x20platform\x20commission\x20(both\x20lines)','actor':'merchant','precondition':['M13'],'onchain':'disclosure_only','commercialSemantics':'The\x20direct-sales\x20rewrite\x20displaces\x20the\x20incumbent\x27s\x2050/50\x20(degree:\x2030%)\x20agency\x20share:\x20platform_share\x20ships\x200\x20and\x20any\x20remainder\x20stays\x20with\x20the\x20institution\x20until\x20graduation.\x20An\x20aggregator\x20fee\x20must\x20be\x20an\x20explicit\x20buyer-computable\x20number\x20with\x20a\x20non-empty\x20recipient\x20Entity,\x20never\x20a\x20Surplus\x20leg\x20(an\x20uncapped\x20Surplus\x20sweeps\x20the\x20entire\x20remaining\x20pool).','disclosureProbe':'Aggregator-merchant\x20fee','evidence':[]},{'id':'P5','class':'post','name':'Cross-order\x20referral\x20/\x20annual-bundle\x20attribution\x20(no\x20chain\x20grouping)','actor':'platform','precondition':['M5'],'onchain':'unresolvable','unresolvableRef':'S2','commercialSemantics':'Referral\x20attribution\x20and\x20annual-bundle\x20accounting\x20need\x20two\x20orders\x20verified\x20as\x20linked\x20on\x20chain\x20—\x20impossible:\x20Order\x20carries\x20no\x20parent/child/bundle\x20field\x20and\x20254\x20task\x20binding\x20actively\x20forbids\x20accounting\x20one\x20order\x27s\x20action\x20against\x20another.\x20The\x20disclosed\x20cousin\x20is\x20the\x20once-per-buyer-for-life\x20reward\x20stamp\x20on\x20the\x20recipient-only\x20gate.','disclosureProbe':'once-per-buyer-for-life','evidence':[]}],'invariants':[{'id':'INV-CRS-1','statement':'Direct-sales\x20zero\x20commission:\x20platform_commission_bps\x20must\x20stay\x200\x20unless\x20an\x20explicitly\x20mounted\x20platform\x20payout\x20rail\x20exists\x20—\x20reintroducing\x20a\x20commission\x20without\x20a\x20rail\x20would\x20strand\x20the\x20take\x20or\x20make\x20it\x20an\x20implicit,\x20un-computable\x20remainder\x20(the\x20incumbent\x2050/50\x20share\x20is\x20the\x20number\x20this\x20template\x20family\x20displaces).','jurisdiction':'Platform\x20fair-competition\x20rules\x20(China\x20E-Commerce\x20Law\x20art.\x2035;\x20US\x20state\x20marketplace\x20statutes).','chainConflict':'A\x20non-zero\x20commission\x20entry\x20with\x20no\x20dedicated\x20payout\x20forward\x20means\x20the\x20take\x20can\x20only\x20materialise\x20as\x20a\x20residual/Surplus\x20leg\x20—\x20an\x20uncapped\x20Surplus\x20sweeps\x20the\x20entire\x20remaining\x20pool\x20and\x20an\x20empty\x20Entity\x20recipient\x20burns\x20the\x20share\x20at\x20the\x20zero\x20address.','violation':{'requiresFeeParamNonZero':'platform_commission_bps','whileMissingForward':'platform_commission_take'},'evidence':[{'file':'allocation.move','line':0x271,'pattern':'Recipient::Entity'},{'file':'allocation.move','line':0x1af,'pattern':'ERATE_NOT_10000'}]},{'id':'INV-CRS-2','statement':'1.1.0:\x20the\x20certificate\x20claim\x20threshold\x20(\x27assessment\x20passed\x27)\x20is\x20enforced\x20on\x20BOTH\x20lines\x20by\x20the\x20cert_claim_gate\x20guard\x20over\x20an\x20institution-authored,\x20order-keyed,\x20write-once\x20completion_ledger\x20row\x20—\x20but\x20the\x20LEDGER\x20VALUES\x20remain\x20a\x20merchant-authored\x20declaration:\x20a\x20credential\x20proves\x20a\x20write,\x20never\x20the\x20learning\x20behind\x20it\x20(\x27identity\x20verified\x27\x20rides\x20the\x20order-holder/staff\x20identity\x20legs;\x20\x27honor\x20code\x20clean\x27\x20stays\x20an\x20attestation).','jurisdiction':'Accreditation\x20rules\x20(US\x20Dept.\x20Ed.\x20distance-ed\x20integrity;\x20EU\x20ESG\x202015\x20quality\x20assurance).','chainConflict':'Repository\x20rows\x20are\x20write-once\x20and\x20freeze\x20on\x20write\x20—\x20overwriting\x20an\x20already-written\x20identity\x20slot\x20aborts\x20—\x20so\x20the\x20credential\x20row\x20cannot\x20be\x20retroactively\x20corrected\x20or\x20evidence-stamped\x20after\x20the\x20fact;\x20the\x20attestation\x20gap\x20must\x20be\x20disclosed,\x20never\x20papered\x20over\x20with\x20a\x20stronger-sounding\x20row.','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'},{'file':'repository.move','line':0x223,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'INV-CRS-3','statement':'A\x20buyer-favor\x20award\x20pays\x20ONLY\x20the\x20order\x20owner\x20from\x20the\x20compensation\x20fund\x20(capped\x203x\x20the\x20escrowed\x20basis)\x20—\x20a\x20third-party\x20fulfiller\x20(course\x20partner,\x20TA,\x20referral)\x20can\x20never\x20be\x20an\x20award\x20payee,\x20and\x20award\x20capacity\x20depends\x20on\x20the\x20fund\x20balance\x20(single-course:\x20NOT\x20funded\x20by\x20default;\x20degree:\x20~1%\x20of\x20tuition),\x20not\x20on\x20the\x20order\x20pool.','jurisdiction':'Consumer\x20arbitration\x20rules\x20(UNCITRAL\x20notes\x20on\x20online\x20dispute\x20resolution).','chainConflict':'The\x20fund-draw\x20side\x20pays\x20the\x20award\x20to\x20the\x20order\x20owner\x20and\x20ONLY\x20to\x20the\x20order\x20owner;\x20the\x20indemnity\x20cap\x20is\x20MAX_INDEMNITY_MULTIPLE\x20(3)\x20times\x20the\x20indemnity-cap\x20basis,\x20and\x20the\x20claim\x20aborts\x20on\x20a\x20zero-indemnity\x20ruling\x20before\x20any\x20state\x20change.','evidence':[{'file':'service.move','line':0x265,'pattern':'order::owner'},{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]}]};

package/dist/knowledge/path-oracle/products/duoduo-maicai.js

@@ -0,0 +1 @@
+export const DUODUO_MAICAI_ORACLE={'productRef':'duoduo-maicai','products':['duoduo-maicai','meituan-youxuan','taocaicai'],'oracleVersion':'1.0.0','steps':[{'id':'M1','class':'offchain','name':'Browse\x20the\x20daily\x20SKU\x20catalog,\x20platform-priced,\x20refreshed\x20each\x20round','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'The\x20per-round\x20catalog\x20and\x20its\x20prices\x20are\x20locked\x20at\x20listing\x20time\x20by\x20the\x20platform;\x20browsing,\x20search\x20and\x20recommendation\x20are\x20pure\x20off-chain\x20app\x20concerns\x20the\x20chain\x20never\x20sees.','evidence':[]},{'id':'M2','class':'offchain','name':'Pick\x20the\x20neighborhood\x20pickup\x20point\x20and\x20join\x20the\x20round','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Choosing\x20the\x20pickup\x20point\x20maps\x20to\x20the\x20build-time\x20point_type\x20selector\x20(staffed\x20shelf\x20/\x20automated\x20locker\x20/\x20batch\x20handover)\x20and\x20the\x20community\x20boundary\x20is\x20enforced\x20by\x20the\x20buy-side\x20blocklist\x20guard\x20or\x20left\x20open;\x20neither\x20is\x20a\x20per-order\x20chain\x20act.','evidence':[]},{'id':'M3','class':'main','name':'Pay\x20the\x20join\x20price\x20into\x20escrow\x20(single\x20total,\x20no\x20dynamic\x20fee)','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'One\x20atomic\x20buy\x20at\x20the\x20listed\x20price:\x20the\x20join\x20total\x20is\x20escrowed\x20in\x20a\x20single\x20transaction\x20and\x20the\x20platform\x20has\x20committed\x20the\x20whole\x20round\x27s\x20supply\x20up\x20front\x20—\x20there\x20is\x20no\x20per-order\x20pricing\x20oracle\x20by\x20design.\x20The\x20buy-side\x20guard\x20can\x20refuse\x20barred\x20addresses\x20at\x20this\x20entry.','evidence':[{'file':'service.move','line':0x1c9,'pattern':'public\x20fun\x20buy<T>'}]},{'id':'M4','class':'main','name':'Round\x20closes\x20at\x20the\x20shared\x20absolute\x20cutoff\x20(keeper\x20flips\x20the\x20buy\x20switch)','actor':'keeper','precondition':['M3'],'onchain':'expressible_with_gap','chainFootprint':{'node':'paid','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20round\x20boundary\x20is\x20ONE\x20immutable\x20epoch-ms\x20constant\x20shared\x20by\x20every\x20order;\x20the\x20sanctioned\x20TODAY\x20mechanism\x20is\x20the\x20runtime\x20buy-guard\x20switch\x20the\x20keeper\x27s\x20cron\x20sets\x20at\x20the\x20cutoff\x20and\x20clears\x20when\x20the\x20next\x20round\x20opens.\x20The\x20gap:\x20the\x20switch\x20fixes\x20the\x20buy\x20side\x20only\x20—\x20full\x20machine\x20reuse\x20across\x20rounds\x20still\x20needs\x20the\x20disclosed\x20publisher-clock\x20discipline\x20or\x20a\x20redeploy.','gapPredicate':{'probe':'publisher-clock\x20discipline'},'evidence':[{'file':'service.move','line':0x4f1,'pattern':'public\x20fun\x20buy_guard_set'}]},{'id':'M5','class':'main','name':'Cutoff\x20fires\x20and\x20the\x20batch\x20release\x20opens\x20(one\x20clock\x20for\x20the\x20whole\x20round)','actor':'keeper','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'cutoff_fired','forward':'CutoffRelease','prev':'paid','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20release\x20gate\x20reads\x20the\x20same\x20shared\x20constant\x20the\x20cancel\x20window\x20reads,\x20so\x20a\x20late\x20joiner\x20after\x20the\x20cutoff\x20cannot\x20unwind\x20the\x20committed\x20batch\x20and\x20cancel\x20and\x20release\x20are\x20mutually\x20exclusive\x20in\x20time.\x20Per-order\x20entry+duration\x20anchoring\x20would\x20dissolve\x20the\x20batch\x20and\x20is\x20the\x20documented\x20anti-pattern.','guardKeyProbe':'cutoff_open','evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'M6','class':'main','name':'Platform\x20consolidates,\x20routes\x20cold\x20chain\x20and\x20dispatches\x20to\x20the\x20point\x20(batch\x20logistics)','actor':'keeper','precondition':['M4'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'batch\x20dispatch\x20is\x20off-chain','commercialSemantics':'Consolidation,\x20cold-chain\x20routing,\x20point\x20assignment\x20and\x20the\x20delivery\x20schedule\x20are\x20off-chain\x20keeper\x20duties;\x20the\x20chain\x20has\x20no\x20dispatch,\x20route\x20or\x20temperature\x20primitive,\x20and\x20the\x20only\x20footprints\x20are\x20the\x20arrival\x20evidence\x20rows\x20and\x20the\x20staff\x20roster.\x20The\x20order\x20binds\x20to\x20the\x20service\x20and\x20waits\x20for\x20goods,\x20never\x20for\x20a\x20route.','evidence':[{'file':'order.move','line':0x49,'pattern':'service:\x20address'}]},{'id':'M7','class':'main','name':'Point\x20staff\x20shelve\x20/\x20deposit\x20/\x20hand\x20over\x20the\x20arrival\x20(custody\x20evidence)','actor':'fulfiller','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'at_point','forward':'ShelveAtPoint','prev':'cutoff_fired','identity':'named_operator','moneyEffect':'none'},'commercialSemantics':'The\x20point\x20staff\x20advances\x20the\x20arrival\x20on\x20a\x20named-operator\x20roster\x20that\x20is\x20both\x20admission\x20and\x20exclusion\x20since\x20the\x20v138\x20member\x20gate:\x20an\x20unlisted\x20address\x20cannot\x20advance.\x20Exactly\x20one\x20of\x20the\x20three\x20arrival\x20designs\x20survives\x20each\x20build\x20(selector\x20exclusivity),\x20each\x20with\x20its\x20own\x20writer-bound\x20evidence\x20row.','guardKeyProbe':'(shelve_evidence|locker_deposit_evidence|handover_manifest_evidence)','evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'M8','class':'main','name':'Platform\x20schedules\x20the\x20pickup\x20window\x20and\x20notifies\x20the\x20community','actor':'keeper','precondition':['M7'],'onchain':'disclosure_only','disclosureProbe':'delivery\x20schedule[^\x22]{0,40}off-chain','commercialSemantics':'Slotting\x20the\x20pickup\x20window\x20and\x20notifying\x20the\x20group\x20are\x20off-chain\x20dispatch\x20duties;\x20the\x20disclosure\x20carries\x20the\x20honest\x20limit\x20that\x20the\x20chain\x20promises\x20no\x20ETA,\x20only\x20the\x20evidence-backed\x20arrival\x20state.','evidence':[]},{'id':'M9','class':'main','name':'Buyer\x20collects\x20at\x20the\x20point\x20(dual\x20confirmation:\x20buyer\x20identity\x20+\x20staff\x20row)','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'picked_up','forward':'ConfirmPickup','prev':'at_point','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Neither\x20party\x20alone\x20advances:\x20the\x20buyer\x27s\x20254-anchored\x20identity\x20confirm\x20AND\x20the\x20point\x27s\x20writer-bound\x20redemption\x20row\x20must\x20both\x20exist.\x20The\x20redemption\x20row\x20lives\x20under\x20its\x20own\x20policy\x20so\x20it\x20can\x20never\x20collide\x20with\x20the\x20arrival\x20row\x20it\x20follows\x20—\x20the\x20legacy\x20single-policy\x20shape\x20aborted\x20the\x20first\x20collection.','guardKeyProbe':'pickup_confirm','evidence':[{'file':'progress.move','line':0x48,'pattern':'TASK_BINDING_IDENTIFIER:\x20u8\x20=\x20254'},{'file':'repository.move','line':0x3c,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'M10','class':'main','name':'Keeper\x20opens\x20the\x20serial\x20claim\x20window\x20(the\x20order\x20rests\x20at\x20picked_up)','actor':'keeper','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'claim_window','forward':'OpenClaimWindow','prev':'picked_up','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20keeper-only\x20edge\x20opens\x20the\x20TPL-09\x20serial\x20dispute\x20window;\x20re-entry\x20appends\x20a\x20fresh\x20history\x20entry\x20and\x20re-anchors\x20the\x20window\x20clocks\x20on\x20the\x20last\x20entry,\x20so\x20a\x20resumed\x20or\x20re-opened\x20order\x20cannot\x20reuse\x20a\x20stale\x20anchor.','evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'M11','class':'main','name':'Window\x20elapses:\x20settlement\x20pays\x20the\x20platform\x20supplier\x20and\x20the\x20leader\x27s\x20single\x20commission\x20leg','actor':'merchant','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'SettleAfterWindow','prev':'claim_window','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'The\x20settlement\x20allocator\x20splits\x20the\x20pool\x20into\x20the\x20supplier\x20Entity\x20share\x20and\x20the\x20leader\x27s\x20single\x20disclosed\x20commission\x20Entity\x20leg\x20(benchmark\x200,\x20P2P\x20doctrine),\x20plus\x20the\x20rate-0\x20order\x20anchor\x20that\x20binds\x20the\x20rail\x20to\x20this\x20order.\x20Commission\x20defaults\x20to\x20zero\x20and\x20any\x20override\x20must\x20stay\x20a\x20single\x20layer\x20—\x20multi-layer\x20commission\x20is\x20the\x20pyramid\x20pattern\x20regulators\x20target.','guardKeyProbe':'settle_window_gate','evidence':[{'file':'allocation.move','line':0x1f4,'pattern':'public\x20fun\x20alloc<T>'},{'file':'allocation.move','line':0x271,'pattern':'Recipient::Entity'}]},{'id':'E1','class':'exception','name':'No\x20all-or-nothing\x20threshold:\x20the\x20round\x20ships\x20regardless\x20of\x20volume','actor':'platform','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'The\x20platform-supplied\x20model\x20commits\x20supply\x20up\x20front\x20—\x20there\x20is\x20no\x20aggregate\x20release-XOR-refund\x20rail\x20on\x20this\x20shape\x20by\x20declaration.\x20Builders\x20who\x20want\x20a\x20threshold\x20take\x20the\x20sibling\x20leader-sourced\x20crowdfunding\x20overlay\x20instead.','evidence':[]},{'id':'E2','class':'exception','name':'Buyer\x20cancels\x20before\x20the\x20shared\x20cutoff\x20(full\x20refund,\x20no\x20fee)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelBeforeCutoff','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Before\x20the\x20cutoff\x20the\x20platform\x20has\x20committed\x20nothing\x20per-order,\x20so\x20the\x20cancel\x20is\x20free\x20and\x20lands\x20on\x20the\x20full-refund\x20rail.\x20The\x20window\x20is\x20bounded\x20by\x20the\x20same\x20absolute\x20constant\x20the\x20release\x20gate\x20reads\x20—\x20the\x20former\x20legless\x20cancel\x20that\x20let\x20an\x20expired\x20round\x20be\x20unwound\x20losslessly\x20is\x20cured.','guardKeyProbe':'cancel_before_cutoff','evidence':[{'file':'allocation.move','line':0x1f4,'pattern':'public\x20fun\x20alloc<T>'}]},{'id':'E3','class':'exception','name':'Post-cutoff\x20personal\x20cancel\x20is\x20refused\x20(fresh\x20goods\x20are\x20committed)','actor':'buyer','precondition':['M5'],'onchain':'not_applicable','commercialSemantics':'After\x20the\x20cutoff\x20there\x20is\x20deliberately\x20no\x20buyer-side\x20unwind:\x20the\x20goods\x20are\x20procured\x20and\x20the\x20shape\x20carries\x20no\x20edge\x20for\x20it.\x20The\x20real\x20product\x27s\x20policy\x20(contact\x20the\x20platform\x20for\x20a\x20manual\x20refund)\x20is\x20an\x20off-chain\x20courtesy,\x20not\x20a\x20chain\x20route.','evidence':[]},{'id':'E4','class':'exception','name':'Risk-control\x20takedown\x20refunds\x20the\x20buyer\x20on\x20cancellation\x20day','actor':'platform','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelByPlatform','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'CURED\x20(wave-3,\x202026-11-06):\x20the\x20platform-side\x20kill\x20is\x20mounted\x20—\x20CancelByPlatform\x20(cutoff_fired\x20->\x20closed_cancel,\x20refund-rail\x20slot\x201001,\x20node-gated\x20tpl_forward_node_check\x20/\x20platform_cancel)\x20refunds\x20every\x20committed\x20order\x20in\x20full\x20when\x20the\x20round\x20is\x20halted\x20(regulatory\x20recall,\x20supplier\x20insolvency,\x20force\x20majeure).\x20The\x20edge\x20cannot\x20fire\x20pre-commitment\x20(node-gated\x20on\x20the\x20cutoff\x20entry)\x20or\x20claw\x20back\x20a\x20settled\x20round.','evidence':[]},{'id':'E5','class':'exception','name':'Stockout\x20auto-refunds\x20the\x20affected\x20buyers\x20the\x20same\x20day','actor':'platform','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'RefundOutOfStock','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'CURED\x20(wave-3,\x202026-11-06):\x20the\x20stockout\x20edge\x20is\x20mounted\x20—\x20RefundOutOfStock\x20(cutoff_fired\x20->\x20closed_cancel,\x20refund-rail\x20slot\x201001,\x20node-gated\x20tpl_forward_node_check\x20/\x20out_of_stock_refund)\x20gives\x20the\x20unfillable\x20consolidated\x20batch\x20the\x20benchmark\x27s\x20same-day\x20full\x20refund\x20through\x20the\x20SAME\x20refund_full\x20rail\x20(one\x20order-anchored\x20channel,\x20never\x20a\x20second).\x20The\x20paired\x20standing\x20invariant\x20INV-DM-STOCKOUT\x20is\x20kept\x20and\x20re-fires\x20while\x20the\x20forward\x20is\x20missing.','evidence':[]},{'id':'E6','class':'exception','name':'Short\x20count\x20or\x20short\x20weight\x20at\x20collection:\x20proportional\x20compensation','actor':'fulfiller','precondition':['M9'],'onchain':'expressible_with_gap','chainFootprint':{'node':'refunded','forward':'CompensateBadItem','prev':'return_requested','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20evidenced\x20compensation\x20branch\x20pays\x20on\x20the\x20point\x20staff\x27s\x20approval\x20row,\x20but\x20the\x20after-sales\x20rail\x20pays\x20the\x20whole\x20pool\x20—\x20a\x20proportional\x20amount\x20needs\x20the\x20disclosed\x20off-chain\x20pricing\x20discipline\x20(ruling\x20price\x20or\x20a\x20confirmed\x20messenger\x20quote),\x20never\x20a\x20silent\x20staff\x20decision.','guardKeyProbe':'bad_item_evidence','gapPredicate':{'probe':'price\x20the\x20amount\x20ONLY\x20by\x20an\x20arbitration\x20ruling'},'evidence':[{'file':'allocation.move','line':0xab,'pattern':'const\x20AllocationMode_Amount:u8\x20=\x200'}]},{'id':'E7','class':'exception','name':'Buyer\x20never\x20collects:\x20self-serve\x20refund\x20inside\x20the\x20bounded\x20pickup\x20window','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'RefundUnclaimed','prev':'at_point','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Goods\x20never\x20collected\x20refund\x20in\x20full\x20while\x20the\x20closing\x20window\x20from\x20the\x20at_point\x20entry\x20is\x20alive\x20—\x20the\x20abandon\x20self-heal.\x20Goods\x20ownership\x20after\x20the\x20refund\x20has\x20no\x20on-chain\x20primitive;\x20disposal\x20follows\x20the\x20disclosed\x20off-chain\x20point\x20agreement.','guardKeyProbe':'unclaimed_refund','evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'E8','class':'exception','name':'Window\x20closed,\x20still\x20uncollected:\x20keeper\x27s\x20late\x20exit\x20per\x20the\x20unclaimed_exit\x20selector','actor':'keeper','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'RefundUnclaimedLate','prev':'at_point','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20default\x20arm\x20refunds\x20the\x20buyer\x27s\x20principal\x20in\x20full\x20once\x20the\x20pickup\x20window\x20closes\x20—\x20the\x20real\x20next-day\x20refund\x20convention.\x20The\x20explicit\x20opt-in\x20arm\x20settles\x20to\x20supplier\x20plus\x20leader\x20but\x20hard-carries\x20a\x20keeper\x20appeal\x20leg\x20so\x20the\x20buyer\x20keeps\x20a\x20non-arbitration\x20route\x20while\x20the\x20window\x20is\x20open.','guardKeyProbe':'unclaimed_refund_late','evidence':[{'file':'allocation.move','line':0x50,'pattern':'const\x20E_ONCE_TRIGGERED:\x20u64\x20=\x2016'}]},{'id':'E9','class':'exception','name':'Who\x20owns\x20refunded\x20unclaimed\x20goods\x20(post-refund\x20disposal)','actor':'platform','precondition':['E7'],'onchain':'disclosure_only','disclosureProbe':'Goods\x20ownership\x20AFTER\x20a\x20refund\x20has\x20no\x20on-chain\x20primitive','commercialSemantics':'The\x20chain\x20has\x20no\x20ownership\x20primitive\x20over\x20physical\x20goods;\x20after\x20the\x20refund\x20the\x20parcel\x20belongs\x20to\x20whoever\x20the\x20disclosed\x20point\x20agreement\x20says.\x20The\x20disclosure\x20is\x20the\x20contract\x20—\x20the\x20chain\x20will\x20never\x20adjudicate\x20the\x20leftover\x20lettuce.','evidence':[]},{'id':'E10','class':'exception','name':'Wrong\x20or\x20damaged\x20item\x20discovered\x20after\x20receipt:\x20after-sales\x20filing\x20from\x20picked_up','actor':'buyer','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'RequestReturn','prev':'picked_up','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Filing\x20opens\x20a\x20closing\x20window\x20from\x20the\x20immutable\x20picked_up\x20entry\x20and\x20requires\x20the\x20order-holder\x20identity\x20set\x20—\x20a\x20time-only\x20window\x20on\x20a\x20buyer\x20edge\x20would\x20admit\x20any\x20caller.\x20The\x20three-segment\x20after-sales\x20track\x20(file,\x20ship,\x20receive)\x20records\x20while\x20the\x20allocator\x20rail\x20pays.','guardKeyProbe':'return_window_pickup','evidence':[{'file':'repository.move','line':0x36,'pattern':'E_POLICY_WRITE_GUARD_REQUIRED'}]},{'id':'E11','class':'exception','name':'Fresh\x20goods\x20spoiled:\x20refund-only\x20compensation\x20without\x20shipping\x20them\x20back','actor':'fulfiller','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'refunded','forward':'CompensateBadItem','prev':'return_requested','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'Nobody\x20ships\x20rotting\x20produce\x20back:\x20the\x20point\x20staff\x27s\x20evidenced\x20approval\x20advances\x20the\x20order\x20straight\x20into\x20the\x20refunded\x20terminal\x20and\x20the\x20rail\x20pays\x20there.\x20The\x20approval\x20row\x20is\x20order-keyed,\x20writer-bound\x20and\x20final\x20—\x20a\x20silent\x20staff\x20decision\x20is\x20structurally\x20impossible.','guardKeyProbe':'bad_item_evidence','evidence':[{'file':'repository.move','line':0x3c,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'},{'file':'order.move','line':0x15e,'pattern':'public\x20fun\x20owner_receive'}]},{'id':'E12','class':'exception','name':'Non-fresh\x20item\x20return-and-refund:\x20ship\x20back,\x20point\x20receives\x20(RMA\x20row)','actor':'fulfiller','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ReturnReceived','prev':'return_in_transit','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20return\x20receipt\x20rides\x20the\x20same\x20staff\x20roster\x20and\x20lands\x20the\x20RMA\x20row\x20under\x20its\x20own\x20policy;\x20the\x20money\x20authority\x20is\x20the\x20after-sales\x20rail\x20that\x20pays\x20once\x20the\x20RMA\x20state\x20is\x20reached.\x20Distinct\x20rail\x20key\x20keeps\x20the\x20per-allocator\x20rate\x20sums\x20intact.','guardKeyProbe':'return_received','evidence':[{'file':'repository.move','line':0x36,'pattern':'E_POLICY_WRITE_GUARD_REQUIRED'}]},{'id':'E13','class':'exception','name':'Return\x20parcel\x20lost\x20in\x20transit:\x20keeper\x27s\x20timed\x20refund\x20exit','actor':'keeper','precondition':['E12'],'onchain':'expressible','chainFootprint':{'node':'refunded','forward':'RefundLostReturn','prev':'return_in_transit','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'A\x20lost\x20return\x20cannot\x20strand\x20the\x20escrow:\x20after\x20the\x20transit\x20timeout\x20the\x20keeper\x20advances\x20the\x20parcel\x20state\x20into\x20the\x20refunded\x20terminal\x20so\x20the\x20buyer\x27s\x20money\x20returns\x20—\x20the\x20buyer\x20never\x20carries\x20the\x20return-leg\x20carrier\x20risk.','guardKeyProbe':'return_transit_timeout','evidence':[{'file':'allocation.move','line':0x50,'pattern':'const\x20E_ONCE_TRIGGERED:\x20u64\x20=\x2016'}]},{'id':'E14','class':'exception','name':'Goods\x20lost\x20or\x20damaged\x20between\x20warehouse\x20and\x20point\x20(carrier\x20claim)','actor':'platform','precondition':['M6'],'onchain':'disclosure_only','disclosureProbe':'TRANSIT\x20LOSS\x20IS\x20REMEDIED','commercialSemantics':'Leg-loss\x20before\x20the\x20point\x20is\x20the\x20platform\x27s\x20off-chain\x20carrier\x20claim;\x20the\x20disclosed\x20buyer\x20remedy\x20is\x20the\x20arbitration\x20route\x20into\x20the\x20full-refund\x20rail.\x20The\x20chain\x20records\x20no\x20carrier\x20insurance\x20semantics.','evidence':[]},{'id':'E15','class':'exception','name':'Point\x20closed\x20or\x20staff\x20roster\x20stale\x20when\x20the\x20batch\x20arrives','actor':'keeper','precondition':['M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'RefundUnclaimedLate','prev':'at_point','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'Re-pointing\x20the\x20roster\x20is\x20an\x20off-chain\x20dispatch\x20act\x20—\x20the\x20roster\x20write\x20is\x20the\x20dispatch\x20disclosure\x20surface,\x20and\x20a\x20stalled\x20arrival\x20ends\x20in\x20the\x20same\x20bounded\x20unclaimed\x20exits.\x20No\x20dynamic\x20re-routing\x20primitive\x20exists\x20on\x20chain.','guardKeyProbe':'unclaimed_refund_late','gapPredicate':{'probe':'roster\x20write\x20is\x20the\x20dispatch\x20disclosure\x20surface'},'evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'E16','class':'exception','name':'Dispute\x20not\x20settled\x20in-community:\x20escalate\x20to\x20the\x20third-party\x20arbitration\x20object','actor':'buyer','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'claim_window','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Filing\x20inside\x20the\x20closing\x20serial\x20window\x20stamps\x20the\x20dispute;\x20escalation\x20to\x20the\x20independent\x20arbitration\x20object\x20is\x20a\x20service-level\x20entry\x20that\x20checks\x20the\x20fee\x20and\x20the\x20op\x20permission\x20before\x20accepting\x20the\x20case.\x20The\x20order-holder\x20identity\x20legs\x20ship\x20in\x20the\x20guard\x20root\x20over\x20the\x20254\x20slot.','guardKeyProbe':'claim_filed','evidence':[{'file':'arbitration.move','line':0x22,'pattern':'E_FEE_NOT_ENOUGH'},{'file':'service.move','line':0x271,'pattern':'public\x20fun\x20dispute'}]},{'id':'E17','class':'exception','name':'Staff\x20forgets\x20the\x20redemption\x20row:\x20goods-holding\x20buyer\x20stalls','actor':'fulfiller','precondition':['M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'at_point','moneyEffect':'none'},'commercialSemantics':'The\x20residual\x20of\x20dual\x20confirmation\x20is\x20disclosed\x20both\x20directions:\x20the\x20counterparty\x20row\x20is\x20the\x20handover\x20baseline\x20the\x20dispute\x20surface\x20lacked,\x20and\x20a\x20forgetful\x20point\x20stalls\x20the\x20buyer\x20only\x20until\x20the\x20pickup\x20window\x20closes\x20—\x20then\x20the\x20refund-buyer\x20default\x20refunds\x20them\x20WITH\x20the\x20goods.\x20The\x20edge\x20is\x20never\x20swapped\x20to\x20a\x20staff-only\x20confirm.','gapPredicate':{'probe':'stalls\x20a\x20goods-holding\x20buyer'},'evidence':[{'file':'repository.move','line':0x36,'pattern':'E_POLICY_WRITE_GUARD_REQUIRED'}]},{'id':'E18','class':'exception','name':'Buyer\x20address,\x20phone\x20and\x20recipient\x20details\x20stay\x20off-chain\x20(PII)','actor':'platform','precondition':['M2'],'onchain':'unresolvable','unresolvableRef':'S6','disclosureProbe':'customer_required[^\x22]{0,80}never\x20gates','commercialSemantics':'Buyer\x20coordination\x20data\x20lives\x20in\x20the\x20off-chain\x20dispatch\x20and\x20point\x20systems.\x20The\x20declarative\x20required-info\x20field\x20never\x20gates\x20the\x20purchase\x20entry\x20on\x20this\x20shape,\x20and\x20no\x20on-chain\x20surface\x20should\x20ever\x20hold\x20the\x20neighbor\x27s\x20home\x20address.','evidence':[{'file':'service.move','line':0x100,'pattern':'customer_required:\x20vector<String>'}]},{'id':'E19','class':'exception','name':'Community\x20touch:\x20leader\x20passes\x20member\x20rebates\x20off-chain','actor':'merchant','precondition':['M9'],'onchain':'disclosure_only','disclosureProbe':'member\x20rebates\x20are\x20off-chain','commercialSemantics':'The\x20group\x27s\x20social\x20graph\x20is\x20enforced\x20off-chain;\x20the\x20leader\x27s\x20chain\x20footprint\x20is\x20exactly\x20one\x20commission\x20leg\x20at\x20settlement.\x20Any\x20deeper\x20member-level\x20split\x20on\x20chain\x20would\x20be\x20the\x20multi-layer\x20pattern\x20the\x20anti-pyramid\x20rule\x20forbids.','evidence':[]},{'id':'R1','class':'remedy','name':'Buyer\x20files\x20a\x20dispute\x20inside\x20the\x20serial\x20claim\x20window','actor':'buyer','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'claim_window','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20filing\x20window\x20closes\x20one\x20claim-window\x20after\x20the\x20window\x20entry;\x20the\x20arbitration\x20entry\x20side\x20checks\x20the\x20case\x20fee\x20(escrowed\x20with\x20the\x20filing)\x20and\x20the\x20caller\x27s\x20op\x20permission.\x20The\x20serial\x20window\x20carries\x20the\x20dispute-exclusion\x20of\x20settlement\x20by\x20structure\x20—\x20settlement\x20cannot\x20fire\x20while\x20a\x20filed\x20claim\x20holds\x20the\x20order.','guardKeyProbe':'claim_filed','evidence':[{'file':'arbitration.move','line':0x169,'pattern':'order::assert_op_permission(order,\x20ctx)'},{'file':'arbitration.move','line':0x22,'pattern':'E_FEE_NOT_ENOUGH'}]},{'id':'R2','class':'remedy','name':'Buyer-won\x20ruling\x20re-routes\x20the\x20order\x20into\x20the\x20full-refund\x20rail','actor':'merchant','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'claim_filed','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20won\x20guard\x20reads\x20the\x20canonical\x20two-slot\x20root\x20—\x20this\x20arbitration\x20object,\x20positive\x20non-zero\x20indemnity\x20—\x20with\x20the\x20zero-award\x20exclusion\x20leg,\x20and\x20one\x20instance\x20guards\x20one\x20exit\x20edge.\x20The\x20zero-indemnity\x20(platform-favor)\x20root\x20deliberately\x20does\x20NOT\x20fit\x20this\x20edge;\x20that\x20ruling\x20takes\x20the\x20resume\x20rail.','guardKeyProbe':'arb_refund','evidence':[{'file':'arb.move','line':0xa6,'pattern':'public\x20struct\x20Indemnity\x20has\x20copy,\x20drop,\x20store'}]},{'id':'R3','class':'remedy','name':'Platform-favor\x20(zero-indemnity)\x20ruling\x20resumes\x20the\x20order\x20at\x20picked_up','actor':'merchant','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'picked_up','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'A\x20dismissed\x20ruling\x20appends\x20a\x20fresh\x20picked_up\x20entry\x20and\x20re-anchors\x20the\x20window\x20clocks,\x20so\x20the\x20order\x20re-enters\x20the\x20normal\x20rest-and-collect\x20flow\x20and\x20the\x20keeper\x20can\x20re-open\x20a\x20fresh\x20claim\x20window\x20from\x20the\x20new\x20anchor.\x20Nothing\x20is\x20paid;\x20the\x20goods\x20stay\x20with\x20the\x20buyer\x20and\x20the\x20escrow\x20rides\x20on.','guardKeyProbe':'arb_dismissed_resume','evidence':[]},{'id':'R4','class':'remedy','name':'Buyer\x20withdraws\x20the\x20filed\x20dispute\x20(resumes\x20at\x20picked_up,\x20zero\x20money\x20legs)','actor':'buyer','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'picked_up','forward':'WithdrawClaim','prev':'claim_filed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'CURED\x20(wave-3,\x202026-11-06;\x20synced\x20from\x20the\x20sibling\x20leader-sourced\x20template\x27s\x20F-03\x20fix):\x20the\x20withdrawal\x20RESUMES\x20the\x20order\x20at\x20picked_up\x20with\x20zero\x20money\x20legs\x20—\x20the\x20former\x20shape\x20landed\x20it\x20in\x20the\x20closed_cancel\x20refund\x20terminal\x20while\x20the\x20buyer\x20may\x20still\x20hold\x20the\x20goods,\x20a\x20goods-holding\x20single-signature\x20arbitrage.\x20The\x20fresh\x20picked_up\x20entry\x20re-anchors\x20the\x20after-sales\x20windows\x20and\x20the\x20platform\x27s\x20remedies\x20stay\x20intact;\x20the\x20withdrawal\x20never\x20sweeps\x20the\x20indemnity.','guardKeyProbe':'withdraw_claim','evidence':[{'file':'arb.move','line':0x257,'pattern':'fun\x20withdraw<T>'},{'file':'arb.move','line':0x266,'pattern':'balance::withdraw_all'},{'file':'arbitration.move','line':0x21a,'pattern':'public\x20fun\x20arb_withdraw'},{'file':'order.move','line':0x1a,'pattern':'E_ORDER_ALREADY_CLAIMED'},{'file':'order.move','line':0x79,'pattern':'option::is_none(&self.claimed_by)'}]},{'id':'R5','class':'remedy','name':'Indemnity\x20paid\x20from\x20the\x20service\x20compensation\x20pool\x20(capped\x20at\x203x\x20the\x20order)','actor':'merchant','precondition':['R2'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','moneyEffect':'compensate'},'commercialSemantics':'The\x20compensation\x20payout\x20is\x20a\x20commercial\x20track\x20from\x20the\x20service\x20pool\x20that\x20never\x20moves\x20the\x20order\x20escrow,\x20capped\x20by\x20the\x20protocol\x20multiple\x20at\x20three\x20times\x20the\x20order\x20amount.\x20The\x20statutory\x20floor\x20regime\x20is\x20stricter\x20than\x20the\x20cap\x20can\x20express\x20—\x20a\x20known\x20chain-conflict\x20the\x20catalog\x20discloses\x20and\x20escalates.\x20Fund\x20coverage\x20is\x20advisory\x20only;\x20under-funded\x20SKUs\x20fail\x20loudly\x20at\x20buy\x20or\x20claim\x20time.','gapPredicate':{'probe':'3x\x20coverage\x20refusal'},'evidence':[{'file':'arb.move','line':0x15,'pattern':'const\x20MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'},{'file':'arb.move','line':0x21d,'pattern':'saturating_mul'},{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'R6','class':'remedy','name':'Refund\x20payout\x20is\x20two-step:\x20the\x20rail\x20pays\x20the\x20order,\x20the\x20buyer\x20extracts','actor':'buyer','precondition':['R2'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'The\x20refund\x20rail\x20pays\x20the\x20order\x20object,\x20not\x20a\x20wallet:\x20the\x20buyer\x20signs\x20a\x20second\x20owner\x20extraction\x20call\x20to\x20sweep\x20the\x20funds\x20out.\x20The\x20two-step\x20shape\x20is\x20disclosed\x20as\x20a\x20UX\x20obligation\x20—\x20surfacing\x20it\x20is\x20the\x20builder\x27s\x20duty,\x20because\x20the\x20chain\x20will\x20not\x20nag.','evidence':[{'file':'order.move','line':0x15e,'pattern':'public\x20fun\x20owner_receive'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'R7','class':'remedy','name':'Escrowed\x20principal\x20after\x20an\x20award\x20exits\x20via\x20the\x20settle\x20rail\x20at\x20the\x20claim-window\x20cutoff','actor':'keeper','precondition':['R2'],'onchain':'expressible_with_gap','chainFootprint':{'node':'completed','forward':'SettleAfterWindow','prev':'claim_window','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'Under\x20the\x20shipped\x20either\x20pairing\x20one\x20paid\x20indemnity\x20closes\x20the\x20ruled-refund\x20rail\x20and\x20the\x20principal\x20exits\x20through\x20the\x20ordinary\x20settlement\x20at\x20the\x20cutoff\x20—\x20there\x20is\x20no\x20award-triggered\x20sweep\x20since\x20the\x20C-6\x20surgery.\x20The\x20gap:\x20the\x20exit\x20is\x20a\x20clock,\x20not\x20an\x20award,\x20so\x20a\x20late-claiming\x20buyer\x20on\x20a\x20settled\x20order\x20rides\x20the\x20compensation\x20pool\x20instead.','guardKeyProbe':'settle_window_gate','gapPredicate':{'probe':'principal\x20exit[^\x22]{0,10}via\x20the\x20settle\x20rail'},'evidence':[]},{'id':'R8','class':'remedy','name':'Partial-remedy\x20amount\x20priced\x20off-chain\x20(ruling\x20price\x20or\x20consented\x20messenger\x20quote)','actor':'merchant','precondition':['R1'],'onchain':'expressible_with_gap','chainFootprint':{'node':'refunded','moneyEffect':'refund'},'commercialSemantics':'The\x20partial\x20amount\x20is\x20a\x20self-disciplined\x20quote\x20the\x20chain\x20never\x20forces\x20anyone\x20to\x20honor;\x20high-value\x20or\x20low-trust\x20rounds\x20mount\x20the\x20chain-enforced\x20consent\x20branch\x20where\x20an\x20equal-bytes\x20acceptance\x20must\x20exist\x20before\x20the\x20rail\x20fires.\x20The\x20fairness\x20of\x20the\x20number\x20stays\x20a\x20business\x20matter.','gapPredicate':{'probe':'SELF-DISCIPLINED'},'evidence':[{'file':'repository.move','line':0x3c,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'R9','class':'remedy','name':'Regulatory\x20surface:\x20below-cost\x20dumping,\x20food-safety\x20traceability,\x20platform-work\x20rules','actor':'platform','precondition':['M2'],'onchain':'disclosure_only','disclosureProbe':'regulated\x20retail\x20surface','commercialSemantics':'Community\x20group-buy\x20is\x20a\x20regulated\x20retail\x20surface;\x20food-safety\x20traceability,\x20cold-chain\x20records\x20and\x20below-cost\x20rules\x20are\x20off-chain\x20compliance.\x20The\x20roster\x20and\x20permission\x20rails\x20carry\x20no\x20employment\x20semantics\x20and\x20the\x20disclosure\x20says\x20so.','evidence':[]},{'id':'R10','class':'remedy','name':'Platform\x20advances\x20first-responsibility\x20compensation,\x20then\x20recovers\x20from\x20the\x20producer','actor':'platform','precondition':['R1'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','moneyEffect':'compensate'},'commercialSemantics':'The\x20service\x20compensation\x20pool\x20funds\x20first-responsibility\x20payouts,\x20but\x20the\x20after-the-fact\x20recovery\x20from\x20the\x20producer\x20or\x20leader\x20has\x20no\x20chain\x20primitive\x20at\x20all\x20—\x20it\x20is\x20a\x20pure\x20off-chain\x20contract\x20matter.\x20DISCLOSURE\x20CURED\x20(v194,\x20FLOWS\x20ddmc\x20D1):\x20the\x20template\x27s\x20build_notes\x20now\x20carry\x20the\x20FIRST-RESPONSIBILITY\x20PAYOUT\x20AND\x20RECOVERY\x20red-line\x20note,\x20so\x20the\x20strict\x20gap\x20probe\x20is\x20expected\x20to\x20HIT\x20and\x20the\x20step\x20is\x20disclosed;\x20the\x20recovery\x20side\x20itself\x20stays\x20off-chain\x20(no\x20chain\x20primitive\x20exists),\x20not\x20a\x20covered\x20one.','gapPredicate':{'probe':'recover[^\x22]{0,80}from\x20the\x20producer'},'evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'P1','class':'post','name':'Buyer\x20submits\x20a\x20review\x20(content\x20leg:\x20the\x20rating\x20row\x20must\x20exist)','actor':'buyer','precondition':['M11'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'SubmitReview','prev':'completed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20review\x20rail\x20is\x20money-free\x20by\x20topology\x20and\x20closes\x20a\x20fixed\x20number\x20of\x20days\x20after\x20the\x20picked_up\x20entry\x20—\x20the\x20real\x20benchmark\x27s\x20reviews-shut-after-fortnight\x20semantic.\x20A\x20review\x20that\x20never\x20landed\x20cannot\x20pass\x20the\x20edge:\x20the\x20content\x20leg\x20probes\x20the\x20order-keyed\x20rating\x20row\x20under\x20the\x20review\x20plan.','guardKeyProbe':'review_submit','evidence':[{'file':'repository.move','line':0x3c,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'P2','class':'post','name':'Review\x20reward\x20claim\x20(if\x20the\x20merchant\x20armed\x20one)','actor':'buyer','precondition':['P1'],'onchain':'expressible','chainFootprint':{'node':'reviewed','moneyEffect':'reward'},'commercialSemantics':'Review\x20incentives\x20are\x20a\x20reward\x20track\x20separate\x20from\x20the\x20escrow\x20rails;\x20the\x20claim\x20pays\x20the\x20reward\x20balance\x20to\x20the\x20caller.\x20The\x20credential\x20is\x20kernel-owned\x20so\x20a\x20review\x20cannot\x20be\x20double-claimed\x20across\x20accounts\x20of\x20the\x20same\x20buyer.','evidence':[{'file':'reward.move','line':0xe3,'pattern':'public\x20fun\x20claim<T>'}]},{'id':'P3','class':'post','name':'Keeper\x27s\x20once-only\x20reopen\x20of\x20the\x20window\x20after\x20review\x20(bookkeeping\x20leg)','actor':'keeper','precondition':['P1'],'onchain':'expressible','chainFootprint':{'node':'claim_window','forward':'ReopenWindowAfterReview','prev':'reviewed','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'A\x20bounded\x20keeper-only\x20reopen\x20exists\x20for\x20post-settlement\x20bookkeeping:\x20one\x20episode\x20per\x20order,\x20anchored\x20on\x20the\x20first\x20reviewed\x20entry,\x20never\x20re-arming.\x20Drained\x20refund\x20rails\x20absorb\x20the\x20re-entry\x20as\x20a\x20no-op\x20—\x20the\x20once-slot\x20abort\x20is\x20the\x20loud\x20boundary.','guardKeyProbe':'reopen_window','evidence':[{'file':'allocation.move','line':0x50,'pattern':'const\x20E_ONCE_TRIGGERED:\x20u64\x20=\x2016'}]},{'id':'P4','class':'post','name':'Leader\x27s\x20rebate\x20pass-through\x20to\x20group\x20members\x20(off-chain\x20settlement)','actor':'merchant','precondition':['M11'],'onchain':'disclosure_only','disclosureProbe':'rebates\x20OFF-CHAIN','commercialSemantics':'Member-level\x20rebates\x20are\x20paid\x20off-chain\x20out\x20of\x20the\x20leader\x27s\x20single\x20commission\x20leg;\x20the\x20chain\x20will\x20never\x20see\x20or\x20enforce\x20them.\x20One\x20disclosed\x20layer\x20is\x20the\x20anti-pyramid\x20boundary\x20and\x20the\x20disclosure\x20says\x20exactly\x20that.','evidence':[]},{'id':'P5','class':'post','name':'Repurchase:\x20join\x20the\x20next\x20daily\x20round','actor':'buyer','precondition':['M11'],'onchain':'expressible_with_gap','chainFootprint':{'node':'paid','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'The\x20next\x20round\x20is\x20a\x20fresh\x20join\x20guarded\x20by\x20the\x20runtime\x20buy\x20switch\x20—\x20the\x20sanctioned\x20batch\x20boundary.\x20Full\x20machine\x20reuse\x20across\x20rounds\x20(advance\x20gates\x20re-reading\x20a\x20cutoff\x20row)\x20is\x20filed\x20for\x20the\x20protocol\x20window;\x20today\x20a\x20new\x20round\x20redeploys\x20the\x20service\x20or\x20runs\x20under\x20the\x20disclosed\x20clock\x20discipline.','gapPredicate':{'probe':'repository\x20cutoff\x20row'},'evidence':[{'file':'service.move','line':0x4f1,'pattern':'public\x20fun\x20buy_guard_set'}]},{'id':'P6','class':'post','name':'Leader\x20commission\x20Entity\x20leg\x20paid\x20at\x20settlement\x20(benchmark\x200)','actor':'merchant','precondition':['M11'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'release'},'commercialSemantics':'The\x20leader\x27s\x20single\x20disclosed\x20commission\x20Entity\x20leg\x20is\x20the\x20only\x20on-chain\x20money\x20the\x20community\x20organizer\x20ever\x20receives;\x20it\x20defaults\x20to\x20zero\x20under\x20the\x20P2P\x20doctrine\x20and\x20can\x20only\x20be\x20raised\x20through\x20declared\x20build\x20surfaces.\x20A\x20slot-based\x20person\x20leg\x20is\x20unfundable\x20and\x20forbidden\x20as\x20a\x20second\x20layer.','evidence':[{'file':'allocation.move','line':0x271,'pattern':'Recipient::Entity'}]}],'invariants':[{'id':'INV-DM-STOCKOUT','statement':'Stockout\x20and\x20risk-control\x20takedown\x20both\x20promise\x20a\x20same-day\x20full\x20refund\x20to\x20affected\x20buyers;\x20the\x20template\x20must\x20always\x20ship\x20a\x20RefundOutOfStock\x20exit\x20edge\x20(paired\x20with\x20the\x20CancelByPlatform\x20kill)\x20so\x20the\x20promise\x20is\x20executable,\x20not\x20prose.\x20Standing\x20check\x20(CURED\x202026-11-06,\x20wave-3):\x20both\x20edges\x20are\x20mounted\x20(cutoff_fired\x20->\x20closed_cancel,\x20refund-rail\x20slot\x201001,\x20node-gated\x20tpl_forward_node_check)\x20—\x20deleting\x20the\x20stockout\x20forward\x20re-fires\x20this\x20invariant.','violation':{'whileMissingForward':'RefundOutOfStock'},'evidence':[]},{'id':'INV-DM-ARBCAP','statement':'The\x20protocol\x20caps\x20the\x20arbitration\x20indemnity\x20at\x20three\x20times\x20the\x20order\x20amount,\x20while\x20the\x20statutory\x20floor\x20for\x20substandard\x20goods\x20is\x20ten\x20times\x20the\x20price\x20(or\x20three\x20times\x20the\x20loss\x20with\x20a\x20minimum\x20payout)\x20—\x20the\x20cap\x20constant\x20cannot\x20express\x20the\x20statutory\x20minimum,\x20so\x20a\x20compliant\x20ruling\x20regime\x20needs\x20a\x20disclosure\x20or\x20a\x20protocol\x20raise,\x20never\x20a\x20silent\x20cap.','chainConflict':'indemnity\x20cap\x20multiple\x20(3)\x20is\x20BELOW\x20the\x20statutory\x20compensation\x20floor\x20(10x\x20price\x20/\x203x\x20loss\x20with\x20minimum)\x20for\x20the\x20fresh-goods\x20retail\x20case','evidence':[{'file':'arb.move','line':0x15,'pattern':'const\x20MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'},{'file':'arb.move','line':0x21d,'pattern':'saturating_mul'}]},{'id':'INV-DM-AWARDFLOOR','statement':'The\x20buyer-won\x20refund\x20rail\x20has\x20no\x20minimum-award\x20leg\x20by\x20default:\x20a\x20symbolic\x20award\x20unlocks\x20the\x20full\x20principal\x20refund\x20because\x20the\x20floor\x20identifier\x20reads\x20zero\x20and\x20this\x20catalog\x20emits\x20no\x20floor\x20knob.\x20Builders\x20serving\x20high-trust\x20volume\x20should\x20declare\x20a\x20floor,\x20or\x20the\x20won\x20rail\x20must\x20be\x20treated\x20as\x20a\x20refund\x20rail\x20with\x20a\x20symbolic\x20trigger.','chainConflict':'the\x20won-rail\x20minimum\x20indemnity\x20leg\x20(identifier\x205)\x20ships\x20unset\x20on\x20this\x20template,\x20so\x20any\x20positive\x20indemnity\x20satisfies\x20the\x20won\x20root','evidence':[{'file':'arb.move','line':0xa6,'pattern':'public\x20struct\x20Indemnity\x20has\x20copy,\x20drop,\x20store'}]},{'id':'INV-DM-RETURNWINDOW','statement':'The\x20after-sales\x20filing\x20window\x20is\x20parameterized\x20from\x20the\x20picked_up\x20entry\x20and\x20the\x20benchmark\x20sets\x20it\x20at\x2048\x20hours\x20for\x20fresh\x20goods;\x20non-fresh\x20categories\x20carry\x20a\x20statutory\x20no-reason\x20return\x20period\x20of\x20seven\x20days,\x20so\x20a\x20category-aware\x20build\x20must\x20re-parameterize\x20the\x20window\x20instead\x20of\x20trusting\x20the\x20benchmark\x20default.','chainConflict':'benchmark\x20after-sales\x20window\x20(48h)\x20is\x20shorter\x20than\x20the\x20statutory\x207-day\x20no-reason\x20return\x20period\x20for\x20non-fresh\x20categories','evidence':[{'file':'order.move','line':0xcc,'pattern':'public\x20fun\x20items(self:&Order)'}]}]};