@wowok/agent-mcp 3.4.3 → 3.4.4

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

@@ -0,0 +1 @@
+export const HACKERONE_ORACLE={'productRef':'hackerone','products':['hackerone','bugcrowd','intigriti','code4rena','vulbox','google-oss-vrp'],'oracleVersion':'1.1.0','steps':[{'id':'M1','class':'offchain','name':'Discover\x20the\x20program:\x20read\x20the\x20brief,\x20scope/RoE\x20and\x20the\x20bounty\x20table','actor':'fulfiller','precondition':[],'onchain':'not_applicable','commercialSemantics':'Program\x20discovery\x20is\x20pure\x20off-chain\x20catalog\x20browsing:\x20the\x20scope\x20(in-scope\x20assets),\x20the\x20rules\x20of\x20engagement\x20and\x20the\x20severity-to-bounty\x20table\x20live\x20in\x20the\x20program\x20brief\x20(a\x20WIP\x20listing),\x20never\x20on\x20chain.','evidence':[]},{'id':'M2','class':'offchain','name':'Vulnerability\x20research\x20and\x20proof-of-concept\x20inside\x20the\x20RoE','actor':'fulfiller','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'The\x20actual\x20security\x20research\x20—\x20probing,\x20exploit\x20development,\x20writing\x20the\x20report\x20—\x20is\x20human\x20(or\x20agent)\x20labor\x20with\x20no\x20chain\x20footprint\x20by\x20design;\x20the\x20first\x20chain\x20act\x20is\x20the\x20report\x20evidence\x20write\x20(M4).','evidence':[]},{'id':'M3','class':'main','name':'Company\x20funds\x20a\x20max-tier\x20bounty\x20intake\x20order\x20(worst-case\x20pool)','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'funded','moneyEffect':'escrow_in'},'commercialSemantics':'Severity\x20is\x20unknown\x20at\x20buy,\x20so\x20the\x20company\x20escrows\x20the\x20CRITICAL\x20(max)\x20amount\x20in\x20one\x20atomic\x20transaction;\x20lower-severity\x20outcomes\x20pay\x20the\x20hunter\x27s\x20tier\x20and\x20an\x20explicit\x20complementary\x20company\x20Rate\x20returns\x20the\x20remainder\x20—\x20never\x20an\x20uncapped\x20surplus\x20sweep.\x20The\x20intake\x20escrow\x20is\x20per-report,\x20not\x20a\x20program-wide\x20retainer.','evidence':[{'file':'allocation.move','line':0x1af,'pattern':'assert!(total_rate\x20==\x2010000,\x20ERATE_NOT_10000)'}]},{'id':'M4','class':'main','name':'Hunter\x20submits\x20the\x20report\x20(write-once\x20evidence\x20row\x20bound\x20to\x20the\x20reporter)','actor':'fulfiller','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'submitted','forward':'SubmitReport','prev':'funded','identity':'signer','moneyEffect':'none'},'commercialSemantics':'Submission\x20writes\x20the\x20report\x20row\x20to\x20the\x20evidence\x20Repository\x27s\x20\x27report\x27\x20policy\x20BEFORE\x20the\x20forward\x20passes:\x20order-keyed,\x20value\x20=\x20the\x20hunter\x27s\x20address,\x20under\x20the\x20hunter-bound\x20allowlist\x20write\x20guard\x20(write_once\x20makes\x20it\x20final).\x20The\x20recorded\x20reporter\x20is\x20the\x20anchor\x20the\x20settle\x20Signer-binding\x20leg\x20later\x20compares\x20the\x20claimant\x20against\x20—\x20a\x20third\x20party\x20cannot\x20front-run\x20the\x20claim.\x20The\x20report\x20artifact\x20itself\x20rides\x20the\x20program\x20brief\x27s\x20pinned\x20WIP.','guardKeyProbe':'submit_evidence','evidence':[{'file':'repository.move','line':0x223,'pattern':'assert!(!write_once,\x20E_POLICY_WRITE_ONCE_CONFLICT)'}]},{'id':'M5','class':'main','name':'Triager\x20grades:\x20writes\x20the\x20severity\x20band\x20to\x20the\x20single\x20write-once\x20policy','actor':'platform','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'submitted','moneyEffect':'none'},'commercialSemantics':'The\x20independent\x20triager\x20(slot\x201001,\x20disjoint\x20from\x20funder\x20and\x20hunter)\x20grades\x20the\x20report\x20and\x20writes\x20the\x20severity\x20band\x20(U64\x201..4)\x20to\x20the\x20single\x20write-once\x20\x27triage_band\x27\x20policy\x20keyed\x20by\x20the\x20order\x20—\x20one\x20write\x20per\x20order,\x20re-grading\x20aborts\x2024.\x20The\x20order\x20rests\x20at\x20\x27submitted\x27\x20while\x20the\x20band\x20is\x20written;\x20the\x20write\x20precedes\x20and\x20feeds\x20the\x20ruling\x20forward\x20(M6).','evidence':[{'file':'repository.move','line':0x3c,'pattern':'const\x20E_POLICY_WRITE_ONCE_CONFLICT:\x20u64\x20=\x2024'}]},{'id':'M6','class':'main','name':'TriageValid:\x20the\x20triager\x20rules\x20the\x20report\x20valid\x20(submitted\x20->\x20settled)','actor':'platform','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'settled','forward':'TriageValid','prev':'submitted','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Validation\x20is\x20an\x20explicit\x20independent-triager\x20ruling,\x20project-bound\x20so\x20a\x20sibling\x20program\x27s\x20passport\x20cannot\x20rule\x20here.\x20No\x20timeout\x20exists\x20on\x20this\x20edge:\x20silence\x20never\x20auto-validates,\x20never\x20auto-rejects,\x20never\x20auto-pays\x20—\x20the\x20deliberate\x20opposite\x20polarity\x20of\x20agent-task\x27s\x20silence-favors-the-worker\x20release.','guardKeyProbe':'triage_valid','evidence':[{'file':'progress.move','line':0x153,'pattern':'option::is_some(permission_index),\x20E_PERMISSION_NOT_DEFINED'}]},{'id':'M7','class':'main','name':'Hunter\x20claims\x20the\x20severity-tiered\x20bounty\x20(dynamic\x20Signer\x20payout)','actor':'fulfiller','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'settled','moneyEffect':'release'},'commercialSemantics':'The\x20bounty\x20pays\x20on\x20VALIDATION,\x20not\x20on\x20the\x20company\x27s\x20internal\x20remediation.\x20Four\x20static\x20tier\x20allocators\x20(settle_critical/high/medium/low)\x20range-scan\x20disjoint\x20[min,max)\x20bands\x20over\x20the\x20ONE\x20write-once\x20triage_band\x20policy\x20plus\x20a\x20Signer-binding\x20leg\x20(context(Signer)\x20==\x20the\x20recorded\x20reporter),\x20so\x20exactly\x20one\x20tier\x20can\x20ever\x20fire\x20and\x20only\x20the\x20true\x20hunter\x20can\x20sign\x20it;\x20the\x20complementary\x20company\x20Rate\x20sweeps\x20the\x20unfunded\x20remainder\x20back.\x20The\x20tier\x20guards\x20node-gate\x20{settled,\x20reviewed,\x20completed},\x20so\x20post-award\x20bookkeeping\x20(M8/M9)\x20never\x20strands\x20an\x20unclaimed\x20bounty.','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':'M8','class':'main','name':'Optional\x20post-award\x20review\x20record\x20(program\x20bookkeeping\x20side\x20stop)','actor':'platform','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'RecordReview','prev':'settled','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'RecordReview\x20is\x20the\x20TRIAGER\x27s\x20bookkeeping\x20marker\x20(operator\x20\x27merchant\x27,\x20slot\x201001,\x20no\x20money\x20moves)\x20—\x20not\x20a\x20buyer\x20star-review\x20and\x20not\x20a\x20second\x20acceptance\x20gate;\x20review_mode\x20stays\x20\x27none\x27\x20and\x20the\x20hunter\x27s\x20reputation\x20rides\x20the\x20on-chain\x20severity\x20rulings\x20instead.\x20Optional:\x20the\x20triager\x20may\x20close\x20straight\x20from\x20settled.','evidence':[{'file':'progress.move','line':0x151,'pattern':'if\x20(IsNamedOperator(self,\x20namedOperator,\x20order,\x20ctx))\x20{\x20return\x20}'}]},{'id':'M9','class':'main','name':'Close\x20the\x20program\x20intake\x20at\x20completed\x20(lifecycle\x20terminus)','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'CloseProgram','prev':'settled','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'The\x20triager\x20closes\x20the\x20intake\x20order\x27s\x20books,\x20straight\x20from\x20settled\x20(CloseProgram)\x20or\x20after\x20the\x20review\x20record\x20(CloseProgramAfterReview\x20from\x20reviewed)\x20—\x20the\x20pool\x20is\x20already\x20empty,\x20so\x20this\x20is\x20a\x20lifecycle\x20end\x20marker\x20that\x20moves\x20no\x20money\x20and\x20never\x20invalidates\x20the\x20still-live\x20settle\x20rail.','evidence':[]},{'id':'E1','class':'exception','name':'Triage\x20REJECT:\x20not-applicable\x20/\x20informative\x20/\x20invalid\x20folded\x20into\x20one\x20ruling','actor':'platform','precondition':['M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'rejected','forward':'TriageReject','prev':'submitted','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20real\x20product\x20distinguishes\x20not-applicable,\x20informative\x20and\x20invalid\x20outcomes\x20(different\x20program\x20metrics\x20and\x20hunter\x20signals);\x20the\x20template\x20folds\x20all\x20three\x20into\x20ONE\x20rejected\x20terminal\x20with\x20a\x20full\x20order-anchored\x20refund.\x20The\x20ruling\x20is\x20explicit\x20—\x20never\x20a\x20timeout\x20default\x20—\x20so\x20silence\x20cannot\x20strip\x20a\x20hunter.\x20The\x20fold\x20is\x20a\x20measurement\x20loss,\x20not\x20a\x20money\x20loss;\x20the\x20corpus\x20must\x20disclose\x20that\x20the\x20three\x20outcomes\x20are\x20inseparable\x20on-chain.\x20DISCLOSED\x20(stage2\x20#16,\x20v198):\x20the\x20TRIAGE-REJECT\x20RESOLUTION\x20FOLD\x20build_note\x20ships\x20the\x20fold\x20disclosure\x20verbatim\x20—\x20the\x20probe\x20hits,\x20the\x20gap_undisclosed\x20face\x20is\x20closed,\x20and\x20the\x20probe\x20stays\x20strict\x20(removing\x20the\x20note\x20re-fires\x20it).','guardKeyProbe':'triage_reject','gapPredicate':{'probe':'not-applicable\x20/\x20informative'},'evidence':[]},{'id':'E2','class':'exception','name':'TriageDuplicate:\x20a\x20duplicate\x20report\x20refunds\x20without\x20paying\x20a\x20second\x20bounty','actor':'platform','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'duplicate','forward':'TriageDuplicate','prev':'submitted','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'Duplicate\x20is\x20its\x20own\x20terminal\x20(separate\x20from\x20rejected)\x20so\x20programs\x20can\x20measure\x20duplicate\x20noise;\x20the\x20ruling\x20is\x20triager-only\x20—\x20the\x20company\x20can\x20never\x20declare\x20a\x20filed\x20report\x20a\x20duplicate\x20on\x20its\x20own\x20to\x20reclaim\x20the\x20escrow.\x20The\x20refund\x20is\x20the\x20same\x20order-anchored\x20full\x20rail.','guardKeyProbe':'triage_duplicate','evidence':[]},{'id':'E3','class':'exception','name':'Hunter\x20withdraws;\x20the\x20triager\x20confirms\x20the\x20retraction\x20on\x20chain','actor':'fulfiller','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'withdrawn','forward':'ConfirmWithdrawal','prev':'submitted','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'The\x20retraction\x20evidence\x20lives\x20off-chain\x20(a\x20Messenger\x20notice\x20from\x20the\x20reporter);\x20the\x20CONFIRMATION\x20is\x20an\x20explicit\x20triager\x20action,\x20so\x20a\x20company-side\x20withdrawal\x20can\x20never\x20strip\x20a\x20hunter\x20who\x20filed\x20real\x20work.\x20Silence\x20never\x20withdraws\x20a\x20report.','guardKeyProbe':'triage_withdraw','evidence':[]},{'id':'E4','class':'exception','name':'Company\x20cancels\x20the\x20intake\x20before\x20any\x20report\x20is\x20submitted','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelBeforeSubmit','prev':'funded','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'An\x20abandoned\x20or\x20ghost\x20intake\x20order\x20needs\x20a\x20single-hop\x20payer\x20exit:\x20pre-submission\x20the\x20company\x20may\x20void\x20and\x20take\x20the\x20full\x20order-anchored\x20refund.\x20Post-submission\x20outcomes\x20route\x20to\x20the\x20triager\x20terminals,\x20never\x20here\x20—\x20the\x20refund\x20and\x20a\x20bounty\x20payout\x20can\x20never\x20both\x20fire.','evidence':[]},{'id':'E7','class':'exception','name':'Triage\x20stall\x20beyond\x20the\x20SLA\x20window\x20(silence\x20never\x20auto-pays)','actor':'fulfiller','precondition':['M4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'submitted','moneyEffect':'none'},'commercialSemantics':'triage_window_days\x20(5)\x20is\x20a\x20keeper/dispute\x20SLA\x20anchor,\x20NOT\x20an\x20auto-pay\x20timer:\x20if\x20the\x20triager\x20stalls,\x20the\x20order\x20simply\x20stays\x20at\x20\x27submitted\x27\x20and\x20the\x20hunter\x27s\x20recourse\x20is\x20Arbitration\x20—\x20a\x20dispute\x20—\x20not\x20a\x20keeper\x20auto-award.\x20CURED\x20(wave-3,\x202026-11-06):\x20the\x20escalation\x27s\x20execution\x20is\x20in-machine\x20—\x20the\x20arb_refund_triage_stall\x20rail\x20(ArbRefund,\x20submitted\x20->\x20closed_cancel,\x20tpl_forward_arb_ruling_won)\x20re-routes\x20the\x20intact\x20escrow\x20when\x20the\x20ruled\x20outcome\x20is\x20against\x20the\x20report.\x20A\x20hunter-FAVORABLE\x20validity\x20ruling\x20still\x20routes\x20through\x20the\x20triager\x27s\x20grade+validate\x20(the\x20triage_band\x20write\x20stays\x20triager-pinned;\x20see\x20R4\x20for\x20the\x20fund\x20asymmetry).','gapPredicate':{'probe':'SILENCE\x20NEVER\x20AUTO-PAYS'},'evidence':[]},{'id':'E8','class':'exception','name':'Code-of-conduct\x20violation\x20/\x20AI-spam\x20flood:\x20account\x20governance','actor':'platform','precondition':['M2'],'onchain':'disclosure_only','commercialSemantics':'The\x20real\x20product\x20bans\x20accounts\x20for\x20CoC\x20violations\x20and\x20rate-limits\x20or\x20filters\x20AI-generated\x20report\x20spam.\x20On-chain\x20there\x20is\x20no\x20report-side\x20ban\x20primitive:\x20the\x20buy-side\x20blocklist\x20guard\x20gates\x20PURCHASE\x20eligibility\x20(funder/triager/hunter\x20disjointness),\x20not\x20submission\x20eligibility,\x20and\x20the\x20registered-hunter\x20allowlist\x20is\x20the\x20only\x20admission\x20control.\x20Account\x20governance\x20stays\x20platform-side\x20—\x20DISCLOSED:\x20the\x20ACCOUNT\x20BANNING\x20STAYS\x20PLATFORM-SIDE\x20build_note\x20ships\x20in\x20the\x20corpus\x20(wave-3\x20v178);\x20the\x20strict\x20probe\x20is\x20retained\x20as\x20a\x20regression\x20tripwire\x20(removing\x20the\x20note\x20re-fires\x20ORACLE-DISC).','disclosureProbe':'blocklist|account\x20ban|banning|suspend|spam','evidence':[]},{'id':'E9','class':'exception','name':'Out-of-scope\x20/\x20RoE-violating\x20report\x20is\x20rejected\x20(independent\x20ledger)','actor':'platform','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'rejected','forward':'TriageReject','prev':'submitted','identity':'permission_index','moneyEffect':'refund'},'commercialSemantics':'A\x20report\x20outside\x20the\x20program\x20scope\x20is\x20an\x20explicit\x20triager\x20rejection\x20with\x20the\x20standard\x20full\x20refund;\x20the\x20write-once\x20evidence\x20Repository\x20keeps\x20the\x20attempt\x20on\x20the\x20hunter\x27s\x20record,\x20so\x20scope-gaming\x20attempts\x20are\x20auditable\x20even\x20though\x20the\x20escrow\x20returns.','guardKeyProbe':'triage_reject','evidence':[]},{'id':'E10','class':'exception','name':'AI-hallucination\x20report\x20flood\x20hits\x20the\x20reject\x20terminal\x20(per-report\x20intake)','actor':'fulfiller','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'rejected','forward':'TriageReject','prev':'submitted','moneyEffect':'refund'},'commercialSemantics':'Intake\x20is\x20PER-REPORT\x20(one\x20escrowed\x20order\x20each),\x20so\x20a\x20flood\x20costs\x20the\x20attacker\x20nothing\x20on-chain\x20but\x20also\x20wins\x20nothing:\x20each\x20hallucinated\x20report\x20needs\x20the\x20triager\x27s\x20explicit\x20ruling\x20before\x20any\x20money\x20moves,\x20and\x20the\x20refund\x20returns\x20the\x20company\x27s\x20own\x20escrow.\x20The\x20economic\x20dampener\x20is\x20the\x20triager\x27s\x20time,\x20not\x20a\x20chain\x20primitive.','evidence':[]},{'id':'E11','class':'exception','name':'Needs-info\x20loop\x20deliberately\x20absent\x20(a\x20report\x20is\x20graded\x20once)','actor':'platform','precondition':['M4'],'onchain':'disclosure_only','commercialSemantics':'The\x20real\x20product\x27s\x20triage\x20can\x20request\x20more\x20information\x20before\x20ruling.\x20The\x20template\x20grades\x20ONCE:\x20no\x20needs_info\x20request/provide\x20loop\x20exists\x20because\x20no\x20counter-backed\x20guard\x20can\x20bound\x20a\x20visit\x20loop\x20(the\x20progress\x20layer\x20bounds\x20EDGE\x20count,\x20never\x20VISIT\x20count;\x20Repository\x20counters\x20are\x20writable\x20by\x20the\x20constrained\x20party).\x20A\x20triager\x20rules\x20from\x20\x27submitted\x27\x20and\x20the\x20hunter\x20escalates\x20to\x20Arbitration\x20instead.','disclosureProbe':'NO\x20REVISION\x20LOOP|needs_info','evidence':[{'file':'machine.move','line':0x15,'pattern':'const\x20MAX_FORWARD_ORDER_COUNT:\x20u64\x20=\x2020'}]},{'id':'E5','class':'remedy','name':'Severity\x20dispute:\x20the\x20hunter\x20contests\x20the\x20grade\x20in\x20Arbitration','actor':'fulfiller','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'settled','moneyEffect':'none'},'commercialSemantics':'A\x20disputed\x20report\x20gets\x20NO\x20machine\x20state\x20(R-M1-11:\x20a\x20case_open\x20node\x20is\x20forbidden):\x20the\x20order\x20STAYS\x20at\x20whatever\x20node\x20it\x20rested\x20on\x20(settled/reviewed\x20for\x20an\x20award\x20challenge)\x20and\x20the\x20keeper\x20opens\x20and\x20records\x20the\x20Arb\x20case\x20off-machine.\x20The\x20case\x20itself\x20rides\x20the\x20Service\x27s\x20bound\x20Arbitration\x20object\x20with\x20its\x20own\x20filing\x20window\x20and\x20venue\x20readiness\x20(a\x20paused\x20venue\x20rejects\x20every\x20filing).','evidence':[]},{'id':'E6','class':'remedy','name':'Bounty\x20non-payment\x20/\x20wrongful-reject\x20dispute\x20filed\x20in\x20Arbitration','actor':'fulfiller','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'settled','moneyEffect':'none'},'commercialSemantics':'The\x20same\x20off-machine\x20case\x20track\x20for\x20\x27I\x20filed\x20real\x20work\x20and\x20got\x20nothing\x27:\x20the\x20escrow\x20principal\x20is\x20intact\x20only\x20while\x20the\x20report\x20is\x20ungraded\x20or\x20graded-valid;\x20after\x20a\x20REJECT\x20refund\x20the\x20money\x20has\x20already\x20left,\x20which\x20is\x20exactly\x20the\x20asymmetry\x20R4\x20discloses.\x20Dispute\x20pricing\x20is\x20near-zero\x20(arbitration_fee_usd\x200)\x20so\x20the\x20small-report\x20tail\x20is\x20not\x20priced\x20out.','evidence':[]},{'id':'R1','class':'remedy','name':'Four-terminal\x20refund\x20rail\x20(rejected\x20/\x20closed_cancel\x20/\x20duplicate\x20/\x20withdrawn)','actor':'buyer','precondition':['E4'],'onchain':'expressible','chainFootprint':{'node':'rejected','moneyEffect':'refund'},'commercialSemantics':'One\x20n-ary\x20node-gated\x20refund\x20allocator\x20covers\x20the\x20FULL\x20refundable\x20set\x20{rejected,\x20closed_cancel,\x20duplicate,\x20withdrawn}:\x20GuardIdentifier(0)\x20resolves\x20to\x20the\x20paying\x20Order\x20(ERECIPIENT_NOT_FOR_OBJECT\x20makes\x20redirection\x20structurally\x20impossible)\x20and\x20the\x20company\x20claims\x20via\x20the\x20two-step\x20order\x20receive.\x20The\x20node\x20gate\x20is\x20mandatory\x20—\x20an\x20identity-only\x20refund\x20guard\x20would\x20let\x20the\x20company\x20drain\x20the\x20escrow\x20at\x20open\x20—\x20and\x20the\x20rails\x20stay\x20node-disjoint\x20from\x20the\x20settle\x20tiers\x20(never\x20both\x20fire).','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(H1B\x20surgery\x20tombstone;\x20subsumed\x20by\x20settle\x20+\x20refund)','actor':'platform','precondition':['M7'],'onchain':'not_applicable','commercialSemantics':'The\x20former\x20recover_gate\x20(terminal-node-gated\x20company\x20sweep\x20over\x20{completed,\x20...})\x20was\x20DELETED\x20as\x20fully\x20subsumed:\x20its\x20node\x20set\x20intersected\x20settle\x20and\x20refund\x20on\x20every\x20terminal\x20(a\x20first-to-fire\x20double-exit,\x20and\x20a\x20guaranteed\x20abort\x20on\x20the\x20empty\x20post-award\x20pool).\x20Successor\x20semantics:\x20the\x20complementary\x20company\x20Rate\x20legs\x20return\x20the\x20unawarded\x20remainder\x20at\x20settle\x20time,\x20the\x20settle\x20tiers\x20node-gate\x20{settled,\x20reviewed,\x20completed},\x20and\x20every\x20terminal\x20keeps\x20EXACTLY\x20ONE\x20fund\x20exit.','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':'settled','moneyEffect':'compensate'},'commercialSemantics':'A\x20ruling\x20pays\x20through\x20the\x20Service\x27s\x20compensation\x20fund\x20—\x20capped\x20at\x20MAX_INDEMNITY_MULTIPLE\x20(3)\x20times\x20the\x20order\x27s\x20value\x20basis\x20—\x20to\x20the\x20ORDER\x20OWNER\x20(the\x20company),\x20while\x20the\x20escrow\x20principal\x20exits\x20via\x20the\x20settle\x20tiers\x20at\x20settled/reviewed/completed.\x20The\x20award\x20path\x20and\x20the\x20refund\x20rails\x20are\x20independent\x20systems\x20by\x20design;\x20a\x20ruling-driven\x20settle\x20must\x20never\x20both\x20fire\x20with\x20a\x20refund\x20for\x20one\x20report.','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\x20the\x20HUNTER\x20(fund\x20asymmetry)','actor':'platform','precondition':['R3'],'onchain':'unresolvable','unresolvableRef':'S4','commercialSemantics':'The\x20ruling\x20payout\x20path\x20pays\x20the\x20ORDER\x20OWNER\x20only\x20—\x20the\x20recipient\x20is\x20hard-bound\x20to\x20the\x20order\x20owner,\x20so\x20a\x20hunter\x20wronged\x20by\x20a\x20wrongful\x20REJECT\x20(escrow\x20already\x20refunded)\x20or\x20an\x20under-grade\x20has\x20no\x20on-chain\x20path\x20to\x20be\x20made\x20whole\x20by\x20the\x20fund.\x20The\x20disclosed\x20recourse\x20is\x20appeal/dispute\x20plus\x20the\x20keeper\x20triggering\x20the\x20matching\x20settle\x20tier\x20from\x20an\x20intact\x20escrow.\x20This\x20S4-class\x20asymmetry\x20is\x20honestly\x20disclosed\x20in\x20the\x20corpus.','disclosureProbe':'COMPENSATION\x20FUND\x20LIMITATION|indemnify\x20the\x20HUNTER','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.\x20The\x20real\x20product\x27s\x20CS\x20ruling\x20executes\x20immediately\x20and\x20this\x20template\x27s\x20machine\x20rails\x20key\x20on\x20ruling\x20state\x20directly,\x20so\x20the\x20window\x20never\x20touches\x20the\x20report\x20path\x20—\x20no\x20machine\x20footprint\x20to\x20encode.','evidence':[]},{'id':'R6','class':'remedy','name':'Ruling-won\x20reroute:\x20a\x20ruling\x20executed\x20against\x20the\x20report\x20re-routes\x20the\x20escrow','actor':'arbitrator','precondition':['R3'],'onchain':'expressible_with_gap','chainFootprint':{'forward':'ArbRefund','moneyEffect':'refund'},'commercialSemantics':'CURED\x20(wave-3,\x202026-11-06,\x20the\x20INV-H1-1\x20fix):\x20the\x20machine\x20now\x20ships\x20three\x20ruling-gated\x20refund\x20rails\x20(tpl_forward_arb_ruling_won,\x20refund-rail\x20slot\x201004\x20—\x20the\x20N12\x20dedicated\x20ruling-executor\x20bucket,\x20disjoint\x20from\x20the\x20triager\x27s\x201001,\x20all\x20landing\x20in\x20the\x20closed_cancel\x20terminal\x20the\x20refund_gate\x20node\x20pays)\x20—\x20arb_refund_triage_stall\x20from\x20`submitted`\x20(the\x20SLA-stall\x20execution),\x20arb_refund_award\x20from\x20`settled`\x20and\x20arb_refund_award_reviewed\x20from\x20`reviewed`\x20(a\x20grading-overturn\x20ruling\x20executed\x20before\x20the\x20bounty\x20claim\x20re-routes\x20the\x20still-intact\x20escrow\x20back\x20to\x20the\x20company).\x20A\x20hunter-FAVORABLE\x20validity\x20ruling\x20still\x20routes\x20through\x20the\x20triager\x27s\x20triager-pinned\x20grade+validate;\x20post-claim\x20compensation\x20rides\x20the\x20compensation-fund\x20path\x20(R3/R4).\x20The\x20forward\x20footprint\x20below\x20is\x20the\x20standing\x20coverage\x20check:\x20deleting\x20the\x20rails\x20re-fires\x20INV-H1-1.','gapPredicate':{'probe':'arb_refund'},'evidence':[]},{'id':'R7','class':'remedy','name':'Dismissed-ruling\x20resume:\x20a\x20rejected\x20claim\x20restores\x20the\x20pre-dispute\x20resting\x20state\x20(REGISTERED,\x20not\x20standing)','actor':'arbitrator','precondition':['E5'],'onchain':'disclosure_only','commercialSemantics':'After\x20a\x20dismissed\x20dispute\x20the\x20order\x20must\x20return\x20to\x20its\x20pre-dispute\x20node\x20with\x20the\x20rails\x20re-armed\x20(the\x20delivery-marketplace\x20ResumeAfterDismissal\x20convention).\x20REGISTERED,\x20not\x20standing\x20(stage2\x20#16,\x20the\x20beatstars\x20#9\x20precedent\x20—\x20FIX-EDGE\x20superseded):\x20disputes\x20stay\x20OFF-Machine\x20here\x20(R-M1-11\x20—\x20no\x20claim\x20waypoint\x20node),\x20so\x20the\x20order\x20NEVER\x20LEAVES\x20its\x20resting\x20node\x20—\x20the\x20dismissal\x20outcome\x20IS\x20the\x20identity\x20resume,\x20a\x20machine-side\x20resume\x20forward\x20has\x20no\x20honest\x20source\x20node\x20(a\x20self-loop\x20under\x20the\x20sso7\x20v172\x20ban,\x20or\x20a\x20duplicate\x20of\x20the\x20standing\x20rails),\x20and\x20the\x20case\x20state\x20on\x20the\x20Arbitration\x20object\x20records\x20the\x20dismissal.\x20Disclosed\x20by\x20the\x20REGISTERED-not-standing\x20build_note\x20(v198);\x20the\x20probe\x20stays\x20strict\x20(removing\x20the\x20note\x20re-fires\x20ORACLE-DISC).','disclosureProbe':'arb_dismissed_resume','evidence':[]},{'id':'R8','class':'remedy','name':'Claim\x20withdrawal\x20/\x20off-chain\x20settlement\x20escape\x20(REGISTERED,\x20not\x20standing)','actor':'buyer','precondition':['E5'],'onchain':'disclosure_only','commercialSemantics':'A\x20claimant\x20who\x20settles\x20out-of-band\x20must\x20be\x20able\x20to\x20withdraw\x20the\x20filed\x20case\x20so\x20the\x20order\x20is\x20untouched\x20and\x20every\x20rail\x20stays\x20open\x20(the\x20delivery\x20templates\x27\x20WithdrawClaim\x20shape).\x20REGISTERED,\x20not\x20standing\x20(stage2\x20#16,\x20the\x20beatstars\x20#9\x20precedent\x20—\x20FIX-EDGE\x20superseded):\x20under\x20R-M1-11\x20the\x20machine\x20never\x20holds\x20a\x20claim\x20state,\x20so\x20on\x20a\x20withdrawal\x20the\x20order\x20is\x20ALREADY\x20untouched\x20and\x20every\x20rail\x20stays\x20open\x20—\x20the\x20withdrawal\x20executes\x20on\x20the\x20Arbitration\x20object\x20itself\x20(arb\x20case\x20withdraw)\x20and\x20a\x20machine-side\x20forward\x20has\x20no\x20honest\x20source\x20node\x20to\x20mount\x20from\x20(the\x20delivery-template\x20shape\x20presumes\x20a\x20claim\x20waypoint\x20this\x20shape\x20must\x20not\x20create).\x20Disclosed\x20by\x20the\x20REGISTERED-not-standing\x20build_note\x20(v198);\x20the\x20probe\x20stays\x20strict\x20(removing\x20the\x20note\x20re-fires\x20ORACLE-DISC).','disclosureProbe':'withdraw_claim','evidence':[]},{'id':'P1','class':'post','name':'Fiat\x20payout\x20rails\x20(hunter\x20cash-out,\x20currency\x20conversion)','actor':'platform','precondition':['M7'],'onchain':'not_applicable','commercialSemantics':'The\x20real\x20product\x20pays\x20hunters\x20through\x20fiat\x20rails\x20(PayPal\x20/\x20bank)\x20with\x20conversion\x20spread.\x20On-chain\x20the\x20bounty\x20pays\x20the\x20dynamic\x20Signer\x20in\x20the\x20escrow\x27s\x20coin;\x20any\x20fiat\x20off-ramp\x20is\x20an\x20exchange-layer\x20concern\x20with\x20no\x20template\x20anchor.','evidence':[]},{'id':'P2','class':'post','name':'KYC\x20/\x20tax\x20forms\x20gate\x20(W-8BEN\x20/\x20W-9,\x201099\x20reporting)\x20before\x20payout','actor':'platform','precondition':['M7'],'onchain':'not_applicable','commercialSemantics':'Tax\x20identity\x20and\x20reporting\x20are\x20platform\x20compliance\x20surface.\x20The\x20chain\x20knows\x20only\x20the\x20signing\x20address;\x20no\x20KYC\x20attestation\x20object\x20exists,\x20so\x20the\x20gate\x20cannot\x20be\x20expressed\x20and\x20is\x20honestly\x20out\x20of\x20scope.','evidence':[]},{'id':'P3','class':'post','name':'Signal\x20/\x20reputation\x20update\x20rides\x20the\x20on-chain\x20severity\x20rulings','actor':'platform','precondition':['M9'],'onchain':'disclosure_only','commercialSemantics':'A\x20vulnerability\x20bounty\x20carries\x20no\x20human\x20star-review:\x20the\x20hunter\x27s\x20reputation\x20is\x20the\x20triager\x27s\x20on-chain\x20severity\x20rulings\x20(progress\x20history\x20+\x20the\x20write-once\x20triage_band\x20policy),\x20and\x20review_mode\x20stays\x20\x27none\x27.\x20The\x20signal\x20is\x20EARNED\x20by\x20chain\x20events\x20but\x20CONSUMED\x20off-chain\x20(leaderboards,\x20signal\x20tiers)\x20—\x20the\x20disclosure\x20makes\x20the\x20rail\x27s\x20one-way\x20nature\x20explicit.','disclosureProbe':'reputation\x20rides|severity\x20rulings','evidence':[]},{'id':'P4','class':'post','name':'Private\x20program\x20invitation\x20(vetted\x20access\x20before\x20public\x20launch)','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Private\x20programs\x20gate\x20discovery\x20to\x20vetted\x20hunters.\x20The\x20buy-side\x20blocklist\x20guard\x20expresses\x20funder/triager/hunter\x20identity\x20disjointness,\x20not\x20private\x20catalog\x20visibility;\x20invitation\x20lists\x20stay\x20off-chain.','evidence':[]},{'id':'P5','class':'post','name':'Public\x20disclosure\x20publication\x20(hacktivity\x20write-up\x20after\x20the\x20fix\x20window)','actor':'buyer','precondition':['M9'],'onchain':'not_applicable','commercialSemantics':'Coordinated\x20disclosure\x20timing,\x20the\x20write-up\x20and\x20the\x20CVE\x20publication\x20are\x20editorial\x20acts\x20off\x20chain;\x20the\x20on-chain\x20record\x20retains\x20the\x20triage\x20outcome\x20but\x20never\x20the\x20vulnerability\x20content\x20itself\x20(a\x20report\x20artifact\x20would\x20leak\x20the\x20bug).','evidence':[]},{'id':'P6','class':'post','name':'Researcher\x20safe\x20harbor\x20(good-faith\x20security\x20research\x20pledge)','actor':'platform','precondition':['M9'],'onchain':'disclosure_only','commercialSemantics':'The\x20program\x27s\x20good-faith\x20research\x20pledge\x20(no\x20legal\x20action\x20against\x20good-faith\x20research\x20under\x20the\x20published\x20policy)\x20is\x20a\x20policy\x20act\x20OFF\x20CHAIN\x20—\x20the\x20machine\x20pays\x20triaged\x20bounties\x20and\x20records\x20rulings\x20only;\x20it\x20grants\x20no\x20legal\x20immunity,\x20no\x20permission\x20to\x20test\x20and\x20no\x20warranty,\x20and\x20an\x20on-chain\x20bounty\x20record\x20shields\x20nobody\x20from\x20liability\x20outside\x20the\x20policy.','disclosureProbe':'SAFE\x20HARBOR\x20IS\x20A\x20DISCLOSURE','evidence':[]}],'invariants':[{'id':'INV-H1-1','statement':'A\x20published\x20triage\x20SLA\x20(triage_window_days\x20>\x200)\x20promises\x20the\x20hunter\x20an\x20escalation\x20that\x20must\x20be\x20able\x20to\x20move\x20money:\x20a\x20hunter-favorable\x20ruling\x20needs\x20a\x20ruling-driven\x20machine\x20rail,\x20otherwise\x20escalation\x20against\x20a\x20silent\x20triager\x20is\x20a\x20dead\x20letter.','jurisdiction':'HackerOne-style\x20triage\x20SLA\x20disclosure\x20norms;\x20EU\x20Platform\x20Work\x20Directive\x202024/2831\x20art.\x206\x20(deadline\x20promises\x20must\x20be\x20enforceable,\x20not\x20decorative).','chainConflict':'Standing\x20check\x20(CURED\x202026-11-06,\x20wave-3):\x20the\x20template\x20publishes\x20triage_window_days\x20=\x205\x20(a\x20keeper/dispute\x20anchor)\x20and\x20now\x20SHIPS\x20the\x20ruling-gated\x20refund\x20rails\x20—\x20ArbRefund\x20from\x20submitted\x20(arb_refund_triage_stall),\x20settled\x20(arb_refund_award)\x20and\x20reviewed\x20(arb_refund_award_reviewed)\x20into\x20the\x20closed_cancel\x20terminal\x20refund_gate\x20pays\x20—\x20so\x20a\x20hunter\x20who\x20escalates\x20past\x20the\x20SLA\x20can\x20execute\x20a\x20ruled-against-report\x20outcome\x20against\x20the\x20machine.\x20The\x20invariant\x20is\x20kept\x20as\x20a\x20STANDING\x20check:\x20deleting\x20any\x20ArbRefund\x20forward\x20while\x20triage_window_days\x20>\x200\x20re-fires\x20it\x20(a\x20hunter\x20escalation\x20becomes\x20a\x20dead\x20letter\x20again).\x20The\x20hunter-FAVORABLE\x20validity\x20ruling\x20still\x20requires\x20the\x20triager\x27s\x20grade+validate\x20(triage_band\x20write\x20is\x20triager-pinned)\x20—\x20that\x20boundary\x20is\x20disclosed\x20(R4/the\x20SLA\x20ESCALATION\x20EXECUTION\x20build_note),\x20not\x20a\x20violation\x20of\x20this\x20invariant.','violation':{'requiresFeeParamNonZero':'triage_window_days','whileMissingForward':'ArbRefund'}},{'id':'INV-H1-2','statement':'A\x20duplicate\x20report\x20must\x20refund\x20through\x20the\x20explicit\x20duplicate\x20terminal\x20and\x20must\x20never\x20pay\x20a\x20second\x20bounty;\x20removing\x20the\x20terminal\x20would\x20weld\x20first-to-file\x20attribution\x20into\x20an\x20\x27invalid\x27\x20verdict\x20and\x20erase\x20duplicate-noise\x20measurement.','jurisdiction':'HackerOne\x20duplicate-handling\x20policy;\x20industry\x20first-to-file\x20attribution\x20norms.','chainConflict':'Standing\x20check:\x20the\x20shipped\x20shape\x20carries\x20the\x20separate\x20`duplicate`\x20terminal\x20(TriageDuplicate,\x20triager-only,\x20order-anchored\x20full\x20refund),\x20distinct\x20from\x20`rejected`.\x20Removing\x20the\x20forward\x20while\x20any\x20bounty\x20tier\x20is\x20payable\x20re-fires\x20this\x20invariant.','violation':{'whileMissingForward':'TriageDuplicate'}},{'id':'INV-H1-3','statement':'The\x20severity\x20grade\x20is\x20written\x20ONCE\x20per\x20order\x20to\x20a\x20single\x20write-once\x20policy\x20key,\x20and\x20the\x20four\x20tier\x20bands\x20over\x20it\x20must\x20stay\x20disjoint\x20and\x20exhaustive\x20over\x20{1,2,3,4}\x20—\x20an\x20overlap\x20double-pays,\x20a\x20gap\x20strands\x20a\x20severity\x20with\x20no\x20payable\x20branch.','jurisdiction':'HackerOne\x20severity-calibration\x20standards\x20(CVSS-mapped\x20tiers).','chainConflict':'The\x20band\x20value\x20lives\x20under\x20the\x20write-once\x20\x27triage_band\x27\x20policy:\x20re-grading\x20aborts\x20with\x20E_POLICY_WRITE_ONCE_CONFLICT\x20(code\x2024)\x20at\x20the\x20protocol\x20level,\x20so\x20a\x20re-grade\x20cannot\x20silently\x20redirect\x20a\x20second\x20payout.\x20Text-only:\x20band\x20overlap/gap\x20is\x20a\x20build-time\x20configuration\x20property,\x20not\x20expressible\x20as\x20a\x20mechanical\x20violation\x20predicate\x20yet.','evidence':[{'file':'repository.move','line':0x3c,'pattern':'const\x20E_POLICY_WRITE_ONCE_CONFLICT:\x20u64\x20=\x2024'},{'file':'repository.move','line':0x223,'pattern':'assert!(!write_once,\x20E_POLICY_WRITE_ONCE_CONFLICT)'}]},{'id':'INV-H1-4','statement':'The\x20indemnity\x20ceiling\x20is\x203x\x20the\x20order\x27s\x20value\x20basis\x20(MAX_INDEMNITY_MULTIPLE)\x20and\x20the\x20fund\x20pays\x20the\x20order\x20owner\x20only\x20—\x20the\x20hunter\x27s\x20bounty\x20upside\x20is\x20bounded\x20by\x20the\x20escrowed\x20tiers,\x20never\x20by\x20the\x20fund.','jurisdiction':'Protocol\x20arbitration\x20cap\x20(UP9-ARBCAP);\x20PRC/EU\x20dispute-award\x20norms.','chainConflict':'The\x20cap\x20base\x20is\x20max(frozen\x20order\x20amount,\x20live\x20allocation\x20balance),\x20multiplied\x20by\x20the\x20protocol\x20constant\x203\x20—\x20and\x20the\x20compensation\x20rail\x27s\x20recipient\x20is\x20hard-bound\x20to\x20the\x20order\x20owner,\x20so\x20no\x20ruling\x20can\x20aim\x20the\x20fund\x20at\x20the\x20hunter.\x20Text-only:\x20the\x20asymmetry\x20is\x20disclosed\x20(R4)\x20and\x20structurally\x20unreachable\x20to\x20fix\x20in\x20the\x20current\x20primitives.','evidence':[{'file':'arb.move','line':0x15,'pattern':'const\x20MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'},{'file':'arb.move','line':0x21d,'pattern':'let\x20cap\x20=\x20u64::saturating_mul(indemnity_cap_base'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]}]};

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

@@ -0,0 +1 @@
+export const KICKSTARTER_ORACLE={'productRef':'kickstarter','products':['kickstarter'],'oracleVersion':'1.1.0','steps':[{'id':'KS-M1','class':'offchain','name':'Discover\x20the\x20campaign\x20and\x20read\x20the\x20reward\x20tiers','actor':'buyer','precondition':[],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20browse\x20the\x20storefront\x20(web\x20client),\x20read\x20tier\x20prices,\x20availability\x20counts,\x20the\x20WIP\x20detail\x20file\x20and\x20the\x20funding\x20progress\x20before\x20pledging.','evidence':[]},{'id':'KS-M2','class':'offchain','name':'Creator\x20builds\x20and\x20publishes\x20the\x20campaign','actor':'merchant','precondition':['KS-M1'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20the\x20creator\x20configures\x20the\x20funding\x20goal,\x20the\x20absolute\x20deadline\x20and\x20the\x20reward\x20tiers\x20as\x20the\x20listing\x20WIP\x20artifact,\x20binds\x20the\x20project\x20entity,\x20arbitration\x20venue\x20and\x20service\x20contact,\x20then\x20publishes\x20frozen.','evidence':[]},{'id':'KS-M3','class':'main','name':'Backer\x20pledges\x20into\x20unpooled\x20per-contributor\x20escrow','actor':'buyer','precondition':['KS-M2'],'onchain':'expressible','chainFootprint':{'node':'pledged','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Each\x20pledge\x20opens\x20its\x20own\x20order\x20with\x20payment\x20escrowed\x20into\x20a\x20per-order\x20Allocation\x20bound\x20to\x20that\x20order\x20(for_object)\x20-\x20never\x20merged\x20into\x20a\x20shared\x20pot,\x20so\x20attribution\x20and\x20refund\x20stay\x20per\x20backer.','evidence':[{'file':'allocation.move','line':0x26d,'pattern':'ERECIPIENT_NOT_FOR_OBJECT'}]},{'id':'KS-M4','class':'offchain','name':'Creator\x20publishes\x20campaign\x20updates\x20during\x20the\x20raise','actor':'merchant','precondition':['KS-M3'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20progress\x20notes\x20and\x20stretch\x20announcements\x20go\x20through\x20the\x20service\x20channel;\x20they\x20never\x20mutate\x20the\x20goal,\x20the\x20deadline\x20or\x20the\x20already-escrowed\x20pledges.','evidence':[]},{'id':'KS-M5','class':'main','name':'Deadline\x20settlement\x20decision\x20(advance)','actor':'keeper','precondition':['KS-M4'],'onchain':'expressible','chainFootprint':{'node':'funded_released','forward':'ReleaseOnFunded','prev':'pledged','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_release','gapPredicate':undefined,'commercialSemantics':'At\x20the\x20absolute\x20deadline\x20the\x20decision\x20reads\x20an\x20on-chain\x20escrow-bound\x20aggregate\x20(sum-where-bound-ALL\x20with\x20a\x20per-row\x20live\x20cap\x20over\x20the\x20chain-derived\x20row\x20roster),\x20so\x20a\x20goal\x20pass/fail\x20is\x20computed\x20from\x20escrowed\x20money,\x20never\x20self-attested.\x20The\x20advance\x20only\x20unlocks\x20the\x20state;\x20money\x20moves\x20when\x20the\x20settlement\x20rail\x20runs.','evidence':[{'file':'repository.move','line':0x3f0,'pattern':'native\x20fun\x20formula_sum_where_bound'}]},{'id':'KS-M6','class':'main','name':'Batch\x20settlement\x20release\x20to\x20the\x20project','actor':'keeper','precondition':['KS-M5'],'onchain':'expressible','chainFootprint':{'node':'funded_released','moneyEffect':'release'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20settlement\x20rail\x20sweeps\x20every\x20winner\x20order\x27s\x20Allocation\x20pool\x20in\x20one\x20atomic\x20batch\x20(empty-balance\x20pools\x20abort,\x20drained\x20pre-filtered\x20rows\x20contribute\x20zero)\x20-\x20a\x20two-leg\x20escrow\x20exit\x20gated\x20on\x20the\x20opposite\x20polarity\x20of\x20the\x20refund\x20rail,\x20so\x20exactly\x20one\x20fires\x20at\x20the\x20deadline.','evidence':[{'file':'allocation.move','line':0x313,'pattern':'public\x20fun\x20alloc_batch'},{'file':'allocation.move','line':0x77,'pattern':'EEMPTY_POOL_BATCH'}]},{'id':'KS-M7','class':'main','name':'Project\x20extracts\x20released\x20funds\x20to\x20its\x20wallet','actor':'merchant','precondition':['KS-M6'],'onchain':'expressible','chainFootprint':{'node':'funded_released','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Settled\x20funds\x20land\x20on\x20the\x20project\x20entity\x27s\x20object\x20slots;\x20the\x20creator\x20extracts\x20them\x20to\x20the\x20wallet\x20with\x20a\x20plain\x20owner\x20op.\x20No\x20commission\x20is\x20taken\x20-\x20the\x20platform\x20take\x20is\x200\x20against\x20the\x20displaced\x20incumbent\x20benchmark\x20of\x20500\x20bps\x20disclosed\x20in\x20the\x20build\x20inputs.','evidence':[{'file':'order.move','line':0x15e,'pattern':'owner_receive'}]},{'id':'KS-P6','class':'post','name':'Creator\x20produces\x20and\x20ships\x20reward\x20tiers\x20off-chain','actor':'merchant','precondition':['KS-M7'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Post-settlement\x20fulfillment\x20is\x20off-chain:\x20this\x20template\x20mounts\x20no\x20fulfillment\x20spine,\x20so\x20delivery\x20runs\x20on\x20the\x20storefront\x20promise,\x20backed\x20only\x20by\x20the\x20compensation\x20fund\x20and\x20arbitration.','evidence':[]},{'id':'KS-E1','class':'exception','name':'Storefront\x20review\x20rejects\x20the\x20campaign\x20before\x20launch','actor':'platform','precondition':['KS-M2'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20platform\x20may\x20refuse\x20a\x20campaign\x20pre-launch;\x20nothing\x20is\x20on\x20chain\x20yet,\x20so\x20there\x20is\x20no\x20on-chain\x20remediation\x20path.','evidence':[]},{'id':'KS-E2','class':'exception','name':'Deadline\x20extension\x20requested\x20mid-raise','actor':'merchant','precondition':['KS-M3'],'onchain':'expressible_with_gap','chainFootprint':{'node':'pledged','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'rolling|next_cycle_deadline'},'commercialSemantics':'Kickstarter\x20deadlines\x20are\x20absolute\x20per\x20campaign;\x20the\x20machine\x27s\x20deadline\x20is\x20one\x20absolute\x20timestamp\x20shared\x20by\x20every\x20backer.\x20Extending\x20means\x20resetting\x20the\x20goal\x20clock\x20for\x20the\x20next\x20cycle\x20-\x20the\x20shipped\x20template\x20has\x20no\x20rolling-window\x20twin,\x20so\x20this\x20is\x20a\x20build-note-level\x20concession,\x20not\x20a\x20machine\x20edge.','evidence':[]},{'id':'KS-E3','class':'exception','name':'Missed-goal\x20automatic\x20refund','actor':'merchant','precondition':['KS-M4'],'onchain':'expressible','chainFootprint':{'node':'missed_refunded','forward':'RefundOnMissed','prev':'pledged','identity':'permission_index','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_refund','gapPredicate':undefined,'commercialSemantics':'The\x20refund\x20leg\x20fires\x20on\x20the\x20opposite\x20aggregate\x20polarity\x20at\x20the\x20deadline\x20and\x20pays\x20each\x20backer\x27s\x20own\x20order\x20slot\x20in\x20full;\x20zero-balance\x20pools\x20abort\x20instead\x20of\x20silently\x20succeeding,\x20and\x20drained\x20ghost\x20rows\x20contribute\x20zero\x20under\x20the\x20live\x20cap.','evidence':[{'file':'allocation.move','line':0x25,'pattern':'EZERO_DISTRIBUTION'}]},{'id':'KS-R5','class':'remedy','name':'Keeper-less\x20missed-goal\x20self-heal\x20(abandoned\x20pledge\x20sweep)','actor':'buyer','precondition':['KS-M4'],'onchain':'expressible','chainFootprint':{'node':'missed_refunded','forward':'AbandonAfterDeadline','prev':'pledged','identity':'order_holder','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_refund','gapPredicate':undefined,'commercialSemantics':'If\x20the\x20keeper\x20never\x20runs\x20the\x20missed-campaign\x20batch,\x20each\x20backer\x20can\x20still\x20advance\x20their\x20own\x20pledge\x20on\x20the\x20refund-polarity\x20gate\x20and\x20sweep\x20the\x20refund\x20rail\x20-\x20the\x20same\x20money\x20path,\x20no\x20operator\x20dependency.','evidence':[{'file':'order.move','line':0x15e,'pattern':'owner_receive'}]},{'id':'KS-E5','class':'exception','name':'Backer\x20withdraws\x20pledge\x20before\x20the\x20deadline','actor':'buyer','precondition':['KS-M3'],'onchain':'expressible','chainFootprint':{'node':'withdrawn','forward':'WithdrawPledge','prev':'pledged','identity':'order_holder','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'pre_deadline_withdraw','gapPredicate':undefined,'commercialSemantics':'Pre-deadline\x20withdrawal\x20refunds\x20the\x20contribution\x20in\x20full\x20to\x20the\x20backer\x27s\x20own\x20order\x20and\x20zeroes\x20the\x20contribution\x20row\x20through\x20the\x20same\x20writer-bound\x20policy,\x20so\x20the\x20escrow-bound\x20total\x20decays\x20immediately.','evidence':[{'file':'allocation.move','line':0x70,'pattern':'order::owner_receive'}]},{'id':'KS-E6','class':'exception','name':'Creator\x20changes\x20the\x20goal\x20or\x20tiers\x20mid-campaign','actor':'merchant','precondition':['KS-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'no\x20auto-charge','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Rewriting\x20the\x20listing\x20WIP\x20after\x20launch\x20changes\x20future\x20pledges\x20only\x20-\x20no\x20rail\x20can\x20charge\x20a\x20backer\x20without\x20a\x20new\x20order\x20(no\x20auto-charge\x20authority\x20by\x20design),\x20so\x20a\x20silent\x20terms\x20change\x20is\x20bounded\x20to\x20new\x20contributors.','evidence':[]},{'id':'KS-E7','class':'exception','name':'Payment\x20provider\x20dispute\x20before\x20settlement','actor':'platform','precondition':['KS-E6'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Before\x20settlement\x20the\x20money\x20is\x20still\x20escrowed\x20per\x20backer;\x20external\x20card\x20disputes\x20play\x20out\x20off-chain\x20and\x20the\x20escrow\x20is\x20refunded\x20by\x20the\x20normal\x20rails.','evidence':[]},{'id':'KS-E8','class':'exception','name':'Creator\x20cancels\x20the\x20campaign\x20pre-deadline','actor':'merchant','precondition':['KS-M3'],'onchain':'expressible','chainFootprint':{'node':'missed_refunded','forward':'CancelCampaign','identity':'permission_index','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'organizer_cancel','commercialSemantics':'MOUNTED\x20(batch7\x20T-L,\x20v212\x20—\x20the\x20KS-E8\x20no-creator-cancel\x20posture\x20retired):\x20the\x20creator\x20cancels\x20a\x20still-escrowed\x20pledge\x20via\x20CancelCampaign\x20pledged→missed_refunded\x20(merchant\x20on\x20the\x20dedicated\x20refund-rail\x20slot\x201001,\x20tpl_forward_node_check\x20on\x20the\x20pledged\x20source\x20—\x20the\x20ktt\x20v178\x20leader-cancel\x20shape);\x20the\x20pledge\x20refunds\x20IN\x20FULL\x20through\x20the\x20SAME\x20missed_refund\x20rail\x20(the\x20rail\x20pays\x20the\x20BACKER\x20slot\x200,\x20never\x20the\x20project,\x20so\x20the\x20creator\x20gains\x20nothing\x20by\x20cancelling\x20—\x20no\x20Q8-F02\x20drain).\x20Pre-release\x20only:\x20once\x20the\x20deadline\x20rails\x20ran,\x20the\x20order\x20has\x20left\x20pledged\x20and\x20the\x20D-4\x20no-clawback\x20posture\x20is\x20untouched.','evidence':[]},{'id':'KS-R6','class':'remedy','name':'Post-settlement\x20refund\x20by\x20creator\x20discretion','actor':'merchant','precondition':['KS-M7'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'no-clawback','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Once\x20settled,\x20no\x20on-chain\x20clawback\x20primitive\x20exists\x20-\x20a\x20post-settlement\x20return\x20is\x20an\x20off-chain\x20negotiation\x20(messenger\x20agreement,\x20voluntary\x20transfer,\x20signed\x20evidence),\x20at\x20most\x20backed\x20by\x20a\x20compensation-fund\x20award;\x20no\x20tool,\x20guard\x20or\x20later\x20ruling\x20can\x20reverse\x20the\x20payout.','evidence':[{'file':'arb.move','line':0x10,'pattern':'WITHDRAW_DURATION_TIME:u64\x20=\x202592_000_000'}]},{'id':'KS-E10','class':'exception','name':'Aggregate\x20drops\x20below\x20goal\x20after\x20passing\x20(withdrawals\x20race\x20the\x20decision)','actor':'buyer','precondition':['KS-M5'],'onchain':'expressible','chainFootprint':{'node':'funded_released','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_release','gapPredicate':undefined,'commercialSemantics':'Every\x20contribution\x20row\x20is\x20clamped\x20to\x20the\x20live\x20escrow\x20balance\x20of\x20its\x20order-keyed\x20row,\x20so\x20a\x20post-decision\x20withdrawal\x20or\x20drained\x20row\x20decays\x20the\x20total\x20on\x20chain;\x20the\x20polarity\x20comparison\x20cannot\x20be\x20fooled\x20by\x20a\x20stale\x20self-declared\x20value.','evidence':[{'file':'repository.move','line':0x3e3,'pattern':'min(row_value,\x20order.amount'}]},{'id':'KS-E11','class':'exception','name':'Backer\x20misses\x20the\x20reward-claim\x20deadline\x20after\x20success','actor':'buyer','precondition':['KS-M5'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'messenger','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20settlement\x20is\x20unconditional\x20(no\x20claimed_by\x20leg),\x20so\x20there\x20is\x20nothing\x20to\x20claim\x20late;\x20reward\x20logistics\x20are\x20negotiated\x20over\x20the\x20encrypted\x20messenger\x20channel\x20after\x20the\x20fact.','evidence':[]},{'id':'KS-E12','class':'exception','name':'Tier\x20oversubscribed\x20(stock\x20shorter\x20than\x20pledges)','actor':'merchant','precondition':['KS-M5'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'messenger','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Tier\x20availability\x20is\x20storefront\x20metadata;\x20oversubscription\x20is\x20resolved\x20by\x20messenger\x20negotiation\x20(downgrade,\x20refund\x20arrangement)\x20-\x20no\x20on-chain\x20inventory\x20hold\x20exists\x20on\x20this\x20template.','evidence':[]},{'id':'KS-E13','class':'exception','name':'Backer\x27s\x20shipping\x20info\x20never\x20delivered','actor':'merchant','precondition':['KS-M7'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'messenger','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'This\x20template\x20gates\x20nothing\x20on\x20presence\x20proofs\x20before\x20payout;\x20the\x20address\x20chase\x20is\x20a\x20messenger\x20conversation,\x20and\x20the\x20escrow\x20is\x20already\x20the\x20project\x27s.','evidence':[]},{'id':'KS-E14','class':'exception','name':'Backer\x20claims\x20the\x20reward\x20was\x20never\x20produced','actor':'buyer','precondition':['KS-M5'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'non-investment','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Delivery\x20is\x20off-chain\x20on\x20this\x20template;\x20the\x20backer\x27s\x20remedies\x20are\x20the\x20compensation\x20fund\x20and\x20arbitration,\x20with\x20the\x20plain\x20disclosure\x20that\x20a\x20pledge\x20is\x20a\x20presale,\x20never\x20an\x20investment.','evidence':[]},{'id':'KS-E15','class':'exception','name':'Backer\x20demands\x20an\x20investment\x20contract\x20or\x20yield','actor':'platform','precondition':['KS-M2'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Out\x20of\x20scope\x20by\x20policy:\x20crowdfunding\x20copy\x20must\x20never\x20promise\x20returns;\x20such\x20a\x20listing\x20must\x20be\x20refused\x20at\x20configuration\x20time,\x20not\x20arbitrated\x20later.','evidence':[]},{'id':'KS-R7','class':'remedy','name':'Compensation-fund\x20payout\x20covers\x20a\x20failed\x20delivery\x20promise','actor':'arbitrator','precondition':['KS-M7'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'compensation\x20fund','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20fund\x20pays\x20the\x20order\x20owner\x20on\x20a\x20won\x20ruling;\x20a\x20quoted\x20fund\x20figure\x20is\x20free\x20text\x20with\x20no\x20chain\x20anchor\x20(awards\x20shrink\x20the\x20live\x20fund\x20in\x20place),\x20and\x20the\x20campaign\x20shop\x20must\x20pre-lock\x203x\x20its\x20largest\x20tier\x20or\x20higher\x20tiers\x20are\x20silently\x20unsellable.','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'KS-E17','class':'exception','name':'Regulator\x20flags\x20the\x20raise\x20(securities\x20/\x20KYC-AML)','actor':'platform','precondition':['KS-M5'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Pooled\x20fundraising\x20is\x20high\x20regulatory\x20intensity;\x20cross-border\x20funds\x20and\x20reward\x20tiers\x20may\x20trigger\x20securities,\x20money-transmission\x20and\x20KYC-AML\x20rules\x20-\x20flag\x20for\x20compliance,\x20do\x20not\x20automate\x20around\x20them.','evidence':[]},{'id':'KS-E18','class':'exception','name':'Runaway\x20creator:\x20goal\x20met,\x20fulfillment\x20abandoned','actor':'buyer','precondition':['KS-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'funded_released','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'recover_gate'},'commercialSemantics':'The\x20escrow\x20is\x20already\x20the\x20project\x27s,\x20so\x20the\x20machine\x20cannot\x20unilaterally\x20restore\x20backer\x20money;\x20a\x20won\x20ruling\x20pays\x20the\x20compensation\x20award\x20(capped\x20at\x203x\x20the\x20order)\x20and\x20the\x20terminal-node\x20recover\x20rail\x20sweeps\x20recovered\x20principal\x20to\x20the\x20campaign\x20account.','evidence':[{'file':'arbitration.move','line':0x13a,'pattern':'fun\x20arbitration_imp<T>'}]},{'id':'KS-E19','class':'exception','name':'Backer\x20reports\x20creator\x20fraud','actor':'platform','precondition':['KS-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Fraud\x20handling\x20is\x20platform\x20+\x20venue\x20business;\x20the\x20chain\x20only\x20offers\x20the\x20compensation\x20fund\x20and\x20the\x20pre-deadline\x20exit,\x20and\x20identity\x20verification\x20stays\x20a\x20compliance\x20duty,\x20not\x20an\x20on-chain\x20proof.','evidence':[]},{'id':'KS-E20','class':'exception','name':'Regulator\x20or\x20platform\x20forces\x20campaign\x20termination','actor':'platform','precondition':['KS-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'non-investment','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Termination\x20after\x20the\x20deadline\x20still\x20resolves\x20through\x20the\x20two-polarity\x20decision;\x20before\x20it,\x20the\x20backer\x20exit\x20and\x20the\x20escrow-bound\x20total\x20keep\x20the\x20exposure\x20honest.\x20The\x20plain\x20non-investment\x20disclosure\x20is\x20the\x20first\x20compliance\x20line.','evidence':[]},{'id':'KS-R8','class':'remedy','name':'File\x20and\x20win\x20an\x20arbitration\x20case','actor':'arbitrator','precondition':['KS-M3'],'onchain':'expressible_with_gap','chainFootprint':{'node':'pledged','moneyEffect':'compensate'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'arbitration_mode\x20third_party|no\x20claim\x20node'},'commercialSemantics':'Disputes\x20are\x20filed\x20on\x20a\x20third-party\x20arbitration\x20object\x20(an\x20independent\x20permission),\x20not\x20on\x20the\x20machine\x20-\x20no\x20claim\x20node\x20exists.\x20The\x20ruling\x20engine\x20caps\x20punitive\x20awards\x20at\x203x\x20the\x20base\x20loss\x20and\x20deems\x20acceptance\x20after\x2030\x20days\x20of\x20case\x20silence;\x20enforcement\x20is\x20two-legged\x20since\x20v195:\x20the\x20machine\x20rail\x20(KS-R11,\x20arb_refund\x20pledged\x20->\x20withdrawn)\x20redirects\x20the\x20still-escrowed\x20principal\x20pre-settlement,\x20and\x20the\x20compensation\x20fund\x20pays\x20the\x20indemnity\x20award\x20(the\x20only\x20post-settlement\x20face\x20-\x20D-4\x20no-clawback).','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'},{'file':'arb.move','line':0x13f,'pattern':'silence\x20=\x20acceptance'}]},{'id':'KS-R9','class':'remedy','name':'Backer\x20transfers\x20or\x20gifting\x20a\x20pledge','actor':'buyer','precondition':['KS-M3'],'onchain':'expressible','chainFootprint':{'node':'pledged','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Transferring\x20the\x20order\x20(and\x20with\x20it\x20the\x20pledge\x27s\x20refund\x20rights)\x20is\x20a\x20protocol-level\x20owner\x20change\x20on\x20the\x20order\x20object;\x20the\x20machine\x20state\x20stays\x20where\x20it\x20is.','evidence':[{'file':'order.move','line':0x111,'pattern':'owner_change'}]},{'id':'KS-E23','class':'exception','name':'Stretch\x20goals\x20priced\x20mid-campaign','actor':'merchant','precondition':['KS-M5'],'onchain':'unresolvable','unresolvableRef':'S7','chainFootprint':undefined,'disclosureProbe':'funding_threshold','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'There\x20is\x20no\x20price\x20oracle\x20and\x20no\x20mid-flight\x20re-pricing\x20primitive:\x20a\x20stretch\x20goal\x20can\x20only\x20be\x20a\x20new\x20frozen\x20offer,\x20and\x20the\x20goal\x20aggregate\x20already\x20in\x20flight\x20cannot\x20be\x20re-keyed\x20against\x20it.','evidence':[]},{'id':'KS-E24','class':'exception','name':'Creator\x20disappears\x20after\x20publishing','actor':'platform','precondition':['KS-M2'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'An\x20absent\x20creator\x20changes\x20nothing\x20mechanically:\x20either\x20backers\x20use\x20the\x20pre-deadline\x20exit,\x20or\x20the\x20deadline\x20settles\x20on\x20polarity\x20and\x20remedies\x20flow\x20through\x20the\x20fund.','evidence':[]},{'id':'KS-E25','class':'exception','name':'Backer-side\x20scam\x20(fake\x20tier\x20impersonating\x20the\x20campaign)','actor':'platform','precondition':['KS-M2'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Phishing\x20happens\x20off-chain;\x20on-chain\x20pledges\x20only\x20reach\x20the\x20escrow\x20of\x20the\x20service\x20they\x20were\x20paid\x20on,\x20so\x20impersonation\x20losses\x20never\x20touch\x20this\x20machine.','evidence':[]},{'id':'KS-P7','class':'post','name':'Campaign\x20compliance\x20report\x20after\x20termination','actor':'platform','precondition':['KS-M7'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Regulatory\x20reporting\x20stays\x20off-chain;\x20the\x20chain\x20contribution\x20is\x20the\x20frozen\x20WIP\x20terms,\x20the\x20writer-bound\x20ledger\x20and\x20the\x20polarity\x20decision\x20record.','evidence':[]},{'id':'KS-E27','class':'exception','name':'Backer\x20roster\x20exceeds\x20the\x20per-settlement\x20cap\x20(>100\x20rows)','actor':'keeper','precondition':['KS-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'funded_released','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_release','gapPredicate':{'probe':'roster'},'commercialSemantics':'The\x20candidate\x20set\x20is\x20capped\x20at\x20100\x20ids,\x20so\x20a\x20big\x20campaign\x20settles\x20in\x20several\x20batches,\x20each\x20with\x20its\x20own\x20batch-level\x20total\x20taken\x20over\x20the\x20chain-derived\x20roster;\x20per-row\x20live\x20caps\x20keep\x20drained\x20ghost\x20rows\x20out\x20of\x20every\x20batch.','evidence':[{'file':'repository.move','line':0x1a,'pattern':'MAX_ID_COUNT_ONCE'}]},{'id':'KS-R1','class':'remedy','name':'Missed-refund\x20money\x20leg\x20(batch\x20refund\x20to\x20every\x20backer)','actor':'keeper','precondition':['KS-E3'],'onchain':'expressible','chainFootprint':{'node':'missed_refunded','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20refund\x20rail\x20pays\x20each\x20contribution\x20in\x20full\x20to\x20its\x20own\x20backer\x20order\x20slot,\x20attribution\x20preserved\x20by\x20the\x20per-order\x20escrow\x20binding;\x20the\x20backer\x20extracts\x20with\x20a\x20second\x20owner\x20call,\x20surfaced\x20in\x20the\x20storefront\x20UX.','evidence':[{'file':'allocation.move','line':0x70,'pattern':'order::owner_receive'}]},{'id':'KS-R2','class':'remedy','name':'Compensation-fund\x20award\x20execution','actor':'arbitrator','precondition':['KS-R8'],'onchain':'expressible_with_gap','chainFootprint':{'node':'pledged','moneyEffect':'compensate'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'compensation\x20fund'},'commercialSemantics':'The\x20award\x20is\x20paid\x20from\x20the\x20pre-locked\x20fund\x20by\x20a\x20protocol-level\x20call\x20hard-bound\x20to\x20the\x20order\x20owner\x20-\x20the\x20indemnity\x20is\x20not\x20a\x20machine\x20forward,\x20but\x20the\x20PRINCIPAL\x20is\x20since\x20v195:\x20the\x20KS-R11\x20rail\x20(arb_refund,\x20pledged\x20->\x20withdrawn)\x20returns\x20the\x20still-escrowed\x20contribution\x20pre-settlement.\x20The\x20per-order\x20ceiling\x20is\x20fund/3\x20and\x20quotes\x20go\x20stale\x20as\x20awards\x20shrink\x20the\x20fund.','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'KS-R3','class':'remedy','name':'Recover\x20rail:\x20swept\x20principal\x20returned\x20to\x20the\x20campaign\x20account','actor':'keeper','precondition':['KS-R2'],'onchain':'expressible','chainFootprint':{'node':'missed_refunded','moneyEffect':'release'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20terminal-node\x20recover\x20sweep\x20pairs\x20with\x20the\x20refund\x20rail:\x20compensated\x20principal\x20is\x20collected\x20back\x20to\x20the\x20campaign\x20account\x20in\x20the\x20same\x20atomic\x20batch\x20shape,\x20keeping\x20refund\x20and\x20recovery\x20partitioned\x20by\x20node.','evidence':[{'file':'allocation.move','line':0x300,'pattern':'sweeps\x20every\x20pool'}]},{'id':'KS-R4','class':'remedy','name':'Regulator-ordered\x20refund\x20of\x20a\x20live\x20campaign','actor':'platform','precondition':['KS-E19'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'A\x20regulator\x20cannot\x20drive\x20the\x20machine;\x20ordering\x20a\x20refund\x20means\x20the\x20platform\x20serves\x20notice\x20and\x20backers\x20execute\x20the\x20pre-deadline\x20exit\x20themselves.','evidence':[]},{'id':'KS-P1','class':'post','name':'Raise\x20summary\x20and\x20reputation\x20publishing','actor':'merchant','precondition':['KS-M5'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Reputation\x20stays\x20off-chain\x20prose;\x20the\x20on-chain\x20truth\x20is\x20the\x20frozen\x20WIP\x20artifact,\x20the\x20writer-bound\x20ledger\x20and\x20the\x20polarity\x20decision.','evidence':[]},{'id':'KS-P2','class':'post','name':'Campaign\x20archive\x20page\x20for\x20settled\x20backers','actor':'platform','precondition':['KS-M6'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Archive\x20is\x20a\x20storefront\x20view\x20over\x20on-chain\x20state\x20(WIP\x20terms,\x20ledger\x20rows,\x20settlement\x20records);\x20it\x20adds\x20no\x20chain\x20object.','evidence':[]},{'id':'KS-P3','class':'post','name':'Tax\x20receipts\x20issued\x20to\x20backers','actor':'merchant','precondition':['KS-M6'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Tax\x20paperwork\x20is\x20off-chain;\x20the\x20pledge\x20record\x20is\x20the\x20anchor,\x20not\x20a\x20tax\x20primitive.','evidence':[]},{'id':'KS-P4','class':'post','name':'Benchmark\x20disclosure\x20of\x20the\x20displaced\x20platform\x20take','actor':'platform','precondition':['KS-P2'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'incumbent_take_bps','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20displaced\x20platform\x20take\x20(500\x20bps\x20here)\x20is\x20benchmark\x20disclosure\x20only\x20-\x20no\x20allocator\x20row\x20reads\x20it;\x20this\x20template\x27s\x20actual\x20take\x20is\x20its\x20own\x20commission\x20key\x20kept\x20at\x200.','evidence':[]},{'id':'KS-P5','class':'post','name':'Refund\x20completed\x20and\x20campaign\x20closed','actor':'keeper','precondition':['KS-M7'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'After\x20the\x20batch\x20refund\x20the\x20campaign\x20is\x20terminal\x20on\x20this\x20template;\x20a\x20relaunch\x20is\x20a\x20new\x20frozen\x20campaign,\x20not\x20a\x20resume.','evidence':[]},{'id':'KS-R10','class':'remedy','name':'Dismissed\x20case:\x20backer\x20resume\x20and\x20re-pledge','actor':'buyer','precondition':['KS-R8'],'onchain':'expressible_with_gap','chainFootprint':{'node':'pledged','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'arb_dismissed_resume','guardProbeKind':'feature','gapPredicate':{'probe':'no\x20claim\x20node|OFF-Machine'},'commercialSemantics':'A\x20dismissed\x20case\x20returns\x20the\x20dispute\x20to\x20negotiation:\x20no\x20machine\x20edge\x20resumes\x20a\x20dismissed\x20ruling\x20or\x20re-arms\x20the\x20escrow,\x20and\x20the\x20corpus\x20only\x20discloses\x20that\x20disputes\x20live\x20off-machine\x20(no\x20claim\x20node).\x20JUDGED\x20NOT-APPLICABLE-AS-MACHINE-EDGE\x20at\x20v195\x20(stage2\x20#13):\x20this\x20shape\x20holds\x20NO\x20escrow\x20for\x20a\x20dismissal\x20to\x20release\x20—\x20the\x20FLOWS\x20§2.3\x20resume\x20prescription\x20is\x20a\x20holdback-sibling\x20transplant\x20—\x20so\x20the\x20feature\x20probe\x20stays\x20a\x20deliberate\x20advisory\x20miss,\x20the\x20FIX-EDGE\x20tracker;\x20the\x20runbook\x20duty\x20(keeper_duty\x204)\x20sequences\x20any\x20recover\x20temptation\x20instead.','evidence':[]},{'id':'KS-R11','class':'remedy','name':'Won\x20ruling\x20redirects\x20the\x20escrowed\x20principal\x20to\x20the\x20backer','actor':'arbitrator','precondition':['KS-R8'],'onchain':'expressible','chainFootprint':{'node':'withdrawn','forward':'ArbRefund','prev':'pledged','identity':'order_holder','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'arb_refund','guardProbeKind':'feature','gapPredicate':{'probe':'compensation\x20fund|THIRD-PARTY\x20Arbitration'},'commercialSemantics':'SHIPPED\x20v195\x20(stage2\x20#13,\x20FLOWS\x20§2.3\x20KS-R11):\x20the\x20buyer-won\x20ruling\x20rail\x20pledged\x20->\x20withdrawn\x20(tpl_forward_arb_ruling_won,\x20canonical\x20two-slot\x20root\x20—\x20arb.order\x20==\x20order\x20AND\x20indemnity\x20some\x20AND\x20amount\x20!=\x200,\x20so\x20a\x20dismissed\x20or\x20merchant-favor\x20ruling\x20can\x20never\x20fire\x20it)\x20redirects\x20the\x20still-escrowed\x20principal\x20to\x20the\x20backer\x27s\x20order\x20on\x20the\x20refund-rail\x20slot\x201001.\x20PRE-SETTLEMENT\x20polarity\x20only:\x20after\x20the\x20deadline\x20rails\x20commit\x20there\x20is\x20no\x20clawback\x20(D-4),\x20so\x20post-settlement\x20award\x20pricing\x20rides\x20the\x20compensation\x20fund,\x20never\x20the\x20escrow.','evidence':[]},{'id':'KS-E21','class':'exception','name':'Claim-withdraw:\x20backer\x20drops\x20a\x20filed\x20case','actor':'buyer','precondition':['KS-R8'],'onchain':'expressible_with_gap','chainFootprint':{'node':'withdrawn','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'withdraw_claim'},'commercialSemantics':'No\x20claim\x20state\x20exists\x20on\x20the\x20machine\x20(disputes\x20are\x20off-machine),\x20so\x20there\x20is\x20nothing\x20to\x20withdraw\x20-\x20and\x20if\x20a\x20naive\x20withdraw\x20edge\x20were\x20ever\x20mounted,\x20it\x20would\x20replay\x20into\x20a\x20free\x20full-refund\x20rail\x20that\x20bypasses\x20both\x20the\x20deadline\x20polarity\x20and\x20the\x20no-clawback\x20posture.\x20The\x20KS-E21\x20build\x20note\x20discloses\x20this\x20since\x20v195\x20(stage2\x20#13);\x20the\x20strict\x20probe\x20stays\x20as\x20a\x20regression\x20tripwire\x20so\x20a\x20removed\x20note\x20re-surfaces\x20the\x20gap.','evidence':[]},{'id':'KS-E22','class':'exception','name':'Post-goal\x20cancellation\x20demand\x20by\x20a\x20backer','actor':'buyer','precondition':['KS-M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'funded_released','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'no-clawback'},'commercialSemantics':'There\x20is\x20no\x20post-goal\x20cancellation\x20rail\x20and\x20must\x20not\x20be\x20one:\x20settled\x20payouts\x20cannot\x20be\x20reversed\x20by\x20any\x20tool,\x20guard\x20or\x20ruling\x20-\x20the\x20disclosed\x20boundary\x20is\x20the\x20no-clawback\x20note\x20plus\x20the\x20off-chain\x20negotiation\x20path.','evidence':[]},{'id':'KS-P8','class':'post','name':'Backer\x20re-pledges\x20into\x20the\x20next\x20campaign','actor':'buyer','precondition':['KS-E5'],'onchain':'expressible','chainFootprint':{'node':'pledged','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'A\x20refunded\x20backer\x20re-enters\x20any\x20live\x20campaign\x20as\x20a\x20fresh\x20order;\x20the\x20previous\x20pledge\x20leaves\x20no\x20machine\x20residue\x20beyond\x20the\x20zeroed\x20row\x20and\x20the\x20terminal\x20order\x20state.','evidence':[]}],'invariants':[{'id':'INV-KS-1','statement':'A\x20campaign\x20that\x20misses\x20its\x20threshold\x20at\x20the\x20deadline\x20must\x20auto-refund\x20every\x20contribution\x20IN\x20FULL\x20to\x20its\x20backer\x20-\x20a\x20missed-campaign\x20refund\x20leg\x20must\x20exist.','jurisdiction':'every\x20deployment\x20of\x20this\x20template','chainConflict':'Shipped\x20as\x20the\x20node-gated\x20missed_refund\x20allocator\x20row\x20at\x20Rate\x2010000\x20with\x20the\x20opposite\x20aggregate\x20polarity\x20of\x20the\x20release\x20leg,\x20paired\x20with\x20the\x20keeper-less\x20AbandonAfterDeadline\x20self-heal;\x20removing\x20the\x20refund\x20forward\x20turns\x20a\x20missed\x20goal\x20into\x20confiscation.','violation':{'whileMissingForward':'RefundOnMissed'},'evidence':[{'file':'allocation.move','line':0x313,'pattern':'public\x20fun\x20alloc_batch'}]},{'id':'INV-KS-2','statement':'A\x20backer\x20must\x20be\x20able\x20to\x20exit\x20a\x20live\x20campaign\x20with\x20a\x20full,\x20fee-free\x20refund\x20at\x20any\x20time\x20before\x20the\x20deadline\x20-\x20the\x20pre-deadline\x20withdraw\x20forward\x20must\x20exist.','jurisdiction':'every\x20deployment\x20of\x20this\x20template','chainConflict':'Shipped\x20as\x20the\x20order-holder\x20withdraw\x20edge\x20gated\x20by\x20the\x20absolute-deadline\x20upper\x20bound,\x20which\x20zeroes\x20the\x20writer-bound\x20contribution\x20row\x20so\x20the\x20escrow-bound\x20total\x20decays;\x20removing\x20it\x20locks\x20pledges\x20from\x20day\x20one\x20and\x20poisons\x20the\x20goal\x20arithmetic.','violation':{'whileMissingForward':'WithdrawPledge'},'evidence':[{'file':'order.move','line':0x15e,'pattern':'owner_receive'}]},{'id':'INV-KS-3','statement':'All-or-nothing\x20posture:\x20the\x20goal\x20decision\x20must\x20stay\x20a\x20single\x20on-chain\x20escrow-bound\x20polarity\x20gate\x20-\x20never\x20blurred\x20into\x20keep-it-all,\x20never\x20self-attested,\x20and\x20the\x20platform\x20take\x20must\x20stay\x200\x20against\x20the\x20disclosed\x20incumbent\x20benchmark.','jurisdiction':'campaign\x20copy\x20and\x20configuration','chainConflict':'The\x20catalog\x20splits\x20the\x20family\x20into\x20this\x20threshold\x20template\x20(release\x20XOR\x20per-contributor\x20refund,\x200\x20commission,\x20benchmark\x20500\x20bps)\x20and\x20a\x20flexible\x20keep-it-all\x20sibling;\x20promising\x20auto-refunds\x20on\x20a\x20keep-it-all\x20build,\x20or\x20quoting\x20a\x20fund\x20figure\x20as\x20chain-anchored,\x20breaks\x20the\x20disclosed\x20trust\x20model.\x20Compliance\x20items\x20(non-investment\x20wording,\x20KYC-AML\x20flagging)\x20are\x20disclosure\x20duties,\x20not\x20automatable\x20rules.','evidence':[]},{'id':'INV-KS-ORGANIZERCANCEL','statement':'The\x20real\x20archetype\x27s\x20most\x20common\x20creator-side\x20failure\x20is\x20cancelling\x20the\x20campaign\x20(abort\x20a\x20live\x20project,\x20or\x20abandon\x20a\x20met\x20one)\x20—\x20the\x20template\x20must\x20always\x20ship\x20a\x20permission-gated\x20creator-cancel\x20exit\x20so\x20a\x20still-escrowed\x20pledge\x20refunds\x20IN\x20FULL\x20through\x20the\x20SAME\x20missed_refund\x20rail\x20instead\x20of\x20waiting\x20out\x20the\x20deadline\x20polarity\x20or\x20letting\x20the\x20release\x20pay\x20an\x20absent\x20project.\x20Standing\x20check\x20(batch7\x20T-L,\x202026-11-09):\x20CancelCampaign\x20pledged->missed_refunded\x20is\x20mounted\x20(merchant\x20refund-rail\x20slot\x201001,\x20tpl_forward_node_check\x20on\x20the\x20pledged\x20source,\x20the\x20ktt\x20v178\x20shape;\x20the\x20rail\x20pays\x20the\x20BACKER\x20slot\x200\x20so\x20the\x20creator\x20gains\x20nothing\x20by\x20cancelling)\x20—\x20deleting\x20the\x20forward\x20re-fires\x20this\x20invariant.','violation':{'whileMissingForward':'CancelCampaign'},'evidence':[]}]};

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

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

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

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

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

@@ -0,0 +1 @@
+export const ONLYFANS_ORACLE={'productRef':'onlyfans','products':['onlyfans'],'oracleVersion':'1.0.0','steps':[{'id':'M1','class':'offchain','name':'Fan\x20discovers\x20the\x20creator\x20through\x20the\x20external\x20social\x20funnel','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Discovery\x20happens\x20on\x20external\x20social\x20platforms\x20and\x20funnels\x20into\x20the\x20subscription\x20—\x20the\x20incumbent\x27s\x20own\x20discovery\x20surface\x20is\x20famously\x20weak.\x20Pure\x20off-chain\x20acquisition;\x20the\x20chain\x20carries\x20no\x20demand\x20funnel.','evidence':[]},{'id':'M2','class':'main','name':'Age\x20gate:\x20buy-guard\x20allowlist\x20checks\x20the\x20age\x20attestation\x20before\x20any\x20order','actor':'buyer','precondition':['M1'],'onchain':'expressible_with_gap','chainFootprint':{'node':'subscribed','identity':'signer','moneyEffect':'none'},'commercialSemantics':'Both\x20sides\x20are\x2018+\x20under\x20statutory\x20age-assurance\x20duties\x20(UK\x20OSA,\x20US\x20state\x20laws).\x20The\x20chain\x20has\x20no\x20credential\x20query\x20—\x20the\x20buy\x20gate\x20witnesses\x20a\x20Passport\x20attestation\x20bit,\x20and\x20the\x20attestation\x20itself\x20is\x20issued\x20by\x20off-chain\x20KYC.\x20That\x20issuance\x20link\x20is\x20the\x20gap\x20the\x20corpus\x20discloses.','gapPredicate':{'probe':'age.verification|age-verification|identity_check_allowlist|has_verified'},'evidence':[{'file':'service.move','line':0x1d9,'pattern':'passport::result_for_guard'},{'file':'service.move','line':0x79,'pattern':'E_BUY_GUARD_ORDER_SLOT'}]},{'id':'M3','class':'main','name':'Subscribe:\x20pay\x20and\x20escrow\x20period\x201','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'subscribed','moneyEffect':'escrow_in'},'commercialSemantics':'The\x20subscription\x20price\x20(benchmarked\x20single\x20digits\x20to\x20mid-tens\x20per\x20month)\x20is\x20escrowed\x20in\x20one\x20atomic\x20buy;\x20period\x201\x20lands\x20directly\x20in\x20production\x20after\x20the\x20entry\x20join\x20pair.','evidence':[{'file':'service.move','line':0x1c9,'pattern':'public\x20fun\x20buy'},{'file':'order.move','line':0xb8,'pattern':'public(package)\x20fun\x20new'}]},{'id':'M4','class':'main','name':'Creator\x20produces\x20the\x20period\x27s\x20content\x20(posts,\x20sets,\x20drops)','actor':'merchant','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'delivering','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Content\x20bodies\x20are\x20off-chain;\x20the\x20producing\x20window\x20is\x20the\x20work\x20surface.\x20NOTE\x20(template\x20defect,\x20reported\x20not\x20encoded):\x20this\x20template\x27s\x20producing\x20entries\x20ride\x20as\x20bare\x20strings\x20with\x20no\x20creator\x20permission\x20rail\x20—\x20unlike\x20the\x20sibling\x20membership\x20template\x20that\x20pins\x20the\x20creator\x20slot\x20—\x20so\x20any\x20order-passport\x20holder\x20can\x20advance\x20the\x20join\x20hop\x20until\x20the\x20catalog\x20sweep\x20lands\x20here\x20too.','evidence':[{'file':'progress.move','line':0x14f,'pattern':'ASSERT_PERMISSION'}]},{'id':'M5','class':'main','name':'Creator\x20submits\x20the\x20period\x20content;\x20hash\x20locks\x20with\x20the\x20balance\x20leg','actor':'merchant','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'submit_content','prev':'delivering','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Delivery\x20is\x20the\x20content\x20hash\x20plus\x20an\x20escrow-balance\x20requirement:\x20a\x20refunded\x20(drained)\x20order\x20can\x20never\x20be\x20re-delivered\x20into\x20a\x20payable\x20state.\x20The\x20hash\x20proves\x20what\x20shipped;\x20the\x20body\x20stays\x20off-chain.','guardKeyProbe':'content_hash','evidence':[{'file':'repository.move','line':0x219,'pattern':'data_add_imp'},{'file':'allocation.move','line':0x1fb,'pattern':'balance_value\x20>\x200'}]},{'id':'M6','class':'main','name':'Fan\x20reviews\x20inside\x20the\x20window\x20(rating\x20feeds\x20the\x20bounty\x20rail)','actor':'buyer','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'review','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Review\x20is\x20time-windowed\x20and\x20payer-gated;\x20the\x20rating\x20row\x20feeds\x20the\x20reward\x20claim\x20guard.\x20The\x20window\x20is\x20a\x20hard\x20edge\x20gate,\x20unlike\x20the\x20incumbent\x20where\x20reviews\x20do\x20not\x20exist\x20publicly\x20at\x20all.','guardKeyProbe':'review_window','evidence':[{'file':'progress.move','line':0x13a,'pattern':'E_ORDER_PAYER_REQUIRED'}]},{'id':'M7','class':'main','name':'Second\x20review\x20entry:\x20confirm-first\x20fans\x20can\x20still\x20review','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'review_after_confirmation','prev':'completed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20dual-column\x20review\x20idiom:\x20a\x20fan\x20who\x20confirmed\x20before\x20reviewing\x20keeps\x20a\x20bounty-bearing\x20review\x20entry\x20from\x20the\x20completed\x20state,\x20closing\x20the\x20reward-bypass\x20detour\x20where\x20early\x20confirmers\x20lost\x20the\x20bounty\x20rail.','evidence':[{'file':'machine.move','line':0x37a,'pattern':'forwards_add'}]},{'id':'M8','class':'main','name':'Fan\x20confirms;\x20release-state\x20gate\x20closes\x20the\x20refund-drained\x20path','actor':'buyer','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'confirm','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Confirmation\x20is\x20fan-only\x20and\x20balance-gated:\x20once\x20a\x20refund\x20drains\x20the\x20order,\x20the\x20confirm\x20and\x20review\x20edges\x20are\x20permanently\x20closed\x20—\x20the\x20refund-plus-settle\x20double-dip\x20is\x20structurally\x20dead.','guardKeyProbe':'release_state','evidence':[{'file':'allocation.move','line':0x1f4,'pattern':'public\x20fun\x20alloc'}]},{'id':'M9','class':'main','name':'Settle\x20to\x20creator:\x20state-machine\x20release\x20(no\x20calendar\x20window)','actor':'platform','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'completed','identity':'order_holder','moneyEffect':'release'},'commercialSemantics':'Funds\x20unlock\x20on\x20the\x20delivery-confirmed\x20state,\x20not\x20after\x20a\x20payout\x20hold\x20calendar:\x20settle\x20allocator\x20rows\x20pay\x20the\x20full\x20balance\x20to\x20the\x20creator\x20(zero\x20platform\x20take;\x20the\x2020%\x20incumbent\x20cut\x20exists\x20only\x20as\x20a\x20benchmark\x20knob).\x20The\x20settle\x20rail\x20is\x20allocator-mounted\x20—\x20its\x20guard\x20keys\x20are\x20row\x20keys,\x20not\x20machine-edge\x20keys.','evidence':[{'file':'allocation.move','line':0x17b,'pattern':'allocator_add'}]},{'id':'M10','class':'main','name':'Fan\x20claims\x20the\x20review\x20bounty\x20(rating\x20floor,\x20once\x20per\x20order)','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'reviewed','moneyEffect':'reward'},'commercialSemantics':'The\x20claim\x20set\x20spans\x20reviewed/completed/expired\x20with\x20a\x20rating\x20floor\x20and\x20a\x20once-per-order\x20slot;\x20the\x20guard\x20is\x20reward-object-hosted\x20so\x20its\x20keys\x20are\x20not\x20machine-edge\x20keys.\x20The\x20per-claim\x20amount\x20is\x20sized\x20to\x20clear\x20claim\x20gas.','evidence':[{'file':'reward.move','line':0xe3,'pattern':'public\x20fun\x20claim'},{'file':'reward.move','line':0xa7,'pattern':'reward_guard'}]},{'id':'M11','class':'main','name':'Keeper\x20reminds\x20the\x20fan\x20before\x20period\x20end\x20(no\x20auto-charge\x20authority)','actor':'keeper','precondition':['M9'],'onchain':'disclosure_only','disclosureProbe':'no\x20auto-charge|can\x20never\x20charge|auto-charge','commercialSemantics':'The\x20incumbent\x20auto-renews\x20silently\x20until\x20cancel.\x20The\x20chain\x20has\x20no\x20debit\x20primitive\x20—\x20keepers\x20remind\x20and\x20expire\x20but\x20can\x20never\x20charge;\x20renewal\x20happens\x20only\x20when\x20the\x20fan\x20signs\x20again.','evidence':[]},{'id':'M12','class':'main','name':'Fan\x20signs\x20the\x20renewal\x20charge\x20(period-charge\x20guard\x20on\x20the\x20renew\x20forward)','actor':'buyer','precondition':['M11'],'onchain':'expressible','chainFootprint':{'node':'charging','forward':'renew','prev':'completed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20renewal\x20loop\x20is\x20explicit:\x20a\x20named\x20renew\x20forward\x20bound\x20to\x20the\x20payer\x20with\x20a\x20signature\x20guard\x20—\x20no\x20third\x20party\x20can\x20renew\x20on\x20the\x20fan\x27s\x20behalf,\x20and\x20period\x201\x20never\x20passes\x20through\x20charging.','guardKeyProbe':'period_charge','evidence':[{'file':'progress.move','line':0x13a,'pattern':'E_ORDER_PAYER_REQUIRED'}]},{'id':'M13','class':'main','name':'One\x20transaction\x20funds\x20and\x20advances\x20the\x20renewal','actor':'buyer','precondition':['M12'],'onchain':'expressible','chainFootprint':{'node':'delivering','moneyEffect':'escrow_in'},'commercialSemantics':'Renewal\x20is\x20a\x20single\x20fan-signed\x20transaction\x20that\x20funds\x20and\x20advances\x20together;\x20the\x20renew\x20path\x20must\x20stay\x20free\x20of\x20an\x20escrow-balance\x20leg\x20(pre-state\x20reads\x20are\x20blind\x20inside\x20one\x20transaction).\x20The\x20per-period\x20slot\x20equals\x20the\x20history\x20count,\x20so\x20replays\x20die.','evidence':[{'file':'payment.move','line':0x67,'pattern':'public\x20fun\x20new'},{'file':'progress.move','line':0x8e,'pattern':'ParentTableVec'}]},{'id':'M14','class':'main','name':'Side\x20rails:\x20pay-per-view\x20unlocks,\x20paid\x20messaging,\x20tips','actor':'buyer','precondition':['M3'],'onchain':'disclosure_only','disclosureProbe':'pay-per-view|PPV|tips','commercialSemantics':'The\x20monetization\x20sub-templates\x20live\x20outside\x20this\x20machine:\x20pay-per-view\x20is\x20its\x20own\x20five-node\x20service\x20with\x20its\x20own\x20escrow\x20and\x20refund\x20exit,\x20paid\x20messaging\x20is\x20a\x20subscription\x20skeleton\x20with\x20response-record\x20delivery,\x20and\x20tips\x20are\x20direct\x20payments\x20that\x20bypass\x20the\x20machine\x20entirely\x20—\x20the\x20corpus\x20declares\x20the\x20split.','evidence':[{'file':'payment.move','line':0x4f,'pattern':'payment_info'}]},{'id':'E1','class':'exception','name':'Renewal\x20declined\x20—\x20no\x20auto-debit\x20retry\x20machinery\x20exists','actor':'keeper','precondition':['M11'],'onchain':'expressible_with_gap','chainFootprint':{'node':'delivering','moneyEffect':'none'},'commercialSemantics':'A\x20declined\x20renewal\x20is\x20an\x20unsigned\x20period:\x20remind,\x20grace,\x20expire.\x20There\x20is\x20no\x20retry/dunning\x20machinery\x20and\x20there\x20can\x20be\x20none\x20without\x20a\x20debit\x20primitive\x20—\x20the\x20no-auto-charge\x20design\x20note\x20discloses\x20the\x20difference.','gapPredicate':{'probe':'no\x20auto-charge|can\x20never\x20charge|explicit\x20signature'},'evidence':[]},{'id':'E2','class':'exception','name':'Grace\x20lapses;\x20expiry\x20fires\x20only\x20from\x20delivered/reviewed','actor':'keeper','precondition':['M13'],'onchain':'expressible','chainFootprint':{'node':'expired','identity':'permission_index','moneyEffect':'none'},'commercialSemantics':'Expiry\x20is\x20a\x20keeper\x20time-locked\x20rail\x20and\x20can\x20only\x20be\x20reached\x20from\x20delivered\x20states\x20—\x20an\x20undelivered\x20period\x20never\x20expires\x20and\x20never\x20settles;\x20it\x20exits\x20through\x20the\x20refund\x20rails\x20instead.\x20Fans\x20can\x20never\x20forge\x20the\x20expiry\x20hop.','guardKeyProbe':'period_expiry','evidence':[{'file':'machine.move','line':0x37a,'pattern':'forwards_add'}]},{'id':'E3','class':'exception','name':'Expired\x20settles\x20to\x20the\x20creator:\x20silence\x20is\x20churn,\x20not\x20a\x20refund\x20claim','actor':'merchant','precondition':['E2'],'onchain':'expressible','chainFootprint':{'node':'expired','moneyEffect':'release'},'commercialSemantics':'The\x20mirror\x20of\x20the\x20sibling\x20membership\x20template:\x20delivered\x20content\x20is\x20payable\x20at\x20expiry\x20—\x20the\x20expired\x20rail\x20pays\x20the\x20creator\x20in\x20full\x20while\x20the\x20fan\x20keeps\x20access\x20till\x20period\x20end.\x20Cancel-after-delivery\x20disputes\x20still\x20route\x20to\x20arbitration.','evidence':[{'file':'allocation.move','line':0x17b,'pattern':'allocator_add'}]},{'id':'E4','class':'exception','name':'Cancel\x20mid-period\x20(access\x20to\x20period\x20end,\x20then\x20no\x20further\x20charges)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','identity':'order_holder','moneyEffect':'refund'},'commercialSemantics':'Cancel\x20is\x20a\x20fan\x20rail\x20into\x20the\x20closed\x20state\x20with\x20its\x20own\x20mandatory\x20refund\x20exit;\x20renewal\x20is\x20explicit\x20signature,\x20so\x20cancel\x20simply\x20means\x20not\x20signing\x20again\x20—\x20the\x20no-further-charge\x20promise\x20holds\x20by\x20construction.','evidence':[{'file':'allocation.move','line':0x1f4,'pattern':'public\x20fun\x20alloc'}]},{'id':'E5','class':'exception','name':'Subscription\x20downgrade\x20at\x20the\x20next\x20billing\x20date','actor':'buyer','precondition':['M3'],'onchain':'disclosure_only','disclosureProbe':'proration|prorated|re-prices|downgrade','commercialSemantics':'Incumbent\x20proration\x20machinery\x20does\x20not\x20exist\x20here;\x20the\x20chain\x20equivalent\x20is\x20that\x20every\x20renewal\x20re-prices\x20from\x20the\x20SKU\x20price,\x20so\x20the\x20next\x20signed\x20period\x20simply\x20buys\x20the\x20cheaper\x20tier\x20—\x20the\x20corpus\x20discloses\x20the\x20re-pricing\x20rule.','evidence':[]},{'id':'E6','class':'exception','name':'Subscription\x20upgrade\x20(new\x20price\x20applies\x20to\x20the\x20next\x20period)','actor':'buyer','precondition':['M3'],'onchain':'disclosure_only','disclosureProbe':'proration|prorated|re-prices|upgrade','commercialSemantics':'No\x20immediate\x20prorated\x20debit\x20exists:\x20the\x20upgrade\x20is\x20the\x20next\x20period\x20bought\x20at\x20the\x20new\x20price\x20(or\x20a\x20separate\x20order).\x20The\x20corpus\x20discloses\x20the\x20per-renewal\x20re-pricing\x20rule\x20that\x20carries\x20the\x20semantics.','evidence':[]},{'id':'E7','class':'exception','name':'Subscription\x20pause\x20for\x20a\x20month','actor':'buyer','precondition':['M3'],'onchain':'not_applicable','commercialSemantics':'Neither\x20side\x20has\x20it:\x20the\x20real\x20product\x20ships\x20no\x20pause\x20and\x20the\x20chain\x20ships\x20no\x20pause\x20state\x20—\x20semantics\x20align.\x20The\x20native\x20substitute\x20on\x20both\x20sides\x20is\x20letting\x20the\x20period\x20lapse\x20and\x20rejoining\x20fresh.','evidence':[]},{'id':'E8','class':'exception','name':'Period\x20content\x20not\x20updated\x20(creator\x20goes\x20silent\x20mid-subscription)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'delivering','moneyEffect':'refund'},'commercialSemantics':'While\x20the\x20period\x20sits\x20in\x20producing,\x20the\x20fan\x20holds\x20a\x20node-gated\x20full\x20refund\x20exit\x20—\x20materially\x20stronger\x20than\x20the\x20incumbent\x27s\x20all-sales-final\x20posture\x20where\x20silence\x20leaves\x20only\x20support\x20tickets\x20and\x20chargebacks.','evidence':[{'file':'allocation.move','line':0x17b,'pattern':'allocator_add'}]},{'id':'E9','class':'exception','name':'Pay-per-view\x20content\x20not\x20as\x20described','actor':'buyer','precondition':['M14'],'onchain':'disclosure_only','disclosureProbe':'pay-per-view|PPV','commercialSemantics':'The\x20unlock\x20rides\x20its\x20own\x20service\x27s\x20hash\x20commitment\x20and\x20refund\x20exit;\x20the\x20description\x20text\x20is\x20off-chain,\x20so\x20degree\x20disputes\x20route\x20to\x20arbitration\x20—\x20the\x20corpus\x20discloses\x20the\x20pay-per-view\x20sub-template\x20and\x20the\x20dispute\x20routing.','evidence':[]},{'id':'E10','class':'exception','name':'Custom\x20content\x20ordered\x20via\x20paid\x20messaging\x20never\x20delivered','actor':'buyer','precondition':['M14'],'onchain':'disclosure_only','disclosureProbe':'SOFT|response.record|WIP','commercialSemantics':'Paid-messaging\x20response\x20promises\x20are\x20soft\x20written\x20terms\x20carried\x20in\x20the\x20listing\x20detail\x20file,\x20never\x20guards\x20—\x20delivery\x20deadlines\x20are\x20not\x20chain-enforceable.\x20The\x20remedy\x20is\x20arbitration\x20over\x20the\x20response-record\x20row;\x20the\x20corpus\x20discloses\x20the\x20soft-clause\x20boundary.','evidence':[]},{'id':'E11','class':'exception','name':'Chat\x20agent\x20impersonation\x20(agency\x20staff\x20types\x20as\x20the\x20creator)','actor':'merchant','precondition':['M14'],'onchain':'disclosure_only','disclosureProbe':'response.record|impersonat|agent','commercialSemantics':'Response\x20records\x20prove\x20WHEN\x20a\x20message\x20was\x20delivered,\x20never\x20WHO\x20typed\x20it\x20—\x20identity\x20rails\x20can\x20be\x20attached\x20without\x20the\x20named\x20party\x27s\x20consent,\x20so\x20the\x20who-is-typing\x20fact\x20is\x20unprovable\x20on\x20chain\x20(the\x20incumbent\x27s\x20agency-chatter\x20practice\x20has\x20produced\x20active\x20litigation).\x20The\x20corpus\x20discloses\x20the\x20response-record\x20rail\x20that\x20bounds\x20the\x20dispute.','evidence':[{'file':'progress.move','line':0x333,'pattern':'namedOperator_add'}]},{'id':'E12','class':'exception','name':'Age\x20verification\x20fails:\x20buy\x20aborts\x20before\x20any\x20order\x20exists','actor':'buyer','precondition':['M2'],'onchain':'expressible_with_gap','chainFootprint':{'node':'subscribed','identity':'signer','moneyEffect':'none'},'commercialSemantics':'The\x20allowlist\x20gate\x20miss\x20aborts\x20the\x20buy\x20pre-creation\x20—\x20no\x20escrow,\x20no\x20order\x20record.\x20The\x20attestation\x20behind\x20the\x20gate\x20is\x20off-chain-issued,\x20which\x20is\x20the\x20disclosed\x20gap\x20shared\x20with\x20the\x20entry\x20step.','gapPredicate':{'probe':'identity_check_allowlist|age.verification|has_verified'},'evidence':[{'file':'service.move','line':0x1d9,'pattern':'passport::result_for_guard'}]},{'id':'E13','class':'exception','name':'Forged\x20or\x20revoked\x20age\x20credential\x20(attestation\x20reality\x20gap)','actor':'platform','precondition':['M2'],'onchain':'unresolvable','unresolvableRef':'S5','disclosureProbe':'has_verified|credential|zero\x20PII|KYC|revoke','commercialSemantics':'Zero-PII\x20architecture\x20plus\x20no\x20credential\x20query\x20means\x20the\x20attestation\x20bit\x20cannot\x20be\x20verified\x20deeper\x20or\x20revoked\x20on\x20chain\x20once\x20issued\x20—\x20regulator-facing\x20attestation\x20accuracy\x20(the\x20incumbent\x27s\x20seven-figure\x20fine\x20for\x20misreporting)\x20is\x20off-chain\x20enforcement.\x20The\x20corpus\x20discloses\x20the\x20off-chain\x20issuer\x20boundary.','evidence':[{'file':'registrar.move','line':0xd0,'pattern':'Messenger'}]},{'id':'E14','class':'exception','name':'Bad-faith\x20chargeback\x20against\x20a\x20paid\x20period','actor':'buyer','precondition':['M3'],'onchain':'not_applicable','commercialSemantics':'Signature-pay\x20finality\x20removes\x20the\x20chargeback\x20category\x20entirely\x20—\x20there\x20is\x20no\x20card\x20network\x20in\x20the\x20settlement\x20path\x20to\x20weaponize.\x20Fiat\x20ramps\x20keep\x20a\x20residual\x20exposure\x20at\x20the\x20tool\x20layer.','evidence':[]},{'id':'E15','class':'exception','name':'Creator\x20banned;\x20balance\x20and\x20payouts\x20frozen\x20by\x20the\x20platform','actor':'platform','precondition':['M9'],'onchain':'disclosure_only','disclosureProbe':'freeze|confiscat|clawback|no\x20hold','commercialSemantics':'The\x20incumbent\x20freezes\x20creator\x20balances\x20at\x20ban\x20(the\x202021\x20policy\x20episode\x20hit\x20most\x20adult\x20creators).\x20The\x20chain\x20has\x20no\x20confiscation\x20primitive\x20—\x20funds\x20unlock\x20per\x20the\x20state\x20machine\x20and\x20pay\x20out\x20to\x20the\x20order\x20owner;\x20the\x20corpus\x20discloses\x20the\x20no-calendar-freeze\x20release\x20semantics.','evidence':[]},{'id':'E16','class':'exception','name':'Prohibited\x20content\x20takedown\x20(statutory\x20and\x20card-network\x20duties)','actor':'platform','precondition':['M4'],'onchain':'disclosure_only','disclosureProbe':'content\x20compliance|takedown|2257|prohibited','commercialSemantics':'Only\x20hashes\x20live\x20on\x20chain\x20—\x20content\x20bodies\x20and\x20their\x20governance\x20are\x20structurally\x20out\x20of\x20scope\x20for\x20chain\x20objects;\x20takedown\x20and\x20record-keeping\x20duties\x20stay\x20off-chain.\x20The\x20corpus\x20discloses\x20the\x20compliance\x20boundary\x20explicitly.','evidence':[]},{'id':'E17','class':'exception','name':'Card-network\x20severance\x20(processors\x20refuse\x20the\x20vertical)','actor':'platform','precondition':['M3'],'onchain':'disclosure_only','disclosureProbe':'chargeback|Visa|Mastercard|severance','commercialSemantics':'The\x20incumbent\x27s\x20existential\x20risk\x20(banks\x20and\x20card\x20networks\x20withdrawing,\x20the\x20six-day\x20ban\x20reversal)\x20cannot\x20reach\x20on-chain\x20rails.\x20The\x20corpus\x20discloses\x20the\x20state-machine-vs-chargeback\x20replacement\x20that\x20carries\x20the\x20independence\x20story;\x20fiat\x20on/off-ramps\x20remain\x20the\x20exposed\x20single\x20point.','evidence':[]},{'id':'E18','class':'exception','name':'Paid\x20content\x20leaks\x20outside\x20the\x20paywall','actor':'buyer','precondition':['M5'],'onchain':'unresolvable','unresolvableRef':'S5','disclosureProbe':'hashes\x20on-chain|leak|piracy|E2EE','commercialSemantics':'A\x20hash\x20proves\x20publication\x20and\x20integrity\x20but\x20grants\x20no\x20read\x20permission\x20—\x20leak\x20protection\x20is\x20entirely\x20off-chain\x20(encrypted\x20delivery,\x20takedown\x20notices).\x20The\x20corpus\x20discloses\x20that\x20bodies\x20live\x20off-chain\x20with\x20hashes\x20only.','evidence':[{'file':'registrar.move','line':0xd0,'pattern':'Messenger'}]},{'id':'E19','class':'exception','name':'Direct-message\x20harassment\x20with\x20no\x20block\x20primitive','actor':'merchant','precondition':['M14'],'onchain':'disclosure_only','disclosureProbe':'messenger|e2ee|harassment','commercialSemantics':'The\x20on-chain\x20messenger\x20family\x20is\x20commented\x20out\x20—\x20messaging\x20runs\x20in\x20the\x20off-chain\x20tool\x20layer\x20with\x20no\x20block\x20or\x20report\x20primitive\x20on\x20chain.\x20The\x20corpus\x20is\x20silent\x20on\x20the\x20harassment\x20surface\x20—\x20a\x20FIX-DISCLOSURE\x20gap.','evidence':[]},{'id':'E20','class':'exception','name':'Post-refund\x20zombie\x20confirm\x20blocked\x20(double-dip\x20dead)','actor':'buyer','precondition':['R1'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'confirm','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'A\x20refunded\x20order\x20has\x20a\x20drained\x20escrow:\x20the\x20confirm\x20and\x20review\x20edges\x20require\x20a\x20positive\x20balance,\x20so\x20refund-plus-settle\x20can\x20never\x20both\x20pay.\x20The\x20balance\x20legs\x20ride\x20the\x20release\x20guards\x20probed\x20here.','guardKeyProbe':'release_state|release_after_review','evidence':[{'file':'allocation.move','line':0x1fb,'pattern':'balance_value\x20>\x200'}]},{'id':'E21','class':'exception','name':'Reward\x20bypass\x20and\x20rating\x20gate\x20(confirm-first\x20fans\x20keep\x20bounty\x20access)','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'review_after_confirmation','prev':'completed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20second\x20review\x20entry\x20keeps\x20confirm-first\x20fans\x20on\x20the\x20bounty\x20rail;\x20the\x20rating\x20floor\x20binds\x20at\x20claim\x20time\x20and\x20the\x20once-per-order\x20slot\x20blocks\x20farming.\x20The\x20floor\x20and\x20slot\x20are\x20claim-guard-side,\x20not\x20machine-edge\x20keys.','evidence':[{'file':'reward.move','line':0xa7,'pattern':'reward_guard'}]},{'id':'E22','class':'exception','name':'Renewal\x20replay:\x20double\x20charge\x20for\x20the\x20same\x20period','actor':'buyer','precondition':['M13'],'onchain':'expressible','chainFootprint':{'node':'charging','forward':'renew','prev':'completed','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'The\x20per-period\x20once-slot\x20equals\x20the\x20history\x20count,\x20so\x20a\x20same-period\x20replay\x20is\x20rejected\x20at\x20the\x20payment\x20layer;\x20the\x20slot\x20must\x20never\x20be\x20re-armed\x20on\x20renewal\x20or\x20refund\x20rails.\x20The\x20counter\x20is\x20the\x20payment-info\x20record.','evidence':[{'file':'payment.move','line':0x4f,'pattern':'payment_info'}]},{'id':'E23','class':'exception','name':'Keeper\x20offline\x20(reminders\x20and\x20expiry\x20stops\x20stall)','actor':'keeper','precondition':['M11'],'onchain':'disclosure_only','disclosureProbe':'keeper|reminder|expire','commercialSemantics':'Keeper\x20duties\x20are\x20reminder\x20and\x20expiry\x20only,\x20with\x20no\x20charge\x20authority\x20—\x20offline\x20keepers\x20stall\x20state\x20progress\x20but\x20never\x20endanger\x20funds.\x20The\x20corpus\x20discloses\x20the\x20duty\x20list.','evidence':[]},{'id':'E24','class':'exception','name':'Payout\x20hold\x20and\x20withdrawal\x20minimums\x20on\x20creator\x20earnings','actor':'merchant','precondition':['M9'],'onchain':'not_applicable','commercialSemantics':'Settlement\x20is\x20alloc-side\x20and\x20the\x20owner\x20extraction\x20is\x20instant\x20—\x20the\x20incumbent\x27s\x20new-creator\x20hold,\x20tiered\x20withdrawal\x20minimums\x20and\x20bank\x20freeze\x20windows\x20have\x20no\x20on-chain\x20counterpart.\x20Fiat\x20off-ramps\x20remain\x20at\x20the\x20tool\x20layer.','evidence':[]},{'id':'E25','class':'exception','name':'Refund\x20rejected\x20by\x20the\x20creator\x20(rails\x20are\x20rules,\x20not\x20requests)','actor':'merchant','precondition':['E8'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'No\x20one\x20can\x20refuse\x20a\x20node-gated\x20refund\x20—\x20the\x20rails\x20execute\x20on\x20state,\x20not\x20on\x20consent.\x20Degree\x20disputes\x20(quality,\x20description)\x20route\x20to\x20the\x20arbitration\x20object\x20under\x20open\x20voting\x20with\x20the\x20capped\x20award.','evidence':[{'file':'arb.move','line':0x193,'pattern':'public(package)\x20fun\x20vote'}]},{'id':'E26','class':'exception','name':'Minor\x20access\x20violation\x20(statutory\x20platform\x20liability)','actor':'platform','precondition':['M2'],'onchain':'unresolvable','unresolvableRef':'S5','disclosureProbe':'age.verif|has_verified|18\x5c+','commercialSemantics':'Statutes\x20make\x20minor\x20access\x20a\x20platform-scale\x20liability;\x20the\x20chain\x20can\x20only\x20witness\x20an\x20attestation\x20bit\x20—\x20the\x20age\x20fact\x20itself\x20is\x20unverifiable\x20and\x20revocation\x20impossible\x20on\x20chain\x20(same\x20root\x20as\x20the\x20credential\x20gap).\x20The\x20corpus\x20discloses\x20the\x20age-verification\x20gate\x20and\x20its\x20off-chain\x20issuer.','evidence':[{'file':'service.move','line':0x1d9,'pattern':'passport::result_for_guard'}]},{'id':'R1','class':'remedy','name':'Refund\x20at\x20subscribed\x20(node-set\x20rail\x20covering\x20pre-production\x20states)','actor':'buyer','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'subscribed','moneyEffect':'refund'},'commercialSemantics':'Per-node\x20refund\x20rails\x20replaced\x20the\x20one-guard-fits-all\x20form:\x20the\x20entry\x20rail\x20covers\x20the\x20pre-production\x20node\x20set\x20and\x20pays\x20the\x20full\x20balance\x20to\x20the\x20locked\x20payee.','evidence':[{'file':'allocation.move','line':0x1f4,'pattern':'public\x20fun\x20alloc'}]},{'id':'R2','class':'remedy','name':'Refund\x20at\x20charging\x20(renewal\x20twin,\x20once\x20per\x20period)','actor':'buyer','precondition':['M12'],'onchain':'expressible','chainFootprint':{'node':'charging','moneyEffect':'refund'},'commercialSemantics':'Cross-period\x20re-entry\x20rails\x20use\x20the\x20renewal-twin\x20guard\x20with\x20a\x20once-per-period\x20slot,\x20so\x20refund-then-rejoin\x20loops\x20cannot\x20double-dip\x20a\x20single\x20period.','evidence':[{'file':'allocation.move','line':0x1f4,'pattern':'public\x20fun\x20alloc'}]},{'id':'R3','class':'remedy','name':'Refund\x20at\x20delivering\x20(creator\x20silent,\x20period\x20unproduced)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'delivering','moneyEffect':'refund'},'commercialSemantics':'The\x20producing-state\x20rail\x20is\x20the\x20fan\x27s\x20mid-subscription\x20exit;\x20its\x20renewal\x20twin\x20keeps\x20re-entry\x20periods\x20scoped\x20to\x20one\x20payout\x20each.','evidence':[{'file':'allocation.move','line':0x17b,'pattern':'allocator_add'}]},{'id':'R4','class':'remedy','name':'Refund\x20at\x20closed_cancel\x20(the\x20cancel\x20rail\x27s\x20payout)','actor':'buyer','precondition':['E4'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'The\x20closed\x20state\x20carries\x20a\x20mandatory\x20refund\x20exit\x20—\x20cancel\x20without\x20payout\x20is\x20not\x20a\x20legal\x20terminal\x20shape\x20on\x20this\x20template.','evidence':[{'file':'allocation.move','line':0x1f4,'pattern':'public\x20fun\x20alloc'}]},{'id':'R5','class':'remedy','name':'Two-step\x20refund\x20payout:\x20rails\x20land\x20funds\x20on\x20the\x20order,\x20fan\x20extracts','actor':'buyer','precondition':['R1'],'onchain':'disclosure_only','disclosureProbe':'owner_receive|two-step\x20refund','commercialSemantics':'Refund\x20tracks\x20pay\x20the\x20order\x20object\x20and\x20the\x20fan\x20pulls\x20the\x20balance\x20with\x20a\x20separate\x20owner\x20extraction\x20—\x20the\x20second\x20step\x20is\x20a\x20surfaced\x20UX\x20duty\x20the\x20corpus\x20discloses.','evidence':[]},{'id':'R6','class':'remedy','name':'Expired\x20settlement\x20rail\x20pays\x20the\x20creator\x20in\x20full','actor':'merchant','precondition':['E3'],'onchain':'expressible','chainFootprint':{'node':'expired','moneyEffect':'release'},'commercialSemantics':'The\x20expired\x20rail\x20is\x20the\x20silence-is-churn\x20exit:\x20delivered\x20content\x20is\x20payable\x20at\x20period\x20end,\x20and\x20the\x20row\x20pays\x20the\x20locked\x20creator\x20payee\x20at\x20full\x20rate.','evidence':[{'file':'allocation.move','line':0x17b,'pattern':'allocator_add'}]},{'id':'R7','class':'remedy','name':'Arbitration\x20ruling\x20won:\x20enforcement\x20stamp\x20then\x20refund\x20(award\x20cap\x203x)','actor':'arbitrator','precondition':['E25'],'onchain':'disclosure_only','disclosureProbe':'arb_case_conclude|dismissal|award\x20cap','commercialSemantics':'No\x20ruling\x20edges\x20are\x20mounted\x20on\x20this\x20machine:\x20the\x20win\x20pays\x20from\x20the\x20compensation\x20fund\x20at\x20the\x20arbitration\x20object\x20(capped\x20at\x20three\x20times\x20the\x20period\x20amount)\x20after\x20the\x20keeper\x20conclude\x20stamps\x20the\x20case,\x20and\x20the\x20venue\x20must\x20be\x20bound\x20or\x20the\x20filer\x20could\x20self-arbitrate.\x20The\x20corpus\x20discloses\x20the\x20conclude\x20duty,\x20the\x20routing\x20and\x20the\x20cap.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'order.move','line':0x4d,'pattern':'claimed_by'}]},{'id':'R8','class':'remedy','name':'Arbitration\x20ruling\x20dismissed:\x20zero\x20indemnity,\x20nothing\x20claimable','actor':'arbitrator','precondition':['E25'],'onchain':'disclosure_only','disclosureProbe':'zero-indemnity|0-indemnity|dismissal','commercialSemantics':'A\x20dismissal\x20carries\x20zero\x20indemnity\x20and\x20cannot\x20fund\x20a\x20claim;\x20rails\x20must\x20never\x20gate\x20on\x20transient\x20case\x20status\x20because\x20a\x20post-settlement\x20withdraw\x20advances\x20the\x20case\x20past\x20its\x20finished\x20state\x20and\x20permanently\x20kills\x20the\x20refund\x20edge.\x20The\x20corpus\x20discloses\x20the\x20dismissal\x20convergence\x20duty.','evidence':[{'file':'arb.move','line':0x21,'pattern':'Zero-indemnity\x20claim\x20gate'},{'file':'arb.move','line':0x28,'pattern':'E_ZERO_INDEMNITY_CLAIM'}]},{'id':'R9','class':'remedy','name':'Creator-initiated\x20retention\x20refund\x20(goodwill\x20payment\x20to\x20keep\x20a\x20fan)','actor':'merchant','precondition':['E8'],'onchain':'disclosure_only','disclosureProbe':'payment\x20create\x20for_object|retention','commercialSemantics':'The\x20creator\x20pushes\x20a\x20direct\x20payment\x20tagged\x20to\x20the\x20order\x20(order-linked\x20info,\x20terms\x20in\x20the\x20remark)\x20to\x20compensate\x20and\x20retain\x20—\x20the\x20direct-payment\x20mechanism\x20is\x20disclosed\x20by\x20the\x20corpus\x20even\x20though\x20no\x20dedicated\x20retention\x20edge\x20is\x20mounted.','evidence':[{'file':'payment.move','line':0x4f,'pattern':'payment_info'}]},{'id':'R10','class':'remedy','name':'Pay-per-view\x20refund\x20exit\x20on\x20its\x20own\x20service','actor':'buyer','precondition':['E9'],'onchain':'disclosure_only','disclosureProbe':'pay-per-view|PPV','commercialSemantics':'The\x20unlock\x20lives\x20on\x20a\x20separate\x20five-node\x20service\x20with\x20its\x20own\x20escrow\x20and\x20refund\x20exit\x20—\x20refunds\x20there\x20never\x20touch\x20the\x20subscription\x20machine\x27s\x20rails.\x20The\x20corpus\x20discloses\x20the\x20sub-template\x20split.','evidence':[]},{'id':'R11','class':'remedy','name':'Custom-content\x20goodwill\x20compensation\x20via\x20tagged\x20payment','actor':'merchant','precondition':['E10'],'onchain':'disclosure_only','disclosureProbe':'SOFT|response.record','commercialSemantics':'After\x20an\x20arbitration\x20ruling\x20over\x20the\x20response\x20record,\x20the\x20creator\x20compensates\x20with\x20an\x20order-tagged\x20payment;\x20the\x20soft-clause\x20boundary\x20and\x20the\x20response-record\x20evidence\x20are\x20disclosed\x20by\x20the\x20corpus.','evidence':[]},{'id':'R12','class':'remedy','name':'Reward\x20clawback:\x20refunded\x20orders\x20cannot\x20claim\x20bounties','actor':'buyer','precondition':['R3'],'onchain':'disclosure_only','disclosureProbe':'fully-refunded|double-dip|PAID-STATE','commercialSemantics':'A\x20fully\x20refunded\x20order\x20is\x20drained\x20and\x20structurally\x20cannot\x20reach\x20the\x20review\x20or\x20claim\x20states\x20—\x20refund\x20and\x20bounty\x20are\x20mutually\x20exclusive.\x20The\x20corpus\x20discloses\x20the\x20double-dip\x20closure.','evidence':[]},{'id':'R13','class':'remedy','name':'Dispute\x20case\x20filing\x20on\x20the\x20independent\x20arbitration\x20object','actor':'buyer','precondition':['E25'],'onchain':'disclosure_only','disclosureProbe':'disputes\x20route\x20to\x20arbitration|arbitration','commercialSemantics':'Filing\x20creates\x20a\x20case\x20on\x20the\x20shared\x20arbitration\x20object\x20in\x20third-party\x20mode,\x20gated\x20by\x20the\x20venue\x27s\x20pause\x20and\x20operator-permission\x20checks;\x20because\x20the\x20filer\x20fills\x20the\x20order\x20linkage,\x20ruling\x20rails\x20must\x20bind\x20the\x20venue.\x20The\x20corpus\x20discloses\x20the\x20routing.','evidence':[{'file':'arbitration.move','line':0x15a,'pattern':'E_PAUSED'},{'file':'arbitration.move','line':0x169,'pattern':'assert_op_permission'}]},{'id':'R14','class':'remedy','name':'Case\x20withdrawn\x20in\x20the\x2030-day\x20window\x20(fee\x20swept,\x20indemnity\x20untouched)','actor':'keeper','precondition':['R13'],'onchain':'disclosure_only','disclosureProbe':'\x5cbwithdraw|30\x20days|withdraw\x20window','commercialSemantics':'Withdrawal\x20is\x20a\x20tribunal-side\x20action\x20—\x20no\x20buyer-side\x20primitive\x20exists\x20—\x20and\x20the\x20sweep\x20clears\x20only\x20the\x20fee\x20balance,\x20never\x20the\x20indemnity\x20record.\x20This\x20template\x27s\x20corpus\x20is\x20silent\x20on\x20the\x20withdraw\x20window\x20—\x20a\x20FIX-DISCLOSURE\x20gap.','evidence':[{'file':'arb.move','line':0x10,'pattern':'WITHDRAW_DURATION_TIME'},{'file':'arb.move','line':0x9a,'pattern':'Status_Withdrawn'},{'file':'arbitration.move','line':0x21a,'pattern':'public\x20fun\x20arb_withdraw'}]},{'id':'P1','class':'post','name':'Rating\x20rows\x20persist\x20in\x20the\x20public\x20review\x20repository','actor':'buyer','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'reviewed','moneyEffect':'none'},'commercialSemantics':'Reviews\x20land\x20as\x20write-once,\x20order-keyed\x20repository\x20rows\x20—\x20a\x20public,\x20tamper-evident\x20rating\x20surface\x20the\x20incumbent\x20has\x20never\x20offered.','evidence':[{'file':'repository.move','line':0x24e,'pattern':'data_add_imp'}]},{'id':'P2','class':'post','name':'Period\x20counter\x20accrues\x20as\x20the\x20public\x20tenure\x20record','actor':'buyer','precondition':['M13'],'onchain':'disclosure_only','disclosureProbe':'period-<N>|history\x20count','commercialSemantics':'The\x20per-period\x20slot\x20equals\x20the\x20progress\x20history\x20count,\x20so\x20subscription\x20tenure\x20is\x20a\x20chain-derived\x20monotonic\x20record\x20—\x20seniority\x20a\x20fan\x20can\x20prove\x20when\x20migrating\x20between\x20tools.\x20The\x20corpus\x20discloses\x20the\x20counter\x20semantics.','evidence':[{'file':'progress.move','line':0x8e,'pattern':'ParentTableVec'},{'file':'progress.move','line':0x22c,'pattern':'parent_table_vec::push_back'}]},{'id':'P3','class':'post','name':'Rejoin\x20after\x20expiry:\x20fresh\x20order,\x20history\x20intact','actor':'buyer','precondition':['E2'],'onchain':'expressible','chainFootprint':{'node':'subscribed','moneyEffect':'escrow_in'},'commercialSemantics':'Returning\x20fans\x20buy\x20a\x20fresh\x20period\x20into\x20the\x20same\x20tier;\x20the\x20review\x20rows\x20and\x20period\x20history\x20stay\x20attached\x20to\x20the\x20creator\x27s\x20public\x20record,\x20so\x20the\x20relationship\x20survives\x20churn.','evidence':[{'file':'service.move','line':0x1c9,'pattern':'public\x20fun\x20buy'}]},{'id':'P4','class':'post','name':'Reward\x20claim\x20window\x20closes\x20(no\x20dangling\x20bounty\x20liability)','actor':'keeper','precondition':['M10'],'onchain':'disclosure_only','disclosureProbe':'reward\x20window|claim\x20window|reward_claim_closes_after_days|closes\x20after','commercialSemantics':'The\x20claim\x20guard\x27s\x20time\x20leg\x20closes\x20the\x20bounty\x20window\x20so\x20pools\x20cannot\x20leak\x20indefinitely.\x20The\x20corpus\x20is\x20silent\x20on\x20the\x20window\x20close\x20—\x20a\x20FIX-DISCLOSURE\x20gap.','evidence':[]},{'id':'P5','class':'post','name':'Settlement\x20finality:\x20released\x20funds\x20cannot\x20be\x20clawed\x20back','actor':'platform','precondition':['M9'],'onchain':'not_applicable','commercialSemantics':'Release\x20is\x20terminal\x20—\x20no\x20chargeback\x20claw-back\x20exists\x20on\x20chain.\x20Creator\x20cash-flow\x20certainty\x20is\x20the\x20selling\x20point;\x20the\x20consumer-protection\x20gap\x20is\x20the\x20disclosed\x20cost.','evidence':[]},{'id':'P6','class':'post','name':'Reputation\x20portability:\x20rows,\x20hashes\x20and\x20tenure\x20travel\x20with\x20the\x20creator','actor':'merchant','precondition':['P1'],'onchain':'expressible','chainFootprint':{'node':'reviewed','moneyEffect':'none'},'commercialSemantics':'Review\x20rows,\x20content\x20hashes\x20and\x20the\x20tenure\x20counter\x20are\x20public\x20on-chain\x20objects\x20—\x20a\x20creator\x20migrating\x20tools\x20keeps\x20their\x20audience-facing\x20record,\x20where\x20the\x20incumbent\x20locks\x20the\x20relationship\x20in-platform.','evidence':[{'file':'repository.move','line':0x24e,'pattern':'data_add_imp'}]}],'invariants':[{'id':'INV-OF-TAKE-0','statement':'The\x20template\x20charges\x20no\x20platform\x20take\x20on\x20subscription\x20revenue\x20—\x20the\x20incumbent\x27s\x2020%\x20cut\x20exists\x20only\x20as\x20a\x20benchmark\x20disclosure\x20knob,\x20never\x20as\x20a\x20charged\x20row.','jurisdiction':'platform\x20policy','chainConflict':'Settlement\x20and\x20expired\x20allocator\x20rows\x20pay\x20the\x20full\x20balance\x20to\x20the\x20creator\x20(rate\x2010000);\x20any\x20nonzero\x20platform\x20take\x20knob\x20contradicts\x20the\x20zero-composition\x20economics\x20the\x20product_ref\x20claims.','evidence':[{'file':'allocation.move','line':0x17b,'pattern':'allocator_add'}],'violation':{'requiresFeeParamNonZero':'platform_take_bps'}},{'id':'INV-OF-EXPIRED-NO-REFUND','statement':'Delivered/reviewed\x20states\x20ship\x20no\x20buyer\x20refund\x20rail\x20by\x20design\x20—\x20delivered\x20content\x20is\x20payable\x20at\x20expiry;\x20the\x20expired\x20rail\x20pays\x20the\x20creator.','chainConflict':'The\x20escrow\x20at\x20delivered\x20states\x20is\x20settlement-side,\x20so\x20a\x20blanket\x20buyer\x20refund\x20rail\x20cannot\x20exist\x20without\x20re-opening\x20the\x20double-dip\x20face\x20the\x20balance\x20legs\x20close.\x20Text-only:\x20guards\x20against\x20regressing\x20the\x20disclosed\x20no-refund-after-delivery\x20boundary.'},{'id':'INV-OF-RENEW-ONCE','statement':'Renewal\x20stays\x20a\x20single\x20fan-signed\x20transaction\x20per\x20period,\x20with\x20the\x20once-per-period\x20slot\x20rejecting\x20cross-period\x20replays.','chainConflict':'No\x20debit\x20primitive\x20exists\x20—\x20renewal\x20is\x20a\x20fresh\x20signed\x20call;\x20the\x20once-slot\x20proven\x20against\x20the\x20history\x20count\x20bounds\x20each\x20period\x20to\x20one\x20charge.\x20Text-only:\x20guards\x20against\x20arming\x20the\x20slot\x20on\x20refund\x20rails\x20or\x20re-using\x20it\x20across\x20periods.'}]};