@wowok/agent-mcp 3.4.4 → 3.4.5

package/dist/knowledge/path-oracle/products/ninety-nine-designs.js

@@ -1 +1 @@
-export const NINETY_NINE_DESIGNS_ORACLE={'productRef':'ninety-nine-designs','products':['ninety-nine-designs','designhill','crowdspring','dribbble-contests','zcool-contests','freelancer-contests'],'oracleVersion':'1.1.0','steps':[{'id':'M1','class':'offchain','name':'Sponsor\x20drafts\x20the\x20contest\x20brief\x20and\x20picks\x20a\x20package\x20tier','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Brief\x20writing,\x20category\x20choice\x20and\x20package\x20pricing\x20(bronze/silver/gold\x20equivalents)\x20are\x20off-chain\x20commerce;\x20the\x20first\x20chain\x20act\x20is\x20the\x20guaranteed-prize\x20escrow\x20at\x20buy\x20(M2).','evidence':[]},{'id':'M3','class':'offchain','name':'Designers\x20study\x20the\x20brief\x20and\x20create\x20entries\x20during\x20the\x20blind\x20period','actor':'fulfiller','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'The\x20creative\x20work\x20itself\x20is\x20off-chain\x20labor;\x20entries\x20are\x20committed\x20one\x20by\x20one\x20to\x20the\x20entry\x20Repository\x20(M4)\x20while\x20the\x20contest\x20order\x20rests\x20at\x20\x27funded\x27.\x20The\x20blind\x20period\x20(entrants\x20cannot\x20see\x20each\x20other\x27s\x20work\x20before\x20placing)\x20is\x20enforced\x20socially\x20and\x20by\x20the\x20judge\x27s\x20filtering,\x20not\x20by\x20a\x20chain\x20primitive.','evidence':[]},{'id':'M2','class':'main','name':'Guaranteed-prize\x20escrow\x20funds\x20atomically\x20at\x20buy','actor':'buyer','precondition':['M1'],'onchain':'expressible','chainFootprint':{'node':'funded','moneyEffect':'escrow_in'},'commercialSemantics':'GUARANTEED\x20AWARD:\x20the\x20prize\x20is\x20committed\x20at\x20buy\x20and\x20must\x20go\x20to\x20a\x20placed\x20winner\x20—\x20sponsor\x20silence\x20cannot\x20withhold\x20it\x20(the\x20delivery-window\x20auto-accept,\x20M11)\x20and\x20refusal\x20to\x20pick\x20with\x20real\x20entries\x20filed\x20routes\x20to\x20arbitration\x20(E7).\x20The\x20escrow\x20is\x20single-winner-takes-prize\x20sized:\x20one\x20settlement\x20has\x20one\x20tx\x20sender\x20and\x20the\x20Rate-10000\x20allocator\x20drains\x20the\x20pool.','evidence':[{'file':'allocation.move','line':0x1af,'pattern':'assert!(total_rate\x20==\x2010000,\x20ERATE_NOT_10000)'}]},{'id':'M4','class':'main','name':'Designer\x20commits\x20an\x20entry\x20row\x20(self-keyed,\x20one\x20row\x20per\x20designer)','actor':'fulfiller','precondition':['M3'],'onchain':'expressible_with_gap','chainFootprint':{'node':'funded','moneyEffect':'none'},'commercialSemantics':'Each\x20entrant\x20writes\x20their\x20own\x20entry\x20row\x20under\x20the\x20id_from-signer\x20entry\x20Repository\x20policy\x20—\x20ownership\x20of\x20the\x20row\x20is\x20cryptographic,\x20but\x20the\x20CONTENT\x20(the\x20design\x20claim)\x20is\x20a\x20self-assertion:\x20the\x20chain\x20cannot\x20verify\x20authorship\x20or\x20originality,\x20and\x20filtering\x20falls\x20to\x20the\x20judge\x27s\x20discretion.\x20The\x20order\x20rests\x20at\x20\x27funded\x27\x20for\x20the\x20whole\x20entry\x20window.\x20The\x20self-assertion\x20gap\x20must\x20be\x20disclosed\x20in\x20the\x20corpus\x20(it\x20currently\x20is\x20not\x20—\x20M4\x20stays\x20gap_undisclosed\x20until\x20a\x20build_note\x20lands).','gapPredicate':{'probe':'SELF-ASSERTED|self-asserted|unverified\x20self-assertion|authorship'},'evidence':[]},{'id':'M5','class':'main','name':'Judge\x20closes\x20submissions\x20(objective\x20time\x20gate\x20into\x20judging)','actor':'platform','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'judging','forward':'CloseSubmissions','prev':'funded','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'submission_window_days\x20closes\x20entries\x20on\x20the\x20contest-open\x20timestamp;\x20a\x20keeper\x20performs\x20the\x20close\x20if\x20the\x20judge\x20stalls\x20(the\x20gate\x20is\x20objective).\x20Entries\x20after\x20the\x20close\x20cannot\x20enter\x20the\x20ranking.','guardKeyProbe':'submission_window','evidence':[{'file':'progress.move','line':0x153,'pattern':'option::is_some(permission_index),\x20E_PERMISSION_NOT_DEFINED'}]},{'id':'M6','class':'main','name':'RecordPlacement:\x20the\x20judge\x20places\x20ONE\x20winner\x20(provisional)','actor':'platform','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'placement_provisional','forward':'RecordPlacement','prev':'judging','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20independent\x20judge/jury\x20(slot\x201001,\x20disjoint\x20from\x20sponsor\x20and\x20every\x20entrant)\x20writes\x20the\x20winner\x20address\x20keyed\x20by\x20the\x20order\x20into\x20the\x20placement\x20Repository\x20—\x20deliberately\x20NOT\x20write-once,\x20because\x20the\x20appeal\x20window\x20(E1)\x20and\x20a\x20ruling\x20(E2/E3)\x20can\x20legitimately\x20re-record\x20before\x20commit.\x20No\x20entrant\x20can\x20self-place;\x20the\x20sponsor\x20cannot\x20place\x20either.','guardKeyProbe':'record_placement','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]},{'id':'M7','class':'main','name':'FinalizePlacement:\x20the\x20appeal\x20window\x20elapses\x20and\x20the\x20placement\x20commits','actor':'platform','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'placement_final','forward':'FinalizePlacement','prev':'placement_provisional','identity':'signer','moneyEffect':'none'},'commercialSemantics':'After\x20appeal_window_days\x20with\x20no\x20contest\x20(or\x20after\x20a\x20contested\x20placement\x20is\x20upheld),\x20the\x20placement\x20commits:\x20the\x20winner\x20row\x20becomes\x20the\x20Signer-binding\x20target\x20for\x20the\x20prize\x20claim\x20(M12).\x20This\x20is\x20the\x20contest-specific\x20answer\x20to\x20ranking\x20by\x20a\x20single\x20judge:\x20nobody\x20can\x20finalize\x20over\x20an\x20open\x20appeal.','guardKeyProbe':'appeal_window','evidence':[]},{'id':'M8','class':'main','name':'Winner\x20delivers\x20final\x20files\x20(source\x20formats\x20+\x20WIP\x20hash\x20evidence)','actor':'fulfiller','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'final_delivery','forward':'DeliverFinal','prev':'placement_final','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20placed\x20winner\x20hands\x20over\x20editable\x20source\x20files\x20under\x20the\x20deliverer\x20slot\x20(1000);\x20the\x20final_files\x20guard\x20demands\x20the\x20evidence\x20row\x20(wip\x20hash\x20pinned)\x20BEFORE\x20the\x20forward\x20passes,\x20so\x20the\x20accepted\x20artifact\x20is\x20tamper-evident.\x20Re-delivery\x20rides\x20Redeliver\x20from\x20\x27revision\x27\x20(M9)\x20and\x20never\x20re-arms\x20the\x20delivery\x20window\x27s\x20find=last\x20anchor\x20beyond\x20one\x20round.','guardKeyProbe':'final_files','evidence':[{'file':'repository.move','line':0x223,'pattern':'assert!(!write_once,\x20E_POLICY_WRITE_ONCE_CONFLICT)'}]},{'id':'M9','class':'main','name':'Time-boxed\x20revision\x20loop:\x20sponsor\x20requests\x20changes,\x20winner\x20redelivers','actor':'buyer','precondition':['M8'],'onchain':'expressible_with_gap','chainFootprint':{'node':'revision','forward':'RequestRevision','prev':'final_delivery','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'T-6\x20pairing:\x20the\x20VISIT\x20COUNT\x20(revision_rounds_max,\x20default\x203)\x20is\x20off-chain-honored\x20—\x20a\x20business\x20term\x20in\x20the\x20contest\x20terms\x20—\x20while\x20the\x20CHAIN\x20half\x20is\x20the\x20find=first\x20revision_span_days\x20closing\x20window\x20on\x20RequestRevision\x20(no\x20new\x20round\x20past\x2030\x20days\x20from\x20the\x20FIRST\x20delivery;\x20a\x20Redeliver\x20can\x20never\x20re-arm\x20it).\x20The\x20gap\x20(no\x20chain-enforceable\x20counter:\x20the\x20progress\x20layer\x20bounds\x20edges,\x20not\x20visits;\x20Repository\x20tallies\x20are\x20forgeable\x20upserts)\x20is\x20disclosed,\x20so\x20the\x20loop\x20is\x20expressible-with-disclosed-gap.','guardKeyProbe':'revision_span','gapPredicate':{'probe':'off-chain-honored'},'evidence':[]},{'id':'M10','class':'main','name':'Sponsor\x20accepts\x20the\x20final\x20delivery\x20(settled)','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'settled','forward':'AcceptDelivery','prev':'final_delivery','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Acceptance\x20is\x20the\x20sponsor\x27s\x20explicit\x20act\x20(order\x20payer).\x20After\x20settlement\x20the\x20winner\x27s\x20prize\x20claim\x20unblocks\x20(M12),\x20the\x20T-4\x20rating\x20side-stop\x20opens\x20(P4\x27s\x20reviewed\x20detour,\x20money-free)\x20and\x20the\x20T-5\x20money-back\x20window\x20starts\x20counting\x20from\x20the\x20FIRST\x20settled\x20entry.','evidence':[{'file':'progress.move','line':0x151,'pattern':'if\x20(IsNamedOperator(self,\x20namedOperator,\x20order,\x20ctx))\x20{\x20return\x20}'}]},{'id':'M11','class':'main','name':'Delivery-window\x20auto-accept:\x20keeper\x20releases\x20a\x20silent\x20sponsor\x27s\x20escrow','actor':'keeper','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'settled','forward':'AutoAcceptByKeeper','prev':'final_delivery','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'delivery_window_days\x20after\x20the\x20final-files\x20entry\x20the\x20keeper\x20auto-accepts\x20—\x20the\x20guaranteed\x20prize\x20cannot\x20be\x20withheld\x20by\x20sponsor\x20silence\x20(a\x20re-delivery\x20appends\x20a\x20fresh\x20entry\x20and\x20naturally\x20resets\x20the\x20find=last\x20window).\x20This\x20is\x20the\x20buyer-favoring\x20backstop\x20that\x20makes\x20GUARANTEED\x20AWARD\x20real.','guardKeyProbe':'delivery_window','evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'M12','class':'main','name':'Winner\x20claims\x20the\x20prize\x20(settle_prize,\x20Signer-bound\x20to\x20the\x20placement\x20row)','actor':'fulfiller','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'settled','moneyEffect':'release'},'commercialSemantics':'The\x20prize\x20pays\x20the\x20DYNAMIC\x20winner:\x20the\x20settle_prize\x20root\x20carries\x20the\x20Signer-binding\x20leg\x20against\x20the\x20judge-recorded\x20placement\x20row\x20(claimant\x20==\x20placed\x20winner),\x20node-gated\x20to\x20the\x20settled\x20set,\x20once\x20per\x20order\x20—\x20a\x20sponsor,\x20the\x20judge\x20or\x20a\x20third\x20party\x20can\x20never\x20redirect\x20the\x20pool.\x20First-come-first-served\x20against\x20the\x20T-5\x20return\x20rail\x20(R1):\x20whichever\x20fires\x20first\x20wins,\x20and\x20an\x20approved\x20return\x20voids\x20the\x20UNCLAIMED\x20prize.','evidence':[{'file':'allocation.move','line':0x274,'pattern':'Recipient::Signer\x20=>'},{'file':'allocation.move','line':0x26d,'pattern':'assert!(*option::borrow(&binding)\x20==\x20submitted,\x20ERECIPIENT_NOT_FOR_OBJECT)'}]},{'id':'E4','class':'exception','name':'VoidNoEntry:\x20the\x20judge\x20rules\x20no\x20valid\x20entry\x20and\x20voids\x20the\x20contest','actor':'platform','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'voided','forward':'VoidNoEntry','prev':'judging','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'A\x20real-entries\x20contest\x20must\x20keep\x20a\x20judge-ruled\x20no-valid-entry\x20exit\x20(INV-N1):\x20the\x20pool\x20refunds\x20to\x20the\x20sponsor\x20through\x20the\x20no_valid_entry-gated\x20edge\x20—\x20never\x20a\x20random\x20pick,\x20never\x20a\x20sponsor\x20self-void\x20after\x20judging.\x20The\x20judged\x20decision\x20is\x20what\x20makes\x20the\x20refund\x20legitimate.','guardKeyProbe':'no_valid_entry','evidence':[]},{'id':'E5','class':'exception','name':'Sponsor\x20cancels\x20before\x20submissions\x20close\x20(pre-judgment\x20void)','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelBeforeSubmission','prev':'funded','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x20single-hop\x20payer\x20exit\x20exists\x20only\x20while\x20entries\x20are\x20still\x20open\x20(node-gated\x20from\x20\x27funded\x27):\x20once\x20the\x20judge\x20closes\x20submissions\x20the\x20guaranteed\x20prize\x20can\x20only\x20exit\x20via\x20no-valid-entry\x20(E4),\x20a\x20placed\x20winner\x20(M12)\x20or\x20the\x20T-5\x20return\x20rail\x20—\x20never\x20a\x20mid-contest\x20sponsor\x20reclaim.','evidence':[]},{'id':'E6','class':'exception','name':'Plagiarism\x20/\x20IP\x20dispute\x20raised\x20against\x20a\x20placed\x20entry','actor':'fulfiller','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'placement_provisional','moneyEffect':'none'},'commercialSemantics':'A\x20plagiarized-entry\x20claim\x20is\x20a\x20placement\x20dispute:\x20the\x20contesting\x20entrant\x20rides\x20the\x20appeal\x20window\x20(E1)\x20on-chain,\x20and\x20content-level\x20IP\x20judgment\x20(stock-asset\x20use,\x20template\x20resale,\x20stolen\x20concepts)\x20stays\x20with\x20the\x20judge\x20and,\x20if\x20contested,\x20the\x20bound\x20Arbitration\x20venue.\x20The\x20order\x20rests\x20at\x20the\x20contested\x20placement\x20while\x20the\x20case\x20runs\x20(no\x20case_open\x20node,\x20R-M1-11).','evidence':[]},{'id':'E7','class':'exception','name':'Sponsor\x20refuses\x20to\x20pick\x20despite\x20real\x20entries\x20(guaranteed-award\x20deadlock)','actor':'buyer','precondition':['M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'judging','moneyEffect':'none'},'commercialSemantics':'The\x20guaranteed\x20prize\x20is\x20committed\x20at\x20buy\x20and\x20MUST\x20go\x20to\x20a\x20placed\x20winner:\x20the\x20machine\x20blocks\x20sponsor\x20self-exit\x20after\x20submissions\x20close,\x20the\x20delivery-window\x20auto-accept\x20(M11)\x20unblocks\x20a\x20winner\x20who\x20delivered,\x20and\x20a\x20sponsor\x20who\x20refuses\x20to\x20place\x20at\x20all\x20leaves\x20the\x20order\x20parked\x20at\x20\x27judging\x27\x20—\x20the\x20guaranteed-award\x20lock\x20makes\x20that\x20deadlock\x20the\x20sponsor\x27s\x20problem,\x20resolvable\x20by\x20arbitration\x20on\x20the\x20case\x20track.\x20The\x20gap:\x20the\x20corpus\x20discloses\x20the\x20lock\x20and\x20its\x20money-back\x20exception,\x20not\x20the\x20parked-at-judging\x20limbo.','gapPredicate':{'probe':'MUST\x20go\x20to\x20a\x20placed\x20winner|GUARANTEED\x20AWARD'},'evidence':[]},{'id':'E8','class':'exception','name':'Runner-up\x20/\x20multi-place\x20prize\x20is\x20NOT\x20expressible\x20(single-winner\x20chain\x20constraint)','actor':'platform','precondition':['M12'],'onchain':'unresolvable','commercialSemantics':'One\x20settlement\x20has\x20one\x20tx_context::sender\x20and\x20the\x20Rate-10000\x20allocator\x20drains\x20the\x20pool,\x20so\x20a\x20runner-up\x20prize\x20to\x20a\x20DIFFERENT\x20dynamic\x20designer\x20cannot\x20be\x20split\x20out\x20of\x20one\x20contest\x20order\x20—\x20the\x20honest\x20answer\x20is\x20one\x20sponsor\x20order\x20per\x20prize\x20level\x20(a\x20multi-prize\x20contest\x20is\x20several\x20orders).\x20This\x20is\x20a\x20composition-truth\x20limit,\x20not\x20a\x20missing\x20feature;\x20disclosed\x20verbatim\x20in\x20the\x20corpus.','disclosureProbe':'MULTI-PLACE\x20LIMITATION|NOT\x20expressible','evidence':[{'file':'allocation.move','line':0x1af,'pattern':'assert!(total_rate\x20==\x2010000,\x20ERATE_NOT_10000)'}]},{'id':'E9','class':'exception','name':'Entry-write\x20authorship\x20residual:\x20rows\x20are\x20self-asserted\x20content','actor':'platform','precondition':['M4'],'onchain':'disclosure_only','commercialSemantics':'The\x20entry\x20guard\x20proves\x20the\x20SIGNER\x20owns\x20the\x20row,\x20not\x20that\x20the\x20design\x20is\x20original\x20or\x20even\x20the\x20signer\x27s\x20own\x20work\x20(the\x20W5-13\x20honesty\x20rewrite\x20softened\x20the\x20old\x20tautological\x20purpose,\x20but\x20the\x20residual\x20—\x20authorship\x20is\x20unverifiable\x20on\x20chain,\x20filtering\x20is\x20judge\x20discretion\x20—\x20is\x20phrased\x20only\x20in\x20the\x20guard\x20purpose,\x20which\x20never\x20reaches\x20the\x20disclosure\x20corpus).\x20Strict\x20probe:\x20this\x20stays\x20disclosure_missing,\x20blocking\x20publish,\x20until\x20a\x20build_note\x20discloses\x20the\x20residual.','disclosureProbe':'SELF-ASSERTED|self-asserted|unverified\x20self-assertion|authorship','evidence':[]},{'id':'E1','class':'remedy','name':'AppealPlacement:\x20a\x20losing\x20entrant\x20contests\x20the\x20provisional\x20placement','actor':'fulfiller','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'placement_appealed','forward':'AppealPlacement','prev':'placement_provisional','identity':'signer','moneyEffect':'none'},'commercialSemantics':'Within\x20appeal_window_days\x20a\x20losing\x20entrant\x20files\x20a\x20contest\x20(the\x20appeal_filed\x20evidence\x20row\x20is\x20the\x20standing\x20proof,\x20drawn\x20from\x20their\x20entry\x20row\x20via\x20the\x20shared\x20Repository\x20infra).\x20The\x20appeal\x20is\x20the\x20single-judge-ranking\x20check:\x20no\x20finalization\x20(M7)\x20can\x20pass\x20while\x20an\x20appeal\x20is\x20open.','guardKeyProbe':'appeal_filed','evidence':[{'file':'repository.move','line':0x219,'pattern':'fun\x20data_add_imp'}]},{'id':'E2','class':'remedy','name':'PlacementUpheld:\x20the\x20appeal\x20resolves\x20and\x20the\x20placement\x20commits\x20(CURED\x20at\x20v204)','actor':'platform','precondition':['E1'],'onchain':'expressible','chainFootprint':{'node':'placement_final','forward':'PlacementUpheld','prev':'placement_appealed','guardLegs':['appeal_dismissed'],'identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'CURED\x20at\x20v204\x20(stage2\x20#21,\x20the\x20R7\x20re-gate):\x20the\x20formerly\x20bare\x20permission_index\x201001\x20edge\x20now\x20carries\x20guard_key\x20appeal_dismissed\x20bound\x20to\x20tpl_forward_arb_ruling_dismissed\x20—\x20the\x20placement\x20commits\x20ONLY\x20on\x20a\x20venue-heard,\x20concluded,\x20zero-award\x20ruling\x20(arb.order\x20==\x20order\x20AND\x20indemnity.amount\x20==\x200\x20fail-closed\x20AND\x20the\x20claimed_by\x20conclude\x20stamp\x20AND\x20the\x20venue\x20leg).\x20The\x20appealed\x20judge\x20can\x20no\x20longer\x20self-uphold\x20past\x20a\x20pending\x20appeal;\x20the\x20keeper\x20drives\x20this\x20edge\x20AFTER\x20concluding\x20the\x20case\x20(4R-03b).\x20AMBIGUOUS-POLARITY\x20residual\x20disclosed\x20in\x20the\x20corpus:\x20an\x20upheld\x20ruling\x20that\x20ALSO\x20carries\x20an\x20award\x20opens\x20none\x20of\x20the\x20three\x20rails\x20(dismissed\x20requires\x20amount\x20==\x200,\x20won\x20is\x20wired\x20to\x20the\x20refund\x20terminal)\x20—\x20the\x20keeper\x20routes\x20it\x20to\x20manual\x20reconciliation;\x20rare,\x20disclosed.','evidence':[]},{'id':'E3','class':'remedy','name':'Placement\x20overturned:\x20the\x20ruling\x20re-opens\x20judging\x20for\x20a\x20re-record\x20(CURED\x20at\x20v204)','actor':'platform','precondition':['E1'],'onchain':'expressible','chainFootprint':{'node':'judging','forward':'Rejudge','prev':'placement_appealed','guardLegs':['appeal_overturned'],'moneyEffect':'none'},'commercialSemantics':'The\x20overturned\x20re-record\x20rail\x20SHIPS\x20(v204,\x20stage2\x20#21):\x20placement_appealed\x20->\x20judging,\x20forward\x20Rejudge,\x20judge\x20slot\x201001,\x20guarded\x20by\x20tpl_forward_arb_ruled_state\x20(the\x20new\x20DIRECTION-AGNOSTIC\x20root:\x20arb.order\x20==\x20order\x20+\x20the\x20claimed_by\x20consume\x20stamp\x20+\x20the\x20venue\x20leg\x20—\x20deliberately\x20no\x20indemnity\x20legs,\x20because\x20a\x20zero-award\x20overturn\x20is\x20a\x20legitimate\x20re-record\x20trigger\x20where\x20the\x20won/dismissed\x20polarity\x20legs\x20would\x20both\x20fail,\x20and\x20deliberately\x20no\x20arb.status\x20leg,\x20the\x20TRANSIENT-STATE\x20TRAP).\x20The\x20judge\x20re-records\x20via\x20placement_write\x20—\x20the\x20F-20\x20dual\x20write\x20moment\x20is\x20already\x20the\x20shipped\x20write-window\x20truth,\x20no\x20window\x20change\x20was\x20needed.\x20Loop\x20bound:\x20reentry_kind\x20review-loop\x20on\x20judging;\x20every\x20cycle\x20must\x20pass\x20a\x20FRESH\x20appeal\x20(entry-row\x20presence\x20+\x20the\x20closing\x20appeal\x20window).','evidence':[]},{'id':'R1','class':'remedy','name':'Refund\x20rail:\x20closed_cancel\x20/\x20voided\x20exits\x20plus\x20the\x20T-5\x20sponsor-return\x20track','actor':'buyer','precondition':['E5'],'onchain':'expressible','chainFootprint':{'node':'refunded','moneyEffect':'refund'},'commercialSemantics':'The\x20refundable\x20set\x20{closed_cancel,\x20voided,\x20refunded}\x20is\x20node-disjoint\x20from\x20the\x20prize\x20rail:\x20a\x20refund\x20and\x20a\x20claimed\x20prize\x20can\x20never\x20both\x20fire,\x20and\x20an\x20approved\x20return\x20voids\x20only\x20the\x20winner\x27s\x20UNCLAIMED\x20prize.\x20The\x20T-5\x20rail\x20adds\x20the\x20post-settlement\x20track:\x20sponsor\x20files\x20within\x20return_window_days,\x20merchant\x20approves,\x20or\x20merchant\x20silence\x20past\x20return_response_days\x20DEEMS\x20it\x20approved\x20and\x20the\x20keeper\x20fires\x20the\x20rail\x20(ReturnDeemedApproved\x20then\x20the\x20refund)\x20—\x20a\x20silent\x20merchant\x20cannot\x20hold\x20the\x20escrow\x20hostage.','evidence':[{'file':'allocation.move','line':0x26d,'pattern':'assert!(*option::borrow(&binding)\x20==\x20submitted,\x20ERECIPIENT_NOT_FOR_OBJECT)'}]},{'id':'R2','class':'remedy','name':'Deleted\x20recover\x20sweep\x20(C-6\x20subsumption;\x20T-5\x20return\x20rail\x20is\x20the\x20successor)','actor':'platform','precondition':['M12'],'onchain':'not_applicable','commercialSemantics':'The\x20generic\x20mid-flight\x20recover\x20sweep\x20is\x20deleted\x20as\x20fully\x20subsumed\x20(every\x20terminal\x20kept\x20exactly\x20one\x20exit).\x20Successor\x20semantics\x20are\x20the\x20explicit\x20T-5\x20track:\x20return_requested\x20->\x20ApproveReturn\x20/\x20ReturnDeemedApproved\x20->\x20refunded,\x20node-disjoint\x20from\x20the\x20prize\x20rail\x20and\x20window-anchored\x20on\x20the\x20first\x20settled\x20entry.','evidence':[]},{'id':'R3','class':'remedy','name':'Arbitration\x20award\x20executes:\x20compensation\x20fund\x20pays\x20the\x20order\x20owner\x20(capped\x203x)','actor':'arbitrator','precondition':['E6'],'onchain':'expressible','chainFootprint':{'node':'placement_appealed','moneyEffect':'compensate'},'commercialSemantics':'A\x20placement\x20ruling\x20that\x20favors\x20the\x20contesting\x20entrant\x20pays\x20the\x20sponsor\x20(order\x20owner)\x20through\x20the\x20compensation\x20fund,\x20capped\x20at\x20MAX_INDEMNITY_MULTIPLE\x20(3)\x20x\x20the\x20order\x27s\x20value\x20basis,\x20while\x20the\x20prize\x20escrow\x20exits\x20via\x20the\x20winner\x20rail\x20only\x20after\x20a\x20legitimate\x20re-placement.\x20The\x20contested\x20order\x20rests\x20at\x20placement_appealed\x20while\x20the\x20case\x20runs.','evidence':[{'file':'arb.move','line':0x21d,'pattern':'let\x20cap\x20=\x20u64::saturating_mul(indemnity_cap_base'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'R4','class':'remedy','name':'The\x20compensation\x20fund\x20cannot\x20indemnify\x20a\x20DESIGNER\x20(fund\x20asymmetry)','actor':'platform','precondition':['R3'],'onchain':'unresolvable','unresolvableRef':'S4','commercialSemantics':'The\x20ruling\x20payout\x20path\x20pays\x20the\x20ORDER\x20OWNER\x20(the\x20sponsor)\x20only\x20—\x20there\x20is\x20no\x20on-chain\x20path\x20for\x20the\x20compensation\x20fund\x20to\x20indemnify\x20a\x20designer\x20wronged\x20by,\x20say,\x20a\x20plagiarized\x20winning\x20entry\x20that\x20outlived\x20the\x20appeal\x20window.\x20Disclosed\x20honestly\x20in\x20the\x20corpus;\x20designers\x27\x20protection\x20is\x20the\x20appeal\x20window\x20plus\x20the\x20placement\x20Signer-binding,\x20not\x20the\x20fund.','disclosureProbe':'COMPENSATION\x20FUND\x20LIMITATION|indemnify\x20a\x20DESIGNER','evidence':[{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'R5','class':'remedy','name':'Arbitration\x2030-day\x20silence\x20=\x20acceptance\x20(case-fee\x20release\x20window)','actor':'platform','precondition':['R3'],'onchain':'not_applicable','commercialSemantics':'Protocol-level\x20arb-object\x20finality\x20(WITHDRAW_DURATION_TIME,\x20silence\x20treated\x20as\x20acceptance)\x20releasing\x20the\x20case\x20fee.\x20Contest\x20rails\x20key\x20on\x20ruling\x20state\x20directly,\x20so\x20the\x20window\x20never\x20touches\x20the\x20machine\x20path\x20—\x20no\x20footprint\x20to\x20encode.','evidence':[]},{'id':'R6','class':'remedy','name':'Ruling-won\x20reroute:\x20an\x20arb\x20award\x20re-routes\x20the\x20prize\x20(CURED\x20at\x20v204)','actor':'arbitrator','precondition':['R3'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'placement_appealed','guardLegs':['arb_refund_award'],'moneyEffect':'refund'},'commercialSemantics':'The\x20sponsor-won-ruling\x20rail\x20SHIPS\x20(v204,\x20stage2\x20#21):\x20placement_appealed\x20->\x20closed_cancel,\x20forward\x20ArbRefund,\x20operator\x20merchant\x20on\x20the\x20DEDICATED\x20refund-rail\x20slot\x201004\x20(the\x20N12\x20ruling-executor\x20bucket\x20—\x20the\x20two-slot\x20arb\x20root\x20has\x20no\x20signer\x20identity\x20leg,\x20so\x20the\x20executor\x20needs\x20the\x20RULING,\x20not\x20a\x20disputing\x20signature),\x20guarded\x20by\x20tpl_forward_arb_ruling_won\x20(canonical\x20two-slot\x20root:\x20arb.order\x20==\x20order\x20AND\x20indemnity\x20some/!=\x200\x20AND\x20claimed_by\x20stamp\x20AND\x20the\x20venue\x20leg).\x20The\x20award\x20rides\x20the\x20SAME\x20closed_cancel\x20refund\x20rail\x20pre-submission\x20cancellation\x20pays\x20—\x20no\x20second\x20allocator,\x20and\x20the\x20refund/prize\x20mutual\x20exclusion\x20holds\x20by\x20node\x20reachability\x20(D-BUG-2).\x20At\x20placement_appealed\x20the\x20prize\x20has\x20not\x20settled,\x20so\x20the\x20rail\x20pays\x20the\x20sponsor\x20in\x20full.\x20The\x20kernel\x20N1\x20auto-sizes\x20the\x20compensation\x20pool\x20(3x\x20the\x20largest\x20prize\x20tier);\x20an\x20unfunded\x20won-mount\x20hard-blocks\x20at\x20compile.\x20min_indemnity_floor\x20stays\x200\x20=\x20no\x20award\x20floor,\x20DISCLOSED\x20(the\x20freelance-family\x20floor-0\x20posture).','evidence':[]},{'id':'R7','class':'remedy','name':'Dismissed-ruling\x20resume:\x20re-gate\x20PlacementUpheld\x20behind\x20a\x20real\x20ruling\x20(CURED\x20at\x20v204)','actor':'arbitrator','precondition':['E2'],'onchain':'expressible','chainFootprint':{'node':'placement_final','forward':'PlacementUpheld','prev':'placement_appealed','guardLegs':['appeal_dismissed'],'moneyEffect':'none'},'commercialSemantics':'CURED\x20at\x20v204\x20(stage2\x20#21)\x20—\x20landing\x20form\x20differs\x20from\x20this\x20oracle\x27s\x20original\x20sketch\x20by\x20design:\x20a\x20design-contest\x20appeal\x20runs\x20BEFORE\x20the\x20placement\x20commits\x20(unlike\x20the\x20holdback\x20shapes\x20where\x20a\x20dismissed\x20claim\x20resumes\x20a\x20committed\x20payout),\x20so\x20the\x20dismissed-root\x20leg\x20re-gates\x20the\x20EXISTING\x20PlacementUpheld\x20commit\x20edge\x20(tpl_forward_arb_ruling_dismissed,\x20key\x20appeal_dismissed)\x20instead\x20of\x20mounting\x20a\x20separate\x20ResumeAfterDismissal\x20edge\x20to\x20the\x20pre-dispute\x20node\x20—\x20committing\x20on\x20a\x20venue-heard\x20zero-award\x20ruling\x20IS\x20the\x20dismissal\x20semantics\x20here.\x20See\x20E2\x20for\x20the\x20cured\x20step;\x20the\x20zero-award\x20overturn\x20(the\x20appellant\x20WON\x20with\x20no\x20damages)\x20rides\x20the\x20Rejudge\x20ruled-state\x20rail,\x20not\x20this\x20one.','evidence':[]},{'id':'R8','class':'remedy','name':'Claim\x20withdrawal\x20/\x20off-chain\x20settlement\x20escape\x20(CURED\x20at\x20v204)','actor':'buyer','precondition':['E1'],'onchain':'expressible','chainFootprint':{'node':'placement_provisional','forward':'WithdrawClaim','prev':'placement_appealed','guardLegs':['withdraw_claim_appeal'],'identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20withdrawal\x20escape\x20SHIPS\x20(v204,\x20stage2\x20#21):\x20placement_appealed\x20->\x20placement_provisional,\x20forward\x20WithdrawClaim,\x20order_payer,\x20guarded\x20by\x20pattern.identity_check_order_holder\x20(signer\x20==\x20order\x20owner\x20—\x20the\x20TPL-09\x20idiom\x20the\x20freelance\x20family\x20ships).\x20Zero\x20money\x20moves\x20(moneyEffect\x20none\x20—\x20this\x20oracle\x27s\x20original\x20\x27refund\x27\x20sketch\x20over-promised;\x20the\x20window\x20state\x20is\x20UNTOUCHED,\x20which\x20is\x20the\x20whole\x20point)\x20and\x20the\x20re-entry\x20re-arms\x20the\x20appeal\x20window\x20(find=last),\x20so\x20re-contesting\x20stays\x20possible\x20WITHIN\x20the\x20window\x20—\x20disclosed\x20intended\x20semantics,\x20never\x20a\x20second\x20prize\x20bite.\x20Identity-only,\x20case-unbound\x20(the\x20E17\x20family\x20posture;\x20if\x20an\x20Arb\x20case\x20was\x20already\x20filed\x20its\x20fee\x20recovery\x20follows\x20the\x20venue\x27s\x20rules).\x20NOTE:\x20a\x202026-11-08\x20Move-side\x20draft\x20that\x20would\x20have\x20removed\x20dispute\x20WITHDRAWAL\x20on\x20the\x20ARBITRATION\x20object\x20was\x20FULLY\x20REVERTED\x20before\x20shipping\x20—\x20no\x20on-chain\x20trace;\x20the\x20machine-layer\x20WithdrawClaim\x20forward\x20is\x20a\x20different\x20primitive\x20(no\x20arb_withdraw\x20call)\x20and\x20was\x20never\x20affected\x20either\x20way.','evidence':[]},{'id':'P1','class':'post','name':'Copyright\x20/\x20IP\x20transfer\x20writing\x20for\x20the\x20winning\x20design','actor':'buyer','precondition':['M12'],'onchain':'not_applicable','commercialSemantics':'Full\x20copyright\x20assignment\x20happens\x20with\x20the\x20final\x20handover\x20(documents\x20off\x20chain);\x20the\x20on-chain\x20placement\x20record\x20evidences\x20WHO\x20won,\x20never\x20the\x20transfer\x20itself.\x20No\x20IP-registry\x20anchor\x20exists,\x20so\x20the\x20writing\x20step\x20is\x20honestly\x20out\x20of\x20scope.','evidence':[]},{'id':'P2','class':'post','name':'60-day\x20money-back\x20guarantee\x20(the\x20T-5\x20sponsor-return\x20rail)','actor':'buyer','precondition':['M10'],'onchain':'expressible_with_gap','chainFootprint':{'node':'return_requested','forward':'RequestReturn','prev':'settled','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'T-5\x20turns\x20the\x20incumbent-style\x20money-back\x20promise\x20into\x20an\x20explicit\x20rail:\x20the\x20sponsor\x20files\x20within\x20return_window_days\x20of\x20the\x20FIRST\x20settlement\x20(find=first,\x20re-entry-immune),\x20first-come-first-served\x20against\x20the\x20winner\x27s\x20prize\x20claim;\x20merchant\x20approval\x20or\x20deemed\x20approval\x20(silence\x20past\x20return_response_days)\x20fires\x20the\x20refund,\x20which\x20voids\x20the\x20winner\x27s\x20UNCLAIMED\x20prize.\x20The\x20guarantee\x27s\x20edges\x20are\x20the\x20pre-submission\x20void,\x20the\x20judged\x20no-valid-entry\x20void\x20and\x20this\x20explicit\x20rail\x20—\x20anything\x20reading\x20the\x20stale\x20\x27only\x20no-payout\x20exits\x27\x20prose\x20would\x20miss\x20the\x20T-5\x20leg.','guardKeyProbe':'return_window','gapPredicate':{'probe':'no-payout\x20exits\x20are\x20a\x20pre-submission\x20void'},'evidence':[]},{'id':'P3','class':'post','name':'Designer\x20level\x20fee\x20tiers\x20abolished\x20(0%\x20commission\x20is\x20machine-checkable)','actor':'platform','precondition':['M12'],'onchain':'disclosure_only','commercialSemantics':'The\x20incumbent\x27s\x20designer\x20level\x20determines\x20their\x20commission\x20(e.g.\x205-15%\x20by\x20rank/analytics\x20gates).\x20WoWok\x20takes\x20nothing:\x20commission_rate_bps\x20=\x200\x20and\x20is\x20NOT\x20a\x20placeholder,\x20expressed\x20as\x20on-chain\x20allocator\x20configuration\x20so\x20the\x20take-rate\x20is\x20machine-checkable.\x20A\x20contest\x20aggregator\x20MAY\x20charge\x20its\x20own\x20explicit\x20fee\x20under\x20the\x20disclosed\x20constraints\x20(explicit\x20number,\x20explicit\x20non-empty\x20recipient,\x20no\x20mandatory\x20transit\x20pool,\x20never\x20by\x20shrinking\x20the\x20winner\x27s\x20leg).','disclosureProbe':'WoWok\x20extracts\x20nothing|takes\x20no\x20platform\x20commission','evidence':[]},{'id':'P4','class':'post','name':'Designer\x20reputation\x20rides\x20the\x20placement\x20record,\x20not\x20a\x20star-review','actor':'platform','precondition':['M12'],'onchain':'disclosure_only','commercialSemantics':'T-4\x27s\x20honest\x20split:\x20the\x20sponsor\x27s\x20RATING\x20rides\x20the\x20review\x20bounty\x20rail\x20(money-side\x20incentive),\x20while\x20the\x20DESIGNER\x27s\x20reputation\x20still\x20rides\x20the\x20judge\x27s\x20on-chain\x20placement\x20record\x20(a\x20win\x20is\x20a\x20win,\x20tamper-evident\x20in\x20progress\x20history).\x20Level\x20systems\x20and\x20portfolio\x20badges\x20are\x20off-chain\x20consumers\x20of\x20that\x20record\x20—\x20the\x20disclosure\x20makes\x20which\x20side\x20of\x20T-4\x20feeds\x20reputation\x20explicit.','disclosureProbe':'reputation\x20still\x20rides|placement\x20record','evidence':[]},{'id':'P5','class':'post','name':'Contest-to-direct-work\x20conversion\x20(hire\x20the\x20winner\x20for\x20follow-on\x20jobs)','actor':'buyer','precondition':['M12'],'onchain':'not_applicable','commercialSemantics':'The\x20real\x20product\x20converts\x20winners\x20into\x20direct\x20clients.\x20On\x20WoWok\x20the\x20follow-on\x20is\x20simply\x20a\x20NEW\x20order\x20(agent-task\x20or\x20direct\x20service)\x20with\x20the\x20same\x20counterparty\x20—\x20no\x20template\x20bridge\x20exists,\x20so\x20the\x20conversion\x20is\x20an\x20off-chain\x20commercial\x20decision.','evidence':[]},{'id':'P6','class':'post','name':'Safe\x20harbor\x20—\x20no\x20IP\x20warranty\x20on\x20submitted\x20designs','actor':'platform','precondition':['M12'],'onchain':'disclosure_only','commercialSemantics':'The\x20sponsor\x20judges\x20originality\x20and\x20takes\x20delivery\x20of\x20design\x20files\x20—\x20the\x20machine\x20enforces\x20the\x20prize\x20escrow\x20and\x20the\x20placement\x20ruling\x20only;\x20no\x20IP\x20warranty,\x20no\x20originality\x20guarantee\x20and\x20no\x20indemnity\x20beyond\x20the\x20prize\x20pool\x20+\x20the\x203x\x20award\x20cap\x20ride\x20on\x20chain,\x20and\x20third-party\x20IP\x20claims\x20over\x20a\x20submitted\x20design\x20stay\x20an\x20off-chain\x20matter\x20between\x20sponsor\x20and\x20entrant.','disclosureProbe':'SAFE\x20HARBOR\x20IS\x20A\x20DISCLOSURE','evidence':[]}],'invariants':[{'id':'INV-N1','statement':'A\x20guaranteed-prize\x20contest\x20must\x20keep\x20its\x20judge-ruled\x20no-valid-entry\x20exit:\x20with\x20the\x20prize\x20locked\x20at\x20buy,\x20removing\x20the\x20VoidNoEntry\x20edge\x20strands\x20a\x20real-entries\x20contest\x20whose\x20judge\x20legitimately\x20finds\x20no\x20valid\x20entry.','jurisdiction':'99designs\x20guaranteed-contest\x20terms;\x20EU\x20consumer\x20lock-in\x20fairness\x20norms.','chainConflict':'Standing\x20check:\x20the\x20shipped\x20shape\x20carries\x20judged\x20->\x20voided\x20(no_valid_entry-gated,\x20slot\x201001)\x20as\x20the\x20only\x20post-close\x20sponsor\x20exit\x20besides\x20the\x20prize.\x20Removing\x20the\x20forward\x20while\x20any\x20contest\x20is\x20live\x20re-fires\x20this\x20invariant.','violation':{'whileMissingForward':'VoidNoEntry'}},{'id':'INV-N2','statement':'Silence\x20cannot\x20withhold\x20a\x20guaranteed\x20prize:\x20the\x20delivery-window\x20auto-accept\x20must\x20exist\x20so\x20a\x20winner\x20who\x20delivered\x20is\x20paid\x20without\x20the\x20sponsor\x27s\x20cooperation.','jurisdiction':'99designs\x20guaranteed-award\x20terms;\x20EU\x20Directive\x202011/83\x20consumer\x20silence\x20rules.','chainConflict':'Standing\x20check:\x20the\x20shipped\x20shape\x20carries\x20keeper-driven\x20final_delivery\x20->\x20AutoAcceptByKeeper\x20->\x20settled\x20on\x20the\x20delivery_window\x20clock\x20(find=last\x20anchored\x20on\x20the\x20final-files\x20entry).\x20Removing\x20the\x20forward\x20converts\x20the\x20guaranteed\x20award\x20into\x20an\x20option,\x20re-firing\x20this\x20invariant.','violation':{'whileMissingForward':'AutoAcceptByKeeper'}},{'id':'INV-N3','statement':'The\x20deemed-approval\x20clock\x20must\x20pair\x20with\x20its\x20edge:\x20promising\x20return_response_days\x20implies\x20the\x20ReturnDeemedApproved\x20keeper\x20forward\x20exists\x20—\x20a\x20clock\x20without\x20the\x20edge\x20holds\x20the\x20escrow\x20hostage\x20at\x20return_requested\x20forever.','jurisdiction':'T-5\x20money-back\x20terms;\x20deemed-acceptance\x20doctrine\x20(silence\x20as\x20approval\x20requires\x20an\x20operational\x20mechanism).','chainConflict':'Standing\x20check:\x20the\x20shipped\x20shape\x20pairs\x20return_response_days\x20=\x203\x20with\x20the\x20return_requested\x20->\x20ReturnDeemedApproved\x20->\x20refunded\x20edge\x20on\x20the\x20return-request\x20timestamp.\x20Zeroing\x20the\x20parameter\x20or\x20removing\x20the\x20forward\x20desynchronizes\x20the\x20pair\x20and\x20re-fires\x20this\x20invariant.','violation':{'requiresFeeParamNonZero':'return_response_days','whileMissingForward':'ReturnDeemedApproved'}},{'id':'INV-N4','statement':'Single-winner-takes-prize\x20is\x20a\x20chain\x20constraint\x20(one\x20tx\x20sender,\x20Rate-10000\x20drain):\x20multi-prize\x20contests\x20are\x20MULTIPLE\x20orders,\x20and\x20any\x20\x27second\x20place\x27\x20leg\x20inside\x20one\x20order\x20is\x20structurally\x20impossible.\x20The\x20re-record\x20half\x20was\x20CURED\x20at\x20v204\x20(the\x20Rejudge\x20ruled-state\x20rail\x20ships,\x20E3)\x20—\x20this\x20invariant\x20now\x20tracks\x20ONLY\x20the\x20multi-prize\x20face.','jurisdiction':'Contest-law\x20prize\x20mechanics;\x20template\x20wiki\x20FIX-EDGE\x20finding\x20(the\x20zero-arb-rails\x20+\x20missing-judging-re-entry\x20half\x20is\x20resolved;\x20multi-prize\x20single-order\x20stays\x20structurally\x20impossible).','chainConflict':'One\x20structural\x20truth\x20remains:\x20the\x20allocator\x20math\x20makes\x20a\x20runner-up\x20share\x20inside\x20one\x20order\x20inexpressible\x20(E8)\x20—\x20a\x20multi-prize\x20contest\x20must\x20be\x20multiple\x20orders.\x20The\x20second\x20half\x20(the\x20absent\x20Rejudge\x20re-entry\x20edge\x20/\x20bare\x20PlacementUpheld\x20defect)\x20was\x20CURED\x20at\x20v204,\x20stage2\x20#21:\x20placement_appealed\x20now\x20carries\x20four\x20ruling-gated\x20exits\x20(PlacementUpheld\x20dismissed-root\x20/\x20Rejudge\x20ruled-state\x20/\x20ArbRefund\x20won-root\x20/\x20WithdrawClaim\x20identity-only),\x20kept\x20here\x20as\x20a\x20standing\x20regression\x20check\x20on\x20the\x20mounted\x20rails.','evidence':[{'file':'allocation.move','line':0x1af,'pattern':'assert!(total_rate\x20==\x2010000,\x20ERATE_NOT_10000)'},{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]}]};
+export const NINETY_NINE_DESIGNS_ORACLE={'productRef':'ninety-nine-designs','products':['ninety-nine-designs','designhill','crowdspring','dribbble-contests','zcool-contests','freelancer-contests'],'oracleVersion':'1.1.0','steps':[{'id':'M1','class':'offchain','name':'Sponsor\x20drafts\x20the\x20contest\x20brief\x20and\x20picks\x20a\x20package\x20tier','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Brief\x20writing,\x20category\x20choice\x20and\x20package\x20pricing\x20(bronze/silver/gold\x20equivalents)\x20are\x20off-chain\x20commerce;\x20the\x20first\x20chain\x20act\x20is\x20the\x20guaranteed-prize\x20escrow\x20at\x20buy\x20(M2).','evidence':[]},{'id':'M3','class':'offchain','name':'Designers\x20study\x20the\x20brief\x20and\x20create\x20entries\x20during\x20the\x20blind\x20period','actor':'fulfiller','precondition':['M2'],'onchain':'not_applicable','commercialSemantics':'The\x20creative\x20work\x20itself\x20is\x20off-chain\x20labor;\x20entries\x20are\x20committed\x20one\x20by\x20one\x20to\x20the\x20entry\x20Repository\x20(M4)\x20while\x20the\x20contest\x20order\x20rests\x20at\x20\x27funded\x27.\x20The\x20blind\x20period\x20(entrants\x20cannot\x20see\x20each\x20other\x27s\x20work\x20before\x20placing)\x20is\x20enforced\x20socially\x20and\x20by\x20the\x20judge\x27s\x20filtering,\x20not\x20by\x20a\x20chain\x20primitive.','evidence':[]},{'id':'M2','class':'main','name':'Guaranteed-prize\x20escrow\x20funds\x20atomically\x20at\x20buy','actor':'buyer','precondition':['M1'],'onchain':'expressible','chainFootprint':{'node':'funded','moneyEffect':'escrow_in'},'commercialSemantics':'GUARANTEED\x20AWARD:\x20the\x20prize\x20is\x20committed\x20at\x20buy\x20and\x20must\x20go\x20to\x20a\x20placed\x20winner\x20—\x20sponsor\x20silence\x20cannot\x20withhold\x20it\x20(the\x20delivery-window\x20auto-accept,\x20M11)\x20and\x20refusal\x20to\x20pick\x20with\x20real\x20entries\x20filed\x20routes\x20to\x20arbitration\x20(E7).\x20The\x20escrow\x20is\x20single-winner-takes-prize\x20sized:\x20one\x20settlement\x20has\x20one\x20tx\x20sender\x20and\x20the\x20Rate-10000\x20allocator\x20drains\x20the\x20pool.','evidence':[{'file':'allocation.move','line':0x1af,'pattern':'assert!(total_rate\x20==\x2010000,\x20ERATE_NOT_10000)'}]},{'id':'M4','class':'main','name':'Designer\x20commits\x20an\x20entry\x20row\x20(self-keyed,\x20one\x20row\x20per\x20designer)','actor':'fulfiller','precondition':['M3'],'onchain':'expressible_with_gap','chainFootprint':{'node':'funded','moneyEffect':'none'},'commercialSemantics':'Each\x20entrant\x20writes\x20their\x20own\x20entry\x20row\x20under\x20the\x20id_from-signer\x20entry\x20Repository\x20policy\x20—\x20ownership\x20of\x20the\x20row\x20is\x20cryptographic,\x20but\x20the\x20CONTENT\x20(the\x20design\x20claim)\x20is\x20a\x20self-assertion:\x20the\x20chain\x20cannot\x20verify\x20authorship\x20or\x20originality,\x20and\x20filtering\x20falls\x20to\x20the\x20judge\x27s\x20discretion.\x20The\x20order\x20rests\x20at\x20\x27funded\x27\x20for\x20the\x20whole\x20entry\x20window.\x20The\x20self-assertion\x20gap\x20must\x20be\x20disclosed\x20in\x20the\x20corpus\x20(it\x20currently\x20is\x20not\x20—\x20M4\x20stays\x20gap_undisclosed\x20until\x20a\x20build_note\x20lands).','gapPredicate':{'probe':'SELF-ASSERTED|self-asserted|unverified\x20self-assertion|authorship'},'evidence':[]},{'id':'M5','class':'main','name':'Judge\x20closes\x20submissions\x20(objective\x20time\x20gate\x20into\x20judging)','actor':'platform','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'judging','forward':'CloseSubmissions','prev':'funded','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'submission_window_days\x20closes\x20entries\x20on\x20the\x20contest-open\x20timestamp;\x20a\x20keeper\x20performs\x20the\x20close\x20if\x20the\x20judge\x20stalls\x20(the\x20gate\x20is\x20objective).\x20Entries\x20after\x20the\x20close\x20cannot\x20enter\x20the\x20ranking.','guardKeyProbe':'submission_window','evidence':[{'file':'progress.move','line':0x153,'pattern':'option::is_some(permission_index),\x20E_PERMISSION_NOT_DEFINED'}]},{'id':'M6','class':'main','name':'RecordPlacement:\x20the\x20judge\x20places\x20ONE\x20winner\x20(provisional)','actor':'platform','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'placement_provisional','forward':'RecordPlacement','prev':'judging','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20independent\x20judge/jury\x20(slot\x201001,\x20disjoint\x20from\x20sponsor\x20and\x20every\x20entrant)\x20writes\x20the\x20winner\x20address\x20keyed\x20by\x20the\x20order\x20into\x20the\x20placement\x20Repository\x20—\x20deliberately\x20NOT\x20write-once,\x20because\x20the\x20appeal\x20window\x20(E1)\x20and\x20a\x20ruling\x20(E2/E3)\x20can\x20legitimately\x20re-record\x20before\x20commit.\x20No\x20entrant\x20can\x20self-place;\x20the\x20sponsor\x20cannot\x20place\x20either.','guardKeyProbe':'record_placement','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]},{'id':'M7','class':'main','name':'FinalizePlacement:\x20the\x20appeal\x20window\x20elapses\x20and\x20the\x20placement\x20commits','actor':'platform','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'placement_final','forward':'FinalizePlacement','prev':'placement_provisional','identity':'signer','moneyEffect':'none'},'commercialSemantics':'After\x20appeal_window_days\x20with\x20no\x20contest\x20(or\x20after\x20a\x20contested\x20placement\x20is\x20upheld),\x20the\x20placement\x20commits:\x20the\x20winner\x20row\x20becomes\x20the\x20Signer-binding\x20target\x20for\x20the\x20prize\x20claim\x20(M12).\x20This\x20is\x20the\x20contest-specific\x20answer\x20to\x20ranking\x20by\x20a\x20single\x20judge:\x20nobody\x20can\x20finalize\x20over\x20an\x20open\x20appeal.','guardKeyProbe':'appeal_window','evidence':[]},{'id':'M8','class':'main','name':'Winner\x20delivers\x20final\x20files\x20(source\x20formats\x20+\x20WIP\x20hash\x20evidence)','actor':'fulfiller','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'final_delivery','forward':'DeliverFinal','prev':'placement_final','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20placed\x20winner\x20hands\x20over\x20editable\x20source\x20files\x20under\x20the\x20deliverer\x20slot\x20(1000);\x20the\x20final_files\x20guard\x20demands\x20the\x20evidence\x20row\x20(wip\x20hash\x20pinned)\x20BEFORE\x20the\x20forward\x20passes,\x20so\x20the\x20accepted\x20artifact\x20is\x20tamper-evident.\x20Re-delivery\x20rides\x20Redeliver\x20from\x20\x27revision\x27\x20(M9)\x20and\x20never\x20re-arms\x20the\x20delivery\x20window\x27s\x20find=last\x20anchor\x20beyond\x20one\x20round.','guardKeyProbe':'final_files','evidence':[{'file':'repository.move','line':0x223,'pattern':'assert!(!write_once,\x20E_POLICY_WRITE_ONCE_CONFLICT)'}]},{'id':'M9','class':'main','name':'Time-boxed\x20revision\x20loop:\x20sponsor\x20requests\x20changes,\x20winner\x20redelivers','actor':'buyer','precondition':['M8'],'onchain':'expressible_with_gap','chainFootprint':{'node':'revision','forward':'RequestRevision','prev':'final_delivery','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'T-6\x20pairing:\x20the\x20VISIT\x20COUNT\x20(revision_rounds_max,\x20default\x203)\x20is\x20off-chain-honored\x20—\x20a\x20business\x20term\x20in\x20the\x20contest\x20terms\x20—\x20while\x20the\x20CHAIN\x20half\x20is\x20the\x20find=first\x20revision_span_days\x20closing\x20window\x20on\x20RequestRevision\x20(no\x20new\x20round\x20past\x2030\x20days\x20from\x20the\x20FIRST\x20delivery;\x20a\x20Redeliver\x20can\x20never\x20re-arm\x20it).\x20The\x20gap\x20(no\x20chain-enforceable\x20counter:\x20the\x20progress\x20layer\x20bounds\x20edges,\x20not\x20visits;\x20Repository\x20tallies\x20are\x20forgeable\x20upserts)\x20is\x20disclosed,\x20so\x20the\x20loop\x20is\x20expressible-with-disclosed-gap.','guardKeyProbe':'revision_span','gapPredicate':{'probe':'off-chain-honored'},'evidence':[]},{'id':'M10','class':'main','name':'Sponsor\x20accepts\x20the\x20final\x20delivery\x20(settled)','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'settled','forward':'AcceptDelivery','prev':'final_delivery','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Acceptance\x20is\x20the\x20sponsor\x27s\x20explicit\x20act\x20(order\x20payer).\x20After\x20settlement\x20the\x20winner\x27s\x20prize\x20claim\x20unblocks\x20(M12),\x20the\x20T-4\x20rating\x20side-stop\x20opens\x20(P4\x27s\x20reviewed\x20detour,\x20money-free)\x20and\x20the\x20T-5\x20money-back\x20window\x20starts\x20counting\x20from\x20the\x20FIRST\x20settled\x20entry.','evidence':[{'file':'progress.move','line':0x151,'pattern':'if\x20(IsNamedOperator(self,\x20namedOperator,\x20order,\x20ctx))\x20{\x20return\x20}'}]},{'id':'M11','class':'main','name':'Delivery-window\x20auto-accept:\x20keeper\x20releases\x20a\x20silent\x20sponsor\x27s\x20escrow','actor':'keeper','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'settled','forward':'AutoAcceptByKeeper','prev':'final_delivery','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'delivery_window_days\x20after\x20the\x20final-files\x20entry\x20the\x20keeper\x20auto-accepts\x20—\x20the\x20guaranteed\x20prize\x20cannot\x20be\x20withheld\x20by\x20sponsor\x20silence\x20(a\x20re-delivery\x20appends\x20a\x20fresh\x20entry\x20and\x20naturally\x20resets\x20the\x20find=last\x20window).\x20This\x20is\x20the\x20buyer-favoring\x20backstop\x20that\x20makes\x20GUARANTEED\x20AWARD\x20real.','guardKeyProbe':'delivery_window','evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'M12','class':'main','name':'Winner\x20claims\x20the\x20prize\x20(settle_prize,\x20Signer-bound\x20to\x20the\x20placement\x20row)','actor':'fulfiller','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'settled','moneyEffect':'release'},'commercialSemantics':'The\x20prize\x20pays\x20the\x20DYNAMIC\x20winner:\x20the\x20settle_prize\x20root\x20carries\x20the\x20Signer-binding\x20leg\x20against\x20the\x20judge-recorded\x20placement\x20row\x20(claimant\x20==\x20placed\x20winner),\x20node-gated\x20to\x20the\x20settled\x20set,\x20once\x20per\x20order\x20—\x20a\x20sponsor,\x20the\x20judge\x20or\x20a\x20third\x20party\x20can\x20never\x20redirect\x20the\x20pool.\x20First-come-first-served\x20against\x20the\x20T-5\x20return\x20rail\x20(R1):\x20whichever\x20fires\x20first\x20wins,\x20and\x20an\x20approved\x20return\x20voids\x20the\x20UNCLAIMED\x20prize.','evidence':[{'file':'allocation.move','line':0x274,'pattern':'Recipient::Signer\x20=>'},{'file':'allocation.move','line':0x26d,'pattern':'assert!(*option::borrow(&binding)\x20==\x20submitted,\x20ERECIPIENT_NOT_FOR_OBJECT)'}]},{'id':'E4','class':'exception','name':'VoidNoEntry:\x20the\x20judge\x20rules\x20no\x20valid\x20entry\x20and\x20voids\x20the\x20contest','actor':'platform','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'voided','forward':'VoidNoEntry','prev':'judging','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'A\x20real-entries\x20contest\x20must\x20keep\x20a\x20judge-ruled\x20no-valid-entry\x20exit\x20(INV-N1):\x20the\x20pool\x20refunds\x20to\x20the\x20sponsor\x20through\x20the\x20no_valid_entry-gated\x20edge\x20—\x20never\x20a\x20random\x20pick,\x20never\x20a\x20sponsor\x20self-void\x20after\x20judging.\x20The\x20judged\x20decision\x20is\x20what\x20makes\x20the\x20refund\x20legitimate.','guardKeyProbe':'no_valid_entry','evidence':[]},{'id':'E5','class':'exception','name':'Sponsor\x20cancels\x20before\x20submissions\x20close\x20(pre-judgment\x20void)','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelBeforeSubmission','prev':'funded','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'The\x20single-hop\x20payer\x20exit\x20exists\x20only\x20while\x20entries\x20are\x20still\x20open\x20(node-gated\x20from\x20\x27funded\x27):\x20once\x20the\x20judge\x20closes\x20submissions\x20the\x20guaranteed\x20prize\x20can\x20only\x20exit\x20via\x20no-valid-entry\x20(E4),\x20a\x20placed\x20winner\x20(M12)\x20or\x20the\x20T-5\x20return\x20rail\x20—\x20never\x20a\x20mid-contest\x20sponsor\x20reclaim.','evidence':[]},{'id':'E6','class':'exception','name':'Plagiarism\x20/\x20IP\x20dispute\x20raised\x20against\x20a\x20placed\x20entry','actor':'fulfiller','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'placement_provisional','moneyEffect':'none'},'commercialSemantics':'A\x20plagiarized-entry\x20claim\x20is\x20a\x20placement\x20dispute:\x20the\x20contesting\x20entrant\x20rides\x20the\x20appeal\x20window\x20(E1)\x20on-chain,\x20and\x20content-level\x20IP\x20judgment\x20(stock-asset\x20use,\x20template\x20resale,\x20stolen\x20concepts)\x20stays\x20with\x20the\x20judge\x20and,\x20if\x20contested,\x20the\x20bound\x20Arbitration\x20venue.\x20The\x20order\x20rests\x20at\x20the\x20contested\x20placement\x20while\x20the\x20case\x20runs\x20(no\x20case_open\x20node,\x20R-M1-11).','evidence':[]},{'id':'E7','class':'exception','name':'Sponsor\x20refuses\x20to\x20pick\x20despite\x20real\x20entries\x20(guaranteed-award\x20deadlock)','actor':'buyer','precondition':['M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'judging','moneyEffect':'none'},'commercialSemantics':'The\x20guaranteed\x20prize\x20is\x20committed\x20at\x20buy\x20and\x20MUST\x20go\x20to\x20a\x20placed\x20winner:\x20the\x20machine\x20blocks\x20sponsor\x20self-exit\x20after\x20submissions\x20close,\x20the\x20delivery-window\x20auto-accept\x20(M11)\x20unblocks\x20a\x20winner\x20who\x20delivered,\x20and\x20a\x20sponsor\x20who\x20refuses\x20to\x20place\x20at\x20all\x20leaves\x20the\x20order\x20parked\x20at\x20\x27judging\x27\x20—\x20the\x20guaranteed-award\x20lock\x20makes\x20that\x20deadlock\x20the\x20sponsor\x27s\x20problem,\x20resolvable\x20by\x20arbitration\x20on\x20the\x20case\x20track.\x20The\x20gap:\x20the\x20corpus\x20discloses\x20the\x20lock\x20and\x20its\x20money-back\x20exception,\x20not\x20the\x20parked-at-judging\x20limbo.','gapPredicate':{'probe':'MUST\x20go\x20to\x20a\x20placed\x20winner|GUARANTEED\x20AWARD'},'evidence':[]},{'id':'E8','class':'exception','name':'Runner-up\x20/\x20multi-place\x20prize\x20is\x20NOT\x20expressible\x20(single-winner\x20chain\x20constraint)','actor':'platform','precondition':['M12'],'onchain':'unresolvable','commercialSemantics':'One\x20settlement\x20has\x20one\x20tx_context::sender\x20and\x20the\x20Rate-10000\x20allocator\x20drains\x20the\x20pool,\x20so\x20a\x20runner-up\x20prize\x20to\x20a\x20DIFFERENT\x20dynamic\x20designer\x20cannot\x20be\x20split\x20out\x20of\x20one\x20contest\x20order\x20—\x20the\x20honest\x20answer\x20is\x20one\x20sponsor\x20order\x20per\x20prize\x20level\x20(a\x20multi-prize\x20contest\x20is\x20several\x20orders).\x20This\x20is\x20a\x20composition-truth\x20limit,\x20not\x20a\x20missing\x20feature;\x20disclosed\x20verbatim\x20in\x20the\x20corpus.','disclosureProbe':'MULTI-PLACE\x20LIMITATION|NOT\x20expressible','evidence':[{'file':'allocation.move','line':0x1af,'pattern':'assert!(total_rate\x20==\x2010000,\x20ERATE_NOT_10000)'}]},{'id':'E9','class':'exception','name':'Entry-write\x20authorship\x20residual:\x20rows\x20are\x20self-asserted\x20content','actor':'platform','precondition':['M4'],'onchain':'disclosure_only','commercialSemantics':'The\x20entry\x20guard\x20proves\x20the\x20SIGNER\x20owns\x20the\x20row,\x20not\x20that\x20the\x20design\x20is\x20original\x20or\x20even\x20the\x20signer\x27s\x20own\x20work\x20(the\x20W5-13\x20honesty\x20rewrite\x20softened\x20the\x20old\x20tautological\x20purpose,\x20but\x20the\x20residual\x20—\x20authorship\x20is\x20unverifiable\x20on\x20chain,\x20filtering\x20is\x20judge\x20discretion\x20—\x20is\x20phrased\x20only\x20in\x20the\x20guard\x20purpose,\x20which\x20never\x20reaches\x20the\x20disclosure\x20corpus).\x20Strict\x20probe:\x20this\x20stays\x20disclosure_missing,\x20blocking\x20publish,\x20until\x20a\x20build_note\x20discloses\x20the\x20residual.','disclosureProbe':'SELF-ASSERTED|self-asserted|unverified\x20self-assertion|authorship','evidence':[]},{'id':'E1','class':'remedy','name':'AppealPlacement:\x20a\x20losing\x20entrant\x20contests\x20the\x20provisional\x20placement','actor':'fulfiller','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'placement_appealed','forward':'AppealPlacement','prev':'placement_provisional','identity':'signer','moneyEffect':'none'},'commercialSemantics':'Within\x20appeal_window_days\x20a\x20losing\x20entrant\x20files\x20a\x20contest\x20(the\x20appeal_filed\x20evidence\x20row\x20is\x20the\x20standing\x20proof,\x20drawn\x20from\x20their\x20entry\x20row\x20via\x20the\x20shared\x20Repository\x20infra).\x20The\x20appeal\x20is\x20the\x20single-judge-ranking\x20check:\x20no\x20finalization\x20(M7)\x20can\x20pass\x20while\x20an\x20appeal\x20is\x20open.','guardKeyProbe':'appeal_filed','evidence':[{'file':'repository.move','line':0x219,'pattern':'fun\x20data_add_imp'}]},{'id':'E2','class':'remedy','name':'PlacementUpheld:\x20the\x20appeal\x20resolves\x20and\x20the\x20placement\x20commits\x20(CURED\x20at\x20v204)','actor':'platform','precondition':['E1'],'onchain':'expressible','chainFootprint':{'node':'placement_final','forward':'PlacementUpheld','prev':'placement_appealed','guardLegs':['appeal_dismissed'],'identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'CURED\x20at\x20v204\x20(stage2\x20#21,\x20the\x20R7\x20re-gate):\x20the\x20formerly\x20bare\x20permission_index\x201001\x20edge\x20now\x20carries\x20guard_key\x20appeal_dismissed\x20bound\x20to\x20tpl_forward_arb_ruling_dismissed\x20—\x20the\x20placement\x20commits\x20ONLY\x20on\x20a\x20venue-heard,\x20concluded,\x20zero-award\x20ruling\x20(arb.order\x20==\x20order\x20AND\x20indemnity.amount\x20==\x200\x20fail-closed\x20AND\x20the\x20claimed_by\x20conclude\x20stamp\x20AND\x20the\x20venue\x20leg).\x20The\x20appealed\x20judge\x20can\x20no\x20longer\x20self-uphold\x20past\x20a\x20pending\x20appeal;\x20the\x20keeper\x20drives\x20this\x20edge\x20AFTER\x20concluding\x20the\x20case\x20(4R-03b).\x20AMBIGUOUS-POLARITY\x20residual\x20disclosed\x20in\x20the\x20corpus:\x20an\x20upheld\x20ruling\x20that\x20ALSO\x20carries\x20an\x20award\x20opens\x20none\x20of\x20the\x20three\x20rails\x20(dismissed\x20requires\x20amount\x20==\x200,\x20won\x20is\x20wired\x20to\x20the\x20refund\x20terminal)\x20—\x20the\x20keeper\x20routes\x20it\x20to\x20manual\x20reconciliation;\x20rare,\x20disclosed.','evidence':[]},{'id':'E3','class':'remedy','name':'Placement\x20overturned:\x20the\x20ruling\x20re-opens\x20judging\x20for\x20a\x20re-record\x20(CURED\x20at\x20v204)','actor':'platform','precondition':['E1'],'onchain':'expressible','chainFootprint':{'node':'judging','forward':'Rejudge','prev':'placement_appealed','guardLegs':['appeal_overturned'],'moneyEffect':'none'},'commercialSemantics':'The\x20overturned\x20re-record\x20rail\x20SHIPS\x20(v204,\x20stage2\x20#21):\x20placement_appealed\x20->\x20judging,\x20forward\x20Rejudge,\x20judge\x20slot\x201001,\x20guarded\x20by\x20tpl_forward_arb_ruled_state\x20(the\x20new\x20DIRECTION-AGNOSTIC\x20root:\x20arb.order\x20==\x20order\x20+\x20the\x20claimed_by\x20consume\x20stamp\x20+\x20the\x20venue\x20leg\x20—\x20deliberately\x20no\x20indemnity\x20legs,\x20because\x20a\x20zero-award\x20overturn\x20is\x20a\x20legitimate\x20re-record\x20trigger\x20where\x20the\x20won/dismissed\x20polarity\x20legs\x20would\x20both\x20fail,\x20and\x20deliberately\x20no\x20arb.status\x20leg,\x20the\x20TRANSIENT-STATE\x20TRAP).\x20The\x20judge\x20re-records\x20via\x20placement_write\x20—\x20the\x20F-20\x20dual\x20write\x20moment\x20is\x20already\x20the\x20shipped\x20write-window\x20truth,\x20no\x20window\x20change\x20was\x20needed.\x20Loop\x20bound:\x20reentry_kind\x20review-loop\x20on\x20judging;\x20every\x20cycle\x20must\x20pass\x20a\x20FRESH\x20appeal\x20(entry-row\x20presence\x20+\x20the\x20closing\x20appeal\x20window).','evidence':[]},{'id':'R1','class':'remedy','name':'Refund\x20rail:\x20closed_cancel\x20/\x20voided\x20exits\x20plus\x20the\x20T-5\x20sponsor-return\x20track','actor':'buyer','precondition':['E5'],'onchain':'expressible','chainFootprint':{'node':'refunded','moneyEffect':'refund'},'commercialSemantics':'The\x20refundable\x20set\x20{closed_cancel,\x20voided,\x20refunded}\x20is\x20node-disjoint\x20from\x20the\x20prize\x20rail:\x20a\x20refund\x20and\x20a\x20claimed\x20prize\x20can\x20never\x20both\x20fire,\x20and\x20an\x20approved\x20return\x20voids\x20only\x20the\x20winner\x27s\x20UNCLAIMED\x20prize.\x20The\x20T-5\x20rail\x20adds\x20the\x20post-settlement\x20track:\x20sponsor\x20files\x20within\x20return_window_days,\x20merchant\x20approves,\x20or\x20merchant\x20silence\x20past\x20return_response_days\x20DEEMS\x20it\x20approved\x20and\x20the\x20keeper\x20fires\x20the\x20rail\x20(ReturnDeemedApproved\x20then\x20the\x20refund)\x20—\x20a\x20silent\x20merchant\x20cannot\x20hold\x20the\x20escrow\x20hostage.','evidence':[{'file':'allocation.move','line':0x26d,'pattern':'assert!(*option::borrow(&binding)\x20==\x20submitted,\x20ERECIPIENT_NOT_FOR_OBJECT)'}]},{'id':'R2','class':'remedy','name':'Deleted\x20recover\x20sweep\x20(C-6\x20subsumption;\x20T-5\x20return\x20rail\x20is\x20the\x20successor)','actor':'platform','precondition':['M12'],'onchain':'not_applicable','commercialSemantics':'The\x20generic\x20mid-flight\x20recover\x20sweep\x20is\x20deleted\x20as\x20fully\x20subsumed\x20(every\x20terminal\x20kept\x20exactly\x20one\x20exit).\x20Successor\x20semantics\x20are\x20the\x20explicit\x20T-5\x20track:\x20return_requested\x20->\x20ApproveReturn\x20/\x20ReturnDeemedApproved\x20->\x20refunded,\x20node-disjoint\x20from\x20the\x20prize\x20rail\x20and\x20window-anchored\x20on\x20the\x20first\x20settled\x20entry.','evidence':[]},{'id':'R3','class':'remedy','name':'Arbitration\x20award\x20executes:\x20compensation\x20fund\x20pays\x20the\x20order\x20owner\x20(capped\x203x)','actor':'arbitrator','precondition':['E6'],'onchain':'expressible','chainFootprint':{'node':'placement_appealed','moneyEffect':'compensate'},'commercialSemantics':'A\x20placement\x20ruling\x20that\x20favors\x20the\x20contesting\x20entrant\x20pays\x20the\x20sponsor\x20(order\x20owner)\x20through\x20the\x20compensation\x20fund,\x20capped\x20at\x20MAX_INDEMNITY_MULTIPLE\x20(3)\x20x\x20the\x20order\x27s\x20value\x20basis,\x20while\x20the\x20prize\x20escrow\x20exits\x20via\x20the\x20winner\x20rail\x20only\x20after\x20a\x20legitimate\x20re-placement.\x20The\x20contested\x20order\x20rests\x20at\x20placement_appealed\x20while\x20the\x20case\x20runs.','evidence':[{'file':'arb.move','line':0x21d,'pattern':'let\x20cap\x20=\x20u64::saturating_mul(indemnity_cap_base'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'R4','class':'remedy','name':'The\x20compensation\x20fund\x20cannot\x20indemnify\x20a\x20DESIGNER\x20(fund\x20asymmetry)','actor':'platform','precondition':['R3'],'onchain':'unresolvable','unresolvableRef':'S4','commercialSemantics':'The\x20ruling\x20payout\x20path\x20pays\x20the\x20ORDER\x20OWNER\x20(the\x20sponsor)\x20only\x20—\x20there\x20is\x20no\x20on-chain\x20path\x20for\x20the\x20compensation\x20fund\x20to\x20indemnify\x20a\x20designer\x20wronged\x20by,\x20say,\x20a\x20plagiarized\x20winning\x20entry\x20that\x20outlived\x20the\x20appeal\x20window.\x20Disclosed\x20honestly\x20in\x20the\x20corpus;\x20designers\x27\x20protection\x20is\x20the\x20appeal\x20window\x20plus\x20the\x20placement\x20Signer-binding,\x20not\x20the\x20fund.','disclosureProbe':'COMPENSATION\x20FUND\x20LIMITATION|indemnify\x20a\x20DESIGNER','evidence':[{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'R5','class':'remedy','name':'Arbitration\x2030-day\x20silence\x20=\x20acceptance\x20(case-fee\x20release\x20window)','actor':'platform','precondition':['R3'],'onchain':'not_applicable','commercialSemantics':'Protocol-level\x20arb-object\x20finality\x20(WITHDRAW_DURATION_TIME,\x20silence\x20treated\x20as\x20acceptance)\x20releasing\x20the\x20case\x20fee.\x20Contest\x20rails\x20key\x20on\x20ruling\x20state\x20directly,\x20so\x20the\x20window\x20never\x20touches\x20the\x20machine\x20path\x20—\x20no\x20footprint\x20to\x20encode.','evidence':[]},{'id':'R6','class':'remedy','name':'Ruling-won\x20reroute:\x20an\x20arb\x20award\x20re-routes\x20the\x20prize\x20(CURED\x20at\x20v204)','actor':'arbitrator','precondition':['R3'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'placement_appealed','guardLegs':['arb_refund_award'],'moneyEffect':'refund'},'commercialSemantics':'The\x20sponsor-won-ruling\x20rail\x20SHIPS\x20(v204,\x20stage2\x20#21):\x20placement_appealed\x20->\x20closed_cancel,\x20forward\x20ArbRefund,\x20operator\x20merchant\x20on\x20the\x20DEDICATED\x20refund-rail\x20slot\x201004\x20(the\x20N12\x20ruling-executor\x20bucket\x20—\x20the\x20two-slot\x20arb\x20root\x20has\x20no\x20signer\x20identity\x20leg,\x20so\x20the\x20executor\x20needs\x20the\x20RULING,\x20not\x20a\x20disputing\x20signature),\x20guarded\x20by\x20tpl_forward_arb_ruling_won\x20(canonical\x20two-slot\x20root:\x20arb.order\x20==\x20order\x20AND\x20indemnity\x20some/!=\x200\x20AND\x20claimed_by\x20stamp\x20AND\x20the\x20venue\x20leg).\x20The\x20award\x20rides\x20the\x20SAME\x20closed_cancel\x20refund\x20rail\x20pre-submission\x20cancellation\x20pays\x20—\x20no\x20second\x20allocator,\x20and\x20the\x20refund/prize\x20mutual\x20exclusion\x20holds\x20by\x20node\x20reachability\x20(D-BUG-2).\x20At\x20placement_appealed\x20the\x20prize\x20has\x20not\x20settled,\x20so\x20the\x20rail\x20pays\x20the\x20sponsor\x20in\x20full.\x20The\x20kernel\x20N1\x20auto-sizes\x20the\x20compensation\x20pool\x20(3x\x20the\x20largest\x20prize\x20tier);\x20an\x20unfunded\x20won-mount\x20hard-blocks\x20at\x20compile.\x20min_indemnity_floor\x20stays\x200\x20=\x20no\x20award\x20floor,\x20DISCLOSED\x20(the\x20freelance-family\x20floor-0\x20posture).','evidence':[]},{'id':'R7','class':'remedy','name':'Dismissed-ruling\x20resume:\x20re-gate\x20PlacementUpheld\x20behind\x20a\x20real\x20ruling\x20(CURED\x20at\x20v204)','actor':'arbitrator','precondition':['E2'],'onchain':'expressible','chainFootprint':{'node':'placement_final','forward':'PlacementUpheld','prev':'placement_appealed','guardLegs':['appeal_dismissed'],'moneyEffect':'none'},'commercialSemantics':'CURED\x20at\x20v204\x20(stage2\x20#21)\x20—\x20landing\x20form\x20differs\x20from\x20this\x20oracle\x27s\x20original\x20sketch\x20by\x20design:\x20a\x20design-contest\x20appeal\x20runs\x20BEFORE\x20the\x20placement\x20commits\x20(unlike\x20the\x20holdback\x20shapes\x20where\x20a\x20dismissed\x20claim\x20resumes\x20a\x20committed\x20payout),\x20so\x20the\x20dismissed-root\x20leg\x20re-gates\x20the\x20EXISTING\x20PlacementUpheld\x20commit\x20edge\x20(tpl_forward_arb_ruling_dismissed,\x20key\x20appeal_dismissed)\x20instead\x20of\x20mounting\x20a\x20separate\x20ResumeAfterDismissal\x20edge\x20to\x20the\x20pre-dispute\x20node\x20—\x20committing\x20on\x20a\x20venue-heard\x20zero-award\x20ruling\x20IS\x20the\x20dismissal\x20semantics\x20here.\x20See\x20E2\x20for\x20the\x20cured\x20step;\x20the\x20zero-award\x20overturn\x20(the\x20appellant\x20WON\x20with\x20no\x20damages)\x20rides\x20the\x20Rejudge\x20ruled-state\x20rail,\x20not\x20this\x20one.','evidence':[]},{'id':'R8','class':'remedy','name':'Claim\x20withdrawal\x20/\x20off-chain\x20settlement\x20escape\x20(CURED\x20at\x20v204)\x20(BANNED\x20-\x20D2\x20no-withdraw\x20doctrine:\x20a\x20filed\x20claim\x20reaches\x20a\x20RULING\x20instead)','actor':'buyer','precondition':['E1'],'onchain':'not_applicable','chainFootprint':{'node':'placement_provisional','prev':'placement_appealed','guardLegs':['withdraw_claim_appeal'],'identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20withdrawal\x20escape\x20SHIPS\x20(v204,\x20stage2\x20#21):\x20placement_appealed\x20->\x20placement_provisional,\x20forward\x20WithdrawClaim,\x20order_payer,\x20guarded\x20by\x20pattern.identity_check_order_holder\x20(signer\x20==\x20order\x20owner\x20—\x20the\x20TPL-09\x20idiom\x20the\x20freelance\x20family\x20ships).\x20Zero\x20money\x20moves\x20(moneyEffect\x20none\x20—\x20this\x20oracle\x27s\x20original\x20\x27refund\x27\x20sketch\x20over-promised;\x20the\x20window\x20state\x20is\x20UNTOUCHED,\x20which\x20is\x20the\x20whole\x20point)\x20and\x20the\x20re-entry\x20re-arms\x20the\x20appeal\x20window\x20(find=last),\x20so\x20re-contesting\x20stays\x20possible\x20WITHIN\x20the\x20window\x20—\x20disclosed\x20intended\x20semantics,\x20never\x20a\x20second\x20prize\x20bite.\x20Identity-only,\x20case-unbound\x20(the\x20E17\x20family\x20posture;\x20if\x20an\x20Arb\x20case\x20was\x20already\x20filed\x20its\x20fee\x20recovery\x20follows\x20the\x20venue\x27s\x20rules).\x20NOTE:\x20a\x202026-11-08\x20Move-side\x20draft\x20that\x20would\x20have\x20removed\x20dispute\x20WITHDRAWAL\x20on\x20the\x20ARBITRATION\x20object\x20was\x20FULLY\x20REVERTED\x20before\x20shipping\x20—\x20no\x20on-chain\x20trace;\x20the\x20machine-layer\x20WithdrawClaim\x20forward\x20is\x20a\x20different\x20primitive\x20(no\x20arb_withdraw\x20call)\x20and\x20was\x20never\x20affected\x20either\x20way.','evidence':[]},{'id':'P1','class':'post','name':'Copyright\x20/\x20IP\x20transfer\x20writing\x20for\x20the\x20winning\x20design','actor':'buyer','precondition':['M12'],'onchain':'not_applicable','commercialSemantics':'Full\x20copyright\x20assignment\x20happens\x20with\x20the\x20final\x20handover\x20(documents\x20off\x20chain);\x20the\x20on-chain\x20placement\x20record\x20evidences\x20WHO\x20won,\x20never\x20the\x20transfer\x20itself.\x20No\x20IP-registry\x20anchor\x20exists,\x20so\x20the\x20writing\x20step\x20is\x20honestly\x20out\x20of\x20scope.','evidence':[]},{'id':'P2','class':'post','name':'60-day\x20money-back\x20guarantee\x20(the\x20T-5\x20sponsor-return\x20rail)','actor':'buyer','precondition':['M10'],'onchain':'expressible_with_gap','chainFootprint':{'node':'return_requested','forward':'RequestReturn','prev':'settled','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'T-5\x20turns\x20the\x20incumbent-style\x20money-back\x20promise\x20into\x20an\x20explicit\x20rail:\x20the\x20sponsor\x20files\x20within\x20return_window_days\x20of\x20the\x20FIRST\x20settlement\x20(find=first,\x20re-entry-immune),\x20first-come-first-served\x20against\x20the\x20winner\x27s\x20prize\x20claim;\x20merchant\x20approval\x20or\x20deemed\x20approval\x20(silence\x20past\x20return_response_days)\x20fires\x20the\x20refund,\x20which\x20voids\x20the\x20winner\x27s\x20UNCLAIMED\x20prize.\x20The\x20guarantee\x27s\x20edges\x20are\x20the\x20pre-submission\x20void,\x20the\x20judged\x20no-valid-entry\x20void\x20and\x20this\x20explicit\x20rail\x20—\x20anything\x20reading\x20the\x20stale\x20\x27only\x20no-payout\x20exits\x27\x20prose\x20would\x20miss\x20the\x20T-5\x20leg.','guardKeyProbe':'return_window','gapPredicate':{'probe':'no-payout\x20exits\x20are\x20a\x20pre-submission\x20void'},'evidence':[]},{'id':'P3','class':'post','name':'Designer\x20level\x20fee\x20tiers\x20abolished\x20(0%\x20commission\x20is\x20machine-checkable)','actor':'platform','precondition':['M12'],'onchain':'disclosure_only','commercialSemantics':'The\x20incumbent\x27s\x20designer\x20level\x20determines\x20their\x20commission\x20(e.g.\x205-15%\x20by\x20rank/analytics\x20gates).\x20WoWok\x20takes\x20nothing:\x20commission_rate_bps\x20=\x200\x20and\x20is\x20NOT\x20a\x20placeholder,\x20expressed\x20as\x20on-chain\x20allocator\x20configuration\x20so\x20the\x20take-rate\x20is\x20machine-checkable.\x20A\x20contest\x20aggregator\x20MAY\x20charge\x20its\x20own\x20explicit\x20fee\x20under\x20the\x20disclosed\x20constraints\x20(explicit\x20number,\x20explicit\x20non-empty\x20recipient,\x20no\x20mandatory\x20transit\x20pool,\x20never\x20by\x20shrinking\x20the\x20winner\x27s\x20leg).','disclosureProbe':'WoWok\x20extracts\x20nothing|takes\x20no\x20platform\x20commission','evidence':[]},{'id':'P4','class':'post','name':'Designer\x20reputation\x20rides\x20the\x20placement\x20record,\x20not\x20a\x20star-review','actor':'platform','precondition':['M12'],'onchain':'disclosure_only','commercialSemantics':'T-4\x27s\x20honest\x20split:\x20the\x20sponsor\x27s\x20RATING\x20rides\x20the\x20review\x20bounty\x20rail\x20(money-side\x20incentive),\x20while\x20the\x20DESIGNER\x27s\x20reputation\x20still\x20rides\x20the\x20judge\x27s\x20on-chain\x20placement\x20record\x20(a\x20win\x20is\x20a\x20win,\x20tamper-evident\x20in\x20progress\x20history).\x20Level\x20systems\x20and\x20portfolio\x20badges\x20are\x20off-chain\x20consumers\x20of\x20that\x20record\x20—\x20the\x20disclosure\x20makes\x20which\x20side\x20of\x20T-4\x20feeds\x20reputation\x20explicit.','disclosureProbe':'reputation\x20still\x20rides|placement\x20record','evidence':[]},{'id':'P5','class':'post','name':'Contest-to-direct-work\x20conversion\x20(hire\x20the\x20winner\x20for\x20follow-on\x20jobs)','actor':'buyer','precondition':['M12'],'onchain':'not_applicable','commercialSemantics':'The\x20real\x20product\x20converts\x20winners\x20into\x20direct\x20clients.\x20On\x20WoWok\x20the\x20follow-on\x20is\x20simply\x20a\x20NEW\x20order\x20(agent-task\x20or\x20direct\x20service)\x20with\x20the\x20same\x20counterparty\x20—\x20no\x20template\x20bridge\x20exists,\x20so\x20the\x20conversion\x20is\x20an\x20off-chain\x20commercial\x20decision.','evidence':[]},{'id':'P6','class':'post','name':'Safe\x20harbor\x20—\x20no\x20IP\x20warranty\x20on\x20submitted\x20designs','actor':'platform','precondition':['M12'],'onchain':'disclosure_only','commercialSemantics':'The\x20sponsor\x20judges\x20originality\x20and\x20takes\x20delivery\x20of\x20design\x20files\x20—\x20the\x20machine\x20enforces\x20the\x20prize\x20escrow\x20and\x20the\x20placement\x20ruling\x20only;\x20no\x20IP\x20warranty,\x20no\x20originality\x20guarantee\x20and\x20no\x20indemnity\x20beyond\x20the\x20prize\x20pool\x20+\x20the\x203x\x20award\x20cap\x20ride\x20on\x20chain,\x20and\x20third-party\x20IP\x20claims\x20over\x20a\x20submitted\x20design\x20stay\x20an\x20off-chain\x20matter\x20between\x20sponsor\x20and\x20entrant.','disclosureProbe':'SAFE\x20HARBOR\x20IS\x20A\x20DISCLOSURE','evidence':[]}],'invariants':[{'id':'INV-N1','statement':'A\x20guaranteed-prize\x20contest\x20must\x20keep\x20its\x20judge-ruled\x20no-valid-entry\x20exit:\x20with\x20the\x20prize\x20locked\x20at\x20buy,\x20removing\x20the\x20VoidNoEntry\x20edge\x20strands\x20a\x20real-entries\x20contest\x20whose\x20judge\x20legitimately\x20finds\x20no\x20valid\x20entry.','jurisdiction':'99designs\x20guaranteed-contest\x20terms;\x20EU\x20consumer\x20lock-in\x20fairness\x20norms.','chainConflict':'Standing\x20check:\x20the\x20shipped\x20shape\x20carries\x20judged\x20->\x20voided\x20(no_valid_entry-gated,\x20slot\x201001)\x20as\x20the\x20only\x20post-close\x20sponsor\x20exit\x20besides\x20the\x20prize.\x20Removing\x20the\x20forward\x20while\x20any\x20contest\x20is\x20live\x20re-fires\x20this\x20invariant.','violation':{'whileMissingForward':'VoidNoEntry'}},{'id':'INV-N2','statement':'Silence\x20cannot\x20withhold\x20a\x20guaranteed\x20prize:\x20the\x20delivery-window\x20auto-accept\x20must\x20exist\x20so\x20a\x20winner\x20who\x20delivered\x20is\x20paid\x20without\x20the\x20sponsor\x27s\x20cooperation.','jurisdiction':'99designs\x20guaranteed-award\x20terms;\x20EU\x20Directive\x202011/83\x20consumer\x20silence\x20rules.','chainConflict':'Standing\x20check:\x20the\x20shipped\x20shape\x20carries\x20keeper-driven\x20final_delivery\x20->\x20AutoAcceptByKeeper\x20->\x20settled\x20on\x20the\x20delivery_window\x20clock\x20(find=last\x20anchored\x20on\x20the\x20final-files\x20entry).\x20Removing\x20the\x20forward\x20converts\x20the\x20guaranteed\x20award\x20into\x20an\x20option,\x20re-firing\x20this\x20invariant.','violation':{'whileMissingForward':'AutoAcceptByKeeper'}},{'id':'INV-N3','statement':'The\x20deemed-approval\x20clock\x20must\x20pair\x20with\x20its\x20edge:\x20promising\x20return_response_days\x20implies\x20the\x20ReturnDeemedApproved\x20keeper\x20forward\x20exists\x20—\x20a\x20clock\x20without\x20the\x20edge\x20holds\x20the\x20escrow\x20hostage\x20at\x20return_requested\x20forever.','jurisdiction':'T-5\x20money-back\x20terms;\x20deemed-acceptance\x20doctrine\x20(silence\x20as\x20approval\x20requires\x20an\x20operational\x20mechanism).','chainConflict':'Standing\x20check:\x20the\x20shipped\x20shape\x20pairs\x20return_response_days\x20=\x203\x20with\x20the\x20return_requested\x20->\x20ReturnDeemedApproved\x20->\x20refunded\x20edge\x20on\x20the\x20return-request\x20timestamp.\x20Zeroing\x20the\x20parameter\x20or\x20removing\x20the\x20forward\x20desynchronizes\x20the\x20pair\x20and\x20re-fires\x20this\x20invariant.','violation':{'requiresFeeParamNonZero':'return_response_days','whileMissingForward':'ReturnDeemedApproved'}},{'id':'INV-N4','statement':'Single-winner-takes-prize\x20is\x20a\x20chain\x20constraint\x20(one\x20tx\x20sender,\x20Rate-10000\x20drain):\x20multi-prize\x20contests\x20are\x20MULTIPLE\x20orders,\x20and\x20any\x20\x27second\x20place\x27\x20leg\x20inside\x20one\x20order\x20is\x20structurally\x20impossible.\x20The\x20re-record\x20half\x20was\x20CURED\x20at\x20v204\x20(the\x20Rejudge\x20ruled-state\x20rail\x20ships,\x20E3)\x20—\x20this\x20invariant\x20now\x20tracks\x20ONLY\x20the\x20multi-prize\x20face.','jurisdiction':'Contest-law\x20prize\x20mechanics;\x20template\x20wiki\x20FIX-EDGE\x20finding\x20(the\x20zero-arb-rails\x20+\x20missing-judging-re-entry\x20half\x20is\x20resolved;\x20multi-prize\x20single-order\x20stays\x20structurally\x20impossible).','chainConflict':'One\x20structural\x20truth\x20remains:\x20the\x20allocator\x20math\x20makes\x20a\x20runner-up\x20share\x20inside\x20one\x20order\x20inexpressible\x20(E8)\x20—\x20a\x20multi-prize\x20contest\x20must\x20be\x20multiple\x20orders.\x20The\x20second\x20half\x20(the\x20absent\x20Rejudge\x20re-entry\x20edge\x20/\x20bare\x20PlacementUpheld\x20defect)\x20was\x20CURED\x20at\x20v204,\x20stage2\x20#21:\x20placement_appealed\x20now\x20carries\x20four\x20ruling-gated\x20exits\x20(PlacementUpheld\x20dismissed-root\x20/\x20Rejudge\x20ruled-state\x20/\x20ArbRefund\x20won-root\x20/\x20WithdrawClaim\x20identity-only),\x20kept\x20here\x20as\x20a\x20standing\x20regression\x20check\x20on\x20the\x20mounted\x20rails.','evidence':[{'file':'allocation.move','line':0x1af,'pattern':'assert!(total_rate\x20==\x2010000,\x20ERATE_NOT_10000)'},{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]}]};

package/dist/knowledge/path-oracle/products/pinduoduo-kuaituantuan.js

@@ -1 +1 @@
-export const PINDUODUO_KUAITUANTUAN_ORACLE={'productRef':'pinduoduo-kuaituantuan','products':['pinduoduo-kuaituantuan','qunjielong'],'oracleVersion':'1.0.0','steps':[{'id':'M1','class':'offchain','name':'Discover\x20the\x20round\x20via\x20the\x20WeChat\x20community\x20share','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Group\x20share\x20and\x20broadcast\x20are\x20the\x20product\x27s\x20only\x20reach\x20channel\x20—\x20private-domain\x20tooling.\x20There\x20is\x20no\x20community\x20broadcast\x20primitive\x20on\x20chain,\x20and\x20the\x20messenger\x20carries\x20only\x20in-order\x20evidence,\x20never\x20recruitment.','evidence':[]},{'id':'M2','class':'offchain','name':'Leader\x20opens\x20the\x20round:\x20funding\x20goal,\x20absolute\x20deadline,\x20pledge\x20price,\x20tool\x20fee','actor':'merchant','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'The\x20round\x20parameters\x20are\x20build-time\x20inputs:\x20the\x20funding\x20goal\x20and\x20the\x20absolute\x20epoch-ms\x20deadline\x20feed\x20the\x20threshold\x20guards,\x20the\x20pledge\x20price\x20is\x20locked\x20at\x20listing,\x20and\x20the\x20tool\x20fee\x20defaults\x20to\x20zero\x20under\x20the\x20direct-sales\x20doctrine.\x20The\x20deadline\x20must\x20be\x20passed\x20explicitly\x20—\x20a\x20zero\x20deadline\x20is\x20hard-blocked\x20at\x20compile.','evidence':[]},{'id':'M3','class':'main','name':'Pledge\x20=\x20pay:\x20full\x20escrow\x20in\x20the\x20order\x27s\x20own\x20unpooled\x20allocation\x20+\x20order-keyed\x20contribution\x20row','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'Paying\x20IS\x20joining\x20the\x20group:\x20each\x20pledge\x20is\x20escrowed\x20in\x20its\x20own\x20allocation\x20bound\x20to\x20that\x20buyer\x27s\x20order,\x20never\x20pooled,\x20and\x20a\x20contribution\x20row\x20keyed\x20by\x20the\x20order\x20address\x20lands\x20in\x20the\x20round\x20ledger.\x20Attribution\x20survives\x20every\x20later\x20outcome\x20—\x20a\x20missed\x20round\x20refunds\x20each\x20pledger\x20their\x20own\x20money.','evidence':[{'file':'service.move','line':0x1c9,'pattern':'public\x20fun\x20buy<T>'},{'file':'allocation.move','line':0xda,'pattern':'enum\x20Recipient'}]},{'id':'M4','class':'main','name':'Round\x20progress\x20visible\x20—\x20pledger\x20count,\x20countdown,\x20aggregate','actor':'platform','precondition':['M3'],'onchain':'disclosure_only','disclosureProbe':'never\x20present\x20the\x20aggregate\x20as\x20chain-verified\x20custody','commercialSemantics':'The\x20funding\x20total\x20is\x20a\x20chain-computed\x20escrow-bound\x20sum\x20over\x20the\x20order-keyed\x20row\x20roster\x20—\x20it\x20is\x20not\x20a\x20custody\x20proof,\x20and\x20the\x20ghost-row\x20residual\x20(refunded\x20rows\x20counting\x20until\x20zeroed)\x20is\x20disclosed\x20with\x20the\x20live\x20cap\x20that\x20already\x20clamps\x20drained\x20rows\x20to\x20zero\x20on\x20chain.','evidence':[{'file':'repository.move','line':0x36,'pattern':'E_POLICY_WRITE_GUARD_REQUIRED'}]},{'id':'M5','class':'main','name':'Deadline\x20passes\x20with\x20the\x20goal\x20met:\x20ThresholdMet\x20fires\x20—\x20release\x20POLARITY\x20only,\x20no\x20money\x20moves','actor':'keeper','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'threshold_settled','forward':'ThresholdMet','prev':'paid','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20deadline\x20gate\x20reads\x20the\x20escrow-bound\x20all-mode\x20aggregate\x20plus\x20the\x20live-escrow\x20leg,\x20on\x20the\x20shared\x20absolute\x20timestamp.\x20Zero\x20money\x20moves\x20here\x20by\x20design:\x20releasing\x20at\x20the\x20deadline\x20would\x20hand\x20the\x20leader\x20cash\x20before\x20any\x20goods\x20exist,\x20so\x20the\x20settlement\x20leg\x20waits\x20for\x20completed.','guardKeyProbe':'threshold_release','evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'M6','class':'main','name':'Leader\x20sources\x20the\x20goods\x20off-chain\x20—\x20chain\x20footprint\x20is\x20the\x20sourcing\x20evidence\x20row','actor':'merchant','precondition':['M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'sourcing','forward':'SourceGoods','prev':'threshold_settled','identity':'named_operator','moneyEffect':'none'},'commercialSemantics':'Between\x20deadline\x20and\x20settlement\x20the\x20leader\x20spends\x20their\x20OWN\x20money\x20with\x20suppliers;\x20the\x20chain\x20sees\x20only\x20the\x20write-once\x20evidence\x20row.\x20The\x20gap\x20is\x20structural:\x20there\x20is\x20no\x20supplier\x20sub-order\x20or\x20derived-escrow\x20primitive,\x20so\x20the\x20pledge\x27s\x20leverage\x20is\x20the\x20escrow\x20itself\x20—\x20your\x20money\x20releases\x20only\x20after\x20goods\x20arrive\x20and\x20the\x20claim\x20window\x20shuts.','guardKeyProbe':'sourcing_evidence','gapPredicate':{'probe':'the\x20leader\x20fronts\x20the\x20procurement'},'evidence':[{'file':'repository.move','line':0x3c,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'M7','class':'main','name':'Leader\x20distributes\x20to\x20the\x20community\x20point\x20or\x20ships\x20parcels\x20(distribution\x20evidence\x20row)','actor':'merchant','precondition':['M6'],'onchain':'expressible_with_gap','chainFootprint':{'node':'delivered','forward':'DistributeGoods','prev':'sourcing','identity':'named_operator','moneyEffect':'none'},'commercialSemantics':'The\x20leader\x20can\x20fire\x20this\x20edge\x20alone:\x20the\x20writer-bound\x20distribution\x20row\x20proves\x20the\x20signer,\x20not\x20the\x20handover.\x20The\x20buyers\x27\x20structural\x20hedge\x20is\x20the\x20serial\x20window\x27s\x20min-hold,\x20the\x20after-sales\x20window\x20and\x20third-party\x20arbitration\x20—\x20the\x20residual\x20itself\x20is\x20disclosed\x20only\x20on\x20the\x20shape\x20role,\x20and\x20the\x20gap\x20probe\x20is\x20strict\x20and\x20expected\x20to\x20MISS\x20until\x20it\x20reaches\x20the\x20corpus.','guardKeyProbe':'distribution_evidence','gapPredicate':{'probe':'distribution\x20evidence\x20is\x20self-declared'},'evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'M8','class':'main','name':'Neighbor\x20collects\x20—\x20dual\x20confirmation\x20(buyer\x20254-identity\x20+\x20staff\x27s\x20writer-bound\x20receipt\x20row)','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ConfirmReceipt','prev':'sourcing','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Neither\x20party\x20alone\x20advances:\x20the\x20neighbor\x27s\x20identity\x20confirm\x20AND\x20the\x20staff\x27s\x20order-keyed\x20redemption\x20row\x20must\x20both\x20exist,\x20and\x20each\x20evidence\x20kind\x20owns\x20its\x20own\x20policy\x20so\x20stage\x20rows\x20can\x20never\x20substitute\x20for\x20the\x20receipt\x20row.','guardKeyProbe':'deliver_confirm','evidence':[{'file':'progress.move','line':0x48,'pattern':'TASK_BINDING_IDENTIFIER:\x20u8\x20=\x20254'}]},{'id':'M9','class':'main','name':'Serial\x20claim\x20window\x20opens\x20(keeper\x20slot,\x20min-hold\x20after\x20the\x20delivered\x20entry)','actor':'keeper','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'claim_window','forward':'OpenClaimWindow','prev':'delivered','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20dispute\x20clock\x20cannot\x20start\x20at\x20the\x20instant\x20of\x20delivery:\x20an\x20opening\x20min-hold\x20gives\x20a\x20goods-in-transit\x20neighbor\x20a\x20day\x20before\x20filing\x20and\x20settlement\x20clocks\x20begin.\x20Four\x20exits\x20hang\x20off\x20the\x20window\x20—\x20file,\x20settle,\x20return\x20request,\x20shortfall\x20report.','guardKeyProbe':'claim_window_open','evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'M10','class':'main','name':'Settle\x20after\x20the\x20window:\x20leader\x20leg\x20(complement\x20of\x20the\x20tool\x20fee)\x20+\x20platform\x20tool-fee\x20leg\x20+\x20rate-0\x20order\x20anchor','actor':'keeper','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'SettleAfterWindow','prev':'claim_window','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'Settlement\x20is\x20deliberately\x20slower\x20than\x20the\x20real\x20product\x27s\x20instant\x20leader\x20payout\x20—\x20the\x20escrow-through-fulfillment\x20shape\x20buys\x20goods-before-money\x20at\x20the\x20cost\x20of\x20hours-scale\x20settlement.\x20The\x20leader\x27s\x20sourcing\x20outlay\x20plus\x20margin\x20comes\x20back\x20inside\x20this\x20single\x20disclosed\x20leg;\x20the\x20tool\x20fee\x20defaults\x20to\x20zero.','guardKeyProbe':'settle_window_gate','evidence':[{'file':'allocation.move','line':0x1f4,'pattern':'public\x20fun\x20alloc<T>'},{'file':'allocation.move','line':0x271,'pattern':'Recipient::Entity'}]},{'id':'E1','class':'exception','name':'Pre-deadline\x20pledge\x20withdrawal\x20—\x20full\x20refund\x20+\x20contribution\x20row\x20zeroed','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'withdrawn','forward':'WithdrawPledge','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Any\x20time\x20before\x20the\x20absolute\x20deadline\x20the\x20pledge\x20is\x20withdrawable\x20in\x20full;\x20after\x20it,\x20committed\x20to\x20the\x20threshold\x20outcome\x20—\x20the\x20withdrawal\x20exit\x20and\x20the\x20settlement\x20are\x20mutually\x20exclusive\x20in\x20time.\x20The\x20zeroing\x20of\x20the\x20contribution\x20row\x20is\x20the\x20pledger\x20tooling\x27s\x20second\x20step;\x20the\x20on-chain\x20live\x20cap\x20already\x20stops\x20a\x20drained\x20row\x20from\x20counting.','guardKeyProbe':'pre_deadline_withdraw','evidence':[{'file':'allocation.move','line':0x1f4,'pattern':'public\x20fun\x20alloc<T>'}]},{'id':'E2','class':'exception','name':'Goal\x20missed\x20at\x20the\x20deadline\x20—\x20keeper\x20batch-refunds\x20every\x20pledger\x20in\x20full','actor':'keeper','precondition':['M4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'missed_refunded','forward':'RefundOnMissed','prev':'paid','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20refund\x20polarity\x20reads\x20the\x20same\x20aggregate\x20below\x20goal\x20and\x20refunds\x20each\x20pledger\x20their\x20own\x20unpooled\x20pledge.\x20The\x20gap:\x20automatic\x20means\x20a\x20keeper\x27s\x20batch\x20advance\x20—\x20this\x20template\x20ships\x20no\x20deadline\x20self-heal\x20edge,\x20so\x20a\x20stalled\x20keeper\x20blocks\x20BOTH\x20outcomes\x20at\x20paid.','guardKeyProbe':'threshold_refund','gapPredicate':{'probe':'the\x20abandon\x20self-heal\x20is\x20NOT\x20shipped'},'evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'E3','class':'exception','name':'Keeper\x20stalls\x20at\x20the\x20deadline\x20—\x20the\x20round\x20strands\x20at\x20paid,\x20both\x20outcomes\x20blocked','actor':'keeper','precondition':['E2'],'onchain':'expressible_with_gap','chainFootprint':{'node':'paid','moneyEffect':'none'},'commercialSemantics':'The\x20defect\x20face\x20of\x20the\x20missing\x20self-heal:\x20the\x20missed-refund\x20rail\x20is\x20node-gated\x20to\x20its\x20refund\x20state,\x20so\x20a\x20dead\x20keeper\x20simultaneously\x20blocks\x20the\x20refund\x20and\x20the\x20fulfillment.\x20The\x20disclosed\x20consequence\x20names\x20the\x20fix\x20—\x20a\x20deadline\x20self-heal\x20edge\x20or\x20a\x20buyer-side\x20timeout\x20arm\x20—\x20neither\x20shipped\x20today.','gapPredicate':{'probe':'the\x20abandon\x20self-heal\x20is\x20NOT\x20shipped'},'evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'E4','class':'exception','name':'Leader\x20cancels\x20the\x20round\x20/\x20cannot\x20source\x20after\x20the\x20goal\x20is\x20met','actor':'merchant','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'missed_refunded','forward':'CancelByLeader','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'CURED\x20(wave-3,\x202026-11-06):\x20the\x20archetype\x27s\x20most\x20common\x20real-world\x20failure\x20now\x20has\x20its\x20in-machine\x20exit\x20—\x20CancelByLeader\x20from\x20threshold_settled\x20(pre-sourcing\x20abort)\x20and\x20from\x20sourcing\x20(procurement\x20failure)\x20batch-advances\x20every\x20committed\x20order\x20into\x20missed_refunded,\x20where\x20the\x20SAME\x20missed_refund\x20rail\x20refunds\x20each\x20pledge\x20IN\x20FULL\x20(refund-rail\x20slot\x201001;\x20node-gated\x20tpl_forward_node_check\x20guards,\x20one\x20per\x20exit\x20edge).\x20Below-goal\x20rounds\x20can\x20never\x20ride\x20these\x20edges:\x20threshold_settled/sourcing\x20are\x20only\x20entered\x20through\x20the\x20met\x20threshold\x20(D-BUG-2\x20polarity).','evidence':[]},{'id':'E5','class':'exception','name':'Leader\x20runaway\x20with\x20pre-delivery\x20funds\x20—\x20structurally\x20impossible\x20on\x20this\x20shape','actor':'merchant','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'completed','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'The\x20real\x20product\x27s\x20leader\x20could\x20withdraw\x20before\x20shipping\x20—\x20the\x20fraud\x20vector\x20behind\x20the\x20headline\x20cases.\x20Here\x20the\x20escrow\x20penetrates\x20to\x20fulfillment:\x20the\x20settling\x20slot\x20must\x20be\x20bound\x20to\x20a\x20different\x20address\x20from\x20the\x20leader\x20slot,\x20so\x20a\x20runaway\x20leader\x20strands\x20the\x20money\x20in\x20escrow\x20instead\x20of\x20walking\x20away\x20with\x20it.\x20The\x20binding\x20is\x20a\x20build-time\x20requirement\x20the\x20disclosure\x20states\x20plainly.','guardKeyProbe':'settle_window_gate','evidence':[{'file':'allocation.move','line':0x1f4,'pattern':'public\x20fun\x20alloc<T>'}]},{'id':'E6','class':'exception','name':'Ghost\x20contribution\x20rows\x20inflate\x20the\x20aggregate\x20(refunded\x20rows\x20keep\x20counting)','actor':'keeper','precondition':['M4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'threshold_settled','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20live\x20cap\x20clamps\x20each\x20row\x20to\x20the\x20order\x27s\x20live\x20allocation\x20balance\x20on\x20chain,\x20so\x20a\x20drained\x20escrow\x20contributes\x20zero\x20automatically\x20—\x20the\x20residual\x20is\x20ledger\x20hygiene:\x20zeroing\x20a\x20withdrawn\x20pledge\x20is\x20the\x20pledger\x20tooling\x27s\x20duty,\x20disclosed,\x20with\x20row-revocation\x20registered\x20as\x20a\x20kernel\x20ask.','guardKeyProbe':'threshold_release','gapPredicate':{'probe':'live\x20cap'},'evidence':[{'file':'repository.move','line':0x36,'pattern':'E_POLICY_WRITE_GUARD_REQUIRED'}]},{'id':'E7','class':'exception','name':'Forged\x20or\x20wallet-keyed\x20contribution\x20row\x20(aggregate\x20inflation\x20attack)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'paid','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20write\x20guard\x27s\x20identity\x20leaf\x20accepts\x20only\x20the\x20order\x20owner\x20or\x20their\x20agent,\x20rows\x20are\x20order-keyed\x20by\x20compile,\x20and\x20the\x20bound-form\x20aggregate\x20reads\x20zero\x20for\x20any\x20row\x20id\x20that\x20is\x20not\x20an\x20order\x20—\x20the\x20placeholder\x20open-write\x20guard\x20that\x20let\x20anyone\x20forge\x20a\x20quorum\x20is\x20cured\x20at\x20both\x20the\x20write\x20and\x20the\x20read.','evidence':[{'file':'repository.move','line':0x36,'pattern':'E_POLICY_WRITE_GUARD_REQUIRED'}]},{'id':'E8','class':'exception','name':'Keeper\x20drives\x20a\x20below-goal\x20round\x20into\x20fulfillment\x20(polarity\x20attack)','actor':'keeper','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'threshold_settled','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Release\x20and\x20refund\x20are\x20opposite\x20node\x20predicates\x20on\x20the\x20same\x20aggregate\x20—\x20the\x20settlement\x20gate\x20aborts\x20while\x20the\x20bound\x20sum\x20is\x20below\x20goal,\x20so\x20the\x20same\x20keeper\x20cannot\x20spend\x20a\x20failed\x20round\x27s\x20escrow\x20on\x20procurement.','guardKeyProbe':'threshold_release','evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'E9','class':'exception','name':'Round\x20with\x20more\x20than\x20one\x20hundred\x20pledgers\x20—\x20roster\x20split\x20across\x20policy\x20keys','actor':'keeper','precondition':['M4'],'onchain':'disclosure_only','disclosureProbe':'splits\x20rows\x20across\x20policy\x20keys','commercialSemantics':'A\x20key\x20with\x20more\x20than\x20one\x20hundred\x20roster\x20rows\x20aborts\x20fail-closed,\x20so\x20giant\x20groups\x20must\x20split\x20across\x20policy\x20keys\x20—\x20a\x20disclosed\x20boundary\x20with\x20an\x20understate-only\x20failure\x20direction\x20(pre-flag\x20rows\x20contribute\x20zero,\x20never\x20extra).','evidence':[]},{'id':'E10','class':'exception','name':'Wrong,\x20missing\x20or\x20short\x20goods\x20—\x20shortfall\x20report\x20or\x20return\x20request\x20inside\x20the\x20after-sales\x20window','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'RequestReturn','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Filing\x20is\x20available\x20from\x20the\x20delivered\x20state\x20and\x20from\x20inside\x20the\x20claim\x20window\x20on\x20separate\x20keys,\x20gated\x20by\x20the\x20closing\x20window\x20plus\x20the\x20order-holder\x20identity\x20set.\x20Reaching\x20the\x20request\x20state\x20establishes\x20the\x20refund\x20right;\x20a\x20lightweight\x20shortfall\x20report\x20rides\x20the\x20same\x20track\x20instead\x20of\x20jumping\x20straight\x20to\x20a\x20dispute.','guardKeyProbe':'return_window_delivered','evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'E11','class':'exception','name':'Fresh\x20goods\x20spoiled\x20—\x20refund-only\x20bad-item\x20compensation\x20(goods\x20never\x20travel\x20back)','actor':'merchant','precondition':['E10'],'onchain':'expressible','chainFootprint':{'node':'refunded','forward':'CompensateBadItem','prev':'return_requested','identity':'named_operator','moneyEffect':'refund'},'commercialSemantics':'The\x20industry\x27s\x20photo-and-compensate\x20convention\x20becomes\x20a\x20leader-written\x20approval\x20row\x20—\x20write-once\x20final\x20evidence\x20carrying\x20the\x20buyer\x27s\x20photo\x20reference\x20—\x20and\x20the\x20after-sales\x20rail\x20pays\x20on\x20the\x20refunded\x20state.\x20A\x20silent\x20staff\x20decision\x20is\x20structurally\x20impossible.','guardKeyProbe':'bad_item_evidence','evidence':[{'file':'repository.move','line':0x3c,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'E12','class':'exception','name':'Return-and-refund\x20via\x20the\x20leader:\x20ship\x20back,\x20staff\x20receipt\x20row,\x20refund','actor':'buyer','precondition':['E10'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ReturnReceived','prev':'return_in_transit','identity':'named_operator','moneyEffect':'refund'},'commercialSemantics':'The\x20three-segment\x20return\x20track\x20ends\x20in\x20the\x20leader\x20staff\x27s\x20RMA\x20receipt\x20row\x20under\x20its\x20own\x20policy;\x20the\x20refund_execute\x20rail\x20pays\x20once\x20the\x20returned\x20state\x20is\x20reached.\x20Distinct\x20keys\x20per\x20segment\x20keep\x20the\x20remedy\x20states\x20unfakeable.','guardKeyProbe':'return_received','evidence':[{'file':'repository.move','line':0x36,'pattern':'E_POLICY_WRITE_GUARD_REQUIRED'}]},{'id':'E13','class':'exception','name':'Return\x20parcel\x20lost\x20in\x20transit\x20—\x20keeper\x20refund\x20after\x20the\x20transit\x20timeout','actor':'keeper','precondition':['E12'],'onchain':'expressible','chainFootprint':{'node':'refunded','forward':'RefundLostReturn','prev':'return_in_transit','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20buyer\x20never\x20carries\x20the\x20return-leg\x20carrier\x20risk:\x20after\x20the\x20timeout\x20the\x20keeper\x20advances\x20the\x20lost\x20parcel\x20into\x20the\x20refunded\x20terminal\x20and\x20the\x20money\x20goes\x20home;\x20the\x20lost\x20parcel\x20itself\x20is\x20the\x20leader\x27s\x20off-chain\x20carrier\x20claim.','guardKeyProbe':'return_transit_timeout','evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'E14','class':'exception','name':'Short\x20box\x20wants\x20a\x20PARTIAL\x20remedy\x20—\x20after_sales_scope\x20selector\x20(full\x20default\x20/\x20declared\x20amount)','actor':'merchant','precondition':['E10'],'onchain':'expressible_with_gap','chainFootprint':{'node':'refunded','forward':'CompensateBadItem','prev':'return_requested','identity':'named_operator','moneyEffect':'refund'},'commercialSemantics':'The\x20default\x20refunds\x20the\x20whole\x20pledge\x20on\x20either\x20remedy\x20path\x20and\x20the\x20quote\x20must\x20promise\x20exactly\x20that;\x20the\x20partial\x20variant\x20pays\x20the\x20declared\x20fixed\x20shortfall\x20figure\x20—\x20the\x20catalog\x27s\x20first\x20absolute-amount\x20rail\x20—\x20while\x20a\x20returned\x20box\x20always\x20refunds\x20in\x20full.\x20Per-order\x20dynamic\x20pro-rata\x20needs\x20the\x20chain\x20Formula\x20mode\x20and\x20stays\x20on\x20the\x20protocol\x20train.','guardKeyProbe':'bad_item_evidence','gapPredicate':{'probe':'never\x20PROMISE\x20a\x20partial\x20refund\x20the\x20build\x20does\x20not\x20carry'},'evidence':[{'file':'allocation.move','line':0xab,'pattern':'const\x20AllocationMode_Amount:u8\x20=\x200'}]},{'id':'E15','class':'exception','name':'Staff\x20forgets\x20the\x20receipt\x20redemption\x20row\x20—\x20the\x20buyer-first\x20receipt\x20exit\x20dies','actor':'fulfiller','precondition':['M8'],'onchain':'expressible_with_gap','chainFootprint':{'node':'sourcing','moneyEffect':'none'},'commercialSemantics':'The\x20composite\x20gate\x20fails\x20closed:\x20a\x20goods-holding\x20neighbor\x20cannot\x20use\x20their\x20own\x20receipt\x20exit\x20and\x20receipt\x20then\x20rides\x20only\x20the\x20leader\x27s\x20distribution\x20path.\x20The\x20keeper\x20duty\x20presses\x20the\x20row\x20write;\x20the\x20edge\x20is\x20never\x20downgraded\x20to\x20a\x20staff-only\x20confirmation.','gapPredicate':{'probe':'staff\x20that\x20forgets\x20the\x20row'},'evidence':[{'file':'repository.move','line':0x36,'pattern':'E_POLICY_WRITE_GUARD_REQUIRED'}]},{'id':'E16','class':'exception','name':'Leader\x20self-advances\x20distribution\x20without\x20a\x20real\x20handover\x20(self-declared\x20evidence)','actor':'merchant','precondition':['M6'],'onchain':'expressible_with_gap','chainFootprint':{'node':'delivered','forward':'DistributeGoods','prev':'sourcing','identity':'named_operator','moneyEffect':'none'},'commercialSemantics':'The\x20attack\x20view\x20of\x20the\x20same\x20topology\x20fact:\x20the\x20write\x20guard\x20proves\x20the\x20signer,\x20nothing\x20proves\x20the\x20parcel.\x20The\x20buyers\x27\x20hedges\x20are\x20the\x20min-hold\x20window,\x20the\x20after-sales\x20window\x20and\x20third-party\x20arbitration\x20—\x20the\x20residual\x20is\x20disclosed\x20only\x20on\x20the\x20shape\x20role,\x20and\x20the\x20gap\x20probe\x20is\x20strict\x20and\x20expected\x20to\x20MISS\x20until\x20it\x20reaches\x20the\x20corpus.','guardKeyProbe':'distribution_evidence','gapPredicate':{'probe':'distribution\x20evidence\x20is\x20self-declared'},'evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'E17','class':'exception','name':'Buyer\x20coordinates\x20(phone,\x20address,\x20recipient)\x20live\x20off-chain\x20in\x20chat\x20and\x20dispatch','actor':'platform','precondition':['M2'],'onchain':'unresolvable','unresolvableRef':'S6','disclosureProbe':'buyer\x20coordinates[^\x22]{0,40}live\x20OFF-CHAIN','commercialSemantics':'Delivery\x20coordination\x20happens\x20in\x20the\x20leader\x27s\x20chat\x20or\x20the\x20mini-program\x20order;\x20the\x20declarative\x20required-info\x20field\x20never\x20gates\x20the\x20purchase\x20and\x20the\x20chain\x20holds\x20zero\x20PII.\x20Unlawful\x20personal-information\x20collection\x20is\x20also\x20a\x20regulatory\x20no-no\x20the\x20disclosure\x20flags.','evidence':[{'file':'service.move','line':0x100,'pattern':'customer_required:\x20vector<String>'}]},{'id':'E18','class':'exception','name':'Community\x20organizing\x20—\x20broadcast,\x20follow\x20relations,\x20blocking\x20or\x20dissolving\x20the\x20group','actor':'merchant','precondition':['M1'],'onchain':'unresolvable','unresolvableRef':'S5','disclosureProbe':'never\x20community\x20broadcast','commercialSemantics':'The\x20group\x20is\x20the\x20product\x27s\x20entire\x20reach\x20and\x20remedy\x20channel,\x20and\x20a\x20blocked\x20or\x20dissolved\x20group\x20is\x20exactly\x20how\x20buyers\x20end\x20up\x20money-and-goods\x20stranded\x20in\x20the\x20real\x20world.\x20On\x20chain\x20the\x20organizer\x20cannot\x20cut\x20any\x20money\x20rail\x20by\x20blocking\x20—\x20organizing\x20lives\x20entirely\x20outside\x20the\x20machine,\x20disclosed\x20as\x20a\x20boundary.','evidence':[]},{'id':'E19','class':'exception','name':'Multi-layer\x20reseller\x20distribution\x20with\x20referral\x20commissions','actor':'merchant','precondition':['M2'],'onchain':'not_applicable','disclosureProbe':'Multi-layer\x20commission[^\x22]{0,40}structurally\x20impossible','commercialSemantics':'The\x20real\x20growth\x20engine\x20—\x20supply\x20leader,\x20group\x20leader,\x20reseller\x20leaders\x20plus\x20referral\x20cuts\x20—\x20is\x20also\x20the\x20pyramid-regulation\x20hot\x20zone.\x20On\x20chain\x20there\x20is\x20one\x20leader\x20leg\x20plus\x20one\x20tool-fee\x20leg\x20and\x20structurally\x20no\x20second\x20layer;\x20member\x20rebates\x20are\x20off-chain\x20pass-through\x20from\x20the\x20leader\x27s\x20share.','evidence':[{'file':'allocation.move','line':0x10a,'pattern':'public\x20fun\x20sharing_for_guard_identifier'}]},{'id':'E20','class':'exception','name':'Platform\x20freezes\x20the\x20round\x20or\x20bans\x20the\x20link\x20(violation\x20governance)','actor':'platform','precondition':['M3'],'onchain':'expressible_with_gap','chainFootprint':{'node':'paid','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20publisher\x20can\x20flip\x20the\x20runtime\x20buy\x20switch\x20to\x20refuse\x20NEW\x20entrants,\x20but\x20escrowed\x20pledges\x20of\x20existing\x20buyers\x20have\x20no\x20freeze\x20primitive\x20—\x20deliberately:\x20the\x20platform\x20must\x20never\x20be\x20able\x20to\x20confiscate\x20escrow.\x20Existing\x20buyers\x20keep\x20the\x20deadline\x20polarities\x20and\x20the\x20arbitration\x20exits.\x20The\x20deliberate-no-freeze\x20rationale\x20is\x20not\x20in\x20the\x20corpus\x20yet,\x20so\x20the\x20gap\x20probe\x20is\x20strict\x20and\x20expected\x20to\x20MISS.','gapPredicate':{'probe':'no\x20platform\x20freeze\x20primitive'},'evidence':[{'file':'service.move','line':0x4f1,'pattern':'public\x20fun\x20buy_guard_set'}]},{'id':'R1','class':'remedy','name':'File\x20a\x20third-party\x20arbitration\x20case\x20inside\x20the\x20serial\x20claim\x20window','actor':'buyer','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'claim_window','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Unlike\x20the\x20real\x20product\x27s\x20support\x20desk\x20that\x20cannot\x20touch\x20a\x20leader\x27s\x20refund,\x20filing\x20here\x20opens\x20an\x20independent\x20arbitration\x20case\x20with\x20the\x20fee\x20escrowed\x20at\x20entry.\x20The\x20closing\x20window\x20and\x20the\x20order-holder\x20identity\x20legs\x20ship\x20in\x20the\x20guard\x20root\x20over\x20the\x20254\x20slot.','guardKeyProbe':'claim_filed','evidence':[{'file':'arbitration.move','line':0x22,'pattern':'E_FEE_NOT_ENOUGH'},{'file':'service.move','line':0x271,'pattern':'public\x20fun\x20dispute'}]},{'id':'R2','class':'remedy','name':'Buyer-won\x20ruling\x20—\x20full\x20escrow\x20refund\x20via\x20the\x20claim_closed\x20rail\x20(after\x20the\x20keeper\x27s\x20stamp)','actor':'merchant','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'claim_closed','forward':'ArbRefund','prev':'claim_filed','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'Winning\x20is\x20not\x20the\x20same\x20as\x20being\x20paid:\x20the\x20stamp\x20(an\x20award\x20claim\x20or\x20a\x20keeper\x20conclude)\x20must\x20land\x20before\x20the\x20rail\x20opens,\x20and\x20the\x20six\x20canonical\x20legs\x20read\x20the\x20two-slot\x20root,\x20positive\x20non-zero\x20indemnity,\x20the\x20enforcement\x20stamp,\x20the\x20award\x20floor,\x20and\x20the\x20venue\x20binding.\x20A\x20second\x20won\x20instance\x20covers\x20orders\x20stalled\x20mid-return.','guardKeyProbe':'arb_refund','evidence':[{'file':'arb.move','line':0xa6,'pattern':'public\x20struct\x20Indemnity\x20has\x20copy,\x20drop,\x20store'}]},{'id':'R3','class':'remedy','name':'Dismissed\x20ruling\x20(zero\x20indemnity)\x20—\x20the\x20order\x20resumes\x20to\x20delivered,\x20windows\x20re-anchor','actor':'merchant','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'A\x20leader-favor\x20ruling\x20is\x20decided\x20by\x20the\x20zero-amount\x20predicate\x20alone\x20—\x20never\x20by\x20indemnity\x20presence\x20—\x20and\x20the\x20resumed\x20order\x20re-enters\x20delivered,\x20from\x20which\x20the\x20keeper\x20can\x20open\x20a\x20fresh\x20window\x20on\x20the\x20re-anchored\x20clocks.\x20Nothing\x20is\x20paid;\x20the\x20escrow\x20rides\x20on.','guardKeyProbe':'arb_dismissed_resume','evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'R4','class':'remedy','name':'Buyer\x20withdraws\x20the\x20filed\x20claim\x20—\x20resumes\x20to\x20delivered\x20(goods\x20already\x20handed\x20over)','actor':'buyer','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'WithdrawClaim','prev':'claim_filed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Withdrawal\x20resumes\x20the\x20order\x20instead\x20of\x20paying\x20—\x20a\x20goods-holding\x20buyer\x20and\x20a\x20full\x20refund\x20never\x20share\x20one\x20signature,\x20which\x20is\x20the\x20arbitrage\x20cure\x20the\x20sibling\x20template\x20still\x20owes.\x20Residual\x20honesty:\x20the\x20withdrawal\x20entry\x20sweeps\x20only\x20the\x20case\x20fee\x20balance\x20and\x20never\x20touches\x20the\x20indemnity,\x20the\x20edge\x20carries\x20zero\x20arbitration\x20legs\x20so\x20it\x20is\x20replayable\x20per\x20filing,\x20and\x20the\x20enforcement\x20stamp,\x20once\x20written,\x20outlives\x20the\x20withdrawal.','guardKeyProbe':'withdraw_claim','evidence':[{'file':'arb.move','line':0x257,'pattern':'fun\x20withdraw<T>'},{'file':'arb.move','line':0x266,'pattern':'balance::withdraw_all'},{'file':'arbitration.move','line':0x21a,'pattern':'public\x20fun\x20arb_withdraw'},{'file':'order.move','line':0x79,'pattern':'option::is_none(&self.claimed_by)'},{'file':'order.move','line':0x4d,'pattern':'claimed_by:\x20Option<address>'}]},{'id':'R5','class':'remedy','name':'Compensation\x20payout\x20—\x20chain\x20hard\x20cap\x203x\x20vs\x20the\x20statutory\x20floors\x20(food\x20safety\x20/\x20fraud)','actor':'arbitrator','precondition':['R2'],'onchain':'expressible_with_gap','chainFootprint':{'node':'claim_closed','moneyEffect':'compensate'},'commercialSemantics':'The\x20food-safety\x20floor\x20is\x20ten\x20times\x20the\x20price\x20(or\x20three\x20times\x20the\x20loss,\x20minimum\x20one\x20thousand\x20yuan)\x20and\x20the\x20fraud\x20floor\x20is\x20triple\x20with\x20a\x20minimum\x20—\x20the\x20protocol\x27s\x20three-multiple\x20cap\x20cannot\x20express\x20either,\x20so\x20the\x20catalog\x20escalates\x20instead\x20of\x20silently\x20under-paying.\x20Fund\x20coverage\x20stays\x20advisory:\x20a\x20drained\x20pool\x20fails\x20loudly\x20at\x20claim\x20or\x20buy\x20time.','gapPredicate':{'probe':'3x\x20coverage\x20refusal'},'evidence':[{'file':'arb.move','line':0x15,'pattern':'const\x20MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'}]},{'id':'R6','class':'remedy','name':'Refund\x20payout\x20is\x20two-step\x20—\x20funds\x20land\x20on\x20the\x20order,\x20the\x20buyer\x20extracts','actor':'buyer','precondition':['R2'],'onchain':'expressible','chainFootprint':{'node':'claim_closed','moneyEffect':'refund'},'commercialSemantics':'Every\x20refund\x20row\x20pays\x20the\x20order\x20object,\x20never\x20a\x20wallet:\x20the\x20buyer\x20signs\x20a\x20second\x20extraction\x20call\x20to\x20sweep\x20the\x20funds.\x20The\x20UX\x20must\x20surface\x20that\x20second\x20step\x20—\x20the\x20real\x20product\x27s\x20automatic\x20in-app\x20refund\x20is\x20the\x20contrast\x20the\x20disclosure\x20names.','evidence':[{'file':'order.move','line':0x15e,'pattern':'public\x20fun\x20owner_receive'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'R7','class':'remedy','name':'Award/principal\x20pairing\x20residual\x20—\x20draw\x20the\x20principal\x20BEFORE\x20claiming\x20the\x20fund\x20award','actor':'buyer','precondition':['R5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'claim_closed','moneyEffect':'refund'},'commercialSemantics':'The\x20enforcement\x20stamp\x20is\x20direction-blind\x20—\x20it\x20records\x20the\x20payout\x20event,\x20never\x20who\x20won\x20—\x20and\x20a\x20buyer\x20who\x20claims\x20the\x20award\x20first\x20flips\x20the\x20pairing\x20state\x20so\x20the\x20leader-recovery\x20rail\x20sweeps\x20the\x20principal\x20away.\x20The\x20ordering\x20rule\x20lives\x20on\x20the\x20allocator\x20row\x20and\x20the\x20claim\x20state\x27s\x20role,\x20both\x20outside\x20the\x20probe\x20corpus,\x20so\x20the\x20gap\x20probe\x20is\x20strict\x20and\x20expected\x20to\x20MISS.','gapPredicate':{'probe':'draw\x20the\x20principal\x20BEFORE\x20claiming\x20the\x20award'},'evidence':[{'file':'allocation.move','line':0x50,'pattern':'const\x20E_ONCE_TRIGGERED:\x20u64\x20=\x2016'}]},{'id':'R8','class':'remedy','name':'Platform\x20advance\x20compensation\x20when\x20the\x20leader\x20is\x20unreachable\x20(platform-first\x20liability)','actor':'platform','precondition':['R1'],'onchain':'expressible_with_gap','chainFootprint':{'node':'claim_closed','moneyEffect':'compensate'},'commercialSemantics':'When\x20the\x20platform\x20cannot\x20produce\x20the\x20seller\x27s\x20real\x20name,\x20address\x20and\x20valid\x20contact,\x20the\x20liability\x20shifts\x20to\x20the\x20platform\x20first\x20—\x20precisely\x20the\x20real\x20product\x27s\x20dead-phone,\x20ask-the-leader\x20runaround.\x20The\x20service\x20compensation\x20fund\x20can\x20express\x20the\x20advance\x20payout;\x20the\x20gap\x20is\x20the\x20recovery\x20from\x20the\x20leader\x20afterwards,\x20an\x20off-chain\x20compliance\x20surface\x20with\x20no\x20chain\x20primitive.','gapPredicate':{'probe':'compliance\x20surface'},'evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'R9','class':'remedy','name':'Regulatory\x20and\x20criminal\x20remedies\x20—\x20regulator\x20complaint,\x20fraud\x20report,\x20litigation','actor':'buyer','precondition':['R8'],'onchain':'disclosure_only','disclosureProbe':'Flag\x20the\x20compliance\x20surface','commercialSemantics':'The\x20real\x20product\x27s\x20worst\x20cases\x20ended\x20in\x20contract-fraud\x20arrests\x20over\x20undelivered,\x20unrefunded\x20pledges;\x20small-claims\x20litigation\x20is\x20uneconomic\x20for\x20most\x20buyers.\x20None\x20of\x20the\x20regulator\x20or\x20police\x20procedure\x20is\x20chain-expressible\x20—\x20the\x20disclosure\x20flags\x20the\x20compliance\x20surface\x20instead.','evidence':[]},{'id':'R10','class':'remedy','name':'Leader\x20as\x20the\x20statutory\x20seller\x20—\x20operator\x20liability,\x20licensing,\x20food-safety\x20first\x20responsibility','actor':'merchant','precondition':['E11'],'onchain':'disclosure_only','disclosureProbe':'food-safety\x20traceability\x20for\x20fresh\x20goods','commercialSemantics':'When\x20the\x20leader\x20is\x20the\x20seller\x20they\x20carry\x20independent\x20operator\x20liability\x20—\x20the\x20publish-as-merchant\x20role\x20mapping\x20makes\x20the\x20leader\x20the\x20service\x20owner\x20on\x20chain,\x20matching\x20the\x20statutory\x20first-responsibility\x20doctrine;\x20licensing\x20and\x20traceability\x20stay\x20off-chain\x20compliance\x20the\x20disclosure\x20flags.','evidence':[{'file':'service.move','line':0x1c9,'pattern':'public\x20fun\x20buy<T>'}]},{'id':'P1','class':'post','name':'Review\x20submission\x20—\x20completed\x20to\x20reviewed,\x20closing\x20days\x20after\x20the\x20delivered\x20entry','actor':'buyer','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'SubmitReview','prev':'completed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20review\x20rail\x20is\x20money-free\x20by\x20topology,\x20needs\x20the\x20order-keyed\x20rating\x20row\x20to\x20exist,\x20carries\x20a\x20delivered-entry\x20history\x20leg,\x20and\x20closes\x20a\x20fixed\x20number\x20of\x20days\x20after\x20the\x20delivered\x20entry.\x20Refund\x20terminals\x20can\x20never\x20reach\x20review\x20—\x20a\x20refunded\x20order\x20can\x20neither\x20review\x20nor\x20claim\x20a\x20bounty.','guardKeyProbe':'review_submit','evidence':[{'file':'repository.move','line':0x3c,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'P2','class':'post','name':'Review\x20reward\x20claim\x20—\x20per-claim\x20bounty,\x20rating\x20floor,\x20window\x20opens\x20after\x20the\x20return\x20window','actor':'buyer','precondition':['P1'],'onchain':'expressible','chainFootprint':{'node':'reviewed','moneyEffect':'reward'},'commercialSemantics':'The\x20reward\x20track\x20ships\x20on\x20by\x20default:\x20a\x20funded\x20pool,\x20a\x20per-claim\x20bounty\x20above\x20the\x20claim-gas\x20floor,\x20and\x20an\x20opening\x20delay\x20kept\x20deliberately\x20above\x20the\x20after-sales\x20window\x20so\x20claim-the-bounty-then-return\x20arbitrage\x20stays\x20dead.\x20The\x20reward\x20terminal\x20is\x20bound\x20to\x20both\x20the\x20reviewed\x20node\x20and\x20the\x20settlement\x20terminal\x20so\x20settlement\x20cannot\x20strand\x20a\x20claim.','evidence':[{'file':'reward.move','line':0xe3,'pattern':'public\x20fun\x20claim<T>'}]},{'id':'P3','class':'post','name':'Rest\x20after\x20review\x20—\x20the\x20reviewed\x20bookkeeping\x20exit\x20back\x20to\x20the\x20drained\x20completed\x20terminal','actor':'buyer','precondition':['P1'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'RestAfterReview','prev':'reviewed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'A\x20silent\x20or\x20satisfied\x20reviewer\x20always\x20has\x20a\x20settled\x20terminal\x20to\x20rest\x20on\x20—\x20no\x20reviewed\x20order\x20strands\x20without\x20an\x20exit.\x20The\x20drained\x20pool\x20absorbs\x20any\x20replayed\x20money\x20leg\x20as\x20a\x20no-op;\x20the\x20once-slot\x20abort\x20is\x20the\x20loud\x20boundary.','evidence':[{'file':'allocation.move','line':0x50,'pattern':'const\x20E_ONCE_TRIGGERED:\x20u64\x20=\x2016'}]},{'id':'P4','class':'post','name':'Leader\x20passes\x20member\x20rebates\x20off-chain\x20from\x20their\x20share\x20(red\x20packets,\x20cashback)','actor':'merchant','precondition':['M10'],'onchain':'disclosure_only','disclosureProbe':'member\x20rebates\x20are\x20OFF-CHAIN\x20pass-through','commercialSemantics':'Private-domain\x20upkeep\x20—\x20red\x20packets\x20and\x20cashback\x20for\x20neighbors\x20—\x20is\x20paid\x20off-chain\x20out\x20of\x20the\x20leader\x27s\x20single\x20leg.\x20The\x20chain\x20will\x20never\x20carry\x20a\x20second\x20commission\x20layer;\x20the\x20disclosure\x20says\x20exactly\x20that.','evidence':[{'file':'allocation.move','line':0x271,'pattern':'Recipient::Entity'}]},{'id':'P5','class':'post','name':'Repurchase\x20—\x20the\x20next\x20round\x20as\x20a\x20fresh\x20campaign\x20instance','actor':'buyer','precondition':['M10'],'onchain':'expressible_with_gap','chainFootprint':{'node':'paid','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'The\x20absolute\x20deadline\x20is\x20a\x20service-level\x20constant,\x20so\x20round\x20rotation\x20means\x20a\x20fresh\x20campaign\x20instance\x20each\x20time\x20—\x20there\x20is\x20no\x20cross-round\x20machine\x20reuse.\x20The\x20trust\x20graph\x20(follows,\x20membership)\x20carries\x20over\x20off-chain,\x20disclosed\x20as\x20the\x20S5-adjacent\x20boundary.','gapPredicate':{'probe':'ABSOLUTE\x20SHARED\x20DEADLINE'},'evidence':[{'file':'service.move','line':0x1c9,'pattern':'public\x20fun\x20buy<T>'}]},{'id':'P6','class':'post','name':'Leader\x27s\x20margin\x20lands\x20at\x20settlement\x20—\x20inside\x20the\x20single\x20disclosed\x20leg,\x20no\x20second\x20layer','actor':'merchant','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'release'},'commercialSemantics':'The\x20margin\x20is\x20embedded\x20in\x20the\x20pledge\x20pricing\x20—\x20the\x20leg\x20is\x20the\x20round\x27s\x20reimbursement\x20plus\x20margin,\x20since\x20the\x20leader\x20already\x20spent\x20the\x20sourcing\x20money\x20off-chain.\x20One\x20layer,\x20tool\x20fee\x20zero\x20by\x20default,\x20rates\x20summing\x20to\x20the\x20whole,\x20all\x20visible\x20on\x20the\x20quote.','guardKeyProbe':'settle_window_gate','evidence':[{'file':'allocation.move','line':0x271,'pattern':'Recipient::Entity'}]}],'invariants':[{'id':'INV-KTT-LEADERCANCEL','statement':'The\x20real\x20archetype\x27s\x20most\x20common\x20failure\x20is\x20a\x20leader\x20cancel\x20or\x20sourcing\x20failure\x20after\x20the\x20goal\x20is\x20met,\x20and\x20the\x20real\x20rules\x20give\x20the\x20supply\x20leader\x20the\x20proactive\x20refund\x20right;\x20the\x20template\x20must\x20always\x20ship\x20a\x20CancelByLeader\x20exit\x20from\x20the\x20post-threshold\x20states\x20so\x20the\x20funded\x20round\x20can\x20end\x20in\x20full\x20refunds\x20instead\x20of\x20a\x20stranded\x20escrow.\x20Standing\x20check\x20(CURED\x202026-11-06,\x20wave-3):\x20both\x20exits\x20are\x20mounted\x20(threshold_settled\x20->\x20missed_refunded\x20and\x20sourcing\x20->\x20missed_refunded,\x20refund-rail\x20slot\x201001,\x20node-gated\x20tpl_forward_node_check)\x20—\x20deleting\x20the\x20forward\x20re-fires\x20this\x20invariant.','violation':{'whileMissingForward':'CancelByLeader'},'evidence':[]},{'id':'INV-KTT-ARBCAP','statement':'The\x20protocol\x20caps\x20the\x20arbitration\x20indemnity\x20at\x20three\x20times\x20the\x20order\x20amount,\x20while\x20the\x20statutory\x20floors\x20are\x20ten\x20times\x20the\x20price\x20or\x20three\x20times\x20the\x20loss\x20with\x20a\x20minimum\x20for\x20food-safety\x20cases,\x20and\x20triple\x20with\x20a\x20separate\x20minimum\x20for\x20fraud\x20—\x20the\x20cap\x20constant\x20cannot\x20express\x20either\x20floor,\x20so\x20a\x20compliant\x20ruling\x20regime\x20needs\x20an\x20escalation\x20disclosure\x20or\x20a\x20protocol\x20raise,\x20never\x20a\x20silent\x20cap.','chainConflict':'indemnity\x20cap\x20multiple\x20(3)\x20is\x20BELOW\x20the\x20statutory\x20compensation\x20floors\x20(10x\x20price\x20/\x203x\x20loss\x20with\x20minimum\x20for\x20food\x20safety;\x203x\x20with\x20minimum\x20for\x20fraud)','evidence':[{'file':'arb.move','line':0x15,'pattern':'const\x20MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'}]}]};
+export const PINDUODUO_KUAITUANTUAN_ORACLE={'productRef':'pinduoduo-kuaituantuan','products':['pinduoduo-kuaituantuan','qunjielong'],'oracleVersion':'1.0.0','steps':[{'id':'M1','class':'offchain','name':'Discover\x20the\x20round\x20via\x20the\x20WeChat\x20community\x20share','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Group\x20share\x20and\x20broadcast\x20are\x20the\x20product\x27s\x20only\x20reach\x20channel\x20—\x20private-domain\x20tooling.\x20There\x20is\x20no\x20community\x20broadcast\x20primitive\x20on\x20chain,\x20and\x20the\x20messenger\x20carries\x20only\x20in-order\x20evidence,\x20never\x20recruitment.','evidence':[]},{'id':'M2','class':'offchain','name':'Leader\x20opens\x20the\x20round:\x20funding\x20goal,\x20absolute\x20deadline,\x20pledge\x20price,\x20tool\x20fee','actor':'merchant','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'The\x20round\x20parameters\x20are\x20build-time\x20inputs:\x20the\x20funding\x20goal\x20and\x20the\x20absolute\x20epoch-ms\x20deadline\x20feed\x20the\x20threshold\x20guards,\x20the\x20pledge\x20price\x20is\x20locked\x20at\x20listing,\x20and\x20the\x20tool\x20fee\x20defaults\x20to\x20zero\x20under\x20the\x20direct-sales\x20doctrine.\x20The\x20deadline\x20must\x20be\x20passed\x20explicitly\x20—\x20a\x20zero\x20deadline\x20is\x20hard-blocked\x20at\x20compile.','evidence':[]},{'id':'M3','class':'main','name':'Pledge\x20=\x20pay:\x20full\x20escrow\x20in\x20the\x20order\x27s\x20own\x20unpooled\x20allocation\x20+\x20order-keyed\x20contribution\x20row','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'Paying\x20IS\x20joining\x20the\x20group:\x20each\x20pledge\x20is\x20escrowed\x20in\x20its\x20own\x20allocation\x20bound\x20to\x20that\x20buyer\x27s\x20order,\x20never\x20pooled,\x20and\x20a\x20contribution\x20row\x20keyed\x20by\x20the\x20order\x20address\x20lands\x20in\x20the\x20round\x20ledger.\x20Attribution\x20survives\x20every\x20later\x20outcome\x20—\x20a\x20missed\x20round\x20refunds\x20each\x20pledger\x20their\x20own\x20money.','evidence':[{'file':'service.move','line':0x1c9,'pattern':'public\x20fun\x20buy<T>'},{'file':'allocation.move','line':0xda,'pattern':'enum\x20Recipient'}]},{'id':'M4','class':'main','name':'Round\x20progress\x20visible\x20—\x20pledger\x20count,\x20countdown,\x20aggregate','actor':'platform','precondition':['M3'],'onchain':'disclosure_only','disclosureProbe':'never\x20present\x20the\x20aggregate\x20as\x20chain-verified\x20custody','commercialSemantics':'The\x20funding\x20total\x20is\x20a\x20chain-computed\x20escrow-bound\x20sum\x20over\x20the\x20order-keyed\x20row\x20roster\x20—\x20it\x20is\x20not\x20a\x20custody\x20proof,\x20and\x20the\x20ghost-row\x20residual\x20(refunded\x20rows\x20counting\x20until\x20zeroed)\x20is\x20disclosed\x20with\x20the\x20live\x20cap\x20that\x20already\x20clamps\x20drained\x20rows\x20to\x20zero\x20on\x20chain.','evidence':[{'file':'repository.move','line':0x36,'pattern':'E_POLICY_WRITE_GUARD_REQUIRED'}]},{'id':'M5','class':'main','name':'Deadline\x20passes\x20with\x20the\x20goal\x20met:\x20ThresholdMet\x20fires\x20—\x20release\x20POLARITY\x20only,\x20no\x20money\x20moves','actor':'keeper','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'threshold_settled','forward':'ThresholdMet','prev':'paid','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20deadline\x20gate\x20reads\x20the\x20escrow-bound\x20all-mode\x20aggregate\x20plus\x20the\x20live-escrow\x20leg,\x20on\x20the\x20shared\x20absolute\x20timestamp.\x20Zero\x20money\x20moves\x20here\x20by\x20design:\x20releasing\x20at\x20the\x20deadline\x20would\x20hand\x20the\x20leader\x20cash\x20before\x20any\x20goods\x20exist,\x20so\x20the\x20settlement\x20leg\x20waits\x20for\x20completed.','guardKeyProbe':'threshold_release','evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'M6','class':'main','name':'Leader\x20sources\x20the\x20goods\x20off-chain\x20—\x20chain\x20footprint\x20is\x20the\x20sourcing\x20evidence\x20row','actor':'merchant','precondition':['M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'sourcing','forward':'SourceGoods','prev':'threshold_settled','identity':'named_operator','moneyEffect':'none'},'commercialSemantics':'Between\x20deadline\x20and\x20settlement\x20the\x20leader\x20spends\x20their\x20OWN\x20money\x20with\x20suppliers;\x20the\x20chain\x20sees\x20only\x20the\x20write-once\x20evidence\x20row.\x20The\x20gap\x20is\x20structural:\x20there\x20is\x20no\x20supplier\x20sub-order\x20or\x20derived-escrow\x20primitive,\x20so\x20the\x20pledge\x27s\x20leverage\x20is\x20the\x20escrow\x20itself\x20—\x20your\x20money\x20releases\x20only\x20after\x20goods\x20arrive\x20and\x20the\x20claim\x20window\x20shuts.','guardKeyProbe':'sourcing_evidence','gapPredicate':{'probe':'the\x20leader\x20fronts\x20the\x20procurement'},'evidence':[{'file':'repository.move','line':0x3c,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'M7','class':'main','name':'Leader\x20distributes\x20to\x20the\x20community\x20point\x20or\x20ships\x20parcels\x20(distribution\x20evidence\x20row)','actor':'merchant','precondition':['M6'],'onchain':'expressible_with_gap','chainFootprint':{'node':'confirmed','forward':'DistributeGoods','prev':'sourcing','identity':'named_operator','moneyEffect':'none'},'commercialSemantics':'The\x20leader\x20can\x20fire\x20this\x20edge\x20alone:\x20the\x20writer-bound\x20distribution\x20row\x20proves\x20the\x20signer,\x20not\x20the\x20handover\x20—\x20and\x20since\x20the\x20F-33\x20split\x20(D7\x202026-11-10)\x20the\x20advance\x20lands\x20the\x20order\x20at\x20confirmed\x20(distribution\x20done,\x20collection\x20pending),\x20never\x20at\x20a\x20collected\x20state.\x20The\x20buyers\x27\x20structural\x20hedge\x20is\x20the\x20serial\x20window\x27s\x20min-hold,\x20the\x20after-sales\x20window\x20and\x20third-party\x20arbitration\x20—\x20the\x20residual\x20itself\x20is\x20disclosed\x20only\x20on\x20the\x20shape\x20role,\x20and\x20the\x20gap\x20probe\x20is\x20strict\x20and\x20expected\x20to\x20MISS\x20until\x20it\x20reaches\x20the\x20corpus.','guardKeyProbe':'distribution_evidence','gapPredicate':{'probe':'distribution\x20evidence\x20is\x20self-declared'},'evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'M8','class':'main','name':'Neighbor\x20collects\x20—\x20dual\x20confirmation\x20(buyer\x20254-identity\x20+\x20staff\x27s\x20writer-bound\x20receipt\x20row)','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ConfirmReceipt','prev':'confirmed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Neither\x20party\x20alone\x20advances:\x20the\x20neighbor\x27s\x20identity\x20confirm\x20AND\x20the\x20staff\x27s\x20order-keyed\x20redemption\x20row\x20must\x20both\x20exist,\x20and\x20each\x20evidence\x20kind\x20owns\x20its\x20own\x20policy\x20so\x20stage\x20rows\x20can\x20never\x20substitute\x20for\x20the\x20receipt\x20row.\x20Since\x20the\x20F-33\x20split\x20this\x20is\x20the\x20ONLY\x20edge\x20into\x20delivered\x20—\x20the\x20collected\x20state\x20exists\x20only\x20when\x20both\x20factors\x20hold.','guardKeyProbe':'deliver_confirm','evidence':[{'file':'progress.move','line':0x48,'pattern':'TASK_BINDING_IDENTIFIER:\x20u8\x20=\x20254'}]},{'id':'M9','class':'main','name':'Serial\x20claim\x20window\x20opens\x20(keeper\x20slot,\x20min-hold\x20after\x20the\x20delivered\x20entry)','actor':'keeper','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'claim_window','forward':'OpenClaimWindow','prev':'delivered','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20dispute\x20clock\x20cannot\x20start\x20at\x20the\x20instant\x20of\x20collection:\x20an\x20opening\x20min-hold\x20gives\x20a\x20neighbor\x20a\x20day\x20after\x20collection\x20before\x20filing\x20and\x20settlement\x20clocks\x20begin.\x20Four\x20exits\x20hang\x20off\x20the\x20window\x20—\x20file,\x20settle,\x20return\x20request,\x20shortfall\x20report.','guardKeyProbe':'claim_window_open','evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'M10','class':'main','name':'Settle\x20after\x20the\x20window:\x20leader\x20leg\x20(complement\x20of\x20the\x20tool\x20fee)\x20+\x20platform\x20tool-fee\x20leg\x20+\x20rate-0\x20order\x20anchor','actor':'keeper','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'SettleAfterWindow','prev':'claim_window','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'Settlement\x20is\x20deliberately\x20slower\x20than\x20the\x20real\x20product\x27s\x20instant\x20leader\x20payout\x20—\x20the\x20escrow-through-fulfillment\x20shape\x20buys\x20goods-before-money\x20at\x20the\x20cost\x20of\x20hours-scale\x20settlement.\x20The\x20leader\x27s\x20sourcing\x20outlay\x20plus\x20margin\x20comes\x20back\x20inside\x20this\x20single\x20disclosed\x20leg;\x20the\x20tool\x20fee\x20defaults\x20to\x20zero.','guardKeyProbe':'settle_window_gate','evidence':[{'file':'allocation.move','line':0x1f4,'pattern':'public\x20fun\x20alloc<T>'},{'file':'allocation.move','line':0x271,'pattern':'Recipient::Entity'}]},{'id':'E1','class':'exception','name':'Pre-deadline\x20pledge\x20withdrawal\x20—\x20full\x20refund\x20+\x20contribution\x20row\x20zeroed','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'withdrawn','forward':'WithdrawPledge','prev':'paid','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Any\x20time\x20before\x20the\x20absolute\x20deadline\x20the\x20pledge\x20is\x20withdrawable\x20in\x20full;\x20after\x20it,\x20committed\x20to\x20the\x20threshold\x20outcome\x20—\x20the\x20withdrawal\x20exit\x20and\x20the\x20settlement\x20are\x20mutually\x20exclusive\x20in\x20time.\x20The\x20zeroing\x20of\x20the\x20contribution\x20row\x20is\x20the\x20pledger\x20tooling\x27s\x20second\x20step;\x20the\x20on-chain\x20live\x20cap\x20already\x20stops\x20a\x20drained\x20row\x20from\x20counting.','guardKeyProbe':'pre_deadline_withdraw','evidence':[{'file':'allocation.move','line':0x1f4,'pattern':'public\x20fun\x20alloc<T>'}]},{'id':'E2','class':'exception','name':'Goal\x20missed\x20at\x20the\x20deadline\x20—\x20keeper\x20batch-refunds\x20every\x20pledger\x20in\x20full','actor':'keeper','precondition':['M4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'missed_refunded','forward':'RefundOnMissed','prev':'paid','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20refund\x20polarity\x20reads\x20the\x20same\x20aggregate\x20below\x20goal\x20and\x20refunds\x20each\x20pledger\x20their\x20own\x20unpooled\x20pledge.\x20The\x20gap:\x20automatic\x20means\x20a\x20keeper\x27s\x20batch\x20advance\x20—\x20this\x20template\x20ships\x20no\x20deadline\x20self-heal\x20edge,\x20so\x20a\x20stalled\x20keeper\x20blocks\x20BOTH\x20outcomes\x20at\x20paid.','guardKeyProbe':'threshold_refund','gapPredicate':{'probe':'the\x20abandon\x20self-heal\x20is\x20NOT\x20shipped'},'evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'E3','class':'exception','name':'Keeper\x20stalls\x20at\x20the\x20deadline\x20—\x20the\x20round\x20strands\x20at\x20paid,\x20both\x20outcomes\x20blocked','actor':'keeper','precondition':['E2'],'onchain':'expressible_with_gap','chainFootprint':{'node':'paid','moneyEffect':'none'},'commercialSemantics':'The\x20defect\x20face\x20of\x20the\x20missing\x20self-heal:\x20the\x20missed-refund\x20rail\x20is\x20node-gated\x20to\x20its\x20refund\x20state,\x20so\x20a\x20dead\x20keeper\x20simultaneously\x20blocks\x20the\x20refund\x20and\x20the\x20fulfillment.\x20The\x20disclosed\x20consequence\x20names\x20the\x20fix\x20—\x20a\x20deadline\x20self-heal\x20edge\x20or\x20a\x20buyer-side\x20timeout\x20arm\x20—\x20neither\x20shipped\x20today.','gapPredicate':{'probe':'the\x20abandon\x20self-heal\x20is\x20NOT\x20shipped'},'evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'E4','class':'exception','name':'Leader\x20cancels\x20the\x20round\x20/\x20cannot\x20source\x20after\x20the\x20goal\x20is\x20met','actor':'merchant','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'missed_refunded','forward':'CancelByLeader','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'CURED\x20(wave-3,\x202026-11-06):\x20the\x20archetype\x27s\x20most\x20common\x20real-world\x20failure\x20now\x20has\x20its\x20in-machine\x20exit\x20—\x20CancelByLeader\x20from\x20threshold_settled\x20(pre-sourcing\x20abort)\x20and\x20from\x20sourcing\x20(procurement\x20failure)\x20batch-advances\x20every\x20committed\x20order\x20into\x20missed_refunded,\x20where\x20the\x20SAME\x20missed_refund\x20rail\x20refunds\x20each\x20pledge\x20IN\x20FULL\x20(refund-rail\x20slot\x201001;\x20node-gated\x20tpl_forward_node_check\x20guards,\x20one\x20per\x20exit\x20edge).\x20Below-goal\x20rounds\x20can\x20never\x20ride\x20these\x20edges:\x20threshold_settled/sourcing\x20are\x20only\x20entered\x20through\x20the\x20met\x20threshold\x20(D-BUG-2\x20polarity).','evidence':[]},{'id':'E5','class':'exception','name':'Leader\x20runaway\x20with\x20pre-delivery\x20funds\x20—\x20structurally\x20impossible\x20on\x20this\x20shape','actor':'merchant','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'completed','identity':'permission_index','moneyEffect':'release'},'commercialSemantics':'The\x20real\x20product\x27s\x20leader\x20could\x20withdraw\x20before\x20shipping\x20—\x20the\x20fraud\x20vector\x20behind\x20the\x20headline\x20cases.\x20Here\x20the\x20escrow\x20penetrates\x20to\x20fulfillment:\x20the\x20settling\x20slot\x20must\x20be\x20bound\x20to\x20a\x20different\x20address\x20from\x20the\x20leader\x20slot,\x20so\x20a\x20runaway\x20leader\x20strands\x20the\x20money\x20in\x20escrow\x20instead\x20of\x20walking\x20away\x20with\x20it.\x20The\x20binding\x20is\x20a\x20build-time\x20requirement\x20the\x20disclosure\x20states\x20plainly.','guardKeyProbe':'settle_window_gate','evidence':[{'file':'allocation.move','line':0x1f4,'pattern':'public\x20fun\x20alloc<T>'}]},{'id':'E6','class':'exception','name':'Ghost\x20contribution\x20rows\x20inflate\x20the\x20aggregate\x20(refunded\x20rows\x20keep\x20counting)','actor':'keeper','precondition':['M4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'threshold_settled','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20live\x20cap\x20clamps\x20each\x20row\x20to\x20the\x20order\x27s\x20live\x20allocation\x20balance\x20on\x20chain,\x20so\x20a\x20drained\x20escrow\x20contributes\x20zero\x20automatically\x20—\x20the\x20residual\x20is\x20ledger\x20hygiene:\x20zeroing\x20a\x20withdrawn\x20pledge\x20is\x20the\x20pledger\x20tooling\x27s\x20duty,\x20disclosed,\x20with\x20row-revocation\x20registered\x20as\x20a\x20kernel\x20ask.','guardKeyProbe':'threshold_release','gapPredicate':{'probe':'live\x20cap'},'evidence':[{'file':'repository.move','line':0x36,'pattern':'E_POLICY_WRITE_GUARD_REQUIRED'}]},{'id':'E7','class':'exception','name':'Forged\x20or\x20wallet-keyed\x20contribution\x20row\x20(aggregate\x20inflation\x20attack)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'paid','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20write\x20guard\x27s\x20identity\x20leaf\x20accepts\x20only\x20the\x20order\x20owner\x20or\x20their\x20agent,\x20rows\x20are\x20order-keyed\x20by\x20compile,\x20and\x20the\x20bound-form\x20aggregate\x20reads\x20zero\x20for\x20any\x20row\x20id\x20that\x20is\x20not\x20an\x20order\x20—\x20the\x20placeholder\x20open-write\x20guard\x20that\x20let\x20anyone\x20forge\x20a\x20quorum\x20is\x20cured\x20at\x20both\x20the\x20write\x20and\x20the\x20read.','evidence':[{'file':'repository.move','line':0x36,'pattern':'E_POLICY_WRITE_GUARD_REQUIRED'}]},{'id':'E8','class':'exception','name':'Keeper\x20drives\x20a\x20below-goal\x20round\x20into\x20fulfillment\x20(polarity\x20attack)','actor':'keeper','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'threshold_settled','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Release\x20and\x20refund\x20are\x20opposite\x20node\x20predicates\x20on\x20the\x20same\x20aggregate\x20—\x20the\x20settlement\x20gate\x20aborts\x20while\x20the\x20bound\x20sum\x20is\x20below\x20goal,\x20so\x20the\x20same\x20keeper\x20cannot\x20spend\x20a\x20failed\x20round\x27s\x20escrow\x20on\x20procurement.','guardKeyProbe':'threshold_release','evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'E9','class':'exception','name':'Round\x20with\x20more\x20than\x20one\x20hundred\x20pledgers\x20—\x20roster\x20split\x20across\x20policy\x20keys','actor':'keeper','precondition':['M4'],'onchain':'disclosure_only','disclosureProbe':'splits\x20rows\x20across\x20policy\x20keys','commercialSemantics':'A\x20key\x20with\x20more\x20than\x20one\x20hundred\x20roster\x20rows\x20aborts\x20fail-closed,\x20so\x20giant\x20groups\x20must\x20split\x20across\x20policy\x20keys\x20—\x20a\x20disclosed\x20boundary\x20with\x20an\x20understate-only\x20failure\x20direction\x20(pre-flag\x20rows\x20contribute\x20zero,\x20never\x20extra).','evidence':[]},{'id':'E10','class':'exception','name':'Wrong,\x20missing\x20or\x20short\x20goods\x20—\x20shortfall\x20report\x20or\x20return\x20request\x20inside\x20the\x20after-sales\x20window','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'RequestReturn','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Filing\x20is\x20available\x20from\x20the\x20delivered\x20state\x20and\x20from\x20inside\x20the\x20claim\x20window\x20on\x20separate\x20keys,\x20gated\x20by\x20the\x20closing\x20window\x20plus\x20the\x20order-holder\x20identity\x20set.\x20Reaching\x20the\x20request\x20state\x20establishes\x20the\x20refund\x20right;\x20a\x20lightweight\x20shortfall\x20report\x20rides\x20the\x20same\x20track\x20instead\x20of\x20jumping\x20straight\x20to\x20a\x20dispute.','guardKeyProbe':'return_window_delivered','evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'E11','class':'exception','name':'Fresh\x20goods\x20spoiled\x20—\x20refund-only\x20bad-item\x20compensation\x20(goods\x20never\x20travel\x20back)','actor':'merchant','precondition':['E10'],'onchain':'expressible','chainFootprint':{'node':'refunded','forward':'CompensateBadItem','prev':'return_requested','identity':'named_operator','moneyEffect':'refund'},'commercialSemantics':'The\x20industry\x27s\x20photo-and-compensate\x20convention\x20becomes\x20a\x20leader-written\x20approval\x20row\x20—\x20write-once\x20final\x20evidence\x20carrying\x20the\x20buyer\x27s\x20photo\x20reference\x20—\x20and\x20the\x20after-sales\x20rail\x20pays\x20on\x20the\x20refunded\x20state.\x20A\x20silent\x20staff\x20decision\x20is\x20structurally\x20impossible.','guardKeyProbe':'bad_item_evidence','evidence':[{'file':'repository.move','line':0x3c,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'E12','class':'exception','name':'Return-and-refund\x20via\x20the\x20leader:\x20ship\x20back,\x20staff\x20receipt\x20row,\x20refund','actor':'buyer','precondition':['E10'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ReturnReceived','prev':'return_in_transit','identity':'named_operator','moneyEffect':'refund'},'commercialSemantics':'The\x20three-segment\x20return\x20track\x20ends\x20in\x20the\x20leader\x20staff\x27s\x20RMA\x20receipt\x20row\x20under\x20its\x20own\x20policy;\x20the\x20refund_execute\x20rail\x20pays\x20once\x20the\x20returned\x20state\x20is\x20reached.\x20Distinct\x20keys\x20per\x20segment\x20keep\x20the\x20remedy\x20states\x20unfakeable.','guardKeyProbe':'return_received','evidence':[{'file':'repository.move','line':0x36,'pattern':'E_POLICY_WRITE_GUARD_REQUIRED'}]},{'id':'E13','class':'exception','name':'Return\x20parcel\x20lost\x20in\x20transit\x20—\x20keeper\x20refund\x20after\x20the\x20transit\x20timeout','actor':'keeper','precondition':['E12'],'onchain':'expressible','chainFootprint':{'node':'refunded','forward':'RefundLostReturn','prev':'return_in_transit','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20buyer\x20never\x20carries\x20the\x20return-leg\x20carrier\x20risk:\x20after\x20the\x20timeout\x20the\x20keeper\x20advances\x20the\x20lost\x20parcel\x20into\x20the\x20refunded\x20terminal\x20and\x20the\x20money\x20goes\x20home;\x20the\x20lost\x20parcel\x20itself\x20is\x20the\x20leader\x27s\x20off-chain\x20carrier\x20claim.','guardKeyProbe':'return_transit_timeout','evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'E14','class':'exception','name':'Short\x20box\x20wants\x20a\x20PARTIAL\x20remedy\x20—\x20after_sales_scope\x20selector\x20(full\x20default\x20/\x20declared\x20amount)','actor':'merchant','precondition':['E10'],'onchain':'expressible_with_gap','chainFootprint':{'node':'refunded','forward':'CompensateBadItem','prev':'return_requested','identity':'named_operator','moneyEffect':'refund'},'commercialSemantics':'The\x20default\x20refunds\x20the\x20whole\x20pledge\x20on\x20either\x20remedy\x20path\x20and\x20the\x20quote\x20must\x20promise\x20exactly\x20that;\x20the\x20partial\x20variant\x20pays\x20the\x20declared\x20fixed\x20shortfall\x20figure\x20—\x20the\x20catalog\x27s\x20first\x20absolute-amount\x20rail\x20—\x20while\x20a\x20returned\x20box\x20always\x20refunds\x20in\x20full.\x20Per-order\x20dynamic\x20pro-rata\x20needs\x20the\x20chain\x20Formula\x20mode\x20and\x20stays\x20on\x20the\x20protocol\x20train.','guardKeyProbe':'bad_item_evidence','gapPredicate':{'probe':'never\x20PROMISE\x20a\x20partial\x20refund\x20the\x20build\x20does\x20not\x20carry'},'evidence':[{'file':'allocation.move','line':0xab,'pattern':'const\x20AllocationMode_Amount:u8\x20=\x200'}]},{'id':'E15','class':'exception','name':'Staff\x20forgets\x20the\x20receipt\x20redemption\x20row\x20—\x20the\x20order\x20stalls\x20at\x20confirmed','actor':'fulfiller','precondition':['M8'],'onchain':'expressible_with_gap','chainFootprint':{'node':'confirmed','moneyEffect':'none'},'commercialSemantics':'The\x20composite\x20gate\x20fails\x20closed:\x20a\x20goods-holding\x20neighbor\x20cannot\x20use\x20their\x20own\x20receipt\x20exit\x20and\x20—\x20since\x20the\x20F-33\x20split\x20removed\x20the\x20leader-only\x20path\x20to\x20delivered\x20—\x20the\x20order\x20stalls\x20at\x20confirmed\x20until\x20the\x20row\x20exists.\x20The\x20keeper\x20duty\x20presses\x20the\x20row\x20write;\x20the\x20edge\x20is\x20never\x20downgraded\x20to\x20a\x20staff-only\x20confirmation.','gapPredicate':{'probe':'staff\x20that\x20forgets\x20the\x20row'},'evidence':[{'file':'repository.move','line':0x36,'pattern':'E_POLICY_WRITE_GUARD_REQUIRED'}]},{'id':'E16','class':'exception','name':'Leader\x20self-advances\x20distribution\x20without\x20a\x20real\x20handover\x20(self-declared\x20evidence)','actor':'merchant','precondition':['M6'],'onchain':'expressible_with_gap','chainFootprint':{'node':'confirmed','forward':'DistributeGoods','prev':'sourcing','identity':'named_operator','moneyEffect':'none'},'commercialSemantics':'The\x20attack\x20view\x20of\x20the\x20same\x20topology\x20fact:\x20the\x20write\x20guard\x20proves\x20the\x20signer,\x20nothing\x20proves\x20the\x20parcel\x20—\x20and\x20since\x20the\x20F-33\x20split\x20(D7\x202026-11-10)\x20the\x20phantom\x20advance\x20manufactures\x20only\x20a\x20confirmed\x20state,\x20never\x20a\x20collected\x20one.\x20The\x20buyers\x27\x20hedges\x20are\x20the\x20min-hold\x20window,\x20the\x20after-sales\x20window\x20and\x20third-party\x20arbitration\x20—\x20the\x20residual\x20is\x20disclosed\x20only\x20on\x20the\x20shape\x20role,\x20and\x20the\x20gap\x20probe\x20is\x20strict\x20and\x20expected\x20to\x20MISS\x20until\x20it\x20reaches\x20the\x20corpus.','guardKeyProbe':'distribution_evidence','gapPredicate':{'probe':'distribution\x20evidence\x20is\x20self-declared'},'evidence':[{'file':'progress.move','line':0x124,'pattern':'fun\x20IsNamedOperator'}]},{'id':'E17','class':'exception','name':'Buyer\x20coordinates\x20(phone,\x20address,\x20recipient)\x20live\x20off-chain\x20in\x20chat\x20and\x20dispatch','actor':'platform','precondition':['M2'],'onchain':'unresolvable','unresolvableRef':'S6','disclosureProbe':'buyer\x20coordinates[^\x22]{0,40}live\x20OFF-CHAIN','commercialSemantics':'Delivery\x20coordination\x20happens\x20in\x20the\x20leader\x27s\x20chat\x20or\x20the\x20mini-program\x20order;\x20the\x20declarative\x20required-info\x20field\x20never\x20gates\x20the\x20purchase\x20and\x20the\x20chain\x20holds\x20zero\x20PII.\x20Unlawful\x20personal-information\x20collection\x20is\x20also\x20a\x20regulatory\x20no-no\x20the\x20disclosure\x20flags.','evidence':[{'file':'service.move','line':0x100,'pattern':'customer_required:\x20vector<String>'}]},{'id':'E18','class':'exception','name':'Community\x20organizing\x20—\x20broadcast,\x20follow\x20relations,\x20blocking\x20or\x20dissolving\x20the\x20group','actor':'merchant','precondition':['M1'],'onchain':'unresolvable','unresolvableRef':'S5','disclosureProbe':'never\x20community\x20broadcast','commercialSemantics':'The\x20group\x20is\x20the\x20product\x27s\x20entire\x20reach\x20and\x20remedy\x20channel,\x20and\x20a\x20blocked\x20or\x20dissolved\x20group\x20is\x20exactly\x20how\x20buyers\x20end\x20up\x20money-and-goods\x20stranded\x20in\x20the\x20real\x20world.\x20On\x20chain\x20the\x20organizer\x20cannot\x20cut\x20any\x20money\x20rail\x20by\x20blocking\x20—\x20organizing\x20lives\x20entirely\x20outside\x20the\x20machine,\x20disclosed\x20as\x20a\x20boundary.','evidence':[]},{'id':'E19','class':'exception','name':'Multi-layer\x20reseller\x20distribution\x20with\x20referral\x20commissions','actor':'merchant','precondition':['M2'],'onchain':'not_applicable','disclosureProbe':'Multi-layer\x20commission[^\x22]{0,40}structurally\x20impossible','commercialSemantics':'The\x20real\x20growth\x20engine\x20—\x20supply\x20leader,\x20group\x20leader,\x20reseller\x20leaders\x20plus\x20referral\x20cuts\x20—\x20is\x20also\x20the\x20pyramid-regulation\x20hot\x20zone.\x20On\x20chain\x20there\x20is\x20one\x20leader\x20leg\x20plus\x20one\x20tool-fee\x20leg\x20and\x20structurally\x20no\x20second\x20layer;\x20member\x20rebates\x20are\x20off-chain\x20pass-through\x20from\x20the\x20leader\x27s\x20share.','evidence':[{'file':'allocation.move','line':0x10a,'pattern':'public\x20fun\x20sharing_for_guard_identifier'}]},{'id':'E20','class':'exception','name':'Platform\x20freezes\x20the\x20round\x20or\x20bans\x20the\x20link\x20(violation\x20governance)','actor':'platform','precondition':['M3'],'onchain':'expressible_with_gap','chainFootprint':{'node':'paid','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20publisher\x20can\x20flip\x20the\x20runtime\x20buy\x20switch\x20to\x20refuse\x20NEW\x20entrants,\x20but\x20escrowed\x20pledges\x20of\x20existing\x20buyers\x20have\x20no\x20freeze\x20primitive\x20—\x20deliberately:\x20the\x20platform\x20must\x20never\x20be\x20able\x20to\x20confiscate\x20escrow.\x20Existing\x20buyers\x20keep\x20the\x20deadline\x20polarities\x20and\x20the\x20arbitration\x20exits.\x20The\x20deliberate-no-freeze\x20rationale\x20is\x20not\x20in\x20the\x20corpus\x20yet,\x20so\x20the\x20gap\x20probe\x20is\x20strict\x20and\x20expected\x20to\x20MISS.','gapPredicate':{'probe':'no\x20platform\x20freeze\x20primitive'},'evidence':[{'file':'service.move','line':0x4f1,'pattern':'public\x20fun\x20buy_guard_set'}]},{'id':'R1','class':'remedy','name':'File\x20a\x20third-party\x20arbitration\x20case\x20inside\x20the\x20serial\x20claim\x20window','actor':'buyer','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'claim_window','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Unlike\x20the\x20real\x20product\x27s\x20support\x20desk\x20that\x20cannot\x20touch\x20a\x20leader\x27s\x20refund,\x20filing\x20here\x20opens\x20an\x20independent\x20arbitration\x20case\x20with\x20the\x20fee\x20escrowed\x20at\x20entry.\x20The\x20closing\x20window\x20and\x20the\x20order-holder\x20identity\x20legs\x20ship\x20in\x20the\x20guard\x20root\x20over\x20the\x20254\x20slot.','guardKeyProbe':'claim_filed','evidence':[{'file':'arbitration.move','line':0x22,'pattern':'E_FEE_NOT_ENOUGH'},{'file':'service.move','line':0x271,'pattern':'public\x20fun\x20dispute'}]},{'id':'R2','class':'remedy','name':'Buyer-won\x20ruling\x20—\x20full\x20escrow\x20refund\x20via\x20the\x20claim_closed\x20rail\x20(after\x20the\x20keeper\x27s\x20stamp)','actor':'merchant','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'claim_closed','forward':'ArbRefund','prev':'claim_filed','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'Winning\x20is\x20not\x20the\x20same\x20as\x20being\x20paid:\x20the\x20stamp\x20(an\x20award\x20claim\x20or\x20a\x20keeper\x20conclude)\x20must\x20land\x20before\x20the\x20rail\x20opens,\x20and\x20the\x20six\x20canonical\x20legs\x20read\x20the\x20two-slot\x20root,\x20positive\x20non-zero\x20indemnity,\x20the\x20enforcement\x20stamp,\x20the\x20award\x20floor,\x20and\x20the\x20venue\x20binding.\x20A\x20second\x20won\x20instance\x20covers\x20orders\x20stalled\x20mid-return.','guardKeyProbe':'arb_refund','evidence':[{'file':'arb.move','line':0xa6,'pattern':'public\x20struct\x20Indemnity\x20has\x20copy,\x20drop,\x20store'}]},{'id':'R3','class':'remedy','name':'Dismissed\x20ruling\x20(zero\x20indemnity)\x20—\x20the\x20order\x20resumes\x20to\x20delivered,\x20windows\x20re-anchor','actor':'merchant','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'A\x20leader-favor\x20ruling\x20is\x20decided\x20by\x20the\x20zero-amount\x20predicate\x20alone\x20—\x20never\x20by\x20indemnity\x20presence\x20—\x20and\x20the\x20resumed\x20order\x20re-enters\x20delivered,\x20from\x20which\x20the\x20keeper\x20can\x20open\x20a\x20fresh\x20window\x20on\x20the\x20re-anchored\x20clocks.\x20Nothing\x20is\x20paid;\x20the\x20escrow\x20rides\x20on.','guardKeyProbe':'arb_dismissed_resume','evidence':[{'file':'progress.move','line':0x2e3,'pattern':'public\x20fun\x20next'}]},{'id':'R4','class':'remedy','name':'Buyer\x20withdraws\x20the\x20filed\x20claim\x20—\x20resumes\x20to\x20delivered\x20(goods\x20already\x20handed\x20over)\x20(BANNED\x20-\x20D2\x20no-withdraw\x20doctrine:\x20a\x20filed\x20claim\x20reaches\x20a\x20RULING\x20instead)','actor':'buyer','precondition':['R1'],'onchain':'not_applicable','chainFootprint':{'node':'delivered','prev':'claim_filed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Withdrawal\x20resumes\x20the\x20order\x20instead\x20of\x20paying\x20—\x20a\x20goods-holding\x20buyer\x20and\x20a\x20full\x20refund\x20never\x20share\x20one\x20signature,\x20which\x20is\x20the\x20arbitrage\x20cure\x20the\x20sibling\x20template\x20still\x20owes.\x20Residual\x20honesty:\x20the\x20withdrawal\x20entry\x20sweeps\x20only\x20the\x20case\x20fee\x20balance\x20and\x20never\x20touches\x20the\x20indemnity,\x20the\x20edge\x20carries\x20zero\x20arbitration\x20legs\x20so\x20it\x20is\x20replayable\x20per\x20filing,\x20and\x20the\x20enforcement\x20stamp,\x20once\x20written,\x20outlives\x20the\x20withdrawal.','guardKeyProbe':'withdraw_claim','evidence':[{'file':'arb.move','line':0x257,'pattern':'fun\x20withdraw<T>'},{'file':'arb.move','line':0x266,'pattern':'balance::withdraw_all'},{'file':'arbitration.move','line':0x21a,'pattern':'public\x20fun\x20arb_withdraw'},{'file':'order.move','line':0x79,'pattern':'option::is_none(&self.claimed_by)'},{'file':'order.move','line':0x4d,'pattern':'claimed_by:\x20Option<address>'}]},{'id':'R5','class':'remedy','name':'Compensation\x20payout\x20—\x20chain\x20hard\x20cap\x203x\x20vs\x20the\x20statutory\x20floors\x20(food\x20safety\x20/\x20fraud)','actor':'arbitrator','precondition':['R2'],'onchain':'expressible_with_gap','chainFootprint':{'node':'claim_closed','moneyEffect':'compensate'},'commercialSemantics':'The\x20food-safety\x20floor\x20is\x20ten\x20times\x20the\x20price\x20(or\x20three\x20times\x20the\x20loss,\x20minimum\x20one\x20thousand\x20yuan)\x20and\x20the\x20fraud\x20floor\x20is\x20triple\x20with\x20a\x20minimum\x20—\x20the\x20protocol\x27s\x20three-multiple\x20cap\x20cannot\x20express\x20either,\x20so\x20the\x20catalog\x20escalates\x20instead\x20of\x20silently\x20under-paying.\x20Fund\x20coverage\x20stays\x20advisory:\x20a\x20drained\x20pool\x20fails\x20loudly\x20at\x20claim\x20or\x20buy\x20time.','gapPredicate':{'probe':'3x\x20coverage\x20refusal'},'evidence':[{'file':'arb.move','line':0x15,'pattern':'const\x20MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'}]},{'id':'R6','class':'remedy','name':'Refund\x20payout\x20is\x20two-step\x20—\x20funds\x20land\x20on\x20the\x20order,\x20the\x20buyer\x20extracts','actor':'buyer','precondition':['R2'],'onchain':'expressible','chainFootprint':{'node':'claim_closed','moneyEffect':'refund'},'commercialSemantics':'Every\x20refund\x20row\x20pays\x20the\x20order\x20object,\x20never\x20a\x20wallet:\x20the\x20buyer\x20signs\x20a\x20second\x20extraction\x20call\x20to\x20sweep\x20the\x20funds.\x20The\x20UX\x20must\x20surface\x20that\x20second\x20step\x20—\x20the\x20real\x20product\x27s\x20automatic\x20in-app\x20refund\x20is\x20the\x20contrast\x20the\x20disclosure\x20names.','evidence':[{'file':'order.move','line':0x15e,'pattern':'public\x20fun\x20owner_receive'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'R7','class':'remedy','name':'Award/principal\x20pairing\x20residual\x20—\x20draw\x20the\x20principal\x20BEFORE\x20claiming\x20the\x20fund\x20award','actor':'buyer','precondition':['R5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'claim_closed','moneyEffect':'refund'},'commercialSemantics':'The\x20enforcement\x20stamp\x20is\x20direction-blind\x20—\x20it\x20records\x20the\x20payout\x20event,\x20never\x20who\x20won\x20—\x20and\x20a\x20buyer\x20who\x20claims\x20the\x20award\x20first\x20flips\x20the\x20pairing\x20state\x20so\x20the\x20leader-recovery\x20rail\x20sweeps\x20the\x20principal\x20away.\x20The\x20ordering\x20rule\x20lives\x20on\x20the\x20allocator\x20row\x20and\x20the\x20claim\x20state\x27s\x20role,\x20both\x20outside\x20the\x20probe\x20corpus,\x20so\x20the\x20gap\x20probe\x20is\x20strict\x20and\x20expected\x20to\x20MISS.','gapPredicate':{'probe':'draw\x20the\x20principal\x20BEFORE\x20claiming\x20the\x20award'},'evidence':[{'file':'allocation.move','line':0x50,'pattern':'const\x20E_ONCE_TRIGGERED:\x20u64\x20=\x2016'}]},{'id':'R8','class':'remedy','name':'Platform\x20advance\x20compensation\x20when\x20the\x20leader\x20is\x20unreachable\x20(platform-first\x20liability)','actor':'platform','precondition':['R1'],'onchain':'expressible_with_gap','chainFootprint':{'node':'claim_closed','moneyEffect':'compensate'},'commercialSemantics':'When\x20the\x20platform\x20cannot\x20produce\x20the\x20seller\x27s\x20real\x20name,\x20address\x20and\x20valid\x20contact,\x20the\x20liability\x20shifts\x20to\x20the\x20platform\x20first\x20—\x20precisely\x20the\x20real\x20product\x27s\x20dead-phone,\x20ask-the-leader\x20runaround.\x20The\x20service\x20compensation\x20fund\x20can\x20express\x20the\x20advance\x20payout;\x20the\x20gap\x20is\x20the\x20recovery\x20from\x20the\x20leader\x20afterwards,\x20an\x20off-chain\x20compliance\x20surface\x20with\x20no\x20chain\x20primitive.','gapPredicate':{'probe':'compliance\x20surface'},'evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'R9','class':'remedy','name':'Regulatory\x20and\x20criminal\x20remedies\x20—\x20regulator\x20complaint,\x20fraud\x20report,\x20litigation','actor':'buyer','precondition':['R8'],'onchain':'disclosure_only','disclosureProbe':'Flag\x20the\x20compliance\x20surface','commercialSemantics':'The\x20real\x20product\x27s\x20worst\x20cases\x20ended\x20in\x20contract-fraud\x20arrests\x20over\x20undelivered,\x20unrefunded\x20pledges;\x20small-claims\x20litigation\x20is\x20uneconomic\x20for\x20most\x20buyers.\x20None\x20of\x20the\x20regulator\x20or\x20police\x20procedure\x20is\x20chain-expressible\x20—\x20the\x20disclosure\x20flags\x20the\x20compliance\x20surface\x20instead.','evidence':[]},{'id':'R10','class':'remedy','name':'Leader\x20as\x20the\x20statutory\x20seller\x20—\x20operator\x20liability,\x20licensing,\x20food-safety\x20first\x20responsibility','actor':'merchant','precondition':['E11'],'onchain':'disclosure_only','disclosureProbe':'food-safety\x20traceability\x20for\x20fresh\x20goods','commercialSemantics':'When\x20the\x20leader\x20is\x20the\x20seller\x20they\x20carry\x20independent\x20operator\x20liability\x20—\x20the\x20publish-as-merchant\x20role\x20mapping\x20makes\x20the\x20leader\x20the\x20service\x20owner\x20on\x20chain,\x20matching\x20the\x20statutory\x20first-responsibility\x20doctrine;\x20licensing\x20and\x20traceability\x20stay\x20off-chain\x20compliance\x20the\x20disclosure\x20flags.','evidence':[{'file':'service.move','line':0x1c9,'pattern':'public\x20fun\x20buy<T>'}]},{'id':'P1','class':'post','name':'Review\x20submission\x20—\x20completed\x20to\x20reviewed,\x20closing\x20days\x20after\x20the\x20delivered\x20entry','actor':'buyer','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'SubmitReview','prev':'completed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20review\x20rail\x20is\x20money-free\x20by\x20topology,\x20needs\x20the\x20order-keyed\x20rating\x20row\x20to\x20exist,\x20carries\x20a\x20delivered-entry\x20history\x20leg,\x20and\x20closes\x20a\x20fixed\x20number\x20of\x20days\x20after\x20the\x20delivered\x20entry.\x20Refund\x20terminals\x20can\x20never\x20reach\x20review\x20—\x20a\x20refunded\x20order\x20can\x20neither\x20review\x20nor\x20claim\x20a\x20bounty.','guardKeyProbe':'review_submit','evidence':[{'file':'repository.move','line':0x3c,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'P2','class':'post','name':'Review\x20reward\x20claim\x20—\x20per-claim\x20bounty,\x20rating\x20floor,\x20window\x20opens\x20after\x20the\x20return\x20window','actor':'buyer','precondition':['P1'],'onchain':'expressible','chainFootprint':{'node':'reviewed','moneyEffect':'reward'},'commercialSemantics':'The\x20reward\x20track\x20ships\x20on\x20by\x20default:\x20a\x20funded\x20pool,\x20a\x20per-claim\x20bounty\x20above\x20the\x20claim-gas\x20floor,\x20and\x20an\x20opening\x20delay\x20kept\x20deliberately\x20above\x20the\x20after-sales\x20window\x20so\x20claim-the-bounty-then-return\x20arbitrage\x20stays\x20dead.\x20The\x20reward\x20terminal\x20is\x20bound\x20to\x20both\x20the\x20reviewed\x20node\x20and\x20the\x20settlement\x20terminal\x20so\x20settlement\x20cannot\x20strand\x20a\x20claim.','evidence':[{'file':'reward.move','line':0xe3,'pattern':'public\x20fun\x20claim<T>'}]},{'id':'P3','class':'post','name':'Rest\x20after\x20review\x20—\x20the\x20reviewed\x20bookkeeping\x20exit\x20back\x20to\x20the\x20drained\x20completed\x20terminal','actor':'buyer','precondition':['P1'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'RestAfterReview','prev':'reviewed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'A\x20silent\x20or\x20satisfied\x20reviewer\x20always\x20has\x20a\x20settled\x20terminal\x20to\x20rest\x20on\x20—\x20no\x20reviewed\x20order\x20strands\x20without\x20an\x20exit.\x20The\x20drained\x20pool\x20absorbs\x20any\x20replayed\x20money\x20leg\x20as\x20a\x20no-op;\x20the\x20once-slot\x20abort\x20is\x20the\x20loud\x20boundary.','evidence':[{'file':'allocation.move','line':0x50,'pattern':'const\x20E_ONCE_TRIGGERED:\x20u64\x20=\x2016'}]},{'id':'P4','class':'post','name':'Leader\x20passes\x20member\x20rebates\x20off-chain\x20from\x20their\x20share\x20(red\x20packets,\x20cashback)','actor':'merchant','precondition':['M10'],'onchain':'disclosure_only','disclosureProbe':'member\x20rebates\x20are\x20OFF-CHAIN\x20pass-through','commercialSemantics':'Private-domain\x20upkeep\x20—\x20red\x20packets\x20and\x20cashback\x20for\x20neighbors\x20—\x20is\x20paid\x20off-chain\x20out\x20of\x20the\x20leader\x27s\x20single\x20leg.\x20The\x20chain\x20will\x20never\x20carry\x20a\x20second\x20commission\x20layer;\x20the\x20disclosure\x20says\x20exactly\x20that.','evidence':[{'file':'allocation.move','line':0x271,'pattern':'Recipient::Entity'}]},{'id':'P5','class':'post','name':'Repurchase\x20—\x20the\x20next\x20round\x20as\x20a\x20fresh\x20campaign\x20instance','actor':'buyer','precondition':['M10'],'onchain':'expressible_with_gap','chainFootprint':{'node':'paid','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'The\x20absolute\x20deadline\x20is\x20a\x20service-level\x20constant,\x20so\x20round\x20rotation\x20means\x20a\x20fresh\x20campaign\x20instance\x20each\x20time\x20—\x20there\x20is\x20no\x20cross-round\x20machine\x20reuse.\x20The\x20trust\x20graph\x20(follows,\x20membership)\x20carries\x20over\x20off-chain,\x20disclosed\x20as\x20the\x20S5-adjacent\x20boundary.','gapPredicate':{'probe':'ABSOLUTE\x20SHARED\x20DEADLINE'},'evidence':[{'file':'service.move','line':0x1c9,'pattern':'public\x20fun\x20buy<T>'}]},{'id':'P6','class':'post','name':'Leader\x27s\x20margin\x20lands\x20at\x20settlement\x20—\x20inside\x20the\x20single\x20disclosed\x20leg,\x20no\x20second\x20layer','actor':'merchant','precondition':['M10'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'release'},'commercialSemantics':'The\x20margin\x20is\x20embedded\x20in\x20the\x20pledge\x20pricing\x20—\x20the\x20leg\x20is\x20the\x20round\x27s\x20reimbursement\x20plus\x20margin,\x20since\x20the\x20leader\x20already\x20spent\x20the\x20sourcing\x20money\x20off-chain.\x20One\x20layer,\x20tool\x20fee\x20zero\x20by\x20default,\x20rates\x20summing\x20to\x20the\x20whole,\x20all\x20visible\x20on\x20the\x20quote.','guardKeyProbe':'settle_window_gate','evidence':[{'file':'allocation.move','line':0x271,'pattern':'Recipient::Entity'}]}],'invariants':[{'id':'INV-KTT-LEADERCANCEL','statement':'The\x20real\x20archetype\x27s\x20most\x20common\x20failure\x20is\x20a\x20leader\x20cancel\x20or\x20sourcing\x20failure\x20after\x20the\x20goal\x20is\x20met,\x20and\x20the\x20real\x20rules\x20give\x20the\x20supply\x20leader\x20the\x20proactive\x20refund\x20right;\x20the\x20template\x20must\x20always\x20ship\x20a\x20CancelByLeader\x20exit\x20from\x20the\x20post-threshold\x20states\x20so\x20the\x20funded\x20round\x20can\x20end\x20in\x20full\x20refunds\x20instead\x20of\x20a\x20stranded\x20escrow.\x20Standing\x20check\x20(CURED\x202026-11-06,\x20wave-3):\x20both\x20exits\x20are\x20mounted\x20(threshold_settled\x20->\x20missed_refunded\x20and\x20sourcing\x20->\x20missed_refunded,\x20refund-rail\x20slot\x201001,\x20node-gated\x20tpl_forward_node_check)\x20—\x20deleting\x20the\x20forward\x20re-fires\x20this\x20invariant.','violation':{'whileMissingForward':'CancelByLeader'},'evidence':[]},{'id':'INV-KTT-ARBCAP','statement':'The\x20protocol\x20caps\x20the\x20arbitration\x20indemnity\x20at\x20three\x20times\x20the\x20order\x20amount,\x20while\x20the\x20statutory\x20floors\x20are\x20ten\x20times\x20the\x20price\x20or\x20three\x20times\x20the\x20loss\x20with\x20a\x20minimum\x20for\x20food-safety\x20cases,\x20and\x20triple\x20with\x20a\x20separate\x20minimum\x20for\x20fraud\x20—\x20the\x20cap\x20constant\x20cannot\x20express\x20either\x20floor,\x20so\x20a\x20compliant\x20ruling\x20regime\x20needs\x20an\x20escalation\x20disclosure\x20or\x20a\x20protocol\x20raise,\x20never\x20a\x20silent\x20cap.','chainConflict':'indemnity\x20cap\x20multiple\x20(3)\x20is\x20BELOW\x20the\x20statutory\x20compensation\x20floors\x20(10x\x20price\x20/\x203x\x20loss\x20with\x20minimum\x20for\x20food\x20safety;\x203x\x20with\x20minimum\x20for\x20fraud)','evidence':[{'file':'arb.move','line':0x15,'pattern':'const\x20MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'}]}]};