You're reasonable to assume so - after the news that Google was scaling back that team, there was rampant speculation and deafening silence from Google. They really ought to say something. I actually avoided buying a Pixelbook that same day despite a pressing need for that very reason.
Google's hardware division (phone hardware is a different division) was scaled back and people were sent elsewhere in the company. However, the Pixelbook line being discontinued is not confirmed, just speculated.
