Audit Finding

Import declarations parse but resolve to UnknownType() with a warning. Multi-file programs cannot be type-checked or verified.

Current state

• The parser handles import syntax correctly
• The type checker returns UnknownType for cross-module references
• UnknownType propagates silently (no cascading errors)
• Single-file programs work end-to-end

What C7 needs

• Module resolution (file path to AST mapping)
• Cross-module type environment merging
• Public/private visibility enforcement
• Incremental checking (avoid re-checking unchanged modules)
• Cross-module contract verification

Roadmap

Planned for C7 (v0.0.11).