Don't need pseudocode. Hashes are deterministic. Every output committed to via CTV must be known beforehand. Hash cycles are not possible without also breaking SHA256 because you would need to compute a hash preimage that hashes to itself (in one go or transitively). So as long as the discrete log problem holds and SHA256 remains unbroken you cannot create a recursive covenant using CTV.