[yihanzhu]

Tracks #439

review_size: standard

保留 END 账本与清理修复，集中补充一个 AST 元素类型先决及原 writer 同次错误的正常传播。保留唯一目标、全部控制和真实清理。生产代码、运行机会和验收标准不变；T/scope UNKNOWN 不由错误呈现关闭。

正式独立 G2 ACCEPT、Important 0，经理已读完整原审。自动快速 CI 41208154993 通过，仅证明 quick checks，完整矩阵未由此通过。原 run41202319488 的失败证据、其它结果、全部历史费用和验收欠项保留。这里只接受规范；分离高风险计划、fresh CODE、源码与资源审查和全部原验收仍须完成。保持未激活。

Head: 588586a
Base: 04696ed
Spec blob: 754737af72ddefeeb1e57b6f68d80a68f850a509

[cloudflare-workers-and-pages]

Deploying ystack with    Cloudflare Pages

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

View logs

[yihanzhu]

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

PR797 精确 G2 三遍独立审查

G2-verdict: ACCEPT
Important: 0

本结论仅接受下表精确规范提交。它不接受源码实现、相关 plan 候选或当前完整 CI，不授 CODE、commit、push、运行或合并 GO。作者与审者分离。审者请求 gpt-6-astra/xhigh，作者请求 gpt-6-astra/high；运行时实际模型及 effort 均未报告，记 UNKNOWN。

绑定项	核验值
Repository / PR	yihanzhu/ystack，id1270665750，PR797
Branch	codex/spec/eval-candidate-history-20261028
Head	588586a
Base	04696ed
Sole parent	f93a881
Head tree	5f266f962f00949774b76d4e665179c6f8b819b4
Spec blob	754737af72ddefeeb1e57b6f68d80a68f850a509
Spec bytes / SHA256	308344 / 4f0be167d1ed381f53395ab1ad9ca580d318e5e29d35fbc4124bede032f1b5d9
Intent blob / risk	a4197f299974e62bb2b97e004b75182012abbb87 / high
未变已接受 plan blob	afcff86e00b7b95e780e3a93b1da88bedb9035a6

入口与完整性。完整读取作者 report 2816B（db2d933b…）、spec.full.diff 15703B（1bf53c34…）、inverse/proof，并逐项重哈希 manifest 七个原件。实际 Git spec 与候选全文逐字相等。八项唯一替换正向得到候选，逆向精确恢复 base 的 f6c24e9d…；独立重建全文 diff 相等。没有以摘要代替新增规范。原已接受 END 规范技术段 3928B、SHA ab793b912adacdf5564f620ebae98aeb7593c4417949f116c1f1ab7891a833ce，完整保留；相关 plan 的 END 段 7411B/10af944a…也逐字保留。相关 plan 仅用于可实施性检查，本报告没有接受它。

第一遍：bugs 与可实现性。

AST 改动正确表达原目标形状。绑定原源 7885707；实际 shell SHA f9c532c45770f6bc4494545da78f67d0b07215743bd009d9577c7a9b5020d008。物理 9086 只判 For/Tuple，9087 原完整名称列表读取会遇到合法嵌套 Tuple。独立静态解析原 assembler：53 个 For/Tuple 中 52 个直接元素全为 Name，唯一非平坦目标为 4286 的 label,(filename,old,new)；应选的 2138 恰是 label/form/change/needle 四个有序 Name。没有执行 assembler 或 selector。

新规范只在 9087 同一物理行、原列表读取之前增加全部元素为 Name 的先决条件。它不会过滤元素后拼出一个假目标，也不删除那个合法非目标循环。必需目标缺失、重复、嵌套或名字错误仍不能满足原 len(loops)==1。原六 labels、iter/body、7 creation、layout 排除、11 sites/receiver/order、3 copies、21 workers/26 observations 及所有后继断言保持。9062 已有 Name 先决，不开放其它 selector；不造属性默认值、不捕获 AttributeError 后继续。不移动行数或重生 maps/dashboard。AST 原审 e768e32c…的已证根因在规范层获得最小正常修复边界，尚不能记源码已修或后继控制已运行。

