Alignment is correct, safe, reproducible behavior under explicit constraints