Sharpen the Spec, Cut the Code A Case for Generative File System with SYSSPEC