test: prove governed live subreason reachability