G113 不再以更多同源诊断替代交付可行性

1. 目标与本批决策

基线9fce04b/main，Owner同AI方案/实现/测试/自复核，无第三方。G112真实VM快照已得，但串行2.644–2.780s/region packed与Gauge读点未准入；不再追加同VM快照，不猜RPC/接region近似值。原54/500ms/五轮120槽100%/2MiB或5%/完整准备20与40变化、尾部全部失败不变，b129唯一安装与DMG不动，formal0/5/accepted0/54。

先回答具体而非普适问题：对已装129的G105留存真实供给，在原时龄/不重复token/不偷未来信息下，即使理想调度器也能达到原240发布点100%吗？ 同时把原G98双API参考和本轮已装G105的数据证据严格分开，不能跨life跨包混配为准确性。

2. 前瞻算法、反例与取证

只读G105原Raw、wire、固定slot结果/manifest/binding；G98已有254原生紧缩行与9000双API参考/封口/绑定，只选小型输入并逐份核旧seal。新工具不执行任何旧脚本/产品解码器、不请求设备，不改产品/Fixture。

每个真实观察只允许一次发布，eligible为receive<=publish且age<=原3×500ms（端点含等号），相同source identity/epoch等仍按旧实际准入；保持全部268发布/固定240测窗及准备尾部。先控因果/expiry端点、同一token去重、未来值拒绝、最大匹配和独立穷举的一致性，再从真实Raw提取当前target向量。算法对供给-发布有序图做最大匹配：同TTL/source时序单调，FIFO earliest-deadline greedy O(N+M)，独立DP O(NM)复核；小型暴力general matching反例验证order假设。oracle只是宽松理论上界，不接产品、不制造点。

分别算①完整发布timeline（准备也消耗观察）；②只看固定窗口、允许准备阶段不消耗且无capacity6限制的乐观上界（严格更宽松，若仍<240即证这一原记录补点无解）；③原实际匹配与miss。保存每点原sequence/receipt/binding关联及相对ready时间、可行match、不匹配点、供给数/critical prefix/neighbor集合计数证据。不能用median约521ms直接推全称不可实现；上界只针对这一真实记录/这一场景策略，不外推所有iOS来源或更改周期后的场景。

独立参考读数只证明observed API值、括号/采样间隔/数值变化；9000样本无缺不证明连续时间不变。保留G98四失败/相容250与age254旧结论，不重标PASS，记录精确读点和未观测区间仍unknown；不将G98旧参考对比G105新值。按实际输入采样数/bytes/SHA核，不能从文字模板抄结论。

3. 执行边界与资源

本批0手机连接/launch/signal/config/Session/新包，不存在“已跑目标停止与复用”歧义。后续需要新的phone生命周期时，唯一策略应先当前完整身份核、保全可变旧件、一次退出并核稳定，再唯一launch+新参考；如选择复用必须另写明确只读策略，不能沿用冲突条款。本批不授权device attempt或重跑G105/G98。

现有Python、串行1、每控/分析120s/128MiB，预计<5s；选定input总<=32MiB、单Raw<=16MiB/line<=256KiB、kernel<=8MiB/native<=2MiB、wire<=2MiB/2048records，N/M<=2048，DP最多2048²且只保存两行。超门立即停止、原件/失败保留，无自动重试。纯stream hash复用一次/只保目标小向量，不全量展开Rawmap；wall/CPU/RSS/读byte实测，物理I/O峰unknown。

4. 后续与闭环

若理想上界仍<240：明确当前实现/来源策略不能满足该批目标，软件队列不能制造数据，停止重复同样五轮；进一步来源/发布语义变更必须另立正确方案，未经Owner确认不降500ms/100%或去重门。若上界=240而actual少：精确定位真实可改调度缺陷，再文档化产品匹配修复，不本批偷改产品。独立参考时点仍缺则明确数值“相容但未校准”，可控App不能自动确定所有系统指标真值。

报告/机读与负控/原件hash封存，10文档联动与新immutableHTML，site只build300s/3GiB不发布；b129whole-tree/signature/唯一DMG/G112seal/v3与264productSDKpin收尾核同，窄提交双远程各一次+Webhook一次、GitLab失败不重试。目标active，全54/五轮/误差/参考缺项/最终公证GPL与GUI/成本门不改；无新环境/worktree/常驻服务/memory写。

Validation Update · 2026-10-07 · 用计数证据而非median判当前来源可行性

G113已证G105原240发布点的供给上界仅232，理想调度仍至少缺8；真实230、原全timeline256观察均发布。当前同来源/原500ms/单token不能靠队列补成100%，不是全平台不可能。9000双API相等仍不证产品准确性，原54/正式0/5保持。

Owner同AI方案/执行/自复核，非第三方。E2为有序interval matching算法/独立general brute/DP、原字节核验；E4仅引用已封存G105/G98真实观测，不是新设备采集/正式五轮。0phone连接/launch/signal/配置/Session、0产品修改/新包，当前b129唯一安装和DMG保持。

1. 原窗口，严格分母

G105实际ready原时钟建立[ready+5s,ready+125s)，120个一秒槽、240个原500ms发布点；全268发布（7准备+240测窗+21尾部）全部保留，不移动首好点/尾部、不删坏点，实际窗口230有效/10missing。全部512Raw逐行原manifest SHA核、256当前target观察/同一sourceID/adapter/epoch/reconnect/target代、原sequence唯一；0观察数字改动，不把准备参考当测窗。

