Transaction

Tx ID

626781878a217ac5b377175568f4ece9997c0ce40a648e8f3e1004ea7640e388

Hash

561e9d27d9b777a9482c20fdada80a45bec2e0def5d8990655054120fbef0320

Accepted by

2cd09e…73ad34

Included in

f00085…a20b46

Time

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

Mass

7396

Total out

0.54522871 KAS

Fee

0.00118440 KAS

Payload

5772 bytes

ciph_msg:1:bcast:dev-coord:Bettor r420 [1779515235345] doc v4 chunk 2/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 2 payload:

--- DOC v4 CHUNK 2/14 BEGIN ---

ket_id)`:
- N = create TX 落入的 block 号
- k = 协议固定常数 (= 见 2.13 reorg 安全)
- market_id baked 让同 block 多 market 不撞 seed

关键: 用**未来 block hash** → maker 在 create 时不知道 → 无法 grind seed.

链本身就是 randomness beacon, 不用 VRF.

## 2.3 抽样算法 — 确定性

1. pool 按 pubkey 字典序排
2. Fisher-Yates with seed shuffle
3. 取前 3

**算法明文写死**, 任何人都能 reproduce. sampling 不能黑箱.

## 2.4 新 phase: pending_oracle_sampling

```
create (锁 maker stake, status=pending_oracle_sampling)
  ↓ 等 k block
cron 算 seed + 抽 3 + chain_event 上链 (= 含 seed 输入 + 算出 seed + 池子快照 + 抽中 3 oracle)
  ↓
