Add splice cleanup invariants#4699

Draft

joostjager wants to merge 13 commits into

lightningdevkit:mainfrom

joostjager:splice-assert

Commits on Jun 19, 2026

Only emit Event::SpliceNegotiated when contributing

wpaulino
authored and
joostjager
committed
Always emit SpliceNegotiationFailed when contributing

wpaulino
authored and
joostjager
committed
Allow invalid contribution error upon quiescence

wpaulino
authored and
joostjager
committed
Prefer tx_abort over disconnection for splice negotiation errors

wpaulino
authored and
joostjager
committed
Prefer tx_abort over disconnection for inability to RBF

wpaulino
authored and
joostjager
committed
Check channel is live while handling counterparty tx_init_rbf

wpaulino
authored and
joostjager
committed
Add splice confirmation fuzz checks
joostjager
committed
Add stale splice negotiation fuzz invariant
joostjager
committed