Skip to content

Smooth相对中位帧时RMS与独占五轮验收方案 ​

唯一当前项与执行授权 ​

正式51/66、剩15,TinyJank新完整5/5已通过,提交1b688589已GitHub同SHA;GitLab一次连接关闭,网站缺Cloudflare配置、Webhook缺环境/钥匙串,交付partial按Owner授权继续。当前唯一ios.frame.smooth,下一指标依原Registry顺序;历史51项E4不重测。Owner授权同一AI承担方案、实现、测试与证据分离核验,不创建子代理。软件或诊断不计正式;无完整参考须在本项重新证实后,完整新5/5正常性通过才能正式计入NO_REFERENCE_ACCEPTED_OWNER_POLICY、referenceAccuracyValidated=false、ownerReviewRequired=false。公证继续暂缓,Apple Development仅本机内部测试。

公式合同先入档 ​

metricID=ios.frame.smooth;scope=foreground-device;unit=score,越低越稳定,不是百分比合格率,不宣称竞品同名算法或物理帧稳定率。系统服务com.apple.instruments.server.services.activitytracetap,经DTX/pymobiledevice3 11.3.1 ActivityTraceTap及自研ActivityTraceFrameLifetimeRawAdapter、FrameLifetimeDecoder.decode。原始endMachTicks/previousPresentationMachTicks及numer/denom生成d=floor(ΔMach×numer/denom)纳秒,仅按frame-statistics-admission.v2准入的N个正间隔参与。质量/生命/epoch/display断点不跨接,原件完整保留,已准入分布跨段累计。

设排序间隔d[1..N];N奇数m2=2d[(N+1)/2],N偶数m2=d[N/2]+d[N/2+1]。N≥4且m2>0时:

text
Q = Σ(2d_i − m2)² / (N × m2²)
Smooth = 100 × sqrt(Q)

它等价于100×sqrt(mean(((d−median(d))/median(d))²))。独立审计只用整数ns计算平方和与中位秩,最后一步转浮点;不从产品Smooth值、derived标记或方差反推。产品离线采用原始相对误差和,在线使用Welford总体方差加均值与中位数差平方,数学等价;容差abs≤1e−6或rel≤1e−9。不裁长尾、不按持续时间加权、不用sample variance,不用平均值代替中位数,不把间隔合计或完整epoch时长当N。空集或N<4为null;常数N≥4为合法0;缺值不补0,保留candidate及来源质量。公式版本perfowl-smooth.robust-rms.candidate.v1,整条报告frame-report.candidate.v4;summary/stat/final/coverage与SQLite封口边界分别核对,不变更历史版本。

软件与消费者验收 ​

新增真实Decoder→在线/离线/实际seal的专项测试,涵盖N=0..4、奇偶中位、常数60/120Hz、长尾未裁、重复值、随机整数、缩放/顺序不变、unknown/out-of-order/epoch、所有checkpoint切点与版本/coverage。独立整数审计另加反控,验证错误均值/样本方差/裁尾不被接受。仅发现实际缺陷才先文档化修复,不为本项无故重包;若420运行源与已安装217严格签名保持,复用现有内部包217和Lab32,不重复完整旧回归。

关键路径:O(N log N)排序确定中位、O(N)整数平方和,N≤25000/输入大小界沿用封口审计;在线现有秩索引O(log N)增量、moment O(1),不重算全Session。独立工具与简单直接基线在7k/25k真实规模做三组串行对照,核值与wall/首响应/CPU/RSS、I/O可观测性;25001拒绝。每离线步骤硬120秒/192MiB,目标≤3秒,未知I/O不伪称0。不开新常驻服务、不并行手机采集,每轮手机调用45秒总界/单步8秒、发布前33秒;原生冷请求90秒,watch新Session准入60秒。沿用已隔离控制的guard预算:完成prepare≤50秒、请求剩余≥35秒、guard时watch≤8秒且未终态,CUA Start须在watch总年龄45秒、prepare总年龄50秒及请求剩余35秒最早截止前;实际新鲜Ready/播放可用、唯一Start时间与次数全保留。超时不点击/不补轮。

当前参考与测试App用例 ​

Lab32 frame-thresholds-v1已有20/40/40/40秒四阶段、正常/每12回调160ms长尾/恢复及actual Metal presented/请求/提交/GPU/双钟,设计无需新增测试App能力。新独占20261024-smooth-reference-diagnostic-01使用新请求/生命/标准Session;先检完整来源/原件和当前参考,不把TinyJank参考决定直接当本项结论。正式阶段响应控制:各阶段两端各去2秒,仅两端点均在窗内的准入间隔做该阶段RMS;正常/恢复分数≤10,长尾≥100且比正常高≥50,每完整Session N≥1000。阶段响应只验证可控负载敏感性,不替代完整Session分布。

