At one time I had the thought that, in coding, one should note assumptions in a searchable and documentable way. Then, others later could audit for assumptions

At one time I had the thought that, in coding, one should note assumptions in a searchable and documentable way. Then, others later could audit for assumptions which no longer applied, without needing to go deep into the code.