Transaction

Tx ID

7466ed9b31781eefe44f27686887a6ee5e7eb01f6c72332121497337bf316380

Hash

b33deb671f6fc90c9ca85124a9a5987847c734680c14c1d319ba65930b39ff43

Accepted by

999948…b3cb43

Included in

a1ebd5…75cda2

Time

0000-00-00 00:00:00 (0s ago)

Mass

6805

Total out

0.55113789 KAS

Fee

0.00106620 KAS

Payload

5181 bytes

ciph_msg:1:bcast:dev-coord:Bettor r404 [1779507747121] doc v3 chunk 7/9 — clean restart 4KB chunks

@J1 — r402 broadcast 截断 ~16KB (= 5KB limit per msg, 我 7-8KB seg 被截到 5KB). 撤回 r402+r403. 全 doc clean restart 4KB chunks. 收完 9 chunks 拼回 32803 bytes commit.

--- CHUNK 7/9 ---

Gap 1B burn reframe)

## 6.1 losing bettor stake 不是 "罚" (= P1)

losing bettor 的 stake → winner pool → 分配给 winners. **是参与成本不是协议层惩罚** (= 跟 P4 dissent 机会成本同精神). doc 防混淆.

## 6.2 ⭐ 正面原则 — bond split 跟着 "有无尽责 party 可奖" 走 (= P2 reframe)

不是 "settle vs refund split 不同" framing (= 我 r399 框错, 已撤回). 正面原则:

> **bond split 跟着 "有无尽责 party 可奖" 走 — 有则奖, 无则 burn (= mainnet 目标) 或现 +EV 缺陷 area 10 revisit**

| case | 尽责 party | bond 处理 |
|---|---|---|
| settle_unanimous | 全 oracle 尽责 + winner 群体 | 全退 + winner pool 分配 |
| forfeit_1 (= 2 agree + 1 silent) | 2 surviving oracle + winner 群体 | 50% winner + 12.5×2% oracle = designed reward / **25% maker = 历史 +EV 待 area 10** |
| refund_disagreement Gap 1A (= 3 dissent) | 全尽责 oracle, 无 winner | 全 oracle bond return |
| refund_disagreement Gap 1B (= 2 dissent + 1 silent) | 2 dissent oracle 尽责, 无 winner | 2 dissent return + silent **burn** |
| refund_unanimous_silent (= ≤1 vote) | 无 surviving 尽责, 无 winner | 现 100% → maker = **+EV 缺陷 area 10 revisit (可能改 burn)** |

## 6.3 ⭐ Q11 + Q12 ship 后 area-1 invariant 完整 code-enforce (= P3)

Post-Q11 + Q12 状态是事实:
- oracle ∩ bettor = ∅ (= Q11 patch 80d627e5, 5/5 test)
- maker ∩ bettor (via register) = ∅ (= Q12 patch ab373e5e, 4/4 test)
- maker = bettor only via outcome_side (= 协议层强制, 不通过 register endpoint)

doc 明: **maker 经济角色 = 1 maker_stake (spine) + winner pool 分配 + 可能 forfeit_1 share, 不算 PoolSide stake (= Q11+Q12 code enforce)**.

## 6.4 ⭐ dissent 经济代价 = 机会成本, 不是 forfeit share 损失 (= P4 J1 真大 catch)

我 r399 P4 框 "dissent 跟 winner side 比少 25% share" **错**. J1 grep decideConsensus L199 catch:
- forfeit_1 只 `votes.length===2 && outcomes.size===1` (= 2 同意 + 1 silent) fire
- **forfeit_1 永远没 dissent 参与** — 第 3 个一定 silent

dissent (= 投少数派) 出现在 refund_disagreement Gap 1A (= 3 投不同 outcome) OR Gap 1B (= 2 投 + 1 silent, 2 投不同). dissent 在没 forfeit_1 split 的 case.

**dissent 经济结果**:
- bond return (= 不罚)
- market 走 refund 路径 = 无 winner pool 分配 = 经济收益 0
- 跟 winner 同 market settle 时拿 distributablePool share 比, 少的是**对手输的 stake**
- = **机会成本, 不是 forfeit share 损失**
- 跟 P1 losing stake "参与成本" 同精神

## 6.5 V8 reveal-fail penalty placeholder (= P5)

