Every commit scored for change-risk against this repo's own history, so 'elevated' means elevated here rather than on some global curve.
Needs review
132 commits sit in this repo's top risk tercile, which is 33% of the 400scored. The cut is drawn against this codebase's own history rather than a global curve, so a quiet repo still fills its top band, and here it starts at 9.1 out of 10. What pushes a commit up is size and spread together: a large change confined to one area scores below a smaller one scattered across a dozen files.
Commit categories over time, read off the subject line. Fixes carry the accent because that is the series this chart exists to show.
Consistently feature-driven across its history.
Ranked by change-risk, highest first. Priority is a tercile of this repo's own distribution, so a quiet repo still fills its top band.
| # | Commit | Author | When | Lines | Risk | Top driver |
|---|---|---|---|---|---|---|
| 1 | f52b1826feat(epochai): Hadamard-668 decisive symmetry-elimination campaign + verified H(428) | Mnehmosclaudeassisted | 3w ago | +991.0K -0 | 100%Elevated | more lines added than baseline |
| 2 | d9633668feat(erdos-647): publish density theorem and audit archive | Mnehmos | 4w ago | +57.4K -334 | 100%Elevated | more lines added than baseline |
| 3 | 9ff298e4feat(solveall): integrate SolveAll Open Questions as a proofsearch campaign | Mnehmos | 3w ago | +20.7K -0 | 98%Elevated | more lines added than baseline |
| 4 | c205bbe9feat(erdos-858): Theorem 1.2 assembly — bounding half complete, docs updated | Mnehmos | 3w ago | +9.7K -17 | 98%Elevated | more lines added than baseline |
| 5 | 2a79e21fdocs(erdos-647): publish complete continuation checkpoint | Mnehmos | 4w ago | +7.3K -71 | 98%Elevated | more lines added than baseline |
| 6 | 9b9fa8c9feat(erdos-647): add power-prefix and certificate architecture | Mnehmos | 4w ago | +13.2K -44 | 98%Elevated | more lines added than baseline |
| 7 | e68b574bfeat(erdos-647): existence-track continuation - sqrt(n) depth reduction, universal divisor bound, shift-16 closure, archive refresh | Mnehmos | 4w ago | +6.5K -231 | 98%Elevated | more lines added than baseline |
| 8 | c617203ffeat(erdos-647): add shift-factor induction framework | Mnehmos | 4w ago | +5.6K -73 | 98%Elevated | more lines added than baseline |
| 9 | 4e814be6feat(erdos-858): kernel-verified formalization of Chojecki 2026 (97 atoms) | Mnehmosclaudeassisted | 4w ago | +9.7K -0 | 98%Elevated | more lines added than baseline |
| 10 | 1cae9a9edoc: add remaining 31 exported dossiers and link all step table entries | Mnehmos | 4w ago | +7.8K -31 | 98%Elevated | more lines added than baseline |
| 11 | 11b3e24dfeat: complete CDC formalization, audit docs, and checker files | Mnehmos | 4w ago | +7.7K -8 | 98%Elevated | more lines added than baseline |
| 12 | 3bfda097scaffold(mathcorpus): add domain agent workspaces and loop prompts | Mnehmosclaudeassisted | 1mo ago | +4.7K -0 | 98%Elevated | more lines added than baseline |
| 13 | 18840b07feat: complete proof core with orchestrator, scheduler, budget, context, and Lean gateway | Mnehmos | 1mo ago | +5.2K -183 | 98%Elevated | more lines added than baseline |
| 14 | fa4e9b1afeat(erdos-647): normalize exact candidate base state | Mnehmos | 4w ago | +3.4K -29 | 96%Elevated | more lines added than baseline |
| 15 | 6ad07ee5doc: add exported proof dossiers and hyperlink step ledger README | Mnehmos | 4w ago | +1.9K -39 | 96%Elevated | more lines added than baseline |
| 16 | 44aa7d1bfeat(igp24): SAIR IGP24 submission-gate tooling + candidate sourcing | Mnehmosclaudeassisted | 1mo ago | +3.2K -0 | 96%Elevated | more lines added than baseline |
| 17 | 7d72feabfeat: implement data models and database schema with unit tests | Mnehmos | 1mo ago | +4.8K -0 | 96%Elevated | more lines added than baseline |
| 18 | f9118c8adocs: add binding Mathematical Claim Engine specification | github-actions[bot] | 3w ago | +2.5K -62 | 95%Elevated | more lines added than baseline |
| 19 | ddc7046efeat(erdos-647): classify sharp gauntlet residual shapes | Mnehmos | 4w ago | +1.6K -47 | 95%Elevated | more lines added than baseline |
| 20 | fb371023feat(erdos-647): add growing-gauntlet CRT reentry | Mnehmos | 4w ago | +1.7K -0 | 95%Elevated | more lines added than baseline |
| 21 | 869209e2feat(erdos-647): coprime-shift rough bound, exact cubic searcher stop, frontier audit, record honesty | Mnehmos | 4w ago | +2.8K -8 | 95%Elevated | more lines added than baseline |
| 22 | b61bedf1feat(erdos-647): publish Family 3 bridging-closure proofs (16/21) | Mnehmos | 4w ago | +1.5K -0 | 95%Elevated | more lines added than baseline |
| 23 | dec05a0afeat(#220): asynchronous verification jobs (submit/status/result/cancel/events) | Mnehmosclaudeassisted | 4w ago | +1.5K -3 | 95%Elevated | more lines added than baseline |
| 24 | 4c00bb33feat(#161): expose interactive proof-state sessions as MCP tools | Mnehmosclaudeassisted | 1mo ago | +2.0K -348 | 95%Elevated | more lines added than baseline |
| 25 | 8283d077feat(erdos-349): assemble integer_isGoodPair_iff — full integer sub-characterization | Mnehmosclaudeassisted | 1mo ago | +1.6K -112 | 95%Elevated | more lines added than baseline |
| 26 | ab505994fix!: make the episode loop playable end-to-end; feat: claim/problem/proof tools (v0.2.0) | Mnehmosclaudeassisted | 1mo ago | +2.4K -858 | 95%Elevated | more lines added than baseline |
| 27 | 5fa8897cfeat: implement dataset export, manifest generation, and conformance tests (phase 11 & 12) | Mnehmos | 1mo ago | +1.6K -28 | 95%Elevated | more lines added than baseline |
| 28 | 131dc394feat(imo-2026): open new IMO 2026 campaign, P1 fully formalized | Mnehmos | 3w ago | +1.2K -0 | 92%Elevated | more lines added than baseline |
| 29 | 54ea6788feat(mcp): dev_diary project campaigns (#242) + literature_lineage MCP surface (#236) | Mnehmos | 3w ago | +2.0K -31 | 92%Elevated | more lines added than baseline |
| 30 | 32a14150feat(erdos-647): refine bounded adic survivor state | Mnehmos | 4w ago | +1.1K -47 | 92%Elevated | more lines added than baseline |
| 31 | 1db4f555feat(erdos-647): continue large-factor novelty architecture | Mnehmos | 4w ago | +977 -39 | 92%Elevated | more lines added than baseline |
| 32 | 711579a7feat(erdos-647): sharpen existence reductions | Mnehmos | 4w ago | +1.1K -68 | 92%Elevated | more lines added than baseline |
| 33 | 764830cafeat(erdos-647): continue publishing Family 5 sub-AP closures (16/48) | Mnehmos | 4w ago | +1.1K -0 | 92%Elevated | more lines added than baseline |
| 34 | f485e75efeat(erdos-647): begin publishing Family 5 sub-AP closures (8/48) | Mnehmos | 4w ago | +1.0K -0 | 92%Elevated | more lines added than baseline |
| 35 | 17bd6c5efix(erdos-647): correct portability claim; publish Family 1+2 full proof source | Mnehmosclaudeassisted | 4w ago | +1.5K -30 | 92%Elevated | more lines added than baseline |
| 36 | 57a64966docs(erdos-647): living campaign folder — Theorem 2 formalized, Mertens identity, frontier map | Mnehmosclaudeassisted | 4w ago | +1.2K -3 | 92%Elevated | more lines added than baseline |
| 37 | adac0027feat(#223): budgeted observations with priorities and continuation tokens | Mnehmosclaudeassisted | 4w ago | +1.1K -136 | 92%Elevated | more lines added than baseline |
| 38 | 9d3412a7feat(#164): interactive-session export views + proof_session_export | Mnehmosclaudeassisted | 1mo ago | +1.2K -17 | 92%Elevated | more lines added than baseline |
| 39 | ec45fae5docs(erdos): ErdosProblems deliverable folder — proofs, evidence, traces, reasoning, whitepaper | Mnehmosclaudeassisted | 1mo ago | +1.0K -0 | 92%Elevated | more lines added than baseline |
| 40 | c567f1dffeat(#9,#11,#13): Level 4 research substrate -- dossiers, citations, assumptions, verification layers | Mnehmosclaudeassisted | 1mo ago | +1.3K -5 | 92%Elevated | more lines added than baseline |
| 41 | 802ad6c7feat(action): add SubmitModule for structured Lean developments (#2) | Mnehmosclaudeassisted | 1mo ago | +1.1K -11 | 92%Elevated | more lines added than baseline |
| 42 | fa53e719feat(mcp): proactive artifact retrieval at formalization checkpoints (#248) | Mnehmos | 3w ago | +855 -102 | 88%Elevated | more lines added than baseline |
| 43 | d55e9b34feat(jacobian): formal release — machine-certified refutation of the Jacobian Conjecture | Mnehmosclaudeassisted | 3w ago | +712 -0 | 88%Elevated | more lines added than baseline |
| 44 | 827b0079docs(erdos-647): sqrt-prefix failure audit - the five-rung gauntlet | Mnehmos | 4w ago | +823 -0 | 88%Elevated | more lines added than baseline |
| 45 | 43b6f5c1feat(erdos-888): campaign infrastructure + 4 kernel-verified theorems + lower bound rigidity architecture | Mnehmos | 4w ago | +792 -0 | 88%Elevated | more lines added than baseline |
| 46 | 61e4df8afeat(erdos-647): continue publishing Family 5 sub-AP closures (30/48) | Mnehmos | 4w ago | +924 -0 | 88%Elevated | more lines added than baseline |
| 47 | a0cc1485feat(erdos-647): continue publishing Family 5 sub-AP closures (24/48) | Mnehmos | 4w ago | +905 -0 | 88%Elevated | more lines added than baseline |
| 48 | 8b57ba39feat(erdos-647): complete Family 3 bridging-closure proofs (21/21) | Mnehmos | 4w ago | +816 -10 | 88%Elevated | more lines added than baseline |
| 49 | 2a22fb46chore: checkpoint accumulated uncommitted work (reasoning_log, #219 fix, verifier-job WIP) | Mnehmosclaudeassisted | 4w ago | +1.6K -148 | 88%Elevated | more lines added than baseline |
| 50 | 8cd1e8ferefactor(#194): consolidate benchmark_run tools into one action-enum tool | Mnehmos | 1mo ago | +1.1K -957 | 88%Elevated | more lines added than baseline |
Two views of the same model: where the cuts fall, and what commit shape lands you above them.
Every scored commit, binned on the raw 0 to 10 score rather than the percentile. Percentile ranks are uniform by construction, so that axis has no shape to draw. The dashed lines are the tercile cuts behind each row's priority pill.
The 200 most recent commits, on their own recency sample rather than the feed above: that defaults to risk-sorted, so reusing it would plot only the top tercile and call it the spread. Big and scattered is what the model penalises. Click a dot to open it.
Mnehmos/llm-driven-proof-search has 587 commits in its history from 4 contributors, the first of them Jul 1, 2026. In the last 90 days 763 files were touched, 974 times in total, most often lib.rs. Every commit is scored for change risk from its size, spread and the history of the files it touches.
