Compiler spine alpha: resolve, type, and lower source AST to Core

[flyingrobots]

Scope

Build the first complete executable compiler spine from parsed Edict source to Core IR.

Pipeline

parse
  -> validate_surface
  -> resolve
  -> type_check
  -> lower_core

Deliverables

• Name/import/type resolution boundary.
• Typed representation boundary distinct from source AST.
• Type-checking pass for the source subset needed by the first Core fixtures.
• Source-to-Core lowering for the initial executable subset.
• Deterministic tests proving each stage boundary.

Non-Goals

• No target lowering.
• No admission.
• No final canonical digest claim until canonical encoding and golden digest issues land.

[coderabbitai]

🔗 Related PRs

#14 - Update README implementation status [merged]

---

📝 Issue Planner

_{Check the box below or use the @coderabbitai plan command to generate an implementation plan and prompts that you can use with your favorite coding assistant.}

• Create Plan

---

🧪 Issue enrichment is currently in open beta.

You can configure auto-planning by selecting labels in the issue_enrichment configuration.

To disable automatic issue enrichment, add the following to your .coderabbit.yaml:

issue_enrichment:
  auto_enrich:
    enabled: false

💬 Have feedback or questions? Drop into our discord!