MoonBit Extract Spec & Test

Overview

Reverse-engineer a formal API contract (<pkg>_spec.mbt) and comprehensive test suites from an existing MoonBit implementation. This enables spec-driven testing for already-written code.

When to Use

• User asks to "extract spec from existing implementation"
• User wants to "generate spec-driven tests for a package"
• User requests "create formal API specification from code"
• Converting legacy code to spec-driven development workflow
• Need to document and test existing public API surface

Workflow

1. Analyze the Existing Implementation

Identify public API surface: