validationP4E2partial2026-10-07

G116 一次真正已证客户端的资格,不猜resources别名

1. 基线、证据与完整目标

基线f2cc4cb/main;Owner同AI方案/实施/测试/自复核,不是第三方验收。G114 getter真实identifier为com.apple.xcode.debug-gauge-data-providers.Memory,Common真实DTX对象参数startSamplingForPIDs:/sampleAttributes:forPIDs:/stopSamplingForPIDs:分别1/2/1对象,sample为attributes与PIDs;G115实际current key memory.task.physical_footprint,hosttask-name port/task_info23读取不当remote实现。既有设备广告未列Memory,未广告不等于已证拒绝或全平台不支持;本轮不是改成resources同RPC,是对已证hostclient实际identifier唯一一次channel申请。

原54/500ms/3I/单token/五轮120槽连续有效100%/2MiB或5%/固定测窗与完整准备20/40MiB变化尾部失败仍保持,formal0/5/accepted0/54。只有资格观察,不能判数值准确、100%稳定或正式五轮通过。

2. 前置控制与唯一设备流程

先不连接手机,使用现有SDK及纯值Foundation archive decoder,测试exact selector/arity/key/PID(bool拒)、未知class不实例化、UID越界/循环/对象深度与bytes、duplicate dict键、nonfinite/negative/missing不变0、error/empty/wrongreply关联/timeout不重发/原payload-before-parse、channel拒绝不再launch或sample、late reply与pending清理。所有控制通过才独占一次device attempt,原SDK/产品不改。

设备顺序唯一:existing USB metadata只核设备A型与self Fixture89.1.0/executable;现有RSD route建立DVT并先安装原始wire观察器(SDK文件不改)。保存当前advertisement;只向已证Memory identifier open_channel一次,不要求先广告,拒绝/超时立即停止:0申请其他名字、0fallback、0自动重试,此时0launch/0目标RPC。异常原reply/失败intent与实际attempt计数保留;不能把empty返回/通道cancel当source成功。

若channel成功,才通过processcontrol/DeviceInfo核self已装bundle与current PID/exe;已有self实例明确允许只读复用,未运行可只启动self一次,绝不kill_existing、不用历史PID。HouseArrest只self container,先列原件/备份两mutable文本(各4MiB),新文件按有限manifest封存,不原位覆盖旧证据。pre bundlePID/exe与post recheck一致只是窄life核验,不夸作全过程永不换life。

真实绑定后startSamplingForPIDs:[PID]最多一次;首次start若ERROR/超时即停capture,若已发start清理时最多一次stop(不是重试)。sampleAttributes:[memory.task.physical_footprint] forPIDs:[PID] 最多3次,每次8s超时,开始调度间隔0.5s仅作host请求安排,不当设备source频率或原连续性验收。第一异常/empty/缺targetkey/非有限非负整数即停止,不补发或扩样;每reply原binary/大小/SHA/identifier/conversation/channel/host发送接收边界先保留,再只做不实例化class的Foundation纯值解析。未知class仅留schema、不调用reply.payload或任意unarchive。新scalar返回也不能代替独立准确性/精确device读点证据。

3. 清理、非侵入与保全

不attach/debugger、不注入、不改签包/设备设置、不进入产品集成、不改Fixture SDK或产品、不采正式产品Session。若本轮自己启动,则退出前再次核PID/exe,只结束该实例,后两次核bundlePID=0;若复用已运行self,保持原实例(需要后续覆盖安装时另行安全退出)。不结束用户其他App。

所有连接必须close;stop cleanup失败如实partial,不能当已完成。self原Documents保留,新增与两个mutable件做前后受控备份/源stat稳定核,若自然运行新增/变化如实记;不存在文件不虚报0bytes成功。手机原件不写不删,phoneConfigWrites=0。常驻环境/worktree/服务/网站发布/memory写=0。

4. 预算与源准入门

串行1;设备主体120s/RPC8s/cleanup20s,外监督150s/树256MiB,工具控制120s/128MiB;预计拒绝诊断<20s或3reply<40s。wire≤128条/合16MiB/每4MiB、每archive≤50000对象/100000访问/depth64,host日志≤4MiB,self文件每≤16MiB/总64MiB;容器list≤512项。不扫旧大blob;旧G115 seal与264产品SDK/v3/129whole-tree/唯一安装DMG核同。超限立即停止对应工具并保留failed,不自动重试,不临时扩大上限。

资格报告分别列:channel真实响应、当前scalar形状/targetkey/单位依据、hostRPC耗时、未观测device读点/刷新周期、权限/注入边界、同目标核与原件保全/清理。3相同值或快速reply不证明每次新读、500ms供给或全目标准确;sourceAdmitted维持false直到这些实际门关闭。不以实测少点窗口当100%五轮验收。

5. 交付

