Comment by Kartik N V J K on "Code Review Starts with What Must Stay True"

CommentCode Review Starts with What Must Stay True

Kartik N V J K

AI Developer | Making AI reliable, trustworthy & accessible to everyone | Active community contributor

django-oscar #4594 reading like a pure lock-ordering fix is exactly why it tests the method well. I keep coming back to the ArchMap step, though. If the model records basket order for the sorted loop, L2 passes for the wrong reason. Who checks the ArchMap against the code before the Laws run, the reviewer or another model?

HN

Hiroyuki Nakahata

Algebraic Architecture Theory

Oct 26

Thanks for the comment! That’s exactly the issue. I’m currently developing a SKILL to help agents produce more accurate ArchMaps from code. The idea is to improve accuracy by having multiple agents observe the code using that SKILL.

Problems that those observations cannot capture, such as runtime race conditions, are outside the scope of what AAT can establish from the resulting ArchMap.

Search Hashnode