52 lines
8.3 KiB
JSON
52 lines
8.3 KiB
JSON
{
|
||
"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未改动；本轮零网络出站、零真实模型、零本地嵌入；未验证现网/真实档案/真实模型（本卡范围禁止触及）；真实复测与正式采用不在本卡"
|
||
]
|
||
}
|