Function verify_start 

pub fn verify_start(
    root: &Path,
    state: &Path,
    id: &str,
    digest: &str,
    description: &str,
) -> Result<ExploreSession, Box<CommandResult>>

Before a spec starts from id’s brief: the stored brief must still be the one chosen (digest), the description it verbatim, the session not started. The session, and the brief.

Errors

Why it cannot start, with its code.