> Is the mut marking also for consistency (and/or non-message methods)?  Presumably each actor/object would only process one message at a time so could always have full access to all its data.

This is indeed correct: processes have exclusive access to their data and run a single message at a time. Still having to tag methods as mutable is to prevent you from accidentally mutating data, and to keep it consistent with regular methods.