[williamstein]

1. There are no non-free parts of SageMathCloud (here it all is: https://github.com/sagemath/cloud). It used to all be closed source, since the University tech transfer office required it in order to work with me... but I've since open sourced everything as required by the grants.

2. Regarding your next question, "the grant" I linked to is actually a program solicitation. It's the instructions for people preparing grants for the program, and also the guidelines for other people reviewing these grant proposals. The thing that is actually legally binding on the university is what the actual grant itself says. In my case the grant said (basically) "We will release all code under the GPL." I didn't write that phrase -- some other co-PI on the grant did -- but it was still signed off on by my office of sponsored research.