第十二章：Typert 类型图系统

// 来自 packages/typert/generator/src/analyzer.ts
class WorkspaceAnalyzer {
  /** 分析工作区 */
  async analyze(): Promise<TypeGraph> {
    // 1. 扫描 TypeScript 文件
    const files = await this.scanFiles()
    
    // 2. 解析类型引用
    const references = await this.resolveReferences(files)
    
    // 3. 构建类型图
    const graph = this.buildGraph(references)
    
    // 4. 批量分析
    await this.analyzeInBatches(graph)
    
    return graph
  }
  
  /** 批量分析 */
  private async analyzeInBatches(graph: TypeGraph): Promise<void> {
    const batchSize = 100
    const batches = chunk(graph.nodes, batchSize)
    
    for (const batch of batches) {
      await Promise.all(batch.map(node => this.analyzeNode(node)))
    }
  }
}

interface TypeGraph {
  /** 类型节点 */
  nodes: TypeNode[]
  /** 类型关系 */
  edges: TypeEdge[]
  /** 元数据 */
  metadata: GraphMetadata
}

interface TypeNode {
  /** 节点 ID */
  id: string
  /** 类型名称 */
  name: string
  /** 类型种类 */
  kind: 'interface' | 'type' | 'class' | 'enum' | 'function'
  /** 文件路径 */
  filePath: string
  /** 行号 */
  line: number
}

interface TypeEdge {
  /** 源节点 */
  source: string
  /** 目标节点 */
  target: string
  /** 关系类型 */
  type: 'extends' | 'implements' | 'imports' | 'calls'
}

// 来自 packages/typert/registry/src/service.ts
class TypertRegistry {
  /** 注册类型 */
  register(type: TypeRegistration): Disposable {
    const entry = {
      id: type.id,
      name: type.name,
      kind: type.kind,
      definition: type.definition,
      timestamp: Date.now()
    }
    
    this.types.set(type.id, entry)
    
    // 发送注册事件
    this.ctx.emit('typert/registered', entry)
    
    return () => {
      this.types.delete(type.id)
      this.ctx.emit('typert/unregistered', entry)
    }
  }
  
  /** 查询类型 */
  get(id: string): TypeRegistration | undefined {
    return this.types.get(id)
  }
  
  /** 列出所有类型 */
  list(): TypeRegistration[] {
    return Array.from(this.types.values())
  }
}

interface TypeRegistration {
  /** 类型 ID */
  id: string
  /** 类型名称 */
  name: string
  /** 类型种类 */
  kind: 'service' | 'event' | 'tool' | 'config'
  /** 类型定义 */
  definition: TypeDefinition
  /** 注册时间 */
  timestamp: number
}

interface TypeDefinition {
  /** 类型 schema */
  schema: ZodType
  /** 类型描述 */
  description: string
  /** 类型示例 */
  example?: unknown
}

// 来自 packages/typert/registry/src/service.ts
class LookupStore {
  /** 获取类型 */
  get(id: string): TypeRegistration | undefined {
    // 1. 本地查找
    const local = this.localTypes.get(id)
    if (local) return local
    
    // 2. 远程查找
    const remote = this.remoteTypes.get(id)
    if (remote) return remote
    
    return undefined
  }
  
  /** 获取类型定义 */
  definitions(id: string): TypeDefinition[] {
    const results: TypeDefinition[] = []
    
    // 收集所有定义
    for (const store of [this.localTypes, ...this.remoteStores]) {
      const type = store.get(id)
      if (type) {
        results.push(type.definition)
      }
    }
    
    return results
  }
}

// 1. 定义类型
interface MyCustomType {
  /** 自定义属性 */
  customProperty: string
}

// 2. 注册到 Typert
ctx.typert.register({
  id: 'my-custom-type',
  name: 'MyCustomType',
  kind: 'interface',
  definition: {
    schema: zod.object({
      customProperty: zod.string()
    }),
    description: 'My custom type description'
  }
})

// 3. 在工具中使用
ctx.tools.register({
  name: 'my_tool',
  parameters: {
    type: 'object',
    properties: {
      input: { $ref: '#/definitions/MyCustomType' }
    }
  },
  async execute(input) {
    // input 被类型安全地验证
  }
})

// 来自 packages/typert/generator/src/workspace.ts
class WorkspaceTypertGenerator {
  /** 验证导出 */
  validateExport(exportName: string, exportType: TypeNode): ValidationResult {
    // 检查类型是否符合规范
    const errors: string[] = []
    
    // 检查必须的字段
    if (!exportType.name) {
      errors.push('Type must have a name')
    }
    
    // 检查文件路径
    if (!exportType.filePath) {
      errors.push('Type must have a file path')
    }
    
    return {
      valid: errors.length === 0,
      errors
    }
  }
}

# cordis.patch.yml
- id: typert-registry
  config:
    # 类型图文件路径
    graphPath: '${DSH_HOME}/typert/graph.json'
    
    # 远程仓库
    remotes:
      - name: 'deepseek-harness'
        url: 'https://github.com/deepseek-harness/deepseek-harness'
        branch: 'main'
    
    # 缓存配置
    cache:
      enabled: true
      ttl: 3600000  # 1 小时