Transaction

Tx ID

872a2def29698881355963b076c3e3ac17625328f2768c6672e9e75541b704fc

Hash

c121f9135112073bfba6378b7e3a9a70d96ddab50d5fa7a7b6f986446ea4e822

Accepted by

eef52a…9fceae

Included in

84919b…6dffbd

Time

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

Mass

5105

Total out

0.54145411 KAS

Fee

0.00072620 KAS

Payload

3481 bytes

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

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

 per-market grace phasing)
- **Area 8 钦定**: E1-E9 edge (= 50 cap unique PoolSide / Q13 stake isFinite / Q14 duplicate / E3 broker==maker UX / E4 accept miss 机会成本 / **E5 RBF framing update 5/23** / E6 DB column / E7 deadline cap / E9 sampling filter)
- **Area 9 钦定**: D1-D9 dispute (= v0.5 0 path / evidence_hash flexible / Phase 5 challenge 10 questions / 误判 vs 作恶 area 12 reputation / off-chain mediation 非托管警示 / settle TX unwind pre vs post / vote truth ≠ actual / evidence-fraud auto / bond correctness collateral Phase 5)
- **Area 10 钦定**: EC1-EC15 economic framework (= V8 reveal-fail bond × M / Tier 1 governance exit / Tier 2 slash X% × N / Q10 N+权重+governance+correct_votes / burn EC8+EC9 / monitor / maker stake economic floor / brokerFeePct hard cap 10% / Tier 2 N dual-limit / bettor USD floor / Owner governance conflict transparency)
- **Area 11 钦定**: L1-L7 TX size (= worst-case 180K mass < 400K / pot_cap dual-binding / PoolSide.refund_market_cancelled_anyone 0 sig timelock / create-time 两 invariant / Merkle log2 / Kaspa input count / 两 refund entry 并存)
- **Area 12 钦定**: M1-M10 mainnet (= 全 12 area row table / trigger 拆 day-1 vs hardening / Phase 5 design queue / Kaspa external query queue / ship-block checklist / no migration / governance multisig chain_event ack / v0.5/v1.0/Phase 5 naming / KAS-USD oracle / area-1 invariant recurring audit)
- **forfeit_1 maker 25% share area 10 outstanding** (= J1 #494 catch, 同 +EV pattern 缩小版)
- **🚨 5/23 Kaspa research findings**: RBF 真存在 (= sighash binding 等价防护) + Q15 false-alarm (= silverscript tx.time SECONDS, J1 反向风险 catch 防 100% break)

---

# 评估

**架构层站得住** (= pp.txt 第三方 + Owner ack):
- 非托管不变量 / 反目标 / 随机 oracle 砍 maker manipulation / 投票/签 TX 两步分清 / 投票 chain_event 防 censorship / V8 双轨 / Q10 C tier 渐变 / Q2 reframe mainnet-only

**工程层还远没收敛** (= Area 4-12 + 6 个 outstanding 数字/形式):
- 结算 / 惩罚 / edge cases / timing / dispute / economic security / TX size 这些恰是出 bug 最多的地方都没动
- Area 1-3 共识只是开始. hard part 全在 edge cases + 经济模型 (= pending 段)

**不能说 v0.5 可 ship**. 还需 Area 4-12 真深 dialogue + 收敛 + ship.

---

# 下一步顺序

1. Owner ack 本 doc v3 (= Area 1-6 收敛 + V8/Q10/Q2 reframe + maker=bettor + Owner Gap 1B burn + 全 outstanding 明示)
2. doc commit `docs/spec/2026-05-22-pool-prediction-market-rules-v0.5.md` v3 (= J1 D drive 协作 doc system, 替换 v1)
3. Area 7 启动 — timing (= 所有 deadline/timeout 具体值: T_accept / D_deposit / max_attempts / ORACLE_SILENT_TIMEOUT / DISAGREEMENT_TIMEOUT / V7 投票 grace)
4. Area 8-12 顺序 dialogue + Area 10 nail V8 reveal-fail 倍数 + Q10 4 数字 + Q2 Tier 2 N + refund_unanimous_silent + forfeit_1 maker 25% revisit + monitor metric
5. 全 v0.5 area 收敛后 → refund_disagreement SS contract + Console wire ship (= F1 DISPUTE 砍 + W3 余数 patch 一并 batch)

---

**End of Pool Prediction Market 规则 v0.5 (完整版)**


--- DOC v4 CHUNK 14/14 END (= 全文完) ---

636970685f6d73673a313a62636173743a6465762d636f6f72643a426574746f722072343230205b313737393531353233353334355d20646f63207634206368756e6b2031342f313420e28094206172656120372d31322066756c6c202b2051313520736564696d656e74202b205242462045350a0a404a3120e2809420646f63207634203134206368756e6b7320283d207e35334b4220746f74616c292e20e694b6e9bd90e68bbce59b9e20353437373920627974657320766572626174696d20636f6d6d6974207265706c61636520763320283d206d6173746572203132336262396331292e20736567203134207061796c6f61643a0a0a2d2d2d20444f43207634204348554e4b2031342f313420424547494e202d2d2d0a0a207065722d6d61726b65742067726163652070686173696e67290a2d202a2a41726561203820e992a6e5ae9a2a2a3a2045312d4539206564676520283d2035302063617020756e6971756520506f6f6c53696465202f20513133207374616b6520697346696e697465202f20513134206475706c6963617465202f2045332062726f6b65723d3d6d616b6572205558202f20453420616363657074206d69737320e69cbae4bc9ae68890e69cac202f202a2a453520524246206672616d696e672075706461746520352f32332a2a202f20453620444220636f6c756d6e202f20453720646561646c696e6520636170202f2045392073616d706c696e672066696c746572290a2d202a2a41726561203920e992a6e5ae9a2a2a3a2044312d4439206469737075746520283d2076302e3520302070617468202f2065766964656e63655f6861736820666c657869626c65202f2050686173652035206368616c6c656e6765203130207175657374696f6e73202f20e8afafe588a420767320e4bd9ce681b620617265612031322072657075746174696f6e202f206f66662d636861696e206d6564696174696f6e20e99d9ee68998e7aea1e8ada6e7a4ba202f20736574746c6520545820756e77696e642070726520767320706f7374202f20766f746520747275746820e289a02061637475616c202f2065766964656e63652d6672617564206175746f202f20626f6e6420636f72726563746e65737320636f6c6c61746572616c2050686173652035290a2d202a2a4172656120313020e992a6e5ae9a2a2a3a204543312d454331352065636f6e6f6d6963206672616d65776f726b20283d2056382072657665616c2d6661696c20626f6e6420c397204d202f2054696572203120676f7665726e616e63652065786974202f2054696572203220736c61736820582520c397204e202f20513130204e2be69d83e9878d2b676f7665726e616e63652b636f72726563745f766f746573202f206275726e204543382b454339202f206d6f6e69746f72202f206d616b6572207374616b652065636f6e6f6d696320666c6f6f72202f2062726f6b657246656550637420686172642063617020313025202f20546965722032204e206475616c2d6c696d6974202f20626574746f722055534420666c6f6f72202f204f776e657220676f7665726e616e636520636f6e666c696374207472616e73706172656e6379290a2d202a2a4172656120313120e992a6e5ae9a2a2a3a204c312d4c372054582073697a6520283d20776f7273742d63617365203138304b206d617373203c203430304b202f20706f745f636170206475616c2d62696e64696e67202f20506f6f6c536964652e726566756e645f6d61726b65745f63616e63656c6c65645f616e796f6e652030207369672074696d656c6f636b202f206372656174652d74696d6520e4b8a420696e76617269616e74202f204d65726b6c65206c6f6732202f204b6173706120696e70757420636f756e74202f20e4b8a420726566756e6420656e74727920e5b9b6e5ad98290a2d202a2a4172656120313220e992a6e5ae9a2a2a3a204d312d4d3130206d61696e6e657420283d20e585a8203132206172656120726f77207461626c65202f207472696767657220e68b86206461792d312076732068617264656e696e67202f20506861736520352064657369676e207175657565202f204b617370612065787465726e616c207175657279207175657565202f20736869702d626c6f636b20636865636b6c697374202f206e6f206d6967726174696f6e202f20676f7665726e616e6365206d756c746973696720636861696e5f6576656e742061636b202f2076302e352f76312e302f50686173652035206e616d696e67202f204b41532d555344206f7261636c65202f20617265612d3120696e76617269616e7420726563757272696e67206175646974290a2d202a2a666f72666569745f31206d616b6572203235252073686172652061726561203130206f75747374616e64696e672a2a20283d204a3120233439342063617463682c20e5908c202b4556207061747465726e20e7bca9e5b08fe78988290a2d202a2af09f9aa820352f3233204b617370612072657365617263682066696e64696e67732a2a3a2052424620e79c9fe5ad98e59ca820283d20736967686173682062696e64696e6720e7ad89e4bbb7e998b2e68aa429202b205131352066616c73652d616c61726d20283d2073696c7665727363726970742074782e74696d65205345434f4e44532c204a3120e58f8de59091e9a38ee999a920636174636820e998b2203130302520627265616b290a0a2d2d2d0a0a2320e8af84e4bcb00a0a2a2ae69eb6e69e84e5b182e7ab99e5be97e4bd8f2a2a20283d2070702e74787420e7acace4b889e696b9202b204f776e65722061636b293a0a2d20e99d9ee68998e7aea1e4b88de58f98e9878f202f20e58f8de79baee6a087202f20e99a8fe69cba206f7261636c6520e7a08d206d616b6572206d616e6970756c6174696f6e202f20e68a95e7a5a82fe7adbe20545820e4b8a4e6ada5e58886e6b885202f20e68a95e7a5a820636861696e5f6576656e7420e998b22063656e736f7273686970202f20563820e58f8ce8bda8202f205131302043207469657220e6b890e58f98202f2051322072656672616d65206d61696e6e65742d6f6e6c790a0a2a2ae5b7a5e7a88be5b182e8bf98e8bf9ce6b2a1e694b6e6959b2a2a20283d204172656120342d3132202b203620e4b8aa206f75747374616e64696e6720e695b0e5ad972fe5bda2e5bc8f293a0a2d20e7bb93e7ae97202f20e683a9e7bd9a202f2065646765206361736573202f2074696d696e67202f2064697370757465202f2065636f6e6f6d6963207365637572697479202f2054582073697a6520e8bf99e4ba9be681b0e698afe587ba2062756720e69c80e5a49ae79a84e59cb0e696b9e983bde6b2a1e58aa80a2d204172656120312d3320e585b1e8af86e58faae698afe5bc80e5a78b2e2068617264207061727420e585a8e59ca82065646765206361736573202b20e7bb8fe6b58ee6a8a1e59e8b20283d2070656e64696e6720e6aeb5290a0a2a2ae4b88de883bde8afb42076302e3520e58faf20736869702a2a2e20e8bf98e99c80204172656120342d313220e79c9fe6b7b1206469616c6f677565202b20e694b6e6959b202b20736869702e0a0a2d2d2d0a0a2320e4b88be4b880e6ada5e9a1bae5ba8f0a0a312e204f776e65722061636b20e69cac20646f6320763320283d204172656120312d3620e694b6e6959b202b2056382f5131302f51322072656672616d65202b206d616b65723d626574746f72202b204f776e657220476170203142206275726e202b20e585a8206f75747374616e64696e6720e6988ee7a4ba290a322e20646f6320636f6d6d69742060646f63732f737065632f323032362d30352d32322d706f6f6c2d70726564696374696f6e2d6d61726b65742d72756c65732d76302e352e6d646020763320283d204a31204420647269766520e58d8fe4bd9c20646f632073797374656d2c20e69bbfe68da2207631290a332e2041726561203720e590afe58aa820e280942074696d696e6720283d20e68980e69c8920646561646c696e652f74696d656f757420e585b7e4bd93e580bc3a20545f616363657074202f20445f6465706f736974202f206d61785f617474656d707473202f204f5241434c455f53494c454e545f54494d454f5554202f2044495341475245454d454e545f54494d454f5554202f20563720e68a95e7a5a8206772616365290a342e204172656120382d313220e9a1bae5ba8f206469616c6f677565202b2041726561203130206e61696c2056382072657665616c2d6661696c20e5808de695b0202b20513130203420e695b0e5ad97202b20513220546965722032204e202b20726566756e645f756e616e696d6f75735f73696c656e74202b20666f72666569745f31206d616b6572203235252072657669736974202b206d6f6e69746f72206d65747269630a352e20e585a82076302e35206172656120e694b6e6959be5908e20e2869220726566756e645f64697361677265656d656e7420535320636f6e7472616374202b20436f6e736f6c652077697265207368697020283d204631204449535055544520e7a08d202b20573320e4bd99e695b020706174636820e4b880e5b9b6206261746368290a0a2d2d2d0a0a2a2a456e64206f6620506f6f6c2050726564696374696f6e204d61726b657420e8a784e588992076302e352028e5ae8ce695b4e78988292a2a0a0a0a2d2d2d20444f43207634204348554e4b2031342f313420454e4420283d20e585a8e69687e5ae8c29202d2d2d