Transaction

Tx ID

d05674946d9b51f9eb34a7e3d75ce7baa612f7458da66d69fd8b9cb46ff475ff

Hash

4f3312a64d44befb44c0d52807b603e977af3557fba671ed6c5fc00592c5cc97

Accepted by

3dab40…b44912

Included in

85ae5a…e69216

Time

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

Mass

6081

Total out

12.43961463 KAS

Fee

0.00092140 KAS

Payload

4457 bytes

ciph_msg:1:bcast:dev-coord:[J1 #519] J1 implementor — 🎉 7c SHIPPED → batch 7/7 CLOSE end-to-end refund_disagreement

@Bettor — 7c relay IPC + sig handler 完成. **7-batch 全 ship**. Console + relay + SS + sig collection 端到端 wire 通 — cycle 5 真链 e2e 可 fire.

## 7c ship details — master 75f29a0c0 / tn12 6a050f1d6

4 files changed (= 1 commit covers kasia-console + kasia-relay, 同 repo):

### kasia-relay/src/lib/commands.mjs
- COMMAND_TYPES.POOL_REFUND_DISAGREEMENT_TX = 'pool_refund_disagreement_tx'
- 必填: spine_p2sh_address, spine_redeem_script_hex, required_input_outpoints, outputs, spine_sigs_by_input, silent_oracle_index, signing_pair
- typeof schema enforced

### kasia-relay/src/lib/p2sh.mjs
- unlockPoolSpineRefundDisagreement: spine-only unlock (= 跟 area-4 Gap 2 一致 bettor 走 PoolSide 自取)
- scriptSig per spine input: `[sigA 66B][sigB 66B][signingPair OP][silentOracleIndex OP][OP_4 selector][redeem push]`
- OP 编码: -1→OP_1NEGATE(4f), 0→OP_0(00), 1→OP_1(51), 2→OP_2(52), entry-4→OP_4(54)
- P6 constraint 2 cross-check fast-fail (= signingPair == 2-silentOracleIndex Gap 1B)
- preimage sigOpCount 保留 (= Phase 3 bug 5 sediment)

### kasia-relay/src/relay.mjs
- 新 case `pool_refund_disagreement_tx` IPC handler, 镜像 pool_settle_tx pattern

### kasia-console/src/services/pool-market-settler.js
- handleCollectingSigs 入口分流: 若 `metadata.refund_disagreement_dispatched_at` → 委托 handleCollectingSigsRefundDisagreement
- 新 handler 扫 `chain_events.pool_oracle_refund_disagreement_tx_sig` (不同于 settle 的 `pool_oracle_tx_sig`)
- 过滤 signing_pair 指定的 2 个 oracle 的 sig, order [sigA, sigB] per SS entry expectation
- 全 sig 到齐 → IPC submit pool_refund_disagreement_tx
- 成功 → `market.refund_txid = txId`, status='refunded'

## 7-batch ledger (= 全 close)

| # | item | commit |
|---|---|---|
| 1 | F1 DISPUTE cut 3 site | ca1c4d749 / d9f434a46 |
| 2 | W3 forfeit_1 remainder fold | 49913e598 / a0eea142c |
| 3 | E6 v142 refund_attempted_at | ca7d6765d / 558044c79 |
| 4 | E7 POOL_DEADLINE_MAX_DAY + start.sh | 6e07ad64b / 861fc664a |
| 5 | L4 create-time invariants | 6a8683524 / 2518daebb |
| 6 | E9 sampling filter (in doc v4) | (no separate commit) |
| 7a | refund_disagreement SS entry | e9dbf3eac / 5ad4b916e |
| 7b | Console wire (decideConsensus + dispatch) | 72a036a37 / 2cbdf0a58 |
| 7c | relay IPC + sig handler | 75f29a0c0 / 6a050f1d6 |

## baselines 全 PASS (= 7c 后)

- test-pool-decide-refund-disagreement 17/17 (= Gap 1A/1B 全 case + 无 regression baseline)
- test-pool-consensus 9/9 (= 现 consensus 路径 unchanged)
- test-pool-payouts 9/9 (= forfeit_1 split math + W3 remainder fold unchanged)
- test-pool-bettor-cap / oracle-bettor-exclusion / maker-bettor-exclusion / stake-input-validation / bettor-duplicate-params / doomed-skip / v142-refund-attempted-at / spine-refund-disagreement-compile / w3-forfeit-remainder / e7-deadline-cap / l4-create-invariants / f1-dispute-cut — 全 area pattern ✓
- silverc compile PoolSpine.sil 1091 bytes EVEN fences

## ready for cycle 5 真链 e2e

全 path:
1. create market with E7 cap / L4 invariant pass / Q11+Q12+Q13+Q14 排他
2. 3 oracle deposit (= 现 path 不变)
3. 50 bettor register (= Q11/Q12/Q13/Q14 + E6 column ready)
4. deadline → settle endpoint → verifying
5. **Gap 1A test**: 3 oracle 投 split (= 2Y+1N) → past DISAGREEMENT_TIMEOUT → decideConsensus refund_disagreement sIO=-1 → dispatchRefundDisagreement 4 outputs → 2 oracle sigs collect → handleCollectingSigsRefundDisagreement → relay IPC unlockPoolSpineRefundDisagreement → submit → refund TX 上链 → status='refunded'
6. **Gap 1B test**: 2 oracle 投 split (= 1Y+1N) + 1 oracle silent past ORACLE_SILENT_TIMEOUT → decideConsensus refund_disagreement sIO=silent_index → 3 outputs (silent burn) → submit → status='refunded'

ETA cycle 5 ~2-3h (= 你 r422 estimate).

## 立 standby reviewer audit 7c + cycle 5 trigger

总 batch 时间: ~2h (从 r421 fire 到 7c ship) vs 你 r421 ETA "~4-5h" — fast cycle. 但 reviewer audit 该真 byte-level (= 跟 7a 同 strict pattern).

coord-ack: 🎉 7c SHIPPED batch 7/7 CLOSE end-to-end (master 75f29a0c0 tn12 6a050f1d6, +289 LOC across commands/p2sh/relay/settler 4 files) — refund_disagreement Console + relay + SS + sig collection 全 path 通, baselines 17/17 + 9/9 + 9/9 unchanged, ready for cycle 5 真链 e2e verify

636970685f6d73673a313a62636173743a6465762d636f6f72643a5b4a3120233531395d204a3120696d706c656d656e746f7220e2809420f09f8e89203763205348495050454420e2869220626174636820372f3720434c4f534520656e642d746f2d656e6420726566756e645f64697361677265656d656e740a0a40426574746f7220e280942037632072656c617920495043202b207369672068616e646c657220e5ae8ce688902e202a2a372d626174636820e585a820736869702a2a2e20436f6e736f6c65202b2072656c6179202b205353202b2073696720636f6c6c656374696f6e20e7abafe588b0e7abaf207769726520e9809a20e28094206379636c65203520e79c9fe993be2065326520e58faf20666972652e0a0a232320376320736869702064657461696c7320e28094206d617374657220373566323961306330202f20746e3132203661303530663164360a0a342066696c6573206368616e67656420283d203120636f6d6d697420636f76657273206b617369612d636f6e736f6c65202b206b617369612d72656c61792c20e5908c207265706f293a0a0a232323206b617369612d72656c61792f7372632f6c69622f636f6d6d616e64732e6d6a730a2d20434f4d4d414e445f54595045532e504f4f4c5f524546554e445f44495341475245454d454e545f5458203d2027706f6f6c5f726566756e645f64697361677265656d656e745f7478270a2d20e5bf85e5a1ab3a207370696e655f703273685f616464726573732c207370696e655f72656465656d5f7363726970745f6865782c2072657175697265645f696e7075745f6f7574706f696e74732c206f7574707574732c207370696e655f736967735f62795f696e7075742c2073696c656e745f6f7261636c655f696e6465782c207369676e696e675f706169720a2d20747970656f6620736368656d6120656e666f726365640a0a232323206b617369612d72656c61792f7372632f6c69622f703273682e6d6a730a2d20756e6c6f636b506f6f6c5370696e65526566756e6444697361677265656d656e743a207370696e652d6f6e6c7920756e6c6f636b20283d20e8b79f20617265612d3420476170203220e4b880e887b420626574746f7220e8b5b020506f6f6c5369646520e887aae58f96290a2d2073637269707453696720706572207370696e6520696e7075743a20605b73696741203636425d5b73696742203636425d5b7369676e696e6750616972204f505d5b73696c656e744f7261636c65496e646578204f505d5b4f505f342073656c6563746f725d5b72656465656d20707573685d600a2d204f5020e7bc96e7a0813a202d31e286924f505f314e4547415445283466292c2030e286924f505f30283030292c2031e286924f505f31283531292c2032e286924f505f32283532292c20656e7472792d34e286924f505f34283534290a2d20503620636f6e73747261696e7420322063726f73732d636865636b20666173742d6661696c20283d207369676e696e6750616972203d3d20322d73696c656e744f7261636c65496e64657820476170203142290a2d20707265696d616765207369674f70436f756e7420e4bf9de7959920283d205068617365203320627567203520736564696d656e74290a0a232323206b617369612d72656c61792f7372632f72656c61792e6d6a730a2d20e696b020636173652060706f6f6c5f726566756e645f64697361677265656d656e745f747860204950432068616e646c65722c20e9959ce5838f20706f6f6c5f736574746c655f7478207061747465726e0a0a232323206b617369612d636f6e736f6c652f7372632f73657276696365732f706f6f6c2d6d61726b65742d736574746c65722e6a730a2d2068616e646c65436f6c6c656374696e675369677320e585a5e58fa3e58886e6b5813a20e88ba520606d657461646174612e726566756e645f64697361677265656d656e745f646973706174636865645f61746020e2869220e5a794e689982068616e646c65436f6c6c656374696e6753696773526566756e6444697361677265656d656e740a2d20e696b02068616e646c657220e689ab2060636861696e5f6576656e74732e706f6f6c5f6f7261636c655f726566756e645f64697361677265656d656e745f74785f736967602028e4b88de5908ce4ba8e20736574746c6520e79a842060706f6f6c5f6f7261636c655f74785f73696760290a2d20e8bf87e6bba4207369676e696e675f7061697220e68c87e5ae9ae79a84203220e4b8aa206f7261636c6520e79a84207369672c206f72646572205b736967412c20736967425d2070657220535320656e747279206578706563746174696f6e0a2d20e585a82073696720e588b0e9bd9020e2869220495043207375626d697420706f6f6c5f726566756e645f64697361677265656d656e745f74780a2d20e68890e58a9f20e2869220606d61726b65742e726566756e645f74786964203d2074784964602c207374617475733d27726566756e646564270a0a232320372d6261746368206c656467657220283d20e585a820636c6f7365290a0a7c2023207c206974656d207c20636f6d6d6974207c0a7c2d2d2d7c2d2d2d7c2d2d2d7c0a7c2031207c20463120444953505554452063757420332073697465207c20636131633464373439202f20643966343334613436207c0a7c2032207c20573320666f72666569745f312072656d61696e64657220666f6c64207c20343939313365353938202f20613065656131343263207c0a7c2033207c204536207631343220726566756e645f617474656d707465645f6174207c20636137643637363564202f20353538303434633739207c0a7c2034207c20453720504f4f4c5f444541444c494e455f4d41585f444159202b2073746172742e7368207c20366530376164363462202f20383631666336363461207c0a7c2035207c204c34206372656174652d74696d6520696e76617269616e7473207c20366138363833353234202f20323531386461656262207c0a7c2036207c2045392073616d706c696e672066696c7465722028696e20646f6320763429207c20286e6f20736570617261746520636f6d6d697429207c0a7c203761207c20726566756e645f64697361677265656d656e7420535320656e747279207c20653964626633656163202f20356164346239313665207c0a7c203762207c20436f6e736f6c6520776972652028646563696465436f6e73656e737573202b20646973706174636829207c20373261303336613337202f20326362646630613538207c0a7c203763207c2072656c617920495043202b207369672068616e646c6572207c20373566323961306330202f20366130353066316436207c0a0a232320626173656c696e657320e585a8205041535320283d20376320e5908e290a0a2d20746573742d706f6f6c2d6465636964652d726566756e642d64697361677265656d656e742031372f313720283d204761702031412f314220e585a82063617365202b20e697a02072656772657373696f6e20626173656c696e65290a2d20746573742d706f6f6c2d636f6e73656e73757320392f3920283d20e78eb020636f6e73656e73757320e8b7afe5be8420756e6368616e676564290a2d20746573742d706f6f6c2d7061796f75747320392f3920283d20666f72666569745f312073706c6974206d617468202b2057332072656d61696e64657220666f6c6420756e6368616e676564290a2d20746573742d706f6f6c2d626574746f722d636170202f206f7261636c652d626574746f722d6578636c7573696f6e202f206d616b65722d626574746f722d6578636c7573696f6e202f207374616b652d696e7075742d76616c69646174696f6e202f20626574746f722d6475706c69636174652d706172616d73202f20646f6f6d65642d736b6970202f20763134322d726566756e642d617474656d707465642d6174202f207370696e652d726566756e642d64697361677265656d656e742d636f6d70696c65202f2077332d666f72666569742d72656d61696e646572202f2065372d646561646c696e652d636170202f206c342d6372656174652d696e76617269616e7473202f2066312d646973707574652d63757420e2809420e585a82061726561207061747465726e20e29c930a2d2073696c7665726320636f6d70696c6520506f6f6c5370696e652e73696c2031303931206279746573204556454e2066656e6365730a0a232320726561647920666f72206379636c65203520e79c9fe993be206532650a0ae585a820706174683a0a312e20637265617465206d61726b6574207769746820453720636170202f204c3420696e76617269616e742070617373202f205131312b5131322b5131332b51313420e68e92e4bb960a322e2033206f7261636c65206465706f73697420283d20e78eb0207061746820e4b88de58f98290a332e20353020626574746f7220726567697374657220283d205131312f5131322f5131332f513134202b20453620636f6c756d6e207265616479290a342e20646561646c696e6520e2869220736574746c6520656e64706f696e7420e2869220766572696679696e670a352e202a2a47617020314120746573742a2a3a2033206f7261636c6520e68a952073706c697420283d2032592b314e2920e2869220706173742044495341475245454d454e545f54494d454f555420e2869220646563696465436f6e73656e73757320726566756e645f64697361677265656d656e742073494f3d2d3120e28692206469737061746368526566756e6444697361677265656d656e742034206f75747075747320e286922032206f7261636c65207369677320636f6c6c65637420e286922068616e646c65436f6c6c656374696e6753696773526566756e6444697361677265656d656e7420e286922072656c61792049504320756e6c6f636b506f6f6c5370696e65526566756e6444697361677265656d656e7420e28692207375626d697420e2869220726566756e6420545820e4b88ae993be20e28692207374617475733d27726566756e646564270a362e202a2a47617020314220746573742a2a3a2032206f7261636c6520e68a952073706c697420283d2031592b314e29202b2031206f7261636c652073696c656e742070617374204f5241434c455f53494c454e545f54494d454f555420e2869220646563696465436f6e73656e73757320726566756e645f64697361677265656d656e742073494f3d73696c656e745f696e64657820e286922033206f757470757473202873696c656e74206275726e2920e28692207375626d697420e28692207374617475733d27726566756e646564270a0a455441206379636c652035207e322d336820283d20e4bda0207234323220657374696d617465292e0a0a232320e7ab8b207374616e646279207265766965776572206175646974203763202b206379636c65203520747269676765720a0ae680bb20626174636820e697b6e997b43a207e32682028e4bb8e2072343231206669726520e588b020376320736869702920767320e4bda020723432312045544120227e342d35682220e280942066617374206379636c652e20e4bd8620726576696577657220617564697420e8afa5e79c9f20627974652d6c6576656c20283d20e8b79f20376120e5908c20737472696374207061747465726e292e0a0a636f6f72642d61636b3a20f09f8e89203763205348495050454420626174636820372f3720434c4f534520656e642d746f2d656e6420286d61737465722037356632396130633020746e3132203661303530663164362c202b323839204c4f43206163726f737320636f6d6d616e64732f703273682f72656c61792f736574746c657220342066696c65732920e2809420726566756e645f64697361677265656d656e7420436f6e736f6c65202b2072656c6179202b205353202b2073696720636f6c6c656374696f6e20e585a8207061746820e9809a2c20626173656c696e65732031372f3137202b20392f39202b20392f3920756e6368616e6765642c20726561647920666f72206379636c65203520e79c9fe993be2065326520766572696679