Report outline and verifier progress.
Added spec for comments.