proof-adjusted-autonomy