T 接点仍是已获异常的正常传播。原 enforced _retain_preparation 719–723 将真实 error 交给同 holder 的 _discard_runtime(anchor,copied,error)；即使 copied=None，原方法仍先收到该参数。新规范只允许一个命名的实例私有委托 _writer_two_roots_discard_primary，不换 class/global/生产方法。相同参数转交原 bound 方法恰一次，结果和抛出原样；只留同 anchor 的首个真实 primary。没有该边就没有 cause，不保证这次或未来的 T 失败可定位。

只有原 writer 两调用/unusable 复合断言实际失败，才允许把同一普通 primary 链给同一 AssertionError。原 predicate、消息、whole-leaf 输出和其它断言保持。委托抛出、控制异常与取消绕过该链；后继断言或 cleanup 错误不借此 primary。原对象不能被包装为一个新异常、从 leaf 合成或用预期 code 替代。新增委托调用层有真实成本；“原方法一次”只保持原操作机会，不把新增转发说成免费或没有额外 Python 调用层。

前置边界原审 0576161e…的 I1 已在本候选规范中闭合。新文同时点名实例恢复、原 holder.close 一次与原外层 TemporaryDirectory 的 writer-pending-only 退出。恢复失败也须尝试原 close；任一真实错误仍失败。已有属性精确恢复，原无实例属性就删除临时覆盖，不能用新的 bound 属性假装恢复。安装/执行/恢复都处于原 holder 清理责任下。

活动异常上下文也明确保留：原 close_runtime_copies 783 自己读取 sys.exc_info()[1]，close 829 调用它。新规范禁止 fixture 新读该 API，同时要求原 body 错误仍在正常传播时调用 close；不能退出 handler 后只拿一个不活动引用去关闭。相关计划候选进一步明确恢复次错不能替换 close 所见的原活动 body 错误。这是可实现的有限结构约束，不需要生产改动或新 probe；未来源码必须逐分支证明，静态规范接受不替代该证明。

外层只处理 writer 已选在逃失败：writer 失败直接离开，不能运行 1850 后控制；无 pending 时其它 T 路径 bare raise，writer 成功清空 pending 后继续原后继。同一错误穿过原 with 时原样传播；不同的后续退出错误才与 pending 按 c._c3_first 折叠。原 with/退出仍各一次。其它 T 正文仅可作外层 envelope 所需机械缩进，并完整逆证；不开放整个 T 函数修改。这样普通目录退出错误不能替换先前原首错，而后来的真实 marked cancellation/KeyboardInterrupt 仍按原优先级处理。此处没有声称运行中实际出现目录清理失败。

仲裁保留真实 _c3_first：首个普通失败先于后续普通失败；首个 KeyboardInterrupt 或 _scope_signal_cancel 取消优先且不被后来取消替换。SystemExit 绕过断言 cause，不新增其分类标准。body、恢复、close、退出错分别保留有限局部；不能因选中的对象与原 expected 错误相同就 PASS，不能重试不确定 close 或追加第二套清理。相关计划把直接仲裁限制在恢复、close、退出三处，未给泛化 framework。

第二遍：security、范围与资源。

规范限制在原两个测试文件的精确接点，旧 END 合同继续保留。一个实例/anchor/调用边，首个原引用，不读 frame、locals、sys.exc_info、point、文本或额外 source，不采集列表、字段或跨调用缓存。不新增 producer/retain/discard/close/test/child 机会、runtime probe、输出 label 或 formatter。恢复委托及释放新增 bound/holder/anchor/closure 引用覆盖所有出口；只有已链 cause 与必要失败次错随正常异常链或有限传播局部留到调用方释放。不手动改写原 traceback/cause/context，也不制造新错误链覆盖原 cause。

引用分配、转发、类型先决、恢复/仲裁、默认 traceback/linecache 与渲染/运输都有真实费用，未测累计 UNKNOWN。没有新数值池、退款、物理 cap/完整 fit 或 native 资格承诺；原应用 owner/数值 caps 不变。既有八测试/43路径、九 adoption、SOURCE84、consumer、formal/native helper/body/hash、d35/1197/1231、maps/pins、原调用矩阵和安全 guard 保持。完整逆变换证明新增内容之外的规范全文相等；不是仅比较若干摘要或挑选 hash。

