Why does my reported used and available disk space not equal the total reported via "df"?
It's because on Big_Sur / is a read only system volume mounted on a snapshot. The size of this volume is around 15 go. The free size is 18 go, so the volume &quot;data&quot; may be around 200 go.
The command
diskutil list

Will give the real size of your system volumes.