@wowok/agent-mcp 3.4.4 → 3.4.5
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/.build-stamp.json +3 -3
- package/dist/chain-semantics/composition-truth.js +1 -1
- package/dist/composition/audit.js +1 -1
- package/dist/composition/compile.js +1 -1
- package/dist/composition/emit-phases.js +1 -1
- package/dist/composition/guard-fill.js +1 -1
- package/dist/composition/input-normalize.js +1 -1
- package/dist/composition/materialize.js +1 -1
- package/dist/composition/mode-gates.js +1 -1
- package/dist/composition/param-disclosure.js +1 -1
- package/dist/composition/plan-run-store.js +1 -0
- package/dist/composition/reflux.js +1 -1
- package/dist/composition/role-bindings.js +1 -0
- package/dist/composition/shape-expand.js +1 -1
- package/dist/composition/supply-chain-emit.js +1 -1
- package/dist/config/judgment.d.ts +13 -25
- package/dist/config/judgment.js +1 -1
- package/dist/config/match-policy-file.js +1 -1
- package/dist/config/rule-engine.d.ts +4 -10
- package/dist/config/rule-engine.js +1 -1
- package/dist/config/template-params.js +1 -1
- package/dist/evaluation/engine.js +1 -1
- package/dist/experience/realtime-feedback.js +1 -1
- package/dist/extensions/capability.js +1 -1
- package/dist/graph/onchain/expand.js +1 -1
- package/dist/graph/onchain/exposure.js +1 -1
- package/dist/harness/forward-roster-preflight.js +1 -0
- package/dist/keeper/detectors.js +1 -1
- package/dist/knowledge/allocator-rail-verifier.js +1 -1
- package/dist/knowledge/arb-operation-face.js +1 -1
- package/dist/knowledge/arbitration-rail-verifier.js +1 -1
- package/dist/knowledge/audit-rules.d.ts +17 -1
- package/dist/knowledge/audit-rules.js +1 -1
- package/dist/knowledge/baselines/rules/alloc_audit.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/allocation.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/arb.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/arbitration.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/bridge.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/contact.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/demand.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/graph.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/guard.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/machine.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/oracle.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/order.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/payment.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/permission.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/personal.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/plan.json +153 -33
- package/dist/knowledge/baselines/rules/plan.json.good +153 -33
- package/dist/knowledge/baselines/rules/plan.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/progress.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/proof.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/registrar.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/repository.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/resource.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/reward.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/service.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/treasury.json.good.sha256 +1 -0
- package/dist/knowledge/baselines/rules/util.json.good.sha256 +1 -0
- package/dist/knowledge/builtin-templates.d.ts +1 -1
- package/dist/knowledge/builtin-templates.js +1 -1
- package/dist/knowledge/discount-threshold.js +1 -1
- package/dist/knowledge/fee-param-bindings.js +1 -1
- package/dist/knowledge/getting-started.js +1 -1
- package/dist/knowledge/guard-binding-table.js +1 -1
- package/dist/knowledge/guard-design-patterns.js +1 -1
- package/dist/knowledge/guard-templates.d.ts +3 -2
- package/dist/knowledge/guard-templates.js +1 -1
- package/dist/knowledge/index.js +1 -1
- package/dist/knowledge/industry-registry.js +1 -1
- package/dist/knowledge/jsonrpc-enum.js +1 -1
- package/dist/knowledge/knob-docs.js +1 -1
- package/dist/knowledge/machine-topology.js +1 -1
- package/dist/knowledge/param-schema.js +1 -1
- package/dist/knowledge/param-tiers.js +1 -1
- package/dist/knowledge/path-oracle/products/alibaba-1688.js +1 -1
- package/dist/knowledge/path-oracle/products/amazon.js +1 -1
- package/dist/knowledge/path-oracle/products/booking-com.js +1 -1
- package/dist/knowledge/path-oracle/products/contra.js +1 -1
- package/dist/knowledge/path-oracle/products/costco.js +1 -1
- package/dist/knowledge/path-oracle/products/duoduo-maicai.js +1 -1
- package/dist/knowledge/path-oracle/products/etsy.js +1 -1
- package/dist/knowledge/path-oracle/products/gamefound.js +1 -1
- package/dist/knowledge/path-oracle/products/gofundme.js +1 -1
- package/dist/knowledge/path-oracle/products/klook.js +1 -1
- package/dist/knowledge/path-oracle/products/ninety-nine-designs.js +1 -1
- package/dist/knowledge/path-oracle/products/pinduoduo-kuaituantuan.js +1 -1
- package/dist/knowledge/path-oracle/products/shansong.js +1 -1
- package/dist/knowledge/path-oracle/products/taobao-presale.js +1 -1
- package/dist/knowledge/path-oracle/products/upwork-catalog.js +1 -1
- package/dist/knowledge/path-oracle/products/upwork.js +1 -1
- package/dist/knowledge/pattern-resolutions.js +1 -1
- package/dist/knowledge/protocol-facts.js +1 -1
- package/dist/knowledge/publish-gate.js +1 -1
- package/dist/knowledge/publish-surface-contract.js +1 -1
- package/dist/knowledge/template-loader.js +1 -1
- package/dist/knowledge/template-registry.js +1 -1
- package/dist/knowledge/template-scanner.js +1 -1
- package/dist/knowledge/time-units.js +1 -0
- package/dist/knowledge/tools-reference.js +1 -1
- package/dist/knowledge/workflow-guidance.js +1 -1
- package/dist/monitor/MonitorLoop.js +1 -1
- package/dist/participation/radar-core.js +1 -1
- package/dist/playbooks/service-build/business-puzzle.js +1 -1
- package/dist/playbooks/service-build/machine-panorama.js +1 -1
- package/dist/playbooks/service-build/merchant-guide.js +1 -1
- package/dist/playbooks/service-build/migration-planner.js +1 -1
- package/dist/playbooks/service-build/object-panorama.js +1 -1
- package/dist/playbooks/service-build/participation-radar.js +1 -1
- package/dist/playbooks/service-build/relationship-profile.js +1 -1
- package/dist/playbooks/service-build/service-panorama.js +1 -1
- package/dist/playbooks/service-build/service-quote.js +1 -1
- package/dist/review/index.js +1 -1
- package/dist/safety/confirm-gate.js +1 -1
- package/dist/schema/benchmark-migration/index.d.ts +110 -2
- package/dist/schema/benchmark-migration/index.js +1 -1
- package/dist/schema/boundary-coercion.js +1 -0
- package/dist/schema/call/arbitration.js +1 -1
- package/dist/schema/call/base.js +1 -1
- package/dist/schema/call/handler.js +1 -1
- package/dist/schema/call/machine.d.ts +56 -8
- package/dist/schema/call/order.d.ts +37 -10
- package/dist/schema/call/order.js +1 -1
- package/dist/schema/call/permission.d.ts +210 -30
- package/dist/schema/call/personal.d.ts +56 -8
- package/dist/schema/call/progress.d.ts +28 -4
- package/dist/schema/call/semantic.js +1 -1
- package/dist/schema/call/service.d.ts +84 -12
- package/dist/schema/common/index.d.ts +14 -2
- package/dist/schema/common/index.js +1 -1
- package/dist/schema/evaluation/index.js +1 -1
- package/dist/schema/goal/index.d.ts +1 -1
- package/dist/schema/goal/planning.js +1 -1
- package/dist/schema/local/index.js +1 -1
- package/dist/schema/messenger/index.d.ts +168 -24
- package/dist/schema/messenger/index.js +1 -1
- package/dist/schema/operations.d.ts +655 -22
- package/dist/schema/operations.js +1 -1
- package/dist/schema/persona/index.d.ts +22 -110
- package/dist/schema/query/index.js +1 -1
- package/dist/schema/schema-version.js +1 -1
- package/dist/schema/workflow/index.d.ts +4 -0
- package/dist/schema/workflow/index.js +1 -1
- package/dist/schema-query-impl/index.js +1 -1
- package/dist/schemas/benchmark_migration_operation.schema.json +1 -1
- package/dist/schemas/evaluation_operation.schema.json +1 -1
- package/dist/schemas/goal_operation.schema.json +1 -1
- package/dist/schemas/guard_rebind_replacement.schema.json +1 -0
- package/dist/schemas/index.json +1 -1
- package/dist/schemas/messenger_operation.schema.json +1 -1
- package/dist/schemas/onchain_operations.schema.json +1 -1
- package/dist/schemas/onchain_operations_allocation.schema.json +1 -1
- package/dist/schemas/onchain_operations_arbitration.schema.json +1 -1
- package/dist/schemas/onchain_operations_contact.schema.json +1 -1
- package/dist/schemas/onchain_operations_demand.schema.json +1 -1
- package/dist/schemas/onchain_operations_gen_passport.schema.json +1 -1
- package/dist/schemas/onchain_operations_machine.schema.json +1 -1
- package/dist/schemas/onchain_operations_order.schema.json +1 -1
- package/dist/schemas/onchain_operations_permission.schema.json +1 -1
- package/dist/schemas/onchain_operations_personal.schema.json +1 -1
- package/dist/schemas/onchain_operations_progress.schema.json +1 -1
- package/dist/schemas/onchain_operations_proof.schema.json +1 -1
- package/dist/schemas/onchain_operations_repository.schema.json +1 -1
- package/dist/schemas/onchain_operations_reward.schema.json +1 -1
- package/dist/schemas/onchain_operations_service.schema.json +1 -1
- package/dist/schemas/onchain_operations_treasury.schema.json +1 -1
- package/dist/schemas/persona_operation.schema.json +1 -1
- package/dist/schemas/time_convert.schema.json +1 -0
- package/dist/schemas/wip_file.schema.json +1 -1
- package/dist/schemas/workflow_operation.schema.json +1 -1
- package/dist/tools/handlers/benchmark-migration.js +1 -1
- package/dist/tools/handlers/config.js +1 -1
- package/dist/tools/handlers/fund-rail-recipe.js +1 -1
- package/dist/tools/handlers/guard-rebind-replacement.js +1 -0
- package/dist/tools/handlers/local.js +1 -1
- package/dist/tools/handlers/mark-namespace.js +1 -1
- package/dist/tools/handlers/onchain.js +1 -1
- package/dist/tools/handlers/query.js +1 -1
- package/dist/tools/handlers/settle-sweep.js +1 -1
- package/dist/tools/handlers/time-convert.js +1 -0
- package/dist/tools/handlers/wip.js +1 -1
- package/dist/tools/handlers/workflow.js +1 -1
- package/dist/tools/index.d.ts +1 -0
- package/dist/tools/index.js +1 -1
- package/dist/tools/registry/business.js +1 -1
- package/dist/tools/registry/local.js +1 -1
- package/dist/tools/registry/onchain.js +1 -1
- package/dist/tools/wip-verify-ledger.js +1 -1
- package/dist/tools/wrap.js +1 -1
- package/package.json +6 -5
|
@@ -1 +1 @@
|
|
|
1
|
-
export const ETSY_ORACLE={'productRef':'etsy','products':['etsy','depop','xhs-handmade'],'oracleVersion':'1.1.0','steps':[{'id':'M1','class':'offchain','name':'Browse\x20listings\x20filtered\x20by\x20shop\x20aesthetics\x20(favorite/curated\x20feeds)','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Discovery,\x20favorites\x20and\x20curated\x20feeds\x20are\x20storefront\x20acts;\x20no\x20order\x20object\x20exists\x20yet.','evidence':[]},{'id':'M2','class':'offchain','name':'Configure\x20a\x20custom\x20order\x20(personalization\x20brief,\x20price/processing\x20quote)','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Custom-order\x20negotiation\x20(EU\x20CRD\x2016(c)\x20waiver\x20territory)\x20is\x20off-chain\x20messaging;\x20the\x20template\x20only\x20learns\x20the\x20agreed\x20terms\x20via\x20customer_required\x20declarative\x20fields.','evidence':[]},{'id':'M6','class':'offchain','name':'Maker\x20crafts\x20the\x20order\x20(WIP\x20detail\x20file,\x20production\x20time)','actor':'merchant','precondition':['M4'],'onchain':'not_applicable','commercialSemantics':'Crafting\x20is\x20the\x20value-creating\x20act\x20of\x20the\x20archetype;\x20the\x20chain\x20sees\x20only\x20the\x20evidence-gated\x20ship\x20at\x20the\x20end\x20of\x20it.','evidence':[]},{'id':'M3','class':'main','name':'Buy:\x20full-amount\x20escrow\x20(storefront\x20mode\x20selector\x20at\x20the\x20gate)','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'pay','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'One-shot\x20escrow.\x20The\x20buy\x20gate\x20mounts\x20per\x20storefront_mode\x20(open:\x20everyone;\x20passport:\x20KYC-gated)\x20—\x20a\x20service-level\x20conditional\x20guard,\x20not\x20an\x20edge\x20guard.','evidence':[]},{'id':'M4','class':'main','name':'Maker\x20accepts\x20the\x20order\x20(required-info\x20gate)','actor':'merchant','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'confirmed','forward':'accept_order','prev':'paid','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'required_info','commercialSemantics':'Acceptance\x20is\x20the\x20maker\x27s\x20explicit\x20commitment;\x20if\x20the\x20buyer\x20owes\x20customization\x20info,\x20the\x20guard\x20blocks\x20until\x20it\x20is\x20provided\x20(required-info\x20update\x20declaration).','evidence':[]},{'id':'M5','class':'main','name':'Maker\x20ships\x20with\x20tracking\x20evidence\x20(write-once\x20row)','actor':'merchant','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'shipped','forward':'ship','prev':'confirmed','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'ship_evidence','commercialSemantics':'The\x20ship\x20edge\x20is\x20evidence-gated:\x20the\x20tracking\x20row\x20is\x20write-once\x20(repository\x20write_once\x20policy),\x20so\x20late\x20carrier-side\x20edits\x20cannot\x20rewrite\x20history.','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]},{'id':'M7','class':'main','name':'Buyer\x20confirms\x20delivery\x20(or\x20keeper\x20auto-confirm\x20fallback)','actor':'buyer','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'confirm_delivery','prev':'shipped','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Buyer\x20confirmation\x20is\x20direct;\x20the\x20deliver_confirm_timeout\x20twin\x20(auto_confirm_days)\x20advances\x20a\x20silent\x20buyer\x20so\x20escrow\x20cannot\x20stall.','evidence':[]},{'id':'M8','class':'post','name':'Buyer\x20writes\x20an\x20optional\x20review\x20inside\x20the\x20window\x20(write-once)','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'submit_review','prev':'delivered','identity':'order_holder','moneyEffect':'reward'},'guardKeyProbe':'review_window','commercialSemantics':'Review\x20immutability\x20is\x20enforced\x20by\x20the\x20repository\x20write-once\x20policy;\x20a\x20reward\x20claim\x20may\x20anchor\x20on\x20it\x20against\x20the\x20review\x20pool.','evidence':[{'file':'repository.move','line':0x223,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'M9','class':'main','name':'Next-day\x20settlement\x20of\x20the\x20escrow\x20to\x20the\x20maker','actor':'merchant','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'settle','prev':'delivered','identity':'permission_index','moneyEffect':'release'},'guardKeyProbe':'settle_clock','commercialSemantics':'Fast\x20settlement\x20(settlement_delay_days\x20=\x201)\x20rides\x20the\x20settle_clock\x20guard;\x20the\x20merchant\x20triggers,\x20the\x20gate\x20freezes\x20state\x20and\x20releases.\x20The\x20reviewed\x20sibling\x20settles\x20too.','evidence':[]},{'id':'E1','class':'exception','name':'Buyer\x20cancels\x20inside\x20the\x20free\x20window\x20(before\x20crafting\x20starts)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'cancel','prev':'confirmed','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'cancel_window','commercialSemantics':'free_cancel_hours\x20(72\x20=\x20processing_time_days\x20x\x2024)\x20after\x20acceptance\x20the\x20buyer\x20cancels\x20with\x20FULL\x20on-chain\x20refund;\x20a\x20pre-acceptance\x20twin\x20exists\x20from\x20paid.','evidence':[]},{'id':'E2','class':'exception','name':'Overdue\x20unshipped\x20order:\x20keeper\x20force-cancels\x20with\x20full\x20refund','actor':'keeper','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelUnshipped','prev':'confirmed','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'ship_timeout','commercialSemantics':'The\x20ship-timeout\x20exit\x20protects\x20the\x20buyer\x20from\x20a\x20stalled\x20maker:\x20CancelUnshipped\x20pays\x20the\x20full\x20refund.\x20Disclosure\x20must\x20run\x20toward\x20the\x20buyer\x20(\x27an\x20overdue\x20unshipped\x20order\x20is\x20exited\x20automatically\x27),\x20never\x20as\x20\x27the\x20buyer\x20may\x20cancel\x20any\x20time\x27.','evidence':[]},{'id':'E3','class':'exception','name':'Maker\x20declines\x20a\x20custom\x20order\x20before\x20crafting','actor':'merchant','precondition':['M4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'CancelUnshipped','prev':'confirmed','moneyEffect':'refund'},'gapPredicate':{'probe':'exited\x20automatically\x20by\x20the\x20platform\x20timeout|overdue\x20unshipped'},'commercialSemantics':'The\x20real\x20maker\x20simply\x20declines;\x20the\x20template\x20gives\x20the\x20maker\x20NO\x20decline\x20edge\x20—\x20the\x20deadline\x20timeout\x20(CancelUnshipped,\x20full\x20refund)\x20is\x20the\x20only\x20path.\x20The\x20disclosed\x20framing\x20covers\x20the\x20outcome\x20but\x20not\x20a\x20maker-initiated\x20decline.','evidence':[]},{'id':'E4','class':'exception','name':'Buyer\x20requests\x20a\x20return\x20inside\x20the\x2024h\x20window','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'request_return','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'return_window','commercialSemantics':'The\x20shipped\x20window\x20is\x2024h\x20from\x20delivered\x20(WINDOW_MATH_MISMATCH\x20ties\x20it\x20to\x20return_response_days\x20=\x201)\x20—\x20far\x20stricter\x20than\x20the\x20real\x20marketplace\x27s\x2014-30\x20day\x20custom\x20windows\x20(U7\x20finding).','evidence':[]},{'id':'E5','class':'exception','name':'Return\x20receipt:\x20maker\x20confirms\x20or\x20is\x20deemed\x20silent\x20(timeout\x20rail)','actor':'merchant','precondition':['E4'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ReturnReceiptTimeoutByKeeper','prev':'return_in_transit','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'return_response_timeout','commercialSemantics':'The\x20v161\x20receipt-timeout\x20rail:\x20return_response_days\x20(1)\x20after\x20the\x20buyer\x27s\x20return-shipment\x20declaration\x20the\x20keeper\x20deems\x20receipt\x20(returnless\x20approval)\x20so\x20the\x20after-sales\x20rail\x20cannot\x20stall\x20on\x20a\x20silent\x20maker\x20—\x20the\x20deemed\x20clock\x20still\x20counts\x20from\x20the\x20return_requested\x20ENTRY\x20(stage2\x20#27\x20kept\x20the\x20anchor;\x20the\x20in-transit\x20waypoint\x20is\x20record-only);\x20contestation\x20is\x20the\x20ArbRefundReturn\x20twin.','evidence':[]},{'id':'E6','class':'exception','name':'Buyer\x20ships\x20the\x20return\x20parcel\x20back\x20(in-transit\x20declaration)','actor':'buyer','precondition':['E4'],'onchain':'expressible','chainFootprint':{'node':'return_in_transit','forward':'ShipReturn','prev':'return_requested','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'return_shipped','commercialSemantics':'The\x20in-transit\x20leg\x20SHIPS\x20since\x20stage2\x20#27\x20(TPL-10):\x20the\x20buyer\x20DECLARES\x20the\x20return\x20shipped\x20(identity-only\x20—\x20the\x20return\x20journey\x20mid-leg\x20is\x20the\x20buyer\x27s\x20own\x20declaration,\x20never\x20a\x20window-gated\x20step,\x20F-TPL-01);\x20carrier\x20tracking\x20of\x20the\x20return\x20leg\x20rides\x20the\x20evidence\x20Repository\x20(RMA\x20row),\x20not\x20a\x20guard.','evidence':[]},{'id':'E7','class':'exception','name':'Maker\x20confirms\x20return\x20receipt','actor':'merchant','precondition':['E6'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'return_received','prev':'return_in_transit','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'return_received','commercialSemantics':'Merchant\x20acknowledgement\x20into\x20the\x20returned\x20waypoint\x20(permission\x201001),\x20re-parented\x20to\x20the\x20in-transit\x20waypoint\x20(stage2\x20#27)\x20and\x20gated\x20on\x20the\x20RMA\x20evidence\x20row\x20(its\x20own\x20write-once\x20\x27evidence_return\x27\x20policy,\x20F-12).','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]},{'id':'E8','class':'exception','name':'After-sales\x20refund\x20executes\x20on\x20the\x20returned/closed\x20rails','actor':'keeper','precondition':['E7'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'This\x20shape\x20has\x20no\x20refunded\x20record\x20node:\x20the\x20refund\x20allocator\x20pays\x20at\x20returned\x20or\x20closed_cancel\x20(refund_execute\x20rail\x20over\x20both\x20refund\x20buckets).','evidence':[]},{'id':'E9','class':'exception','name':'Returnless\x20refund\x20(maker\x20silence\x20deemed\x20approval)','actor':'keeper','precondition':['E4'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ReturnReceiptTimeoutByKeeper','prev':'return_in_transit','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'return_response_timeout','commercialSemantics':'With\x20no\x20receipt\x20decision\x20inside\x20the\x20response\x20window\x20the\x20keeper\x20deems\x20the\x20return\x20accepted\x20—\x20the\x20buyer\x20is\x20never\x20hostage\x20to\x20maker\x20acknowledgement;\x20since\x20stage2\x20#27\x20the\x20deemed\x20rail\x20departs\x20the\x20in-transit\x20waypoint\x20(the\x20returnless\x20refund\x20no\x20longer\x20needs\x20a\x20physical\x20receipt\x20at\x20all).','evidence':[]},{'id':'E10','class':'exception','name':'Item\x20never\x20arrived\x20(carrier\x20loss)','actor':'buyer','precondition':['M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'gapPredicate':{'probe':'lost\x20or\x20damaged\x20in\x20carrier\x20transit|no\x20carrier\x20oracle'},'commercialSemantics':'In-transit\x20loss\x20is\x20remedied\x20by\x20the\x20buyer\x27s\x20arbitration\x20route\x20into\x20closed_cancel\x20(a\x20buyer-won\x20ruling\x20fires\x20the\x20full-refund\x20rail);\x20the\x20carrier\x20claim\x20itself\x20is\x20an\x20OFF-CHAIN\x20recovery,\x20disclosed\x20as\x20such.','evidence':[]},{'id':'E11','class':'exception','name':'Item\x20damaged\x20in\x20transit','actor':'buyer','precondition':['M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'gapPredicate':{'probe':'lost\x20or\x20damaged\x20in\x20carrier\x20transit'},'commercialSemantics':'Same\x20disclosed\x20remedy\x20rail\x20as\x20the\x20loss\x20case;\x20damage\x20evidence\x20rides\x20the\x20arb\x20case,\x20not\x20the\x20machine.','evidence':[]},{'id':'E12','class':'exception','name':'Short\x20shipment\x20/\x20wrong\x20item\x20delivered','actor':'buyer','precondition':['M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'gapPredicate':{'probe':'independent\x20Arbitration|case\x20mediators'},'commercialSemantics':'Quantity/content\x20disputes\x20flow\x20to\x20the\x20independent\x20Arbitration\x20object\x20(case\x20mediators)\x20—\x20never\x20Machine\x20nodes;\x20the\x20machine\x20records\x20only\x20the\x20ruling-driven\x20exit.','evidence':[]},{'id':'E13','class':'exception','name':'Counterfeit\x20or\x20not-actually-handmade\x20(policy\x20violation)','actor':'buyer','precondition':['M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'gapPredicate':{'probe':'independent\x20Arbitration'},'commercialSemantics':'The\x20buyer-exit\x20refund\x20rides\x20the\x20arb\x20rail;\x20the\x20policy\x20side\x20(delisting\x20the\x20non-handmade\x20shop)\x20is\x20platform\x20governance\x20with\x20no\x20per-order\x20footprint.','evidence':[]},{'id':'E14','class':'exception','name':'Buyer\x20files\x20a\x20dispute\x20(Purchase\x20Protection\x20/\x20case)','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'claim_filed','commercialSemantics':'SHIPS\x20since\x20stage2\x20#27\x20(TPL-09):\x20the\x20buyer\x20files\x20on\x20the\x20independent\x20Arbitration\x20object\x20and\x20the\x20machine\x20RECORDS\x20the\x20case\x20at\x20claim_filed\x20—\x20parking\x20there\x20structurally\x20freezes\x20the\x20settle\x20advance\x20(it\x20reads\x20a\x20delivered\x20ENTRY\x20the\x20parked\x20order\x20no\x20longer\x20has).\x20Identity-only,\x20NO\x20filing\x20window\x20(#24\x20family\x20form):\x20a\x2030-day\x20window\x20would\x20trip\x20WINDOW_MATH_MISMATCH\x20against\x20settlement_delay_days\x20(0-3);\x20the\x20residual\x20file-vs-settle\x20race\x20is\x20disclosed\x20(INV-ETSY-5).','evidence':[{'file':'order.move','line':0xa1,'pattern':'public\x20fun\x20has_open_dispute'}]},{'id':'E15','class':'exception','name':'Buyer\x20withdraws\x20the\x20claim','actor':'buyer','precondition':['E14'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'WithdrawClaim','prev':'claim_filed','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'withdraw_claim','commercialSemantics':'SHIPS\x20since\x20stage2\x20#27,\x20with\x20the\x20residual\x20DISCLOSED\x20in\x20the\x20corpus\x20(was\x20a\x20CRITICAL\x20pre-assembly\x20mandate):\x20the\x20kernel\x20WithdrawClaim\x20guard\x20is\x20identity-only\x20—\x20replayable,\x20binds\x20no\x20arbitration\x20case,\x20claimed_by\x20survives\x20withdrawal\x20so\x20the\x20order\x20can\x20never\x20re-file\x20on\x20the\x20venue,\x20and\x20arb_withdraw\x20sweeps\x20ONLY\x20the\x20fee\x20balance.\x20The\x20escrowed\x20principal\x20is\x20single-shot\x20by\x20BALANCE\x20and\x20the\x20claim_filed\x20park\x20is\x20the\x20phantom-case\x20backstop.\x20Operating\x20rule\x20(R27\x20rule\x203):\x20move\x20Progress\x20ONLY,\x20never\x20clear\x20the\x20Arb\x20case\x20—\x20conclude\x20on\x20the\x20venue\x20FIRST,\x20then\x20withdraw.','evidence':[{'file':'order.move','line':0x79,'pattern':'option::is_none(&self.claimed_by)'}]},{'id':'E16','class':'exception','name':'Arbitration\x20case\x20opened\x20on\x20the\x20independent\x20Arb\x20object','actor':'arbitrator','precondition':['E14'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','moneyEffect':'none'},'commercialSemantics':'The\x20case\x20object\x20is\x20real\x20(op\x20permission\x20anchored\x20to\x20the\x20order)\x20and\x20the\x20machine-side\x20RECORD\x20waypoint\x20now\x20SHIPS\x20(stage2\x20#27):\x20while\x20the\x20case\x20runs\x20the\x20order\x20stays\x20parked\x20at\x20claim_filed\x20—\x20the\x20ruling\x20is\x20never\x20decided\x20in-Machine\x20(R-M1-11),\x20only\x20recorded\x20and\x20executed\x20through\x20the\x20sanctioned\x20exits.','evidence':[{'file':'arbitration.move','line':0x169,'pattern':'assert_op_permission'}]},{'id':'E17','class':'exception','name':'Arbitration\x20rules\x20for\x20the\x20buyer\x20(refund\x20from\x20delivered)','actor':'arbitrator','precondition':['E16'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'arb_refund','commercialSemantics':'Unique\x20to\x20the\x20handmade\x20shape:\x20the\x20arbitration\x20refund\x20needs\x20NO\x20return-leg\x20—\x20a\x20buyer-won\x20ruling\x20pays\x20straight\x20from\x20delivered.\x20Winning\x20the\x20case\x20is\x20NOT\x20the\x20money;\x20the\x20arb\x20WITHDRAW\x20call\x20and\x20the\x20machine\x20advance\x20are\x20two\x20transactions\x20(L4\x20execution-stamp\x20ordering\x20runbook).','evidence':[]},{'id':'E18','class':'exception','name':'Arb\x20silence\x20auto-accepts\x20the\x20claim\x20(protocol\x20finality)','actor':'arbitrator','precondition':['E16'],'onchain':'not_applicable','commercialSemantics':'Protocol-level\x20arb-object\x20finality\x20(WITHDRAW_DURATION_TIME),\x20not\x20a\x20machine\x20edge\x20—\x20excluded\x20like\x20the\x20shansong\x20pilot\x27s\x20R6.','evidence':[{'file':'arb.move','line':0x10,'pattern':'WITHDRAW_DURATION_TIME'}]},{'id':'E19','class':'exception','name':'Review\x20dispute:\x20appeal\x20/\x20lock\x20/\x20edit\x20request','actor':'buyer','precondition':['M8'],'onchain':'disclosure_only','disclosureProbe':'(appeal|remove|lock|edit)[^\x22]{0,30}review','commercialSemantics':'Real\x20product\x20locks\x20reviews\x20during\x20disputes.\x20The\x20template\x20enforces\x20write-once\x20review\x20immutability\x20(repository\x20policy)\x20but\x20the\x20builder\x20corpus\x20never\x20discloses\x20it\x20—\x20standing\x20FIX-DISCLOSURE\x20gap.','evidence':[]},{'id':'E20','class':'exception','name':'Shop\x20suspension\x20or\x20delisting\x20mid-order','actor':'keeper','precondition':['M4'],'onchain':'disclosure_only','disclosureProbe':'(suspend|delist|close)[^\x22]{0,20}(shop|store|listing)','commercialSemantics':'Account-level\x20governance\x20(suspend\x20shop,\x20freeze\x20payouts)\x20has\x20no\x20per-order\x20chain\x20surface\x20and\x20no\x20corpus\x20disclosure;\x20only\x20publish-freeze\x20of\x20the\x20return\x20policy\x20is\x20disclosed\x20(cannot\x20vary\x20per\x20listing\x20after\x20publish).','evidence':[]},{'id':'E21','class':'exception','name':'Offsite\x20Ads\x20attribution\x20fee\x20dispute','actor':'merchant','precondition':['M9'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'offsite\x20ads|attribution|ad\x20fee\x20dispute','commercialSemantics':'The\x2030-day\x20attribution\x20window\x20over\x20the\x20buyer\x27s\x20whole-shop\x20purchase\x20has\x20no\x20on-chain\x20pricing/attribution\x20oracle\x20(S7);\x20the\x20corpus\x20discloses\x20attribution\x20as\x20plain\x20off-chain\x20evidence\x20with\x20no\x20fee\x20differential.','evidence':[]},{'id':'E22','class':'exception','name':'Listing\x20fee\x20/\x20auto-renewal\x20dispute','actor':'merchant','precondition':['M3'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'listing\x20fee|auto.renew|0\x5c.20','commercialSemantics':'Platform->seller\x20fee\x20mechanics\x20($0.20/listing,\x206.5%\x20transaction)\x20are\x20subscription/commission\x20rails\x20outside\x20the\x20per-order\x20escrow\x20(S7)\x20and\x20undisclosed\x20in\x20this\x20template\x27s\x20corpus.','evidence':[]},{'id':'E23','class':'exception','name':'Payment\x20reserve\x20hold\x20on\x20the\x20seller\x20payout','actor':'keeper','precondition':['M9'],'onchain':'disclosure_only','disclosureProbe':'payment\x20reserve|reserve\x20the\x20payout|payout\x20hold','commercialSemantics':'Real\x20product\x20can\x20hold\x20payouts\x20in\x20reserve.\x20The\x20template\x27s\x20only\x20fund-holding\x20is\x20the\x20settlement\x20clock\x20(fast\x200-3\x20day\x20release);\x20the\x20corpus\x20discloses\x20holding\x20only\x20negatively\x20(a\x20silent\x20maker\x20must\x20not\x20hold\x20the\x20returned\x20escrow\x20hostage;\x20stale\x20disputes\x20must\x20not\x20hold\x20escrow\x20past\x20the\x20horizon).','evidence':[]},{'id':'E24','class':'exception','name':'Refund\x20judged\x20but\x20not\x20yet\x20in\x20the\x20bank\x20account','actor':'buyer','precondition':['E8'],'onchain':'disclosure_only','disclosureProbe':'refund[^\x22]{0,40}(not\x20received|delay|missing|status)','commercialSemantics':'The\x20chain\x20refund\x20is\x20atomic\x20at\x20the\x20rail;\x20bank-side\x20timing\x20is\x20off-chain\x20and\x20undisclosed\x20in\x20this\x20template\x27s\x20corpus\x20—\x20standing\x20disclosure\x20gap.','evidence':[]},{'id':'E25','class':'exception','name':'Coupon\x20/\x20sale-price\x20mispricing\x20dispute','actor':'merchant','precondition':['M3'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'coupon|sale\x20price|discount','commercialSemantics':'The\x20handmade\x20template\x20has\x20NO\x20discount\x20corpus\x20at\x20all\x20(no\x20fee_param,\x20no\x20build\x20note)\x20—\x20coupon\x20semantics\x20are\x20wholly\x20absent\x20(S7),\x20a\x20true\x20structural\x20gap\x20for\x20the\x20archetype\x27s\x20sale\x20economy.','evidence':[]},{'id':'E26','class':'exception','name':'External\x20chargeback\x20/\x20card-network\x20dispute','actor':'buyer','precondition':['M3'],'onchain':'unresolvable','unresolvableRef':'S9','disclosureProbe':'chargeback|credit\x20card\x20dispute','commercialSemantics':'No\x20chargeback\x20primitive\x20(S9)\x20and\x20no\x20corpus\x20disclosure\x20—\x20Etsy\x20Payments\x27\x20seller-of-record\x20economics\x20stay\x20fully\x20off-chain.','evidence':[]},{'id':'R1','class':'remedy','name':'Purchase\x20Protection\x20claim\x20(<=\x20$250\x20platform\x20cap)','actor':'buyer','precondition':['E14'],'onchain':'disclosure_only','disclosureProbe':'purchase.protection|protection_cap_usd','commercialSemantics':'The\x20template\x20aligns\x20the\x20CAP\x20(protection_cap_usd\x20=\x20250)\x20but\x20the\x20FUNDING\x20SOURCE\x20differs\x20by\x20design:\x20platform-funded\x20on\x20Etsy,\x20merchant-pool-funded\x20here\x20(0-commission\x20desk\x20economics)\x20—\x20disclosed,\x20not\x20expressible\x20(S9:\x20no\x20platform\x20top-up\x20primitive).','evidence':[]},{'id':'R2','class':'remedy','name':'Arb\x20compensation\x20payout,\x20owner-bound','actor':'arbitrator','precondition':['E16'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'Compensation\x20is\x20paid\x20by\x20the\x20service\x20layer\x20to\x20the\x20order\x20owner\x20—\x20always\x20the\x20buyer,\x20structurally\x20unbribeable,\x20even\x20though\x20this\x20shape\x20mounts\x20no\x20claim\x20waypoint\x20today.','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'R3','class':'remedy','name':'Indemnity\x20capped\x20at\x203x\x20the\x20order\x20amount','actor':'arbitrator','precondition':['R2'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'Every\x20award\x20saturates\x20at\x203x\x20Order.amount\x20(cap\x20base\x20frozen\x20at\x20BUY\x20time)\x20—\x20for\x20a\x20<=$250-protection\x20archetype\x20this\x20is\x20rarely\x20binding\x20but\x20never\x20lifted.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'}]},{'id':'R4','class':'remedy','name':'EU/UK\x2014-day\x20withdrawal\x20right\x20(non-custom\x20goods)','actor':'buyer','precondition':['M7'],'onchain':'disclosure_only','disclosureProbe':'14.?day|withdrawal|cooling','commercialSemantics':'The\x20CRD\x2014-day\x20right\x20for\x20non-custom\x20goods\x20conflicts\x20with\x20the\x20shipped\x2024h\x20return\x20window\x20(U7);\x20the\x20corpus\x20only\x20references\x20the\x2014-day\x20marketplace\x20cycle\x20as\x20the\x20challenger\x20contrast\x20—\x20the\x20statutory\x20alignment\x20is\x20a\x20report-only\x20conflict\x20(INV-ETSY-4).','evidence':[]},{'id':'R5','class':'remedy','name':'Statutory\x20punitive\x20damages\x20above\x20the\x20cap','actor':'arbitrator','precondition':['R3'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'punitive|triple\x20damages|500','commercialSemantics':'Low-AOV\x20handmade\x20orders\x20make\x20punitive\x20floors\x20structurally\x20irrelevant,\x20and\x20the\x20corpus\x20discloses\x20nothing\x20—\x20S7,\x20text-only.','evidence':[]},{'id':'R6','class':'remedy','name':'Arb\x20dismisses\x20the\x20claim,\x20order\x20resumes','actor':'arbitrator','precondition':['E16'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'arb_dismissed_resume','commercialSemantics':'SHIPS\x20since\x20stage2\x20#27\x20(TPL-09\x20third\x20exit):\x20a\x20zero-award\x20ruling\x20resumes\x20the\x20disputed\x20order\x20at\x20delivered\x20(merchant\x20arbitration-execution\x20slot\x201004\x20—\x20the\x20family\x20arb\x20bucket,\x20OFF\x20the\x201002\x20keeper/settle\x20bucket,\x20PERM-COARSE-BUCKET-01);\x20the\x20re-entry\x20appends\x20a\x20fresh\x20delivered\x20entry\x20and\x20re-anchors\x20the\x20settle\x20clock\x20and\x20the\x20review/return\x20windows\x20(find=last).\x20Faithful\x20form\x20held:\x20no\x20indemnity-some\x20leg\x20(dismissal\x20must\x20not\x20pay),\x20no\x20arb.status\x20object-field\x20gate\x20(status\x20is\x20not\x20a\x20queryable\x20module\x20field\x20—\x20use\x20the\x20arb\x20withdraw/ruling\x20events).','evidence':[]},{'id':'P1','class':'post','name':'Settlement\x20allocation\x20to\x20the\x20maker\x20(single\x20escrow,\x20one\x20rail)','actor':'merchant','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'release'},'commercialSemantics':'The\x20whole\x20escrow\x20releases\x20to\x20the\x20maker\x20Entity\x20—\x20one\x20escrow,\x20one\x20refund\x20rail,\x20never\x20split\x20refund\x20allocators\x20(a\x20split\x20would\x20violate\x20the\x20settle-once\x20ceiling).','evidence':[{'file':'allocation.move','line':0x1f6,'pattern':'self.allocators.threshold'}]},{'id':'P2','class':'post','name':'Review\x20reward\x20claim\x20(signer-bound)','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'reviewed','moneyEffect':'reward'},'commercialSemantics':'Reward\x20claim\x20is\x20signer-bound\x20(recipient\x20==\x20sender)\x20against\x20the\x20review\x20pool\x20with\x20a\x20per-claim\x20floor\x20above\x20claim\x20gas.','evidence':[{'file':'reward.move','line':0x11b,'pattern':'recipient\x20==\x20tx_context::sender'}]},{'id':'P3','class':'post','name':'Star-seller\x20tiering\x20(badge,\x20not\x20permission)','actor':'keeper','precondition':['P2'],'onchain':'disclosure_only','disclosureProbe':'star.?seller|badge|tier','commercialSemantics':'Star-seller\x20tiering\x20goes\x20through\x20Passport,\x20not\x20the\x20Permission\x20entity\x20table\x20(entity\x20capacity\x20is\x20limited)\x20—\x20disclosed\x20in\x20the\x20builder\x20corpus.','evidence':[]},{'id':'P4','class':'post','name':'Offsite\x20Ads\x20revenue\x20attribution','actor':'keeper','precondition':['P1'],'onchain':'not_applicable','commercialSemantics':'Attribution-driven\x20ad\x20fees\x20are\x20storefront\x20economics\x20with\x20no\x20per-order\x20chain\x20footprint\x20(see\x20E21).','evidence':[]},{'id':'P5','class':'post','name':'Evidence-repository\x20audit\x20(write-once\x20rows)','actor':'keeper','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'shipped','moneyEffect':'none'},'commercialSemantics':'The\x20evidence\x20write\x20policy\x20is\x20order-keyed\x20write_once\x20—\x20any\x20second\x20write\x20of\x20the\x20same\x20kind\x20aborts\x20(E_POLICY_WRITE_ONCE_CONFLICT),\x20making\x20tracking/RMA\x20rows\x20audit-clean.','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]}],'invariants':[{'id':'INV-ETSY-1','statement':'Purchase-protection\x20alignment:\x20the\x20template\x20matches\x20the\x20$250\x20CAP\x20(protection_cap_usd\x20=\x20250)\x20but\x20NOT\x20the\x20funding\x20source\x20—\x20Etsy\x27s\x20protection\x20is\x20platform-funded\x20while\x20this\x20template\x20absorbs\x20claims\x20from\x20the\x20merchant\x20compensation\x20pool.\x20The\x20funding-source\x20difference\x20is\x20disclosed,\x20not\x20chain-expressible.','jurisdiction':'etsy.com/purchase-protection\x20(2026\x20revision:\x20all\x20qualifying\x20orders\x20covered\x20to\x20$250;\x20100-day\x20dispute\x20window\x20shortened\x20to\x2030d);\x20294K\x20sellers\x20/\x201.4M\x20orders\x20covered\x20since\x202022.','chainConflict':'S9:\x20no\x20platform\x20top-up\x20/\x20external-fund\x20primitive\x20exists\x20—\x20the\x20pool\x20is\x20merchant\x20capital\x20only\x20(T-31:\x20fund\x20prose\x20is\x20not\x20a\x20chain\x20anchor).','evidence':[{'file':'allocation.move','line':0x1f6,'pattern':'self.allocators.threshold'}]},{'id':'INV-ETSY-2','statement':'Award\x20floor\x20knob:\x20the\x20won-rail\x20award\x20floor\x20is\x20now\x20a\x20LANDED\x20fee-plane\x20dial\x20—\x20fee_params\x20arb_indemnity_floor_bps\x20(default\x200)\x20lands\x20on\x20the\x20three\x20won-rail\x20instances\x20(arb_refund\x20/\x20arb_refund_filed\x20/\x20arb_refund_return)\x20via\x20the\x20fee-param\x20bindings\x20onto\x20tpl_forward_arb_ruling_won\x27s\x20min_indemnity_floor\x20(raw\x20smallest\x20units;\x20merchant\x20sets\x20escrow\x20x\x20bps\x20/\x2010000\x20at\x20build\x20time\x20per\x20the\x20kernel\x20formula,\x20or\x20overrides\x20min_indemnity_floor\x20directly\x20via\x20spec\x20params).\x20Default\x200\x20keeps\x20ANY\x20non-zero\x20award\x20qualifying\x20—\x20the\x20zero-award\x20exclusion\x20leg\x20stays\x20the\x20only\x20floor\x20and\x20the\x20compile\x20is\x20byte-identical\x20to\x20the\x20pre-knob\x20shape;\x20the\x20ARB\x20RAIL\x20AWARD\x20FLOOR\x20floor-0\x20build\x20note\x20remains\x20in\x20the\x20shipped\x20corpus\x20(the\x20commercial\x20award\x20floor\x20is\x20the\x20arbitrator\x27s\x20venue\x20policy).\x20A\x20merchant\x20who\x20wants\x20a\x20real\x20floor\x20sets\x20the\x20knob;\x20the\x20dial\x20is\x20mechanical,\x20not\x20advisory.','jurisdiction':'Kernel\x20guard-template\x20default\x20(F-54\x20family:\x20\x27a\x200.001\x20award\x20opened\x20a\x202.0\x20refund\x27\x20live\x20precedent);\x20wiki\x20etsy.md\x20C10;\x20stage2\x20#27\x20residual\x20INV-ETSY-2\x20knob-ization\x202026-11-08.','chainConflict':'Landed\x20—\x20the\x20fee\x20param\x20has\x20a\x20binding-row\x20landing\x20on\x20all\x20three\x20won-rail\x20guards\x20(fee-param-bindings\x20retail/vertical-handmade\x20arb_refund\x20/\x20arb_refund_filed\x20/\x20arb_refund_return).','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'}]},{'id':'INV-ETSY-3','statement':'Venue\x20binding:\x20the\x20kernel\x20arb-ruling\x20legs\x20ship\x20with\x20bound_arbitration_address\x20—\x20the\x20S-27\x20FIX-EDGE\x20LANDED\x20in\x20stage2\x20#27,\x20so\x20the\x20binding\x20is\x20now\x20ACTIVE\x20on\x20every\x20assembled\x20ruling\x20rail\x20(arb_refund,\x20arb_refund_filed,\x20arb_dismissed_resume):\x20all\x20three\x20legs\x20are\x20venue-locked\x20to\x20one\x20address\x20at\x20build\x20time.\x20The\x20dismissed\x20leg\x27s\x20binding\x20rides\x20identifier\x203\x20(bound_arbitration_address)\x20while\x20the\x20won\x20root\x20rides\x20identifier\x204\x20—\x20the\x20known\x20kernel\x20asymmetry\x20(K3\x20C12).','jurisdiction':'Kernel\x20guard-template\x20roots\x20(tpl_forward_arb_ruling_won\x20/\x20_dismissed);\x20wiki\x20etsy.md\x20C11.','chainConflict':'Active\x20legs,\x20no\x20conflict\x20—\x20the\x20assembly\x20binds\x20exactly\x20one\x20venue;\x20multi-venue\x20arbitration\x20stays\x20inexpressible\x20on\x20this\x20shape.'},{'id':'INV-ETSY-4','statement':'The\x20shipped\x20return\x20window\x20is\x2024h\x20from\x20delivered\x20(WINDOW_MATH_MISMATCH\x20pins\x20it\x20to\x20return_response_days\x20=\x201),\x20while\x20the\x20CRD\x20grants\x2014\x20days\x20for\x20non-custom\x20goods.\x20The\x20window\x20knob\x20is\x20a\x20guard-template\x20param,\x20not\x20a\x20fee_param\x20—\x20the\x20statutory\x20floor\x20is\x20inexpressible\x20in\x20the\x20shipped\x20shape.','jurisdiction':'EU\x20CRD\x202011/83\x20art.13(2)\x20(14d\x20withdrawal,\x20custom-goods\x20exception\x2016(c));\x20UK\x20CRA\x202015;\x20PRC\x20Consumer\x20Protection\x20Law\x20art.25.','chainConflict':'No\x20return_window\x20fee_param\x20key\x20exists\x20on\x20this\x20template;\x20the\x2024h\x20guard\x20param\x20and\x20the\x201-day\x20response\x20deadline\x20are\x20structurally\x20coupled.'},{'id':'INV-ETSY-5','statement':'Waypoint\x20money\x20safety\x20(stage2\x20#27,\x20standing\x20check):\x20the\x20claim\x20waypoint\x20family\x20must\x20keep\x20its\x20parking\x20freeze\x20—\x20the\x20settle\x20advance\x20reads\x20a\x20delivered\x20ENTRY,\x20so\x20an\x20order\x20parked\x20at\x20claim_filed\x20cannot\x20settle\x20behind\x20an\x20open\x20case,\x20and\x20every\x20claim\x20exit\x20rides\x20a\x20node\x20the\x20refund\x20rail\x20already\x20pays\x20(closed_cancel).\x20Guard\x20rails:\x20settlement_delay_days\x20must\x20stay\x20NON-ZERO\x20(the\x20settle\x20clock\x20must\x20keep\x20advancing\x20a\x20resumed\x20order\x20after\x20ResumeAfterDismissal\x20re-anchors\x20it)\x20and\x20the\x20machine\x20shape\x20must\x20keep\x20the\x20FileDispute\x20edge\x20—\x20a\x20shape\x20that\x20loses\x20either\x20leg\x20re-opens\x20the\x20stalled-escrow\x20face\x20this\x20family\x20was\x20built\x20to\x20close.\x20Residual,\x20disclosed:\x20file-vs-settle\x20simultaneity\x20is\x20FCFS\x20on\x20machine\x20state.','jurisdiction':'INV-1688-8\x20twin\x20(restock-supply,\x20stage2\x20#24);\x20GF2-31;\x20wiki\x20etsy.md\x20C13.','chainConflict':'No\x20conflict\x20shipped;\x20the\x20check\x20keeps\x20a\x20future\x20edit\x20from\x20silently\x20parking\x20orders\x20on\x20a\x20dead\x20settle\x20clock.','violation':{'requiresFeeParamNonZero':'settlement_delay_days','whileMissingForward':'FileDispute'}}]};
|
|
1
|
+
export const ETSY_ORACLE={'productRef':'etsy','products':['etsy','depop','xhs-handmade'],'oracleVersion':'1.1.0','steps':[{'id':'M1','class':'offchain','name':'Browse\x20listings\x20filtered\x20by\x20shop\x20aesthetics\x20(favorite/curated\x20feeds)','actor':'buyer','precondition':[],'onchain':'not_applicable','commercialSemantics':'Discovery,\x20favorites\x20and\x20curated\x20feeds\x20are\x20storefront\x20acts;\x20no\x20order\x20object\x20exists\x20yet.','evidence':[]},{'id':'M2','class':'offchain','name':'Configure\x20a\x20custom\x20order\x20(personalization\x20brief,\x20price/processing\x20quote)','actor':'buyer','precondition':['M1'],'onchain':'not_applicable','commercialSemantics':'Custom-order\x20negotiation\x20(EU\x20CRD\x2016(c)\x20waiver\x20territory)\x20is\x20off-chain\x20messaging;\x20the\x20template\x20only\x20learns\x20the\x20agreed\x20terms\x20via\x20customer_required\x20declarative\x20fields.','evidence':[]},{'id':'M6','class':'offchain','name':'Maker\x20crafts\x20the\x20order\x20(WIP\x20detail\x20file,\x20production\x20time)','actor':'merchant','precondition':['M4'],'onchain':'not_applicable','commercialSemantics':'Crafting\x20is\x20the\x20value-creating\x20act\x20of\x20the\x20archetype;\x20the\x20chain\x20sees\x20only\x20the\x20evidence-gated\x20ship\x20at\x20the\x20end\x20of\x20it.','evidence':[]},{'id':'M3','class':'main','name':'Buy:\x20full-amount\x20escrow\x20(storefront\x20mode\x20selector\x20at\x20the\x20gate)','actor':'buyer','precondition':['M2'],'onchain':'expressible','chainFootprint':{'node':'paid','forward':'pay','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'commercialSemantics':'One-shot\x20escrow.\x20The\x20buy\x20gate\x20mounts\x20per\x20storefront_mode\x20(open:\x20everyone;\x20passport:\x20KYC-gated)\x20—\x20a\x20service-level\x20conditional\x20guard,\x20not\x20an\x20edge\x20guard.','evidence':[]},{'id':'M4','class':'main','name':'Maker\x20accepts\x20the\x20order\x20(required-info\x20gate)','actor':'merchant','precondition':['M3'],'onchain':'expressible','chainFootprint':{'node':'confirmed','forward':'accept_order','prev':'paid','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'required_info','commercialSemantics':'Acceptance\x20is\x20the\x20maker\x27s\x20explicit\x20commitment;\x20if\x20the\x20buyer\x20owes\x20customization\x20info,\x20the\x20guard\x20blocks\x20until\x20it\x20is\x20provided\x20(required-info\x20update\x20declaration).','evidence':[]},{'id':'M5','class':'main','name':'Maker\x20ships\x20with\x20tracking\x20evidence\x20(write-once\x20row)','actor':'merchant','precondition':['M6'],'onchain':'expressible','chainFootprint':{'node':'shipped','forward':'ship','prev':'confirmed','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'ship_evidence','commercialSemantics':'The\x20ship\x20edge\x20is\x20evidence-gated:\x20the\x20tracking\x20row\x20is\x20write-once\x20(repository\x20write_once\x20policy),\x20so\x20late\x20carrier-side\x20edits\x20cannot\x20rewrite\x20history.','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]},{'id':'M7','class':'main','name':'Buyer\x20confirms\x20delivery\x20(or\x20keeper\x20auto-confirm\x20fallback)','actor':'buyer','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'confirm_delivery','prev':'shipped','identity':'order_holder','moneyEffect':'none'},'commercialSemantics':'Buyer\x20confirmation\x20is\x20direct;\x20the\x20deliver_confirm_timeout\x20twin\x20(auto_confirm_days)\x20advances\x20a\x20silent\x20buyer\x20so\x20escrow\x20cannot\x20stall.','evidence':[]},{'id':'M8','class':'post','name':'Buyer\x20writes\x20an\x20optional\x20review\x20inside\x20the\x20window\x20(write-once)','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'submit_review','prev':'delivered','identity':'order_holder','moneyEffect':'reward'},'guardKeyProbe':'review_window','commercialSemantics':'Review\x20immutability\x20is\x20enforced\x20by\x20the\x20repository\x20write-once\x20policy;\x20a\x20reward\x20claim\x20may\x20anchor\x20on\x20it\x20against\x20the\x20review\x20pool.','evidence':[{'file':'repository.move','line':0x223,'pattern':'E_POLICY_WRITE_ONCE_CONFLICT'}]},{'id':'M9','class':'main','name':'Next-day\x20settlement\x20of\x20the\x20escrow\x20to\x20the\x20maker','actor':'merchant','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'settle','prev':'delivered','identity':'permission_index','moneyEffect':'release'},'guardKeyProbe':'settle_clock','commercialSemantics':'Fast\x20settlement\x20(settlement_delay_days\x20=\x201)\x20rides\x20the\x20settle_clock\x20guard;\x20the\x20merchant\x20triggers,\x20the\x20gate\x20freezes\x20state\x20and\x20releases.\x20The\x20reviewed\x20sibling\x20settles\x20too.','evidence':[]},{'id':'E1','class':'exception','name':'Buyer\x20cancels\x20inside\x20the\x20free\x20window\x20(before\x20crafting\x20starts)','actor':'buyer','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'cancel','prev':'confirmed','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'cancel_window','commercialSemantics':'free_cancel_hours\x20(72\x20=\x20processing_time_days\x20x\x2024)\x20after\x20acceptance\x20the\x20buyer\x20cancels\x20with\x20FULL\x20on-chain\x20refund;\x20a\x20pre-acceptance\x20twin\x20exists\x20from\x20paid.','evidence':[]},{'id':'E2','class':'exception','name':'Overdue\x20unshipped\x20order:\x20keeper\x20force-cancels\x20with\x20full\x20refund','actor':'keeper','precondition':['M4'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'CancelUnshipped','prev':'confirmed','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'ship_timeout','commercialSemantics':'The\x20ship-timeout\x20exit\x20protects\x20the\x20buyer\x20from\x20a\x20stalled\x20maker:\x20CancelUnshipped\x20pays\x20the\x20full\x20refund.\x20Disclosure\x20must\x20run\x20toward\x20the\x20buyer\x20(\x27an\x20overdue\x20unshipped\x20order\x20is\x20exited\x20automatically\x27),\x20never\x20as\x20\x27the\x20buyer\x20may\x20cancel\x20any\x20time\x27.','evidence':[]},{'id':'E3','class':'exception','name':'Maker\x20declines\x20a\x20custom\x20order\x20before\x20crafting','actor':'merchant','precondition':['M4'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'CancelUnshipped','prev':'confirmed','moneyEffect':'refund'},'gapPredicate':{'probe':'exited\x20automatically\x20by\x20the\x20platform\x20timeout|overdue\x20unshipped'},'commercialSemantics':'The\x20real\x20maker\x20simply\x20declines;\x20the\x20template\x20gives\x20the\x20maker\x20NO\x20decline\x20edge\x20—\x20the\x20deadline\x20timeout\x20(CancelUnshipped,\x20full\x20refund)\x20is\x20the\x20only\x20path.\x20The\x20disclosed\x20framing\x20covers\x20the\x20outcome\x20but\x20not\x20a\x20maker-initiated\x20decline.','evidence':[]},{'id':'E4','class':'exception','name':'Buyer\x20requests\x20a\x20return\x20inside\x20the\x2024h\x20window','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'request_return','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'return_window','commercialSemantics':'The\x20shipped\x20window\x20is\x2024h\x20from\x20delivered\x20(WINDOW_MATH_MISMATCH\x20ties\x20it\x20to\x20return_response_days\x20=\x201)\x20—\x20far\x20stricter\x20than\x20the\x20real\x20marketplace\x27s\x2014-30\x20day\x20custom\x20windows\x20(U7\x20finding).','evidence':[]},{'id':'E5','class':'exception','name':'Return\x20receipt:\x20maker\x20confirms\x20or\x20is\x20deemed\x20silent\x20(timeout\x20rail)','actor':'merchant','precondition':['E4'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ReturnReceiptTimeoutByKeeper','prev':'return_in_transit','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'return_response_timeout','commercialSemantics':'The\x20v161\x20receipt-timeout\x20rail:\x20return_response_days\x20(1)\x20after\x20the\x20buyer\x27s\x20return-shipment\x20declaration\x20the\x20keeper\x20deems\x20receipt\x20(returnless\x20approval)\x20so\x20the\x20after-sales\x20rail\x20cannot\x20stall\x20on\x20a\x20silent\x20maker\x20—\x20the\x20deemed\x20clock\x20still\x20counts\x20from\x20the\x20return_requested\x20ENTRY\x20(stage2\x20#27\x20kept\x20the\x20anchor;\x20the\x20in-transit\x20waypoint\x20is\x20record-only);\x20contestation\x20is\x20the\x20ArbRefundReturn\x20twin.','evidence':[]},{'id':'E6','class':'exception','name':'Buyer\x20ships\x20the\x20return\x20parcel\x20back\x20(in-transit\x20declaration)','actor':'buyer','precondition':['E4'],'onchain':'expressible','chainFootprint':{'node':'return_in_transit','forward':'ShipReturn','prev':'return_requested','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'return_shipped','commercialSemantics':'The\x20in-transit\x20leg\x20SHIPS\x20since\x20stage2\x20#27\x20(TPL-10):\x20the\x20buyer\x20DECLARES\x20the\x20return\x20shipped\x20(identity-only\x20—\x20the\x20return\x20journey\x20mid-leg\x20is\x20the\x20buyer\x27s\x20own\x20declaration,\x20never\x20a\x20window-gated\x20step,\x20F-TPL-01);\x20carrier\x20tracking\x20of\x20the\x20return\x20leg\x20rides\x20the\x20evidence\x20Repository\x20(RMA\x20row),\x20not\x20a\x20guard.','evidence':[]},{'id':'E7','class':'exception','name':'Maker\x20confirms\x20return\x20receipt','actor':'merchant','precondition':['E6'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'return_received','prev':'return_in_transit','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'return_received','commercialSemantics':'Merchant\x20acknowledgement\x20into\x20the\x20returned\x20waypoint\x20(permission\x201001),\x20re-parented\x20to\x20the\x20in-transit\x20waypoint\x20(stage2\x20#27)\x20and\x20gated\x20on\x20the\x20RMA\x20evidence\x20row\x20(its\x20own\x20write-once\x20\x27evidence_return\x27\x20policy,\x20F-12).','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]},{'id':'E8','class':'exception','name':'After-sales\x20refund\x20executes\x20on\x20the\x20returned/closed\x20rails','actor':'keeper','precondition':['E7'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'This\x20shape\x20has\x20no\x20refunded\x20record\x20node:\x20the\x20refund\x20allocator\x20pays\x20at\x20returned\x20or\x20closed_cancel\x20(refund_execute\x20rail\x20over\x20both\x20refund\x20buckets).','evidence':[]},{'id':'E9','class':'exception','name':'Returnless\x20refund\x20(maker\x20silence\x20deemed\x20approval)','actor':'keeper','precondition':['E4'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ReturnReceiptTimeoutByKeeper','prev':'return_in_transit','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'return_response_timeout','commercialSemantics':'With\x20no\x20receipt\x20decision\x20inside\x20the\x20response\x20window\x20the\x20keeper\x20deems\x20the\x20return\x20accepted\x20—\x20the\x20buyer\x20is\x20never\x20hostage\x20to\x20maker\x20acknowledgement;\x20since\x20stage2\x20#27\x20the\x20deemed\x20rail\x20departs\x20the\x20in-transit\x20waypoint\x20(the\x20returnless\x20refund\x20no\x20longer\x20needs\x20a\x20physical\x20receipt\x20at\x20all).','evidence':[]},{'id':'E10','class':'exception','name':'Item\x20never\x20arrived\x20(carrier\x20loss)','actor':'buyer','precondition':['M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'gapPredicate':{'probe':'lost\x20or\x20damaged\x20in\x20carrier\x20transit|no\x20carrier\x20oracle'},'commercialSemantics':'In-transit\x20loss\x20is\x20remedied\x20by\x20the\x20buyer\x27s\x20arbitration\x20route\x20into\x20closed_cancel\x20(a\x20buyer-won\x20ruling\x20fires\x20the\x20full-refund\x20rail);\x20the\x20carrier\x20claim\x20itself\x20is\x20an\x20OFF-CHAIN\x20recovery,\x20disclosed\x20as\x20such.','evidence':[]},{'id':'E11','class':'exception','name':'Item\x20damaged\x20in\x20transit','actor':'buyer','precondition':['M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'gapPredicate':{'probe':'lost\x20or\x20damaged\x20in\x20carrier\x20transit'},'commercialSemantics':'Same\x20disclosed\x20remedy\x20rail\x20as\x20the\x20loss\x20case;\x20damage\x20evidence\x20rides\x20the\x20arb\x20case,\x20not\x20the\x20machine.','evidence':[]},{'id':'E12','class':'exception','name':'Short\x20shipment\x20/\x20wrong\x20item\x20delivered','actor':'buyer','precondition':['M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'gapPredicate':{'probe':'independent\x20Arbitration|case\x20mediators'},'commercialSemantics':'Quantity/content\x20disputes\x20flow\x20to\x20the\x20independent\x20Arbitration\x20object\x20(case\x20mediators)\x20—\x20never\x20Machine\x20nodes;\x20the\x20machine\x20records\x20only\x20the\x20ruling-driven\x20exit.','evidence':[]},{'id':'E13','class':'exception','name':'Counterfeit\x20or\x20not-actually-handmade\x20(policy\x20violation)','actor':'buyer','precondition':['M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'gapPredicate':{'probe':'independent\x20Arbitration'},'commercialSemantics':'The\x20buyer-exit\x20refund\x20rides\x20the\x20arb\x20rail;\x20the\x20policy\x20side\x20(delisting\x20the\x20non-handmade\x20shop)\x20is\x20platform\x20governance\x20with\x20no\x20per-order\x20footprint.','evidence':[]},{'id':'E14','class':'exception','name':'Buyer\x20files\x20a\x20dispute\x20(Purchase\x20Protection\x20/\x20case)','actor':'buyer','precondition':['M7'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','forward':'FileDispute','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'guardKeyProbe':'claim_filed','commercialSemantics':'SHIPS\x20since\x20stage2\x20#27\x20(TPL-09):\x20the\x20buyer\x20files\x20on\x20the\x20independent\x20Arbitration\x20object\x20and\x20the\x20machine\x20RECORDS\x20the\x20case\x20at\x20claim_filed\x20—\x20parking\x20there\x20structurally\x20freezes\x20the\x20settle\x20advance\x20(it\x20reads\x20a\x20delivered\x20ENTRY\x20the\x20parked\x20order\x20no\x20longer\x20has).\x20Identity-only,\x20NO\x20filing\x20window\x20(#24\x20family\x20form):\x20a\x2030-day\x20window\x20would\x20trip\x20WINDOW_MATH_MISMATCH\x20against\x20settlement_delay_days\x20(0-3);\x20the\x20residual\x20file-vs-settle\x20race\x20is\x20disclosed\x20(INV-ETSY-5).','evidence':[{'file':'order.move','line':0xa1,'pattern':'public\x20fun\x20has_open_dispute'}]},{'id':'E15','class':'exception','name':'Buyer\x20withdraws\x20the\x20claim\x20(BANNED\x20-\x20D2\x20no-withdraw\x20doctrine:\x20a\x20filed\x20claim\x20reaches\x20a\x20RULING\x20instead)','actor':'buyer','precondition':['E14'],'onchain':'not_applicable','chainFootprint':{'node':'closed_cancel','prev':'claim_filed','identity':'order_holder','moneyEffect':'refund'},'guardKeyProbe':'withdraw_claim','commercialSemantics':'D2\x20no-withdraw\x20doctrine\x20(2026-11-10,\x20template\x20v213):\x20a\x20FILED\x20claim\x20cannot\x20be\x20withdrawn\x20—\x20it\x20reaches\x20a\x20RULING\x20instead.\x20All\x20WithdrawClaim\x20machine\x20edges\x20and\x20withdraw_claim*\x20guard\x20bindings\x20were\x20removed\x20from\x20every\x20builtin\x20template\x20(the\x20v211-era\x20operating\x20rule\x20\x27withdraw\x20after\x20concluding\x20on\x20the\x20venue\x27\x20is\x20REPEALED);\x20the\x20kernel\x20forward\x20remains\x20(order-holder\x20identity-only,\x20replayable,\x20claimed_by\x20survives,\x20arb_withdraw\x20sweeps\x20only\x20the\x20fee\x20balance\x20—\x20S-27)\x20but\x20NO\x20template\x20route\x20expresses\x20it.\x20The\x20sanctioned\x20buyer-side\x20escapes\x20from\x20a\x20filed\x20claim\x20are\x20ruling-keyed:\x20a\x20buyer-won\x20award\x20(ArbRefund\x20rail),\x20a\x20dismissal-resume,\x20or\x20the\x20never-rules\x20case\x20swept\x20buyer-ward\x20by\x20the\x20ForceSettleExpired\x20clock\x20edge\x20(W5-02\x20advisory).','evidence':[{'file':'order.move','line':0x79,'pattern':'option::is_none(&self.claimed_by)'}]},{'id':'E16','class':'exception','name':'Arbitration\x20case\x20opened\x20on\x20the\x20independent\x20Arb\x20object','actor':'arbitrator','precondition':['E14'],'onchain':'expressible','chainFootprint':{'node':'claim_filed','moneyEffect':'none'},'commercialSemantics':'The\x20case\x20object\x20is\x20real\x20(op\x20permission\x20anchored\x20to\x20the\x20order)\x20and\x20the\x20machine-side\x20RECORD\x20waypoint\x20now\x20SHIPS\x20(stage2\x20#27):\x20while\x20the\x20case\x20runs\x20the\x20order\x20stays\x20parked\x20at\x20claim_filed\x20—\x20the\x20ruling\x20is\x20never\x20decided\x20in-Machine\x20(R-M1-11),\x20only\x20recorded\x20and\x20executed\x20through\x20the\x20sanctioned\x20exits.','evidence':[{'file':'arbitration.move','line':0x169,'pattern':'assert_op_permission'}]},{'id':'E17','class':'exception','name':'Arbitration\x20rules\x20for\x20the\x20buyer\x20(refund\x20from\x20delivered)','actor':'arbitrator','precondition':['E16'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'guardKeyProbe':'arb_refund','commercialSemantics':'Unique\x20to\x20the\x20handmade\x20shape:\x20the\x20arbitration\x20refund\x20needs\x20NO\x20return-leg\x20—\x20a\x20buyer-won\x20ruling\x20pays\x20straight\x20from\x20delivered.\x20Winning\x20the\x20case\x20is\x20NOT\x20the\x20money;\x20the\x20arb\x20WITHDRAW\x20call\x20and\x20the\x20machine\x20advance\x20are\x20two\x20transactions\x20(L4\x20execution-stamp\x20ordering\x20runbook).','evidence':[]},{'id':'E18','class':'exception','name':'Arb\x20silence\x20auto-accepts\x20the\x20claim\x20(protocol\x20finality)','actor':'arbitrator','precondition':['E16'],'onchain':'not_applicable','commercialSemantics':'Protocol-level\x20arb-object\x20finality\x20(WITHDRAW_DURATION_TIME),\x20not\x20a\x20machine\x20edge\x20—\x20excluded\x20like\x20the\x20shansong\x20pilot\x27s\x20R6.','evidence':[{'file':'arb.move','line':0x10,'pattern':'WITHDRAW_DURATION_TIME'}]},{'id':'E19','class':'exception','name':'Review\x20dispute:\x20appeal\x20/\x20lock\x20/\x20edit\x20request','actor':'buyer','precondition':['M8'],'onchain':'disclosure_only','disclosureProbe':'(appeal|remove|lock|edit)[^\x22]{0,30}review','commercialSemantics':'Real\x20product\x20locks\x20reviews\x20during\x20disputes.\x20The\x20template\x20enforces\x20write-once\x20review\x20immutability\x20(repository\x20policy)\x20but\x20the\x20builder\x20corpus\x20never\x20discloses\x20it\x20—\x20standing\x20FIX-DISCLOSURE\x20gap.','evidence':[]},{'id':'E20','class':'exception','name':'Shop\x20suspension\x20or\x20delisting\x20mid-order','actor':'keeper','precondition':['M4'],'onchain':'disclosure_only','disclosureProbe':'(suspend|delist|close)[^\x22]{0,20}(shop|store|listing)','commercialSemantics':'Account-level\x20governance\x20(suspend\x20shop,\x20freeze\x20payouts)\x20has\x20no\x20per-order\x20chain\x20surface\x20and\x20no\x20corpus\x20disclosure;\x20only\x20publish-freeze\x20of\x20the\x20return\x20policy\x20is\x20disclosed\x20(cannot\x20vary\x20per\x20listing\x20after\x20publish).','evidence':[]},{'id':'E21','class':'exception','name':'Offsite\x20Ads\x20attribution\x20fee\x20dispute','actor':'merchant','precondition':['M9'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'offsite\x20ads|attribution|ad\x20fee\x20dispute','commercialSemantics':'The\x2030-day\x20attribution\x20window\x20over\x20the\x20buyer\x27s\x20whole-shop\x20purchase\x20has\x20no\x20on-chain\x20pricing/attribution\x20oracle\x20(S7);\x20the\x20corpus\x20discloses\x20attribution\x20as\x20plain\x20off-chain\x20evidence\x20with\x20no\x20fee\x20differential.','evidence':[]},{'id':'E22','class':'exception','name':'Listing\x20fee\x20/\x20auto-renewal\x20dispute','actor':'merchant','precondition':['M3'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'listing\x20fee|auto.renew|0\x5c.20','commercialSemantics':'Platform->seller\x20fee\x20mechanics\x20($0.20/listing,\x206.5%\x20transaction)\x20are\x20subscription/commission\x20rails\x20outside\x20the\x20per-order\x20escrow\x20(S7)\x20and\x20undisclosed\x20in\x20this\x20template\x27s\x20corpus.','evidence':[]},{'id':'E23','class':'exception','name':'Payment\x20reserve\x20hold\x20on\x20the\x20seller\x20payout','actor':'keeper','precondition':['M9'],'onchain':'disclosure_only','disclosureProbe':'payment\x20reserve|reserve\x20the\x20payout|payout\x20hold','commercialSemantics':'Real\x20product\x20can\x20hold\x20payouts\x20in\x20reserve.\x20The\x20template\x27s\x20only\x20fund-holding\x20is\x20the\x20settlement\x20clock\x20(fast\x200-3\x20day\x20release);\x20the\x20corpus\x20discloses\x20holding\x20only\x20negatively\x20(a\x20silent\x20maker\x20must\x20not\x20hold\x20the\x20returned\x20escrow\x20hostage;\x20stale\x20disputes\x20must\x20not\x20hold\x20escrow\x20past\x20the\x20horizon).','evidence':[]},{'id':'E24','class':'exception','name':'Refund\x20judged\x20but\x20not\x20yet\x20in\x20the\x20bank\x20account','actor':'buyer','precondition':['E8'],'onchain':'disclosure_only','disclosureProbe':'refund[^\x22]{0,40}(not\x20received|delay|missing|status)','commercialSemantics':'The\x20chain\x20refund\x20is\x20atomic\x20at\x20the\x20rail;\x20bank-side\x20timing\x20is\x20off-chain\x20and\x20undisclosed\x20in\x20this\x20template\x27s\x20corpus\x20—\x20standing\x20disclosure\x20gap.','evidence':[]},{'id':'E25','class':'exception','name':'Coupon\x20/\x20sale-price\x20mispricing\x20dispute','actor':'merchant','precondition':['M3'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'coupon|sale\x20price|discount','commercialSemantics':'The\x20handmade\x20template\x20has\x20NO\x20discount\x20corpus\x20at\x20all\x20(no\x20fee_param,\x20no\x20build\x20note)\x20—\x20coupon\x20semantics\x20are\x20wholly\x20absent\x20(S7),\x20a\x20true\x20structural\x20gap\x20for\x20the\x20archetype\x27s\x20sale\x20economy.','evidence':[]},{'id':'E26','class':'exception','name':'External\x20chargeback\x20/\x20card-network\x20dispute','actor':'buyer','precondition':['M3'],'onchain':'unresolvable','unresolvableRef':'S9','disclosureProbe':'chargeback|credit\x20card\x20dispute','commercialSemantics':'No\x20chargeback\x20primitive\x20(S9)\x20and\x20no\x20corpus\x20disclosure\x20—\x20Etsy\x20Payments\x27\x20seller-of-record\x20economics\x20stay\x20fully\x20off-chain.','evidence':[]},{'id':'R1','class':'remedy','name':'Purchase\x20Protection\x20claim\x20(<=\x20$250\x20platform\x20cap)','actor':'buyer','precondition':['E14'],'onchain':'disclosure_only','disclosureProbe':'purchase.protection|protection_cap_usd','commercialSemantics':'The\x20template\x20aligns\x20the\x20CAP\x20(protection_cap_usd\x20=\x20250)\x20but\x20the\x20FUNDING\x20SOURCE\x20differs\x20by\x20design:\x20platform-funded\x20on\x20Etsy,\x20merchant-pool-funded\x20here\x20(0-commission\x20desk\x20economics)\x20—\x20disclosed,\x20not\x20expressible\x20(S9:\x20no\x20platform\x20top-up\x20primitive).','evidence':[]},{'id':'R2','class':'remedy','name':'Arb\x20compensation\x20payout,\x20owner-bound','actor':'arbitrator','precondition':['E16'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'Compensation\x20is\x20paid\x20by\x20the\x20service\x20layer\x20to\x20the\x20order\x20owner\x20—\x20always\x20the\x20buyer,\x20structurally\x20unbribeable,\x20even\x20though\x20this\x20shape\x20mounts\x20no\x20claim\x20waypoint\x20today.','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'},{'file':'service.move','line':0x265,'pattern':'order::owner(order)'}]},{'id':'R3','class':'remedy','name':'Indemnity\x20capped\x20at\x203x\x20the\x20order\x20amount','actor':'arbitrator','precondition':['R2'],'onchain':'expressible','chainFootprint':{'node':'closed_cancel','moneyEffect':'refund'},'commercialSemantics':'Every\x20award\x20saturates\x20at\x203x\x20Order.amount\x20(cap\x20base\x20frozen\x20at\x20BUY\x20time)\x20—\x20for\x20a\x20<=$250-protection\x20archetype\x20this\x20is\x20rarely\x20binding\x20but\x20never\x20lifted.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'}]},{'id':'R4','class':'remedy','name':'EU/UK\x2014-day\x20withdrawal\x20right\x20(non-custom\x20goods)','actor':'buyer','precondition':['M7'],'onchain':'disclosure_only','disclosureProbe':'14.?day|withdrawal|cooling','commercialSemantics':'The\x20CRD\x2014-day\x20right\x20for\x20non-custom\x20goods\x20conflicts\x20with\x20the\x20shipped\x2024h\x20return\x20window\x20(U7);\x20the\x20corpus\x20only\x20references\x20the\x2014-day\x20marketplace\x20cycle\x20as\x20the\x20challenger\x20contrast\x20—\x20the\x20statutory\x20alignment\x20is\x20a\x20report-only\x20conflict\x20(INV-ETSY-4).','evidence':[]},{'id':'R5','class':'remedy','name':'Statutory\x20punitive\x20damages\x20above\x20the\x20cap','actor':'arbitrator','precondition':['R3'],'onchain':'unresolvable','unresolvableRef':'S7','disclosureProbe':'punitive|triple\x20damages|500','commercialSemantics':'Low-AOV\x20handmade\x20orders\x20make\x20punitive\x20floors\x20structurally\x20irrelevant,\x20and\x20the\x20corpus\x20discloses\x20nothing\x20—\x20S7,\x20text-only.','evidence':[]},{'id':'R6','class':'remedy','name':'Arb\x20dismisses\x20the\x20claim,\x20order\x20resumes','actor':'arbitrator','precondition':['E16'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'guardKeyProbe':'arb_dismissed_resume','commercialSemantics':'SHIPS\x20since\x20stage2\x20#27\x20(TPL-09\x20third\x20exit):\x20a\x20zero-award\x20ruling\x20resumes\x20the\x20disputed\x20order\x20at\x20delivered\x20(merchant\x20arbitration-execution\x20slot\x201004\x20—\x20the\x20family\x20arb\x20bucket,\x20OFF\x20the\x201002\x20keeper/settle\x20bucket,\x20PERM-COARSE-BUCKET-01);\x20the\x20re-entry\x20appends\x20a\x20fresh\x20delivered\x20entry\x20and\x20re-anchors\x20the\x20settle\x20clock\x20and\x20the\x20review/return\x20windows\x20(find=last).\x20Faithful\x20form\x20held:\x20no\x20indemnity-some\x20leg\x20(dismissal\x20must\x20not\x20pay),\x20no\x20arb.status\x20object-field\x20gate\x20(status\x20is\x20not\x20a\x20queryable\x20module\x20field\x20—\x20use\x20the\x20arb\x20withdraw/ruling\x20events).','evidence':[]},{'id':'P1','class':'post','name':'Settlement\x20allocation\x20to\x20the\x20maker\x20(single\x20escrow,\x20one\x20rail)','actor':'merchant','precondition':['M9'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'release'},'commercialSemantics':'The\x20whole\x20escrow\x20releases\x20to\x20the\x20maker\x20Entity\x20—\x20one\x20escrow,\x20one\x20refund\x20rail,\x20never\x20split\x20refund\x20allocators\x20(a\x20split\x20would\x20violate\x20the\x20settle-once\x20ceiling).','evidence':[{'file':'allocation.move','line':0x1f6,'pattern':'self.allocators.threshold'}]},{'id':'P2','class':'post','name':'Review\x20reward\x20claim\x20(signer-bound)','actor':'buyer','precondition':['M8'],'onchain':'expressible','chainFootprint':{'node':'reviewed','moneyEffect':'reward'},'commercialSemantics':'Reward\x20claim\x20is\x20signer-bound\x20(recipient\x20==\x20sender)\x20against\x20the\x20review\x20pool\x20with\x20a\x20per-claim\x20floor\x20above\x20claim\x20gas.','evidence':[{'file':'reward.move','line':0x11b,'pattern':'recipient\x20==\x20tx_context::sender'}]},{'id':'P3','class':'post','name':'Star-seller\x20tiering\x20(badge,\x20not\x20permission)','actor':'keeper','precondition':['P2'],'onchain':'disclosure_only','disclosureProbe':'star.?seller|badge|tier','commercialSemantics':'Star-seller\x20tiering\x20goes\x20through\x20Passport,\x20not\x20the\x20Permission\x20entity\x20table\x20(entity\x20capacity\x20is\x20limited)\x20—\x20disclosed\x20in\x20the\x20builder\x20corpus.','evidence':[]},{'id':'P4','class':'post','name':'Offsite\x20Ads\x20revenue\x20attribution','actor':'keeper','precondition':['P1'],'onchain':'not_applicable','commercialSemantics':'Attribution-driven\x20ad\x20fees\x20are\x20storefront\x20economics\x20with\x20no\x20per-order\x20chain\x20footprint\x20(see\x20E21).','evidence':[]},{'id':'P5','class':'post','name':'Evidence-repository\x20audit\x20(write-once\x20rows)','actor':'keeper','precondition':['M5'],'onchain':'expressible','chainFootprint':{'node':'shipped','moneyEffect':'none'},'commercialSemantics':'The\x20evidence\x20write\x20policy\x20is\x20order-keyed\x20write_once\x20—\x20any\x20second\x20write\x20of\x20the\x20same\x20kind\x20aborts\x20(E_POLICY_WRITE_ONCE_CONFLICT),\x20making\x20tracking/RMA\x20rows\x20audit-clean.','evidence':[{'file':'repository.move','line':0xa9,'pattern':'write_once:\x20bool'}]}],'invariants':[{'id':'INV-ETSY-1','statement':'Purchase-protection\x20alignment:\x20the\x20template\x20matches\x20the\x20$250\x20CAP\x20(protection_cap_usd\x20=\x20250)\x20but\x20NOT\x20the\x20funding\x20source\x20—\x20Etsy\x27s\x20protection\x20is\x20platform-funded\x20while\x20this\x20template\x20absorbs\x20claims\x20from\x20the\x20merchant\x20compensation\x20pool.\x20The\x20funding-source\x20difference\x20is\x20disclosed,\x20not\x20chain-expressible.','jurisdiction':'etsy.com/purchase-protection\x20(2026\x20revision:\x20all\x20qualifying\x20orders\x20covered\x20to\x20$250;\x20100-day\x20dispute\x20window\x20shortened\x20to\x2030d);\x20294K\x20sellers\x20/\x201.4M\x20orders\x20covered\x20since\x202022.','chainConflict':'S9:\x20no\x20platform\x20top-up\x20/\x20external-fund\x20primitive\x20exists\x20—\x20the\x20pool\x20is\x20merchant\x20capital\x20only\x20(T-31:\x20fund\x20prose\x20is\x20not\x20a\x20chain\x20anchor).','evidence':[{'file':'allocation.move','line':0x1f6,'pattern':'self.allocators.threshold'}]},{'id':'INV-ETSY-2','statement':'Award\x20floor\x20knob:\x20the\x20won-rail\x20award\x20floor\x20is\x20now\x20a\x20LANDED\x20fee-plane\x20dial\x20—\x20fee_params\x20arb_indemnity_floor_bps\x20(default\x200)\x20lands\x20on\x20the\x20three\x20won-rail\x20instances\x20(arb_refund\x20/\x20arb_refund_filed\x20/\x20arb_refund_return)\x20via\x20the\x20fee-param\x20bindings\x20onto\x20tpl_forward_arb_ruling_won\x27s\x20min_indemnity_floor\x20(raw\x20smallest\x20units;\x20merchant\x20sets\x20escrow\x20x\x20bps\x20/\x2010000\x20at\x20build\x20time\x20per\x20the\x20kernel\x20formula,\x20or\x20overrides\x20min_indemnity_floor\x20directly\x20via\x20spec\x20params).\x20Default\x200\x20keeps\x20ANY\x20non-zero\x20award\x20qualifying\x20—\x20the\x20zero-award\x20exclusion\x20leg\x20stays\x20the\x20only\x20floor\x20and\x20the\x20compile\x20is\x20byte-identical\x20to\x20the\x20pre-knob\x20shape;\x20the\x20ARB\x20RAIL\x20AWARD\x20FLOOR\x20floor-0\x20build\x20note\x20remains\x20in\x20the\x20shipped\x20corpus\x20(the\x20commercial\x20award\x20floor\x20is\x20the\x20arbitrator\x27s\x20venue\x20policy).\x20A\x20merchant\x20who\x20wants\x20a\x20real\x20floor\x20sets\x20the\x20knob;\x20the\x20dial\x20is\x20mechanical,\x20not\x20advisory.','jurisdiction':'Kernel\x20guard-template\x20default\x20(F-54\x20family:\x20\x27a\x200.001\x20award\x20opened\x20a\x202.0\x20refund\x27\x20live\x20precedent);\x20wiki\x20etsy.md\x20C10;\x20stage2\x20#27\x20residual\x20INV-ETSY-2\x20knob-ization\x202026-11-08.','chainConflict':'Landed\x20—\x20the\x20fee\x20param\x20has\x20a\x20binding-row\x20landing\x20on\x20all\x20three\x20won-rail\x20guards\x20(fee-param-bindings\x20retail/vertical-handmade\x20arb_refund\x20/\x20arb_refund_filed\x20/\x20arb_refund_return).','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'}]},{'id':'INV-ETSY-3','statement':'Venue\x20binding:\x20the\x20kernel\x20arb-ruling\x20legs\x20ship\x20with\x20bound_arbitration_address\x20—\x20the\x20S-27\x20FIX-EDGE\x20LANDED\x20in\x20stage2\x20#27,\x20so\x20the\x20binding\x20is\x20now\x20ACTIVE\x20on\x20every\x20assembled\x20ruling\x20rail\x20(arb_refund,\x20arb_refund_filed,\x20arb_dismissed_resume):\x20all\x20three\x20legs\x20are\x20venue-locked\x20to\x20one\x20address\x20at\x20build\x20time.\x20The\x20dismissed\x20leg\x27s\x20binding\x20rides\x20identifier\x203\x20(bound_arbitration_address)\x20while\x20the\x20won\x20root\x20rides\x20identifier\x204\x20—\x20the\x20known\x20kernel\x20asymmetry\x20(K3\x20C12).','jurisdiction':'Kernel\x20guard-template\x20roots\x20(tpl_forward_arb_ruling_won\x20/\x20_dismissed);\x20wiki\x20etsy.md\x20C11.','chainConflict':'Active\x20legs,\x20no\x20conflict\x20—\x20the\x20assembly\x20binds\x20exactly\x20one\x20venue;\x20multi-venue\x20arbitration\x20stays\x20inexpressible\x20on\x20this\x20shape.'},{'id':'INV-ETSY-4','statement':'The\x20shipped\x20return\x20window\x20is\x2024h\x20from\x20delivered\x20(WINDOW_MATH_MISMATCH\x20pins\x20it\x20to\x20return_response_days\x20=\x201),\x20while\x20the\x20CRD\x20grants\x2014\x20days\x20for\x20non-custom\x20goods.\x20The\x20window\x20knob\x20is\x20a\x20guard-template\x20param,\x20not\x20a\x20fee_param\x20—\x20the\x20statutory\x20floor\x20is\x20inexpressible\x20in\x20the\x20shipped\x20shape.','jurisdiction':'EU\x20CRD\x202011/83\x20art.13(2)\x20(14d\x20withdrawal,\x20custom-goods\x20exception\x2016(c));\x20UK\x20CRA\x202015;\x20PRC\x20Consumer\x20Protection\x20Law\x20art.25.','chainConflict':'No\x20return_window\x20fee_param\x20key\x20exists\x20on\x20this\x20template;\x20the\x2024h\x20guard\x20param\x20and\x20the\x201-day\x20response\x20deadline\x20are\x20structurally\x20coupled.'},{'id':'INV-ETSY-5','statement':'Waypoint\x20money\x20safety\x20(stage2\x20#27,\x20standing\x20check):\x20the\x20claim\x20waypoint\x20family\x20must\x20keep\x20its\x20parking\x20freeze\x20—\x20the\x20settle\x20advance\x20reads\x20a\x20delivered\x20ENTRY,\x20so\x20an\x20order\x20parked\x20at\x20claim_filed\x20cannot\x20settle\x20behind\x20an\x20open\x20case,\x20and\x20every\x20claim\x20exit\x20rides\x20a\x20node\x20the\x20refund\x20rail\x20already\x20pays\x20(closed_cancel).\x20Guard\x20rails:\x20settlement_delay_days\x20must\x20stay\x20NON-ZERO\x20(the\x20settle\x20clock\x20must\x20keep\x20advancing\x20a\x20resumed\x20order\x20after\x20ResumeAfterDismissal\x20re-anchors\x20it)\x20and\x20the\x20machine\x20shape\x20must\x20keep\x20the\x20FileDispute\x20edge\x20—\x20a\x20shape\x20that\x20loses\x20either\x20leg\x20re-opens\x20the\x20stalled-escrow\x20face\x20this\x20family\x20was\x20built\x20to\x20close.\x20Residual,\x20disclosed:\x20file-vs-settle\x20simultaneity\x20is\x20FCFS\x20on\x20machine\x20state.','jurisdiction':'INV-1688-8\x20twin\x20(restock-supply,\x20stage2\x20#24);\x20GF2-31;\x20wiki\x20etsy.md\x20C13.','chainConflict':'No\x20conflict\x20shipped;\x20the\x20check\x20keeps\x20a\x20future\x20edit\x20from\x20silently\x20parking\x20orders\x20on\x20a\x20dead\x20settle\x20clock.','violation':{'requiresFeeParamNonZero':'settlement_delay_days','whileMissingForward':'FileDispute'}}]};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
export const GAMEFOUND_ORACLE={'productRef':'gamefound','products':['gamefound'],'oracleVersion':'1.0.0','steps':[{'id':'GFD-M1','class':'offchain','name':'Discover\x20the\x20campaign\x20and\x20back\x20the\x20tier\x20page','actor':'buyer','precondition':[],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20browse\x20the\x20campaign\x20page,\x20read\x20tier\x20prices,\x20availability\x20counts,\x20the\x20WIP\x20detail\x20file\x20per\x20tier\x20and\x20the\x20review-bounty\x20incentive\x20terms\x20shown\x20at\x20quote\x20time.','evidence':[]},{'id':'GFD-M2','class':'offchain','name':'Creator\x20configures\x20and\x20publishes\x20the\x20campaign','actor':'merchant','precondition':['GFD-M1'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20the\x20creator\x20anchors\x20goal,\x20deadline\x20and\x20the\x20reward-tier\x20catalogue\x20as\x20the\x20listing\x20WIP\x20artifact,\x20funds\x20the\x20review-bounty\x20pool\x20(compile\x20refuses\x20an\x20unfunded\x20incentive\x20promise),\x20binds\x20the\x20project\x20entity,\x20arbitration\x20venue\x20and\x20service\x20contact,\x20then\x20publishes\x20frozen.','evidence':[]},{'id':'GFD-M3','class':'main','name':'Backer\x20pledges\x20into\x20unpooled\x20per-backer\x20escrow','actor':'buyer','precondition':['GFD-M2'],'onchain':'expressible','chainFootprint':{'node':'pledged','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Each\x20pledge\x20opens\x20its\x20own\x20order\x20with\x20payment\x20escrowed\x20into\x20a\x20per-order\x20Allocation\x20bound\x20to\x20that\x20order\x20(for_object)\x20-\x20never\x20merged\x20into\x20a\x20shared\x20pot,\x20so\x20refund\x20attribution\x20stays\x20per\x20backer\x20through\x20the\x20whole\x20fulfillment\x20phase.','evidence':[{'file':'allocation.move','line':0x26d,'pattern':'ERECIPIENT_NOT_FOR_OBJECT'}]},{'id':'GFD-M4','class':'offchain','name':'Creator\x20posts\x20campaign\x20updates\x20and\x20stretch\x20news','actor':'merchant','precondition':['GFD-M3'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20updates\x20and\x20stretch\x20announcements\x20never\x20mutate\x20the\x20goal,\x20the\x20deadline\x20or\x20the\x20escrowed\x20pledges.','evidence':[]},{'id':'GFD-M5','class':'main','name':'Deadline\x20campaign\x20decision\x20(advance)','actor':'keeper','precondition':['GFD-M4'],'onchain':'expressible','chainFootprint':{'node':'funded_released','forward':'ReleaseOnFunded','prev':'pledged','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_release','gapPredicate':undefined,'commercialSemantics':'At\x20the\x20absolute\x20deadline\x20the\x20decision\x20compares\x20the\x20aggregate\x20of\x20writer-bound\x20contribution\x20rows\x20against\x20the\x20goal;\x20the\x20advance\x20only\x20unlocks\x20the\x20state\x20-\x20the\x20money\x20stays\x20per-order\x20in\x20escrow\x20through\x20fulfillment\x20(escrow-through-fulfillment,\x20the\x20deliberate\x20departure\x20from\x20charge-at-campaign-end).','evidence':[{'file':'repository.move','line':0x3ef,'pattern':'native\x20fun\x20formula_sum_where(repo'}]},{'id':'GFD-M7','class':'main','name':'Fulfillment\x20opens\x20with\x20required-info\x20gate','actor':'merchant','precondition':['GFD-M5'],'onchain':'expressible','chainFootprint':{'node':'fulfilling','forward':'StartFulfillment','prev':'funded_released','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'required_info','gapPredicate':undefined,'commercialSemantics':'Shipping\x20must\x20not\x20start\x20blind:\x20the\x20funded_released\x20to\x20fulfilling\x20forward\x20requires\x20an\x20on-chain\x20presence\x20proof\x20for\x20the\x20buyer\x27s\x20address\x20(the\x20value\x20stays\x20private\x20over\x20messenger\x20-\x20only\x20presence\x20is\x20on\x20chain);\x20the\x20declarative\x20customer\x20info\x20field\x20alone\x20enforces\x20nothing.','evidence':[{'file':'service.move','line':0x100,'pattern':'customer_required'}]},{'id':'GFD-M8','class':'main','name':'Shipment\x20registered\x20by\x20the\x20project','actor':'merchant','precondition':['GFD-M7'],'onchain':'expressible','chainFootprint':{'node':'shipped','forward':'ConfirmShipment','prev':'fulfilling','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20project\x20self-declares\x20shipment;\x20carrier\x20and\x20tracking\x20never\x20touch\x20the\x20chain\x20(privacy\x20boundary),\x20so\x20this\x20state\x20is\x20an\x20attestation,\x20not\x20a\x20delivery\x20proof.','evidence':[]},{'id':'GFD-M9','class':'main','name':'Buyer-first\x20delivery\x20confirmation','actor':'buyer','precondition':['GFD-M8'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ConfirmDelivery','prev':'shipped','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'deliver_confirm','gapPredicate':undefined,'commercialSemantics':'Only\x20the\x20buyer\x27s\x20own\x20confirmation\x20moves\x20the\x20escrow\x20toward\x20settlement\x20-\x20the\x20project\x20cannot\x20capture\x20funds\x20by\x20self-declaring\x20delivery;\x20this\x20is\x20the\x20choke\x20point\x20that\x20keeps\x20escrow-through-fulfillment\x20honest.','evidence':[]},{'id':'GFD-M10','class':'main','name':'Buyer\x20accepts\x20the\x20delivered\x20tier','actor':'buyer','precondition':['GFD-M9'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'AcceptDelivery','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'settle_accept','gapPredicate':undefined,'commercialSemantics':'Acceptance\x20is\x20the\x20settlement\x20trigger:\x20the\x20pledge\x20is\x20released\x20to\x20the\x20project\x20only\x20when\x20the\x20buyer\x20accepts\x20the\x20delivered\x20tier\x20-\x20not\x20at\x20the\x20deadline,\x20not\x20on\x20shipment.','evidence':[]},{'id':'GFD-M11','class':'main','name':'Batch\x20settlement\x20release\x20to\x20the\x20project','actor':'keeper','precondition':['GFD-M10'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'release'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20settlement\x20rail\x20sweeps\x20every\x20completed\x20order\x27s\x20Allocation\x20pool\x20in\x20one\x20atomic\x20batch\x20after\x20the\x20settle\x20delay\x20(the\x20knob\x20shared\x20with\x20the\x20return\x20window);\x20the\x20project\x20keeps\x20100%\x20-\x20the\x20platform\x20take\x20is\x200\x20against\x20the\x20displaced\x20incumbent\x20benchmark\x20disclosed\x20in\x20the\x20build\x20inputs.','evidence':[{'file':'allocation.move','line':0x313,'pattern':'public\x20fun\x20alloc_batch'}]},{'id':'GFD-P5','class':'post','name':'Buyer\x20claims\x20the\x20review\x20bounty','actor':'buyer','precondition':['GFD-M11'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'ReviewAfterAcceptance','prev':'completed','identity':'order_holder','moneyEffect':'reward'},'disclosureProbe':undefined,'guardKeyProbe':'review_window','gapPredicate':undefined,'commercialSemantics':'A\x20rating\x20plus\x20written\x20review\x20opens\x20the\x20claim\x20window\x20for\x20the\x20merchant-funded\x20reward\x20pool,\x20once\x20per\x20order\x20and\x20idempotent\x20by\x20claim\x20key;\x20the\x20incentive\x20terms\x20were\x20visible\x20to\x20the\x20buyer\x20at\x20quote\x20time.','evidence':[{'file':'reward.move','line':0x3f,'pattern':'RewardClaimEvent'},{'file':'reward.move','line':0xe0,'pattern':'RewardClaimKey'}]},{'id':'GFD-E1','class':'exception','name':'Platform\x20review\x20rejects\x20the\x20campaign\x20before\x20launch','actor':'platform','precondition':['GFD-M2'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20platform\x20may\x20refuse\x20a\x20campaign\x20pre-launch;\x20nothing\x20is\x20on\x20chain\x20yet,\x20so\x20there\x20is\x20no\x20on-chain\x20remediation\x20path.','evidence':[]},{'id':'GFD-E2','class':'exception','name':'Deadline\x20extension\x20requested\x20mid-raise','actor':'merchant','precondition':['GFD-M3'],'onchain':'expressible_with_gap','chainFootprint':{'node':'pledged','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'absolute\x20shared\x20deadline'},'commercialSemantics':'The\x20shipped\x20deadline\x20is\x20one\x20absolute\x20shared\x20timestamp;\x20extending\x20means\x20a\x20new\x20frozen\x20campaign\x20with\x20a\x20new\x20close\x20-\x20no\x20rolling-window\x20twin\x20exists\x20to\x20bend\x20the\x20clock\x20in\x20place.','evidence':[]},{'id':'GFD-E3','class':'exception','name':'Missed-goal\x20automatic\x20refund','actor':'merchant','precondition':['GFD-M4'],'onchain':'expressible','chainFootprint':{'node':'missed_refunded','forward':'RefundOnMissed','prev':'pledged','identity':'permission_index','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_refund','gapPredicate':undefined,'commercialSemantics':'A\x20failed\x20campaign\x20pays\x20every\x20backer\x20in\x20full\x20from\x20their\x20own\x20escrow\x20on\x20the\x20refund-polarity\x20gate\x20-\x20the\x20money\x20never\x20left\x20the\x20per-order\x20pools,\x20so\x20the\x20refund\x20needs\x20no\x20project\x20cooperation.','evidence':[{'file':'allocation.move','line':0x313,'pattern':'public\x20fun\x20alloc_batch'}]},{'id':'GFD-E4','class':'exception','name':'Backer\x20charged\x20without\x20consent','actor':'buyer','precondition':['GFD-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'no\x20auto-charge','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Impossible\x20by\x20design:\x20keepers\x20hold\x20no\x20charge\x20authority,\x20so\x20money\x20only\x20enters\x20the\x20escrow\x20through\x20the\x20buyer\x27s\x20own\x20signed\x20order\x20-\x20a\x20stray\x20pledge\x20can\x20only\x20be\x20the\x20buyer\x27s\x20own\x20transaction.','evidence':[]},{'id':'GFD-E5','class':'exception','name':'Backer\x20withdraws\x20pledge\x20before\x20the\x20deadline','actor':'buyer','precondition':['GFD-M3'],'onchain':'expressible','chainFootprint':{'node':'withdrawn','forward':'WithdrawPledge','prev':'pledged','identity':'order_holder','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'pre_deadline_withdraw','gapPredicate':undefined,'commercialSemantics':'Pre-deadline\x20withdrawal\x20removes\x20the\x20backer\x27s\x20own\x20writer-bound\x20contribution\x20row,\x20then\x20refunds\x20in\x20full\x20-\x20the\x20goal\x20arithmetic\x20decays\x20with\x20the\x20escrow,\x20and\x20the\x20buyer\x20needs\x20no\x20keeper.','evidence':[{'file':'order.move','line':0x15e,'pattern':'owner_receive'}]},{'id':'GFD-E6','class':'exception','name':'Post-goal\x20cancellation\x20demand\x20by\x20a\x20backer','actor':'buyer','precondition':['GFD-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'pledged','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'NO\x20POST-GOAL\x20CANCELLATION'},'commercialSemantics':'There\x20is\x20no\x20post-goal\x20cancellation\x20rail\x20and\x20none\x20may\x20regress:\x20after\x20the\x20goal\x20decision\x20the\x20escrow\x20is\x20committed,\x20and\x20an\x20earlier\x20cancel-window\x20experiment\x20let\x20a\x20backer\x20drain\x20escrow\x20mid-fulfillment\x20-\x20the\x20rail\x20was\x20removed\x20deliberately.','evidence':[]},{'id':'GFD-E7','class':'exception','name':'Aggregate\x20drops\x20below\x20goal\x20after\x20passing\x20(per-batch\x20verdicts)','actor':'keeper','precondition':['GFD-M5'],'onchain':'expressible','chainFootprint':{'node':'funded_released','forward':'ReleaseOnFunded','prev':'pledged','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_release','gapPredicate':undefined,'commercialSemantics':'The\x20verdict\x20is\x20ONE\x20evaluation\x20over\x20the\x20WHOLE\x20chain-derived\x20order-keyed\x20roster\x20(omission\x20structurally\x20impossible\x20since\x20the\x20ks13\x20ROSTER-01\x20cure)\x20-\x20the\x20old\x20per-batch\x20divergent-totals\x20face\x20retired\x20with\x20the\x20ids\x20leg;\x20a\x20keeper\x20batch\x20is\x20PTB\x20chunking\x20of\x20a\x20single\x20verdict,\x20never\x20several\x20verdicts.\x20Each\x20row\x20is\x20clamped\x20at\x20min(declared,\x20escrowed,\x20live\x20balance),\x20so\x20the\x20read\x20can\x20only\x20understate,\x20never\x20overstate\x20-\x20disclosed,\x20not\x20hidden.','evidence':[{'file':'repository.move','line':0x1d,'pattern':'MAX_ID_COUNT_ONCE'},{'file':'repository.move','line':0x3f0,'pattern':'formula_sum_where_bound'}]},{'id':'GFD-E8','class':'exception','name':'Backer\x27s\x20shipping\x20address\x20never\x20delivered','actor':'merchant','precondition':['GFD-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'fulfilling','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'required_info','gapPredicate':{'probe':'presence-only|messenger'},'commercialSemantics':'The\x20required-info\x20guard\x20stops\x20fulfillment\x20until\x20an\x20on-chain\x20presence\x20proof\x20exists,\x20while\x20the\x20address\x20value\x20itself\x20stays\x20private\x20over\x20messenger\x20-\x20the\x20machine\x20can\x20hold\x20the\x20state\x20but\x20cannot\x20read\x20the\x20address;\x20the\x20chase\x20stays\x20a\x20conversation.','evidence':[]},{'id':'GFD-E9','class':'exception','name':'Private\x20data\x20(address,\x20phone)\x20posted\x20to\x20a\x20public\x20chain\x20field','actor':'platform','precondition':['GFD-M5'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'messenger','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Privacy\x20boundary:\x20contact\x20and\x20shipping\x20details\x20are\x20exchanged\x20over\x20the\x20encrypted\x20messenger\x20only\x20-\x20contact\x20descriptions,\x20repository\x20rows,\x20progress\x20messages\x20and\x20WIP\x20text\x20are\x20all\x20public\x20fields.','evidence':[]},{'id':'GFD-E10','class':'exception','name':'Campaign\x20channel\x20hijacked\x20(phishing\x20update)','actor':'platform','precondition':['GFD-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'messenger','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Messages\x20never\x20change\x20machine\x20state;\x20a\x20hijacked\x20channel\x20can\x20mislead\x20but\x20cannot\x20move\x20escrow\x20-\x20the\x20money\x20paths\x20all\x20run\x20through\x20signed\x20identity\x20rails.','evidence':[]},{'id':'GFD-E11','class':'exception','name':'Backer\x20demands\x20investment\x20returns\x20or\x20yield','actor':'platform','precondition':['GFD-M2'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'non-investment','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Out\x20of\x20scope\x20by\x20policy:\x20a\x20pledge\x20buys\x20a\x20reward\x20tier,\x20it\x20is\x20never\x20a\x20security\x20-\x20the\x20plain\x20non-investment\x20disclosure\x20must\x20ride\x20in\x20the\x20campaign\x20copy.','evidence':[]},{'id':'GFD-E12','class':'exception','name':'Multi-wave\x20shipping\x20(tiers\x20produced\x20in\x20batches)','actor':'merchant','precondition':['GFD-M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'shipped','forward':'ConfirmShipment','prev':'fulfilling','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'wave|batch\x20shipping'},'commercialSemantics':'The\x20machine\x20carries\x20one\x20shipped/delivered\x20pair\x20per\x20order,\x20so\x20a\x20wave\x20must\x20be\x20approximated\x20by\x20re-advancing\x20the\x20same\x20edge\x20-\x20there\x20is\x20no\x20per-wave\x20state\x20to\x20anchor\x20partial\x20deliveries\x20against.\x20The\x20GFD-E12\x20build\x20note\x20discloses\x20the\x20boundary\x20(waves\x20reconciled\x20off-chain\x20in\x20the\x20Messenger,\x20the\x20chain\x20never\x20asserts\x20\x27all\x20waves\x20shipped\x27);\x20this\x20strict\x20probe\x20stays\x20as\x20a\x20regression\x20tripwire\x20over\x20that\x20note.','evidence':[]},{'id':'GFD-E13','class':'exception','name':'Buyer\x20opens\x20a\x20return\x20inside\x20the\x20window','actor':'buyer','precondition':['GFD-M9'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'RequestReturn','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'return_window','gapPredicate':undefined,'commercialSemantics':'A\x20live\x20on-chain\x20return\x20path\x20is\x20the\x20point\x20of\x20escrow-through-fulfillment:\x20the\x20buyer\x20declares\x20the\x20return\x20while\x20the\x20money\x20is\x20still\x20escrowed\x20-\x20under\x20a\x20deadline-release\x20model\x20the\x20escrow\x20would\x20already\x20be\x20empty.','evidence':[]},{'id':'GFD-E14','class':'exception','name':'Buyer\x20ships\x20the\x20return\x20back','actor':'buyer','precondition':['GFD-E13'],'onchain':'expressible','chainFootprint':{'node':'return_in_transit','forward':'ShipReturn','prev':'return_requested','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'return_shipped','gapPredicate':undefined,'commercialSemantics':'The\x20return\x20shipment\x20is\x20buyer-declared;\x20the\x20project\x27s\x20approval\x20clock\x20and\x20the\x20keeper\x27s\x20receipt\x20timeout\x20both\x20hang\x20off\x20this\x20state,\x20so\x20the\x20escrow\x20cannot\x20stall\x20silently.','evidence':[]},{'id':'GFD-R5','class':'remedy','name':'Project\x20approves\x20the\x20return;\x20refund\x20pays\x20from\x20escrow','actor':'merchant','precondition':['GFD-E14'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ApproveReturn','prev':'return_in_transit','identity':'permission_index','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Approval\x20lands\x20the\x20order\x20on\x20the\x20returned\x20node\x20where\x20the\x20post-delivery\x20refund\x20rail\x20pays\x20the\x20backer\x27s\x20own\x20order\x20slot\x20from\x20the\x20still-escrowed\x20pool\x20-\x20full\x20refund,\x20two-step\x20payout\x20surfaced\x20in\x20the\x20UX.','evidence':[{'file':'allocation.move','line':0x313,'pattern':'public\x20fun\x20alloc_batch'}]},{'id':'GFD-R6','class':'remedy','name':'Buyer-won\x20ruling\x20redirects\x20escrowed\x20principal\x20(post-delivery)','actor':'arbitrator','precondition':['GFD-M9'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'arb_refund','gapPredicate':undefined,'commercialSemantics':'This\x20is\x20the\x20one\x20template\x20in\x20the\x20family\x20where\x20a\x20ruling\x20can\x20actually\x20move\x20the\x20escrowed\x20principal:\x20the\x20arbitration\x20refund\x20edge\x20is\x20mounted,\x20fed\x20by\x20the\x20ruling\x20engine\x20that\x20caps\x20punitive\x20awards\x20at\x203x\x20and\x20deems\x20acceptance\x20after\x20case\x20silence\x20-\x20indemnity\x20first,\x20then\x20principal,\x20never\x20the\x20reverse\x20order.','evidence':[{'file':'arbitration.move','line':0x13a,'pattern':'fun\x20arbitration_imp<T>'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'}]},{'id':'GFD-E17','class':'exception','name':'Regulator\x20flags\x20the\x20raise\x20(securities\x20/\x20KYC-AML)','actor':'platform','precondition':['GFD-M5'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Pooled\x20fundraising\x20is\x20high\x20regulatory\x20intensity;\x20cross-border\x20funds\x20and\x20reward\x20tiers\x20may\x20trigger\x20securities,\x20money-transmission\x20and\x20KYC-AML\x20rules\x20-\x20flag\x20for\x20compliance,\x20do\x20not\x20automate\x20around\x20them.','evidence':[]},{'id':'GFD-E18','class':'exception','name':'Late\x20pledge\x20after\x20the\x20deadline','actor':'buyer','precondition':['GFD-M5'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'There\x20is\x20no\x20late-entry\x20state;\x20a\x20post-deadline\x20backer\x20waits\x20for\x20the\x20next\x20campaign\x20or\x20buys\x20the\x20retail\x20follow-up\x20off\x20this\x20template.','evidence':[]},{'id':'GFD-E19','class':'exception','name':'Stretch\x20goals\x20priced\x20mid-campaign','actor':'merchant','precondition':['GFD-M5'],'onchain':'unresolvable','unresolvableRef':'S7','chainFootprint':undefined,'disclosureProbe':'funding_threshold','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'No\x20price\x20oracle\x20exists:\x20a\x20stretch\x20goal\x20can\x20only\x20be\x20a\x20new\x20frozen\x20offer;\x20the\x20goal\x20aggregate\x20already\x20in\x20flight\x20cannot\x20be\x20re-keyed\x20against\x20it.','evidence':[]},{'id':'GFD-E20','class':'exception','name':'AI-generated\x20art\x20or\x20content\x20dispute\x20in\x20the\x20campaign','actor':'platform','precondition':['GFD-M2'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'non-investment','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Content\x20authenticity\x20is\x20storefront\x20policy,\x20not\x20a\x20chain\x20constraint;\x20the\x20structural\x20disclosure\x20duty\x20that\x20does\x20apply\x20is\x20the\x20plain\x20non-investment\x20posture\x20of\x20every\x20tier.','evidence':[]},{'id':'GFD-E21','class':'exception','name':'Runaway\x20creator:\x20goal\x20met,\x20fulfillment\x20abandoned','actor':'buyer','precondition':['GFD-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'funded_released','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'settle_window'},'commercialSemantics':'The\x20escrow\x20never\x20leaves\x20the\x20backer\x27s\x20pool\x20until\x20acceptance,\x20so\x20a\x20runaway\x20creator\x27s\x20silence\x20keeps\x20every\x20pledge\x20refundable\x20-\x20the\x20settle\x20window\x20never\x20opens,\x20and\x20the\x20backer\x20exits\x20over\x20the\x20still-live\x20refund\x20rails.','evidence':[]},{'id':'GFD-E22','class':'exception','name':'Coupon\x20creates\x20a\x20zero-value\x20order','actor':'merchant','precondition':['GFD-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'A\x20coupon\x20lowers\x20the\x20escrowed\x20amount,\x20and\x20the\x20escrow-bound\x20aggregate\x20clamps\x20every\x20row\x20at\x20min(declared,\x20escrowed,\x20live\x20balance)\x20-\x20so\x20a\x20coupon\x27d\x20pledge\x20can\x20never\x20push\x20the\x20campaign\x20aggregate\x20above\x20what\x20was\x20actually\x20escrowed\x20(the\x20row-vs-aggregate\x20divergence\x20face\x20is\x20closed\x20by\x20the\x20bound\x20form;\x20the\x20aggregate\x20simply\x20counts\x20the\x20discounted\x20pledge).\x20A\x20100%\x20coupon\x20must\x20still\x20be\x20refused\x20at\x20mint\x20time\x20(E_ZERO_TOTAL_ORDER);\x20compliance\x20flags\x20stay\x20human\x20duties.','evidence':[]},{'id':'GFD-E23','class':'exception','name':'Arbitration\x20venue\x20controlled\x20by\x20the\x20merchant','actor':'platform','precondition':['GFD-M2'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'tribunal','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20protocol\x20routes\x20disputes\x20wherever\x20the\x20merchant\x20binds,\x20but\x20never\x20verifies\x20who\x20controls\x20the\x20venue\x20-\x20a\x20self-hosted\x20or\x20affiliated\x20tribunal\x20is\x20not\x20independent,\x20and\x20its\x20controllers\x20can\x20pause\x20or\x20re-key\x20case\x20handling;\x20verify\x20controllers\x20before\x20relying\x20on\x20it.','evidence':[]},{'id':'GFD-E26','class':'exception','name':'Project-manager\x20close-out\x20cancel\x20window\x20vs\x20the\x20return\x20window','actor':'merchant','precondition':['GFD-M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'fulfilling','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'claim_window'},'commercialSemantics':'There\x20is\x20no\x20mid-fulfillment\x20cancel\x20window\x20to\x20reconcile\x20against\x20the\x20return\x20window\x20-\x20once\x20the\x20goal\x20passes,\x20cancellation\x20is\x20absent\x20by\x20design\x20and\x20the\x20only\x20buyer-side\x20exits\x20are\x20the\x20return\x20rail\x20and\x20the\x20bounty\x20claim\x20windows,\x20which\x20are\x20distinct\x20knobs.','evidence':[]},{'id':'GFD-E27','class':'exception','name':'Backer\x20roster\x20exceeds\x20the\x20per-settlement\x20cap\x20(>100\x20rows)','actor':'keeper','precondition':['GFD-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'funded_released','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_release','gapPredicate':{'probe':'roster'},'commercialSemantics':'The\x20roster\x20cap\x20is\x20PER\x20POLICY\x20KEY:\x20a\x20key\x20with\x20>100\x20roster\x20rows\x20aborts\x20fail-closed\x20(the\x20aggregate\x20refuses\x20to\x20lie)\x20until\x20the\x20campaign\x20is\x20split\x20across\x20policy\x20keys\x20-\x20the\x20disclosed\x20boundary\x20is\x20the\x20abort,\x20not\x20a\x20per-batch\x20verdict\x20split.\x20Refunds\x20never\x20strand\x20on\x20keeper\x20absence\x20either:\x20AbandonAfterDeadline\x20is\x20back\x20to\x20order_payer\x20on\x20the\x20same\x20threshold_refund\x20gate\x20(GF2-30\x20self-heal\x20restored\x20under\x20the\x201181\x20migration).','evidence':[{'file':'repository.move','line':0x1d,'pattern':'MAX_ID_COUNT_ONCE'},{'file':'repository.move','line':0x3f0,'pattern':'formula_sum_where_bound'}]},{'id':'GFD-E28','class':'exception','name':'Duplicate\x20bounty\x20claim\x20attempt','actor':'buyer','precondition':['GFD-P5'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'ReviewAfterAcceptance','prev':'completed','identity':'order_holder','moneyEffect':'reward'},'disclosureProbe':undefined,'guardKeyProbe':'review_window','gapPredicate':undefined,'commercialSemantics':'The\x20bounty\x20is\x20once-per-order\x20by\x20construction:\x20consumed\x20claim\x20keys\x20are\x20recorded,\x20so\x20a\x20replayed\x20claim\x20finds\x20its\x20slot\x20taken\x20and\x20the\x20window\x20closure\x20denies\x20the\x20rest.','evidence':[{'file':'reward.move','line':0xe0,'pattern':'RewardClaimKey'}]},{'id':'GFD-E29','class':'exception','name':'Regulator-ordered\x20fund\x20freeze\x20of\x20a\x20live\x20campaign','actor':'platform','precondition':['GFD-M5'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'An\x20external\x20freeze\x20cannot\x20reach\x20per-order\x20escrow\x20(no\x20shared\x20pot\x20exists\x20to\x20freeze);\x20compliance\x20coordination\x20stays\x20off-chain\x20with\x20KYC-AML\x20duties\x20flagged\x20for\x20humans.','evidence':[]},{'id':'GFD-R4','class':'remedy','name':'Backer\x20self-service\x20refund\x20when\x20the\x20goal\x20is\x20missed','actor':'buyer','precondition':['GFD-E3'],'onchain':'expressible','chainFootprint':{'node':'missed_refunded','forward':'AbandonAfterDeadline','prev':'pledged','identity':'order_holder','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_refund','gapPredicate':undefined,'commercialSemantics':'A\x20backer\x20need\x20not\x20wait\x20for\x20the\x20keeper\x27s\x20batch:\x20advancing\x20their\x20own\x20pledge\x20on\x20the\x20refund-polarity\x20gate\x20and\x20sweeping\x20the\x20rail\x20pays\x20the\x20same\x20full\x20refund\x20from\x20their\x20own\x20pool.','evidence':[{'file':'order.move','line':0x15e,'pattern':'owner_receive'}]},{'id':'GFD-R1','class':'remedy','name':'Compensation-fund\x20award\x20execution\x20(non-return\x20loss)','actor':'arbitrator','precondition':['GFD-R6'],'onchain':'expressible_with_gap','chainFootprint':{'node':'delivered','moneyEffect':'compensate'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'compensation\x20fund'},'commercialSemantics':'The\x20award\x20is\x20paid\x20from\x20the\x20pre-locked\x20fund\x20by\x20a\x20protocol-level\x20call\x20hard-bound\x20to\x20the\x20order\x20owner\x20-\x20not\x20a\x20machine\x20forward,\x20so\x20skipping\x20it\x20strands\x20the\x20award;\x20the\x20per-order\x20ceiling\x20is\x20fund/3\x20and\x20quoted\x20figures\x20go\x20stale\x20as\x20awards\x20shrink\x20the\x20fund.','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'GFD-R2','class':'remedy','name':'Recover\x20rail:\x20compensated\x20principal\x20returned\x20to\x20the\x20campaign\x20account','actor':'keeper','precondition':['GFD-R5'],'onchain':'expressible','chainFootprint':{'node':'returned','moneyEffect':'release'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Principal\x20recovered\x20from\x20the\x20project\x20after\x20a\x20compensated\x20refund\x20is\x20swept\x20back\x20to\x20the\x20campaign\x20account\x20in\x20the\x20same\x20atomic\x20batch\x20shape\x20-\x20refund\x20and\x20recovery\x20stay\x20partitioned\x20by\x20node,\x20so\x20they\x20can\x20never\x20double-pay\x20one\x20escrow.','evidence':[{'file':'allocation.move','line':0x300,'pattern':'sweeps\x20every\x20pool'}]},{'id':'GFD-R3','class':'remedy','name':'Regulator-ordered\x20refund\x20of\x20a\x20live\x20campaign','actor':'platform','precondition':['GFD-E17'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'A\x20regulator\x20cannot\x20drive\x20the\x20machine;\x20ordering\x20a\x20refund\x20means\x20the\x20platform\x20serves\x20notice\x20and\x20backers\x20execute\x20the\x20pre-deadline\x20exit\x20themselves\x20before\x20the\x20goal\x20decision.','evidence':[]},{'id':'GFD-R7','class':'remedy','name':'File\x20and\x20win\x20an\x20arbitration\x20case','actor':'arbitrator','precondition':['GFD-M3'],'onchain':'expressible_with_gap','chainFootprint':{'node':'delivered','moneyEffect':'compensate'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'arbitration_mode\x20third_party'},'commercialSemantics':'Disputes\x20are\x20filed\x20on\x20a\x20third-party\x20arbitration\x20object\x20(an\x20independent\x20permission)\x20whose\x20readiness\x20-\x20un-pause\x20and\x20voter\x20arming\x20-\x20is\x20the\x20venue\x20operator\x27s\x20deployment\x20duty,\x20never\x20this\x20build\x27s;\x20the\x20machine\x27s\x20role\x20starts\x20only\x20where\x20the\x20ruling\x20lands.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'},{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'GFD-R8','class':'remedy','name':'Backer\x20transfers\x20a\x20pledge\x20(gift\x20to\x20another\x20account)','actor':'buyer','precondition':['GFD-M3'],'onchain':'expressible','chainFootprint':{'node':'pledged','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Transferring\x20the\x20order\x20(and\x20with\x20it\x20the\x20refund\x20and\x20bounty\x20rights)\x20is\x20a\x20protocol-level\x20owner\x20change\x20on\x20the\x20order\x20object;\x20the\x20machine\x20state\x20stays\x20where\x20it\x20is.','evidence':[{'file':'order.move','line':0x111,'pattern':'owner_change'}]},{'id':'GFD-R9','class':'remedy','name':'Dismissed\x20case:\x20backer\x20resume\x20and\x20re-pledge','actor':'buyer','precondition':['GFD-R7'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'arb_dismissed_resume','gapPredicate':undefined,'commercialSemantics':'A\x20dismissed\x20ruling\x20resumes\x20the\x20stalled\x20post-delivery\x20order:\x20the\x20claim_filed\x20waypoint\x20records\x20the\x20filed\x20case\x20on\x20the\x20machine,\x20and\x20the\x20dismissed-exit\x20edge\x20(venue\x20matches\x20the\x20order\x20AND\x20indemnity.amount\x20==\x200)\x20lands\x20back\x20on\x20delivered\x20with\x20zero\x20money\x20-\x20the\x20backer\x20keeps\x20every\x20normal\x20post-delivery\x20right\x20(return\x20rail,\x20settlement\x20acceptance,\x20review),\x20re-entry\x20appends\x20a\x20fresh\x20delivered\x20entry\x20and\x20re-anchors\x20the\x20windows\x20(find=last),\x20and\x20the\x20resume\x20runs\x20on\x20the\x20merchant\x27s\x20settlement-rail\x20slot,\x20never\x20the\x20buyer\x20refund\x20bucket.','evidence':[]},{'id':'GFD-E24','class':'exception','name':'Claim-withdraw:\x20backer\x20drops\x20a\x20filed\x20case','actor':'buyer','precondition':['GFD-R7'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'WithdrawClaim','prev':'claim_filed','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'withdraw_claim','gapPredicate':undefined,'commercialSemantics':'The\x20claim_filed\x20waypoint\x20gives\x20the\x20filed\x20case\x20a\x20machine\x20record,\x20and\x20the\x20buyer\x27s\x20withdraw\x20of\x20the\x20FILED\x20CASE\x20is\x20the\x20zero-money\x20WithdrawClaim\x20edge\x20back\x20to\x20delivered\x20-\x20never\x20a\x20withdrawn-destination\x20edge:\x20that\x20terminal\x20carries\x20the\x20refund_withdrawn\x20rail,\x20so\x20a\x20naive\x20edge\x20would\x20replay\x20into\x20a\x20free\x20full-refund\x20rail\x20bypassing\x20both\x20the\x20goal\x20polarity\x20and\x20the\x20post-decision\x20lock\x20(Q8-F02);\x20the\x20guard\x20key\x20is\x20distinct\x20from\x20pre_deadline_withdraw\x20by\x20design,\x20and\x20the\x20build\x20note\x20discloses\x20the\x20boundary.','evidence':[]},{'id':'GFD-P1','class':'post','name':'Buyer\x20review\x20path\x20closes\x20the\x20order','actor':'buyer','precondition':['GFD-M10'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'ReviewAfterAcceptance','prev':'completed','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'review_window','gapPredicate':undefined,'commercialSemantics':'The\x20review\x20is\x20an\x20optional\x20side\x20stop\x20with\x20its\x20own\x20exit\x20back\x20to\x20the\x20settlement\x20rail\x20-\x20skipping\x20it\x20never\x20blocks\x20completion,\x20and\x20the\x20auto-completion\x20clock\x20covers\x20a\x20silent\x20buyer.','evidence':[]},{'id':'GFD-P2','class':'post','name':'Project\x20demands\x20settlement\x20without\x20acceptance','actor':'merchant','precondition':['GFD-M9'],'onchain':'unresolvable','unresolvableRef':'S3','chainFootprint':undefined,'disclosureProbe':'escrow-through-fulfillment','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Wrong\x20model:\x20settlement\x20is\x20acceptance-gated\x20by\x20construction\x20-\x20the\x20escrow-through-fulfillment\x20departure\x20means\x20no\x20deadline\x20or\x20shipment\x20declaration\x20can\x20capture\x20the\x20money;\x20demanding\x20it\x20is\x20a\x20configuration\x20error,\x20not\x20a\x20chain\x20state.','evidence':[]},{'id':'GFD-P3','class':'post','name':'Streaming\x20royalty\x20splits\x20to\x20contributors','actor':'merchant','precondition':['GFD-M11'],'onchain':'unresolvable','unresolvableRef':'S3','chainFootprint':undefined,'disclosureProbe':'Rate\x2010000','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Settlement\x20is\x20a\x20flat\x20100%\x20Rate\x20split\x20to\x20one\x20recipient\x20-\x20there\x20is\x20no\x20streaming,\x20per-sale\x20royalty\x20or\x20multi-party\x20revenue-share\x20primitive;\x20recurring\x20payouts\x20are\x20out\x20of\x20scope\x20for\x20this\x20template.','evidence':[]},{'id':'GFD-P4','class':'post','name':'Post-settlement\x20dispute\x20demand\x20(after\x20release)','actor':'buyer','precondition':['GFD-M11'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'clawback|no-clawback','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Once\x20released,\x20the\x20escrow\x20is\x20the\x20project\x27s;\x20remedies\x20are\x20the\x20fund\x20and\x20the\x20venue.\x20The\x20GFD-P4\x20build\x20note\x20carries\x20the\x20post-release\x20no-clawback\x20boundary\x20-\x20this\x20strict\x20probe\x20stays\x20as\x20a\x20regression\x20tripwire\x20over\x20that\x20note.','evidence':[]},{'id':'GFD-P6','class':'post','name':'Backer\x20re-pledges\x20into\x20the\x20next\x20campaign','actor':'buyer','precondition':['GFD-E5'],'onchain':'expressible','chainFootprint':{'node':'pledged','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'A\x20refunded\x20backer\x20re-enters\x20any\x20live\x20campaign\x20as\x20a\x20fresh\x20order;\x20the\x20previous\x20pledge\x20leaves\x20no\x20machine\x20residue\x20beyond\x20the\x20zeroed\x20row\x20and\x20the\x20terminal\x20order\x20state.','evidence':[]}],'invariants':[{'id':'INV-GD-1','statement':'A\x20funded\x20review-bounty\x20pool\x20requires\x20a\x20live\x20claim\x20rail\x20-\x20if\x20the\x20reward\x20pool\x20is\x20funded,\x20the\x20review\x20forward\x20must\x20exist,\x20or\x20the\x20promised\x20bounty\x20becomes\x20unpayable.','jurisdiction':'every\x20deployment\x20with\x20review_mode\x20review_reward','chainConflict':'Compile\x20already\x20refuses\x20an\x20unfunded\x20pool;\x20the\x20mirror\x20defect\x20-\x20funding\x20the\x20pool\x20while\x20dropping\x20the\x20review\x20forward\x20-\x20passes\x20compile\x20and\x20strands\x20every\x20claim.\x20The\x20claim\x20window\x20rides\x20the\x20review\x20edge\x20once\x20per\x20order,\x20so\x20removing\x20the\x20edge\x20silently\x20converts\x20a\x20paid\x20incentive\x20into\x20an\x20unpayable\x20promise.','violation':{'requiresFeeParamNonZero':'review_reward_pool','whileMissingForward':'ReviewAfterAcceptance'},'evidence':[{'file':'reward.move','line':0x3f,'pattern':'RewardClaimEvent'}]},{'id':'INV-GD-2','statement':'Escrow-through-fulfillment\x20only\x20stays\x20honest\x20while\x20a\x20live\x20post-delivery\x20refund\x20path\x20exists\x20-\x20the\x20return-request\x20forward\x20must\x20exist\x20for\x20as\x20long\x20as\x20the\x20escrow\x20is\x20held\x20against\x20acceptance.','jurisdiction':'every\x20deployment\x20of\x20this\x20template','chainConflict':'The\x20whole\x20model\x27s\x20case\x20for\x20holding\x20escrow\x20through\x20fulfillment\x20is\x20the\x20still-live\x20refund\x20path\x20(the\x20catalog\x20contrast\x20with\x20deadline-release,\x20where\x20the\x20escrow\x20is\x20empty\x20by\x20the\x20time\x20the\x20buyer\x20can\x20complain);\x20removing\x20the\x20return\x20forward\x20turns\x20the\x20held\x20escrow\x20into\x20confiscation\x20with\x20no\x20on-chain\x20exit.','violation':{'whileMissingForward':'RequestReturn'},'evidence':[{'file':'allocation.move','line':0x313,'pattern':'public\x20fun\x20alloc_batch'}]},{'id':'INV-GD-3','statement':'A\x20silent\x20project\x20must\x20not\x20hold\x20a\x20returned\x20escrow\x20hostage\x20-\x20the\x20keeper\x20receipt-timeout\x20forward\x20must\x20exist\x20so\x20a\x20deemed\x20receipt\x20still\x20pays\x20the\x20backer.','jurisdiction':'every\x20deployment\x20of\x20this\x20template','chainConflict':'Shipped\x20as\x20the\x20keeper-only\x20receipt\x20timeout\x20past\x20the\x20response\x20window,\x20deeming\x20approval\x20and\x20paying\x20the\x20refund\x20rail;\x20removing\x20it\x20lets\x20an\x20absent\x20project\x20stall\x20every\x20return\x20indefinitely\x20-\x20the\x20exact\x20silent-counterparty\x20failure\x20the\x20timeout\x20exists\x20to\x20close.','violation':{'whileMissingForward':'ReturnReceiptTimeoutByKeeper'},'evidence':[{'file':'order.move','line':0x15e,'pattern':'owner_receive'}]},{'id':'INV-GD-4','statement':'The\x20goal\x20decision\x20reads\x20an\x20escrow-bound\x20all-mode\x20aggregate\x20over\x20the\x20chain-derived\x20order-keyed\x20roster\x20-\x20every\x20row\x20clamped\x20at\x20min(declared,\x20escrowed,\x20live\x20balance);\x20it\x20must\x20be\x20disclosed\x20as\x20escrow-bound\x20with\x20a\x20roster\x20that\x20is\x20framework-maintained\x20and\x20aborts\x20fail-closed\x20above\x20100\x20rows\x20per\x20key,\x20never\x20sold\x20as\x20a\x20chain-verified\x20total-custody\x20proof,\x20and\x20the\x20tribunal\x27s\x20controllers\x20are\x20likewise\x20protocol-unverified.','jurisdiction':'campaign\x20copy\x20and\x20configuration','chainConflict':'The\x20old\x20A6/A7\x20faces\x20(self-declared-value\x20inflation,\x20keeper-submitted\x20candidate\x20divergence)\x20are\x20CLOSED\x20by\x20the\x20bound-ALL\x20form\x20(query\x201181,\x20v140\x20live\x20cap,\x20v141\x20flag,\x20ks13\x20ROSTER-01):\x20a\x20row\x20can\x20never\x20claim\x20more\x20than\x20its\x20order\x20escrowed\x20and\x20still\x20holds,\x20roster\x20omission\x20is\x20structurally\x20impossible,\x20and\x20a\x20>100-row\x20key\x20aborts\x20fail-closed.\x20The\x20standing\x20disclosure\x20duty\x20is\x20the\x20honest\x20bound-form\x20shape\x20(pre-upgrade\x20rows\x20contribute\x20zero\x20until\x20re-touched\x20-\x20an\x20understate,\x20never\x20an\x20overstate),\x20alongside\x20the\x20N-01\x20note\x20that\x20venue\x20controllers\x20can\x20pause\x20or\x20re-key\x20case\x20handling.','evidence':[{'file':'repository.move','line':0x3f0,'pattern':'formula_sum_where_bound'}]}]};
|
|
1
|
+
export const GAMEFOUND_ORACLE={'productRef':'gamefound','products':['gamefound'],'oracleVersion':'1.0.0','steps':[{'id':'GFD-M1','class':'offchain','name':'Discover\x20the\x20campaign\x20and\x20back\x20the\x20tier\x20page','actor':'buyer','precondition':[],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20browse\x20the\x20campaign\x20page,\x20read\x20tier\x20prices,\x20availability\x20counts,\x20the\x20WIP\x20detail\x20file\x20per\x20tier\x20and\x20the\x20review-bounty\x20incentive\x20terms\x20shown\x20at\x20quote\x20time.','evidence':[]},{'id':'GFD-M2','class':'offchain','name':'Creator\x20configures\x20and\x20publishes\x20the\x20campaign','actor':'merchant','precondition':['GFD-M1'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20the\x20creator\x20anchors\x20goal,\x20deadline\x20and\x20the\x20reward-tier\x20catalogue\x20as\x20the\x20listing\x20WIP\x20artifact,\x20funds\x20the\x20review-bounty\x20pool\x20(compile\x20refuses\x20an\x20unfunded\x20incentive\x20promise),\x20binds\x20the\x20project\x20entity,\x20arbitration\x20venue\x20and\x20service\x20contact,\x20then\x20publishes\x20frozen.','evidence':[]},{'id':'GFD-M3','class':'main','name':'Backer\x20pledges\x20into\x20unpooled\x20per-backer\x20escrow','actor':'buyer','precondition':['GFD-M2'],'onchain':'expressible','chainFootprint':{'node':'pledged','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Each\x20pledge\x20opens\x20its\x20own\x20order\x20with\x20payment\x20escrowed\x20into\x20a\x20per-order\x20Allocation\x20bound\x20to\x20that\x20order\x20(for_object)\x20-\x20never\x20merged\x20into\x20a\x20shared\x20pot,\x20so\x20refund\x20attribution\x20stays\x20per\x20backer\x20through\x20the\x20whole\x20fulfillment\x20phase.','evidence':[{'file':'allocation.move','line':0x26d,'pattern':'ERECIPIENT_NOT_FOR_OBJECT'}]},{'id':'GFD-M4','class':'offchain','name':'Creator\x20posts\x20campaign\x20updates\x20and\x20stretch\x20news','actor':'merchant','precondition':['GFD-M3'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Offchain:\x20updates\x20and\x20stretch\x20announcements\x20never\x20mutate\x20the\x20goal,\x20the\x20deadline\x20or\x20the\x20escrowed\x20pledges.','evidence':[]},{'id':'GFD-M5','class':'main','name':'Deadline\x20campaign\x20decision\x20(advance)','actor':'keeper','precondition':['GFD-M4'],'onchain':'expressible','chainFootprint':{'node':'funded_released','forward':'ReleaseOnFunded','prev':'pledged','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_release','gapPredicate':undefined,'commercialSemantics':'At\x20the\x20absolute\x20deadline\x20the\x20decision\x20compares\x20the\x20aggregate\x20of\x20writer-bound\x20contribution\x20rows\x20against\x20the\x20goal;\x20the\x20advance\x20only\x20unlocks\x20the\x20state\x20-\x20the\x20money\x20stays\x20per-order\x20in\x20escrow\x20through\x20fulfillment\x20(escrow-through-fulfillment,\x20the\x20deliberate\x20departure\x20from\x20charge-at-campaign-end).','evidence':[{'file':'repository.move','line':0x3ef,'pattern':'native\x20fun\x20formula_sum_where(repo'}]},{'id':'GFD-M7','class':'main','name':'Fulfillment\x20opens\x20with\x20required-info\x20gate','actor':'merchant','precondition':['GFD-M5'],'onchain':'expressible','chainFootprint':{'node':'fulfilling','forward':'StartFulfillment','prev':'funded_released','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'required_info','gapPredicate':undefined,'commercialSemantics':'Shipping\x20must\x20not\x20start\x20blind:\x20the\x20funded_released\x20to\x20fulfilling\x20forward\x20requires\x20an\x20on-chain\x20presence\x20proof\x20for\x20the\x20buyer\x27s\x20address\x20(the\x20value\x20stays\x20private\x20over\x20messenger\x20-\x20only\x20presence\x20is\x20on\x20chain);\x20the\x20declarative\x20customer\x20info\x20field\x20alone\x20enforces\x20nothing.','evidence':[{'file':'service.move','line':0x100,'pattern':'customer_required'}]},{'id':'GFD-M8','class':'main','name':'Shipment\x20registered\x20by\x20the\x20project','actor':'merchant','precondition':['GFD-M7'],'onchain':'expressible','chainFootprint':{'node':'shipped','forward':'ConfirmShipment','prev':'fulfilling','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20project\x20self-declares\x20shipment;\x20carrier\x20and\x20tracking\x20never\x20touch\x20the\x20chain\x20(privacy\x20boundary),\x20so\x20this\x20state\x20is\x20an\x20attestation,\x20not\x20a\x20delivery\x20proof.','evidence':[]},{'id':'GFD-M9','class':'main','name':'Buyer-first\x20delivery\x20confirmation','actor':'buyer','precondition':['GFD-M8'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ConfirmDelivery','prev':'shipped','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'deliver_confirm','gapPredicate':undefined,'commercialSemantics':'Only\x20the\x20buyer\x27s\x20own\x20confirmation\x20moves\x20the\x20escrow\x20toward\x20settlement\x20-\x20the\x20project\x20cannot\x20capture\x20funds\x20by\x20self-declaring\x20delivery;\x20this\x20is\x20the\x20choke\x20point\x20that\x20keeps\x20escrow-through-fulfillment\x20honest.','evidence':[]},{'id':'GFD-M10','class':'main','name':'Buyer\x20accepts\x20the\x20delivered\x20tier','actor':'buyer','precondition':['GFD-M9'],'onchain':'expressible','chainFootprint':{'node':'completed','forward':'AcceptDelivery','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'settle_accept','gapPredicate':undefined,'commercialSemantics':'Acceptance\x20is\x20the\x20settlement\x20trigger:\x20the\x20pledge\x20is\x20released\x20to\x20the\x20project\x20only\x20when\x20the\x20buyer\x20accepts\x20the\x20delivered\x20tier\x20-\x20not\x20at\x20the\x20deadline,\x20not\x20on\x20shipment.','evidence':[]},{'id':'GFD-M11','class':'main','name':'Batch\x20settlement\x20release\x20to\x20the\x20project','actor':'keeper','precondition':['GFD-M10'],'onchain':'expressible','chainFootprint':{'node':'completed','moneyEffect':'release'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20settlement\x20rail\x20sweeps\x20every\x20completed\x20order\x27s\x20Allocation\x20pool\x20in\x20one\x20atomic\x20batch\x20after\x20the\x20settle\x20delay\x20(the\x20knob\x20shared\x20with\x20the\x20return\x20window);\x20the\x20project\x20keeps\x20100%\x20-\x20the\x20platform\x20take\x20is\x200\x20against\x20the\x20displaced\x20incumbent\x20benchmark\x20disclosed\x20in\x20the\x20build\x20inputs.','evidence':[{'file':'allocation.move','line':0x313,'pattern':'public\x20fun\x20alloc_batch'}]},{'id':'GFD-P5','class':'post','name':'Buyer\x20claims\x20the\x20review\x20bounty','actor':'buyer','precondition':['GFD-M11'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'ReviewAfterAcceptance','prev':'completed','identity':'order_holder','moneyEffect':'reward'},'disclosureProbe':undefined,'guardKeyProbe':'review_window','gapPredicate':undefined,'commercialSemantics':'A\x20rating\x20plus\x20written\x20review\x20opens\x20the\x20claim\x20window\x20for\x20the\x20merchant-funded\x20reward\x20pool,\x20once\x20per\x20order\x20and\x20idempotent\x20by\x20claim\x20key;\x20the\x20incentive\x20terms\x20were\x20visible\x20to\x20the\x20buyer\x20at\x20quote\x20time.','evidence':[{'file':'reward.move','line':0x3f,'pattern':'RewardClaimEvent'},{'file':'reward.move','line':0xe0,'pattern':'RewardClaimKey'}]},{'id':'GFD-E1','class':'exception','name':'Platform\x20review\x20rejects\x20the\x20campaign\x20before\x20launch','actor':'platform','precondition':['GFD-M2'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20platform\x20may\x20refuse\x20a\x20campaign\x20pre-launch;\x20nothing\x20is\x20on\x20chain\x20yet,\x20so\x20there\x20is\x20no\x20on-chain\x20remediation\x20path.','evidence':[]},{'id':'GFD-E2','class':'exception','name':'Deadline\x20extension\x20requested\x20mid-raise','actor':'merchant','precondition':['GFD-M3'],'onchain':'expressible_with_gap','chainFootprint':{'node':'pledged','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'absolute\x20shared\x20deadline'},'commercialSemantics':'The\x20shipped\x20deadline\x20is\x20one\x20absolute\x20shared\x20timestamp;\x20extending\x20means\x20a\x20new\x20frozen\x20campaign\x20with\x20a\x20new\x20close\x20-\x20no\x20rolling-window\x20twin\x20exists\x20to\x20bend\x20the\x20clock\x20in\x20place.','evidence':[]},{'id':'GFD-E3','class':'exception','name':'Missed-goal\x20automatic\x20refund','actor':'merchant','precondition':['GFD-M4'],'onchain':'expressible','chainFootprint':{'node':'missed_refunded','forward':'RefundOnMissed','prev':'pledged','identity':'permission_index','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_refund','gapPredicate':undefined,'commercialSemantics':'A\x20failed\x20campaign\x20pays\x20every\x20backer\x20in\x20full\x20from\x20their\x20own\x20escrow\x20on\x20the\x20refund-polarity\x20gate\x20-\x20the\x20money\x20never\x20left\x20the\x20per-order\x20pools,\x20so\x20the\x20refund\x20needs\x20no\x20project\x20cooperation.','evidence':[{'file':'allocation.move','line':0x313,'pattern':'public\x20fun\x20alloc_batch'}]},{'id':'GFD-E4','class':'exception','name':'Backer\x20charged\x20without\x20consent','actor':'buyer','precondition':['GFD-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'no\x20auto-charge','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Impossible\x20by\x20design:\x20keepers\x20hold\x20no\x20charge\x20authority,\x20so\x20money\x20only\x20enters\x20the\x20escrow\x20through\x20the\x20buyer\x27s\x20own\x20signed\x20order\x20-\x20a\x20stray\x20pledge\x20can\x20only\x20be\x20the\x20buyer\x27s\x20own\x20transaction.','evidence':[]},{'id':'GFD-E5','class':'exception','name':'Backer\x20withdraws\x20pledge\x20before\x20the\x20deadline','actor':'buyer','precondition':['GFD-M3'],'onchain':'expressible','chainFootprint':{'node':'withdrawn','forward':'WithdrawPledge','prev':'pledged','identity':'order_holder','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'pre_deadline_withdraw','gapPredicate':undefined,'commercialSemantics':'Pre-deadline\x20withdrawal\x20removes\x20the\x20backer\x27s\x20own\x20writer-bound\x20contribution\x20row,\x20then\x20refunds\x20in\x20full\x20-\x20the\x20goal\x20arithmetic\x20decays\x20with\x20the\x20escrow,\x20and\x20the\x20buyer\x20needs\x20no\x20keeper.','evidence':[{'file':'order.move','line':0x15e,'pattern':'owner_receive'}]},{'id':'GFD-E6','class':'exception','name':'Post-goal\x20cancellation\x20demand\x20by\x20a\x20backer','actor':'buyer','precondition':['GFD-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'pledged','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'NO\x20POST-GOAL\x20CANCELLATION'},'commercialSemantics':'There\x20is\x20no\x20post-goal\x20cancellation\x20rail\x20and\x20none\x20may\x20regress:\x20after\x20the\x20goal\x20decision\x20the\x20escrow\x20is\x20committed,\x20and\x20an\x20earlier\x20cancel-window\x20experiment\x20let\x20a\x20backer\x20drain\x20escrow\x20mid-fulfillment\x20-\x20the\x20rail\x20was\x20removed\x20deliberately.','evidence':[]},{'id':'GFD-E7','class':'exception','name':'Aggregate\x20drops\x20below\x20goal\x20after\x20passing\x20(per-batch\x20verdicts)','actor':'keeper','precondition':['GFD-M5'],'onchain':'expressible','chainFootprint':{'node':'funded_released','forward':'ReleaseOnFunded','prev':'pledged','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_release','gapPredicate':undefined,'commercialSemantics':'The\x20verdict\x20is\x20ONE\x20evaluation\x20over\x20the\x20WHOLE\x20chain-derived\x20order-keyed\x20roster\x20(omission\x20structurally\x20impossible\x20since\x20the\x20ks13\x20ROSTER-01\x20cure)\x20-\x20the\x20old\x20per-batch\x20divergent-totals\x20face\x20retired\x20with\x20the\x20ids\x20leg;\x20a\x20keeper\x20batch\x20is\x20PTB\x20chunking\x20of\x20a\x20single\x20verdict,\x20never\x20several\x20verdicts.\x20Each\x20row\x20is\x20clamped\x20at\x20min(declared,\x20escrowed,\x20live\x20balance),\x20so\x20the\x20read\x20can\x20only\x20understate,\x20never\x20overstate\x20-\x20disclosed,\x20not\x20hidden.','evidence':[{'file':'repository.move','line':0x1d,'pattern':'MAX_ID_COUNT_ONCE'},{'file':'repository.move','line':0x3f0,'pattern':'formula_sum_where_bound'}]},{'id':'GFD-E8','class':'exception','name':'Backer\x27s\x20shipping\x20address\x20never\x20delivered','actor':'merchant','precondition':['GFD-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'fulfilling','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'required_info','gapPredicate':{'probe':'presence-only|messenger'},'commercialSemantics':'The\x20required-info\x20guard\x20stops\x20fulfillment\x20until\x20an\x20on-chain\x20presence\x20proof\x20exists,\x20while\x20the\x20address\x20value\x20itself\x20stays\x20private\x20over\x20messenger\x20-\x20the\x20machine\x20can\x20hold\x20the\x20state\x20but\x20cannot\x20read\x20the\x20address;\x20the\x20chase\x20stays\x20a\x20conversation.','evidence':[]},{'id':'GFD-E9','class':'exception','name':'Private\x20data\x20(address,\x20phone)\x20posted\x20to\x20a\x20public\x20chain\x20field','actor':'platform','precondition':['GFD-M5'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'messenger','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Privacy\x20boundary:\x20contact\x20and\x20shipping\x20details\x20are\x20exchanged\x20over\x20the\x20encrypted\x20messenger\x20only\x20-\x20contact\x20descriptions,\x20repository\x20rows,\x20progress\x20messages\x20and\x20WIP\x20text\x20are\x20all\x20public\x20fields.','evidence':[]},{'id':'GFD-E10','class':'exception','name':'Campaign\x20channel\x20hijacked\x20(phishing\x20update)','actor':'platform','precondition':['GFD-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'messenger','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Messages\x20never\x20change\x20machine\x20state;\x20a\x20hijacked\x20channel\x20can\x20mislead\x20but\x20cannot\x20move\x20escrow\x20-\x20the\x20money\x20paths\x20all\x20run\x20through\x20signed\x20identity\x20rails.','evidence':[]},{'id':'GFD-E11','class':'exception','name':'Backer\x20demands\x20investment\x20returns\x20or\x20yield','actor':'platform','precondition':['GFD-M2'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'non-investment','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Out\x20of\x20scope\x20by\x20policy:\x20a\x20pledge\x20buys\x20a\x20reward\x20tier,\x20it\x20is\x20never\x20a\x20security\x20-\x20the\x20plain\x20non-investment\x20disclosure\x20must\x20ride\x20in\x20the\x20campaign\x20copy.','evidence':[]},{'id':'GFD-E12','class':'exception','name':'Multi-wave\x20shipping\x20(tiers\x20produced\x20in\x20batches)','actor':'merchant','precondition':['GFD-M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'shipped','forward':'ConfirmShipment','prev':'fulfilling','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'wave|batch\x20shipping'},'commercialSemantics':'The\x20machine\x20carries\x20one\x20shipped/delivered\x20pair\x20per\x20order,\x20so\x20a\x20wave\x20must\x20be\x20approximated\x20by\x20re-advancing\x20the\x20same\x20edge\x20-\x20there\x20is\x20no\x20per-wave\x20state\x20to\x20anchor\x20partial\x20deliveries\x20against.\x20The\x20GFD-E12\x20build\x20note\x20discloses\x20the\x20boundary\x20(waves\x20reconciled\x20off-chain\x20in\x20the\x20Messenger,\x20the\x20chain\x20never\x20asserts\x20\x27all\x20waves\x20shipped\x27);\x20this\x20strict\x20probe\x20stays\x20as\x20a\x20regression\x20tripwire\x20over\x20that\x20note.','evidence':[]},{'id':'GFD-E13','class':'exception','name':'Buyer\x20opens\x20a\x20return\x20inside\x20the\x20window','actor':'buyer','precondition':['GFD-M9'],'onchain':'expressible','chainFootprint':{'node':'return_requested','forward':'RequestReturn','prev':'delivered','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'return_window','gapPredicate':undefined,'commercialSemantics':'A\x20live\x20on-chain\x20return\x20path\x20is\x20the\x20point\x20of\x20escrow-through-fulfillment:\x20the\x20buyer\x20declares\x20the\x20return\x20while\x20the\x20money\x20is\x20still\x20escrowed\x20-\x20under\x20a\x20deadline-release\x20model\x20the\x20escrow\x20would\x20already\x20be\x20empty.','evidence':[]},{'id':'GFD-E14','class':'exception','name':'Buyer\x20ships\x20the\x20return\x20back','actor':'buyer','precondition':['GFD-E13'],'onchain':'expressible','chainFootprint':{'node':'return_in_transit','forward':'ShipReturn','prev':'return_requested','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'return_shipped','gapPredicate':undefined,'commercialSemantics':'The\x20return\x20shipment\x20is\x20buyer-declared;\x20the\x20project\x27s\x20approval\x20clock\x20and\x20the\x20keeper\x27s\x20receipt\x20timeout\x20both\x20hang\x20off\x20this\x20state,\x20so\x20the\x20escrow\x20cannot\x20stall\x20silently.','evidence':[]},{'id':'GFD-R5','class':'remedy','name':'Project\x20approves\x20the\x20return;\x20refund\x20pays\x20from\x20escrow','actor':'merchant','precondition':['GFD-E14'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ApproveReturn','prev':'return_in_transit','identity':'permission_index','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Approval\x20lands\x20the\x20order\x20on\x20the\x20returned\x20node\x20where\x20the\x20post-delivery\x20refund\x20rail\x20pays\x20the\x20backer\x27s\x20own\x20order\x20slot\x20from\x20the\x20still-escrowed\x20pool\x20-\x20full\x20refund,\x20two-step\x20payout\x20surfaced\x20in\x20the\x20UX.','evidence':[{'file':'allocation.move','line':0x313,'pattern':'public\x20fun\x20alloc_batch'}]},{'id':'GFD-R6','class':'remedy','name':'Buyer-won\x20ruling\x20redirects\x20escrowed\x20principal\x20(post-delivery)','actor':'arbitrator','precondition':['GFD-M9'],'onchain':'expressible','chainFootprint':{'node':'returned','forward':'ArbRefund','prev':'delivered','identity':'permission_index','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'arb_refund','gapPredicate':undefined,'commercialSemantics':'This\x20is\x20the\x20one\x20template\x20in\x20the\x20family\x20where\x20a\x20ruling\x20can\x20actually\x20move\x20the\x20escrowed\x20principal:\x20the\x20arbitration\x20refund\x20edge\x20is\x20mounted,\x20fed\x20by\x20the\x20ruling\x20engine\x20that\x20caps\x20punitive\x20awards\x20at\x203x\x20and\x20deems\x20acceptance\x20after\x20case\x20silence\x20-\x20indemnity\x20first,\x20then\x20principal,\x20never\x20the\x20reverse\x20order.','evidence':[{'file':'arbitration.move','line':0x13a,'pattern':'fun\x20arbitration_imp<T>'},{'file':'arb.move','line':0x21d,'pattern':'indemnity_cap_base'}]},{'id':'GFD-E17','class':'exception','name':'Regulator\x20flags\x20the\x20raise\x20(securities\x20/\x20KYC-AML)','actor':'platform','precondition':['GFD-M5'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Pooled\x20fundraising\x20is\x20high\x20regulatory\x20intensity;\x20cross-border\x20funds\x20and\x20reward\x20tiers\x20may\x20trigger\x20securities,\x20money-transmission\x20and\x20KYC-AML\x20rules\x20-\x20flag\x20for\x20compliance,\x20do\x20not\x20automate\x20around\x20them.','evidence':[]},{'id':'GFD-E18','class':'exception','name':'Late\x20pledge\x20after\x20the\x20deadline','actor':'buyer','precondition':['GFD-M5'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'There\x20is\x20no\x20late-entry\x20state;\x20a\x20post-deadline\x20backer\x20waits\x20for\x20the\x20next\x20campaign\x20or\x20buys\x20the\x20retail\x20follow-up\x20off\x20this\x20template.','evidence':[]},{'id':'GFD-E19','class':'exception','name':'Stretch\x20goals\x20priced\x20mid-campaign','actor':'merchant','precondition':['GFD-M5'],'onchain':'unresolvable','unresolvableRef':'S7','chainFootprint':undefined,'disclosureProbe':'funding_threshold','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'No\x20price\x20oracle\x20exists:\x20a\x20stretch\x20goal\x20can\x20only\x20be\x20a\x20new\x20frozen\x20offer;\x20the\x20goal\x20aggregate\x20already\x20in\x20flight\x20cannot\x20be\x20re-keyed\x20against\x20it.','evidence':[]},{'id':'GFD-E20','class':'exception','name':'AI-generated\x20art\x20or\x20content\x20dispute\x20in\x20the\x20campaign','actor':'platform','precondition':['GFD-M2'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'non-investment','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Content\x20authenticity\x20is\x20storefront\x20policy,\x20not\x20a\x20chain\x20constraint;\x20the\x20structural\x20disclosure\x20duty\x20that\x20does\x20apply\x20is\x20the\x20plain\x20non-investment\x20posture\x20of\x20every\x20tier.','evidence':[]},{'id':'GFD-E21','class':'exception','name':'Runaway\x20creator:\x20goal\x20met,\x20fulfillment\x20abandoned','actor':'buyer','precondition':['GFD-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'funded_released','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'settle_window'},'commercialSemantics':'The\x20escrow\x20never\x20leaves\x20the\x20backer\x27s\x20pool\x20until\x20acceptance,\x20so\x20a\x20runaway\x20creator\x27s\x20silence\x20keeps\x20every\x20pledge\x20refundable\x20-\x20the\x20settle\x20window\x20never\x20opens,\x20and\x20the\x20backer\x20exits\x20over\x20the\x20still-live\x20refund\x20rails.','evidence':[]},{'id':'GFD-E22','class':'exception','name':'Coupon\x20creates\x20a\x20zero-value\x20order','actor':'merchant','precondition':['GFD-M3'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'A\x20coupon\x20lowers\x20the\x20escrowed\x20amount,\x20and\x20the\x20escrow-bound\x20aggregate\x20clamps\x20every\x20row\x20at\x20min(declared,\x20escrowed,\x20live\x20balance)\x20-\x20so\x20a\x20coupon\x27d\x20pledge\x20can\x20never\x20push\x20the\x20campaign\x20aggregate\x20above\x20what\x20was\x20actually\x20escrowed\x20(the\x20row-vs-aggregate\x20divergence\x20face\x20is\x20closed\x20by\x20the\x20bound\x20form;\x20the\x20aggregate\x20simply\x20counts\x20the\x20discounted\x20pledge).\x20A\x20100%\x20coupon\x20must\x20still\x20be\x20refused\x20at\x20mint\x20time\x20(E_ZERO_TOTAL_ORDER);\x20compliance\x20flags\x20stay\x20human\x20duties.','evidence':[]},{'id':'GFD-E23','class':'exception','name':'Arbitration\x20venue\x20controlled\x20by\x20the\x20merchant','actor':'platform','precondition':['GFD-M2'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'tribunal','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'The\x20protocol\x20routes\x20disputes\x20wherever\x20the\x20merchant\x20binds,\x20but\x20never\x20verifies\x20who\x20controls\x20the\x20venue\x20-\x20a\x20self-hosted\x20or\x20affiliated\x20tribunal\x20is\x20not\x20independent,\x20and\x20its\x20controllers\x20can\x20pause\x20or\x20re-key\x20case\x20handling;\x20verify\x20controllers\x20before\x20relying\x20on\x20it.','evidence':[]},{'id':'GFD-E26','class':'exception','name':'Project-manager\x20close-out\x20cancel\x20window\x20vs\x20the\x20return\x20window','actor':'merchant','precondition':['GFD-M7'],'onchain':'expressible_with_gap','chainFootprint':{'node':'fulfilling','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'claim_window'},'commercialSemantics':'There\x20is\x20no\x20mid-fulfillment\x20cancel\x20window\x20to\x20reconcile\x20against\x20the\x20return\x20window\x20-\x20once\x20the\x20goal\x20passes,\x20cancellation\x20is\x20absent\x20by\x20design\x20and\x20the\x20only\x20buyer-side\x20exits\x20are\x20the\x20return\x20rail\x20and\x20the\x20bounty\x20claim\x20windows,\x20which\x20are\x20distinct\x20knobs.','evidence':[]},{'id':'GFD-E27','class':'exception','name':'Backer\x20roster\x20exceeds\x20the\x20per-settlement\x20cap\x20(>100\x20rows)','actor':'keeper','precondition':['GFD-M5'],'onchain':'expressible_with_gap','chainFootprint':{'node':'funded_released','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_release','gapPredicate':{'probe':'roster'},'commercialSemantics':'The\x20roster\x20cap\x20is\x20PER\x20POLICY\x20KEY:\x20a\x20key\x20with\x20>100\x20roster\x20rows\x20aborts\x20fail-closed\x20(the\x20aggregate\x20refuses\x20to\x20lie)\x20until\x20the\x20campaign\x20is\x20split\x20across\x20policy\x20keys\x20-\x20the\x20disclosed\x20boundary\x20is\x20the\x20abort,\x20not\x20a\x20per-batch\x20verdict\x20split.\x20Refunds\x20never\x20strand\x20on\x20keeper\x20absence\x20either:\x20AbandonAfterDeadline\x20is\x20back\x20to\x20order_payer\x20on\x20the\x20same\x20threshold_refund\x20gate\x20(GF2-30\x20self-heal\x20restored\x20under\x20the\x201181\x20migration).','evidence':[{'file':'repository.move','line':0x1d,'pattern':'MAX_ID_COUNT_ONCE'},{'file':'repository.move','line':0x3f0,'pattern':'formula_sum_where_bound'}]},{'id':'GFD-E28','class':'exception','name':'Duplicate\x20bounty\x20claim\x20attempt','actor':'buyer','precondition':['GFD-P5'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'ReviewAfterAcceptance','prev':'completed','identity':'order_holder','moneyEffect':'reward'},'disclosureProbe':undefined,'guardKeyProbe':'review_window','gapPredicate':undefined,'commercialSemantics':'The\x20bounty\x20is\x20once-per-order\x20by\x20construction:\x20consumed\x20claim\x20keys\x20are\x20recorded,\x20so\x20a\x20replayed\x20claim\x20finds\x20its\x20slot\x20taken\x20and\x20the\x20window\x20closure\x20denies\x20the\x20rest.','evidence':[{'file':'reward.move','line':0xe0,'pattern':'RewardClaimKey'}]},{'id':'GFD-E29','class':'exception','name':'Regulator-ordered\x20fund\x20freeze\x20of\x20a\x20live\x20campaign','actor':'platform','precondition':['GFD-M5'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'kyc','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'An\x20external\x20freeze\x20cannot\x20reach\x20per-order\x20escrow\x20(no\x20shared\x20pot\x20exists\x20to\x20freeze);\x20compliance\x20coordination\x20stays\x20off-chain\x20with\x20KYC-AML\x20duties\x20flagged\x20for\x20humans.','evidence':[]},{'id':'GFD-R4','class':'remedy','name':'Backer\x20self-service\x20refund\x20when\x20the\x20goal\x20is\x20missed','actor':'buyer','precondition':['GFD-E3'],'onchain':'expressible','chainFootprint':{'node':'missed_refunded','forward':'AbandonAfterDeadline','prev':'pledged','identity':'order_holder','moneyEffect':'refund'},'disclosureProbe':undefined,'guardKeyProbe':'threshold_refund','gapPredicate':undefined,'commercialSemantics':'A\x20backer\x20need\x20not\x20wait\x20for\x20the\x20keeper\x27s\x20batch:\x20advancing\x20their\x20own\x20pledge\x20on\x20the\x20refund-polarity\x20gate\x20and\x20sweeping\x20the\x20rail\x20pays\x20the\x20same\x20full\x20refund\x20from\x20their\x20own\x20pool.','evidence':[{'file':'order.move','line':0x15e,'pattern':'owner_receive'}]},{'id':'GFD-R1','class':'remedy','name':'Compensation-fund\x20award\x20execution\x20(non-return\x20loss)','actor':'arbitrator','precondition':['GFD-R6'],'onchain':'expressible_with_gap','chainFootprint':{'node':'delivered','moneyEffect':'compensate'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'compensation\x20fund'},'commercialSemantics':'The\x20award\x20is\x20paid\x20from\x20the\x20pre-locked\x20fund\x20by\x20a\x20protocol-level\x20call\x20hard-bound\x20to\x20the\x20order\x20owner\x20-\x20not\x20a\x20machine\x20forward,\x20so\x20skipping\x20it\x20strands\x20the\x20award;\x20the\x20per-order\x20ceiling\x20is\x20fund/3\x20and\x20quoted\x20figures\x20go\x20stale\x20as\x20awards\x20shrink\x20the\x20fund.','evidence':[{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'GFD-R2','class':'remedy','name':'Recover\x20rail:\x20compensated\x20principal\x20returned\x20to\x20the\x20campaign\x20account','actor':'keeper','precondition':['GFD-R5'],'onchain':'expressible','chainFootprint':{'node':'returned','moneyEffect':'release'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Principal\x20recovered\x20from\x20the\x20project\x20after\x20a\x20compensated\x20refund\x20is\x20swept\x20back\x20to\x20the\x20campaign\x20account\x20in\x20the\x20same\x20atomic\x20batch\x20shape\x20-\x20refund\x20and\x20recovery\x20stay\x20partitioned\x20by\x20node,\x20so\x20they\x20can\x20never\x20double-pay\x20one\x20escrow.','evidence':[{'file':'allocation.move','line':0x300,'pattern':'sweeps\x20every\x20pool'}]},{'id':'GFD-R3','class':'remedy','name':'Regulator-ordered\x20refund\x20of\x20a\x20live\x20campaign','actor':'platform','precondition':['GFD-E17'],'onchain':'not_applicable','chainFootprint':undefined,'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'A\x20regulator\x20cannot\x20drive\x20the\x20machine;\x20ordering\x20a\x20refund\x20means\x20the\x20platform\x20serves\x20notice\x20and\x20backers\x20execute\x20the\x20pre-deadline\x20exit\x20themselves\x20before\x20the\x20goal\x20decision.','evidence':[]},{'id':'GFD-R7','class':'remedy','name':'File\x20and\x20win\x20an\x20arbitration\x20case','actor':'arbitrator','precondition':['GFD-M3'],'onchain':'expressible_with_gap','chainFootprint':{'node':'delivered','moneyEffect':'compensate'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':{'probe':'arbitration_mode\x20third_party'},'commercialSemantics':'Disputes\x20are\x20filed\x20on\x20a\x20third-party\x20arbitration\x20object\x20(an\x20independent\x20permission)\x20whose\x20readiness\x20-\x20un-pause\x20and\x20voter\x20arming\x20-\x20is\x20the\x20venue\x20operator\x27s\x20deployment\x20duty,\x20never\x20this\x20build\x27s;\x20the\x20machine\x27s\x20role\x20starts\x20only\x20where\x20the\x20ruling\x20lands.','evidence':[{'file':'arb.move','line':0x15,'pattern':'MAX_INDEMNITY_MULTIPLE:u64\x20=\x203'},{'file':'service.move','line':0x24c,'pattern':'public\x20fun\x20compensation_claim'}]},{'id':'GFD-R8','class':'remedy','name':'Backer\x20transfers\x20a\x20pledge\x20(gift\x20to\x20another\x20account)','actor':'buyer','precondition':['GFD-M3'],'onchain':'expressible','chainFootprint':{'node':'pledged','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Transferring\x20the\x20order\x20(and\x20with\x20it\x20the\x20refund\x20and\x20bounty\x20rights)\x20is\x20a\x20protocol-level\x20owner\x20change\x20on\x20the\x20order\x20object;\x20the\x20machine\x20state\x20stays\x20where\x20it\x20is.','evidence':[{'file':'order.move','line':0x111,'pattern':'owner_change'}]},{'id':'GFD-R9','class':'remedy','name':'Dismissed\x20case:\x20backer\x20resume\x20and\x20re-pledge','actor':'buyer','precondition':['GFD-R7'],'onchain':'expressible','chainFootprint':{'node':'delivered','forward':'ResumeAfterDismissal','prev':'claim_filed','identity':'permission_index','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'arb_dismissed_resume','gapPredicate':undefined,'commercialSemantics':'A\x20dismissed\x20ruling\x20resumes\x20the\x20stalled\x20post-delivery\x20order:\x20the\x20claim_filed\x20waypoint\x20records\x20the\x20filed\x20case\x20on\x20the\x20machine,\x20and\x20the\x20dismissed-exit\x20edge\x20(venue\x20matches\x20the\x20order\x20AND\x20indemnity.amount\x20==\x200)\x20lands\x20back\x20on\x20delivered\x20with\x20zero\x20money\x20-\x20the\x20backer\x20keeps\x20every\x20normal\x20post-delivery\x20right\x20(return\x20rail,\x20settlement\x20acceptance,\x20review),\x20re-entry\x20appends\x20a\x20fresh\x20delivered\x20entry\x20and\x20re-anchors\x20the\x20windows\x20(find=last),\x20and\x20the\x20resume\x20runs\x20on\x20the\x20merchant\x27s\x20settlement-rail\x20slot,\x20never\x20the\x20buyer\x20refund\x20bucket.','evidence':[]},{'id':'GFD-E24','class':'exception','name':'Claim-withdraw:\x20backer\x20drops\x20a\x20filed\x20case\x20(BANNED\x20-\x20D2\x20no-withdraw\x20doctrine:\x20a\x20filed\x20claim\x20reaches\x20a\x20RULING\x20instead)','actor':'buyer','precondition':['GFD-R7'],'onchain':'not_applicable','chainFootprint':{'node':'delivered','prev':'claim_filed','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'withdraw_claim','gapPredicate':undefined,'commercialSemantics':'The\x20claim_filed\x20waypoint\x20gives\x20the\x20filed\x20case\x20a\x20machine\x20record,\x20and\x20the\x20buyer\x27s\x20withdraw\x20of\x20the\x20FILED\x20CASE\x20is\x20the\x20zero-money\x20WithdrawClaim\x20edge\x20back\x20to\x20delivered\x20-\x20never\x20a\x20withdrawn-destination\x20edge:\x20that\x20terminal\x20carries\x20the\x20refund_withdrawn\x20rail,\x20so\x20a\x20naive\x20edge\x20would\x20replay\x20into\x20a\x20free\x20full-refund\x20rail\x20bypassing\x20both\x20the\x20goal\x20polarity\x20and\x20the\x20post-decision\x20lock\x20(Q8-F02);\x20the\x20guard\x20key\x20is\x20distinct\x20from\x20pre_deadline_withdraw\x20by\x20design,\x20and\x20the\x20build\x20note\x20discloses\x20the\x20boundary.','evidence':[]},{'id':'GFD-P1','class':'post','name':'Buyer\x20review\x20path\x20closes\x20the\x20order','actor':'buyer','precondition':['GFD-M10'],'onchain':'expressible','chainFootprint':{'node':'reviewed','forward':'ReviewAfterAcceptance','prev':'completed','identity':'order_holder','moneyEffect':'none'},'disclosureProbe':undefined,'guardKeyProbe':'review_window','gapPredicate':undefined,'commercialSemantics':'The\x20review\x20is\x20an\x20optional\x20side\x20stop\x20with\x20its\x20own\x20exit\x20back\x20to\x20the\x20settlement\x20rail\x20-\x20skipping\x20it\x20never\x20blocks\x20completion,\x20and\x20the\x20auto-completion\x20clock\x20covers\x20a\x20silent\x20buyer.','evidence':[]},{'id':'GFD-P2','class':'post','name':'Project\x20demands\x20settlement\x20without\x20acceptance','actor':'merchant','precondition':['GFD-M9'],'onchain':'unresolvable','unresolvableRef':'S3','chainFootprint':undefined,'disclosureProbe':'escrow-through-fulfillment','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Wrong\x20model:\x20settlement\x20is\x20acceptance-gated\x20by\x20construction\x20-\x20the\x20escrow-through-fulfillment\x20departure\x20means\x20no\x20deadline\x20or\x20shipment\x20declaration\x20can\x20capture\x20the\x20money;\x20demanding\x20it\x20is\x20a\x20configuration\x20error,\x20not\x20a\x20chain\x20state.','evidence':[]},{'id':'GFD-P3','class':'post','name':'Streaming\x20royalty\x20splits\x20to\x20contributors','actor':'merchant','precondition':['GFD-M11'],'onchain':'unresolvable','unresolvableRef':'S3','chainFootprint':undefined,'disclosureProbe':'Rate\x2010000','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Settlement\x20is\x20a\x20flat\x20100%\x20Rate\x20split\x20to\x20one\x20recipient\x20-\x20there\x20is\x20no\x20streaming,\x20per-sale\x20royalty\x20or\x20multi-party\x20revenue-share\x20primitive;\x20recurring\x20payouts\x20are\x20out\x20of\x20scope\x20for\x20this\x20template.','evidence':[]},{'id':'GFD-P4','class':'post','name':'Post-settlement\x20dispute\x20demand\x20(after\x20release)','actor':'buyer','precondition':['GFD-M11'],'onchain':'disclosure_only','chainFootprint':undefined,'disclosureProbe':'clawback|no-clawback','guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'Once\x20released,\x20the\x20escrow\x20is\x20the\x20project\x27s;\x20remedies\x20are\x20the\x20fund\x20and\x20the\x20venue.\x20The\x20GFD-P4\x20build\x20note\x20carries\x20the\x20post-release\x20no-clawback\x20boundary\x20-\x20this\x20strict\x20probe\x20stays\x20as\x20a\x20regression\x20tripwire\x20over\x20that\x20note.','evidence':[]},{'id':'GFD-P6','class':'post','name':'Backer\x20re-pledges\x20into\x20the\x20next\x20campaign','actor':'buyer','precondition':['GFD-E5'],'onchain':'expressible','chainFootprint':{'node':'pledged','forward':'Enter','prev':'','identity':'order_holder','moneyEffect':'escrow_in'},'disclosureProbe':undefined,'guardKeyProbe':undefined,'gapPredicate':undefined,'commercialSemantics':'A\x20refunded\x20backer\x20re-enters\x20any\x20live\x20campaign\x20as\x20a\x20fresh\x20order;\x20the\x20previous\x20pledge\x20leaves\x20no\x20machine\x20residue\x20beyond\x20the\x20zeroed\x20row\x20and\x20the\x20terminal\x20order\x20state.','evidence':[]}],'invariants':[{'id':'INV-GD-1','statement':'A\x20funded\x20review-bounty\x20pool\x20requires\x20a\x20live\x20claim\x20rail\x20-\x20if\x20the\x20reward\x20pool\x20is\x20funded,\x20the\x20review\x20forward\x20must\x20exist,\x20or\x20the\x20promised\x20bounty\x20becomes\x20unpayable.','jurisdiction':'every\x20deployment\x20with\x20review_mode\x20review_reward','chainConflict':'Compile\x20already\x20refuses\x20an\x20unfunded\x20pool;\x20the\x20mirror\x20defect\x20-\x20funding\x20the\x20pool\x20while\x20dropping\x20the\x20review\x20forward\x20-\x20passes\x20compile\x20and\x20strands\x20every\x20claim.\x20The\x20claim\x20window\x20rides\x20the\x20review\x20edge\x20once\x20per\x20order,\x20so\x20removing\x20the\x20edge\x20silently\x20converts\x20a\x20paid\x20incentive\x20into\x20an\x20unpayable\x20promise.','violation':{'requiresFeeParamNonZero':'review_reward_pool','whileMissingForward':'ReviewAfterAcceptance'},'evidence':[{'file':'reward.move','line':0x3f,'pattern':'RewardClaimEvent'}]},{'id':'INV-GD-2','statement':'Escrow-through-fulfillment\x20only\x20stays\x20honest\x20while\x20a\x20live\x20post-delivery\x20refund\x20path\x20exists\x20-\x20the\x20return-request\x20forward\x20must\x20exist\x20for\x20as\x20long\x20as\x20the\x20escrow\x20is\x20held\x20against\x20acceptance.','jurisdiction':'every\x20deployment\x20of\x20this\x20template','chainConflict':'The\x20whole\x20model\x27s\x20case\x20for\x20holding\x20escrow\x20through\x20fulfillment\x20is\x20the\x20still-live\x20refund\x20path\x20(the\x20catalog\x20contrast\x20with\x20deadline-release,\x20where\x20the\x20escrow\x20is\x20empty\x20by\x20the\x20time\x20the\x20buyer\x20can\x20complain);\x20removing\x20the\x20return\x20forward\x20turns\x20the\x20held\x20escrow\x20into\x20confiscation\x20with\x20no\x20on-chain\x20exit.','violation':{'whileMissingForward':'RequestReturn'},'evidence':[{'file':'allocation.move','line':0x313,'pattern':'public\x20fun\x20alloc_batch'}]},{'id':'INV-GD-3','statement':'A\x20silent\x20project\x20must\x20not\x20hold\x20a\x20returned\x20escrow\x20hostage\x20-\x20the\x20keeper\x20receipt-timeout\x20forward\x20must\x20exist\x20so\x20a\x20deemed\x20receipt\x20still\x20pays\x20the\x20backer.','jurisdiction':'every\x20deployment\x20of\x20this\x20template','chainConflict':'Shipped\x20as\x20the\x20keeper-only\x20receipt\x20timeout\x20past\x20the\x20response\x20window,\x20deeming\x20approval\x20and\x20paying\x20the\x20refund\x20rail;\x20removing\x20it\x20lets\x20an\x20absent\x20project\x20stall\x20every\x20return\x20indefinitely\x20-\x20the\x20exact\x20silent-counterparty\x20failure\x20the\x20timeout\x20exists\x20to\x20close.','violation':{'whileMissingForward':'ReturnReceiptTimeoutByKeeper'},'evidence':[{'file':'order.move','line':0x15e,'pattern':'owner_receive'}]},{'id':'INV-GD-4','statement':'The\x20goal\x20decision\x20reads\x20an\x20escrow-bound\x20all-mode\x20aggregate\x20over\x20the\x20chain-derived\x20order-keyed\x20roster\x20-\x20every\x20row\x20clamped\x20at\x20min(declared,\x20escrowed,\x20live\x20balance);\x20it\x20must\x20be\x20disclosed\x20as\x20escrow-bound\x20with\x20a\x20roster\x20that\x20is\x20framework-maintained\x20and\x20aborts\x20fail-closed\x20above\x20100\x20rows\x20per\x20key,\x20never\x20sold\x20as\x20a\x20chain-verified\x20total-custody\x20proof,\x20and\x20the\x20tribunal\x27s\x20controllers\x20are\x20likewise\x20protocol-unverified.','jurisdiction':'campaign\x20copy\x20and\x20configuration','chainConflict':'The\x20old\x20A6/A7\x20faces\x20(self-declared-value\x20inflation,\x20keeper-submitted\x20candidate\x20divergence)\x20are\x20CLOSED\x20by\x20the\x20bound-ALL\x20form\x20(query\x201181,\x20v140\x20live\x20cap,\x20v141\x20flag,\x20ks13\x20ROSTER-01):\x20a\x20row\x20can\x20never\x20claim\x20more\x20than\x20its\x20order\x20escrowed\x20and\x20still\x20holds,\x20roster\x20omission\x20is\x20structurally\x20impossible,\x20and\x20a\x20>100-row\x20key\x20aborts\x20fail-closed.\x20The\x20standing\x20disclosure\x20duty\x20is\x20the\x20honest\x20bound-form\x20shape\x20(pre-upgrade\x20rows\x20contribute\x20zero\x20until\x20re-touched\x20-\x20an\x20understate,\x20never\x20an\x20overstate),\x20alongside\x20the\x20N-01\x20note\x20that\x20venue\x20controllers\x20can\x20pause\x20or\x20re-key\x20case\x20handling.','evidence':[{'file':'repository.move','line':0x3f0,'pattern':'formula_sum_where_bound'}]}]};
|