openai/cdc-lean
File Size
The distribution of size of files (measured in lines of code).
File Size Overall
  • There are 17 files with 6,673 lines of code.
    • 2 very long files (4,651 lines of code)
    • 1 long files (625 lines of code)
    • 2 medium size files (746 lines of code)
    • 1 small files (184 lines of code)
    • 11 very small files (467 lines of code)
69% | 9% | 11% | 2% | 6%
Legend:
1001+
501-1000
201-500
101-200
1-100


explore: grouped by folders | grouped by size | sunburst | 3D view
File Size per Extension
1001+
501-1000
201-500
101-200
1-100
lean69% | 9% | 11% | 2% | 6%
toml0% | 0% | 0% | 0% | 100%
File Size per Logical Decomposition
primary
1001+
501-1000
201-500
101-200
1-100
CDCLean70% | 9% | 11% | 2% | 6%
ROOT0% | 0% | 0% | 0% | 100%
Longest Files (Top 17)
File# lines# units
lean
 3495 -
lean
 1156 -
lean
FlowCount.lean
in CDCLean
 625 -
lean
Expansion.lean
in CDCLean
 452 -
lean
 294 -
184 -
lean
Basic.lean
in CDCLean
 81 -
lean
 68 -
lean
Main.lean
in CDCLean
 60 -
lean
PathCut.lean
in CDCLean
 56 -
lean
 50 -
lean
 40 -
lean
EvenCover.lean
in CDCLean
 35 -
lean
SixFlow.lean
in CDCLean
 31 -
lean
 20 -
lean
Audit.lean
in CDCLean
 17 -
9 -
Large Files That Change Often (Top 10)
To change a file, an AI coding agent (or a person) has to read it: these files are read the most for the changes in the past year (lines × changes).
File# lines≈ tokens
to read		# changes
(1y)		≈ lines edited
per change		lines read per
line changed
lean
 3495 ~20k–50k 3 ~2,000 ~2
lean
 1156 ~7k–20k 3 ~700 ~2
lean
FlowCount.lean
in CDCLean
 625 ~3k–10k 2 ~30 ~20
lean
Expansion.lean
in CDCLean
 452 ~3k–7k 2 ~15 ~30
lean
 294 ~2k–5k 2 ~20 ~15
184 ~1k–3k 2 ~5 ~30
lean
Main.lean
in CDCLean
 60 ~300–1k 3 ~70 ~1
lean
 50 under 1k 2 ~1 ~50
lean
 20 under 1k 3 ~2 ~15
lean
Audit.lean
in CDCLean
 17 under 1k 3 ~3 ~7

Tokens are lines × 7 to 14 (analysis.fileReadsForChanges). Lines edited per change are the file's lines added and deleted divided by its commits over the whole history. Agents read about 2,000 lines at a time: when a 17,000-line file was split into modules, the tokens an agent read for the same change fell by 83% (The Economic Benefit of Refactoring, 2026).

Files With Most Units (Top 0)
File# lines# units
Files With Long Lines (Top 0)

There are 0 files with lines longer than 120 characters. In total, there are 0 long lines.

File# lines# units# long lines
Correlations

File Size vs. Commits (all time): 10 points

CDCLean.lean x: 3 commits (all time) y: 20 lines of code CDCLean/CubicBridge.lean x: 2 commits (all time) y: 50 lines of code CDCLean/CubicLabeling.lean x: 2 commits (all time) y: 294 lines of code CDCLean/CycleDecomposition.lean x: 2 commits (all time) y: 184 lines of code CDCLean/Expansion.lean x: 2 commits (all time) y: 452 lines of code CDCLean/FlowCount.lean x: 2 commits (all time) y: 625 lines of code CDCLean/JaegerKilpatrick.lean x: 3 commits (all time) y: 1156 lines of code CDCLean/Main.lean x: 3 commits (all time) y: 60 lines of code CDCLean/NashWilliams.lean x: 3 commits (all time) y: 3495 lines of code
3495.0
lines of code
  min: 17.0
  average: 635.3
  25th percentile: 42.5
  median: 239.0
  75th percentile: 757.75
  max: 3495.0
0 3.0
commits (all time)
min: 2.0 | average: 2.5 | 25th percentile: 2.0 | median: 2.5 | 75th percentile: 3.0 | max: 3.0

