It seems that many in the field are converging to similar ideas. With AI the emphasis seems to be more on defining clearly what to build rather than how. I made a similar experiment [1] recently where I setup "rules" between code and spec and have the LLM check that they are the same, I think similar to how Kiro uses hooks.

[1]: https://news.ycombinator.com/item?id=44432215