逐条检查一张声明路由表

先明确模型边界

输入是一张声明表，不是从电脑读取的实时路由。每条路由必须有稳定 id、CIDR、无符号 metric 与 type；可选 nextHop、interface、hopLimit 按报告保留。

若原始系统输出包含负数 sentinel metric、expires、proto 或缓存行，应先人工确认含义，不能直接丢字段并声称复现了系统。此工具不解析 ip route 的文本输出。

按两级排名保留全部证据

同地址族且包含目的地址的路由才匹配。先选最长前缀，再选该前缀下最小 metric；相等者全部保留，数组顺序不构成优先级。

CIDR 主机位规范化标记可提醒输入修正。IPv4 映射 IPv6 仍是 IPv6，不自动参与 IPv4 路由。hopLimit 只保留，不排名。

交付完整声明和比较

report.json 逐目的地址包含所有路由的 matched、selected 与 reason；routes.csv 给出每个比较，route-source.json 保留精确输入，复制为完整 JSON 报告。

blackhole、unreachable、prohibit 与转发结果分开表达；不同动作同级时是 mixed-tie，不能从这个结果挑选实际下一跳。

使用活动原生来源并保留完整交接

原始 ip-route 文本需手工整理成声明的 JSON 字段。工具只读单一静态表，不能修复现网路由、缓存、重定向或策略。

只处理当前活动的粘贴或文件来源。活动文件名允许512 UTF-8字节、MIME标签128字节；原始输入保持逐字节完整，并提供来源SHA256。

10秒整体绝对期限从元数据检查和原生文件读取前开始，覆盖Worker加载到发布结果。取消、超时或换源会清空全部旧产物；完整来源保留，可再次运行。

完整JSON报告、公式安全CSV、原始输入和复制文本合计16 MiB。生成大字符串前先预留输出字节；typed报告和表格JSON另有16 MiB工作量上限，不发布部分输出。

• 明确选择粘贴或一个原生JSON文件。切换来源会使旧结果失效。
• 检查全部等价候选，下载逐字节原始输入及完整报告/CSV，再独立核查真实系统。
• 未完成时取消或超时后，可用同一完整来源重跑；4000码点预览不会截短复制和下载。