私有控制/原wire与reply/资格机读/资源/封存/隐私,10文档闭环+新immutableHTML、site仅build300s/3GiB不deploy。窄commit、双远程各一次(GitLab失败无重试不阻断)/单Webhook。129唯一安装包不变,本批不产生新测试包。若实际拒绝,收口这个具体channel在本设备的结果,不宣称全iOS无更好来源,也不循环相同失败;下一依据真实返回或拒绝决定可信来源可行性与准确性门。最终公证/GPL/GUI成本/电学温度外部参考缺仪器/A1OPEN/HybridFROZEN/G9OFF等门不隐去,goal active。

Implementation Update · 2026-10-07(设备执行前补精确集合类型)

G115 timer实际setWithArray生成NSSet传作PIDs,不能把初稿[PID]记法未经核对当NSArray契约。控制前只追加一次对G114已封存observableAttributes实际block的有界核验:原fixup0x107E0→0x923B,按LC_FUNCTION_STARTS定边界、原指令逐字核(≤1函数/4KiB码/128KiB输出、tool30s/256MiB、parent120s/128MiB)。若actual attributes亦NSSet,则host请求严格用NSSet单key/单PID并做SDK aux往返控制;语义仍一目标一current字段,不添样本。0连接手机/新binary采集/重跑旧取证主体。

Validation Update · 2026-10-07(保留细化口径失败,不重跑host工具)

补充helper真实输出逐指令已核,但首解释断言setWithObjects:过窄;实际先arrayWithObjects:count:组4字段再NSSet.setWithArray:。argument-types.log保留,后续argument-analysis仅读同份已留存输出/原bytes,修正精确实际selector,不重跑llvm或取binary。当前请求只选actual current key(NSSet单元素)/单PID(NSSet),不照搬4字段扩指标。初版数组记法不作为实际wire契约,设备执行前final工具严格validate集合类型并aux roundtrip。

补解析第一次把NSSet import库名假定为Foundation而停;原官方fixup实为CoreFoundation/_OBJC_CLASS_$_NSSet。原失败日志/工具保留,argument-analysis-r1核实际库名,不重跑反汇编;集合类与selector都必须与原fixup/selector表核同,不能靠类名字猜所属library。

Validation Update · 2026-10-07(设备已完成,后处理首错误保留)

唯一device attempt已结束,所有连接关闭,无自动重试。后处理在SDK异常类型导入路径处ImportError停止,原analysis.log/源码保留;实际DTXProtocolError定义于pymobiledevice3.dtx.exceptions,analyze-r1只修此精确路径,复用所有原Raw,不连接手机或重发任何RPC。

Validation Update · 2026-10-07 · 创建ACK不等于设备采样可用

G116唯一真机attempt已证:Memory通道创建ACK后,start发出7.149314ms即收到_channelCanceled:(−1),8s等待不是内存读取耗时;stop为invalid-channel ERROR,0sample、来源未准入,原54/500ms/五轮保持。

Owner同AI方案/实施/测试/自复核,非第三方验收。E1真实getter/字段/对象类型、E2工具控制与SDK纯host复现,E4仅这个设备A/自有目标的一次真实channel失败事实;不是E4指标验收,formal0/5/accepted0/54维持。

1. 执行前真实集合契约

沿G114原fixup0x107E0→0x923B,1限定block217B/LC_FUNCTION_STARTS范围,每指令与旧封存binary相同,实际NSObject helper先NSArray.arrayWithObjects:count:构造4字段,再CoreFoundation的NSSet.setWithArray:;G115 timer也以NSSet作PIDs。实际client集合类型NSSet/NSSet已核,唯一current key用NSSet单元素而非复制4字段扩样。初稿[PID]记法不作为真实Array ABI;probe-final以exact singleton NSSet约束selector/arity/PID/bool/key,并由现有SDK aux往返验证。首解释setWithObjects:与Foundation库名两个猜测断言失败保留,后续只解析已留存217B输出,不重跑llvm或取binary。不得靠Foundation/NSSet猜实际import来源。

52个执行前控制覆盖exact contract、数组不冒NSSet、非法/额外PID、BOOL/负值/空值不填0、cycle/UID/depth/visits/bytes/unknown class不实例化、duplicate keys、ERROR/回复关联、超时不重发/Raw先保留、拒绝与alias不探测、原SDK early/late Future、wire硬门。另2个SDK行为复现发生在device之后,不偷当此前覆盖。所有控制不是54指标验收。

2. 唯一真实流程与原始关联

独占attempt1使用既有USB元数据/现有RSD route,不建服务、环境或worktree。设备A硬件与self Fixture89.1.0/executable核同;当前advertisement仍没有Memory,而resources/procinfo存在。只申请G114真实Memory getter identifier一次,没有暗换resources名称、猜selector或自动retry。实际control channel创建返回ACK、local code1,此时只能说创建消息获ACK,不能宣布服务可用。

已有self实例明确复用(0launch/0signal),before bundle→current PID→exe→PID再次核,旧历史PID未用。HouseArrest先备份两个mutable原件,0改写设备config/应用源码/签名或SDK。然后startSamplingForPIDs:一次,NSSet含当前self目标;没有任何sampleAttributes调用(sampleAttempts=0),更没有扩到3次挑成功样本。

