He localizado un artículo que intenta resolver la cuestión con tu mismo enfoque:
https://cromwell-intl.com/cybersecurity/crypto/hash-search.htmlNo parece aseverar que una hash iterativo del hash dé a parar con todos los resultados (habla sobre que posiblemente el algoritmo SHA-XXX pueda tener algunos patrones de salida "prohibidos" (ejemplo – que no más de n bits consecutivos puedan tener el mismo valor), lo cual sería tanto como decir que podrían haber en la práctica menos de 2^256 sha256 diferentes realmente generables. No obstante, no veo nada que ampare esta teoría que el autor mismo especula que puede suceder, pero que duda que suceda en la práctica.
Quizás por colisión, dos inputs de los 2^256 shas den el mismo sha de salida, por lo que harían falta más inputs que los outputs generados de los shas iterativos (digo yo; podría estar equivocado).
Según el artículo citado:
Possible outputs = 2^256
Possible inputs = 2^(264 - 1) = 218446744073709551615
Es decir, hay una gran cantidad de inputs que pueden generar el mismo output, por lo que si dos outputs (actuando a modo de input) general el mismo output, harían falta nuevos inputs externos a los iterados en el sha iterativo.