I see in pimoroni’s website that Tiny2350 has 4mb of flash but the board definitions in the pico-sdk repository specifies 8mb.
If Tiny2350 has 4mb, certainly it seems a bug but I am not sure which is the responsible to fix it in the repo, whether Raspberry or Pimoroni.