openai/cdc-lean
File Churn
File change frequency (churn) shows the distribution of file updates (days with at least one commit).
Overview
File Change Frequency Overall
  • There are 10 files with 6,353 lines of code.
    • 0 files changed more than 100 times (0 lines of code)
    • 0 files changed 51-100 times (0 lines of code)
    • 0 files changed 21-50 times (0 lines of code)
    • 0 files changed 6-20 times (0 lines of code)
    • 10 files changed 1-5 times (6,353 lines of code)
0% | 0% | 0% | 0% | 100%
Legend:
101+
51-100
21-50
6-20
1-5

explore: grouped by folders | grouped by update frequency | data
Contributors Count Frequency Overall
  • There are 10 files with 6,353 lines of code.
    • 0 files changed by more than 25 contributors (0 lines of code)
    • 0 files changed by 11-25 contributors (0 lines of code)
    • 0 files changed by 6-10 contributors (0 lines of code)
    • 10 files changed by 2-5 contributors (6,353 lines of code)
    • 0 files changed by 1 contributor (0 lines of code)
0% | 0% | 0% | 100% | 0%
Legend:
26+
11-25
6-10
2-5
1

explore: grouped by folders | grouped by contributors count | data
File Change Frequency per File Extension
lean, txt, md, gitignore, json, toml
File Change Frequency per Extension
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
lean0% | 0% | 0% | 0% | 100%
toml0% | 0% | 0% | 0% | 0%
File Change Frequency per Logical Decomposition
primary
primary (file change frequency)
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
CDCLean0% | 0% | 0% | 0% | 100%
ROOT0% | 0% | 0% | 0% | 100%
Most Frequently Changed Files (Top 17)

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsline
churn		first
contributor		latest
contributor
lean
Audit.lean
in CDCLean
 17 - 2026-07-09 2026-07-09 1 2 +5 / -3 cheukheichu@openai.com balexeev@openai.com
lean
 20 - 2026-07-09 2026-07-09 1 2 +4 / -0 cheukheichu@openai.com balexeev@openai.com
lean
 50 - 2026-07-09 2026-07-09 1 2 +2 / -0 cheukheichu@openai.com balexeev@openai.com
lean
Main.lean
in CDCLean
 60 - 2026-07-09 2026-07-09 1 2 +100 / -88 cheukheichu@openai.com balexeev@openai.com
184 - 2026-07-09 2026-07-09 1 2 +8 / -4 cheukheichu@openai.com balexeev@openai.com
lean
 294 - 2026-07-09 2026-07-09 1 2 +30 / -12 cheukheichu@openai.com balexeev@openai.com
lean
Expansion.lean
in CDCLean
 452 - 2026-07-09 2026-07-09 1 2 +32 / -0 cheukheichu@openai.com balexeev@openai.com
lean
FlowCount.lean
in CDCLean
 625 - 2026-07-09 2026-07-09 1 2 +40 / -22 cheukheichu@openai.com balexeev@openai.com
lean
 1156 - 2026-07-09 2026-07-09 1 2 +2447 / -1 cheukheichu@openai.com balexeev@openai.com
lean
 3495 - 2026-07-09 2026-07-09 1 2 +7366 / -52 cheukheichu@openai.com balexeev@openai.com
9 -
lean
SixFlow.lean
in CDCLean
 31 -
lean
EvenCover.lean
in CDCLean
 35 -
lean
 40 -
lean
PathCut.lean
in CDCLean
 56 -
lean
 68 -
lean
Basic.lean
in CDCLean
 81 -
Files With Most Churn (Top 17)
Based on the number of lines added and deleted across all commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsline
churn		first
contributor		latest
contributor
lean
 3495 - 2026-07-09 2026-07-09 1 2 +7366 / -52 cheukheichu@openai.com balexeev@openai.com
lean
 1156 - 2026-07-09 2026-07-09 1 2 +2447 / -1 cheukheichu@openai.com balexeev@openai.com
lean
Main.lean
in CDCLean
 60 - 2026-07-09 2026-07-09 1 2 +100 / -88 cheukheichu@openai.com balexeev@openai.com
lean
FlowCount.lean
in CDCLean
 625 - 2026-07-09 2026-07-09 1 2 +40 / -22 cheukheichu@openai.com balexeev@openai.com
lean
 294 - 2026-07-09 2026-07-09 1 2 +30 / -12 cheukheichu@openai.com balexeev@openai.com
lean
Expansion.lean
in CDCLean
 452 - 2026-07-09 2026-07-09 1 2 +32 / -0 cheukheichu@openai.com balexeev@openai.com
184 - 2026-07-09 2026-07-09 1 2 +8 / -4 cheukheichu@openai.com balexeev@openai.com
lean
Audit.lean
in CDCLean
 17 - 2026-07-09 2026-07-09 1 2 +5 / -3 cheukheichu@openai.com balexeev@openai.com
