Module export 

文本导出内部设计

本模块实现 REQ-7 导出关系图 的 UI 无关部分：从领域图生成稳定文本，并使用原子的“不存在才创建”语义写入目标文件。保存弹窗和按键属于 tui/，不能反向进入本模块。

导出边界

导出对象是从当前 anchors 出发可达的全部已知关系。expanded 只控制画布显示，不会让已经查询并缓存的关系从文件中消失；已经取消 anchor、清除分支且不再从任何 anchor 可达的存储节点不会导出。这个边界由 RelationGraph::known_graph 提供，与只沿展开分支遍历的 visible_graph 明确分离。

人类可读的 text v1

格式由一行版本头、节点区和边区组成：

cgraph graph · text v1

Nodes (2)
  [1] call  main  [anchor]
      file:///project/src/main.rs:1:1
  [2] call  run
      location unknown

Relations (1)
  [1] main  →  [2] run

节点先按 hierarchy kind、源码 URI、行、列、名称和最终 NodeId 排序，再分配文件局部编号。节点主行只保留编号、call/type、名称和可选 [anchor]，下一行显示适合用户阅读的从一开始的源码行列；缺少位置时写成 location unknown，不显示 null。关系行重复两端编号和名称，用户无需在阅读每条边时不断回查节点表。共享节点只定义一次，多条关系引用同一编号，循环和自环则自然显示为指回较早编号的箭头。

格式刻意不使用 kind=...、JSON 对象或带标签的内部字段，以减少语法噪音。名称和 URI 中罕见的换行、制表符、回车及反斜杠只做最小单行转义；普通代码符号保持原样。

NodeId 只在所有语义字段完全相同时作为最终 tie-breaker，不直接输出。对于同一个内存图状态，序列化结果必须逐字节稳定。未来格式变化必须使用新版本头，不能静默改变 text v1 的含义。

写入安全

write_text 使用 OpenOptions::create_new(true)。检查“文件不存在”后再普通创建存在 TOCTOU 覆盖窗口，而 create_new 由操作系统保证目标已存在时失败，并且从不以 truncate 模式打开它。空路径、父目录不存在、权限错误、目录目标和并发创建都会返回错误，由保存弹窗显示，TUI 保持运行。

Functions

render_text

Serializes all known relations reachable from an anchor.

write_text

Creates a new export file without ever opening an existing target for truncation. create_new makes the non-overwrite guarantee atomic with respect to another process creating the same path concurrently.