[yihanzhu]

Tracks #439

review_size: standard

明确 C2 helper 取得句柄到 custody 公布之间的正常清理责任。保留首错、取消优先、关闭次错和未知记账。限定真实资源回归和 H5 同 held 的一次 recheck 故障；原控制与安全限制不变。

正式独立 G2 已 ACCEPT、Important 0，经理已读完整原审。自动快速 CI 41197514933 通过，仅证明 quick checks。原完整矩阵 41157337543 的 64 PASS、4 FAIL、11 NOT_REACHED 和全部失败、UNKNOWN、费用与验收欠项保留。

这里只接受规范。源码所有权 I1 仍未闭合。后续仍须独立高风险计划、fresh CODE、完整源码及资源审查、完整 79-suite 六分片 CI 和原 native/G3 验收。保全只保存原稿，未接受源码。系统保持未激活；不授新增网络、凭证、安装、真实 target 或运行权限。

Head: c2c44f3
Base: 389c86e
Spec blob: 9890fe5893282c67f165ddcf61906436b0fc5377

[cloudflare-workers-and-pages]

Deploying ystack with    Cloudflare Pages

Latest commit:	c2c44f3
Status:	✅  Deploy successful!
Preview URL:	https://6a449c79.fabrica-6yx.pages.dev
Branch Preview URL:	https://codex-spec-eval-candidate-hi.fabrica-6yx.pages.dev

View logs

[yihanzhu]

Independent G2 spec review. Requested gpt-6-astra / high; actual runtime model/effort UNKNOWN. Manager read complete raw review at exact head/base. G2 spec only; source FAILURE and all debts remain. No CODE or execution GO.

PR793 正式 G2 独立审查

G2-verdict: ACCEPT
Important: 0

请求模型：gpt-6-astra/high。运行时未报告实际模型或 effort：UNKNOWN/UNKNOWN。
审者：ci410074_code_scope_review；与 spec、plan、source 作者分离。本审仅接受以下精确规范候选，不接受源码，不授 plan、CODE、推送、合并或运行 GO。

绑定	实际值
仓库 / PR	yihanzhu/ystack / PR793，OPEN、非 draft、labels=[]
spec 分支	codex/spec/eval-candidate-history-20261028
head	c2c44f3
sole parent	1b1ecd4
base	389c86e
tree	69081a852837ae2308a3b8411fe32dec94770d94
spec blob	9890fe5893282c67f165ddcf61906436b0fc5377
spec bytes / SHA-256	299047 / c9b173744a07ae1911f5b3fe6c0f409f1d8e7bba743e2e82d1d9cc2e0c88002e
intent blob	a4197f299974e62bb2b97e004b75182012abbb87
risk	high
base 上的旧 plan	90a6ba8af3cc826237eb8c0eb8a4dfb24ea3ae2e；本 G2 不更新或接受后续 plan

第一遍：规范、根因和范围。

全文读本次 r2 author report、完整 15324 B diff，以及新增和改动的全部规范。重新核对 r0/r1 技术原审、r1 保全重绑原审及所有权判断的原件 SHA；沿用其中未变的已读源码事实。当前规范精确开放 C2Helpers.build 的真实取得→C2Root 构造→build_custody 公布。只有明确消费协议需要时，才可在同一 C2Root.init 入参接管/早初始化边界闭合。其它 Root 方法、业务步骤、consumer 和通用恢复器没有获得授权。

这解决正常 owner 交接中的静态条件反例。规范没有把它称为本轮观测泄漏，也没有用它解释 T/scope。待交接 held 必须有明确责任。成功只移交一次；构造器已消费或关闭结果不确定时不得重复关闭、重试。责任槽消费不等于 OS 关闭成功。普通主错、marked cancellation、KeyboardInterrupt、关闭次错和已知/UNKNOWN 记账均保留。不允许 traceback/f_locals 找资源、仅凭 custody=None 猜责任、依赖 GC 或退出隐藏问题。因此这是正常架构根修规范，不是绕过守卫的私有恢复 workaround。

H5 例外故障接点闭合了早先 plan 候选 I1：仅在真实 acquisition 返回同一 held 后，对 saved C2Root 内该 held 的原 recheck 抛同一 MemoryError 一次；其它对象/调用委托，finally 恢复。每次原函数一次，原 first-read mutation 复用再一次。它不改变 acquisition 的检查，不引入实际工具、平台探测、child/pipe 或日志字段。H5 的规范许可不等于当前 plan 接受。

原 helper-env build、两次有限 uname 声明、同源完整 helpers/五 literal、真实 cache join、同一 sentinel、原关闭/取消及其它五组和后继控制保持。新增回归限于同一原 fixture 调用。独立 high-risk plan 必须先闭合最少 case、真实 acquisition/build/constructor/close、mutation 复用和完整累计表；未闭合不能授 CODE。原 case/call/assert 不减，不能用假 held、假关闭或看到预期主错便判清理成功。

写路径闭表仍只有 launcher、原 fixture 和 scope-qualification。scope 的 Expr 谓词仍只在同一物理行前移。它不是生产交接派生绑定路径。SOURCE84 不含 launcher；实际 launcher/c2_program 改动必须重算 source manifest、recipe、运行快照和动态 launcher_sha，不能写自证 expected。61996 B shell helpers/SHA、五 shell literal、SOURCE84、consumer7d58、正式 observer/native body/hash/d35/1197/1231、evals.jq/driver/run-evals、九 copy/maps/pins 保持。发现第四个固定依赖必须停门。既有 43/8、40/20、C1 六功能/三 pin、九 adoption 成员不扩。

第二遍：原件、逆证和提交身份。

