Куда пропадает половина дискового пространства?
63G /
1.5G /boot
небось, ещё и swap-раздел есть, только его df не показывает (выполните команду swapon без аргументов, чтобы посмотреть размер свопа)

Да ещё и непонятно, выделяли 70 ГБ или 70 ГиБ
1000*1000*1000*70 == 1024*1024*1024*65,192580223
Так что нет, даже на своп ничего не остаётся, как раз только 0.5G на EFI и всё в ноль сходится.
все нормально
size = 63G  вполне близко к выделенным 70 гб.