Here is an example.
Participant 0 sent the coin (value 100k sats) to Participant 1 with a file. They validated it, and the fidelity bond.
Then Participant 0 illegally spent the pathcoin:
https://mempool.space/signet/tx/7389220f82b9fc4a1db3d219373a13e6b50d267885361fa5a0901db3e09fb3b8
Then, P1 noticed, and broadcast the first stage penalty:
https://mempool.space/signet/tx/17959099cd0f3dbf47e9e233ce2eee60cda7815e1735c837b588c5753bdc23c1
Look at P2TrScript under 'Details' to see how OP_CTV as OP_NOP4, is used. Then, the second stage penalty was broadcast, which sent it to P1's wallet:
https://mempool.space/signet/tx/2961129e987a4de1bbf3d03b975fa8856764a5dde49203319d2d5a2c7a06f99d#vin=0
Worked first time! After testing 1000 times on regtest 😄
(Btw i forgot to update the CTV blockheight from regtest, but whatever.)