Publish szl-formulas: honest stdlib-only offline replay kernel (14/14 & 13/13 trio)

initial commit