Mnehmos / BHFormalization
leanmain8875bef117.3K linessynced 19h ago
Code health
10.0out of 10Excellent
This codebase scores 10.0 out of 10 on defect risk, which we rate excellent. It also scores maintainability 10.0 and static performance risk 10.0 out of 10. The three are scored separately and never blended into one number.
- Lines of code
- 117.3K
Recent activity
All commitsNeeds attention
13 open- medium severity. ProposedMake outputs omit elapsed time but include all macro-level quantitiesAuto-proposed decision awaiting review
- medium severity. ProposedCanonical macro-replication structure for computing BH FDP and RAuto-proposed decision awaiting review
- medium severity. ProposedUse stratified Monte Carlo via common-factor Z stratificationAuto-proposed decision awaiting review
- medium severity. Knowledge siloBHFormalization/BH.lean100% single-owner concentration
- medium severity. Knowledge siloBHFormalization/BH/Asymptotics/FDPLowerBound.lean100% single-owner concentration
Composition
Open the graphlean 74%json 10%python 8%markdown 6%shell 1%Other 1%
Explore this codebase
- Docs29 pages across 3 modules
- ChatAsk this codebase a question and get an answer with its sources
- Files115 files with per-file docs, health and history
- ArchitectureDependency graph, layers, and 0 entry points
- Code healthPer-file scores, 29 open findings, coverage and refactoring targets
- Knowledge graphEntities, communities, and the paths between them
- Change couplingFiles that keep changing together, mined from commit history
- CommitsChange-risk ranked history with agent provenance
- ContributorsBus factor, per-file maintainers, and the human/agent split
- StatsSize class, origin, lifetime churn, rhythm and records
- CostsWhat indexing this snapshot cost, by model and by run