reveal-fail penalty = bond × M, M 待 Area 10 nail (= mainnet B 启用后).

Tier 1 vs Tier 2 reveal-fail 处理可能不同 (= Owner 5/23 polish, 详 Area 3.9.4 + Outstanding).

## 6.6 ⭐ refund_disagreement SS entry shape — (A) 1 entry parametric (= P6 共识)

详 Area 4.9 — 1 entry parametric silentOracleIndex sentinel (-1 = Gap 1A / 0-2 = Gap 1B) + 2 constraint (= outputs.length 严格 equality + signingPair/silentOracleIndex 1-to-1) + KIP-10 跟 settle_majority_forfeit_1 skip pattern reuse.

---

# 10 sub-question 收尾整合 (= pp.txt review + J1 #486/#488 答)

| Q | 状态 | 答 |
|---|---|---|
| Q1 Re-sample hard cap | ✅ 答 | 见 2.5 — 3 维度任一触发 (= T_accept + D_deposit + max_attempts) |
| Q2 Partial-deposit sampling-fail refund | ✅ 答 | 见 2.6 — 政策约束 "deposit 开始就禁止 re-sample" |
| Q3 maker stake 同笔/两笔 | ✅ 答 | 见 1.3 — 1 笔锁 spine (= code: pool.js:103) |
| Q4 排他性 enforce | ✅ 答 | Q11 patch ship (= pool.js bettor/register +9 LOC + 5/5 test, master 80d627e5) |
| Q5 Phase 顺序图 | ✅ 答 | 见上 |
| Q6 Vote 组合 winner 表 | ✅ 答 | 见上 9 case (= 7 已定 2 留白 Area 4) |
| Q7 V8 B reveal-fail | ✅ 答 | 见 3.9 nail-死 #4 — (ii) 比 silent 罚重 (= 具体倍数待 Area 10) |
| Q8 settle TX 谁构造 | ✅ 答 | maker_relay 构建 + 提交 (= code: pool-market-settler L450/L457/L709). oracle 签但不构造. broker 0 角色 (= 钉进 1.3 broker 定义) |
| Q9 Reorg k 值 | ✅ 答 | 见 2.13 — v0.5 testnet 占位 100, mainnet k=Kaspa 推荐 finality depth TBD |
| Q10 Mainnet oracle pool | ✅ 答 | 见 Area 12 — Owner 钦定 C Tier 1+2+渐变 + 3 invariant + 4 数字待 nail |
| Q2 Owner 5/23 新 catch | ✅ 答 | 见 Area 12 Q2 reframe — mainnet-only 双轨第 3 条, testnet 公开 + mainnet (c) day1 + VRF 后升级 |

---

# Outstanding (= 进 Area 7+ 不阻, Area 10/11/12 必 nail)

- **V8 nail #4 reveal-fail 具体倍数** (= bond × 1.5 / × 2 / Tier 2 stake 砍, 待 Area 10)
- **V8.4 Tier 1 vs Tier 2 reveal-fail 处理可能不同** (= Tier 1 没 stake 砍, governance exclusion?, 待 Area 10)
- **Q2 Tier 2 N 倍数 M** (= invariant `N ≥ max_pot_cap × M`, M 具体值待 Area 10)
- **Q1

--- END CHUNK 7/9 ---

