工具链能力矩阵
现在能做什么，下一步在做什么。
每一项能力按「现在 / 下一步 / 路线规划」明确分组。还在 Later 的就老实写 Later，不画饼。
Now
Now · 已上线
- Python-like 高级语法
- 缩进分块、def 定义函数；强类型、无类型推断。
- 编译期所有权检查
- 变量被消耗后不可再用，对应 BVM 栈弹出语义；典型场景如 Hash160 + CheckSig 共用 pubKey 时必须先 Clone。
- 完整编译流水线
- Lexer → Parser → Semantic Analysis（类型检查 / 所有权验证 / 作用域解析）→ Bytecode Generation；输出 JSON 格式字节码。
- 内置交互式调试器
- utxo_compiler file.ct --debug 进入；可分别覆盖通过 / 失败两条路径。
- Linux / Windows 64-bit / Windows 32-bit 发布包
- 含可执行文件、install.sh / install.bat、doc/、VERSION；Windows 包另含 3 个运行时 DLL。
- 完整官方文档（中英双语）
- Overview / Installation / Bitcoin Basics / How-To / Tutorials / Advanced / References，全部在 docs.utxocompiler.com。
Next
Next · 开发中
- 更多内置函数与对象
- 在 Hash160、CheckSig、EqualVerify、PartialHash、Sha256、Hash256、BinToNum、Cat、Slice、SetMain、SetAlt、Push(BVM.*) 等基础上持续扩展。
- 更多 How-To 与高级模式
- 所有权系统、副栈与多函数协作 等进阶主题。
Later
Later · 路线规划
- macOS 二进制
- 列入计划，时间窗口待定。
- 更多教程与示例库
- 在 P2PKH、Counter 之外覆盖更复杂的合约模式与跨合约协作。
进展会在 docs.utxocompiler.com 与 GitHub 同步；已上线的能力你今天就能用。