Skip to content

G100 前瞻产品源新鲜性修复 ​

1. 目标/基线/已证故障 ​

基线b6de7b6/main;Owner同AI方案/实施/自复核非第三方。G99真实projector单次20MiB源观察在1/2/5/60s新snapshot均candidate、没有新process Raw也不断值,已证旧值续点。只修第一项physical-footprint发布新鲜性,不同时修改其他53指标算法。完整54与原五轮120槽连续/有效100%、2MiB或5%独立误差、准备/20与40MiB转换/尾部保持;不将断流显式missing当连续目标完成。

2. 公式先落文档:physical-footprint-source-freshness.v1 ​

数值V仍直接physFootprint bytes、physical-footprint.v1/candidate;RawMetricEngine及原MetricFrame/已封存历史值不改。只约束实时snapshot发布。I=实际Sysmontap配置intervalMs×1000000ns(默认500ms),最大已观察host到达年龄Amax=3I,显式传入产品projector所有构造点;不是内核Gauge精确读点,也不是扩大数值容差。

每条新process指标观察保存来源(sourceID/adapterID/sourceEpoch/reconnectGeneration/targetPID/targetGeneration/sourceEventSequence/hostReceiveMonotonicNs)。允许发布条件同时成立:值原candidate;身份verified且目标/代际/源epoch/reconnect与snapshot相符;来源版本与序号单调、receipt不后退;0≤snapshotHostNs−receiptNs≤3I;该source observation尚未在之前snapshot成功发布。只有真实process Raw中的footprint派生值能登记新观察,system片段、其他来源、新sampleSequence或snapshotHostNs不创造新鲜性。

无观察、重复/倒序、年龄过期、未来receipt或来源绑定不符→value null;缺失用missing、身份不符用identity-unverified,并附独立host-sourceFreshness reason/provenance。缺值不填0、不hold-last、不插值;相等数值但新的合法source observation可照常发布。后续新合法观察恢复,max-age边界等号接受。旧_history/raw/MetricFrame不回改。源epoch/reconnect/目标代际退回不得洗白旧观察。bounded记录仅当前来源与单一发布token,不建立无界历史。

3. 代码与匹配测试 ​

只realtime.py(projector登记与snapshot发布门、3个构造点传实际interval)及新增专项测试;不改SDK/adapter配置/Fixture/数值引擎/其他指标scope或公式。至少覆盖新鲜成功、相等新值、重复snapshot/Raw、断流60s、system-only、年龄边界/过期/未来、错误目标/代际/epoch/reconnect、倒序source seq/receipt与epoch、missing与恢复、共享其他metrics原值保持、可选derived_frames真实路径、JSON序列化/有界状态。

先当前old source下匹配负控显式失败/已有拒绝专项基线,保留结果;改代码后专项与完整Sidecar(600s/256MiB)及相关Swift(300s/2GiB)串行一次,失败不原样自动重试,必须取根因后只重跑修正导致的门。五对真实5000观察/快照与180秒虚拟调度、gap/worst覆盖,平均每点≤0.1ms、p95≤1ms、old→new额外≤0.05ms/稳定RSS增≤4MiB;记录CPU/RSS/IO unknown和具体吞吐/首响应。不得扩大旧性能阈值。修复后仍须设备实际源与最终GUI/五轮/独立误差。

4. 包与环境 ​

已有冻结runtime/core构建链,不建venv/worktree/常驻服务。匹配/全回归/成本通过后,当前源码freeze与实际PyInstaller代码逐模块验证,签名内部b127候选(600s/2GiB),旧b126在新包验证前不动。独立解包/代码+资源摘要/来源独立probe/签名/容器哈希通过、确认自有Mac App及collector已退出后同/Applications路径覆盖;自动定向结束自有App只在完整路径身份已核且无正在写的Session时进行,不结束其他App。只留一个标准安装和一个当前dist包,旧已验包作为不注册回滚证据保留;不删原Session/失败证据。Owner暂免内部公证,仍记录notary/staple/Gatekeeper实际结果,不冒称正式包。手机89不需要覆盖或新采集。

5. 闭环与停止 ​

所有原件G99 seal/product未授权路径/SDK/v3与旧b126核摘要;文档Implementation Update、goal/serial/ledger/handoff/Canonical知识/总览/home/时间线、新immutable HTML同批联动;站点只build300s/3GiB不部署。匹配control预算120s/128MiB、状态 O(1)、每条发布 O(1),不得全量历史扫描。最终源码pin/隐私/签名/原件不变/54不缩分母核对后窄提交,双端各一次/通知一次;GitLab不重试失败不阻断。formal0/5、accepted0/54、独立误差/GUI/其他53、电学温度缺仪器、最终公证/GPL/A1OPEN/HybridFROZEN/G9OFF仍开。

