[enticeing]

From the article, it sounds like it's roughly half that on the Pixel 7 at least, around 7-8Gb, since they use an A/B os partition scheme to make OS updates work better.