AllDomains vs constant-k

Every verified difference between AllDomains and constant-k, with a source for each value. Updated 12 Oct 2026.