diff --git a/crates/ailang-codegen/src/lib.rs b/crates/ailang-codegen/src/lib.rs
index 248d42e..9455490 100644
--- a/crates/ailang-codegen/src/lib.rs
+++ b/crates/ailang-codegen/src/lib.rs
@@ -1713,11 +1713,9 @@ impl<'a> Emitter<'a> {
             }
             Ok(cref)
         } else {
-            // ct.3 Task 1: bare type_name is canonical (post-ct.1
-            // validator) ⇒ local. Hit the current module's ctor
-            // table directly; non-match is a hard error. No
-            // imports-walk — the typechecker has already pinned
-            // type_name to the owning module.
+            // Bare type_name is canonical-form local. Hit the
+            // current module's ctor table directly; non-match is
+            // a hard error.
             let cref = self
                 .module_ctor_index
                 .get(self.module_name)