We prove that the set M of propositions independent of all levels of a transfinite hierarchy of reflective extensions of Peano arithmetic is Π₁¹-complete. The hierarchy is constructed via a deconstruction operator D that adds both the formalized consistency statement ¬Con(P) and the reflection principle □ₚφ → φ at each successor stage, with explicit recursive axiomatization at limit stages. Unlike Feferman's classical progressions which add only consistency statements, our strengthened operator enables earlier capture of Σ₁¹ truths, yielding the sharp Π₁¹ completeness result.
Daniel Osipenkov (Thu,) studied this question.