@wowok/agent-mcp 3.4.3 → 3.4.4

package/dist/knowledge/path-oracle/products/taobao-presale.js

@@ -0,0 +1 @@
+export const TAOBAO_PRESALE_ORACLE={'productRef':'taobao-presale','products':['taobao-tmall-presale','jd-presale'],'oracleVersion':'1.1.0','steps':[{'id':'M1','class':'offchain','name':'Browse\x20the\x20presale\x20campaign\x20(deposit-expansion\x20hype,\x20cross-shop\x20coupons)','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Campaign\x20economics\x20(deposit\x20expansion\x20coefficients,\x20stacked\x20coupons,\x2088VIP\x20vouchers)\x20are\x20platform\x20marketing\x20acts\x20with\x20no\x20order\x20object\x20yet.','evidence':[]},{'id':'M2','class':'offchain','name':'Place\x20the\x20presale\x20waitlist\x20order\x20(pre-deposit\x20reservation)','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'A\x20free\x20waitlist\x20slot\x20before\x20the\x20deposit\x20is\x20an\x20off-chain\x20Keeper\x20concern,\x20not\x20a\x20Machine\x20node:\x20no\x20unpaid-reservation\x20state\x20exists\x20on\x20chain\x20—\x20buy()\x20escrows\x20the\x20deposit\x20atomically.','evidence':[]},{'id':'M7','class':'offchain','name':'Carrier\x20transit\x20after\x20the\x20production\x20and\x20ship\x20step','actor':'keeper','precondition':['M6'],'onchain':'not_applicable','commercialSemantics':'Carrier\x20movement\x20is\x20off-chain;\x20the\x20after-sales\x20window\x20anchors\x20on\x20the\x20SHIPPED\x20entry\x20precisely\x20so\x20transit\x20time\x20cannot\x20eat\x20the\x20statutory\x20window.','evidence':[]},{'id':'M3','class':'main','name':'Pay\x20the\x20deposit\x20into\x20escrow\x20(single\x20atomic\x20entry)','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'deposit_paid','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'The\x20deposit\x20escrows\x20atomically\x20at\x20buy();\x20Order.amount\x20freezes\x20at\x20the\x20DEPOSIT\x20and\x20never\x20grows\x20—\x20amount\x20!=\x20captured\x20total\x20(H3\x20disclosure).\x20The\x20real\x2030-minute\x20unpaid-close\x20rule\x20has\x20no\x20on-chain\x20state\x20to\x20close.','evidence':[{'file':'order.move','line':0x41,'pattern':'public\x20struct\x20Order'}]},{'id':'M4','class':'main','name':'Keeper\x20opens\x20the\x20balance\x20window\x20after\x20the\x20production\x20lead\x20time','actor':'keeper','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'balance_due','forward':'OpenBalanceWindow','prev':'deposit_paid','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'balance_window_open','commercialSemantics':'production_lead_days\x20(30)\x20after\x20deposit_paid\x20the\x20keeper\x20advances\x20the\x20order\x20into\x20balance_due\x20—\x20the\x20production-scheduling\x20signal\x20made\x20literal.','evidence':[]},{'id':'M5','class':'main','name':'Buyer\x20pays\x20the\x20balance\x20(multi-TX\x20capture\x20through\x20the\x20fund\x20gate)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'balance_paid','forward':'PayBalance','prev':'balance_due','identity':'order_holder','moneyEffect':'escrow_in'},'guardKeyProbe':'balance_capture','commercialSemantics':'The\x20capture\x20is\x20NOT\x20one-PTB\x20atomic:\x20the\x20gate\x20reads\x20the\x20committed\x20pre-transaction\x20balance,\x20so\x20the\x20balance\x20funds\x20MUST\x20be\x20committed\x20in\x20a\x20PRIOR\x20transaction\x20(a\x20same-PTB\x20capture\x20always\x20aborts).\x20[HIS-35\x202026-11-09:\x20the\x20one-PTB\x20counter-example\x20rode\x20a\x20buy-escrowed\x20full-price\x20Allocation\x20(F-37\x20contamination);\x20adapter\x20read_object\x20resolves\x20committed\x20store\x20first\x20for\x20already-committed\x20child\x20objects\x20—\x20Card\x20B\x20post-state\x20query\x20family\x20is\x20the\x20future\x20unlock.]\x20min_balance\x20=\x20full_price\x20-\x20deposit\x20via\x20balance::join.','evidence':[{'file':'order.move','line':0xc5,'pattern':'public\x20fun\x20amount'}]},{'id':'M6','class':'main','name':'Seller\x20ships\x20after\x20production\x20(evidence-gated)','actor':'merchant','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'shipped','forward':'Ship','prev':'balance_paid','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'ship','commercialSemantics':'Ship\x20carries\x20the\x20tracking\x20evidence\x20row;\x20this\x20entry\x20starts\x20the\x20shipment-anchored\x20after-sales\x20clock\x20(F-52\x20doctrine).','evidence':[]},{'id':'M8','class':'main','name':'Buyer\x20confirms\x20delivery\x20(or\x20keeper\x20auto-confirm)','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ConfirmDelivery','prev':'shipped','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'deliver_confirm','commercialSemantics':'auto_confirm_days\x20advances\x20a\x20silent\x20buyer;\x20delivered\x20opens\x20the\x20review\x20window\x20and\x20the\x20settlement\x20gate.','evidence':[]},{'id':'M9','class':'post','name':'Buyer\x20writes\x20an\x20optional\x20review\x20(reputation\x20rail)','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'Review','prev':'delivered','identity':'order_holder','moneyEffect':'reward'},'guardKeyProbe':'review_window','commercialSemantics':'Reputation-only\x20rail\x20inside\x20review_window_days\x20—\x20no\x20pool-funded\x20reward\x20on\x20this\x20template.','evidence':[]},{'id':'M10','class':'post','name':'Settle\x20after\x20delivery\x20(state-freeze\x20gate,\x20pool-global\x20threshold)','actor':'keeper','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'Settle','prev':'delivered','identity':'permission_index','moneyEffect':'release'},'guardKeyProbe':'settle_window_gate','commercialSemantics':'settlement_days\x20(7)\x20after\x20delivery\x20the\x20keeper\x27s\x20release\x20sweep\x20settles;\x20the\x20gate\x20is\x20topologically\x20mutually\x20exclusive\x20with\x20the\x20after-sales\x20rail\x20(a\x20return\x20happens\x20BEFORE\x20settlement\x20—\x20the\x20whole\x20pool\x20is\x20intact\x20on\x20that\x20rail).','evidence':[]},{'id':'E1','class':'exception','name':'Deposit\x20unpaid\x20in\x2030\x20minutes:\x20auto-close\x20of\x20the\x20reservation','actor':'keeper','precondition':['M2'],'onchain':'disclosure_only','disclosureProbe':'no\x20unpaid-reservation\x20state|free\x20waitlist\x20slot','commercialSemantics':'The\x20real\x20auto-close\x20has\x20no\x20on-chain\x20state\x20to\x20close:\x20the\x20two-node\x20reserved->deposit_paid\x20entry\x20collapses\x20to\x20ONE\x20deposit_paid\x20entry\x20node,\x20disclosed\x20via\x20the\x20differences\x20(unpaid\x20handling\x20is\x20a\x20Keeper-side\x20concern).','evidence':[]},{'id':'E2','class':'exception','name':'Buyer\x20cancels\x20during\x20the\x20deposit\x20stage\x20(selector-priced\x20exit)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'reservation_cancelled','forward':'CancelReservation','prev':'deposit_paid','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'deposit_exit','commercialSemantics':'The\x20deposit_exit_policy\x20selector\x20decides\x20the\x20money:\x20\x27refund\x27\x20returns\x20the\x20whole\x20deposit,\x20\x27kill_fee\x27\x20forfeits\x20kill_fee_bps\x20—\x20priced,\x20not\x20mechanical\x20(E5).','evidence':[]},{'id':'E3','class':'exception','name':'Buyer\x20declines\x20to\x20pay\x20the\x20balance\x20(kill-fee\x20or\x20refund\x20exit)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'reservation_cancelled','forward':'DeclineBalance','prev':'balance_due','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'deposit_exit','commercialSemantics':'There\x20is\x20NO\x20on-chain\x20obligation\x20to\x20pay\x20the\x20balance\x20(H1);\x20declining\x20exits\x20through\x20the\x20same\x20deposit_exit\x20selector\x20as\x20E2.','evidence':[]},{'id':'E4','class':'exception','name':'Balance\x20window\x20lapses:\x20keeper\x20timeout\x20exit','actor':'keeper','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'reservation_cancelled','forward':'BalanceWindowTimeout','prev':'balance_due','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'balance_deadline','commercialSemantics':'balance_window_days\x20(14)\x20after\x20the\x20window\x20opens\x20the\x20keeper\x20fires\x20the\x20deposit-exit\x20so\x20the\x20deposit\x20can\x20never\x20strand\x20at\x20balance_due\x20(INV-B2).','evidence':[]},{'id':'E5','class':'exception','name':'Kill-fee\x20split\x20booked\x20(30%\x20seller\x20/\x2070%\x20buyer\x20by\x20default)','actor':'merchant','precondition':['E2'],'onchain':'expressible','chainFootprint':{'node':'reservation_cancelled','moneyEffect':'refund'},'commercialSemantics':'kill_fee_bps\x203000\x20/\x20kill_fee_buyer_bps\x207000\x20is\x20production\x20compensation,\x20not\x20punishment\x20—\x20the\x20forfeited\x20amount\x20is\x20quoted\x20in\x20the\x20Messenger\x20thread;\x20\x27deposits\x20are\x20nominally\x20non-refundable\x27\x20is\x20a\x20NEGOTIABLE\x20norm,\x20not\x20a\x20chain\x20rule.','evidence':[]},{'id':'E6','class':'exception','name':'Seller\x20at\x20fault\x20blocks\x20the\x20balance\x20(statutory\x20double\x20return)','actor':'merchant','precondition':['M4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'reservation_cancelled','moneyEffect':'refund'},'gapPredicate':{'probe':'compensation\x20fund|arbitration.compensate|MAX_INDEMNITY_MULTIPLE'},'commercialSemantics':'Civil\x20Code\x20art.587:\x20seller\x20fault\x20=\x20deposit\x20back\x20+\x20equal\x20compensation.\x20The\x20deposit\x20rides\x20the\x20selector\x20rail\x20(which\x20does\x20NOT\x20carve\x20out\x20seller\x20fault\x20—\x20kill_fee\x20would\x20still\x20bite),\x20and\x20the\x20compensation\x20leg\x20rides\x20the\x20fund\x20channel\x20capped\x20at\x203x\x20escrow.\x20The\x20seller-fault\x20carve-out\x20from\x20the\x20kill-fee\x20selector\x20is\x20undisclosed\x20—\x20reported\x20finding.','evidence':[]},{'id':'E7','class':'exception','name':'Seller\x20cancels\x20or\x20raises\x20the\x20promised\x20discount\x20(bad-faith\x20breach)','actor':'merchant','precondition':['M4'],'onchain':'disclosure_only','disclosureProbe':'floor\x20coupons\x20at\x20issuance|discount\x20floor','commercialSemantics':'Platform\x20rule:\x20the\x20seller\x20must\x20honor\x20promised\x20discounts\x20or\x20eat\x20the\x20violation\x20penalty.\x20The\x20chain\x27s\x20counterpart\x20is\x20the\x20DISCOUNT\x20FLOOR\x20discipline\x20(coupons\x20cannot\x20zero\x20the\x20deposit;\x20the\x20registry\x20is\x20mutable\x20post-publish)\x20plus\x20the\x20negotiated-norm\x20disclosure\x20—\x20the\x20account-level\x20penalty\x20itself\x20is\x20off-chain.','evidence':[]},{'id':'E8','class':'exception','name':'Buyer\x20cancels\x20after\x20balance\x20paid,\x20before\x20shipment\x20(full\x20refund)','actor':'buyer','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelBeforeShipment','prev':'balance_paid','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'cancel_before_ship','commercialSemantics':'Post-balance\x20pre-ship\x20cancel\x20refunds\x20in\x20FULL\x20—\x20a\x20DISTINCT\x20terminal\x20state\x20(never\x20reservation_cancelled),\x20so\x20the\x20kill-fee\x20selector\x20can\x20never\x20eat\x20a\x20paid-in-full\x20order.','evidence':[]},{'id':'E9','class':'exception','name':'Buyer\x20rejects\x20the\x20parcel\x20in\x20transit\x20(pre-delivery\x20return)','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'RequestReturnInTransit','prev':'shipped','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'return_request_transit','commercialSemantics':'Refuse-the-parcel\x20opens\x20the\x20after-sales\x20rail\x20before\x20delivery;\x20the\x20window\x20anchor\x20stays\x20on\x20shipment.','evidence':[]},{'id':'E10','class':'exception','name':'Buyer\x20requests\x20a\x207-day\x20no-reason\x20return','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'RequestReturn','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'return_window_presale','commercialSemantics':'return_window_days\x20(7)\x20is\x20the\x20CLOSING\x20bound\x20anchored\x20on\x20the\x20SHIPPED\x20entry\x20—\x20never\x20delivered\x20—\x20so\x20the\x20value\x20covers\x20carrier\x20transit\x20(F-52\x20deadlock\x20doctrine;\x20U6\x20statutory-anchor\x20conflict\x20reported\x20separately).','evidence':[]},{'id':'E11','class':'exception','name':'Seller\x20silent\x20or\x20rejecting\x20on\x20the\x20return\x20(deemed\x20receipt\x20rail)','actor':'merchant','precondition':['E12'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ReturnReceiptTimeoutByKeeper','prev':'return_in_transit','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'return_response_timeout','commercialSemantics':'return_response_days\x20(7)\x20after\x20the\x20buyer\x27s\x20return-shipment\x20declaration\x20(the\x20return_in_transit\x20entry)\x20with\x20no\x20RMA\x20receipt\x20row,\x20the\x20keeper\x20deems\x20receipt\x20(returnless\x20approval)\x20so\x20the\x20after-sales\x20refund\x20rail\x20arms;\x20an\x20explicit\x20seller\x20contest\x20escalates\x20via\x20the\x20ArbRefundReturn\x20twin\x20—\x20a\x20buyer\x20who\x20shipped\x20the\x20return\x20is\x20never\x20hostage\x20to\x20the\x20merchant\x27s\x20acknowledgement\x20(F-TBPM9-O5-02).','evidence':[]},{'id':'E12','class':'exception','name':'Buyer\x20ships\x20the\x20return\x20back\x20(mid-leg\x20declaration)','actor':'buyer','precondition':['E10'],'onchain':'expressible','chainFootprint':{'node':'return_in_transit','forward':'ShipReturn','prev':'return_requested','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'return_shipped','commercialSemantics':'The\x20TPL-10\x20mid-leg\x20waypoint\x20exists\x20on\x20this\x20template;\x20the\x20declaration\x20also\x20arms\x20the\x20receipt-timeout\x20clock.','evidence':[]},{'id':'E13','class':'exception','name':'Return\x20received\x20by\x20the\x20seller','actor':'merchant','precondition':['E12'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ReturnReceived','prev':'return_in_transit','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'return_received','commercialSemantics':'Merchant\x20acknowledgement\x20lands\x20in\x20the\x20returned\x20waypoint\x20(permission\x201001).','evidence':[]},{'id':'E14','class':'exception','name':'After-sales\x20refund\x20executed\x20(record\x20waypoint)','actor':'keeper','precondition':['E13'],'onchain':'expressible','chainFootprint':{'node':'refunded','forward':'RefundExecuted','prev':'returned','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'refund_executed','commercialSemantics':'The\x20refunded\x20node\x20is\x20the\x20machine-side\x20receipt\x20that\x20the\x20refund\x20allocator\x20actually\x20paid\x20—\x20the\x20money\x20authority\x20stays\x20the\x20allocation\x20rail.','evidence':[]},{'id':'E15','class':'exception','name':'Seller\x20ships\x20late\x20beyond\x20the\x20lead\x20time\x20and\x20fails\x20to\x20fulfill\x20(double\x20return)','actor':'merchant','precondition':['M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','moneyEffect':'refund'},'gapPredicate':{'probe':'compensation\x20fund|arbitration.compensate|MAX_INDEMNITY_MULTIPLE'},'commercialSemantics':'Tmall\x20rule:\x20unfulfilled-by-late-ship\x20=\x20deposit\x20back\x20+\x20equal\x20compensation.\x20The\x20compensation\x20leg\x20rides\x20the\x20fund\x20channel\x20(>=\x203x\x20cap),\x20but\x20the\x20machine\x20has\x20NO\x20claim\x20waypoint\x20and\x20NO\x20ship-by\x20deadline\x20—\x20the\x20ruling-driven\x20exit\x20from\x20delivered\x20is\x20the\x20only\x20in-shape\x20rail;\x20the\x20pre-delivery\x20variant\x20is\x20disclosure-only\x20upstream\x20of\x20it.','evidence':[]},{'id':'E16','class':'exception','name':'Seller\x20fulfilled\x20but\x20delivered\x20late\x20(late-delivery\x20compensation\x20regime)','actor':'merchant','precondition':['M8'],'onchain':'disclosure_only','disclosureProbe':'\x5cblate\x5cb[^\x22]{0,30}(deliver|ship|fulfil)|delay[^\x22]{0,30}(deliver|ship|fulfil)','commercialSemantics':'The\x20real\x20product\x20pays\x20a\x20per-order\x20late-delivery\x20compensation\x20rate.\x20The\x20template\x20corpus\x20discloses\x20NOTHING\x20about\x20a\x20late-delivery\x20compensation\x20regime\x20(production_lead_days\x20only\x20opens\x20the\x20balance\x20window)\x20—\x20standing\x20disclosure\x20gap.','evidence':[]},{'id':'E17','class':'exception','name':'Short\x20shipment\x20/\x20wrong\x20item','actor':'buyer','precondition':['M8'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'gapPredicate':{'probe':'disputes\x20flow\x20off-Machine|independent\x20Arbitration'},'commercialSemantics':'Content\x20disputes\x20flow\x20off-Machine\x20to\x20the\x20independent\x20Arbitration\x20object;\x20the\x20machine\x20records\x20only\x20the\x20ruling-driven\x20full-refund\x20exit.','evidence':[]},{'id':'E18','class':'exception','name':'Parcel\x20damaged\x20or\x20lost\x20in\x20carrier\x20transit','actor':'buyer','precondition':['M6'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'gapPredicate':{'probe':'lost\x20or\x20damaged\x20in\x20carrier\x20transit|no\x20carrier\x20oracle'},'commercialSemantics':'A\x20parcel\x20lost\x20or\x20damaged\x20in\x20carrier\x20transit\x20is\x20remedied\x20by\x20the\x20buyer\x27s\x20arbitration\x20route\x20into\x20closed_cancel\x20(GF2-31\x20full-refund\x20rail);\x20the\x20carrier\x20claim\x20itself\x20is\x20an\x20OFF-CHAIN\x20recovery\x20—\x20the\x20chain\x20has\x20no\x20carrier\x20oracle\x20(disclosed).','evidence':[]},{'id':'E19','class':'exception','name':'Counterfeit\x20/\x20not-as-described\x20claim','actor':'buyer','precondition':['M8'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'gapPredicate':{'probe':'disputes\x20flow\x20off-Machine|independent\x20Arbitration'},'commercialSemantics':'Same\x20off-Machine\x20dispute\x20rail\x20with\x20WTS\x20evidence;\x20no\x20counterfeit-specific\x20policy\x20is\x20disclosed.','evidence':[]},{'id':'E20','class':'exception','name':'Parcel\x20lost\x20before\x20the\x20delivery\x20scan','actor':'buyer','precondition':['M6'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'gapPredicate':{'probe':'lost\x20or\x20damaged\x20in\x20carrier\x20transit|OFF-CHAIN\x20recovery'},'commercialSemantics':'In-transit\x20loss\x20rides\x20the\x20disclosed\x20arbitration\x20remedy;\x20there\x20is\x20no\x20item_lost\x20waypoint\x20on\x20this\x20template.','evidence':[]},{'id':'E21','class':'exception','name':'Balance\x20payment\x20failed\x20for\x20channel/system\x20reasons','actor':'buyer','precondition':['M4'],'onchain':'disclosure_only','disclosureProbe':'committed\x20in\x20a\x20PRIOR\x20transaction|NOT\x20one-PTB\x20atomic|same-PTB\x20capture','commercialSemantics':'Payment-channel\x20failures\x20are\x20exactly\x20the\x20multi-TX\x20truth\x20the\x20fund-gate\x20note\x20discloses:\x20the\x20capture\x20needs\x20committed\x20prior\x20funds,\x20so\x20a\x20channel\x20failure\x20leaves\x20the\x20order\x20at\x20balance_due\x20where\x20the\x20keeper\x20deadline\x20(E4)\x20eventually\x20exits\x20it.','evidence':[]},{'id':'E22','class':'exception','name':'Buyer\x20files\x20an\x20arbitration\x20case','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'claim_filed','commercialSemantics':'Assembled\x20stage2\x20#28\x20(TPL-09):\x20the\x20buyer\x20files\x20from\x20delivered\x20(claim_filed,\x20a\x20CLOSING\x20settle_window_days\x20window\x20on\x20the\x20delivered\x20ENTRY)\x20or\x20from\x20a\x20contested\x20return\x20(claim_filed_return:\x20return_in_transit\x20ENTRY\x20+\x20return_response_days\x20+\x20auto_confirm_days,\x20the\x20parcel-leg\x20grace).\x20RECORD\x20waypoint\x20only\x20(R-M1-11)\x20—\x20the\x20case\x20parks\x20the\x20order\x20and\x20every\x20keeper\x20clock\x20is\x20topologically\x20frozen\x20while\x20it\x20is\x20open.','evidence':[{'file':'order.move','line':0xa1,'pattern':'public\x20fun\x20has_open_dispute'}]},{'id':'E23','class':'exception','name':'Buyer\x20withdraws\x20the\x20claim','actor':'buyer','precondition':['E22'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'WithdrawClaim','prev':'claim_filed','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'withdraw_claim','commercialSemantics':'Assembled\x20stage2\x20#28:\x20a\x20no-ruling\x20withdrawal\x20returns\x20the\x20order\x20to\x20the\x20prior\x20state\x20with\x20ZERO\x20money\x20legs\x20(a\x20withdrawal\x20never\x20opens\x20the\x20full-refund\x20rail,\x20ktt5\x20F-03).\x20CRITICAL\x20residual,\x20disclosed\x20in\x20the\x20guard\x20and\x20the\x20waypoint\x20build\x20note:\x20the\x20kernel\x20WithdrawClaim\x20guard\x20is\x20identity-only\x20—\x20replayable,\x20binds\x20no\x20arbitration\x20case,\x20claimed_by\x20survives\x20withdrawal;\x20arb_withdraw\x20sweeps\x20ONLY\x20the\x20fee\x20balance\x20(S-27).','evidence':[{'file':'order.move','line':0x79,'pattern':'option::is_none(&self.claimed_by)'}]},{'id':'E24','class':'exception','name':'Arbitration\x20rules\x20for\x20the\x20buyer\x20with\x20the\x20award\x20floor\x20enforced','actor':'arbitrator','precondition':['E22'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'claim_filed','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'arb_refund_filed','commercialSemantics':'A\x20buyer-won\x20ruling\x20fires\x20the\x20full-refund\x20rail.\x20FLOWS\x20§2\x20said\x20the\x20existing\x20rails\x20stay\x20\x27unchanged\x27\x20—\x20that\x20strands\x20a\x20parked\x20case\x20(the\x20delivered/return_in_transit\x20originals\x20are\x20topologically\x20dead\x20from\x20the\x20waypoint),\x20so\x20the\x20PARKED-PATH\x20twin\x20(claim_filed\x20->\x20closed_cancel,\x20arb_refund_filed,\x20refund-rail\x20slot\x201001)\x20was\x20assembled\x20stage2\x20#28;\x20the\x20dual-prev\x20originals\x20remain\x20as\x20keeper-down\x20fallback\x20(KTT3).\x20arb.indemnity.amount\x20must\x20EXCEED\x20arb_indemnity_floor_bps\x20(3000)\x20—\x20a\x20token\x20award\x20cannot\x20unlock\x20the\x20rail\x20(F-54,\x20tbp\x20live\x20precedent).','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'},{'file':'arb.move','line':0x1e6,'pattern':'frozen\x20at\x20BUY\x20time'}]},{'id':'E25','class':'exception','name':'Arb\x20silence\x20auto-accepts\x20the\x20claim\x20(protocol\x20finality)','actor':'arbitrator','precondition':['E22'],'onchain':'not_applicable','commercialSemantics':'The\x20real\x2030-day\x20arbitration\x20silence\x20rule\x20is\x20protocol-level\x20arb-object\x20finality\x20(WITHDRAW_DURATION_TIME),\x20not\x20a\x20machine\x20edge\x20—\x20excluded\x20like\x20the\x20shansong\x20pilot\x27s\x20R6.','evidence':[{'file':'arb.move','line':0x10,'pattern':'WITHDRAW_DURATION_TIME'}]},{'id':'E26','class':'exception','name':'Review\x20appeal\x20or\x20removal\x20request','actor':'buyer','precondition':['M9'],'onchain':'disclosure_only','disclosureProbe':'review[^\x22]{0,30}(appeal|remove|takedown)','commercialSemantics':'Real\x20product\x20runs\x20review\x20governance\x20(appeal/removal).\x20The\x20template\x20reviews\x20are\x20write-once\x20reputation\x20records\x20and\x20the\x20corpus\x20discloses\x20no\x20governance\x20—\x20standing\x20FIX-DISCLOSURE\x20gap.','evidence':[]},{'id':'E27','class':'exception','name':'Listing\x20delisted\x20/\x20shop\x20removed\x20mid-presale','actor':'keeper','precondition':['M4'],'onchain':'disclosure_only','disclosureProbe':'(delist|deactivat|suspend)[^\x22]{0,20}(listing|shop|store)','commercialSemantics':'Account-level\x20governance\x20(delist\x20the\x20presale,\x20close\x20the\x20shop)\x20has\x20no\x20per-order\x20chain\x20surface\x20and\x20no\x20corpus\x20disclosure;\x20the\x20deposit/balance\x20rails\x20above\x20are\x20the\x20only\x20fund-safety\x20story.','evidence':[]},{'id':'E28','class':'exception','name':'Deposit-expansion\x20/\x20coupon\x20stacking\x20miscalculation','actor':'merchant','precondition':['M3'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'floor\x20coupons\x20at\x20issuance|zeroing\x20coupon|DISCOUNT\x20FLOOR','commercialSemantics':'Expansion\x20coefficients\x20and\x20stacked\x20coupons\x20have\x20no\x20pricing\x20oracle\x20(S7);\x20the\x20corpus\x20discloses\x20the\x20DISCOUNT\x20FLOOR\x20(a\x20zeroing\x20coupon\x20would\x20empty\x20the\x20deposit\x20escrow\x20while\x20the\x20fund\x20gate\x20still\x20expects\x20full_price\x20—\x20floor\x20coupons\x20at\x20issuance).','evidence':[]},{'id':'E29','class':'exception','name':'Refund\x20judged\x20but\x20not\x20yet\x20in\x20the\x20bank\x20account','actor':'buyer','precondition':['E14'],'onchain':'disclosure_only','disclosureProbe':'terminal\x20RECORD\x20waypoint|money\x20authority\x20stays\x20the\x20allocation\x20rail','commercialSemantics':'Chain-side\x20the\x20refund\x20fact\x20is\x20final\x20at\x20the\x20rail;\x20the\x20refunded\x20node\x20is\x20the\x20queryable\x20receipt\x20(bank-side\x20timing\x20off-chain)\x20—\x20disclosed\x20via\x20the\x20after-sales\x20track\x20note.','evidence':[]},{'id':'E30','class':'exception','name':'External\x20chargeback\x20/\x20card-network\x20dispute','actor':'buyer','precondition':['M3'],'onchain':'unresolvable','unresolvableRef':'S9','disclosureProbe':'chargeback|credit\x20card\x20dispute','commercialSemantics':'No\x20chargeback\x20primitive\x20(S9)\x20and\x20no\x20corpus\x20disclosure\x20—\x20a\x20true\x20gap\x20for\x20the\x20double-11\x20complaint\x20economy\x20(heitu\x20complaint\x20leads).','evidence':[]},{'id':'E31','class':'exception','name':'Arb\x20dismisses\x20the\x20claim\x20and\x20the\x20order\x20resumes','actor':'arbitrator','precondition':['E22'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'arb_dismissed_resume','commercialSemantics':'Assembled\x20stage2\x20#28:\x20a\x20merchant-favour\x20(zero-indemnity)\x20ruling\x20resumes\x20the\x20order\x20(claim_filed\x20->\x20delivered\x20/\x20return_in_transit,\x20money-free,\x20merchant\x20ruling-execution\x20slot\x201004\x20—\x20the\x20N12\x20bucket,\x20W5-14\x20keeps\x201001\x20for\x20refunds);\x20the\x20fresh\x20history\x20entry\x20re-arms\x20the\x20settle/review/return\x20clocks\x20(find=last),\x20and\x20the\x20dismissed\x20buyer\x20keeps\x20every\x20exit\x20the\x20resumed\x20node\x20already\x20had.','evidence':[]},{'id':'R1','class':'remedy','name':'Statutory\x20double\x20return\x20(deposit\x20+\x20equal\x20compensation)','actor':'arbitrator','precondition':['E22'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'Civil\x20Code\x20art.587\x27s\x20double\x20return\x20decomposes\x20into\x20the\x20ruling-driven\x20refund\x20rail\x20(deposit\x20portion)\x20plus\x20the\x20compensation\x20claim\x20to\x20order.owner\x20(equal\x20portion,\x20<=\x203x\x20cap)\x20—\x20both\x20expressible.','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'R2','class':'remedy','name':'7-day\x20no-reason\x20return\x20vs\x20transit-eating\x20window\x20(anchor\x20doctrine)','actor':'buyer','precondition':['E10'],'onchain':'expressible_with_gap','chainFootprint':{'node':'return_requested','forward':'RequestReturn','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'gapPredicate':{'probe':'anchored\x20on\x20the\x20SHIPPED\x20entry|never\x20delivered|covers\x20carrier\x20transit'},'commercialSemantics':'The\x20statutory\x20window\x20runs\x20from\x20RECEIPT;\x20the\x20template\x20anchors\x20the\x20SHIPPED\x20entry\x20so\x20transit\x20cannot\x20eat\x20the\x20window\x20(F-52)\x20—\x20the\x20divergence\x20is\x20disclosed\x20in\x20the\x20return_window_days\x20input\x20spec\x20(U6\x20report-only\x20conflict).','evidence':[]},{'id':'R3','class':'remedy','name':'Compensation\x20payout,\x20owner-bound','actor':'arbitrator','precondition':['E22'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'Compensation\x20is\x20paid\x20by\x20the\x20service\x20layer\x20to\x20the\x20order\x20owner\x20—\x20always\x20the\x20buyer,\x20structurally\x20unbribeable.','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'R4','class':'remedy','name':'Indemnity\x20capped\x20at\x203x\x20the\x20deposit\x20escrow','actor':'arbitrator','precondition':['R3'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'MAX_INDEMNITY_MULTIPLE\x20(3x)\x20bounds\x20every\x20award\x20with\x20the\x20cap\x20base\x20(Order.amount)\x20frozen\x20at\x20BUY\x20time\x20—\x20for\x20a\x20presale\x20that\x20is\x20the\x20DEPOSIT\x20only,\x20so\x20the\x20equal-compensation\x20leg\x20must\x20stay\x20within\x203x\x20deposit\x20(UP9-ARBCAP).','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'}]},{'id':'R5','class':'remedy','name':'Statutory\x20punitive\x20damages\x20above\x20the\x20cap','actor':'arbitrator','precondition':['R4'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'punitive|triple\x20damages|500','commercialSemantics':'Punitive\x20floors\x20(3x\x20price,\x20min\x20500\x20CNY)\x20cannot\x20ride\x20the\x203x\x20deposit-escrow\x20cap\x20and\x20are\x20undisclosed\x20—\x20structurally\x20rare\x20on\x20low-AOV\x20presale\x20items,\x20but\x20a\x20true\x20gap.','evidence':[]},{'id':'P1','class':'post','name':'Settlement\x20allocation\x20to\x20the\x20seller\x20(whole\x20pool\x20intact)','actor':'keeper','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'release'},'commercialSemantics':'The\x20keeper\x27s\x20release\x20sweep\x20pays\x20the\x20seller\x20share\x20above\x20the\x20allocator\x20threshold;\x20settlement\x20after\x20the\x20after-sales\x20topology\x20means\x20the\x20pool\x20is\x20always\x20intact\x20on\x20that\x20rail.','evidence':[{'file':'allocation.move','line':0x1f6,'pattern':'self.allocators.threshold'},{'file':'allocation.move','line':0x22c,'pattern':'alloc.fix'}]},{'id':'P2','class':'post','name':'Review-reward\x20style\x20claims\x20(signer-bound\x20where\x20mounted)','actor':'buyer','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'reviewed','moneyEffect':'reward'},'commercialSemantics':'Any\x20reward\x20leg\x20mounted\x20on\x20the\x20reviewed\x20waypoint\x20pays\x20signer-bound\x20(recipient\x20==\x20sender)\x20—\x20the\x20general\x20reward\x20primitive,\x20used\x20sparingly\x20on\x20this\x20template.','evidence':[{'file':'reward.move','line':0x11b,'pattern':'recipient\x20==\x20tx_context::sender'}]},{'id':'P3','class':'post','name':'Keeper\x20duty\x20schedule\x20(windows,\x20deadlines,\x20water\x20levels)','actor':'keeper','precondition':['P1'],'onchain':'disclosure_only','disclosureProbe':'keeper|scheduled|duty','commercialSemantics':'The\x20whole\x20presale\x20pacing\x20(balance-window\x20open,\x20balance-deadline\x20exit,\x20auto-confirm,\x20return-receipt\x20timeout,\x20settlement\x20sweep,\x2048h\x20arb\x20absence)\x20is\x20a\x20declared\x20keeper\x20duty\x20roster\x20—\x20disclosed,\x20not\x20autonomous.','evidence':[]},{'id':'P4','class':'post','name':'Repurchase\x20into\x20the\x20next\x20presale\x20round','actor':'buyer','precondition':['P1'],'onchain':'not_applicable','commercialSemantics':'Next-round\x20repurchase\x20is\x20a\x20new\x20order;\x20no\x20cross-order\x20chain\x20footprint\x20exists.','evidence':[]},{'id':'P5','class':'post','name':'Append-only\x20dispute\x20trail\x20audit','actor':'keeper','precondition':['E22'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'none'},'commercialSemantics':'The\x20dispute\x20vector\x20is\x20append-only\x20(records\x20are\x20added,\x20never\x20removed);\x20the\x20settlement\x20gate\x20reads\x20it\x20state-frozen\x20at\x20the\x20settle\x20terminal\x20—\x20the\x20last\x20append\x20anchors\x20the\x20audit.','evidence':[{'file':'order.move','line':0x94,'pattern':'vector::push_back'}]}],'invariants':[{'id':'INV-TB-1','statement':'Statutory\x20deposit\x20cap:\x20the\x20deposit\x20must\x20not\x20exceed\x2020%\x20of\x20the\x20main\x20contract\x20value\x20(Civil\x20Code\x20art.586;\x20Tmall\x20tier\x20rules\x2010%-20%).\x20The\x20template\x20expresses\x20deposit_amount\x20as\x20a\x20free\x20STRING\x20directive\x20—\x20no\x20ratio\x20check\x20edge\x20exists;\x20only\x20the\x20fund\x20gate\x20(balance\x20>=\x20full_price)\x20is\x20on-chain.','jurisdiction':'PRC\x20Civil\x20Code\x20art.586\x20(deposit\x20<=\x2020%\x20of\x20contract\x20value);\x20Tmall\x20presale\x20administration\x20rules\x20(>=\x2010\x20CNY,\x20multiples\x20of\x2010,\x20tiered\x20caps).','chainConflict':'No\x20fee_param\x20pair\x20(deposit_amount,\x20full_price)\x20relation\x20is\x20checkable\x20by\x20any\x20guard;\x20the\x20cap\x20lives\x20in\x20listing-time\x20review\x20only.'},{'id':'INV-TB-2','statement':'The\x20double-return\x20promise\x20(art.587)\x20is\x20backed\x20ONLY\x20by\x20the\x20arbitration\x20rail\x20plus\x20a\x20non-zero\x20award\x20floor:\x20ArbRefund\x20must\x20exist\x20and\x20arb_indemnity_floor_bps\x20must\x20stay\x20non-zero,\x20or\x20the\x20promise\x20is\x20unbacked\x20(a\x20token\x20award\x20could\x20unlock\x20the\x20rail).','jurisdiction':'PRC\x20Civil\x20Code\x20art.587\x20(deposit\x20back\x20+\x20equal\x20compensation\x20on\x20promisor\x20fault);\x20Tmall\x20presale\x20rule\x205.2/5.4.','chainConflict':'Standing\x20check:\x20removing\x20the\x20ruling\x20rail\x20or\x20zeroing\x20the\x20floor\x20re-fires\x20this\x20invariant.\x20The\x20cap\x20side\x20(3x\x20deposit\x20escrow)\x20stays\x20a\x20text-only\x20bound.','violation':{'requiresFeeParamNonZero':'arb_indemnity_floor_bps','whileMissingForward':'ArbRefund'},'evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x1e6,'pattern':'frozen\x20at\x20BUY\x20time'}]},{'id':'INV-TB-3','statement':'The\x20statutory\x20return\x20window\x20runs\x20from\x20RECEIPT\x20of\x20goods\x20(Consumer\x20Protection\x20Law\x20art.25);\x20the\x20template\x20anchors\x20the\x20after-sales\x20window\x20on\x20the\x20SHIPPED\x20entry\x20(F-52\x20deadlock\x20doctrine)\x20—\x20a\x20deliberate\x20divergence\x20that\x20must\x20stay\x20disclosed,\x20never\x20silently\x20re-anchored.','jurisdiction':'PRC\x20Consumer\x20Protection\x20Law\x20art.25\x20(7-day\x20no-reason\x20return\x20from\x20receipt);\x20Tmall\x207-day\x20return\x20rules.','chainConflict':'A\x20delivered-anchored\x20history\x20query\x20on\x20an\x20in-transit\x20presale\x20order\x20reads\x20a\x20row\x20the\x20order\x20never\x20wrote\x20(F-52\x20live\x20deadlock)\x20—\x20the\x20shipped-anchor\x20is\x20the\x20cure,\x20so\x20the\x20conflict\x20is\x20report-only\x20(U6).'},{'id':'INV-TB-4','statement':'Late-ship\x20/\x20late-delivery\x20compensation\x20(Tmall\x20delayed-dispatch\x20rules)\x20has\x20no\x20ship-by\x20deadline\x20primitive\x20and\x20no\x20disclosed\x20compensation\x20regime\x20—\x20only\x20the\x20compensation-fund\x20channel\x20(>=\x203x\x20cap,\x20water-tier\x20keeper\x20watch)\x20exists\x20as\x20the\x20payout\x20backstop.','jurisdiction':'Tmall\x20delayed-dispatch\x20compensation\x20rules;\x20FTC\x20Mail\x20Order\x20Rule\x2016\x20CFR\x20435\x20(US\x20reference\x20frame).','chainConflict':'No\x20deadline\x20primitive\x20anchors\x20Ship\x20to\x20a\x20calendar\x20clock\x20(S7);\x20the\x20fund\x20water-tier\x20duty\x20is\x20disclosure-level\x20only.','evidence':[{'file':'allocation.move','line':0x1f6,'pattern':'self.allocators.threshold'}]},{'id':'INV-TB-5','statement':'Claim-waypoint\x20exit\x20totality\x20(stage2\x20#28):\x20an\x20order\x20parked\x20at\x20claim_filed\x20has\x20every\x20keeper\x20clock\x20topologically\x20frozen,\x20so\x20the\x20waypoint\x20must\x20keep\x20ALL\x20its\x20sanctioned\x20exits\x20—\x20withdraw\x20(identity-only,\x20ZERO\x20money,\x20never\x20opens\x20the\x20full-refund\x20rail\x20ktt5\x20F-03),\x20dismissed-resume\x20(merchant\x20ruling-execution\x20slot\x201004,\x20the\x20N12\x20bucket;\x201001\x20stays\x20the\x20refund\x20rail\x20W5-14),\x20and\x20the\x20buyer-won\x20parked-path\x20twin\x20arb_refund_filed\x20(without\x20it\x20a\x20won\x20ruling\x20strands\x20a\x20parked\x20case).\x20Removing\x20any\x20exit\x20re-creates\x20the\x20algr9\x20brick:\x20a\x20case\x20that\x20can\x20be\x20filed\x20but\x20can\x20never\x20leave.','jurisdiction':'Machine-soundness\x20invariant\x20(TPL-09\x20family,\x20#22/#23/#24/#27/#28\x20precedent).','chainConflict':'Standing\x20check:\x20deleting\x20any\x20of\x20the\x20three\x20sanctioned\x20exits\x20(or\x20re-pointing\x20resume\x20at\x201001/1002)\x20re-fires\x20this\x20invariant.\x20Residual\x20S-27\x20stands\x20disclosed:\x20withdraw\x20is\x20identity-only\x20(replay\x20protection\x20structural,\x20claimed_by\x20survives,\x20arb_withdraw\x20sweeps\x20only\x20the\x20fee).','evidence':[{'file':'order.move','line':0xa1,'pattern':'public\x20fun\x20has_open_dispute'}]}]};

package/dist/knowledge/path-oracle/products/upwork-catalog.js

@@ -0,0 +1 @@
+export const UPWORK_CATALOG_ORACLE={'productRef':'upwork-catalog','products':['upwork-project-catalog','fiverr','contra-services','freelancer-services'],'oracleVersion':'1.1.0','steps':[{'id':'M1','class':'offchain','name':'Buyer\x20browses\x20the\x20catalog\x20and\x20picks\x20a\x20tier\x20(search,\x20reviews,\x20portfolio)','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Catalog\x20discovery\x20is\x20off-chain\x20content\x20ranking.\x20The\x20tier\x20selection\x20becomes\x20the\x20sale\x20item\x20at\x20buy\x20time;\x20no\x20demand\x20object\x20or\x20search\x20primitive\x20exists\x20on-chain\x20—\x20discovery\x20is\x20eliminated,\x20not\x20modeled.','evidence':[]},{'id':'M2','class':'main','name':'Purchase\x20at\x20the\x20tiered\x20price\x20—\x20full\x20escrow\x20in\x20one\x20atomic\x20buy','actor':'buyer','precondition':['M1'],'onchain':'expressible','chainFootprint':{'node':'in_progress','moneyEffect':'escrow_in'},'commercialSemantics':'The\x20catalog\x20ENTRY\x20pair\x20is\x20in_progress\x20itself:\x20buying\x20and\x20starting\x20work\x20are\x20one\x20state\x20—\x20the\x20delivery\x20clock\x20starts\x20at\x20requirement\x20submission,\x20not\x20at\x20seller\x20acceptance.\x20Commission\x20is\x200\x20(the\x20incumbent\x27s\x20freelancer\x20fee\x20of\x20a\x20variable\x200-15%\x20is\x20exactly\x20what\x20the\x20zero-commission\x20model\x20exists\x20to\x20eliminate);\x20the\x20client-side\x20marketplace\x20fee\x20has\x20no\x20allocator\x20leg\x20and\x20is\x20documented\x20off-chain.','evidence':[{'file':'service.move','line':0x1d2,'pattern':'public\x20fun\x20buy2'},{'file':'order.move','line':0x21,'pattern':'public\x20struct\x20SaleItem'}]},{'id':'M3','class':'main','name':'Buyer\x20submits\x20requirement\x20answers\x20(brief\x20via\x20the\x20service\x20Contact)','actor':'buyer','precondition':['M2'],'onchain':'disclosure_only','commercialSemantics':'The\x20buyer\x27s\x20requirement\x20answers\x20travel\x20over\x20the\x20service\x27s\x20Contact\x20(Messenger),\x20as\x20an\x20IM\x20user\x20address\x20or\x20an\x20on-chain\x20WTS\x20proof.\x20The\x20corpus\x20is\x20explicit\x20that\x20declaring\x20customer_required\x20labels\x20alone\x20does\x20NOT\x20block\x20the\x20order\x20—\x20enforcement\x20requires\x20binding\x20pattern.required_info_evidence_gate\x20on\x20the\x20first\x20seller-side\x20forward,\x20and\x20the\x20required-info\x20message\x20shares\x20the\x20buyer\x27s\x20single\x20stranger-message\x20quota\x20(QUOTA\x20COUPLING).','disclosureProbe':'customer_required|required_info_evidence_gate|QUOTA\x20COUPLING','evidence':[{'file':'progress.move','line':0x48,'pattern':'TASK_BINDING_IDENTIFIER'}]},{'id':'M4','class':'main','name':'Seller\x20works\x20the\x20order\x20(same\x20in_progress\x20state\x20as\x20the\x20entry)','actor':'fulfiller','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'in_progress','moneyEffect':'none'},'commercialSemantics':'There\x20is\x20no\x20separate\x20accept\x20transition:\x20the\x20entry\x20pair\x20means\x20work\x20starts\x20immediately\x20after\x20funding.\x20The\x20seller\x27s\x20exits\x20from\x20a\x20bad\x20order\x20(cancel/refund\x20requests,\x20E2/E4)\x20and\x20the\x20buyer\x27s\x20instant-cancel\x20window\x20(E1)\x20all\x20hang\x20off\x20this\x20single\x20state.','evidence':[]},{'id':'M5','class':'exception','name':'Requirements\x20never\x20arrive\x20—\x20keeper\x20auto-cancels\x20after\x2048h\x20(full\x20refund)','actor':'keeper','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'RequirementsTimeout','prev':'in_progress','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x2048h\x20requirements\x20timeout\x20(requirements_timeout_hours)\x20protects\x20the\x20seller\x20from\x20a\x20buyer\x20who\x20funds\x20and\x20ghosts:\x20keeper\x20slot\x201000\x20cancels\x20into\x20the\x20refund\x20terminal\x20and\x20the\x20order-anchored\x20allocator\x20pays\x20the\x20buyer\x20back\x20whole\x20—\x20first-class\x20on\x20this\x20template,\x20a\x20support\x20ticket\x20on\x20the\x20real\x20product.','guardKeyProbe':'requirements_timeout_48h','evidence':[]},{'id':'M6','class':'main','name':'Seller\x20submits\x20work\x20—\x20deliverable\x20WIP\x20hash\x20retained\x20as\x20evidence','actor':'fulfiller','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'delivered','moneyEffect':'none'},'commercialSemantics':'Delivery\x20gates\x20on\x20the\x20deliver_work\x20evidence\x20check\x20and\x20retains\x20the\x20WIP\x20hash\x20into\x20progress\x20history\x20—\x20\x27the\x20work\x20was\x20delivered\x27\x20becomes\x20an\x20on-chain\x20fact,\x20with\x20no\x20content\x20claim\x20(existence\x20is\x20not\x20trust).','guardKeyProbe':'deliver_work','evidence':[]},{'id':'M7','class':'main','name':'Buyer\x20approves\x20(Accept\x20&\x20Pay\x20signature)','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'accepted','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20manual\x20branch\x20is\x20the\x20buyer\x27s\x20own\x20signature\x20(order_payer\x20identity\x20edge)\x20—\x20the\x20seller\x20can\x20never\x20self-accept\x20(trust\x20mechanism\x20R4).\x20Its\x20sibling\x20timeout\x20branch\x20is\x20M8.','evidence':[]},{'id':'M8','class':'exception','name':'Acceptance\x20timeout\x20—\x20keeper\x20auto-accepts\x20a\x20silent\x20buyer\x20(14\x20days)','actor':'keeper','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'accepted','forward':'AutoAcceptByKeeper','prev':'delivered','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Distinct\x20forward\x20names\x20are\x20mandatory\x20on\x20sibling\x20edges\x20sharing\x20a\x20prev\x20(E_DUPLICATE_FORWARD_NAME,\x20audit-261012\x20B1)\x20—\x20the\x20two\x20acceptance\x20branches\x20are\x20explicit\x20edges\x20within\x20one\x20pair.\x20The\x20key_risk\x20names\x20this\x20the\x20template\x27s\x20unblock\x20rail\x20for\x20freelancer\x20payment.','guardKeyProbe':'accept_timeout','evidence':[]},{'id':'M9','class':'main','name':'Buyer\x20reviews\x20the\x20delivery\x20(window-gated\x20side\x20action)','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'Review','prev':'accepted','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Review\x20is\x20a\x20reputation\x20rail,\x20never\x20a\x20settlement\x20gateway:\x20completed\x20is\x20reachable\x20from\x20accepted\x20directly,\x20so\x20a\x20silent\x20reviewer\x20cannot\x20strand\x20the\x20escrow.','guardKeyProbe':'review_window','evidence':[]},{'id':'M10','class':'main','name':'Settlement\x20after\x20review\x20—\x20seller\x20withdraws\x20(zero\x20commission)','actor':'merchant','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'CompleteAfterReview','prev':'reviewed','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'The\x20settlement\x20allocator\x20pays\x20the\x20freelancer\x20the\x20full\x20pool\x20(commission\x20rows\x20are\x200).\x20The\x20incumbent\x27s\x20tier\x20pricing\x20lives\x20in\x20the\x20sale\x20items\x20(M2),\x20not\x20in\x20any\x20post-settlement\x20split.','evidence':[]},{'id':'M11','class':'exception','name':'Review-settle\x20clock\x20—\x20keeper\x20auto-completes\x20after\x20the\x20settle\x20delay\x20(7\x20days)','actor':'keeper','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'AutoCompleteAfterReview','prev':'reviewed','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'GF2-09\x20cure:\x20after\x20settlement_delay_days\x20past\x20the\x20reviewed\x20entry\x20the\x20order\x20auto-completes,\x20so\x20a\x20stalled\x20review\x20can\x20never\x20strand\x20the\x20escrow\x20at\x20reviewed\x20(the\x20mainnet\x202.38\x20incident\x27s\x20lesson,\x20baked\x20into\x20both\x20freelance\x20templates).','guardKeyProbe':'review_settle_clock','evidence':[]},{'id':'M12','class':'main','name':'Positive\x20feedback\x20(praise\x20rail)','actor':'buyer','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'wonder','forward':'Praise','prev':'completed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20catalog\x20equivalent\x20of\x20the\x205-star\x20public\x20review\x20—\x20post-settlement,\x20write-once,\x20immune\x20to\x20the\x20real\x20product\x27s\x20limited\x20edit\x20window\x20(P2).','evidence':[]},{'id':'M13','class':'main','name':'Negative\x20feedback\x20(complain\x20rail)','actor':'buyer','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'no_wonder','forward':'Complain','prev':'completed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Dissatisfaction\x20recorded\x20after\x20settlement\x20—\x20the\x20money\x20is\x20home;\x20on\x20the\x20real\x20product\x20this\x20is\x20the\x20public\x20review\x20with\x20no\x20funds\x20attached\x20either.','evidence':[]},{'id':'E1','class':'exception','name':'Instant\x20cancel\x20inside\x2024h\x20(buyer-side,\x20no\x20seller\x20consent)','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'InstantCancel','prev':'in_progress','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x20incumbent\x27s\x2024h\x20instant\x20cancel\x20is\x20a\x20first-class\x20guarded\x20buyer\x20edge:\x20Clock\x20<=\x20order\x20time\x20+\x20instant_cancel_hours\x20(24),\x20project-bound,\x20straight\x20from\x20the\x20entry\x20state\x20into\x20the\x20100%\x20order-anchored\x20refund\x20terminal.\x20After\x2024h\x20the\x20request\x20rails\x20(E2/E4)\x20take\x20over.','guardKeyProbe':'instant_cancel_24h','evidence':[]},{'id':'E2','class':'exception','name':'Cancel\x20requested\x20mid-work\x20(seller\x20approves\x20/\x20declines\x20/\x20ignores)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'cancel_requested','moneyEffect':'none'},'commercialSemantics':'After\x20the\x20instant\x20window\x20closes,\x20cancellation\x20becomes\x20a\x20request:\x20the\x20buyer\x20asks,\x20the\x20seller\x20decides\x20(GrantCancelBySeller),\x20and\x20seller\x20silence\x20resolves\x20in\x20the\x20buyer\x27s\x20favour\x20after\x20response_timeout_hours\x20via\x20the\x20keeper\x20(E3).\x20Granting\x20is\x20the\x20SELLER\x27s\x20decision\x20on\x20a\x20merchant-operator\x20edge\x20—\x20the\x20P1\x20fix\x20that\x20stopped\x20buyers\x20skipping\x20the\x2024h\x20gate\x20through\x20the\x20request\x20rails.','evidence':[]},{'id':'E3','class':'exception','name':'Cancel-response\x20timeout\x20—\x20keeper\x20auto-cancels\x20in\x20the\x20buyer\x27s\x20favour\x20(72h)','actor':'keeper','precondition':['E2'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelTimeoutByKeeper','prev':'cancel_requested','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'Seller\x20non-response\x20after\x20response_timeout_hours\x20(72)\x20auto-cancels:\x20a\x20silent\x20seller\x20cannot\x20strand\x20a\x20buyer\x20mid-work\x20once\x20the\x2024h\x20window\x20has\x20closed\x20—\x20the\x20prose-promised\x20keeper\x20duty\x20this\x20template\x20actually\x20ships.','guardKeyProbe':'cancel_response_timeout','evidence':[]},{'id':'E4','class':'exception','name':'Refund\x20requested\x20in-progress\x20(seller\x20grant\x20/\x20decline\x20/\x20silence)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'refund_requested','moneyEffect':'none'},'commercialSemantics':'The\x20refund-request\x20rail\x20mirrors\x20the\x20cancel\x20rail:\x20buyer\x20asks\x20from\x20in_progress,\x20seller\x20grants\x20into\x20the\x20refund\x20terminal\x20(GrantRefundBySeller)\x20or\x20declines\x20back\x20to\x20the\x20work\x20state.\x20Same\x20seller-resolved\x20operator\x20fix\x20as\x20E2.','evidence':[]},{'id':'E5','class':'exception','name':'Refund\x20requested\x20post-delivery\x20/\x20post-acceptance\x20(window-gated\x20mirror)','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'refund_requested','moneyEffect':'none'},'commercialSemantics':'The\x20same\x20rail\x20is\x20reachable\x20from\x20delivered,\x20and\x20the\x20F-37(a)\x20mirror\x20keeps\x20it\x20alive\x20after\x20auto-accept:\x20PostAcceptRefund\x20from\x20accepted\x20rides\x20post_accept_refund_window\x20(post_accept_refund_days,\x20anchored\x20on\x20the\x20delivered\x20entry\x20so\x20the\x20total\x20remediation\x20horizon\x20is\x20independent\x20of\x20when\x20the\x20keeper\x20fired).','evidence':[]},{'id':'E6','class':'exception','name':'Revision\x20requested\x20(blocks\x20payment\x20until\x20redelivery)','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'revision_requested','moneyEffect':'none'},'commercialSemantics':'The\x20revision\x20loop:\x20the\x20request\x20parks\x20the\x20order\x20until\x20redelivery\x20returns\x20it\x20to\x20delivered,\x20and\x20each\x20redelivery\x20restarts\x20the\x20review\x20window.\x20The\x20F-37(a)\x20post-acceptance\x20mirror\x20(PostAcceptRevision,\x2021d\x20window)\x20keeps\x20the\x20track\x20alive\x20after\x20the\x20auto-accept\x20clock\x20has\x20moved\x20the\x20order\x20to\x20accepted\x20—\x20without\x20it\x20a\x20silent\x20buyer\x20who\x20wakes\x20up\x20after\x2014\x20days\x20finds\x20the\x20revision\x20track\x20topology-gone.','evidence':[]},{'id':'E7','class':'exception','name':'Revision\x20rounds\x20exhausted\x20(cap\x20declared,\x20not\x20a\x20contract\x20mechanism)','actor':'merchant','precondition':['E6'],'onchain':'disclosure_only','commercialSemantics':'The\x20catalog\x20sells\x20a\x20bounded\x20revision\x20count;\x20this\x20template\x20declares\x20\x27unlimited\x27\x20because\x20that\x20is\x20both\x20the\x20real\x20catalog\x27s\x20floor\x20policy\x20and\x20the\x20only\x20thing\x20the\x20current\x20contract\x20shape\x20can\x20honour\x20—\x20REVISION\x20CAP\x20IS\x20NOT\x20A\x20CONTRACT\x20MECHANISM,\x20disclosed\x20verbatim\x20in\x20the\x20trust\x20mechanisms.','disclosureProbe':'REVISION\x20CAP\x20IS\x20NOT\x20A\x20CONTRACT\x20MECHANISM|KEEP\x20\x27unlimited\x27','evidence':[]},{'id':'E8','class':'exception','name':'Late\x20delivery\x20beyond\x20the\x20promised\x20deadline\x20(late\x20penalty\x20/\x20priority)','actor':'buyer','precondition':['M4'],'onchain':'not_applicable','commercialSemantics':'The\x20real\x20product\x20prices\x20delivery\x20deadlines\x20(extra-fast\x20tiers)\x20and\x20compensates\x20lateness.\x20The\x20chain\x20has\x20no\x20delivery-deadline\x20primitive\x20—\x20the\x20entry\x20clock\x20starts\x20at\x20requirement\x20submission\x20but\x20nothing\x20aborts\x20or\x20compensates\x20on\x20lateness,\x20so\x20the\x20step\x20is\x20eliminated;\x20the\x20honest\x20substitutes\x20are\x20the\x20cancel/refund\x20rails\x20and\x20arbitration.','evidence':[]},{'id':'E9','class':'exception','name':'Buyer\x20ghosts\x20after\x20funding\x20(routes\x20to\x20the\x20requirements\x20timeout)','actor':'keeper','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'RequirementsTimeout','prev':'in_progress','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20buyer-ghost\x20case\x20IS\x20the\x20M5\x20rail\x20—\x20the\x20exception\x20view\x20of\x20the\x20same\x20keeper\x20edge.\x20The\x20seller\x20is\x20made\x20whole\x20by\x20construction:\x20the\x20escrow\x20refunds\x20before\x20any\x20work\x20starts.','guardKeyProbe':'requirements_timeout_48h','evidence':[]},{'id':'E10','class':'exception','name':'Scope\x20change\x20demanded\x20mid-order\x20(out-of-tier\x20additions)','actor':'buyer','precondition':['M4'],'onchain':'not_applicable','commercialSemantics':'The\x20real\x20product\x20monetizes\x20scope\x20via\x20add-on\x20purchases\x20or\x20a\x20new\x20order.\x20There\x20is\x20no\x20scope-amendment\x20primitive\x20on-chain\x20and\x20the\x20order\x27s\x20items\x20are\x20fixed\x20at\x20buy\x20time\x20—\x20resolution\x20is\x20the\x20revision\x20loop\x20(E6)\x20plus\x20off-chain\x20negotiation,\x20then\x20a\x20fresh\x20order;\x20the\x20step\x20is\x20eliminated.','evidence':[]},{'id':'E11','class':'exception','name':'Cancellation\x20demanded\x20after\x20delivery\x20(routes\x20to\x20the\x20refund\x20request\x20rail)','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'refund_requested','moneyEffect':'none'},'commercialSemantics':'Post-delivery\x20the\x20cancel\x20rail\x20no\x20longer\x20applies;\x20the\x20demand\x20routes\x20onto\x20E5\x27s\x20refund-request\x20rail\x20with\x20its\x20window\x20guards.\x20The\x20seller\x27s\x20decline\x20returns\x20the\x20order\x20to\x20delivered\x20—\x20the\x20real\x20product\x27s\x20\x27rejection\x20denied,\x20open\x20a\x20dispute\x27\x20fork.','evidence':[]},{'id':'E12','class':'exception','name':'Buyer\x20abandons\x20pre-work\x20(abandoned\x20order\x20exit)','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'A\x20buyer\x20who\x20walks\x20before\x20work\x20starts\x20exits\x20through\x20the\x20same\x20terminal\x20—\x20instant\x20cancel\x20inside\x2024h\x20(E1),\x20the\x20request\x20rails\x20after,\x20or\x20the\x20requirements\x20timeout\x20(M5)\x20if\x20it\x20was\x20requirements\x20they\x20never\x20sent.\x20The\x20escrow\x20always\x20refunds\x20whole.','evidence':[]},{'id':'E13','class':'exception','name':'Partial\x20refund\x20negotiated\x20(split\x20of\x20the\x20escrow)','actor':'merchant','precondition':['E5'],'onchain':'disclosure_only','commercialSemantics':'The\x20real\x20catalog\x20resolves\x20many\x20disputes\x20at\x20a\x20partial\x20(e.g.\x20partial\x20delivery\x20for\x20partial\x20pay).\x20The\x20allocator\x20rails\x20are\x20binary\x20—\x20rate\x20sums\x20are\x2010000\x20with\x20a\x2010000/0\x20full-refund\x20shape\x20—\x20so\x20a\x20fraction\x20is\x20not\x20expressible;\x20the\x20corpus\x20states\x20the\x20rate-sum\x20rule,\x20and\x20the\x20honest\x20workaround\x20is\x20a\x20separate\x20Payment\x20object\x20off-template.','disclosureProbe':'Rate\x20sums\x20=\x2010000|Rate[^\x22]{0,6}10000','evidence':[]},{'id':'E14','class':'exception','name':'Buyer\x20account\x20banned\x20mid-order\x20(platform\x20enforcement)','actor':'platform','precondition':['M4'],'onchain':'not_applicable','commercialSemantics':'Account\x20bans\x20are\x20platform-database\x20enforcement;\x20the\x20escrow\x20is\x20bound\x20to\x20the\x20ORDER\x20and\x20the\x20rails\x20to\x20rosters,\x20so\x20a\x20ban\x20cannot\x20freeze\x20funds.\x20The\x20keeper\x20rails\x20(M5,\x20E3,\x20E5,\x20M8,\x20M11)\x20resolve\x20the\x20order\x20without\x20the\x20banned\x20identity\x20—\x20eliminated,\x20not\x20disclosed.','evidence':[]},{'id':'E15','class':'exception','name':'Seller\x20account\x20banned\x20mid-order\x20(platform\x20enforcement)','actor':'platform','precondition':['M4'],'onchain':'not_applicable','commercialSemantics':'Mirror\x20of\x20E14:\x20the\x20buyer\x20is\x20protected\x20by\x20the\x20timeout\x20rails\x20(requirements\x20timeout,\x20refund/cancel\x20keeper\x20exits)\x20and\x20the\x20award\x20edge,\x20not\x20by\x20the\x20seller\x27s\x20account\x20standing\x20—\x20eliminated.','evidence':[]},{'id':'E16','class':'exception','name':'Off-platform\x20payment\x20solicitation\x20(TOS\x20violation\x20by\x20the\x20seller)','actor':'platform','precondition':['M4'],'onchain':'not_applicable','commercialSemantics':'The\x20real\x20product\x20bans\x20solicitation\x20to\x20move\x20payment\x20off-platform.\x20On-chain,\x20buy2\x20is\x20the\x20only\x20escrow\x20entry\x20—\x20an\x20off-platform\x20deal\x20is\x20simply\x20outside\x20this\x20template\x27s\x20universe\x20and\x20produces\x20no\x20order\x20to\x20police;\x20the\x20step\x20is\x20eliminated.','evidence':[]},{'id':'E17','class':'exception','name':'Seller\x20stalls\x20a\x20refund/cancel\x20request\x20(keeper\x20resolves\x20in\x20the\x20buyer\x27s\x20favour)','actor':'keeper','precondition':['E4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'RefundTimeoutByKeeper','prev':'refund_requested','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20F-42\x20cure\x20(upw2-mn-261102):\x20a\x20buyer\x20parked\x20on\x20refund_requested\x20while\x20the\x20seller\x20ignores\x20it\x20had\x20zero\x20executable\x20forwards\x20and\x20no\x20clock\x20(R-DEAD-END:\x200/3\x20executable\x20edges\x20measured\x20live).\x20After\x20refund_response_hours\x20(72)\x20the\x20keeper\x20resolves\x20it\x20in\x20the\x20buyer\x27s\x20favour;\x20the\x20keeper\x20duty\x27s\x20miss_consequence\x20names\x20the\x20stranded-buyer\x20failure\x20mode\x20it\x20exists\x20to\x20prevent.','guardKeyProbe':'refund_response_timeout','gapPredicate':{'probe':'zero\x20executable\x20forwards|strands'},'evidence':[]},{'id':'E18','class':'exception','name':'Dispute\x20withdrawn\x20—\x20settled\x20out-of-band,\x20claim\x20pulled\x20before\x20ruling','actor':'buyer','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'WithdrawClaim','prev':'claim_filed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20real\x20catalog\x20lets\x20a\x20buyer\x20close\x20their\x20own\x20dispute.\x20Mounted\x20at\x20v206\x20(stage2\x20#23):\x20WithdrawClaim\x20(claim_filed\x20->\x20delivered,\x20order_payer,\x20ZERO\x20money\x20legs)\x20is\x20the\x20identity-only\x20exit\x20—\x20re-entry\x20appends\x20a\x20fresh\x20delivered\x20entry\x20and\x20re-anchors\x20the\x20accept\x20clock,\x20both\x20PostAccept\x20mirrors\x20and\x20the\x20filing\x20window\x20(find=last).\x20R27\x20rule\x203\x20unfreeze\x20order:\x20the\x20withdrawal\x20moves\x20Progress\x20ONLY\x20and\x20never\x20clears\x20the\x20Arb\x20case\x20—\x20the\x20buyer\x20concludes\x20the\x20case\x20on\x20the\x20venue\x20first,\x20then\x20withdraws.\x20Residual,\x20standing-disclosed:\x20the\x20identity\x20root\x20ships\x20no\x20arbitration\x20case-binding\x20leg\x20(ssng6-mn-261101\x20family)\x20—\x20replay/phantom-case\x20checks\x20ride\x20the\x20waypoint\x20structure\x20(only\x20an\x20order\x20that\x20passed\x20the\x20claim_filed\x20gate\x20can\x20sit\x20at\x20claim_filed),\x20never\x20an\x20arb.status\x20leg\x20(TRANSIENT-STATE\x20TRAP).','guardKeyProbe':'withdraw_claim','evidence':[]},{'id':'R1','class':'remedy','name':'File\x20a\x20dispute\x20(off-Machine\x20Arbitration\x20object)','actor':'buyer','precondition':['M6'],'onchain':'disclosure_only','commercialSemantics':'Disputes\x20never\x20touch\x20machine\x20nodes:\x20they\x20ride\x20the\x20independent\x20Arbitration\x20object.\x20The\x20venue\x20must\x20be\x20bound\x20only\x20when\x20operational\x20—\x20a\x20fresh\x20Arbitration\x20ships\x20paused\x20and\x20a\x20paused\x20venue\x20rejects\x20every\x20dispute\x20with\x20E_PAUSED\x20(the\x20MCP\x20pre-publish\x20scan\x20hard-blocks\x20binding\x20a\x20paused\x20venue).','disclosureProbe':'venue\x20readiness|E_PAUSED|paused\x20venue','evidence':[{'file':'arbitration.move','line':0x169,'pattern':'assert_op_permission'}]},{'id':'R2','class':'remedy','name':'Buyer-won\x20ruling\x20re-routes\x20the\x20stalled\x20order\x20into\x20the\x20refund\x20terminal','actor':'arbitrator','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'GF2-31\x20award-settle:\x20the\x20ruling\x20alone\x20only\x20writes\x20case\x20status\x20and\x20never\x20moves\x20money\x20—\x20the\x20ArbRefund\x20edge\x20(dedicated\x20refund-rail\x20slot\x201001,\x20never\x20the\x201002\x20settle\x20bucket,\x20W5-14)\x20lets\x20the\x20refund_gate\x20rail\x20actually\x20pay\x20the\x20escrowed\x20principal.\x20The\x20zero-award\x20exclusion\x20leg\x20keeps\x20a\x20dismissed\x20claim\x20off\x20this\x20edge.\x20Since\x20v206\x20the\x20design\x20has\x20TWO\x20instances\x20of\x20this\x20guard\x20(M-T2\x20one\x20instance\x20per\x20exit\x20edge):\x20this\x20prev=delivered\x20edge\x20(keeper-down\x20fallback\x20when\x20the\x20FileDispute\x20record\x20edge\x20was\x20never\x20driven)\x20and\x20the\x20claim_filed\x20->\x20closed_cancel\x20instance\x20(arb_refund_filed)\x20for\x20a\x20ruling\x20on\x20a\x20RECORDED\x20claim.','guardKeyProbe':'arb_refund','evidence':[]},{'id':'R3','class':'remedy','name':'Arbitration\x20indemnity\x20paid\x20from\x20the\x20compensation\x20fund','actor':'arbitrator','precondition':['R1'],'onchain':'disclosure_only','commercialSemantics':'Indemnity\x20pays\x20from\x20the\x20pre-locked\x20compensation\x20fund,\x20capped\x20at\x203x\x20the\x20escrowed\x20amount\x20(MAX_INDEMNITY_MULTIPLE)\x20—\x20the\x20cap\x20multiplies\x20the\x20ESCROW,\x20never\x20the\x20gig\x27s\x20face\x20value,\x20and\x20the\x20fund\x20must\x20be\x20non-zero\x20at\x20publish\x20whenever\x20the\x20template\x20declares\x20it.','disclosureProbe':'compensation\x20fund|MAX_INDEMNITY_MULTIPLE|indemnity','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'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)\x20releasing\x20the\x20case\x20fee.\x20The\x20real\x20catalog\x27s\x20CS\x20ruling\x20executes\x20immediately\x20—\x20no\x20analog\x20step\x20—\x20and\x20this\x20template\x27s\x20machine\x20refund\x20rail\x20keys\x20on\x20the\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':'Escrow-exit\x20invariant\x20—\x20every\x20terminal\x20drains,\x20awarded\x20orders\x20included','actor':'merchant','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'Both\x20terminals\x20drain:\x20settlement\x20via\x20the\x20settle_gate\x20node\x20set\x20(completed\x20/\x20wonder\x20/\x20no_wonder),\x20refunds\x20via\x20the\x20order-anchored\x20refund_gate\x20at\x20closed_cancel,\x20and\x20a\x20stalled\x20delivered\x20order\x20via\x20the\x20award\x20edge\x20(R2).\x20The\x20build\x20note\x20was\x20rewritten\x20post-H1B\x20(v206):\x20the\x20former\x20recover_gate\x20rail\x20is\x20deleted\x20and\x20closed_cancel\x20is\x20the\x20sole\x20non-settlement\x20exit\x20—\x20the\x20invariant\x20holds\x20via\x20the\x20routes\x20listed\x20here.','evidence':[]},{'id':'R6','class':'remedy','name':'Seller\x20makes\x20it\x20right\x20with\x20a\x20partial\x20Payment\x20(off-allocator\x20workaround)','actor':'merchant','precondition':['E13'],'onchain':'disclosure_only','commercialSemantics':'The\x20corpus\x27s\x20own\x20suggested\x20route\x20for\x20money\x20the\x20allocator\x20cannot\x20express:\x20document\x20client-side\x20fees\x20and\x20goodwill\x20off-chain\x20or\x20via\x20a\x20separate\x20Payment\x20object.\x20A\x20Payment\x20is\x20a\x20permissionless\x20kernel\x20object\x20outside\x20this\x20template\x20—\x20the\x20disclosure\x20is\x20the\x20remedy\x20the\x20template\x20offers.','disclosureProbe':'separate\x20Payment|off-chain','evidence':[{'file':'payment.move','line':0x5d,'pattern':'struct\x20Payment'}]},{'id':'R7','class':'remedy','name':'Keeper\x20downtime\x20—\x20order\x20stalls,\x20manual\x20confirmation\x20fallback','actor':'keeper','precondition':['M8'],'onchain':'disclosure_only','commercialSemantics':'The\x20timeout\x20rails\x20depend\x20on\x20a\x20live\x20keeper\x20(the\x20keeper_dependencies\x20list\x20is\x20first-class:\x20requirements\x20timeout,\x20acceptance\x20timeout,\x20seller\x20non-response).\x20Downtime\x20reverts\x20every\x20auto-rail\x20to\x20manual\x20confirmation\x20—\x20the\x20corpus\x27s\x20keeper\x20prose\x20is\x20the\x20disclosure.','disclosureProbe':'keeper','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','chainFootprint':{'node':'delivered','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Mounted\x20at\x20v206\x20(stage2\x20#23):\x20ResumeAfterDismissal\x20(claim_filed\x20->\x20delivered,\x20tpl_forward_arb_ruling_dismissed\x20zero-award\x20polarity,\x20merchant\x20arbitration-execution\x20slot\x201004\x20—\x20the\x20family\x20arb\x20bucket,\x20kept\x20OFF\x20the\x201002\x20settle/keeper\x20rail).\x20The\x20dismissed\x20buyer\x20keeps\x20the\x20refund/revision/review\x20rails;\x20the\x20re-entry\x20appends\x20a\x20fresh\x20delivered\x20entry\x20and\x20re-anchors\x20the\x20windows\x20(find=last),\x20so\x20the\x20re-dispute\x20window\x20re-arms.\x20Venue\x20binding\x20rides\x20identifier\x203\x20—\x20deliberately\x20asymmetric\x20with\x20the\x20won\x20root\x27s\x20identifier\x204\x20(K3\x20C12).','guardKeyProbe':'arb_dismissed_resume','evidence':[]},{'id':'P1','class':'post','name':'Review-reward\x20claim\x20paid\x20from\x20the\x20pre-funded\x20pool','actor':'platform','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'reviewed','moneyEffect':'reward'},'commercialSemantics':'Sale-time\x20reward\x20planning\x20shared\x20with\x20the\x20sibling\x20template:\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—\x20the\x20catalog\x20review\x20economy\x20with\x20money\x20instead\x20of\x20badges.','evidence':[{'file':'reward.move','line':0xe3,'pattern':'public\x20fun\x20claim'}]},{'id':'P2','class':'post','name':'Simultaneous\x20reviews\x20on\x20one\x20delivery\x20(first\x20write\x20wins,\x20both\x20immutable)','actor':'buyer','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'reviewed','moneyEffect':'none'},'commercialSemantics':'Both\x20parties\x20may\x20review\x20the\x20same\x20delivery:\x20praise/complain\x20columns\x20are\x20write-once\x20(E_POLICY_WRITE_ONCE_CONFLICT\x20on\x20overwrite)\x20and\x20independent\x20—\x20the\x20chain\x20holds\x20no\x20edit\x20window\x20to\x20arbitrate\x20(see\x20P2\x20of\x20the\x20sibling\x20oracle\x20for\x20the\x20incumbent\x27s\x2014-day\x20edit\x20contrast).','evidence':[{'file':'repository.move','line':0x3c,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'P3','class':'post','name':'Repeat\x20purchase\x20/\x20multi-gig\x20project\x20(no\x20bundle,\x20one\x20order\x20per\x20gig)','actor':'buyer','precondition':['M10'],'onchain':'expressible_with_gap','chainFootprint':{'node':'in_progress','moneyEffect':'escrow_in'},'commercialSemantics':'Repeat\x20work\x20re-enters\x20at\x20the\x20entry\x20pair:\x20a\x20fresh\x20escrow\x20per\x20gig.\x20The\x20disclosed\x20gap\x20(differences\x20text):\x20NO\x20milestones\x20—\x20a\x20single\x20funded\x20order\x20per\x20catalog\x20purchase,\x20so\x20a\x20multi-gig\x20project\x20is\x20invisible\x20on-chain\x20except\x20as\x20order\x20history.','gapPredicate':{'probe':'single\x20funded\x20order|NO\x20milestones'},'evidence':[]},{'id':'P4','class':'post','name':'Seller\x20level\x20/\x20badge\x20progression\x20from\x20ratings','actor':'platform','precondition':['P1'],'onchain':'not_applicable','commercialSemantics':'Level\x20thresholds\x20are\x20platform-side\x20computations\x20over\x20rating\x20history.\x20No\x20on-chain\x20primitive\x20computes\x20aggregates\x20—\x20eliminated;\x20the\x20truthful\x20signal\x20remains\x20the\x20immutable\x20review\x20and\x20reward\x20rows.','evidence':[]},{'id':'P5','class':'post','name':'Clearing\x20period\x20before\x20payout\x20(settlement\x20delay\x20vs\x20the\x20incumbent\x27s\x2014\x20days)','actor':'merchant','precondition':['M11'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'release'},'commercialSemantics':'The\x20settle\x20clock\x20(settlement_delay_days\x20=\x207)\x20is\x20the\x20clearing\x20period\x20—\x20half\x20the\x20marketplace\x27s\x2014-day\x20cycle,\x20expressed\x20natively\x20by\x20the\x20same\x20GF2-09\x20keeper\x20edge\x20that\x20guarantees\x20the\x20exit\x20(M11).','evidence':[]}],'invariants':[{'id':'INV-UC-1','statement':'The\x20instant-cancel\x20promise\x20(24h,\x20buyer-side,\x20full\x20refund)\x20must\x20exist\x20as\x20a\x20guarded\x20machine\x20edge:\x20if\x20the\x20InstantCancel\x20forward\x20is\x20removed\x20while\x20instant_cancel_hours\x20>\x200,\x20the\x20corpus\x20sells\x20a\x20window\x20that\x20does\x20not\x20exist\x20and\x20every\x20early\x20exit\x20funnels\x20through\x20seller-approved\x20request\x20rails.','jurisdiction':'EU\x20Consumer\x20Rights\x20Directive\x202011/83\x20art.\x2012\x20(14-day\x20withdrawal\x20analogue,\x20shortened\x20by\x20the\x20platform\x27s\x20own\x2024h\x20policy);\x20Fiverr/Upwork\x20catalog\x20cancellation\x20terms.','chainConflict':'Standing\x20check\x20(not\x20currently\x20violated):\x20the\x20template\x20ships\x20InstantCancel\x20(in_progress\x20->\x20closed_cancel,\x20instant_cancel_24h,\x20project-bound\x20Clock\x20window).\x20Removing\x20the\x20forward\x20while\x20the\x20knob\x20stays\x20configured\x20re-fires\x20this\x20invariant.','violation':{'requiresFeeParamNonZero':'instant_cancel_hours','whileMissingForward':'InstantCancel'}},{'id':'INV-UC-2','statement':'A\x20silent\x20seller\x20must\x20not\x20strand\x20a\x20buyer\x20mid-work:\x20every\x20request\x20rail\x20the\x20buyer\x20can\x20enter\x20needs\x20a\x20resolution\x20clock.\x20If\x20the\x20refund-request\x20keeper\x20exit\x20is\x20removed\x20while\x20response_timeout_hours\x20>\x200,\x20a\x20parked\x20refund_requested\x20has\x20zero\x20executable\x20forwards\x20and\x20no\x20clock\x20(the\x20F-42\x20R-DEAD-END,\x20measured\x20live\x20at\x200/3\x20executable\x20edges).','jurisdiction':'EU\x20PWD\x202024/2831\x20art.\x206\x20(prompt\x20payment);\x20NYC\x20FIFA\x20§\x2020-927\x20analogue\x20for\x20catalog\x20gigs.','chainConflict':'Standing\x20check\x20(not\x20currently\x20violated):\x20the\x20template\x20ships\x20RefundTimeoutByKeeper\x20(refund_requested\x20->\x20closed_cancel,\x20refund_response_timeout,\x20F-42).\x20Removing\x20the\x20forward\x20while\x20the\x20response\x20knob\x20stays\x20configured\x20re-fires\x20this\x20invariant.','violation':{'requiresFeeParamNonZero':'response_timeout_hours','whileMissingForward':'RefundTimeoutByKeeper'}},{'id':'INV-UC-3','statement':'The\x20revision\x20cap\x20must\x20not\x20be\x20sold\x20as\x20a\x20contract\x20mechanism:\x20the\x20catalog\x20sells\x20bounded\x20revisions,\x20the\x20chain\x20has\x20no\x20revision\x20counter,\x20and\x20the\x20template\x20declares\x20\x27unlimited\x27\x20as\x20the\x20only\x20honest\x20value.','jurisdiction':'FTC\x20Act\x20§\x205\x20(deceptive\x20listing\x20claims);\x20EU\x20Unfair\x20Commercial\x20Practices\x20Directive\x202005/29\x20art.\x206.','chainConflict':'Text-only:\x20the\x20corpus\x20discloses\x20it\x20verbatim\x20(REVISION\x20CAP\x20IS\x20NOT\x20A\x20CONTRACT\x20MECHANISM)\x20and\x20no\x20fee_params\x20key\x20can\x20test\x20the\x20honesty\x20mechanically\x20—\x20revision_rounds_max\x20is\x20the\x20string\x20\x27unlimited\x27,\x20deliberately\x20not\x20a\x20number.'},{'id':'INV-UC-4','statement':'An\x20open\x20dispute\x20must\x20structurally\x20pause\x20the\x20acceptance\x20clock\x20and\x20the\x20delivered-anchored\x20post-acceptance\x20mirrors:\x20if\x20the\x20claim_filed\x20waypoint\x20is\x20removed\x20(FileDispute\x20edges\x20bypass\x20to\x20delivered)\x20while\x20AutoAcceptByKeeper\x20exists,\x20a\x20filed\x20case\x20can\x20be\x20auto-accepted\x20away\x20and\x20the\x20buyer-won\x20rail\x20permanently\x20loses\x20its\x20trigger\x20node\x20(the\x20§2-P5\x20race).','jurisdiction':'EU\x20PWD\x202024/2831\x20art.\x208\x20(right\x20to\x20an\x20effective\x20remedy\x20while\x20a\x20dispute\x20is\x20pending);\x20ADR\x20Directive\x202013/11/EU\x20(dispute\x20stays\x20between\x20filing\x20and\x20ruling).','chainConflict':'Standing\x20check\x20(not\x20currently\x20violated):\x20since\x20v206\x20the\x20template\x20ships\x20the\x20claim_filed\x20waypoint\x20—\x20the\x20parked\x20order\x20leaves\x20delivered,\x20so\x20the\x20accept_timeout\x20opening\x20lock\x20and\x20both\x20PostAccept\x20mirrors\x20(anchored\x20on\x20the\x20delivered\x20ENTRY,\x20find=last)\x20cannot\x20advance\x20it;\x20the\x20mirrors\x20re-arm\x20on\x20withdrawal\x20or\x20zero-award\x20resume.\x20Removing\x20the\x20waypoint\x20(or\x20re-anchoring\x20the\x20mirrors\x20on\x20anything\x20but\x20the\x20delivered\x20entry)\x20re-fires\x20this\x20invariant.','violation':{'requiresFeeParamNonZero':'escrow_release_days','whileMissingForward':'FileDispute'}}]};

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

@@ -0,0 +1 @@
+export const UPWORK_ORACLE={'productRef':'upwork','products':['upwork','freelancer','guru','zbj','epwk'],'oracleVersion':'1.1.0','steps':[{'id':'M1','class':'offchain','name':'Client\x20posts\x20a\x20job\x20(scope,\x20budget\x20range,\x20skill\x20requirements)','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Job\x20posting\x20is\x20pure\x20off-chain\x20content\x20on\x20the\x20real\x20product:\x20the\x20description\x20lives\x20in\x20the\x20platform\x20database\x20and\x20search\x20index.\x20This\x20template\x20has\x20no\x20demand\x20object\x20—\x20discovery\x20happens\x20outside\x20the\x20machine\x20entirely.','evidence':[]},{'id':'M2','class':'offchain','name':'Freelancer\x20submits\x20proposals\x20(Connects\x20spent\x20per\x20bid)','actor':'fulfiller','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Bidding\x20consumes\x20Connects\x20(a\x20paid\x20off-chain\x20attention\x20currency).\x20The\x20chain\x20holds\x20no\x20proposal\x20objects\x20and\x20no\x20bid\x20fee\x20rail\x20—\x20attention\x20economics\x20stay\x20off-chain\x20by\x20design.','evidence':[]},{'id':'M3','class':'offchain','name':'Interview\x20and\x20contract\x20negotiation\x20(rate,\x20milestones,\x20terms)','actor':'buyer','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'Interviews\x20and\x20term\x20negotiation\x20are\x20Messenger/off-chain\x20acts.\x20Their\x20only\x20product\x20is\x20the\x20contract\x20the\x20escrow\x20step\x20(M4)\x20encodes:\x20one\x20fixed-price\x20order,\x20milestones\x20as\x20chained\x20orders.','evidence':[]},{'id':'M6','class':'offchain','name':'Hourly-contract\x20variant\x20with\x20a\x20work-diary\x20(time\x20tracking\x20with\x20screenshots)','actor':'fulfiller','precondition':['M4'],'onchain':'not_applicable','commercialSemantics':'Hourly\x20contracts\x20with\x20an\x20automatic\x20work-diary\x20are\x20a\x20separate\x20billing\x20mode\x20on\x20the\x20real\x20product.\x20This\x20template\x20models\x20the\x20incumbent\x27s\x20fixed-price\x20contracts\x20only\x20(its\x20own\x20build_notes\x20say\x20so);\x20there\x20is\x20no\x20hourly\x20primitive,\x20no\x20timer\x20metering\x20and\x20no\x20diary\x20—\x20the\x20variant\x20is\x20eliminated,\x20not\x20disclosed.','evidence':[]},{'id':'E6','class':'offchain','name':'Hourly-contract\x20dispute\x20over\x20logged\x20time\x20(screenshot\x20evidence\x20review)','actor':'buyer','precondition':['M6'],'onchain':'not_applicable','commercialSemantics':'Hourly-billing\x20disputes\x20are\x20adjudicated\x20in-app\x20against\x20diary\x20screenshots.\x20With\x20no\x20hourly\x20mode\x20(M6)\x20the\x20chain\x20never\x20sees\x20logged\x20time,\x20so\x20this\x20dispute\x20class\x20cannot\x20exist\x20on\x20the\x20machine\x20—\x20the\x20dispute\x20rails\x20(R1/R2)\x20cover\x20fixed-price\x20deliveries\x20only.','evidence':[]},{'id':'M4','class':'main','name':'Contract\x20signed\x20and\x20the\x20full\x20price\x20escrowed\x20(one\x20atomic\x20buy)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'paid','moneyEffect':'escrow_in'},'commercialSemantics':'The\x20fixed-price\x20contract\x20is\x20funded\x20in\x20one\x20atomic\x20transaction\x20at\x20the\x20machine\x20entry\x20—\x20there\x20is\x20no\x20separate\x20offer/accept\x20handshake.\x20The\x20real\x20product\x27s\x20initiation\x20fee\x20and\x20the\x20client-side\x20marketplace\x20fee\x20have\x20no\x20allocator\x20leg:\x20commission_rate_bps\x20is\x200\x20and\x20stays\x200\x20(MERCHANT\x20FREEDOM\x20is\x20the\x20template\x27s\x20reason\x20to\x20exist).','evidence':[{'file':'service.move','line':0x1d2,'pattern':'public\x20fun\x20buy2'}]},{'id':'M5','class':'main','name':'Freelancer\x20accepts\x20(permission\x20slot)\x20and\x20works','actor':'fulfiller','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'in_progress','moneyEffect':'none'},'commercialSemantics':'Acceptance\x20is\x20a\x20permission-index\x20act,\x20not\x20a\x20signature\x20—\x20roster\x20membership\x20IS\x20admission\x20power.\x20Work-in-progress\x20status\x20is\x20the\x20state\x20the\x20client\x27s\x20cancel\x20primitive\x20(E4)\x20can\x20reach;\x20the\x20work\x20itself\x20is\x20off-chain.','evidence':[]},{'id':'M7','class':'main','name':'Deliverable\x20submitted\x20with\x20a\x20WIP-hash\x20evidence\x20row','actor':'fulfiller','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'SubmitDeliverable','prev':'in_progress','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Delivery\x20is\x20gated\x20on\x20an\x20order-keyed\x20evidence\x20row:\x20the\x20WIP\x20hash\x20is\x20the\x20on-chain\x20fact\x20\x27a\x20deliverable\x20exists\x27,\x20queryable\x20by\x20the\x20client\x20—\x20never\x20the\x20deliverable\x20content\x20itself.\x20Existence\x20is\x20not\x20trust\x20(R-X1-17).','guardKeyProbe':'submit_evidence','evidence':[{'file':'repository.move','line':0x3c,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'M8','class':'main','name':'Client\x20confirms\x20acceptance\x20(manual\x20signature)','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'accepted','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Acceptance\x20is\x20the\x20kernel-injected\x20order-holder\x20signature\x20edge\x20—\x20the\x20freelancer\x20can\x20never\x20self-accept\x20(trust\x20mechanism\x20R4).\x20The\x20manual\x20branch\x20and\x20the\x20timeout\x20branch\x20(M9)\x20live\x20on\x20distinct\x20edges\x20because\x20their\x20signer\x20sets\x20are\x20disjoint.','evidence':[]},{'id':'M9','class':'exception','name':'Acceptance\x20timeout\x20—\x20keeper\x20auto-advances\x20a\x20silent\x20client\x20(14\x20days)','actor':'keeper','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'accepted','forward':'AcceptTimeout','prev':'delivered','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'A\x20silent\x20client\x20cannot\x20strand\x20the\x20escrow\x20at\x20delivered:\x20the\x2014-day\x20timeout\x20(escrow_release_days)\x20moves\x20the\x20order\x20to\x20accepted\x20on\x20a\x20separate\x20merchant-side\x20keeper\x20edge.\x20The\x20real\x20product\x20has\x20no\x20such\x20rail\x20—\x20silence\x20is\x20resolved\x20by\x20support\x20tickets.','guardKeyProbe':'accept_timeout','evidence':[]},{'id':'M10','class':'main','name':'Client\x20reviews\x20the\x20delivery\x20(side\x20action,\x20window-gated)','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'Review','prev':'accepted','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Review\x20is\x20an\x20optional\x20reputation\x20side-stop\x20inside\x20the\x2014-day\x20review\x20window\x20—\x20never\x20a\x20settlement\x20gateway:\x20the\x20order\x20can\x20complete\x20from\x20accepted\x20directly\x20(M11)\x20so\x20a\x20silent\x20reviewer\x20cannot\x20strand\x20the\x20escrow.','guardKeyProbe':'review_window','evidence':[]},{'id':'M11','class':'main','name':'Settlement\x20—\x20freelancer\x20withdraws\x20released\x20funds','actor':'merchant','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'CompleteAfterReview','prev':'reviewed','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'The\x20settle\x20allocator\x20pays\x20the\x20freelancer\x20leg\x20at\x20rate\x2010000\x20(zero\x20commission)\x20with\x20a\x20rate-0\x20order-anchor\x20row\x20binding\x20the\x20guard\x20to\x20the\x20paying\x20order\x20(CR-01).\x20The\x20real\x20product\x20deducts\x20a\x20variable\x20freelancer\x20service\x20fee\x20(0-15%)\x20plus\x20a\x20client-side\x20marketplace\x20fee\x20—\x20both\x20eliminated\x20here.','evidence':[]},{'id':'M12','class':'exception','name':'Review-settle\x20clock\x20—\x20keeper\x20auto-completes\x20after\x20the\x20settle\x20delay\x20(7\x20days)','actor':'keeper','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'AutoCompleteAfterReview','prev':'reviewed','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'GF2-09:\x20after\x20settlement_delay_days\x20past\x20the\x20reviewed\x20entry\x20the\x20order\x20auto-completes,\x20so\x20a\x20stalled\x20review\x20can\x20never\x20strand\x20the\x20escrow\x20at\x20reviewed\x20(the\x20mainnet\x202.38\x20incident\x27s\x20cure).\x20Same\x20terminal\x20as\x20M11.','guardKeyProbe':'review_settle_clock','evidence':[]},{'id':'M13','class':'main','name':'Positive\x20feedback\x20(praise\x20rail)','actor':'buyer','precondition':['M11'],'onchain':'expressible','chainFootprint':{'node':'wonder','forward':'Praise','prev':'completed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20praise\x20edge\x20is\x20the\x20client\x27s\x20post-settlement\x20endorsement\x20—\x20the\x20on-chain\x20counterpart\x20of\x20the\x20real\x20product\x27s\x205-star\x20public\x20feedback,\x20structurally\x20immune\x20to\x20retroactive\x20editing.','evidence':[]},{'id':'M14','class':'main','name':'Negative\x20feedback\x20(complain\x20rail)','actor':'buyer','precondition':['M11'],'onchain':'expressible','chainFootprint':{'node':'no_wonder','forward':'Complain','prev':'completed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20complain\x20edge\x20records\x20dissatisfaction\x20without\x20touching\x20settled\x20funds\x20—\x20the\x20money\x20is\x20already\x20home;\x20the\x20real\x20product\x27s\x20dispute-after-payment\x20has\x20no\x20on-chain\x20clawback\x20to\x20reach\x20for\x20either.','evidence':[]},{'id':'E1','class':'exception','name':'Proposal\x20not\x20selected\x20(bid\x20rejected)','actor':'buyer','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'Bid\x20rejection\x20is\x20an\x20off-chain\x20attention\x20event\x20(Connects\x20are\x20spent\x20either\x20way).\x20No\x20order\x20exists\x20yet,\x20so\x20the\x20machine\x20has\x20nothing\x20to\x20eliminate\x20—\x20the\x20step\x20lives\x20entirely\x20outside\x20the\x20template.','evidence':[]},{'id':'E2','class':'exception','name':'Job\x20posting\x20withdrawn\x20before\x20award','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'The\x20client\x20closes\x20the\x20posting\x20pre-award;\x20again\x20no\x20order\x20exists.\x20The\x20template\x27s\x20pre-work\x20cancellation\x20(E3)\x20only\x20exists\x20after\x20escrow,\x20which\x20is\x20the\x20honest\x20boundary.','evidence':[]},{'id':'E3','class':'exception','name':'Pre-work\x20cancellation\x20(full\x20refund\x20from\x20the\x20paid\x20entry)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'The\x20paid\x20->\x20closed_cancel\x20edge\x20cancels\x20before\x20work\x20starts\x20and\x20the\x20order-anchored\x20refund\x20allocator\x20pays\x20the\x20client\x20back\x20whole.\x20The\x20real\x20product\x20refunds\x20the\x20escrowed\x20milestone\x20minus\x20nothing\x20at\x20this\x20stage\x20—\x20a\x20faithful\x20match.','evidence':[]},{'id':'E4','class':'exception','name':'Client\x20unilaterally\x20cancels\x20a\x20RUNNING\x20order\x20(cancel-from-in-progress\x20primitive)','actor':'buyer','precondition':['M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'Live-proven\x20(ctra2-mn-261020\x20E7):\x20the\x20chain\x27s\x20cancel-from-in-progress\x20primitive\x20needs\x20NO\x20freelancer\x20consent,\x20bypasses\x20the\x20declared\x20paid-only\x20cancel\x20edge,\x20and\x20the\x20order-anchored\x20rail\x20refunds\x20the\x20FULL\x20escrow.\x20The\x20gap\x20is\x20real\x20and\x20disclosed:\x20the\x20freelancer\x20has\x20zero\x20on-chain\x20protection\x20for\x20work\x20already\x20spent,\x20and\x20a\x20cancellation\x20fee\x20or\x20non-refundable\x20prepay\x20is\x20NOT\x20expressible\x20with\x20these\x20rails.','gapPredicate':{'probe':'ZERO\x20on-chain\x20protection|cancellation\x20fee\x20or\x20non-refundable\x20prepay\x20is\x20NOT\x20expressible'},'evidence':[]},{'id':'E5','class':'exception','name':'Milestone\x20dispute\x20—\x20buyer\x20escalates\x20a\x20rejected\x20deliverable\x20to\x20arbitration','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'forward':'ArbRefund','moneyEffect':'refund'},'commercialSemantics':'Filing\x20happens\x20on\x20the\x20off-Machine\x20Arbitration\x20object;\x20its\x20machine-visible\x20consequence\x20is\x20the\x20award\x20edge:\x20a\x20buyer-won\x20ruling\x20re-routes\x20the\x20stalled\x20delivered\x20order\x20into\x20closed_cancel\x20(GF2-31),\x20where\x20the\x20refund\x20allocator\x20moves\x20the\x20escrowed\x20principal.\x20Disputes\x20never\x20touch\x20intermediate\x20machine\x20nodes\x20(R-M1-11).','guardKeyProbe':'arb_refund','evidence':[]},{'id':'E7','class':'exception','name':'Delivery\x20rejected\x20—\x20revision\x20loop\x20returns\x20the\x20order\x20to\x20in_progress','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'in_progress','moneyEffect':'none'},'commercialSemantics':'A\x20rejection\x20re-opens\x20work:\x20the\x20revision\x20loop\x20returns\x20the\x20order\x20to\x20in_progress\x20and\x20every\x20re-delivery\x20re-enters\x20through\x20M7,\x20naturally\x20refreshing\x20the\x20progress\x20clock.\x20Round\x20counting\x20(max\x202)\x20is\x20off-chain\x20discipline\x20—\x20see\x20E8.','evidence':[]},{'id':'E8','class':'exception','name':'Revision\x20rounds\x20exhausted\x20(cap\x20enforced\x20off-chain)','actor':'merchant','precondition':['E7'],'onchain':'disclosure_only','commercialSemantics':'The\x20real\x20product\x20locks\x20further\x20revisions\x20after\x20the\x20purchased\x20count.\x20On-chain\x20there\x20is\x20no\x20revision-counter\x20primitive\x20—\x20the\x20cap\x20(revision_rounds_max,\x20default\x202)\x20is\x20counted\x20off-chain\x20and\x20disclosed\x20as\x20such\x20in\x20the\x20user-input\x20note.\x20The\x20honest\x20remedy\x20beyond\x20the\x20cap\x20is\x20the\x20dispute\x20rails\x20(E5).','disclosureProbe':'revision_rounds_max|Revision\x20round\x20cap|counted\x20off-chain','evidence':[]},{'id':'E9','class':'exception','name':'Client\x20unresponsive\x20after\x20delivery\x20(routes\x20to\x20the\x20acceptance\x20timeout)','actor':'keeper','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'accepted','forward':'AcceptTimeout','prev':'delivered','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Client\x20silence\x20is\x20the\x20M9\x20rail\x20itself\x20—\x20the\x20exception\x20is\x20the\x20mainline\x20keeper\x20clock\x20wearing\x20an\x20exception\x20hat.\x20The\x20key_risk\x20names\x20it:\x20the\x2014-day\x20timeout\x20unblocks\x20freelancer\x20payment.','guardKeyProbe':'accept_timeout','evidence':[]},{'id':'E10','class':'exception','name':'Escrow\x20dispute\x20over\x20fund\x20ownership\x20(redirected-refund\x20attack)','actor':'arbitrator','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'The\x20refund\x20recipient\x20is\x20the\x20ORDER\x20object\x20(order-anchored),\x20and\x20an\x20allocation\x20recipient\x20bound\x20to\x20an\x20object\x20the\x20submitted\x20order\x20is\x20not\x20the\x20owner\x20of\x20aborts\x20(ERECIPIENT_NOT_FOR_OBJECT)\x20—\x20the\x20redirect\x20attack\x20dies\x20at\x20the\x20allocator.\x20The\x20two-step\x20client\x20receive\x20flow\x20is\x20the\x20only\x20path\x20out.','evidence':[{'file':'allocation.move','line':0x26d,'pattern':'ERECIPIENT_NOT_FOR_OBJECT'}]},{'id':'E11','class':'exception','name':'Freelancer\x20account\x20banned\x20mid-contract\x20(platform\x20enforcement)','actor':'platform','precondition':['M5'],'onchain':'not_applicable','commercialSemantics':'Account\x20bans\x20are\x20platform-database\x20enforcement;\x20the\x20chain\x20has\x20no\x20account\x20to\x20ban\x20—\x20only\x20permission\x20rosters\x20the\x20merchant\x20controls.\x20The\x20substitution\x20is\x20roster\x20revocation,\x20which\x20is\x20a\x20management\x20act\x20this\x20template\x27s\x20permission\x20model\x20already\x20covers,\x20so\x20the\x20step\x20is\x20eliminated\x20rather\x20than\x20disclosed.','evidence':[]},{'id':'E12','class':'exception','name':'Client\x20account\x20banned\x20mid-contract\x20(escrow\x20continuity)','actor':'platform','precondition':['M5'],'onchain':'not_applicable','commercialSemantics':'Same\x20as\x20E11\x20from\x20the\x20client\x20side:\x20the\x20escrow\x20is\x20bound\x20to\x20the\x20ORDER,\x20not\x20to\x20a\x20platform\x20account,\x20so\x20a\x20ban\x20cannot\x20freeze\x20funds.\x20Roster/keeper\x20rails\x20(M9,\x20M12)\x20resolve\x20the\x20stalled\x20order\x20without\x20the\x20banned\x20identity\x20—\x20eliminated,\x20not\x20disclosed.','evidence':[]},{'id':'E13','class':'exception','name':'Freelancer\x20abandonment\x20mid-work\x20(client\x27s\x20exit\x20from\x20a\x20stalled\x20in_progress)','actor':'buyer','precondition':['M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'The\x20same\x20cancel-from-in-progress\x20primitive\x20(E4)\x20is\x20also\x20the\x20client\x27s\x20remedy\x20for\x20a\x20vanished\x20freelancer:\x20unilateral\x20cancel,\x20full\x20refund,\x20no\x20arbitration\x20needed.\x20The\x20disclosed\x20gap\x20cuts\x20the\x20other\x20way\x20here:\x20zero\x20on-chain\x20protection\x20means\x20no\x20partial\x20payment\x20for\x20partial\x20work,\x20and\x20there\x20is\x20no\x20stall-detection\x20clock\x20—\x20an\x20idle\x20in_progress\x20order\x20triggers\x20nothing\x20until\x20someone\x20acts.','gapPredicate':{'probe':'unilaterally\x20cancel\x20a\x20RUNNING\x20order|ZERO\x20on-chain\x20protection'},'evidence':[]},{'id':'E14','class':'exception','name':'Dispute\x20withdrawn\x20—\x20settled\x20out-of-band,\x20claim\x20pulled\x20before\x20ruling','actor':'buyer','precondition':['E5'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'WithdrawClaim','prev':'delivered','moneyEffect':'none'},'commercialSemantics':'The\x20real\x20product\x20lets\x20a\x20customer\x20close\x20their\x20own\x20ticket.\x20Mounted\x20at\x20v205:\x20the\x20buyer\x20files\x20through\x20the\x20claim_filed\x20waypoint\x20and\x20withdraws\x20through\x20WithdrawClaim\x20(claim_filed\x20->\x20delivered,\x20identity-only\x20zero-money\x20legs,\x20guard\x20key\x20withdraw_claim)\x20—\x20the\x20re-entry\x20appends\x20a\x20fresh\x20delivered\x20entry\x20and\x20re-anchors\x20the\x20acceptance\x20clock\x20(find=last),\x20so\x20the\x20windows\x20re-arm.\x20R27\x20rule\x203\x20unfreeze\x20order\x20is\x20disclosed\x20in-machine:\x20the\x20withdrawal\x20moves\x20Progress\x20ONLY\x20and\x20never\x20clears\x20the\x20Arb\x20case\x20—\x20conclude\x20the\x20case\x20on\x20the\x20venue\x20first,\x20then\x20withdraw.\x20Standing\x20residual\x20(ssng6-mn-261101\x20family):\x20the\x20identity\x20root\x20ships\x20no\x20arbitration\x20case-binding\x20leg;\x20the\x20waypoint\x20structure\x20(only\x20an\x20order\x20that\x20passed\x20the\x20claim_filed\x20gate\x20can\x20sit\x20at\x20claim_filed)\x20is\x20the\x20phantom-case\x20backstop\x20until\x20a\x20kernel\x20case-binding\x20forward\x20guard\x20lands\x20—\x20deleting\x20the\x20withdraw_claim\x20purpose\x20re-fires\x20this\x20probe.','guardKeyProbe':'withdraw_claim','evidence':[]},{'id':'R1','class':'remedy','name':'File\x20a\x20dispute\x20(off-Machine\x20Arbitration\x20object)','actor':'buyer','precondition':['M7'],'onchain':'disclosure_only','commercialSemantics':'Disputes\x20live\x20on\x20the\x20independent\x20Arbitration\x20object\x20—\x20the\x20ruling\x20is\x20NEVER\x20judged\x20in\x20the\x20Machine\x20(R-M1-11).\x20The\x20claim_filed\x20waypoint\x20(v205)\x20RECORDS\x20that\x20a\x20case\x20exists\x20and\x20structurally\x20pauses\x20the\x20auto-accept\x20rail\x20while\x20it\x20is\x20open;\x20the\x207-day\x20dispute-response\x20timeout\x20is\x20a\x20keeper\x20obligation\x20over\x20the\x20arbitration\x20case,\x20not\x20a\x20machine\x20guard,\x20and\x20the\x20venue\x20must\x20be\x20operational\x20before\x20binding\x20(a\x20fresh\x20Arbitration\x20ships\x20paused;\x20a\x20paused\x20venue\x20rejects\x20every\x20dispute\x20with\x20E_PAUSED).','disclosureProbe':'Disputes\x20live\x20on\x20the\x20Arbitration\x20object|NEVER\x20judged\x20in\x20the\x20Machine|E_PAUSED','evidence':[{'file':'arbitration.move','line':0x169,'pattern':'assert_op_permission'}]},{'id':'R2','class':'remedy','name':'Buyer-won\x20ruling\x20executes\x20the\x20full\x20refund\x20(ArbRefund\x20award\x20edge)','actor':'arbitrator','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'GF2-31\x20award-settle:\x20a\x20ruling\x20that\x20awarded\x20the\x20buyer\x20re-routes\x20the\x20stalled\x20delivered\x20order\x20into\x20the\x20refund\x20terminal\x20so\x20the\x20refund_gate\x20rail\x20actually\x20MOVES\x20the\x20escrowed\x20principal\x20—\x20the\x20ruling\x20alone\x20only\x20writes\x20case\x20state.\x20Keeper/merchant\x20slot\x201001\x20advances\x20it;\x20the\x20zero-award\x20exclusion\x20leg\x20keeps\x20a\x20dismissed\x20claim\x20off\x20this\x20edge.','guardKeyProbe':'arb_refund','evidence':[]},{'id':'R3','class':'remedy','name':'Arbitration\x20indemnity\x20paid\x20from\x20the\x20compensation\x20fund','actor':'arbitrator','precondition':['R1'],'onchain':'disclosure_only','commercialSemantics':'When\x20the\x20venue\x20carries\x20a\x20funded\x20compensation\x20pool,\x20indemnity\x20pays\x20the\x20order\x20owner\x20capped\x20at\x203x\x20the\x20escrowed\x20amount\x20(MAX_INDEMNITY_MULTIPLE)\x20—\x20trust-claim\x20prose\x20is\x20not\x20a\x20chain\x20anchor,\x20and\x20the\x20fund\x20must\x20be\x20non-zero\x20at\x20publish\x20whenever\x20the\x20template\x20declares\x20it.\x20The\x20cap\x20multiplies\x20the\x20ESCROW,\x20never\x20the\x20contract\x20value.','disclosureProbe':'compensation\x20fund|MAX_INDEMNITY_MULTIPLE|indemnity','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'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).\x20The\x20real\x20product\x27s\x20CS\x20ruling\x20executes\x20immediately\x20and\x20has\x20no\x20analog\x20step;\x20this\x20template\x27s\x20machine\x20refund\x20rail\x20keys\x20on\x20the\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':'Negotiated\x20partial\x20refund\x20(fraction\x20of\x20the\x20escrow\x20back)','actor':'merchant','precondition':['E5'],'onchain':'not_applicable','commercialSemantics':'The\x20real\x20product\x20settles\x20many\x20disputes\x20at\x20a\x20split\x20(e.g.\x2070/30).\x20The\x20chain\x27s\x20refund\x20vocabulary\x20is\x20two-valued\x20—\x20the\x20allocator\x20rails\x20express\x20only\x20full-refund\x20(rate\x2010000)\x20or\x20nothing\x20—\x20so\x20a\x20negotiated\x20fraction\x20is\x20eliminated\x20inside\x20the\x20machine;\x20the\x20off-rails\x20workaround\x20is\x20a\x20permissionless\x20Payment\x20object\x20outside\x20this\x20template,\x20followed\x20by\x20a\x20withdraw.','evidence':[]},{'id':'R6','class':'remedy','name':'Dispute-response\x20timeout\x20—\x20keeper\x20escalates\x20an\x20unanswered\x20case\x20(7\x20days)','actor':'keeper','precondition':['R1'],'onchain':'disclosure_only','commercialSemantics':'The\x207-day\x20dispute\x20response\x20timeout\x20(dispute_timeout_days)\x20is\x20a\x20KEEPER\x20obligation\x20over\x20the\x20Arbitration\x20case\x20—\x20the\x20machine\x20has\x20no\x20timer\x20for\x20it\x20and\x20no\x20guard\x20enforces\x20it.\x20Keeper\x20downtime\x20degrades\x20to\x20manual\x20follow-up,\x20which\x20the\x20corpus\x20states\x20plainly.','disclosureProbe':'dispute\x20response\x20timeout|dispute-response\x20timeout|dispute_timeout_days','evidence':[]},{'id':'R7','class':'remedy','name':'Escrow-exit\x20invariant\x20—\x20every\x20stalled\x20order\x20keeps\x20a\x20drain\x20path','actor':'merchant','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'Both\x20terminals\x20drain:\x20settlement\x20exits\x20via\x20the\x20settle_gate\x20node\x20set\x20(completed\x20/\x20wonder\x20/\x20no_wonder),\x20refund\x20exits\x20via\x20the\x20order-anchored\x20refund_gate\x20at\x20closed_cancel,\x20and\x20a\x20stalled\x20delivered\x20order\x20exits\x20via\x20the\x20award\x20edge\x20(E5/R2).\x20Exactly\x20one\x20leg\x20can\x20ever\x20pass\x20—\x20the\x20invariant\x20the\x20mainnet\x202.38\x20incident\x20bought.','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','chainFootprint':{'node':'claim_filed','forward':'ResumeAfterDismissal','prev':'delivered','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Mounted\x20at\x20v205\x20(tpl_forward_arb_ruling_dismissed,\x20key\x20arb_dismissed_resume):\x20a\x20zero-award\x20(merchant-favor)\x20ruling\x20resumes\x20the\x20disputed\x20order\x20back\x20to\x20delivered\x20—\x20the\x20dismissed\x20buyer\x20keeps\x20the\x20normal\x20review/settlement/return\x20rights\x20and\x20the\x20re-dispute\x20window\x20re-arms\x20via\x20the\x20fresh\x20delivered\x20entry\x20(find=last).\x20ZERO\x20money\x20legs;\x20the\x20zero-award\x20polarity\x20is\x20the\x20SAME\x20exclusion\x20fact\x20that\x20keeps\x20this\x20edge\x20off\x20the\x20award\x20rail.\x20Merchant\x20arbitration-execution\x20slot\x201004\x20(the\x20family\x20arb\x20bucket,\x20kept\x20off\x20the\x201002\x20settle/keeper\x20rail);\x20venue\x20binding\x20rides\x20identifier\x203,\x20deliberately\x20asymmetric\x20with\x20the\x20award\x20rail\x27s\x20identifier\x204\x20(do\x20not\x20normalize).\x20Before\x20v205\x20a\x20dismissal\x20left\x20the\x20order\x20parked\x20at\x20delivered\x20with\x20the\x20award\x20edge\x20as\x20its\x20only\x20exit\x20—\x20the\x20strict\x20probes\x20keep\x20that\x20regression\x20from\x20returning.','guardKeyProbe':'arb_dismissed_resume','evidence':[]},{'id':'M15','class':'post','name':'Multi-milestone\x20contracts\x20=\x20chained\x20independent\x20orders','actor':'merchant','precondition':['M11'],'onchain':'disclosure_only','commercialSemantics':'The\x20real\x20product\x20splits\x20a\x20contract\x20into\x20milestones\x20funded\x20one\x20at\x20a\x20time.\x20The\x20template\x27s\x20stated\x20modeling\x20is\x20multiple\x20chained\x20Orders,\x20each\x20with\x20an\x20independent\x20Allocation,\x20with\x20leftover\x20balance\x20recharged\x20into\x20the\x20next\x20Order\x20pool\x20—\x20a\x20composition\x20pattern,\x20not\x20a\x20machine\x20feature,\x20disclosed\x20in\x20the\x20build_notes.','disclosureProbe':'Milestones|chained\x20Orders|next\x20Order\x20pool','evidence':[]},{'id':'P1','class':'post','name':'Job\x20Success\x20Score\x20/\x20reputation\x20index\x20update','actor':'platform','precondition':['M13'],'onchain':'not_applicable','commercialSemantics':'The\x20JSS\x20is\x20a\x20platform-side\x20weighted\x20score\x20over\x20feedback\x20history.\x20On-chain\x20the\x20reputation\x20surface\x20is\x20the\x20review\x20rows\x20themselves;\x20no\x20composite\x20score\x20primitive\x20exists,\x20so\x20the\x20index\x20is\x20eliminated\x20(the\x20raw\x20reviews\x20remain).','evidence':[]},{'id':'P2','class':'post','name':'Repeat\x20engagement\x20/\x20long-term\x20client\x20relationship','actor':'buyer','precondition':['M11'],'onchain':'expressible_with_gap','chainFootprint':{'node':'paid','moneyEffect':'escrow_in'},'commercialSemantics':'Repeat\x20work\x20is\x20a\x20fresh\x20funnel\x20pass:\x20a\x20new\x20order\x20at\x20the\x20same\x20entry,\x20same\x20rails.\x20The\x20gap\x20(disclosed\x20via\x20the\x20chained-orders\x20note)\x20is\x20that\x20there\x20is\x20no\x20parent/bundle\x20object\x20—\x20the\x20relationship\x20is\x20invisible\x20on-chain\x20except\x20as\x20order\x20history.','gapPredicate':{'probe':'chained\x20Orders|next\x20Order\x20pool|no\x20parent'},'evidence':[]},{'id':'P3','class':'post','name':'Review-reward\x20claim\x20paid\x20from\x20the\x20pre-funded\x20pool','actor':'platform','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'reviewed','moneyEffect':'reward'},'commercialSemantics':'The\x20sale-time\x20reward\x20planning:\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—\x20the\x20incentive\x20rail\x20the\x20real\x20product\x20runs\x20with\x20karma/badges\x20instead\x20of\x20money.','evidence':[{'file':'reward.move','line':0xe3,'pattern':'public\x20fun\x20claim'}]},{'id':'P4','class':'post','name':'Feedback\x20edited\x20or\x20removed\x20within\x2014\x20days\x20(real\x20product\x27s\x20edit\x20window)','actor':'buyer','precondition':['M10'],'onchain':'not_applicable','commercialSemantics':'The\x20real\x20product\x20allows\x20feedback\x20edits\x20for\x2014\x20days.\x20On-chain\x20repository\x20rows\x20are\x20write-once\x20(E_POLICY_WRITE_ONCE_CONFLICT\x20on\x20overwrite)\x20—\x20the\x20edit\x20window\x20is\x20eliminated\x20by\x20construction,\x20a\x20privacy/integrity\x20FEATURE\x20the\x20chain\x20holds\x20structurally\x20over\x20the\x20incumbent.','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]},{'id':'P5','class':'post','name':'Top\x20Rated\x20/\x20badge\x20achievement\x20from\x20rolling\x20stats','actor':'platform','precondition':['P1'],'onchain':'not_applicable','commercialSemantics':'Badges\x20are\x20derived\x20platform-side\x20labels\x20over\x20the\x20JSS.\x20No\x20on-chain\x20primitive\x20computes\x20rolling\x20aggregates\x20—\x20eliminated\x20like\x20P1;\x20the\x20truthful\x20on-chain\x20signal\x20remains\x20the\x20immutable\x20review\x20and\x20reward\x20history.','evidence':[]}],'invariants':[{'id':'INV-UPW-1','statement':'A\x20freelancer\x20must\x20receive\x20payment\x20no\x20later\x20than\x2030\x20days\x20after\x20invoicing\x20(New\x20York\x20Freelance\x20Isn\x27t\x20Free\x20Act:\x20statutory\x2030-day\x20payment\x20clock,\x20double-damages\x20remedy).','jurisdiction':'NYC\x20FIFA\x20(Admin.\x20Code\x20§\x2020-927);\x20EU\x20Platform\x20Work\x20Directive\x202024/2831\x20art.\x206\x20(prompt\x20payment).','chainConflict':'No\x20conflict\x20on\x20the\x20happy\x20path:\x20the\x20shipped\x20defaults\x20settle\x20in\x20settlement_delay_days\x20(7)\x20past\x20acceptance\x20with\x20escrow_release_days\x20(14)\x20bounding\x20client\x20silence\x20—\x2021\x20days\x20worst\x20case,\x20inside\x20the\x2030-day\x20clock\x20WITHOUT\x20any\x20keeper\x20action.\x20The\x2030-day\x20clock\x20is\x20a\x20sum\x20inequality\x20the\x20mechanical\x20predicate\x20cannot\x20express\x20(requiresFeeParamNonZero\x20only),\x20so\x20this\x20invariant\x20stays\x20text-only\x20and\x20is\x20re-checked\x20by\x20hand\x20whenever\x20the\x20two\x20knobs\x20move.'},{'id':'INV-UPW-2','statement':'A\x20dispute\x20rail\x20with\x20a\x20live\x20response\x20clock\x20must\x20keep\x20a\x20machine-executed\x20buyer-won-ruling\x20exit:\x20if\x20the\x20award\x20edge\x20is\x20removed\x20while\x20dispute_timeout_days\x20>\x200,\x20a\x20won\x20ruling\x20writes\x20case\x20state\x20but\x20never\x20moves\x20the\x20escrowed\x20principal\x20—\x20the\x20buyer\x27s\x20only\x20remedy\x20evaporates\x20after\x20delivery.','jurisdiction':'NYC\x20FIFA\x20§\x2020-927\x20(timely\x20payment\x20on\x20contract\x20completion);\x20EU\x20PWD\x202024/2831\x20art.\x206.','chainConflict':'Standing\x20check\x20(not\x20currently\x20violated):\x20the\x20template\x20ships\x20the\x20ArbRefund\x20award\x20edge\x20(delivered\x20->\x20closed_cancel,\x20GF2-31)\x20whose\x20refund_gate\x20leg\x20actually\x20moves\x20the\x20principal,\x20PLUS\x20the\x20second\x20claim_filed\x20exit\x20(arb_refund_filed)\x20so\x20a\x20ruling\x20on\x20a\x20RECORDED\x20claim\x20reaches\x20the\x20same\x20terminal.\x20Removing\x20either\x20forward\x20while\x20the\x20dispute\x20clock\x20stays\x20configured\x20re-fires\x20this\x20invariant.\x20Race\x20face\x20(FLOWS\x20§5a-2,\x20structurally\x20closed\x20at\x20v205):\x20before\x20the\x20claim_filed\x20waypoint\x20an\x20open\x20case\x20left\x20the\x20order\x20at\x20delivered,\x20where\x20the\x2014-day\x20accept_timeout\x20could\x20advance\x20it\x20to\x20accepted\x20and\x20permanently\x20orphan\x20the\x20award\x20edge\x27s\x20trigger\x20node\x20—\x20the\x20waypoint\x20park\x20(the\x20order\x20sits\x20at\x20claim_filed\x20while\x20the\x20case\x20is\x20open)\x20makes\x20that\x20advance\x20unreachable;\x20the\x20standing\x20check\x20remains\x20as\x20the\x20anti-regression\x20tripwire.','violation':{'requiresFeeParamNonZero':'dispute_timeout_days','whileMissingForward':'ArbRefund'}},{'id':'INV-UPW-3','statement':'A\x20reviewer-silence\x20horizon\x20must\x20keep\x20a\x20machine\x20exit\x20to\x20settlement:\x20if\x20the\x20keeper\x20auto-complete\x20edge\x20is\x20removed\x20while\x20settlement_delay_days\x20>\x200,\x20a\x20client\x20who\x20accepts\x20but\x20never\x20reviews\x20strands\x20the\x20escrow\x20at\x20reviewed\x20forever\x20(the\x20mainnet\x202.38\x20incident,\x20az-mn-261007\x20T5).','jurisdiction':'EU\x20PWD\x202024/2831\x20art.\x206\x20(prompt\x20payment);\x20NYC\x20FIFA\x20§\x2020-927.','chainConflict':'Standing\x20check\x20(not\x20currently\x20violated):\x20the\x20template\x20ships\x20AutoCompleteAfterReview\x20(reviewed\x20->\x20completed,\x20review_settle_clock,\x20GF2-09).\x20Removing\x20the\x20forward\x20while\x20the\x20settle\x20delay\x20stays\x20configured\x20re-fires\x20this\x20invariant.','violation':{'requiresFeeParamNonZero':'settlement_delay_days','whileMissingForward':'AutoCompleteAfterReview'}},{'id':'INV-UPW-4','statement':'Arbitration\x20indemnity\x20protects\x20the\x20BUYER\x20only:\x20the\x20compensation-fund\x20payout\x20path\x20pays\x20the\x20order\x20owner\x20(the\x20client)\x20—\x20there\x20is\x20no\x20on-chain\x20path\x20to\x20indemnify\x20the\x20freelancer,\x20even\x20for\x20a\x20ruling\x20won\x20against\x20a\x20malicious\x20non-paying\x20client.','jurisdiction':'Shansong-vs-upwork\x20analogy:\x20platform\x20purchase\x20protection\x20covers\x20the\x20paying\x20side;\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\x20—\x20both\x20facts\x20close\x20the\x20freelancer\x20out\x20of\x20the\x20fund.\x20Text-only:\x20the\x20corpus\x20discloses\x20the\x20limitation\x20and\x20no\x20fee_params\x20key\x20can\x20make\x20it\x20mechanical.','evidence':[{'file':'service.move','line':0x265,'pattern':'order::owner(order)'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'}]}]};

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

@@ -0,0 +1 @@
+export const YUANFUDAO_ORACLE={'productRef':'yuanfudao','products':['yuanfudao','zuoyebang-live','xueersi-wangxiao','zhangmen'],'oracleVersion':'1.0.0','steps':[{'id':'M1','class':'offchain','name':'Discover\x20courses,\x20compare\x20teachers\x20and\x20read\x20reviews\x20(lead\x20capture\x20is\x20an\x20app\x20concern)','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Catalog\x20discovery,\x20teacher\x20marketing\x20and\x20review\x20browsing\x20are\x20off-chain\x20content;\x20the\x20chain\x20holds\x20no\x20teacher-quality\x20or\x20demand\x20oracle.\x20Discovery\x20lives\x20in\x20the\x20market\x20layer,\x20never\x20inside\x20the\x20order\x20path.','evidence':[]},{'id':'M2','class':'main','name':'Trial\x20lesson\x20funnel\x20(a\x20separate\x20lead\x20Service\x20with\x20its\x20own\x20machine)','actor':'merchant','precondition':['M1'],'onchain':'disclosure_only','commercialSemantics':'The\x20trial\x20is\x20a\x20separate\x20lead\x20Service\x20—\x20its\x20own\x20(usually\x20cheaper)\x20machine\x20—\x20never\x20a\x20zero-amount\x20order\x20on\x20the\x20cohort\x20machine;\x20coupon\x20handoff\x20rides\x20a\x20Discount\x20object\x20pointing\x20at\x20the\x20main-course\x20Service.\x20The\x20trial\x27s\x20expiry\x20is\x20a\x20keeper\x20duty,\x20not\x20an\x20in-order\x20state.','disclosureProbe':'the\x20trial\x20funnel\x20is\x20a\x20separate\x20lead\x20Service','evidence':[]},{'id':'M3','class':'main','name':'Enrollment\x20purchase\x20with\x20prepay\x20caps\x20enforced\x20at\x20buy\x20(whole\x20term\x20escrowed)','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'forward':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'One\x20atomic\x20buy\x20escrows\x20the\x20whole\x20term\x20and\x20the\x20buy\x20guard\x20enforces\x20the\x20prepay\x20caps\x20(max\x205000\x20/\x2060\x20sessions\x20/\x203\x20months)\x20on\x20Passport-submitted\x20values.\x20The\x20discount\x20param\x20is\x20honored\x20inside\x20the\x20buy:\x20the\x20order\x20must\x20still\x20cover\x20session_count\x20x\x20per_session_release,\x20and\x20the\x20sale\x27s\x20fixed-leg\x20gate\x20rejects\x20a\x20below-floor\x20discounted\x20order\x20before\x20any\x20money\x20moves.','evidence':[{'file':'service.move','line':0x1c9,'pattern':'public\x20fun\x20buy'},{'file':'service.move','line':0x1d2,'pattern':'fun\x20buy2'}]},{'id':'M4','class':'main','name':'Syllabus\x20and\x20material\x20commitment\x20recorded\x20before\x20term\x20start','actor':'merchant','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'enrolled','moneyEffect':'none'},'commercialSemantics':'The\x20syllabus/repository\x20commitment\x20is\x20a\x20build-or-config-time\x20write\x20with\x20version\x20evidence;\x20on\x20the\x20enrolled\x20order\x20state\x20it\x20is\x20the\x20declared\x20baseline\x20the\x20sessions\x20deliver\x20against.\x20Schedule\x20changes\x20later\x20ride\x20publish-freeze\x20versioning,\x20never\x20in-place\x20edits.','evidence':[]},{'id':'M5','class':'main','name':'Live\x20session\x20held\x20—\x20dual-sign\x20attendance\x20(institution\x20advances,\x20parent\x20signs)','actor':'fulfiller','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'session_1','forward':'enrolled','prev':'','moneyEffect':'none'},'commercialSemantics':'The\x20session\x20ladder\x20advances\x20only\x20on\x20dual\x20confirmation:\x20the\x20institution\x27s\x20permission\x20slot\x20records\x20the\x20workflow\x20step\x20while\x20fund\x20release\x20requires\x20the\x20parent\x27s\x20(order\x20owner\x27s)\x20signature\x20—\x20the\x20structural\x20fix\x20for\x20the\x20classic\x20self-sign\x20attendance\x20bug.\x20Session\x20nodes\x20are\x20representative\x20and\x20expand\x20to\x20N\x20at\x20build\x20time.','evidence':[{'file':'order.move','line':0xf8,'pattern':'E_NOT_THE_OWNER'}]},{'id':'M6','class':'main','name':'Per-session\x20fund\x20release\x20(term_price\x20/\x20N\x20per\x20attended\x20session)','actor':'keeper','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'session_1','moneyEffect':'release'},'commercialSemantics':'One\x20Sharing\x20entry\x20re-fires\x20once\x20per\x20session\x20(repeat_from\x20session_count):\x20each\x20attended\x20session\x20releases\x20the\x20fixed\x20Amount\x20unit\x20with\x20an\x20add-only\x20once\x20leg.\x20A\x20release-sequence\x20lock\x20guarantees\x20exactly\x20one\x20trigger\x20per\x20session,\x20and\x20alloc()\x20asserts\x20the\x20pool\x20still\x20covers\x20the\x20remaining\x20legs\x20—\x20the\x20anti-runaway\x20core\x20of\x20the\x20archetype.','evidence':[{'file':'allocation.move','line':0xf0,'pattern':'AllocationMode_Amount'}]},{'id':'M7','class':'main','name':'All\x20sessions\x20attended\x20—\x20completion\x20readiness\x20(pre-review\x20waypoint)','actor':'fulfiller','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'completed_ready','forward':'session_3','prev':'','moneyEffect':'none'},'commercialSemantics':'The\x20last\x20session\x20advances\x20the\x20order\x20to\x20completion\x20readiness:\x20settlement\x20is\x20deliberately\x20not\x20fired\x20yet\x20—\x20the\x20closing\x20review\x20window\x20and\x20the\x20terminal\x20decision\x20still\x20lie\x20ahead,\x20and\x20an\x20unruled\x20dispute\x20must\x20never\x20find\x20an\x20already-empty\x20pool.','evidence':[]},{'id':'M8','class':'main','name':'In-class\x20interaction,\x20homework\x20and\x20Q&A\x20(off-chain\x20classroom\x20service)','actor':'buyer','precondition':['M5'],'onchain':'not_applicable','commercialSemantics':'The\x20classroom\x20itself\x20(stream,\x20chat,\x20homework,\x20grading)\x20is\x20an\x20off-chain\x20service\x20with\x20no\x20chain\x20oracle;\x20the\x20chain\x20only\x20ever\x20observes\x20the\x20attendance\x20signature\x20pair\x20and,\x20if\x20trust\x20collapses,\x20the\x20dispute\x20tail\x20(E9).','evidence':[]},{'id':'M9','class':'main','name':'Course\x20finalization\x20terminal\x20(completion\x20or\x20post-review\x20finalize)','actor':'keeper','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'completed_ready','prev':'','moneyEffect':'none'},'commercialSemantics':'completed\x20is\x20one\x20of\x20the\x20n-ary\x20OR\x20terminals:\x20it\x20can\x20be\x20reached\x20directly\x20(no\x20review)\x20or\x20finalized\x20after\x20review\x20via\x20the\x20institution\x27s\x20permission\x20slot.\x20Reaching\x20it\x20is\x20a\x20record\x20act\x20—\x20the\x20pool\x20is\x20already\x20empty\x20on\x20the\x20golden\x20path\x20because\x20every\x20session\x27s\x20Amount\x20left\x20at\x20attendance.','evidence':[]},{'id':'M10','class':'main','name':'Renewal\x20window\x20record\x20+\x20next-term\x20NEW\x20Order\x20(F24\x20re-entry)','actor':'buyer','precondition':['M9'],'onchain':'expressible_with_gap','chainFootprint':{'node':'renewal_window','forward':'completed','prev':'','moneyEffect':'escrow_in'},'commercialSemantics':'renewal_window\x20is\x20a\x20DRAINED\x20terminal\x20RECORD,\x20not\x20a\x20renewal\x20primitive:\x20the\x20next\x20term\x20is\x20a\x20NEW\x20Order\x20created\x20on\x20this\x20same\x20Service\x20(order\x20call\x20order_new),\x20optionally\x20carrying\x20the\x20previous\x20order\x20address\x20for\x20learner\x20continuity.\x20order_renew\x20is\x20a\x20same-order\x20re-fund\x20composite\x20this\x20machine\x20does\x20not\x20declare\x20—\x20never\x20use\x20it.\x20With\x20the\x20F09\x20order-keyed\x20review\x20row\x20every\x20term\x20gets\x20its\x20own\x20review\x20row.','gapPredicate':{'probe':'order\x20call\x20order_new|previous\x20order\x20address'},'evidence':[]},{'id':'E1','class':'exception','name':'Trial\x20dissatisfaction\x20(no\x20chain\x20object\x20exists\x20to\x20refund)','actor':'buyer','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'Chain\x20semantics\x20eliminate\x20this\x20step:\x20the\x20trial\x20is\x20a\x20separate\x20lead\x20Service,\x20so\x20dissatisfaction\x20before\x20the\x20cohort\x20purchase\x20touches\x20no\x20escrow\x20on\x20this\x20machine\x20—\x20the\x20funnel\x20simply\x20does\x20not\x20convert.','evidence':[]},{'id':'E2','class':'exception','name':'Class\x20fails\x20to\x20open\x20(below\x20minimum\x20cohort)\x20—\x20full\x20pre-start\x20refund','actor':'merchant','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'withdrawn','forward':'enrolled','prev':'','moneyEffect':'refund'},'commercialSemantics':'The\x20refund\x20track\x20declares\x20the\x20order-anchored\x20row\x20separately:\x20Rate\x2010000\x20of\x20the\x20untouched\x20pool\x20to\x20the\x20order-anchored\x20recipient\x20(the\x20parent),\x20node-gated\x20on\x20withdrawn\x20with\x20no\x20claimed_by\x20leg.\x20The\x20unearned\x20remainder\x20is\x20the\x20whole\x20pool\x20pre-start.','evidence':[{'file':'allocation.move','line':0x1af,'pattern':'ERATE_NOT_10000'}]},{'id':'E3','class':'exception','name':'Instructor\x20substituted\x20without\x20consent\x20—\x20terminate\x20and\x20claim\x20the\x20penalty','actor':'buyer','precondition':['M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'withdrawn','moneyEffect':'refund'},'commercialSemantics':'The\x20refund\x20itself\x20is\x20structural\x20(withdrawal\x20sweep),\x20but\x20the\x20contractual\x20penalty\x20has\x20NO\x20on-chain\x20debit\x20primitive:\x20penalty\x20clauses\x20ride\x20the\x20compensation\x20fund\x20—\x20drawdown\x20is\x20capped\x20at\x20fund/3\x20of\x20the\x20live\x20balance\x20and\x20the\x20quoted\x20penalty\x20figure\x20is\x20prose\x20with\x20no\x20chain\x20anchor,\x20shrinking\x20in\x20place\x20after\x20every\x20award.','gapPredicate':{'probe':'compensation\x20fund'},'evidence':[]},{'id':'E4','class':'exception','name':'Stream\x20outage\x20/\x20class\x20not\x20delivered\x20—\x20parent\x20withholds\x20the\x20next\x20signature','actor':'buyer','precondition':['M5'],'onchain':'disclosure_only','commercialSemantics':'The\x20remedy\x20is\x20behavioral\x20and\x20structural\x20at\x20once:\x20the\x20parent\x20simply\x20refuses\x20to\x20sign\x20the\x20failed\x20session,\x20so\x20no\x20funds\x20release\x20and\x20the\x20term\x27s\x20economics\x20auto-adjust.\x20Anything\x20disputed\x20beyond\x20that\x20routes\x20to\x20arbitration,\x20whose\x20ruling\x20refund\x20is\x20executed\x20by\x20the\x20keeper.','disclosureProbe':'signature\x20gates\x20every\x20session\x20release','evidence':[]},{'id':'E5','class':'exception','name':'Student\x20absence\x20—\x20replay/make-up\x20at\x20the\x20parent\x27s\x20discretion','actor':'buyer','precondition':['M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'session_2','moneyEffect':'none'},'commercialSemantics':'A\x20replayed\x20session\x20counts\x20as\x20attendance\x20only\x20if\x20the\x20parent\x20signs\x20it:\x20the\x20signature\x20IS\x20the\x20attendance\x20oracle,\x20so\x20make-up\x20policy\x20stays\x20a\x20family\x20decision\x20rather\x20than\x20an\x20institution-attested\x20fact.\x20The\x20per-session\x20release\x20follows\x20the\x20signature,\x20never\x20the\x20calendar.','gapPredicate':{'probe':'signature\x20gates\x20every\x20session\x20release'},'evidence':[]},{'id':'E6','class':'exception','name':'Attendance\x20fraud\x20/\x20account\x20lending\x20(no\x20behavior\x20oracle)','actor':'merchant','precondition':['M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'session_3','moneyEffect':'none'},'commercialSemantics':'The\x20chain\x20proves\x20a\x20parent-signed\x20session\x20advance,\x20not\x20that\x20the\x20enrolled\x20child\x20watched:\x20authenticity\x20rests\x20on\x20the\x20parent\x27s\x20own\x20signature\x20and\x20remains\x20self-report\x20below\x20it.\x20There\x20is\x20no\x20attendance-behavior\x20oracle\x20—\x20the\x20disclosure\x20of\x20that\x20limit\x20is\x20the\x20remedy,\x20plus\x20the\x20dispute\x20tail\x20for\x20real\x20abuse.','gapPredicate':{'probe':'signature\x20gates\x20every\x20session\x20release'},'evidence':[]},{'id':'E7','class':'exception','name':'Pre-start\x20cooling-off\x20refund\x20(full,\x20from\x20withdrawn)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'withdrawn','moneyEffect':'refund'},'commercialSemantics':'Any\x20pre-start\x20exit\x20pays\x20the\x20order\x20anchor\x20in\x20full\x20—\x20the\x20same\x20single-layer\x20refund\x20rail\x20as\x20E2,\x20intentionally\x20shared\x20so\x20there\x20is\x20exactly\x20one\x20pre-start\x20refund\x20semantics\x20regardless\x20of\x20who\x20terminates\x20or\x20why.','evidence':[]},{'id':'E8','class':'exception','name':'Mid-cohort\x20withdrawal\x20filing\x20(parent-act,\x20any\x20session\x20state)','actor':'buyer','precondition':['M5'],'onchain':'expressible','chainFootprint':{'forward':'session_1','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x20parent\x20can\x20withdraw\x20from\x20every\x20session\x20state\x20of\x20the\x20ladder:\x20the\x20refund\x20is\x20pro-rata\x20BY\x20CONSTRUCTION\x20—\x20the\x20per-session\x20Amounts\x20already\x20paid\x20the\x20earned\x20share,\x20so\x20what\x20remains\x20in\x20the\x20pool\x20IS\x20the\x20unearned\x20refund;\x20no\x20(N-k)/N\x20arithmetic\x20exists\x20anywhere\x20in\x20the\x20shipped\x20rails\x20(those\x20static\x20Rate\x20segments\x20are\x20superseded\x20and\x20not\x20expressible).','evidence':[]},{'id':'E9','class':'exception','name':'Refund-calculation\x20dispute\x20escalated\x20to\x20independent\x20arbitration','actor':'buyer','precondition':['E8'],'onchain':'disclosure_only','commercialSemantics':'Arbitration\x20runs\x20under\x20an\x20independent\x20Permission\x20(fee\x20<=\x202%\x20of\x20tuition),\x20structurally\x20separated\x20from\x20the\x20institution\x20and\x20the\x20parent.\x20Venue\x20readiness\x20is\x20a\x20hard\x20fact:\x20a\x20paused\x20venue\x20rejects\x20every\x20dispute\x20with\x20E_PAUSED.','disclosureProbe':'independent\x20arbitration','evidence':[{'file':'arbitration.move','line':0x15a,'pattern':'E_PAUSED'},{'file':'arbitration.move','line':0x169,'pattern':'order::assert_op_permission'}]},{'id':'E10','class':'exception','name':'Refund\x20payout\x20stalled\x20—\x20keeper-reachable\x20residual\x20sweep\x20(no\x20signer\x20leg)','actor':'keeper','precondition':['E8'],'onchain':'disclosure_only','commercialSemantics':'The\x20terminal\x20sweep\x20is\x20keeper-reachable\x20with\x20NO\x20signer\x20leg\x20and\x20no\x20window\x20leg,\x20so\x20a\x20silent\x20parent\x20cannot\x20strand\x20their\x20own\x20refund:\x20Rate\x2010000\x20of\x20the\x20remaining\x20pool\x20to\x20the\x20order-anchored\x20recipient\x20in\x20a\x20two-step\x20claim.\x20On\x20an\x20empty\x20pool\x20the\x20fire\x20aborts\x20harmlessly.','disclosureProbe':'order-anchored\x20refund\x20recipient','evidence':[{'file':'allocation.move','line':0x275,'pattern':'tx_context::sender'},{'file':'allocation.move','line':0x26d,'pattern':'ERECIPIENT_NOT_FOR_OBJECT'}]},{'id':'E11','class':'exception','name':'Institution\x20insolvency\x20/\x20runaway\x20with\x20prepaid\x20tuition','actor':'keeper','precondition':['M6'],'onchain':'not_applicable','commercialSemantics':'Chain\x20semantics\x20eliminate\x20the\x20runaway:\x20the\x20prepaid\x20pool\x20never\x20leaves\x20the\x20order\x27s\x20allocation\x20except\x20per\x20attended\x20session\x20or\x20as\x20a\x20refund\x20—\x20insolvency\x20cannot\x20carry\x20escrow\x20away,\x20and\x20the\x20keeper-reachable\x20sweep\x20(E10)\x20plus\x20arbitration\x20survive\x20the\x20merchant\x27s\x20disappearance.','evidence':[]},{'id':'E12','class':'exception','name':'False\x20advertising\x20/\x20quality\x20misrepresentation\x20—\x20fund-drawn\x20award','actor':'buyer','precondition':['E9'],'onchain':'disclosure_only','commercialSemantics':'A\x20buyer-favor\x20ruling\x20pays\x20from\x20the\x20compensation\x20fund\x20(quoted\x20headline:\x2010x\x20single\x20order),\x20capped\x20per\x20order\x20at\x20fund/3\x20(MAX_INDEMNITY_MULTIPLE)\x20of\x20the\x20live\x20balance\x20—\x20awards\x20shrink\x20the\x20fund\x20in\x20place,\x20so\x20the\x20quoted\x20number\x20silently\x20goes\x20stale\x20and\x20must\x20be\x20kept\x20synced.','disclosureProbe':'MAX_INDEMNITY_MULTIPLE|compensation\x20fund','evidence':[]},{'id':'E13','class':'exception','name':'Cap-violating\x20order\x20attempt\x20(over-cap\x20prepay)\x20rejected\x20at\x20buy','actor':'merchant','precondition':['M3'],'onchain':'disclosure_only','commercialSemantics':'The\x20caps\x20are\x20buy-guard\x20constants\x20checked\x20on\x20Passport-submitted\x20values:\x20an\x20over-cap\x20order\x20is\x20rejected\x20BEFORE\x20any\x20money\x20moves\x20—\x20never\x20split,\x20repriced\x20or\x20retrofitted\x20after\x20escrow.\x20Raising\x20a\x20cap\x20is\x20a\x20merchant-configurable\x20build\x20decision,\x20not\x20an\x20order-time\x20negotiation.','disclosureProbe':'max\x20prepay\x205000','evidence':[]},{'id':'E14','class':'exception','name':'Class/teacher\x20transfer\x20—\x20terminate\x20the\x20old\x20order,\x20buy\x20a\x20fresh\x20one','actor':'buyer','precondition':['M5'],'onchain':'expressible_with_gap','chainFootprint':{'forward':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'The\x20real\x20product\x27s\x20free\x20transfer\x20decomposes\x20into\x20a\x20withdrawal\x20(sweep\x20refunds\x20the\x20unearned\x20remainder)\x20plus\x20a\x20NEW\x20order,\x20optionally\x20carrying\x20the\x20previous\x20order\x20address\x20for\x20continuity\x20—\x20there\x20is\x20no\x20in-order\x20seat\x20swap\x20and\x20no\x20cross-order\x20linkage\x20on\x20chain.','gapPredicate':{'probe':'previous\x20order\x20address|order\x20call\x20order_new'},'evidence':[]},{'id':'E15','class':'exception','name':'Custody-vs-escrow\x20regulatory\x20classification\x20of\x20the\x20prepaid\x20pool','actor':'platform','precondition':['M3'],'onchain':'disclosure_only','commercialSemantics':'The\x20WIP\x20must\x20disclose\x20the\x20fund-rail\x20nature\x20of\x20the\x20prepaid\x20tuition:\x20the\x20escrow\x20principal\x20always\x20has\x20a\x20structural\x20exit\x20(refund\x20rail\x20or\x20sweep),\x20which\x20is\x20the\x20property\x20regulators\x20read\x20as\x20the\x20custody\x20guarantee\x20—\x20the\x20ESCROW\x20EXIT\x20INVARIANT\x20exists\x20precisely\x20because\x20a\x20stranded\x202.38\x20escrow\x20happened\x20on\x20mainnet.','disclosureProbe':'ESCROW\x20EXIT\x20INVARIANT','evidence':[]},{'id':'E16','class':'exception','name':'Minor-protection\x20class-time\x20limits\x20(<=30min\x20per\x20session\x20etc.)','actor':'merchant','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'Chain\x20semantics\x20eliminate\x20this\x20step:\x20the\x20timetable\x20is\x20a\x20calendar\x20fact\x20the\x20chain\x20never\x20observes\x20(no\x20time-of-day\x20oracle);\x20compliance\x20lives\x20in\x20the\x20off-chain\x20schedule\x20and\x20the\x20syllabus\x20version\x20evidence.','evidence':[]},{'id':'E17','class':'exception','name':'Teacher\x20qualification\x20disclosure\x20and\x20filing','actor':'merchant','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'Chain\x20semantics\x20eliminate\x20this\x20step:\x20registrar\x20Entity\x20attributes\x20are\x20off-machine\x20identity\x20facts\x20with\x20no\x20on-chain\x20verification\x20leg;\x20the\x20buy\x20path\x20never\x20gates\x20on\x20teacher\x20credentials.','evidence':[]},{'id':'E18','class':'exception','name':'Child\x20PII\x20collection,\x20consent\x20and\x20zero-PII\x20architecture','actor':'merchant','precondition':['M3'],'onchain':'not_applicable','commercialSemantics':'Chain\x20semantics\x20eliminate\x20this\x20step:\x20the\x20protocol\x20is\x20zero-PII\x20by\x20architecture\x20(the\x20class\x20link\x20is\x20delivered\x20out-of-band;\x20required_info\x20values\x20are\x20self-attested\x20and\x20must\x20never\x20gate\x20a\x20decision),\x20so\x20there\x20is\x20no\x20PII\x20object\x20whose\x20consent\x20could\x20be\x20chained.','evidence':[]},{'id':'E19','class':'exception','name':'Renewal-pressure\x20harassment\x20(outbound\x20renewal\x20marketing)','actor':'merchant','precondition':['M10'],'onchain':'disclosure_only','commercialSemantics':'The\x20renewal\x20reminder\x20is\x20a\x20keeper\x20OFF-chain\x20notification\x20into\x20the\x20renewal\x20window\x20—\x20there\x20is\x20no\x20outbound-marketing\x20primitive\x20and\x20no\x20in-order\x20renewal\x20state\x20to\x20pressure:\x20non-renewal\x20is\x20the\x20default\x20(the\x20next\x20term\x20simply\x20never\x20becomes\x20an\x20order).','disclosureProbe':'renewal\x20window\x20trigger','evidence':[]},{'id':'R1','class':'remedy','name':'Pre-start\x20full\x20refund\x20payout\x20(order-anchored\x20rail)','actor':'keeper','precondition':['E7'],'onchain':'expressible','chainFootprint':{'node':'withdrawn','moneyEffect':'refund'},'commercialSemantics':'The\x20payout\x20rides\x20the\x20dedicated\x20refund\x20row:\x20Rate\x2010000,\x20recipient\x20=\x20guard_identifier\x20slot\x200\x20(the\x20order\x27s\x20own\x20submission),\x20node-gated\x20on\x20withdrawn\x20with\x20no\x20claimed_by\x20leg\x20—\x20the\x20parent\x27s\x20own\x20buy\x20submission\x20is\x20the\x20payee\x20leg.','evidence':[{'file':'allocation.move','line':0x275,'pattern':'tx_context::sender'}]},{'id':'R2','class':'remedy','name':'Post-start\x20residual\x20sweep\x20payout\x20(the\x20pro-rata\x20refund\x20IS\x20the\x20sweep)','actor':'keeper','precondition':['E8'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'refund'},'commercialSemantics':'The\x20always-on\x20FUND-EXIT\x20backstop\x20fires\x20over\x20ALL\x20terminal\x20nodes\x20(completed,\x20renewal_window,\x20withdrawn):\x20whatever\x20the\x20missed\x20release,\x20discounted\x20order\x20or\x20mid-cohort\x20withdrawal\x20left\x20in\x20the\x20pool\x20exits\x20to\x20the\x20order\x20anchor.\x20No\x20Surplus\x20leg\x20exists\x20—\x20the\x20integer-division\x20remainder\x20stays\x20in\x20the\x20pool\x20until\x20this\x20sweep\x20collects\x20it.','evidence':[{'file':'allocation.move','line':0x25,'pattern':'EZERO_DISTRIBUTION'}]},{'id':'R3','class':'remedy','name':'Arbitration\x20case\x20filing\x20(independent\x20permission,\x20order\x20dispute\x20vector)','actor':'buyer','precondition':['E9'],'onchain':'disclosure_only','commercialSemantics':'The\x20case\x20rides\x20the\x20order\x27s\x20dispute\x20vector\x20under\x20the\x20independent\x20arbitration\x20Permission;\x20the\x20ruling\x20only\x20changes\x20case\x20state\x20—\x20the\x20keeper\x20allocates\x20per\x20ruling.','disclosureProbe':'independent\x20arbitration','evidence':[]},{'id':'R4','class':'remedy','name':'Awarded-order\x20escrow\x20pairing\x20(build-time\x20merchant-recovery\x20duty)','actor':'keeper','precondition':['R3'],'onchain':'disclosure_only','commercialSemantics':'The\x20refund\x20rail\x20blocks\x20once\x20an\x20award\x20has\x20ACTUALLY\x20paid,\x20so\x20an\x20awarded\x20order\x27s\x20escrow\x20principal\x20must\x20still\x20exit:\x20the\x20doctrine\x20pairs\x20the\x20buyer\x20refund\x20rail\x20with\x20a\x20merchant-recovery\x20sweep\x20whose\x20guard\x20partitions\x20the\x20terminals\x20by\x20node\x20state\x20—\x20never\x20reads\x20order.claimed_by\x20(the\x20once-per-order\x20seal\x20stays\x20intact).','disclosureProbe':'merchant-recovery\x20allocator','evidence':[{'file':'order.move','line':0x79,'pattern':'E_ORDER_ALREADY_CLAIMED'}]},{'id':'R5','class':'remedy','name':'Compensation\x20fund\x20drawdown\x20(fund/3\x20per-order\x20ceiling,\x20prose-synced)','actor':'arbitrator','precondition':['R3'],'onchain':'disclosure_only','commercialSemantics':'The\x20award\x20draws\x20from\x20the\x20live\x20fund:\x20the\x20per-order\x20covered\x20ceiling\x20is\x20fund/3\x20(MAX_INDEMNITY_MULTIPLE),\x20not\x20the\x20headline\x2010x\x20figure;\x20trust-claim\x20prose\x20is\x20not\x20a\x20chain\x20anchor\x20and\x20the\x20quoted\x20number\x20must\x20be\x20kept\x20synced\x20to\x20the\x20live\x20balance\x20before\x20publishing\x20and\x20after\x20every\x20award.','disclosureProbe':'fund/3','evidence':[]},{'id':'R6','class':'remedy','name':'Won-ruling\x20refund\x20execution\x20(arb\x20ruling\x20changes\x20state;\x20keeper\x20allocates)','actor':'keeper','precondition':['R3'],'onchain':'disclosure_only','commercialSemantics':'An\x20arbitration\x20ruling\x20only\x20mutates\x20case\x20state:\x20the\x20money\x20leg\x20is\x20the\x20keeper\x27s\x20allocation\x20per\x20ruling\x20—\x20the\x20declared\x20keeper\x20dependency\x20that\x20turns\x20a\x20ruling\x20into\x20a\x20payout\x20without\x20trusting\x20the\x20institution\x27s\x20cooperation.','disclosureProbe':'arbitration\x20ruling\x20refund\x20execution','evidence':[]},{'id':'R7','class':'remedy','name':'Buyer-side\x20claim\x20withdrawal\x20(no\x20buyer-withdraw\x20primitive\x20—\x20the\x20order\x20is\x20untouched)','actor':'buyer','precondition':['R3'],'onchain':'not_applicable','commercialSemantics':'Chain\x20semantics\x20eliminate\x20this\x20step\x20on\x20the\x20machine:\x20arb_withdraw\x20is\x20venue-permission-only,\x20and\x20the\x20buyer\x27s\x20order\x20never\x20moved\x20—\x20a\x20dispute\x20dropped\x20before\x20an\x20award\x20leaves\x20the\x20escrow\x20exactly\x20where\x20it\x20was\x20(the\x20pairing\x20duty\x20of\x20R4\x20applies\x20only\x20after\x20an\x20award\x20actually\x20paid).','evidence':[]},{'id':'P1','class':'post','name':'Parent\x20review\x20within\x20the\x20closing\x20window','actor':'buyer','precondition':['M9'],'onchain':'expressible','chainFootprint':{'forward':'Review','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20review\x20departs\x20completion-readiness\x20behind\x20the\x20template\x27s\x20only\x20edge\x20guard\x20key\x20—\x20a\x20closing\x20window\x20that\x20never\x20gates\x20settlement\x20(a\x20silent\x20parent\x20cannot\x20strand\x20the\x20institution\x27s\x20already-released-per-session\x20economics).','guardKeyProbe':'review_window','evidence':[{'file':'progress.move','line':0x22c,'pattern':'parent_table_vec::push_back'}]},{'id':'P2','class':'post','name':'Review-reward\x20claim\x20(sale-time-planned\x20pool,\x20once\x20per\x20order)','actor':'buyer','precondition':['P1'],'onchain':'disclosure_only','commercialSemantics':'The\x20v53\x20incentive\x20is\x20configured\x20when\x20the\x20Service\x20is\x20built:\x20a\x20funded\x20Reward\x20pool\x20(plan\x20=\x20expected\x20claims\x20x\x20the\x20per-claim\x20knob,\x20compile-enforced\x20above\x20the\x20claim-gas\x20floor),\x20terms\x20anchored\x20on\x20the\x20review\x20node\x20AND\x20the\x20settlement\x20terminal\x20with\x20the\x20review\x20content\x20hash,\x20claimed\x20once\x20per\x20order\x20behind\x20the\x20per-order\x20store_from_id\x20stamp.','disclosureProbe':'review\x20content\x20hash|review_reward_pool','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':'Institution\x20settlement\x20complete\x20(0\x20commission;\x20unearned\x20remainder\x20swept)','actor':'merchant','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'renewal_window','moneyEffect':'release'},'commercialSemantics':'The\x20institution\x27s\x20take\x20is\x20exactly\x20the\x20attended\x20session\x20units\x20—\x20platform_commission_rate_bps\x20ships\x200\x20and\x20the\x20commission\x20entry\x20is\x20removed\x20from\x20the\x20default\x20waterfall;\x20any\x20aggregator\x20fee\x20must\x20be\x20an\x20explicit\x20buyer-computable\x20number\x20with\x20a\x20non-empty\x20recipient\x20Entity,\x20never\x20a\x20Surplus\x20leg.','evidence':[]},{'id':'P4','class':'post','name':'Reputation\x20ledger\x20(order-keyed\x20review\x20rows,\x20once\x20per\x20buyer\x20per\x20order)','actor':'buyer','precondition':['P2'],'onchain':'disclosure_only','commercialSemantics':'With\x20the\x20F09\x20order-keyed\x20review\x20row\x20(row\x20id\x20=\x20the\x20order\x20address)\x20every\x20term\x27s\x20order\x20gets\x20its\x20own\x20review\x20row\x20—\x20a\x20repeat\x20buyer\x20reviews\x20each\x20term\x20independently,\x20and\x20the\x20claim\x27s\x20replay\x20gate\x20(order-scoped\x20record\x20gate\x20+\x20entry\x20stamp)\x20is\x20what\x20enforces\x20once-per-buyer-per-order\x20instead\x20of\x20once-per-buyer-for-life.','disclosureProbe':'order-keyed\x20review\x20row','evidence':[]}],'invariants':[{'id':'INV-YFD-1','statement':'Funds\x20release\x20only\x20against\x20a\x20parent-dual-signed\x20session\x20advance:\x20per_session_release\x20may\x20only\x20be\x20non-zero\x20while\x20the\x20per-session\x20ladder\x20exists\x20—\x20a\x20template\x20configured\x20with\x20per-session\x20release\x20amounts\x20but\x20no\x20session_1\x20forward\x20would\x20fire\x20release\x20legs\x20with\x20no\x20earning\x20rail\x20and\x20lock\x20the\x20pool\x20mid-term\x20(the\x20D7\x20one-session-one-sale\x20doctrine).','jurisdiction':'Off-campus\x20training\x20prepayment\x20supervision\x20rules\x20(China,\x202021\x20double-reduction\x20policy\x20baseline;\x20PRC\x20Civil\x20Code\x20art.\x20577).','chainConflict':'The\x20release\x20legs\x20are\x20fixed\x20Amounts\x20asserted\x20against\x20the\x20live\x20pool\x20at\x20every\x20fire\x20(EINSUFFICIENT_BALANCE\x20mid-sequence\x20otherwise);\x20their\x20only\x20lawful\x20trigger\x20is\x20the\x20session\x20advance\x20rail,\x20and\x20a\x20missing\x20ladder\x20turns\x20the\x20waterfall\x20into\x20an\x20unrefundable\x20lock.','violation':{'requiresFeeParamNonZero':'per_session_release','whileMissingForward':'session_1'},'evidence':[{'file':'allocation.move','line':0xf0,'pattern':'AllocationMode_Amount'},{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'}]},{'id':'INV-YFD-2','statement':'The\x20prepay\x20caps\x20(max\x205000\x20/\x2060\x20sessions\x20/\x203\x20months)\x20are\x20buy-guard\x20constants\x20checked\x20on\x20Passport-submitted\x20values\x20at\x20buy:\x20any\x20order\x20breaching\x20a\x20cap\x20must\x20be\x20rejected\x20before\x20escrow\x20—\x20never\x20split\x20into\x20sibling\x20orders,\x20repriced\x20after\x20escrow,\x20or\x20waived\x20at\x20order\x20time.','jurisdiction':'Same\x20off-campus\x20prepayment\x20supervision\x20rules\x20as\x20INV-YFD-1.','chainConflict':'The\x20caps\x20live\x20in\x20the\x20service-host\x20buy\x20guard,\x20not\x20in\x20the\x20machine\x20—\x20the\x20machine\x20cannot\x20re-check\x20them\x20mid-life,\x20so\x20a\x20post-escrow\x20cap\x20change\x20is\x20meaningless\x20by\x20construction\x20and\x20the\x20buy\x20gate\x20is\x20the\x20only\x20enforcement\x20point.','evidence':[{'file':'service.move','line':0x4f1,'pattern':'buy_guard_set'}]},{'id':'INV-YFD-3','statement':'Institution-breach\x20penalties\x20(substituted\x20teacher,\x20class\x20not\x20opened)\x20have\x20NO\x20on-chain\x20debit\x20primitive:\x20the\x20penalty\x20rides\x20the\x20compensation\x20fund,\x20capped\x20per\x20order\x20at\x20fund/3\x20(MAX_INDEMNITY_MULTIPLE)\x20of\x20the\x20live\x20balance,\x20and\x20pays\x20ONLY\x20the\x20order\x20owner\x20(the\x20parent)\x20—\x20never\x20the\x20tutor\x20or\x20any\x20third\x20party.','jurisdiction':'PRC\x20Civil\x20Code\x20art.\x20577\x20breach\x20damages;\x20consumer\x20contract\x20fairness\x20rules.','chainConflict':'The\x20fund-draw\x20side\x20pays\x20the\x20award\x20to\x20the\x20order\x20owner\x20and\x20ONLY\x20to\x20the\x20order\x20owner;\x20the\x20claim\x20aborts\x20on\x20a\x20zero-indemnity\x20ruling\x20before\x20any\x20state\x20change,\x20and\x20awards\x20shrink\x20the\x20live\x20fund\x20in\x20place.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'service.move','line':0x265,'pattern':'order::owner'},{'file':'arb.move','line':0x28,'pattern':'E_ZERO_INDEMNITY_CLAIM'}]}]};

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

@@ -0,0 +1 @@
+export const ZIROOM_ORACLE={'productRef':'ziroom','products':['ziroom','danke','qingke'],'oracleVersion':'1.1.0','steps':[{'id':'M1','class':'offchain','name':'Browse\x20apartments\x20and\x20book\x20a\x20viewing','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Listing\x20search,\x20real-world\x20viewings\x20and\x20unit\x20selection\x20are\x20app/staff\x20concerns;\x20the\x20chain\x20holds\x20one\x20Sale\x20item\x20per\x20unit\x20with\x20a\x20wip\x20detail\x20file\x20and\x20a\x20stock\x20counter\x20—\x20no\x20viewing\x20calendar,\x20no\x20photos.','evidence':[{'file':'order.move','line':0x43,'pattern':'items:\x20vector<SaleItem>'}]},{'id':'M2','class':'offchain','name':'Pick\x20cleaning/repair\x20service\x20add-ons\x20(butler\x20services)','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Ziroom\x27s\x20monthly\x20service\x20fee\x20(cleaning,\x20maintenance\x20subscription)\x20bills\x20off\x20the\x20platform;\x20the\x20chain\x20template\x20displaces\x20the\x2010%\x20agency\x20fee\x20and\x20ships\x20no\x20recurring\x20service-fee\x20leg\x20—\x20an\x20aggregator\x20fee\x20would\x20need\x20an\x20explicit\x20buyer-computable\x20allocator\x20number.','evidence':[]},{'id':'M3','class':'main','name':'Sign\x20the\x20lease\x20and\x20pay\x20deposit\x20+\x2012\x20months\x20rent\x20into\x20one\x20pool','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'deposit_paid','forward':'begin','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'Ziroom\x20collects\x20deposit\x20plus\x20prepaid\x20rent\x20at\x20signing\x20(the\x20ya-yi-fu-san\x20style\x20variants);\x20the\x20template\x20escrows\x20deposit_amount\x20+\x2012\x20x\x20monthly_rent_amount\x20in\x20a\x20single\x20Allocation\x20whose\x20SKU\x20price\x20lock\x20proves\x20every\x20pinned\x20leg\x20is\x20covered.','evidence':[{'file':'service.move','line':0x96,'pattern':'stock:\x20u64'}]},{'id':'M4','class':'main','name':'Move-in\x20handover\x20with\x20the\x20checklist\x20hash\x20written\x20to\x20evidence','actor':'merchant','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'in_use','forward':'handover','prev':'deposit_paid','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20Ziroom\x20butler\x20walks\x20the\x20unit\x20with\x20the\x20tenant\x20and\x20both\x20sign\x20the\x20handover\x20checklist\x20(jiaogedan);\x20the\x20chain\x20writes\x20the\x20checklist\x20hash\x20as\x20a\x20write-once,\x20writer-allowlisted\x20repository\x20row\x20before\x20tenancy\x20activates.\x20Tenant\x20identity\x20can\x20be\x20ANDed\x20in\x20as\x20a\x20required-info\x20gate\x20(see\x20E7).','guardKeyProbe':'handover','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]},{'id':'M5','class':'main','name':'Monthly\x20rent\x20releases\x20run\x20on\x20the\x2012\x20month-Guards','actor':'keeper','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'in_use','moneyEffect':'release'},'commercialSemantics':'Each\x20served\x20month\x20releases\x20one\x20pinned\x20Amount\x20(month_1..month_12,\x2030-day\x20cadence\x20from\x20handover);\x20one\x20Guard\x20per\x20period\x20plus\x20the\x20255\x20once-slot\x20stops\x20same-day\x20double\x20releases.\x20Ziroom\x20bills\x20monthly\x20off-platform\x20—\x20the\x20pre-funded\x20pool\x20is\x20the\x20chain\x27s\x20equivalent\x20discipline.','evidence':[{'file':'allocation.move','line':0x1ed,'pattern':'balance:\x20Balance<T>'}]},{'id':'M6','class':'main','name':'Tenant\x20gives\x20notice\x20and\x20returns\x20keys;\x20operator\x20accepts\x20the\x20return','actor':'buyer','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'return_accept','prev':'in_use','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Ziroom\x20requires\x20return\x20notice\x20>=\x2015\x20days\x20ahead\x20(return_notice_days)\x20or\x20lease\x20end;\x20the\x20guard\x20reads\x20the\x20window\x20from\x20the\x20named\x20fee_param,\x20never\x20an\x20invented\x20value.\x20Past\x20the\x20lease\x20term\x20the\x20tenant\x20no\x20longer\x20NEEDS\x20the\x20operator:\x20return_self\x20(lease_end_return\x20OPENING\x20gate,\x20lease_term_days\x20from\x20handover)\x20is\x20the\x20tenant\x27s\x20own\x20exit\x20—\x20an\x20unaccepted\x20return\x20cannot\x20weld\x20the\x20pool\x20at\x20in_use\x20(RETURN-STRAND\x20cure).','guardKeyProbe':'return_notice','evidence':[]},{'id':'M7','class':'main','name':'Dedicated\x20verifier\x20inspects\x20within\x2024h\x20of\x20key\x20return','actor':'fulfiller','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'inspected','forward':'inspect_start','prev':'returned','identity':'named_operator','moneyEffect':'none'},'commercialSemantics':'Inspection\x20admission\x20is\x20a\x20VERIFIER-ROSTER\x20GATE\x20—\x20the\x20inspect_start\x20edge\x20carries\x20the\x20named_operator\x20\x27verifier\x27\x20(kernel\x20identity\x20layer,\x20query\x201575):\x20only\x20an\x20address\x20on\x20the\x20merchant-maintained\x20verifier\x20roster\x20advances\x20the\x20inspection,\x20so\x20\x27dedicated\x20verifier,\x20not\x20the\x20landlord\x20alone\x27\x20is\x20a\x20chain\x20admission\x20gate,\x20not\x20prose.\x20Roster\x20admission\x20is\x20NOT\x20a\x20competence\x20certification\x20—\x20an\x20explicit\x20human-maintained\x20address\x20list,\x20never\x20reconstructed\x20from\x20cross-order\x20history\x20(red\x20line\x20S2).\x20The\x20verdict\x20still\x20compares\x20pre+post\x20evidence\x20against\x20the\x20natural-wear\x20table\x20inside\x20inspection_deadline_hours\x20(24).','evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'M8','class':'main','name':'Pass\x20verdict\x20inside\x20the\x20inspection\x20window','actor':'fulfiller','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'result_pass','prev':'inspected','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'No\x20damage\x20beyond\x20natural\x20wear:\x20the\x20verdict\x20advances\x20to\x20the\x20lease-final\x20state\x20where\x20the\x20deposit\x20refund\x20rail\x20unlocks.','guardKeyProbe':'inspect_window','evidence':[]},{'id':'M9','class':'main','name':'Deposit\x20refund\x20lands\x20(Amount\x20pinned\x20to\x20deposit_amount)','actor':'keeper','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'refund'},'commercialSemantics':'Ziroom\x20refunds\x20the\x20deposit\x20within\x203\x20business\x20days\x20of\x20exit;\x20the\x20chain\x20pays\x20a\x20pinned\x20Amount\x20to\x20the\x20order\x20owner\x20(T-05\x20fix\x20—\x20a\x20Surplus/Rate\x20sweep\x20here\x20once\x20swept\x20deposit\x20PLUS\x20unreleased\x20rent\x20on\x20mainnet).\x20On\x20an\x20early\x20return\x20the\x20unearned\x20prepaid\x20rent\x20rides\x20the\x20terminal\x20residual\x20sweep\x20home.','evidence':[{'file':'allocation.move','line':0x1e,'pattern':'EINSUFFICIENT_BALANCE'}]},{'id':'M10','class':'main','name':'Tenant\x20reviews\x20the\x20stay\x20within\x2014\x20days','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'Review','prev':'inspected','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Structured\x20review\x20rows\x20feed\x20the\x20operator\x27s\x20reputation\x20rail\x20on\x20a\x20closing\x2014-day\x20window;\x20review\x20is\x20an\x20optional\x20side\x20action\x20that\x20never\x20gates\x20money.','guardKeyProbe':'review_window','evidence':[]},{'id':'M11','class':'main','name':'Silent\x20reviewer\x20exits\x20to\x20the\x20lease-final\x20state','actor':'fulfiller','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'result_pass_after_review','prev':'reviewed','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'A\x20tenant\x20who\x20reviewed\x20but\x20never\x20returned\x20to\x20settle\x20must\x20not\x20strand\x20the\x20escrow:\x20the\x20merchant\x27s\x20post-review\x20pass\x20keeps\x20its\x201001\x20rail\x20with\x20NO\x20upward\x20window\x20(a\x20CLOSING\x20twin\x20on\x20a\x20permission-index\x20rail\x20resolves\x20to\x20an\x20unsatisfiable\x20order-holder\x20identity\x20leg\x20—\x20TIME_GUARD\x20doctrine),\x20and\x20the\x20WELD\x20CURE\x20is\x20tenant-side\x20—\x20review_pass_self\x20(review_elapsed\x20OPENING\x20leg,\x20review_window_days\x20from\x20the\x20reviewed\x20entry)\x20lets\x20the\x20tenant\x20self-complete\x20once\x20the\x20window\x20lapses\x20with\x20no\x20merchant\x20pass\x20(R-DEAD-END,\x20the\x20BK-04\x20symmetric\x20pair).\x20Mirrors\x20how\x20Ziroom\x20closes\x20the\x20file\x20regardless\x20of\x20review.','evidence':[]},{'id':'E1','class':'exception','name':'No-fault\x20exit\x20within\x203\x20days\x20of\x20signing,\x20before\x20handover','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'nofault_exit_prehandover','prev':'deposit_paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Ziroom\x27s\x203-day\x20no-reason\x20void\x20(wuze\x20tuihuan)\x20runs\x20from\x20SIGNING\x20—\x20a\x20tenant\x20voiding\x20before\x20move-in\x20must\x20not\x20depend\x20on\x20the\x20handover\x20edge\x20(G2\x20fix,\x20az-mn-261007).\x20Full\x20pool\x20refund:\x20no\x20rent\x20release\x20can\x20have\x20fired\x20yet.','guardKeyProbe':'nofault_window','evidence':[{'file':'order.move','line':0x4f,'pattern':'time:\x20u64,'}]},{'id':'E2','class':'exception','name':'No-fault\x20exit\x20within\x203\x20days\x20of\x20signing,\x20after\x20handover','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'nofault_exit','prev':'in_use','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Same\x203-day\x20window\x20measured\x20from\x20order.time;\x20the\x20sibling\x20forward\x20shares\x20one\x20pair\x20with\x20E1\x20and\x20sweeps\x20the\x20whole\x20pool\x20back\x20—\x20still\x20safe\x20because\x20month_1\x20opens\x2030\x20days\x20after\x20handover.','guardKeyProbe':'nofault_window','evidence':[]},{'id':'E3','class':'exception','name':'Early\x20exit\x20mid-lease\x20with\x20the\x20one-month\x20penalty','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'early_terminated','forward':'early_exit','prev':'in_use','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Early\x20termination\x20costs\x20one\x20month\x27s\x20rent\x20(early_exit_penalty_amount,\x20halved\x20to\x20a\x20re-let\x20tenant\x20per\x20policy\x20—\x20the\x20operator\x20bakes\x20the\x20halved\x20number\x20into\x20the\x20parameter\x20at\x20build);\x20the\x20tenant\x20receives\x20deposit\x20+\x20unearned\x20prepaid\x20rent\x20minus\x20the\x20penalty\x20in\x20one\x20settlement.','guardKeyProbe':'early_exit_window','evidence':[]},{'id':'E4','class':'exception','name':'Verifier\x20no-show\x20—\x20tenant\x20self-completes\x20after\x20the\x20inspection\x20window','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'inspect_timeout_pass','prev':'inspected','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'If\x20the\x20operator\x27s\x20verifier\x20never\x20shows,\x20the\x20tenant\x20is\x20not\x20held\x20hostage:\x20after\x20the\x2024h\x20window\x20the\x20tenant\x20self-advances\x20and\x20the\x20deposit\x20rail\x20unlocks\x20(liveness\x20standing\x20check\x20INV-ZR-2).','guardKeyProbe':'inspect_timeout','evidence':[]},{'id':'E5','class':'exception','name':'Inspection\x20never\x20started\x20—\x20tenant\x20self-completes\x20from\x20returned','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'no_inspection_timeout','prev':'returned','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20stronger\x20liveness\x20rail:\x20if\x20inspection\x20never\x20even\x20starts\x20inside\x20the\x20deadline,\x20the\x20tenant\x20advances\x20straight\x20from\x20returned\x20to\x20completed\x20and\x20takes\x20the\x20deposit\x20refund.','guardKeyProbe':'no_inspect_timeout','evidence':[]},{'id':'E6','class':'exception','name':'Damage\x20verdict\x20on\x20the\x20pre+post\x20evidence\x20diff','actor':'fulfiller','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'damage_confirmed','forward':'verdict_damage','prev':'inspected','identity':'permission_index','moneyEffect':'compensate'},'commercialSemantics':'Damage\x20beyond\x20the\x20natural-wear\x20table\x20routes\x20a\x20deduction:\x20the\x20landlord\x27s\x20Amount\x20leg\x20is\x20capped\x20at\x20damage_max_amount\x20(public\x20repair\x20price\x20table)\x20and\x20the\x20tenant\x20receives\x20the\x20remainder\x20of\x20the\x20pool\x20in\x20the\x20same\x20settlement\x20group.','guardKeyProbe':'damage_evidence','evidence':[{'file':'repository.move','line':0x9d,'pattern':'public\x20struct\x20PolicyRule'}]},{'id':'E7','class':'exception','name':'Tenant\x20identity\x20for\x20the\x20lease\x20is\x20declarative\x20only','actor':'merchant','precondition':['M3'],'onchain':'disclosure_only','commercialSemantics':'Ziroom\x20runs\x20real-name\x20lease\x20screening\x20(national\x20ID\x20/\x20credit).\x20On\x20chain\x20customer_required\x20is\x20DECLARATIVE\x20ONLY\x20—\x20the\x20purchase\x20entry\x20never\x20reads\x20it;\x20enforcement\x20is\x20the\x20required-info\x20evidence\x20gate\x20ANDed\x20into\x20handover,\x20asserting\x20PRESENCE\x20before\x20keys\x20hand\x20over.','disclosureProbe':'customer_required\x20is\x20DECLARATIVE\x20ONLY','evidence':[{'file':'service.move','line':0x100,'pattern':'customer_required:\x20vector<String>'}]},{'id':'E8','class':'exception','name':'Damage\x20beyond\x20the\x20deposit\x20(tenant\x20owes\x20the\x20balance)','actor':'merchant','precondition':['E6'],'onchain':'expressible_with_gap','chainFootprint':{'node':'damage_confirmed','moneyEffect':'compensate'},'commercialSemantics':'Ziroom\x20pursues\x20losses\x20above\x20the\x20deposit\x20through\x20collection/litigation;\x20the\x20chain\x27s\x20deduction\x20is\x20HARD-BOUNDED\x20by\x20the\x20deposit\x20(damage_max_amount\x20<=\x20deposit_amount)\x20—\x20larger\x20losses\x20route\x20to\x20arbitration\x20+\x20the\x20compensation\x20fund\x20(award\x20cap\x203x\x20order),\x20which\x20the\x20template\x20discloses\x20as\x20the\x20invariant\x27s\x20escape\x20valve.','gapPredicate':{'probe':'larger\x20losses\x20route\x20to\x20arbitration|award\x20cap\x203x'},'evidence':[]},{'id':'E9','class':'exception','name':'Deposit-free\x20lease\x20via\x20Passport\x20credit\x20credentials','actor':'buyer','precondition':['M3'],'onchain':'disclosure_only','commercialSemantics':'Ziroom\x20markets\x20credit-based\x20deposit-free\x20leases\x20(xin\x20yong\x20mian\x20ya).\x20The\x20chain\x20variant\x20swaps\x20the\x20cash\x20deposit\x20for\x20Passport\x20credit\x20credentials\x20—\x20the\x20credit\x20line\x20itself\x20stays\x20off-chain,\x20the\x20completed\x20rail\x20drops\x20its\x20deposit\x20leg,\x20and\x20damage\x20groups\x20pay\x20from\x20the\x20compensation\x20fund.','disclosureProbe':'Passport\x20credit\x20credentials|deposit-free','evidence':[{'file':'passport.move','line':0x41,'pattern':'public\x20struct\x20Passport\x20has\x20key'}]},{'id':'R1','class':'remedy','name':'Tenant\x20contests\x20the\x20inspection\x20verdict\x20inside\x20the\x2024h\x20objection\x20window','actor':'buyer','precondition':['E6'],'onchain':'expressible','chainFootprint':{'node':'objection_filed','forward':'TenantObjection','prev':'inspected','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Objections\x20are\x20MACHINE-ENFORCED\x20both\x20ways\x20(stage2\x20#19,\x20FLOWS\x20§2-3):\x20TenantObjection\x20files\x20only\x20INSIDE\x20objection_window_hours\x20(CLOSING)\x20onto\x20the\x20objection_filed\x20waypoint,\x20and\x20once\x20the\x20window\x20lapses\x20with\x20no\x20filing\x20the\x20tenant\x27s\x20DefaultAcceptance\x20(OPENING\x20twin,\x20same\x20anchor)\x20settles\x20the\x20verdict\x20—\x20SILENCE\x20SETTLES\x20IT\x20ON\x20CHAIN.\x20The\x20waypoint\x20is\x20not\x20a\x20terminal\x20(R-M1-11):\x20it\x20carries\x20three\x20explicit\x20exits\x20—\x20the\x20tenant-won\x20award\x20(ArbRefund,\x20R2),\x20a\x20dismissal\x20resume\x20(a\x20FRESH\x20window\x20via\x20find=last,\x20so\x20a\x20serial\x20objection\x20owes\x20a\x20fresh\x20verifier\x20pass),\x20and\x20the\x20zero-fund\x20WithdrawClaim\x20escape\x20so\x20a\x20case\x20that\x20never\x20rules\x20cannot\x20weld\x20the\x20waypoint.','guardKeyProbe':'objection_window','evidence':[]},{'id':'R2','class':'remedy','name':'Deposit\x20dispute\x20award\x20pays\x20via\x20arbitration\x20+\x20the\x20compensation\x20fund','actor':'arbitrator','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'objection_filed','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20tenant-won\x20award\x20EXECUTES\x20in-machine\x20(stage2\x20#19,\x20FLOWS\x20§2-5):\x20tpl_forward_arb_ruling_won\x20on\x20the\x20merchant\x27s\x20DEDICATED\x201004\x20ruling-executor\x20bucket\x20—\x20zero-award\x20exclusion\x20leg\x20fail-closed,\x20claimed_by\x20conclude-then-drive\x20stamp\x20(conclude/claim\x20FIRST,\x20drive\x20the\x20edge\x20SECOND,\x204R-03b),\x20venue-bound.\x20The\x20award\x20lands\x20the\x20CANCELLED-role\x20terminal\x20and\x20rides\x20the\x20EXISTING\x20nofault\x20full-refund\x20sweep\x20—\x20deposit\x20+\x20every\x20un-released\x20prepaid\x20month\x20home,\x20the\x20tenant\x20exits\x20the\x20lease\x20WHOLE;\x20never\x20a\x20second\x20allocator.\x20The\x20kernel\x20auto-sized\x20compensation\x20fund\x20(3x\x20the\x20largest\x20SKU,\x20N1\x20K4R-261103)\x20is\x20the\x20tenant\x27s\x20EXTRA\x20indemnity\x20—\x20polarity\x20ORDER\x20HOLDER\x20ONLY\x20(a\x20landlord-side\x20loss\x20beyond\x20the\x20deposit\x20is\x20not\x20payable\x20from\x20the\x20fund,\x20FLOWS\x20§4-11);\x20the\x20quoted\x20fund\x20figure\x20is\x20free\x20text\x20that\x20shrinks\x20with\x20every\x20award\x20(T-31\x20disclosure\x20duty).','guardKeyProbe':'arb_refund_award','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'R3','class':'remedy','name':'Awarded\x20order\x20still\x20exits:\x20terminal-node-gated\x20recovery\x20sweep','actor':'keeper','precondition':['R2'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'release'},'commercialSemantics':'An\x20arbitration\x20award\x20welds\x20every\x20claimed_by-none\x20rail\x20shut,\x20so\x20the\x20escrow\x20principal\x20of\x20an\x20awarded\x20lease\x20needs\x20its\x20own\x20exit:\x20recover_gate\x20sweeps\x20the\x20residual\x20to\x20the\x20landlord\x20Entity\x20at\x20the\x20terminal\x20node\x20set\x20(completed/damage_confirmed/early_terminated),\x20with\x20keepers\x20firing\x20tenant\x20remainders\x20BEFORE\x20any\x20recover\x20sweep.','evidence':[{'file':'allocation.move','line':0x26d,'pattern':'ERECIPIENT_NOT_FOR_OBJECT'}]},{'id':'P1','class':'post','name':'Tenant\x20claims\x20the\x20review-reward\x20bounty','actor':'buyer','precondition':['M10'],'onchain':'disclosure_only','commercialSemantics':'Ziroom\x20has\x20no\x20reviewer\x20bounty;\x20the\x20template\x27s\x20sale-time-planned\x20Reward\x20rail\x20is\x20an\x20ADDITION\x20(review_reward_pool\x20funded\x20at\x20build,\x20once-per-order\x20claim).\x20The\x20machine-shape\x20matcher\x20cannot\x20see\x20reward-object\x20guards,\x20so\x20the\x20step\x20is\x20recorded\x20as\x20disclosed-by-corpus\x20rather\x20than\x20footprint-matched.','disclosureProbe':'Reward\x20object|review_reward_pool','evidence':[{'file':'reward.move','line':0xe3,'pattern':'public\x20fun\x20claim<T>'}]},{'id':'P2','class':'post','name':'Refunded\x20lease\x20returns\x20the\x20unit\x20to\x20sellable\x20stock','actor':'keeper','precondition':['E1'],'onchain':'disclosure_only','commercialSemantics':'Operators\x20re-list\x20the\x20vacated\x20unit\x20immediately.\x20The\x20chain\x27s\x20inventory\x20is\x20a\x20sale\x20stock\x20counter:\x20compile\x20emits\x20the\x20restock.flag\x20half\x20and\x20the\x20keeper\x20runs\x20service.restock\x20once\x20per\x20refunded\x20order\x20—\x20missing\x20the\x20duty\x20silently\x20loses\x20inventory\x20(B-E/T5\x20ruling).','disclosureProbe':'restock','evidence':[{'file':'service.move','line':0x9a,'pattern':'restock_on_refund'}]}],'invariants':[{'id':'INV-ZR-1','statement':'The\x203-day\x20no-fault\x20window\x20is\x20measured\x20from\x20SIGNING,\x20so\x20a\x20tenant\x20voiding\x20before\x20move-in\x20must\x20never\x20depend\x20on\x20the\x20handover\x20edge\x20to\x20release\x20the\x20escrow.','jurisdiction':'Ziroom\x203-day\x20no-reason\x20return\x20terms;\x20PRC\x20Civil\x20Code\x20art.\x20562-563\x20(contract\x20rescission).','chainConflict':'Before\x20the\x20G2\x20fix\x20(az-mn-261007)\x20the\x20pre-handover\x20void\x20routed\x20through\x20the\x20handover\x20forward\x20—\x20a\x20tenant\x20who\x20never\x20received\x20keys\x20had\x20to\x20wait\x20for\x20a\x20handover\x20that\x20would\x20never\x20come.\x20The\x20cure\x20is\x20the\x20nofault_exit_prehandover\x20sibling\x20forward\x20on\x20the\x20same\x20pair;\x20this\x20standing\x20check\x20re-fires\x20the\x20invariant\x20the\x20moment\x20that\x20forward\x20disappears.','evidence':[{'file':'order.move','line':0x4f,'pattern':'time:\x20u64,'}],'violation':{'whileMissingForward':'nofault_exit_prehandover'}},{'id':'INV-ZR-2','statement':'The\x20escrow\x20must\x20never\x20strand\x20at\x20returned:\x20if\x20the\x20operator\x27s\x20verifier\x20never\x20inspects,\x20the\x20tenant\x20self-completes\x20and\x20takes\x20the\x20deposit\x20refund.','jurisdiction':'Ziroom\x20deposit-refund\x20service\x20terms\x20(timely\x20inspection\x20duty);\x20PRC\x20Consumer\x20Protection\x20Law\x20art.\x2020-25.','chainConflict':'Without\x20the\x20tenant-driven\x20timeout\x20rails,\x20a\x20vanished\x20operator\x20freezes\x20both\x20the\x20deposit\x20leg\x20(gated\x20on\x20completed)\x20and\x20every\x20later\x20rail.\x20inspect_timeout_pass\x20and\x20no_inspection_timeout\x20are\x20the\x20cures;\x20this\x20standing\x20check\x20re-fires\x20the\x20invariant\x20if\x20the\x20never-started\x20escape\x20disappears.','evidence':[],'violation':{'whileMissingForward':'no_inspection_timeout'}},{'id':'INV-ZR-3','statement':'Damage\x20deductions\x20are\x20hard-bounded\x20by\x20the\x20deposit\x20(damage_max_amount\x20<=\x20deposit_amount);\x20losses\x20above\x20the\x20deposit\x20route\x20to\x20arbitration\x20+\x20the\x20compensation\x20fund\x20(award\x20cap\x203x\x20order),\x20never\x20to\x20an\x20unbounded\x20Amount\x20leg.','jurisdiction':'Ziroom\x20damage-deduction\x20price\x20table;\x20PRC\x20Civil\x20Code\x20art.\x201184\x20(property-loss\x20valuation).','chainConflict':'The\x20allocator\x27s\x20deduction\x20Amount\x20is\x20capped\x20by\x20the\x20fee-param\x20invariant,\x20and\x20the\x20arbitration\x20module\x20caps\x20awards\x20at\x20MAX_INDEMNITY_MULTIPLE\x20(3)\x20of\x20the\x20order\x20with\x20a\x20per-order\x20fund\x20ceiling\x20of\x20fund/3.\x20Real-world\x20losses\x20above\x20the\x20deposit\x20therefore\x20compress\x20to\x20the\x20fund\x20ceiling\x20—\x20text-only\x20today.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'INV-ZR-4','statement':'The\x20deposit\x20refund\x20deadline\x20is\x203\x20BUSINESS\x20days;\x20the\x20chain\x27s\x20Clock\x20measures\x20CALENDAR\x20days\x20and\x20the\x20keeper\x20fires\x20on\x20Clock\x20>=\x20entry\x20+\x20deposit_refund_days\x20—\x20weekends\x20stretch\x20the\x20promise.','jurisdiction':'Ziroom\x20deposit-refund\x20terms\x20(3\x20business\x20days).','chainConflict':'No\x20business-day\x20primitive\x20exists\x20on\x20chain\x20(S22):\x20the\x20deadline\x20is\x20order-scoped\x20Clock\x20arithmetic.\x20A\x20keeper\x20can\x20honor\x20the\x20calendar\x20earlier\x20but\x20cannot\x20encode\x20the\x20business-day\x20floor.\x20Text-only.','evidence':[]},{'id':'INV-ZR-5','statement':'A\x20lease\x20priced\x20below\x20the\x20pinned\x20legs\x20(discounted\x20month,\x20pilot\x20listing)\x20deadlocks\x20at\x20the\x20first\x20monthly\x20release\x20with\x20NO\x20refund\x20path\x20—\x20such\x20a\x20SKU\x20must\x20ship\x20as\x20its\x20own\x20Service\x20(CR-02\x20price\x20lock).','jurisdiction':'Ziroom\x20per-unit\x20pricing\x20(no\x20cross-subsidized\x20pools).','chainConflict':'alloc()\x20asserts\x20balance\x20>=\x20fix\x20at\x20EVERY\x20release\x20and\x20aborts\x20with\x20EINSUFFICIENT_BALANCE;\x20the\x20pool\x20is\x20one\x20pre-funded\x20Allocation,\x20so\x20an\x20underpriced\x20order\x20strands\x20with\x20no\x20in-order\x20rescue.\x20Text-only.','evidence':[{'file':'allocation.move','line':0x1e,'pattern':'EINSUFFICIENT_BALANCE'},{'file':'allocation.move','line':0x1f4,'pattern':'public\x20fun\x20alloc<T>'}]}]};