dsh-data-domain-knowledge 0.1.0-alpha.11 → 0.1.0-alpha.13

package/src/source-evidence.ts

@@ -0,0 +1,30 @@
+import type { Knowledge, KnowledgeSource } from './knowledge.js'
+import type { KnowledgeDb } from './store/knowledge-db.js'
+
+/** Checking an evidence anchor does not establish whether a claim is true. */
+export function assessKnowledgeEvidence(knowledge: Knowledge, db: KnowledgeDb): Knowledge {
+  return {
+    ...knowledge,
+    sources: knowledge.sources.map(source => assessSource(source, db)),
+  }
+}
+
+function assessSource(source: KnowledgeSource, db: KnowledgeDb): KnowledgeSource {
+  if (!source.documentId) return { ...source, evidenceStatus: 'human' }
+  const head = db.source(source.documentId)
+  if (!head) return { ...source, evidenceStatus: 'missing', quoteInCurrentVersion: false }
+  const flatten = (text: string): string => text.replace(/\s+/g, '')
+  const quote = flatten(source.quote)
+  return {
+    ...source,
+    currentVersion: head.version,
+    evidenceStatus: source.toVersion === undefined ? 'unversioned'
+      : source.toVersion === head.version ? 'current' : 'historical',
+    quoteInCurrentVersion: quote !== '' && flatten(head.record.content).includes(quote),
+  }
+}
+
+export function hasCurrentSupport(knowledge: Knowledge): boolean {
+  return knowledge.sources.some(source => source.evidenceStatus === 'human'
+    || (source.evidenceStatus === 'current' && source.quoteInCurrentVersion === true))
+}

package/src/store/axis-references.ts

