There are already a couple of questions around the topic of changing the value of \vbadness from its default value of 1000, e.g., How reduce badbox sensitivity locally? or Do I have to care about bad boxes?. Now, noting that \vbadness=0 raises a lot of undoutably unnecessary warnings, I wonder whether the choice of 1000 has a particular justification. Is it a 'good' choice (whatever this means)?
I have not found any details on how the badness is calculated, but since the maximum badness equals 10000, I suspect the badness scale is a pretty non-linear one. Probably, several components are weighed in a way that the prevalence of some effect always outweighs that of another, and then summed. Is this correct? I would also be interested in whether scaling up a complete document (say, from A4 to A3) and all margins, font sizes, glue etc. would result in the same badnesses, or whether they would change.
\flushbottomversus\raggedbottomalternative, in the paragraph that speaks of “an integral number of lines”. This time I have been faster :-) , but, of course, your answer is much more exhaustive, so I bow and retire respectfully. – GuM Jun 11 '15 at 16:26\raggedbottomadds small infinite stretchability, so as to make the badness of pages always 0. For a two side document it's out of question. – egreg Jun 11 '15 at 16:29onesideoption, in almost all document classes, implies the\raggedbottomsetting: sometimes users are surprised that switching fromonesidetotwosidealters the appearance of the pages, especially those containing a lot of (non-infinite) glue. I have answered a couple of questions of this kind on the guit forum (btw, are we going to see you there anymore?). But it’ fair enough to have this point mentioned in the comments, I guess. – GuM Jun 11 '15 at 16:39