lean
 20 - 2026-07-09 2026-07-09 1 2 +4 / -0 cheukheichu@openai.com balexeev@openai.com
lean
 50 - 2026-07-09 2026-07-09 1 2 +2 / -0 cheukheichu@openai.com balexeev@openai.com
9 -
lean
SixFlow.lean
in CDCLean
 31 -
lean
EvenCover.lean
in CDCLean
 35 -
lean
 40 -
lean
PathCut.lean
in CDCLean
 56 -
lean
 68 -
lean
Basic.lean
in CDCLean
 81 -
Files With Most Contributors (Top 17)
Based on the number of unique email addresses found in commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsline
churn		first
contributor		latest
contributor
lean
 20 - 2026-07-09 2026-07-09 1 2 +4 / -0 cheukheichu@openai.com balexeev@openai.com
lean
 294 - 2026-07-09 2026-07-09 1 2 +30 / -12 cheukheichu@openai.com balexeev@openai.com
184 - 2026-07-09 2026-07-09 1 2 +8 / -4 cheukheichu@openai.com balexeev@openai.com
lean
 1156 - 2026-07-09 2026-07-09 1 2 +2447 / -1 cheukheichu@openai.com balexeev@openai.com
lean
Expansion.lean
in CDCLean
 452 - 2026-07-09 2026-07-09 1 2 +32 / -0 cheukheichu@openai.com balexeev@openai.com
lean
Audit.lean
in CDCLean
 17 - 2026-07-09 2026-07-09 1 2 +5 / -3 cheukheichu@openai.com balexeev@openai.com
lean
FlowCount.lean
in CDCLean
 625 - 2026-07-09 2026-07-09 1 2 +40 / -22 cheukheichu@openai.com balexeev@openai.com
lean
 3495 - 2026-07-09 2026-07-09 1 2 +7366 / -52 cheukheichu@openai.com balexeev@openai.com
lean
Main.lean
in CDCLean
 60 - 2026-07-09 2026-07-09 1 2 +100 / -88 cheukheichu@openai.com balexeev@openai.com
lean
 50 - 2026-07-09 2026-07-09 1 2 +2 / -0 cheukheichu@openai.com balexeev@openai.com
lean
SixFlow.lean
in CDCLean
 31 -
lean
 40 -
lean
EvenCover.lean
in CDCLean
 35 -
lean
Basic.lean
in CDCLean
 81 -
lean
 68 -
lean
PathCut.lean
in CDCLean
 56 -
9 -
Files With Least Contributors (Top 17)
Based on the number of unique email addresses found in commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsline
churn		first
contributor		latest
contributor
lean
Basic.lean
in CDCLean
 81 -
lean
 68 -
lean
PathCut.lean
in CDCLean
 56 -
lean
 40 -
lean
EvenCover.lean
in CDCLean
 35 -
lean
SixFlow.lean
in CDCLean
 31 -
9 -
lean
 3495 - 2026-07-09 2026-07-09 1 2 +7366 / -52 cheukheichu@openai.com balexeev@openai.com
lean
 1156 - 2026-07-09 2026-07-09 1 2 +2447 / -1 cheukheichu@openai.com balexeev@openai.com
lean
FlowCount.lean
in CDCLean
 625 - 2026-07-09 2026-07-09 1 2 +40 / -22 cheukheichu@openai.com balexeev@openai.com
lean
Expansion.lean
in CDCLean
 452 - 2026-07-09 2026-07-09 1 2 +32 / -0 cheukheichu@openai.com balexeev@openai.com
lean
 294 - 2026-07-09 2026-07-09 1 2 +30 / -12 cheukheichu@openai.com balexeev@openai.com
184 - 2026-07-09 2026-07-09 1 2 +8 / -4 cheukheichu@openai.com balexeev@openai.com
lean
Main.lean
in CDCLean
 60 - 2026-07-09 2026-07-09 1 2 +100 / -88 cheukheichu@openai.com balexeev@openai.com
lean
 50 - 2026-07-09 2026-07-09 1 2 +2 / -0 cheukheichu@openai.com balexeev@openai.com
lean
 20 - 2026-07-09 2026-07-09 1 2 +4 / -0 cheukheichu@openai.com balexeev@openai.com
lean
Audit.lean
in CDCLean
 17 - 2026-07-09 2026-07-09 1 2 +5 / -3 cheukheichu@openai.com balexeev@openai.com
Correlations

File Size vs. Number of Changes: 10 points

