diff --git a/crates/ail/src/main.rs b/crates/ail/src/main.rs
index 2ecce70..be5095f 100644
--- a/crates/ail/src/main.rs
+++ b/crates/ail/src/main.rs
@@ -234,15 +234,6 @@ enum Cmd {
     /// migration silently picks the first match. Prelude is consulted
     /// as an implicit last-resort fallback when no listed import owns
     /// the name.
-    ///
-    /// Note: this is one-shot dev tooling and intentionally weaker
-    /// than the typecheck-time `ambiguous-type` diagnostic shipped in
-    /// iter 23.1.3, which fires through the type-checker on multi-
-    /// import collisions. The two are different rules at different
-    /// layers; do not assume parity. The expected usage is to run
-    /// the migration once on a fixture corpus that does not exhibit
-    /// genuine multi-import ambiguity, then let the typechecker
-    /// enforce the stricter rule going forward.
     MigrateCanonicalTypes {
         /// Directory containing `*.ail.json` to migrate (typically
         /// `examples/`).