Level generation and solvers

Gives every game a shipped level table that is generated from seeds, proven winnable (by an exact solver at a recorded par, or, for games that draw their future at random, by a witness bot), laid out in packs that unlock by stars, pinned by data goldens, and a daily level that is the same on every iPhone and Android phone with no server. A checker regenerates each table from the game's plan and fails on any difference in values or bytes, a bad curve, an import outside the levels zone or a missing golden.

Rules that must hold