Text this: A mathematical theory of gapless edges of 2d topological orders. Part I.