Carbonaut routes electric-vehicle drivers to the greenest available charger in a smart city, and runs that service on green, in-region infrastructure governed by declarative ENACT policies.