[yihanzhu]

Tracks #439

review_size: standard

补齐原 refused-END 测试中新建 case 的完整账本初始化，保留同一对象、已有计数和严格校验。只开放同一测试必要的关闭错误仲裁。生产代码、协议调用次数及验收标准不变。

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

Head: 00f0c69
Base: d5e7e5b
Spec blob: f6c24e9dcaf538970515338ae908ab717ee5d155

[cloudflare-workers-and-pages]

Deploying ystack with    Cloudflare Pages

Latest commit:	00f0c69
Status:	✅  Deploy successful!
Preview URL:	https://0bd18087.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.

PR795 精确 G2 独立审查

G2-verdict: ACCEPT
Important: 0

审查范围是下列精确 spec-only PR 的规范内容与发布绑定。不是 plan/source 接受，不是 CODE、commit、push、执行或 merge GO。旧源码 P1、失败与未知项不因本 G2 结论关闭。

Requested reviewer gpt-6-astra / xhigh；runtime actual model / effort UNKNOWN / UNKNOWN。spec 作者是另一个 gpt-6-astra/high agent，实际模型未报告。作者与审者分离。r0 的 NOT_ACCEPTED / Important1 原审7233 B、SHA68fa65e5a6ddc1c2edf9df8e9afb722b27a7e7866437af8c13af27e9ccc6b3b4保持原样。本轮只在修订后的精确 r1 规范关闭该内容缺项。

绑定	精确值
repository / PR	yihanzhu/ystack，1270665750；#795
branch	codex/spec/eval-candidate-history-20261028
head	00f0c69
base	d5e7e5b
head sole parent	db9ab5d
head tree	22db68bab2e2cf2aa28794dbbeed01a580484bcc
spec	f6c24e9dcaf538970515338ae908ab717ee5d155；303775 B；SHA2566ec1b5353c3cd6bea2274b79b54dc77f33d471dede4ce794c8271bdc23957941
intent / risk	a4197f299974e62bb2b97e004b75182012abbb87 / high，不变
唯一路径 / 净差异	work/eval-seeding-deterministic/spec.md；48+/4−，gross52
正常 base merge	db9ab5d 的有序 parents 为 c2c44f3、d5e7e5be694f647b98a676175ea7f2ab26d21192；完整 tree 等于 base

完整证据与发布身份

已全文读根因原审9638 B /95956aa4510811d65684849bbce6a82d58c635ab95dbe5b70606b280eae6f33c、r0内容原审、r1作者报告2180 B /d9424a2b37cd9b8890896a53608264a21ddca0723652b1f3536a9b4895c145ce、完整 spec diff10805 B /21766d03850f7921ad3f05ecd817c4a668da59a667bd2a8245a739fdecc4208e及完整增量、proof/inverse。相关 plan 完整 r0差异与r1增量也已读，用于验证该规范能够落实；其435584 B候选不是本 G2 的被接受 plan。

重核r1全部9项 manifest文件和r0全部8项原件。七项 source/artifact bytes/SHA/blob逐字匹配 immutable source788570。独立完成 spec11项、plan16项完整唯一替换正逆证，以及r0→r1增量正逆证；还独立重建两套完整/增量diff，全部相等。原全文在逆变换后精确恢复，不以摘要代替 unchanged 判断。PR head 中的完整 spec 与 C/r1 候选逐字相等；frontmatter intent正确、risk high、spec恰一review_size，PR正文亦恰一review_size且为Tracks #439。

独立只读Git核了全部41个base外祖先：23个非merge提交每个仅改spec；18个merge各相对第二parent的差异不超spec。最新正常merge完整tree等base，随后单parent提交仅spec。经理封存的正常merge/add/commit/push argv及exit0完整原件一致，push没有force。remote-after-push原件绑定00f0…到上述branch。

正式入口原API均exit0、stderr0：PR795为OPEN、non-draft、labels=[]、head/base精确、repo1270665750、actor yihanzhu，正文与expected全文一致。#439为OPEN、仅claimed，无ready/needs-human/merge-ready；source分支PR all-states=[]。原件分别为formal-entry-PR795.stdout.raw（15889 B /d2ca301c10dac55d0afc4d735b51995d35425015136a3d7deabde27a29407e9e）、formal-entry-claim.stdout.raw（5455 B /3aab0dd66d4109654370c7543616530f8f13106365a7561f54610623e4ee7d00）及formal-entry-sourcePRallstates.stdout.raw（2 B /4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945）。

本审实际读Git时，SW=00f0…、sourceW=788570708e737da146c7867f6c3f328723be5770、PW=f6a6b537d276edc891cfeab40353ee8739a67afd，三个原branch均clean、无untracked。源码运行基线/base未被此spec发布替换。

第一遍：正确性与 r0 I1 闭合

本次源根因仍是原 END-case 的真实 ledger owner 缺完整字段。原_capture_work_values只建八标量；projection的零缺省不改真实owner。规范仅允许同一 END fixture 的原新case从同源 c2_fresh_work 取一次完整模板，用setdefault补齐11+9+30+5=55槽及calls/原模板键。case身份、旧值/嵌套引用、累计计数及work/caller关系保持；runtime/accounting五内层/seed_processing/calls不得与window/common共用可变容器。没有部分手写schema，也不把任意稀疏owner普遍归零。

唯一原binding移动到受保护inner try、完整准备/检查后。head/window_sha原位，原reservation三次模板、peer字符串、spawn保存/替换、before/caught及invoke顺序保留。已核这些中间原表达式没有读取该binding。模板不替换实际case；strict ledger仍在原一次invoke中认证。

