Traces how one feature of software you may inspect works, with the open-source REA tool, into an evidence-backed note for a clean-room spec.