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
39 commits sit in this repo's top risk tercile, which is 34% of the 115scored. 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.
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 | 9d736c97Add multidimensional trust promotion gates | Mnehmos | 2w ago | +3.9K -56 | 97%Elevated | more lines added than baseline |
| 2 | bd5f4e45Add controlled Comparator evidence authority | Mnehmos | 3w ago | +6.5K -231 | 97%Elevated | more lines added than baseline |
| 3 | 55711785feat: add deterministic MathCorpus and MCIP export | Mnehmos | 3w ago | +5.8K -41 | 97%Elevated | more lines added than baseline |
| 4 | 2f446282feat: add canonical pedagogy workflow | Mnehmos | 3w ago | +3.3K -24 | 97%Elevated | more lines added than baseline |
| 5 | b80a7029feat: derive live claim research status | Mnehmos | 3w ago | +3.9K -176 | 97%Elevated | more lines added than baseline |
| 6 | 4d51e535feat: establish verifier-gated zero-to-one slice (#2) | Vario | 3w ago | +3.6K -0 | 97%Elevated | more lines added than baseline |
| 7 | a620d9eaAdd protected official Comparator execution report | Mnehmos | 3w ago | +2.8K -6 | 91%Elevated | more lines added than baseline |
| 8 | bdc19b2bfeat: add deterministic Comparator-ready package boundary | Mnehmos | 3w ago | +2.8K -12 | 91%Elevated | more lines added than baseline |
| 9 | e5c926a7feat: add leakage-aware RL evaluation export | Mnehmos | 3w ago | +4.2K -9 | 91%Elevated | more lines added than baseline |
| 10 | fea1e289feat: add receipt-bound portable releases | Mnehmos | 3w ago | +3.6K -7 | 91%Elevated | more lines added than baseline |
| 11 | fec9db83feat: add atomic counterexample claim repair | Mnehmos | 3w ago | +3.4K -36 | 91%Elevated | more lines added than baseline |
| 12 | ac170fb9Add receipt-bound publication authority | Mnehmos | 3w ago | +3.5K -40 | 91%Elevated | more lines added than baseline |
| 13 | 59fb473bAdd controlled publication ingestion | Mnehmos | 3w ago | +4.1K -133 | 91%Elevated | more lines added than baseline |
| 14 | 7d4bbdccfeat: produce protected publication candidates | Mnehmos | 3w ago | +3.3K -18 | 91%Elevated | more lines added than baseline |
| 15 | f5d4eddffeat: record local proof-closure and axiom audits | Vario | 3w ago | +2.6K -57 | 91%Elevated | more lines added than baseline |
| 16 | d1548faefeat: bind source records to portable content | Mnehmos | 2w ago | +1.7K -29 | 85%Elevated | more lines added than baseline |
| 17 | 1dbcab26feat: prepare canonical publication requests | Mnehmos | 3w ago | +1.7K -34 | 85%Elevated | more lines added than baseline |
| 18 | e94d2dacfeat: make verifier artifacts canonical | Vario | 3w ago | +1.8K -38 | 85%Elevated | more lines added than baseline |
| 19 | a9170617feat: establish governed Rust storage foundation | Vario | 3w ago | +2.2K -26 | 85%Elevated | more lines added than baseline |
| 20 | b74f9010docs: establish binding MathOS product contract | Vario | 3w ago | +2.8K -76 | 85%Elevated | more lines added than baseline |
| 21 | dbcb67aefeat: establish role-separated fidelity evidence | Vario | 3w ago | +1.4K -20 | 80%Elevated | more lines added than baseline |
| 22 | c71983a6feat: bind diagnostics to exact verifier attempts | Vario | 3w ago | +1.4K -19 | 80%Elevated | more lines added than baseline |
| 23 | c74376f4feat: contain non-authoritative Lean execution | Vario | 3w ago | +1.3K -25 | 80%Elevated | more lines added than baseline |
| 24 | f0ee1e0afeat: persist durable verifier intent | Vario | 3w ago | +1.3K -16 | 80%Elevated | more lines added than baseline |
| 25 | b65333bcfeat: preserve hash-chained run history | Vario | 3w ago | +1.2K -13 | 80%Elevated | more lines added than baseline |
| 26 | a7c6d087feat: add real MCP lifecycle and query surface | Vario | 3w ago | +1.2K -11 | 77%Elevated | more lines added than baseline |
| 27 | 4b0d76e6feat: route research traces and graph through app service | Vario | 3w ago | +751 -17 | 77%Elevated | more lines added than baseline |
| 28 | d69f13d1feat: add immutable canonical record versions | Vario | 3w ago | +1.2K -26 | 77%Elevated | more lines added than baseline |
| 29 | 4db8c533feat: persist and resolve Lean environments | Vario | 3w ago | +917 -40 | 75%Elevated | more lines added than baseline |
| 30 | b96cd2dbfeat: preserve exact concept and formalization identities | Vario | 3w ago | +641 -83 | 75%Elevated | more lines added than baseline |
| 31 | bb9cff88feat: define attested publication authority contracts | Vario | 3w ago | +766 -0 | 72%Elevated | more lines added than baseline |
| 32 | d3d6856bfeat: route canonical entities through one app service | Vario | 3w ago | +561 -9 | 72%Elevated | more lines added than baseline |
| 33 | d618c1a6feat: enforce source and claim schema boundaries | Vario | 3w ago | +634 -6 | 72%Elevated | more lines added than baseline |
| 34 | c7e2c114feat: enforce typed version-bound graph edges | Vario | 3w ago | +612 -13 | 72%Elevated | more lines added than baseline |
| 35 | ac1513e3docs: establish administrative development controls (#1) | Vario | 3w ago | +512 -1 | 72%Elevated | more lines added than baseline |
| 36 | 0bf7488eProve Pilot A repaired claim through protected boundary | Mnehmos | 3w ago | +483 -127 | 68%Elevated | more lines added than baseline |
| 37 | 9c8d2c98feat: define canonical Lean environment identity | Vario | 3w ago | +623 -8 | 68%Elevated | more lines added than baseline |
| 38 | 8b4228dafeat: add controlled MCP mutation families | Vario | 3w ago | +523 -15 | 68%Elevated | more lines added than baseline |
| 39 | 6027f555feat: add bounded version-aware graph traversal | Vario | 3w ago | +505 -4 | 68%Elevated | more lines added than baseline |
| 40 | 33811e0ffeat: define immutable evidence identity | Vario | 3w ago | +403 -14 | 66%Typical | more lines added than baseline |
| 41 | 1b44cb7dHarden trust review history invariants | Mnehmos | 2w ago | +381 -24 | 64%Typical | more lines added than baseline |
| 42 | d85be145fix: preserve pedagogy retry receipts | Mnehmos | 3w ago | +267 -11 | 64%Typical | more lines added than baseline |
| 43 | 23ceedddfeat: define role-separated fidelity review contracts | Vario | 3w ago | +415 -0 | 64%Typical | more lines added than baseline |
| 44 | fe9fb691Bound kernel trust evidence admission | Mnehmos | 2w ago | +295 -7 | 62%Typical | more lines added than baseline |
| 45 | 3e5e04cafeat: verify retained publication attestations | Vario | 3w ago | +383 -16 | 62%Typical | more lines added than baseline |
| 46 | 694ee09eCompact oversized fidelity trust histories | Mnehmos | 2w ago | +203 -15 | 60%Typical | more lines added than baseline |
| 47 | 8f824c35Actively verify Comparator network isolation | Mnehmos | 3w ago | +208 -25 | 60%Typical | more lines added than baseline |
| 48 | a255608afix: bind repairs to exact search results | Mnehmos | 3w ago | +228 -57 | 60%Typical | more lines added than baseline |
| 49 | 11f5c275Document the atomic publication authority boundary | Mnehmos | 3w ago | +152 -18 | 58%Typical | more lines added than baseline |
| 50 | 0069f8b7Bind reviewed trust hashes offline | Mnehmos | 2w ago | +161 -11 | 57%Typical | 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 115 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/MathOS has 151 commits in its history from 2 contributors, the first of them Jul 19, 2026. In the last 90 days 72 files were touched, 359 times in total, most often app.rs. Every commit is scored for change risk from its size, spread and the history of the files it touches.
