path|size|mtime, the overlay stamp's shape. File.lastModified() is a filesystem timestamp, so unlike a zip entry's DOS field it needs no timezone and survives one changing.
path|size|mtime
File.lastModified()