• There are 115 files with 24,723 lines of code.
• 6 very long files (8,351 lines of code)
• 6 long files (4,053 lines of code)
• 18 medium size files (5,366 lines of code)
• 30 small files (4,182 lines of code)
• 55 very small files (2,771 lines of code)

File	# lines	≈ tokens to read	# changes (1y)	≈ lines edited per change	lines read per line changed
lean CharacterSum.lean in AES/lean/chi-fp/ChiFp	132	~700–2k	1	~150	~1
lean MainTheorem.lean in AES/lean/chi-fp/ChiFp	94	~500–1.5k	1	~100	~1
lean Orbit.lean in AES/lean/chi-fp/ChiFp	79	~500–1.5k	1	~100	~1
lean Numeric.lean in AES/lean/chi-fp/ChiFp	24	under 1k	1	~30	~1
lean Defs.lean in AES/lean/chi-fp/ChiFp	22	under 1k	1	~30	~1
lean Audit.lean in AES/lean/chi-fp/ChiFp	11	under 1k	1	~15	~1
lakefile.toml in AES/lean/chi-fp	11	under 1k	1	~15	~1
check_bound.py in AES/lean/chi-fp/tools	10	under 1k	1	~20	~1
lean ChiFp.lean in AES/lean/chi-fp	8	under 1k	1	~7	~1

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).

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

File	# lines	# units	# long lines
sr744.rs in AES/rust/src	1344	16	105
online3.c in AES/experiments/aes128-measured/projection	592	25	45
analyze.c in AES/experiments/aes128-measured/offline	845	21	44
sr7226_exact2.c in AES/experiments/sr7226-e2e	1636	58	43
online_bench.c in AES/experiments/aes128-measured/online	557	25	41
sr7226_canon2.c in AES/experiments/sr7226-e2e	1575	53	41
phi.c in AES/experiments/aes128-measured/phi	975	28	35
exp_honest.rs in AES/rust/src	296	3	23
exp_basic.rs in AES/rust/src	253	-	16
table_build.c in AES/experiments/aes128-measured/offline	345	3	14
ddt_gray_capstone.c in AES/c/ddt-gray	226	7	11
attack.c in LEA	524	15	10
exp_wrongkey.rs in AES/rust/src	234	1	10
exp_entropy.rs in AES/rust/src	164	-	10
main.rs in AES/rust/src	100	4	9
ddt_gray_honest.c in AES/c/ddt-gray	176	10	9
offline3.c in AES/experiments/aes128-measured/projection	216	8	8
denom.c in AES/experiments/aes128-measured/projection	158	8	8
sr7226_gray.c in AES/experiments/sr7226-e2e	1635	57	6
aes.rs in AES/rust/src	83	-	6
project.py in AES/experiments/aes128-measured/projection	86	4	5
ddt_gray_timing.c in AES/c/ddt-gray	115	5	5
nix svp-tool.nix in HAWK/nix	96	-	3
kernel_v2_vec.h in AES/experiments/aes128-measured/common	291	14	3
classify.c in AES/experiments/aes128-measured/offline	161	5	3
sort_buckets.c in AES/experiments/sr7226-e2e	27	1	3
exp_timing.rs in AES/rust/src	65	-	3
ddt_gray_online.c in AES/c/ddt-gray	198	7	3
bc_truehit.c in AES/c/bridge-consistency	129	4	3
common.h in AES/experiments/aes128-measured/common	423	34	2
aes_core.h in AES/experiments/aes128-measured/common	104	17	2
saes_imn.c in AES/c/mobius-honest	419	14	2
honest_rebound.c in AES/c/mobius-honest	258	8	2
fp_solve.c in AES/c	314	17	2
oracle.h in LEA	117	5	1
canon_even.h in AES/experiments/aes128-measured/common	254	14	1
chistats.py in AES/experiments/aes128-measured/phi	51	1	1
sbc_repro.c in AES/c/sb-cache	560	18	1

• 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.