Guiding Principles and Model Rules on Algorithmic Contracts