Summary

The compilation model currently has no module-level code generation. Each file compiles independently with no cross-module linking.

Current state

• Each .vera file compiles to a standalone .wasm module
• No import/export resolution between Vera modules
• No linker or module bundler

What's needed

• Cross-module symbol resolution at the WASM level
• Import/export table generation for multi-module programs
• Coordination with the module system (issue Module system — cross-file type checking and verification #14)

Spec reference

Chapter 11, Section 11.12 "Limitations"