delete_channel
Input
guildId requiredServer id the channel belongs to, e.g. from discord.com/list_servers.
channelId requiredId of the channel to delete, e.g. from discord.com/list_channels or create_channel's channelId. Must be a channel, not a category — a category id is refused.
expectedName optionalOptional safety check: the channel's name as it appears in the sidebar (from discord.com/list_channels). When given, the script refuses to delete unless the channel at channelId carries exactly this name. Regardless of this argument, the script always verifies that Discord's own confirmation dialog names the channel it resolved.
Output
name requiredThe channel's name as read from the sidebar before deletion, so the caller has a receipt of what was actually removed.
deleted requiredTrue only when Discord's own DELETE request returned a success status.
guildId requiredchannelId requiredverified_gone requiredWhether the channel row was confirmed to have disappeared from the sidebar afterwards. A second check, never the assertion — `deleted` is what Discord's API said.