File Size vs. Contributors (all time): 10 points

CDCLean.lean x: 2 contributors (all time) y: 20 lines of code CDCLean/CubicBridge.lean x: 2 contributors (all time) y: 50 lines of code CDCLean/CubicLabeling.lean x: 2 contributors (all time) y: 294 lines of code CDCLean/CycleDecomposition.lean x: 2 contributors (all time) y: 184 lines of code CDCLean/Expansion.lean x: 2 contributors (all time) y: 452 lines of code CDCLean/FlowCount.lean x: 2 contributors (all time) y: 625 lines of code CDCLean/JaegerKilpatrick.lean x: 2 contributors (all time) y: 1156 lines of code CDCLean/Main.lean x: 2 contributors (all time) y: 60 lines of code CDCLean/NashWilliams.lean x: 2 contributors (all time) y: 3495 lines of code
3495.0
lines of code
  min: 17.0
  average: 635.3
  25th percentile: 42.5
  median: 239.0
  75th percentile: 757.75
  max: 3495.0
0 2.0
contributors (all time)
min: 2.0 | average: 2.0 | 25th percentile: 2.0 | median: 2.0 | 75th percentile: 2.0 | max: 2.0

File Size vs. Commits (30 days): 0 points

No data for "commits (30d)" vs. "lines of code".

File Size vs. Contributors (30 days): 0 points

No data for "contributors (30d)" vs. "lines of code".

File Size vs. Commits (90 days): 10 points

CDCLean.lean x: 3 commits (90d) y: 20 lines of code CDCLean/CubicBridge.lean x: 2 commits (90d) y: 50 lines of code CDCLean/CubicLabeling.lean x: 2 commits (90d) y: 294 lines of code CDCLean/CycleDecomposition.lean x: 2 commits (90d) y: 184 lines of code CDCLean/Expansion.lean x: 2 commits (90d) y: 452 lines of code CDCLean/FlowCount.lean x: 2 commits (90d) y: 625 lines of code CDCLean/JaegerKilpatrick.lean x: 3 commits (90d) y: 1156 lines of code CDCLean/Main.lean x: 3 commits (90d) y: 60 lines of code CDCLean/NashWilliams.lean x: 3 commits (90d) y: 3495 lines of code
3495.0
lines of code
  min: 17.0
  average: 635.3
  25th percentile: 42.5
  median: 239.0
  75th percentile: 757.75
  max: 3495.0
0 3.0
commits (90d)
min: 2.0 | average: 2.5 | 25th percentile: 2.0 | median: 2.5 | 75th percentile: 3.0 | max: 3.0

File Size vs. Contributors (90 days): 10 points

CDCLean.lean x: 2 contributors (90d) y: 20 lines of code CDCLean/CubicBridge.lean x: 2 contributors (90d) y: 50 lines of code CDCLean/CubicLabeling.lean x: 2 contributors (90d) y: 294 lines of code CDCLean/CycleDecomposition.lean x: 2 contributors (90d) y: 184 lines of code CDCLean/Expansion.lean x: 2 contributors (90d) y: 452 lines of code CDCLean/FlowCount.lean x: 2 contributors (90d) y: 625 lines of code CDCLean/JaegerKilpatrick.lean x: 2 contributors (90d) y: 1156 lines of code CDCLean/Main.lean x: 2 contributors (90d) y: 60 lines of code CDCLean/NashWilliams.lean x: 2 contributors (90d) y: 3495 lines of code
3495.0
lines of code
  min: 17.0
  average: 635.3
  25th percentile: 42.5
  median: 239.0
  75th percentile: 757.75
  max: 3495.0
0 2.0
contributors (90d)
min: 2.0 | average: 2.0 | 25th percentile: 2.0 | median: 2.0 | 75th percentile: 2.0 | max: 2.0
About This Analysis
  • File size measurements show the distribution of size of files.
  • Files are classified in four categories based on their size (lines of code): 1-100 (very small files), 101-200 (small files), 201-500 (medium size files), 501-1000 (long files), 1001+(very long files).
  • It is a good practice to keep files small. Long files may become "bloaters", code that have increased to such gargantuan proportions that they are hard to work with.
Learn more...