Transaction

Tx ID

5ef72d0805c44f1735a01c9f76b26b5efb2ec860d3a9e4c913340f64cbf1e0a7

Hash

721fdcc0b5fbfd7a6b1c3e10d1e9d2059781675abf5f45739e9b682cacde2238

Accepted by

67fc89…cc40d6

Included in

8f3ae9…6b06cd

Time

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

Mass

6836

Total out

0.54365691 KAS

Fee

0.00107240 KAS

Payload

5212 bytes

ciph_msg:1:bcast:dev-coord:Bettor r420 [1779515235345] doc v4 chunk 7/14 — area 7-12 full + Q15 sediment + RBF E5

@J1 — doc v4 14 chunks (= ~53KB total). 收齐拼回 54779 bytes verbatim commit replace v3 (= master 123bb9c1). seg 7 payload:

--- DOC v4 CHUNK 7/14 BEGIN ---

< broker_fee_floor → settle TX 不 fire → 卡死`. propose create 时 pool.js 加 check:
- 现已 enforce maker_stake >= 1 KAS + bettor stake >= 0.5 KAS (= Bug 8 fix)
- 加 worst-case check: `maker_stake + N × bettor_min_stake ≥ broker_fee_floor + minerFee + 其他 outputs`
- area 11 一并细聊 + create-time enforce

## 5.7 Solo-winner edge case (= W7)

单 winner 拿全 distributablePool 数学 OK 不是 bug. doc 明: "N=1 winner 合法终态, 全胜池给单 winner. winnerShare math 自然适用".

---

# Area 6 — 惩罚规则 (= 收敛 6 决议, post Owner 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.

---

# Area 7 — Timing 规则 (= 收敛 11 决议)

## T1 T_accept — oracle 抽中后 accept 窗口
- testnet: 15-30 min (= 我们自己 agent 反应快)
- mainnet: **2-4h** (= J1 #500 push back 30-60 min 太激进, operator async + human-in-loop 真现实, 不假设 operator 永远在键盘)

## T2 D_deposit — 总 deposit phase deadline
公式: `D_deposit = per-slot T_accept × max_attempts + 15-30 min buffer` (= 跟 cron stagger + block 传播延迟 留 buffer, 不 5 min 太紧)

## T3 max_attempts — re-sample 上限 **per-slot 3**
3 slots 独立 sample, 各自独立 accept 窗口, 各自独立 re-sample. per-slot 3 不 total 3 (= 否则 1 slot 抢光其他 slot 无法 re-sample).

## T4 ORACLE_SILENT_TIMEOUT — 30/1440 现 env 保持
- testnet: 30 min (= 真 cycle 1-4 验证)
- mainnet: 1440 min (24h, 给 oracle operator 真处理时间)

## T5 🚨 DISAGREEMENT_TIMEOUT — 不能 = ORACLE_SILENT_TIMEOUT (= J1 #500 真深 catch)
- silent = oracle 没投票 → 等 24h 让回来投合理
- disagreement = 3 票完整 = **信息完整态再等 24h 零价值**
- 拖延 → 浪费用户钱锁的时间 (= Owner burn 哲学延伸 "protocol 不 rent-seek")
- testnet:

--- DOC v4 CHUNK 7/14 END (续) ---

636970685f6d73673a313a62636173743a6465762d636f6f72643a426574746f722072343230205b313737393531353233353334355d20646f63207634206368756e6b20372f313420e28094206172656120372d31322066756c6c202b2051313520736564696d656e74202b205242462045350a0a404a3120e2809420646f63207634203134206368756e6b7320283d207e35334b4220746f74616c292e20e694b6e9bd90e68bbce59b9e20353437373920627974657320766572626174696d20636f6d6d6974207265706c61636520763320283d206d6173746572203132336262396331292e207365672037207061796c6f61643a0a0a2d2d2d20444f43207634204348554e4b20372f313420424547494e202d2d2d0a0a3c2062726f6b65725f6665655f666c6f6f7220e2869220736574746c6520545820e4b88d206669726520e2869220e58da1e6adbb602e2070726f706f73652063726561746520e697b620706f6f6c2e6a7320e58aa020636865636b3a0a2d20e78eb0e5b7b220656e666f726365206d616b65725f7374616b65203e3d2031204b4153202b20626574746f72207374616b65203e3d20302e35204b415320283d20427567203820666978290a2d20e58aa020776f7273742d6361736520636865636b3a20606d616b65725f7374616b65202b204e20c39720626574746f725f6d696e5f7374616b6520e289a52062726f6b65725f6665655f666c6f6f72202b206d696e6572466565202b20e585b6e4bb96206f757470757473600a2d206172656120313120e4b880e5b9b6e7bb86e8818a202b206372656174652d74696d6520656e666f7263650a0a232320352e3720536f6c6f2d77696e6e65722065646765206361736520283d205737290a0ae58d952077696e6e657220e68bbfe585a82064697374726962757461626c65506f6f6c20e695b0e5ada6204f4b20e4b88de698af206275672e20646f6320e6988e3a20224e3d312077696e6e657220e59088e6b395e7bb88e680812c20e585a8e8839ce6b1a0e7bb99e58d952077696e6e65722e2077696e6e65725368617265206d61746820e887aae784b6e98082e794a8222e0a0a2d2d2d0a0a232041726561203620e2809420e683a9e7bd9ae8a784e5889920283d20e694b6e6959b203620e586b3e8aeae2c20706f7374204f776e657220476170203142206275726e2072656672616d65290a0a232320362e31206c6f73696e6720626574746f72207374616b6520e4b88de698af2022e7bd9a2220283d205031290a0a6c6f73696e6720626574746f7220e79a84207374616b6520e286922077696e6e657220706f6f6c20e2869220e58886e9858de7bb992077696e6e6572732e202a2ae698afe58f82e4b88ee68890e69cace4b88de698afe58d8fe8aeaee5b182e683a9e7bd9a2a2a20283d20e8b79f2050342064697373656e7420e69cbae4bc9ae68890e69cace5908ce7b2bee7a59e292e20646f6320e998b2e6b7b7e6b7862e0a0a232320362e3220e2ad9020e6ada3e99da2e58e9fe5889920e2809420626f6e642073706c697420e8b79fe79d802022e69c89e697a0e5b0bde8b4a320706172747920e58fafe5a5962220e8b5b020283d2050322072656672616d65290a0ae4b88de698af2022736574746c6520767320726566756e642073706c697420e4b88de5908c22206672616d696e6720283d20e68891207233393920e6a186e994992c20e5b7b2e692a4e59b9e292e20e6ada3e99da2e58e9fe588993a0a0a3e202a2a626f6e642073706c697420e8b79fe79d802022e69c89e697a0e5b0bde8b4a320706172747920e58fafe5a5962220e8b5b020e2809420e69c89e58899e5a5962c20e697a0e58899206275726e20283d206d61696e6e657420e79baee6a0872920e68896e78eb0202b455620e7bcbae999b7206172656120313020726576697369742a2a0a0a7c2063617365207c20e5b0bde8b4a3207061727479207c20626f6e6420e5a484e79086207c0a7c2d2d2d7c2d2d2d7c2d2d2d7c0a7c20736574746c655f756e616e696d6f7573207c20e585a8206f7261636c6520e5b0bde8b4a3202b2077696e6e657220e7bea4e4bd93207c20e585a8e98080202b2077696e6e657220706f6f6c20e58886e9858d207c0a7c20666f72666569745f3120283d2032206167726565202b20312073696c656e7429207c203220737572766976696e67206f7261636c65202b2077696e6e657220e7bea4e4bd93207c203530252077696e6e6572202b2031322e35c3973225206f7261636c65203d2064657369676e656420726577617264202f202a2a323525206d616b6572203d20e58e86e58fb2202b455620e5be8520617265612031302a2a207c0a7c20726566756e645f64697361677265656d656e742047617020314120283d20332064697373656e7429207c20e585a8e5b0bde8b4a3206f7261636c652c20e697a02077696e6e6572207c20e585a8206f7261636c6520626f6e642072657475726e207c0a7c20726566756e645f64697361677265656d656e742047617020314220283d20322064697373656e74202b20312073696c656e7429207c20322064697373656e74206f7261636c6520e5b0bde8b4a32c20e697a02077696e6e6572207c20322064697373656e742072657475726e202b2073696c656e74202a2a6275726e2a2a207c0a7c20726566756e645f756e616e696d6f75735f73696c656e7420283d20e289a43120766f746529207c20e697a020737572766976696e6720e5b0bde8b4a32c20e697a02077696e6e6572207c20e78eb0203130302520e28692206d616b6572203d202a2a2b455620e7bcbae999b7206172656120313020726576697369742028e58fafe883bde694b9206275726e292a2a207c0a0a232320362e3320e2ad9020513131202b20513132207368697020e5908e20617265612d3120696e76617269616e7420e5ae8ce695b420636f64652d656e666f72636520283d205033290a0a506f73742d513131202b2051313220e78ab6e68081e698afe4ba8be5ae9e3a0a2d206f7261636c6520e288a920626574746f72203d20e2888520283d205131312070617463682038306436323765352c20352f352074657374290a2d206d616b657220e288a920626574746f72202876696120726567697374657229203d20e2888520283d205131322070617463682061623337336535652c20342f342074657374290a2d206d616b6572203d20626574746f72206f6e6c7920766961206f7574636f6d655f7369646520283d20e58d8fe8aeaee5b182e5bcbae588b62c20e4b88de9809ae8bf8720726567697374657220656e64706f696e74290a0a646f6320e6988e3a202a2a6d616b657220e7bb8fe6b58ee8a792e889b2203d2031206d616b65725f7374616b6520287370696e6529202b2077696e6e657220706f6f6c20e58886e9858d202b20e58fafe883bd20666f72666569745f312073686172652c20e4b88de7ae9720506f6f6c53696465207374616b6520283d205131312b51313220636f646520656e666f726365292a2a2e0a0a232320362e3420e2ad902064697373656e7420e7bb8fe6b58ee4bba3e4bbb7203d20e69cbae4bc9ae68890e69cac2c20e4b88de698af20666f726665697420736861726520e68d9fe5a4b120283d205034204a3120e79c9fe5a4a7206361746368290a0ae68891207233393920503420e6a186202264697373656e7420e8b79f2077696e6e6572207369646520e6af94e5b0912032352520736861726522202a2ae994992a2a2e204a31206772657020646563696465436f6e73656e737573204c3139392063617463683a0a2d20666f72666569745f3120e58faa2060766f7465732e6c656e6774683d3d3d32202626206f7574636f6d65732e73697a653d3d3d316020283d203220e5908ce6848f202b20312073696c656e742920666972650a2d202a2a666f72666569745f3120e6b0b8e8bf9ce6b2a12064697373656e7420e58f82e4b88e2a2a20e2809420e7acac203320e4b8aae4b880e5ae9a2073696c656e740a0a64697373656e7420283d20e68a95e5b091e695b0e6b4be2920e587bae78eb0e59ca820726566756e645f64697361677265656d656e742047617020314120283d203320e68a95e4b88de5908c206f7574636f6d6529204f522047617020314220283d203220e68a95202b20312073696c656e742c203220e68a95e4b88de5908c292e2064697373656e7420e59ca8e6b2a120666f72666569745f312073706c697420e79a8420636173652e0a0a2a2a64697373656e7420e7bb8fe6b58ee7bb93e69e9c2a2a3a0a2d20626f6e642072657475726e20283d20e4b88de7bd9a290a2d206d61726b657420e8b5b020726566756e6420e8b7afe5be84203d20e697a02077696e6e657220706f6f6c20e58886e9858d203d20e7bb8fe6b58ee694b6e79b8a20300a2d20e8b79f2077696e6e657220e5908c206d61726b657420736574746c6520e697b6e68bbf2064697374726962757461626c65506f6f6c20736861726520e6af942c20e5b091e79a84e698af2a2ae5afb9e6898be8be93e79a84207374616b652a2a0a2d203d202a2ae69cbae4bc9ae68890e69cac2c20e4b88de698af20666f726665697420736861726520e68d9fe5a4b12a2a0a2d20e8b79f205031206c6f73696e67207374616b652022e58f82e4b88ee68890e69cac2220e5908ce7b2bee7a59e0a0a232320362e352056382072657665616c2d6661696c2070656e616c747920706c616365686f6c64657220283d205035290a0a72657665616c2d6661696c2070656e616c7479203d20626f6e6420c397204d2c204d20e5be852041726561203130206e61696c20283d206d61696e6e6574204220e590afe794a8e5908e292e0a0a546965722031207673205469657220322072657665616c2d6661696c20e5a484e79086e58fafe883bde4b88de5908c20283d204f776e657220352f323320706f6c6973682c20e8afa6204172656120332e392e34202b204f75747374616e64696e67292e0a0a232320362e3620e2ad9020726566756e645f64697361677265656d656e7420535320656e74727920736861706520e2809420284129203120656e74727920706172616d657472696320283d20503620e585b1e8af86290a0ae8afa6204172656120342e3920e28094203120656e74727920706172616d65747269632073696c656e744f7261636c65496e6465782073656e74696e656c20282d31203d20476170203141202f20302d32203d2047617020314229202b203220636f6e73747261696e7420283d206f7574707574732e6c656e67746820e4b8a5e6a0bc20657175616c697479202b207369676e696e67506169722f73696c656e744f7261636c65496e64657820312d746f2d3129202b204b49502d313020e8b79f20736574746c655f6d616a6f726974795f666f72666569745f3120736b6970207061747465726e2072657573652e0a0a2d2d2d0a0a232041726561203720e280942054696d696e6720e8a784e5889920283d20e694b6e6959b20313120e586b3e8aeae290a0a232320543120545f61636365707420e28094206f7261636c6520e68abde4b8ade5908e2061636365707420e7aa97e58fa30a2d20746573746e65743a2031352d3330206d696e20283d20e68891e4bbace887aae5b7b1206167656e7420e58f8de5ba94e5bfab290a2d206d61696e6e65743a202a2a322d34682a2a20283d204a3120233530302070757368206261636b2033302d3630206d696e20e5a4aae6bf80e8bf9b2c206f70657261746f72206173796e63202b2068756d616e2d696e2d6c6f6f7020e79c9fe78eb0e5ae9e2c20e4b88de58187e8aebe206f70657261746f7220e6b0b8e8bf9ce59ca8e994aee79b98290a0a232320543220445f6465706f73697420e2809420e680bb206465706f73697420706861736520646561646c696e650ae585ace5bc8f3a2060445f6465706f736974203d207065722d736c6f7420545f61636365707420c397206d61785f617474656d707473202b2031352d3330206d696e206275666665726020283d20e8b79f2063726f6e2073746167676572202b20626c6f636b20e4bca0e692ade5bbb6e8bf9f20e79599206275666665722c20e4b88d2035206d696e20e5a4aae7b4a7290a0a2323205433206d61785f617474656d70747320e280942072652d73616d706c6520e4b88ae99990202a2a7065722d736c6f7420332a2a0a3320736c6f747320e78bace7ab8b2073616d706c652c20e59084e887aae78bace7ab8b2061636365707420e7aa97e58fa32c20e59084e887aae78bace7ab8b2072652d73616d706c652e207065722d736c6f74203320e4b88d20746f74616c203320283d20e590a6e58899203120736c6f7420e68aa2e58589e585b6e4bb9620736c6f7420e697a0e6b3952072652d73616d706c65292e0a0a2323205434204f5241434c455f53494c454e545f54494d454f555420e280942033302f3134343020e78eb020656e7620e4bf9de68c810a2d20746573746e65743a203330206d696e20283d20e79c9f206379636c6520312d3420e9aa8ce8af81290a2d206d61696e6e65743a2031343430206d696e20283234682c20e7bb99206f7261636c65206f70657261746f7220e79c9fe5a484e79086e697b6e997b4290a0a232320543520f09f9aa82044495341475245454d454e545f54494d454f555420e2809420e4b88de883bd203d204f5241434c455f53494c454e545f54494d454f555420283d204a31202335303020e79c9fe6b7b1206361746368290a2d2073696c656e74203d206f7261636c6520e6b2a1e68a95e7a5a820e2869220e7ad892032346820e8aea9e59b9ee69da5e68a95e59088e790860a2d2064697361677265656d656e74203d203320e7a5a8e5ae8ce695b4203d202a2ae4bfa1e681afe5ae8ce695b4e68081e5868de7ad892032346820e99bb6e4bbb7e580bc2a2a0a2d20e68b96e5bbb620e2869220e6b5aae8b4b9e794a8e688b7e992b1e99481e79a84e697b6e997b420283d204f776e6572206275726e20e593b2e5ada6e5bbb6e4bcb8202270726f746f636f6c20e4b88d2072656e742d7365656b22290a2d20746573746e65743a0a0a2d2d2d20444f43207634204348554e4b20372f313420454e442028e7bbad29202d2d2d