文章从 Solana 可查询 Token Holder、以太坊不可查询入手，指出根源在于状态模型差异：ERC-20 余额存储在合约内部 mapping 中，无法枚举；SPL 余额则是独立 Token Account，可按 mint 过滤聚合。更深层原因是 Solana 以 Account 为一等公民，交易显式声明读写账户，便于并行调度；以太坊以合约存储为中心，更灵活但依赖链下索引器。

不可变性是指数据创建后不再修改，常被视为函数式编程的原则。作者认为不可变性并非普适法则，而是需根据场景权衡的选择。在代码层面，不可变性有助于理解和测试；在数据建模层面，需要考虑状态模型与事件模型的选择；在API层面，则需根据业务复杂度决定使用Command或Event风格。因此，不可变性应根据具体情况灵活应用。

本研究介绍了AI规划的关键概念与技术，旨在填补教育资源的不足。通过讲解状态模型、经典规划算法和HTN规划，提出系统方法以解决规划问题，并提供全面的教学笔记，帮助学术与实践人员掌握AI规划的基本原理与应用。