匹配边定义 receipt<=publication<=receipt+1,500,000,000ns，原3I含等号，不准未来信息，不准同token二次使用。oracle忽略capacity6、忽略原产品调度成本/GUI约束，也允许准备不消耗token，只为对当前供给给出更乐观上界；不能把oracle点写产品输出或增加验收有效率。

另一个早于窗口终端的prefix证据：前 220 个发布点，receipt在prefix结束前且至少还可落首点的供给最多 212 个，也缺8。完整neighbor/point/match/相对ready时间在私有supply-matches，future receipt不会被先投给较早点。固定240理论有效率上限232/240=96.666667%，这不是实测提高（实测仍95.833333%），不把更乐观oracle计为验收。

因此，同一留存run/原source观察/原500ms/不重复/3I条件下100%无解；即使扩大队列不解决来源数量，实际FIFO全部发布、zero overflow/expiry原记录不变。不能断言全iOS平台/所有可靠替代来源/未来每run都不可能；本轮没有证明通用硬500ms最小周期。这个结论指向“需要新的可信更充足来源”，而不是反复采同场景五轮来挑好结果、增加age或伪补旧值。

2. 最大匹配独立核验，不用同一函数自证

12显式端点/因果/重复/空集控制，7056个小型source/point/TTL组合；每格greedy同时对比general subset穷举匹配与独立两行DP，全部一致。另4输入反例拒逆序/重复tick/负age/Boolean时间。7056不是指标测试数，不能当7056个真机指标通过。

相同TTL导致release与deadline同序，可把交叉配对uncross，earliest-deadline greedy O(N+M)；DP O(NM)/两行内存复核全268×256和240×256，结果相同。真实union232作为更简单独立证书：即便对greedy最优性有疑虑，240需求/232邻居的计数已经排除100%。所有工具SHA与前控一致，不依报告模板填写真值。

3. 独立参考能证明什么，仍缺什么

G98另一次同代系统参考180s/9000条严格TASK_VM_INFO与proc_pid_rusage均成功、封口闭合/hash/sequence/nominal20ms/birth/PID/timebase准入通过。两API观测差最大 0B；9000记录之间有 67次footprint数值变化、单相邻观测变化最大 42025056B。最大双读括号15687 ticks（125/3→653625ns），最大未观测间隙531191 ticks（125/3→22132958.333333ns）。

独立API彼此相等只证明这些已观测点的数据相容，不证明私有Sysmontap相同瞬间读值。相同两端参考也不能证中间无短暂变化；密集20ms采样不是continuous-time界。原G98全span相容250/254、四失败6/35/72/123和age候选254相容保持原字节，确切Gauge读点/准确性仍unknown；不将G98旧life的9000值与G105新run配成数值准确性。两个数据集各有独立身份/来源链，不能为了过门混配。没有已证新的数值计算错误，本批不改引擎或参考定义。

4. 实际资源与不变性

13选定输入 22079483B，每件与G105/G98历史seal逐字SHA/size核，首/尾哈希一致；Raw12936723B紧缩只保目标向量，不展开整个processmap；没有重扫历史大blob/重跑旧分析。主机控制监督0.235418s/直接峰14438400B；分析监督1.207866s/直接峰28250112B，内部1.029485s/CPU0.977063s，均120s/128MiB内。uniqueInputBytes是唯一文件字节，不是物理读峰；初哈希/解析/末哈希会再次读，不能冒充全程只读一次。物理I/O峰unknown，RSS采样不排除采样间峰。

输入/G112全seal/264产品SDK/v3/129whole-tree/严格签名/唯一登记/唯一DMG收尾核同。10文档/新不可回改HTML、网站只build不发布，窄commit双端各一次+单Webhook，GitLab失败不重试不阻断。

5. 后续收口决策，不偷换交付目标

1. 停止同来源原样重复/纯队列修补路线：本run至少缺8是供给数不足；不是Owner解锁/手动关闭可以补回的数值，继续同样五轮不应当作解决方案。
2. 下一G114先做来源准入决策而非继续字段名字勘探：评估已有无侵入能力是否可提供同scope/读点可核/原周期有余量的真实footprint供给，只有实际契约足够才准入一次bounded验证；没有可靠方案则明确向Owner说明固定500ms每点要求新观察的当前技术限制，保留未通过，不改周期/去重/时龄或目标。新的phone批次明确一个已跑策略，先custody/退出/新绑定或明确只读复用，不再带冲突。
3. 独立准确性单独关闭：同代密集参考可用于数值观测相容，但精确读取时界未证；不能用自有App计划申请量或产品同值当truth，不把source一致计校准。其余53只做必要静态方案/参考设计，不跳过首项正式验收。

原54/5×120槽100%/2MiB或5%/完整准备20与40变化/尾部所有失败不变；formal0/5、accepted0/54，GUI/绝对100µs成本、电流功率温度无外部仪器、最终公证GPL、A1OPEN/HybridFROZEN/G9OFF仍open。本批诊断完成≠产品交付完成，goal保持active，0新环境/worktree/常驻服务/memory写。