REA 工具与逆向工程

Research question

Agent 怎样把观察变成可信的工程结论？

分析工具取得的事实、静态推断、模型解释和重建测试，各自能证明什么？REA 提供了一套可以沿源码检查的案例。

六章沿“定位与分工 → 源码架构 → 证据判断 → 工程用途 → 入门实践 → 接入决策”逐步展开。完整应用案例留待后续选题；现有 JavaScript 实跑仅作为实践章的小样本练习，保留 Mac 失败、Linux 成功和静态 unknown，不将它当作整个专题的贯穿案例。

初次阅读先看总览与学习主线；需要查证时进入源码索引，动手时从行为对照与实践命令开始。同一套资料既解释为什么，也留下可以继续核查和复现的细节。