L4-S8 Formal Contract · 2026-10-17 · 报告型运行观察固定五轮
S7新参考资格已完整完成（8秒请求、7个完整看见读，实际未观察尾0.680184秒）；正常UI新资格43.456268秒完成且startupEnabled=true，Start/Stop各一次、Lab五回调与Session durable成立。此轮仅资格不进正式分母。Raw严格同代际请求→运行端点为1558.445678ms，live与CSV均candidate；CoreProfile Total178.921333ms是另指标，不代替L4。当前179实际GUI走受控CoreProfile路线，源码main的较新官方启动逻辑不冒称已装入179；本次适用范围固定179现有UI，未核新版GUI不外推。
先只读资格封口复核，再五轮：实际安装二进制startup命令在独立collector-core完整副本运行，只生成该副本的Observation报告；原startup-report.json为在线CoreProfile报告，文件名不代表Observation，原件不回写。对照Raw请求/首个合法同目标同代际运行、live/CSV/candidate/生成报告SHA必须完全一致。参考同源独立读界只验证状态与迟滞，不证明物理出生/首帧精度。资格全部成立后，固定工具摘要与包/IPA摘要开始五个独占新run/Session；串行1，间隔15秒，单轮工作90秒/外105秒、整队列≤420秒，首失败停、不补轮、不自动重试。正式轮用0ms下一生命配方，保留准备/领取/新生命/参考/封口全部证据。
每轮固定判据：
- 精确设备/目标/已签版本，准备生命与采集新生命不同，唯一请求和合法运行同目标/代际、正时间；不得跨生命/跨源拼接。实际capturePlan启用启动且请求含L4，正常UI Start/Stop各一次，Session completed/durable。
- Raw公式逐纳秒复算，实时所有有值样本、CSV所有有值行、实际二进制startup报告一致（绝对浮点误差≤0.000001ms），全标candidate；报告sourceRawSHA256等于封存Raw SHA。首次值之前的missing保留，不计算轮询曲线连续性。没有值/0/旧值/身份不符均失败。
- 参考至少两次启动前未见、唯一当前生命看见，未知读如实保留；有效看见读的PID须与产品端点一致。产品运行时间处在一对相邻同生命看见读的保守读界内，无中间absent/unknown；不把区间当精确出生。参考最大完整读取≤1500ms、最大实际起始间隔≤2000ms；不满足则参考资格失败，不断言产品不准。
- 工程迟滞门而非物理精度：0<运行观察耗时≤5000ms，运行端点不得早于最后未见读起点，且较参考首次完整看见结束的正向迟滞≤1500ms。这是本专项预先固定的可用性/无明显偏离门，含轮询/系统服务及调度，不是行业精度标准；不套50ms/20%到不同端点，也不声称实际启动耗时准确到1.5秒。资格轮端点较参考首次完整看见结束迟849.467816ms，只作制定新五轮门槛的输入，不倒算成正式通过。
- 每轮Lab0ms计划/五回调/3件SHA保留，参考完整结束且尾部未覆盖单列，全部显式句柄关闭；采集≤256MiB，子RSS192MiB，磁盘≥10GiB且≥预计增长两倍。仅自有进程/自有App正常退出，不触及其他App；不重签/升级/覆盖安装，不并行构建或发布。
先软件负控验证错误身份、数值/质量、无未见基线、窗口外/未知夹层、参考超限/迟滞超限、旧值及缺失等能拒绝；工具源码/签名包/IPA/源提交与五轮起始SHA冻结。软件每组≤120秒、单次副本报告≤30秒，总O(本轮文件字节)且不解码大blob；只流式摘要校验。达到固定五轮后独立重读所有原件/封存/实际报告与CSV，不用执行脚本自评作最终证据。仅此L4可新增1项；Total/前台/九阶段不顺带验收。正式通过与GitLab/public交付分列；失败有可自主修复路径就继续，不靠扩大阈值/删失败制造进度。
S8软件准入：36项控制全部通过；新资格实际二进制独立副本重算1558.445678ms，与32个live及32行CSV一致，原37件Session摘要不变。正式工具冻结SHA（round / audit / controls / queue）：f40cca3041ed867f1da3d3c210244c52374e492f573506c57b0836179b3e7fa7 / 16f3e5dbeaff983846ea384f57f946bb1cc033fdb589fea9751e4a3a9ed0614b / 2a51b24070b82dec21c4110d3f944a512703ca98999cca25307842d0f8b73dee / 7e5293e3d3bfc108c8e8d6bf8709e3204e420c46397f7c127c2ee900b69d89fc。参考源固定main 91ccc7350c781fff4511b37d87d3f769068d7e4c；Mac179/IPA沿用S6实际签名件，不重装。此处固定门槛与工具早于正式队列，后续不原位改写这些工具或重跑已消耗run。
Independent Acceptance Update · 2026-10-17 · L4-S8运行观测五新轮（E4，限定范围通过）
指标结论：Process Observed Running 按本页S8固定工程门通过5/5；新设计留存验收由1/66增至2/66（Free＋本项）。 历史非启动仍8/54，旧7项本轮未重验，不能把两个口径相加。前台/Total/九阶段均未顺带验收。本批无产品源码修改、无新Mac或手机包，唯一标准179/手机Lab90.21.8保持。
实际执行与独立复核
先完成S7真实8秒参考资格：7个完整看见、0未知、预留尾0.680184秒、8.888720秒/RSS64417792 B，全部显式句柄关闭。随后正常UI资格43.456268秒/RSS73134080 B：Startup Timing实际武装、Start/Stop各一次、Lab0ms下一生命五回调与3文件SHA、Session durable。资格Raw/32个live/32行CSV/真实二进制副本报告均1558.445678ms，原37件Session字节不变；不计正式分母。首次只读发现自有残留进程，严格同生命SIGTERM一次后确认空闲（4.378279秒），0产品Start/0URL/0安装；不关闭其他App。
正式队列固定5轮、冷却15秒、不重签/升级，300.509695秒完成（420秒上限）。五个不同目标生命和Session，每轮正常UI Start/Stop各一次，没有失败补轮/自动重试。运行目标与准备生命不同，Raw唯一请求及合法运行端点同目标同代际/epoch/reconnect；参考至少两次启动前未见，运行端点处于相邻同生命看见读的保守界内。未知读保留，不改为未见。
| 轮次 | 运行观测 ms | 较参考首次完整看见结束迟滞 ms | 参考完整读 / 未知 | live有值 / CSV有值 | 固定门 |
|---|---|---|---|---|---|
| 1 | 1335.465222 | 387.789765 | 34 / 0 | 30 / 30 | 通过 |
| 2 | 1560.044252 | 59.695439 | 31 / 1 | 31 / 31 | 通过 |
| 3 | 1438.984415 | 577.513624 | 33 / 1 | 31 / 31 | 通过 |
| 4 | 2018.404378 | 1193.615677 | 31 / 0 | 30 / 30 | 通过 |
| 5 | 1929.036319 | 29.680836 | 31 / 1 | 28 / 28 | 通过 |
独立复核不调用执行器check函数，重新读取原Session与副本逐件SHA、Raw清单/计数、请求与运行、参考完整双查和精确身份、消费者与导出。5×37件源/副本完全相同，5个report-seal及product/core关联摘要、每轮5个物理文件摘要成立；analysis-state使用logical-checkpoint，未冒称已重新计算逻辑摘要，其实际原/副本字节另已核同。Lab每轮五回调/0ms计划/3件SHA成立。每轮已有数据的独立真实安装二进制startup命令仅在新副本生成Observation报告，不改原件、不重新解码blob；报告sourceRawSHA256等于该轮Raw摘要。五个新报告与live/CSV公式一致，所有值candidate，无缺失补0、无正值后退为缺失。独立复核6.188079秒/RSS92905472 B；实际报告子进程0.809848–0.942480秒，最大RSS67149824 B。
接受什么、不接受什么
- 接受179既有正常UI路线的主机首次运行观察、状态/迟滞工程门和Raw→live→CSV→实际二进制报告一致性，不是设备出生、物理首帧、业务可用或App Launch Total精度。五轮运行观察1335.465222–2018.404378ms包含实际轮询与调度，不等于真实启动耗时。正向迟滞最差1193.615677ms，小于预定1500ms；这个门是本专项可用性容忍，不称行业精度标准。
- 参考仍同系统服务的独立读取器，新鲜度unknown。最大完整读994.186450ms、实际起始间隔1495.931305ms；实际尾部未观察0.121536–0.974725秒全部保留，不声称连续覆盖或100%长期可靠。
- 当前179的实际GUI是已保全的受控CoreProfile路线，与main较新官方启动GUI代码不完全相同；主线源码/包内最小修复分别已有记录。本结论不外推未装入179的新GUI、其他App/系统或完整12启动项。该差异后续仍需整合验证，不能宣称所有共享WIP已合并。
- 在线startup-report.json当前装的是CoreProfile launch-trace schema，不能仅凭文件名当作Observation报告。L4在实时样本/CSV和显式startup派生报告可核；面板无Running曲线是既有设计，不无故恢复。副本派生报告是另一个明确入口，不把Total值替代L4。
- 旧S6未武装源/尾读partial、升级300秒超时及所有失败/回滚保留，未被本批覆盖或改判。公证Owner暂缓/Gatekeeper未公证拒绝、GPL正式分发门、继承wall性能风险和GitLab镜像缺口继续分列；单指标E4通过不等于整体产品可对外发布。
源码、资源、封存与下一项
36项冻结判据控制通过，另9个可移植单测方法通过（0.005秒，含多组subTest，不将方法数当独立场景数）。冻结执行器和本批可复用判据validate_startup_observation.py逐字节一致；保留其binaryReportWallSeconds旧字段含义为二进制调用加后续核对，不用作纯二进制时间，纯时间以上述独立time读数为准。本批只新增该测试工具及其便携控制，产品源码/公式/采样频率不变，源码窄main提交，不整包接管共享WIP。
封存655件、非自引用SHA清单76337 B，清单SHA 5bca39bbfa5de171ccd4015198a086dbc25d979fd71058c74354f92e5e5bef57；工具、五轮Raw/Session/参考/Lab/派生报告/独立复核齐备。每轮资源与参考尾界逐项留存，首次站点候选构建后实测空闲30.82GiB，高于10GiB且增长两倍底线；本批0删除Raw/失败/回滚，未新建环境或常驻任务。private工作目录为fixture-lab-l4-formal-20261017-01，公开只使用别名。
下一项只允许进入Foreground Ready的独立方案/来源核对，尚未开始其正式五轮、未判通过；先核其前台状态语义和参考是否实际支持，再落新合同，不复用本五轮冒充预先批准的下一项验收。用户无需再次授权签名或重连。源码/文档提交、两端推送、网站与单次通知结果以本批最终收据及交付汇报为准，不预写成功。