Document history

Statistical efficiency concerns uncertainty under a specified observation model.

Every saved edit keeps its own text, status, editor, and time. The live document always shows the newest saved state.