Our readingWhat is a korrent?
The human bottleneck is a safety property: remove it and small, individually harmless coding errors compound at a rate nobody feels until it is too late.
Drawn from what Mario Zechner said
Mental modelCompounding
On the topicWhat do coding agents change about software work?under our view: The person who checks the work is a safety property, and removing them is the risk