CDCLean.lean x: 20 lines of code y: 1 # changes CDCLean/Audit.lean x: 17 lines of code y: 1 # changes CDCLean/CubicBridge.lean x: 50 lines of code y: 1 # changes CDCLean/CubicLabeling.lean x: 294 lines of code y: 1 # changes CDCLean/CycleDecomposition.lean x: 184 lines of code y: 1 # changes CDCLean/Expansion.lean x: 452 lines of code y: 1 # changes CDCLean/FlowCount.lean x: 625 lines of code y: 1 # changes CDCLean/JaegerKilpatrick.lean x: 1156 lines of code y: 1 # changes CDCLean/Main.lean x: 60 lines of code y: 1 # changes CDCLean/NashWilliams.lean x: 3495 lines of code y: 1 # changes
1.0
# changes
  min: 1.0
  average: 1.0
  25th percentile: 1.0
  median: 1.0
  75th percentile: 1.0
  max: 1.0
0 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

Number of Contributors vs. Number of Changes: 10 points

CDCLean.lean x: 2 # contributors y: 1 # changes
1.0
# changes
  min: 1.0
  average: 1.0
  25th percentile: 1.0
  median: 1.0
  75th percentile: 1.0
  max: 1.0
0 2.0
# contributors
min: 2.0 | average: 2.0 | 25th percentile: 2.0 | median: 2.0 | 75th percentile: 2.0 | max: 2.0

Number of Contributors vs. File Size: 10 points

CDCLean.lean x: 2 # contributors y: 20 lines of code CDCLean/CubicBridge.lean x: 2 # contributors y: 50 lines of code CDCLean/CubicLabeling.lean x: 2 # contributors y: 294 lines of code CDCLean/CycleDecomposition.lean x: 2 # contributors y: 184 lines of code CDCLean/Expansion.lean x: 2 # contributors y: 452 lines of code CDCLean/FlowCount.lean x: 2 # contributors y: 625 lines of code CDCLean/JaegerKilpatrick.lean x: 2 # contributors y: 1156 lines of code CDCLean/Main.lean x: 2 # contributors y: 60 lines of code CDCLean/NashWilliams.lean x: 2 # contributors 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
min: 2.0 | average: 2.0 | 25th percentile: 2.0 | median: 2.0 | 75th percentile: 2.0 | max: 2.0

Number of Changes vs. Line Churn: 12 points

CDCLean.lean x: 1 # changes y: 4 line churn CDCLean/CubicLabeling.lean x: 1 # changes y: 42 line churn CDCLean/FlowCount.lean x: 1 # changes y: 62 line churn CDCLean/JaegerKilpatrick.lean x: 1 # changes y: 2448 line churn CDCLean/Main.lean x: 1 # changes y: 188 line churn CDCLean/NashWilliams.lean x: 1 # changes y: 7418 line churn
7418.0
line churn
  min: 2.0
  average: 855.0
  25th percentile: 9.0
  median: 28.0
  75th percentile: 156.5
  max: 7418.0
0 1.0
# changes
min: 1.0 | average: 1.0 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 1.0

Number of Contributors vs. Line Churn: 10 points

CDCLean.lean x: 2 # contributors y: 4 line churn CDCLean/CubicLabeling.lean x: 2 # contributors y: 42 line churn CDCLean/FlowCount.lean x: 2 # contributors y: 62 line churn CDCLean/JaegerKilpatrick.lean x: 2 # contributors y: 2448 line churn CDCLean/Main.lean x: 2 # contributors y: 188 line churn CDCLean/NashWilliams.lean x: 2 # contributors y: 7418 line churn
7418.0
line churn
  min: 2.0
  average: 1021.6
  25th percentile: 7.0
  median: 37.0
  75th percentile: 753.0
  max: 7418.0
0 2.0
# contributors
min: 2.0 | average: 2.0 | 25th percentile: 2.0 | median: 2.0 | 75th percentile: 2.0 | max: 2.0

File Size vs. Line Churn: 10 points

CDCLean.lean x: 20 lines of code y: 4 line churn CDCLean/Audit.lean x: 17 lines of code y: 8 line churn CDCLean/CubicBridge.lean x: 50 lines of code y: 2 line churn CDCLean/CubicLabeling.lean x: 294 lines of code y: 42 line churn CDCLean/CycleDecomposition.lean x: 184 lines of code y: 12 line churn CDCLean/Expansion.lean x: 452 lines of code y: 32 line churn CDCLean/FlowCount.lean x: 625 lines of code y: 62 line churn CDCLean/JaegerKilpatrick.lean x: 1156 lines of code y: 2448 line churn CDCLean/Main.lean x: 60 lines of code y: 188 line churn CDCLean/NashWilliams.lean x: 3495 lines of code y: 7418 line churn
7418.0
line churn
  min: 2.0
  average: 1021.6
  25th percentile: 7.0
  median: 37.0
  75th percentile: 753.0
  max: 7418.0
0 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