Show GRACE 4 project health across .grace context, graph, verification, active changes, scopes, and migration boundaries.