Citizenship credential

$G(t)=\mathbf 1[\operatorname{pers}q\ge\tau_p,\ \lambda{\beta_q+1}(\Delta_q)\ge\tau_\lambda,\ \min_{i\ne j}d_{ij}\ge d_{\mathrm{safe}},\ \|K_{\mathrm{safe}}V\|\le\tau_K,\ \beta_q=\beta_q^{\mathrm{target}}].$

$\dot x_i=G(t)V_i^{\mathrm{swarm}}+(1-G(t))V_i^{\mathrm{fallback}}.$

Evidence: E0 algebraic gate; E1 trigger tests. Hardware and flight remain E2+ obligations.

Transit: Certificates → Gate → Fallback Control.