Rank-5 toy Rota Basis Conjecture for circuit-rich pools

Let $M$ be a rank-$5$ binary matroid instance from the circuit-rich pool template described in the source, including trap instances and arbitrary conjugation by $\operatorname{GL}(5,2)$. Rank-5 toy Rota Basis conjecture. The de-randomized version of $\mathsf{Policy}_5$ terminates with five full columns, equivalently five disjoint transversal bases. This is a finite, experiment-specific claim about the stated generated class; it is not the general Rota Basis Conjecture and is not established beyond the reported computational setting.