Available Memory：方案与结果

---
type: devlog
title: Fixture Lab：整机Available Memory来源新鲜度与单项验收
date: 2026-10-17
status: validated
kind: plan
stage: P4
evidence: E4
metric: ios.device.memory.available
---

# 整机可用内存候选：来源与新鲜度先行

## 1. 顺序、角色与当前门

Owner合一方案/实现/分离复核、不派子代理。main075bcad已完成Initial Frame五新轮限定E4及657封存/主线/GitHub/网站9页/通知闭环，GitLab该批单次失败不重试。留存13/66（启动12/12限定来源/差分/消费者，不是物理校准）；历史非启动8/54旧7未重验分列。原顺序表currentSequence8/Free已在后续Canonical关闭，第9项为ios.device.memory.available；当前只Available，不提前CPU总量或其它指标。Shared大量WIP不接管/不整文件暂存，HEAD增量与工作树增量分开保留。

## 2. 数值定义、单位及证据边界（实施前）

Registry device/bytes，dvt.sysmontap；AvailableCandidate=(vmFreeCount+vmExtPageCount+vmPurgeableCount)*VMPageSizeBytes，保持definitionVersion memorystatus-available.approx-no-secluded.candidate.v1与quality candidate-xnu-no-secluded。不含未知secluded，不等于目标进程headroom或官方完整memorystatus可用量。底层pymobiledevice3原生DeviceInfo/Sysmontap、DTX com.apple.instruments.server.services.sysmontap，适配/公式是Perfowl自研层。三计数需同一真实System记录、非bool整数0≤x<2^32；页大小当前候选16384且有来源标签，不将旧设备观察冒充每次官方读取。任一缺/负/非有限/非法schema或时钟整体missing，不回退Free/不补0。

同生命Lab host_statistics64参考H=(host.free+host.external+host.purgeable)*实测host_page_size，另列C=H−host.speculative*page；先只读既有同窗输入检验源/字段对应，再固定包络公式，不按数值近似挑点。H/C是独立API候选分量口径，不证明私有字段完全同义或官方完整Available。没有合适来源/可比参考就unknown，不能拿相同sysmontap重读冒充独立校准。

## 3. 来源新鲜度诊断与最小修复决策

当前main投影对Available直接读取latest scalar；先从干净已提交源建立合成一次source→重复发表/超过TTL/坏字段/代际切换的负控，冻结可复算现状，不先跑五轮把缓存当连续。确认缺陷后，只增独立Available来源保管器（新policy显式标记），不改已有Free/CPU/网络/帧/启动语义或其旧Session。历史无新policy保留原重放，标记后fail-closed，不可降回历史fallback。

新policy planned device-available-source-once.v1，原生primary/supplemental按现有角色准入、sourceID/epoch/reconnect、独立schema/page/timebase与adapter/persisted双序列、native Start<End/严格新end验证，跨角色同end仅发表一次。最多6待发表，TTL=3*500ms=1.5s；无新源/过期/未来receipt/错配置/超界显式missing并有原因/有界计数，host接收年龄不是证明device读点新鲜。每个新快照消费一条真实System候选，附三原始计数/页来源/逻辑源与角色/原生窗口/序列/代际/收包年龄/缓冲统计，持续一次性source custody，不借进程有效性改变device scope。

计划只改adapters.py（附新policy）、realtime.py（observe/publish/审计元数据接线）、新增device_available_freshness.py及对应测试；metric_engine严格输入如需变更另追加唯一锚点决策。代码语义变更前同批更新knowledge Available公式/质量/窗口/legacy边界，历史数字不改。共享realtime有他方网络/诊断WIP，分别从HEAD生成窄候选和在工作树唯一锚点插入，不暂存他方改动。产品开发后需同源码回归/性能、可安装包与单址覆盖/签名验证；Owner已暂缓公证，不冒称正式分发，GPL门另列。

