Migrate version code from Casebook2 and ensure specs are green