agentworkshop 0.7.71 → 0.8.0

package/server/services/workshop/agents/industrial/ontology-tools.ts

@@ -0,0 +1,320 @@
+/**
+ * 本体工具族(7 件)—— Agent 侧的「读 / 起草 / 校验 / 解释 / 编译预览 / 提议发布 / 版本比较」。
+ *
+ * 治理:本族由 grant-guard(WVO: publish_propose 属写族)与 tool-verify(引用面)复核;
+ * **没有**任何工具能直接发布版本或写设备 —— 发布仅 admin 在 REST 面执行,
+ * Agent 只能 draft_create 起草、publish_propose 提请第二人批准。
+ *
+ * 归属:Agent 起草的草稿 owner = agentId(审计可见 actorKind='agent');
+ * 读取面按 agentOpsScope 的产线/节点范围收窄。
+ */
+import type { HostToolResult } from '../host-tool-bridge/types'
+import { AppError } from '../../../../utils/errors'
+import { agentOpsScope } from './ops-tools'
+import { getOntologyRepo, parseDraftRow } from '../../ontology/repo'
+import type { Actor } from '../../ontology/ontology.service'
+import {
+  compileDraft, createDraft, getDraft, requestRuleApproval, sceneSubgraph,
+  updateDraft, validateDraft, compareVersions, getVersion, listVersions,
+} from '../../ontology/ontology.service'
+
+import type { OntologyDraftDoc } from '../../ontology/contracts'
+
+function agentActor(agentId: string): Actor {
+  return { userId: agentId, role: 'editor', actorKind: 'agent' }
+}
+
+function readableLines(agentId: string): string[] {
+  const scope = agentOpsScope(agentId)
+  if (!scope) return []
+  return [...new Set([...scope.lineIds, ...scope.boundLineIds])]
+}
+
+function assertLineInScope(agentId: string, lineId: string): void {
+  const lines = readableLines(agentId)
+  if (lines.length === 0) {
+    throw new AppError(403, 'ONTOLOGY_SCOPE_VIOLATION', '本 Agent 没有绑定任何产线/节点,无法读取本体语义面')
+  }
+  if (!lines.includes(lineId)) {
+    throw new AppError(403, 'ONTOLOGY_SCOPE_VIOLATION',
+      `产线 ${lineId} 不在本 Agent 的可读范围(${lines.join(', ')});如需跨线请让用户绑定该产线节点或绑定频道产线`)
+  }
+}
+
+function ok(text: string): HostToolResult {
+  return { text }
+}
+
+function fail(text: string): HostToolResult {
+  return { text, isError: true }
+}
+
+function json(value: unknown): string {
+  return JSON.stringify(value, null, 2)
+}
+
+function stringArg(args: Record<string, unknown>, key: string): string {
+  const value = args[key]
+  return typeof value === 'string' ? value.trim() : ''
+}
+
+/** 1) 场景语义子图(只读,分页) */
+export async function toolOntologySceneInspect(agentId: string, args: Record<string, unknown>): Promise<HostToolResult> {
+  const lineId = stringArg(args, 'line_id')
+  if (!lineId) return fail('ontology_scene_inspect 需要 line_id(line_context 可看到当前产线 id)')
+  try {
+    assertLineInScope(agentId, lineId)
+    const limit = Math.min(200, Math.max(1, Number(args.limit ?? 50)))
+    const offset = Math.max(0, Number(args.offset ?? 0))
+    const graph = sceneSubgraph(lineId, { limit: limit + offset })
+    if (!graph) return ok(`产线 ${lineId} 尚未发布任何本体(0 实体/0 规则);可先用 ontology_draft_create 起草。`)
+    const page = graph.entities.slice(offset, offset + limit)
+    const query = stringArg(args, 'query').toLowerCase()
+    const filtered = query
+      ? page.filter(e => `${e.key} ${e.name} ${e.kind}`.toLowerCase().includes(query))
+      : page
+    return ok([
+      `本体 ${graph.ontologyId}@${graph.version}(产线 ${lineId})`,
+      `实体 ${graph.entities.length} / 关系 ${graph.relations.length} / 规则 ${graph.rules.length} / 守卫 ${graph.guards.length}`,
+      `本页实体 ${filtered.length}(offset=${offset},limit=${limit})${query ? `;筛选"${query}"` : ''}:`,
+      ...filtered.map(e => `- ${e.key} [${e.kind}/${e.role ?? '未定角色'}] ${e.name} ${e.unit ? `(${e.unit})` : ''}`
+        + `${e.bindings.length ? ` ← ${e.bindings.map(b => `${b.platformKind}:${b.platformId}${b.targetSub ? `#${b.targetSub}` : ''}(${b.direction})`).join(', ')}` : '(未绑定)'}`),
+      graph.relations.length ? `关系:` : '',
+      ...graph.relations.slice(0, 30).map(r => `- ${r.srcKey} -${r.kind}-> ${r.dstKey} [${r.evidenceTier}]`),
+      graph.rules.length ? '规则:' : '',
+      ...graph.rules.slice(0, 30).map(r => `- ${r.id} ${r.kind} status=${r.status} decision=${r.decision}${r.message ? `:${r.message}` : ''}`),
+      graph.entities.length > offset + limit ? '还有更多实体:增大 offset 继续分页。' : '',
+    ].filter(Boolean).join('\n'))
+  }
+  catch (err) {
+    return fail((err as Error).message)
+  }
+}
+
+/** 2) 创建草稿(可空白起点或克隆已发布版本) */
+export async function toolOntologyDraftCreate(agentId: string, args: Record<string, unknown>): Promise<HostToolResult> {
+  const ontologyId = stringArg(args, 'ontology_id')
+  const lineId = stringArg(args, 'line_id')
+  if (!ontologyId) return fail('ontology_draft_create 需要 ontology_id(形如 ont-pva-line01)')
+  try {
+    if (lineId) assertLineInScope(agentId, lineId)
+    const draft = createDraft(agentActor(agentId), {
+      ontologyId,
+      lineId,
+      name: stringArg(args, 'name') || undefined,
+      cloneFromVersion: args.clone_from_version === true,
+    })
+    const doc = parseDraftRow(getDraft(draft.id))
+    return ok([
+      `已创建草稿 ${draft.id}(本体 ${ontologyId},rev=${draft.rev}${draft.baseVersion ? `,基线 v${draft.baseVersion}` : ''})`,
+      `当前内容:实体 ${doc.entities.length} / 关系 ${doc.relations.length} / 规则 ${doc.rules.length} / 绑定 ${doc.bindings.length}`,
+      '下一步:用 ontology_draft_validate 校验,或直接提交整份文档(update 由平台 REST 完成)。',
+    ].join('\n'))
+  }
+  catch (err) {
+    return fail((err as Error).message)
+  }
+}
+
+/** 3) 校验草稿(结构 + 活体绑定) */
+export async function toolOntologyDraftValidate(agentId: string, args: Record<string, unknown>): Promise<HostToolResult> {
+  const draftId = stringArg(args, 'draft_id')
+  if (!draftId) return fail('ontology_draft_validate 需要 draft_id')
+  try {
+    const report = validateDraft(draftId, agentActor(agentId))
+    const errors = report.issues.filter(i => i.severity === 'error')
+    const warnings = report.issues.filter(i => i.severity === 'warning')
+    const bindingFailures = report.bindings.failures
+    return ok([
+      `草稿 ${draftId}:${report.ok && report.bindings.ok ? '校验通过' : '校验未通过'}`,
+      `实体 ${report.stats.entities} / 关系 ${report.stats.relations} / 规则 ${report.stats.rules} / 绑定 ${report.stats.bindings}`,
+      `生命周期分布:${Object.entries(report.stats.byState).filter(([, n]) => n > 0).map(([k, n]) => `${k}=${n}`).join(', ') || '无'}`,
+      errors.length ? `错误 ${errors.length}:` : '无错误',
+      ...errors.slice(0, 20).map(i => `- [${i.code}] ${i.path}: ${i.message}${i.hint ? ` → ${i.hint}` : ''}`),
+      warnings.length ? `警告 ${warnings.length}:` : '',
+      ...warnings.slice(0, 10).map(i => `- [${i.code}] ${i.path}: ${i.message}`),
+      bindingFailures.length ? `绑定失败 ${bindingFailures.length}:` : '',
+      ...bindingFailures.slice(0, 10).map(f => `- [${f.code}] ${f.message}`),
+    ].filter(Boolean).join('\n'))
+  }
+  catch (err) {
+    return fail((err as Error).message)
+  }
+}
+
+/** 4) 规则解释(DSL + 决策 + 人读来源) */
+export async function toolOntologyRuleExplain(agentId: string, args: Record<string, unknown>): Promise<HostToolResult> {
+  const ruleId = stringArg(args, 'rule_id')
+  const draftId = stringArg(args, 'draft_id')
+  const ontologyId = stringArg(args, 'ontology_id')
+  const versionArg = args.version !== undefined ? Number(args.version) : undefined
+  if (!ruleId) return fail('ontology_rule_explain 需要 rule_id')
+  try {
+    if (draftId) {
+      const detail = validateDraft(draftId, agentActor(agentId)) // 顺带确保归属可读
+      const doc: OntologyDraftDoc = parseDraftRow(getDraft(draftId))
+      const rule = doc.rules.find(r => r.id === ruleId || r.key === ruleId)
+      if (!rule) return fail(`草稿 ${draftId} 中没有规则 ${ruleId}`)
+      const preview = compileDraft(draftId, agentActor(agentId))
+      const trace = preview.result.traces.find(t => t.ruleId === rule.id)
+      return ok([
+        `规则 ${rule.id}(${rule.key})kind=${rule.kind} 约束级别=${rule.constraintLevel} 状态=${rule.status}`,
+        `DSL:${json(rule.dsl)}`,
+        `证据:${rule.evidence.map(e => `${e.level}(${e.source.type})`).join(', ') || '无'}`,
+        trace ? `编译决策:${trace.decision}${trace.decisionCode ? `[${trace.decisionCode}]` : ''} — ${trace.message}` : '尚未编译',
+        `规则修订 hash:${trace?.ruleRevision.slice(0, 16) ?? 'n/a'}`,
+        `文档告警:${detail.issues.length}`,
+      ].join('\n'))
+    }
+    if (ontologyId) {
+      const traces = getOntologyRepo().listTraces(ontologyId, Number.isInteger(versionArg) ? versionArg : undefined)
+      const trace = traces.find(t => t.ruleId === ruleId)
+      if (!trace) return fail(`本体 ${ontologyId} 的已发布版本中没有规则 ${ruleId} 的溯源行`)
+      const repo = getOntologyRepo()
+      const version = getVersion(ontologyId, trace.version)
+      const rule = repo.listRules(version.id, version.version).find(r => r.id === ruleId)
+      return ok([
+        `规则 ${trace.ruleId}(本体 ${ontologyId}@${trace.version})`,
+        `DSL:${rule ? json(rule.dsl) : '快照缺失'}`,
+        `证据级别:${trace.evidenceLevel || '无'} 约束级别:${trace.constraintLevel}`,
+        `编译决策:${trace.decision}${trace.decisionCode ? `[${trace.decisionCode}]` : ''} — ${trace.message}`,
+        `产物:${trace.artifacts.map(a => `${a.kind}${a.ref ? `:${a.ref}` : ''}`).join(', ') || '无(仅解释)'}`,
+        `适用域:line=${trace.scope.lineId || '全局'} recipe=${trace.scope.recipeId || '-'} condition=${trace.scope.conditionId || '-'}`,
+      ].join('\n'))
+    }
+    return fail('ontology_rule_explain 需要 draft_id 或 ontology_id 之一')
+  }
+  catch (err) {
+    return fail((err as Error).message)
+  }
+}
+
+/** 5) 编译预览(四类产物 + 规则溯源;不落库) */
+export async function toolOntologyCompilePreview(agentId: string, args: Record<string, unknown>): Promise<HostToolResult> {
+  const draftId = stringArg(args, 'draft_id')
+  if (!draftId) return fail('ontology_compile_preview 需要 draft_id')
+  try {
+    const preview = compileDraft(draftId, agentActor(agentId), { approvedOnly: args.approved_only === true })
+    const counts = {
+      compiled: preview.result.compiledCount, guard: preview.result.guardCount,
+      explained: preview.result.explainedCount, rejected: preview.result.rejectedCount,
+    }
+    const mv = preview.result.artifacts.problemIr.mvBounds
+    const cv = preview.result.artifacts.problemIr.cvBounds
+    const lines = [
+      `编译状态:${preview.result.status}(compiled=${counts.compiled} guard=${counts.guard} explained=${counts.explained} rejected=${counts.rejected})`,
+      `contentHash=${preview.contentHash.slice(0, 16)} packHash=${preview.packHash.slice(0, 16)} rulePackHash=${preview.result.rulePackHash.slice(0, 16)}`,
+      Object.keys(mv).length ? `mvBounds:${json(mv)}` : 'mvBounds:空',
+      Object.keys(cv).length ? `cvBounds:${json(cv)}` : 'cvBounds:空',
+      preview.result.artifacts.controlGuard.guards.length
+        ? `运行时守卫 ${preview.result.artifacts.controlGuard.guards.length}:`
+        : '运行时守卫:无',
+      ...preview.result.artifacts.controlGuard.guards.map(g => `- ${g.id} 当 ${g.when.variableKey} ${g.when.op} ${String(g.when.value)} 时禁止 ${g.forbid.kind}(${g.forbid.variableKey}) [${g.onViolate}]`),
+      preview.result.artifacts.processModel.featureCandidates.length
+        ? `训练特征候选 ${preview.result.artifacts.processModel.featureCandidates.length},时滞先验 ${preview.result.artifacts.processModel.delayPriors.length}`
+        : '',
+      preview.result.issues.length ? `告警/拒绝 ${preview.result.issues.length}:` : '无告警',
+      ...preview.result.issues.slice(0, 15).map(i => `- [${i.code}] ${i.ruleId ?? i.path}: ${i.message}`),
+    ]
+    return ok(lines.filter(Boolean).join('\n'))
+  }
+  catch (err) {
+    return fail((err as Error).message)
+  }
+}
+
+/** 6) 提议发布(只能申请第二人批准;不能自行发布) */
+export async function toolOntologyPublishPropose(agentId: string, args: Record<string, unknown>): Promise<HostToolResult> {
+  const draftId = stringArg(args, 'draft_id')
+  if (!draftId) return fail('ontology_publish_propose 需要 draft_id')
+  try {
+    const actor = agentActor(agentId)
+    const draft = getDraft(draftId)
+    if (draft.ownerUserId && draft.ownerUserId !== actor.userId) {
+      throw new AppError(403, 'DRAFT_SCOPE_VIOLATION', `草稿 ${draftId} 不属于本 Agent`)
+    }
+    const doc = parseDraftRow(draft)
+    const validated = doc.rules.filter(r => r.status === 'validated')
+    const pending = doc.rules.filter(r => r.status === 'reviewed')
+    const proposed = doc.rules.filter(r => r.status === 'proposed')
+    if (validated.length === 0) {
+      return ok([
+        `草稿 ${draftId} 没有处于 validated 的规则可提请控制级批准。`,
+        `当前:proposed=${proposed.length} reviewed=${pending.length} validated=0 approved=${doc.rules.filter(r => r.status === 'approved_for_control').length}`,
+        '请先由人完成 proposed→reviewed→validated(需要 observed/validated 级证据)。',
+      ].join('\n'))
+    }
+    const approvals = validated.map(rule => requestRuleApproval(draftId, rule.id, actor))
+    // 记一条「提请发布」提案(不改变规则状态;真正的发布需 admin 在 REST 面执行)
+    getOntologyRepo().appendPublishLog({
+      id: `opl-${Date.now().toString(36)}-${Math.random().toString(36).slice(2, 7)}`,
+      ontologyId: draft.ontologyId,
+      version: draft.baseVersion ?? 0,
+      action: 'publish.propose',
+      actor: agentId,
+      actorKind: 'agent',
+      soloOperator: 0,
+      approvalId: approvals[0]?.approvalId ?? null,
+      detailJson: JSON.stringify({ draftId, rules: approvals.map(a => a.ruleId) }),
+      createdAt: new Date().toISOString(),
+    })
+    return ok([
+      `已为 ${approvals.length} 条 validated 规则提请第二人批准(草稿 ${draftId},本体 ${draft.ontologyId}):`,
+      ...approvals.map(a => `- 规则 ${a.ruleId} → approvalId=${a.approvalId}`),
+      '注意:批准由人类在 /ontology 审批面裁决;批准后仍需 admin 执行 publish 才会冻结为不可变版本。',
+      '本工具不会写设备,也不会绕过 HITL/D13。',
+    ].join('\n'))
+  }
+  catch (err) {
+    return fail((err as Error).message)
+  }
+}
+
+/** 7) 版本比较(只读) */
+export async function toolOntologyVersionCompare(agentId: string, args: Record<string, unknown>): Promise<HostToolResult> {
+  const ontologyId = stringArg(args, 'ontology_id')
+  const from = Number(args.from ?? args.from_version)
+  const to = Number(args.to ?? args.to_version)
+  if (!ontologyId) return fail('ontology_version_compare 需要 ontology_id')
+  try {
+    void readableLines(agentId)
+    if (!Number.isInteger(from) || !Number.isInteger(to)) {
+      const versions = listVersions(ontologyId)
+      if (versions.length === 0) return ok(`本体 ${ontologyId} 还没有版本`)
+      return ok([
+        `本体 ${ontologyId} 版本:${versions.map(v => `v${v.version}(${v.status})`).join(', ')}`,
+        '给出 from 与 to 可查看四段差异(实体/关系/规则/绑定)。',
+      ].join('\n'))
+    }
+    const diff = compareVersions(ontologyId, from, to)
+    const section = (name: string, part: { added: string[], removed: string[], changed: string[] }) =>
+      `${name}:+${part.added.length}/-${part.removed.length}/±${part.changed.length}`
+      + (part.added.length ? ` 新增[${part.added.slice(0, 8).join(',')}]` : '')
+      + (part.removed.length ? ` 删除[${part.removed.slice(0, 8).join(',')}]` : '')
+      + (part.changed.length ? ` 变更[${part.changed.slice(0, 8).join(',')}]` : '')
+    return ok([
+      `本体 ${ontologyId}:v${from} → v${to}`,
+      section('实体', diff.entities),
+      section('关系', diff.relations),
+      section('规则', diff.rules),
+      section('绑定', diff.bindings),
+    ].join('\n'))
+  }
+  catch (err) {
+    return fail((err as Error).message)
+  }
+}
+
+/** 内部:更新草稿(供后续工具扩展;当前 7 工具中无直接暴露) */
+export async function toolOntologyDraftUpdate(agentId: string, args: Record<string, unknown>): Promise<HostToolResult> {
+  const draftId = stringArg(args, 'draft_id')
+  const expectedRev = Number(args.expected_rev)
+  if (!draftId || !Number.isInteger(expectedRev)) return fail('ontology_draft_update 需要 draft_id 与 expected_rev')
+  try {
+    const detail = updateDraft(draftId, agentActor(agentId), { doc: args.doc, expectedRev })
+    return ok(`草稿 ${draftId} 已保存(rev=${detail.draft.rev});校验:${detail.validation.ok ? '通过' : '未通过'}`)
+  }
+  catch (err) {
+    return fail((err as Error).message)
+  }
+}

package/server/services/workshop/agents/industrial/optimizer-tools.ts

@@ -17,6 +17,7 @@ import { getEligibilityRepo } from '../../process-model/eligibility'
 import { getProcessModelSpecRepo } from '../../process-model/spec.repo'
 import { cancel, getRunStatus, solve } from '../../optimization/manager'
 import { assertRecommendationUsable } from '../../optimization/recommendation.service'
+import { proposeProfileAdoption } from '../../optimization/profile-adopt.service'
 import { deriveDualState } from '../../optimization/crosscheck.service'
 
 function ok(payload: unknown): HostToolResult {
@@ -191,3 +192,81 @@ export function hasOptimizerBinding(agentId: string): boolean {
     return false
   }
 }
+
+/**
+ * 模型采纳提议(OW-adopt):把 AML 新训练登记的模型采纳为指定 Profile 的新版本。
+ *
+ * AI-first 闭环的"采纳"环节:复制当前已发布 Profile 的全部求解配置 → 换新模型工件 →
+ * 草稿新版本 → 挂 HITL 卡等待人类裁决。批准(单一咽喉)= 冻结发布 + 自动重绑所有
+ * 绑定在旧版本的 Agent(revision+1,在飞求解 BINDING_STALE 收敛);拒绝/超时 = 零写。
+ *
+ * 治理:工具属写族(grant-guard operate);Agent 必须已绑定该 Profile(防越权提议);
+ * 兼容性(D21 矩阵)在服务层提议时校验;发布仅发生在人类批准后。
+ */
+export async function toolOptimizerProfilePropose(agentId: string, args: Record<string, unknown>): Promise<HostToolResult> {
+  try {
+    const bindings = listBindingsForAgent(agentId)
+    if (bindings.length === 0) {
+      return { text: '本 Agent 没有优化器绑定;模型采纳必须由已绑定该 Profile 的 Agent 发起(先在 Channel 设置里绑定)。', isError: true }
+    }
+    const modelId = String(args.model_id ?? '').trim()
+    if (!modelId) return { text: 'model_id 必填(aml_job_submit 训练完成登记的模型 id;aml_leaderboard/aml_model_find 可查)。', isError: true }
+    const profileId = String(args.profile_id ?? '').trim() || (() => {
+      const bound = bindings.map(b => b.profileId)
+      return new Set(bound).size === 1 ? bound[0]! : ''
+    })()
+    if (!profileId) {
+      return { text: `本 Agent 绑定了多个 Profile(${bindings.map(b => b.profileId).join(', ')});必须显式传 profile_id。`, isError: true }
+    }
+    if (!bindings.some(b => b.profileId === profileId)) {
+      return { text: `Profile ${profileId} 不在本 Agent 的绑定面内,不能代为提议采纳(越权拒绝)。`, isError: true }
+    }
+    const reason = String(args.reason ?? '').trim()
+    if (!reason) return { text: 'reason 必填:为什么采纳新模型(证据:训练指标对比/互校结论/业务动因)。', isError: true }
+
+    const result = await proposeProfileAdoption({
+      agentInstanceId: agentId,
+      initiatorId: agentId,
+      initiatorKind: 'agent',
+      profileId,
+      modelId,
+      templateRef: args.template_ref as Parameters<typeof proposeProfileAdoption>[0]['templateRef'],
+      solverRef: args.solver_ref as Parameters<typeof proposeProfileAdoption>[0]['solverRef'],
+      reason,
+    })
+
+    if (!result.decision.approved) {
+      return {
+        text: [
+          `采纳提议未被批准(卡 ${result.cardId}):`,
+          `${result.profileId} v${result.priorVersion} → v${result.version}(模型 ${result.modelId})`,
+          `裁决:${result.decision.comment || '拒绝/超时'}`,
+          '草稿已保留(零写);可修订理由后重新提议,或由管理员经 REST 发布。',
+        ].join('\n'),
+        isError: true,
+      }
+    }
+    if (!result.published) {
+      return {
+        text: [
+          `⚠️ 采纳提议获批准,但发布未由裁决咽喉完成(卡 ${result.cardId}):`,
+          `${result.profileId} v${result.priorVersion} → v${result.version} 仍为草稿;请管理员经 REST/管理面发布,或重新发起采纳。`,
+        ].join('\n'),
+        isError: true,
+      }
+    }
+    return {
+      text: [
+        '✅ 模型采纳完成(HITL 批准):',
+        `${result.profileId} v${result.priorVersion} → v${result.version}(published)`,
+        `模型:${result.modelId};重绑绑定 ${result.rebindCount} 个(revision+1,在飞求解 BINDING_STALE 收敛)`,
+        `裁决意见:${result.decision.comment || '(无)'}`,
+        '下一次 optimizer_solve 即使用新模型;旧版本保留可回退(retire/rebind 走管理面)。',
+      ].join('\n'),
+    }
+  }
+  catch (err) {
+    const message = err instanceof AppError ? `${err.code}: ${err.message}` : String(err)
+    return { text: `模型采纳提议失败:${message}`, isError: true }
+  }
+}

package/server/services/workshop/agents/industrial/tool-verify.ts

@@ -168,7 +168,16 @@ function chainDeny(faces: ToolRefFaces, toolName: string, args: Record<string, u
   ], faces, hint, { param, value: id, lineId })
 }
 
-type ChainKind = 'dataset' | 'job' | 'model' | 'plan' | 'scene' | 'binding' | 'run' | 'recommendation'
+function draftLineId(draftJson: string): string {
+  try {
+    return (JSON.parse(draftJson || '{}') as { lineId?: string }).lineId ?? ''
+  }
+  catch {
+    return ''
+  }
+}
+
+type ChainKind = 'dataset' | 'job' | 'model' | 'plan' | 'scene' | 'binding' | 'run' | 'recommendation' | 'ontology_draft' | 'ontology_version'
 
 /** 优化运行/建议 → 所属 Agent(经 binding 反查);不存在返回 null(交工具兜底)。 */
 function optimizerOwnership(id: string, kind: 'run' | 'recommendation'): { agentId: string } | null {
@@ -209,6 +218,27 @@ function chainLineOf(kind: ChainKind, id: string, args: Record<string, unknown>)
     const p = getTrainingPlan(id)
     return p ? { lineId: p.lineId, createdBy: '' } : null
   }
+  // 本体草稿:归属 = 草稿属主(agent 起草时 owner=agentId);取不到 → 交工具自身
+  if (kind === 'ontology_draft') {
+    const row = rt.db.prepare('SELECT owner_user_id AS ownerUserId, draft_json AS draftJson FROM ontology_drafts WHERE id = ?').get(id) as { ownerUserId?: string, draftJson?: string } | undefined
+    if (!row) return null
+    let lineId = draftLineId(row.draftJson ?? '')
+    if (!lineId) {
+      const v = rt.db.prepare('SELECT line_id AS lineId FROM ontology_versions WHERE id = (SELECT ontology_id FROM ontology_drafts WHERE id = ?) ORDER BY version DESC LIMIT 1').get(id) as { lineId?: string } | undefined
+      lineId = v?.lineId ?? ''
+    }
+    return { lineId, createdBy: row.ownerUserId ?? '' }
+  }
+  // 本体版本:id@version 或 (ontology_id, version);归属 = 版本产线
+  if (kind === 'ontology_version') {
+    const ontologyId = id
+    const wantsVersion = args.version !== undefined ? Number(args.version) : Number.NaN
+    const row = Number.isInteger(wantsVersion)
+      ? rt.db.prepare('SELECT line_id AS lineId FROM ontology_versions WHERE id = ? AND version = ?').get(ontologyId, wantsVersion) as { lineId?: string } | undefined
+      : rt.db.prepare(`SELECT line_id AS lineId FROM ontology_versions WHERE id = ? AND status = 'published' ORDER BY version DESC LIMIT 1`).get(ontologyId) as { lineId?: string } | undefined
+    if (!row) return null
+    return { lineId: row.lineId ?? '', createdBy: '' }
+  }
   // scene:需带版本(scene_id 多版本并存);取不到记录 → 交工具自身
   const version = String(args.scene_version ?? '').trim()
   if (!version) return null
@@ -372,7 +402,7 @@ export function verifyToolReferences(agentId: string, toolName: string, args: Re
       const mine = row.createdBy === agentId
       const readable = !!row.lineId && faces.readableLines.has(row.lineId)
       if (!mine && !readable) {
-        const label = { dataset: '数据集', job: '训练作业', model: '模型', plan: '建模任务', scene: '场景' }[chain.kind]
+        const label = { dataset: '数据集', job: '训练作业', model: '模型', plan: '建模任务', scene: '场景', ontology_draft: '本体草稿', ontology_version: '本体版本' }[chain.kind]
         return chainDeny(faces, toolName, args, chain.param, id, label, row.lineId)
       }
     }

package/server/services/workshop/agents/tool-reference-spec.ts

@@ -17,7 +17,7 @@ import type { ToolRefKind as _RefKind } from './tool-reference-kinds'
 export type { ToolRefKind } from './tool-reference-kinds'
 
 /** 链式引用类别(经谱系回溯判定归属) */
-export type ToolChainKind = 'dataset' | 'job' | 'model' | 'plan' | 'scene' | 'binding' | 'run' | 'recommendation'
+export type ToolChainKind = 'dataset' | 'job' | 'model' | 'plan' | 'scene' | 'binding' | 'run' | 'recommendation' | 'ontology_draft' | 'ontology_version'
 
 export interface ToolRefRule {
   param: string

package/server/services/workshop/aml/twin/physics-spec.ts

@@ -1,3 +1,5 @@
+import { dimensionsCompatible, dimensionOf } from '@/shared/dimensions'
+
 export const PHYSICS_SPEC_VERSION = 'physics-spec.v1' as const
 export const PHYSICS_OPERATORS = ['add', 'sub', 'mul', 'div', 'pow', 'exp', 'log', 'min', 'max', 'clamp'] as const
 export type PhysicsOperator = typeof PHYSICS_OPERATORS[number]
@@ -67,15 +69,6 @@ export interface PhysicsSpecValidationResult {
 const OPS = new Set<string>(PHYSICS_OPERATORS)
 const IDENTIFIER = /^[A-Za-z_][A-Za-z0-9_.:-]*$/
 const RESERVED = new Set(['__proto__', 'prototype', 'constructor'])
-const DIMENSIONLESS = new Set(['', '1', 'ratio', 'fraction', 'percent', '%'])
-const UNIT_DIMENSIONS: Record<string, string> = {
-  s: 'time', sec: 'time', ms: 'time', min: 'time', h: 'time',
-  degc: 'temperature', c: 'temperature', k: 'temperature', degf: 'temperature',
-  pa: 'pressure', kpa: 'pressure', mpa: 'pressure', bar: 'pressure', psi: 'pressure',
-  g: 'mass', kg: 'mass', mg: 'mass',
-  m: 'length', cm: 'length', mm: 'length', km: 'length',
-  a: 'current', v: 'voltage', w: 'power', j: 'energy', n: 'force',
-}
 
 function record(value: unknown): value is Record<string, unknown> {
   return !!value && typeof value === 'object' && !Array.isArray(value)
@@ -89,19 +82,10 @@ function idOk(value: unknown): value is string {
 function addIssue(issues: PhysicsSpecIssue[], path: string, code: string, message: string, severity: 'error' | 'warning' = 'error') {
   issues.push({ path, code, message, severity })
 }
-function unitKey(unit: string | undefined): string {
-  return (unit ?? '').trim().toLowerCase().replace('°', 'deg')
-}
-function dimension(unit: string | undefined): string {
-  const key = unitKey(unit)
-  if (DIMENSIONLESS.has(key)) return 'dimensionless'
-  if (UNIT_DIMENSIONS[key]) return UNIT_DIMENSIONS[key]
-  if (key.includes('/') || key.includes('*') || key.includes('^')) return `compound:${key}`
-  return key ? `unit:${key}` : 'scalar'
-}
-function compatible(a: string, b: string): boolean {
-  return a === '*' || b === '*' || a === b || (a === 'dimensionless' && b === 'scalar') || (b === 'dimensionless' && a === 'scalar')
-}
+/** 量纲归一与相容判定复用 shared/dimensions(本体与 PhysicsSpec 共用一张表;℃ 缺口在此已修) */
+const dimension = dimensionOf
+const compatible = dimensionsCompatible
+
 function normalizeExpr(value: unknown): PhysicsExpression | undefined {
   if (finite(value)) return value
   if (!record(value)) return undefined

package/server/services/workshop/daq/storage/index.ts

@@ -2,19 +2,20 @@
  * TsdbPort 工厂 —— 配置驱动(daqInfraUrls 提供真实 Timescale URL),降级 SQLite 仿真。
  * 单例挂 globalThis;rebuildTsdb() 支持重连时从降级实例切回真实实例。
  */
-import { createLogger } from '../../logger'
+import { createLogger } from '../../logger'
 import { SqliteTimeSeriesAdapter } from './sqlite.adapter'
 import { TimescaleAdapter } from './timescale.adapter'
 import type { TsdbPort } from './tsdb-port'
 
-const log = createLogger('daq.tsdb')
-
+const log = createLogger('daq.tsdb')
+
 interface DaqTsdbState { current?: TsdbPort, initError?: unknown }
 const g = globalThis as typeof globalThis & { __daqTsdbState?: DaqTsdbState }
 
 function makeFallback(reason: string): TsdbPort {
   const dev = new SqliteTimeSeriesAdapter()
-  dev.init()
+  // init 失败不再静默:读路径有 ensureDb 惰性自愈兜底,但这里必须留下证据
+  dev.init().catch(err => log.error(`[daq-tsdb] SQLite 降级实例初始化失败(读路径将自愈重试):`, err instanceof Error ? err.message : err))
   log.warn(`[daq-tsdb] ${reason} → 已降级 SQLite 时序仿真`)
   return dev
 }
@@ -27,7 +28,7 @@ export const tsdbReady: Promise<void> = (() => {
     if (!url) {
       // 无配置(启动插件尚未装配):先占位仿真库;插件随后按 infra 状态 rebuild
       const dev = new SqliteTimeSeriesAdapter()
-      dev.init()
+      dev.init().catch(err => log.error('[daq-tsdb] SQLite 占位实例初始化失败(读路径将自愈重试):', err instanceof Error ? err.message : err))
       st.current = dev
     }
     else {