Transaction

Tx ID

cca635e55efa61aa357b243be110f0d2cc0e8b7544c266911b2cfa0b9e89bbd9

Hash

0eba28b4897b63e2875bc7993535ba735eed0f49e0104564aebf3efae33f5e05

Accepted by

79bb8c…16954a

Included in

716755…05f0ff

Time

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

Mass

6839

Total out

0.54415571 KAS

Fee

0.00107300 KAS

Payload

5215 bytes

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

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

/23 钦定)
- 2 dissent oracle bond → return (= 3.5)
- silent oracle bond → **burn** (= output 不分配, 自动流入 minerFee 自然消化, 跟 Ethereum 1559 同款)
- maker stake → return
- bettor 走 PoolSide.refund_market_cancelled 自取

**Owner 反对 silent → maker** 真核心理由: maker stake 退 + 额外 +1 silent bond ≈ +pot cap free money → maker 协议层 +EV → 有动机创建判定模糊 market OR 贿赂 1 oracle 失声. (1) "consistency 跟 refund_unanimous_silent 一致" 是继承 known 缺陷, 撤回. (4) burn 0 manipulation vector + 0 SS 复杂度 + 跟 "protocol 不 rent-seek" 哲学一致.

## 4.2 两个 refund 路径并存 (= J1 #492 catch 修正)

bettor stake 不在 spine, 在 PoolSide P2SH (= area 1.3 钉死). refund_disagreement 是 spine-only TX:
- **Spine path**: refund_disagreement TX (= maker stake + 3 oracle bond - silent burn)
- **PoolSide × N**: refund_market_cancelled (= 每 bettor 自取)
- **协调**: chain_event 信号 (= 见 4.6 Gap 8)

## 4.3 F2 refund_maker_unjoined wire — 推不做 fast-path

refund_maker_unjoined SS L139 require `inputs.length == 1`. pending_bettors 时 spine 已 4 UTXO (= maker + 3 bond) → SS reject. F2 实际只在 sampling-fail 路径 (= 0 oracle bond 进 spine) 命中.

"全 bond + 0 bettor" case 已 refund_unanimous_silent pipeline cover (= 30min 慢但 work). fast-path 新 SS entry = scope creep. **接受 30min 慢 refund_unanimous_silent**, 不 fire F2 fast-path.

## 4.4 pre-Ship orphan — Owner 5/23 钦定 (A) + DB freeze flag

新 refund_disagreement = 新 P2SH 地址. 现卡 bgk4s 等 pre-Ship market 锁在旧 P2SH, 旧合约没 refund_disagreement = 新 entry 对它们永久无效.

**Owner 钦定 (A) 接受 orphan + 配套 DB freeze flag**:
- 加 `frozen_pre_ship = 1` migration (= 一行 SQL)
- cron / 健康检查 / UI 不扫这批 market
- 否则它们持续产生噪声日志 + health_yellow
- **不算 rescue, 是 hygiene**
- testnet 存在的意义就是允许 stranded artifacts, 逼养成 "老协议老 market, 新协议新 market 不混" 的纪律
- doc 明写: "v0.5 新 SS entry 只救切换后 create 的 market, pre-Ship 卡单 acknowledged orphan + Phase 5 rescue 未来 design"

## 4.5 DISAGREEMENT_TIMEOUT 时钟原点 — stash + chain_event 双轨 (= Owner 5/23 加)

stash `disagreement_detected_at` DB column (= decideConsensus 第一次看到 3 票 split 时一次性写, 之后 read-only).
**同时**写 chain_event `disagreement_detected` (= 带 timestamp).

**Owner 钦定双轨原则**: 内部状态 DB + 协议事实 chain_event, 永远双轨.

不复用 `updated_at` 防 Phase 3 parseSqliteUtc 同款陷阱.

## 4.6 refund_disagreement 多签 — 2-of-3 oracle (= 跟 forfeit_1 一致)