Prospective test-contract correction · 2026-10-07 ​

旧36项首回归中,新24控制全部通过,既有test_real_projector_clears_missing_target_and_restores唯一失败:它在只有system片段的第二发布点要求再次输出旧footprint,与本批“来源观察一次发布”的前瞻合同冲突。保留首失败日志,新增允许路径test_physical_footprint_admission.py只把该条持旧发布断言替换为null/missing/来源already-published;同时断言缓存的原始MetricValue仍在,保持“system并非process-absence证据”的旧核心语义。其余身份/缺失/恢复/数字不改,不删测试或降低任何误差门。

Implementation Update · 2026-10-07 · 源新鲜性已实现,回归进行中 ​

已在realtime.py加入固定大小footprint来源观察、高水位/单次发布token/3I host-age门及source reason,3个产品构造点均传实际interval_ms。仅实时snapshot缺观察/过期/重复/倒序或错绑定置null,RawMetricEngine/字段数值/原MetricFrame不改;等值新source与恢复仍可发布。新24专项从旧19失败/2错误(包含新增参数和provenance接口不支持)到全部通过;既有12拒绝控制中唯一原持旧断言按前瞻合同更正且仍核原缓存事实,合计36专项通过。首失败日志保留。完整Sidecar一次回归已启动、尚未终末,不先宣称全回归或安装通过;当前已安装仍b126、手机89/0新采集、正式0/5/54未验。成本/Swift/冻结候选打包/覆盖及最终封存尚未执行。

Cost gate result / prospective O(1) lookup repair · 2026-10-07 ​

完整Sidecar首轮1627/1627通过、sourceDrift空。首五对5000点端到端成本旧164.043478µs、新172.553633µs,新增8.510156µs、p95新317.812µs、采样RSS增0;虚拟180秒含60秒断流得到120真实有效/60missing。增量/p95/RSS门通过,但原预声明100µs绝对均值门失败(旧基线亦超);不放宽门、不能宣称成本总体通过,尚未打包/覆盖。原脚本/日志/机读保留。

真实1000点profile定位维度为空的_metric每次扫描整_latest,30000次lookup约41ms。前瞻只在原允许realtime.py内用已有(metricID,empty-dimensions)字典key做O(1)lookup,并保留MetricValue非空dimensions拒绝,数据结果不变,不改scope/公式/其他指标数值;新增匹配维度/缺失lookup控制后再次成本与全回归,新独占输出r1,不原样重跑首成本。原100µs/1ms/50µs/4MiB门保持,若仍不满足如实partial继续优化而非打包宣称完成。

Validation Update / internal-candidate-only decision · 2026-10-07 ​

O(1) lookup匹配37项通过,首cost原件不动。新五对端到端旧220.777905µs→新165.615668µs(同批配对平均改善约25.0%),p95新320.100µs、采样RSS增0,增量/p95/RSS门继续通过;100µs绝对均值目标仍失败,不改原grade、不声称效率合同完整通过。源码lookup优化后的完整回归尚须独立重新执行。

Owner同AILead裁定仅开放内部故障验证候选:在优化后完整回归、匹配/Swift与冻结代码/签名/独立解包核过后可制作并同路径覆盖b127,不作为本批完整效率验收或最终可信交付。理由是已证旧值伪续点需在实际产品消除,当前整链平均成本在原生2Hz下约0.0332%单核时间量级(估算,不冒充实测整进程CPU峰),且配对改善/额外开销和RSS门无回退;绝对100µs仍open待优化。此并非用宽松门宣布原合同PASS:G100总体保持partial、最终目标所有原100%/误差/54/五轮/正式公证/GPL/GUI门均不关闭。内部候选只是可逆的测试进度,原b126回滚与失败数据保全,不发布网站或新真机Session。

Validation Update · 2026-10-07 · 优化后回归通过/内部候选构建已启动 ​

现时源码37专项与优化后1628完整Sidecar(0失败/错误/skip、sourceDrift空)通过;全量外监督161.823942s/201580544B/stop=null。相关Swift55项0失败,外10.619904s/峰46776320B、树92467200B。首1627全量与首次未满足绝对cost的原件保持;新source完整回归不是原样自动重试。100µs绝对成本目标仍open,已按前瞻例外单次启动b127内部候选build/sign,尚未终末/独立解包/覆盖;当前实际安装b126、手机89不变,无新设备调用或Session。最终可信交付/五轮/误差/54门不关闭。

Implementation / Validation Update · 2026-10-07 · b127内部候选唯一覆盖,正式门不关闭 ​