## 4. 实施验证与资源门

先纯软件：一次source只发表一次、过期/未来/重复/回滚/新代/缺schema/坏三计数/错误role/污染隔离/缓冲溢出/legacy/已标记拒降级、传输与报告/CSV不丢quality/source。匹配已有Free行为回归，固定同规模≥10000次完整observe+publish旧/新平均/p95≤1ms并报告CPU/RSS/吞吐/最差/首响应，新增单次O(列数≤64)+O(缓冲6)，角色2/总待发表≤6，额外常驻目标≤1MiB，短路非法源。每个离线步骤≤120s/RSS192MiB、串行1，失败保留新namespace，不重复全库扫描或所有指标采集。

工具/API来源与安装包资格成立之后，另补正式五新轮场景/固定比较窗/误差与参考公式/容量/冷却合同才能采集。沿用Lab150s内存阶梯20/40/80MiB及1Hz原生参考方向，正式门预案240机会/120槽、可用≥238/完整≥119/普通≥228/gap≤1.5s、严重0/来源违规0/连续偏离≤2，参考不可评估不当普通；正式准入前不改旧阈值或用诊断补分母。若参考语义未证仅候选异常验收，不宣称校准。旧成功/失败/Session/Raw/清单与必要回滚保留。

主机磁盘≥10GiB且≥预计新增两倍，批首/尾/30分钟检查，仅清已完成可重建候选；手机容量须先核现有目录与封存，再明确保全合同，不盲删旧run。无新常驻环境/新worktree，不并发站点构建/部署与手机采集，所有执行/复核工具私有持久并SHA预pin。

## 5. 验收和交付

当前Available未通过，不增加13/66。准备/修复/软件通过不等于E4或指标交付；正式五新轮及独立非执行器复核完成后才可能13→14/66、历史非启动8→9/54分列。文档/知识持续记录已验证事实与未知，完整C1–C7与不可变归档/进度联动、精确暂存树构建、窄提交/GitHub与GitLab各一次、干净main网站/线上字节核对、一次真实中文通知。GitLab失败不重试，不以镜像失败覆盖指标通过；下一仅整机CPU总量独立合同，全66未完成。

## 2026-10-17 Implementation Update · 安装现状复现与实施决策（E2诊断，未验收）

干净075bcad源码与实际安装179的归档模块分别独立载入、零设备调用：一次有效System=100/200/30页产生5,406,720B，0/0.5/2/10秒重复快照均仍给原值且无Available来源审计；fractional external=1.5亦被旧算法接受。这证明安装与源码都存在缓存续点风险，不是本轮真机失败或精度结论。实际安装realtime与main整体不一致，不能凭几个相同模块宣称整GUI已最新；更新安装前须核全源及回滚，不能用共享WIP直接打包。

决定采用**独立模块**device_available_freshness.py：参考已验收Free的有界双角色保管协议，冻结Free文件不改，不继承或修改其私有状态，不把free字段改写为三计数之和。新模块有自己的三字段schema/页/时钟/序列、双角色FIFO与审计，队列总数6、TTL三周期；新marked输入严格整数，未知policy一旦激活拒回退。原生adapter仅新增Available policy，realtime接观察/发表/审计，无额外采集连接。adapterSequence与持久sequence分别严格增长，当前同interval配置若显式声明也须一致。

唯一额外源码锚点：metric_engine.py的available_inputs/available公式段仅在**显式新policy**输入启用非bool uint32三计数和16384整型页验证；无marker的历史转换保留，不回改旧Session或旧缺陷数字。engine返回是逐事件数值计算，不等同快照一次性发表；后者由新保管器负责。直接engine的标记输入同样不能吞fractional，不用仅投影层遮掩非法数值。

当前只进入软件实现/负控/匹配基准，13/66不增加。正式五新轮、包更新、来源可比性与安装主线差异仍是后续门，未获E4前不称整项完成。