真实wire 18条 / 13468B / 36原payload+aux文件全部大小/SHA核,原始identifier/conversation/channel/type/host time关联保存。start的identifier8发出后 7149314ns,收到control identifier10/channel0/conv0/typeDISPATCH,其纯值payload是_channelCanceled:;aux28B按magic0x1f0/length12/PNULL10/PInt32=3/签名int32解析为 −1,不把它掩成正数。未在该trace发现start id8/conv1的任何reply。

随后外call在8s截止取消inner raw_rpc,外层TimeoutError/内层CancelledError(8.001216234s)是不同层,不把8s当Gauge设备读取延迟。原日志/intent/sent/failure未回改。清理最多一次stop,id9/conv1/channel1的ERROR原455B返回NSError domain DTXConnection / code 1 / invalid-channel,0.009547412s。这是拒绝证据,不是stop获成功、不是scalar0。start是否曾短暂开启远端采样尚未证明;不宣称采样停止确认,只确认连接关闭。

3. SDK行为的窄义复现,不冒充产品根因

现时SDK DTXControlService._recv_channel_cancelled原样转发code,DTXConnection._on_channel_cancelled按原signed key pop;以真实类的no-socket host控制给local channel1传−1,得到DTXProtocolError且正向channel1未_shutdown,结果复现。_wait_for_reply被超时取消后保留已cancelled Future entry的行为亦复现;连接最终close清除与未close时保留不混用。

这解释本次host诊断为何仍等截止/后续cleanup RPC收到invalid channel;不能外推这就是原Sysmontap缺点/全部产品断点的唯一原因,也不能从−1自行abs所有code后关闭不相关remote-initiated channel。本批0SDK/产品修改,不把私有诊断改善当连续性100%或Memory来源恢复。源码3文件完整SHA与关键行文本SHA登记于SDK-source-pins.json。后处理首ImportError路径错误保留,analyze-r1只修准确dtx.exceptions来源并复用原Raw,0新device动作。

4. 原件/生命周期/清理真实边界

两个mutable文本前后相同(config195B、marker958B,hash逐字相同),source stat稳定、newDocumentCount0;只证这两份,不假称整个container hash全同。0设备文件写/删、0正式产品Session。该已运行self未被关闭,符合预先reuse策略;无人为launch/信号/重签/注入/debugger/SDK操作。

范围偏差:正常流程post PID/exe检查置于3样本结束后,而start早错误使该检查未执行;postTargetIdentity=unknown。不会拿mutable相同或before绑定补成完整生命周期证明。后续诊断应在失败cleanup亦执行post-bound check;本轮不重开连接补写或回改当时状态。所有连接已关闭、wire captureFailure=null;stopSamplingObserved=false仍留作失败,整体partial不改complete。

5. 资源、归档与整体目标

主监督件wall s直接峰RSS Bexitresource passed
analysis-r1.resources.json0.878470590151680True
analysis.resources.json1.413796587202561False
argument-analysis-r1.resources.json0.123746169656320True
argument-analysis.resources.json0.115875169123841False
argument-block.resources.json0.116182114810880True
argument-types.resources.json0.439251202792961False
controls.resources.json1.678663639344640True
device.resources.json12.049310634470400True

设备监督 12.049310s / 63447040B,本体10.550576s、cleanup0.060469s,在150s/256MiB与主体120s/RPC8s/cleanup20s内;执行前52控制与后处理资源分别保留。no-retry=true,全部2host argument解释失败/1post-analysis失败保留,不以工具exit0或资源passed偷换source成功。真实wire<=16MiB/128条、single<=4MiB,独占串行1;物理I/O峰unknown、采样树RSS不排除采样间更高峰。0大旧Session/blob重扫;旧G115全153件seal/264产品SDK/v3/129whole-tree严格签名/唯一安装DMG核同。10窄文档/新immutableHTML/site仅build300s/3GiB不发布,双远程各一次+单Webhook,失败partial不重试。

6. 来源决策与下一步

此Memory字面通道在本次设备连接中未提供数据:创建ACK后取消,0样本,不能接入产品或再循环同样调用来赌支持;也不由这一条通道推全iOS没有更好来源。实际广告resources/procinfo的服务owner/协议仍须具体证据,不能猜它继承这套Memory RPC。本批sourceAdmitted=false、device units/readpoint/真实cadence/独立准确仍unknown。

下一G117先收口已拒路径并做完整来源/逐指标执行次序决策:诊断器应对关联取消/超时立即收尾、失败post binding与原件完整保全;未证明真实资源provider ABI前不再猜调用。保持内存门未关与全54清单,不让一个未准入来源的重复实验吞掉其余指标的独立参考与逐项验收工作;有独立可控参考的下一项应另立完整合同,内存失败持续登记,不缩分母/默默移除。

原54/500ms/3I/单token/五轮120槽连续有效100%/独立2MiB或5%/固定窗口与完整准备20/40MiB变化/尾部失败保持,formal0/5/accepted0/54。GUI/绝对成本/电学温度外部参考缺仪器/最终公证GPL/A1OPEN/HybridFROZEN/G9OFF仍open,goal active;129唯一已装包不变,本轮未生成新测试包。