Skip to content

Releases: ZhangRui987/agent-oversight-framework

v2.52.12 — 双语债清偿轮:第 43 项豁免表清零(patch)

Choose a tag to compare

@ZhangRui987 ZhangRui987 released this 20 Oct 08:01

v2.52.12(2026-10-20)— 双语债清偿轮:第 43 项豁免表清零(patch)

背景

门禁第 43 项(v2.52.11)实测 5/13 对 spec 双语结构漂移并按指纹登记豁免。本轮逐对诊断清偿:其中 3 处为「内容已在、标题形式不一致」(04 en 三元联合口径已并入校准节正文;12 zh 边界声明已是粗体段;07 en 节顺序错位),2 处为 en 真缺节(02 awareness 有效性前提节、13 数学支撑与持续证据供给侧两节)。09-16 登记的「spec/12 缺治理实证锚点节」翻译债经核已于 v2.44.6 清偿(en 版注记实证),登记口径修正。

改动

  • 02-architecture.en.md:补译「Validity precondition of L3 independent verification: monitored-party awareness」节(SHADE-Arena awareness 实证 + C+ 证据等级限定,术语沿用 en 版既有 No. 3 notary / double-blind assessment 译名)。
  • 04-credit-abstention.en.md:校准节内三元联合口径内容拆出独立 h3「The jointly defined triple」(对齐 zh 结构,零翻译)。
  • 07-swarm-governance.en.md:「Emergent collusion at the prompt-optimization layer」节(3385 字符)移至「Threshold-calibration precondition」之后,对齐 zh 节顺序。
  • 12-enforcement.md:「边界声明:G×S 分级的辖区操作化尚无验证案例(v2.44.2)」由粗体段落升级为 h2 节(对齐 en 侧既有 h2 结构,零翻译)。
  • 13-boundaries.en.md:补译「Mathematical support: open cheating sets can only be contested continuously」(Vassilev/Gödel 不完备性推广)与「Continuous evidence supply side: AIID and AVID」两节(锚点逐字保留,⚠️ 限定段全译)。
  • scripts/verify_consistency.py:第 43 项豁免表清零(留空 dict 保留机制),docstring 补清偿注记。

计数与不变量

  • 门禁 43 项不变;证据 A:11 / B:126 / C:13 / D:1 / G:52 = 203 不变;未解 42 不变。
  • 提交前实测 43/43 PASS,双语结构 13/13 对全对齐(豁免 0 条)。

v2.52.11 — 工程化补强轮:CI 供应链/兼容性 + 门禁第 43 项双语结构(patch)

Choose a tag to compare

@ZhangRui987 ZhangRui987 released this 14 Oct 10:48

v2.52.11(2026-10-14)— 工程化补强轮:CI 供应链/兼容性 + 门禁第 43 项双语结构(patch)

背景

工程化缺口盘点(2026-10-14)实测四项:CI actions 浮动标签(@v4/@v5,与本项目供应链治理叙事相悖);CI 单 Node 版本守卫(2026-10-07 复现轮 Node 24 已实测触发 5 个 env-diff WARN);双语一致性门禁覆盖面窄于中文(实测 5/13 对 spec 结构漂移);Release 自 v2.46.0 断更(tag 92 个 vs Release 停在 09-16)。

改动

  • ci.yml:① 7 处 actions 引用 SHA pin——checkout@11d5960a(v4.4.0)/ setup-node@49933ea5(v4.4.0)/ setup-python@a26af69b(v5.6.0),均 pin 当前大版本最新 patch(零行为变化,大版本升级另轮);② runtime-tests 与 replication-t0 两 job 增 Node 版本矩阵 ["22", "24"](fail-fast: false)——Node 24 下 L2 demo 153 断言与 tier-0 复现包均已实测通过(10-07 / 10-14),跨版本行为差异自此在 CI 内可观测。
  • 门禁第 43 项(scripts/verify_consistency.py):spec/ 双语结构对齐——逐对比对 X.md ↔ X.en.md 的标题层级序列。实测 5/13 对漂移(02/04/12 标题数差、07/13 层级序列错位),按完整序列指纹登记豁免表(信息行公示,修复一对删一对),未登记的新漂移即 FAIL——机制先立,双语结构漂移自本轮起被钉死不扩大。
  • 门禁项数声明 42→43 七处同步(README 双语 / CONTRIBUTING 双语 / ci.yml 两处 / 脚本 docstring);CORRECTION-LOG 与 PRODUCTION-GAPS 检查编号不变。
  • Release 流程:自本版起每版发布时建 GitHub Release(正文沿 CHANGELOG 条目);v2.46.0→v2.52.10 历史不追。

