Drop ignored # type: ignore comments (basedpyright skips them); type tomlkit tables via cast; empty stream without reportUnreachable.