Record terminal CI for Rust concrete-instantiation Draft
Document Rust concrete-instantiation Draft and source evidence