Module output 

输出格式化（human-readable + diff）

设计

• fact_to_human：单个 Fact 的单行摘要（适合 replay/diff）
• facts_to_human：多 Fact 的多行输出
• format_diff_line：diff 行前缀（[~]/[-]/[+]）

Modules

diff_prefix

diff 行前缀

Functions

fact_to_human

单个 Fact 的单行摘要

facts_to_human

多 Fact 的多行输出

format_diff_line

格式化 diff 行