Working notes from the studio's own builds: formal methods write-ups on one shelf, the lab's logbook on the other.