在 AIOS 知识库中主动检索相关记忆（推理中断 / demand paging）。

当你推理时发现需要某类知识但不确定时，调用此工具：
- 上次关于某模块的决策
- 某功能的已知设计约束
- 某段代码的参数格式
- 之前总结的性能数据

Args:
    query: 查询字符串（自然语言或关键词均可）
    top_k: 返回结果数量（默认 5）
    chunk_types: 可选，过滤 chunk 类型（如 ["design_constraint", "decision"]）
    project: 可选，指定项目 ID（默认自动推断）

Returns:
    格式化的检索结果，包含 summary 和 content 摘要

查询 AIOS 知识库的统计信息（chunk 数量、类型分布、近期活跃度）。

Returns:
    知识库统计摘要

将指定 chunk 锁定到当前项目，阻止被自动淘汰。
OS 类比：mlock(addr, len) — 将页面锁定在进程地址空间，阻止 swap out。

pin_type:
  'hard' — 所有淘汰路径跳过该 chunk（stale reclaim、DAMON DEAD、kswapd ZONE_MIN）
           适用：设计约束、不可变决策、关键架构知识
  'soft' — 保护 stale reclaim 和 DAMON DEAD，但 kswapd 内存极度紧张时仍可淘汰
           适用：重要但非关键的量化证据、近期决策

Args:
    chunk_id: 要锁定的 chunk ID（可从 memory_lookup 结果中获取）
    pin_type: 'hard' 或 'soft'（默认 'soft'）
    project: 项目 ID（默认自动解析当前目录）

Returns:
    操作结果描述

解除 chunk 在当前项目中的 pin，允许被自动淘汰。
OS 类比：munlock(addr, len) — 解除内存锁定，页面重新可被 swap out。

Args:
    chunk_id: 要解锁的 chunk ID
    project: 项目 ID（默认自动解析当前目录）

Returns:
    操作结果描述

列出当前项目中所有 pinned chunks。
OS 类比：/proc/[pid]/smaps 中 Locked: 字段 — 查看进程的 mlock 区域。

Args:
    pin_type: 过滤类型 'hard'/'soft'（默认显示全部）
    project: 项目 ID（默认自动解析当前目录）

Returns:
    格式化的 pinned chunk 列表