外观
磁盘读取率：新来源一次发表、自有文件负载与self累计参考
1. Owner决定与唯一范围
文档类型为devlog。Owner明确“允许继续下一指标，保留交付欠项”，覆盖此前等待网站发布后推进的顺序门；Cloudflare发布、Webhook和GitLab同步仍为partial，不伪称完成，不反复请求配置。同一AI依次承担方案、实现、测试、分离复核，无子代理。写前main为c3578595，与GitHub核同，工作树干净。整体28/66，剩38；中断a02已限定E4通过，不重测或拼接旧attempt。
本批仅ios.process.disk.read_rate。磁盘写入率及其他伴随数据不升级为验收。产品唯一安装路径、内部Apple Development授权和公证暂缓沿用；Developer ID/GPL正式分发门仍开放。先落实本方案的软件与工具资格，再新独占attempt/诊断/容量收据及完整五轮；准备完成不等于指标通过。
2. 产品公式、身份与1Hz发表
Registry：scope=process，unit=bytes-per-second，source=dvt.sysmontap，sourceKey=diskBytesRead，definitionVersion=counter-rate.source-clock.exact-counter.candidate.v3。通道为com.apple.instruments.server.services.sysmontap的DTX，原生pymobiledevice3 Sysmontap取累计数，Perfowl适配及公式层负责差分；不增加服务连接。
T=floor(EndMachAbsTime*numer/denom)；rate=(C1-C0)*1e9/(T1-T0)。timebase来自同provider的DeviceInfo查询。UInt64先整数相减；浮点仅有限非负整数且≤2^53−1；bool/负哨兵/超界/非整数拒绝；delta>2^53−1为precision-loss；下降counter-reset；首点或身份/epoch/reconnect/adapter/timebase变化warmup。重复/倒退钟不污染前进基线。合法0必须正窗口且真实等累计；缺值不补0，不取整或夹紧。
新增仅read的marker sysmontapDiskReadRatePublicationPolicy=process-disk-read-source-once.1hz.v1，在Raw保留。模块保留独立native-window v1模式用于软件隔离对照，生产仅发送1Hz marker。严格双端点tracker绑定目标/代际/source/adapter/epoch/reconnect及完整唯一进程列、primary角色、精确累计、原始序列和设备端点；只允许真实新窗口发表一次，FIFO容量6。良性重复不新增token；冲突/错身份/坏钟/政策丢失清pending，不退回缓存。原生窗口与host TTL维持3×500ms=1.5秒；产品ready锚定1Hz真实新值，选最新pending，不拼窗口/插值/重复旧值。历史无marker回放保持原合同。可复用既有通用CPU freshness基座，但独立read状态与审计schema，不改变已验中断/上下文/CPU政策，也不改变write。
3. 独立参考和负载口径
自有Lab新增独立DiskPlan/Request/Event/Engine，沿用独占RunStore与封口，不将其伪装为CPU记录。参考只读自身proc_pid_rusage(getpid(), RUSAGE_INFO_V2)，dlsym缺符号/ABI不符/状态失败均置空并停止；记录读begin/end Mach ticks、status/errno、真实结构大小/字段offset、进程start/exit、UInt64 ri_diskio_bytesread，不读第三方进程。以当前iPhoneOS18.5 SDK结构核对，v2预期大小160、start80、exit88、read144、write152；实际编译检查优先，布局不符不得硬读。参考100Hz，完整read/encode/append成本包含在下一事件中，末尾再记录最后成本。OFF不调用参考API。成功0只是原始读数，不能证明该系统实现有有效磁盘统计。
Apple公开XNU的fill_task_io_rusage从task_io_stats填disk_reads.size，不存在统计时可填0。这不证明手机运行内核或Sysmontap私有producer等价：XNU实现、结构声明。
负载单worker串行：仅在本次新run目录创建一个32MiB非稀疏、确定性伪随机文件，1MiB固定缓冲写满并fsync后关闭；准备阶段不计正式观察窗。读取fd必须F_NOCACHE=1成功，按256KiB块实际pread，分别记录请求/返回字节、次数、offset、checksum、错误与耗时。缓存设置语义见Apple fcntl。API返回字节不等于kernel磁盘字节或NAND带宽；F_NOCACHE也不是物理缓存完全绕过的证明。所有系统统计与工作量账本分开保留。
标准配方为20秒基线、4/16/32MiB/s三个30秒有界读阶段、30秒恢复，共140秒，不把设定速率当测得值。以绝对时间节拍、每10ms至多一个有界读批，错过节拍跳过不追补；参考独立100Hz截止时间，若read阻塞则诚实记录gap，不伪造点。准备≤30秒、run watchdog≤180秒；总读取账本≤2GiB，单文件32MiB，常驻缓冲≤1MiB。正常/失败/取消都关闭fd，文件作为证据保留，不自动删除。空间不足、短读/错误、严重热状态/后台/内存警告首停。
4. 软件、工具与资源门
先验证read旧值续点反例；新增精确大累计/小delta、合法0、reset/坏钟/重复/来源漂移/缺marker/FIFO/1Hz固定分母负控，write和已验政策保持。Lab验证计划上界/URL拒绝与重复启动、ABI/失败/0/UInt64、实际读写账本、取消/释放、异构记录导出与manifest篡改；旧CPU/memory记录读取不回改。actual SDK ARM构建、相同身份开发签名与独立解包核SHA，旧Documents保全逐文件SHA后同址覆盖，不卸载。Mac如改产品则完整ARM新包、严格签名/解包与标准安装核同，旧190归档保留。
产品关键路径O(1)，固定容量6，真实约500进程帧10000次consume+snapshot前后对比；平均/P95≤1ms，首响应/最大、CPU、RSS、吞吐与I/O分别报告，30000突发不无界增长。Lab路径O(N)顺序追加，≤20000行/10MiB事件；不把大文件装进导出，文件大小/摘要另有证据收据，manifest仍封口四控制原件。流式校验和第二算术为O(N)，参考索引O(N log R)，不反复全盘扫描。软件单文件120秒/192MiB，编译180秒，签名/安装300秒；正式执行器≤230秒/192MiB，不能以退出0隐藏超门。
新工具资格：正常短阶梯、参考OFF、取消、恢复各新名；API失败为明确软件注入，不冒充真机失败。OFF/ON配对完整成本均值/P95≤1ms、CPU均值增量≤2个百分点、footprint增量≤20MiB，最大/尾段另列。诊断必须见至少5个正参考增量可比窗及一个产品正值；全0或语义冲突停在诊断，不能靠工作量账本代替独立参考。
5. 诊断与正式五轮固定门
所有新工具/产品软件与资源门关闭后，先记录当时真实枚举容量与封口状态；最多64活动run。引用旧件逐文件核host与源SHA后才同容器保留归位，删除0；不将旧容量数字当新收据。新命名空间disk-read-20261019-aNN，五正式必须全新生命/Session且不存在同名，不重放任何旧队列。
独立参考不导入产品算法：按设备时间二分括产品端点两侧完整读取区间，整数单调counter上下界精确差分除源窗口，不按产品数值选择参考，不插值。端点距离与内部gap≤30ms、同生命/start/exit、完整状态与UInt64有效；包络宽≤max(256KiB/s,15%中点)才可比较，普通外扩max(256KiB/s,15%)、严重max(512KiB/s,30%)；缺侧或过宽为unassessed。此为candidate异常偏离门，非物理精度校准。
先一新140秒诊断，不计正式。固定ready+[15,135)s的120次due机会/120秒槽，来源≥119、完整槽≥119、普通可比≥114、最大gap≤2秒、连续普通偏离≤2；严重（含尾段）0、来源违规0、每轮至少5个正参考可比窗和一个产品正值。未达门停止，不缩分母、不补样。诊断及Raw/live/SQLite/CSV/JSONL/真实Swift全部样本与第二算术复核完成，再追加冻结新的独占attempt、pins、实际容量收据，随后5个新生命/Session，每轮前600秒冷却，首失败停，禁止拼接旧成功。五轮及分离审核全部成立才28→29；当前0/5。
6. 保全、交付与执行指令
测试前/每批末/持续30分钟核空间≥10GiB且≥预计新增2倍，准备与五轮预留≤2GiB（不含已保留旧件）；采样时不并发站点构建。只清已核闲置可重建缓存，不清Raw/失败/引用/旧电脑。私有身份/证书/原件均不进Git。
实施指令：按本方案仅实现read来源与自有Lab磁盘场景、匹配软件和效率验证；实际修改/偏差/失败及时追加本页，不将E2自测当指标通过。随后工具真机资格、诊断与新的五轮分段冻结。每项正式验收后更新Canonical/知识总表/devlog/新HTML/时间线/Home、构建核链接、窄提交和双远程各一次推送；网站及通知缺配置按Owner授权保留partial，再进入下一指标。当前先执行软件准备。
Implementation Update · 2026-10-19 · 首批软件实现，非指标验收
新增disk_read_freshness独立tracker与adapters/realtime窄接线，原始v3差分不改，write及已验政策保持；两份54项来源/1Hz控制通过（E2，0.038秒）。新FixtureLabDiskCore包含独立计划/URL/显式新生命启动参数、SDK ABI校验后的self proc_pid_rusage、1MiB缓冲/32MiB上限的独占文件与F_NOCACHE/pread账本、100Hz参考及取消/封口；Records显式按memory/CPU/disk三类schema读取/导出，UI增加存储场景，native构建清单明确10个Swift源与Lab14。新工作量文件不嵌入大JSON，数据摘要进入封口事件，原件单独保留；其核SHA须在后续真机保全收据独立完成。
真实host44项控制通过（编译5.498秒，运行1.208秒；运行RSS15,630,336B，CPU0.06秒，E2），覆盖实际SDK布局、self API、UInt64、URL/上限/独占、真实pread账本/文件SHA/typed导出、OFF不调用、API失败/重置/生命漂移、取消后恢复和manifest篡改拒绝。非iOS资格、非正式轮。首次runner因私有父目录尚不存在而未启动，原异常保留；创建该专用父目录后首次编译/运行成立。随后审阅修正close错误状态跨收尾保留，须按最终字节再次验证，不以此前控制覆盖后续改动。当前无手机动作，无新增指标通过，正式0/5。
Validation Update · 2026-10-19 · 基准与参考审核中的失败保留
同一真实封口530进程/54,460B模板包装合成时钟的软件基准（不是当前产品Raw）：旧main 10,000次完整consume+snapshot mean/P95为0.118623/0.129542ms，新为0.136425/0.147291ms；首点0.935417→0.533250ms，最大0.935417→3.670458ms，wall1.267222→1.447331秒，CPU1.266662→1.430202秒，吞吐7891→6909次/秒；新增约0.0178ms/次，均值/P95符合≤1ms，不能称每条≤1ms或没有开销。RSS旧68,141,056B、新35,815,424B为不同进程观测，不能宣称因果节省；I/O计量unknown。30,000次无发表突发，新队列容量6、丢弃旧pending29,993、保留13,610B，Raw未丢弃；wall2.439484→2.615036秒，CPU2.423662→2.614153秒，峰RSS68,550,656→36,995,072B。
原通配单进程Python回归出现导入/测试失败，且累计RSS约273MiB超过常规192MiB，主动中断退出130，原日志保留，不计全通过。改用既有finite wait4 guard逐文件独立执行、显式模块路径、120秒/192MiB、首失败停；这只修正验证编排，不改变测试断言或产品。该次不满足原有界执行要求的事实保留，不能用后续成功抹去。独立evaluator第一轮9方法中1失败，定位迁移时仍校验旧TASK_POWER_INFO参考配置；先纠正为本方案self proc_pid_rusage实际config后9/9通过，8个独立参考控制通过。上述均E2，0手机动作。
实施前细化 · 2026-10-19 · 工具启动与资料固定
工具资格采用新生命显式--lab-disk-read-run-base64，URL仍供同生命产品配对；模型拒绝混合多类启动参数，不重放持久化配置。实际配置另记flavor及本机SDK的全部ABI offsets。Apple XNU资料已按revision f6217f891ac0bb64f3d375211650a4c1ff8ca1ea固定原文字节与SHA，本机iPhoneOS18.5 resource.h亦固定；首Python TLS链失败保留，系统curl默认验证获取成功，无TLS绕过。unsigned Lab14先前两个构建均留私有，新增入口后须再冻结最终字节，不使用旧候选冒充当前实现。
验证环境修订 · 2026-10-19
逐文件a01在native_direct_archive停于9失败/2错误，确认源码Python未加载已有ARM扩展，非磁盘逻辑导致；其余已执行结果与失败均留原位。新建独占native-codec-a01，沿原C源码/编译器/头/CPythonABI构建并运行原loader控制，未安装依赖、未改源码包或系统路径。a02逐文件通过启动器先显式载入该固定扩展，再从当前源码运行同样断言；每件保留wait4峰值/CPU/超时与sourcePins，最终结果待核，不从旧环境跳过项目拼成通过。
分离审查决策 · 2026-10-19 · 已有显示相对延迟对照未过
带实际ARM扩展的逐文件a02已通过本项54控制及原生解码/中断/上下文等文件，在既有test_realtime_consumer_fairness的19方法中1个相对性能断言失败：无溢出压缩120Hz场景burst P95 0.751875ms未小于legacy 0.738958ms，差0.012917ms；绝对延迟、7200完整/drop0及其他18方法成立。原断言和失败保留，不重写数字，不盲重跑全套直到变绿。
该测试只驱动RealtimeConsumerFairness与既有Display桥，未实例化磁盘Projector；本批未改该类/测试/常数。下一先做固定两组旧main/当前源码相同单方法对照（仅4次，不择优），确认继承边界，再按source/native/test SHA承接其余未跑文件；最终完整回归仍分别报告失败，不伪称全绿。本项产品真实规模≤1ms门独立，尚不以该基准或诊断推定指标通过。
公式/消费者边界补充（先于Swift修改） · 2026-10-19
read图形仅对自身明确null/not-due跳过计划外半秒点；真实missing/warmup、重复或倒退时间、>1.5秒来源间隔仍断线，不连接缺窗。write和已验指标保持。虽然生产全局1Hz通常无not-due，旧半秒grid兼容输入也必须经实际Swift/Codable/CSV/JSONL核对。匹配测试与真实44Core consumer将一同验证该窄修改。
分离审查结论与后续准入 · 2026-10-19
a02/a03在同一sourcePins、native SHA与逐文件test SHA下完成151文件；所有文件执行完成，150文件通过，既有Display相对延迟文件19方法中1失败保留。固定before/after/after/before四次单方法对照为失败/通过/通过/通过：旧main首次P99 0.736375ms未小于legacy 0.692041ms；当前两次完整断言通过。首次旧main对照与尾部软件回归有短时重叠，不称全机独占或统计精度结论；后续不再跑该历史对照。分离源码审计确认该单方法、RealtimeConsumerFairness类及其调用路径未变，本项tracker未进入该路径，固定真实规模本项基准已达门。此证据支持保留既有相对比较抖动风险，不能把完整套件重标全绿，也不能据此更改显示语义或历史验收。
Lead准入：本次只将该既有、未触及本项路径的相对比较列为非阻断继承风险；其原断言/失败继续开放，不扩修历史显示。磁盘自己的来源、精确差分、参考/固定机会与实际消费者仍按原门，工具资格、独立开销、新诊断、正式五轮及最终分离审核均不能省略。允许继续最终候选构建/签名与自有工具准入；目前无手机动作、正式0/5。
准入细案 · 2026-10-19 · 最终候选与六旧记录保全
最终ARM191完整构建成立（55.050秒，峰920,322,048B）；Lab最终host49控制通过，编译6.015秒、运行1.169秒（E2）。手机新只读实查全部64记录封口/released、无pending，两次集合核同；不把64当未来容量收据。下一仅选中断a02的一份诊断和五正式记录，逐文件核本机证据、既有分离审核及源SHA，再在新独占journal下同容器归位，删除0、导出原位。其余58记录不移动。归位后使用新连接独立读取6×五原件及六导出核SHA/集合守恒，才记真实活动数。该操作不重采中断、不形成磁盘验收。
Lab14同址升级前需全Documents有界递归只读清单，所有旧原件流式保全、源/host SHA核同；安装一次，升级后全旧文件再次读取SHA。不用仅mtime推定字节一致，不卸载/重配对。候选构建、签名、ARM运行闭包和解包逐项核对；工具四资格在实际空位成立后启动，首失败停止。完整软件回归非全绿的继承风险继续保留。
保全结果及升级身份边界 · 2026-10-19
六份旧记录归位后，新连接独立核36文件/111,379,527B源与host SHA，活动64→58，135导出原位，删除0（E3）；旧中断结论不变。全Documents清单实际2,438文件/3,230,241,987B，最大文件14,400,558B；本机空闲133,354,901,504B，满足全量流式保全预算。两次路径适配错误均在手机调用前失败，原记录留私有；成功操作和分离核对独占输出。
旧安装leaf仍未独立提取，不能伪造selectedSignerMatchesInstalled。同址Upgrade实际准入按已核的安装application-identifier、相同Team/自有App entitlement、有效本机候选签名与IPA SHA执行，安装服务仍只尝试一次；这不声称旧新leaf相同。修正通用升级工具的布尔前置为上述可核的明确entitlement断言，并记录installedLeafIndependentlyVerified=false。全Documents复制前后流式核SHA，单块≤1MiB；不得因为3.23GB而省略旧证据或扩为卸载。总期限300秒，超时停止保留副本，不自动重试Upgrade。
升级执行器资源失败与恢复决策 · 2026-10-19
全量保全/安装a01在147.148秒触发live RSS 211,484,672B，监督器按192MiB门终止（SIGTERM，非成功）。私有输出已有2,438文件/3,230,241,987B，但尚无最终manifest或安装回执；不能将文件数齐当保全成功，也不能声称已升级。源码控制流中Upgrade位于完成manifest之后，本次manifest不存在；仍须新连接只读核安装版本。失败及部分副本全留原位。
恢复采用独立有界步骤：先新连接核旧版/idle/全部封口，再由无DTX的专用只读进程对清单每文件流式核源与已有host SHA（1MiB块、常数调用统计、每128件回收临时对象、≤180秒/192MiB），仅全部核同才生成新保全manifest；不覆盖a01副本。随后独立单次Upgrade及全旧文件post SHA核对，沿用300秒/192MiB。安装前逐项stat和本机流式SHA，引用刚完成的全源SHA收据，不伪称旧mtime是完整证据。若仍超门，停止安装/采集，先修执行器；不加大资源门。
升级工具同时将逐调用明细限制为前256件＋错误，其余保留每label的调用数/总耗时/最大耗时；文件SHA改为流式读取，不把单文件整体载入。该改动针对3.23GB/2,438件实量保全的有界开销，原因尚未证明唯一是日志或整件读取，须由后续实际资源回执判断，不能将推测写成已定位根因。
Validation Update · 2026-10-19 · 完整保全、安装与工具软件资格
独立无DTX的全源/host流式SHA核对2,438文件/3,230,241,987B成立，129.006秒、峰117,571,584B；此前副本没有因进程失败而被清理或覆盖。随后独立升级a02复用刚核同的全部原件，安装前stat与host流式SHA、一次Upgrade、升级后全原件源SHA均成立：130.320秒、峰126,353,408B，调用总数14,847、明细上限256、0新鲜副本、0信号、旧新版本13→14，E3。不声称旧新签名leaf相同。
ARM191标准同址安装已完成12,931文件/链接及15,131模式项核同，严格签名/实际leaf/ARM成立，旧190整体移至私有回滚。首次GUI在open后0.13秒读取只有1个可访问性节点，未ready；后续同生命只读检查完整呈现capture=播放/disabled，未重复launch或Start。选择器适配先后在设备弹层尚未选择时停止，0采样；index型row identifier须以真实设备标签核身份，不拼接设备标识猜row。失败均留私有，继续实际资格不表示GUI采样链已证明。
实际44Core独立测试包MetricPublicationCadenceTests共5方法（含2新disk控制）通过，构建/执行20.425秒、峰528,973,824B（E2）；49项Lab host控制通过。actual-native短run的工具verifier核原件成立，但其19参考点P95为2.153ms且累计增量0，作为软件接口边界记录，不能充真机开销或非零资格。工具verifier10个负控、队列11方法与独立第二数学的合成141样本/120机会控制成立，0手机动作；工具/诊断仍待真机证据。完整Python的1个历史显示相对对照失败继续保留，非全绿。
工具资格前置失败 · 2026-10-19
工具a01在must-start-idle停止，0 launch/0 signal/0新run，峰80,543,744B；升级结束后的自有App生命在该次检查中非空，不能由前一idle推定永久空闲，原因未确定。下一a02使用新独占输出与前缀，先逐件核全部58旧run封口/released、无startup pending，再新鲜两次绑定精确自有生命，仅一次SIGTERM归一化；不动第三方App，不复用失败队列或伪报任何正式轮。
工具E4准备证据 · 2026-10-19
新a02正常/OFF/取消/恢复四资格完成，4次新launch、封口后4次终止及1次旧生命归一化，0产品Session；29.337秒、峰92,454,912B。四件控制原件、全部五导出成员及独立工作量文件SHA核同。正常99参考点完整成本均值/P95=0.284605/0.450292ms、最大0.624250ms；取消46点=0.284245/0.535542ms，恢复77点=0.280903/0.426625ms，OFF参考0。正常短run真实读取6,553,600B、self累计仅增401,408B，取消/恢复累计增0；说明工作量与kernel统计必须分开，不能用读取账本替代非零参考覆盖。该结果仅E4工具准备，磁盘正式仍0/5。下一OFF/ON观察器开销用相同1MiB无读背景、18秒baseline＋18秒recovery，新生命各一次；共2空位由新62枚举及全部封口原始metadata核同准入，不用旧数字填收据。
开销后容量归位细案 · 2026-10-19
四工具记录已由不导入产品/evaluator/SDK的第二解析器复核全部原件、导出、精确累计及完整成本。两开销完成并独立复核后，预计活动64（须以新枚举为准）。只保全归位本批四工具＋两开销共六run：每run五控制原件＋独立read-workload.bin，并保留对应导出；工作量文件不在旧四件manifest内，以封口ledger SHA独立核同。采用本指标独立六文件rename合同，不改历史五文件保全工具。源/host SHA、六封口/释放、全部活动metadata、新鲜自有idle、独占journal及rename前后集合守恒均须成立，删除0。归位后新连接再次读源SHA才登记容量，正式五轮仍不得使用预计58或准备收据代替最终容量准入。
诊断准入 · 2026-10-19
两OFF/ON各32个固定post-warmup比较帧，CPU均值增加0.716253个百分点，footprint均值差−142,336B（不能称节省）；完整参考成本1,630点mean/P95=0.294660/0.388667ms、最大0.725042ms，独立全帧/原件/导出复核成立。最大native gap 50.059ms高于30ms，不能称所有窗口可比；140秒诊断仍逐窗执行同一门，不放宽。
六份本批准备记录保全归位及新连接分离审核成立：42文件/8,368,044B源与host SHA核同，实际64→58、141导出原位、删除0，独占执行10.122秒/98,926,592B、复核2.504秒/88,883,200B（E3）；这只允许新诊断，不是正式五轮最终容量收据。产品191实际设备/自有App选择已按新连接取得的设备标签及自有App标识核定，capture=播放且enabled，0采样。旧190在私有回滚目录，唯一标准安装191。新诊断使用全新run名disk-read-20261019-a01-diagnostic，固定140秒，不计正式轮；单次Start/URL/Stop，流式保管/关闭服务后exec离线审核，230秒/192MiB门沿用。新源码与实际安装core、Lab digest、UI工具pins在诊断私有输入收据冻结；未过诊断不启动五轮。
Validation Update · 2026-10-19 · 首个诊断失败与三路分离复核
全新140秒诊断正常UI单次Start/URL/Stop完成；执行器153.508秒、峰108,822,528B，Session保留37,242,997B，独占32MiB工作量文件另存。120/120真实新来源、120/120完整槽、最大发表gap1秒、来源违规与拒绝0。普通1、未评估119、严重0，诊断未通过，正式0/5、整体28/66。未评估89个reference-internal-gap、30个reference-endpoint-distance；正参考与产品正值窗口均0，不能以严重0宣布通过。
原始参考7,507点/140.166秒，完整read/encode/append成本mean/P95/max为0.266637/0.439625/4.357500ms，但native间隔P95为41.157250ms、最大50.095292ms，固定30ms比较门不成立。实际pread返回1,236,795,392B，而同生命self系统累计全程增量0；实际工作量不替代系统参考。执行器exit0表示采集完成，evaluation的anomalyAndCoveragePassed=false才是指标门事实。
原件/副本/封口/SQLite/Raw复核、独立第二整数与有理数数学、真实44Core全部模型/Codable/CSV/JSONL三路复核已完成，分别0.530/0.193/0.389秒、峰57,671,680/43,794,432/44,400,640B；全部确认上述失败，均非新增采样。私有独占目录diagnostic-a01与三个review-a01永久保留，不覆盖或补样。已正常Stop，手机自有生命封口后一次SIGTERM，服务已关闭；正式队列未启动，也无正式容量收据。
修复定稿 · 2026-10-19 · Lab15参考等待与新文件缓存策略
文档类型devlog；仅调整自有Lab，不改产品191、公式v3、30ms比较门或非零覆盖门。源码事实是当前磁盘使用utility共享worker和Thread.sleep相对等待；尚未证明调度合并是唯一原因。新文件先普通缓存写入、fsync后仅对读取fd设置F_NOCACHE；尚未证明缓存是系统累计全0的唯一原因。按两个可证伪方向进行一次窄修复，不以软件成功预判E4。
- 磁盘独立串行userInitiated worker，仅同一busy门允许一个run；其他历史场景worker不改，不使用实时优先级。设备Mach时钟一次查询timebase，所有磁盘phase/reference/read deadline在同一tick域。mach_wait_until等待到最近deadline，无busy spin，最长10ms正常等待以响应取消；KERN_ABORTED回主循环核取消，其他等待错误首停。按固定10ms格点推进参考，超期跳过不补点；读取仍每10ms最多1MiB、无追补突发，过期等待直接继续实际工作。记录有效等待策略、worker QoS与跳过节拍，真实gap仍逐窗审计。API依据为Apple SDK mach_time.h与Apple时钟说明、XNU声明。
- 只在本run O_EXCL新文件写fd上、写第一字节前设置F_NOCACHE并要求成功，读fd仍独立设置且要求成功；记录optional writeNoCacheStatus，兼容Lab14旧typed记录。继续1MiB伪随机写、fsync、32MiB上限、文件SHA与256KiB pread，不调用全局purge、不改第三方文件。F_NOCACHE是请求，不能预先声称物理缓存完全绕过或参考必正；Apple fcntl说明。
- 关键路径O(1)/固定1MiB，单worker无并发I/O，整体O(N)顺序事件、上限20,000；首次响应仍一个10ms节拍内目标，准备≤30秒、run≤180秒、执行≤230秒/192MiB，保持2GiB读取上限。新增时钟格点/超期跳过/等待错误、写读双缓存收据与旧记录解码控制；用相同32MiB/140秒配方做固定before/after host基准，报告wall/CPU/RSS/I/O、首响应、完整成本/gap和实际吞吐，不把host计数当iOS资格。CPU增量≤2个百分点、footprint增量≤20MiB、参考mean/P95≤1ms沿用，新SDK ARM Lab15及实际真机四资格/OFF-ON/诊断必须重做。旧失败数据不改，正式保持0/5。
- 安装前新真实Documents清单与全源SHA。旧已核副本可复用；新增文件保全使用1MiB流式、每文件≤32MiB且总fresh≤128MiB/件数≤256，升级器先检查预算再打开备份文件或安装，逐件stat-before/after与SHA；此为明确有界增量合同，不能只去掉旧4MiB断言。全部旧文件升级后再核源SHA。安装≤300秒/192MiB、只一次Upgrade、不卸载；超门停，不放宽资源。
- 下一顺序：host控制及固定before/after基准→SDK构建/签名→新真实清单/保全/一次升级→新四资格/开销→保全归位及实际容量→新名140秒诊断/三复核。只有诊断全门通过才另冻结正式attempt与新实际五轮容量，不能直接重跑旧队列。实现由本AI按Owner合并角色授权执行，再分离复核。
Implementation Update · 2026-10-19 · Lab15窄修复与软件控制
FixtureLabDiskCore新增同tick域绝对截止时间与固定格点skip-missed调度，记录累计跳过次数及实际wait返回值；仅磁盘使用独立userInitiated串行队列。没有busy spin、实时优先级或补造参考。新文件写第一字节前要求F_NOCACHE成功，读取fd也单独设置；optional writeNoCacheStatus、skippedReferenceDeadlines和previousWaitStatus保持Lab14 typed读取兼容。配置记录策略，实际仍以原始Mach区间判30ms，不以策略字符串宣布覆盖。
Lab native host56控制通过（编译5.762秒、执行1.391秒、运行峰19,546,112B，E2），含格点推进、超期跳过、等待错误、双缓存与旧记录decode。新增量保全预算7控制通过：允许每新鲜文件≤32MiB、合计≤128MiB/≤256件，旧件复用不挤占fresh预算，边界超量/坏size首拒；1MiB流式与全旧post SHA不变。新verifier基于实际host原件5控制通过，错误策略、失败写缓存、缺失/倒退跳过收据均被拒（E2）。这些不证明iOS节拍或正参考恢复；固定同规模before/after host140秒基准进行中，无新手机动作。旧诊断与产品191均不改。
容量细案 · 2026-10-19 · 失败诊断保留归位
本次诊断只增加一个新run；后续四工具加两开销需要六空位。下一新连接实际枚举全部活动metadata/封口与自有idle（不以预计59代替），将仅该失败诊断的六原件及独立导出复制到新独占私有目录，核本机已有三复核收据和源/host全SHA；在单次journal下同容器rename到独占retired批次，导出原位、删除0。专用入口强制exact-one，原exact-six准备归位不改。新连接独立全SHA与集合守恒成立才记真实容量；失败仍永久保留为失败，归位不是新正式五轮准入。该操作在新Lab升级清单前完成，使新增与旧件路径按真实清单保全。若实际集合/生命不符先停，不信任旧快照或自动重试不明rename。
Validation Update · 2026-10-19 · 固定同规模host基准与SDK候选
固定before→after各一次32MiB/140秒原生self配方，未择优、无并发采样：wall140.064496→140.057983秒，CPU3.005442→3.052465秒，RSS14,499,840→15,056,896B，首次参考延迟0.032125→0.012750ms，参考14,000点均值/P95/max成本0.149602/0.234750/4.031250→0.151613/0.236167/4.057625ms；gap P95/max13.487792/14.928125→13.259875/17.304750ms。实际读取两次均1,634,992,128B，按90秒读取阶段合计平均18,166,579B/s；host系统累计增量0→1,600,405,504B。block输入/输出计量两次均0，为API计量原值，不代表物理I/O为0。执行器190秒/192MiB门均通过。
host观察支持继续新候选，不能把组合修复的差异定位为唯一原因，不能外推iOS恢复；成本均值/P95≤1ms，CPU约增加0.0336个百分点、RSS增557,056B，未见明显资源退化，最大值仍单列。最长30秒阶段与取消/错误的有界控制均保留。实际SDK十Swift源ARM Lab15构建、开发签名/严格校验/实际leaf及IPA独立解包核同（E2），未安装；新只读手机枚举真实59活动、全部封口/released、自有生命idle，非正式容量收据。下一先核失败诊断保全归位，再新全Documents清单与升级准入。
Validation Update · 2026-10-19 · Lab15保全及安装输入前置失败
失败诊断独立7件/39,615,472B源host核同后保留归位，真实59→58，142导出原位、删除0；执行8.669秒/112,508,928B、独立新连接复核2.724秒/100,810,752B。新全Documents清单2,487文件/3,278,225,503B；全源/host SHA核同133.521秒、峰117,374,976B，其中新增49件/47,983,516B已1MiB流式保全，其余复用已核旧件，未丢失败或回滚。
升级a01在本机读取selection的entitlements字段时KeyError，0 phone calls/0 Upgrade/0 signals，未安装；误传通道选择文件，原失败原位保留。修正调用输入为已有私有签名selection（设备/机型/自有App/Team四字段与通道selection逐项核同），在全新a02输出下继续首次真正Upgrade。源SHA收据不伪造成功，仍须安装前stat/host SHA和安装后全旧源SHA；资源门不放宽。
Validation Update · 2026-10-19 · Lab15实际一次升级及全保全完成
更正签名selection后的独占a02完成首次真正Upgrade，旧14→15；升级前后全2,487文件/3,278,225,503B源/host SHA核同，复用全部已核副本、安装器fresh0、SIGTERM0。133.367秒、峰127,320,064B，原300秒/192MiB门成立；输入a01失败仍保留，不计第二次Upgrade。实际ARM候选严格签名及IPA核同，E3安装范围通过；公证/正式分发门不变。开始本候选四新生命工具资格，单独前缀，不采产品Session，不代表指标通过。执行器显式接受已审Lab14/Lab15且必须匹配实际安装/签名收据，未泛化放宽到任意版本。
诊断a02准入 · 2026-10-19 · Lab15真机准备完成
四新生命工具资格/独立复核完成28.927秒/91,553,792B；正常/取消/恢复参考成本P95=0.395375/0.438417/0.404542ms，实际self累计分别增11,689,984/8,388,608/16,515,072B，非工作量替代。OFF/ON同背景各36秒和独立全帧审核成立，CPU增加1.379585个百分点、footprint增加239,616B；ON 3,600参考点完整成本mean/P95/max=0.292891/0.374833/0.939083ms，最大native gap12.490667ms。该结果仅准备E4，不把目标节拍当诊断逐窗结果。
六新准备run复制并保留归位后，新连接42件/11,452,766B源与host SHA核同，真实64→58、148导出原位、删除0；执行10.322秒/98,287,616B、独立复核2.434秒/88,522,752B。ARM191实际installed core与私有冻结候选核SHA相同，Lab15签名/sourceDigest及执行源码pins重新冻结。新诊断run=disk-read-20261019-lab15-a02-diagnostic，独占diagnostic-a02，140秒完整配方和全部原门；旧a01失败原件保留，不重放、不拼接。正式0/5、无正式容量收据；诊断与三复核全门成立后才另定正式attempt。
Validation Update · 2026-10-19 · 新诊断a02及三复核通过准备门
140秒新Lab15诊断单次正常UI Start/URL/Stop完成，156.524秒、峰110,444,544B；120/120真实新来源、120/120完整槽，普通119、包络过宽未评估1、严重含尾段0、来源违规0、最大发表gap1秒，正参考窗口90、产品正值窗口90，所有固定条件成立（E4准备）。参考14,000点；Session32文件/37,302,012B，工作量文件另保留。原件/副本/封口/SQLite/Raw重推、第二整数/有理数包络、实际44Core全151样本/292原始窗口/CSV与JSONL三复核成立，全部确认119/120结论。不是正式轮，仍28/66、正式0/5；旧a01失败不抹除或补样。
正式attempt定稿 · 2026-10-19 · Lab15独占五轮
新正式attempt为lab15-formal-a01，独占私有目录formal-lab15-a01，run前缀disk-read-20261019-lab15-formal-a01；五名按执行器添加-1至-5，全部新生命/Session。标准产品ARM191与Lab15字节、repo/UI工具/参考/开销/诊断三复核及全部输入SHA先冻结；旧a01诊断失败、旧Lab14与Lab15工具结果保留分列。当前实际数不得使用预计59：下一新连接核所有活动metadata/封口/无pending和精确自有idle，核diag六件及独立导出源host SHA，与既有全Documents/准备归位/诊断保全链绑定，仅真实五空位且五新名不存在才生成≤64KiB容量收据。
执行仍用有界独占run_formal_queue，每轮前600秒冷却，runtime230秒/192MiB，复核120/120/90秒分步；来源/完整≥119，普通≥114，严重含尾段0，来源违规0，最大gap≤2秒、无连续3偏离，至少5正参考和1产品正值，30ms包络门不变。首失败停，不补轮/拼接/重放。五轮完成仅称证据齐全，再由本AI分离最终审查全部独立收据/唯一生命和Session/全SHA/门槛/资源，成立才28→29。网站/通知/GitLab欠项按Owner保留partial；写入率仍未开始。运行时不并发站点构建或其他测试采样，每轮/30分钟查空间及增长，至少10GiB且≥预计新增两倍；不清失败/Raw/引用/旧机。
正式容量实核与冻结 · 2026-10-19
新连接实际59活动（64上限）、149导出、五个新正式名均不存在、全部封口/released、自有idle、无pending。对全部59的manifest/summary及新诊断六原件/导出重新流式读源SHA，与独立本机SHA核同125件/46,329,080B；结合升级前后全Documents及准备归位链，生成真实≤64KiB私有容量收据，4.000秒/84,738,048B，phoneWrites=0。正式工具repo/UI pins、ARM191安装core、Lab15签名/sourceDigest、诊断及全部三路复核收据均冻结。下一启动上述独占lab15-formal-a01，先第1轮600秒冷却；尚无正式完成轮，不预记通过数。
Separated Review · 2026-10-19 · 正式冷却期间的来源边界审计（E1）
分离阅读DiskReadObservation及adapters/realtime/Swift cadence最终差异：接线仅增加read marker和独立read tracker；write字段路径保持原样，历史无marker回放不进入新政策。原生两端点与精确UInt64先差分，完整身份/主连接/唯一列/设备timebase绑定；重复来源不生成token，坏身份/错钟清pending，reset/precision-loss保留空值，不以0代替。ready格点只在真实due机会消耗最新一次token，TTL及原生窗口仍1.5秒，FIFO6有界，丢弃pending不删Raw。Swift只识别read明确null/not-due，真实missing/重复或>1.5秒间隔仍断线，未改变write绘图边界。
该审计确认实施范围与方案一致，未发现需要修改冻结源码的问题；属于E1，不能单独关闭E4门。最终仍以五个全新生命/Session的Raw/参考/实际消费者与所有资源收据为准。
Formal Progress · 2026-10-19 · Lab15第1轮及三复核完成
第1轮完成，固定120新来源/120槽/120普通、未评估0、严重含尾段与来源违规0、最大发表gap1秒；90正参考/90产品正值。执行157.643秒、峰110,133,248B，原件/第二数学/实际消费者三路核同。本attempt正式1/5，第2轮已开始600秒冷却；整体28/66，指标尚未验收，不与诊断/旧attempt拼接。空间128,956,993,536B，满足本批预算；只保留证据，无清理。
Formal Progress · 2026-10-19 · Lab15第2轮及三复核完成
第2轮固定120新值/120槽/120普通，未评估0，严重含尾段与来源违规0，gap1.0秒；正参考91/产品正值91，原件/第二数学/实际消费者三路核同。执行156.616秒/峰108,331,008B。新正式2/5，第3轮600秒冷却；整体28/66、指标尚未验收。当前空间128,838,955,008B满足预算，无清理。
Formal Progress · 2026-10-19 · Lab15第3轮及三复核完成
第3轮固定120新值/120槽/120普通，未评估0，严重含尾段与来源违规0，gap1.0秒；正参考90/产品正值90，原件/第二数学/实际消费者三路核同。执行152.370秒/峰110,723,072B。新正式3/5，第4轮600秒冷却；整体28/66、指标尚未验收。当前空间128,731,443,200B满足预算，无清理。
Formal Progress · 2026-10-19 · Lab15第4轮及三复核完成
第4轮固定120新值/120槽/120普通，未评估0，严重含尾段与来源违规0，gap1.0秒；正参考91/产品正值91，原件/第二数学/实际消费者三路核同。执行155.230秒/峰106,872,832B。新正式4/5，第5轮600秒冷却；整体28/66、指标尚未验收。当前空间128,594,481,152B满足预算，无清理。
Formal Progress · 2026-10-19 · Lab15第5轮及三复核完成
第5轮固定120新值/120槽/120普通，未评估0，严重含尾段与来源违规0，gap1.0秒；正参考90/产品正值90，原件/第二数学/实际消费者三路核同。执行154.095秒/峰108,675,072B。新正式5/5，等待分离最终审核；整体28/66、指标尚未验收。当前空间128,340,496,384B满足预算，无清理。
Lead Acceptance · 2026-10-19 · 完整五轮及最终分离审核
新lab15-formal-a01完整5/5、五不同生命/Session，逐轮三复核及分离最终审核通过；每轮120新值/120槽/120普通，严重含尾段和来源违规0，正参考/产品90/91/90/91/90。最终160原件/副本186,140,615B当前SHA核同，固定资源与阈值不变。Lead判定读取率限定E4 candidate异常/来源一次/连续性PASS，整体29/66、剩37；非物理精度或私有producer等价。工具原metricAccepted=false保留，由此Lead决定承接。旧失败及历史软件显示相对性能失败保留，交付同步仍partial；下一仅写入率方案，尚未开始。完整结果。