@@ -0,0 +1,96 @@
+import { createHash } from 'node:crypto'
+import type { AxisKind } from '../axis-registry.js'
+import { compositeEventIdentity, eventEntityFromRecords, type EventEntity } from '../events.js'
+import { cardCoordinateKey, type CardCoordinate } from '../types.js'
+import type { KnowledgeDb, CardKnowledgeRow } from './knowledge-db.js'
+
+/** Runs inside the axis merge transaction on the same validated connection. */
+export function redirectAxisReferences(db: KnowledgeDb, kind: AxisKind, fromId: string, intoId: string): void {
+  const column = { object: 'object_id', action: 'action_id', scene: 'scene_id' }[kind]
+  const field = { object: 'objectId', action: 'actionId', scene: 'sceneId' }[kind] as keyof CardCoordinate
+  const redirect = (coordinate: CardCoordinate): CardCoordinate => ({
+    ...coordinate, [field]: coordinate[field] === fromId ? intoId : coordinate[field],
+  })
+  const hasKnowledge = db.raw("SELECT 1 FROM sqlite_master WHERE name = 'knowledge'").get()
+  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]))
+  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 target = byCoordinate.get(key)
+      const base = target && target.card.entityId !== row.card.entityId ? target : row
+      const merged = base !== row
+      const eventRefs = [...new Set([...db.cardEventIds(base.card.entityId), ...db.cardEventIds(row.card.entityId)])]
+      const card = {
+        ...base.card, coordinate: next,
+        content: merged ? `${base.card.content}\n\n${row.card.content}` : row.card.content,
+        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,
+          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) } : {}) },
+      }
+      const rows = [...(placements.get(base.card.entityId) ?? []), ...(merged ? placements.get(row.card.entityId) ?? [] : [])]
+      const combined: CardKnowledgeRow[] = [...new Map(rows.map(placement => [placement.knowledgeId, placement])).values()]
+      if (merged) tx.removeEntity('card', row.card.entityId)
+      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.set(key, { ...base, card, frontmatter })
+      placements.set(card.entityId, combined)
+    }
+    const changed = new Set<string>()
+    const events = db.events().map(event => {
+      if (event.coordinateIds[field] !== fromId && !event.records.some(record => record.coordinateIds[field] === fromId)) return event
+      changed.add(event.id)
+      return { ...event, coordinateIds: redirect(event.coordinateIds), records: event.records.map(record => ({ ...record, coordinateIds: redirect(record.coordinateIds) })), updatedAt: new Date().toISOString() }
+    })
+    const externalBases = new Map(events.filter(event => event.identityType === 'external_id' && !event.identityKey.includes(':coordinate:')).map(event => [event.identityKey, event]))
+    const groups = new Map<string, EventEntity[]>()
+    for (const event of events) {
+      let key = event.identityKey
+      if (changed.has(event.id) && event.identityType === 'composite') key = compositeEventIdentity(event.occurredAt, event.coordinateIds, event.symptom)
+      if (event.identityType === 'external_id' && key.includes(':coordinate:')) {
+        const baseKey = key.slice(0, key.indexOf(':coordinate:'))
+        const base = externalBases.get(baseKey)
+        if (base && cardCoordinateKey(base.coordinateIds) === cardCoordinateKey(event.coordinateIds)) key = baseKey
+        else if (changed.has(event.id)) key = baseKey + ':coordinate:' + createHash('sha256').update(JSON.stringify(event.coordinateIds)).digest('hex').slice(0, 24)
+      }
+      const group = groups.get(key) ?? []
+      group.push(event)
+      groups.set(key, group)
+    }
+    const redirects = new Map<string, string>()
+    const affectedCards = new Set<string>()
+    for (const [key, group] of groups) {
+      if (group.length === 1 && !changed.has(group[0]!.id) && key === group[0]!.identityKey) continue
+      const target = group.find(event => event.identityKey === key) ?? group[0]!
+      const records = [...new Map(group.flatMap(event => event.records).map(record => [`${record.sourceId}\u0001${record.localId}`, record])).values()]
+      for (const event of group) {
+        if (event.id === target.id) continue
+        redirects.set(event.id, target.id)
+        for (const row of db.raw('SELECT card_id FROM card_event WHERE event_id = ?').all(event.id) as Array<{ card_id: string }>) affectedCards.add(row.card_id)
+        db.raw(`INSERT OR IGNORE INTO card_event(card_id, event_id, ordinal)
+          SELECT card_id, ?, ordinal FROM card_event WHERE event_id = ?`).run(target.id, event.id)
+        db.removeEvent(event.id)
+      }
+      db.writeEvent(group.length === 1 ? { ...target, identityKey: key } : eventEntityFromRecords({ ...target, identityKey: key, records }))
+    }
+    if (redirects.size) {
+      for (const row of db.cards()) {
+        let content = row.card.content
+        for (const [from, into] of redirects) content = content.replaceAll(from, into)
+        if (content === row.card.content && !affectedCards.has(row.card.entityId)) continue
+        const metadata = { ...row.card.metadata, event_refs: JSON.stringify(db.cardEventIds(row.card.entityId)) }
+        const frontmatter = { ...row.frontmatter, metadata }
+        tx.putCard({ ...row.card, content, metadata }, frontmatter, { actor: 'user', kind: 'named', summary: '轴合并后的 Event 引用' })
+      }
+    }
+  })
+}

package/src/store/derived.ts

@@ -76,6 +76,12 @@ export interface FtsDocument {
   content: string
 }
 
+export interface DerivedPublication {
+  artifacts: Map<string, string>
+  fts?: FtsDocument[]
+  vectors?: { manifest: unknown; binary: Buffer; int8: Buffer } | null
+}
+
 export type DerivedOpenResult =
   | { ok: true; db: DerivedDb; /** 这次开库是否把旧结构整体重建了。 */ rebuilt: boolean }
   | { ok: false; code: 'NOT_A_DERIVED_DB' | 'OPEN_FAILED'; message: string }
