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
82 commits sit in this repo's top risk tercile, which is 32% of the 255scored. 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 8.4 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.
How this repo's commit mix shifts over time.
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 | d1c9edf9feat(corpus): populate proof_profile, dependency_manifest, and literature lineage corpus-wide | Mnehmosclaudeassisted | 4w ago | +24.3K -345 | 100%Elevated | more lines added than baseline |
| 2 | 56275453chore(manifests): regenerate corpus manifests from current 358-packet corpus | Mnehmosclaudeassisted | 4w ago | +12.2K -1.5K | 99%Elevated | more lines added than baseline |
| 3 | 5e3c373cscaffold(agents): add domain agent workspaces and loop prompts | Mnehmosclaudeassisted | 1mo ago | +5.5K -0 | 99%Elevated | more lines added than baseline |
| 4 | abb9a240Batch 16: +30 kernel-verified packets (past 175 milestone → 189/250) | Mnehmosclaudeassisted | 1mo ago | +5.1K -14 | 99%Elevated | more lines added than baseline |
| 5 | c5da8aadPhase 2 batch 14: +14 kernel-verified packets (NT/induction + 3 L2 nlinarith) | Mnehmosclaudeassisted | 1mo ago | +2.3K -15 | 97%Elevated | more lines added than baseline |
| 6 | e0103914Phase 2 batch 13: +14 kernel-verified packets (geometry-heavy rebalance) | Mnehmosclaudeassisted | 1mo ago | +2.3K -15 | 97%Elevated | more lines added than baseline |
| 7 | f5951586Phase 2 batch 12: +14 kernel-verified packets (rebalance: combinatorics + geometry) | Mnehmosclaudeassisted | 1mo ago | +2.4K -12 | 97%Elevated | more lines added than baseline |
| 8 | 59bdb162Phase 2 batch 11: +14 kernel-verified packets — cross 100 verified | Mnehmosclaudeassisted | 1mo ago | +2.3K -12 | 97%Elevated | more lines added than baseline |
| 9 | a3d520f7Phase 2 batch 10: +14 kernel-verified packets (distributivity, pow, coprime/mod) | Mnehmosclaudeassisted | 1mo ago | +2.3K -13 | 97%Elevated | more lines added than baseline |
| 10 | 9167c4f9Phase 2 batch 9: +14 kernel-verified packets (ring axioms, abs/order, collinearity) | Mnehmosclaudeassisted | 1mo ago | +2.3K -14 | 97%Elevated | more lines added than baseline |
| 11 | 980a4e02Phase 2 batch 8: +14 kernel-verified packets (incl. harder proofs) | Mnehmosclaudeassisted | 1mo ago | +2.3K -17 | 97%Elevated | more lines added than baseline |
| 12 | a0d08c9afeat(corpus): gap inventory, formal conjectures triage, and L3 undergrad spine packets (#14) | Vario | 3w ago | +1.7K -31 | 95%Elevated | more lines added than baseline |
| 13 | 928b2be3feat(import): add MCIP importer, packet enrichment workflow, and backfill report (closes #6) | Mnehmos | 4w ago | +5.9K -40 | 95%Elevated | more lines added than baseline |
| 14 | df565631Phase 2 batch 15: +14 kernel-verified packets; author_packet packet_id lint | Mnehmosclaudeassisted | 1mo ago | +2.4K -14 | 95%Elevated | more lines added than baseline |
| 15 | f6bc25a7Phase 2 batch 7: +13 kernel-verified packets (deepen all spines) | Mnehmosclaudeassisted | 1mo ago | +2.1K -27 | 95%Elevated | more lines added than baseline |
| 16 | 90c58b55Phase 2 batch 6: +10 kernel-verified packets (geometry, combinatorics, gcd) | Mnehmosclaudeassisted | 1mo ago | +1.7K -10 | 95%Elevated | more lines added than baseline |
| 17 | bee12793Scaffold MathCorpus: verifier-gated math training corpus (Phase 1) | Mnehmosclaudeassisted | 1mo ago | +3.2K -0 | 95%Elevated | more lines added than baseline |
| 18 | 98f1a2c7chore(manifests): regenerate backfill_report.json from current corpus | Mnehmosclaudeassisted | 4w ago | +991 -977 | 92%Elevated | more lines added than baseline |
| 19 | 7f1ac103feat(schema): define MathCorpus Interchange Protocol v1 (closes #1) | Mnehmos | 4w ago | +1.8K -7 | 92%Elevated | more lines added than baseline |
| 20 | 33d78195Phase 2 batch 5: +7 kernel-verified packets (induction, inequalities, functions) | Mnehmosclaudeassisted | 1mo ago | +1.2K -10 | 92%Elevated | more lines added than baseline |
| 21 | c435fbe6Phase 2 batch 4: +8 kernel-verified packets (parity, divisibility, inequalities, induction) | Mnehmosclaudeassisted | 1mo ago | +1.4K -41 | 92%Elevated | more lines added than baseline |
| 22 | e11596aePhase 2 batch 3: +5 kernel-verified packets; add authoring generator | Mnehmosclaudeassisted | 1mo ago | +1.1K -11 | 92%Elevated | more lines added than baseline |
| 23 | 9d8b5af9feat(schema): add rl_transition record type and exporter (#9), blocked on upstream #238/#231 | Mnehmosclaudeassisted | 4w ago | +921 -3 | 91%Elevated | more lines added than baseline |
| 24 | ae51810dfeat(schema): add literature-lineage, idea-attribution, and prior-art records (closes #7) | Mnehmos | 4w ago | +907 -49 | 91%Elevated | more lines added than baseline |
| 25 | 187584f8feat(mcip): fold real proof-search provenance/evidence into packets (#264) | Mnehmos | 3w ago | +908 -26 | 90%Elevated | more lines added than baseline |
| 26 | ed2e1a7efeat(metrics): add multi-model empirical difficulty and native analytics exports (closes #5) | Mnehmos | 4w ago | +567 -56 | 90%Elevated | more lines added than baseline |
| 27 | 8c74201bfeat(schema): add proof profiles, restriction profiles, proof variants (closes #2) | Mnehmos | 4w ago | +557 -46 | 90%Elevated | more lines added than baseline |
| 28 | cea46898seed(queues): populate corpus queues with concrete next-packet candidates | Mnehmosclaudeassisted | 1mo ago | +379 -111 | 90%Elevated | more lines added than baseline |
| 29 | b3bfa63dfeat(data): add negative-example and repair-trajectory child records (closes #4) | Mnehmos | 4w ago | +553 -25 | 88%Elevated | more lines added than baseline |
| 30 | aca61bf5Add frontier packet: Erdos #1052 omega_odd_le_two_adic_add_one bound | Mnehmosclaudeassisted | 1mo ago | +428 -0 | 88%Elevated | more lines added than baseline |
| 31 | 312dc1cfAdd culminating frontier/erdos packet: integer_isGoodPair_iff, completes #349 cluster | Mnehmosclaudeassisted | 1mo ago | +427 -1 | 88%Elevated | more lines added than baseline |
| 32 | 6f192397Phase 2 batch 2: +2 kernel-verified algebra packets (sub_sq, diff_cubes) | Mnehmosclaudeassisted | 1mo ago | +355 -9 | 88%Elevated | more lines added than baseline |
| 33 | 18aa6c2ffix(mcip): statement-hash bridge for proof-search bundle import (#13) + Jacobian dim-3 lane | Mnehmos | 3w ago | +426 -2 | 87%Elevated | more lines added than baseline |
| 34 | bcdb6838feat(schema): standardize dependency manifests and retrieval evidence (closes #3) | Mnehmos | 4w ago | +425 -26 | 87%Elevated | more lines added than baseline |
| 35 | 89f27468Add frontier packets: Euler's sum of powers conjecture false for k=4, k=5 | Mnehmos | 1mo ago | +328 -13 | 87%Elevated | more lines added than baseline |
| 36 | b0ef4c50Add elementary inequalities: nesbitt_three_var + paired negative example | Mnehmosclaudeassisted | 1mo ago | +289 -19 | 86%Elevated | more lines added than baseline |
| 37 | e6c47682Add frontier packet: De Giorgi's conjecture, dimension n=1 case | Mnehmosclaudeassisted | 1mo ago | +268 -6 | 85%Elevated | more lines added than baseline |
| 38 | 9c681a02Add seventh frontier/erdos packet: alpha>2 fails to be good, completes #349's 4 assembly pieces | Mnehmosclaudeassisted | 1mo ago | +303 -1 | 85%Elevated | more lines added than baseline |
| 39 | 6852a3b6Add inequalities negative example: bare nlinarith fails on Cauchy-Schwarz | Mnehmosclaudeassisted | 1mo ago | +306 -7 | 85%Elevated | more lines added than baseline |
| 40 | b3ca6df3Add induction: two_pow_gt_sq_from_five + off-by-one negative example | Mnehmosclaudeassisted | 1mo ago | +283 -12 | 85%Elevated | more lines added than baseline |
| 41 | f1bb1c94Add algebra negative example: bare ring fails to combine fractions | Mnehmosclaudeassisted | 1mo ago | +237 -10 | 85%Elevated | more lines added than baseline |
| 42 | e5d29ce1Add functions negative example: simp-unfold leaves quadratic injectivity open | Mnehmosclaudeassisted | 1mo ago | +235 -16 | 85%Elevated | more lines added than baseline |
| 43 | 88d227bdAdd geometry: pythagorean_right_angle + paired negative example | Mnehmosclaudeassisted | 1mo ago | +284 -14 | 85%Elevated | more lines added than baseline |
| 44 | 0adcaf2fAdd frontier packet: Erdos #1052 sigmaStar multiplicativity | Mnehmosclaudeassisted | 1mo ago | +281 -1 | 82%Elevated | more lines added than baseline |
| 45 | 4a2dab71Add inequalities: AM-GM wrong-direction counterexample + negative pair | Mnehmosclaudeassisted | 1mo ago | +266 -13 | 82%Elevated | more lines added than baseline |
| 46 | 0d3a13cfAdd algebra: pow_mul + ring-timeout negative example | Mnehmosclaudeassisted | 1mo ago | +252 -15 | 82%Elevated | more lines added than baseline |
| 47 | e2348342Add fourth frontier/erdos packet: Steinerberger's gcd(a_n,L_n)>1 result (#291.ii) | Mnehmosclaudeassisted | 1mo ago | +254 -1 | 82%Elevated | more lines added than baseline |
| 48 | 5e7eac50Add functions false_generalization negative example + disproof companion | Mnehmosclaudeassisted | 1mo ago | +226 -8 | 82%Elevated | more lines added than baseline |
| 49 | 3725fa37Add induction: euclid_gcd_eq_gcd (kernel-verified, well-founded recursion) | Mnehmosclaudeassisted | 1mo ago | +223 -38 | 82%Elevated | more lines added than baseline |
| 50 | 246ca69dAdd combinatorics false_generalization negative example + disproof companion | Mnehmosclaudeassisted | 1mo ago | +221 -11 | 82%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/mathcorpus has 257 commits in its history from 2 contributors, the first of them Jul 7, 2026. In the last 90 days 369 files were touched, 425 times in total, most often MathCorpus.lean. Every commit is scored for change risk from its size, spread and the history of the files it touches.
