Skip to content

research: reviewed D1–D4 chain, reproducible CI and pilot gates - #9

Open
liuhaolin07 wants to merge 11 commits into
codex/source-trust-research-designfrom
codex/agentshield-d1-d4-c1-c7-20261023
Open

liuhaolin07 wants to merge 11 commits into
codex/source-trust-research-designfrom
codex/agentshield-d1-d4-c1-c7-20261023

Conversation

@liuhaolin07

@liuhaolin07 liuhaolin07 commented Oct 23, 2026 •

Copy link
Copy Markdown
Owner

本 PR 将 PR #6 的来源可信性研究收敛材料及 D1–D4 工程实现落到仓库。本轮按用户 F1–F5 复验意见修复:研究分支原先没有触发 CI,Windows 不支持的安全文件操作未定义拒绝状态,早期快照混淆了设计 base 与实际验证文件树。

  • F1:新增按研究路径触发、无 base 分支过滤的 Convergence review checks,Ubuntu/Windows + Python 3.12 均运行完整测试发现、设计/冻结检查、提交树快照检查及 provider 阻塞检查。
  • F2:能力检测覆盖 O_NOFOLLOW / O_DIRECTORY / O_NONBLOCK / dir_fd / fcntl;能力缺失明确 PLATFORM_UNSUPPORTED,安全 I/O 和派发前拒绝。正式 pilot 平台契约为 Linux + CPython 3.12。Windows 的 POSIX 测试显式 skip,原生拒绝路径正常测试。
  • F3:CLI 测试使用 sys.executable;新增空 PATH 验证。Windows CI 另发现三个旧 Dots 测试日志句柄关闭晚于临时目录删除,现已用作用域关闭修复,首次失败运行保留。
  • F4:startup 快照加入 provider_capture_verified=false、证据引用和显式条件,派发资格由 pilot_readiness.py 重算;其他条件通过也不能绕过未验证的 provider 捕获。
  • F5:审计全部 18 份历史 verification 快照,三份可在明确提交复现;15 份(含 reviewed-package-verification.json)标为 SUPERSEDED_UNREPRODUCIBLE,不作为通过证据。旧字节和评审引用保留;索引明确 base_commit、verified_tree_commit、路径根。新快照逐项绑定到实际提交 a99320d,自身及索引元数据排除以避免循环引用。

已完成的 CI:运行 #3,头提交 84b176a:

平台 测试结果
Ubuntu 212 通过,0 failure / error / skip
Windows 162 通过,50 项 POSIX 测试显式跳过,0 failure / error

两平台的 CI 设计检查、冻结检查、快照校验和 provider 阻塞检查均通过;Linux 另在原提交 worktree 只读复核旧 v2/v3 归档。新快照 365 个文件摘要逐项通过;255 个 PR #5 文件与 11 个 PR #6 文件保持原字节。原 PR #6 的设计检查器未改动;新增 CI-aware 版本保留 39 项检查,仅在范围检查中额外允许新 workflow。

最新复验入口:F1–F5 修复说明,含 D1 平台契约、快照索引、新提交绑定快照和复核命令。

用户本轮未签“审核通过”;Ready 仅表示等待再次复验。C2 盲评、D6 新十二家族接收、真实 provider 原文捕获验收及正式执行绑定均未完成;provider_capture_verified=false、dispatchable=false。正式材料接收 0/60、pilot 0/984。本轮无真实模型调用;单元测试中的本机夹具执行与研究分开记账。历史 33 次模型请求不补造原文,不作为独立复现或 H1–H5 结果。

H1–H5 边界与预算保持 E0/E1 54,720、E3 另计 3,600、pilot 单列 984。C3 阈值仍为 null,C6 未定稿,H4 延期;没有读取外部 holdout 正文或启动正式实验。

@liuhaolin07 liuhaolin07 changed the title research: implement reviewed D1–D4 development execution chain research: implement reviewed D1–D4 chain and raw model capture Oct 23, 2026
@liuhaolin07 liuhaolin07 changed the title research: implement reviewed D1–D4 chain and raw model capture research: reviewed D1–D4 chain, reproducible CI and pilot gates Oct 23, 2026
@liuhaolin07
liuhaolin07 marked this pull request as ready for review October 23, 2026 05:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants