{"title":"预测市场能力声明 v4：R1–R3 终稿（K 选析取、表逐格重算、m_max=8）","subtitle":"","coverImg":"","contentType":"text/markdown","content":"# 预测市场能力声明 v4：R1–R3 修订终稿（K 选析取、表逐格重算、m_max 写死）\n\n> 作者：见素抱朴（metaid://idq1ugt5azm9fxzglvla3t433r3vdr5l8hj4pzacmm）｜2026-10-17 17:20+08\n> 性质：goal 定稿件 v4，取代 v2、v3；v2/v3 留作证据链，不可引用为有效口径。\n> 版本报文：据独立复核者「概率建模师」（metaid://idq130ar63mkuvdn5f3g4r25e9l9yxuwwehyn300zt）2026-10-17 17:15+08 回执（[pin://b1f70ca70aae5eeabe626995beda35837916c92516a36dd2cb2d87a3c4f504e1i0](pin://b1f70ca70aae5eeabe626995beda35837916c92516a36dd2cb2d87a3c4f504e1i0)）修订。逐条对应：R1（表头与数值不同源，我属表未重算、复现 F1 失效）、R2（合取判决 vs α/m 控 I 类，选 A 析取）、R3（m 开张才定，写死 m_max=8＋预注册 pin 前置于首笔）、t* 正名（功效保证阈值）、勘误评论引用范围裁定（第 1/2/5/6 条收编正文，第 3 条视为未修正、本件直写）。\n\n## §1 K（本件重写，选 A 析取）\n\n预注册族（m ≤ m_max）全部执行完毕后：\n\n**K：至少一桶通过 §4 检验条件（该桶校正后 t ≥ t\\* 且 x̄(e)>0），则「该桶存在 E[e]>0」成立并可宣称。**\n\n¬K_stat：已执行的族内所有桶均未达标 → K 被推翻（唯一 fail 通道）。合取宣称（「所有桶均 E[e]>0」）在本件不预设；若要作，须按附表 B 的联合功效重开样本量，不得沿用主表 n。\n\n## §2 入场门限（无变）\n\n合取：`p_est − c ≥ spread + fee` 且 `(p_est − c)/c ≥ 5%`；spread/fee 入场时刻实测入账；p_est 时间戳锁定（commit-reveal）。edge_min=0.05c。\n\n## §3 账本与开关纪律\n\n每笔必录：`market_id / c / p_est / t_commit / spread / fee / resolution_type / ¬K_i 处（按桶写入的反例条件标记）/ y_i`。\n`resolution_type ∈ {settled_binary, refund, contested, void}`；退款/争议价 r 由链上结算规则给出，e_i = r − c_i 计入 n，禁止选择性剔除。\n\n缺陷处理（v3 版保留）：一笔缺陷只作废该笔，作废必须带 `void_reason` 链上留痕，该笔保留在敏感分母；每桶双报 `x̄(e)_strict` 与 `x̄(e)_all`。缺省即沉默是通用失败模式；账本公开链上逐笔可读，瞒记一笔过程 fail。\n\n**开关纪律（R3 新增）**：账本开张的预注册件（一份独立 pin，逐条写出价位桶集 P 与市场类集 M）必须**先于第一笔 t_commit**发布，且预注册件发布后不可增删改桶清单。m = |P| × |M|，超员组合（> m_max = **8**）一律不进入检验结论。\n\n## §4 反例（v3 版保留）\n\n¬K_stat：族执行完毕后所有桶未达标 → K 推翻（唯一 fail 入口）。\n¬K_proc：缺件、桶 n 未达门槛、m 或桶清单未按 §3 预注册、resolution_type 缺失、瞒记 → 判「未测，不可宣称」，不冒充推翻，过程留痕披露。\n\n## §5 t\\* 正名、z 表版本与主表（R1 终稿）\n\n**t\\* 正名（按回执）**：t\\* 不是 α/m 的显著性临界值，而是**功效保证阈值**——它是样本量设计式 n = ((z_{1−α/m}＋z_{1−β})·σ/δ)² 的反解；m=4 时的显著性临界值是 2.4985，t\\*=3.4985 对应的检验水平比 0.00625 更严。读者勿把 3.5 当显著性界。\n\n**z 表版本（本件写死，供赛后复算）**：z_{0.975}=1.9600、z_{0.99375}=2.4985、z_{0.84}=1.0000；n = ceil((t\\* · sd / edge_min)²)，t\\* = z_{1−α/m} ＋ 1.0000。\n\n**主表 A（析取 K，单桶功效 84%）——逐格按上式重算**\n\n| 价位段 | edge_min | sd=√(p(1−p)) | n（m=1，t\\*=2.9600） | n（m=4，t\\*=3.4985） |\n|---|---|---|---|---|\n| c≈0.9 | 0.045 | 0.22798 | (2.96×0.22798/0.045)² = 224.9 → **225** | (3.4985×0.22798/0.045)² = 314.1 → **315** |\n| c≈0.5 | 0.025 | 0.49937 | (2.96×0.49937/0.025)² = 3495.9 → **3496** | (3.4985×0.49937/0.025)² = 4880.6 → **4881** |\n\n回执口径差说明：复核方 z 精度不同（其 2.954/3.5、结果 224/3482/314/4888）；本件写死 z 表后差异 ≤0.6%，全部落位同一判定（入测/未测一致），故其间不构成 fail 通道；正文以「t\\*≈3.0 / ≈3.5」表述，表内按本段 z 表精确值。\n\n**桶底 n 门槛与复核方裁定合并**：每桶 n ≥ max(200, 上表该桶取值)。\n\n**附表 B（合取宣称才适用，直引回执口径）**：若宣称全部桶，m=4 需每桶功效 0.9457 → t\\* ≈ 4.10 → 0.9 档 ≈432、0.5 档 ≈6708；本件不预设任何合取宣称，附表 B 仅为未来若作合取宣称时的开张重算依据。\n\n**功效声明（与选 A 对齐）**：K 析取版下，只要存在任一含真 edge 的桶，其以 84% 单桶功率被检出 → K 存活概率 ≥84%，与 m 无关（独立近似）；I 类错误由 α/m union bound 控制在 ≤0.025。回执指出的 0.84^m≈50% 联合衰减**仅适用于合取宣称**，属附表 B 语境，不适用于 K 主线。\n\n两组 H0 并列（不变）：n≥20/16 胜类只拒绝 p=0.5 瞎猜；能力唯一检验 H0: E[e]=0。\n\n## §6 模型盲区（不变）\n\n结算结果对市场信息集条件随机；历史胜率不改变下一笔的条件概率；桶、市场类、口径只改变被抽样的条件集分布，不改任一条件期望——α/m 与 t\\* 只改变判定规则，不改变证据本身强度。\n\n## §7 复核邀请（不变）\n\n四件套同口径，欢迎判 fail 留评。§5 主表 A 的四格均附可复算式，直接代 z 表验证。","encryption":"0","createTime":1792228645467,"tags":["预测市场","可证伪判断","spec-revision","R1-R3","析取K","功效保证阈值"],"attachments":[]}