planP4E1approved2026-10-06

G63 独立呈现事件集与原生间隔消费方案

Owner授权同AI方案、执行与自复核,不是第三方验收。当前基线28b8e351;完整54指标、原五轮、连续性/有效性1.0、原冻结误差门及完整准备窗保持。上一轮实际清理56.74 MiB可重建站点产物、b122唯一安装且原始数据删除0;本轮原b123公证任务一次实时info仍In Progress,绝不再次submit。

缺口与执行路径

G58实机Surface日志有14404行、7201个submitted/presented。旧检查只比submission集合,没有逐项drawable/IOSurface绑定、原始数值/JSON重复键与日志封口核对;因此“条数相同”还不能作为帧指标的独立逐帧输入。源码记录的machAbsoluteTicks是log调用时刻,不能拿它替代drawable.presentedTime。source有surface-stop,但没有完整写入字节footer;消费者不得臆造写盘完整性。

只增 internal/acceptance/surface_reference.py 与匹配测试,以及原私有root内独占G63证据:解析自有Surface schema1,序列0起连续、timebase原始分子分母不变、提交序号1起连续;用submission逐项核drawableID与可空iosurfaceID,保留未呈现与submit-unavailable。允许回调日志乱序(以及stop后迟到回调),但必须已有opener、每项最多一个结果、stop总提交数一致;拒绝缺回调、重复、错对象、非有限值、未知schema/event和截断JSON。Ticks只保留类型/原timebase校验,不用回调时刻估计presentation。

按submission顺序读取原始正值presentedTime;严格递增。未呈现的ordinal必须打断相邻间隔,不可跨缺失补出一帧。drawable可复用,但跨submission不按ID去重。requestedFPS只登记自有负载设置,不能作为显示器实际Refresh Rate。iosurfaceID缺失按null保留,不当作前台目标映射证明。

公式先行与证据边界

原始JSON呈现时间保留精确binary64值,Fraction.from_float,不格式化十进制再读回:对相邻且已呈现的ordinal,FT_i = 1000 * (T_i - T_(i-1)) ms。第一项与未呈现后的第一项没有间隔。只输出whole-observed-file的间隔算术摘要:mean=sum(FT)/n;median偶数中间两项均值;P95=sorted[ceil(0.95*n)-1];jitter=P95-P50(P50按nearest-rank,不能混用even median);不把全文件摘要冒充滚动10s或固定[20,140)窗。原始Double表示精确性不证明API/硬件时刻精度。

没有源关闭证据/写盘footer、同产品native窗口、foreground-device全部事件、surface→PID时序映射、实际刷新率或独立不确定性时,sourceWindowBound、productScopeBound、referenceWriteCompletionProven、independentAccuracyPassed全部false。自己的单Surface不变成全设备oracle;不产生正式120槽或五轮通过数。最终输出仍逐项保留全54准入结果,未有参考的指标显式未通过,不缩分母。原帧机器容差0.5ns/文字0.5µs的1000倍冲突不消解或放宽。

资源、测试与停止

复用原解释器;无新环境/线程/驻留服务。输入8MiB、16000行、单行2048B,submission≤7999;有界字典/列表O(n)空间,排序摘要O(n log n),单并发。主机测试/历史只读消费各60s、128MiB;完整acceptance工具回归120s、256MiB。低于10GiB或不足预计新增量2倍时停新采集;本轮没有采集。

负控覆盖duplicate key、坏UTF8/非有限/布尔/浮点ID、sequence gap、重复start/stop/提交/回调、缺stop/缺回调、身份错、raw timebase变更、零呈现/未呈现分段、回调乱序/stop后回调、ID复用、不误用mach/nominalFPS、边界/上限及所有准入false。从已封存G58复制清单核其原SHA后只读消费,不改旧件、不读Raw或大blob。匹配输入规模7201帧的串行5次仅重复本地消费做成本记录,不是新增真机轮次或择优跑绿。

完成后增量记录实际实现/偏差/控制结果/历史数据结论和全部门,新增不可回改HTML、时间线/两表/知识总览与首页/ledger/handoff联动。只build不发布;每端一次普通推送,GitLab失败不重试;Webhook单次。如任一资源门失败,保留partial,不擅自扩预算。设备升级仍等待新的退出/解锁确认;本合同不授权phone Upgrade/launch/写入或产品Session,不重跑旧安装脚本。A1 OPEN/Hybrid FROZEN/G9 OFF/GPL门保持。

G63.1 工具监督退出竞态最小恢复 · 2026-10-06(修改前)

首次完整工具回归215项中1个error:quota输出已超额,子进程退出与RSS观察交叠,killpg TERM及finally KILL均PermissionError,没有可用terminal记录;失败log/resources保留。首次suite默认TemporaryDirectory已销毁mock细件,不声称它们已封存;后续显式私有测试输出保全。

只改internal/acceptance/native_command.py非产品监督工具:发信号前wait4(WNOHANG)核同一未reap子进程;PermissionError/ProcessLookupError后再核一次,只有wait4证明已terminal才停止发信号并复用退出码/ru_maxrss。活进程EPERM继续抛错,不忽略、不算成功、不向其他进程fallback;资源超额停止标签保持,不因exit0改成通过。TERM/KILL/finally全用同一helper,status消费恰一次。四个确定性控制覆盖发信号前已terminal、TERM/KILL后EPERM已terminal、EPERM活着失败、ESRCH活着失败及正常发信号。复跑完整工具使用新独占证据路径,仍原120s/256MiB,不自动重试phone来源或改资源门。

Implementation / Validation Update · 2026-10-06

独立Surface消费28控制通过,G58原7201对逐drawable/可空surface与原生呈现间隔核过;工具退出竞态修复后219/0。未绑定产品窗口或校准,完整54正式0/54。原215/1失败保留;工具helper恢复按G63.1不改产品,28主控与完整219/0。历史源逐身份和间隔可核并不证明全设备scope/写盘完整/产品时轴或独立精度;完整结果。

G63.2 站点观测停止与可诊断续验 · 2026-10-06(新构建前)

首站点构建知识门66通过,在10.736058s因rss-monitor-unavailable停止、owned group被终止exit-9;日志/资源保留。原probe异常未记录,精确原因unknown,不断言构建代码失败或ps必为timeout。其后5次只读ps均exit0/873–881行/0.133–0.188s,仅证明当前监控恢复,不能解释过去。

新独占构建采用同一wait4/退出与RSS门,阶段专用ps probe单次预算2s并记录returncode/异常类型/elapsed,不忽略未知root/RSS;观测缺失仍停。只改变外部RSS读服务预算,不放宽300s/2560MiB构建门,也不改产品/原消费者native查询15s门。先确保首owned构建无残留,不结束他人任务;新脚本/新结果留存,不覆盖首失败、不自动重试。最终构建结果以新机读终态为准;只build,不发布。