I don’t think this is matter of mathematics, it is difficult to define what “software only running on desired machine” is. Like, do you permit functionally equal software with different code? With painstaking effort, functionality should be approximated fairly close (although idk what that means in mathematical context) On the other hand, requiring exact code is likely not what they want.

Cryptographic guarantee requires mathematical specification, which seems ill-fit in this scenario.

Huh, interesting that pop could be realized this time.

It lists no alternative to actual(-budget) :( I don’t have time to create my own alternative, maybe I should go back to spreadsheets?

Since reward system does not work for me, instead I punish myself whenever I could not finish tasks in time. I do not deserve any rewards anyway. Dunno why I feel so miserable…