Modernizing the insurance core — policy admin, rating, underwriting, and claims — by recovering the undocumented rules as living specs and migrating slice by slice, parity-proven.