## 2026-10-17 包与参考资格补充决策（实施前，非E4通过）

82个现存顶层自有Python模块与main编译对象逐一去调试位置比对，安装179仅activity_trace_rows/realtime不等；activity_trace_rows与共享既有文件相同。realtime差异集中RealtimeMetricProjector的__init__/consume/snapshot，三方法与写前共享源逐一相同（模块顶层还存在其他差异）。不能用HEAD整个realtime覆盖当前安装而回退旧已安装逻辑，也不能借本项擅自提交网络/显示WIP。

本项内部测试包沿用既有受验包的增量组件构造方法：新Available模块、adapters、metric_engine取本批窄候选源；realtime仅替换上述三方法的**Available接线增量**，先证明原三方法与写前源相同，替换后与持久化新源对应方法相同，其他方法/模块压缩字节不动。新tracker在构造器局部import，避免改变旧模块顶层全局代码。所有源与构造脚本预pin；封装签名/回滚/独立解包/运行验证仍必需。**这不是整GUI由main全量重建**，既有显示/网络源未完整合线的差异单列，不冒称全安装与main一致。若任何身份/自由变量/未改对象保持断言失败，停止构造，保留失败原件。

旧Free G1同窗小型Raw与Lab参考只作只读诊断：568个新原生窗口、149参考点；H距离中位120,913,920B/最大158,875,648B，C距离中位0/最大26,722,304B。C扣speculative具有候选对应观察，不证明私有字段等价。正式Available使用**预先固定的组成不确定性包络[min(C),max(H)]**，原生窗口±1秒且两侧有参考括住、最多64点、相邻间隔≤1.5秒；不按数值近似挑点。正常范围向外扩max(64MiB,15%)、严重范围扩max(128MiB,30%)；参考过宽（>max64MiB或低高和/4的既有相对门）则不可评估，不算正常。这是异常偏离验收，非官方Available完整语义或仪器准确度校准。旧样本不进入新五轮分母。

## 2026-10-17 Validation Update · Available软件修复与包准备（E2，仍未验收）

独立Available一次性发表/三字段严格验证/显式policy/双角色审计已实施；Free三源文件逐字未改，未增加设备连接。130个测试文件逐文件串行、每文件120秒/192MiB有界运行：**2239/2239、0失败/0错误/0跳过**，总239.572465秒，最大子进程RSS157872128B。总驱动耗时非单文件超时，未将分批称作一次进程完整回归。独立JSON来源13控/固定参考包络16控均通过（29方法），不是生产代码复演。

私有初始生成器因自身变换顺序锚点失败未写产品，保留原脚本；r1修正唯一锚点后执行。首单测用错MetricFrame层级，保留失败后改为逐frame.values；首核对驱动结果汇总缺本地变量，测试实际64通过但驱动失败，另名修订后保留64/64完整收据。以上均软件工具问题，设备动作0/正式轮0，不混入真机分母。

组件归档首次382方法检查保留**4个源文件读取错误+1个旧接收器预期矛盾**：前4明确依赖源码文本，另在2239源码回归中通过；末项要求接收器保留旧scalar，安装179原基线单独执行同样失败（真实值0后null），不是Available新引入。按明确适用性清单分列，不删除原结果或改旧用例；归档**377/377运行时适用方法通过**，Available36/36在原检查与新检查均通过。现存接收器/main差异仍单列，不能把377称为382全通过，也不能称整安装与main一致。组件保留2060个旧压缩模块与12个其它归档条目逐字相同；realtime只换已验证三方法中的Available接线，旧网络/显示实现保留。

初始10000次完整consume+snapshot测量：安装旧版平均0.112168ms/P95 0.200253ms；窄候选平均0.127686ms/P95 0.187338ms；两者模块源原本有差异，因此不把全部差值归因本修复。额外保管器tracemalloc常驻5700B/峰值7592B、pending0；主线配对最终基准另行冻结。当前正在内部签名包准备，尚未覆盖安装、未采Available会话，仍**13/66**；不因此进入下一指标。


