PUBLIC RECORD

Journal

Changes, decisions, and open questions. Edited to be readable; versioned to be verifiable.