check / check (push) Failing after 2s
atime left mf.proto earlier and nothing reads or writes it, but docs/FORMAT.md still narrated its removal and listed it among the determinism rules. The spec now describes the file entry by its fields only. A new test compares the MFFilePath message descriptor against the fields the spec lists, by name and number, so a field added to or removed from the proto without a matching spec change fails the build. Model: opus-5-5