planP4E2partial2026-10-11

本文 type devlog;G458只读核对已复现18项控制中的13项合同偏差:源静默/600秒旧值/重复源/系统片段/五种snapshot错误绑定/未知来源身份仍可泄漏scalar,0/负值/分数亦能发候选值。不是把真实用户的所有连续点一律判假。旧已封存第一轮Raw有240条正整数原值、无错绑定/重复native结束点;自然参考181条taskThreads均成功、8–9线程,仅供诊断不改标正式线程轮。G458首次文本解析器0起点错误及其exit1保留,R1核查通过;0.735秒/32944128B/输入漂移0。

修复前定稿公式与质量

ios.process.thread.count,process/count,Processes[*].threadCount,raw-gauge.v1;原字段正有限整数直接映射,浮点仅接纳恰为整数且≤2^53−1的值,整数也受相同精确序列化范围约束。不取整、不平滑、不差分、不插值、不按数值变化判新鲜;0/负数/分数/布尔/非有限/缺失记missing,不写0。只verified且真实正整数目标绑定才能候选;未知身份记identity-unverified且value=null。精确序列化界限不是iOS线程数硬上限或异常筛查门槛。

发布版本thread-count-source-freshness.v1:每个线程数原frame独立token/队列,复用已验收有界custody机制但不借CPU或内存值/token。容量6、原到达时刻TTL=3×真实配置间隔(默认1.5秒)、每个源事件最多发一次、FIFO/溢出/过期/失效计数可审计;原PID/targetGeneration/sourceEpoch/reconnect与真实序列/到达时间绑定,不以队列时间刷新寿命。来源原时刻仍非内核精确读时,deviceReadPointProven=false。主源现有11列含threadCount,不扩schema/连接,不增加TTL或改变分母。

最小实现与验收

仅修改metric_engine线程数准入、realtime独立线程数队列/三正常入口间隔/audit,添加线程数专属匹配测试;保护四项已验收数值/源token。Derived-frame调用者同样不得跳过准入。knowledge Canonical同步最新公式/质量与未验收状态。先原生产入口before/after负控、真实5000完整consume+snapshot成本及sourceQuiet失效;匹配测试≤30秒128MiB,完整回归单独合同≤300秒512MiB,串行1,不重跑已终态历史回归来冒充新验证。

核心mean/p95≤1ms;前后5000条相同原始输入、完整序列/首响应/最坏失效/CPU/RSS/逻辑I/O分别留存,物理I/O峰unknown。O(固定6队列)/每步固定上限,无新设备动作与测试环境。新signed包和实际覆盖安装前本机仍旧162,不能用源码自测代表安装修复已生效。

本批软件验证不解除设备守卫、不登记第五accepted、不进入第六项。后续固定专属异常政策、封装负控与真实源资格/五新轮/实际工程/签名安装/封存才可记5/54;独立准确性不是前置、calibrated仍false。Owner内部公证例外仍只适用测试包;最终发行与GPL/网站/全源集成门不关闭。

Implementation Update · 2026-10-11

已按合同在两个生产文件增加线程数专属准入/独立队列/审计与三正常入口配置,未增加连接或补采字段;新增27项专项测试全部通过(0.026秒),包含多种值/身份/队列/TTL/重复/原4项保护子例。5000次完整consume+snapshot相同输入SHA前后对照:mean 0.188488→0.221537ms,p95 0.353036→0.410725ms,max 0.928942→1.078842ms;首响应0.385849→0.499009ms,旧600秒值由泄漏变null;均值/p95仍低于1ms,但实际CPU秒1.095682→1.291188、进程ru_maxrss 29495296→50413568B有所增加,不能称零开销或实际采集负载已通过。RSS包含模块导入/编译,未独立分解至新增队列;新增队列容量仍固定6。物理I/O峰unknown,无设备动作/0采集轮。

下一软件验证只执行当前修改后的新匹配保护集合(30秒128MiB)和新全回归(300秒512MiB),不重跑历史G440/G441入口。全回归显式加载现有真实native ABI,独占输出、CPU/RSS/wall监护超限即停止、原失败保留且不自动重试。仍非E4/安装修复/阶段交付,状态partial。

Validation Update · 2026-10-11:native窗口去重缺口

第一版新全回归2140项通过(171.774秒/221675520B),匹配保护266项通过(8.804秒/86552576B),但独立附加生产控制又复现:相同StartMachAbsTime/EndMachAbsTime仅更换Raw序列时,线程数仍可被当新点。这是已证剩余缺口,前述通过不能替代此项;保留原结果,不提前打包/登记通过。

现追加最小修复决策:线程数独立保存一个原native窗口高水位,不借CPU novelty。生产载荷出现任一原native字段/主连接标志时必须具备全套正有序原tick窗与正整数时基;同source/target generation/reconnect/epoch/timebase下结束tick必须严格递增,重复/回退/换时基/不完整窗invalidate线程队列;新epoch/reconnect才允许新的独立窗。完全没有native元数据的既有纯机械低层fixture仍可测arrival custody,不把它当真实源资格。只成功admissible原值+通过父source绑定才推进native高水位;原审计新增原native窗字段,不伪装内核准确读时。

新增精准native负控和保护测试后另执行本修复终态新匹配/全回归各一次;这是新已证缺陷修复的验证,原G459第一版通过结果仍留存,不作为最终源码的验证。正式设备守卫继续关闭。

Validation Update · 2026-10-11:原窗口去重终态软件证据

新增12项native负控后专项39项通过(0.061秒),保护集合278项通过(8.763秒/88551424B);修复终态新全回归2152项通过(171.229秒/213864448B,真实native ABI),0失败/0错误。原2140项首版结果保留,不作为终态替代。现存原始参考通过thread专属解析181/181,原已封存Raw仅作诊断回放240个新线程原点/8–9线程,非新正式轮。

最终原native载荷5000次完整处理,输入SHA e2f3e1fd94e0224efebe20e5d6ceb83b9844821d479531e8aeb354b57ec68a06相同;基线读取本批冻结的两个原生产文件,不回写工作区。mean 0.196919→0.201621ms、p95 0.362600→0.327584ms、max 1.313646→0.890410ms;首响应0.362957→0.527640ms,过期失效0.076924→0.089386ms;CPU 1.149517→1.170427秒。均值/p95门通过,但不能从单次微基准推断所有负载零退化。ru_maxrss 52527104→29728768B是两工具进程读数;基线多加载旧模块,不作为队列RSS改善证据。实际GUI/Core树CPU/RSS/I/O/退出仍须新设备资格和五轮验证,物理I/O峰unknown。

软件修复已验证E2,产品阶段仍partial:安装仍旧162,尚未新签名包/覆盖安装,未设备资格/新正式轮/最终封存或公开网站构建发布。整体4/54,线程数0/5;必须先唯一signed新包、冗余手机参考独立清理、设备准入政策登记与真实source资格,再固定五轮。未提交、未推送、不发工具批次交付通知,不把此页软件进展冒称第五项交付。