facade Tutorial

Begin with luna_thread/luna_thread.mbt and the package tests to understand the exposed MoonBit facade.

Suggested Flow

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