Repository navigation
v1.6.0 — 🧭 判定底座 · 阶段一(判据与数据地基)
v1.6.0 · 判定底座 · 阶段一(判据与数据地基)
🧭 把「判定」从代码里的匹配逻辑,变成可训练、可校验、可举证的判据数据——判定底座四阶段首版(v1.6–v1.9):三原语类型化定稿 · 28 条审计规则重述为 36 条判据 · 数据集三元组与三源采集器 · 四道采集质量门 · EncoderLike 判定头契约 · 零样本基线如实落数(阶段二提升分母)· loop: 循环 workflow 语义。SDK 面先行(用户入口排 v1.8.0)· 无破坏性变更。
TL;DR (EN): Turning "judgment" from hard-coded matching logic into trainable, verifiable, evidence-backed criteria data — the first of four decision-substrate stages (v1.6–v1.9). This release trains nothing and wires nothing: it delivers a finalized criteria schema (28 rules restated as 36 criteria), a dataset triple format with three-source collectors and nine hard-sample collection points, four collection quality gates with active sampling, an EncoderLike judge-head contract, an as-is zero-shot baseline (mock encoder, zh/en split, unembellished), and loop: workflow semantics with fail-closed exit-condition decidability. SDK-surface first: user-facing entries (CLI/MCP) are scheduled for v1.8.0. No breaking changes.
⚡ Install / Upgrade
# 新装(五形态任选:FDE 插件 / Skill / MCP / CLI / GitHub Action)
curl -fsSL https://raw.githubusercontent.com/KongFangXun/sofagent/refs/tags/v1.6.0/install.sh | bash
# 已装用户升级到本版
npx @sofagent/audit@v1.6.0 --doctor
# GitHub Action(PR 自动审计)
uses: KongFangXun/sofagent@v1.6.0🔨 核心变更
🧩 三原语类型化(Choice / Score / Noul)
- 「答案」定稿为三种可训练形态:Choice(选中项 + 全候选分布)/ Score(分值 + 区间)/ Noul(真值概率)
- 问句集限定 fail-closed:答案只能落在声明的候选集内;候选缺失走兜底与弃权双留痕,不静默猜
📋 审计规则判据重述(28 规则 → 36 条判据)
- 现行规则逐条重述为 36 条判据,每条 = 「判据 + 证据」两段式,双向对账零遗漏
- schema fail-closed + 质量 lint(四硬三软):判据写不完整即拒载
- 修订标识随判决落链——判据改了,能追到哪一版开始改
🗂 数据集三元组格式(状态 / 问题集 / 标注答案)
- 三元组与三原语同构;对比样本四步构造 + 家族级切分 + 防回放泄漏
- 加载期六断言 fail-closed(字段完整性 + 语义约束)
🧺 三源采集器 + 九类困难样本
- history / HITL / PR 三源采集——从既有运行痕迹里取标注,不新增人工负担
- 九类困难样本各附可断言的归类判据(空判别键拒判、可靠图单向偏移断言等边界补齐)
🚪 四道采集质量门 + 主动学习选样
- 四道门 + 分数只降不升的冻结候选集 + 校准标注双侧豁免(合成概率不进校准集)
- 四类选样理由留痕——为什么挑这条,可回溯
🎯 编码器判定头契约(EncoderLike)
- 换基座不改判定头:契约接口 + 三原语判定头示意实现(真基座排期 v1.8.0)
- 多问共享一次编码(编码次数机械锁)+ 不占主模型槽位行为锁
📏 零样本基线如实落数
- 自产可复算(脚本 + 结果 JSON 入仓):逐判据准确率 0.500(= 随机基线)· 中 0.667 / 英 0.333
- 不修饰:mock 契约编码器如实标注;分布外 0.000 系空 OOD 集默认值,口径显式披露
- 这份基线就是阶段二「训练能带来多少提升」的分母
🔁 循环 workflow 语义
loop:声明块 +exit_when可判定性 fail-closed——不可判定即拒载,不静默放行- 预算 / 轮次超限自动挂起进死信;
sofagent daemon pause --reason/resume一键冻结与恢复
🛠 工具链与闸门加固
- 审计 hook 退出码契约单义化(违规阻断 exit 2);闸门注入层字段补齐(执行证据随行注入)
- 场景锚抽取面收窄为锚登记行(防正文术语误抽);新增场景 S483–S487 + 回归 #149 一维收口
✅ 质量验证
| 检查项 | 结果 |
|---|---|
| npm test | 6230 tests 全绿(workspace 口径 / 13 包)✅ |
| acceptance-test | 493/493 断言通过(411 场景)· SKIP: 0 · EXIT: 0 ✅ |
| check-version | 151/151 全绿 ✅ |
| 回归检查 | 83 维 ✅ |
| release-gate | PASS(P0=0 · 四轮收敛 + 主 session 零信任复验)✅ |
| fresh-eyes | 12 视角独立盲审(A 审 → B 修 → C 验 → D 裁 · P0=0)✅ |
| pre-push 终检 | 78 项 · 0 失败 ✅ |
⚠️ 破坏性变更
本版无破坏性变更——纯新增(判定底座 SDK 面)与内部工具修复。28 条审计规则、MCP 工具数(104)、既有 CLI 域命令与配置文件格式均不变;已装用户可以安全升级。
🔗 深入了解
| 想看什么 | 链接 |
|---|---|
| 全部变更明细 | CHANGELOG |
| 审计规则与安全模型 | SECURITY |
| 上手指南 | HANDBOOK |
| 有问题 / 晒场景 | Discussions |
📖 详细开发日志