GIO ignore-hosts：主机名与 IP 地址分别匹配

你的 GIO 客户端直接访问 192.168.40.12，却对 reports.example 使用代理。DNS 说这个名字会解析到那个地址。绕过解析器在选定路由之前并不需要执行这次查询。

GSimpleProxyResolver 记录了两套独立的匹配规则：主机名排除只作用于以名字标识的目标；IP 排除只作用于以地址标识的目标。

当 192.168.40.12 是 ignore-hosts 里的唯一一项时，数字形式的目标可以绕过，主机名却不会。把地址扩展成子网条目，并不会自动把它变成一张解析到该子网内所有名字的清单。

如果两种写法都应当直连，就用实际消费方支持的形式把两种意图都表达出来。如果例外来自 GNOME 设置，就把它们存成各自独立的列表项。名字例外应尽可能窄；一条图省事的宽泛域名规则可能把无关服务也一并排除。

这是 GIO 解析器的契约，不是 GNOME 桌面上所有应用的通用规则。另一个浏览器或 HTTP 库可能使用不同的解析器、PAC 脚本或显式代理配置。

在断定子网解析器有故障之前，先核对 URL 写法、所选解析器和当前代理模式。按地址直连成功，只能说明那个基于地址的请求；它本身完全不能说明基于名字的请求是如何被归类的。