outline for disk graphs

Daniel Gonçalvesrequested to merge
daniel.goncalves-main-patch-93695 into main

and new corollary 13

Merge request reports