¿Por qué mi espacio de disco utilizado y disponible no es igual al total informado a través de "df"?

Es porque usted tiene un 250,8 GB (= 233,6 GiB, gracias a la unidades inconsistentes utilizadas para la memoria ) Contenedor APFS (/dev/disk1) con un número de volúmenes en él, todos ocupando espacio. 15 GB (= 14 GiB) es justo lo que que un volumen (técnicamente una instantánea de un volumen) está ocupando, pero el espacio libre es la cantidad que queda después de todo se tienen en cuenta los volúmenes.

diskutil list ofrece una visión más completa de lo que ocurre:

/dev/disk1 (synthesized):
   #:                       TYPE NAME                    SIZE       IDENTIFIER
   0:      APFS Container Scheme -                      +250.8 GB   disk1
                                 Physical Store disk0s2
   1:                APFS Volume Macintosh HD - Data     205.8 GB   disk1s1
   2:                APFS Volume Preboot                 426.9 MB   disk1s2
   3:                APFS Volume Recovery                613.9 MB   disk1s3
   4:                APFS Volume VM                      6.4 GB     disk1s4
   5:                APFS Volume Macintosh HD            15.1 GB    disk1s5
   6:              APFS Snapshot com.apple.os.update-... 15.1 GB    disk1s5s1

Para ver cuánto espacio ocupa cada volumen, mira la columna TAMAÑO. El contenedor tiene 250,8 GB de espacio, el disco1s1 está ocupando 205,8 GB de eso, el disco1s2 está ocupando 426,9 MB (= 0,4269 GB), etc.

Así que la suma del espacio ocupado por los volúmenes en el contenedor disk1 (en GB) es 205,8 + 0,4269 + 0,6139 + 6,4 + 15,1 = 228,34. Ten en cuenta que los 15,1 MB sólo cuentan una vez, porque disk1s5s1 es sólo una instantánea de disk1s5, por lo que, al menos, son sólo formas diferentes de ver los mismos datos y sólo se almacenan una vez.

Ahora, 228,34 GB de 250,8 GB dejan 22,46 GB (= 20,92 GiB), que no bastante coinciden con los 18 GiB de espacio libre reportados por df . No estoy seguro de por qué hay una diferencia ahí. Puede ser que haya alguna sobrecarga del sistema de archivos que no se cuenta en el espacio ocupado por los volúmenes individuales. Además, supongo que es posible que la instantánea del disco de inicio se haya modificado ligeramente, por lo que disk1s5 y disk1s5s1 no completamente compartir el espacio (lo que sería raro, pero quién sabe)?