current_state Tutorial

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.

Suggested Flow

1. Read the repository README and the current_state API reference.
2. Start from the constructors or entry points under ..
3. Validate behavior with the existing tests or examples before depending on edge-case semantics.

Practical Guidance

• Prefer the documented entry points over internal helpers.
• Record runtime, numeric, or proof-state assumptions explicitly in downstream code.