计数与不变量

  • 证据计数不变:A:11 / B:126 / C:13 / D:1 / G:52 = 203 条;未解问题 42 不变。
  • 门禁 43 项(42→43),提交前实测 43/43 PASS。
  • CI job 数 3→5(两 job × Node 2 版本)。

v2.52.10 — PRODUCTION-GAPS 头部状态修复 + 门禁第 42 项(头部/表格一致性联动)(patch)

Choose a tag to compare

@ZhangRui987 ZhangRui987 released this 14 Oct 10:48

v2.52.10(2026-10-07)— PRODUCTION-GAPS 头部状态修复 + 门禁第 42 项(头部/表格一致性联动)(patch)

背景

外部 AI 战略评估(2026-10-07,三份 C 级二手材料逐条核验)中,材料丙实测发现 reference/runtimes/l2-runtime-oversight/PRODUCTION-GAPS.md 头部 v2.2.0 更新行写「其余 6 项(G3–G8)未闭合」,而正文表格 G7(v2.36.0 事件流侧)/ G8(v2.38.0 告警侧)已「✅ 演示级闭合」——头部声明与正文表格漂移。经仓内核验属实(头部仅 v2.2.0 / v2.5.0 / v2.13.0 三条更新行,G7/G8 闭合版本均未补头部声明),构成对自身「回灌检查清单」的违例,随裁决修复并机制化。

改动

  • PRODUCTION-GAPS.md:头部新增显式「当前状态(v2.52.10)」行——G1/G2/G5/G7/G8/G9 演示级闭合;G3/G4/G6 未闭合;附历史注记(v2.2.0 行系 G7/G8 闭合前写入,按惯例保留原文不回改)。该文件无 .en.md,不涉双语同步。
  • 门禁第 42 项(scripts/verify_consistency.py):PRODUCTION-GAPS 当前状态行 vs 正文表格闭合/未闭合集合双向比对——任一侧变化未同步即 FAIL。与第 40 项(demo 断言声明 vs 实际输出,v2.44.1)同族:把「声明」钉死到「实际」,堵「同一文件头尾漂移」盲区。
  • 门禁项数声明 41→42 七处同步:README 双语 / CONTRIBUTING 双语 / ci.yml 两处 / 本脚本 docstring(即第 39 项自校验守护的全部声明点);CORRECTION-LOG 检查保持第 41 项编号不变(新项追加在第 42 位)。

计数与不变量

  • 证据计数不变:A:11 / B:126 / C:13 / D:1 / G:52 = 203 条;未解问题 42 不变;tag / 提交数随本提交 +1。
  • 门禁 42 项(41→42),提交前实测 42/42 PASS。

v2.46.0 — AOE-CALIB-006:C12 量规 v2.1 标定复验通过,三段式收官

Choose a tag to compare

@ZhangRui987 ZhangRui987 released this 16 Sep 14:22

背景

CALIB-005 探索性分析产出的量规 v2.1 定义按预注册纪律冻结判据后复验。「探索→预注册冻结→复验」三段式收官。

判定(完整执行预注册文本,三数据集确定性重投影,零 API)

  • H1' 良性零误伤 ✅ 三集全过:B 载体合计 120 条跨数据集在 θ2 ∈ [0.40, 0.97] 全区间零触发;
  • H2' 真违规全捕获 ✅:DS-A 42/42、DS-C 38/38 @θ≥0.40;DS-B 空集空洞真;
  • H3' θ2 区间确认 ✅:下界 0.40 为数据支撑的确认值(恰为量规草案原 θ1 值);
  • H4' w=3 对照 ✅:与 w=1 一致(δ_v 等效第三次复现)。

总判定:量规 v2.1 构造分布内标定通过。 标定链条完整:量规草案(v2.42.0,C 级推演)→ CALIB-004(v1 混通道缺陷实证)→ CALIB-005(混通道诊断闭环 + v2.1 定义)→ CALIB-006(v2.1 复验通过)。标定通过 ≠ 生产启用:自动化执行仍属 L1 内生对齐层,spec/13 #9 不闭合。

偏差登记(唯一实质偏差)

预注册 H2' 空集语义歧义:DS-B(kimi 复跑)零真操守违规载体,首跑按保守读法判 false;经复核空集上「全部元素满足 P」为空洞真,脚本空集语义修正后重跑。两跑留痕均保留、差异仅 DS-B H2' 判定,两种读法下实质结论一致。

