[RFC 05/16] NOVA: Log data structures and operations