[1130] 迁移 tree_observer/patch/modify/traverse 至 moebius 并整合 glue (#3855)

Author: da-liii

devel/1130.md

@@ -0,0 +1,74 @@
+# 1130: 将 tree_observer / tree_patch / tree_modify / tree_traverse 迁移到 moebius
+
+## 目标
+将 `src/Data/Tree` 下的 `tree_observer`、`tree_patch`、`tree_modify`、`tree_traverse`
+四对头文件/实现文件迁移到 `moebius/Data/Tree`，使其作为 moebius 库的一部分编译。
+
+## 背景
+moebius 是 Mogan 的基础 C++ 库，已包含 `tree`、`modification`、`observer`、`patch`、`drd`、`scheme` 等核心抽象。
+上述模块均直接依赖这些基础类型，天然适合放入 moebius。
+迁移后上层代码仍通过同样的公开头文件使用这些接口。
+
+## 完成记录
+1. 将 `tree_observer.hpp`/`tree_observer.cpp` 从 `src/Data/Tree` 移动到 `moebius/Data/Tree`。
+2. 将 `tree_patch.hpp`/`tree_patch.cpp` 从 `src/Data/Tree` 移动到 `moebius/Data/Tree`。
+3. 将 `tree_modify.hpp`/`tree_modify.cpp` 从 `src/Data/Tree` 移动到 `moebius/Data/Tree`。
+4. 将 `tree_traverse.hpp`/`tree_traverse.cpp` 从 `src/Data/Tree` 移动到 `moebius/Data/Tree`。
+5. 由于 `tree_observer.cpp`/`tree_modify.cpp` 包含 `observers.hpp`，而该头文件原位于 `src/Data/Observers`，
+   为保持 moebius 不自依赖 src，将 `observers.hpp` 移动到 `moebius/Kernel/Abstractions`。
+   其实现文件（`ip_observer.cpp`、`list_observer.cpp` 等）仍保留在 src，通过 libmoebius 的公开 include 路径引用新头文件。
+6. 在 `tree_observer.cpp` 中替换对 `src/Texmacs/tm_debug.hpp` 的依赖：
+   - `failed_error` 改为 `cerr`；
+   - 显式包含 `basic.hpp` 以获得 `TM_FAILED`。
+7. 将本次迁移模块暴露给 Scheme 的 glue 函数从 `glue_tree.lua` / `glue_patch.lua`
+   迁移到 `src/Scheme/L3/glue_moebius.lua`：
+   - 从 `glue_tree.lua` 迁移：tree 修改/遍历相关函数（如 `tree-ip`、`tree-assign`、
+     `tree-var-insert`、`tree-remove`、`tree-split`、`tree-join`、`tree-assign-node`、
+     `tree-insert-node`、`tree-remove-node`、`tree-simplify`、`cpp-tree-correct-node`、
+     `cpp-tree-correct-downwards`、`cpp-tree-correct-upwards`、各类 `path-*`、`tree-search-sections`、
+     `herk-tree->utf8-tree`、`utf8-tree->herk-tree` 等）。
+   - 从 `glue_patch.lua` 迁移：`patch-apply`、`patch-inplace-apply`。
+   - 在 `glue_moebius.lua` 中补充对应 include（`observers.hpp`、`tree_modify.hpp`、
+     `tree_observer.hpp`、`tree_patch.hpp`、`tree_traverse.hpp`、`tree_helper.hpp`、
+     `object_l3.hpp` 等）。
+8. 调整 glue helper 文件：
+   - 将 `tree_assign`、`tree_insert`、`tree_remove`、`tree_split`、`tree_join`、
+     `tree_assign_node`、`tree_insert_node`、`tree_remove_node`、`var_clean_apply`、
+     `var_apply` 从 `glue_tree_extra.hpp` / `glue_patch_extra.hpp` 移至
+     `src/Scheme/L3/glue_moebius_extra.hpp`。
+   - 从 `glue_tree_extra.hpp` / `glue_patch_extra.hpp` 中移除已迁移的 helper 及多余 include。
+9. 运行 `gf fmt` 格式化迁移后的 C++ 文件。
+10. 构建验证：
+   - `xmake b libmoebius` 成功
+   - `xmake b libmogan` 成功
+   - `xmake b stem` 成功
+10. 测试验证：
+    - `xmake test`：moebius 单元测试全部通过
+    - `xmake run 0138`：headless 启动测试正常完成并自动退出，3 checks passed, 0 failed
+
+## 涉及文件
+- `moebius/Data/Tree/tree_observer.hpp`（新增，从 src 迁移）
+- `moebius/Data/Tree/tree_observer.cpp`（新增，从 src 迁移）
+- `moebius/Data/Tree/tree_patch.hpp`（新增，从 src 迁移）
+- `moebius/Data/Tree/tree_patch.cpp`（新增，从 src 迁移）
+- `moebius/Data/Tree/tree_modify.hpp`（新增，从 src 迁移）
+- `moebius/Data/Tree/tree_modify.cpp`（新增，从 src 迁移）
+- `moebius/Data/Tree/tree_traverse.hpp`（新增，从 src 迁移）
+- `moebius/Data/Tree/tree_traverse.cpp`（新增，从 src 迁移）
+- `moebius/Kernel/Abstractions/observers.hpp`（新增，从 src 迁移）
+- `src/Data/Tree/tree_observer.hpp`（删除）
+- `src/Data/Tree/tree_observer.cpp`（删除）
+- `src/Data/Tree/tree_patch.hpp`（删除）
+- `src/Data/Tree/tree_patch.cpp`（删除）
+- `src/Data/Tree/tree_modify.hpp`（删除）
+- `src/Data/Tree/tree_modify.cpp`（删除）
+- `src/Data/Tree/tree_traverse.hpp`（删除）
+- `src/Data/Tree/tree_traverse.cpp`（删除）
+- `src/Data/Observers/observers.hpp`（删除）
+- `src/Scheme/L3/glue_moebius.lua`（新增 glue 函数及 include）
+- `src/Scheme/L4/glue_tree.lua`（移除已迁移的 glue 函数及 include）
+- `src/Scheme/L3/glue_patch.lua`（移除已迁移的 glue 函数及 include）
+- `src/Scheme/L3/glue_moebius_extra.hpp`（新增 helper 函数）
+- `src/Scheme/L4/glue_tree_extra.hpp`（移除已迁移 helper）
+- `src/Scheme/L3/glue_patch_extra.hpp`（移除已迁移 helper）
+- `devel/1130.md`

src/Data/Tree/tree_modify.cpp moebius/Data/Tree/tree_modify.cppsrc/Data/Tree/tree_modify.cpp renamed to moebius/Data/Tree/tree_modify.cpp

@@ -1,8 +1,8 @@
 #include "tree_observer.hpp"
 #include "analyze.hpp"
+#include "basic.hpp"
 #include "modification.hpp"
 #include "observers.hpp"
-#include "tm_debug.hpp"
 #include "tree_cursor.hpp"
 #include "tree_helper.hpp"
 
@@ -473,8 +473,8 @@ raw_apply (tree& t, modification mod) {
 void
 apply (tree& ref, modification mod) {
   if (!is_applicable (ref, mod)) {
-    failed_error << "mod= " << mod << "\n";
-    failed_error << "ref= " << ref << "\n";
+    cerr << "mod= " << mod << "\n";
+    cerr << "ref= " << ref << "\n";
     TM_FAILED ("invalid modification");
   }
   path ip= obtain_ip (ref);