Learning, certified — but mostly learned by building.

A few formal checkpoints along the way. The real proof is in the work.