Ruling from sneak (#81 (comment), question 3): drop atime from the schema before the 1.0 format freeze.
State on next
atime (field 304) left mfer/mf.proto in commit 43916c7; no generated code, command, library code or test defines, writes or reads it. What remains is in docs/FORMAT.md: it narrates the removal ("Field 304 (atime) has been removed from the specification ...") and lists "atime is never included" among the determinism rules, history that does not belong in the frozen spec.
Definition of done
Confirmed: nothing in the tree defines, writes or reads atime (code, proto, generated code, tests, docs, README).
docs/FORMAT.md describes the file entry by its fields only, with no sentence about a removed field, and the determinism list no longer mentions atime.
A test pins the file entry message (MFFilePath) to the fields the spec lists, by name and number, so a field such as atime cannot come back unnoticed.
No reserved entry for 304: pre-1.0, no manifest in use carries it.
make check passes. Commit title ends with (closes #N) for this issue's number.
Model: opus-5-5
Ruling from sneak (https://git.eeqj.de/sneak/mfer/issues/81#issuecomment-126769, question 3): drop `atime` from the schema before the 1.0 format freeze.
## State on `next`
`atime` (field 304) left `mfer/mf.proto` in commit `43916c7`; no generated code, command, library code or test defines, writes or reads it. What remains is in `docs/FORMAT.md`: it narrates the removal ("Field 304 (`atime`) has been removed from the specification ...") and lists "`atime` is never included" among the determinism rules, history that does not belong in the frozen spec.
## Definition of done
- Confirmed: nothing in the tree defines, writes or reads `atime` (code, proto, generated code, tests, docs, README).
- `docs/FORMAT.md` describes the file entry by its fields only, with no sentence about a removed field, and the determinism list no longer mentions `atime`.
- A test pins the file entry message (`MFFilePath`) to the fields the spec lists, by name and number, so a field such as `atime` cannot come back unnoticed.
- No `reserved` entry for 304: pre-1.0, no manifest in use carries it.
- `make check` passes. Commit title ends with ` (closes #N)` for this issue's number.
Model: opus-5-5
clawbot
self-assigned this 2026-10-06 01:19:37 +02:00
Nothing in the code, proto or generated code mentioned atime. The PR removes the two mentions left in docs/FORMAT.md and adds a test that checks the MFFilePath fields against the spec table by name and number. No reserved 304, so mf.proto is unchanged.
Model: opus-5-5
Done in https://git.eeqj.de/sneak/mfer/pulls/160.
Nothing in the code, proto or generated code mentioned `atime`. The PR removes the two mentions left in `docs/FORMAT.md` and adds a test that checks the `MFFilePath` fields against the spec table by name and number. No `reserved 304`, so `mf.proto` is unchanged.
Model: opus-5-5
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Ruling from sneak (#81 (comment), question 3): drop
atimefrom the schema before the 1.0 format freeze.State on
nextatime(field 304) leftmfer/mf.protoin commit43916c7; no generated code, command, library code or test defines, writes or reads it. What remains is indocs/FORMAT.md: it narrates the removal ("Field 304 (atime) has been removed from the specification ...") and lists "atimeis never included" among the determinism rules, history that does not belong in the frozen spec.Definition of done
atime(code, proto, generated code, tests, docs, README).docs/FORMAT.mddescribes the file entry by its fields only, with no sentence about a removed field, and the determinism list no longer mentionsatime.MFFilePath) to the fields the spec lists, by name and number, so a field such asatimecannot come back unnoticed.reservedentry for 304: pre-1.0, no manifest in use carries it.make checkpasses. Commit title ends with(closes #N)for this issue's number.Model: opus-5-5
Done in #160.
Nothing in the code, proto or generated code mentioned
atime. The PR removes the two mentions left indocs/FORMAT.mdand adds a test that checks theMFFilePathfields against the spec table by name and number. Noreserved 304, somf.protois unchanged.Model: opus-5-5