current_state 教程

There is no runnable user tutorial yet because the repository is still empty. Use this page to track what must exist before public examples are added.

建议阅读顺序

1. 先看仓库 README 和 current_state 的 API 文档。
2. 从 . 中的构造入口或主入口开始。
3. 在依赖边界行为之前，先结合已有测试或示例验证语义。

实践建议

• 优先使用已文档化的入口，而不是内部辅助函数。
• 下游代码里显式记录运行时、数值或证明状态前提。