File Change History Overall
File Age Distribution Overall
Days since first update
  • There are 10 files with 6,353 lines of code in files.
    • 0 files that are 366+ days old (0 lines of code)
    • 0 files that are 181-365 days old (0 lines of code)
    • 10 files that are 91-180 days old (6,353 lines of code)
    • 0 files that are 31-90 days old (0 lines of code)
    • 0 files that are 1-30 days old (0 lines of code)
0% | 0% | 100% | 0% | 0%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by age
File Freshness Distribution Overall
Days since last update
  • There are 10 files with 6,353 lines of code in files.
    • 0 files have been last changed 366+ days ago (0 lines of code)
    • 0 files have been last changed 181-365 days ago (0 lines of code)
    • 10 files have been last changed 91-180 days ago (6,353 lines of code)
    • 0 files have been last changed 31-90 days ago (0 lines of code)
    • 0 files have been last changed 1-30 days ago (0 lines of code)
0% | 0% | 100% | 0% | 0%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by freshness
File Change History per File Extension
lean, txt, md, gitignore, json, toml
File Age Distribution per Extension
Days since first update
366+
181-365
91-180
31-90
1-30
lean0% | 0% | 100% | 0% | 0%
toml0% | 0% | 0% | 0% | 0%
File Freshness Distribution per Extension
Days since last update
366+
181-365
91-180
31-90
1-30
lean0% | 0% | 100% | 0% | 0%
toml0% | 0% | 0% | 0% | 0%
File Change History per Logical Decomposition
primary
primary (file age distribution)
Days since first update
366+
181-365
91-180
31-90
1-30
CDCLean0% | 0% | 100% | 0% | 0%
ROOT0% | 0% | 100% | 0% | 0%
primary (file freshness distribution)
Days since last update
366+
181-365
91-180
31-90
1-30
CDCLean0% | 0% | 100% | 0% | 0%
ROOT0% | 0% | 100% | 0% | 0%
Oldest Files (Top 17)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
lean
3495 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
1156 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
FlowCount.lean
in CDCLean
625 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
Expansion.lean
in CDCLean
452 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
294 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
184 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
Main.lean
in CDCLean
60 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
50 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
20 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
Audit.lean
in CDCLean
17 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
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 -
Files Not Recently Changed (Top 17)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
lean
Audit.lean
in CDCLean
17 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
20 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
50 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
Main.lean
in CDCLean
60 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
184 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
294 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
Expansion.lean
in CDCLean
452 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
FlowCount.lean
in CDCLean
625 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
1156 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
3495 - 2026-07-09 2026-07-09 1 2 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 -
Most Recently Created Files (Top 17)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
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 cheukheichu@openai.com balexeev@openai.com
lean
1156 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
FlowCount.lean
in CDCLean
625 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
Expansion.lean
in CDCLean
452 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
294 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
184 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
Main.lean
in CDCLean
60 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
50 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
20 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
Audit.lean
in CDCLean
17 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
Most Recently Changed Files (Top 17)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
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 cheukheichu@openai.com balexeev@openai.com
lean
1156 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
FlowCount.lean
in CDCLean
625 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
Expansion.lean
in CDCLean
452 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
294 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
184 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
Main.lean
in CDCLean
60 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
50 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
20 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com
lean
Audit.lean
in CDCLean
17 - 2026-07-09 2026-07-09 1 2 cheukheichu@openai.com balexeev@openai.com