Record-backed platform modules