{"schema":1,"repo":"Z3Prover/z3","org":"Z3Prover","language":"C++","stars":12888,"default_branch":"master","scanned_at":"2026-11-06T04:37:04.211Z","window_start":"2026-09-01","complete":false,"months":{"2026-09":{"total":31,"ai":23,"automation":1,"merges":0,"by_rule":{"copilot_trailer":22,"copilot_author":10,"claude_trailer":4,"claude_generated":4}},"2026-10":{"total":391,"ai":319,"automation":18,"merges":6,"by_rule":{"copilot_trailer":274,"copilot_author":68,"claude_trailer":38,"claude_generated":46}},"2026-11":{"total":49,"ai":33,"automation":4,"merges":0,"by_rule":{"copilot_trailer":26,"copilot_author":4,"claude_trailer":5,"claude_generated":6}}},"live":{"commits":500,"capped":true},"summary":{"ai":375,"total":471,"ai_share":0.7961783439490446,"automation":23,"merges":6},"by_rule":[{"rule":"copilot_trailer","ai":322,"tool":"GitHub Copilot"},{"rule":"copilot_author","ai":82,"tool":"GitHub Copilot"},{"rule":"claude_generated","ai":56,"tool":"Claude"},{"rule":"claude_trailer","ai":47,"tool":"Claude"}],"by_tool":[{"tool":"GitHub Copilot","ai":322},{"tool":"Claude","ai":56}]}