Canonical HIR
One authority resolves types, symbols, ownership actions, layouts, variants, captures, and conventions.
DByte 12.0 · Internals
Contract§
Shared ASTCanonical HIRMonomorphizationProfile validationBackend adapterExecution
Mechanics§
Executable HIR is project-level: resolved modules, functions, globals, locals, blocks, expressions, places and projections all retain canonical identity, type, value category and ownership action.
Validation and failure§
An invariant pass rejects unresolved symbols, open generics, missing layouts or undecided calls before backend entry. HIR stores no x86 registers, opcodes or relocation kinds.
Evidence and boundary§
Canonical snapshots and production-path gates prove backends cannot return to AST resolution or any legacy semantic authority.