Brazil’s largest energy giant tests Cardano to fix carbon double-counting