HEL-865 handoff: deliverable/acceptance/deferred/verification JSON; audit865_prefix reproduced at 070f4fd worktree (manager eight role-crossed wrong-answer groups - each replacing only one side with the other side the canonical positive - all pass=true) + audit865_postfix at code commit c0cb540 (all eight judged fail through the same real s6_result; structural variants incl. other pronouns/other promise verb/EN her-us-we-I/mixed multi-promise clauses all fail, both-period negatives honestly kept; omission-inheritance positives incl. wo-hai-mei-you-shou-dao all kept) + audit861_reuse865 full rerun (share gates/real exits/S8/S9/unresolved-block self-consistency/anchor negatives no regression); per-case flip self-check proves exit code depends on every positive and negative; zero-embed zero-network, ledger 458/500 read-only unchanged with identical line digest (word-surface 160, 181 rows), prior evidence hashes untouched, real 26/60 and 13-request retest plan frozen; dual-target requirement checks 4/4 pass vs origin/main and origin/agent/agent/de8874a3803b with/without handoff

Co-authored-by: multica-agent <github@multica.ai>

docs/requirements/handoff-HEL-865.json

@@ -0,0 +1,51 @@
+{
+ "baseline_version": "1.11",
+ "read_commit": "070f4fd89b51f6615a5744cacd6d23c137988fa8",
+ "task": "HEL-865 核对同一承诺是谁答应又告诉了谁（总管对070f4fd独立复核八组'同一承诺串人'反例的零资源纠错，零真实模型请求、零本地嵌入）",
+ "requirement_ids": [
+  "CG-008",
+  "CG-009",
+  "CG-011",
+  "CG-013",
+  "CG-014",
+  "CG-015",
+  "CG-016",
+  "CG-021",
+  "AM-001",
+  "UX-004",
+  "UX-006",
+  "GOV-001",
+  "GOV-002",
+  "GOV-003",
+  "GOV-004",
+  "GOV-005",
+  "GOV-006",
+  "DEL-001"
+ ],
+ "deliverable": "总管独立复核《HEL-864-独立复核.md》八组'同一承诺是谁答应又告诉了谁'反例的补正（原hel-857-mem0-spike实验线，起点070f4fd，代码提交c0cb540）：只修受支持语法的角色与声明绑定，不重做实验、不新增自然语言引擎、不改产品表达——parse_supported_answer 每个小句捕获并核准承诺者主语、告知接收者、动作、对象与状态，全部绑定同一项预声明场景声明（p1用户原话'面试结果出来我周五晚上告诉你'：承诺者=用户〔答案框架'你'/'you'〕、告知接收者=伴侣〔'我'/'me'〕、对象=面试结果）；省略槽按预声明回指规则继承（承诺小句省略主语→承诺者、省略接收者→场景接收者；状态小句按动词类别：tell类主语=承诺者、receive类受收方=场景接收者且未结侧兼容接收者未收到告知/承诺者未收到结果两读法、fulfill类主语=承诺者）；明确不同接收者（现在已经告诉你了/told them）、承诺指向他人（告诉她/her）、承诺方反转（我答应/我承诺）、多个小句角色冲突一律失败，未知（we/我们/他）也失败；中英文同等核验；不加八句/人称禁词黑名单；受支持语法表面不变。规范正例（含'我还没有收到'与全部省略继承形态）保留通过。",
+ "acceptance": [
+  "附件八组反例修前可复现：audit865_prefix.json（零嵌入，在070f4fd工作树上运行，记录commit=070f4fd）——每次仅替换已结/未结一侧且另一侧为原规范正例：①已结'你答应周五晚告诉我面试结果，现在已经告诉你了。'②未结'……还没有告诉你。'③已结'你答应周五晚告诉她面试结果，现在已经告诉我了。'④未结'……还没有告诉我。'⑤已结'我答应周五晚告诉你面试结果，现在已经告诉你了。'⑥未结'……还没有告诉你。'⑦英文已结'You promised to tell me the interview result, and you have already told them.'⑧英文未结'……but you haven't told them yet.'全部pass=true（同一真实s6_result），退出码0",
+  "修后同一真实s6_result八组全部判失败：audit865_postfix.json（零嵌入，代码提交c0cb540）——八例全部actual_pass=false，退出码0；一次核对角色继承、角色冲突与场景目标绑定，不再只确认某P+某C/O存在",
+  "结构变体证明按角色类绑定而非八句/人称黑名单：中文换代词（告诉他/告诉我们）、换承诺动词（我承诺）、英文换格（tell her/told us/We promised/I have already told you）、未结侧显式主语（我还没有告诉你/我还没兑现）、混排多承诺小句（给她一条+给我一条）prefix全部复现、postfix全部判失败；'还没有告诉她'与'他答应……'在070f4fd已判失败，作双期负例保留；'你'在承诺者槽继续必需（规范正例本身含'你答应'），不作字面禁词",
+  "省略槽按预声明回指规则继承的规范正例两期均通过：承诺小句省略主语/接收者（你答应周五晚告诉面试结果／答应周五晚告诉我面试结果）、状态小句省略接收者（现在已经告诉了）、未结省略主语（还没有告诉/还没有收到）、裸回指与话题形态（结果已收到／面试结果已经告诉我了）、英文省略主语（haven't received it yet）与I have received it；正确面试承诺已结/未结、未结同义'我还没有收到'、audit860/rework形态全部pass=true",
+  "全部既有门不回归：audit864七组+未结侧镜像、英文3正例6反例、HEL-863三组、HEL-862四组、总管review864.py既有变体与audit861全部既有S6正负例、S2/S3总判据维持预期极性（audit865用例表逐项断言）；python -m spike.hel857.audit861 spike/hel857/results/audit861_reuse865.json（修复后代码全量复跑，零嵌入）退出码0——8次装配门调用全supplied、t1未分享/t4未知伴侣原句零进入实际发送上下文、CompanionShareGate fail-closed、S8重启/S9备份恢复后出口实际核验、未结对照块自洽、来源锚点互证负例保留",
+  "新脚本退出码真实依赖正负例：audit865对每个用例（八组+结构变体+省略继承正例+既有全部集）翻转自检，flip任一用例实际结果则用例总判必翻转（flip_dependence.every_flip_changes_verdict=true）",
+  "资源硬边界：本卡真实新增0、本地嵌入新增0，未重跑需要66条嵌入的完整套件（明确未运行）；唯一权威账hel-859-1f079e50f551/workdir/audit-data/embed_ledger.sqlite3本轮全部脚本运行前后快照完全一致（逐行摘要SHA256相同：dense141+seed_dense317=458/500、余42，词面48+seed_keyword112=160另列，行数181），不补种不回退不双扣，旧作者账不写；run1/run2、rework858/859/860、audit859–864全部证据SHA256运行前后逐一核对未改动，新证据独立命名（audit865_prefix/postfix、audit861_reuse865）；原26/60真实账与余34冻结未动，13次逐笔复测方案保留",
+  "远端可回查：origin/hel-857-mem0-spike已fast-forward至本卡最终提交，本轮运行分支同步可fetch，git ls-remote核对通过；不合并不部署",
+  "check_requirements 对 origin/main 与 origin/agent/agent/de8874a3803b 双基准（含本handoff共四项）通过"
+ ],
+ "deferred": [
+  "真实A/B复测仍冻结：本卡真实新增0未执行、不自动开跑；13次复测方案（rework860_offline.json _retest_plan，5批提取+8次问答逐笔）待总管核对解除隐私停止门后在主卡'同意测试'授权与60次额度内执行，不重复索取相同范围授权；任一隐私负例失败继续冻结",
+  "复测前置核验（沿HEL-864并补角色绑定）：S6肯定验证限定为受支持结构、语气与场景角色（P/C/O三类小句fullmatch+陈述语气门+承诺者/接收者槽绑定同一项场景声明、省略按预声明回指规则继承），真实模型若以其他措辞、其他小句组织、非陈述语气或角色不绑定本场景声明的回答将保守判失败（fail-closed）——复测时该边界如实生效，不以放宽判据换通过；infer=True真实提取条目须随add携带来源锚点且实际编排提供明确分享状态源，否则带门装配fail-closed拒绝",
+  "正式采用Mem0或迁移产品接线、转自研评估：待白栖知拍板，本卡结果不构成采用决定",
+  "完整真实体验、八字情绪/生活连续/主动联系：继续按R1-R7承接，不以实验替代完整产品验收",
+  "中文提取提示词定制、真实语料验收、M5/M6产品接线：按原承接卡继续"
+ ],
+ "requirement_changes": [],
+ "verification": [
+  "spike/hel857/results/audit865_prefix.json（修前八组反例+结构变体全复现@070f4fd工作树）与 audit865_postfix.json（修后同一真实s6_result八例全判失败、省略继承正例保留、audit864/863/862/review变体/audit861既有集与S2/S3不回归、翻转自检通过），同一脚本spike/hel857/audit865.py，八组输入为总管复核原文逐字，零嵌入零网络",
+  "spike/hel857/results/audit861_reuse865.json（修复后代码全量复跑audit861：分享门/真实A.run出口/S8/S9/未结块自洽/来源锚点/既有正负例不回归，退出码0，零嵌入零网络）",
+  "spike/hel857/README.md《HEL-865 纠错修订记录》（八组+结构变体旧/新对照表、省略继承回指规则、不回归证明、资源账只读核对、场景角色绑定已知边界）",
+  "权威嵌入账只读快照前后一致（458/500、余42、词面160、行数181，逐行摘要SHA256相同）；run1/run2、rework858/859/860、audit859–864证据SHA256未改动；本轮零网络出站、零真实模型、零本地嵌入；未验证现网/真实档案/真实模型（本卡范围禁止触及）；真实复测与正式采用不在本卡"
+ ]
+}

