Similarly, it'd be great if synthetic (generated) files were marked as such natively in the file format. Is there any precedent for that?

Would be cool if standards bodies for next-gen media types added this to their processes, though I don't know enough to say whether that's even viable or not.