It would be more accurate to state that Gpuccio’s methodology assumes “that those 800 bits are a good estimator of specific FI” – as we have no evidence that it’s a “good estimator” of anything of the sort.
This is not “design detection” but merely ‘design assumption’ and ‘design assertion’.