r0 I1原来是cleanup逐字冻结与首错/取消要求冲突。r1明确只重开同一函数的原held/tempdir错误保留、末尾仲裁与原print顺序，合同层面已闭合：

情形	r1必须保持的结果
新setup失败，清理成功	同一setup异常失败，不走预期refusal成功路径
原调用取消，已有last_attempt/END	仍失败，不能凭END把取消当预期拒绝
主错与held关闭错	实际c2_first仲裁，真实close一次；关闭错始终阻止PASS
早取消与后普通错/后取消	保留早取消同对象；首次较后取消只胜过普通主错
预期refusal加关闭错	即使选回原refusal，仍须向外失败，不能继续断言后成功
原END断言失败	真正AssertionError作fatal，不能被预期caught替代
原TemporaryDirectory离场错	折入既有fatal/必要caught；不重试cleanup，不输出成功
原断言与全部清理成功	才执行原同一次print，表达式/字段不改

该表是静态路径判断，不是新增case或已运行测试。规范保留原一次with离场与held.close；保护段错误先留存，待原with退出后最终传播，避免__exit__替换早取消。成功输出延后至清理完成，不掩盖cleanup失败。原预期peer caught、setup错误、实际断言错误、清理错误必须分别识别；只合成一个真假不明的caught值不能满足此规范。

已从冻结完整c2_program独立提取原c2_cancelled和c2_first，与作者proof逐字相等。c2_cancelled保留KeyboardInterrupt、_scope_signal_cancel和_D_source_cancel；c2_first保留首个取消优先。不能只拿consumer中较窄的分类重写它。实际fixed来自原caller成功构造后的同源namespace；r1明确fixed取得前的旧准备不新增早加载/模板/复制仲裁器，避免构造失败时引用不存在的fixed。至多两次直接c2_first与一次直接c2_cancelled足以覆盖本函数held、临时区两个后错位置，不需要递归框架。

第二遍：安全、因果与费用

r1不改原异常对象的cause或手工traceback链；不采用raise-from双向互链，不清掉次错。最多三个同次原异常加选中别名，在有限局部中保留到传播；成功释放不用引用，失败的必要次错随原传播traceback保留，等待调用方释放。这里没有frame读取/复制、全局缓存、新字段、formatter或诊断API。正常raise仍有原运行时traceback/linecache行为和费用；规范明确不声称零IO或物理fit。实际源码审还须核别名生命周期和这些路径，当前规范接受不替代该检查。

原单次invoke/peer、argv/env、FD协议、END无DONE、退出3、window/common转移、ordinal/head不前进、child-tail UNKNOWN及全部原assert表达式/消息/顺序保持。修复依赖原真实END回归，不新增两个schema负例、validator调用、child、case、probe或读取机会。任一关闭失败/未知都不能计成功，不能重试不确定关闭、依赖GC/进程退出或改生产HeldPath.close。

模板、快照、检查、异常引用、仲裁、失败/取消/清理和默认呈现成本仍累计原ordinary-harness UNKNOWN。实际应用账按原owner/cap记一次；无退款、#558借池、新数值池或native保证。生产consumer/launcher、已实现pending-held/H0–H6、AST、SOURCE84、正式四literal/两native helper、原d35/1197/1231/maps/pins均未开放。新范围仍只是一个普通fixture的正常owner接线和必要失败传播。

第三遍：阶段与保留债务

该spec保持八测试文件/43路径及所有旧闭集，只为已经定位的原END函数补一项有限接点。全文逆证没有发现隐藏标准或生产路径变化。当前内容无未解决Important；r0拒绝原件和费用继续保留，不能把本结论回写成r0通过。

经理的artifact-overlap-manager-full-raw-acceptance.json已记录独立阶段审完整rawSHA db0977fb3b21d26cdc1d50701743e57d4e5df930f2a249a7faca4a5313085731、Important0及artifact-only边界。本审没有重做该阶段审，也不把它当内容接受。并行推进只涉及正常artifact门；sourceW及CI41202319488的执行head788570/baseD5e保持冻结，不增加第二fullwindow。源码改动仍须当前batch全量归档分类、分离高风险plan接受/保护落地、实际artifact merge与fresh CODE。

已读quick discovery：run41205676252，pull_request，attempt1，head00f0…、原workflow，所给记录为in_progress/conclusion=null。本审不声称quick通过。PR入口mergeable_state为blocked。经理仍须取得required quick终态与完整证据，完整读本raw，再fresh核head/base/labels/保护规则，才可考虑protected merge；G2接受不是绕过这些门的指令。

旧运行失败、原END尚未到达、H0–H6仅第一次七次build而非完整14次、first-read复用未达、所有NOTRUN/UNKNOWN/P1、T/scope、L仍在/R已移除/finalbothremoved、native/G3债保持独立。经理另告知同批test3已FAILURE且另行只读诊断；本审没有读其日志，不借此形成或关闭因果结论。CI完整结果仍须独立台账。

只使用标准库文本/hash/JSON/AST/shlex和禁止lazy-fetch的只读Git。没有产品/fixture/helper/generator import、compile、执行、测试或probe；没有Git/API/网络/source写。仅本C/r1新增原审与proof。费用UNKNOWN、CPUwall NONE、native BLOCKED、production EMPTY、automation PAUSED、docs329零读。简化核对保留一处模板初始化、一个binding移动和同函数必要仲裁；不扩成新设施。完成后STOP。