dsh-subagent-profile 0.3.2 → 0.3.3

package/lib/core/escape.mjs

@@ -0,0 +1,130 @@
+// lib/core/escape.mjs — 逃生舱放行集（evolution-escape.json）管理 + 放行审计快照。
+// 逃生舱默认关（开关态在 state.json，由 profiles-store 持久化）；放行集文件只
+// 存「被显式 opt-in 的非 system-trust 预设 id」——文件损坏/缺失/形状不符一律
+// fail-soft 空集（绝不阻断启动，也绝不把坏数据当放行成员）。
+//
+// 放行集独立追踪、独立落盘于 subagent-evolution/ 域（与派发台账同根），不被 preset
+// 同步裁剪。写路径原子写（tmp+rename），失败仅 warn + 通知治理审计钩子（不抛）。
+// 逃生舱语义：成员只在「其余三道闸全过」时放行；非成员即便开关开也恒拒——这里只
+// 提供名单，不参与任何闸判定。
+
+import { existsSync, mkdirSync, readFileSync, renameSync, rmSync, writeFileSync } from 'node:fs';
+import { dirname, join } from 'node:path';
+
+const ESCAPE_VERSION = 1;
+
+// 文件形状判定：只接受 {version:1, presets:[string...]}。版本/形状不符一律判空集
+// （fail-soft），并把坏文件当「未配置」而非「配置了危险成员」。
+function classifyEscapeFile(parsed) {
+  if (parsed !== null && typeof parsed === 'object' && !Array.isArray(parsed) && parsed.version === 1 && Array.isArray(parsed.presets)) {
+    return parsed.presets.filter((id) => typeof id === 'string' && id !== '');
+  }
+  return undefined;
+}
+
+// 读放行集文件 → 内存 Set。缺失/损坏/形状不符均回退空集并 warn，绝不 throw。
+function loadEscapeSet(file, logger) {
+  const presets = new Set();
+  if (!existsSync(file)) return presets;
+  try {
+    const parsed = JSON.parse(readFileSync(file, 'utf8'));
+    const entries = classifyEscapeFile(parsed);
+    if (entries === undefined) {
+      logger.warn('[dsh-subagent-profile] escape set: 放行集文件形状不符，按空集处理');
+      return presets;
+    }
+    for (const id of entries) presets.add(id);
+  } catch {
+    logger.warn('[dsh-subagent-profile] escape set: 放行集文件损坏，按空集处理');
+  }
+  return presets;
+}
+
+// 原子写放行集文件（tmp+rename）；失败 fail-soft：清理 tmp + warn + 通知治理审计
+// 钩子（写失败计一次治理丢失），返回 {persisted}。内存 Set 仍驱动本进程。
+function persistEscapeSet(file, presets, logger, onGovernanceFailure) {
+  const payload = { version: ESCAPE_VERSION, presets: [...presets] };
+  const tmp = `${file}.tmp`;
+  try {
+    mkdirSync(dirname(file), { recursive: true });
+    writeFileSync(tmp, JSON.stringify(payload, null, 2), 'utf8');
+    renameSync(tmp, file);
+    return { persisted: true };
+  } catch (error) {
+    try { rmSync(tmp, { force: true }); } catch { /* best effort */ }
+    logger.warn('[dsh-subagent-profile] escape set: 放行集写入失败:', error instanceof Error ? error.message : String(error));
+    if (typeof onGovernanceFailure === 'function') onGovernanceFailure();
+    return { persisted: false, error: error instanceof Error ? error.message : String(error) };
+  }
+}
+
+// 放行集工厂：per-apply 单例（与 profiles store 同口径）。返回 { list, add,
+// remove }；add/remove 都原子落盘并回传 {persisted}。list 返回数组副本（供设置页
+// 只读列表与 resolveWhitelist 叠加）。成员判定由调用方对 list() 结果做 includes。
+export function createEscapeStore({ dshHome, logger, onGovernanceFailure = () => {} }) {
+  const file = join(dshHome, 'subagent-evolution', 'evolution-escape.json');
+  const presets = loadEscapeSet(file, logger);
+  return {
+    list: () => [...presets],
+    add(id) {
+      if (typeof id !== 'string' || id === '') return { persisted: false, error: '放行集成员必须是非空字符串' };
+      presets.add(id);
+      return persistEscapeSet(file, presets, logger, onGovernanceFailure);
+    },
+    remove(id) {
+      presets.delete(id);
+      return persistEscapeSet(file, presets, logger, onGovernanceFailure);
+    },
+  };
+}
+
+// 放行审计快照：从 decisionTrace.gates 抽取「白名单 + 其余三道闸」的 verdict。
+// cost 保留硬上限/llm 能力检查的 field→verdict，whitelist/intersection/approval
+// 只留 verdict 字符串。只读、不 throw——trace 缺 gates 或某闸缺失时对应键缺席
+// （审计记录仍恒可写）。
+export function escapeGatesSnapshot(trace) {
+  const gates = Array.isArray(trace?.gates) ? trace.gates : [];
+  const snapshot = {};
+  for (const gate of gates) {
+    if (!gate || typeof gate !== 'object') continue;
+    if (gate.name === 'cost') {
+      snapshot.cost = {
+        verdict: gate.verdict,
+        checks: (Array.isArray(gate.output?.checks) ? gate.output.checks : [])
+          .map((check) => ({ field: check?.field, verdict: check?.verdict })),
+      };
+    } else if (gate.name === 'whitelist' || gate.name === 'intersection' || gate.name === 'approval') {
+      snapshot[gate.name] = gate.verdict;
+    }
+  }
+  return snapshot;
+}
+
+// 逃生舱放行审计：非 system 预设经逃生舱通过闸链时写一条高可见治理审计事件（含
+// preset、来源会话、白名单+三道闸快照）。调用点在闸链末尾（三道闸 + 预算闸之后、
+// 分派之前）。getEscapeSet 在开关关时返回空数组 → includes 恒 false → 零审计；成员
+// 判定即「开关开且 preset 在放行集」。写失败绝不静默（recordGovernanceAudit 内部
+// warn + 治理丢失计数）。deps 由调用方注入（含 getEscapeSet / evoLedger）。
+export function recordEscapeAllow(deps, parent, merged, trace) {
+  if (typeof merged.preset !== 'string' || merged.preset === 'inherit') return;
+  if (!deps.getEscapeSet().includes(merged.preset)) return;
+  deps.evoLedger.recordGovernanceAudit({
+    kind: 'escape-allow',
+    preset: merged.preset,
+    session_id: parent.session?.header?.id ?? null,
+    gates_snapshot: escapeGatesSnapshot(trace),
+  });
+}
+
+// provider 渠道放行审计：profile provider 的 preflight 白名单放行 escape 成员时
+// （非 dispatch 工具的宿主原生 subagent 渠道），同样写高可见审计——「每个放行都
+// 留痕」是绝对语义。快照为 provider 渠道口径：whitelist/cost 在 preflight 已过、
+// intersection 在子会话 setup 时执行（deferred）、审批不豁免（never）。
+export function recordEscapeAllowProvider(evoLedger, parent, preset) {
+  evoLedger.recordGovernanceAudit({
+    kind: 'escape-allow-provider',
+    preset,
+    session_id: parent?.session?.header?.id ?? null,
+    gates_snapshot: { whitelist: 'pass', cost: 'pass', intersection: 'deferred', approval: 'never' },
+  });
+}

