Create formal spec-driven MoonBit APIs and test suites.
Extract formal spec and comprehensive test suites from existing MoonBit implementations.
Write MoonBit bindings for existing C libraries using native FFI, with ownership annotations, C stubs, and ASan validation.