Disclaimer: this is a bit off-topic, but I'm thinking that TeX designers must have considered this at one point or another
Why do all pages in a book have to have exactly the same text width? (and font size, for that matter)
I understand that the Knuth-Plass strategy for making paragraphs is already a complex programming challenge, and apparently its natural extension for page layout is even more challenging (typically not implemented; a more naive approach is used instead). Adding new degrees of freedom might simply make the problem unsolvable in practice (my guess).
But perhaps not. The way I see it, the requirement that one page and the next have exactly (to a fraction of a mm) the same width and font size is not based on a typographic ideal (no human would see a difference when turning the page of a novel if the line width was half a mm wider, for example, or if the font scaled to 11.02pt). It is clearly a technical constraint inherited from previous technologies, and imposed from the start. As such, I wonder is the design of TeX thought of including it as a variable in the global problem. From a purely aesthetic point of view, I would rather let the page layout breathe ever so slightly than stretch much the inter-word spacing, which even in the best of cases happens too often to my eyes. Of course there are cases (grid design applications, etc.) where this would not be appropriate, just as ragged-right vs justified text in different contexts.
Any thoughts/references along those lines?
Edit: in response to the (very reasonable) suggestion that "ideally you would typeset your content on a grid, such that the two sides of page would perfectly line up and the content would overlap", I want to clarify a couple of things (to make the question interesting):
- I am not suggesting drastic or even visible changes, but very minor breathing, in the line of microtypography adjustments
- printed pages are never exactly aligned (hence page bleed, etc.)
- ideal paper is not see-through, and partial transparency is already a problem regardless of page layout (content will never line up, except for contrived examples of Lorem Ipsum)
- computer screens display pdfs without this see-through inconvenience
- I believe grid typesetting is but one strategy (albeit often the best), and in some specific designs perhaps not the optimum

a new champion would be needed to redesign the foundations, what often puzzles me in TeX is how one person designed the whole thing from scratch (concepts, implementation, and even a new font creation paradigm), yet in the many decades that have followed there are so very few examples of such "redesign of the foundations" (or just reconsideration). Sure, i) it's simultaneously one the greatest and most arcane softwares around; ii) very few people can afford full-time work on it; iii) the foundations are very strong. But still... – user159867 Apr 05 '18 at 20:22