@@ -150,10 +156,10 @@ export class DerivedDb {
       return { ok: false, code: 'OPEN_FAILED', message: `打开失败：${cause instanceof Error ? cause.message : String(cause)}` }
     }
     try {
-      db.exec('PRAGMA journal_mode = WAL')
       const owner = readPragma(db, 'application_id')
       const version = readPragma(db, 'user_version')
-      if (userTableCount(db) === 0) {
+      if (userTableCount(db) === 0 && owner === 0) {
+        db.exec('PRAGMA journal_mode = WAL')
         db.exec(schemaSql())
         db.exec(`PRAGMA application_id = ${DERIVED_DB_APPLICATION_ID}`)
         db.exec(`PRAGMA user_version = ${DERIVED_DB_SCHEMA}`)
@@ -163,6 +169,7 @@ export class DerivedDb {
         db.close()
         return { ok: false, code: 'NOT_A_DERIVED_DB', message: `这个文件不是知识库的派生库（属主标记 ${owner}）：${file}` }
       }
+      db.exec('PRAGMA journal_mode = WAL')
       if (version !== DERIVED_DB_SCHEMA) {
         // 整体重建。**没有迁移分支是刻意的**（见模块头）。
         db.exec('DROP TABLE IF EXISTS fts')
@@ -207,6 +214,24 @@ export class DerivedDb {
       .run(name, body, hashOf(body), Buffer.byteLength(body, 'utf8'), new Date().toISOString())
   }
 
+  /** Model calls finish before this short transaction starts. */
+  publish(publication: DerivedPublication): void {
+    this.db.exec('BEGIN IMMEDIATE')
+    try {
+      for (const [name, body] of publication.artifacts) this.putArtifact(name, body)
+      if (publication.fts !== undefined) this.rebuildFts(publication.fts)
+      if (publication.vectors === null) this.raw('DELETE FROM vector_index').run()
+      else if (publication.vectors !== undefined) {
+        const { manifest, binary, int8 } = publication.vectors
+        this.putVectorIndex(manifest, binary, int8)
+      }
+      this.db.exec('COMMIT')
+    } catch (cause) {
+      try { this.db.exec('ROLLBACK') } catch { /* preserve the original failure */ }
+      throw cause
+    }
+  }
+
   removeArtifact(name: string): void {
     this.raw('DELETE FROM artifact WHERE name = ?').run(name)
   }
@@ -239,14 +264,14 @@ export class DerivedDb {
    */
   rebuildFts(documents: FtsDocument[]): void {
     /*
-     * `BEGIN` 在 DDL **之前**：SQLite 的 DDL 是事务性的（实测 `CREATE VIRTUAL TABLE` 与它
+     * `SAVEPOINT` 在 DDL **之前**：SQLite 的 DDL 是事务性的（实测 `CREATE VIRTUAL TABLE` 与它
      * 的 shadow 表一起回滚），而放在事务外就变成自动提交 —— 于是构建中途失败会留下一张
      * **空的** `fts` 表，`hasFts()` 还说它在，查询却一条也回不来。
      *
      * 放进同一个事务之后的实际行为：**上一版索引原样留着**（还能查），或者（本来就还没有
      * 索引时）仍然没有索引。两种都比「空表」好 —— 空表是一种既不报错也不可用的状态。
      */
-    this.db.exec('BEGIN')
+    this.db.exec('SAVEPOINT rebuild_fts')
     try {
       this.db.exec('DROP TABLE IF EXISTS fts')
       this.db.exec(ftsSql())
@@ -256,9 +281,9 @@ export class DerivedDb {
         const tokens = [...segment(document.title), ...segment(document.title), ...segment(document.content)]
         insert.run(document.unitId, tokens.join(' '))
       }
-      this.db.exec('COMMIT')
+      this.db.exec('RELEASE rebuild_fts')
     } catch (cause) {
-      try { this.db.exec('ROLLBACK') } catch { /* rollback of a dead tx */ }
+      try { this.db.exec('ROLLBACK TO rebuild_fts; RELEASE rebuild_fts') } catch { /* rollback of a dead tx */ }
       throw cause
     }
     // `optimize` 在事务外：它是一次纯内部整理，失败不该把已经建好的索引回滚掉。

package/src/store/knowledge-db.ts

@@ -713,7 +713,7 @@ export class KnowledgeTx {
    * 会把「只改备注」「只补图」那几条路径变成一次静默的关联丢失 —— 它们本来就不该
    * 碰落位（那件事只有编译知道）。
    */
-  putCard(card: KnowledgeCard, frontmatter: Record<string, unknown>, journal: Journal, placements?: CardKnowledgeRow[]): WriteOutcome {
+  putCard(card: KnowledgeCard, frontmatter: Record<string, unknown>, journal: Journal, placements?: CardKnowledgeRow[], allowCoordinateMove = false): WriteOutcome {
     const outcome = this.putEntity('card', card.entityId, card.content, frontmatter, journal, () => {
       const existing = this.raw('SELECT coordinate_key, object_id, action_id, scene_id FROM card WHERE entity_id = ?').get(card.entityId) as Record<string, unknown> | undefined
       /*
@@ -726,7 +726,7 @@ export class KnowledgeTx {
         : cardCoordinateKey(storedCoordinate)
       const oldKey = typeof existing?.coordinate_key === 'string' ? existing.coordinate_key : undefined
       if (existing !== undefined) {
-        if (oldKey !== undefined && oldKey !== coordinateKey && !oldKey.startsWith('legacy:')) {
+        if (!allowCoordinateMove && oldKey !== undefined && oldKey !== coordinateKey && !oldKey.startsWith('legacy:')) {
           throw new Error(`CARD_COORDINATE_IMMUTABLE: ${card.entityId} 已绑定坐标，不能直接改主键`)
         }
         this.raw(`UPDATE card SET coordinate_key = ?, entity_type = ?, title = ?, status = ?, owner = ?,
@@ -850,6 +850,7 @@ export class KnowledgeTx {
  * 短事务。异步化只会把调用方的顺序打散，换不到任何东西。
  */
 export class KnowledgeDb {
+  private transactionSequence = 0
   private constructor(private readonly db: SqliteDatabase, readonly file: string) {}
 
   /**
@@ -878,7 +879,6 @@ export class KnowledgeDb {
       return { ok: false, code: 'OPEN_FAILED', message: `打开失败：${cause instanceof Error ? cause.message : String(cause)}` }
     }
     try {
-      db.exec('PRAGMA journal_mode = WAL')
       const owner = readPragma(db, 'application_id')
       const version = readPragma(db, 'user_version')
       /*
@@ -904,9 +904,10 @@ export class KnowledgeDb {
        */
       const ownTables = ['knowledge', 'knowledge_sources', 'axis_entities', 'axis_aliases', 'event', 'card_event']
       const hasUserTables = userTableCount(db) > 0
-      const fresh = version === 0 && !hasUserTables
-      const unmarkedKnowledgeDb = version === 0 && ownTables.some(name => tableExists(db, name))
+      const fresh = owner === 0 && version === 0 && !hasUserTables
+      const unmarkedKnowledgeDb = owner === 0 && version === 0 && ownTables.some(name => tableExists(db, name))
       if (fresh) {
+        db.exec('PRAGMA journal_mode = WAL')
         db.exec(schemaSql())
         db.exec(`PRAGMA application_id = ${KNOWLEDGE_DB_APPLICATION_ID}`)
         db.exec(`PRAGMA user_version = ${KNOWLEDGE_DB_SCHEMA}`)
@@ -920,6 +921,7 @@ export class KnowledgeDb {
         db.close()
         return { ok: false, code: 'SCHEMA_TOO_NEW', message: `知识库的 schema 是 ${version}，本版本只认到 ${KNOWLEDGE_DB_SCHEMA}：${file}` }
       }
+      db.exec('PRAGMA journal_mode = WAL')
       if (version < KNOWLEDGE_DB_SCHEMA) {
         migrateSchema(db, version)
       }
@@ -938,6 +940,9 @@ export class KnowledgeDb {
 
   raw(sql: string): SqliteStatement { return this.db.prepare(sql) }
 
+  /** Repositories share this validated connection; only its owner closes it. */
+  connection(): SqliteDatabase { return this.db }
+
   /**
    * 一次操作 = 一个事务 = 一行 `tree` + 若干行 `revision`。
    *
@@ -951,7 +956,8 @@ export class KnowledgeDb {
   transact<T>(entry: TreeEntry, fn: (tx: KnowledgeTx) => T): T {
     const tx = new KnowledgeTx(this)
     const at = entry.at ?? new Date().toISOString()
-    this.db.exec('BEGIN')
+    const savepoint = `knowledge_op_${++this.transactionSequence}`
+    this.db.exec(`SAVEPOINT ${savepoint}`)
     try {
       /*
        * `INSERT OR REPLACE`：`op_id` 是**幂等键**。
@@ -964,10 +970,10 @@ export class KnowledgeDb {
         .run(entry.opId, at, entry.actor, entry.summary, '{}')
       const result = fn(tx)
       this.raw('UPDATE tree SET manifest = ? WHERE op_id = ?').run(tx.manifestJson(), entry.opId)
-      this.db.exec('COMMIT')
+      this.db.exec(`RELEASE ${savepoint}`)
       return result
     } catch (cause) {
-      try { this.db.exec('ROLLBACK') } catch { /* rollback of a dead tx */ }
+      try { this.db.exec(`ROLLBACK TO ${savepoint}; RELEASE ${savepoint}`) } catch { /* rollback of a dead tx */ }
       throw cause
     }
   }
@@ -1360,7 +1366,8 @@ export class KnowledgeDb {
           const mainNames = new Set(mainColumns.map(column => column.name))
           const legacyNames = new Set(legacyColumns.map(column => column.name))
           const shared = legacyColumns.filter(column => mainNames.has(column.name)).map(column => column.name)
-          const dropped = legacyColumns.filter(column => !mainNames.has(column.name)).map(column => column.name)
+          const dropped = legacyColumns.filter(column => !mainNames.has(column.name)
+            && !((name === 'knowledge_sources' || name === 'source') && column.name === 'source_type')).map(column => column.name)
           const required = mainColumns.filter(column => !legacyNames.has(column.name) && column.notNull && !column.hasDefault)
           if (dropped.length > 0) problems.push(`${name} 的这几列在目标表里没有，内容搬不过来：${dropped.join('、')}`)
           if (required.length > 0) {

package/src/store/migrate.ts

@@ -35,7 +35,7 @@
 import { existsSync } from 'node:fs'
 import { cp, mkdir, readFile, readdir, rename, rm, writeFile } from 'node:fs/promises'
 import { basename, dirname, join, relative } from 'node:path'
-import { ASSETS_DIR, SOURCE_RAW_DIR } from '../layout.js'
+import { ASSETS_DIR, PUBLISHED_IMAGE_MARKER, SOURCE_RAW_DIR } from '../layout.js'
 import type { KnowledgeCard, SourceRaw } from '../types.js'
 import type { KnowledgeDb } from './knowledge-db.js'
 
@@ -240,7 +240,17 @@ export async function migrateKnowledgeTree(input: MigrationInput): Promise<Migra
       })
     }
     db.transact({ opId: sourceOp(opId, 'source', sourceId), actor: 'migration', summary: '迁移来源', at: record.updatedAt }, tx => {
-      tx.putSource(record, parsed.frontmatter, { actor: 'migration', kind: 'named', at: record.createdAt })
+      const frontmatter = { ...parsed.frontmatter }
+      const origin = typeof record.metadata.source_url === 'string' ? record.metadata.source_url.trim() : ''
+      if (origin) {
+        frontmatter.resource ??= origin
+        frontmatter.sources ??= [{ id: 'origin', resource: origin, title: record.title }]
+      }
+      const parser = typeof record.metadata.parser === 'string' ? record.metadata.parser.trim() : ''
+      if (parser && typeof parsed.frontmatter.created_at === 'string') {
+        frontmatter.generated ??= { by: parser.startsWith('convert/') ? parser : `convert/${parser}`, at: parsed.frontmatter.created_at }
+      }
+      tx.putSource(record, frontmatter, { actor: 'migration', kind: 'named', at: record.createdAt })
     })
     report.sources += 1
   }
@@ -290,7 +300,7 @@ export async function migrateKnowledgeTree(input: MigrationInput): Promise<Migra
     const to = join(kbRoot, ASSETS_DIR, bucket)
     report.assetBuckets += 1
     if (dryRun) {
-      report.assetFiles += (await listFiles(from, '')).length
+      report.assetFiles += (await listFiles(from, '')).filter(path => basename(path) !== PUBLISHED_IMAGE_MARKER).length
       continue
     }
     try {
@@ -306,7 +316,7 @@ export async function migrateKnowledgeTree(input: MigrationInput): Promise<Migra
        */
       if (!existsSync(to)) await rename(from, to)
       else await mergeAssetBucket(from, to)
-      report.assetFiles += (await listFiles(to, '')).length
+      report.assetFiles += (await listFiles(to, '')).filter(path => basename(path) !== PUBLISHED_IMAGE_MARKER).length
     } catch (cause) {
       problems.push(`搬不动图片桶 ${bucket}：${cause instanceof Error ? cause.message : String(cause)}`)
     }
@@ -555,7 +565,7 @@ async function copyContentTree(from: string, to: string, overwrite: boolean): Pr
     if (!overwrite && existsSync(target)) continue
     await mkdir(dirname(target), { recursive: true })
     await cp(source, target, { force: true })
-    copied += 1
+    if (basename(source) !== PUBLISHED_IMAGE_MARKER) copied += 1
   }
   return copied
 }

package/src/types.ts

@@ -130,7 +130,7 @@ export interface KnowledgeConfig {
    * 组织（表达层）。两步都开着才是完整的「Knowledge Compiler + Wiki Materializer」。
    */
   cardOrganize: boolean
-  /** Python 解释器。空串 = 自动（`<agentRoot>/resource/python/bin/python`，再退回 `python3`）。 */
+  /** Python 解释器。空串 = 自动（隔离依赖环境，再退回 `DSH_PYTHON` / `python3`）。 */
   python: string
   embeddingProvider: EmbeddingProvider
   embeddingBaseUrl: string
@@ -231,10 +231,9 @@ export const DEFAULT_KNOWLEDGE_CONFIG: RuntimeKnowledgeConfig = {
   // 卡片组织（模型）默认**开**：Knowledge 只是事实层，Wiki 卡片正文必须经过这一步
   // 物化成可读的表达。只有显式写 `false` / `0` 才关闭兼容路径。
   cardOrganize: !['false', '0'].includes((process.env.DSH_KNOWLEDGE_CARD_ORGANIZE ?? '').trim().toLowerCase()),
-  // 0029：三个「家当」路径的默认值是**空串 = 自动**。它们跟着 `<agentRoot>/resource/`
-  // 走，而 agentRoot 由设置决定、模块加载时还不知道 —— 所以在运行时解析
-  // （`runtime.ts` 的 `resolveResources`）。环境变量仍然优先。
-  python: process.env.DSH_PYTHON || '',
+  // 0029：空串 = 自动。优先用 `<agentRoot>/resource/python/` 的隔离依赖环境；
+  // DSH_PYTHON 只作为创建该环境的基础解释器和未准备时的运行时回退。
+  python: '',
   embeddingProvider: 'wemm-python',
   embeddingBaseUrl: process.env.DSH_EMBEDDING_BASE_URL || 'http://127.0.0.1:11434',
   embeddingModel: process.env.DSH_EMBEDDING_MODEL || process.env.DSH_EMBEDDING_MODEL_PATH || '',
@@ -561,6 +560,12 @@ export interface RecallHit extends SearchHit {
 export interface RecallKnowledge {
   id: string
   text: string
+  /** Citation anchors are checked; semantic entailment is not established. */
+  claimVerification?: 'unverified'
+  requiresReview?: boolean
+  evidenceStatus?: 'current' | 'historical' | 'unversioned' | 'missing' | 'human'
+  sourceVersion?: number
+  currentSourceVersion?: number
   /**
    * Knowledge 的真值状态。**如实带出来，不许静默过滤**：Card review 不是 Knowledge 验证，
    * 因此 candidate / disputed / deprecated 都必须让上层看到。