The difficulties with readdir and atime and perhaps writes generally make me think it may be worthwhile targetting a simple common case, such as immutable base filesystem (typically squashfs) and a partition for storing changes (perhaps including atime changes).