Function classify 

pub fn classify(
    branch: &Branch,
    current: Option<&str>,
    trunk: &str,
    local: Option<Proof>,
) -> Option<Class>

Classify one branch: None when its upstream is live or unset and no local proof covers it — the branch never reaches the report — and the guard’s verdict otherwise.

local is the proof the clone holds on its own: a recorded local integration, or a tip the trunk reaches.

The guards run in order and the first one holds: the current branch stays kept — it is the operator’s own seat — a branch checked out in any other worktree is worktree-bound and belongs to the worktree verb, then the trunk and the release lines stay kept. What survives is a candidate.