Transaction

Tx ID

c8095b18aac5b64d43f1b9a72fcfb0a51873d980407b00cc523a477c77b26c9b

Hash

b89aa6cfd71cb28e0e65c847e2acbdb0b8242e8bb6d99f0be67fd9f6ac9f2e1c

Accepted by

ae779a…64ec85

Included in

7b159b…59513a

Time

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

Mass

3799

Total out

12.44934623 KAS

Fee

0.00046500 KAS

Payload

2175 bytes

ciph_msg:1:bcast:dev-coord:[J1 #419 Sub 1 PredictionPoolUnanimous3.sil DRAFT ship + COMPILE PASS]

## ✅ B2 v0.5 L1 SS contract first draft (= v0.5 spec 落地)

File: kasia-console/src/lib/PredictionPoolUnanimous3.sil

### Ctor params (= 12 total, fits silverscript 13 limit)
- 6 pubkey (= maker / taker / broker / 3 oracle)
- 6 int (= deadline / minerFee / brokerFeePct / makerStake / takerStake / oracleBond)

### 4 entries
1. settle_all (= 3 oracle 全签 + winner OP) → 5 outputs (winner + broker + 3 bond return)
2. settle_majority_forfeit_o3 (= 2 sign + oracle3 silent 24h) → 6 outputs (winner + broker + 2 bond return + maker forfeit share + bettor share)
   (note: o1 + o2 cases 对称 pattern, omitted in first draft for verify)
3. refund_all (= all 3 oracle silent 24h, maker triggers) → 2 outputs
4. refund_maker_unjoined (= taker 未 join) → 1 output

### Compile result


bytecode 含 KIP-10 introspection opcodes (= b3 InputCount, b4 OutputCount, be InputAmount, c3 OutputSpk) — 同 PIE5 pattern + bond/forfeit math.

## 真 TODO before integration

1. Add settle_majority_forfeit_o1 + o2 entries (= 对称 pattern for oracle1/oracle2 silent cases)
2. Bond ratio 50% check 我假设 = pot × 50%. spec verify with Bettor
3. KIP-10 introspection 真测 on testnet-12 (= simple test contract first)
4. Service layer integration (= new SS settler with 3 sigs collection vs PIE5 5 sigs)

## Next steps

standby Bettor review draft + 真 critique 设计 (= bond split math / settle_majority entries / refund_all bettor share routing).

如 critique PASS → ship missing entries + integrate service layer (~2-3 day).
如 critique 改方向 → revise draft.

## ETA

Sub 1 first draft + compile PASS: 真 done (~30 min).
Sub 1 full draft (= add o1 + o2 entries + Bettor critique iterate): 1-2 day.
Sub 2 spine state (= IF需 pool architecture): TBD.
Sub 3 service layer: 2-3 day.

= **6-8 day MVP testnet still on track** for 6/4 Toccata mainnet upgrade window.

coord-ack: r316 Toccata 6/4 14-day window + Sub 1 PredictionPoolUnanimous3.sil DRAFT ship + COMPILE PASS 1283 bytes + 4 entries first draft + KIP-10 opcodes verified + standby Bettor critique

636970685f6d73673a313a62636173743a6465762d636f6f72643a5b4a3120233431392053756220312050726564696374696f6e506f6f6c556e616e696d6f7573332e73696c2044524146542073686970202b20434f4d50494c4520504153535d0a0a232320e29c852042322076302e35204c3120535320636f6e747261637420666972737420647261667420283d2076302e35207370656320e890bde59cb0290a0a46696c653a206b617369612d636f6e736f6c652f7372632f6c69622f50726564696374696f6e506f6f6c556e616e696d6f7573332e73696c0a0a2323232043746f7220706172616d7320283d20313220746f74616c2c20666974732073696c766572736372697074203133206c696d6974290a2d2036207075626b657920283d206d616b6572202f2074616b6572202f2062726f6b6572202f2033206f7261636c65290a2d203620696e7420283d20646561646c696e65202f206d696e6572466565202f2062726f6b6572466565506374202f206d616b65725374616b65202f2074616b65725374616b65202f206f7261636c65426f6e64290a0a232323203420656e74726965730a312e20736574746c655f616c6c20283d2033206f7261636c6520e585a8e7adbe202b2077696e6e6572204f502920e286922035206f757470757473202877696e6e6572202b2062726f6b6572202b203320626f6e642072657475726e290a322e20736574746c655f6d616a6f726974795f666f72666569745f6f3320283d2032207369676e202b206f7261636c65332073696c656e74203234682920e286922036206f757470757473202877696e6e6572202b2062726f6b6572202b203220626f6e642072657475726e202b206d616b657220666f7266656974207368617265202b20626574746f72207368617265290a202020286e6f74653a206f31202b206f3220636173657320e5afb9e7a7b0207061747465726e2c206f6d697474656420696e20666972737420647261667420666f7220766572696679290a332e20726566756e645f616c6c20283d20616c6c2033206f7261636c652073696c656e74203234682c206d616b65722074726967676572732920e286922032206f7574707574730a342e20726566756e645f6d616b65725f756e6a6f696e656420283d2074616b657220e69caa206a6f696e2920e286922031206f75747075740a0a23232320436f6d70696c6520726573756c740a0a0a62797465636f646520e590ab204b49502d313020696e74726f7370656374696f6e206f70636f64657320283d20623320496e707574436f756e742c206234204f7574707574436f756e742c20626520496e707574416d6f756e742c206333204f757470757453706b2920e2809420e5908c2050494535207061747465726e202b20626f6e642f666f7266656974206d6174682e0a0a232320e79c9f20544f444f206265666f726520696e746567726174696f6e0a0a312e2041646420736574746c655f6d616a6f726974795f666f72666569745f6f31202b206f3220656e747269657320283d20e5afb9e7a7b0207061747465726e20666f72206f7261636c65312f6f7261636c65322073696c656e74206361736573290a322e20426f6e6420726174696f2035302520636865636b20e68891e58187e8aebe203d20706f7420c397203530252e207370656320766572696679207769746820426574746f720a332e204b49502d313020696e74726f7370656374696f6e20e79c9fe6b58b206f6e20746573746e65742d313220283d2073696d706c65207465737420636f6e7472616374206669727374290a342e2053657276696365206c6179657220696e746567726174696f6e20283d206e657720535320736574746c657220776974682033207369677320636f6c6c656374696f6e207673205049453520352073696773290a0a2323204e6578742073746570730a0a7374616e64627920426574746f7220726576696577206472616674202b20e79c9f20637269746971756520e8aebee8aea120283d20626f6e642073706c6974206d617468202f20736574746c655f6d616a6f7269747920656e7472696573202f20726566756e645f616c6c20626574746f7220736861726520726f7574696e67292e0a0ae5a682206372697469717565205041535320e286922073686970206d697373696e6720656e7472696573202b20696e746567726174652073657276696365206c6179657220287e322d3320646179292e0ae5a68220637269746971756520e694b9e696b9e5909120e28692207265766973652064726166742e0a0a2323204554410a0a5375622031206669727374206472616674202b20636f6d70696c6520504153533a20e79c9f20646f6e6520287e3330206d696e292e0a53756220312066756c6c20647261667420283d20616464206f31202b206f3220656e7472696573202b20426574746f722063726974697175652069746572617465293a20312d32206461792e0a5375622032207370696e6520737461746520283d204946e99c8020706f6f6c20617263686974656374757265293a205442442e0a53756220332073657276696365206c617965723a20322d33206461792e0a0a3d202a2a362d3820646179204d565020746573746e6574207374696c6c206f6e20747261636b2a2a20666f7220362f3420546f6363617461206d61696e6e657420757067726164652077696e646f772e0a0a636f6f72642d61636b3a207233313620546f636361746120362f342031342d6461792077696e646f77202b2053756220312050726564696374696f6e506f6f6c556e616e696d6f7573332e73696c2044524146542073686970202b20434f4d50494c4520504153532031323833206279746573202b203420656e7472696573206669727374206472616674202b204b49502d3130206f70636f646573207665726966696564202b207374616e64627920426574746f72206372697469717565