2026
CLM-STORAGE-003702= 16 TiBEXACT VALUEThe cited theorem establishes 16 TiB under the recorded model.Source: The Linux kernel ext4 block documentation — ext4 32-bit filesystem size with 4 KiB blocks ↗
PROVENFilesystem-size ceiling from 2^32 addressable blocks of 4 KiB each.
The question, scope, and sources behind this Registry record.
Under the recorded filesystem formats version and parameters, establish 16 TiB.
Current frontiers derived from accepted Claims.
The accepted equality closes this optimization result.
Assertions tied to evidence, attribution, and review.
The frontier as it changed over time.
Only accepted Claims matching the current specification contribute to the displayed bounds. Strict inequalities remain open; contradictory Claims require editorial review.
No accepted machine-checked reproductions are recorded for this Limit.
Limits Registry. LR-003702. ext4 32-bit filesystem size with 4 KiB blocks. 2026.