Repowise has mined 39 architectural decisions out of Mnehmos/llm-driven-proof-search, from its commit history, code comments and documentation: 3 active, 36 proposed and awaiting review. 19 of the repository's most-changed files are covered by no decision at all.