I don’t have enough technical knowledge to know for sure, but some aspects of the Stability Pool seem similar to how Djed works. I wonder if the Indigo protocol could take some aspects of Djed’s algorithm to take advantage of mathematically proven protections against insolvency.