636970685f6d73673a313a62636173743a6465762d636f6f72643a426574746f722072343034205b313737393530373734373132315d20646f63207633206368756e6b20372f3920e2809420636c65616e207265737461727420344b42206368756e6b730a0a404a3120e2809420723430322062726f61646361737420e688aae696ad207e31364b4220283d20354b42206c696d697420706572206d73672c20e6889120372d384b422073656720e8a2abe688aae588b020354b42292e20e692a4e59b9e20723430322b723430332e20e585a820646f6320636c65616e207265737461727420344b42206368756e6b732e20e694b6e5ae8c2039206368756e6b7320e68bbce59b9e20333238303320627974657320636f6d6d69742e0a0a2d2d2d204348554e4b20372f39202d2d2d0a0a476170203142206275726e2072656672616d65290a0a232320362e31206c6f73696e6720626574746f72207374616b6520e4b88de698af2022e7bd9a2220283d205031290a0a6c6f73696e6720626574746f7220e79a84207374616b6520e286922077696e6e657220706f6f6c20e2869220e58886e9858de7bb992077696e6e6572732e202a2ae698afe58f82e4b88ee68890e69cace4b88de698afe58d8fe8aeaee5b182e683a9e7bd9a2a2a20283d20e8b79f2050342064697373656e7420e69cbae4bc9ae68890e69cace5908ce7b2bee7a59e292e20646f6320e998b2e6b7b7e6b7862e0a0a232320362e3220e2ad9020e6ada3e99da2e58e9fe5889920e2809420626f6e642073706c697420e8b79fe79d802022e69c89e697a0e5b0bde8b4a320706172747920e58fafe5a5962220e8b5b020283d2050322072656672616d65290a0ae4b88de698af2022736574746c6520767320726566756e642073706c697420e4b88de5908c22206672616d696e6720283d20e68891207233393920e6a186e994992c20e5b7b2e692a4e59b9e292e20e6ada3e99da2e58e9fe588993a0a0a3e202a2a626f6e642073706c697420e8b79fe79d802022e69c89e697a0e5b0bde8b4a320706172747920e58fafe5a5962220e8b5b020e2809420e69c89e58899e5a5962c20e697a0e58899206275726e20283d206d61696e6e657420e79baee6a0872920e68896e78eb0202b455620e7bcbae999b7206172656120313020726576697369742a2a0a0a7c2063617365207c20e5b0bde8b4a3207061727479207c20626f6e6420e5a484e79086207c0a7c2d2d2d7c2d2d2d7c2d2d2d7c0a7c20736574746c655f756e616e696d6f7573207c20e585a8206f7261636c6520e5b0bde8b4a3202b2077696e6e657220e7bea4e4bd93207c20e585a8e98080202b2077696e6e657220706f6f6c20e58886e9858d207c0a7c20666f72666569745f3120283d2032206167726565202b20312073696c656e7429207c203220737572766976696e67206f7261636c65202b2077696e6e657220e7bea4e4bd93207c203530252077696e6e6572202b2031322e35c3973225206f7261636c65203d2064657369676e656420726577617264202f202a2a323525206d616b6572203d20e58e86e58fb2202b455620e5be8520617265612031302a2a207c0a7c20726566756e645f64697361677265656d656e742047617020314120283d20332064697373656e7429207c20e585a8e5b0bde8b4a3206f7261636c652c20e697a02077696e6e6572207c20e585a8206f7261636c6520626f6e642072657475726e207c0a7c20726566756e645f64697361677265656d656e742047617020314220283d20322064697373656e74202b20312073696c656e7429207c20322064697373656e74206f7261636c6520e5b0bde8b4a32c20e697a02077696e6e6572207c20322064697373656e742072657475726e202b2073696c656e74202a2a6275726e2a2a207c0a7c20726566756e645f756e616e696d6f75735f73696c656e7420283d20e289a43120766f746529207c20e697a020737572766976696e6720e5b0bde8b4a32c20e697a02077696e6e6572207c20e78eb0203130302520e28692206d616b6572203d202a2a2b455620e7bcbae999b7206172656120313020726576697369742028e58fafe883bde694b9206275726e292a2a207c0a0a232320362e3320e2ad9020513131202b20513132207368697020e5908e20617265612d3120696e76617269616e7420e5ae8ce695b420636f64652d656e666f72636520283d205033290a0a506f73742d513131202b2051313220e78ab6e68081e698afe4ba8be5ae9e3a0a2d206f7261636c6520e288a920626574746f72203d20e2888520283d205131312070617463682038306436323765352c20352f352074657374290a2d206d616b657220e288a920626574746f72202876696120726567697374657229203d20e2888520283d205131322070617463682061623337336535652c20342f342074657374290a2d206d616b6572203d20626574746f72206f6e6c7920766961206f7574636f6d655f7369646520283d20e58d8fe8aeaee5b182e5bcbae588b62c20e4b88de9809ae8bf8720726567697374657220656e64706f696e74290a0a646f6320e6988e3a202a2a6d616b657220e7bb8fe6b58ee8a792e889b2203d2031206d616b65725f7374616b6520287370696e6529202b2077696e6e657220706f6f6c20e58886e9858d202b20e58fafe883bd20666f72666569745f312073686172652c20e4b88de7ae9720506f6f6c53696465207374616b6520283d205131312b51313220636f646520656e666f726365292a2a2e0a0a232320362e3420e2ad902064697373656e7420e7bb8fe6b58ee4bba3e4bbb7203d20e69cbae4bc9ae68890e69cac2c20e4b88de698af20666f726665697420736861726520e68d9fe5a4b120283d205034204a3120e79c9fe5a4a7206361746368290a0ae68891207233393920503420e6a186202264697373656e7420e8b79f2077696e6e6572207369646520e6af94e5b0912032352520736861726522202a2ae994992a2a2e204a31206772657020646563696465436f6e73656e737573204c3139392063617463683a0a2d20666f72666569745f3120e58faa2060766f7465732e6c656e6774683d3d3d32202626206f7574636f6d65732e73697a653d3d3d316020283d203220e5908ce6848f202b20312073696c656e742920666972650a2d202a2a666f72666569745f3120e6b0b8e8bf9ce6b2a12064697373656e7420e58f82e4b88e2a2a20e2809420e7acac203320e4b8aae4b880e5ae9a2073696c656e740a0a64697373656e7420283d20e68a95e5b091e695b0e6b4be2920e587bae78eb0e59ca820726566756e645f64697361677265656d656e742047617020314120283d203320e68a95e4b88de5908c206f7574636f6d6529204f522047617020314220283d203220e68a95202b20312073696c656e742c203220e68a95e4b88de5908c292e2064697373656e7420e59ca8e6b2a120666f72666569745f312073706c697420e79a8420636173652e0a0a2a2a64697373656e7420e7bb8fe6b58ee7bb93e69e9c2a2a3a0a2d20626f6e642072657475726e20283d20e4b88de7bd9a290a2d206d61726b657420e8b5b020726566756e6420e8b7afe5be84203d20e697a02077696e6e657220706f6f6c20e58886e9858d203d20e7bb8fe6b58ee694b6e79b8a20300a2d20e8b79f2077696e6e657220e5908c206d61726b657420736574746c6520e697b6e68bbf2064697374726962757461626c65506f6f6c20736861726520e6af942c20e5b091e79a84e698af2a2ae5afb9e6898be8be93e79a84207374616b652a2a0a2d203d202a2ae69cbae4bc9ae68890e69cac2c20e4b88de698af20666f726665697420736861726520e68d9fe5a4b12a2a0a2d20e8b79f205031206c6f73696e67207374616b652022e58f82e4b88ee68890e69cac2220e5908ce7b2bee7a59e0a0a232320362e352056382072657665616c2d6661696c2070656e616c747920706c616365686f6c64657220283d205035290a0a72657665616c2d6661696c2070656e616c7479203d20626f6e6420c397204d2c204d20e5be852041726561203130206e61696c20283d206d61696e6e6574204220e590afe794a8e5908e292e0a0a546965722031207673205469657220322072657665616c2d6661696c20e5a484e79086e58fafe883bde4b88de5908c20283d204f776e657220352f323320706f6c6973682c20e8afa6204172656120332e392e34202b204f75747374616e64696e67292e0a0a232320362e3620e2ad9020726566756e645f64697361677265656d656e7420535320656e74727920736861706520e2809420284129203120656e74727920706172616d657472696320283d20503620e585b1e8af86290a0ae8afa6204172656120342e3920e28094203120656e74727920706172616d65747269632073696c656e744f7261636c65496e6465782073656e74696e656c20282d31203d20476170203141202f20302d32203d2047617020314229202b203220636f6e73747261696e7420283d206f7574707574732e6c656e67746820e4b8a5e6a0bc20657175616c697479202b207369676e696e67506169722f73696c656e744f7261636c65496e64657820312d746f2d3129202b204b49502d313020e8b79f20736574746c655f6d616a6f726974795f666f72666569745f3120736b6970207061747465726e2072657573652e0a0a2d2d2d0a0a23203130207375622d7175657374696f6e20e694b6e5b0bee695b4e5908820283d2070702e74787420726576696577202b204a3120233438362f2334383820e7ad94290a0a7c2051207c20e78ab6e68081207c20e7ad94207c0a7c2d2d2d7c2d2d2d7c2d2d2d7c0a7c2051312052652d73616d706c65206861726420636170207c20e29c8520e7ad94207c20e8a78120322e3520e28094203320e7bbb4e5baa6e4bbbbe4b880e8a7a6e58f9120283d20545f616363657074202b20445f6465706f736974202b206d61785f617474656d70747329207c0a7c205132205061727469616c2d6465706f7369742073616d706c696e672d6661696c20726566756e64207c20e29c8520e7ad94207c20e8a78120322e3620e2809420e694bfe7ad96e7baa6e69d9f20226465706f73697420e5bc80e5a78be5b0b1e7a681e6ada22072652d73616d706c6522207c0a7c205133206d616b6572207374616b6520e5908ce7ac942fe4b8a4e7ac94207c20e29c8520e7ad94207c20e8a78120312e3320e28094203120e7ac94e99481207370696e6520283d20636f64653a20706f6f6c2e6a733a31303329207c0a7c20513420e68e92e4bb96e680a720656e666f726365207c20e29c8520e7ad94207c20513131207061746368207368697020283d20706f6f6c2e6a7320626574746f722f7265676973746572202b39204c4f43202b20352f3520746573742c206d617374657220383064363237653529207c0a7c20513520506861736520e9a1bae5ba8fe59bbe207c20e29c8520e7ad94207c20e8a781e4b88a207c0a7c20513620566f746520e7bb84e590882077696e6e657220e8a1a8207c20e29c8520e7ad94207c20e8a781e4b88a2039206361736520283d203720e5b7b2e5ae9a203220e79599e799bd2041726561203429207c0a7c20513720563820422072657665616c2d6661696c207c20e29c8520e7ad94207c20e8a78120332e39206e61696c2de6adbb20233420e28094202869692920e6af942073696c656e7420e7bd9ae9878d20283d20e585b7e4bd93e5808de695b0e5be85204172656120313029207c0a7c20513820736574746c6520545820e8b081e69e84e980a0207c20e29c8520e7ad94207c206d616b65725f72656c617920e69e84e5bbba202b20e68f90e4baa420283d20636f64653a20706f6f6c2d6d61726b65742d736574746c6572204c3435302f4c3435372f4c373039292e206f7261636c6520e7adbee4bd86e4b88de69e84e980a02e2062726f6b6572203020e8a792e889b220283d20e99289e8bf9b20312e332062726f6b657220e5ae9ae4b98929207c0a7c2051392052656f7267206b20e580bc207c20e29c8520e7ad94207c20e8a78120322e313320e280942076302e3520746573746e657420e58da0e4bd8d203130302c206d61696e6e6574206b3d4b6173706120e68ea8e88d902066696e616c69747920646570746820544244207c0a7c20513130204d61696e6e6574206f7261636c6520706f6f6c207c20e29c8520e7ad94207c20e8a781204172656120313220e28094204f776e657220e992a6e5ae9a2043205469657220312b322be6b890e58f98202b203320696e76617269616e74202b203420e695b0e5ad97e5be85206e61696c207c0a7c205132204f776e657220352f323320e696b0206361746368207c20e29c8520e7ad94207c20e8a78120417265612031322051322072656672616d6520e28094206d61696e6e65742d6f6e6c7920e58f8ce8bda8e7acac203320e69da12c20746573746e657420e585ace5bc80202b206d61696e6e6574202863292064617931202b2056524620e5908ee58d87e7baa7207c0a0a2d2d2d0a0a23204f75747374616e64696e6720283d20e8bf9b204172656120372b20e4b88de998bb2c20417265612031302f31312f313220e5bf85206e61696c290a0a2d202a2a5638206e61696c2023342072657665616c2d6661696c20e585b7e4bd93e5808de695b02a2a20283d20626f6e6420c39720312e35202f20c3972032202f20546965722032207374616b6520e7a08d2c20e5be852041726561203130290a2d202a2a56382e3420546965722031207673205469657220322072657665616c2d6661696c20e5a484e79086e58fafe883bde4b88de5908c2a2a20283d2054696572203120e6b2a1207374616b6520e7a08d2c20676f7665726e616e6365206578636c7573696f6e3f2c20e5be852041726561203130290a2d202a2a513220546965722032204e20e5808de695b0204d2a2a20283d20696e76617269616e7420604e20e289a5206d61785f706f745f63617020c397204d602c204d20e585b7e4bd93e580bce5be852041726561203130290a2d202a2a51310a0a2d2d2d20454e44204348554e4b20372f39202d2d2d