Господа, поясните, кто знает точно...
Вышел у меня спор, а доказать свою правоту не могу.
Из документации ясно, что обыный (не FULL) VACUUM отмечает место в файлах как свободное, но физически не освобождает его для ОС. Вопрос такой, используется ли это место (помеченное как свободное) сразу, или только тогда, когда перестает хватать места в ФС.
Вот текст из документации:
There are two variants of the VACUUM command. The first form, known as "lazy vacuum" or just VACUUM, marks expired data in tables and indexes for future reuse; it does not attempt to reclaim the space used by this expired data unless the space is at the end of the table and an exclusive table lock can be easily obtained. Unused space at the start or middle of the file does not result in the file being shortened and space returned to the operating system. This variant of VACUUM can be run concurrently with normal database operations.

Мой оппонент считает, что слово, выделенное жирым, в данном контексте означает "использовать повторно", т.е., место в файлах, помеченное как свободное, не может быть использовано, а файлы могут только расти в размере.
Я же считаю, что это слово в данном контексте значит - "освободить для файловой системы".
Кто из нас прав?

Спасибо.