作者 r2 manifest 六项全部独立核 bytes、SHA-256 和 Git blob。published Git spec、SW 物理 spec 与封存候选逐字相等。完整 inverse 的十处变换逆向精确返回 base 的 E12 spec。另用纯文本 unified-hunk 应用完整作者 diff，独立得到 published spec。实际 Git diff 为唯一 spec 路径 97+/8−。Git 与作者 diff 只在 hunk 描述及空行对齐上不同；两次直接文本相等检查先停止，核实后用完整字节及独立 patch 应用判定，没有内容差异或略过失败。

实际 merge 1b1ecd 的父序为 [833e355, 389c86e]，tree 366c418a16c8d796d31daed92b7c6c7454ca81ec 等于 base。其后唯一新提交 c2c44 只改 spec。有限 Git 对象核遍 base 外 39 个既有/新增对象：所有非 merge 只改 spec；每个 merge 对其第二父无路径差异。没有代码先写后撤、重建分支或 published-history rewrite。

先前 spec 远端分支缺席已按 PR791 合并、原 local833e 保留及 delete_branch_on_merge 配置解释；本次 normal push 原 argv 没有 force，成功结果为创建同名远端分支。postpush ref 和 PR readback 均为 c2c44。该 spec 分支与 source 远端 89748 是两个不同身份。PR body 只有一个 review_size: standard，使用 Tracks #439；没有关闭 intake 或宣称 source/full CI 已通过。

源码仍为 932d9f9，SW 为 c2c44，PW 为 c00a11b；本次末次只读 Git status 三者均 clean。保全 closure SHA d66be339c1cf72fa70db2a0bbae98269b23a5cee4bcce8d5b9628da6cfe62120 和直接批准 SHA 99d9e51e3e4a4283f79bcc7d72c21530a02914dc0f1f82a730d2d4e0c70b9d0c 与 spec 一致。H932 的 sole parent M05a2、tree c40cbc、clean601 事实复用已独立核全 601 的保全重绑原审。此处不重做源码语义审。保全 GO 已消费；source_ACCEPT=false、静态所有权 I1 OPEN 均未删除。

第三遍：治理、quick CI 和后继门。

当前 W 的 AGENTS、REVIEW、program decision、ci-minimum decision 与 base 原件逐字一致；哈希见 proof。按本会话已有直接 operator delegation，普通正常根修 G2 可以由分离作者和独立审者完成。保全已直接批准并关闭，无须再次请求普通范围批准。该事实不把本规范变成新运行、安装、凭证、网络或生产权限。高风险 plan 仍必须另行保护落地后才可 CODE。

读取经理封存的实际 API 原件：main postpublish=389c，PR793 head/base 精确，labels 空；#439 OPEN 且仅 claimed；source PR allstates=[]，source remote89748。只读证据有明确采集时点；审者没有联网。经理在合并前仍需鲜核不变 tuple。ruleset21500323 原始响应为 active、default branch、deletion/non-fast-forward 保护、PR squash、strict required ci、bypass_actors=[]、current_user_can_bypass=never。没有规则修改记录。本报告不把尚未发生的保护合并说成已完成。

quick run41197514933 已 completed/success，attempt1，actor/triggering actor yihanzhu，head c2c44，PR793 base389c。checkout 原日志为其合并测试 ref 9de53af，明确把 c2c44 merge into389c；没有混用 sourceH932。独立重哈希 quick-log-index 713 B / 99e9c9b0e2e813236bff2905ca123151f90d34e051f241f7dffbe4aa70edc3a8。

job	完整原日志 bytes / SHA-256	终态
checks124526561628	22586 / 8e958842d49f01339232905ef82647e514f6277750655253f5763eb51cf9670e	SUCCESS
ci124526966333	4110 / fb81472a45b5e34551b58e60eda2311f24e822c3f955a88297d43b65b9949258	SUCCESS
test124526562216	metadata steps=[]，没有 full log	SKIPPED

两份下载 receipt 均完整关闭、exit0、stderr0。全文读两份 raw；首次 metadata 与日志混合展示截断后，另读缺失的 checks 前缀和完整 protection JSON。checks 的结构、pinned ShellCheck0.11、sharding、rename、schema/pending-stage、minimal gate 均成功；aggregate 原实际行明确 checks: success、test: skipped、automatic quick checks passed。这只满足本 spec PR 的 quick gate。

原 full CI41157337543 仍 FAILURE，64 PASS/4 FAIL/11 NOT_REACHED；保留全部失败原件、两 principal NOTRUN、scope P1、历史 job1/T/scope UNKNOWN、native/G3、L/R、轮数及费用债。新增实际取得/读写/异常/清理费用归原 owner/caps 或普通 harness 累计 UNKNOWN，不填零，不借 #558，不退款或另建预算池，不声明 fit/native。规范接受不能关闭源 I1 或历史义务。

简化核：只保留同一交接根修、必要真实回归、实际绑定与阶段边界。没有要求新诊断工程或重读旧八份大日志。经理必须全文读此原审，并在精确 tuple 与必要 CI 仍匹配时另行 protected merge。后续新 plan、原 source 正常 artifact merge、fresh CODE、完整 source/recipe/resource 独审、正常提交/rebind、唯一 fresh execution GO 和原完整 79/six-shard 证明继续独立。

证据索引：同目录 proof.json，27512 B，SHA-256 d28e1ceaf7cf101a33fdf660d383781c0f77d1ee1be93c6a6216c6628e3bb1ee。包含所读/复用原件路径及哈希、39 个历史对象、实际 tuple、PR body、quick 元数据和末次本地状态。审者仅写本 C 目录；未改 W/PW/SW、Git、API、标签或评论；未执行任何产品/fixture/helper/generator/import/compile/test/probe。STOP。