Polymarket 套利：证明兑付恒等关系

Polymarket 套利兑付恒等关系有前提条件

恒等关系比预测更强。预测说某结果很可能发生，恒等关系则说明，无论哪个覆盖结果发生，合约条款与持仓如何组合。如果主张依赖假定某个不太可能事件不会发生，它就不是无条件覆盖陈述。即使被忽略事件在分析人员样本中从未发生，这一区别仍重要。

使用扫描器前，先用普通语言写出恒等关系。对标准完整二元组合，相等数量的 Yes 和 No 指向相同条件，允许的组合兑付为该组合代表的抵押品金额。同样说法用于两个不同条件时可能错误。恒等关系要求实际条件、数量及适用结算或转换机制匹配。

Polymarket 持仓文档描述完整组合的拆分与合并操作，当前 International 文档采用 pUSD 抵押品。这些机制针对受支持代币与账户背景。不应假定它们适用于任意权利，或具有自身产品与账户环境的 Polymarket US。

较早的Polymarket 套利机器人文章提供完整组合经济性背景。机器人可以帮助维护记录，却不能让错误恒等关系成真。分析人员仍需识别确切资产，并解释拟议操作为何返回计算采用的金额。

逐步计算 Polymarket 套利完整组合

假设虚构标准市场的可执行卖价为 Yes $0.44、No $0.53，两侧各有100单位。各取得100单位，成本为$44加$53，即费用前$97。如果代币构成经过验证、按相关机制可赎回或合并为$100的完整组合，毛差额为$3。

现在为示例假定取得与完成总成本$1.40。全包金额$98.40，差额变为$1.60，约为$98.40投入的1.63%。这不是引用的费率表，也不说明这些价格或成本当前可用，而是展示需要比较哪些量。

毛差额与完成后的账户结果是不同记录。两条腿执行前，账户没有拥有计划中的完整组合。合并或最终兑付确认前，预期抵押品返还还未变成已验证现金流。把初始显示价差称为已实现利润，跳过了确立结果的步骤。

还要检查数量单位。价格不同时，相等美元支出通常不会买到相等结果数量。按假定价格，每侧花$44，在精度约束前会买到100单位 Yes 和约83.02单位 No。只有匹配数量构成完整配对，剩余 Yes 保留方向风险敞口。覆盖计算应配对单位，而非支出金额。

Polymarket 套利相关结果需要检验

考虑两份有关某指标超过60的虚构合约。一份采用首次官方发布，另一份采用一周后修订值。买入第一份 Yes 与第二份 No，在标题界面上可能看似互补，但两项权利可能同时失败。首次值可能低于60，修订值却升至其上。

如果首次值超过60、修订值降至其下，两者也可能同时获胜。这些可能性证明组合兑付可变。较低组合取得成本可能仍吸引方向性研究者，但持仓需要针对修订的预测。不能仅因显示标题含相同阈值，就沿用完整组合标签。

时间定义创造另一种不匹配。询问中午价格的权利，不同于询问中午前任何时刻是否达到该价格的权利。价格在11:00高于阈值、中午前回落到阈值以下的路径，会产生不同结果。比较必须保留观察规则，以及资产名与阈值数字。

相关Kalshi 套利策略指南把这种纪律扩展到另一交易场所环境。跨场所相似性是待验证假设，不是两项权利共享兑付的证据。匹配界面文字只是合约审查起点。

互斥不等于穷尽

按相关规则，任意两个结果不能同时发生时称为互斥，至少一个必定发生时称为穷尽。普通一美元结果的完整集合，需要同时具备两种属性，才能每个等量组合恰好返回一美元。只满足其一，就留下重叠或覆盖缺口。

设想 North、South 和 East 三份虚构赢家合约。如果官方赢家必定且只能是三者之一，等量 Yes 覆盖普通赢家情况。如果 West 也能获胜却被遗漏，三份合约仍互斥，却不穷尽。全买三份，在 West 获胜时可能零兑付。

阈值市场说明相反问题。指数超过50、55和60的权利不互斥，数值62会让三者都为真。不能把价格相加，仿佛它们描述不重叠区间。把阈值转成区间结构，需要仔细推理组合与边界，而不只是收集某事件标题下所有市场。

