50 lines
6.2 KiB
JSON
50 lines
6.2 KiB
JSON
{
|
||
"baseline_version": "1.11",
|
||
"read_commit": "22472e4b92e9823670d034d3a0dcd7a5a1ce7c3f",
|
||
"task": "HEL-861 补齐实际分享检查并防止答错承诺仍过关（总管对22472e4独立复核两条剩余缺口的隔离纠错，零真实模型请求、零本地嵌入）",
|
||
"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-860-独立复核.md》两条剩余缺口的补正（原hel-857-mem0-spike分支线，起点22472e4）：(1)分享状态源贯穿实际出口——run()自建明确合成分享状态记录（build_share_state_store：t1 told=0合成负例、t2/t3 told=1可核验正例、t4无记录=未知负例），S2/S3/S4/S6/S7与恢复后出口（S8重启/S9备份恢复）的Mem0侧装配全部传同一CompanionShareGate（8次门调用全supplied）；CompanionShareGate fail-closed重写（无库/库缺失/无记录/told=0一律不放行，CompanionShareGate(None)不再默认True，缺失库由抛异常改为拒绝）；命中锚定伴侣行而缺门拒绝（share_gate_missing）；公开语料/公开库标签不作为分享证明；正例只用明确told=1状态记录，不默认全放行。(2)S6肯定验证承诺对象/动作/状态——affirms_promise_claim纯函数：对象必须正确（面试结果，预声明对象集）AND承诺动作词存在AND承诺未被否定（没有答应/没承诺等）AND无不确定表述（不知道/是否/可能等），已结/未结状态侧同样排除不确定；答错对象（体检结果）、'不知道你是否已经告诉我'、'你没有答应过，也不是已经告诉我'不以含'告诉/答应'关键词判成功；不新增模型、不重写通用语义引擎、不只把附件三句加入禁词表。",
|
||
"acceptance": [
|
||
"两条反例修前在22472e4可复现：audit861_prefix.json（零嵌入，在22472e4工作树上运行）——6次装配门调用全部未提供分享检查器，正确锚定t1伴侣原句（told=0）进入Mem0侧出口3/5/6/7/8，t4未知状态伴侣原句进入出口3/5/6/8，CompanionShareGate(None)默认放行，缺失库路径抛异常，无门时同命中resolved=true且入块；S6三组错误答案（错误对象/未知/否定）均pass=true",
|
||
"修后同一真实出口全部拒绝/判失败：audit861_postfix.json（零嵌入）——8次门调用全部supplied（含S8/S9恢复后出口），t1未分享与t4未知伴侣原句零进入任何发送上下文，缺门命中拒share_gate_missing，无库/缺失库/无记录/told=0均不放行；S6三组错误答案全部判失败；退出码0且显式依赖negatives_rejected AND positives_kept",
|
||
"正例不回归且为实际核验：同轮真实用户原句进入6个发送上下文、明确told=1伴侣正例凭可核验状态记录进入全部5个Mem0侧上下文；S8重启/S9恢复出口的分享门为实际核验（恢复history真实字节复制，t1/t4以companion_unshared拒绝，非缺库空过）；未结对照块自洽与resolved状态入块（真实编排捕获）保持true",
|
||
"原S6四组、S2/S3总判据、未结块自洽不回归：已结侧答未结/两侧不知道/未结侧宣称已收到/未结侧同义已拿到/状态未入块/S2碰词无细节/S2请求失败/S3不知道全部仍判失败；audit860与rework两种S6正例形态、S2正例（等价集'潮湿的气味'）、S3正例（答'蓝色'）仍通过；原锚点互证（role_text_conflict/anchor_turn_mismatch）与来源门负例（unknown-origin毒条目）继续拒绝",
|
||
"资源硬边界：本卡真实新增0、本地嵌入新增0，未重跑需要66条嵌入的完整套件（作者此前26/26只作既有证据）；唯一权威账hel-859-1f079e50f551/workdir/audit-data/embed_ledger.sqlite3运行前后快照完全一致（dense141+seed_dense317=458/500、余42，词面48+seed_keyword112=160另列，行数181），不补种不回退不双扣，旧作者账不写；run1/run2、rework858/859/860、audit859/860全部证据文件SHA256运行前后逐一核对未改动；原26/60真实账与余34冻结未动",
|
||
"全部验证零网络（socket硬拒绝+HF离线）、零真实模型；证据独立命名（audit861_prefix/postfix），既有证据不动",
|
||
"check_requirements 对 origin/main 与 origin/agent/agent/de8874a3803b 双基准（含本handoff共四项）通过"
|
||
],
|
||
"deferred": [
|
||
"真实A/B复测仍冻结：本卡真实新增0未执行；13次复测方案（rework860_offline.json _retest_plan，5批提取+8次问答逐笔）待总管核对解除隐私停止门后在主卡'同意测试'授权与60次额度内执行，不重复索取相同范围授权；任一隐私负例失败继续冻结",
|
||
"复测前置核验（沿HEL-860并扩展）：infer=True真实提取条目须随add携带来源锚点，且实际编排须提供明确分享状态源，否则带门装配fail-closed拒绝、复测mem0侧如实判失败——已知边界如实列明，不伪装通过",
|
||
"正式采用Mem0或迁移产品接线：待白栖知拍板，本卡结果不构成采用决定",
|
||
"完整真实体验、八字情绪/生活连续/主动联系：继续按R1-R7承接，不以实验替代完整产品验收",
|
||
"中文提取提示词定制、真实语料验收、M5/M6产品接线：按原承接卡继续"
|
||
],
|
||
"requirement_changes": [],
|
||
"verification": [
|
||
"spike/hel857/results/audit861_prefix.json（修前两反例全复现@22472e4工作树）与 audit861_postfix.json（修后同一真实出口全拒/判失败、正例保留），同一脚本spike/hel857/audit861.py，零嵌入零网络（判据纯函数+假后端payload注入+合成history+真实A.run假外部操作全流程捕获8出口+S8/S9恢复后出口）",
|
||
"spike/hel857/README.md《HEL-861 纠错修订记录》（两项旧/新对照表、不回归证明、资源账只读核对、已知边界）",
|
||
"权威嵌入账只读快照前后一致（458/500、余42、词面160、行数181）；run1/run2、rework858/859/860、audit859/860证据SHA256未改动",
|
||
"本轮零网络出站、零真实模型、零本地嵌入；未验证现网/真实档案/真实模型（本卡范围禁止触及）；真实复测与正式采用不在本卡"
|
||
]
|
||
}
|