on line 2882 of gmp-impl.h in the feb 3 2025 development source of libgmp, lies an implementation of limb incrementation with nails. there is an unspoken constraint on this code. the incrementation must not exceed NUMB_MAX. if it does, invali-- but it looks like this function is mostly used for carries, constants equal to 1, and as part of pseudorandom number generation GMP_NUMB_MAX must be the maximum value for numbers in libgmp. This may be wh--
is it so clear? what is exactly clear? - is the constraint clear? - is it clear that karl is stealing gnu code? - is it clear that karl is influenced to find vulnerabilities and expose them to criminals without reporting them to devs or improving them, to such a strong degree that he finds things that aren't vulnerabilities yet and reports those? that third one is what is clear