diagnostics-channel.d.ts