## 2026-10-17 固定真机准入 · b180（采样前落盘）

Developer ID内部包180已单址覆盖并独立解包/逐树及strict签名核对，core ba275255…、DMG 1dbfb834…；仅标准安装一份、dist一包及校验，179回滚私有保留。未公证，Gatekeeper拒绝仍列，不称正式分发；整GUI非main全量重建/旧网络显示差异不隐去。原错误解释器在import前失败、设备调用0，另名使用既有3.12运行时，不建环境。正常UI目标恢复后Apple connected/DDI、原生通道、Lab90.21.8精确身份成立；Startup Timing未选。38个MEM历史run均终态且released，启动30/无pending，手机余19.93GB、主机余>60GiB。只对已确认闲置的自有旧生命一次SIGTERM；未新建Session或改旧数据。

先独占一次150秒Available诊断（available-diag-1），通过才进入**五个固定新轮available-formal-1..5**，不借旧Free或诊断充当正式轮。场景baseline20秒、20/40/80MiB各hold20秒、recovery70秒，1Hz独立host_statistics64组件与原生tick；正常产品UI每轮Start/Stop各一次、同生命投递MEM URL。每轮需要当前b180核/core、Lab版本/sourceDigest、准入及执行/独立复核源码SHA一致；每轮前空闲磁盘≥10GiB并≥预计256MiB增长两倍，主机不并发网站构建/发布。诊断及每个正式轮后**冷却180秒**（两轮间），不缩短/填补warmup；单轮监督≤230秒/RSS192MiB、串行1，总计划约32分钟含诊断与冷却。手机38+6=44<64，不退役或删除旧run。

固定评估为产品ready origin之后15..135秒、240半秒机会/120完整秒槽，不改锚点：usable≥238、complete≥119、normal≥228、gap≤1.5秒、严重0、来源拒绝/违规0、连续偏离≤2。独立参考为原生source窗±1秒两侧bracket、最多64点/相邻gap≤1.5秒；[min(C),max(H)]宽度不得超过max(64MiB,(low+high)/4)，普通外扩max(64MiB,15%)、严重max(128MiB,30%)，不可评估不算正常。此为候选组成包络的异常偏离验收，不证明私有字段同义、secluded完整性、物理精度或任意条件100%。诊断/任一正式轮首次失败立即停止整个队列，不替补、不自动重试；失败Session/Raw/Lab与原分母保留，先分析后另立合同。

原Session与durable副本SHA一致、Lab五件manifest/export、同设备/目标/生命、消费者及来源证据由与执行器分离的复核器再次检查；执行器的numericalGatePassed不等于最终验收。未获五轮独立复核前仍13/66、Available未验收，不进入整机CPU。所有脚本/准入机读件采样前私有持久并SHA预pin。


## Independent Acceptance Update · 2026-10-17 · Available五新轮限定E4

**本项候选异常偏离/一次源与连续性限定E4通过，留存13→14/66**：当前新设计非启动2/54、启动12/12限定范围；历史非启动8→9/54仍含旧7未重验，不与14相加。不是完整memorystatus、私有字段等价、独立物理精度或任意设备/环境100%保证。公式/三计数/单位/整机scope/候选质量不变。

| 正式轮 | 新源可用 | 完整槽 | 普通参考点 | 最大gap秒 | 严重 | 来源违规 | 全会话sample | Raw事件 |
| --- | ---: | ---: | ---: | ---: | ---: | ---: | ---: | ---: |
| 1 | 240/240 | 120/120 | 240/240 | 0.5 | 0 | 0 | 309 | 2497 |
| 2 | 240/240 | 120/120 | 240/240 | 0.5 | 0 | 0 | 310 | 2335 |
| 3 | 240/240 | 120/120 | 240/240 | 0.5 | 0 | 0 | 309 | 2385 |
| 4 | 240/240 | 120/120 | 240/240 | 0.5 | 0 | 0 | 310 | 2312 |
| 5 | 240/240 | 120/120 | 240/240 | 0.5 | 0 | 0 | 309 | 2414 |

