@sema-ai/core 1.275.1

package/docs/PARITY-SPOT-TOOL-INVENTORY-2026-07-10.md

@@ -0,0 +1,61 @@
+# PARITY-SPOT · tool-inventory 工具清单全量对齐(CC 2.1.198 全 49 件 vs sema 默认注册面)· 对抗核验档
+
+- **日期**:2026-07-10 · 核验官:fable(对抗复核腿,独立亲读双侧源)
+- **锚**:CC = `/Users/clay/开发/gittea/claude-198/cc-2.1.198/package/claude-cli-2.1.198.pretty.js`(下称 `pretty.js`)+ 活体 `docs/cc-probe-198/tools-array.json`(27 挂载,2026-07-08 采集)+ `docs/cc-probe-198/live-schema-monitor-worktree-2026-07-09.json`;我方 = `src/`(devendor @ ba59f8d)
+- **挖掘者报告**:8 findings(F1-F8)。**核验判决:8/8 实质内容全 CONFIRMED,0 证伪;但 F1 记档状态判断被推翻——同日姊妹档已入册,重分类 already-recorded。**
+- **aligned 抽验**:5 条(Read 含 pages、Agent 六字段、Monitor 形状、TaskUpdate 九字段、SendMessage summary maxLength:200)全真,无假阳性对齐。
+- **挖掘者盲区 (c) 亲追排除**:TaskOutput 无同名双实现——`src/tools/fs/index.ts:6` 直接 import `task-registry.js` 的 `createTaskOutputTool`,单源,默认挂载无歧义。
+
+---
+
+## 一、判决先行
+
+挖掘者双坐标全部复核通过:pretty.js 七个产品簇工具的 minified 变量名逐一解析吻合(NR=Artifact:143265 / $Ol=Projects:463606 / sO=SendUserMessage:143336 / jqe=SendUserFile:143378 / GJt=ShareOnboardingGuide:466114 / qtr=ShowOnboardingRolePicker:454191 / rPe=WaitForMcpServers:224493),REPL(Xf:224355,门 `Yx()`:224347-224353)与 PowerShell(hs:143374,门 `fF()`:224206-224214)工具对象亲读坐实。无版本漂移误报、无已定谳分歧重翻、无 [550] 式看错层。
+
+唯一改判:**F1(Workflow schema 4 字段缺+script required)是真差距但已非"未记档新发现"**——同日姊妹核验档 `docs/PARITY-SPOT-WORKFLOW-2026-07-10.md` F2 已以更深坐标入册(pretty.js:449105-449141 strictObject+refine 三态、449309-449310 落盘;backlog B5=L)。双腿独立逮到同一缺口=置信度升级,但按铁律 1 本档计 already-recorded,backlog 去重指向 WORKFLOW 档 B5,不重复计件。
+
+净新差距最重一条 = **F2:REPL 工具**(198 在册、env/灰度门挂载的"模型写 JS 程序化直调工具"面),49 件里唯一未记档的能力级缺口,全 docs 零命中(word-boundary grep 核过,src 命中皆为 REPLACE/REPLAY 类误触)。
+
+## 二、确认差距表(按严重度)
+
+| # | kind | 严重度 | 差距 | CC 坐标 | 我方坐标 | 核验笔记 |
+|---|------|--------|------|---------|----------|----------|
+| F2 | missing | **MED** | REPL 工具整件缺:`searchHint:"execute JavaScript with programmatic tool access"`,输出 schema 带 result/stdout/stderr/registeredTools/images/documents(inner Read 的图/PDF 上浮为 content block),isConcurrencySafe:false,挂载门=`CLAUDE_CODE_REPL` env 或 `tengu_slate_harbor` 灰度(entrypoint cli/remote)。与 Workflow 是不同轴:REPL=模型写 JS 直调工具 API(code-mode),非确定性编排 | pretty.js:457655(`name: Xf` 工具对象,457640-457700 亲读)+224355(`var Xf="REPL"`)+224347-224353(`Yx()` 门) | src 全树无对等物;docs word-boundary grep `REPL` 零命中(仅 scheduler-tools.ts:189 / core/types.ts:611 / memory-engine/scan.ts:68 泛指 read-eval-print 非工具) | **亲证**双侧。建议先记档 deliberate_divergence 或评估——CC 侧也在灰度期,非稳定默认面 |
+| F4 | missing | LOW | claude.ai/产品绑定簇 7 件未记档:Artifact(465690)/Projects(464017)/SendUserMessage(455354)/SendUserFile(461993)/ShareOnboardingGuide(466175)/ShowOnboardingRolePicker(454214)/WaitForMcpServers(280647)。同类 RemoteTrigger/DesignSync 已记"不计缺口"(DEEP-DIVE 项6+CHECKLIST#105),该条应扩成完整簇清单,否则每轮全量对比重复再发现 | pretty.js 七坐标+变量名全解析吻合(见判决先行) | docs/CC-TOOLSURFACE-DEEP-DIVE-2026-07-07.md:47-48,143-144(仅 RemoteTrigger/DesignSync);CHECKLIST#105 同 | **亲证**。SendUserMessage/SendUserFile 在 SUBAGENT-PROMPT-STUDY:134 与 CLEANUP-CONTRACT-ANCHOR:18 有附带提及但非 parity disposition。纯记档动作,无落码 |
+| F3 | missing | LOW | PowerShell 工具(Bash 的 Windows 同胞)缺:挂载门 `fF()`=`Wt()!=="windows"` 时仅 env 强开,windows 上默认/灰度 `tengu_cobalt_ridge`。sema 跑面 linux/darwin 容器 → 实质 N/A,但名单级未记档 | pretty.js:330892(`name: hs`)+143374(`var hs="PowerShell"`)+224206-224214(`fF()` 门) | src/tools/fs/index.ts 仅 makeBashTool/makeBashReadonlyTool;docs 零命中 | **亲证**。record-as-N/A 一行了结 |
+| F6 | extra | COSMETIC | EnterWorktree 我方多暴露 `baseRef:"fresh"\|"head"` 模型面参数;CC live schema 仅 {name,path}(fresh/head 在 CC 是配置形态,DEEP-DIVE G4 记过)。sema seam 合法上提,但"我方有 CC 无"字段未记档 | docs/cc-probe-198/tools-array.json EnterWorktree props=[name,path] required:None;live-schema-monitor-worktree JSON 同 | src/tools/worktree.ts:249-254(baseRef Union)+257 起 execute 的互斥校验 | **亲证**双侧。worktree.ts 头注或 deep-diff 补一句即可 |
+| F5 | schema-drift | COSMETIC | AskUserQuestion 缺 CC 顶层可选三字段 annotations/metadata/answers(均为 host-UI/权限组件回写管道,模型非写方;sema onAsk seam 结构等价);且 CC 在 schema 声明 questions minItems:1/maxItems:4(+options 2-4),我方同约束在 execute 校验非 schema 声明 | tools-array.json AskUserQuestion props=[questions,answers,annotations,metadata] required:[questions],questions.minItems=1/maxItems=4 | src/core/ask-question.ts:168-210(仅 questions);1-4 与 2-4 校验在 execute(:215-225) | **亲证**双侧。弱模型少一层 provider 侧拒答;记档级 |
+| F8 | already-recorded(记档矛盾批注) | COSMETIC | DEEP-DIVE 项8 断言「CC 无模型可调 LSP 工具(双源交叉确认)」被 198 二进制证伪:pretty.js 明确含 LSP 工具对象(searchHint "code intelligence (definitions, references, symbols, hover)",9 操作与我方同集,且在只读集 ySm)。实践已被 design/116 W1 超越(我方 LSP 已锚 CC LSPTool),无代码动作;项8 需补批注防旧档误导 | pretty.js:460003(`name: gSt`)+406838(`var gSt="LSP"` + 描述常量)+408384(ySm 只读集含 gSt) | docs/CC-TOOLSURFACE-DEEP-DIVE-2026-07-07.md:155-159(项8)vs src/core/lsp.ts(W1 CC 锚注) | **亲证**。项8 成文于 07-07(基于 2.1.201/202 sdk-tools.d.ts+bundle),198 pretty.js 反证;非挖掘者误报,是记档时效性洞 |
+
+## 三、改判项(真差距但同日已入册)
+
+| # | 内容 | 改判理由 |
+|---|------|----------|
+| F1 | Workflow 缺 name/scriptPath/title/description 四字段 + 我方 script REQUIRED vs CC 全 optional(`refine(script∨name∨scriptPath)`);CC title/description=显式 "Ignored" 占位。后果:CC-trained 模型的 `{name}` 调用/scriptPath 迭代环直接 schema 失败;仅 resumeFromRunId 复跑被 script-required 挡 | **CC 侧亲证**(pretty.js:449105-449141 亲读:name→".claude/workflows/ 预定义"、scriptPath→"Takes precedence over script and name"、description/title→"Ignored");**我方侧亲证**(run-workflow-tool.ts:297-308 仅 script[required]/args/resumeFromRunId)。但 `docs/PARITY-SPOT-WORKFLOW-2026-07-10.md` F2(同日姊妹维度档)已以同坐标+落盘机制入册,backlog B5=L。**双腿独立同判=置信度升级;本档不重复计件,落码走 WORKFLOW 档 B5** |
+
+## 四、被证伪项
+
+无(8/8 实质内容成立;F1 仅记档状态改判)。
+
+## 五、已记档项对账(F7,不重报,备查)
+
+逐条抽验凭据在案:ReportFindings/ScheduleWakeup 缺(deep-diff 首表 deliberate_divergence 11 件行+M24+项6)、Bash 无 dangerouslyDisableSandbox(M1 待架构拍)、ExitWorktree keep+discardChanges vs CC action[required]+discard_changes(M19 最小修,live 锚 verdicts STANDS,worktree.ts:383-401 亲读吻合)、ExitPlanMode 无 allowedPrompts(M23)、CronCreate 三态 union(deliberate+wire 兼容注)、TaskOutput 全可选+filter(W3+CHECKLIST#68)、SendMessage=completed-bg-resume 支线(HIGH-2 deliberate,subagent.ts:1968-1986 亲读)、Glob/Grep/TodoWrite 反向负空间(4.1/4.2)、Recall/Remember/RepoMap/ReadToolResult/ReportBlocked=sema-own、createSqlTool/createGiteaIssueTool=export-only 工厂。全部与 docs/CC-TOOL-PROMPT-DEEP-DIFF-2026-07-08.md 及 live JSON verdicts 对上。
+
+## 六、落码 backlog(S/M/L)
+
+| # | 项 | 量级 | 说明 |
+|---|----|------|------|
+| B1 | REPL(F2)记档 deliberate_divergence/评估条目进 CHECKLIST | **S** | 先记档(CC 侧自身在 env/灰度门后,非稳定默认面);实装评估另立(如做=L,与 Workflow 不同轴的 code-mode 面) |
+| B2 | 产品绑定簇清单扩条(F4):DEEP-DIVE 项6/CHECKLIST#105 扩成 9 件完整簇(含 pretty.js 坐标) | **S** | 纯记档,断每轮重复再发现 |
+| B3 | PowerShell(F3)record-as-N/A 一行进 CHECKLIST | **S** | 跑面无 windows |
+| B4 | AskUserQuestion(F5):minItems/maxItems/options 2-4 上提为 schema 声明;顶层三字段记档为 host-UI 管道不 port | **S** | schema 声明=几行 TypeBox 参数;行为不变 |
+| B5 | EnterWorktree baseRef(F6)在 worktree.ts 头注+deep-diff 补记"我方 extra" | **S** | 一句话 |
+| B6 | DEEP-DIVE 项8(F8)补批注「198 pretty.js 已证伪该断言;design/116 W1 已改锚 CC LSPTool」 | **S** | 防旧档被当真 |
+| （去重) | Workflow scriptPath/name/required(F1)→ 走 PARITY-SPOT-WORKFLOW-2026-07-10.md B5 | L(彼档) | 本档不重复计件 |
+
+## 七、诚实盲区(核验腿)
+
+1. 承挖掘者盲区 (a):min/max/enum 级 JSON 约束仅在其 12 件抽查+我本轮 5 件复验范围内坐实,其余按字段名集合比对——未逐件穷举 describe 文本与数值约束。
+2. 49 件静态清单的穷举脚本我未独立重跑(抽验了其中 12 个坐标点全吻合,含 7 产品簇+REPL+PowerShell+LSP+Workflow+AskUserQuestion);若挖掘者的多标记穷举漏了第 50 件,本档同漏。
+3. 88 版可读源未再核(198 pretty.js 优先级更高,且本维度=清单/schema 面,live probe 已是最权威锚)。
+4. tools-array.json 采集于 deepseek-v4-pro 挂载态(27 件);interactive_only=[AskUserQuestion,EnterPlanMode,ExitPlanMode] 的 print 差异面未展开(与本维度结论无交)。

package/docs/PARITY-SPOT-USAGE-CONSTANTS-2026-07-10.md

@@ -0,0 +1,95 @@
+# PARITY-SPOT:工具使用面常数/限额(usage-constants)对抗核验档 — 2026-07-10
+
+**核验官判决先行**:挖掘者 6 项 finding **5 确认 + 1 已记档核账通过,零全盘证伪**;F2 有两处表述修正(见下)。
+所有 CC 侧坐标(198 pretty.js)与我方 src 坐标均**双侧亲读复核**,非转录。aligned 清单抽验 7 条全通过。
+
+- CC 锚:`/Users/clay/开发/gittea/claude-198/cc-2.1.198/package/claude-cli-2.1.198.pretty.js`(下称 `pretty.js`)
+- 活体锚:`docs/cc-probe-198/tools-array.json`
+- 我方:devendor @ 2026-07-10(commit ba59f8d 后工作树)
+
+## 0. CC 198 结果落盘框架机制(核验官亲解,判决依据)
+
+`pretty.js:286716-286721` `GIa(name, maxResultSizeChars, ceiling=w6t)`:
+- `maxResultSizeChars` 非有限(`1/0`)→ **直接返回 Infinity = 永不落盘**(Read 唯一享此豁免,:478260);
+- 否则 statsig 覆写图 `nt(xHp,{})?.[name]` 优先,再 `min(maxResultSizeChars, ceiling)`。
+- `KIa`(:286790-):阈值缺省兜底 `$xa=400000`;超阈 → 落盘 + `Cmt=2000` chars 保头 preview(断行回退 >0.5×)。
+- 常数块 :281521-281527:`w6t=50000`(persist ceiling)/`Nfo=500000`(MCP _meta cap)/`x6t=4`(chars/token)/`$xa=400000`/`qxa=200000`(聚合)。
+- 各工具 `maxResultSizeChars` 实测归属(变量名亲解:Lo=Bash :143325、Jc=Grep :224202、EC=Monitor :223566、is=Agent :147382、Mu=Glob :149761、kV=TaskOutput :224081、yO=TodoWrite :224181):
+  Bash **30000**(:335231)、Grep **20000**(:333220)、Monitor **1e4**(:450030)、Agent **1e5**(:453402)、Glob **1e5**(:333570)、TaskOutput **1e5**(:458260)、TodoWrite **1e5**(:459162)。
+  实际 persist 阈值 = `min(该值, 50000)` ⇒ Bash 30K / Grep 20K / Monitor 10K / 其余多数 50K。
+- :472636:非有限 `maxResultSizeChars` 的工具被收进一个 Set(Read 的豁免在聚合面同样成立)。
+
+## 1. 确认差距表(按严重度)
+
+### F1 · behavior-drift · HIGH · 【确认,未记档】Read 被 20K offload 包装截为 2K preview,CC 显式豁免 Read 于落盘框架
+- **CC**:`pretty.js:478260` Read 工具 `maxResultSizeChars: 1 / 0` + `:286717` `if (!Number.isFinite(t)) return t;` ⇒ Read 结果**永不落盘**,20K~100K chars(约 600~2500 行)文件全文入上下文。
+- **我方**:`src/core/runner/prepare-task.ts:1656` `tools.push(...band.map((t) => maybeOffload(t)))` — band(含 `name:"Read"`,`src/tools/fs/index.ts:470`)全量包装且**不传 perTool**;`src/core/tool-result-store.ts:138` `DEFAULT_TOOL_RESULT_THRESHOLD_CHARS=20_000`、`:189` 超阈即 offload ⇒ 1K头+1K尾 preview + ref。
+- **意图内耗铁证**:`src/core/tool-result-budget.ts:83` `DEFAULT_BUDGET_EXEMPT_TOOLS = new Set(["Read", OFFLOAD_TOOL_NAME])` — **聚合层已豁免 Read**(注释:"read_file errors at its own token cap"),per-tool offload 包装层却无豁免 = 两层意图不一致。
+- **连锁击穿**:批④#11 port 的首页自动分页(`src/tools/fs/index.ts:686-724`,25K-token≈100K chars 首页)被上游 20K 包装静默击穿——首页 >20K 即 preview 化;单次 ReadToolResult 回读上限 `READ_MAX_LIMIT=20_000`(store:144),恢复 100K 首页需 ≥5 轮。
+- **TB 中弹面**:`src/bin/sema-tb.ts` 无 `toolResultThresholdChars` 覆写(grep 零命中)⇒ TB 主线即中弹。
+- **记档核查**:checklist/deep-sweep/parity-sweep 三报告均无 Read-offload 豁免记录 ⇒ 真新差距。
+
+### F2 · missing · MED · 【确认,带两处表述修正】CC per-tool 内联/落盘阈值分表整体缺席
+- **CC**:见 §0 分表 + `:284078` `_ho=30000/gho=150000`(env `BASH_MAX_OUTPUT_LENGTH`)+ `w6t=50000` ceiling + `$xa=400000` 兜底。
+- **我方**:单一均值 20_000 对所有第一方工具(store:138);`maybeOffload`(prepare-task.ts:985-988)的 perTool 参数在 band(:1656)/MCP(:1516)/TaskOutput/TaskStop(:1694-1695)/SendMessage(:1705)/Monitor(:1729)/worktree(:1754)调用点**均未传**。
+- **✏️ 核验官修正 ①(挖掘者"seam 空置"不准)**:`spec.tools` 路径**确实传了** `t` 作为 perTool(prepare-task.ts:1278)——caller 工具的 `ToolSpec.offload/offloadThresholdChars`(types.ts:195,197)**是活的**;空置的是**第一方工具的默认分表**,非 seam 本身。
+- **✏️ 核验官修正 ②("除 Grep 外所有工具内联预算比 CC 小"有一个反例)**:Monitor CC=**1e4**(:450030)< 我方 20K——我方反而**更宽**。净差方向:Bash 30K>20K、Agent 50K>20K、Glob/TaskOutput/WebFetch 族 50K>20K、Grep 20K=20K、Monitor 10K<20K。
+- 结构性判决不变:CC 是"每工具一档+统一 ceiling+env 旋钮"的分表,我方是"一刀切均值",Agent 子代报告(CC 50K 内联 vs 我方 2K preview)是最痛成员。Bash 30K 单点已记档(GGB+checklist#38),**分表结构与其余成员未记档**。
+
+### F3 · behavior-drift · MED · 【确认,未记档】TaskOutput 截断常数与形态漂移
+- **CC**:`pretty.js:458010` `oPm()`=env `TASK_MAX_OUTPUT_LENGTH`、`:458022-458023` `dFo=32000/uFo=160000`;`:458012-458016` `FHl` **保尾截断**(`e.slice(-s)`)+ 头部 `[Truncated. Full output: <path>]` 文件指针;消费点 :458337(`<output>` 帧内)。另有工具级 `maxResultSizeChars:1e5`(:458260)兜底。
+- **我方**:`prepare-task.ts:1694` TaskOutput 走统一 20K offload ⇒ 1K头+1K尾 preview+ref。
+- 漂移三件:①常数 32000 vs 20000;②env 旋钮(160K 上限)缺席;③形态 = CC 保尾(后台输出最新最值钱)+文件指针 vs 我方保头尾+ref。机制面(全文可回读)不劣且已记档(BUGHUNT-2026-07-05),**常数与形态未记档**。
+- 全仓 grep `TASK_MAX_OUTPUT_LENGTH` 零命中(docs+src)⇒ 真新差距。
+
+### F4 · missing · LOW · 【确认,未记档】MCP 输出双闸缺席
+- **CC**:①`pretty.js:300537-300545` `dqn()`=env `MAX_MCP_OUTPUT_TOKENS`(statsig `tengu_velvet_ibis` 次之,默认 `NMp=25000` :300648)× `FMp()=×4` chars proxy(:300582);截断引导文案 `UMp()`(:300585-300587)含 pagination/filtering 指引;②`:320015` 服务器自声明 `_meta["anthropic/maxResultSizeChars"]` → `:320061` `min(y, Nfo=500000)` + `persistenceThresholdCeiling=Nfo`。
+- **我方**:`prepare-task.ts:1516` MCP 工具统一 20K offload;`src/core/mcp.ts` 全文件无 token 闸、无 `_meta` 消费(grep 坐实;仅 structuredContent truncateError 面)。W5-3 只对齐了 blob/image 面。
+- 我方可回读=不劣,判 LOW 维持;但 MCP 服务器自声明 seam 整体缺失=生态兼容缺口。
+
+### F6 · text-drift · COSMETIC · 【确认】checklist #80 措辞不精确
+- **CC**:`pretty.js:459160-459162` `lDl = Xs({name: yO /*TodoWrite*/, ..., maxResultSizeChars: 1e5, ...})` — 198 bundle **仍完整携带 TodoWrite 工具定义**;活体 `tools-array.json` grep TodoWrite = 0 命中 ⇒ 特性门默认不暴露。
+- **我方档**:`docs/CC-PARITY-CHECKLIST.md:124` 行#80 写"CC198 已删"。结论方向(不暴露)正确,措辞宜改"已门禁下线(bundle 定义仍在)"防未来考据误判。
+
+## 2. 被证伪项
+
+无全盘证伪。局部修正两处,均在 F2(见上 ✏️①②)。
+
+## 3. 已记档项核账(F5,列出不重报,全部复核通过)
+
+| 项 | 记档位 | 复核 |
+|---|---|---|
+| Bash 20K 头尾双保 vs CC 30000 保头 | GGB 报告+checklist#38 📋DIVERGENCE | ✓(:284078 `_ho=30000` 亲核) |
+| Glob CC 100 vs 我方 500+字母序 | GGB 有意分歧 | ✓ |
+| WebFetch 2MB/30s/无缓存 vs CC 10MB/60s/15min 缓存 | checklist#48/#49 📋DIVERGENCE | ✓(:438274-438278 `Vxm=2000/Kxm=10485760/zxm=60000/iwl=10` 亲核) |
+| URL 长度 2048 vs CC 2000 | web.ts in-code 记档 | ✓ |
+| Read 2000 行默认闸已删 | checklist#5 ✅DONE(1.258.0) | ✓ |
+| Bash env 覆写缺席(BASH_DEFAULT/MAX_TIMEOUT_MS) | GGB 判无关紧要 | ✓(:286692-286703 亲核) |
+| 1.96.3 批(walk 5000/glob 盲区/切尾/丢尾) | 已修+caveat | ✓(search.ts:12 WALK_MAX_FILES=5000 在) |
+
+## 4. aligned 抽验(7/13 亲核,全通过)
+
+1. Bash timeout 120s/600s:CC `fOe`=120000/`x3n`=600000(:286692-286703)= fs/index.ts:89-97(BASH_DEFAULT/MAX_TIMEOUT_SEC×1000)✓
+2. Read 256KB:CC `WOr=262144`(:48192)= MAX_READ_BYTES fs/index.ts:67 ✓
+3. 聚合 200K:CC `qxa=200000`(:281525)= AGGREGATE_TOOL_RESULT_BUDGET_CHARS tool-result-budget.ts:24 ✓
+4. Grep head_limit 默认 250+0=unlimited:CC :333194 描述文案 = GREP_DEFAULT_CAP search.ts:14 ✓
+5. Grep --max-columns 500:CC :333367 rg 参数 = 我方 jsGrep `.slice(0,500)`(search.ts:443-468;rg 路径同参)✓
+6. WebFetch 重定向 10:CC `iwl=10`(:438277)= MAX_REDIRECTS web.ts:17 ✓
+7. persisted preview ~2000:CC `Cmt=2000`(:287026)≈ 我方 HEAD 1K+TAIL 1K(store:139-140)✓(形态差:CC 保头 2K vs 我方头尾各 1K,量级同)
+
+## 5. 落码 backlog(S/M/L)
+
+| # | 项 | 量级 | 说明 |
+|---|---|---|---|
+| B1 | **Read offload 豁免**(F1) | **M** | band 挂载点对 Read 传 `{offload:false}`(或 ToolSpec 声明);依赖=25K-token 首页闸自兜底+聚合层已豁免(CC 同构,:472636);需回归:超大读不再炸上下文由 read 自身闸兜住 |
+| B2 | per-tool 默认阈值分表(F2) | M | 镜像 CC:Bash 30K(env BASH_MAX_OUTPUT_LENGTH,cap 150K)/Grep 20K/Monitor 10K/Agent 及其余 50K ceiling/兜底 400K;走既有 maybeOffload perTool 参数,seam 已在 |
+| B3 | TaskOutput 32K 保尾+文件指针(F3) | S | 常数 32000/env 160K 上限+`[Truncated. Full output: …]` 保尾形态;可与 B2 拼车 |
+| B4 | MCP 双闸(F4) | M | ①25K-token 闸(env MAX_MCP_OUTPUT_TOKENS)×4 proxy+pagination 引导文案;②`_meta["anthropic/maxResultSizeChars"]` 消费(cap 500K) |
+| B5 | checklist #80 措辞修(F6) | S | "已删"→"已门禁下线(198 bundle 定义仍在 :459160)" |
+
+## 6. 诚实盲区(承继挖掘者+核验官补充)
+
+- Monitor 批窗/频控(200ms/50 批-分钟)无 198 静态锚(#94 探针待跑)——本档未裁。
+- CC statsig 覆写图 `nt(xHp,{})`(GIa 第一优先)是运行时可变面,静态锚只给默认值;活体若见异常阈值先查 statsig。
+- Skill/AskUserQuestion/图像 resizer 阶梯、PowerShell、MEMORY.md 面常数:不在本维度,未复核。
+- 挖掘者引用行号 search.ts:542/types.ts:196 与实测(443-468/195,197)有 ±数行漂移,机制判定不受影响;本档坐标以核验官实测为准。

package/docs/PARITY-SPOT-WORKFLOW-2026-07-10.md

@@ -0,0 +1,93 @@
+# PARITY-SPOT · workflow 使用面(CC 2.1.198 Workflow 工具 vs sema S1/S8)· 对抗核验档
+
+- **日期**:2026-07-10 · 核验官:fable(对抗复核腿,独立亲读双侧源)
+- **锚**:CC = `/Users/clay/开发/gittea/claude-198/cc-2.1.198/package/claude-cli-2.1.198.pretty.js`(2.1.198,731,838 行,下称 `pretty.js`);我方 = `src/orchestration/*`(devendor @ ba59f8d)
+- **挖掘者报告**:12 findings(F1-F12)。**核验判决:11/11 实质 finding 全 CONFIRMED,0 证伪;F12(already-recorded 批)对账准确。**
+- **aligned 抽验**:5 条(persona 逐字、StructuredOutput 名、MAX_WORKFLOW_ITEMS=4096、主名+alias、并发公式同源)全真,无假阳性对齐。
+
+---
+
+## 一、判决先行
+
+挖掘者质量高:双坐标全部复核通过,无版本漂移误报、无已定谳分歧重翻、无看错层([550] 式)。
+最重的一条(F1)是**我方自己的宪法违例**(design/98 §6.3「prompt 不得宣称任务没有的能力」),不是 CC 漂移:
+工具卡向 LLM 宣称 `workflow(body)` 与 `agentStream(spec)` 两个 hook,但脚本沙箱注入面(`WorkflowPrimitives`
+membrane + wiring battery)结构上只有 agent/parallel/pipeline/phase/log/budget(+args)——照卡写脚本必炸
+ReferenceError。CC 侧卡=实装一一对应(`workflow` hook 真的绑进 isolate,pretty.js:447588)。
+
+## 二、确认差距表(按严重度)
+
+| # | kind | 严重度 | 差距 | CC 坐标 | 我方坐标 | 核验笔记 |
+|---|------|--------|------|---------|----------|----------|
+| F1 | behavior-drift | **HIGH** | 工具卡宣称 `workflow(body)` 嵌套 hook + `agentStream(spec)→handle.steer/result`,并断言「Only agent/parallel/pipeline/phase/log/budget/workflow/args exist」;但两个 hook 永不进 isolate。CC 卡=实装对应(agent/parallel/pipeline/workflow 四个绑 VM + phase/log/budget/args) | pretty.js:447585-447590(VM 绑定表 `["agent",u.agent],["parallel",…],["pipeline",…],["workflow",E]`)+ 448046-448053(卡) | src/orchestration/run-workflow-tool.ts:261-264(宣称)/:277-278(「Only…」断言)vs workflow-script-runner.ts:92-110(`WorkflowPrimitives` 6 成员)+ dev-vm-script-runner.ts:31,61-69(注入 6+args)+ workflow-sandbox-conformance.ts:156-217(wiring battery 断言恰 6+args) | **亲证**:`ctx.workflow(body)`(workflow.ts:1420)与 `ctx.agentStream`(:1209)只在 trusted ctx,CORE-9 Part B 明写 handle 不给脚本(workflow-primitives.ts:88-96)。且 ORCHESTRATION_GUIDANCE(prompts/supervisor.ts:96-111)只列 6+args——卡与 guidance 自相矛盾。卡内还双重自矛盾:agentStream 连自己的「Only」列表都不在。CC 无 agentStream(全文 grep 0 hit)——纯我方发明。未见任何记档 |
+| F2 | missing | MED | 脚本持久化 + `scriptPath`/`name` 调用面整条缺:CC 每次调用落盘 session 目录、工具结果返 scriptPath、入参受理 `{scriptPath}`(优先)与 `{name}`(saved/plugin 注册表);「edit 后重跑不重发全文」惯用法;`refine(script∨name∨scriptPath)` | pretty.js:449105-449141(strictObject:script/name/description/title/args/scriptPath/resumeFromRunId + refine "Must provide script, name, or scriptPath")+ 449309-449310(`Pqi(m,u,i)` 落盘) | run-workflow-tool.ts:297-308(parameters 仅 script/args/resumeFromRunId) | **亲证** schema 双侧。我方迭代必须整段重发;resume 需字节级重供原 script。未记档 |
+| F3 | missing | MED | 脚本确定性禁令缺:CC 静态 AST 检查(`wxl`,MemberExpression Date.now/Math.random + argless NewExpression Date → validateInput errorCode 4)+ VM shim `S0m`(Math.random/Date.now/argless new Date throw + freeze RealDate 关 constructor 后门)+ `import()` throw;教改法文案 | pretty.js:446005-446026(wxl)+ 445983-446003(S0m shim)+ 445963-445966(import throw)+ 449214-449220(errorCode 4)+ 448059(卡尾句) | dev-vm-script-runner.ts:43-58(stub 表仅 require/setTimeout/setInterval/setImmediate/fetch/queueMicrotask,Date/Math 放行)+ workflow-sandbox-conformance.ts(grep Date/Math = 0 hit) | **亲证**双侧。掺时间戳/随机的脚本静默击穿 resume 前缀(callKey 变→divergence→白跑);CC 硬报错教学,我方无声降级、卡无警示。未记档 |
+| F5 | behavior-drift | MED | workflow 层 per-agent 韧性缺:CC stall 看门狗(`F0m=180000`,进度重置)+ 最多 `Mxl=5` 次 stalled 重试 + throttle 检测(45s 退避重试 + 降级放弃)+ 终局失败 agent() 返 null(卡教 `.filter(Boolean)`);我方单发 `runner.runTask` 无 workflow 层重试/stall,失败返 `status:'failed'` TaskResult,超时=governance 硬 300s 非进度型 | pretty.js:447264(F0m/Mxl)+ 446946-447000(throttle 45s + stalled 重试环)+ 448046(null 语义) | workflow.ts:1107-1165(单发 runTask,catch 记 failed 即抛)+ run-workflow-tool.ts:85,224(perAgentTimeoutSec 300) | **亲证 + 层次核实**:SUBAGENT-STREAM-RESILIENCE-PARITY-2026-07-10.md 记档的是 **brain 层 mid-stream 终局化**(CC :593291 同层逐字端口)——与 CC **workflow 层**进度看门狗/重试/throttle 是不同机制、不同层,非 [550] 式搜错层。attempt/lastAttemptReason 可观测字段无对应。部分补偿已记档,本体缺口未记档 |
+| F4 | schema-drift | LOW | agent() opts:CC={label,phase,schema,model,effort,isolation,agentType};我方白名单={label,phase,schema,isolation}。model/effort 走 spec.modelName/spec.thinking=deliberate 部署形状(guidance 明文);**净缺=opts.agentType**(Agent 注册表解析 custom 型 + per-type 权限 deny + disallowedTools 合并 + persona append 复合) | pretty.js:448046(卡)+ 446608-446627(agentType 解析:registry 查找/权限拒绝/O0m·L0m append) | workflow-primitives.ts:32-44(safeAgentOptions)+ prompts/supervisor.ts:96-101 | **亲证**。SUBAGENT-PROMPT-STUDY:131,161 引述了 CC agentType 机制但**未 disposition 我方缺口**(G5 修的是 persona 不是 agentType 入口)→ 算净缺,依赖 agent 注册表(我方无) |
+| F6 | text-drift | LOW | G5 复合 append 是缩写非逐字:①`O0m` 尾「Output the literal result; do not output confirmations like "Done." Be concise — the script will parse your output.」→ 我方改写「no confirmations, no code fences, no markdown padding」;②`L0m`「the tool's input schema defines the required shape. Do your work, then call X; do NOT put your answer in a text response」被压缩;③CC 常量自带 `\n\n---\n\n` 分隔,我方 `\n\n` 无 `---`;④`M0m`「(Read files, run commands…)」我方小写 read | pretty.js:447255-447259(O0m)/447326-447331(L0m)/447333-447339(M0m) | workflow.ts:77(APPEND)/80(APPEND_SCHEMA)/69(小写 read)/97(join `\n\n`) | **亲证逐字比对**。两态**主** persona 干净(P0m/M0m 主体逐字同,SendUserMessage/禁委派两处适配已记档);append 缩写未记档(STUDY:162-163 引述带「…」省略,恰好把漂移处省掉了)。注:我方代码注释 L0m 锚写 447290,实际 447328(注释坐标小误) |
+| F7 | behavior-drift | LOW | ①CC run 起点把 meta.phases 全量预注册为 progress 组(`for (let Z of s ?? []) H(Z)`——计划先于执行可见);我方 `phases:[]` 只随 phase() 增长。②CC 卡文档 `phases[].model`;我方解析器只取 title/detail,model 键静默丢弃 | pretty.js:446478(预注册)+ 448042(卡「Add \`model\` to a phase entry…」) | workflow.ts:772(`phases: []`)/1372(仅 phase() push)+ workflow-meta.ts:317-331(只提取 title/detail) | **亲证**双侧 |
+| F8 | behavior-drift | LOW | 语法错误递达时机:CC 发射前同步预编译(`Ubt(c.scriptBody)`),失败→**立即返回**的工具结果带 error 字段 + `compile_failed` 埋点,模型当轮改;我方同步只做 meta 静态校验,body 语法错误在异步 run 内爆(dev-vm-script-runner run() 期 `new vm.Script`)→模型等完成通知才知道 | pretty.js:449293-449307(Ubt→compile_failed 即时返) | run-workflow-tool.ts:319-330(execute 同步仅 size cap+parseWorkflowMeta)+ dev-vm-script-runner.ts:32-37(run 期编译) | **亲证**双侧 |
+| F11 | behavior-drift | LOW | fan-out 内预算耗尽:CC parallel/pipeline 把 `WorkflowBudgetExceededError` 折 null + 记「N slots dropped — token budget exceeded」,已完成结果保留、脚本继续(优雅收敛;cap 错误也经通用分支折 null);我方 `rethrowFatalFanout` 把 MaxAgents/Budget 穿透上抛——脚本不 catch 则整 run failed(硬中止) | pretty.js:447168-447186(parallel 折 null+dropped 记账)+ 447199-447215(pipeline 同) | workflow.ts:361-367(rethrowFatalFanout) | **亲证**双侧。注:我方注释写明是有意工程选择(「hard bound 必须 fire」)但**未记档为 CC 分歧**;CC 语义下 hard bound 照样生效(后续 agent() 全 throw→全折 null),我方论据不成立,算真 drift 非 deliberate |
+| F9 | text-drift | COSMETIC | 护栏教学文案:CC cap 错误 `D0m` 整段教「budget.remaining()=Infinity 陷阱 + 加硬迭代上限或传预算」(卡 448065 同警示);我方仅一行「workflow exceeded its max agent count (N)」。CC budget 错误含「In-flight agents will complete; their results are preserved」;我方一行式 | pretty.js:446468-446471(D0m)+ 446477-446480($xl budget msg)+ 448065(卡) | workflow.ts:356(cap)/306(budget)+ prompts/supervisor.ts:107-109(guidance 无 Infinity 警示) | **亲证**双侧 |
+| F10 | behavior-drift | COSMETIC | 默认并发 floor:CC `k0m=Math.min(16,Math.max(2,cores-2))`(下限 2);我方 `Math.max(1,Math.min(16,cores-2))`(下限 1)——≤3 核我方少 1 并发 | pretty.js:446403-446405 | workflow.ts:605-613 | **亲证**双侧,cores=3 时 CC=2 我方=1 |
+
+## 三、被证伪项
+
+无。11 条实质 finding 双坐标全部复核成立。
+
+## 四、已记档项(F12 对账,不重报)
+
+逐条核过记档真实存在:
+1. agent() 返回值形状(TaskResult 读 `r.result`/`r.structuredOutput` vs CC 直返 string/对象)——ORCHESTRATION_GUIDANCE 明文(supervisor.ts:100-101),deliberate sema 形状。
+2. 禁再委派层(CC=`j1o.disallowedTools:[sO,is,zx]` 工具层,pretty.js:447340;我方=persona 文本 + 结构 deny 标 future work)——workflow.ts:44-58 注释 + CC-SUBAGENT-PROMPT-STUDY §G5。
+3. 预算源/池(CC=用户「+500k」回合共享池 vs 我方 per-workflow 部署上限)+ maxAgents 50 vs 1000——design/96 G#4 / 98 §D.6 部署中性。
+4. opt-in 硬闸 port(#88 ✅DONE,DIFF-HIGH-1)+ 主名 Workflow 翻转(#89 ✅DONE)——CC-PARITY-CHECKLIST.md:137-138。
+5. /workflows = core store/subscribe API 非 slash 渲染——design/97 S1c。
+
+## 五、aligned 抽验记录(防假阳性)
+
+| 抽验项 | 结果 |
+|--------|------|
+| P0m/M0m 主 persona 逐字 | ✅ 真(447248/447333 vs workflow.ts:56/66;两处适配已记档;但复合 append 有 F6 漂移——挖掘者自己拆出来了,诚实) |
+| StructuredOutput 工具名 | ✅ 真(`im="StructuredOutput"` pretty.js:224280 vs synthetic-tools.ts:9) |
+| MAX_WORKFLOW_ITEMS=4096 | ✅ 真(卡 448079「at most 4096 items; explicit error, not silent truncation」vs workflow.ts:603) |
+| 主名+alias | ✅ 真(hIm `name: zx, aliases:["RunWorkflow"]` 449179-449180 vs run-workflow-tool.ts:34,236;我方多 `run_workflow` 兼容 alias=已注释的保活) |
+| 默认并发公式同源 | ✅ 真(min/max 16/cores-2 同,仅 floor 差=F10 已单列) |
+
+## 六、落码 backlog(建议,S/M/L)
+
+| 项 | 量级 | 说明 |
+|----|------|------|
+| B1(F1)工具卡宣称面止血 | **S** | 删卡 `workflow(body)`/`agentStream` 两段 + 修「Only…」列表为真实 6+args;或先只改文案后续再评估把 `workflow` 提升进 WorkflowPrimitives(那是 M,含一层嵌套语义+wiring battery 扩展)。宪法违例,建议随下一发版即修 |
+| B2(F3)确定性禁令 | **M** | 三件套:工具层静态检查(AST/regex,structuredError 教改法)+ dev runner Date/Math shim + conformance battery 增 determinism 案;卡加警示句 |
+| B3(F8)同步预编译 fail-fast | **S** | execute 里 `new vm.Script(wrapped)` 编译不执行(或静态 parse),语法错误当轮 structuredError 返回 |
+| B4(F5)workflow 层 per-agent 重试 | **M** | 最小=失败重试 N 次(CC Mxl=5)+ 事件字段 attempt/lastAttemptReason;进度型 stall 看门狗 + throttle 退避=后续 L 半档 |
+| B5(F2)scriptPath/named registry | **L** | 落盘 + 注册表 + per-name 权限 + schema 三态 refine;部署中性(session 目录=deployment seam)需小设计 |
+| B6(F6+F9)文案逐字批 | **S** | append 两条逐字回填 + `\n\n---\n\n` 分隔 + M0m 大写 Read + cap/budget 错误教学文案 + guidance Infinity 警示 |
+| B7(F7)phases 预注册 + phases[].model | **S** | run 起点按 meta.phases 预 push;meta 解析器受理 model 键(先解析存储,行为面随 B8 评估) |
+| B8(F11)fan-out 预算折 null | **S~M** | 对齐 CC:Budget(至少)折 null + dropped 记账;MaxAgents 是否保留 rethrow 需一次判决(CC 两者都折) |
+| B9(F10)并发 floor 2 | **S** | 一行 |
+| B10(F4)opts.agentType | defer/M | 依赖 agent 注册表(我方无);随 agent-registry 议题一并评估,单做不值 |
+
+## 六点五、M/L 批落码收账(2026-07-10,fable 落码 + 主循环终审)
+
+B1/B3(S 止血批,commit 1c838c5)已先行:F1 卡宣称面止血 + F8 同步预编译。本批落 B2/B4/B5/B7/B8/B9(+B6 文案):
+
+- **B2/F3 确定性禁令三件套** ✅:①工具层静态检查 `workflowScriptReadsClockOrRandom`(workflow-meta.ts,先 `stripStringsAndComments` 剥字符串/注释再正则 Date.now/Math.random/argless new Date——prompt 里 MENTION 不误触;run-workflow-tool.ts execute 内当轮 structuredError,CC errorCode 4 语义)②dev runner 运行时 shim(dev-vm-script-runner.ts,CC `S0m` 逐字端口:Math.random/Date.now/bare Date()/argless new Date throw+关 .constructor 后门+freeze RealDate;`new Date(x)` 保留;import() 教学错误)③conformance:独立 `assertWorkflowDeterminism`(不折进 sandbox battery——后者用 null-stub runner 测断言逻辑,不能演示 throw)④两处工具卡警示句(env-facts + 卡尾)。
+- **B4/F5 workflow 层 per-agent 韧性** ✅:agent() 内进度看门狗(`WORKFLOW_AGENT_STALL_MS=180000`,每 tool 活动 rearm——CC `F0m` 进度型非墙钟)+ 最多 `WORKFLOW_AGENT_MAX_RETRIES=5` stalled 重试(CC `Mxl`)+ 一次 throttle-degradation 45s 退避重试(CC `At` 预测式 ADAPT:此 seam 无 stop_reason/outputTokens,判据=completed+无 structured+result<50 字+耗时>半窗)+ 每 attempt spend 累计进 budget(CC `Et+=Ct.tokens`)+ `rec.attempts`/`rec.lastAttemptReason` 可观测。三常数 opts 可覆盖(部署可调/测试快)。**与 brain 层断流终局化(SUBAGENT-STREAM §②)不同层不重复**。
+- **B5/F2 scriptPath/name + 落盘** ✅:新 seam `WorkflowScriptStore`(persist/load/resolveName)+ TOC file 实现 `createFileWorkflowScriptStore`(CC `Pqi` 姿势:dir 0700/file 0600 + **containment**:model-supplied path 只许 store 目录内,越界拒——防文件泄露 gadget);工具 params 扩三态(script∨name∨scriptPath,CC refine 语义,scriptPath>script>name);每次 invocation 落盘返 scriptPath。deployment-neutral:未 wire store 时三态给诚实 structuredError,inline script 照常。
+- **B6/F6+F9 文案逐字批** ✅:`WORKFLOW_SUBAGENT_APPEND`/`_SCHEMA` 回填 `---` 分隔 + O0m/L0m 逐字;M0m「Read」大写;`WorkflowBudgetExceededError`/`WorkflowMaxAgentsError` 换 CC `$xl`/`D0m` 教学文案(Infinity 陷阱);ORCHESTRATION_GUIDANCE budget 加 Infinity 警示;工具卡 budget bullet 加 Infinity 陷阱句。
+- **B7/F7 phases 预注册 + phases[].model** ✅:run 起点按 meta.phases 预 push 为 `"pending"`(WorkflowItemStatus 加 pending 臂,plan 先于执行可见);`phase(title)` 采纳同名 pending(→running),未到达的留 pending(诚实);meta 解析器受理 model 键(display-only)。
+- **B8/F11 fan-out 折 null** ✅ **带一处 deliberate divergence(我判决 + 记档)**:parallel/pipeline 每个失败 slot 折 null(CC :447168)——**budget 折 null + dropped 计数**(对齐 CC:budget ceiling=优雅收敛);**maxAgents 保留 rethrow(分歧)**:我方默认 cap=50 vs CC=1000,10× 更低→撞到更可能是「真·太大 fan-out」非 runaway,失败 LOUD 胜过静默丢 overflow items。`rethrowIfMaxAgents` 替代旧 `rethrowFatalFanout`。
+- **B9/F10 并发 floor 2** ✅:`defaultConcurrency` `Math.max(1,…)`→`Math.max(2,…)`(CC `k0m`)。
+- **B10/F4 opts.agentType** = 仍 defer(依赖 agent 注册表,我方无)。
+
+测试:新 `test/workflow-parity-ml-batch.test.ts` 12 测(determinism 静态+运行时+dated 保留 / phases 预注册采纳 / budget 折 vs maxAgents fatal / 韧性 stalled 重试 / store 存取+containment+traversal 拒)+ 反事实双向红→绿(静态检查返 false→红 / 撤 maxAgents rethrow→红)。全 workflow 族 213 绿 + export-surface REGEN(+5 导出)。commit 见下批。
+
+## 七、诚实盲区(承挖掘者 + 核验补充)
+
+- workflow-governance.ts 白名单未逐行核(本轮亦未展开);workflow-observe.ts 只略读。
+- CC 后台 checkpoint/fork 恢复链(340578-341100)与 CCR remote_launched 腿未对比。
+- CC `Ixl`(嵌套 workflow resolver E 的实现体)未逐行读——F1 判决不依赖它(绑定表已足证)。
+- 88 源未查:记档已定谳 88 无 Workflow 面,198 为唯一锚(符合 clay 口径)。
+- F5 的 stalled 判定细节(`Ct.stalled` 由哪些进度信号驱动)未穷尽——不影响「我方无此机制」的判决。

package/docs/PASSWORD-RECOVERY-PANEL-VERDICT-2026-07-10.md

@@ -0,0 +1,62 @@
+# password-recovery 5-fable 评审团合议档(2026-07-10)
+
+> 5 个独立自主 fable5 subagent 上测试机看真实数据 + 对照 198/sema 源码,各自独立挖机制根源(极简 prompt,无预设角度)。本档=合议。
+
+## 一、5 票各自核心结论
+
+| 票 | 核心结论 |
+|---|---|
+| 团1(a5f0a712) | **推翻前提**:查 12 个历史 run reward 分布——这题两边都高方差(我们 1239/1249-nocap/1258.2 PASS 过;CC 在 cc-pro-full 挂过)。失败=两个正交陷阱:A 输出格式(写文件行 `PASSWORD=…` 而非裸密码)+ B 碎片组装方差。非机制鸿沟,是采样波动。 |
+| 团2(a4e2) | 信息不缺(两半完整喂给模型),死在碎片重组 + 无 CRC 地面真值自校验。模型直视正确后半 `K7VB3BV4WW54` 却因"不以 8XD 开头"主动扔掉。根因=错误长度锚(14 位)+ 拒绝按客观证据更新 + oracle 盲自证。 |
+| 团3(acb0b30) | 决定性:sema 41 条命令里 CRC/checksum = **0 次**;CC 收尾手写 CRC-32 对上 ZIP 头。引擎面根源=完成/验证契约依赖"prompt 纪律 + 一发终验软提示(one-shot 可绕过)",无法把自证过关的模型拉回真实验收面。 |
+| 团4(a437ef6) | **推翻前提**:CC 也挂(cc-pro-full reward=0,犯同样 14 字符误读);Sema 也过(1239/1249-nocap/1258.2)。真杀手=prompt "exactly 23 characters" 天生歧义,模型第 1 轮 +3 秒就锁死错误解读(值=14),早于任何引擎行为。共享模型采样级偏差,非引擎缺陷。 |
+| 团5(ae561e2) | 两引擎相同证据走向相反:CC 让 ZIP 结构(33 字节 size + CRC)驱动+校验;我们锚死 14 位 → 合理化掉指向 23 的信号 → 编造 + 循环自证。排除预算/工具/截断(UzuSuuP 跑 71 工具/817s 照样编造)。 |
+
+## 二、高置信收敛(多票交叉坐实)
+
+1. **信息不缺**:两半密码碎片(前段 `8XDP5Q2RT9Z` @偏移1048652 + 后段 `K7VB3BV4WW54` @偏移~3145737)都**完整、未截断**喂给了模型(团2/3/4/5 逐字坐实)。**不是引擎截断/上下文丢失/信息饥饿**。
+2. **死在"最后一公里"推理/验证**,不是取证能力——取证链完整,团1 发现 1257 run 甚至比 CC 多走一步真 unzip 解档 + 算了 CRC。
+3. **机制分叉(当它挂时)**:模型把 prompt "exactly 23 characters" 误读为整行长度 → 锚死密码=14 位 → 把正确后半当噪声丢弃/编造后缀 `W54` → 凑 `8XDP5Q2RT9ZW54`(14位)。
+4. **CC 制胜招 = ZIP CRC-32 地面真值校验**:拼接后算 CRC(`b0725dc4`)对上 ZIP 头(`c45d72b0` 小端)才提交;我们的 FAIL run 大多 0 次 checksum,只靠"满足题面约束"自证(欠定,编造答案真空通过)。
+
+## 三、前提被证伪(诚实,必须报告)
+
+clay 钉死的前提"**永远过不了 password**"——**团1 和团4 用测试机真实 reward 分布证伪了它**:
+- **我们过过**:full-pro-1239-os / full-pro-1249-nocap / full-pro-1258.2(12582)/ targeted-1249-verify 均 reward=1(同 deepseek-v4-pro)。
+- **CC 挂过**:cc-pro-full/password-recovery__a9uuCQu reward=0,且犯**一模一样的 14 字符误读**。
+- 画面:**两边都 ~30-50% 高方差**,不是"CC 稳过/我们稳挂"的确定性鸿沟。**近期我们的版本(1244-fb/1249-fb/1257-fb/1259)恰好连挂**,但不是确定性壁垒。
+
+## 四、关键分歧(两派,其实是一体两面)
+
+- **采样方差派(团1,4)**:根本触发在模型第 1 轮对歧义 prompt 的解读,早于任何引擎行为;CC/sema 都会掉坑。不是引擎机制差,是共享模型采样偏差。
+- **引擎机制派(团2,3,5)**:引擎缺"硬 oracle 校验"机制;R9 final-verify 是可绕过的 one-shot 软提示;CC 靠模型自发用 CRC 兜住,我们的软提示拉不回自证过关的模型。
+
+**合议判决(不矛盾,一体两面)**:
+- **触发** = 模型对歧义 "23 characters" 的采样级解读偏差(采样方差派对)。
+- **能否兜住** = 有没有硬 oracle 闸把"欠定自证"升级成"oracle 接地"(引擎机制派对)。CC 没有魔法引擎,它赢在"模型自发用 CRC + 读对约束"两枚硬币;当它没自发时(cc-pro-full)也挂。
+- 所以"永远过不了"不成立,但"我们近期稳定挂 + CC 平均命中率更高"是真的。差距=**方差 + 我们缺一个把欠定自证升级成 oracle 接地的硬闸**。
+
+## 五、额外独有发现(团1,与长度误读正交)
+
+**输出格式陷阱 A**:1257 run 取证全对、算了 CRC、拼对了 23 位裸密码,但 Write 动作写进 `content: "PASSWORD=8XDP5Q2RT9ZK7VB3BV4WW54\n"`(带 `PASSWORD=` 前缀的文件内容)而非裸密码 → verifier 要 `assert "8XD...23位..." in guesses` → FAIL。**推理到动作的最后一跳把"恢复出的文件内容"错当"要提交的密码"**。CC 获胜 run 显式区分了"8.文件内容 / 9.密码"并写第9条。
+
+## 六、候选杠杆(SEMA-only,需 A/B 坐实,非照 CC 抄——CC 无此引擎机制)
+
+若要把这类题从"常挂"推向"常过",杠杆不在加预算/补取证,而在:
+1. **oracle 接地硬闸**:当交付物内嵌可校验结构(CRC/checksum/magic/size 字段/可回放确定性检查)时,把验证从"约束满足自证"升级成"用题内独立 oracle 确认重建"。R9 现文案已点名 checksums,但形态是 one-shot 软提示,被锚错约束的模型就地绕过。
+2. **反锚定纪律**:结构性数值信号(容器声明的 size 字段)优先级高于对歧义自然语言的早期推断。
+3. **输出格式自检**:交付前对着验收面语义确认"提交的是本体值,不是文件行/proxy"。
+
+**诚实边界**:此为高方差题,candidate 杠杆的增益必须 N≥5 双版本 A/B 坐实,不能当确定性修复(与 R9 注释自述"prompt discipline 增益接近 model_luck"一致)。
+
+## 七、对 M2 归因的影响
+
+password-recovery 是**高方差题**——它在 M2(n=8)FAIL 很可能就是方差(2×2 controlled 实验 aca16c25 会坐实 n=1/n=4/n=8 对照)。它不该被当成"稳定死靶"投入单题脚手架(之前 T-FRAG 关门判决部分基于"稳定死"前提,现被高方差数据修正)。
+
+## 证据坐标
+- CC PASS:`cc-pro-r3-full/password-recovery__zDkk8fG/agent/trajectory.json`(STEP19-26 grep双区→od→CRC验证→写裸密码)
+- CC FAIL(同款误读):`cc-pro-full/password-recovery__a9uuCQu`(reward=0)
+- sema FAIL:`siege-a-1259-fb/siegea/password-recovery__{4epyX6Y,rsVdoZX,UzuSuuP}` + `m2-cert-1259-fb/full89/password-recovery__DJbVmWq`
+- sema PASS(历史):`full-pro-{1239-os,1249-nocap,12582-fb}/password-recovery__*`
+- 输出格式陷阱:`full-pro-1257-fb/password-recovery__PkiTL94/agent/events.jsonl`(Write content 带前缀)
+- 引擎:`src/core/runner/runtask.ts:1957-2015`(R9 one-shot 软提示)、`src/prompts/default.ts:586-588`

package/docs/R8-R9-FINALIZE-COORDINATION-2026-07-09.md

@@ -0,0 +1,124 @@
+# R8×R9 收尾双 nudge 协调审计 + R8 CC 行为锚考据(2026-07-09)
+
+> 派单:转轮⑤预研。①R8 graceful-finalize nudge(design/130,软死线 steer)× R9 final-verification nudge(design/132,收尾 stop-gate)协调审计(代码 + TB 活体证据);②R8 的 CC 行为锚考据(CC 无 walltime 软死线,但有无「预算压力下收尾纪律」可锚)。
+> 背景档:`docs/ANCHOR-GAP-INVENTORY-2026-07-09.md`(A·R8/R9);证据机:`ubuntu@91.199.82.197`。**不 commit**。
+
+---
+
+## 定谳摘要(先给结论)
+
+1. **R8×R9 判决 = 互补,非冲突;协调机制已存在且经代码构造保证。** 两者走不同注入通道、不同触发窗口,同一 task 内可先后触发(实测 cobol-modernization 同时置位两 latch),但**永不在同一 turn boundary 竞争同一 steer 槽**,且**指令内容不矛盾**(R9=选对验收面/催「验准」,R8=持久化优先/催「先落盘」;R8 在 finalVerificationOn 时还**前置压缩内联一句 R9 回声**,专治 timeout 路径 R9 永不触达)。**无需修复**;仅一处「可观测性不对称」值得记档(R9 注入不发 wire echo,R8 发)。
+
+2. **R8 CC 行为锚考据 = 无「deadline 驱动」锚可取(诚实结论),但有一个「method-cost 驱动」的收尾纪律可作旁证锚。** CC 收尾段实测:PASS 的满墙 trial(path-tracing 1778s、path-tracing-reverse 1770s)是**迭代到最后一秒被 harness 硬切**,CC 全程**零 wall-clock/deadline 语言**——它看不见预算,与背景档预判一致。CC 唯一跨题重复(≥3 题)的收尾纪律是「**理想方法太贵→退到务实近似+对着 reference/oracle 调参落地**」,但触发词是**任务内在难度/算力成本**(too slow / too time-consuming),不是**墙钟预算**。→ **R8 保持手写 SEMA-only 机制,标注「无 CC deadline 锚(CC 无预算模型,deliberate SEMA 机制);旁证=CC method-cost 收尾纪律在预算面上的等价投影」。别硬造 deadline 锚。**
+
+---
+
+## 任务一:R8×R9 协调审计
+
+### 1.1 两个 nudge 的机制坐标(代码,`src/core/runner/runtask.ts`)
+
+| | R8 graceful-finalize + deadline nudges(design/130 P2 / design/128 T1-2) | R9 final-verification(design/132) |
+|---|---|---|
+| 注入通道 | **turn boundary** 处 `harness.steer(...)`(:2222 finalize / :2236 nudge) | **natural-end stop gate** `setStopGate(async ()=>[{role:"user",...}])`(:1960-2014) |
+| 触发条件 | 墙钟压力:deadline nudge 在 `taskStart + 0.8/0.95·budget`(:1286-1307);finalize latch 在 `remaining < estimateCycleMs + cushion`(:2198) | 收尾门:模型自认完成、到达 natural end(stop gate),且 `finalVerificationOn && !injected && wroteThisRun && !outputRef.set && turns < maxTurns-1`(:1962-1972) |
+| opt-in | `spec.limits.gracefulFinalize !== false`(**默认 ON**);deadlineNudge 同默认 ON | `spec.finalVerification === true`(**默认 OFF**,仅 autonomy 入口如 sema-tb 开)|
+| 一次性 latch | `finalizeInjected`(:2199)+ `nudgeIdx=schedule.length`(:2201,消费所有待发 nudge) | `finalVerifyInjected`(:1974)|
+| wire 可观测 | **是** — `queue.push({type:"steering_injected",source:"finalize"/"deadline_nudge"})`(:2225/:2240) | **否** — stop-gate 返回 `user` 消息进模型上下文,不发事件(只 stats latch `finalVerifyInjected:true` 可见)|
+
+### 1.2 ① 能否同 task 触发?先后顺序?
+
+**能。** 两者独立、无互斥门。触发窗口不同:
+- R9 在**模型自认完成的 natural end**(可能在预算中段,远早于墙钟);design/132 注释(:1948-1952)明说:shell-gap 桶「completed + reward 0 + no finalize」= 模型在预算内自认完成,**P2 finalize 结构上触达不到**(finalize 只在临墙钟触发)——所以 R9 专补这个 R8 够不着的洞。
+- R8 在**临墙钟**(remaining < cycle+cushion)。
+
+**先后**:同 task 内若两者都触发,R9(natural-end 停门)必然**先于或独立于** R8(临墙钟 finalize)。实测见 1.4。
+
+### 1.3 ② 内容分工与重叠:预算紧张时是否互相矛盾(一催快一催慢)?
+
+**不矛盾。分工正交:**
+- **R8 finalize 文案**(:2211-2221):`persist to disk FIRST; everything else comes after … Do NOT open new work … write out and stop`。核心=**持久化优先、停止开新活**。service [417]④ 归因(:2202-2210):timed-out 腿的病理不是「中途自测太多」,是「最好的产物没进 deliverable 路径就没时间了」(nocap 腿超时时 on-disk 已 reward=1,63-vs-61-calls 只差最后 write-out 是否落地)。所以 R8 = **落盘催办**。
+- **R9 文案**(:1979-2011):`re-verify the FINAL deliverable through its REAL entry point … choose the verification SURFACE deliberately … verify the PERSISTED artifact`。核心=**选对验收面、验准**(A 真实评测面/B 持久态重读/C 硬约束对账/E 独立第二路径)。
+
+**关键:两者不是「一催快一催慢」。** R8 催的是「别再拖延、把最好版本落盘」(反拖延),R9 催的是「验的对象要选对」(反自一致陷阱)。R9 本身不催慢——它只在**模型已自认完成**时插一轮(不占额外墙钟预算,且 :1970-1972 有 `maxTurns-1` headroom 闸,无空间就跳过)。R8 催的「别开新活」与 R9 的「验准」也不撞:R9 要求的验证是**对已有 deliverable 的一次针对性复核**,不是「开新调查」。
+
+**更关键的协调设计——R8 前置内联 R9 回声(:2216-2221):**
+```
+(finalVerificationOn
+  ? ` After writing, if seconds permit, confirm the deliverable file actually EXISTS at the required path with your latest content.`
+  : "")
+```
+design/132 注释(:2216-2217)点明:**timeout 路径永远触达不到 natural-end stop gate**(硬 timeout=abort,abort 后无模型调用),所以 R9 的验证纪律在这条路径上会「丢」——R8 finalize 就**前置压缩地内联一句「写完后如有余秒,确认文件真的存在于要求路径」**。这是**刻意的降级回声**:预算已尽时不催完整四原则验证(那要更多墙钟),只保「落盘+存在性确认」这一最低限度。→ **两 nudge 不但不冲突,R8 还主动承接了 R9 在极限预算下的责任,且降级得当(催快不催全验)。**
+
+### 1.4 ③ TB 活体证据
+
+**全景扫描**(`full-pro-1257-fb`,89 题一腿,deepseek-v4-pro,finalVerification 应为 ON):
+- finalize 触发广泛:约 20+ 题带 `steering_injected source:finalize`;deadline_nudge 约 6 题(gcode-to-text/circuit-fibsqrt/largest-eigenval/make-doom/regex-chess 等)。
+- **两 latch 共现实证 = `cobol-modernization__WN8kxyU`**(status=**completed**):
+  - `done.stats.mechanisms = {finalizeInjected:true, finalVerifyInjected:true, capShrinks:1, toolClamps:8, attachmentsInjected:1}` — **两个 latch 同 task 置位**。
+  - 时序:R8 finalize steer 在 `tMs=595243`(wire echo `source:finalize`「this is the FINAL turn … persist to disk FIRST」);此后模型于 `tMs=685432` 自主跑了一条 Bash(其 description 自述「final verification」,`cd /app && python3 program.py; echo EXIT_CODE=$?` → exit 0),`tMs=759897` 收尾 `completed`。
+  - **可观测性不对称实证**:该 events.jsonl 里 `steering_injected` 仅 2 条(todo_reminder + finalize),`re-verify the FINAL deliverable`/`REAL entry`/`acceptance criteria` 字样**0 命中**——证实 **R9 stop-gate 注入不进事件流**(只 stats latch 可见),R8 steer 进事件流。两机制无 double-steer 冲突,因为走不同通道。
+
+**path-tracing 族(超时族,派单点名)**:
+- sema 侧 `full-pro-1257-fb/path-tracing__XQ5mF3b`:`steer=2 finalize=1 deadline_nudge=0 finalverif=0` — **仅 R8 finalize 触发,R9 未触发**(该题模型没到 natural-end 自认完成,是被临墙钟 finalize 接住)。`path-tracing-reverse__tGY7w7P`:`steer=5 finalize=1 deadline_nudge=1` — R8 双段(nudge→finalize)都触发,R9 未触发。→ **超时族正是 R8 的主场、R9 的盲区**,与 design/132 注释(:1951「P2 finalize is structurally unreachable there」的对偶:超时族反过来 R9 unreachable)吻合:两机制覆盖互补的失败窗口。
+
+**一 boundary 一 steer 不变量核验**(:2339-2344, :2185-2187, codex R1 @ :2228-2234):
+- finalize 触发时 `nudgeIdx = schedule.length`(:2201)消费所有待发 nudge → 同 boundary 下方 `while(nudgeIdx<len...)`(:2232)找不到 due → **finalize 与 nudge 不会同 boundary 双发**,finalize 胜出。
+- 两 latch 置位后**永久静音** attachments/reminders(:2355-2356 `!finalizeInjected && !finalVerifyInjected`;:2495 同),避免收尾 turn 被 todo 提醒污染。
+- `boundarySteered`(:2223/:2238)让 attachment 让路给 deadline lane(design/133)。
+
+**协调审计结论:互补。** 无触发冲突(不同通道)、无内容矛盾(落盘 vs 验准正交)、无 double-steer(latch 消费 + 一 boundary 一槽)、极限预算下 R8 主动承接 R9 降级回声。唯一可记档项=**R9 注入无 wire echo**(TB 只能靠 `finalVerifyInjected` stats latch 判定其是否触发,不能靠事件流验证文案内容;B 分支若要活体核对 R9 文案落地,需另加 stream echo)。
+
+---
+
+## 任务二:R8 的 CC 行为锚考据
+
+### 2.1 方法与样本
+
+派单点名 CC PASS 满墙 trial,读收尾段(最后 ~15-25% 时间窗)。样本(`cc-pro-r3-full`,claude-code + deepseek-v4-pro):
+
+| trial | DUR | steps | reward | 收尾结局 |
+|---|---|---|---|---|
+| path-tracing__9bq5wz8 | **1778s** | 43 | **1** | 迭代到最后一秒,末步 `tool_use`(**被 harness 硬切**,非 end_turn);全程无 assistant text(纯工具轨) |
+| path-tracing-reverse__22acJoq | **1770s** | 50 | **1** | 同上,末步「Only 47 pixels differ — almost there … fix the shadow test」被切 |
+| polyglot-rust-c__jS67VTt | 780s | 17 | **1** | 主动 `end_turn`:编译干净→验证输出→清理测试二进制→交付 |
+| compile-compcert__J5hr7zT | 880s | 91 | **1** | 主动 `end_turn`:build 成功→install→建 entry point→测试编译→"final verification of complete installation"→标记完成 |
+
+### 2.2 ① CC 时间将尽时的行为模式
+
+- **满墙 PASS trial(path-tracing 族)= 迭代到底被切,不做「预算到了、收尾」的自觉转向。** 末步都是 `stop_reason:tool_use`(还在干活)被 harness timeout 截断,已写盘的 deliverable 恰好通过。CC **没有** deadline-aware 的「停手写出」动作——它根本不知道墙钟。
+- **早于满墙 end_turn 的 PASS trial(polyglot/compcert)= 一致的收尾验证纪律**:`验证真实产物/入口 → 确认输出正确 → 才 end_turn`(compcert 甚至自述 "final verification of the complete installation")。这与 **R9** 的验收纪律同构,不是 R8 的预算催办。
+
+### 2.3 ② 跨题重复的「时间压力应对纪律」?
+
+跨全 89 CC trajectory 搜时间/预算/收尾语言(见下),**关键鉴别**:
+
+| trial(reward=1) | 原话 | 触发变量 |
+|---|---|---|
+| path-tracing-reverse | 「disassembly analysis is too **time-consuming** to get exactly right. Let me take a **practical approach**」/「Let me **step back** and try a completely practical approach … **tune it to match**」 | 任务内在难度(逆向精确太难)|
+| polyglot-rust-c | 「Let me take a **practical approach** — create a test file and **iterate**」 | 方法探索成本 |
+| winning-avg-corewars | 「core-clear **too slow** … **fundamentally rethink** … go back to step-4」 | 算法性能 |
+| feal-linear-crypt | 「Python will be **too slow** for 1M iterations. Let me write a fast C impl」 | 算力成本 |
+| query-optimize | 「original query **timed out** (too slow) … write optimized version」 | 被测程序性能 |
+
+**判决(诚实原则)**:
+- ✅ **有一个 ≥3 题重复的可锚收尾纪律**:「**理想/精确方法证明太贵 → 退到务实近似 → 对着 reference/oracle 调参直到落地**」(path-tracing-reverse / polyglot-rust-c / winning-avg-corewars,3 题;feal/query-optimize 是同族的性能变体)。这是真纪律,非运气。
+- 🔴 **但它是 method-cost 驱动,不是 deadline 驱动。** 触发词全是 `too slow / too time-consuming / timed out`——指的是**算法/被测程序/探索本身的开销**,CC 全程**零** wall-clock、budget、remaining-time、deadline 语言。CC 看不见 harness 墙钟预算,与背景档预判 100% 吻合。
+- 🔴 **满墙 PASS trial 恰恰证明 CC 无预算收尾自觉**:path-tracing 族迭代到被硬切,没有任何「时间快到了、我该写出停手」的转向——它只是「恰好快到能在被切前把通过版本落盘」。
+
+### 2.4 R8 锚考据终判
+
+> **无 CC deadline 行为锚可取。** CC 无 wall-clock 预算模型(实测证实),R8 的「按墙钟软死线注入收尾催办」是 **deliberate SEMA-only 机制**(design/128 T1-2 / design/130 P2,治 TB「15 AgentTimeout、engine pacing blind to budget」的自证据),**不存在可逐字 port 的 CC 对等面**。
+>
+> **旁证锚(非逐字,方法论对齐)**:CC 有一个跨题(≥3)重复的收尾纪律——「贵方法退务实近似 + 对 oracle 调参落地 + 交付前验真实入口/产物」。R8 现文案(落盘优先、别开新活、best-version-copy-to-deliverable、finalVerificationOn 时确认文件存在)正是**这一 CC 纪律在「墙钟预算」这个 CC 看不见的维度上的等价投影**:R8 用引擎可见的墙钟触发,兑现了 CC 靠「方法太贵」自觉触发的同一个「别追求完美、把可用产物落地」的收尾行为。这可作为 R8 的**行为动机锚注**,但**不能标为 CC-verbatim/CC-derived**——它是 SEMA 机制,CC 纪律是**旁证支持**而非**源**。
+
+---
+
+## 修复建议
+
+**协调面:无需修复。** R8×R9 已互补且协调机制经代码构造保证(不同通道 / latch 消费 / 一 boundary 一槽 / R8 承接 R9 降级回声)。
+
+**记档面(2 项,建议落 A 盘点档,非改代码)**:
+1. **R8 分类订正**:`ANCHOR-GAP-INVENTORY` 现标 R8「🔴 手写无 CC 锚」——建议改注「🔴 SEMA-only(deliberate,CC 无预算模型已实测证实);旁证锚=CC method-cost 收尾纪律(path-tracing-reverse/polyglot-rust-c/winning-avg-corewars ≥3 题)的墙钟维度投影」。**从「无锚待验证」升级为「无 CC 逐字锚但有行为动机旁证 + 已 TB 活体验证触发正确(超时族主场)」。**
+2. **R9 可观测性不对称记档**:R9 stop-gate 注入不发 wire echo,TB 只能靠 `finalVerifyInjected` stats latch 判其触发,无法从事件流核对文案落地。若后续要活体验证 R9 A/B/C/E 面文案是否被模型消费,需给 stop-gate 注入补一条 `steering_injected source:"final_verify"` echo(与 R8 对齐)。**非 bug,是验证覆盖缺口**——列 B 分支探针候选。
+
+**定向测试建议(可选,低优先)**:补一个单测断言「同 task 内 finalize 触发时 nudgeIdx 被消费到 schedule 末尾 → 同 boundary 无 deadline_nudge 二次 steer」(护住 :2201 消费不变量,防未来重构回归 double-steer)。现有代码已由 codex R1(:2228)口头保证,但无测试锁定。