Legacy proof progress

After the primary 798-table publication finishes, this separate low-resource job freshly scans the 299 earlier publications. It never changes their pages or the primary database. A relevant tool change invalidates its old proofs and safely requeues them.