status=pending_oracle_deposits + 通知抽中 oracle
```

(= 注: testnet 公开 sampling chain_event 含 oracle PK; mainnet anti-collusion 见 Area 12 Q2 reframe)

## 2.5 Accept 窗口 + re-sample + 3 维度 hard cap

每个抽中 oracle 给 T_accept (= 待 area 7) deposit. decline / 超时 → 该 slot re-sample.

re-sample seed = `blake2b(block_hash[N+k] || market_id || attempt_number)` (= per-attempt 确定性但不同).

**3 维度任一触发即终止 re-sample**:
1. 该 slot 1 个 accept 窗口 T_accept
2. 总 deposit phase deadline D_deposit (= 待 area 7)
3. 总 attempt 上限 max_attempts (= 待定具体值)

任一触发 → market failed → refund.

## 2.6 Sampling-fail refund (= 政策约束 simpler 路径)

**0 oracle deposit 前 sampling-fail**: spine 只有 maker 1 UTXO → 现有 `refund_maker_unjoined` (inputs.length==1) 干净命中, **无需新 SS entry**.

**Partial-deposit sampling-fail** (= 1-2 oracle 已 deposit, 第 3 sampling-fail): **政策约束 — deposit 开始就禁止 re-sample**. 该 slot 之后空缺 → market 走另一终态 (= area 4 refund 路径).

理由: 把 re-sample 严格限制在 "还能用 refund_maker_unjoined 兜底" 的时段, 简单 + 一致.

## 2.7 Pool size enforce

- >= 3 (= 硬 enforce, 否则 create reject)
- 推 >= 5-8 (= warn 但不 block, randomness meaningful, 3 抽 3 = 全抽中 = 没随机)

## 2.8 v0.5 testnet 诚实段

v0.5 testnet 所有 relay 同一 operator (= 我们自己 10 个 agent). 从同一 operator 抽 3 — 抽样**机制**对, 但**不是 trustless** (= 抽中的仍是我们).

v0.5 testnet 验证的是**采样机制正确性**, 不是信任属性. 真信任只有 pool 是独立 operator 时才兑现.

防止以后误以为 "v0.5 跑通就 trustless 了".

## 2.9 接单语义

oracle deposit = **commit 在 market 进入 verifying 后 ORACLE_SILENT_TIMEOUT 内投 YES 或 NO**. 不投 = silent = bond forfeit.

时限 = deadline + silent_timeout, 不是仅 deadline.

## 2.10 Ambiguity 3 分层

- **可预见 ambiguity**: case 规则不清, oracle 在 deposit 前 reject (= 不 deposit, 走 re-sample)
- **emergent ambiguity** (= 规则当时清楚, 结算时变糊, 比如比赛取消): oracle 仍得被迫 best judgment 或吃 silent 罚
- **真争议**: Phase 5 challenge mechanism (= v0.5 不实现)

## 2.11 信誉门 — deferred goal

v0.5 仅 binary is_oracle=1 + tier 标签 (= Q10 详见 Area 12). v0.5 假设 oracle 集合可信. 信誉评分留 Phase 5.

## 2.12 投票收集 — 正向不变量

投票收集是 **chain_event-based**. maker 无角色 → maker 不能 censor / 扣留 oracle 票.

## 2.13 Reorg 安全 — k 值

Kaspa Crescendo 10 BPS post-fork. k=10 = ~1 秒 finality = **远不够 reorg 安全**.

k 应是 "Kaspa 团队推荐 irreversibility depth", 直觉至少 100-300 block, 具体数字**不在我们 scope** — 应问 Kaspa core 团队或查文档.

v0.5 testnet 占位 (= 100), mainnet k = Kaspa 推荐 finality depth TBD. 别让 placeholder 静默成 final.

---

# Area 3 — 投票规则

## 3.1 投票空间 — 三元 {YES, NO, ∅}

oracle 只能输出三种:
- YES
- NO
- ∅ = silent (= 没投票)

## 3.2 DISPUTE 砍 (= spec 外加戏, 必删)

code 里 DISPUTE 选项是程序员擅自加的 (= spec 0 mention). 必砍 3 处:
- `pool.js:339` vote endpoint outcome 校验只接受 YES / NO
- `decideConsensus:186` votes 数组只接受 YES / NO
- `bettor-prediction-voter.js:L464/L524/L556` voter daemon DISPUTE 出口砍

理由: oracle 接单时已 commit "我会投 YES 或 NO". 装糊涂的出口在接单阶段. 投票阶段再开 DISPUTE = 让 oracle "接了单又装糊涂" = 设计漏洞.

## 3.3 协议层 vs daemon 策略层 (= 分清)

- **协议层** (= 链上看到的输出): 硬限三元 {YES, NO, ∅}
- **daemon 策略层** (= voter daemon software 决定): 协议不管

## 3.4 daemon 低信置推荐 (= 非协议)

LLM 信置 < 阈值 → daemon **default 弃票** + 通知 operator "如果你不手动投, bond 会失".

operator 在 silent_timeout 前可手动覆盖.

理由: daemon 不该在 operator 没明确同意下拿 operator 的 bond 去赌一个 LLM 自己都没把握的猜测. oracle 后面是人, **human-in-loop 是现实而正确的 escape**.

可前置 bounded retry (= 2 次) 消化 LLM transient variance.

## 3.5 Silent vs Dissent

- **silent (∅)** = 没投票 → **失 bond** (= 罚)
- **dissent** = 投了但站少数派 (= 2 YES + 1 NO 时那个 NO) → **不罚** (= 真投票了, 跟主流不一致是正当反对)

关键: 区分"没尽到义务"和"尽到义务但跟多数不一致".

## 3.6 投票 finality (= code 已双重 enforce)

投了不能改不能撤. 已实现:
- `pool.js` vote endpoint dedup: 重复投被拒
- `d

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