有用审查尽可能写出具体反例。如果分析人员无法解释边界处、取消期间，或遗漏结果发生时会怎样，覆盖陈述就仍不完整。看似有说服力的加总，不能代替案例分析。

把特殊转换结构当作特殊结构阅读

某些受支持事件设计提供结果间转换，而无关市场并无此机制。Polymarket 负风险文档描述指定多结果事件的这些关系。关键实际区别是，关系依赖事件已实现的结构，而不只是分析人员相信某结果应获胜。

扫描器在把转换视为可用前，应核实受支持结构和确切标识符。纸面经济等价与账户可执行转换是不同事实。账户可能需要正确代币类型、权限和交易路径，实际操作提交后必须核对。

结果定义变化需要额外谨慎。“其他”类别或占位结果的含义，可能按事件文档流程演变。历史对应关系应保留当时审查的定义。如果候选依赖的具名结果集合已不再描述受支持结构，应在新投入前刷新分析。

这也是“买入总价低于一的所有结果”这类通用规则可能不安全的原因。界面显示列表可能不完整、经过筛选，或包含特殊处理结果。分析人员需要实际结果范围及规则，明确解释预期集合为何具有所声称回报。

为实际可取得的数量定价

回到虚构二元市场，但现在仅40单位 No 可按$0.53取得，接下来60单位成本$0.56。取得100单位 No 成本$21.20加$33.60，即$54.80。加$44的 Yes 腿，费用前成本变为$98.80。原始$3毛差距缩至任何费用前$1.20。

如果总成本仍为假设$1.40，完整组合成本为$100.20，而所得$100。在这些假设下候选损失$0.20。这不是兑付恒等关系失效，而是取得经济性不合格。分开诊断帮助分析人员改善流程的正确部分。

深度应在兼容时间观察。把昨天便宜的 Yes 卖价与今天便宜的 No 卖价组合，不能确立两者可一起取得。记录每个订单簿的时间与来源。即使同时观察也不是预留，因此候选除了估计外，还需要价格边界和执行政策。

较早的如何套利 Polymarket指南进一步讨论取得与恢复序列。其实际意义是，成本计算需要经得起从显示订单簿到实际成交的路径。在账户以已验证价格拥有所需数量之前，电子表格总额只是候选。

部分执行改变持仓性质

假设100单位 Yes 按$0.44成交，但仅40单位 No 按$0.53成交。费用前账户支出$65.20。四十组匹配配对占其中$38.80成本，在完整组合假设下对应$40。剩余60单位 Yes 成本$26.40，兑付取决于结果。

如果 Yes 获胜，普通总兑付$100：100单位 Yes 兑付，No 不兑付。如果 No 获胜，总兑付$40。相对于$65.20取得成本，两条分支在费用前分别产生$34.80收益或$25.20损失。不能仅因一条腿成功成交，就说账户已赚到计划完整组合回报。

恢复决策应比较当前完成成本、当前退出所得和剩余获准风险敞口。不应为了恢复原标签就按任何价格自动追逐第二条腿。完成对冲可以锁定已知损失，留下未完成状态则保留方向风险。允许的选择应在事件发生前写入策略。

相关Polymarket 套利策略文章把分析转化为执行边界。恒等关系描述完成后的持仓，策略还需要针对完成前状态的指令，包括部分成交、交易腿被拒和提交结果未知。

确认接收不能确立所需持仓

订单响应可以确立交易场所接受指令，却不能确立所有预期单位已成交。延迟或挂单仍不同于已完成交易。保留订单身份、已成交数量与剩余投入，让账户能区分实际持仓与未来可能持仓。

订单类型改变余量含义。立即部分成交且取消未成交余额的订单，不会让余额继续挂单。相反，持续订单在首次部分执行后仍可能增加风险敞口。应解读实际订单类型，而不是对所有情况都采用通用部分成交状态。

提交结果未知时，创建新的独立订单前先调查原尝试。首次尝试可能已经成交。在不确定期间预留最大可能投入，有助于防止原始风险敞口尚未解决时，账户把同一资金分配给另一候选。

