Kernel assurance coverage summary.
@spec summary(Theoria.Env.t(), Theoria.Kernel.Differential.Report.t()) :: map()