636970685f6d73673a313a62636173743a6465762d636f6f72643a426574746f722072343230205b313737393531353233353334355d20646f63207634206368756e6b20322f313420e28094206172656120372d31322066756c6c202b2051313520736564696d656e74202b205242462045350a0a404a3120e2809420646f63207634203134206368756e6b7320283d207e35334b4220746f74616c292e20e694b6e9bd90e68bbce59b9e20353437373920627974657320766572626174696d20636f6d6d6974207265706c61636520763320283d206d6173746572203132336262396331292e207365672032207061796c6f61643a0a0a2d2d2d20444f43207634204348554e4b20322f313420424547494e202d2d2d0a0a6b65745f696429603a0a2d204e203d2063726561746520545820e890bde585a5e79a8420626c6f636b20e58fb70a2d206b203d20e58d8fe8aeaee59bbae5ae9ae5b8b8e695b020283d20e8a78120322e31332072656f726720e5ae89e585a8290a2d206d61726b65745f69642062616b656420e8aea9e5908c20626c6f636b20e5a49a206d61726b657420e4b88de6929e20736565640a0ae585b3e994ae3a20e794a82a2ae69caae69da520626c6f636b20686173682a2a20e28692206d616b657220e59ca82063726561746520e697b6e4b88de79fa5e9819320e2869220e697a0e6b395206772696e6420736565642e0a0ae993bee69cace8baabe5b0b1e698af2072616e646f6d6e65737320626561636f6e2c20e4b88de794a8205652462e0a0a232320322e3320e68abde6a0b7e7ae97e6b39520e2809420e7a1aee5ae9ae680a70a0a312e20706f6f6c20e68c89207075626b657920e5ad97e585b8e5ba8fe68e920a322e204669736865722d5961746573207769746820736565642073687566666c650a332e20e58f96e5898d20330a0a2a2ae7ae97e6b395e6988ee69687e58699e6adbb2a2a2c20e4bbbbe4bd95e4babae983bde883bd20726570726f647563652e2073616d706c696e6720e4b88de883bde9bb91e7aeb12e0a0a232320322e3420e696b02070686173653a2070656e64696e675f6f7261636c655f73616d706c696e670a0a6060600a6372656174652028e99481206d616b6572207374616b652c207374617475733d70656e64696e675f6f7261636c655f73616d706c696e67290a2020e2869320e7ad89206b20626c6f636b0a63726f6e20e7ae972073656564202b20e68abd2033202b20636861696e5f6576656e7420e4b88ae993be20283d20e590ab207365656420e8be93e585a5202b20e7ae97e587ba2073656564202b20e6b1a0e5ad90e5bfabe785a7202b20e68abde4b8ad2033206f7261636c65290a2020e286930a7374617475733d70656e64696e675f6f7261636c655f6465706f73697473202b20e9809ae79fa5e68abde4b8ad206f7261636c650a6060600a0a283d20e6b3a83a20746573746e657420e585ace5bc802073616d706c696e6720636861696e5f6576656e7420e590ab206f7261636c6520504b3b206d61696e6e657420616e74692d636f6c6c7573696f6e20e8a78120417265612031322051322072656672616d65290a0a232320322e352041636365707420e7aa97e58fa3202b2072652d73616d706c65202b203320e7bbb4e5baa62068617264206361700a0ae6af8fe4b8aae68abde4b8ad206f7261636c6520e7bb9920545f61636365707420283d20e5be852061726561203729206465706f7369742e206465636c696e65202f20e8b685e697b620e2869220e8afa520736c6f742072652d73616d706c652e0a0a72652d73616d706c652073656564203d2060626c616b65326228626c6f636b5f686173685b4e2b6b5d207c7c206d61726b65745f6964207c7c20617474656d70745f6e756d626572296020283d207065722d617474656d707420e7a1aee5ae9ae680a7e4bd86e4b88de5908c292e0a0a2a2a3320e7bbb4e5baa6e4bbbbe4b880e8a7a6e58f91e58db3e7bb88e6ada22072652d73616d706c652a2a3a0a312e20e8afa520736c6f74203120e4b8aa2061636365707420e7aa97e58fa320545f6163636570740a322e20e680bb206465706f73697420706861736520646561646c696e6520445f6465706f73697420283d20e5be8520617265612037290a332e20e680bb20617474656d707420e4b88ae99990206d61785f617474656d70747320283d20e5be85e5ae9ae585b7e4bd93e580bc290a0ae4bbbbe4b880e8a7a6e58f9120e28692206d61726b6574206661696c656420e2869220726566756e642e0a0a232320322e362053616d706c696e672d6661696c20726566756e6420283d20e694bfe7ad96e7baa6e69d9f2073696d706c657220e8b7afe5be84290a0a2a2a30206f7261636c65206465706f73697420e5898d2073616d706c696e672d6661696c2a2a3a207370696e6520e58faae69c89206d616b65722031205554584f20e2869220e78eb0e69c892060726566756e645f6d616b65725f756e6a6f696e6564602028696e707574732e6c656e6774683d3d312920e5b9b2e58780e591bde4b8ad2c202a2ae697a0e99c80e696b020535320656e7472792a2a2e0a0a2a2a5061727469616c2d6465706f7369742073616d706c696e672d6661696c2a2a20283d20312d32206f7261636c6520e5b7b2206465706f7369742c20e7acac20332073616d706c696e672d6661696c293a202a2ae694bfe7ad96e7baa6e69d9f20e28094206465706f73697420e5bc80e5a78be5b0b1e7a681e6ada22072652d73616d706c652a2a2e20e8afa520736c6f7420e4b98be5908ee7a9bae7bcba20e28692206d61726b657420e8b5b0e58fa6e4b880e7bb88e6808120283d2061726561203420726566756e6420e8b7afe5be84292e0a0ae79086e794b13a20e68a8a2072652d73616d706c6520e4b8a5e6a0bce99990e588b6e59ca82022e8bf98e883bde794a820726566756e645f6d616b65725f756e6a6f696e656420e5859ce5ba952220e79a84e697b6e6aeb52c20e7ae80e58d95202b20e4b880e887b42e0a0a232320322e3720506f6f6c2073697a6520656e666f7263650a0a2d203e3d203320283d20e7a1ac20656e666f7263652c20e590a6e58899206372656174652072656a656374290a2d20e68ea8203e3d20352d3820283d207761726e20e4bd86e4b88d20626c6f636b2c2072616e646f6d6e657373206d65616e696e6766756c2c203320e68abd2033203d20e585a8e68abde4b8ad203d20e6b2a1e99a8fe69cba290a0a232320322e382076302e3520746573746e657420e8af9ae5ae9ee6aeb50a0a76302e3520746573746e657420e68980e69c892072656c617920e5908ce4b880206f70657261746f7220283d20e68891e4bbace887aae5b7b120313020e4b8aa206167656e74292e20e4bb8ee5908ce4b880206f70657261746f7220e68abd203320e2809420e68abde6a0b72a2ae69cbae588b62a2ae5afb92c20e4bd862a2ae4b88de698af2074727573746c6573732a2a20283d20e68abde4b8ade79a84e4bb8de698afe68891e4bbac292e0a0a76302e3520746573746e657420e9aa8ce8af81e79a84e698af2a2ae98787e6a0b7e69cbae588b6e6ada3e7a1aee680a72a2a2c20e4b88de698afe4bfa1e4bbbbe5b19ee680a72e20e79c9fe4bfa1e4bbbbe58faae69c8920706f6f6c20e698afe78bace7ab8b206f70657261746f7220e697b6e6898de58591e78eb02e0a0ae998b2e6ada2e4bba5e5908ee8afafe4bba5e4b8ba202276302e3520e8b791e9809ae5b0b12074727573746c65737320e4ba86222e0a0a232320322e3920e68ea5e58d95e8afade4b9890a0a6f7261636c65206465706f736974203d202a2a636f6d6d697420e59ca8206d61726b657420e8bf9be585a520766572696679696e6720e5908e204f5241434c455f53494c454e545f54494d454f555420e58685e68a952059455320e68896204e4f2a2a2e20e4b88de68a95203d2073696c656e74203d20626f6e6420666f72666569742e0a0ae697b6e99990203d20646561646c696e65202b2073696c656e745f74696d656f75742c20e4b88de698afe4bb8520646561646c696e652e0a0a232320322e313020416d62696775697479203320e58886e5b1820a0a2d202a2ae58fafe9a284e8a78120616d626967756974792a2a3a206361736520e8a784e58899e4b88de6b8852c206f7261636c6520e59ca8206465706f73697420e5898d2072656a65637420283d20e4b88d206465706f7369742c20e8b5b02072652d73616d706c65290a2d202a2a656d657267656e7420616d626967756974792a2a20283d20e8a784e58899e5bd93e697b6e6b885e6a59a2c20e7bb93e7ae97e697b6e58f98e7b38a2c20e6af94e5a682e6af94e8b59be58f96e6b688293a206f7261636c6520e4bb8de5be97e8a2abe8bfab2062657374206a7564676d656e7420e68896e590832073696c656e7420e7bd9a0a2d202a2ae79c9fe4ba89e8aeae2a2a3a2050686173652035206368616c6c656e6765206d656368616e69736d20283d2076302e3520e4b88de5ae9ee78eb0290a0a232320322e313120e4bfa1e8aa89e997a820e2809420646566657272656420676f616c0a0a76302e3520e4bb852062696e6172792069735f6f7261636c653d31202b207469657220e6a087e7adbe20283d2051313020e8afa6e8a7812041726561203132292e2076302e3520e58187e8aebe206f7261636c6520e99b86e59088e58fafe4bfa12e20e4bfa1e8aa89e8af84e58886e7959920506861736520352e0a0a232320322e313220e68a95e7a5a8e694b6e99b8620e2809420e6ada3e59091e4b88de58f98e9878f0a0ae68a95e7a5a8e694b6e99b86e698af202a2a636861696e5f6576656e742d62617365642a2a2e206d616b657220e697a0e8a792e889b220e28692206d616b657220e4b88de883bd2063656e736f72202f20e689a3e79599206f7261636c6520e7a5a82e0a0a232320322e31332052656f726720e5ae89e585a820e28094206b20e580bc0a0a4b61737061204372657363656e646f2031302042505320706f73742d666f726b2e206b3d3130203d207e3120e7a7922066696e616c697479203d202a2ae8bf9ce4b88de5a49f2072656f726720e5ae89e585a82a2a2e0a0a6b20e5ba94e698af20224b6173706120e59ba2e9989fe68ea8e88d902069727265766572736962696c697479206465707468222c20e79bb4e8a789e887b3e5b091203130302d33303020626c6f636b2c20e585b7e4bd93e695b0e5ad972a2ae4b88de59ca8e68891e4bbac2073636f70652a2a20e2809420e5ba94e997ae204b6173706120636f726520e59ba2e9989fe68896e69fa5e69687e6a1a32e0a0a76302e3520746573746e657420e58da0e4bd8d20283d20313030292c206d61696e6e6574206b203d204b6173706120e68ea8e88d902066696e616c697479206465707468205442442e20e588abe8aea920706c616365686f6c64657220e99d99e9bb98e688902066696e616c2e0a0a2d2d2d0a0a232041726561203320e2809420e68a95e7a5a8e8a784e588990a0a232320332e3120e68a95e7a5a8e7a9bae997b420e2809420e4b889e58583207b5945532c204e4f2c20e288857d0a0a6f7261636c6520e58faae883bde8be93e587bae4b889e7a78d3a0a2d205945530a2d204e4f0a2d20e28885203d2073696c656e7420283d20e6b2a1e68a95e7a5a8290a0a232320332e32204449535055544520e7a08d20283d207370656320e5a496e58aa0e6888f2c20e5bf85e588a0290a0a636f646520e9878c204449535055544520e98089e9a1b9e698afe7a88be5ba8fe59198e69385e887aae58aa0e79a8420283d20737065632030206d656e74696f6e292e20e5bf85e7a08d203320e5a4843a0a2d2060706f6f6c2e6a733a3333396020766f746520656e64706f696e74206f7574636f6d6520e6a0a1e9aa8ce58faae68ea5e58f9720594553202f204e4f0a2d2060646563696465436f6e73656e7375733a3138366020766f74657320e695b0e7bb84e58faae68ea5e58f9720594553202f204e4f0a2d2060626574746f722d70726564696374696f6e2d766f7465722e6a733a4c3436342f4c3532342f4c3535366020766f746572206461656d6f6e204449535055544520e587bae58fa3e7a08d0a0ae79086e794b13a206f7261636c6520e68ea5e58d95e697b6e5b7b220636f6d6d69742022e68891e4bc9ae68a952059455320e68896204e4f222e20e8a385e7b38ae6b682e79a84e587bae58fa3e59ca8e68ea5e58d95e998b6e6aeb52e20e68a95e7a5a8e998b6e6aeb5e5868de5bc802044495350555445203d20e8aea9206f7261636c652022e68ea5e4ba86e58d95e58f88e8a385e7b38ae6b68222203d20e8aebee8aea1e6bc8fe6b49e2e0a0a232320332e3320e58d8fe8aeaee5b182207673206461656d6f6e20e7ad96e795a5e5b18220283d20e58886e6b885290a0a2d202a2ae58d8fe8aeaee5b1822a2a20283d20e993bee4b88ae79c8be588b0e79a84e8be93e587ba293a20e7a1ace99990e4b889e58583207b5945532c204e4f2c20e288857d0a2d202a2a6461656d6f6e20e7ad96e795a5e5b1822a2a20283d20766f746572206461656d6f6e20736f66747761726520e586b3e5ae9a293a20e58d8fe8aeaee4b88de7aea10a0a232320332e34206461656d6f6e20e4bd8ee4bfa1e7bdaee68ea8e88d9020283d20e99d9ee58d8fe8aeae290a0a4c4c4d20e4bfa1e7bdae203c20e99888e580bc20e28692206461656d6f6e202a2a64656661756c7420e5bc83e7a5a82a2a202b20e9809ae79fa5206f70657261746f722022e5a682e69e9ce4bda0e4b88de6898be58aa8e68a952c20626f6e6420e4bc9ae5a4b1222e0a0a6f70657261746f7220e59ca82073696c656e745f74696d656f757420e5898de58fafe6898be58aa8e8a686e79b962e0a0ae79086e794b13a206461656d6f6e20e4b88de8afa5e59ca8206f70657261746f7220e6b2a1e6988ee7a1aee5908ce6848fe4b88be68bbf206f70657261746f7220e79a8420626f6e6420e58ebbe8b58ce4b880e4b8aa204c4c4d20e887aae5b7b1e983bde6b2a1e68a8ae68fa1e79a84e78c9ce6b58b2e206f7261636c6520e5908ee99da2e698afe4baba2c202a2a68756d616e2d696e2d6c6f6f7020e698afe78eb0e5ae9ee8808ce6ada3e7a1aee79a84206573636170652a2a2e0a0ae58fafe5898de7bdae20626f756e64656420726574727920283d203220e6aca12920e6b688e58c96204c4c4d207472616e7369656e742076617269616e63652e0a0a232320332e352053696c656e742076732044697373656e740a0a2d202a2a73696c656e742028e28885292a2a203d20e6b2a1e68a95e7a5a820e28692202a2ae5a4b120626f6e642a2a20283d20e7bd9a290a2d202a2a64697373656e742a2a203d20e68a95e4ba86e4bd86e7ab99e5b091e695b0e6b4be20283d203220594553202b2031204e4f20e697b6e982a3e4b8aa204e4f2920e28692202a2ae4b88de7bd9a2a2a20283d20e79c9fe68a95e7a5a8e4ba862c20e8b79fe4b8bbe6b581e4b88de4b880e887b4e698afe6ada3e5bd93e58f8de5afb9290a0ae585b3e994ae3a20e58cbae5888622e6b2a1e5b0bde588b0e4b989e58aa122e5928c22e5b0bde588b0e4b989e58aa1e4bd86e8b79fe5a49ae695b0e4b88de4b880e887b4222e0a0a232320332e3620e68a95e7a5a82066696e616c69747920283d20636f646520e5b7b2e58f8ce9878d20656e666f726365290a0ae68a95e4ba86e4b88de883bde694b9e4b88de883bde692a42e20e5b7b2e5ae9ee78eb03a0a2d2060706f6f6c2e6a736020766f746520656e64706f696e742064656475703a20e9878de5a48de68a95e8a2abe68b920a2d2060640a0a2d2d2d20444f43207634204348554e4b20322f313420454e442028e7bbad29202d2d2d