独立Metal参考必须覆盖全部源端点及全部准入间隔,无额外/缺失/歧义;不裁匹配子集。双钟界与100000ns端点容差给每参考间隔正界[l_i,u_i],误差2×100000+1ns。分别取l和u的中位数mL/mU,则真实median∈[mL,mU],各比值d/median∈[l_i/mU,u_i/mL]。该区间若含1,相对误差绝对值下界0,否则取两端绝对值较小者;上界取较大者。逐项平方平均再开根×100得到保守Smooth界;mL≤0/N<4或覆盖不完整则参考不合格。产品值必须落界,不只核同公式标签。回调/sleep/产品Raw重算不是独立系统呈现真值。

逐项重审已有Apple Hitches资源超门、Frame Lifetimes attach/schema/crash、Display-only服务断连的封存原件与SHA,有新合规路径才探测,不重放已知同配置失败。确认当前无完整参考后才依Owner政策走新五轮正常性;不能称永久不可能或硬件故障。

真实容量与旧数据保全 ​

上一项批末手机1212件138609706B全树及新host镜像核同、实际64/64。新请求前重新核全部四树及整个retired父根、host镜像、安装身份、所有run终态/空闲、pending/part与空间;主机及手机至少10GiB且不少于新增量两倍。准确六个已封口目录tiny-jank-ref-20261024-a04-r1和tiny-jank-20261024-a06-r1/r2/r3/r4/r5各一次同容器保留rename到/Documents/PerfowlLabP95Retired/20261024-smooth-capacity-01/同名目录,删除0。先核对应独立副本SHA及新树,再写后核全映射、Requests/Gate不变与真实64→58/64;旧迁移不重跑。失败/原始/引用/回滚证据保留,不清旧电脑。

正式五轮与收口 ​

新诊断本项完整资格和参考决定通过后,另建独占20261024-smooth-formal-attempt-01、前缀smooth-20261024-a01。冻结当前方案、真实59/64写后基线、工具/测试/420运行源及本项参考决定。五轮各新nonce/生命/标准Session,实际19Display/1Hz、controlled-cold-launch、启动与截图持久化关闭;watch在实际CapturePlan后165秒发Stop就绪,唯一CUA Stop,单轮计划≤225秒。逐轮封口→全旧SHA/实容量→全部消费者/120连续源健康槽(5新valid/槽、来源≤1秒、gap≤2秒、无skip、census平衡且drop/pending/undrained为0)→阶段及完整Smooth核对,全过才下一轮。失败首停整attempt,不补轮/拼轮/重放。五轮及最终全原件重算/手机新host全SHA保全后才52/66。

同批更新Canonical指标知识/版本历史、机读进度、恢复入口、总览/首页/时间线/阶段/门禁,新增不可变方案/结果HTML,完整站点构建与链接核对,窄提交双推(GitLab一次),实际网站发布与线上核对/Webhook按配置事实报告partial。下一指标必须本项正式通过及交付尝试后再进入。

2026-10-24 Path Version Investigation Update · E2 ​

首轮真实seal专项发现在线stat formulaVersion实际为frame-report.candidate.v4,离线build_stat_report为perfowl-smooth.robust-rms.candidate.v1;在线summary没有离线专用smoothFormulaVersion字段,Registry及离线summary保持该专用版本。首测试把两条路径标签等同而失败,原日志保留;数值控制已通过,其余11项产品控制及12项独立审计控制通过。先记录此合同,再使测试/真机审计分别核在线整报告版本、离线专用版本和同一数值,不补旧字段或改变产品语义。未发现产品数值缺陷,真机仍0/5。

2026-10-24 Implementation Update · 软件控制与执行效率 ​

新增产品Decoder/online/offline/seal专项12/12,独立整数RMS、消费者反控、完整/缺失/额外参考、保守界随机实现及阶段控制12/12通过E2。初次版本标签等同失败原件保留,按已入档两路径合同修正测试及审计后通过,无产品运行源码改动。三组7k/25k对照值在容差内,25001拒绝;最大wall0.368687秒、RSS33128448B、冷首0.056633秒,I/O unknown。420运行源pins与217/Lab32严格签名新核同,复用内部包。下一指标Registry序为ios.process.energy.total_cost。当前未写手机、正式0/5。

逐轮树核对原helper对每个常规文件先在inventory调用stat,再在read_file重复一次stat。新执行helper拟仅复用inventory刚读出的同一stat作为read_file的before,保留类型/大小界、完整读字节数、读取后stat及类型/大小/mtime同一性、全部SHA和冻结旧基线检查;单独read_file仍自行读before,目录不复用为文件。省去每文件一次重复RPC,仍O(全部原件字节数),不缓存SHA或跳过任何树。先做短读、变化、错误类型/大小与正确读取控制,再在容量操作必需的写前原helper/写后新helper上记录耗时及全SHA映射,均60秒总界。逐轮45秒prepare/33秒发布前预算保持;只有新helper控制与实树核对通过才冻结新采集工具。

2026-10-24 Capacity and Helper Receipt · 实际58/64 ​

