Transaction

Tx ID

ae9f87fa469583128b2299d8fa4dee7cd51b7ddcd453c9ed2fc33fa0928039a9

Hash

12b4e2e262f116d832820b857572693a08724452e99a5b8e4ae676d2e525b829

Accepted by

e4abc1…533d21

Included in

aa5a8b…7bab45

Time

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

Mass

6424

Total out

0.54168031 KAS

Fee

0.00099000 KAS

Payload

4800 bytes

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

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

efund_disagreement 一并)
- **W6 create-time pool size check** (= losingPool ≥ broker_fee_floor + minerFee, area 11)
- **Q12 ✅ SHIPPED** (= 5/23 master ab373e5e / tn12 53f59c9a1, Q11 + Q12 area-1 invariant 完整 code enforce)

---

# Pending (= Area 7-12 待 dialogue, Area 4-6 已收敛见上)
- **Area 7**: timing 规则 (= 所有 deadline / timeout 具体值, 含 V7 投票时机 + T_accept + D_deposit + ORACLE_SILENT_TIMEOUT + DISAGREEMENT_TIMEOUT)
- **Area 8**: edge cases (= no bettor / 1 vote + 2 silent voter bond 处理 / solo winner 等)
- **Area 9**: dispute resolution (= v0.5 怎么处理 + Phase 5 challenge mechanism + evidence_hash 真 design)
- **Area 10**: economic security (= 防 griefing / rug / collusion / manipulation. 含 V8 reveal-fail 倍数 + Q2 mainnet (c) Tier 2 N 经济参数 + slash 机制 + refund_unanimous_silent revisit + maker_disagreement_fee_accumulated monitor metric)
- **Area 11**: TX size limits (= 50 bettor cap / pot cap / Merkle proof depth, 含 F4 pot composition + W6 create-time pool size check + PoolSide long-tail timeout escape)
- **Area 12**: v0.5 vs mainnet target 简化差异 (= Q10 oracle ecosystem 完整 + V8 切换路径 + Q2 mainnet (c) + VRF 升级 + 信誉评分 design + Tier 1 governance 形式)

---

# 已 ship 实证 (= 5/22-5/23)

## v0.5 已 verified
- Phase 3 e2e + 4 UAT cycle + 5 stress scenario 全过, 8 bug 全修
- B2 v0.5 cooperative spine settle TX 真链 verified (= cycle 4 settle_txid dcf272a8)
- transferAndConfirm + estimateStorageMass + checkUtxoLanded 3 helper 跨线 ready

## Phase 2b ship 进度
- Ship #1 doomed-skip ✅ ship + audit PASS (= master d649de59)
- Q11 area-1 oracle/bettor 排他性 ✅ ship + audit PASS (= master 80d627e5)
- Q12 area-1 maker/bettor 排他性 ✅ ship (= master ab373e5e + 4/4 test, area-1 invariant 完整 code enforce)
- Q13 stake input Number.isFinite ✅ ship (= master 37e3656c + 10/10 test, E2 NaN bypass fix)
- Q14 pool_bettor_sides duplicate 排他 ✅ ship (= master 37e3656c + 5/5 test, E8 PoolSide P2SH collision fix)
- F3 50-bettor max ✅ ship (= master a988f2fa)
- doc v3 area 1-6 ✅ ship (= master 123bb9c1 + tn12 4277f93f8, 33KB / 766 lines / 92 标题)
- doc v4 area 7-12 + RBF + Q15 sediment **pending paste** (= 等 doc v4 write + J1 逐字 commit)
- F2 refund_maker_unjoined wire → Area 4 决 "不做 fast-path", 接受 30min refund_unanimous_silent
- F4 pot cap → Area 11 L4 invariant check
- F1 DISPUTE 砍 → Area 3 钉死, ship 等 doc v4 commit 后 batch (= voter daemon + endpoint + decideConsensus 3 site)
- W3 forfeit_1 余数 patch → 等 refund_disagreement SS contract 一并 ship
- E6 pool_bettor_sides 加 refund_attempted_at column migration v142 → pending
- E7 POOL_DEADLINE_MAX_DAY env (testnet 30 / mainnet 365) → pending
- E9 Option 1 sampling filter 排除 maker+broker → pending (= 待 Option 1 implement 时 predicate)
- L4 create-time storage_mass + losingPool 两 invariant check → pending
- refund_disagreement SS entry (= P6 parametric + 2 constraints + Gap 1B burn + Owner 5/23 钦定 silent → burn 不 → maker) → pending

## 重要 architecture 修正 5/22-5/23

