[yihanzhu]

Tracks #439

review_size: standard

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

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

Head: b5c9fdd
Base: 045e2da
Plan blob: afcff86e00b7b95e780e3a93b1da88bedb9035a6

[cloudflare-workers-and-pages]

Deploying ystack with    Cloudflare Pages

Latest commit:	b5c9fdd
Status:	✅  Deploy successful!
Preview URL:	https://ed8a9081.fabrica-6yx.pages.dev
Branch Preview URL:	https://ystack-plan-eval-seeding-det-kt9s.fabrica-6yx.pages.dev

View logs

[yihanzhu]

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

PR796 精确 high-risk plan 独立审查

Plan-verdict: ACCEPT
Important: 0

接受范围仅为本表的精确已发布计划。不是源码、CODE、执行或merge GO。原G2接受没有代替本次plan审；原源码P1/UNKNOWN、尚未关闭的完整CI和全部验收欠项不因本结论关闭。

Requested reviewer gpt-6-astra/xhigh；runtime actual model/effort UNKNOWN/UNKNOWN。作者是另一个gpt-6-astra/high agent，实际模型未报告。审者未编辑计划或源码。

项目	精确绑定
repo / PR	yihanzhu/ystack，1270665750；#796
branch	ystack/plan/eval-seeding-deterministic-candidate-history-20261028
head	b5c9fdd
current base	045e2da
sole parent	1e76904
tree	573068bfa070ac962d7a0f4841c80ae060820a54
plan	afcff86e00b7b95e780e3a93b1da88bedb9035a6；436872 B；SHA256 b2c2846015aee5d7c849eae0189333ffe6ffb8f6dc8484e26f27589819765eb5
spec / intent / risk	f6c24e9dcaf538970515338ae908ab717ee5d155 / a4197f299974e62bb2b97e004b75182012abbb87 / high
unique path / size	work/eval-seeding-deterministic/plan.md；174+/69−，gross243
source execution remains	H788570708e737da146c7867f6c3f328723be5770 / baseD5e7e5be694f647b98a676175ea7f2ab26d21192，CI41202319488

原始证据与历史

完整读作者report1700 B/c9ec1e343fd4dbef07a8afe4a66201ecc48c9b92426a1fa797bebd6a37aa2dc9、full.diff23166 B/55136d46b905e8fd5de47cbe379e5e03994a3d031e66d9d93f78823cc3ab1b6d、delta6182 B/611d752d398728719ead7276444af7b88d2cad3771a21299c60a77bca6f52e91、proof与inverse。全部六项manifest bytes/SHA/blob复核一致。独立执行内存20项唯一替换正逆证，恢复完整accepted plan0c063；四项状态绑定增量也精确恢复原r1。两套diff独立重建与作者原件逐字相等。

完整END技术段7411 B/SHA10af944ac0a9b502cd376ead843cda716f2e4e351703e94a6a4d2d3511499aed与此前r1逐字相同。四处新变化仅绑定实际G2/base、active-pass前置、源交接顺序及本plan关切的接受状态。该精确计划在PR head中的全文又与C候选相等；不是只看文件名或摘要。

独立只读Git核所有base外历史：52个提交，其中27个非merge全部只改plan；25个merge各相对第二parent的差异不超过plan。最新normalmerge1e769…的有序parents为原f6a6b537d276edc891cfeab40353ee8739a67afd与fresh base045e2d…，完整tree等base；新head是该merge之上的单parent plan-only提交。经理原normal merge/add/commit/push argv和exit0一致，真实add路径是plan，push无force。部分通用raw文件仍名normal-commit-spec，不能按文件名误判路径；已核实际argv、commit与diff。

