Linear scaling computation of the Fock matrix. II. Rigorous bounds on exchange integrals and incremental Fock build | Synapse