My guess is that the formal spec for a basic TODO list app is the same size as the source code of the app itself.
I would not be even slightly surprised if it were larger.
I would not be even slightly surprised if it were larger.