diff --git a/src/mir/builder/emission/constant.rs b/src/mir/builder/emission/constant.rs
index 0dd654a4..cf59e987 100644
--- a/src/mir/builder/emission/constant.rs
+++ b/src/mir/builder/emission/constant.rs
@@ -13,6 +13,8 @@ pub fn emit_integer(b: &mut MirBuilder, val: i64) -> ValueId {
         dst,
         value: ConstValue::Integer(val),
     });
+    // Phase 84-1: Integer constant type annotation
+    b.value_types.insert(dst, crate::mir::MirType::Integer);
     dst
 }
 
@@ -23,6 +25,8 @@ pub fn emit_bool(b: &mut MirBuilder, val: bool) -> ValueId {
         dst,
         value: ConstValue::Bool(val),
     });
+    // Phase 84-1: Bool constant type annotation
+    b.value_types.insert(dst, crate::mir::MirType::Bool);
     dst
 }
 
@@ -33,6 +37,8 @@ pub fn emit_float(b: &mut MirBuilder, val: f64) -> ValueId {
         dst,
         value: ConstValue::Float(val),
     });
+    // Phase 84-1: Float constant type annotation
+    b.value_types.insert(dst, crate::mir::MirType::Float);
     dst
 }
 
@@ -58,6 +64,9 @@ pub fn emit_null(b: &mut MirBuilder) -> ValueId {
         dst,
         value: ConstValue::Null,
     });
+    // Phase 84-1: Null constant type annotation
+    // Note: MirType has no Null variant, using Unknown as fallback
+    b.value_types.insert(dst, crate::mir::MirType::Unknown);
     dst
 }
 
@@ -68,5 +77,7 @@ pub fn emit_void(b: &mut MirBuilder) -> ValueId {
         dst,
         value: ConstValue::Void,
     });
+    // Phase 84-1: Void constant type annotation
+    b.value_types.insert(dst, crate::mir::MirType::Void);
     dst
 }