From 2c8dc3df3a4baee647c40abfbdaa43ba22abbc32 Mon Sep 17 00:00:00 2001
From: Luke Wagner <mail@lukewagner.name>
Date: Tue, 6 Jan 2026 13:03:14 -0600
Subject: [PATCH 1/2] Loosen kebab-case rules to allow non-first fragments to
 start with numbers

Resolves #345
---
 design/mvp/Explainer.md | 19 +++++++++++++++----
 test/names/kebab.wast   | 19 +++++++++++++++++++
 2 files changed, 34 insertions(+), 4 deletions(-)
 create mode 100644 test/names/kebab.wast

diff --git a/design/mvp/Explainer.md b/design/mvp/Explainer.md
index 0a0a9193..6c2a7b54 100644
--- a/design/mvp/Explainer.md
+++ b/design/mvp/Explainer.md
@@ -2515,12 +2515,13 @@ plainname         ::= <label>
                     | '[constructor]' <label>
                     | '[method]' <label> '.' <label>
                     | '[static]' <label> '.' <label>
-label             ::= <fragment>
-                    | <label> '-' <fragment>
+label             ::= <first-fragment> ( '-' <fragment> )*
+first-fragment    ::= [a-z] <word>
+                    | [A-Z] <acronym>
 fragment          ::= <word>
                     | <acronym>
-word              ::= [a-z] [0-9a-z]*
-acronym           ::= [A-Z] [0-9A-Z]*
+word              ::= [0-9a-z]*
+acronym           ::= [0-9A-Z]*
 interfacename     ::= <namespace> <label> <projection> <interfaceversion>?
                     | <namespace>+ <label> <projection>+ <interfaceversion>? 🪺
 namespace         ::= <words> ':'
@@ -2675,6 +2676,16 @@ mapped to `isXML`, `IsXml`, `is_XML` or `is_xml`, depending on the target
 language/convention. The highly-restricted character set ensures that
 capitalization is trivial and does not require consulting Unicode tables.
 
+Based on the lexical definition of `label` above, the following are all valid
+labels:
+* `a`, `a-b-c`, `a1-2-3`, `A`, `A-B-C` and `A1-2-3` (but not `1-2-3`, since the
+  first fragment must start with a letter)
+* `a11-w0rds`, `A11-4CR0NYMS` and `m1x3d-4CR0NYMS`
+
+Technically, based on the definitions given, the `fragment` `2` (and `3`) in
+`a1-2-3` is ambiguously either a `word` or an `acronym`, but the distinction
+only relates to casing and numbers aren't cased.
+
 Components provide two options for naming exports, symmetric to the first two
 options for naming imports:
 * a **plain name** that leaves it up to the developer to "read the docs"
diff --git a/test/names/kebab.wast b/test/names/kebab.wast
new file mode 100644
index 00000000..123e42cd
--- /dev/null
+++ b/test/names/kebab.wast
@@ -0,0 +1,19 @@
+(component (component
+  (import "a" (func))
+  (import "a1" (func))
+  (import "a-1" (func))
+  (import "a-1-b-2-c-3" (func))
+  (import "B" (func))
+  (import "B1" (func))
+  (import "B-1" (func))
+  (import "B-1-C-2-D-3" (func))
+  (import "a11-B11-123-ABC-abc" (func))
+))
+(assert_invalid
+  (component
+    (import "1" (func)))
+  "is not in kebab case")
+(assert_invalid
+  (component
+    (import "1-a" (func)))
+  "is not in kebab case")

From e38aa2aa8532d82e7f5f38aa1d6cdec3024c4c41 Mon Sep 17 00:00:00 2001
From: Luke Wagner <mail@lukewagner.name>
Date: Tue, 6 Jan 2026 15:40:36 -0600
Subject: [PATCH 2/2] Update test/wasm-tools/naming.wast accordingly

---
 test/wasm-tools/naming.wast | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/test/wasm-tools/naming.wast b/test/wasm-tools/naming.wast
index 160df4d4..5decf55d 100644
--- a/test/wasm-tools/naming.wast
+++ b/test/wasm-tools/naming.wast
@@ -22,11 +22,8 @@
   "instance 0 has no export named `Xml`"
 )
 
-(assert_invalid
-  (component
-    (type (flags "a-1-c"))
-  )
-  "flag name `a-1-c` is not in kebab case"
+(component definition
+  (type (flags "a-1-c"))
 )
 
 (assert_invalid