先行150秒诊断240/240、120/120、240普通/0严重，独立来源/原件与副本复核通过，**不计入正式5轮分母**。固定五新Session/自有生命全部封口/导出，20/40/80MiB触页负载释放；每轮前180秒冷却共900.027秒，不补轮、不重试。固定15..135秒240机会/120槽及阈值保持；全部五轮各有240新源、120完整槽、240普通点、0不可评估/严重/来源违规（以表格原始统计为准）。参考是独立host_statistics64的C/H组成不确定包络，不按数值挑点、不以sysmontap自读冒充校准，保留deviceReadPointProven=false。

分离复核重新逐字核原Session和持久副本SHA、Lab manifest与export、核心→桥接→产品seal及Raw最终序列/SQLite逻辑检查点；独立来源审计从原始System行核三计数/页/角色/时钟/双序列/代际，并重推每个已发表值。另一套不导入生产或执行评估器的参考复核逐个重新bracket原生±1秒、重算H/C包络/阈值，并核CSV值/空值/质量/scope/unit与逐源派生帧。7项反例控制拒绝错报告包络、原生API失败、CSV数值/质量/scope或派生数值错改。最初附加复核器文件句柄ResourceWarning及r1变换语法错误保留，r2显式资源管理后7/7通过；没有重采或更改分母。

软件E2：130文件/2239方法全通过、29来源与参考门控通过；归档377/377适用方法通过，原382中的4源码读取错误与1安装旧接收器预期矛盾分列保留，旧179独立复现后者，不称382全过。匹配主线10000完整consume+snapshot平均/P95：旧0.142467/0.273841ms，新0.136922/0.230070ms；RSS旧54,775,808B/新53,071,872B，耗时1.568901/1.483217秒。新增tracker常驻5700B/峰值7592B；最差压力40000源/64列/缓冲6，平均0.483984ms/P95 0.927156ms、**最坏62.380738ms**，6.611813秒/CPU6.110306秒/RSS51,617,792B，29995次有意overflow不假称无丢弃。不承诺每条≤1ms；物理I/O字节unknown。

内部包b180 Developer ID签名/strict核/独立DMG解包与core独立运行通过，同址覆盖且只一份标准安装/一份dist包与校验，179必要回滚私有保留。安装core SHA ba2752558fc48b7d68dfec92f0b5bf774322efacc8cbbea8ac49f40ee417edd2；DMG SHA 1dbfb834a554cd71cc9df293a384ccaa59c7194159bcce8f50deab17cfec2f7c。仅四组件增量，2060旧压缩模块/12条目不变，realtime只替换核同的三方法Available增量；**非整GUI从main全量重建**，既有网络/显示WIP差异仍保留。Owner暂缓公证，spctl exit3，不称Gatekeeper通过或正式对外分发；GPL法务另列。

准备失败：错误解释器在import前失败，随后既有3.12运行时另namespace成功；最初准入生成器未在干净checkout发现新审计模块，设备调用0，修订将精确源码复制至私有runtime-audit后SHA冻结。全部失败原件/脚本/旧数据保留，不将工具准备失败算产品数据失败。手机38旧MEM/30启动及历史封存不删；本次新增诊断+五轮共6个MEM，空间按每轮前门检查，主机仍>10GiB。

**下一阶段**：仅整机CPU总量，先定义独立对照与单项合同再采样；不可借历史7项或伴随采集提前验收。产品采集能力与提交/双推/知识/网站/通知交付状态分列；同步/发布未完成不得以本结论冒称交付闭环完成。旧Total边界风险、整GUI来源、镜像、公证/GPL与其它未验项继续开放。