the gears to ascension comments on Davidad’s Provably Safe AI Architecture—ARIA’s Programme Thesis