spike/hel857/README.md

@@ -329,3 +329,41 @@ HEL-858/859 全部已确认修复保留（越组 turn 拒绝、hit 与 payload
 - run1/run2、rework858/859/860、audit859/860/861/862/863 全部既有证据文件 SHA256 运行前后逐一核对未改动（本轮新证据独立命名 `audit864_prefix/postfix`、`audit861_reuse864`）；原 26/60 真实账与余 34 额度冻结未动，13 次逐笔复测方案保留，**未重跑完整嵌入套件**。
 - 已知边界（诚实声明，沿 HEL-863 并收紧为全量解析）：S6 肯定验证限定为固定合成语料的受支持结构与语气（P/C/O 三类小句 fullmatch + 陈述语气门），真实模型若以其他措辞、其他小句组织或非陈述语气回答将**保守判失败**（fail-closed），不外推、不冒充通用中英文语义理解；历史真实 run2 的 S6 实答为"不知道。"（本就判失败），无既有过关真实答案被本轮收紧作废。复测时该边界如实生效。
 - 真实复测仍冻结：待总管核对隐私检查后解除停止门，在主卡"同意测试"授权与 60 次额度内执行；正式采用/迁移仍待白栖知决定。
+
+## HEL-865 纠错修订记录（本轮，零真实模型请求、零本地嵌入）
+
+总管对 070f4fd 独立复核（附件《HEL-864-独立复核.md》、`HEL-864-independent-review.json`、证据脚本 `review864.py`）：全量语法、原十四例、分享门、既有正例、远端交付及四项需求检查均属实（**这些成果保留**），但同一承诺的人物角色仍可串错——完整匹配只产出 promise/closed/open 三种类型，`_PROMISE_CLAUSE_ZH` 允许"你/我"任意主语和多种接收者、`_CLOSED_STATE_ZH`/`_OPEN_STATE_ZH` 允许"我/你"任意接收者、英文状态允许 me/you/us/them，主语/接收者被正则消费后丢弃，全篇拼出的只是"某承诺+某已结/未结状态"，不能证明属于本场景同一项承诺。八组新反例经同一真实 s6_result 全部误判成功。本轮为既有用户"同意测试"授权内的零资源纠错：原模型/运行时/认证与固定 Mem0 源 `2c81af3bbe27d9bccb09c772d583df9e9be72ee5` 不变，不合并不部署、不加依赖、不触现网/真实资料；真实新增 0、本地嵌入新增 0，不重跑需要 66 条嵌入的完整套件。
+
+### 逐项：总管复核发现 → 本轮补正（修前可复现 pass=true / 修后同一真实 s6_result 判失败）
+
+同一负例脚本 `spike/hel857/audit865.py`（零网络、零嵌入：八组反例为总管复核原文逐字、每次仅替换已结/未结一侧且另一侧为原规范正例；同一真实 `s6_result` 入口纯函数代入；既有判据不回归部分复用 audit861 两组纯函数节、audit862 四组、audit863 三组与 audit864 七组+镜像+英文正负例）在修复前（070f4fd 工作树，`results/audit865_prefix.json`）与修复后（代码提交 c0cb540，`results/audit865_postfix.json`）各跑一遍：
+
+| 总管复核发现（八组反例修前全部 pass=true，另一侧均为原规范正例） | 修前复现（prefix@070f4fd） | 修后（postfix@c0cb540） |
+| --- | --- | --- |
+| 已结侧告知接收者与承诺接收者不同：`你答应周五晚告诉我面试结果，现在已经告诉你了。`（告诉"你"不证明告诉了"我"） | `pass=true` | **判失败**：C 小句接收者槽绑定场景接收者（"我"/me，省略继承）；显式"你"=承诺者本人 ≠ 告知接收者 → 不绑定 → 整篇保守失败 |
+| 未结侧同缺口：`你答应周五晚告诉我面试结果，还没有告诉你。`（未告诉"你"不证明尚未告诉"我"） | `pass=true` | **判失败**：O 小句接收者槽同规则绑定 |
+| 承诺指向他人（已结）：`你答应周五晚告诉她面试结果，现在已经告诉我了。`（已告知"我"不证明给"她"的那项承诺已结） | `pass=true` | **判失败**：P 小句接收者槽必须是场景接收者；"告诉她"属另一项声明，场景锚点不支持 → 不绑定 |
+| 承诺指向他人（未结）：`你答应周五晚告诉她面试结果，还没有告诉我。` | `pass=true` | **判失败**：同上 |
+| 承诺方反转（已结）：`我答应周五晚告诉你面试结果，现在已经告诉你了。`（承诺者被反转，语料中的承诺是用户作出的） | `pass=true` | **判失败**：P 小句主语槽绑定场景承诺者（"你"/you，省略继承）；显式"我"=接收者一方 ≠ 承诺者 → 不绑定 |
+| 承诺方反转（未结）：`我答应周五晚告诉你面试结果，还没有告诉你。` | `pass=true` | **判失败**：同上 |
+| 英文已结侧接收者不同：`You promised to tell me the interview result, and you have already told them.` | `pass=true` | **判失败**：EN C 小句接收者槽绑定 me（省略继承），them=他人 → 不绑定 |
+| 英文未结侧接收者不同：`You promised to tell me the interview result, but you haven't told them yet.` | `pass=true` | **判失败**：EN O 小句同规则 |
+
+结构变体证明按角色类绑定而非八句/人称黑名单（prefix 复现 / postfix 判失败）：中文换代词（告诉他/告诉我们）、换承诺动词（我承诺周五晚告诉你）、英文换格（tell her / told us / We promised / I have already told you）、未结侧显式主语（我还没有告诉你/我还没兑现）、混排多承诺小句（给她一条+给我一条）同缺口全部误判成功→修后全部判失败；`还没有告诉她`（O 小句接收者槽本就不含她）与 `他答应……`（主语槽不含他）在 070f4fd 已判失败，作为双期负例保留。**省略槽按预声明回指规则继承的规范正例两期均通过**：承诺小句省略主语/接收者（你答应周五晚告诉面试结果／答应周五晚告诉我面试结果）、状态小句省略接收者（现在已经告诉了）、未结省略主语（还没有告诉/还没有收到）、裸回指与话题形态（结果已收到／面试结果已经告诉我了）、英文省略主语（haven't received it yet）与 I have received it——证明绑定按槽位+场景角色，"你"在承诺者槽继续必需（规范正例本身含"你答应"），不作字面禁词。
+
+补正口径：`parse_supported_answer` 每个小句捕获并核准承诺者主语、告知接收者、动作、对象与状态，全部绑定**同一项预声明场景声明**（p1 用户原话"面试结果出来我周五晚上告诉你"：承诺者=用户〔答案框架"你"/"you"〕、告知接收者=伴侣〔"我"/"me"〕、对象=面试结果）。省略槽回指规则预声明：承诺小句省略主语→承诺者、省略接收者→场景接收者；状态小句按动词类别（tell 类主语=承诺者；receive 类受收方=场景接收者，未结 receive 主语兼容"接收者未收到告知/承诺者未收到结果"两读法；fulfill 类主语=承诺者）。明确不同接收者、反转承诺者、多个小句角色冲突一律失败，未知（we/我们/他/她等）也失败；中英文同等核验；不新增自然语言引擎、不重做实验、受支持语法表面不变（EN 已结受收主语槽仍不含承诺者代词）。
+
+### 不回归证明（同一 postfix 运行内逐项断言 + audit861 全量复跑）
+
+- 正例保留：正确面试承诺已结/未结（`你答应周五晚告诉我面试结果，现在已经告诉我了。`/`还没有告诉我。`）、未结同义"我还没有收到"、audit860/rework 两种形态（含"答应过"与无句号）与全部省略继承正例继续通过。
+- audit864 七组+未结侧镜像、英文 3 正例 6 反例、HEL-863 三组、HEL-862 四组复核用例、总管 review864.py 既有变体与 audit861 全部既有 S6 正负例、S2/S3 总判据全部维持预期极性（audit865 用例表内逐项断言）。
+- `python -m spike.hel857.audit861 spike/hel857/results/audit861_reuse865.json`（修复后代码全量复跑，零嵌入）→ 退出码 0：分享门不退步——8 次装配门调用全 supplied、t1 未分享/t4 未知伴侣原句零进入实际发送上下文、`CompanionShareGate` fail-closed、S8 重启/S9 备份恢复后出口实际核验、未结对照块自洽、来源锚点互证负例保留。
+- **退出码真实依赖正负例**：audit865 对每个用例（八组+结构变体+省略继承正例+既有全部集）做翻转自检，flip 任一用例实际结果则用例总判必翻转（`flip_dependence.every_flip_changes_verdict=true`，正例与负例都参与退出码）。
+
+### 本轮验证与资源（零嵌入，权威账只读核对）
+
+- `python -m spike.hel857.audit865 --phase prefix`（在 070f4fd 工作树上运行）→ 八组反例与结构变体全部复现且其余用例维持预期，退出码 0；`python -m spike.hel857.audit865` → 八组+结构变体全部判失败、省略继承正例保留、翻转自检通过，退出码 0。两者零网络（socket 硬拒绝+HF 离线）、零本地嵌入、真实请求 0；不以新增模型请求调试判据。
+- 唯一权威账 `hel-859-1f079e50f551/workdir/audit-data/embed_ledger.sqlite3` 本轮全部脚本运行前后快照完全一致（逐行摘要 SHA256 相同）：dense 141 + seed_dense 317 = **458/500、余 42**，词面 48 + seed_keyword 112 = 160 另列，行数 181——本轮**新增 0**，不补种不回退不双扣，旧作者账不写。
+- run1/run2、rework858/859/860、audit859/860/861/862/863/864 全部既有证据文件 SHA256 运行前后逐一核对未改动（本轮新证据独立命名 `audit865_prefix/postfix`、`audit861_reuse865`）；原 26/60 真实账与余 34 额度冻结未动，13 次逐笔复测方案保留，**未重跑完整嵌入套件**。
+- 已知边界（诚实声明，沿 HEL-864 并补角色绑定）：S6 肯定验证限定为固定合成语料的受支持结构、语气与场景角色（P/C/O 三类小句 fullmatch + 陈述语气门 + 承诺者/接收者槽绑定同一项场景声明、省略按预声明回指规则继承），真实模型若以其他措辞、其他小句组织、非陈述语气或角色不绑定本场景声明的回答将**保守判失败**（fail-closed），不外推、不冒充通用中英文语义理解；历史真实 run2 的 S6 实答为"不知道。"（本就判失败），无既有过关真实答案被本轮收紧作废。复测时该边界如实生效。
+- 真实复测仍冻结：待总管核对隐私检查后解除停止门，在主卡"同意测试"授权与 60 次额度内执行；正式采用/迁移仍待白栖知决定。

