v6 Capstone

Typed final checkpoint

• modules + imports + exports + types + linking + VM

Full pipeline

Lex -> Parse -> Analyze -> CompileModules -> Link -> Encode -> Decode -> VM

Analyzer responsibilities

• module graph and ordering
• typed exports/member access
• function signature checks
• arity and return compatibility

If analyzer errors, stop immediately.

Serialization boundary

• encode after link
• decode before runtime
• decode failure is boundary failure

Runtime split

• compiler checks as much as possible
• VM still handles actual execution and dynamic behavior

Practical checks

• no runtime for type-only failures
• deterministic linked artifacts
• stable output/error ordering
• member access uses alias + export + signature