G61 默认关闭媒体时钟参考本地实现与验证
Owner授权同AI方案/实现/自复核,不是第三方独立验收。基线58365e7;正式方案。默认OFF媒体钟独立读界/精确有界消费者E2已实现;9001行旧编码一致、37消费控制及五对成本/完整unsigned iOS编译通过。未部署手机、未绑定产品窗口或独立精度,完整54正式0/54。 本机当前仍b122;新b123原公证任务最近一次实查仍In Progress,不重新submit,不用候选覆盖。
1. 实际修改与原方案边界
- 自有Fixture的FixtureNativeClockReference保留原Date三次调用位置,在显式布尔true时才另用mach/CACurrentMediaTime/mach。新增嵌套mediaClockRead的schema/method/原Double秒与独立UInt64读界,原Date秒不代媒体秒、回调ticks不代呈现时间。
- 从既有参考配置读取mediaClockReferenceEnabled,CFBoolean true唯一开启,缺省/false/数字1/字符串/错误schema关闭;配置读取额外限制32KiB。没有新流/频率、产品来源或手机操作。OFF字节4MiB;ON默认8MiB;180s/50Hz/9001样本/32KiB缓存与停止/独占文件保持。
- internal/acceptance/media_clock_reference.py以精确Fraction单遍O(n)、O(1)保留offset观测交集;9001点/8MiB/2048B行有界。拒绝错schema/类型/Boolean ticks/反向或复用读界/改变原时间基/序列和名义槽缺口/超过60ms无观察间隔/offset无交集/坏尾/超限/写失败,重复JSON键不接受。没有插值、nearest/hold-last或回调替代。
- 新host runner和cases提取真实当前类与冻结旧类,不用重写的示意生产者冒充源码。老Date消费者逐字未变、产品258源码与371旧归档逐项SHA保持。
2. 精确公式与证据限制
scale = numer/(denom×10^9)。读取原binary64 m,候选offset区间是[begin×scale−m−ULP(m)/2, end×scale−m+ULP(m)/2],逐观察取交集而非放宽并集。半ULP仅数值量化模型,不是CACurrentMediaTime或硬件误差保证,也不能证观察点之间恒定offset。summary始终sourceWindowBound=false、independentAccuracyPassed=false、apiTimingErrorBoundProven=false、productScopeBound=false。观察相容不等于呈现时间精度/产品窗口通过,消费者不提供自动映射产品事件的接口。原Date/UTC消费者与已封存旧手机样本不回改。
3. 先红后绿与匹配验证(均E2)
| 项目 | 实际证据 |
|---|---|
| 旧真实源红控 | 新source-contract在旧源exit1:没有独立媒体读界;修后exit0。该静态控只是前置证据,不代host执行 |
| OFF冻结编码兼容 | 9001行当前/旧class字节完全一致,含UInt64上限、subnormal和负零 |
| ON功能/配置/codec | actual class独立读界、strict Boolean/配置schema与大小、binary64/UInt64往返、非有限/反向/复用拒绝;OFF/ON byte-limit和write-fault停止,原文件不覆盖 |
| 规模上界 | codec实测最长493B;保守行541B(另留binary64拼写余量),9001行+footer上界4870053B,小于8MiB。是codec压力,不是实机180s运行 |
| Python消费与旧Date | 37/37通过;含9001行流式压力与8MiB超限拒绝,wall 4.771506s / direct peak 34.136719MiB,120s/64MiB内 |
| 原G35实际host | 旧host cases原Date codec/独占/byte/write/1秒writer检查通过;只增加QuartzCore导入满足新类编译,Date算法未改 |
| 新真实host writer | OFF/ON各一次1秒原timer,分别50/50点;新文件不回写旧文件,尾count/bytes核对。ON 50点观测相容,所有绑定/准确性谓词false;不是手机E4 |
第一轮Python37控前的36控运行有1失败:负控将sampleCount设为3但实际也是3,是测试输入错误,不是消费者接受坏尾;原日志保留,改为4且加实际byte-limit控制后37通过。初始盘点仅41个Swift源,后以G60独立已pin的完整258源补核,不能以41代全产品。无静默重跑合成/实机直到绿。
4. 实际源码OFF/ON五对成本
同一个实际observation,OFF/ON各10000次×5交替,串行1;没有把OFF基线替换为两次裸mach调用。first ON 0.000009516s,max ON 0.000410246s(≤1ms);ON按50Hz最大CPU占比 0.000020365(≤0.01);中位wall比1.438366、CPU比1.526685(≤3)。benchmark自身whole 0.039360s、RSS 3.265625MiB(30s/64MiB内)。完整host控制运行wall 3.981715s / direct peak 4.527344MiB。
host compile一次wall 18.718202s / observed tree 217.003906MiB(120s/768MiB内);完整Fixture iphoneos源码compile一次exit0,wall 50.105934s / observed tree 530.042969MiB / direct peak 109.605469MiB(300s/1536MiB内)。复用既有derived-data/解释器;未签名/部署/启动手机。树采样不排除未观测瞬时峰,实际物理I/O峰unknown,不填0。
5. 复现与交付证据
一次独占输出,源码host提取入口:
PYTHONDONTWRITEBYTECODE=1 python3 fixtures/ios/PerformanceProbeFixture/test-media-clock-reference.py --baseline-ref 58365e7 --output /ABSOLUTE/NEW/EVIDENCE_DIR
PYTHONDONTWRITEBYTECODE=1 python3 -m unittest discover -s internal/acceptance -p 'test_*clock_reference.py' -v
私有原批次下g61-media-clock-reference-local保留old-source红、所有失败、逐阶段资源、实际host文件、编译结果和独立SHA清单;公开页只用别名,不公开设备身份。旧公证/Session/Raw/封存不删;标准安装一个、current dist唯一b122 DMG/SHA保持;新测试前先做空间/活动/用途预检。
6. 下一阶段与整体进度
本地参考生产/消费E2完成,原手机仍50.1.0、不含新媒体记录;下一必须另文档化版本/签名/覆盖部署及生命周期准入,不能直接launch覆盖旧固定marker。另续查原b123同公证job Accepted后才staple/独立包/全树/安装核验,不能以旧超时视为server终止。完整54原固定五轮/同scope/native window/冻结误差未完成,正式0/54;电学/电池温度无独立仪器、opaque源/全设备呈现scope与帧容差1000倍规范冲突仍待决。未采新Session、未改产品、未建环境、未发布网站;A1 OPEN/Hybrid FROZEN/G9 OFF/GPL正式分发门保持。