A general canonical formalism for discrete systems is developed, which can handle varying phase space dimensions and constraints. The central ingredient is Hamilton's principal function that generates canonical time evolution and ensures that the canonical formalism reproduces the dynamics of the…