I have updated the Lean FS specification to version 0.8.0.
I moved the iaHidden attribute from the Inode's Attributes and placed it in the directory entry's type field. This allows each separate hard link to the same inode to be hidden independently of each other.
I also added the ability to "delete" a file, allowing it to be undeleted at a later date.
See the new version for more information.