  ChaiHaoandClaude Opus 5
|
bfe7828380
|
判据 ⑨⑩ 收口:确定性蒸馏 —— 零 LLM 也留得下事实
终态封卷的蒸馏钩子原先「模型不可用就整次返回空」,活动记忆一条也留不下。
按「结构化部分零 LLM,叙述是视图不是事实」拆成两段:
· 先落**确定性骨架**:这一单确实发生了什么 —— 终态、几步转了人兜底、
放行被驳回几次 —— 全写在归侧条目里,不需要模型来讲。每条带证据链。
· 模型可用时在其上补模式层 / 裁决层的归纳;归纳不出来也不丢掉整次蒸馏。
实测(A1 一单):3 条 fact 候选,各带证据链。
至此 MVP 十条判据:① ② ③ ⑥ ⑦ ⑧ ⑨ ⑩ 在真实系统上端到端跑通;
④ ⑤ 的 loop 机制(CMMN 装载 / Enabled 集 / 断点判定 / 回路调人)跑通,
余下部分受限于 LLM 端点 —— loop 的 Agent 每一轮决断都要模型。
gates: tsc / eslint / depcruise(317 模块)/ api-report / 402 测试 全绿
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KeDBx2PHLavbURXB8LJJ7m
|
2026-07-27 05:58:43 +08:00 |
|
|
JCAI Main AgentandClaude Opus 5
|
3c974d2860
|
M4: 范式引擎与任务运行时
skill-engine(L4):载方法不载权力(白名单外工具即拒)、结晶片段经 ToolInvoker 留痕、
装配入信封、技能目录渐进披露
flow-engine(L5):四种步型、确定性谓词跳步、重试与声明给定的兜底、
异步步即监听(时限必配)、写类工具登记动作意向、步序位置持久
loop-engine(L5):自研 CMMN 子集解析器(表外构件直接报错,子集封顶可机器证明)、
两副标准生命周期与迁移拓扑(引擎不得私改)、Enabled ≠ Active、
语义性前提标待裁量评估(引擎不代裁量)、DMN 确定性求值 + 命中行留痕、
DRD 缺口演绎与拓扑序、双向驱动与交集导航(断点即人环)、三型行动、
终局唯放行与 Harness
task(L6):终态五名裁定(released 唯一成功)、Harness 预算环外强制与停滞熔断
(监听中是健康态)、控制三语义(叫停不是终态,记最重档纠正)、改派留痕通知双方、
断点续跑三份持久状态、封卷触发蒸馏钩子
301 个测试通过,门禁五道全绿
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KeDBx2PHLavbURXB8LJJ7m
|
2026-07-27 01:51:22 +08:00 |
|