六个指定已封口目录已各一次保留rename、删除0,写前所有1212件138609706B旧SHA及host镜像核同,写后全部映射/整个retired父根与Requests/Gate不变,实际64→58/64,50.140616秒。helper六个正确/短读/变化/类型/大小控制通过;同量实树必需写前原helper核对25.496040秒,写后新helper21.973827秒(含路径变更,不主张唯一因果),完整字节SHA未少,CPU/峰RSS与I/O分段unknown;离线三组资源另有实测。该迁移不得重跑。新独占20261024-smooth-reference-diagnostic-01、前缀smooth-ref-20261024-a01,以新实际58/64及完整旧树基线冻结,诊断不计正式。

2026-10-24 Reference Diagnostic Result and Formal Attempt Decision ​

新Smooth诊断完成6808完整源/6802准入、Smooth120.35617664238447,120健康槽/227行消费者核同,阶段正常/长尾/恢复控制通过。Metal完整参考缺28端点/额外4、歧义0,完整参考不合格;Apple候选本项重新审查并以SHA固定,当前无新合规配置,不重放。诊断Stop因整理交付脚本晚于165秒就绪,全部尾部保留、完整观察T188485046750ns,不裁时长或把诊断当正式。正式每轮仍须在实际计划后≤225秒完成唯一Stop,新增真实CUA Stop时间/次数与实际计划/Stop-ready的独立核对,避免编排延迟;原165秒Stop就绪保持。

现仅确认本环境无完整参考;新的独占20261024-smooth-formal-attempt-01及前缀smooth-20261024-a01从0完成五轮,初始实际59/64,冻结新诊断参考决定、写后完整树、当前方案/工具/测试/420运行源。逐轮所有原件/健康/阶段/消费者门和批末最终重算/全树host保全均通过后,才依Owner政策正式52/66并保留无参考标记。当前仍51/66,正式0/5。

2026-10-25 Formal a01 r4 Failure and Bounded Read Decision ​

新a01 r1/r2/r3各通过,r4 prepare已核全部旧SHA、真实62/64并正常退出稳定生命,但33.105420秒超过33秒发布前预算;请求写入0、无新Session/Fixture run。a01终态3/5失败,r5未开始,不补轮拼轮。此为准备工具预算触发,不归因手机或Smooth公式。失败prepare及三轮全原件保留。

主机旧全镜像1212件138609706B,最大文件581487B;64KiB读取需3126次chunk,1MiB需1212次。已安装pymobiledevice3 AfcService.fread支持最大4MiB自动分段。新私有helper仅把fread单次上界64KiB→1MiB,仍按已核文件剩余大小请求、完整长度及前后stat/全部SHA不变、文件及总树大小界不变;一次只读一个文件,不增加并发或常驻进程,增量chunk≤1MiB,N/文件字节数复杂度不变,减少原件网络往返。先六个读控制与真实全树SHA/host镜像,再以新容量操作前旧64KiB/后新1MiB读取同量原件记录paired耗时。原45秒prepare/33秒发布前、90秒请求与全部验收时间/数值门保持。

保全本次失败后的全部四树/retired父根及host镜像,确认无pending/part和所有run终态。仅准确三个已封口smooth-20261024-a01-r1/r2/r3各一次保留rename至20261025-smooth-a02-capacity-01,删除0、62→59/64;全SHA映射/Requests/Gate保持后创建新独占20261025-smooth-formal-attempt-02、前缀smooth-20261025-a02,从0完成全五轮。新本项诊断资格及参考决定仍有效(本次未启动负载/没有手机数据异常证据),无需重放相同诊断;每轮完整新来源/阶段/健康/消费者仍必须通过。整体51/66不变。

2026-10-25 a02 Capacity and Bounded Read Receipt · E3 ​

失败a01的1248件142963293B全部四树、整个retired父根及新host镜像SHA核同。准确三个已封口a01目录各一次保留rename,删除0,真实62→59/64;Requests/Gate与全部旧SHA保持,不重复迁移。旧64KiB读取同量全树24.737703秒、CPU4.233593秒,新1MiB读取21.585078秒、CPU3.542122秒;含路径变化,不主张唯一因果。两段在同进程累计高水位RSS均104579072B,不能声称隔离峰下降;I/O unknown。总操作49.149761秒,手机实际可用76916748288B。空文件和2MiB+17字节控制通过,后者恰3次不超过1MiB读取,完整长度与SHA相同。新a02从实际59/64及该全树SHA基线冻结,旧a01三轮不复用;45/33秒准备边界保持。

Final Validation Update · 2026-10-25 · 新完整5/5通过 ​

正式52/66、剩14项。Smooth新独占完整5/5通过,34,077完整源/34,054准入间隔、600/600源健康槽及908行消费者核同;整数ns中位秩与RMS、全部摘要及原件SHA一致(E4本场景正常性)。标记NO_REFERENCE_ACCEPTED_OWNER_POLICY、referenceAccuracyValidated=false、ownerReviewRequired=false;下一进程总能耗成本。同步/网站/Webhook欠项单列,公证暂缓,仅内部测试。

结果,汇总SHA 53675d2ff0983cd9787f9ae129de7d38873e6a8acf17a3755d17f1e52ad32886。

Perfowl · Performance Observer