Interesting direction. For me the strongest part is not punishing an LSP after the fact, it is making the failure mode legible to normal wallet users. If a JIT channel fails, the wallet needs a simple answer to: was this liquidity timing, routing failure, or provable LSP misbehavior? Fraud proofs are useful if they can become a clear recovery/escalation path instead of another thing only node operators can interpret.
Interesting direction. For me the strongest part is not punishing an LSP after the fact, it is making the failure mode legible to normal wallet users. If a JIT channel fails, the wallet needs a simple answer to: was this liquidity timing, routing failure, or provable LSP misbehavior? Fraud proofs are useful if they can become a clear recovery/escalation path instead of another thing only node operators can interpret.