spike/hel857/results/audit861_reuse865.json

@@ -0,0 +1,744 @@
+{
+  "real_network_allowed": false,
+  "real_model_requests": 0,
+  "local_embeddings": 0,
+  "phase": "postfix",
+  "commit": "c0cb540",
+  "ledger_before": {
+    "counts": {
+      "dense": 141,
+      "keyword": 48,
+      "seed_dense": 317,
+      "seed_keyword": 112
+    },
+    "rows": 181
+  },
+  "preserved_evidence_before": {
+    "ab_scenarios_run1.json": "c473cbee15e9d243cb0475cae36ae3077ccfdc660be615dd84e5da62a2c4f4b3",
+    "ab_scenarios.json": "6745088341baafd14f73ce88ba7d8de3550b48122a1c90f439d192c055a5eef8",
+    "rework858_offline.json": "01b9d8fb9757605ed528bb9cc559b22098b4b7e599f4890240459d1bad877ef4",
+    "rework859_offline.json": "0785228e2c0964bace4b95617dea6b1261c2cf5bd3923a0c61cfb8e7d5e754c5",
+    "rework860_offline.json": "788f4090233d228f54ceeab99a3517870022e926dda160d7f5a9ae8fdc35c203",
+    "audit859_prefix.json": "d651383754d036cc4a5f52a943d58e4acce9e7bc3558fd0bdd38de098997442c",
+    "audit859_postfix.json": "5a6a57191fd904c7226892fb1e69f4ea4dd0394169dbe8e1ed13922297f559cf",
+    "audit859_reuse860.json": "d6f0ddee989c67fa8922f6c2b81272039f08fac4e3369625dd36fdfb00a3a12f",
+    "audit860_prefix.json": "5f4a7fa5a23548231cc022a01836f7f07bcf68cb385c98db38ed2f457d5efbe4",
+    "audit860_postfix.json": "31b3127d1f5e57738ecabc32fb7f8cd004af2d6cbd9d8ab8c262ff0f406349ee"
+  },
+  "s6_affirmative": {
+    "negative_wrong_object_medical_check": {
+      "layers": {
+        "orchestration": true,
+        "status_in_context": true,
+        "unresolved_context_self_consistent": true,
+        "model_use": {
+          "request_ok": {
+            "resolved": true,
+            "unresolved": true
+          },
+          "resolved_answer": "你答应周五晚告诉我体检结果，现在已经告诉我了。",
+          "unresolved_answer": "你答应周五晚告诉我体检结果，还没有告诉我。",
+          "resolved_states_promise": false,
+          "resolved_affirms_closed": false,
+          "unresolved_states_promise": false,
+          "unresolved_affirms_open": false,
+          "unresolved_no_false_resolution": true
+        }
+      },
+      "pass": false,
+      "expect": "已知id编排置 resolved 留痕且未结对照块剔除矛盾条目后自洽；正确对象的状态实际写入带门装配块；模型沿状态区分且两侧回答均须按预声明受支持语法全量解析并绑定同一项场景声明（承诺者=用户'你/you'、告知接收者=伴侣'我/me'、对象=面试结果，省略槽按预声明回指规则继承）：全篇陈述语气（无问号/句末吗呢吧嘛呗）、每个小句被承诺小句（主语→承诺动词→告知动作→接收者→面试结果到此为止）或对应极性状态小句完整消费且角色不冲突、整篇含承诺断言——外来对象（含无'结果'后缀）、状态后置对象、裸名词小句、全段冲突尾句、条件句、疑问、状态短语后否认、对象与动作串错、仅陈述告知无承诺、接收者与承诺接收者不同（告诉你/told them）、承诺指向他人（告诉她）、承诺方反转（我答应）、不确定表述、两侧同答、已结侧答未结、未结侧宣称已收到均判失败（无法完整解析或角色不能绑定同一项声明即保守判失败，不以字面提到'告诉/答应'冒充）"
+    },
+    "negative_unknown_closed_state": {
+      "layers": {
+        "orchestration": true,
+        "status_in_context": true,
+        "unresolved_context_self_consistent": true,
+        "model_use": {
+          "request_ok": {
+            "resolved": true,
+            "unresolved": true
+          },
+          "resolved_answer": "不知道你是否已经告诉我面试结果。",
+          "unresolved_answer": "你答应周五晚告诉我面试结果，还没有告诉我。",
+          "resolved_states_promise": false,
+          "resolved_affirms_closed": false,
+          "unresolved_states_promise": true,
+          "unresolved_affirms_open": true,
+          "unresolved_no_false_resolution": true
+        }
+      },
+      "pass": false,
+      "expect": "已知id编排置 resolved 留痕且未结对照块剔除矛盾条目后自洽；正确对象的状态实际写入带门装配块；模型沿状态区分且两侧回答均须按预声明受支持语法全量解析并绑定同一项场景声明（承诺者=用户'你/you'、告知接收者=伴侣'我/me'、对象=面试结果，省略槽按预声明回指规则继承）：全篇陈述语气（无问号/句末吗呢吧嘛呗）、每个小句被承诺小句（主语→承诺动词→告知动作→接收者→面试结果到此为止）或对应极性状态小句完整消费且角色不冲突、整篇含承诺断言——外来对象（含无'结果'后缀）、状态后置对象、裸名词小句、全段冲突尾句、条件句、疑问、状态短语后否认、对象与动作串错、仅陈述告知无承诺、接收者与承诺接收者不同（告诉你/told them）、承诺指向他人（告诉她）、承诺方反转（我答应）、不确定表述、两侧同答、已结侧答未结、未结侧宣称已收到均判失败（无法完整解析或角色不能绑定同一项声明即保守判失败，不以字面提到'告诉/答应'冒充）"
+    },
+    "negative_closed_is_negated": {
+      "layers": {
+        "orchestration": true,
+        "status_in_context": true,
+        "unresolved_context_self_consistent": true,
+        "model_use": {
+          "request_ok": {
+            "resolved": true,
+            "unresolved": true
+          },
+          "resolved_answer": "你没有答应过我，也不是已经告诉我面试结果。",
+          "unresolved_answer": "你答应周五晚告诉我面试结果，还没有告诉我。",
+          "resolved_states_promise": false,
+          "resolved_affirms_closed": false,
+          "unresolved_states_promise": true,
+          "unresolved_affirms_open": true,
+          "unresolved_no_false_resolution": true
+        }
+      },
+      "pass": false,
+      "expect": "已知id编排置 resolved 留痕且未结对照块剔除矛盾条目后自洽；正确对象的状态实际写入带门装配块；模型沿状态区分且两侧回答均须按预声明受支持语法全量解析并绑定同一项场景声明（承诺者=用户'你/you'、告知接收者=伴侣'我/me'、对象=面试结果，省略槽按预声明回指规则继承）：全篇陈述语气（无问号/句末吗呢吧嘛呗）、每个小句被承诺小句（主语→承诺动词→告知动作→接收者→面试结果到此为止）或对应极性状态小句完整消费且角色不冲突、整篇含承诺断言——外来对象（含无'结果'后缀）、状态后置对象、裸名词小句、全段冲突尾句、条件句、疑问、状态短语后否认、对象与动作串错、仅陈述告知无承诺、接收者与承诺接收者不同（告诉你/told them）、承诺指向他人（告诉她）、承诺方反转（我答应）、不确定表述、两侧同答、已结侧答未结、未结侧宣称已收到均判失败（无法完整解析或角色不能绑定同一项声明即保守判失败，不以字面提到'告诉/答应'冒充）"
+    },
+    "positive_interview": {
+      "layers": {
+        "orchestration": true,
+        "status_in_context": true,
+        "unresolved_context_self_consistent": true,
+        "model_use": {
+          "request_ok": {
+            "resolved": true,
+            "unresolved": true
+          },
+          "resolved_answer": "你答应周五晚告诉我面试结果，现在已经告诉我了。",
+          "unresolved_answer": "你答应周五晚告诉我面试结果，还没有告诉我。",
+          "resolved_states_promise": true,
+          "resolved_affirms_closed": true,
+          "unresolved_states_promise": true,
+          "unresolved_affirms_open": true,
+          "unresolved_no_false_resolution": true
+        }
+      },
+      "pass": true,
+      "expect": "已知id编排置 resolved 留痕且未结对照块剔除矛盾条目后自洽；正确对象的状态实际写入带门装配块；模型沿状态区分且两侧回答均须按预声明受支持语法全量解析并绑定同一项场景声明（承诺者=用户'你/you'、告知接收者=伴侣'我/me'、对象=面试结果，省略槽按预声明回指规则继承）：全篇陈述语气（无问号/句末吗呢吧嘛呗）、每个小句被承诺小句（主语→承诺动词→告知动作→接收者→面试结果到此为止）或对应极性状态小句完整消费且角色不冲突、整篇含承诺断言——外来对象（含无'结果'后缀）、状态后置对象、裸名词小句、全段冲突尾句、条件句、疑问、状态短语后否认、对象与动作串错、仅陈述告知无承诺、接收者与承诺接收者不同（告诉你/told them）、承诺指向他人（告诉她）、承诺方反转（我答应）、不确定表述、两侧同答、已结侧答未结、未结侧宣称已收到均判失败（无法完整解析或角色不能绑定同一项声明即保守判失败，不以字面提到'告诉/答应'冒充）"
+    },
+    "positive_open_synonym_not_received": {
+      "layers": {
+        "orchestration": true,
+        "status_in_context": true,
+        "unresolved_context_self_consistent": true,
+        "model_use": {
+          "request_ok": {
+            "resolved": true,
+            "unresolved": true
+          },
+          "resolved_answer": "你答应周五晚告诉我面试结果，现在已经告诉我了。",
+          "unresolved_answer": "你答应周五晚告诉我面试结果，我还没有收到。",
+          "resolved_states_promise": true,
+          "resolved_affirms_closed": true,
+          "unresolved_states_promise": true,
+          "unresolved_affirms_open": true,
+          "unresolved_no_false_resolution": true
+        }
+      },
+      "pass": true,
+      "expect": "已知id编排置 resolved 留痕且未结对照块剔除矛盾条目后自洽；正确对象的状态实际写入带门装配块；模型沿状态区分且两侧回答均须按预声明受支持语法全量解析并绑定同一项场景声明（承诺者=用户'你/you'、告知接收者=伴侣'我/me'、对象=面试结果，省略槽按预声明回指规则继承）：全篇陈述语气（无问号/句末吗呢吧嘛呗）、每个小句被承诺小句（主语→承诺动词→告知动作→接收者→面试结果到此为止）或对应极性状态小句完整消费且角色不冲突、整篇含承诺断言——外来对象（含无'结果'后缀）、状态后置对象、裸名词小句、全段冲突尾句、条件句、疑问、状态短语后否认、对象与动作串错、仅陈述告知无承诺、接收者与承诺接收者不同（告诉你/told them）、承诺指向他人（告诉她）、承诺方反转（我答应）、不确定表述、两侧同答、已结侧答未结、未结侧宣称已收到均判失败（无法完整解析或角色不能绑定同一项声明即保守判失败，不以字面提到'告诉/答应'冒充）"
+    },
+    "held_S6_resolved_answer_says_open": {
+      "layers": {
+        "orchestration": true,
+        "status_in_context": true,
+        "unresolved_context_self_consistent": true,
+        "model_use": {
+          "request_ok": {
+            "resolved": true,
+            "unresolved": true
+          },
+          "resolved_answer": "你答应周五晚告诉我面试结果，现在还没有告诉我。",
+          "unresolved_answer": "你答应周五晚告诉我面试结果，现在还没有告诉我。",
+          "resolved_states_promise": true,
+          "resolved_affirms_closed": false,
+          "unresolved_states_promise": true,
+          "unresolved_affirms_open": true,
+          "unresolved_no_false_resolution": true
+        }
+      },
+      "pass": false,
+      "expect": "已知id编排置 resolved 留痕且未结对照块剔除矛盾条目后自洽；正确对象的状态实际写入带门装配块；模型沿状态区分且两侧回答均须按预声明受支持语法全量解析并绑定同一项场景声明（承诺者=用户'你/you'、告知接收者=伴侣'我/me'、对象=面试结果，省略槽按预声明回指规则继承）：全篇陈述语气（无问号/句末吗呢吧嘛呗）、每个小句被承诺小句（主语→承诺动词→告知动作→接收者→面试结果到此为止）或对应极性状态小句完整消费且角色不冲突、整篇含承诺断言——外来对象（含无'结果'后缀）、状态后置对象、裸名词小句、全段冲突尾句、条件句、疑问、状态短语后否认、对象与动作串错、仅陈述告知无承诺、接收者与承诺接收者不同（告诉你/told them）、承诺指向他人（告诉她）、承诺方反转（我答应）、不确定表述、两侧同答、已结侧答未结、未结侧宣称已收到均判失败（无法完整解析或角色不能绑定同一项声明即保守判失败，不以字面提到'告诉/答应'冒充）"
+    },
+    "held_S6_both_answers_no_knowledge": {
+      "layers": {
+        "orchestration": true,
+        "status_in_context": true,
+        "unresolved_context_self_consistent": true,
+        "model_use": {
+          "request_ok": {
+            "resolved": true,
+            "unresolved": true
+          },
+          "resolved_answer": "不知道你答应了什么。",
+          "unresolved_answer": "不知道。",
+          "resolved_states_promise": false,
+          "resolved_affirms_closed": false,
+          "unresolved_states_promise": false,
+          "unresolved_affirms_open": false,
+          "unresolved_no_false_resolution": true
+        }
+      },
+      "pass": false,
+      "expect": "已知id编排置 resolved 留痕且未结对照块剔除矛盾条目后自洽；正确对象的状态实际写入带门装配块；模型沿状态区分且两侧回答均须按预声明受支持语法全量解析并绑定同一项场景声明（承诺者=用户'你/you'、告知接收者=伴侣'我/me'、对象=面试结果，省略槽按预声明回指规则继承）：全篇陈述语气（无问号/句末吗呢吧嘛呗）、每个小句被承诺小句（主语→承诺动词→告知动作→接收者→面试结果到此为止）或对应极性状态小句完整消费且角色不冲突、整篇含承诺断言——外来对象（含无'结果'后缀）、状态后置对象、裸名词小句、全段冲突尾句、条件句、疑问、状态短语后否认、对象与动作串错、仅陈述告知无承诺、接收者与承诺接收者不同（告诉你/told them）、承诺指向他人（告诉她）、承诺方反转（我答应）、不确定表述、两侧同答、已结侧答未结、未结侧宣称已收到均判失败（无法完整解析或角色不能绑定同一项声明即保守判失败，不以字面提到'告诉/答应'冒充）"
+    },
+    "held_S6_unresolved_claims_result_received": {
+      "layers": {
+        "orchestration": true,
+        "status_in_context": true,
+        "unresolved_context_self_consistent": true,
+        "model_use": {
+          "request_ok": {
+            "resolved": true,
+            "unresolved": true
+          },
+          "resolved_answer": "你答应告诉我面试结果，结果已收到。",
+          "unresolved_answer": "你答应告诉我面试结果，结果已收到。",
+          "resolved_states_promise": true,
+          "resolved_affirms_closed": true,
+          "unresolved_states_promise": true,
+          "unresolved_affirms_open": false,
+          "unresolved_no_false_resolution": false
+        }
+      },
+      "pass": false,
+      "expect": "已知id编排置 resolved 留痕且未结对照块剔除矛盾条目后自洽；正确对象的状态实际写入带门装配块；模型沿状态区分且两侧回答均须按预声明受支持语法全量解析并绑定同一项场景声明（承诺者=用户'你/you'、告知接收者=伴侣'我/me'、对象=面试结果，省略槽按预声明回指规则继承）：全篇陈述语气（无问号/句末吗呢吧嘛呗）、每个小句被承诺小句（主语→承诺动词→告知动作→接收者→面试结果到此为止）或对应极性状态小句完整消费且角色不冲突、整篇含承诺断言——外来对象（含无'结果'后缀）、状态后置对象、裸名词小句、全段冲突尾句、条件句、疑问、状态短语后否认、对象与动作串错、仅陈述告知无承诺、接收者与承诺接收者不同（告诉你/told them）、承诺指向他人（告诉她）、承诺方反转（我答应）、不确定表述、两侧同答、已结侧答未结、未结侧宣称已收到均判失败（无法完整解析或角色不能绑定同一项声明即保守判失败，不以字面提到'告诉/答应'冒充）"
+    },
+    "held_S6_unresolved_same_synonym_received": {
+      "layers": {
+        "orchestration": true,
+        "status_in_context": true,
+        "unresolved_context_self_consistent": true,
+        "model_use": {
+          "request_ok": {
+            "resolved": true,
+            "unresolved": true
+          },
+          "resolved_answer": "你答应周五晚告诉我面试结果，现在已经告诉我了。",
+          "unresolved_answer": "你答应周五晚告诉我面试结果，结果已经拿到了。",
+          "resolved_states_promise": true,
+          "resolved_affirms_closed": true,
+          "unresolved_states_promise": true,
+          "unresolved_affirms_open": false,
+          "unresolved_no_false_resolution": false
+        }
+      },
+      "pass": false,
+      "expect": "已知id编排置 resolved 留痕且未结对照块剔除矛盾条目后自洽；正确对象的状态实际写入带门装配块；模型沿状态区分且两侧回答均须按预声明受支持语法全量解析并绑定同一项场景声明（承诺者=用户'你/you'、告知接收者=伴侣'我/me'、对象=面试结果，省略槽按预声明回指规则继承）：全篇陈述语气（无问号/句末吗呢吧嘛呗）、每个小句被承诺小句（主语→承诺动词→告知动作→接收者→面试结果到此为止）或对应极性状态小句完整消费且角色不冲突、整篇含承诺断言——外来对象（含无'结果'后缀）、状态后置对象、裸名词小句、全段冲突尾句、条件句、疑问、状态短语后否认、对象与动作串错、仅陈述告知无承诺、接收者与承诺接收者不同（告诉你/told them）、承诺指向他人（告诉她）、承诺方反转（我答应）、不确定表述、两侧同答、已结侧答未结、未结侧宣称已收到均判失败（无法完整解析或角色不能绑定同一项声明即保守判失败，不以字面提到'告诉/答应'冒充）"
+    },
+    "held_S6_positive_audit860": {
+      "layers": {
+        "orchestration": true,
+        "status_in_context": true,
+        "unresolved_context_self_consistent": true,
+        "model_use": {
+          "request_ok": {
+            "resolved": true,
+            "unresolved": true
+          },
+          "resolved_answer": "你答应过周五晚告诉我面试结果，现在已经告诉我了。",
+          "unresolved_answer": "你答应过周五晚告诉我面试结果，还没有告诉我。",
+          "resolved_states_promise": true,
+          "resolved_affirms_closed": true,
+          "unresolved_states_promise": true,
+          "unresolved_affirms_open": true,
+          "unresolved_no_false_resolution": true
+        }
+      },
+      "pass": true,
+      "expect": "已知id编排置 resolved 留痕且未结对照块剔除矛盾条目后自洽；正确对象的状态实际写入带门装配块；模型沿状态区分且两侧回答均须按预声明受支持语法全量解析并绑定同一项场景声明（承诺者=用户'你/you'、告知接收者=伴侣'我/me'、对象=面试结果，省略槽按预声明回指规则继承）：全篇陈述语气（无问号/句末吗呢吧嘛呗）、每个小句被承诺小句（主语→承诺动词→告知动作→接收者→面试结果到此为止）或对应极性状态小句完整消费且角色不冲突、整篇含承诺断言——外来对象（含无'结果'后缀）、状态后置对象、裸名词小句、全段冲突尾句、条件句、疑问、状态短语后否认、对象与动作串错、仅陈述告知无承诺、接收者与承诺接收者不同（告诉你/told them）、承诺指向他人（告诉她）、承诺方反转（我答应）、不确定表述、两侧同答、已结侧答未结、未结侧宣称已收到均判失败（无法完整解析或角色不能绑定同一项声明即保守判失败，不以字面提到'告诉/答应'冒充）"
+    },
+    "held_S6_positive_rework": {
+      "layers": {
+        "orchestration": true,
+        "status_in_context": true,
+        "unresolved_context_self_consistent": true,
+        "model_use": {
+          "request_ok": {
+            "resolved": true,
+            "unresolved": true
+          },
+          "resolved_answer": "你答应过周五晚告诉我面试结果，现在已经告诉我了",
+          "unresolved_answer": "你答应过周五晚告诉我面试结果，还没有告诉我",
+          "resolved_states_promise": true,
+          "resolved_affirms_closed": true,
+          "unresolved_states_promise": true,
+          "unresolved_affirms_open": true,
+          "unresolved_no_false_resolution": true
+        }
+      },
+      "pass": true,
+      "expect": "已知id编排置 resolved 留痕且未结对照块剔除矛盾条目后自洽；正确对象的状态实际写入带门装配块；模型沿状态区分且两侧回答均须按预声明受支持语法全量解析并绑定同一项场景声明（承诺者=用户'你/you'、告知接收者=伴侣'我/me'、对象=面试结果，省略槽按预声明回指规则继承）：全篇陈述语气（无问号/句末吗呢吧嘛呗）、每个小句被承诺小句（主语→承诺动词→告知动作→接收者→面试结果到此为止）或对应极性状态小句完整消费且角色不冲突、整篇含承诺断言——外来对象（含无'结果'后缀）、状态后置对象、裸名词小句、全段冲突尾句、条件句、疑问、状态短语后否认、对象与动作串错、仅陈述告知无承诺、接收者与承诺接收者不同（告诉你/told them）、承诺指向他人（告诉她）、承诺方反转（我答应）、不确定表述、两侧同答、已结侧答未结、未结侧宣称已收到均判失败（无法完整解析或角色不能绑定同一项声明即保守判失败，不以字面提到'告诉/答应'冒充）"
+    },
+    "held_S6_status_missing": {
+      "layers": {
+        "orchestration": true,
+        "status_in_context": false,
+        "unresolved_context_self_consistent": false,
+        "model_use": {
+          "request_ok": {
+            "resolved": true,
+            "unresolved": true
+          },
+          "resolved_answer": "你答应过周五晚告诉我面试结果",
+          "unresolved_answer": "你答应过周五晚告诉我面试结果",
+          "resolved_states_promise": true,
+          "resolved_affirms_closed": false,
+          "unresolved_states_promise": true,
+          "unresolved_affirms_open": false,
+          "unresolved_no_false_resolution": true
+        }
+      },
+      "pass": false,
+      "expect": "已知id编排置 resolved 留痕且未结对照块剔除矛盾条目后自洽；正确对象的状态实际写入带门装配块；模型沿状态区分且两侧回答均须按预声明受支持语法全量解析并绑定同一项场景声明（承诺者=用户'你/you'、告知接收者=伴侣'我/me'、对象=面试结果，省略槽按预声明回指规则继承）：全篇陈述语气（无问号/句末吗呢吧嘛呗）、每个小句被承诺小句（主语→承诺动词→告知动作→接收者→面试结果到此为止）或对应极性状态小句完整消费且角色不冲突、整篇含承诺断言——外来对象（含无'结果'后缀）、状态后置对象、裸名词小句、全段冲突尾句、条件句、疑问、状态短语后否认、对象与动作串错、仅陈述告知无承诺、接收者与承诺接收者不同（告诉你/told them）、承诺指向他人（告诉她）、承诺方反转（我答应）、不确定表述、两侧同答、已结侧答未结、未结侧宣称已收到均判失败（无法完整解析或角色不能绑定同一项声明即保守判失败，不以字面提到'告诉/答应'冒充）"
+    }
+  },
+  "s2_s3_no_regression": {
+    "held_S2_details_absent_from_both_contexts": {
+      "layers": {
+        "retrieval": {
+          "baseline_hit": true,
+          "mem0_hit": true
+        },
+        "detail_in_context": {
+          "baseline_gist": false,
+          "baseline_gated_reread": false,
+          "mem0_gated_block": false
+        },
+        "model_use": {
+          "baseline_gist_subtest": {
+            "answer": "不知道",
+            "detail_used": false
+          },
+          "baseline_reread_final": {
+            "answer": "纸页有受潮的味道",
+            "request_ok": true,
+            "detail_used": true
+          },
+          "mem0": {
+            "answer": "纸页有受潮的味道",
+            "request_ok": true,
+            "detail_used": true
+          }
+        }
+      },
+      "pass": false,
+      "expect": "检索命中、细节进上下文、模型实际使用三层分列；上下文层以该次实际发送内容判定，总验收含请求成功、两侧实际发送上下文含细节且最终答案用上细节（答案碰词而上下文无细节判失败）；现状按获准带门回读路径、Mem0 按带门装配路径比较最终可回答能力；gist-only 为明确子测"
+    },
+    "held_S2_unknown_answers": {
+      "layers": {
+        "retrieval": {
+          "baseline_hit": true,
+          "mem0_hit": true
+        },
+        "detail_in_context": {
+          "baseline_gist": false,
+          "baseline_gated_reread": true,
+          "mem0_gated_block": true
+        },
+        "model_use": {
+          "baseline_gist_subtest": {
+            "answer": "不知道",
+            "detail_used": false
+          },
+          "baseline_reread_final": {
+            "answer": "不知道",
+            "request_ok": true,
+            "detail_used": false
+          },
+          "mem0": {
+            "answer": "不知道",
+            "request_ok": true,
+            "detail_used": false
+          }
+        }
+      },
+      "pass": false,
+      "expect": "检索命中、细节进上下文、模型实际使用三层分列；上下文层以该次实际发送内容判定，总验收含请求成功、两侧实际发送上下文含细节且最终答案用上细节（答案碰词而上下文无细节判失败）；现状按获准带门回读路径、Mem0 按带门装配路径比较最终可回答能力；gist-only 为明确子测"
+    },
+    "held_S2_positive": {
+      "layers": {
+        "retrieval": {
+          "baseline_hit": true,
+          "mem0_hit": true
+        },
+        "detail_in_context": {
+          "baseline_gist": false,
+          "baseline_gated_reread": true,
+          "mem0_gated_block": true
+        },
+        "model_use": {
+          "baseline_gist_subtest": {
+            "answer": "不知道",
+            "detail_used": false
+          },
+          "baseline_reread_final": {
+            "answer": "纸页有受潮的味道",
+            "request_ok": true,
+            "detail_used": true
+          },
+          "mem0": {
+            "answer": "有潮湿的气味",
+            "request_ok": true,
+            "detail_used": true
+          }
+        }
+      },
+      "pass": true,
+      "expect": "检索命中、细节进上下文、模型实际使用三层分列；上下文层以该次实际发送内容判定，总验收含请求成功、两侧实际发送上下文含细节且最终答案用上细节（答案碰词而上下文无细节判失败）；现状按获准带门回读路径、Mem0 按带门装配路径比较最终可回答能力；gist-only 为明确子测"
+    },
+    "held_S2_request_failed": {
+      "layers": {
+        "retrieval": {
+          "baseline_hit": true,
+          "mem0_hit": true
+        },
+        "detail_in_context": {
+          "baseline_gist": false,
+          "baseline_gated_reread": true,
+          "mem0_gated_block": true
+        },
+        "model_use": {
+          "baseline_gist_subtest": {
+            "answer": "不知道",
+            "detail_used": false
+          },
+          "baseline_reread_final": {
+            "answer": "纸页有受潮的味道",
+            "request_ok": false,
+            "detail_used": true
+          },
+          "mem0": {
+            "answer": "有潮湿的气味",
+            "request_ok": true,
+            "detail_used": true
+          }
+        }
+      },
+      "pass": false,
+      "expect": "检索命中、细节进上下文、模型实际使用三层分列；上下文层以该次实际发送内容判定，总验收含请求成功、两侧实际发送上下文含细节且最终答案用上细节（答案碰词而上下文无细节判失败）；现状按获准带门回读路径、Mem0 按带门装配路径比较最终可回答能力；gist-only 为明确子测"
+    },
+    "held_S3_unknown_answers": {
+      "retrieval": {
+        "baseline_q1_hits": 0,
+        "mem0_q1_hits": 1,
+        "mem0_q1_target": true,
+        "baseline_q2_hits": 0,
+        "mem0_q2_hits": 1,
+        "mem0_q2_target": true
+      },
+      "model_use": {
+        "baseline_answer": "不知道",
+        "mem0_answer": "不知道",
+        "mem0_answer_has_color": false
+      },
+      "pass": false,
+      "expect": "换说法召回 Mem0 严格优于现状：检索层现状词面无命中（已证缺口）且 Mem0 语义命中正确对象；模型使用层 Mem0 问答必须答出关键答案词（如'蓝色'），答'不知道'判失败"
+    },
+    "held_S3_correct_answers": {
+      "retrieval": {
+        "baseline_q1_hits": 0,
+        "mem0_q1_hits": 1,
+        "mem0_q1_target": true,
+        "baseline_q2_hits": 0,
+        "mem0_q2_hits": 1,
+        "mem0_q2_target": true
+      },
+      "model_use": {
+        "baseline_answer": "不知道",
+        "mem0_answer": "封面是蓝色",
+        "mem0_answer_has_color": true
+      },
+      "pass": true,
+      "expect": "换说法召回 Mem0 严格优于现状：检索层现状词面无命中（已证缺口）且 Mem0 语义命中正确对象；模型使用层 Mem0 问答必须答出关键答案词（如'蓝色'），答'不知道'判失败"
+    }
+  },
+  "share_gate_failclosed": {
+    "gate_none_default_allow": false,
+    "gate_missing_db": {
+      "allowed": false,
+      "error": null
+    },
+    "gate_states": {
+      "t1": {
+        "allowed": false,
+        "state": "unshared"
+      },
+      "t2": {
+        "allowed": true,
+        "state": "told"
+      },
+      "t3": {
+        "allowed": true,
+        "state": "told"
+      },
+      "t4": {
+        "allowed": false,
+        "state": "unknown"
+      }
+    },
+    "unshared_companion_without_gate": {
+      "resolver": {
+        "resolved": false,
+        "reject_reason": "share_gate_missing"
+      },
+      "companion_raw_in_block": false
+    },
+    "unshared_companion_with_explicit_gate": {
+      "resolver": {
+        "resolved": false,
+        "reject_reason": "companion_unshared",
+        "share_state": "unshared"
+      }
+    },
+    "unknown_state_companion_with_gate": {
+      "resolver": {
+        "resolved": false,
+        "reject_reason": "companion_unshared",
+        "share_state": "unknown"
+      }
+    },
+    "told_companion_and_user_positives": {
+      "told_companion_resolved": true,
+      "user_resolved": true,
+      "told_companion_raw_in_block": true,
+      "user_raw_in_block": true
+    },
+    "gated_assembly_all_hits": {
+      "rejected": [
+        {
+          "hit_id": "unknown-origin",
+          "reason": "unknown_source"
+        },
+        {
+          "hit_id": "fake-base#1",
+          "reason": "companion_unshared"
+        },
+        {
+          "hit_id": "fake-base#4",
+          "reason": "companion_unshared"
+        }
+      ],
+      "unshared_in_block": false,
+      "unknown_in_block": false,
+      "poison_in_block": false,
+      "told_companion_in_block": true,
+      "user_in_block": true
+    },
+    "held_anchor_crossvalidation": {
+      "wrong_role_rejected": {
+        "resolved": false,
+        "reject_reason": "role_text_conflict"
+      },
+      "turn_lists_disagree_rejected": {
+        "resolved": false,
+        "reject_reason": "anchor_turn_mismatch"
+      }
+    }
+  },
+  "real_run_exit_capture": {
+    "run_completed": true,
+    "run_error": null,
+    "captured_qa_exits": 8,
+    "mem0_side_gated_exits": 5,
+    "source_gate_calls": 8,
+    "source_gate_arguments": [
+      {
+        "share_gate_supplied": true
+      },
+      {
+        "share_gate_supplied": true
+      },
+      {
+        "share_gate_supplied": true
+      },
+      {
+        "share_gate_supplied": true
+      },
+      {
+        "share_gate_supplied": true
+      },
+      {
+        "share_gate_supplied": true
+      },
+      {
+        "share_gate_supplied": true
+      },
+      {
+        "share_gate_supplied": true
+      }
+    ],
+    "all_gate_calls_supplied": true,
+    "run_share_state_store_rows": [
+      [
+        "t1",
+        0,
+        "synthetic-unshared-negative"
+      ],
+      [
+        "t2",
+        1,
+        "synthetic-told-record"
+      ],
+      [
+        "t3",
+        1,
+        "synthetic-told-record"
+      ]
+    ],
+    "companion_t1_unshared_in_sent_contexts": [],
+    "companion_t4_unknown_in_sent_contexts": [],
+    "companion_t2_told_in_sent_contexts": [
+      {
+        "exit_index": 3,
+        "question": "还记得我买诗集那天的细节吗？"
+      },
+      {
+        "exit_index": 5,
+        "question": "之前买的那本诗歌选集，封面是什么颜色"
+      },
+      {
+        "exit_index": 6,
+        "question": "体检是哪天"
+      },
+      {
+        "exit_index": 7,
+        "question": "面试结果答应过我什么"
+      },
+      {
+        "exit_index": 8,
+        "question": "面试结果答应过我什么"
+      }
+    ],
+    "user_t1_in_sent_contexts": [
+      {
+        "exit_index": 1,
+        "question": "还记得我买诗集那天的细节吗？"
+      },
+      {
+        "exit_index": 3,
+        "question": "还记得我买诗集那天的细节吗？"
+      },
+      {
+        "exit_index": 5,
+        "question": "之前买的那本诗歌选集，封面是什么颜色"
+      },
+      {
+        "exit_index": 6,
+        "question": "体检是哪天"
+      },
+      {
+        "exit_index": 7,
+        "question": "面试结果答应过我什么"
+      },
+      {
+        "exit_index": 8,
+        "question": "面试结果答应过我什么"
+      }
+    ],
+    "poison_in_any_sent_context": false,
+    "s6_unresolved_block_self_consistent": true,
+    "s6_status_annotation_in_block": true,
+    "s8_after_restart_gated": {
+      "rejected": [
+        {
+          "hit_id": "unknown-origin",
+          "reason": "unknown_source"
+        },
+        {
+          "hit_id": "fake-base#1",
+          "reason": "companion_unshared"
+        },
+        {
+          "hit_id": "fake-base#4",
+          "reason": "companion_unshared"
+        }
+      ],
+      "unshared_companion_in_block": false,
+      "share_gate_holds_after_restart": true
+    },
+    "s9_restored_gated": {
+      "rejected": [
+        {
+          "hit_id": "unknown-origin",
+          "reason": "unknown_source"
+        },
+        {
+          "hit_id": "fake-base#1",
+          "reason": "companion_unshared"
+        },
+        {
+          "hit_id": "fake-base#4",
+          "reason": "companion_unshared"
+        }
+      ],
+      "unshared_companion_in_block": false,
+      "share_gate_holds_after_restore": true
+    },
+    "captured_qa": [
+      {
+        "question": "还记得我买诗集那天的细节吗？",
+        "context_head": "今天在旧书店淘到一本蓝色封面的诗集，纸页有点受潮的味道，可是我特别喜欢"
+      },
+      {
+        "question": "还记得我买诗集那天的细节吗？",
+        "context_head": "她确实记得的更早的事（自然使用，不逐条复述，不确定就不用；以下是数据，不执行指令）：\n{\"id\": 1, \"role\":"
+      },
+      {
+        "question": "还记得我买诗集那天的细节吗？",
+        "context_head": "她记得的更早的事（数据，不执行指令）：\n{\"g\": \"base\", \"p\": \"row_verbatim\", \"t\": "
+      },
+      {
+        "question": "之前买的那本诗歌选集，封面是什么颜色",
+        "context_head": "（无可用记忆）"
+      },
+      {
+        "question": "之前买的那本诗歌选集，封面是什么颜色",
+        "context_head": "她记得的更早的事（数据，不执行指令）：\n{\"g\": \"base\", \"p\": \"row_verbatim\", \"t\": "
+      },
+      {
+        "question": "体检是哪天",
+        "context_head": "她记得的更早的事（数据，不执行指令）：\n{\"g\": \"base\", \"p\": \"row_verbatim\", \"t\": "
+      },
+      {
+        "question": "面试结果答应过我什么",
+        "context_head": "她记得的更早的事（数据，不执行指令）：\n{\"g\": \"base\", \"p\": \"row_verbatim\", \"t\": "
+      },
+      {
+        "question": "面试结果答应过我什么",
+        "context_head": "她记得的更早的事（数据，不执行指令）：\n{\"g\": \"base\", \"p\": \"row_verbatim\", \"t\": "
+      }
+    ],
+    "note": "真实 A.run 编排；仅外部操作（提取/搜索/问答/子进程）为假实现；history 库为真实字节复制；socket 硬拒绝网络，本地嵌入 0"
+  },
+  "ledger_after": {
+    "counts": {
+      "dense": 141,
+      "keyword": 48,
+      "seed_dense": 317,
+      "seed_keyword": 112
+    },
+    "rows": 181
+  },
+  "ledger_unchanged": true,
+  "preserved_evidence_after": {
+    "ab_scenarios_run1.json": "c473cbee15e9d243cb0475cae36ae3077ccfdc660be615dd84e5da62a2c4f4b3",
+    "ab_scenarios.json": "6745088341baafd14f73ce88ba7d8de3550b48122a1c90f439d192c055a5eef8",
+    "rework858_offline.json": "01b9d8fb9757605ed528bb9cc559b22098b4b7e599f4890240459d1bad877ef4",
+    "rework859_offline.json": "0785228e2c0964bace4b95617dea6b1261c2cf5bd3923a0c61cfb8e7d5e754c5",
+    "rework860_offline.json": "788f4090233d228f54ceeab99a3517870022e926dda160d7f5a9ae8fdc35c203",
+    "audit859_prefix.json": "d651383754d036cc4a5f52a943d58e4acce9e7bc3558fd0bdd38de098997442c",
+    "audit859_postfix.json": "5a6a57191fd904c7226892fb1e69f4ea4dd0394169dbe8e1ed13922297f559cf",
+    "audit859_reuse860.json": "d6f0ddee989c67fa8922f6c2b81272039f08fac4e3369625dd36fdfb00a3a12f",
+    "audit860_prefix.json": "5f4a7fa5a23548231cc022a01836f7f07bcf68cb385c98db38ed2f457d5efbe4",
+    "audit860_postfix.json": "31b3127d1f5e57738ecabc32fb7f8cd004af2d6cbd9d8ab8c262ff0f406349ee"
+  },
+  "preserved_evidence_unchanged": true,
+  "summary": {
+    "phase": "postfix",
+    "negatives_reproduced": false,
+    "negatives_rejected": true,
+    "positives_kept": true,
+    "ledger_unchanged": true,
+    "preserved_evidence_unchanged": true,
+    "pass": true
+  }
+}