(B) 2-of-3 oracle sig — 解 lone-dissenter griefing + 跟 forfeit_1 sig 数一致 + SS sig threshold 全协议统一. DROP maker sig (= J1 #486 catch 防 losing-maker rug-via-refund-race).

(A) 3-of-3 单点失败是 protocol 层不可接受 (= oracle griefing 一票否决 = market 永久 stuck).

## 4.7 PoolSide refund 触发协调 — chain_event 信号

spine refund_disagreement TX 上链 → 自动产生 chain_event "market_refunded" → bettor 客户端 poll chain_events 看到 → 自动 broadcast PoolSide.refund_market_cancelled. 不强 maker DM (= 无 maker 单点失败 risk).

**Owner 5/23 加 PoolSide long-tail timeout escape** (= 记 area 11 / phase 5, 不阻当前):
- bettor 自己也可能失联 → PoolSide P2SH 资金永久 stuck
- 加 escape: market deadline + 1 年后, **任何人都能 trigger** PoolSide refund 退回**原 bettor 地址** (= 不归别人)
- 非托管不变量微妙点: "bettor 永远控制私钥" ≠ "永远在线". 资金 stuck vs 丢失之间需 protocol-level safety net
- PoolSide 新 SS entry: refund_market_cancelled_anyone (= deadline + 1y 后任何 sig)

## 4.8 minerFee 分摊 — maker stake 扣 + monitor metric (= Owner 5/23 加)

refund_disagreement TX 的 minerFee 从 maker stake 扣 (= 跟 refund_unanimous_silent L132 一致). bettor 不参与 spine TX 不该出. oracle bond 不动.

**Owner 5/23 加 monitor metric caveat** (= area 10 监控):
- 加 `maker_disagreement_fee_accumulated` 月度统计
- 超 maker total stake 1% → trigger area 10 re-design
- 不 blocker, 是监控指标 (= mainnet disagreement 率 > 5% 时 maker 累积小费用形成 market creation dis-incentive)

## 4.9 新 SS entry refund_disagreement propose — (A) 1 entry parametric + 2 constraint

P6 J1 catch: burn Gap 1B 让 output 数 case-dependent (= Gap 1A 4 outputs / Gap 1B 3 outputs). 单 entry parametric 用 silentOracleIndex sentinel 区分 case (= 跟 settle_majority_forfeit_1 同 pattern, code-reuse).

```
entrypoint function refund_disagreement(
    sig oracleSig1, sig oracleSig2,           // 2-of-3
    int signingPair,                            // 0=oracle1+2, 1=oracle1+3, 2=oracle2+3
    in

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

636970685f6d73673a313a62636173743a6465762d636f6f72643a426574746f722072343230205b313737393531353233353334355d20646f63207634206368756e6b20352f313420e28094206172656120372d31322066756c6c202b2051313520736564696d656e74202b205242462045350a0a404a3120e2809420646f63207634203134206368756e6b7320283d207e35334b4220746f74616c292e20e694b6e9bd90e68bbce59b9e20353437373920627974657320766572626174696d20636f6d6d6974207265706c61636520763320283d206d6173746572203132336262396331292e207365672035207061796c6f61643a0a0a2d2d2d20444f43207634204348554e4b20352f313420424547494e202d2d2d0a0a2f323320e992a6e5ae9a290a2d20322064697373656e74206f7261636c6520626f6e6420e286922072657475726e20283d20332e35290a2d2073696c656e74206f7261636c6520626f6e6420e28692202a2a6275726e2a2a20283d206f757470757420e4b88de58886e9858d2c20e887aae58aa8e6b581e585a5206d696e657246656520e887aae784b6e6b688e58c962c20e8b79f20457468657265756d203135353920e5908ce6acbe290a2d206d616b6572207374616b6520e286922072657475726e0a2d20626574746f7220e8b5b020506f6f6c536964652e726566756e645f6d61726b65745f63616e63656c6c656420e887aae58f960a0a2a2a4f776e657220e58f8de5afb92073696c656e7420e28692206d616b65722a2a20e79c9fe6a0b8e5bf83e79086e794b13a206d616b6572207374616b6520e98080202b20e9a29de5a496202b312073696c656e7420626f6e6420e28988202b706f74206361702066726565206d6f6e657920e28692206d616b657220e58d8fe8aeaee5b182202b455620e2869220e69c89e58aa8e69cbae5889be5bbbae588a4e5ae9ae6a8a1e7b38a206d61726b6574204f5220e8b4bfe8b5822031206f7261636c6520e5a4b1e5a3b02e202831292022636f6e73697374656e637920e8b79f20726566756e645f756e616e696d6f75735f73696c656e7420e4b880e887b42220e698afe7bba7e689bf206b6e6f776e20e7bcbae999b72c20e692a4e59b9e2e20283429206275726e2030206d616e6970756c6174696f6e20766563746f72202b203020535320e5a48de69d82e5baa6202b20e8b79f202270726f746f636f6c20e4b88d2072656e742d7365656b2220e593b2e5ada6e4b880e887b42e0a0a232320342e3220e4b8a4e4b8aa20726566756e6420e8b7afe5be84e5b9b6e5ad9820283d204a31202334393220636174636820e4bfaee6ada3290a0a626574746f72207374616b6520e4b88de59ca8207370696e652c20e59ca820506f6f6c53696465205032534820283d206172656120312e3320e99289e6adbb292e20726566756e645f64697361677265656d656e7420e698af207370696e652d6f6e6c792054583a0a2d202a2a5370696e6520706174682a2a3a20726566756e645f64697361677265656d656e7420545820283d206d616b6572207374616b65202b2033206f7261636c6520626f6e64202d2073696c656e74206275726e290a2d202a2a506f6f6c5369646520c397204e2a2a3a20726566756e645f6d61726b65745f63616e63656c6c656420283d20e6af8f20626574746f7220e887aae58f96290a2d202a2ae58d8fe8b0832a2a3a20636861696e5f6576656e7420e4bfa1e58fb720283d20e8a78120342e36204761702038290a0a232320342e3320463220726566756e645f6d616b65725f756e6a6f696e6564207769726520e2809420e68ea8e4b88de5819a20666173742d706174680a0a726566756e645f6d616b65725f756e6a6f696e6564205353204c31333920726571756972652060696e707574732e6c656e677468203d3d2031602e2070656e64696e675f626574746f727320e697b6207370696e6520e5b7b22034205554584f20283d206d616b6572202b203320626f6e642920e286922053532072656a6563742e20463220e5ae9ee99985e58faae59ca82073616d706c696e672d6661696c20e8b7afe5be8420283d2030206f7261636c6520626f6e6420e8bf9b207370696e652920e591bde4b8ad2e0a0a22e585a820626f6e64202b203020626574746f7222206361736520e5b7b220726566756e645f756e616e696d6f75735f73696c656e7420706970656c696e6520636f76657220283d2033306d696e20e685a2e4bd8620776f726b292e20666173742d7061746820e696b020535320656e747279203d2073636f70652063726565702e202a2ae68ea5e58f972033306d696e20e685a220726566756e645f756e616e696d6f75735f73696c656e742a2a2c20e4b88d206669726520463220666173742d706174682e0a0a232320342e34207072652d53686970206f727068616e20e28094204f776e657220352f323320e992a6e5ae9a20284129202b20444220667265657a6520666c61670a0ae696b020726566756e645f64697361677265656d656e74203d20e696b0205032534820e59cb0e59d802e20e78eb0e58da12062676b347320e7ad89207072652d53686970206d61726b657420e99481e59ca8e697a720503253482c20e697a7e59088e7baa6e6b2a120726566756e645f64697361677265656d656e74203d20e696b020656e74727920e5afb9e5ae83e4bbace6b0b8e4b985e697a0e695882e0a0a2a2a4f776e657220e992a6e5ae9a2028412920e68ea5e58f97206f727068616e202b20e9858de5a59720444220667265657a6520666c61672a2a3a0a2d20e58aa0206066726f7a656e5f7072655f73686970203d203160206d6967726174696f6e20283d20e4b880e8a18c2053514c290a2d2063726f6e202f20e581a5e5bab7e6a380e69fa5202f20554920e4b88de689abe8bf99e689b9206d61726b65740a2d20e590a6e58899e5ae83e4bbace68c81e7bbade4baa7e7949fe599aae5a3b0e697a5e5bf97202b206865616c74685f79656c6c6f770a2d202a2ae4b88de7ae97207265736375652c20e698af2068796769656e652a2a0a2d20746573746e657420e5ad98e59ca8e79a84e6848fe4b989e5b0b1e698afe58581e8aeb820737472616e646564206172746966616374732c20e980bce585bbe688902022e88081e58d8fe8aeaee88081206d61726b65742c20e696b0e58d8fe8aeaee696b0206d61726b657420e4b88de6b7b72220e79a84e7baaae5be8b0a2d20646f6320e6988ee586993a202276302e3520e696b020535320656e74727920e58faae69591e58887e68da2e5908e2063726561746520e79a84206d61726b65742c207072652d5368697020e58da1e58d952061636b6e6f776c6564676564206f727068616e202b20506861736520352072657363756520e69caae69da52064657369676e220a0a232320342e352044495341475245454d454e545f54494d454f555420e697b6e9929fe58e9fe782b920e28094207374617368202b20636861696e5f6576656e7420e58f8ce8bda820283d204f776e657220352f323320e58aa0290a0a7374617368206064697361677265656d656e745f64657465637465645f61746020444220636f6c756d6e20283d20646563696465436f6e73656e73757320e7acace4b880e6aca1e79c8be588b0203320e7a5a82073706c697420e697b6e4b880e6aca1e680a7e586992c20e4b98be5908e20726561642d6f6e6c79292e0a2a2ae5908ce697b62a2ae5869920636861696e5f6576656e74206064697361677265656d656e745f64657465637465646020283d20e5b8a62074696d657374616d70292e0a0a2a2a4f776e657220e992a6e5ae9ae58f8ce8bda8e58e9fe588992a2a3a20e58685e983a8e78ab6e68081204442202b20e58d8fe8aeaee4ba8be5ae9e20636861696e5f6576656e742c20e6b0b8e8bf9ce58f8ce8bda82e0a0ae4b88de5a48de794a82060757064617465645f61746020e998b2205068617365203320706172736553716c69746555746320e5908ce6acbee999b7e998b12e0a0a232320342e3620726566756e645f64697361677265656d656e7420e5a49ae7adbe20e2809420322d6f662d33206f7261636c6520283d20e8b79f20666f72666569745f3120e4b880e887b4290a0a28422920322d6f662d33206f7261636c652073696720e2809420e8a7a3206c6f6e652d64697373656e746572206772696566696e67202b20e8b79f20666f72666569745f312073696720e695b0e4b880e887b4202b20535320736967207468726573686f6c6420e585a8e58d8fe8aeaee7bb9fe4b8802e2044524f50206d616b65722073696720283d204a31202334383620636174636820e998b2206c6f73696e672d6d616b6572207275672d7669612d726566756e642d72616365292e0a0a28412920332d6f662d3320e58d95e782b9e5a4b1e8b4a5e698af2070726f746f636f6c20e5b182e4b88de58fafe68ea5e58f9720283d206f7261636c65206772696566696e6720e4b880e7a5a8e590a6e586b3203d206d61726b657420e6b0b8e4b98520737475636b292e0a0a232320342e3720506f6f6c5369646520726566756e6420e8a7a6e58f91e58d8fe8b08320e2809420636861696e5f6576656e7420e4bfa1e58fb70a0a7370696e6520726566756e645f64697361677265656d656e7420545820e4b88ae993be20e2869220e887aae58aa8e4baa7e7949f20636861696e5f6576656e7420226d61726b65745f726566756e6465642220e2869220626574746f7220e5aea2e688b7e7abaf20706f6c6c20636861696e5f6576656e747320e79c8be588b020e2869220e887aae58aa82062726f61646361737420506f6f6c536964652e726566756e645f6d61726b65745f63616e63656c6c65642e20e4b88de5bcba206d616b657220444d20283d20e697a0206d616b657220e58d95e782b9e5a4b1e8b4a5207269736b292e0a0a2a2a4f776e657220352f323320e58aa020506f6f6c53696465206c6f6e672d7461696c2074696d656f7574206573636170652a2a20283d20e8aeb02061726561203131202f20706861736520352c20e4b88de998bbe5bd93e5898d293a0a2d20626574746f7220e887aae5b7b1e4b99fe58fafe883bde5a4b1e8819420e2869220506f6f6c53696465205032534820e8b584e98791e6b0b8e4b98520737475636b0a2d20e58aa0206573636170653a206d61726b657420646561646c696e65202b203120e5b9b4e5908e2c202a2ae4bbbbe4bd95e4babae983bde883bd20747269676765722a2a20506f6f6c5369646520726566756e6420e98080e59b9e2a2ae58e9f20626574746f7220e59cb0e59d802a2a20283d20e4b88de5bd92e588abe4baba290a2d20e99d9ee68998e7aea1e4b88de58f98e9878fe5beaee5a699e782b93a2022626574746f7220e6b0b8e8bf9ce68ea7e588b6e7a781e992a52220e289a02022e6b0b8e8bf9ce59ca8e7babf222e20e8b584e9879120737475636b20767320e4b8a2e5a4b1e4b98be997b4e99c802070726f746f636f6c2d6c6576656c20736166657479206e65740a2d20506f6f6c5369646520e696b020535320656e7472793a20726566756e645f6d61726b65745f63616e63656c6c65645f616e796f6e6520283d20646561646c696e65202b20317920e5908ee4bbbbe4bd9520736967290a0a232320342e38206d696e657246656520e58886e6918a20e28094206d616b6572207374616b6520e689a3202b206d6f6e69746f72206d657472696320283d204f776e657220352f323320e58aa0290a0a726566756e645f64697361677265656d656e7420545820e79a84206d696e657246656520e4bb8e206d616b6572207374616b6520e689a320283d20e8b79f20726566756e645f756e616e696d6f75735f73696c656e74204c31333220e4b880e887b4292e20626574746f7220e4b88de58f82e4b88e207370696e6520545820e4b88de8afa5e587ba2e206f7261636c6520626f6e6420e4b88de58aa82e0a0a2a2a4f776e657220352f323320e58aa0206d6f6e69746f72206d6574726963206361766561742a2a20283d206172656120313020e79b91e68ea7293a0a2d20e58aa020606d616b65725f64697361677265656d656e745f6665655f616363756d756c617465646020e69c88e5baa6e7bb9fe8aea10a2d20e8b685206d616b657220746f74616c207374616b6520312520e28692207472696767657220617265612031302072652d64657369676e0a2d20e4b88d20626c6f636b65722c20e698afe79b91e68ea7e68c87e6a08720283d206d61696e6e65742064697361677265656d656e7420e78e87203e20352520e697b6206d616b657220e7b4afe7a7afe5b08fe8b4b9e794a8e5bda2e68890206d61726b6574206372656174696f6e206469732d696e63656e74697665290a0a232320342e3920e696b020535320656e74727920726566756e645f64697361677265656d656e742070726f706f736520e2809420284129203120656e74727920706172616d6574726963202b203220636f6e73747261696e740a0a5036204a312063617463683a206275726e2047617020314220e8aea9206f757470757420e695b020636173652d646570656e64656e7420283d204761702031412034206f757470757473202f204761702031422033206f757470757473292e20e58d9520656e74727920706172616d657472696320e794a82073696c656e744f7261636c65496e6465782073656e74696e656c20e58cbae58886206361736520283d20e8b79f20736574746c655f6d616a6f726974795f666f72666569745f3120e5908c207061747465726e2c20636f64652d7265757365292e0a0a6060600a656e747279706f696e742066756e6374696f6e20726566756e645f64697361677265656d656e74280a20202020736967206f7261636c65536967312c20736967206f7261636c65536967322c20202020202020202020202f2f20322d6f662d330a20202020696e74207369676e696e67506169722c202020202020202020202020202020202020202020202020202020202f2f20303d6f7261636c65312b322c20313d6f7261636c65312b332c20323d6f7261636c65322b330a20202020696e0a0a2d2d2d20444f43207634204348554e4b20352f313420454e442028e7bbad29202d2d2d