Owner同AI方案/实现/自复核,非第三方独立验收。G100已修物理内存断流旧值伪续点:37匹配/1628完整Python/55Swift通过,b127内部签名包已独立核验并唯一同址覆盖。绝对100µs成本门仍失败,真实源/GUI/独立误差/正式0/5与完整54未验;总体partial。

实际范围及语义 ​

realtime.py增加固定大小_PhysicalFootprintSourceFreshness,实时footprint输出须真实新process观察、单调来源序号/host receipt、匹配目标代际/源epoch/reconnect与0至3I已观察host-age;只成功发布一次。等值新观察可发布,无新源/重复/过期/倒序/未来/错绑定输出null和独立reason。新增processMetricSourceFreshness仅说明主机观察,不冒充内核精确读取时间。所有三处产品projector构造传实际interval_ms。RawMetricEngine的原bytes公式、Raw/MetricFrame、其他53指标数值算法不变。

_metric改用既有(metricID, empty-dimensions)键O(1)查询,保留非空dimensions拒绝。旧system-only第二snapshot要求沿用candidate的单条断言按前瞻修订;缓存的原始MetricValue仍被独立核对存在,并未把system片段当process-absence证据。未删测试或降低2MiB或5%数值误差门;所有失败与旧数据保持。

验证与性能(E2主机控制,不是E4数值验收) ​

旧代码匹配24项19失败/2错误(含新增参数不支持);实现后36项首轮唯一旧持旧断言失败,前瞻修正后36通过,再新增维度lookup等价控制到37通过。完整Sidecar首1627通过、优化后1628通过(0失败/错误/skip,262源码pin无漂移);优化后外监督161.823942s、峰201580544B。相关Swift55项0失败,外10.619904s。日志全部保留,不以改测试误差门制造PASS。

首五对5000点旧164.043478µs→新172.553633µs/增8.510156µs;真实profile定位整_latest扫描后,优化配对旧220.777905µs→新165.615668µs,增量−55.162238µs、p95新320.100µs、采样RSS增0。新首响应409.012µs(旧310.579µs),不把均值改善当所有分位改善。新平均吞吐估算约6038观察/秒,非服务采集吞吐;主机CPU/IO峰缺独立采样者写unknown。端到端绝对100µs门两轮仍失败,增量≤50µs/p95≤1ms/RSS增≤4MiB通过;不改原grade、不宣称效率合同完整通过。虚拟180s含120真实源有效点和60断流missing,证明不造续点,不是120-slot正式轮或100%目标达成。

内部包、实际代码和覆盖(E3本机,不是数值准确E4) ​

单次b127构建/签名exit0,186.265840s/树峰206606336B,未建立环境。冻结包实际PYZ75模块(含realtime)逐模块code/constants/flags/exception-table与262 source pins核对;CLI与7066B候选profile资源逐字相同,独立解包再次核相同。未依赖strings/Info.plist自证新代码。source-independent probe ready/valid/versionMatches/66合同通过、无设备读取。

DMG与App均Developer ID签名,codesign严格验证通过;独立解包完整tree一致。事务式把/Applications/Perfowl.app同址b126→b127,真实旧b126树逐字未变保留回滚,已验旧DMG迁私有回滚目录,不登记成额外安装。自有App与Collector三次现场检查均无活动进程,本批无需结束进程;未结束其他App。定向移除仅三份已全tree核同的可再生App副本,当前标准/注册/Spotlight均唯一。dist仅一个b127DMG与其SHA文件;原Session/失败证据0删除,手机89不变/新Session0。

测试包Perfowl-b127-2026-10-07-x86_64-internal-test-unnotarized.dmg,SHA-256 069060777ee2e3cb43e64edef5d65fae069ddefa1cb9e2d823c91de7f4c32be8。package外监督130.730545s/stop=null。

未公证:Owner仅暂免内部覆盖测试等待,Gatekeeper实际exit=3、stapler实际exit=65,不关最终公证/可信分发/GPL法务门;未提交新的notary任务。此包为可逆故障验证候选,总体partial,不是全部54可信交付。

后续及全范围 ​

下一先核b127真实产品新鲜性链与已装GUI,不将主机绿直接外推真机;继续独立Gauge精确读点/有界不确定性与同代参考原误差门,保留完整准备、20/40MiB转换、尾部与失败,之后原五轮120槽连续/有效100%。完整54保留、当前accepted0/54与formal0/5;其他53未验、电流/功率/温度缺仪器仍在分母。原G85与G98失败、绝对100µs成本、A1OPEN/HybridFROZEN/G9OFF/最终公证/GPL均开。不创建环境/worktree/常驻服务、不发布网站。GitLab每批仅尝试一次,失败不重试不阻断;双端/通知以实际回执为准。

Perfowl · Performance Observer