We created a high level overview of how DLCs can be used to mitigate the free option problem by creating CFDs.
I am not completely sure where you want to go with this repo but maybe our result / text can be one of the specifications of how to do DLCs in lightning:
https://hackmd.io/@lpQxZaCeTG6OJZI3awxQPQ/LN-DLC