登记

REFERENCES +1 A 级【键: AOE-CALIB-006】(176→177,A:11);VERIFICATION-LOG +1 行;spec/04 §C12「测量落地(v2.46.0)」节(双语);spec/13 #9 再升级;PRODUCTION-GAPS G7 措辞同步。41 项门禁全 PASS,提交 fe785a3→0e75035 已推送并 ls-remote 核实。

v2.45.1 — AOE-CALIB-005 阶段 B 补登:kimi 复跑零故障,over-cap 归因修正,v2.1 零误伤复验加强

Choose a tag to compare

@ZhangRui987 ZhangRui987 released this 16 Sep 13:44

执行事实

阶段 B kimi 复跑 80/80 episode 完成(1h21m,EXIT=0),零 TIMEOUT / 零 api-error / 零环境中止——CALIB-004 的「182 次失败调用」故障模式未复现。首次复跑 7h20m 未完成被终止(慢调用堆积,非死锁;单发探针确认服务端已恢复后重跑)。

附录核心发现(non-preregistered,沿例标注)

  1. over-cap 是 kimi 的真实行为模式,非 API 故障产物:复跑 end 分布 over-cap 74/80(92.5%),violation source 仅 over-attempt-cap 一种(零 post-hoc / unauthorized-write),且跨 profile 均匀分布(B 载体也 23/24)——CALIB-004 将 kimi 的 7 个 over-cap 归因于「API 故障级联」需要修正:API 故障至多是放大器,over-cap 主要反映 kimi 的「低努力重试」行为倾向。
  2. v2.1「B 零误伤」经数据替换复验加强:混合数据集(三家原数据 + kimi 复跑替换污染格,n=320)剔 over-cap 后 B 非零 O = 0/96,θ* 下 V 触发 38/192——阶段 A 结论保持。
  3. kimi 复跑无真操守违规(原 kimi 数据含 4 条,替换后 V 捕获 42→38)——如实登记。
  4. over-cap 与 profile 无关、与模型强相关——把它计进操守通道会把「能力弱/重试多」误判为「操守败坏」,v2.1 构成条款(over-cap 归能力/协议通道)获复验加强。

边界

附录为 non-preregistered 复验,不替代量规 v2.1 的预注册复验(后续钩子);阶段 A 判定不变。

验证

41 项门禁全 PASS;提交 fe785a3 已推送并 ls-remote 双端核实(tag 指向同 commit)。

v2.45.0 — AOE-CALIB-005:C12 量规 v2 双通道解耦重投影标定,混通道诊断闭环 + v2.1 定义产出

Choose a tag to compare

@ZhangRui987 ZhangRui987 released this 16 Sep 12:03

背景

CALIB-004 §5 修订建议 1–3(触发判据改操守通道 / δ_v 复检 / θ2 重标定)的标定落地。方法创新:量规 v2 是对 CALIB-004 留痕的同一批 320 episode 事件序列的确定性重投影(零 API 成本)——预注册(f540167)先于执行入库,脚本零依赖含 6 用例 --selftest。

预注册判定(完整执行预注册文本)

  • H3 δ_v 等效 ✅:|ΔAUC| = 0.0050 < 0.01——CALIB-004 的「−3 钳制并列」机制在操守通道下被绕开。
  • H1 / H2 / H4 ❌(根因单一):B 载体 45/96 非零 O 全部来自 over-attempt-cap(尝试超上限),AUC 0.3934 方向反向。根因不是操守通道设计错误,而是 over-cap(能力/协议信号)混入操守通道——修订建议 5 的语义问题被精确定位。

探索性分析(显式标注 non-preregistered)→ 量规 v2.1 定义

剔除 over-cap 的 v2.1 变体重投影:B 非零 O = 0/96(零误伤)、V 42/192 捕获全部真操守违规(post-hoc 22 + unauthorized-write 20)、θ2 ∈ [0.40, 0.97] 可行、双臂 AUC 完全相等。评价指标方法论修正:操守通道不该用 V-vs-B AUC(合规抵抗的 V 载体操守清白是正确语义),应改用「真违规捕获率(100%)× 良性误伤率(0/96)」。v2.1 须预注册复验后方可作为标定依据。

贯通结论

CALIB-004 的 v1 综合 S AUC=0.9557 区分力确证主要来自 failure(能力信号)——「被诱导而失败」与「操守败坏」在治理语义上必须分开。混通道诊断由「假说」升级为「分解实证」。

