先审来源准入，再决定新的参考合同

文档类型devlog。基线ddfde989；承接诊断单次结果。同一AI方案、实施、分离复核，无子代理。30/66、发送正式0/5、Gate R未关；本批手机调用0、不改产品、不建run或容量。

有限问题

1. 已固定Apple XNU commit 1031c584a5e37aff177559b9f69dbd3c8c3fd30a下，连接TCP/UDP计数与接口IFNET计数是否同一来源？沿现有ntstat.c/h、in_pcb.h、tcp_output.c、udp_usrreq.c的发送累计点，补齐此前未审的udp6_usrreq.c发送分支。只审发送，不把结果变为接收验收。
2. IFNET provider的lookup、counts、watcher、release及注册是否适合只读全接口参考？需检查权限前置、参数、阈值写入与释放，不以存在CreateInterfaceSource导出名当可用。
3. 查固定同commit的bsd/kern/kern_priv.c，确定priv_check_cred本身的责任边界。权限可受MAC策略影响；缺少具体策略/手机实测不能泛化成必然EPERM，也不得请求自加私有entitlement或关闭系统检查。

输入与执行

仅复用已有私有XNU原件及对应URL/SHA manifest；新增最多两件：bsd/netinet6/udp6_usrreq.c、bsd/kern/kern_priv.c，同一commit的Apple官方源，标准TLS、每件≤1MiB/20秒、无自动重试或关证书验证。网页接口失败保留失败事实；下载失败则该分支unknown，不临时换版本。输入pin、原件独占保存，引用行区间和完整方法边界保管；不对私有手机二进制做新的获取或运行绑定推断。

主读法冻结所有目标方法/累计点和关键条件，记录原行范围/原件SHA；分离读法从原文件按独立行定位核所有原文、方法与参数顺序、provider注册及分支条件，不导入主提取器。它证明源码事实可复核，不能证明运行C控制流、手机精确内核等价或原始流无丢失。覆盖不到的调用点/TSO/强制探针/错误路径/用户态callback明确保留，不形成统一byte修正公式。

O(固定7件源总bytes+有限引用)，串行每件下载、host单进程分析≤10秒/96MiB，合计新增≤8MiB，host空间≥10GiB且≥两倍预算。只读研究不做手机高频成本、不宣称产品性能提升；CPU/RSS/耗时记录，I/O峰unknown。已有失败/raw和旧24尾对象缺口保留、删除0。

决策与门禁

如果IFNET存在共享阈值写入，它不能未经单独副作用合同被当只读探针运行；如果有权限前置，则先确定授权服务路径，不扩权绕过。若TCP/UDP和IFNET源不同，禁止按常量头字节统一换算全部provider，原H1/22头下界与Hq条件反例仍保持。下一步必须根据本批证据缩小到可说明全scope/字节层/时窗的新来源合同，不能继续随机查询。Gate R全项不成立前不进193/正式五轮/接收或其他指标。

结果写独立validation、Canonical知识与版本、handoff/机读、时间线/阶段/门禁/总览/首页、新不可变HTML快照。窄提交、GitHub核同、GitLab单次，站点完整构建/链接；既有网站/通知缺配置按Owner授权partial。

Source Scope Update · 2026-10-20

实际udp6_usrreq.c只在udp6_send转发udp6_output，未包含输出实现；不能把它当完整IPv6发送累计点。追加唯一同commit的bsd/netinet6/udp6_output.c，新增总件数上限3、输入总件数8；沿用每件1MiB/20秒、总新增8MiB与所有原件保管门。不继续扩大到IP/驱动全树，其他未审路径继续unknown。