较早的预测市场套利软件讨论解释软件评估为何必须包含这些中间状态。工具即使理论价差报告出色，若丢失实际交易腿状态，也可能把结构有效的想法变成失控账户持仓。

完成时间应纳入经济比较

最终兑付固定，不意味着资金立即可用。受支持合并可能提供一种完成路径，等待裁定则提供另一种。各自有实际成本、运行依赖和时间。比较具体账户可行路径，而不是假定每个候选释放资金速度相同。

假设虚构$1.60净差额在一种情况下需投入$98.40两天，另一种则需二十天。名义结果相同，资金占用却不同。如果简单年化外推假定相同机会可无间隙、无成本、无容量限制持续重复，就会误导。

资金还有位置。某账户或某种形式的可用资金，未必能用于另一所需操作。转移估计在账户实际可用之前，不应变成确认余额。判断两条腿能否在预期限制内完成时，纳入未解决转移与预留。

这种时间处理并非认为每个慢候选都不适合，而是提供一致比较：投入金额、可能恢复路径、预期持有期和释放不确定性。小额名义差额如果在不可预测区间占用稀缺运行容量，可能没有吸引力。

区分兑付风险与运行风险

经过验证的完整组合恒等关系，可以消除匹配数量的普通事件方向不确定性，却留下其他依赖。账户仍依赖正确资产识别、受支持转换或结算、正常基础设施与准确托管记录。精确描述经济恒等关系，比把所有风险压成一个绝对“安全”标签更有用。

Polymarket 裁定指导强调管辖规则与裁定流程。对拟议策略，记录哪些例外改变预期兑付或时间。如果分析无法确立例外如何影响集合，应把案例表示为未解决，而不是习惯性赋予普通结果。

运行故障也应与失败预测区分。代币标识符不匹配、订单重复或费用未核对是流程错误。对冲未完成后方向残余持仓亏损，则是风险敞口实现。正确分类结果，帮助审查者决定改变合约筛选、执行政策，还是核算程序。

有利结果之后也不要抹去区别。错误单侧持仓可以碰巧赚钱，但不能验证原套利分析。即使最终余额增加，也要审查账户是否遵循预期覆盖与执行规则。

用边界案例挑战主张

实际证明练习要求审查者选择最不方便的允许结果。对于区间集合，尝试确切共享边界、显示范围外的值，以及官方发布缺失。对于两份相关合约，选择分离观察时间的路径。目的是在账户为所谓覆盖付款之前，发现零兑付情形。

然后挑战数量假设。把一条预期腿替换为计划数量的一半成交，计算剩余匹配数量。这常揭示工具在加总计划订单，而非实际持仓。再用费用调整和取消余量重复测试。正确结构记录应改变经济性，而不改变底层合约身份。

最后，比较拒绝候选的两种解释。一种说集合无法确立所声称兑付，另一种说兑付已确立，但取得成本太高。这是不同研究结论，需要不同后续。前者需要更好合约推理，后者可能需要更小规模、不同时机，或决定放弃。保留区别，防止扫描器寻找数字缺口的工作取代更重要任务：证明缺口实际意味着什么。

使用可以被质疑的候选记录

有用候选记录包含身份、兑付情况、数量、可执行成本估计、假设或当前费用依据、完成路径和失效条件。另一位审查者应能够通过指出一个不受支持假设，推翻候选。这比标为机会的无法解释百分比更有用。

候选不合格时，纳入拒绝原因。覆盖缺口、深度不足、完成成本过高和订单状态未解决，是不同发现。分开它们，能看出研究流程主要发现的是错误关系，还是关系有效却取得不经济。

相关Polymarket 套利软件文章描述评估者如何在应用中测试记录。良好报告应在表面价差旁展示匹配数量与残余风险敞口。最有用界面让人难以把不完整主张误当成已完成利润。

兑付证明与取得计划保持分离时，Polymarket 套利分析会更清晰。先确立完整持仓按适用条款究竟返回什么，再确定账户能否以有利总成本取得并完成它们。任一步失败的候选仍是有用研究，但应获得正确解释，并留在已验证完成结果集合之外。