sophia: add coverage status