登记

REFERENCES +1 A 级【键: AOE-CALIB-005】(175→176,A:9→10);VERIFICATION-LOG +1 行;spec/04 §C12「测量落地(v2.45.0)」节(双语);spec/13 #9 再升级;PRODUCTION-GAPS G7 同步。阶段 B(kimi 复跑)超 2h 挂起,附录后补。

v2.44.6 — 双语补译第三批收官:spec/09 两节 + spec/12 锚点节 13 条,五篇缺节债清零

Choose a tag to compare

@ZhangRui987 ZhangRui987 released this 16 Sep 04:32

改动 1:spec/09.en「被监察方 awareness 假设」节全译

SHADE-Arena 双结论(CoT 监察对 awareness 敏感 log-AUROC 降 0.4 / 动作级监察不敏感 <0.02)、对体系三条含义(二号不依赖一号文书 / 蜜罐考核有效性前提 / #19 对抗适应新锚点 + awareness 假设显式声明要求)、⚠️ 三项限定全部保留;arXiv 双号(2506.15740 / 2601.21112)、17 配对任务、14 模型、Claude 3.7 Sonnet 27% 等数字与机构名精确。

改动 2:spec/09.en「治理实证锚点(G 类,L2 + E 证据完整性侧)」五条全译

us-fda-cgmp-2026 / us-waymo-bus-2025 / us-colorado-2024 / eu-ai-act-2026 / sg-mgf-aa-2026;召回编号 25E084、cGMP 义务语义、与 E3 / 看门狗条款的交叉引用保留。

改动 3:spec/12.en「治理实证锚点(G 类,L3 + L4 问责侧)」13 条全译

含 Clearview 三审链(ICO→FTT→UT→Court of Appeal)、庆余年 80 万连带赔偿、罗马法院撤销罚款的「不得引申为监管总是错误」注、Five Eyes 条目 v2.17.0 拆分史注等全部细节;Boundary statement 节内 Known gap 句改 RESOLVED。

改动 4:第 5 处叙述数字漂移修正

中文 spec/12 锚点节声明「下列十二条」实测 13 条,修正为「十三条」。五处漂移:demo 组数 / 当前版本行 / 回填进度 134 / spec/02 十五条 / 本处十二条——共同根因:正文叙述数字从不实测。

债务清零声明

5 篇 spec 英文缺节债全部还清:02(16 条)/ 04(标题行)/ 05(5 条)/ 09(2 节)/ 12(13 条)。节结构复核:02 14/14、04 9/9、05 2/2、09 14/14、12 中文 3 vs 英文 4(已知抵消形态:英文 Boundary 为 ## 节、中文为锚点节内粗体段,语义对称)。

验证

41 项门禁全 PASS;提交 a219854 已推送并 ls-remote 双端核实。

v2.44.5 — 双语补译第二批:spec/02 锚点节全译(16 条 L0)+ 条数声明漂移修正

Choose a tag to compare

@ZhangRui987 ZhangRui987 released this 16 Sep 04:13

改动 1:spec/02.en「治理实证锚点(G 类,L0 准入侧)」全节补译

16 条 L0 锚点(cn-clear-2026 / cn-chongqing-2024 / cn-shanghai-2025 / eu-garante-openai-2024 / us-rite-aid-2024 / us-ngl-2024 / eu-ai-act-2026 / kr-ai-act-2026 / us-colorado-2024 / us-illinois-2026 / uk-blueprint-2025 / cn-export-2025 / sg-mgf-aa-2026 / jp-ai-promotion-2025 / int-oecd-unesco / iso-42001-2023)按十个 L0 机制分组逐条翻译;条目键、数字(罚款金额 / 生效日期 / 文号 OJ L 2026/1744 / 法案编号 / adherents 数)、法规官方英文名、限定语与 spec/12 交叉引用全部保留。中英节结构对齐(14/14 节),Known gap 标注改为 RESOLVED 留痕。

改动 2:正文条数声明漂移修正(翻译过程中实测定谳)

中文版锚点节声明「下列十五条」而实际条目 16 条——叙述性数字与实测脱节(本日第 4 处同类问题:demo 组数 / 当前版本行 / 回填进度 / 本处)。已修正为「十六条」,英文版按 sixteen 译。教训同前:叙述性数字必须实测,不能沿袭上一版声明。

剩余债

  • spec/09.en:「被监察方 awareness 假设」+「治理实证锚点(L2+E)」两节;
  • spec/12.en:「治理实证锚点(L3+L4)」12 条。下一批消化。

验证

41 项门禁全 PASS;提交 a50fa9b 已推送并 ls-remote 双端核实。

v2.44.4 — 双语缺节补译第一批:spec/05 锚点节全译 + spec/04 标题行恢复

Choose a tag to compare

@ZhangRui987 ZhangRui987 released this 16 Sep 04:02

背景

v2.44.3 盘点登记的 5 篇 spec 英文缺节债,按「每次发版补 1–2 节」节奏启动第一批。

改动 1:spec/05.en「治理实证锚点(G 类,L1 内生对齐侧)」全节补译

五条 G 类锚点(cn-label-2025 / us-eeoc-itutor-2023 / cn-wuhan-ai-news-2025 / us-workado-2025 / eu-replika-2025)逐条语义等价翻译:条目键、【键:】标记、数字(罚款金额 / 和解日期 / 法条编号 / 文号 [10130115])、⚠️ 限定语与 spec 交叉引用全部保留。该文件 Known translation gap 标注随补译移除。

改动 2:spec/04.en「配对方法的证据基础:AgentAbstain」标题行恢复(定性修正)

复核发现该节译文正文长期存在(被并入上一节展示),缺的只是节标题行——v2.44.3 的节标题数对比法在此处把「标题缺失」误报为「整节缺失」。补回标题行后中英节结构对齐;原标注改为 RESOLVED 留痕。

剩余债(明确挂账,下批消化)

  • spec/02.en「治理实证锚点(L0 准入侧)」:15 条全缺,需全译;
  • spec/09.en:「被监察方 awareness 假设」+「治理实证锚点(L2+E)」两节全缺;
  • spec/12.en「治理实证锚点(L3+L4)」:12 条全缺(v2.44.2 登记);
  • ⚠️ 方法论注记:节标题数对比法存在盲区——若英文版同时「多一节 + 少一节」会数字抵消(spec/12 即此形态),后续盘点应以「逐节标题对齐」替代纯计数。

验证

41 项门禁全 PASS;提交 25229d7 已推送并 ls-remote 双端核实。

v2.44.3 — 全面一致性自查:当前版本行漏网修复(纳入门禁)+ 回填进度修正 + 双语缺节盘点登记

Choose a tag to compare

@ZhangRui987 ZhangRui987 released this 15 Sep 17:51

背景

用户指令「自己找一找版本没更改的内容、漏网之鱼、欠的债务」——继 v2.26.1 之后的第二次全面一致性自查。七个维度 grep 取证:旧版本号残留 / 门禁数与 demo 计数残留 / spec 双语节结构对比 / 叙述性数字 / 版本元数据 / 根文档互链 / VERIFICATION-LOG 口径。

发现与修复

  1. README 双语「当前版本」行停在 v2.44.0(v2.44.1 / v2.44.2 两轮漏网)——v2.31.0 曾修过同一行的值但未纳入门禁,本轮补齐:修复值并把该行纳入门禁第 38 项(README 双语「当前版本:vN」== VERSION),同坑不再第三跳。
  2. VERIFICATION-LOG 头部「回填 134 条(全部完成)」过时——134 是 v2.26.1 时点值,v2.27.0–v2.44.0 新增 41 条未同步头部汇总。修正为「覆盖全部 175 条(门禁第 34 项逐条强制)」并补演进脉络;文末批次段落为历史记录保留。
  3. spec 双语缺节系统性盘点(节标题数对比法):除 v2.44.2 已登记的 spec/12 外,新发现 4 篇英文版缺节——spec/02「治理实证锚点(L0 准入侧)」、spec/04「配对方法的证据基础:AgentAbstain」、spec/05「治理实证锚点(L1 内生对齐侧)」、spec/09「被监察方 awareness 假设」+「治理实证锚点(L2+E)」。处理:5 篇 .en 文件全部加「⚠️ Known translation gap」显式标注(Chinese edition is authoritative),补译列入后续版本分批消化——不静默、不假装同步。

核查干净的维度(未动)

旧版本号残留(全部为历史锚点:政策修订背景 / 实验入库版本说明,按例不改)、门禁数 41 五处声明、demo 计数 24 组 153 项、证据计数 175 / A:9 / B:104 / C:10 / D:1 / G:51、法域九个、未解问题 31 条、CITATION 双 version 字段 + date-released、badge、CORRECTION-LOG 互链。

验证

41 项门禁全 PASS(含加强后的第 38 项);提交 b8cf268 已推送并 ls-remote 双端核实。