How Constructive Calculator was built: a line-by-line Swift port of Hans Boehm's constructive-reals engine, and what a clean-room review by a second model turned up.