dsh-data-domain-knowledge 0.1.1-alpha.2 → 0.1.1-alpha.3

package/src/settings-volatile.ts

@@ -93,13 +93,6 @@ export function unwrapVolatile<T>(value: unknown): T | undefined {
  * `knowledge` / `convert` / `behaviorRules` 三组），而只解一层的结果是「组本身还是原始对象、
  * 组里的字段还是引用」。
  *
- * 0029 实测到的故障就是这样来的：`intent` 组被原样交给 `applyIntent`，于是
- * `engine.settings.predicates` 是一个 `{get, write}` 引用而不是字符串数组，
- * `routingPrompt()` 里那句 `predicates.join('、')` 抛
- * `this.settings.predicates.join is not a function`。抛出点在 **preset 的挂载行**上，
- * 所以整个 preset 组合不出会话 —— 宿主平面没事（它在 apply 时不读谓词），一个字段
- * 的类型错误把 preset 打挂。
- *
  * ## 为什么是两层而不是把 `unwrapVolatile` 写成递归
  *
  * 多出来的那一层是**已知的、唯一的一层**：组 → 字段。递归会把「数组里的对象恰好

package/src/source-identity.ts

@@ -0,0 +1,4 @@
+/** Allocate once when an input joins the import queue; retries and conversions keep this ID. */
+export function newSourceId(): string {
+  return `src_${globalThis.crypto.randomUUID()}`
+}

package/src/store/axis-references.ts

@@ -15,13 +15,14 @@ export function redirectAxisReferences(db: KnowledgeDb, kind: AxisKind, fromId:
   if (hasKnowledge) db.raw(`UPDATE knowledge SET ${column} = ?, updated_at = ? WHERE ${column} = ?`).run(intoId, new Date().toISOString(), fromId)
   const placements = db.placements()
   const cards = db.cards()
-  const byCoordinate = new Map(cards.filter(row => row.card.coordinate).map(row => [cardCoordinateKey(row.card.coordinate!), row]))
+  const wikiKind = (card: typeof cards[number]['card']) => card.metadata.wiki_kind === 'fact' || card.metadata.wiki_kind === 'way' ? card.metadata.wiki_kind : undefined
+  const byCoordinate = new Map(cards.filter(row => row.card.coordinate).map(row => [cardCoordinateKey(row.card.coordinate!, wikiKind(row.card)), row]))
   db.transact({ opId: `axis-merge:${fromId}:${intoId}:${Date.now()}`, actor: 'user', summary: '合并轴实体并迁移知识、卡片与事件引用' }, tx => {
     for (const row of cards) {
       const coordinate = row.card.coordinate
       if (!coordinate || coordinate[field] !== fromId) continue
       const next = redirect(coordinate)
-      const key = cardCoordinateKey(next)
+      const key = cardCoordinateKey(next, wikiKind(row.card))
       const target = byCoordinate.get(key)
       const base = target && target.card.entityId !== row.card.entityId ? target : row
       const merged = base !== row
@@ -32,6 +33,7 @@ export function redirectAxisReferences(db: KnowledgeDb, kind: AxisKind, fromId:
         sourceRefs: [...new Set([...base.card.sourceRefs, ...row.card.sourceRefs])],
         annotations: [...new Map([...(base.card.annotations ?? []), ...(row.card.annotations ?? [])].map(annotation => [annotation.id, annotation])).values()],
         metadata: { ...base.card.metadata, layout: undefined, citations: undefined,
+          knowledge_versions: { ...(row.card.metadata.knowledge_versions as Record<string, number> ?? {}), ...(base.card.metadata.knowledge_versions as Record<string, number> ?? {}) },
           aliases: [...new Set([...(Array.isArray(base.card.metadata.aliases) ? base.card.metadata.aliases : []), ...(Array.isArray(row.card.metadata.aliases) ? row.card.metadata.aliases : []), base.card.title, row.card.title])],
           ...(eventRefs.length ? { event_refs: JSON.stringify(eventRefs) } : {}) },
       }
@@ -41,7 +43,7 @@ export function redirectAxisReferences(db: KnowledgeDb, kind: AxisKind, fromId:
       const frontmatter = { ...base.frontmatter, coordinate: { object: next.objectId, action: next.actionId, scene: next.sceneId }, source_refs: card.sourceRefs, metadata: card.metadata, annotations: card.annotations }
       tx.putCard(card, frontmatter, { actor: 'user', kind: 'named', summary: '轴合并后的卡片引用' }, combined, true)
       db.setCardEvents(card.entityId, eventRefs)
-      byCoordinate.delete(cardCoordinateKey(coordinate))
+      byCoordinate.delete(cardCoordinateKey(coordinate, wikiKind(row.card)))
       byCoordinate.set(key, { ...base, card, frontmatter })
       placements.set(card.entityId, combined)
     }

package/src/store/knowledge-db.ts

@@ -54,7 +54,7 @@ export const KNOWLEDGE_DB_APPLICATION_ID = 0x544B4244
  * 旧库会在打开时做一次**事务化就地迁移**。知识库是用户数据，不能因为存储层增加了
  * 一列或调整了主键就要求用户重新导入；只有比当前版本更新的库才拒绝打开。
  */
-export const KNOWLEDGE_DB_SCHEMA = 7
+export const KNOWLEDGE_DB_SCHEMA = 8
 
 /** 实体种类。`knowledge` 与轴注册表不走这张表（它们各有自己的表，见 §3.2）。 */
 export type EntityKind = 'source' | 'card'
@@ -581,6 +581,18 @@ function migrateSchema(db: SqliteDatabase, fromVersion: number): void {
 
     // 其他模块可能已经先建了自己的表；schemaSql 使用 IF NOT EXISTS，可安全补齐剩余结构和索引。
     db.exec(schemaSql())
+    // Rekey typed Wiki rows without changing entity IDs, content, reviews or revisions.
+    const wikiRows = db.prepare('SELECT entity_id,coordinate_key,object_id,action_id,scene_id,frontmatter FROM card').all() as Array<Record<string, unknown>>
+    for (const row of wikiRows) {
+      const metadata = parseFrontmatter(String(row.frontmatter)).metadata as Record<string, unknown> | undefined
+      const kind = metadata?.wiki_kind
+      const coordinate = coordinateOfRow(row)
+      if (!coordinate || (kind !== 'fact' && kind !== 'way')) continue
+      const key = cardCoordinateKey(coordinate, kind)
+      const holder = db.prepare('SELECT entity_id FROM card WHERE coordinate_key=?').get(key) as { entity_id: string } | undefined
+      if (holder && holder.entity_id !== row.entity_id) continue
+      db.prepare('UPDATE card SET coordinate_key=? WHERE entity_id=?').run(key, String(row.entity_id))
+    }
     db.exec(`PRAGMA application_id = ${KNOWLEDGE_DB_APPLICATION_ID}`)
     db.exec(`PRAGMA user_version = ${KNOWLEDGE_DB_SCHEMA}`)
     db.exec('COMMIT')
@@ -736,7 +748,7 @@ export class KnowledgeTx {
       const storedCoordinate = card.coordinate ?? (existing === undefined ? undefined : coordinateOfRow(existing))
       const coordinateKey = storedCoordinate === undefined
         ? legacyCardStorageKey(card.entityId)
-        : cardCoordinateKey(storedCoordinate)
+        : cardCoordinateKey(storedCoordinate, card.metadata.wiki_kind === 'fact' || card.metadata.wiki_kind === 'way' ? card.metadata.wiki_kind : undefined)
       const oldKey = typeof existing?.coordinate_key === 'string' ? existing.coordinate_key : undefined
       if (existing !== undefined) {
         if (!allowCoordinateMove && oldKey !== undefined && oldKey !== coordinateKey && !oldKey.startsWith('legacy:')) {

package/src/types.ts

@@ -1,3 +1,4 @@
+import { wikiGroupKey, type WikiKind } from './knowledge-contract.js'
 import { DIAGNOSIS_ENTITY_TYPES } from './diagnosis/schema.js'
 
 /** Wiki Card 自己的生命周期。它描述卡片是否可展示、是否被审核或是否有编译问题。 */
@@ -382,10 +383,11 @@ export interface CardCoordinate {
 /**
  * 卡片的存储主键。
  *
- * `entityId` 仍是旧接口与版本表使用的稳定别名；真正决定一张有坐标卡片身份的，
- * 是这三个轴实体 id。加前缀是为了把「坐标主键」和「未绑定坐标的存量卡片」分开。
+ * `entityId` 是读取与版本表使用的稳定 ID。类型化 Wiki 由 Wiki 类型和完整三轴共同
+ * 确定身份；未指定类型时保留旧坐标键，供存量卡片兼容使用。知识库由所在数据库隔离。
  */
-export function cardCoordinateKey(coordinate: CardCoordinate): string {
+export function cardCoordinateKey(coordinate: CardCoordinate, kind?: WikiKind): string {
+  if (kind) return wikiGroupKey(kind, coordinate)
   return `coord:${coordinate.objectId}\u0001${coordinate.actionId}\u0001${coordinate.sceneId}`
 }
 
@@ -839,7 +841,7 @@ export interface RecallResult {
   /** 各阶段耗时（毫秒）。它很小，所以不藏在 `detail` 后面 —— Agent 也会问「为什么慢」。 */
   timings?: RecallTimings
   recallId: string
-  /** 查询侧的意图与 OAS 解析结果，供诊断和召回解释使用。 */
+  /** 查询侧的 OAS 坐标解析结果，供诊断和召回解释使用。 */
   queryAnalysis?: import('./query-analysis.js').QueryAnalysis
   indexVersion?: number
   compileRunId?: string

package/src/wiki-availability.ts

@@ -0,0 +1,37 @@
+import type { Knowledge } from './knowledge.js'
+import type { CardKnowledgeRow } from './store/knowledge-db.js'
+import type { KnowledgeCard } from './types.js'
+
+export interface WikiTruth {
+  knowledge: ReadonlyMap<string, Knowledge>
+  sources: ReadonlyMap<string, number>
+  caseVersion(id: string): number | undefined
+}
+
+/** The saved Wiki generation, rather than the index build time, binds its supporting versions. */
+export function wikiUnavailableReason(card: KnowledgeCard, placements: readonly CardKnowledgeRow[], truth: WikiTruth): string | undefined {
+  if (card.status === 'deprecated') return '该 Wiki 已停用。'
+  if (card.sourceRefs.some(id => !truth.sources.has(id))) return '支撑该 Wiki 的 Source Raw 已缺失。'
+  const kind = card.metadata.wiki_kind
+  if (kind !== 'fact' && kind !== 'way') return undefined
+  if (card.metadata.wiki_coordinate_version !== 2) return '该 Wiki 仍使用旧聚合规则，请先重新组织 Wiki。'
+  const versions = card.metadata.knowledge_versions as Record<string, number> | undefined
+  const ids = new Set([...placements.map(item => item.knowledgeId), ...Object.keys(versions ?? {})])
+  if (kind === 'way' && ids.size === 0) return '方法缺少知识落位与版本依据，请重新组织 Wiki。'
+  for (const id of ids) {
+    const row = truth.knowledge.get(id)
+    if (!row || row.mergedInto || row.status === 'deprecated') return '支撑知识已撤回、合并或停用，请重新组织 Wiki。'
+    if ((row.kind ?? 'fact') !== (kind === 'way' ? 'procedure' : 'fact')) return 'Wiki 类型与支撑知识不一致，请重新组织 Wiki。'
+    if ((versions?.[id] !== undefined && versions[id] !== row.version) || (kind === 'way' && versions?.[id] === undefined)) return '支撑知识内容版本已变化，请重新组织 Wiki。'
+    if (card.coordinate && (row.objectId !== card.coordinate.objectId || row.actionId !== card.coordinate.actionId || row.sceneId !== card.coordinate.sceneId)) return '支撑知识坐标已变化，请重新组织 Wiki。'
+    const active = row.sources.filter(source => !source.withdrawn && (!source.documentId || truth.sources.has(source.documentId)))
+    if (!active.length) return '支撑知识的来源贡献已撤回，请重新组织 Wiki。'
+    if (kind === 'way') {
+      const method = row.data?.procedure
+      if (row.status === 'disputed' || !method || method.completeness !== 'complete' || !method.method.length
+        || method.caseRefs.some(ref => truth.caseVersion(ref.id) !== ref.version)
+        || active.some(source => source.documentId && source.toVersion !== undefined && truth.sources.get(source.documentId) !== source.toVersion)) return '支撑方法或证据版本已变化，请重新组织 Wiki。'
+    }
+  }
+  return undefined
+}

package/src/wiki-finalize.ts

@@ -9,7 +9,8 @@
  *
  * 1. **相关卡片**（`planRelated`）—— 卡片之间原来只有图上的边，卡片正文里什么都没有，
  *    人打开一张卡片看不到它跟谁有关系。现在把关系存进卡片的 `metadata.related_cards`，
- *    正文保持纯正文；面板和索引页按这份结构化数据展示。
+ *    面板和索引页按这份结构化数据展示。类型化 Wiki 的正文双链和导航另由
+ *    `wiki-links.ts` 生成，索引前剥离导航。
  * 2. **断链统计**（`deadLinksOf`）—— 为编译报告与索引页提供关系图的可见性，不修改卡片
  *    内容，也不写入卡片 metadata。
  * 3. **索引页**（`buildWikiIndex`）—— 知识库原来没有「这里有什么」的落盘入口：
@@ -24,12 +25,13 @@
  * ## 为什么只认 wiki 链接语法
  *
  * 旧相关块里写的是 `[[类型/标题|标题]]`，不是 markdown 相对链接。这个语法仍由迁移
- * 与纯函数测试保留，但新编译不再把它写进正文；正文里的 wiki 链接仍由断链检查识别。
+ * 与纯函数测试保留。新编译使用稳定 `[[类型/实体ID|显示名称]]`，正文里的有效链接
+ * 由断链检查识别；代码与 URL 内的示例不作为链接。
  *
  * @module
  */
 
-import { buildAliasIndex, candidateKey, normalizeCandidateName } from './extract.js'
+import { scanWikiLinks, wikiLinkCandidates } from './wiki-links.js'
 import type { KnowledgeCard } from './types.js'
 
 /**
@@ -89,17 +91,9 @@ export function relatedEntriesOf(metadata: Record<string, unknown> | undefined):
   })
 }
 
-/** 正文里的 wiki 链接：`[[类型/名称]]`、`[[类型/名称|显示文字]]`、`[[名称]]`。 */
-const WIKI_LINK = /\[\[([^\]|]+)(?:\|[^\]]*)?\]\]/g
-
 /** 卡片正文里出现的 wiki 链接目标（原样，未归一）。 */
 export function wikiLinkTargets(content: string): string[] {
-  const targets: string[] = []
-  for (const match of content.matchAll(WIKI_LINK)) {
-    const target = (match[1] ?? '').trim()
-    if (target) targets.push(target)
-  }
-  return targets
+  return scanWikiLinks(content).map(link => link.target)
 }
 
 /**
@@ -278,20 +272,10 @@ export interface DeadLink {
  * 会被整批报成断链。这里从最长的类型前缀开始试（即从左往右逐个 `/` 切）。
  */
 export function deadLinksOf(cards: KnowledgeCard[], index?: Map<string, KnowledgeCard>): DeadLink[] {
-  const resolved = index ?? buildAliasIndex(cards)
-  const byName = new Map<string, KnowledgeCard>()
-  for (const card of cards) {
-    for (const name of [card.entityId, card.title, ...aliasesOf(card)]) {
-      const normalized = normalizeCandidateName(name)
-      if (normalized && !byName.has(normalized)) byName.set(normalized, card)
-    }
-  }
+  void index // Retained for compatibility; all targets must resolve uniquely.
   const resolveTarget = (target: string): KnowledgeCard | undefined => {
-    for (let at = target.indexOf('/'); at > 0; at = target.indexOf('/', at + 1)) {
-      const hit = resolved.get(candidateKey({ type: target.slice(0, at), name: target.slice(at + 1) }))
-      if (hit) return hit
-    }
-    return byName.get(normalizeCandidateName(target))
+    const candidates = wikiLinkCandidates(cards, target)
+    return candidates.length === 1 ? candidates[0] : undefined
   }
   const dead: DeadLink[] = []
   for (const card of cards) {

package/src/wiki-links.ts

@@ -0,0 +1,120 @@
+import { normalizeCandidateName } from './extract.js'
+import type { KnowledgeCard } from './types.js'
+
+export const WIKI_NAV_START = '<!-- compiled:wiki-links -->'
+const WIKI_NAV_END = '<!-- /compiled:wiki-links -->'
+export interface WikiObject { id: string; name: string; aliases: string[]; scopeId?: string }
+export interface WikiReference { entityId: string; entityType: string; title: string; target: string; link: string }
+
+export function stripWikiNavigation(content: string): string {
+  return content.replace(/\n*<!-- compiled:wiki-links -->\n[\s\S]*?\n<!-- \/compiled:wiki-links -->\s*$/, '').trim()
+}
+
+/** Preserve offsets while excluding fenced code, inline code, URLs and ordinary Markdown links. */
+function proseMask(content: string): string {
+  let fence: string | undefined
+  let result = content.split('\n').map(line => {
+    const match = line.match(/^\s*(?:(?:\d+[.)]|[-+*])\s+)?(`{3,}|~{3,})(.*)$/)
+    const wasCode = Boolean(fence)
+    if (match) {
+      if (!fence) fence = match[1]!
+      else if (match[1]![0] === fence[0] && match[1]!.length >= fence.length && !match[2]!.trim()) fence = undefined
+    }
+    return wasCode || match ? ' '.repeat(line.length) : line
+  }).join('\n')
+  result = result.replace(/(`+)[^\n]*?\1|!?\[[^\]\n]*\]\([^\n)]*\)|https?:\/\/[^\s<>]+/g, match => ' '.repeat(match.length))
+  return result
+}
+
+export function scanWikiLinks(content: string): Array<{ target: string; label: string; start: number; end: number }> {
+  return [...proseMask(content).matchAll(/\[\[([^\]|\n]+)(?:\|([^\]\n]*))?\]\]/g)].map(match => ({
+    target: match[1]!.trim(), label: match[2]?.trim() || match[1]!.trim(), start: match.index!, end: match.index! + match[0].length,
+  }))
+}
+
+export function wikiReference(card: Pick<KnowledgeCard, 'entityId' | 'entityType' | 'title'>): WikiReference {
+  const target = `${card.entityType}/${card.entityId}`
+  const metadata = (card as KnowledgeCard).metadata
+  const labels = metadata?.wiki_coordinate_labels as { action?: string; scene?: string } | undefined
+  const details = metadata?.wiki_kind ? [metadata.wiki_kind === 'way' ? 'Wiki Way' : 'Wiki Fact', labels?.action, labels?.scene].filter((value): value is string => Boolean(value) && !card.title.includes(value!)) : []
+  const display = `${card.title}${details.length ? ` · ${details.join(' · ')}` : ''}`
+  const label = display.replace(/[\[\]|\r\n]/g, ' ').trim() || card.entityId
+  return { entityId: card.entityId, entityType: card.entityType, title: card.title, target, link: `[[${target}|${label}]]` }
+}
+
+/** Stable IDs take precedence. A title or alias must resolve uniquely; never pick an arbitrary match. */
+export function wikiLinkCandidates(cards: KnowledgeCard[], raw: string): KnowledgeCard[] {
+  const target = raw.trim().replace(/^\[\[([^\]|]+)(?:\|[^\]]*)?\]\]$/, '$1').trim()
+  const exact = cards.filter(card => target === card.entityId || target === `${card.entityType}/${card.entityId}` || target === `${card.entityType}:${card.entityId}`)
+  if (exact.length) return exact
+  return cards.filter(card => {
+    const names = [card.title, ...(Array.isArray(card.metadata.aliases) ? card.metadata.aliases.filter((a): a is string => typeof a === 'string') : typeof card.metadata.aliases === 'string' ? [card.metadata.aliases] : [])]
+    return names.some(name => normalizeCandidateName(target) === normalizeCandidateName(name)
+      || normalizeCandidateName(target) === normalizeCandidateName(`${card.entityType}/${name}`))
+  })
+}
+
+/** Index labels, not storage IDs or navigation text. Code examples remain unchanged. */
+export function wikiIndexContent(content: string): string {
+  let text = stripWikiNavigation(content)
+  for (const link of scanWikiLinks(text).reverse()) text = text.slice(0, link.start) + link.label + text.slice(link.end)
+  return text
+}
+
+/** Link only registered Objects and real Wiki files. Sharing a Source alone is not a semantic link. */
+export function compileWikiNavigation(card: KnowledgeCard, cards: KnowledgeCard[], objects: WikiObject[]): {
+  content: string; outgoing: WikiReference[]; inlineTargets: string[]; objectIds: string[]
+} {
+  let body = stripWikiNavigation(card.content)
+  const previous = new Set(Array.isArray(card.metadata.wiki_inline_targets) ? card.metadata.wiki_inline_targets : [])
+  for (const link of scanWikiLinks(body).reverse()) if (previous.has(link.target)) body = body.slice(0, link.start) + link.label + body.slice(link.end)
+  const mask = proseMask(body)
+  const covered = scanWikiLinks(body)
+  const byName = new Map<string, Set<string>>()
+  for (const object of objects) for (const name of [object.name, ...object.aliases]) {
+    if (name.length < 2) continue
+    const key = name.toLocaleLowerCase()
+    const ids = byName.get(key) ?? new Set<string>(); ids.add(object.id); byName.set(key, ids)
+  }
+  const mentioned = new Set(card.coordinate?.objectId ? [card.coordinate.objectId] : [])
+  const edits: Array<{ start: number; end: number; value: string; target: string }> = []
+  const live = cards.filter(candidate => candidate.status !== 'deprecated' && candidate.entityId !== card.entityId)
+  for (const [name, ids] of [...byName].sort((a, b) => b[0].length - a[0].length)) {
+    if (ids.size !== 1) continue
+    const objectId = [...ids][0]!
+    const literal = new RegExp(name.replace(/[.*+?^${}()|[\]\\]/g, '\\$&'), 'giu')
+    for (const match of mask.matchAll(literal)) {
+      const at = match.index!
+      const end = at + match[0].length
+      if (covered.some(link => at < link.end && end > link.start) || edits.some(edit => at < edit.end && end > edit.start)) continue
+      if (/^[a-z0-9_]+$/i.test(name) && (/[a-z0-9_]/i.test(mask[at - 1] ?? '') || /[a-z0-9_]/i.test(mask[end] ?? ''))) continue
+      mentioned.add(objectId)
+      const candidates = live.filter(candidate => candidate.coordinate?.objectId === objectId)
+      const preferred = candidates.filter(candidate => candidate.metadata.wiki_kind === 'fact'
+        && candidate.coordinate?.actionId === card.coordinate?.actionId && candidate.coordinate?.sceneId === card.coordinate?.sceneId)
+      const general = candidates.filter(candidate => candidate.metadata.wiki_kind === 'fact' && !candidate.coordinate?.actionId && !candidate.coordinate?.sceneId)
+      const choices = preferred.length ? preferred : general.length ? general : candidates.length === 1 ? candidates : []
+      if (choices.length !== 1) continue
+      const target = wikiReference(choices[0]!).target
+      edits.push({ start: at, end, value: `[[${target}|${body.slice(at, end)}]]`, target })
+    }
+  }
+  // Registry scope is an established conceptual parent, not a guessed relationship.
+  const byId = new Map(objects.map(object => [object.id, object]))
+  for (const id of mentioned) {
+    const parent = byId.get(id)?.scopeId
+    if (parent && byId.has(parent)) mentioned.add(parent)
+  }
+  for (const edit of edits.sort((a, b) => b.start - a.start)) body = body.slice(0, edit.start) + edit.value + body.slice(edit.end)
+  const outgoing = new Map<string, WikiReference>()
+  for (const candidate of live) if (candidate.coordinate && mentioned.has(candidate.coordinate.objectId)) {
+    const reference = wikiReference(candidate); outgoing.set(reference.target, reference)
+  }
+  for (const link of scanWikiLinks(body)) {
+    const matches = wikiLinkCandidates(live, link.target)
+    if (matches.length === 1) { const reference = wikiReference(matches[0]!); outgoing.set(reference.target, reference) }
+  }
+  const references = [...outgoing.values()].sort((a, b) => a.target.localeCompare(b.target))
+  const navigation = references.length ? `\n\n${WIKI_NAV_START}\n## Wiki 导航\n\n${references.map(reference => `- ${reference.link}`).join('\n')}\n${WIKI_NAV_END}` : ''
+  return { content: body + navigation, outgoing: references, inlineTargets: [...new Set(edits.map(edit => edit.target))].sort(), objectIds: [...mentioned].sort() }
+}

package/lib/types/intent/engine.d.ts

@@ -1,122 +0,0 @@
-import { type IntentRecord, type IntentRecordInput, type IntentResult, type IntentSettings, type IntentSource, type IntentTaskSummary, type IntentTurnState } from './types.js';
-import type { LineageContext } from '#contracts';
-/**
- * Bounded audit store: one record per session turn, expiring after the configured TTL.
- *
- * 0033 起它同时是**工作集**与**留痕的入口**，两者的分工要说清：
- *
- * - 内存里这份是有 TTL 的**工作集**（默认 600 秒）：血缘判定只关心最近的轮次，
- *   一个十轮之前就结束的会话不该让新的一轮接到它的 task 上。
- * - 磁盘上那份（`intent/intent.db`）是**留痕**，当前版本便于读取，历史版本只追加、不随 TTL 消失。
- *   `sink` 在每次 `save` 时被调用，`hydrate` 在启动时把留痕读回工作集 ——
- *   重启之后同一个会话的血缘因此还在（在 TTL 窗口内）。
- *
- * 为什么不干脆让 `records()` 直接读文件：那会让 TTL 名存实亡（文件永远有），
- * 于是「工作集」这个概念消失，血缘会接到很久以前的 task 上。两件事分开，
- * 各自的契约才都成立。
- */
-export declare class IntentStore {
-    private ttlSeconds;
-    private readonly now;
-    private readonly sessions;
-    /**
-     * 每条被保存的记录都会经过它（落盘留痕）。
-     *
-     * 同步签名、由调用方自己吞异常：`save` 在记录路径的关键路径上，而留痕失败
-     * 不该让这一轮的意图记录失败 —— 「记录不拦截请求」这条契约对留痕也成立。
-     */
-    private sink?;
-    constructor(ttlSeconds?: number, now?: () => number);
-    /** 装上一个留痕出口。多次调用以最后一次为准。 */
-    setSink(sink: (record: IntentRecord) => void): void;
-    /**
-     * 把留痕读回工作集（启动时调用一次）。
-     *
-     * `touched` 用记录自己的 `updatedAt`，于是「重启」不会把 TTL 归零：一份十小时
-     * 前的记录在 TTL 600 秒下本来就该过期，重启不该让它复活。
-     */
-    hydrate(records: IntentRecord[]): number;
-    setTtl(seconds: number): void;
-    private entry;
-    /** Upsert by turn key so repeated records within one turn stay a single fact. */
-    save(record: IntentRecord): IntentRecord;
-    records(sessionKey: string): IntentRecord[];
-    last(sessionKey: string): IntentRecord | undefined;
-    findByTurn(sessionKey: string, turnKey: string): IntentRecord | undefined;
-    taskExists(sessionKey: string, taskId: string): boolean;
-    lastSubtaskOf(sessionKey: string, taskId: string): string | undefined;
-    expiresAt(sessionKey: string): string | undefined;
-    clear(sessionKey: string): void;
-    /** When the session was last touched (ms since epoch); 0 when unknown. */
-    touchedAt(sessionKey: string): number;
-    /** Live session keys, most recently touched first. Expired sessions are skipped. */
-    sessionKeys(): string[];
-}
-/**
- * Intent recorder. Every entry point is total: an unrecognized act, an unknown
- * task reference, or a missing classification degrade into warnings on a stored
- * record. Nothing here blocks, confirms, or rewrites the user's request.
- */
-export declare class IntentEngine {
-    readonly store: IntentStore;
-    private settings;
-    private readonly turns;
-    constructor(settings?: Partial<IntentSettings>, store?: IntentStore);
-    setSettings(settings: Partial<IntentSettings>): void;
-    getSettings(): IntentSettings;
-    /**
-     * Open a turn and allocate its provisional ids before the model records.
-     * Downstream calls dispatched in parallel with the record can already carry
-     * an id; the record later commits the authoritative task binding.
-     */
-    beginTurn(sessionKey: string, turn: number, userInput: string, eligible?: boolean): IntentTurnState;
-    /**
-     * 用户消息可能在 `turn/start` 之后才到达。
-     *
-     * 宿主事件顺序不是固定的：有些会话先发 `turn/start`，再发 `user/message`。如果只在
-     * `beginTurn` 读取一次原文，就会把整轮意图永久记录成空字符串。收到真实用户消息后，
-     * 只更新尚未提交的当前轮次；已经记录的判断不再被后来事件改写。
-     */
-    updateTurnInput(sessionKey: string, userInput: string): boolean;
-    /** Mark the current turn as a data turn without classifying it. */
-    markDataIntent(sessionKey: string, turn?: number): boolean;
-    /** Mark the current turn as a data turn based on actual data-tool use. */
-    markDataToolUse(sessionKey: string, turn?: number): boolean;
-    /** Clear a text-only gate when the model explicitly identifies a non-data turn. */
-    clearDataIntent(sessionKey: string, turn?: number): boolean;
-    /** Whether the current turn is eligible for data intent recording. */
-    isDataIntentTurn(sessionKey: string, turn?: number): boolean;
-    /** Backfill one `unknown` record only when an eligible data turn has no model record. */
-    fallbackWhenMissing(sessionKey: string, turn: number): IntentResult | undefined;
-    /** Record the model's intent judgement. The host applies scope before calling this method. */
-    record(input: IntentRecordInput, source?: IntentSource): IntentResult;
-    /** Ids a downstream tool call in this session should carry. */
-    activeLineage(sessionKey: string): {
-        lineage: Partial<LineageContext>;
-        committed: boolean;
-    } | undefined;
-    tasks(sessionKey: string): IntentTaskSummary[];
-    view(sessionKey?: string, includePrompt?: boolean): IntentResult;
-    /**
-     * Session-level index for the 意图 panel: every live session with its last
-     * classification and active task ids. Records themselves stay per-session.
-     */
-    overview(): {
-        sessions: Array<Record<string, unknown>>;
-    };
-    /**
-     * Model-facing contract: record first, then continue; the record never gates the request.
-     *
-     * 这段文本就是 `intent_record` 的**工具描述**（0023 起不再单独注入 system prompt 段），
-     * 分类规则固定随工具在场，不再通过设置或注册表变更。
-     *
-     * 分类判定是**两段式**的（issue 0023）：
-     * 1. 先拿用户意思去比对预置分类的 `description` / `examples`，命中就**直接用该 id**；
-     * 2. 全不命中才允许自行判断（新起一个 id 或落 `unknown`）。
-     *
-     * 这样预置项就是"先验"，而不是一份仅供参考的清单——模型不必每轮从零分类。
-     */
-    routingPrompt(): string;
-}
-export declare function createIntentEngine(settings?: Partial<IntentSettings>): IntentEngine;
-//# sourceMappingURL=engine.d.ts.map

package/lib/types/intent/engine.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../../src/intent/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,KAAK,YAAY,EACjB,KAAK,iBAAiB,EAGtB,KAAK,YAAY,EACjB,KAAK,cAAc,EAEnB,KAAK,YAAY,EAEjB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACrB,MAAM,YAAY,CAAA;AAEnB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAwDhD;;;;;;;;;;;;;;GAcG;AACH,qBAAa,WAAW;IASV,OAAO,CAAC,UAAU;IAAuC,OAAO,CAAC,QAAQ,CAAC,GAAG;IARzF,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAkE;IAC3F;;;;;OAKG;IACH,OAAO,CAAC,IAAI,CAAC,CAAgC;gBACzB,UAAU,SAAqC,EAAmB,GAAG,eAAmB;IAE5G,4BAA4B;IAC5B,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,YAAY,KAAK,IAAI,GAAG,IAAI;IAInD;;;;;OAKG;IACH,OAAO,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,MAAM;IAgBxC,MAAM,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;IAI7B,OAAO,CAAC,KAAK;IAWb,iFAAiF;IACjF,IAAI,CAAC,MAAM,EAAE,YAAY,GAAG,YAAY;IAUxC,OAAO,CAAC,UAAU,EAAE,MAAM,GAAG,YAAY,EAAE;IAI3C,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS;IAIlD,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS;IAIzE,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO;IAIvD,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIrE,SAAS,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAKjD,KAAK,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI;IAI/B,0EAA0E;IAC1E,SAAS,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM;IAIrC,oFAAoF;IACpF,WAAW,IAAI,MAAM,EAAE;CASxB;AAED;;;;GAIG;AACH,qBAAa,YAAY;IACvB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;IAC3B,OAAO,CAAC,QAAQ,CAAgB;IAChC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAqC;gBAE/C,QAAQ,GAAE,OAAO,CAAC,cAAc,CAAM,EAAE,KAAK,CAAC,EAAE,WAAW;IAKvE,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,cAAc,CAAC,GAAG,IAAI;IAKpD,WAAW,IAAI,cAAc;IAI7B;;;;OAIG;IACH,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,UAAO,GAAG,eAAe;IAchG;;;;;;OAMG;IACH,eAAe,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO;IAO/D,mEAAmE;IACnE,cAAc,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO;IAO1D,0EAA0E;IAC1E,eAAe,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO;IAQ3D,mFAAmF;IACnF,eAAe,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO;IAO3D,sEAAsE;IACtE,gBAAgB,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO;IAK5D,yFAAyF;IACzF,mBAAmB,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS;IAsB/E,8FAA8F;IAC9F,MAAM,CAAC,KAAK,EAAE,iBAAiB,EAAE,MAAM,GAAE,YAAsB,GAAG,YAAY;IAmG9E,+DAA+D;IAC/D,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;QAAC,SAAS,EAAE,OAAO,CAAA;KAAE,GAAG,SAAS;IAQvG,KAAK,CAAC,UAAU,EAAE,MAAM,GAAG,iBAAiB,EAAE;IAgB9C,IAAI,CAAC,UAAU,SAAY,EAAE,aAAa,UAAQ,GAAG,YAAY;IAajE;;;OAGG;IACH,QAAQ,IAAI;QAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;KAAE;IAmBxD;;;;;;;;;;;OAWG;IACH,aAAa,IAAI,MAAM;CA2BxB;AAED,wBAAgB,kBAAkB,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,GAAG,YAAY,CAEnF"}