I wonder if it also has an efficiency metric: a shorter agreeable program is better than a longer agreeable program. Then, over time, you start failing to detec

I wonder if it also has an efficiency metric: a shorter agreeable program is better than a longer agreeable program. Then, over time, you start failing to detect bad programs after long periods of peace.