Development record

The run state's version checks (metered, pinned, overridden and rounded in internal/core/implement/loop/state.go) each repeat their own walk over the lanes' receipts and validation rounds, and readStateIn repeats one case per check and version bound. A place that stores a route added later (a third slot holding a RouteRecord) has to be added to each walk by hand, and one missed walk silently accepts an older file carrying a newer field instead of refusing it.