Model Topography ticket service. It signs start tickets and submit receipts. See SPEC.md, "Submitting a run".