fresh PR796完整API为OPEN/non-draft、labels=[]、head/base精确、作者yihanzhu、repo1270665750；body与expected全文一致，恰一review_size: standard及Tracks #439。formal-entry-PR796.stdout.raw为16062 B/SHA1312b59f24eeb6d79ed4cb933f2158d045c6f59b271fe71abd77463633050e71。#439原件为OPEN、仅claimed；source分支PR all-states原件为[]。三请求均exit0、stderr0。remote-after-push精确绑定b5c9…到原plan branch。main-pre-push原API为045e2d…。本审实际读Git时，W788570、SW00f0c690…、PWb5c9…均为原branch且clean、无untracked。

上游G2原审10315 B/c7d0b5c5fd2983238ea756a8ff7a2d9f0de525c17e4b6aa48d03fbda42ca0fbb、protected receipt711 B/2baf3d7aeb10442b8b387888a92b39e3bbce29178d64f11a27f51cdc188cfaf8核验未变。Git独立核045e2d的sole parent为D5e7、tree22db68…，spec f6c24e9…与G2所审字节相同；plan尚是原0c063。原quick41205676252的metadata三jobs为checks/ci success、test skipped；两份已闭日志26696 B均与archive SHA相等。该quick只证明G2 quick，不是全矩阵，也不能用于PR796。

第一遍：实施完整性

计划准确落实accepted G2闭集：当前pass只允许一个已有fixture文件中的raw16_C2_refused_END_transfer初始化、一个binding移动及同函数必要错误传播。旧table其它行是保留合同；active-pass明文冻结它们，不构成重开生产/helper/AST等接点的权限。

完整template来自原caller.fixed，一次c2_fresh_work('END-case')，逐项setdefault补同一个case。覆盖55vector槽、calls及原模板键，保留原对象、旧键值/嵌套引用和计数；原work['cases']、caller.case_work、identity保持关联。有限局部检查确保runtime/accounting五内层/seed_processing/calls不与window/common共用可变容器。没有只补runtime、替换owner、重置已有账或用projection默认值替代真实ledger的路径。

原head/window_sha、reservation三次模板、peer字节、spawn保存/替换、before/caught及invoke顺序保持。原binding只移入受保护try的新增准备/检查后。已审原数据流证明这些中间表达式不读取binding；实现仍需逐字inverse与同源证明，不能以本计划替代实际源码审。

错误状态区分具体且可实施：setup失败不进预期refusal路径；调用取消即使已有END也必须失败；缺last_attempt仍失败；原END断言失败是独立fatal，不能被预期caught替换。held关闭错误与临时区离场错误按时间顺序分别保留，原held.close及with离场均一次。任一真实清理错强制失败，即使仲裁选回原预期refusal，也不得继续为PASS。

仲裁使用实际fixed的c2_first/c2_cancelled，不复写其KeyboardInterrupt、_scope_signal_cancel、_D_source_cancel分类。普通首错保留；第一次取消胜过普通错，早取消不被后取消替换。最多两个直接c2_first与一个直接c2_cancelled覆盖held及临时区两个后错位置；原内部调用没有被伪计为零。fixed取得前旧准备没有新增加载或另造仲裁器，避免失败时访问未取得的namespace。

原with内部的保护段错误先保存，待原一次__exit__完成后再最终传播；原assert表达式/消息/顺序保持，原同一次print仅延后至所有清理成功后。因此原r0 Important已在当前技术合同中闭合。生产HeldPath.close不改，不加第二套清理、不重试不确定关闭，不从traceback找资源，也不依赖GC/进程退出证明关闭。当前只接受实施合同，实际候选仍须查每个出口。

第二遍：安全、费用与验收

计划保留最多三个同次原异常对象及选中别名。保留原cause/traceback，不手工重写成相互循环、不清次错、不加全局缓存或字段。成功释放不需要的异常引用；失败必要次错只由传播traceback的本函数有限局部保留，不读取/复制frames，不加formatter/API。普通raise及默认linecache/错误呈现费用不被说成零；实际引用生命周期仍要由源码审确认。