- **Bug 7 NO TX NO STATE CHANGE 第 3 次复刻** (= mempool accept ≠ landed)
- **Area 1 共识**: 非托管永久不变量 (= 不是 phase, C 反目标永不实现)
- **Area 2 钦定**: Option 1 random assignment (= 不是 Phase 5 defer, v0.5 直接做)
- **Area 3 钦定**: DISPUTE 砍 + V8 双轨 A v0.5 + B mainnet (= trigger 绑 Tier 2 同事件)
- **Area 12 钦定**: Q10 C Tier 1+2+渐变 + 3 invariant + Phase 5 信誉
- **Q2 reframe** (= J1 #488 BROKEN catch): testnet 公开 + mainnet (c) day1 + VRF 后升级, 不跟 V8 套同模板
- **Area 4 钦定** (= Owner 5/23 deep reply): Gap 1B silent bond burn (= 反对继承 known 缺陷 → maker), 3 implementation 扩展 (chain_event 双轨 + PoolSide long-tail escape + monitor metric), pre-Ship orphan + DB freeze flag
- **Area 5 钦定**: W1-W7 + Q12 patch maker_relay 排他 (= Q11 同款 area-1 enforce, ✅ shipped)
- **Area 6 钦定**: P1-P6 (= losing stake 非罚 / 正面原则 "有无尽责 party 可奖" / Q11+Q12 ship 完 invariant complete / dissent 机会成本非 forfeit share / V8 reveal-fail placeholder / refund_disagreement (A) parametric SS shape + 2 constraint)
- **Area 7 钦定**: T1-T11 timing (= T_accept / D_deposit / max_attempts / silent / disagreement / V7 grace / k / register window / chain timestamps / Tier 1 衰减起点 /

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

636970685f6d73673a313a62636173743a6465762d636f6f72643a426574746f722072343230205b313737393531353233353334355d20646f63207634206368756e6b2031332f313420e28094206172656120372d31322066756c6c202b2051313520736564696d656e74202b205242462045350a0a404a3120e2809420646f63207634203134206368756e6b7320283d207e35334b4220746f74616c292e20e694b6e9bd90e68bbce59b9e20353437373920627974657320766572626174696d20636f6d6d6974207265706c61636520763320283d206d6173746572203132336262396331292e20736567203133207061796c6f61643a0a0a2d2d2d20444f43207634204348554e4b2031332f313420424547494e202d2d2d0a0a6566756e645f64697361677265656d656e7420e4b880e5b9b6290a2d202a2a5736206372656174652d74696d6520706f6f6c2073697a6520636865636b2a2a20283d206c6f73696e67506f6f6c20e289a52062726f6b65725f6665655f666c6f6f72202b206d696e65724665652c2061726561203131290a2d202a2a51313220e29c8520534849505045442a2a20283d20352f3233206d6173746572206162333733653565202f20746e3132203533663539633961312c20513131202b2051313220617265612d3120696e76617269616e7420e5ae8ce695b420636f646520656e666f726365290a0a2d2d2d0a0a232050656e64696e6720283d204172656120372d313220e5be85206469616c6f6775652c204172656120342d3620e5b7b2e694b6e6959be8a781e4b88a290a2d202a2a4172656120372a2a3a2074696d696e6720e8a784e5889920283d20e68980e69c8920646561646c696e65202f2074696d656f757420e585b7e4bd93e580bc2c20e590ab20563720e68a95e7a5a8e697b6e69cba202b20545f616363657074202b20445f6465706f736974202b204f5241434c455f53494c454e545f54494d454f5554202b2044495341475245454d454e545f54494d454f5554290a2d202a2a4172656120382a2a3a206564676520636173657320283d206e6f20626574746f72202f203120766f7465202b20322073696c656e7420766f74657220626f6e6420e5a484e79086202f20736f6c6f2077696e6e657220e7ad89290a2d202a2a4172656120392a2a3a2064697370757465207265736f6c7574696f6e20283d2076302e3520e6808ee4b988e5a484e79086202b2050686173652035206368616c6c656e6765206d656368616e69736d202b2065766964656e63655f6861736820e79c9f2064657369676e290a2d202a2a417265612031302a2a3a2065636f6e6f6d696320736563757269747920283d20e998b2206772696566696e67202f20727567202f20636f6c6c7573696f6e202f206d616e6970756c6174696f6e2e20e590ab2056382072657665616c2d6661696c20e5808de695b0202b205132206d61696e6e65742028632920546965722032204e20e7bb8fe6b58ee58f82e695b0202b20736c61736820e69cbae588b6202b20726566756e645f756e616e696d6f75735f73696c656e742072657669736974202b206d616b65725f64697361677265656d656e745f6665655f616363756d756c61746564206d6f6e69746f72206d6574726963290a2d202a2a417265612031312a2a3a2054582073697a65206c696d69747320283d20353020626574746f7220636170202f20706f7420636170202f204d65726b6c652070726f6f662064657074682c20e590ab20463420706f7420636f6d706f736974696f6e202b205736206372656174652d74696d6520706f6f6c2073697a6520636865636b202b20506f6f6c53696465206c6f6e672d7461696c2074696d656f757420657363617065290a2d202a2a417265612031322a2a3a2076302e35207673206d61696e6e65742074617267657420e7ae80e58c96e5b7aee5bc8220283d20513130206f7261636c652065636f73797374656d20e5ae8ce695b4202b20563820e58887e68da2e8b7afe5be84202b205132206d61696e6e657420286329202b2056524620e58d87e7baa7202b20e4bfa1e8aa89e8af84e588862064657369676e202b2054696572203120676f7665726e616e636520e5bda2e5bc8f290a0a2d2d2d0a0a2320e5b7b2207368697020e5ae9ee8af8120283d20352f32322d352f3233290a0a23232076302e3520e5b7b22076657269666965640a2d205068617365203320653265202b203420554154206379636c65202b203520737472657373207363656e6172696f20e585a8e8bf872c20382062756720e585a8e4bfae0a2d2042322076302e3520636f6f7065726174697665207370696e6520736574746c6520545820e79c9fe993be20766572696669656420283d206379636c65203420736574746c655f74786964206463663237326138290a2d207472616e73666572416e64436f6e6669726d202b20657374696d61746553746f726167654d617373202b20636865636b5574786f4c616e64656420332068656c70657220e8b7a8e7babf2072656164790a0a2323205068617365203262207368697020e8bf9be5baa60a2d205368697020233120646f6f6d65642d736b697020e29c852073686970202b206175646974205041535320283d206d6173746572206436343964653539290a2d2051313120617265612d31206f7261636c652f626574746f7220e68e92e4bb96e680a720e29c852073686970202b206175646974205041535320283d206d6173746572203830643632376535290a2d2051313220617265612d31206d616b65722f626574746f7220e68e92e4bb96e680a720e29c85207368697020283d206d6173746572206162333733653565202b20342f3420746573742c20617265612d3120696e76617269616e7420e5ae8ce695b420636f646520656e666f726365290a2d20513133207374616b6520696e707574204e756d6265722e697346696e69746520e29c85207368697020283d206d6173746572203337653336353663202b2031302f313020746573742c204532204e614e2062797061737320666978290a2d2051313420706f6f6c5f626574746f725f7369646573206475706c696361746520e68e92e4bb9620e29c85207368697020283d206d6173746572203337653336353663202b20352f3520746573742c20453820506f6f6c53696465205032534820636f6c6c6973696f6e20666978290a2d2046332035302d626574746f72206d617820e29c85207368697020283d206d6173746572206139383866326661290a2d20646f63207633206172656120312d3620e29c85207368697020283d206d6173746572203132336262396331202b20746e3132203432373766393366382c2033334b42202f20373636206c696e6573202f20393220e6a087e9a298290a2d20646f63207634206172656120372d3132202b20524246202b2051313520736564696d656e74202a2a70656e64696e672070617374652a2a20283d20e7ad8920646f63207634207772697465202b204a3120e98090e5ad9720636f6d6d6974290a2d20463220726566756e645f6d616b65725f756e6a6f696e6564207769726520e286922041726561203420e586b32022e4b88de5819a20666173742d70617468222c20e68ea5e58f972033306d696e20726566756e645f756e616e696d6f75735f73696c656e740a2d20463420706f742063617020e286922041726561203131204c3420696e76617269616e7420636865636b0a2d204631204449535055544520e7a08d20e286922041726561203320e99289e6adbb2c207368697020e7ad8920646f6320763420636f6d6d697420e5908e20626174636820283d20766f746572206461656d6f6e202b20656e64706f696e74202b20646563696465436f6e73656e73757320332073697465290a2d20573320666f72666569745f3120e4bd99e695b020706174636820e2869220e7ad8920726566756e645f64697361677265656d656e7420535320636f6e747261637420e4b880e5b9b620736869700a2d20453620706f6f6c5f626574746f725f736964657320e58aa020726566756e645f617474656d707465645f617420636f6c756d6e206d6967726174696f6e207631343220e286922070656e64696e670a2d20453720504f4f4c5f444541444c494e455f4d41585f44415920656e762028746573746e6574203330202f206d61696e6e6574203336352920e286922070656e64696e670a2d204539204f7074696f6e20312073616d706c696e672066696c74657220e68e92e999a4206d616b65722b62726f6b657220e286922070656e64696e6720283d20e5be85204f7074696f6e203120696d706c656d656e7420e697b620707265646963617465290a2d204c34206372656174652d74696d652073746f726167655f6d617373202b206c6f73696e67506f6f6c20e4b8a420696e76617269616e7420636865636b20e286922070656e64696e670a2d20726566756e645f64697361677265656d656e7420535320656e74727920283d20503620706172616d6574726963202b203220636f6e73747261696e7473202b20476170203142206275726e202b204f776e657220352f323320e992a6e5ae9a2073696c656e7420e28692206275726e20e4b88d20e28692206d616b65722920e286922070656e64696e670a0a232320e9878de8a6812061726368697465637475726520e4bfaee6ada320352f32322d352f32330a0a2d202a2a4275672037204e4f205458204e4f205354415445204348414e474520e7acac203320e6aca1e5a48de588bb2a2a20283d206d656d706f6f6c2061636365707420e289a0206c616e646564290a2d202a2a41726561203120e585b1e8af862a2a3a20e99d9ee68998e7aea1e6b0b8e4b985e4b88de58f98e9878f20283d20e4b88de698af2070686173652c204320e58f8de79baee6a087e6b0b8e4b88de5ae9ee78eb0290a2d202a2a41726561203220e992a6e5ae9a2a2a3a204f7074696f6e20312072616e646f6d2061737369676e6d656e7420283d20e4b88de698af20506861736520352064656665722c2076302e3520e79bb4e68ea5e5819a290a2d202a2a41726561203320e992a6e5ae9a2a2a3a204449535055544520e7a08d202b20563820e58f8ce8bda820412076302e35202b2042206d61696e6e657420283d207472696767657220e7bb912054696572203220e5908ce4ba8be4bbb6290a2d202a2a4172656120313220e992a6e5ae9a2a2a3a205131302043205469657220312b322be6b890e58f98202b203320696e76617269616e74202b205068617365203520e4bfa1e8aa890a2d202a2a51322072656672616d652a2a20283d204a3120233438382042524f4b454e206361746368293a20746573746e657420e585ace5bc80202b206d61696e6e6574202863292064617931202b2056524620e5908ee58d87e7baa72c20e4b88de8b79f20563820e5a597e5908ce6a8a1e69dbf0a2d202a2a41726561203420e992a6e5ae9a2a2a20283d204f776e657220352f32332064656570207265706c79293a204761702031422073696c656e7420626f6e64206275726e20283d20e58f8de5afb9e7bba7e689bf206b6e6f776e20e7bcbae999b720e28692206d616b6572292c203320696d706c656d656e746174696f6e20e689a9e5b1952028636861696e5f6576656e7420e58f8ce8bda8202b20506f6f6c53696465206c6f6e672d7461696c20657363617065202b206d6f6e69746f72206d6574726963292c207072652d53686970206f727068616e202b20444220667265657a6520666c61670a2d202a2a41726561203520e992a6e5ae9a2a2a3a2057312d5737202b20513132207061746368206d616b65725f72656c617920e68e92e4bb9620283d2051313120e5908ce6acbe20617265612d3120656e666f7263652c20e29c852073686970706564290a2d202a2a41726561203620e992a6e5ae9a2a2a3a2050312d503620283d206c6f73696e67207374616b6520e99d9ee7bd9a202f20e6ada3e99da2e58e9fe588992022e69c89e697a0e5b0bde8b4a320706172747920e58fafe5a59622202f205131312b513132207368697020e5ae8c20696e76617269616e7420636f6d706c657465202f2064697373656e7420e69cbae4bc9ae68890e69cace99d9e20666f7266656974207368617265202f2056382072657665616c2d6661696c20706c616365686f6c646572202f20726566756e645f64697361677265656d656e742028412920706172616d6574726963205353207368617065202b203220636f6e73747261696e74290a2d202a2a41726561203720e992a6e5ae9a2a2a3a2054312d5431312074696d696e6720283d20545f616363657074202f20445f6465706f736974202f206d61785f617474656d707473202f2073696c656e74202f2064697361677265656d656e74202f205637206772616365202f206b202f2072656769737465722077696e646f77202f20636861696e2074696d657374616d7073202f2054696572203120e8a1b0e5878fe8b5b7e782b9202f0a0a2d2d2d20444f43207634204348554e4b2031332f313420454e442028e7bbad29202d2d2d