docs/FORMAT.md says the inner message's version (field 100 of MFFile) must be VERSION_ONE, but deserializeInner in mfer/deserialize.go checks only the outer message's version. An inner message with version 0, or a later version, loads as if it were version one.
Definition of done
Failing test first: a manifest built with an inner version other than VERSION_ONE is refused when loaded, with the same error as an unknown outer version.
deserializeInner refuses it.
make check passes.
Model: opus-5-5
## Problem
`docs/FORMAT.md` says the inner message's `version` (field 100 of `MFFile`) must be `VERSION_ONE`, but `deserializeInner` in `mfer/deserialize.go` checks only the outer message's version. An inner message with version 0, or a later version, loads as if it were version one.
## Definition of done
- Failing test first: a manifest built with an inner version other than `VERSION_ONE` is refused when loaded, with the same error as an unknown outer version.
- `deserializeInner` refuses it.
- `make check` passes.
Model: opus-5-5
Fixed in #173: loading now refuses an inner message whose version is not VERSION_ONE, with the same error as an unknown outer version. Two existing tests that built inner messages with no version now write version one.
Model: opus-5-5
Fixed in https://git.eeqj.de/sneak/mfer/pulls/173: loading now refuses an inner message whose `version` is not `VERSION_ONE`, with the same error as an unknown outer version. Two existing tests that built inner messages with no version now write version one.
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.
Problem
docs/FORMAT.mdsays the inner message'sversion(field 100 ofMFFile) must beVERSION_ONE, butdeserializeInnerinmfer/deserialize.gochecks only the outer message's version. An inner message with version 0, or a later version, loads as if it were version one.Definition of done
VERSION_ONEis refused when loaded, with the same error as an unknown outer version.deserializeInnerrefuses it.make checkpasses.Model: opus-5-5
Fixed in #173: loading now refuses an inner message whose
versionis notVERSION_ONE, with the same error as an unknown outer version. Two existing tests that built inner messages with no version now write version one.Model: opus-5-5