peer/invoke字节、argv/env/reservation、FD动作/信号/wait、END无DONE/退出3、window/common真实转移、ordinal/head不前进、child-tail UNKNOWN和所有原断言保持。原真实END回归承担行为证明；不能用新validator、额外case、child、build、tool或probe替代。H0–H6、first-read复用、其它五组/failure_accounting/deletion保持原调用。模板自带bookkeeping不是额外功能case；不能据此扩运行矩阵。

一次新template、局部快照/比较/引用、仲裁和部分失败/取消/cleanup成本累计原ordinary-harness UNKNOWN。实际应用增量仍按原owner/cap/carry-in/settlement计入一次。无退款、新数值池、借#558或native/物理fit承诺。原SOURCE84、61996 B helpers/041ec87d、五literal、D84、consumer7d58、driver/catalog、正式/native/maps/bootstrap/pins及旧全部修复冻结；没有隐含第二binding路径。

49,000–74,000只出现于原PR1b范围，明确按publication-base新增+删除总数，并计完整继承/依赖/修复；不是资源帽、配额或未来实际结果。每个命名PR各有自己的review_size；计划全文的五个token对应PR1a、1b、2、3和本plan，不是同一PR五次声明。本plan PR正文恰一个standard，实际gross243符合其普通规模。没有压缩代码、削测试或减CI来满足范围。

第三遍：阶段、身份与后续门

完整读并核独立artifact-overlap原审6555 B/db0977fb3b21d26cdc1d50701743e57d4e5df930f2a249a7faca4a5313085731。它允许原SW/PW在既有普通门下并行artifact-only G2→plan，同时冻结W/source refs、原执行head/base/recipe/已消费GO，禁止取消/重发原矩阵。当前四处状态澄清与该已接受流程判断一致，没有借尚未关闭的失败source作通过依赖，也没有给旧run回写新main。

计划正确区分两个基线：本PR current-base是已接受G2的045e2d；未来source plan-base OID尚未知。必须先等原全batch自然终态，封全部八raw/metadata/index并独立完成原79分类，保留所有失败，再取包含最新accepted/保护落地plan的真实fetched main。原source branch只正常merge新spec/plan，其余599 entries须与H788570的bytes/type/mode/blob相同。之后封实际601 preCODE；fresh CODE只允许该fixture改，其余600含新artifacts冻结。没有预造未来OID、复用旧GO或重复preservation动作。

后继完整源/recipe/resource静态独审、正常commit、精确committed-rebind、fresh唯一执行GO在normal push之前、remote核验及一次原79/six-shard运行链保持。全原始日志和独立分类不是可跳过的“后续补证”。如果剩余分片产生影响当前范围/意义的新证据，要正常amend/freshreview，不能借本pass直接越门。

PR796入口mergeable_state为blocked；本审未收到它的quick终态证据，因此没有宣称本plan requiredCI已绿。经理仍须完整读本raw、核本PR exact-head requiredquick、fresh head/base/claim/labels/保护规则，再protected merge。不能复用G2 quick。该流程属于当前Roadmap普通委托，不另造operator问题；它不扩大运行或生产权限。

作者报告的test3/4/5失败是其撰稿时点；经理本轮另告知test1也失败、test2通过、test6尚运行。本审不读这些新日志或填写其内层原因，不把历史时点记载误当当前完整台账。原test5 E_LIMIT和未达END、第一次H0–H6仅七次而非14次、后续mutation未达，以及所有T/scope UNKNOWN、原失败/NOTRUN/机会/费用、L仍在/R已移除/finalbothremoved、principal/native/G3债独立保留。本计划不关闭它们。

仅只读Git（禁止lazy-fetch）和标准库文本/hash/JSON/diff比较；未执行产品/fixture/helper/generator、import/compile/tests/jq/probe，也未写Git/API/网络/source。仅本C证据目录写入。费用UNKNOWN，CPUwall NONE/native BLOCKED/production EMPTY/automation PAUSED/docs329零读。简化核对未发现可删除而不损失合同的新增控制；未扩新框架。完成后STOP。