T 传播不是 T 生产根修。其“可见原因”依赖原实际调用边是否被走到，不能恢复被内层刻意抑制的内容。旧 failure-facts/retired R 不因本次接受激活，L/scope 输出不扩；job3/T、job4/scope 的 UNKNOWN/P1、既往首错各点、NOTRUN、principal、native/G3 与累计费用债均保留。后续一次 PASS 不能自行倒填旧根因或关闭这些债。

第三遍：治理、发布和阶段。

实际 parent f93a881…为正常两父 merge，顺序是先 00f0c69，后当前 base04696…；merge 整树等于该 base。新单父 commit 只改 work/eval-seeding-deterministic/spec.md，45+/5−、gross50。完整 base-exclusive 历史 43 个提交中，24 个非 merge 全部只改 spec；19 个 merge 相对其第二父只改 spec 或无差异。未发现 code-then-revert、历史重写或夹带其它路径。正文与 PR 各有唯一对应 review_size；PR 为 Tracks #439。意图 hash 与 high risk 保持，新的 high-risk plan 仍须分离落地。旧 plan 的 spec-blob 对新 spec 尚未更新是正常阶段间状态，不能拿旧 plan 作下一轮 CODE 授权。

完整读取经理保存的 fresh PR/claim/sourcePR 原响应及成功 terminal。PR797 OPEN、非 draft、labels=[]、actor yihanzhu、repo id1270665750、精确 head/base 与 body expected 全等；merge-ready absent。#439 OPEN 且只有 claimed；source PR allstates=[]。正常 merge/add/commit/push 原 argv 与实际对象相符，无 force；经理发布的远端 spec ref 为本 head。PR 当前 mergeable_state 为 blocked，不宣称现在可合并。

只读实核 W/PW/SW：source W 仍788570…且 clean；PW b5c9fdd…且 clean；SW588586…且 clean。原执行 baseD5e、recipe 与消耗的 GO 不随 artifact base 前进而变。AGENTS、REVIEW、Roadmap authorization、ci-minimum 文件的完整哈希与已读原件一致。artifact-overlap 独审 db0977fb…允许在原运行冻结期间走独立 G2/plan；它不允许 source merge/CODE/第二个完整运行窗口。当前 source 批次需自然终态、八份完整归档和独立79分类后，才能按新已接受 plan 的实际 fetched base 正常合并源分支，再开 fresh CODE。

本次未收取 PR797 quick41208154993 的终态成功证据；经理提供的状态仍 in_progress。这里的 ACCEPT 是精确规范内容门，不是 required CI 绿或保护合并许可。经理必须先读完整 raw，再核本 exact head/base 的 required quick CI、规则与 fresh PR/main/claim，才可按保护流程合并。不得借 PR795/796 的旧 quick 或本次静态审跳过该门。当前完整 run41202319488 尚有分片运行的任务快照保持，已有失败不丢弃，也不在本报告生成全批分类。

后继仍为分离 high-risk plan、完整批次关闭、fresh source tuple/CODE、完整源码与 recipe/resource 独审、normal commit、独立 committed rebind、唯一 fresh execution GO（normal push 前）、verify remote、一次原79/six完整 CI。所有当前 Important 均须在适用门清零；本次规范 Important0 不表示历史 source Important 清零。CPU/wall NONE、native BLOCKED、production EMPTY、automation PAUSED、docs329 零读取。

证据与简化检查。保留 content-history-proof.json 的全文替换/inverse、43提交逐项历史、AST原树统计及未变 END 技术段绑定；forge-stage-proof.json 保留全部 fresh raw 的 bytes/SHA、原 argv、实际三个 worktree 身份与上游原审 hash。assembler 文本的332142B提取不含 delimiter 前末 LF；连该 LF 的332143B/SHA29cd21e7…与根因原审完全相同，两种定义均明记，未把计数差异误作源变更。没有重复旧大日志或九图工程；仅标准 text/hash/JSON/AST 和禁止 lazy fetch 的只读 Git，未执行产品、fixture、helper、generator、编译、测试或 probe，未写源码/Git/API。只在本新 C 目录留原审和 proof。实际审查/运输成本 UNKNOWN。STOP。