Clean compiler phase boundaries - #83

Merged

itsfuad merged 24 commits into

mainfrom

fix/compiler-phase-boundaries

Aug 22, 2026

Commits on Aug 21, 2026

Preserve semantic HIR structure
itsfuad
committed
78147a0
Finalize semantic CFG artifacts
itsfuad
committed
24801d4
Move definite initialization to CFG flow
itsfuad
committed
4cbce27
Keep flow diagnostics source-facing
itsfuad
committed
4bb4dac
Separate ownership results from CFG
itsfuad
committed
01ba937
Add semantic export invalidation
itsfuad
committed
ddcb1b3
Clarify semantic constant evaluation
itsfuad
committed
fb18c8c
remove tautological nil check
itsfuad
committed
d26b3d4

Commits on Aug 22, 2026

Consolidate semantic export fingerprints
itsfuad
committed
7013aeb
Centralize AST child traversal
itsfuad
committed
afb9caf
Centralize IR child traversal
itsfuad
committed
8801845
Name definite initialization explicitly
itsfuad
committed
0bf3248
Make typed IR folding exhaustive
itsfuad
committed
cf1ab10
Fail closed on unknown compiler variants
itsfuad
committed
92dc00b
Make MIR source locations part of node contracts
itsfuad
committed
f823ccd
Fold HIR assignments exhaustively
itsfuad
committed
79600cb
Name node child enumeration directly
itsfuad
committed
7c0029c
Clarify compiler engineering guidelines
itsfuad
committed
1c33766
Index typed AST nodes once
itsfuad
committed
724285d
Build canonical CFG from typed AST
itsfuad
committed
e9187c3
Run mandatory semantics before HIR
itsfuad
committed
30d8222
Document compiler phase checkpoints
itsfuad
committed
41e1b3d
refactor binder type dependency checks
itsfuad
committed
86b337b
Scope diagnostics by compiler phase
itsfuad
committed
6f051b9