Repository navigation
fix(workspace): retain exact oracle evidence in delivery exports - #6779
Conversation
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
There was a problem hiding this comment.
Reviewer: model_agent · OpenAI gpt-6.1-sol · runtime_reported · effort=max
Approval conclusion (author-owned PR; GitHub blocks formal self-approval)
审阅精确 head 61b36af6eddd7fb51ff0d1b02d17e5550c659c64，对照 main 105c4bc15091afac832495167cb98a1389951a04。代码结论 APPROVE；必需模块预算失败仍阻止合并，本结论不授予 merge 或 bypass 权限。
动机
负责人下载交付快照并在稍后复核产物时，需要知道由哪个已固定版本的检查器、在何时、对哪些文件版本做过检查。
此前同一份下载只留下通过标记和退出码，产物更新后无法从文件中确认原检查对象；现在下载同时保留检查器来源、UTC 检查时间和输入／输出摘要，并把历史结果与当前观测分开。
独立下载和反例验证表明，旧凭据在文件变化后仍可追溯，读取与导出不会执行检查，也不会把保留的历史结果升级为当前通过。
本次不建立独立作者、真实采用、Goal 完成或安装版 App 已验证的结论，也不改变检查、调度和合并权限。
已有 L1 资格仍需真实独立作者、后续采用和安装版证据；这些缺口没有被本次导出修复关闭。
改动思路
当前状态继续由已有验收 reducer 决定，实际检查和版本凭据仍由原后端负责；导出只呈现两者，双语标签也回到同一文案 owner，因而不需要第二套状态或执行协议。
本 PR 完成交付快照的来源和版本保留；真实独立作者、跨轮采用及安装版资格继续留在已有 L1 验收，导出本身不关闭这些验收。
这个边界的关键是区分“现在观察到的状态”和“当时实际执行的凭据”。条件行通过已有 reducer 显示当前观测及当前检查器来源；历史结果行只读取原回执的来源、实际时间和文件摘要。更换检查器不能改写旧结果的身份，缺失字段也不能由当前配置补造。下载继续使用已有 Blob 导出，不增加命令、设置、必填输入或用户确认轮次。原有检查失败、修复和再次检查仍由同一个后端负责。
| 场景 | 旧导出 | 当前 head 的结果 |
|---|---|---|
| 已记录的检查 | 通过／退出码，缺少执行来源与版本 | 保留原来源、UTC 时间和文件版本 |
| 文件或检查器变化 | 无法从下载追溯原检查对象 | 当前状态与旧凭据分开，历史不变成当前验收 |
| 未启用或普通条件 | 既有格式 | 中英文 16 组完整输出逐字节相同 |
此表是源码与独立执行结果的归纳，不是额外执行证据。
具体改动
依据原规范 docs/reference/goal-acceptance-observations.md#owner-pinned-oracle-and-exact-versions，不可变版本 105c4bc15091afac832495167cb98a1389951a04；另核对同版本 task-first frontend delivery 与 design 的整体视口要求。原条款没有编号，以下描述性标签仅用于本次映射：
- checker-source-and-exact-versions — implemented：来源 id／digest、实际 UTC 时间、输入和输出引用及摘要来自原执行回执。独立旧版反例会丢失时间和输出摘要，当前版本及实际下载均保留。
- current-observation-versus-history — implemented：复用既有 reducer；六种 oracle 状态、held／partial、缺失凭据、替换检查器都不能通过原始 passed 标记升级为当前通过。
- read-and-export-no-execution — implemented：三次实际下载的请求增量均为零个 POST，前后 canonical verification 完整相同；读取、下载不执行检查。
- ordinary-default-off-parity — implemented：中英文的 absent、disabled 和六种普通状态共 16 组完整 Markdown 与原 main 完全相同；停用后公开投影为 disabled，原 SQLite 记录仍保留历史凭据。
- independent-adoption-qualification — deferred：保持已有 L1 owner 的真实独立作者、后续采用和安装版验收，不把合成场景或下载成功当作这些证明。
关键代码讲解
deliveryReviewMarkdown：条件通过projectGoalAcceptanceCriteria读取观测；历史行从result.oracle_evidence取原来源、时间和版本，继续用既有line()转义 Markdown。没有重新读取文件或执行检查。projectGoalAcceptanceCriteria：实现没有改动，现在也服务导出；它保留 revision／digest、held、partial、stale 等已有降级规则，避免导出绕过屏幕使用的判断。goalAcceptanceContractCopy：把原有中英文检查器及六态文案集中到现有 owner，屏幕和导出复用；原词句未改，也没有增加共享状态词汇或 prose 分类规则。
测试维护调整的是既有 fixture 的两份读源和当前单一检查区的选择器，缺失／陈旧／失败等反例断言仍在。文档为中英文增加导出说明；两张合成视口图已检查像素、CRC 与无文本／EXIF 元数据。
对主干的风险
最危险的回归是把当前检查器的身份贴到旧成功记录上，或者在文件变化后仍凭原 passed=true 宣称当前通过。独立执行覆盖六态、缺失见证、替换来源及 held／partial；把历史来源改成当前来源的编译产物变体会被独立断言拒绝。实际后端中，输出文件变化使实时页面显示 stale；下载保留旧时间和摘要、回执不变。显式检查错误文件会失败，修复后显式检查恢复 current，停用仍保留 canonical 历史。
独立验证包括：正常 Chat 包构建、TypeScript／Vite 与 source 验证；94 项 File／SQLite oracle 和 prepared-action 测试；B/H delivery smoke；16 组完整格式对照及 26 组语义反例；标准 premerge 的 4 项直接检查和 19 项所选检查。premerge 只选中了 docs／public 风险，因此另行补了真实前端导出与后端路径，不能单靠该摘要覆盖前端。
实际浏览器使用当前源码正常构建的页面，业务响应来自隔离的真实 SQLite／HTTP／CLI owner，准备方案的模型传输是脚本。代理仅托管静态包并转发同源请求。验证了英文桌面、中文 390px、键盘采用检查、减少动态效果、下载和失败恢复，390px 无横向溢出。公共后端 fixture 未配置无关 Chat／模型处理器，页面相应不可用提示和异常被保留，不能称为全 Chat、真实模型或安装版验收。首轮 smoke 因我同时构建时重装依赖而缺少 zod，依赖稳定后顺序运行通过；原失败保留，没有删断言或放宽限制。
语义与 CI 对齐
既有 oracle vocabulary 和权限边界被复用，没有新协议或默认调度行为。必需 root-module 测试仍失败：146 超过 145，1 failed／5 passed。 在不可变 base 与当前 head 上，完整失败除耗时外一致，checker、预算文件、offender 和全部 146 个模块列表一致；PR 没有 Python 模块改动。现有 #6768 负责修复，作者 exact-scope CQR 的失败和合并 hold 保留，不增加预算或豁免。当前 wait_for_ci=false，未查询、轮询或等待 CI。
我的整体评价
交付判断为 justified_increment：下载产物本身已变得可追溯，保持已有历史／当前性与显式执行边界，构成可独立复核和回滚的完整导出修复。长期维度为 preserved，证据能跨后续文件变化与失败恢复保留；没有测量长期效果或成本收益。用户体验为 improved，已有导出动作即可得到所需来源，无新增必填配置、声明或确认轮次。
当前状态继续由已有验收 reducer 决定，实际检查和版本凭据仍由原后端负责；导出只呈现两者，双语标签也回到同一文案 owner，因而不需要第二套状态或执行协议。
本 PR 完成交付快照的来源和版本保留；真实独立作者、跨轮采用及安装版资格继续留在已有 L1 验收，导出本身不关闭这些验收。
代码量与已复现的缺口相称；合并同域双语文案和复用 reducer 是本轮已应用的有界简化，无需新框架或并行状态 owner。未发现当前改动范围内的阻塞代码问题，当前精确 head 的代码评审结论为 APPROVE。模块预算与质量门保持失败，独立作者／真实采用／安装版资格仍待原 owner 验证；这里没有 ready-to-merge、合并或 bypass 结论。GitHub 同账号不接受正式自批准，因此用 COMMENTED 评审承载代码结论。
English verdict: APPROVE the exact-head bounded export repair. The actual checker witness survives download without rerunning checks or promoting historical evidence. The pre-existing required module-budget failure remains a merge hold; independent adoption and installed-App qualification are still open.
loopx-agent
left a comment
loopx-agent
left a comment
There was a problem hiding this comment.
Reviewer: actor_kind=model_agent; model=gpt-6.1-sol; provider=OpenAI; runtime_reported; reasoning_effort=max.
Approval conclusion (author-owned PR; GitHub blocks formal self-approval)
APPROVE：完整核验 6779@61b36af6eddd7fb51ff0d1b02d17e5550c659c64 后，未发现本次改动引入的阻断缺陷。根模块预算的既有失败继续保留为独立合并阻塞，下面的批准不豁免它。
动机
受影响的是在 Goal 中下载交付快照的本机负责人。负责人把已检查的交付物下载留存时，旧文件只留下通过及退出码；现在同时保留检查器来源、检查时间和被检查文件的准确版本。这里的检查器是负责人明确指定并固定版本的程序，不能从它的名称或文件摘要推断独立复核者身份。
下载文件能回溯当次检查的依据，历史通过不会变成当前通过，导出不执行检查。不修复时，接收者离开当前页面后无法从快照追溯究竟检查了哪些字节，往往需要重新寻找原记录。本次只修复快照导出，不证明独立作者、请求者采用或正式 App 生效。真实独立异议、请求者采用和正式 App 安装效果仍待现有 L1 工作验证。
改动思路
保留现有验收 owner 和快照读取路径，只扩展现有 Markdown 导出，并共用已有的双语展示文案。当前条件使用既有 typed reducer；历史依据只取该次保存的检查结果。没有新增状态存储、检查执行器或配置开关，下载仍由现有按钮完成。
保留当前设计：版本观察属于既有验收 owner，前端只投影已收到的事实；共用文案能去掉屏幕与下载之间的重复规则。当前 PR 边界是导出检查依据、共用展示文案和修复对应回归消费者，验收执行与 L1 真实采用不在此处新增。只写文档不能修复丢失的数据；为导出再执行一次检查会增加副作用，也会改变被保存的历史事实。
| 情况 | 基线 | 当前提交 |
|---|---|---|
| 保存检查依据 | 只有通过和退出码 | 保留来源、时间、输入和输出版本 |
| 当前文件变化 | 旧结果仍只能作为历史读取 | 历史依据保留，当前通过撤回 |
| 普通条件或停用 | 原格式 | 完整导出逐字节相同 |
这是依据源码和实际对照整理的比较。验收面板会观察当前文件；交付快照的原始 canonical/status 读取没有主机文件观察，因此可能显示 recorded，即“历史结果，当前版本未核对”。两者不应混为同一个当前成功判断。
具体改动
规格依据：docs/reference/goal-acceptance-observations.md#owner-pinned-oracle-and-exact-versions，spec_revision=105c4bc15091afac832495167cb98a1389951a04。固定版本的原合同 已要求区分当前文件观察与历史检查，并明确读取不执行命令。
| 验收项 | 本次处置与证据 |
|---|---|
| oracle-witness：保留实际检查来源、时间及输入输出版本 | implemented；实际下载保留同一原生检查回执的全部这些字段；旧版消费者确实缺少时间和输出摘要 |
| current-vs-recorded：历史通过不等于当前通过 | implemented；六种 oracle 状态、缺少依据、替换检查器，以及真实文件变化后的独立 CLI/页面读回 |
| off-parity：普通条件和停用保持原行为 | implemented；英文、中文各八种输入的 16 组完整 Markdown 与固定基线逐字节一致；实际停用读回为 disabled |
| read-only-export：读取和导出不执行检查 | implemented；两次实际下载没有新增命令请求，原检查回执未改变 |
| live-adoption：独立异议和请求者采用 | deferred；沿用现有 Live Team Workspace L1 负责人和验收，不以本次导出修复关闭 |
关键代码讲解
deliveryReviewMarkdown在条件区域复用projectGoalAcceptanceCriteria，只有 oracle 条件新增观察状态；记录区域从每条result.oracle_evidence输出来源、检查时间和两个版本列表。当前配置替换检查器时，不会改写旧回执的来源。GoalAcceptanceContractSection继续使用独立的原生验收读取、错误恢复和原有 owner 操作；变化仅把状态文案移入共用 copy。缺少新读取时仍显示历史状态，不新增一套通过判断。GoalOracleEvidence共用来源和版本标签；版本、时间与“不认证远程复核者”的限定仍保留。这个相关简化已在本 PR 完成，无需新增兼容层或独立配置 owner。
其余改动是双语操作说明、围绕同一导出消费者的回归，以及两张公开安全的合成页面图片。浏览器 smoke 同步两个读取入口的夹具，保留 stale/held/partial、缺失读取和操作失败等负例，并适配现有折叠和单一检查入口；没有通过删除断言掩盖失败。
对主干的风险
最强风险是快照带着旧的“通过”及旧摘要，被读者当成当前验收。独立对照执行了 16 组普通场景和 12 组 oracle 场景：旧版丢失检查依据，当前提交保留依据；非 current 状态不显示当前通过，缺少依据不补造时间或摘要，替换来源不覆盖历史检查器。实际打包页面还验证了文件变化、检查失败、修复后重查及停用。下载前后命令请求数和原生回执均未变化。
npm run smoke:delivery-review --prefix apps/presentation/dashboard、完整前端构建、94 项真实 File/SQLite oracle/prepared-action 检查，以及 quick premerge 的 4 项直接检查和 4 项选中检查均通过。打包交互使用真实隔离 SQLite/HTTP/CLI 与 Ego Lite，检查了中文桌面、390px 英文/中文、键盘与 reduced motion。模型准备为脚本；该夹具未接入无关的会话和执行服务，相应不可用反馈保留，不能称为完整安装或 live-model 旅程验收。
语义与 CI 对齐
这里复用既有 AcceptanceOracleState 和条件 reducer，只扩展展示；没有新共享词汇、持久化语义或授权。变更 advisory 和完整 semantic/maintainability 检查均已执行，advisory 的空结果本身不作为语义证明。未查询、等待或触发 GitHub CI。
必需的 tests/architecture/test_top_level_module_budget.py 在固定基线和当前提交均为 1 failed / 5 passed，146 > 145。失败测试、预算文件及全部 146 个根模块的 blob 完全相同，本 PR 不改变这条因果路径；受影响导出的独立证据已通过。因此它不构成本 PR 新回归，但预算没有被豁免，现有 #6768 修复及合并门仍需单独满足。回滚可直接撤销该单提交，无数据迁移。
我的整体评价
这是有用且完整的导出修复，也是原 L1 目标的 justified_increment。long_horizon=preserved：读取、反复导出和后来文件变化均保留原检查身份，不增加调度或执行副作用。user_experience=improved：负责人下载的文件终于带有可回溯依据，沿用原按钮，新增零次确认；已有准备方案的原 owner 决定不被重复要求，也不据此宣称从原始请求开始的一轮冷启动已验证。
代码量与问题相称；相关的未来改动简化已通过共用 copy 落地。ordinary/default-off 的完整字节对照通过，历史回执兼容性保留，未发现阻断缺陷。剩余的真实独立异议、请求者采用与正式安装由现有 L1 工作继续；根模块预算红灯及 exact-head 合并就绪属于独立门禁，本评审不授予合并、安装或撤销他人评审的权限。
English verdict: APPROVE the bounded export repair at 61b36af6eddd7fb51ff0d1b02d17e5550c659c64. Actual checker witnesses survive download without promoting historical results or changing ordinary/default-off exports. The unchanged 146-versus-145 required module-budget failure remains a separate merge hold; live adoption and installed-App qualification remain open.
1 participant
Goal And Delivered Outcome
下载的交付快照原先只保留检查是否通过及退出码，丢失了负责人指定检查器的来源、实际检查时间、输入和输出版本。现在导出保留这些已记录的依据，并把当前条件的观测状态与历史检查结果分开。
docs/reference/goal-acceptance-observations.md#owner-pinned-oracle-and-exact-versions, at main105c4bc15091afac832495167cb98a1389951a04.main; the current prepared-plan interaction and typed acceptance authority are reused.Author Declaration
105c4bc.delivery-review.ts; export regression and actual SQLite/HTTP/CLI downloadScope And Continuation
This completes the bounded export repair. No new configuration, action, provider or authority owner is introduced. The unchanged on-screen checker copy is consolidated into the existing bilingual copy owner. The existing browser consumer also needed its current acceptance response aligned with the retained status fixture and selectors updated for the single contextual check; all negative assertions remain.
The live correction/adoption and installed-App qualifications remain open in the existing L1 program. No model, worker, private conversation, installation or merge is authorized by this proposal.
Validation
61b36af6eddd7fb51ff0d1b02d17e5550c659c64; final production source blobs match the packaged build.npm run smoke:delivery-review --prefix apps/presentation/dashboard; missing witness fails before the repair; six oracle states, missing receipt and changed checker retain distinct facts105c4bc: absent, disabled and ordinary criteria, both languagestsc --noEmitand production build; quick premerge: four direct plus four selected checks, including public boundary and semantic/maintainability checksThe exact-scope quality receipt retains the required budget failure. This is a completed normal proposal for review, with a merge hold; quick-premerge success does not override that failure. Full-repository tests and installed-App/live-model adoption are not claimed; PostgreSQL qualification is limited to the acceptance authority/runtime cases above. The backend/authority implementation is unchanged. The existing bundle-size warning remains.
Frontend / Visual Evidence
61b36af6. These are not installed-App or independent-authorship evidence. No persistent preview service is left running.Type Of Change / Area
Boundary Checklist
English verdict: preserve the exact owner-checker witness in delivery exports without promoting retained results or changing ordinary/default-off exports. The required repository module-budget failure remains a merge hold.