package/lib/core/evolution-ledger.mjs

@@ -0,0 +1,289 @@
+// lib/core/evolution-ledger.mjs — 派发台账（dispatch.jsonl）采集。JSONL 追加不可变：
+// 只 appendFileSync 追加一行，绝不改写既有行。import-free（仅 node 内置
+// fs/crypto/path + lib/core/pure.mjs），可被 bare-CI 单测直接 import。采集异常只
+// warn + 丢失计数，绝不阻断派发（fail-soft）。
+//
+// 审计分级：每类写失败分别计数，计数与 health 落盘到同目录的 ledger.meta.json
+// （{v:1, lostTelemetry, lostGovernance, health}）。派发台账写失败计 lostTelemetry
+// （fail-soft 仅告警）；profile 变更/治理写失败走 markGovernanceFailure 计
+// lostGovernance 且 health 置 degraded（高可见，设置页红字暴露）。meta 独立成域
+// subagent-evolution/（以 dshHome 为根，不在 .agent-presets/ 下，不被 preset 同步
+// 裁剪）。health 持久化：重启保持 degraded，直到一次 meta 写成功（成功派发触发恢复）
+// 才回 ok。meta.json 原子写（tmp+rename），损坏 fail-soft 从零，写失败绝不抛。
+//
+// 隐私红线：绝不落子 Agent 原始输出 / prompt 原文 / persona 原文——每条记录只有长度
+// （min-PII）与确定性结构指纹。persona 只存 present 布尔 + 文本结构指纹；toolFilter 只
+// 存 present + allow/deny 数组结构指纹。parent_adopted / goal_achieved / human_edited
+// 不入库（写入那个时刻它们尚不存在，事后回填会破坏 append-only 不可变性，只由聚合层
+// 惰性 join）。
+
+import { appendFileSync, existsSync, mkdirSync, readFileSync, renameSync, rmSync, writeFileSync } from 'node:fs';
+import { createHash } from 'node:crypto';
+import { join } from 'node:path';
+import { textFrom } from './pure.mjs';
+
+const LEDGER_VERSION = 1;
+const GOVERNANCE_AUDIT_VERSION = 1;
+const SOURCE = 'system';
+const ORIGIN = 'subagent';
+
+// --- 结构指纹（确定性，输入相同恒产出相同指纹）----------------------------------
+// 长度做导流 + sha1 前 8 区分内容：仅截断哈希可被碰撞枚举，叠加前缀长度后同时刻画
+// 内容形状与体量，避免可枚举碰撞。不含原文。
+function fingerprint(text) {
+  const value = String(text ?? '');
+  const hash = createHash('sha1').update(value, 'utf8').digest('hex').slice(0, 8);
+  return `L${value.length}_${hash}`;
+}
+
+// prompt 规范化结构指纹：长度 + 换行数 + sha1 前 8（内容形状标识，独缺原文）。
+function structureFingerprint(prompt) {
+  const value = String(prompt ?? '');
+  let newlines = 0;
+  for (let i = 0; i < value.length; i += 1) if (value[i] === '\n') newlines += 1;
+  return `${fingerprint(value)}_NL${newlines}`;
+}
+
+// allow/deny 数组结构指纹：各数组的项数 + 内容 sha1（只对数组结构，不含父级配置）。
+function toolFilterFingerprint(toolFilter) {
+  const list = (arr) => (Array.isArray(arr) ? arr : []);
+  const allow = list(toolFilter?.allow);
+  const deny = list(toolFilter?.deny);
+  const part = (label, arr) => `${label}:N${arr.length}_${fingerprint(JSON.stringify(arr))}`;
+  return `${part('allow', allow)};${part('deny', deny)}`;
+}
+
+// cfg（requested/effective 双栏共用）。pending 为 merged（continuable 时部分值会被
+// 丢弃）；opts 覆盖生效栏（continuable 生效 preset 恒 'inherit'、reasoningEffort 被
+// 宿主忽略应空置）。双栏拆分正是为捕捉「请求了但被宿主丢弃」的失真。空字段统一
+// 归一为 null（不写 undefined，保持 JSONL 行形状稳定）。
+function cfgOf(merged, opts = {}) {
+  const persona = typeof merged?.persona === 'string' ? merged.persona : '';
+  const hasPersona = persona.length > 0;
+  const toolFilterSet = merged?.toolFilter !== undefined && merged?.toolFilter !== null;
+  const str = (value) => (typeof value === 'string' && value.length > 0 ? value : null);
+  return {
+    preset: opts.preset ?? (typeof merged?.preset === 'string' && merged.preset !== '' ? merged.preset : 'inherit'),
+    provider: str(merged?.provider),
+    model: str(merged?.model),
+    reasoningEffort: opts.reasoningEffort !== undefined ? opts.reasoningEffort : str(merged?.reasoningEffort),
+    maxTokens: typeof merged?.maxTokens === 'number' ? merged.maxTokens : null,
+    maxDepth: typeof merged?.maxDepth === 'number' ? merged.maxDepth : null,
+    persona_present: hasPersona,
+    persona_fp: hasPersona ? fingerprint(persona) : null,
+    toolFilter_present: toolFilterSet,
+    toolFilter_fp: toolFilterSet ? toolFilterFingerprint(merged.toolFilter) : null,
+  };
+}
+
+// 记录静态元数据（写入即知的共享字段，不含 ts/v——由 record 落盘时补）。三分支各自
+// 在此基础上补 child_id 与 outcome 后调用 record。pluginVersion 由工厂闭包注入。
+function buildBase({ parent, args, merged, mode, pluginVersion }) {
+  const prompt = typeof args?.prompt === 'string' ? args.prompt : '';
+  const effectivePreset = mode === 'continuable' ? 'inherit' : (merged?.preset ?? 'inherit');
+  // continuable 下宿主忽略 reasoningEffort（决策轨迹侧将其列入 ignored），生效栏
+  // 空置以保持「生效值」语义与聚合层读值不失真。
+  const effectiveReasoningEffort = mode === 'continuable' ? null : (merged?.reasoningEffort ?? null);
+  return {
+    // session_id 空值归一 null：它是未来聚合层惰性 join 的键，静默缺失会破坏
+    // join 且难察觉，显式 null 至少保持 JSONL 行形状稳定。
+    session_id: parent?.session?.header?.id ?? null,
+    mode,
+    origin: ORIGIN,
+    requested: cfgOf(merged),
+    effective: cfgOf(merged, { preset: effectivePreset, reasoningEffort: effectiveReasoningEffort }),
+    task: {
+      len: prompt.length,
+      structure: structureFingerprint(prompt),
+    },
+    source: SOURCE,
+    provenance: `dispatch:v${pluginVersion}`,
+    plugin_version: pluginVersion,
+  };
+}
+
+// --- outcome 组装（前台/后台结算时携带；continuable 无结算 → 不产 outcome）--------
+
+// tool_count 为「携带 usage 的 assistant/message 事件数」（collectChildCalls 的
+// totalCalls），是工具调用次数的可测代理而非字面计数值——宿主会话面无更直接的
+// 工具调用计数字段；拿不到记 null。
+function foregroundOutcome({ result, elapsedMs, prunedOutputLen, toolCount }) {
+  const stopReason = result?.stopReason ?? 'completed';
+  const completed = stopReason === 'completed';
+  return {
+    status: completed ? 'completed' : (stopReason === 'aborted' ? 'killed' : 'failed'),
+    stop_reason: stopReason,
+    elapsed_ms: elapsedMs,
+    output_len: prunedOutputLen,
+    tool_count: completed ? toolCount : null,
+  };
+}
+
+function backgroundOutcome(settled) {
+  const s = settled !== null && typeof settled === 'object' ? settled : {};
+  const totalCalls = s.calls !== null && typeof s.calls === 'object' && typeof s.calls.totalCalls === 'number'
+    ? s.calls.totalCalls
+    : null;
+  return {
+    status: s.status ?? 'failed',
+    stop_reason: s.stopReason ?? 'error',
+    elapsed_ms: s.elapsedMs,
+    output_len: typeof s.output === 'string' ? s.output.length : 0,
+    tool_count: totalCalls,
+  };
+}
+
+// --- 三分支 finish 助手：每条派发只加一行调用（守 dispatch-tool 行门）------------
+
+export function finishForegroundLedger(ledger, base, childId, result, prunedBlocks, elapsedMs, childCalls) {
+  const calls = childCalls ?? {};
+  ledger.record({
+    ...base,
+    child_id: childId,
+    mode: 'foreground',
+    outcome: foregroundOutcome({
+      result,
+      elapsedMs,
+      prunedOutputLen: textFrom(prunedBlocks).length,
+      toolCount: typeof calls.totalCalls === 'number' ? calls.totalCalls : null,
+    }),
+  });
+}
+
+export function finishBackgroundLedger(ledger, base, childId, settled) {
+  ledger.record({ ...base, child_id: childId, mode: 'background', outcome: backgroundOutcome(settled) });
+}
+
+export function finishContinuableLedger(ledger, base, childId) {
+  ledger.record({ ...base, child_id: childId, mode: 'continuable' });
+}
+
+// --- 审计 meta（ledger.meta.json）----------------------------------------------
+
+// meta 默认态（缺失/损坏/形状不符均回退此值 → fail-soft 从零）。last_write_ts 为
+// 最近一次成功落盘时间（§12.4 字段；旧文件无该字段时经合并回退 0）。
+const META_DEFAULTS = { v: 1, lostTelemetry: 0, lostGovernance: 0, health: 'ok', last_write_ts: 0 };
+
+// 读取并校验 meta.json；缺失/损坏/形状不符回退默认并 warn（fail-soft 从零）。
+// 只接受 v:1 与必填三字段的数字/字符串形态，防止被手改的坏元数据冒充。
+function loadAuditMeta(metaFile, warn) {
+  if (!existsSync(metaFile)) return { ...META_DEFAULTS };
+  try {
+    const parsed = JSON.parse(readFileSync(metaFile, 'utf8'));
+    if (
+      parsed !== null && typeof parsed === 'object' && parsed.v === 1
+      && typeof parsed.lostTelemetry === 'number' && Number.isFinite(parsed.lostTelemetry)
+      && typeof parsed.lostGovernance === 'number' && Number.isFinite(parsed.lostGovernance)
+      && (parsed.health === 'ok' || parsed.health === 'degraded')
+    ) {
+      return { ...META_DEFAULTS, ...parsed };
+    }
+    warn(`ledger meta: 审计元数据形状不符，已从零重建（${metaFile}）`);
+    return { ...META_DEFAULTS };
+  } catch {
+    warn(`ledger meta: 审计元数据损坏，已从零重建（${metaFile}）`);
+    return { ...META_DEFAULTS };
+  }
+}
+
+// --- 工厂 -----------------------------------------------------------------------
+
+// 原子写 meta.json（tmp+rename）。metaState 为可写闭包状态 {dir, metaFile, lost,
+// governanceLost, health}；写成功以 healthValue 为准（恢复 ok 即在此触发）。写失败
+// fail-soft：清理 tmp + warn、返回 false。warnOnFailure 供派发遥测失败路径关闭——
+// 该路径已就台账写失败 warn 一次，避免重复告警。
+function persistAuditMeta(metaState, healthValue, warn, { warnOnFailure = true } = {}) {
+  const payload = { v: 1, lostTelemetry: metaState.lost, lostGovernance: metaState.governanceLost, health: healthValue, last_write_ts: Date.now() };
+  let reported = false;
+  try {
+    mkdirSync(metaState.dir, { recursive: true });
+    const tmp = `${metaState.metaFile}.tmp`;
+    writeFileSync(tmp, JSON.stringify(payload, null, 2), 'utf8');
+    renameSync(tmp, metaState.metaFile);
+    metaState.health = healthValue;
+  } catch (error) {
+    try { rmSync(`${metaState.metaFile}.tmp`, { force: true }); } catch { /* best effort */ }
+    reported = true;
+    if (warnOnFailure) {
+      warn(`ledger meta: 审计元数据写入失败（${error instanceof Error ? error.message : String(error)}）`);
+    }
+  }
+  return !reported;
+}
+
+// --- 治理审计（append-only）-------------------------------------------------------
+
+// 治理失败统一接线：计 lostGovernance + health 置 degraded，meta 尽力落盘保证
+// 重启仍 degraded；内存 health 无论落盘成败一律降级（写失败只 warn，不降回 ok）。
+function markGovernanceFailureMeta(meta, persistMeta) {
+  meta.governanceLost += 1;
+  meta.health = 'degraded';
+  persistMeta('degraded');
+}
+
+// 治理审计事件（放行审计等）追加一行到 governance-audit.jsonl（append-only 不可变）。
+// 写失败绝不静默：warn + markGovernanceFailureMeta（计 lostGovernance + degraded）；
+// 写成功若正处 degraded，即为一次成功文件写 → 恢复 ok（与派发台账同口径）。
+function appendGovernanceAudit(meta, dir, auditFile, persistMeta, warn, entry) {
+  const line = JSON.stringify({ v: GOVERNANCE_AUDIT_VERSION, ts: Date.now(), ...entry });
+  try {
+    mkdirSync(dir, { recursive: true });
+    appendFileSync(auditFile, `${line}\n`, 'utf8');
+    if (meta.health === 'degraded') persistMeta('ok');
+  } catch (error) {
+    warn(`dispatch ledger: 治理审计事件写入失败（${error instanceof Error ? error.message : String(error)}）`);
+    markGovernanceFailureMeta(meta, persistMeta);
+  }
+}
+
+export function createEvolutionLedger({ dshHome, pluginVersion, warn = () => {} } = {}) {
+  if (typeof dshHome !== 'string' || dshHome.length === 0) {
+    throw new Error('dispatch ledger: 派发台账需要 dshHome 目录');
+  }
+  const dir = join(dshHome, 'subagent-evolution');
+  const file = join(dir, 'dispatch.jsonl');
+  const auditFile = join(dir, 'governance-audit.jsonl');
+  const persisted = loadAuditMeta(join(dir, 'ledger.meta.json'), warn);
+  // 可写审计状态：lost（遥测）/governanceLost/health，初始为持久化值。
+  const meta = {
+    dir,
+    metaFile: join(dir, 'ledger.meta.json'),
+    lost: persisted.lostTelemetry,
+    governanceLost: persisted.lostGovernance,
+    health: persisted.health,
+  };
+  const persistMeta = (healthValue, opts) => persistAuditMeta(meta, healthValue, warn, opts);
+
+  return {
+    baseEntry: (input) => buildBase({ ...input, pluginVersion }),
+    // 追加不可变：mkdir recursive + appendFileSync。写失败只 warn + 丢失计数 ++，
+    // 绝不抛错、绝不阻断派发。写失败计 lostTelemetry 并落盘 meta；写成功恢复 ok。
+    record(entry) {
+      try {
+        // 序列化也在 try 内（循环引用/BigInt 等理论异常会绕过 fail-soft 外泄；
+        // 实际 entry 为自产标量，防御性收口）。
+        const line = JSON.stringify({ v: LEDGER_VERSION, ts: Date.now(), ...entry });
+        mkdirSync(dir, { recursive: true });
+        appendFileSync(file, `${line}\n`, 'utf8');
+        if (meta.health === 'degraded') persistMeta('ok');
+      } catch (error) {
+        meta.lost += 1;
+        warn(`dispatch ledger: 派发台账写入失败，已丢失 ${meta.lost} 条（${error instanceof Error ? error.message : String(error)}）`);
+        persistMeta(meta.health, { warnOnFailure: false });
+      }
+    },
+    recordGovernanceAudit(entry) {
+      appendGovernanceAudit(meta, dir, auditFile, persistMeta, warn, entry);
+    },
+    // 治理审计失败（profile 变更写失败等）：计 lostGovernance + health 置 degraded，
+    // 不抛、不阻断调用方；meta 尽力落盘保证重启仍 degraded。
+    markGovernanceFailure() {
+      markGovernanceFailureMeta(meta, persistMeta);
+    },
+    // 进程内 health（'ok' | 'degraded'）。
+    metaHealth: () => meta.health,
+    // 设置页 summary 的 audit 字段来源：{lostTelemetry, lostGovernance, health}。
+    auditState: () => ({ lostTelemetry: meta.lost, lostGovernance: meta.governanceLost, health: meta.health }),
+    lostCount: () => meta.lost,
+  };
+}