Function read 

async fn read(cwd: &Path) -> WorkState

One read of cwd. The count decides whether the directory is a repository at all: outside one both fields are None rather than an error or a stale branch, and the gate carries which of the two cases it was so the row can say so.