spec Tutorial

Use this page as the starting point for practical workflows around this module. spec in Luna-Flow/luna_thread.

Suggested Flow

1. Read the repository README and the spec API reference.
2. Start from the constructors or entry points under docs.
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.