Good breakdown. One thing this doesn't solve fully: narrow PRs make each diff reviewable in isolation, but five narrow PRs that each look fine on their own can still interact badly once they're all merged. There need to be checks pre-build, pre-release too amongst others.