Petrobras tests Cardano to track sustainable aviation fuel claims, linking certified attributes, allocation, and token retirement.