A guided first look at the live Atlas project: start with the register, follow tag-linked proof, watch a defect block readiness, and finish at the handover workspace.